| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (3) | SAT (TO) | 0 | 3600.15 | 3608.84 |
| Name | PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/ diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_22.opb |
| MD5SUM | 32ee0ddbdff3b16b51999f7bca4d7c0a |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 0 |
| Best CPU time to get the best result obtained on this benchmark | 0.46048 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 2992 |
| Total number of constraints | 4444 |
| Number of constraints which are clauses | 2904 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1540 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 5 |
| Number of terms in the objective function | 88 |
| Biggest coefficient in the objective function | 8796093022208 |
| Number of bits for the biggest coefficient in the objective function | 44 |
| Sum of the numbers in the objective function | 35184372088830 |
| Number of bits of the sum of numbers in the objective function | 45 |
| Biggest number in a constraint | 8796093022208 |
| Number of bits of the biggest number in a constraint | 44 |
| Biggest sum of numbers in a constraint | 35184372088830 |
| Number of bits of the biggest sum of numbers | 45 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c RoundingSat 2 0.00/0.00 c branch 0.00/0.00 c commit 0.00/0.06 c #variables 2992 #constraints 5984 137.00/137.46 c bounds - >= -17592186044415 @ 0.049214 137.00/137.46 c bounds 0 >= -17592186044415 @ 0.340423 137.00/137.46 c bounds 0 >= -13194139533311 @ 0.340682 137.00/137.46 c bounds 0 >= -8796093022207 @ 0.341191 137.00/137.46 c #Conflicts: 1000 | #Constraints: 6992 137.00/137.46 c #Conflicts: 2000 | #Constraints: 7992 137.00/137.46 c INPROCESSING 137.00/137.46 c GARBAGE COLLECT 137.00/137.46 c #Conflicts: 3000 | #Constraints: 8038 137.00/137.46 c #Conflicts: 4000 | #Constraints: 9038 137.00/137.46 c INPROCESSING 137.00/137.46 c GARBAGE COLLECT 137.00/137.46 c #Conflicts: 5000 | #Constraints: 8456 137.00/137.46 c #Conflicts: 6000 | #Constraints: 9456 137.00/137.46 c INPROCESSING 137.00/137.46 c GARBAGE COLLECT 137.00/137.46 c #Conflicts: 7000 | #Constraints: 8520 137.00/137.46 c #Conflicts: 8000 | #Constraints: 9521 137.00/137.46 c #Conflicts: 9000 | #Constraints: 10521 137.00/137.46 c INPROCESSING 137.00/137.46 c GARBAGE COLLECT 137.00/137.46 c #Conflicts: 10000 | #Constraints: 9266 137.00/137.46 c #Conflicts: 11000 | #Constraints: 10266 137.00/137.46 c #Conflicts: 12000 | #Constraints: 11268 137.00/137.46 c INPROCESSING 137.00/137.46 c GARBAGE COLLECT 137.00/137.46 c #Conflicts: 13000 | #Constraints: 9688 137.00/137.46 c #Conflicts: 14000 | #Constraints: 10688 137.00/137.46 c #Conflicts: 15000 | #Constraints: 11688 137.00/137.46 c INPROCESSING 137.00/137.46 c GARBAGE COLLECT 137.00/137.46 c #Conflicts: 16000 | #Constraints: 9966 137.00/137.46 c #Conflicts: 17000 | #Constraints: 10966 137.00/137.46 c #Conflicts: 18000 | #Constraints: 11966 137.00/137.46 c INPROCESSING 137.00/137.46 c GARBAGE COLLECT 137.00/137.46 c #Conflicts: 19000 | #Constraints: 10032 137.00/137.46 c #Conflicts: 20000 | #Constraints: 11032 137.00/137.46 c #Conflicts: 21000 | #Constraints: 12032 137.00/137.46 c INPROCESSING 137.00/137.46 c GARBAGE COLLECT 137.00/137.46 c #Conflicts: 22000 | #Constraints: 9812 137.00/137.46 c #Conflicts: 23000 | #Constraints: 10812 137.00/137.46 c #Conflicts: 24000 | #Constraints: 11812 137.00/137.46 c #Conflicts: 25000 | #Constraints: 12812 137.00/137.46 c INPROCESSING 137.00/137.46 c GARBAGE COLLECT 137.00/137.46 c #Conflicts: 26000 | #Constraints: 10456 137.00/137.46 c #Conflicts: 27000 | #Constraints: 11456 137.00/137.46 c #Conflicts: 28000 | #Constraints: 12456 137.00/137.46 c #Conflicts: 29000 | #Constraints: 13456 137.00/137.46 c #Conflicts: 30000 | #Constraints: 14456 137.00/137.46 c #Conflicts: 31000 | #Constraints: 15456 137.00/137.46 c #Conflicts: 32000 | #Constraints: 16456 137.00/137.46 c #Conflicts: 33000 | #Constraints: 17456 137.00/137.46 c #Conflicts: 34000 | #Constraints: 18456 137.00/137.46 c #Conflicts: 35000 | #Constraints: 19456 137.00/137.46 c #Conflicts: 36000 | #Constraints: 20456 137.00/137.46 c #Conflicts: 37000 | #Constraints: 21456 137.00/137.46 c #Conflicts: 38000 | #Constraints: 22456 137.00/137.46 c INPROCESSING 137.00/137.46 c GARBAGE COLLECT 137.00/137.46 c #Conflicts: 39000 | #Constraints: 15448 137.00/137.46 c #Conflicts: 40000 | #Constraints: 16448 137.00/137.46 c #Conflicts: 41000 | #Constraints: 17448 137.00/137.46 c #Conflicts: 42000 | #Constraints: 18448 137.00/137.46 c INPROCESSING 137.00/137.46 c GARBAGE COLLECT 137.00/137.46 c #Conflicts: 43000 | #Constraints: 12908 137.00/137.46 c #Conflicts: 44000 | #Constraints: 13908 137.00/137.46 c #Conflicts: 45000 | #Constraints: 14908 137.00/137.46 c #Conflicts: 46000 | #Constraints: 15908 137.00/137.46 c #Conflicts: 47000 | #Constraints: 16908 137.00/137.46 c #Conflicts: 48000 | #Constraints: 17908 137.00/137.46 c INPROCESSING 137.00/137.46 c GARBAGE COLLECT 137.00/137.46 c #Conflicts: 49000 | #Constraints: 13148 137.00/137.46 c #Conflicts: 50000 | #Constraints: 14148 137.00/137.46 c #Conflicts: 51000 | #Constraints: 15148 137.00/137.46 c #Conflicts: 52000 | #Constraints: 16148 137.00/137.46 c #Conflicts: 53000 | #Constraints: 17148 137.00/137.46 c #Conflicts: 54000 | #Constraints: 18148 137.00/137.46 c #Conflicts: 55000 | #Constraints: 19148 137.00/137.46 c #Conflicts: 56000 | #Constraints: 20148 137.00/137.46 c #Conflicts: 57000 | #Constraints: 21148 137.00/137.46 c #Conflicts: 58000 | #Constraints: 22148 137.00/137.46 c #Conflicts: 59000 | #Constraints: 23148 137.00/137.46 c #Conflicts: 60000 | #Constraints: 24148 137.00/137.46 c #Conflicts: 61000 | #Constraints: 25148 137.00/137.46 c #Conflicts: 62000 | #Constraints: 26148 137.00/137.46 c #Conflicts: 63000 | #Constraints: 27148 137.00/137.46 c #Conflicts: 64000 | #Constraints: 28149 137.00/137.46 c #Conflicts: 65000 | #Constraints: 29149 137.00/137.46 c INPROCESSING 137.00/137.46 c GARBAGE COLLECT 137.00/137.46 c #Conflicts: 66000 | #Constraints: 18821 137.00/137.46 c #Conflicts: 67000 | #Constraints: 19821 137.00/137.46 c #Conflicts: 68000 | #Constraints: 20821 1258.17/1261.36 c #Conflicts: 69000 | #Constraints: 21821 1258.17/1261.36 c #Conflicts: 70000 | #Constraints: 22821 1258.17/1261.36 c #Conflicts: 71000 | #Constraints: 23821 1258.17/1261.36 c INPROCESSING 1258.17/1261.36 c GARBAGE COLLECT 1258.17/1261.36 c #Conflicts: 72000 | #Constraints: 15871 1258.17/1261.36 c #Conflicts: 73000 | #Constraints: 16871 1258.17/1261.36 c #Conflicts: 74000 | #Constraints: 17871 1258.17/1261.36 c #Conflicts: 75000 | #Constraints: 18871 1258.17/1261.36 c #Conflicts: 76000 | #Constraints: 19871 1258.17/1261.36 c #Conflicts: 77000 | #Constraints: 20871 1258.17/1261.36 c #Conflicts: 78000 | #Constraints: 21871 1258.17/1261.36 c INPROCESSING 1258.17/1261.36 c GARBAGE COLLECT 1258.17/1261.36 c #Conflicts: 79000 | #Constraints: 15201 1258.17/1261.36 c #Conflicts: 80000 | #Constraints: 16201 1258.17/1261.36 c #Conflicts: 81000 | #Constraints: 17201 1258.17/1261.36 c #Conflicts: 82000 | #Constraints: 18201 1258.17/1261.36 c #Conflicts: 83000 | #Constraints: 19201 1258.17/1261.36 c #Conflicts: 84000 | #Constraints: 20201 1258.17/1261.36 c #Conflicts: 85000 | #Constraints: 21201 1258.17/1261.36 c #Conflicts: 86000 | #Constraints: 22201 1258.17/1261.36 c #Conflicts: 87000 | #Constraints: 23201 1258.17/1261.36 c #Conflicts: 88000 | #Constraints: 24201 1258.17/1261.36 c #Conflicts: 89000 | #Constraints: 25201 1258.17/1261.36 c #Conflicts: 90000 | #Constraints: 26201 1258.17/1261.36 c #Conflicts: 91000 | #Constraints: 27201 1258.17/1261.36 c #Conflicts: 92000 | #Constraints: 28201 1258.17/1261.36 c #Conflicts: 93000 | #Constraints: 29201 1258.17/1261.36 c #Conflicts: 94000 | #Constraints: 30201 1258.17/1261.36 c #Conflicts: 95000 | #Constraints: 31201 1258.17/1261.36 c #Conflicts: 96000 | #Constraints: 32201 1258.17/1261.36 c #Conflicts: 97000 | #Constraints: 33201 1258.17/1261.36 c #Conflicts: 98000 | #Constraints: 34201 1258.17/1261.36 c #Conflicts: 99000 | #Constraints: 35201 1258.17/1261.36 c INPROCESSING 1258.17/1261.36 c GARBAGE COLLECT 1258.17/1261.36 c #Conflicts: 100000 | #Constraints: 21781 1258.17/1261.36 c #Conflicts: 101000 | #Constraints: 22781 1258.17/1261.36 c #Conflicts: 102000 | #Constraints: 23781 1258.17/1261.36 c #Conflicts: 103000 | #Constraints: 24781 1258.17/1261.36 c #Conflicts: 104000 | #Constraints: 25781 1258.17/1261.36 c #Conflicts: 105000 | #Constraints: 26781 1258.17/1261.36 c #Conflicts: 106000 | #Constraints: 27781 1258.17/1261.36 c #Conflicts: 107000 | #Constraints: 28781 1258.17/1261.36 c INPROCESSING 1258.17/1261.36 c GARBAGE COLLECT 1258.17/1261.36 c #Conflicts: 108000 | #Constraints: 18523 1258.17/1261.36 c #Conflicts: 109000 | #Constraints: 19523 1258.17/1261.36 c #Conflicts: 110000 | #Constraints: 20523 1258.17/1261.36 c #Conflicts: 111000 | #Constraints: 21523 1258.17/1261.36 c #Conflicts: 112000 | #Constraints: 22523 1258.17/1261.36 c #Conflicts: 113000 | #Constraints: 23523 1258.17/1261.36 c #Conflicts: 114000 | #Constraints: 24523 1258.17/1261.36 c #Conflicts: 115000 | #Constraints: 25523 1258.17/1261.36 c INPROCESSING 1258.17/1261.36 c GARBAGE COLLECT 1258.17/1261.36 c #Conflicts: 116000 | #Constraints: 16911 1258.17/1261.36 c #Conflicts: 117000 | #Constraints: 17911 1258.17/1261.36 c #Conflicts: 118000 | #Constraints: 18911 1258.17/1261.36 c #Conflicts: 119000 | #Constraints: 19911 1258.17/1261.36 c #Conflicts: 120000 | #Constraints: 20911 1258.17/1261.36 c #Conflicts: 121000 | #Constraints: 21911 1258.17/1261.36 c #Conflicts: 122000 | #Constraints: 22911 1258.17/1261.36 c #Conflicts: 123000 | #Constraints: 23912 1258.17/1261.36 c #Conflicts: 124000 | #Constraints: 24912 1258.17/1261.36 c #Conflicts: 125000 | #Constraints: 25912 1258.17/1261.36 c #Conflicts: 126000 | #Constraints: 26912 1258.17/1261.36 c #Conflicts: 127000 | #Constraints: 27912 1258.17/1261.36 c #Conflicts: 128000 | #Constraints: 28912 1258.17/1261.36 c #Conflicts: 129000 | #Constraints: 29913 1258.17/1261.36 c #Conflicts: 130000 | #Constraints: 30913 1258.17/1261.36 c #Conflicts: 131000 | #Constraints: 31913 1258.17/1261.36 c #Conflicts: 132000 | #Constraints: 32913 1258.17/1261.36 c #Conflicts: 133000 | #Constraints: 33913 1258.17/1261.36 c #Conflicts: 134000 | #Constraints: 34913 1258.17/1261.36 c #Conflicts: 135000 | #Constraints: 35913 1258.17/1261.36 c #Conflicts: 136000 | #Constraints: 36913 1258.17/1261.36 c #Conflicts: 137000 | #Constraints: 37913 1258.17/1261.36 c #Conflicts: 138000 | #Constraints: 38913 1258.17/1261.36 c #Conflicts: 139000 | #Constraints: 39913 1258.17/1261.36 c #Conflicts: 140000 | #Constraints: 40913 1258.17/1261.36 c INPROCESSING 1258.17/1261.36 c GARBAGE COLLECT 1258.17/1261.36 c #Conflicts: 141000 | #Constraints: 24440 1258.17/1261.36 c #Conflicts: 142000 | #Constraints: 25440 1258.17/1261.36 c #Conflicts: 143000 | #Constraints: 26440 1302.46/1305.78 c #Conflicts: 144000 | #Constraints: 27440 1302.46/1305.78 c #Conflicts: 145000 | #Constraints: 28440 1302.46/1305.78 c #Conflicts: 146000 | #Constraints: 29440 1302.46/1305.78 c #Conflicts: 147000 | #Constraints: 30440 1302.46/1305.78 c #Conflicts: 148000 | #Constraints: 31440 1302.46/1305.78 c #Conflicts: 149000 | #Constraints: 32441 1302.46/1305.78 c #Conflicts: 150000 | #Constraints: 33441 1302.46/1305.78 c INPROCESSING 1302.46/1305.78 c GARBAGE COLLECT 1302.46/1305.78 c #Conflicts: 151000 | #Constraints: 20991 1302.46/1305.78 c #Conflicts: 152000 | #Constraints: 21991 1302.46/1305.78 c #Conflicts: 153000 | #Constraints: 22991 1302.46/1305.78 c #Conflicts: 154000 | #Constraints: 23991 1302.46/1305.78 c #Conflicts: 155000 | #Constraints: 24991 1302.46/1305.78 c #Conflicts: 156000 | #Constraints: 25991 1302.46/1305.78 c #Conflicts: 157000 | #Constraints: 26991 1302.46/1305.78 c #Conflicts: 158000 | #Constraints: 27991 1302.46/1305.78 c #Conflicts: 159000 | #Constraints: 28991 1302.46/1305.78 c INPROCESSING 1302.46/1305.78 c GARBAGE COLLECT 1302.46/1305.78 c #Conflicts: 160000 | #Constraints: 18474 1302.46/1305.78 c #Conflicts: 161000 | #Constraints: 19474 1302.46/1305.78 c #Conflicts: 162000 | #Constraints: 20474 1302.46/1305.78 c #Conflicts: 163000 | #Constraints: 21474 1302.46/1305.78 c #Conflicts: 164000 | #Constraints: 22474 1302.46/1305.78 c #Conflicts: 165000 | #Constraints: 23474 1302.46/1305.78 c #Conflicts: 166000 | #Constraints: 24474 1302.46/1305.78 c #Conflicts: 167000 | #Constraints: 25474 1302.46/1305.78 c #Conflicts: 168000 | #Constraints: 26474 1302.46/1305.78 c #Conflicts: 169000 | #Constraints: 27474 1302.46/1305.78 c #Conflicts: 170000 | #Constraints: 28475 1302.46/1305.78 c #Conflicts: 171000 | #Constraints: 29475 1302.46/1305.78 c #Conflicts: 172000 | #Constraints: 30475 1302.46/1305.78 c #Conflicts: 173000 | #Constraints: 31475 1302.46/1305.78 c #Conflicts: 174000 | #Constraints: 32475 1302.46/1305.78 c #Conflicts: 175000 | #Constraints: 33475 1302.46/1305.78 c #Conflicts: 176000 | #Constraints: 34475 1302.46/1305.78 c #Conflicts: 177000 | #Constraints: 35475 1302.46/1305.78 c #Conflicts: 178000 | #Constraints: 36475 1302.46/1305.78 c #Conflicts: 179000 | #Constraints: 37475 1302.46/1305.78 c #Conflicts: 180000 | #Constraints: 38475 1302.46/1305.78 c #Conflicts: 181000 | #Constraints: 39475 1302.46/1305.78 c #Conflicts: 182000 | #Constraints: 40475 1302.46/1305.78 c #Conflicts: 183000 | #Constraints: 41475 1302.46/1305.78 c #Conflicts: 184000 | #Constraints: 42475 1302.46/1305.78 c #Conflicts: 185000 | #Constraints: 43475 1302.46/1305.78 c #Conflicts: 186000 | #Constraints: 44475 1302.46/1305.78 c #Conflicts: 187000 | #Constraints: 45475 1302.46/1305.78 c #Conflicts: 188000 | #Constraints: 46475 1302.46/1305.78 c #Conflicts: 189000 | #Constraints: 47475 1302.46/1305.78 c INPROCESSING 1302.46/1305.78 c GARBAGE COLLECT 1302.46/1305.78 c #Conflicts: 190000 | #Constraints: 27945 1302.46/1305.78 c #Conflicts: 191000 | #Constraints: 28946 1302.46/1305.78 c #Conflicts: 192000 | #Constraints: 29946 1302.46/1305.78 c #Conflicts: 193000 | #Constraints: 30946 1302.46/1305.78 c #Conflicts: 194000 | #Constraints: 31946 1302.46/1305.78 c #Conflicts: 195000 | #Constraints: 32946 1302.46/1305.78 c #Conflicts: 196000 | #Constraints: 33946 1302.46/1305.78 c #Conflicts: 197000 | #Constraints: 34946 1302.46/1305.78 c #Conflicts: 198000 | #Constraints: 35946 1302.46/1305.78 c #Conflicts: 199000 | #Constraints: 36946 1302.46/1305.78 c #Conflicts: 200000 | #Constraints: 37946 1302.46/1305.78 c INPROCESSING 1302.46/1305.78 c GARBAGE COLLECT 1302.46/1305.78 c #Conflicts: 201000 | #Constraints: 23221 1302.46/1305.78 c #Conflicts: 202000 | #Constraints: 24221 1302.46/1305.78 c #Conflicts: 203000 | #Constraints: 25221 1302.46/1305.78 c #Conflicts: 204000 | #Constraints: 26221 1302.46/1305.78 c #Conflicts: 205000 | #Constraints: 27221 1302.46/1305.78 c #Conflicts: 206000 | #Constraints: 28221 1302.46/1305.78 c #Conflicts: 207000 | #Constraints: 29221 1302.46/1305.78 c #Conflicts: 208000 | #Constraints: 30221 1302.46/1305.78 c #Conflicts: 209000 | #Constraints: 31221 1302.46/1305.78 c #Conflicts: 210000 | #Constraints: 32221 1302.46/1305.78 c #Conflicts: 211000 | #Constraints: 33221 1302.46/1305.78 c INPROCESSING 1302.46/1305.78 c GARBAGE COLLECT 1302.46/1305.78 c #Conflicts: 212000 | #Constraints: 20811 1302.46/1305.78 c #Conflicts: 213000 | #Constraints: 21811 1302.46/1305.78 c #Conflicts: 214000 | #Constraints: 22811 1302.46/1305.78 c #Conflicts: 215000 | #Constraints: 23812 1302.46/1305.78 c #Conflicts: 216000 | #Constraints: 24812 1302.46/1305.78 c #Conflicts: 217000 | #Constraints: 25812 1302.46/1305.78 c #Conflicts: 218000 | #Constraints: 26812 1349.35/1352.71 c #Conflicts: 219000 | #Constraints: 27812 1349.35/1352.71 c #Conflicts: 220000 | #Constraints: 28812 1349.35/1352.71 c #Conflicts: 221000 | #Constraints: 29812 1349.35/1352.71 c #Conflicts: 222000 | #Constraints: 30812 1349.35/1352.71 c #Conflicts: 223000 | #Constraints: 31813 1349.35/1352.71 c #Conflicts: 224000 | #Constraints: 32813 1349.35/1352.71 c #Conflicts: 225000 | #Constraints: 33813 1349.35/1352.71 c #Conflicts: 226000 | #Constraints: 34813 1349.35/1352.71 c #Conflicts: 227000 | #Constraints: 35813 1349.35/1352.71 c #Conflicts: 228000 | #Constraints: 36813 1349.35/1352.71 c #Conflicts: 229000 | #Constraints: 37813 1349.35/1352.71 c #Conflicts: 230000 | #Constraints: 38813 1349.35/1352.71 c #Conflicts: 231000 | #Constraints: 39813 1349.35/1352.71 c #Conflicts: 232000 | #Constraints: 40813 1349.35/1352.71 c #Conflicts: 233000 | #Constraints: 41813 1349.35/1352.71 c #Conflicts: 234000 | #Constraints: 42813 1349.35/1352.71 c #Conflicts: 235000 | #Constraints: 43813 1349.35/1352.71 c #Conflicts: 236000 | #Constraints: 44813 1349.35/1352.71 c #Conflicts: 237000 | #Constraints: 45813 1349.35/1352.71 c #Conflicts: 238000 | #Constraints: 46813 1349.35/1352.71 c #Conflicts: 239000 | #Constraints: 47813 1349.35/1352.71 c #Conflicts: 240000 | #Constraints: 48814 1349.35/1352.71 c #Conflicts: 241000 | #Constraints: 49814 1349.35/1352.71 c #Conflicts: 242000 | #Constraints: 50814 1349.35/1352.71 c #Conflicts: 243000 | #Constraints: 51814 1349.35/1352.71 c #Conflicts: 244000 | #Constraints: 52814 1349.35/1352.71 c #Conflicts: 245000 | #Constraints: 53814 1349.35/1352.71 c INPROCESSING 1349.35/1352.71 c GARBAGE COLLECT 1349.35/1352.71 c #Conflicts: 246000 | #Constraints: 31199 1349.35/1352.71 c #Conflicts: 247000 | #Constraints: 32199 1349.35/1352.71 c #Conflicts: 248000 | #Constraints: 33199 1349.35/1352.71 c #Conflicts: 249000 | #Constraints: 34199 1349.35/1352.71 c #Conflicts: 250000 | #Constraints: 35199 1349.35/1352.71 c #Conflicts: 251000 | #Constraints: 36199 1349.35/1352.71 c #Conflicts: 252000 | #Constraints: 37199 1349.35/1352.71 c #Conflicts: 253000 | #Constraints: 38199 1349.35/1352.71 c #Conflicts: 254000 | #Constraints: 39199 1349.35/1352.71 c #Conflicts: 255000 | #Constraints: 40200 1349.35/1352.71 c #Conflicts: 256000 | #Constraints: 41200 1349.35/1352.71 c #Conflicts: 257000 | #Constraints: 42200 1349.35/1352.71 c INPROCESSING 1349.35/1352.71 c GARBAGE COLLECT 1349.35/1352.71 c #Conflicts: 258000 | #Constraints: 25200 1349.35/1352.71 c #Conflicts: 259000 | #Constraints: 26200 1349.35/1352.71 c #Conflicts: 260000 | #Constraints: 27200 1349.35/1352.71 c #Conflicts: 261000 | #Constraints: 28201 1349.35/1352.71 c #Conflicts: 262000 | #Constraints: 29201 1349.35/1352.71 c #Conflicts: 263000 | #Constraints: 30201 1349.35/1352.71 c #Conflicts: 264000 | #Constraints: 31201 1349.35/1352.71 c #Conflicts: 265000 | #Constraints: 32201 1349.35/1352.71 c #Conflicts: 266000 | #Constraints: 33201 1349.35/1352.71 c #Conflicts: 267000 | #Constraints: 34201 1349.35/1352.71 c #Conflicts: 268000 | #Constraints: 35201 1349.35/1352.71 c #Conflicts: 269000 | #Constraints: 36201 1349.35/1352.71 c #Conflicts: 270000 | #Constraints: 37201 1349.35/1352.71 c INPROCESSING 1349.35/1352.71 c GARBAGE COLLECT 1349.35/1352.71 c #Conflicts: 271000 | #Constraints: 22894 1349.35/1352.71 c #Conflicts: 272000 | #Constraints: 23895 1349.35/1352.71 c #Conflicts: 273000 | #Constraints: 24895 1349.35/1352.71 c #Conflicts: 274000 | #Constraints: 25895 1349.35/1352.71 c #Conflicts: 275000 | #Constraints: 26895 1349.35/1352.71 c #Conflicts: 276000 | #Constraints: 27895 1349.35/1352.71 c #Conflicts: 277000 | #Constraints: 28895 1349.35/1352.71 c #Conflicts: 278000 | #Constraints: 29895 1349.35/1352.71 c #Conflicts: 279000 | #Constraints: 30895 1349.35/1352.71 c #Conflicts: 280000 | #Constraints: 31896 1349.35/1352.71 c #Conflicts: 281000 | #Constraints: 32896 1349.35/1352.71 c #Conflicts: 282000 | #Constraints: 33896 1349.35/1352.71 c #Conflicts: 283000 | #Constraints: 34896 1349.35/1352.71 c #Conflicts: 284000 | #Constraints: 35896 1349.35/1352.71 c #Conflicts: 285000 | #Constraints: 36896 1349.35/1352.71 c #Conflicts: 286000 | #Constraints: 37896 1349.35/1352.71 c #Conflicts: 287000 | #Constraints: 38896 1349.35/1352.71 c #Conflicts: 288000 | #Constraints: 39896 1349.35/1352.71 c #Conflicts: 289000 | #Constraints: 40896 1349.35/1352.71 c #Conflicts: 290000 | #Constraints: 41896 1349.35/1352.71 c #Conflicts: 291000 | #Constraints: 42896 1349.35/1352.71 c #Conflicts: 292000 | #Constraints: 43896 1349.35/1352.71 c #Conflicts: 293000 | #Constraints: 44896 1349.35/1352.71 c #Conflicts: 294000 | #Constraints: 45896 1349.35/1352.71 c #Conflicts: 295000 | #Constraints: 46896 1403.42/1406.91 c #Conflicts: 296000 | #Constraints: 47896 1403.42/1406.91 c #Conflicts: 297000 | #Constraints: 48897 1403.42/1406.91 c #Conflicts: 298000 | #Constraints: 49897 1403.42/1406.91 c #Conflicts: 299000 | #Constraints: 50897 1403.42/1406.91 c #Conflicts: 300000 | #Constraints: 51897 1403.42/1406.91 c #Conflicts: 301000 | #Constraints: 52897 1403.42/1406.91 c #Conflicts: 302000 | #Constraints: 53897 1403.42/1406.91 c #Conflicts: 303000 | #Constraints: 54897 1403.42/1406.91 c #Conflicts: 304000 | #Constraints: 55898 1403.42/1406.91 c #Conflicts: 305000 | #Constraints: 56898 1403.42/1406.91 c #Conflicts: 306000 | #Constraints: 57898 1403.42/1406.91 c #Conflicts: 307000 | #Constraints: 58898 1403.42/1406.91 c #Conflicts: 308000 | #Constraints: 59898 1403.42/1406.91 c INPROCESSING 1403.42/1406.91 c GARBAGE COLLECT 1403.42/1406.91 c #Conflicts: 309000 | #Constraints: 34256 1403.42/1406.91 c #Conflicts: 310000 | #Constraints: 35256 1403.42/1406.91 c #Conflicts: 311000 | #Constraints: 36256 1403.42/1406.91 c #Conflicts: 312000 | #Constraints: 37256 1403.42/1406.91 c #Conflicts: 313000 | #Constraints: 38256 1403.42/1406.91 c #Conflicts: 314000 | #Constraints: 39256 1403.42/1406.91 c #Conflicts: 315000 | #Constraints: 40256 1403.42/1406.91 c #Conflicts: 316000 | #Constraints: 41257 1403.42/1406.91 c #Conflicts: 317000 | #Constraints: 42257 1403.42/1406.91 c #Conflicts: 318000 | #Constraints: 43257 1403.42/1406.91 c #Conflicts: 319000 | #Constraints: 44257 1403.42/1406.91 c #Conflicts: 320000 | #Constraints: 45257 1403.42/1406.91 c #Conflicts: 321000 | #Constraints: 46257 1403.42/1406.91 c INPROCESSING 1403.42/1406.91 c GARBAGE COLLECT 1403.42/1406.91 c #Conflicts: 322000 | #Constraints: 26970 1403.42/1406.91 c #Conflicts: 323000 | #Constraints: 27970 1403.42/1406.91 c #Conflicts: 324000 | #Constraints: 28971 1403.42/1406.91 c #Conflicts: 325000 | #Constraints: 29971 1403.42/1406.91 c #Conflicts: 326000 | #Constraints: 30971 1403.42/1406.91 c #Conflicts: 327000 | #Constraints: 31971 1403.42/1406.91 c #Conflicts: 328000 | #Constraints: 32971 1403.42/1406.91 c #Conflicts: 329000 | #Constraints: 33971 1403.42/1406.91 c #Conflicts: 330000 | #Constraints: 34971 1403.42/1406.91 c #Conflicts: 331000 | #Constraints: 35971 1403.42/1406.91 c #Conflicts: 332000 | #Constraints: 36972 1403.42/1406.91 c #Conflicts: 333000 | #Constraints: 37974 1403.42/1406.91 c #Conflicts: 334000 | #Constraints: 38974 1403.42/1406.91 c #Conflicts: 335000 | #Constraints: 39975 1403.42/1406.91 c #Conflicts: 336000 | #Constraints: 40975 1403.42/1406.91 c INPROCESSING 1403.42/1406.91 c GARBAGE COLLECT 1403.42/1406.91 c #Conflicts: 337000 | #Constraints: 24803 1403.42/1406.91 c #Conflicts: 338000 | #Constraints: 25803 1403.42/1406.91 c #Conflicts: 339000 | #Constraints: 26803 1403.42/1406.91 c #Conflicts: 340000 | #Constraints: 27803 1403.42/1406.91 c #Conflicts: 341000 | #Constraints: 28804 1403.42/1406.91 c #Conflicts: 342000 | #Constraints: 29804 1403.42/1406.91 c #Conflicts: 343000 | #Constraints: 30804 1403.42/1406.91 c #Conflicts: 344000 | #Constraints: 31804 1403.42/1406.91 c #Conflicts: 345000 | #Constraints: 32804 1403.42/1406.91 c #Conflicts: 346000 | #Constraints: 33804 1403.42/1406.91 c #Conflicts: 347000 | #Constraints: 34804 1403.42/1406.91 c #Conflicts: 348000 | #Constraints: 35805 1403.42/1406.91 c #Conflicts: 349000 | #Constraints: 36805 1403.42/1406.91 c #Conflicts: 350000 | #Constraints: 37805 1403.42/1406.91 c #Conflicts: 351000 | #Constraints: 38805 1403.42/1406.91 c #Conflicts: 352000 | #Constraints: 39805 1403.42/1406.91 c #Conflicts: 353000 | #Constraints: 40805 1403.42/1406.91 c #Conflicts: 354000 | #Constraints: 41805 1403.42/1406.91 c #Conflicts: 355000 | #Constraints: 42805 1403.42/1406.91 c #Conflicts: 356000 | #Constraints: 43806 1403.42/1406.91 c #Conflicts: 357000 | #Constraints: 44806 1403.42/1406.91 c #Conflicts: 358000 | #Constraints: 45806 1403.42/1406.91 c #Conflicts: 359000 | #Constraints: 46806 1403.42/1406.91 c #Conflicts: 360000 | #Constraints: 47806 1403.42/1406.91 c #Conflicts: 361000 | #Constraints: 48806 1403.42/1406.91 c #Conflicts: 362000 | #Constraints: 49807 1403.42/1406.91 c #Conflicts: 363000 | #Constraints: 50807 1403.42/1406.91 c #Conflicts: 364000 | #Constraints: 51807 1403.42/1406.91 c #Conflicts: 365000 | #Constraints: 52807 1403.42/1406.91 c #Conflicts: 366000 | #Constraints: 53807 1403.42/1406.91 c #Conflicts: 367000 | #Constraints: 54807 1403.42/1406.91 c #Conflicts: 368000 | #Constraints: 55807 1403.42/1406.91 c #Conflicts: 369000 | #Constraints: 56807 1403.42/1406.91 c #Conflicts: 370000 | #Constraints: 57807 1403.42/1406.91 c #Conflicts: 371000 | #Constraints: 58807 1403.42/1406.91 c #Conflicts: 372000 | #Constraints: 59807 1469.17/1472.86 c #Conflicts: 373000 | #Constraints: 60807 1469.17/1472.86 c #Conflicts: 374000 | #Constraints: 61807 1469.17/1472.86 c #Conflicts: 375000 | #Constraints: 62808 1469.17/1472.86 c #Conflicts: 376000 | #Constraints: 63808 1469.17/1472.86 c #Conflicts: 377000 | #Constraints: 64808 1469.17/1472.86 c #Conflicts: 378000 | #Constraints: 65808 1469.17/1472.86 c INPROCESSING 1469.17/1472.86 c GARBAGE COLLECT 1469.17/1472.86 c #Conflicts: 379000 | #Constraints: 37129 1469.17/1472.86 c #Conflicts: 380000 | #Constraints: 38129 1469.17/1472.86 c #Conflicts: 381000 | #Constraints: 39129 1469.17/1472.86 c #Conflicts: 382000 | #Constraints: 40129 1469.17/1472.86 c #Conflicts: 383000 | #Constraints: 41129 1469.17/1472.86 c #Conflicts: 384000 | #Constraints: 42129 1469.17/1472.86 c #Conflicts: 385000 | #Constraints: 43129 1469.17/1472.86 c #Conflicts: 386000 | #Constraints: 44129 1469.17/1472.86 c #Conflicts: 387000 | #Constraints: 45129 1469.17/1472.86 c #Conflicts: 388000 | #Constraints: 46129 1469.17/1472.86 c #Conflicts: 389000 | #Constraints: 47130 1469.17/1472.86 c #Conflicts: 390000 | #Constraints: 48130 1469.17/1472.86 c #Conflicts: 391000 | #Constraints: 49130 1469.17/1472.86 c #Conflicts: 392000 | #Constraints: 50130 1469.17/1472.86 c #Conflicts: 393000 | #Constraints: 51130 1469.17/1472.86 c INPROCESSING 1469.17/1472.86 c GARBAGE COLLECT 1469.17/1472.86 c #Conflicts: 394000 | #Constraints: 29573 1469.17/1472.86 c #Conflicts: 395000 | #Constraints: 30573 1469.17/1472.86 c #Conflicts: 396000 | #Constraints: 31573 1469.17/1472.86 c #Conflicts: 397000 | #Constraints: 32573 1469.17/1472.86 c #Conflicts: 398000 | #Constraints: 33573 1469.17/1472.86 c #Conflicts: 399000 | #Constraints: 34573 1469.17/1472.86 c #Conflicts: 400000 | #Constraints: 35573 1469.17/1472.86 c #Conflicts: 401000 | #Constraints: 36573 1469.17/1472.86 c #Conflicts: 402000 | #Constraints: 37573 1469.17/1472.86 c #Conflicts: 403000 | #Constraints: 38573 1469.17/1472.86 c #Conflicts: 404000 | #Constraints: 39574 1469.17/1472.86 c #Conflicts: 405000 | #Constraints: 40574 1469.17/1472.86 c #Conflicts: 406000 | #Constraints: 41574 1469.17/1472.86 c #Conflicts: 407000 | #Constraints: 42574 1469.17/1472.86 c #Conflicts: 408000 | #Constraints: 43574 1469.17/1472.86 c #Conflicts: 409000 | #Constraints: 44574 1469.17/1472.86 c INPROCESSING 1469.17/1472.86 c GARBAGE COLLECT 1469.17/1472.86 c #Conflicts: 410000 | #Constraints: 26527 1469.17/1472.86 c #Conflicts: 411000 | #Constraints: 27527 1469.17/1472.86 c #Conflicts: 412000 | #Constraints: 28527 1469.17/1472.86 c #Conflicts: 413000 | #Constraints: 29527 1469.17/1472.86 c #Conflicts: 414000 | #Constraints: 30527 1469.17/1472.86 c #Conflicts: 415000 | #Constraints: 31527 1469.17/1472.86 c #Conflicts: 416000 | #Constraints: 32527 1469.17/1472.86 c #Conflicts: 417000 | #Constraints: 33527 1469.17/1472.86 c #Conflicts: 418000 | #Constraints: 34527 1469.17/1472.86 c #Conflicts: 419000 | #Constraints: 35527 1469.17/1472.86 c #Conflicts: 420000 | #Constraints: 36527 1469.17/1472.86 c #Conflicts: 421000 | #Constraints: 37527 1469.17/1472.86 c #Conflicts: 422000 | #Constraints: 38527 1469.17/1472.86 c #Conflicts: 423000 | #Constraints: 39527 1469.17/1472.86 c #Conflicts: 424000 | #Constraints: 40527 1469.17/1472.86 c #Conflicts: 425000 | #Constraints: 41527 1469.17/1472.86 c #Conflicts: 426000 | #Constraints: 42527 1469.17/1472.86 c #Conflicts: 427000 | #Constraints: 43527 1469.17/1472.86 c #Conflicts: 428000 | #Constraints: 44527 1469.17/1472.86 c #Conflicts: 429000 | #Constraints: 45527 1469.17/1472.86 c #Conflicts: 430000 | #Constraints: 46527 1469.17/1472.86 c #Conflicts: 431000 | #Constraints: 47527 1469.17/1472.86 c #Conflicts: 432000 | #Constraints: 48527 1469.17/1472.86 c #Conflicts: 433000 | #Constraints: 49528 1469.17/1472.86 c #Conflicts: 434000 | #Constraints: 50528 1469.17/1472.86 c #Conflicts: 435000 | #Constraints: 51528 1469.17/1472.86 c #Conflicts: 436000 | #Constraints: 52528 1469.17/1472.86 c #Conflicts: 437000 | #Constraints: 53528 1469.17/1472.86 c #Conflicts: 438000 | #Constraints: 54528 1469.17/1472.86 c #Conflicts: 439000 | #Constraints: 55528 1469.17/1472.86 c #Conflicts: 440000 | #Constraints: 56529 1469.17/1472.86 c #Conflicts: 441000 | #Constraints: 57529 1469.17/1472.86 c #Conflicts: 442000 | #Constraints: 58529 1469.17/1472.86 c #Conflicts: 443000 | #Constraints: 59529 1469.17/1472.86 c #Conflicts: 444000 | #Constraints: 60529 1469.17/1472.86 c #Conflicts: 445000 | #Constraints: 61529 1469.17/1472.86 c #Conflicts: 446000 | #Constraints: 62529 1469.17/1472.86 c #Conflicts: 447000 | #Constraints: 63529 1469.17/1472.86 c #Conflicts: 448000 | #Constraints: 64529 1469.17/1472.86 c #Conflicts: 449000 | #Constraints: 65529 1535.81/1539.63 c #Conflicts: 450000 | #Constraints: 66529 1535.81/1539.63 c #Conflicts: 451000 | #Constraints: 67529 1535.81/1539.63 c #Conflicts: 452000 | #Constraints: 68529 1535.81/1539.63 c #Conflicts: 453000 | #Constraints: 69529 1535.81/1539.63 c #Conflicts: 454000 | #Constraints: 70529 1535.81/1539.63 c #Conflicts: 455000 | #Constraints: 71530 1535.81/1539.63 c INPROCESSING 1535.81/1539.63 c GARBAGE COLLECT 1535.81/1539.63 c #Conflicts: 456000 | #Constraints: 39774 1535.81/1539.63 c #Conflicts: 457000 | #Constraints: 40774 1535.81/1539.63 c #Conflicts: 458000 | #Constraints: 41774 1535.81/1539.63 c #Conflicts: 459000 | #Constraints: 42775 1535.81/1539.63 c #Conflicts: 460000 | #Constraints: 43775 1535.81/1539.63 c #Conflicts: 461000 | #Constraints: 44775 1535.81/1539.63 c #Conflicts: 462000 | #Constraints: 45775 1535.81/1539.63 c #Conflicts: 463000 | #Constraints: 46775 1535.81/1539.63 c #Conflicts: 464000 | #Constraints: 47775 1535.81/1539.63 c #Conflicts: 465000 | #Constraints: 48775 1535.81/1539.63 c #Conflicts: 466000 | #Constraints: 49775 1535.81/1539.63 c #Conflicts: 467000 | #Constraints: 50776 1535.81/1539.63 c #Conflicts: 468000 | #Constraints: 51776 1535.81/1539.63 c #Conflicts: 469000 | #Constraints: 52777 1535.81/1539.63 c #Conflicts: 470000 | #Constraints: 53777 1535.81/1539.63 c #Conflicts: 471000 | #Constraints: 54777 1535.81/1539.63 c #Conflicts: 472000 | #Constraints: 55777 1535.81/1539.63 c INPROCESSING 1535.81/1539.63 c GARBAGE COLLECT 1535.81/1539.63 c #Conflicts: 473000 | #Constraints: 31943 1535.81/1539.63 c #Conflicts: 474000 | #Constraints: 32943 1535.81/1539.63 c #Conflicts: 475000 | #Constraints: 33943 1535.81/1539.63 c #Conflicts: 476000 | #Constraints: 34943 1535.81/1539.63 c #Conflicts: 477000 | #Constraints: 35943 1535.81/1539.63 c #Conflicts: 478000 | #Constraints: 36943 1535.81/1539.63 c #Conflicts: 479000 | #Constraints: 37943 1535.81/1539.63 c #Conflicts: 480000 | #Constraints: 38943 1535.81/1539.63 c #Conflicts: 481000 | #Constraints: 39943 1535.81/1539.63 c #Conflicts: 482000 | #Constraints: 40943 1535.81/1539.63 c #Conflicts: 483000 | #Constraints: 41943 1535.81/1539.63 c #Conflicts: 484000 | #Constraints: 42943 1535.81/1539.63 c #Conflicts: 485000 | #Constraints: 43944 1535.81/1539.63 c #Conflicts: 486000 | #Constraints: 44944 1535.81/1539.63 c #Conflicts: 487000 | #Constraints: 45944 1535.81/1539.63 c #Conflicts: 488000 | #Constraints: 46944 1535.81/1539.63 c #Conflicts: 489000 | #Constraints: 47944 1535.81/1539.63 c INPROCESSING 1535.81/1539.63 c GARBAGE COLLECT 1535.81/1539.63 c #Conflicts: 490000 | #Constraints: 27976 1535.81/1539.63 c #Conflicts: 491000 | #Constraints: 28977 1535.81/1539.63 c #Conflicts: 492000 | #Constraints: 29977 1535.81/1539.63 c #Conflicts: 493000 | #Constraints: 30977 1535.81/1539.63 c #Conflicts: 494000 | #Constraints: 31977 1535.81/1539.63 c #Conflicts: 495000 | #Constraints: 32977 1535.81/1539.63 c #Conflicts: 496000 | #Constraints: 33977 1535.81/1539.63 c #Conflicts: 497000 | #Constraints: 34977 1535.81/1539.63 c #Conflicts: 498000 | #Constraints: 35978 1535.81/1539.63 c #Conflicts: 499000 | #Constraints: 36978 1535.81/1539.63 c #Conflicts: 500000 | #Constraints: 37978 1535.81/1539.63 c #Conflicts: 501000 | #Constraints: 38978 1535.81/1539.63 c #Conflicts: 502000 | #Constraints: 39978 1535.81/1539.63 c #Conflicts: 503000 | #Constraints: 40978 1535.81/1539.63 c #Conflicts: 504000 | #Constraints: 41979 1535.81/1539.63 c #Conflicts: 505000 | #Constraints: 42979 1535.81/1539.63 c #Conflicts: 506000 | #Constraints: 43979 1535.81/1539.63 c #Conflicts: 507000 | #Constraints: 44979 1535.81/1539.63 c #Conflicts: 508000 | #Constraints: 45979 1535.81/1539.63 c #Conflicts: 509000 | #Constraints: 46979 1535.81/1539.63 c #Conflicts: 510000 | #Constraints: 47979 1535.81/1539.63 c #Conflicts: 511000 | #Constraints: 48979 1535.81/1539.63 c #Conflicts: 512000 | #Constraints: 49980 1535.81/1539.63 c #Conflicts: 513000 | #Constraints: 50980 1535.81/1539.63 c #Conflicts: 514000 | #Constraints: 51980 1535.81/1539.63 c #Conflicts: 515000 | #Constraints: 52980 1535.81/1539.63 c #Conflicts: 516000 | #Constraints: 53980 1535.81/1539.63 c #Conflicts: 517000 | #Constraints: 54980 1535.81/1539.63 c #Conflicts: 518000 | #Constraints: 55980 1535.81/1539.63 c #Conflicts: 519000 | #Constraints: 56980 1535.81/1539.63 c #Conflicts: 520000 | #Constraints: 57980 1535.81/1539.63 c #Conflicts: 521000 | #Constraints: 58980 1535.81/1539.63 c #Conflicts: 522000 | #Constraints: 59980 1535.81/1539.63 c #Conflicts: 523000 | #Constraints: 60980 1535.81/1539.63 c #Conflicts: 524000 | #Constraints: 61980 1535.81/1539.63 c #Conflicts: 525000 | #Constraints: 62980 1535.81/1539.63 c #Conflicts: 526000 | #Constraints: 63980 1600.56/1604.58 c #Conflicts: 527000 | #Constraints: 64981 1600.56/1604.58 c #Conflicts: 528000 | #Constraints: 65981 1600.56/1604.58 c #Conflicts: 529000 | #Constraints: 66981 1600.56/1604.58 c #Conflicts: 530000 | #Constraints: 67981 1600.56/1604.58 c #Conflicts: 531000 | #Constraints: 68981 1600.56/1604.58 c #Conflicts: 532000 | #Constraints: 69981 1600.56/1604.58 c #Conflicts: 533000 | #Constraints: 70982 1600.56/1604.58 c #Conflicts: 534000 | #Constraints: 71982 1600.56/1604.58 c #Conflicts: 535000 | #Constraints: 72982 1600.56/1604.58 c #Conflicts: 536000 | #Constraints: 73982 1600.56/1604.58 c #Conflicts: 537000 | #Constraints: 74982 1600.56/1604.58 c #Conflicts: 538000 | #Constraints: 75982 1600.56/1604.58 c #Conflicts: 539000 | #Constraints: 76982 1600.56/1604.58 c #Conflicts: 540000 | #Constraints: 77982 1600.56/1604.58 c INPROCESSING 1600.56/1604.58 c GARBAGE COLLECT 1600.56/1604.58 c #Conflicts: 541000 | #Constraints: 43208 1600.56/1604.58 c #Conflicts: 542000 | #Constraints: 44208 1600.56/1604.58 c #Conflicts: 543000 | #Constraints: 45208 1600.56/1604.58 c #Conflicts: 544000 | #Constraints: 46208 1600.56/1604.58 c #Conflicts: 545000 | #Constraints: 47208 1600.56/1604.59 c #Conflicts: 546000 | #Constraints: 48208 1600.56/1604.59 c #Conflicts: 547000 | #Constraints: 49209 1600.56/1604.59 c #Conflicts: 548000 | #Constraints: 50209 1600.56/1604.59 c #Conflicts: 549000 | #Constraints: 51209 1600.56/1604.59 c #Conflicts: 550000 | #Constraints: 52209 1600.56/1604.59 c #Conflicts: 551000 | #Constraints: 53209 1600.56/1604.59 c #Conflicts: 552000 | #Constraints: 54209 1600.56/1604.59 c #Conflicts: 553000 | #Constraints: 55209 1600.56/1604.59 c #Conflicts: 554000 | #Constraints: 56209 1600.56/1604.59 c #Conflicts: 555000 | #Constraints: 57209 1600.56/1604.59 c #Conflicts: 556000 | #Constraints: 58209 1600.56/1604.59 c #Conflicts: 557000 | #Constraints: 59209 1600.56/1604.59 c #Conflicts: 558000 | #Constraints: 60209 1600.56/1604.59 c INPROCESSING 1600.56/1604.59 c GARBAGE COLLECT 1600.56/1604.59 c #Conflicts: 559000 | #Constraints: 34126 1600.56/1604.59 c #Conflicts: 560000 | #Constraints: 35126 1600.56/1604.59 c #Conflicts: 561000 | #Constraints: 36126 1600.56/1604.59 c #Conflicts: 562000 | #Constraints: 37126 1600.56/1604.59 c #Conflicts: 563000 | #Constraints: 38126 1600.56/1604.59 c #Conflicts: 564000 | #Constraints: 39126 1600.56/1604.59 c #Conflicts: 565000 | #Constraints: 40126 1600.56/1604.59 c #Conflicts: 566000 | #Constraints: 41126 1600.56/1604.59 c #Conflicts: 567000 | #Constraints: 42126 1600.56/1604.59 c #Conflicts: 568000 | #Constraints: 43126 1600.56/1604.59 c #Conflicts: 569000 | #Constraints: 44127 1600.56/1604.59 c #Conflicts: 570000 | #Constraints: 45127 1600.56/1604.59 c #Conflicts: 571000 | #Constraints: 46127 1600.56/1604.59 c #Conflicts: 572000 | #Constraints: 47127 1600.56/1604.59 c #Conflicts: 573000 | #Constraints: 48127 1600.56/1604.59 c #Conflicts: 574000 | #Constraints: 49127 1600.56/1604.59 c #Conflicts: 575000 | #Constraints: 50127 1600.56/1604.59 c #Conflicts: 576000 | #Constraints: 51127 1600.56/1604.59 c #Conflicts: 577000 | #Constraints: 52127 1600.56/1604.59 c INPROCESSING 1600.56/1604.59 c GARBAGE COLLECT 1600.56/1604.59 c #Conflicts: 578000 | #Constraints: 30278 1600.56/1604.59 c #Conflicts: 579000 | #Constraints: 31278 1600.56/1604.59 c #Conflicts: 580000 | #Constraints: 32278 1600.56/1604.59 c #Conflicts: 581000 | #Constraints: 33278 1600.56/1604.59 c #Conflicts: 582000 | #Constraints: 34278 1600.56/1604.59 c #Conflicts: 583000 | #Constraints: 35278 1600.56/1604.59 c #Conflicts: 584000 | #Constraints: 36278 1600.56/1604.59 c #Conflicts: 585000 | #Constraints: 37278 1600.56/1604.59 c #Conflicts: 586000 | #Constraints: 38278 1600.56/1604.59 c #Conflicts: 587000 | #Constraints: 39278 1600.56/1604.59 c #Conflicts: 588000 | #Constraints: 40278 1600.56/1604.59 c #Conflicts: 589000 | #Constraints: 41278 1600.56/1604.59 c #Conflicts: 590000 | #Constraints: 42278 1600.56/1604.59 c #Conflicts: 591000 | #Constraints: 43278 1600.56/1604.59 c #Conflicts: 592000 | #Constraints: 44278 1600.56/1604.59 c #Conflicts: 593000 | #Constraints: 45278 1600.56/1604.59 c #Conflicts: 594000 | #Constraints: 46278 1600.56/1604.59 c #Conflicts: 595000 | #Constraints: 47278 1600.56/1604.59 c #Conflicts: 596000 | #Constraints: 48278 1600.56/1604.59 c #Conflicts: 597000 | #Constraints: 49278 1600.56/1604.59 c #Conflicts: 598000 | #Constraints: 50278 1600.56/1604.59 c #Conflicts: 599000 | #Constraints: 51278 1600.56/1604.59 c #Conflicts: 600000 | #Constraints: 52278 1600.56/1604.59 c #Conflicts: 601000 | #Constraints: 53278 1600.56/1604.59 c #Conflicts: 602000 | #Constraints: 54278 1600.56/1604.59 c #Conflicts: 603000 | #Constraints: 55279 1673.58/1677.72 c #Conflicts: 604000 | #Constraints: 56279 1673.58/1677.72 c #Conflicts: 605000 | #Constraints: 57279 1673.58/1677.72 c #Conflicts: 606000 | #Constraints: 58279 1673.58/1677.72 c #Conflicts: 607000 | #Constraints: 59279 1673.58/1677.72 c #Conflicts: 608000 | #Constraints: 60279 1673.58/1677.72 c #Conflicts: 609000 | #Constraints: 61279 1673.58/1677.72 c #Conflicts: 610000 | #Constraints: 62280 1673.58/1677.72 c #Conflicts: 611000 | #Constraints: 63280 1673.58/1677.72 c #Conflicts: 612000 | #Constraints: 64280 1673.58/1677.72 c #Conflicts: 613000 | #Constraints: 65280 1673.58/1677.72 c #Conflicts: 614000 | #Constraints: 66280 1673.58/1677.72 c #Conflicts: 615000 | #Constraints: 67280 1673.58/1677.72 c #Conflicts: 616000 | #Constraints: 68280 1673.58/1677.72 c #Conflicts: 617000 | #Constraints: 69281 1673.58/1677.72 c #Conflicts: 618000 | #Constraints: 70281 1673.58/1677.72 c #Conflicts: 619000 | #Constraints: 71282 1673.58/1677.72 c #Conflicts: 620000 | #Constraints: 72282 1673.58/1677.72 c #Conflicts: 621000 | #Constraints: 73282 1673.58/1677.72 c #Conflicts: 622000 | #Constraints: 74282 1673.58/1677.72 c #Conflicts: 623000 | #Constraints: 75282 1673.58/1677.72 c #Conflicts: 624000 | #Constraints: 76282 1673.58/1677.72 c #Conflicts: 625000 | #Constraints: 77282 1673.58/1677.72 c #Conflicts: 626000 | #Constraints: 78282 1673.58/1677.72 c #Conflicts: 627000 | #Constraints: 79282 1673.58/1677.72 c #Conflicts: 628000 | #Constraints: 80282 1673.58/1677.72 c #Conflicts: 629000 | #Constraints: 81282 1673.58/1677.72 c #Conflicts: 630000 | #Constraints: 82282 1673.58/1677.72 c #Conflicts: 631000 | #Constraints: 83282 1673.58/1677.72 c #Conflicts: 632000 | #Constraints: 84282 1673.58/1677.72 c INPROCESSING 1673.58/1677.72 c GARBAGE COLLECT 1673.58/1677.72 c #Conflicts: 633000 | #Constraints: 46465 1673.58/1677.72 c #Conflicts: 634000 | #Constraints: 47465 1673.58/1677.72 c #Conflicts: 635000 | #Constraints: 48465 1673.58/1677.72 c #Conflicts: 636000 | #Constraints: 49465 1673.58/1677.72 c #Conflicts: 637000 | #Constraints: 50465 1673.58/1677.72 c #Conflicts: 638000 | #Constraints: 51465 1673.58/1677.72 c #Conflicts: 639000 | #Constraints: 52465 1673.58/1677.72 c #Conflicts: 640000 | #Constraints: 53465 1673.58/1677.72 c #Conflicts: 641000 | #Constraints: 54465 1673.58/1677.72 c #Conflicts: 642000 | #Constraints: 55465 1673.58/1677.72 c #Conflicts: 643000 | #Constraints: 56465 1673.58/1677.72 c #Conflicts: 644000 | #Constraints: 57465 1673.58/1677.72 c #Conflicts: 645000 | #Constraints: 58465 1673.58/1677.72 c #Conflicts: 646000 | #Constraints: 59465 1673.58/1677.72 c #Conflicts: 647000 | #Constraints: 60466 1673.58/1677.72 c #Conflicts: 648000 | #Constraints: 61466 1673.58/1677.72 c #Conflicts: 649000 | #Constraints: 62466 1673.58/1677.72 c #Conflicts: 650000 | #Constraints: 63466 1673.58/1677.72 c #Conflicts: 651000 | #Constraints: 64466 1673.58/1677.72 c INPROCESSING 1673.58/1677.72 c GARBAGE COLLECT 1673.58/1677.72 c #Conflicts: 652000 | #Constraints: 36106 1673.58/1677.72 c #Conflicts: 653000 | #Constraints: 37106 1673.58/1677.72 c #Conflicts: 654000 | #Constraints: 38107 1673.58/1677.72 c #Conflicts: 655000 | #Constraints: 39107 1673.58/1677.72 c #Conflicts: 656000 | #Constraints: 40107 1673.58/1677.72 c #Conflicts: 657000 | #Constraints: 41107 1673.58/1677.72 c #Conflicts: 658000 | #Constraints: 42107 1673.58/1677.72 c #Conflicts: 659000 | #Constraints: 43107 1673.58/1677.72 c #Conflicts: 660000 | #Constraints: 44107 1673.58/1677.72 c #Conflicts: 661000 | #Constraints: 45107 1673.58/1677.72 c #Conflicts: 662000 | #Constraints: 46107 1673.58/1677.72 c #Conflicts: 663000 | #Constraints: 47107 1673.58/1677.72 c #Conflicts: 664000 | #Constraints: 48107 1673.58/1677.72 c #Conflicts: 665000 | #Constraints: 49107 1673.58/1677.72 c #Conflicts: 666000 | #Constraints: 50107 1673.58/1677.72 c #Conflicts: 667000 | #Constraints: 51107 1673.58/1677.72 c #Conflicts: 668000 | #Constraints: 52107 1673.58/1677.72 c #Conflicts: 669000 | #Constraints: 53107 1673.58/1677.72 c #Conflicts: 670000 | #Constraints: 54108 1673.58/1677.72 c #Conflicts: 671000 | #Constraints: 55108 1673.58/1677.72 c #Conflicts: 672000 | #Constraints: 56108 1673.58/1677.72 c INPROCESSING 1673.58/1677.72 c GARBAGE COLLECT 1673.58/1677.72 c #Conflicts: 673000 | #Constraints: 32375 1673.58/1677.72 c #Conflicts: 674000 | #Constraints: 33375 1673.58/1677.72 c #Conflicts: 675000 | #Constraints: 34375 1673.58/1677.72 c #Conflicts: 676000 | #Constraints: 35375 1673.58/1677.72 c #Conflicts: 677000 | #Constraints: 36375 1673.58/1677.72 c #Conflicts: 678000 | #Constraints: 37375 1673.58/1677.72 c #Conflicts: 679000 | #Constraints: 38375 1673.58/1677.72 c #Conflicts: 680000 | #Constraints: 39375 3600.10/3608.83 c #Conflicts: 681000 | #Constraints: 40375 3600.10/3608.83 c #Conflicts: 682000 | #Constraints: 41375 3600.10/3608.83 c #Conflicts: 683000 | #Constraints: 42375 3600.10/3608.83 c #Conflicts: 684000 | #Constraints: 43376 3600.10/3608.83 c #Conflicts: 685000 | #Constraints: 44376 3600.10/3608.83 c #Conflicts: 686000 | #Constraints: 45376 3600.10/3608.83 c #Conflicts: 687000 | #Constraints: 46376 3600.10/3608.83 c #Conflicts: 688000 | #Constraints: 47376 3600.10/3608.83 c #Conflicts: 689000 | #Constraints: 48376 3600.10/3608.83 c #Conflicts: 690000 | #Constraints: 49376 3600.10/3608.83 c #Conflicts: 691000 | #Constraints: 50376 3600.10/3608.83 c #Conflicts: 692000 | #Constraints: 51376 3600.10/3608.83 c #Conflicts: 693000 | #Constraints: 52376 3600.10/3608.83 c #Conflicts: 694000 | #Constraints: 53376 3600.10/3608.83 c #Conflicts: 695000 | #Constraints: 54376 3600.10/3608.83 c #Conflicts: 696000 | #Constraints: 55376 3600.10/3608.83 c #Conflicts: 697000 | #Constraints: 56376 3600.10/3608.83 c #Conflicts: 698000 | #Constraints: 57376 3600.10/3608.83 c #Conflicts: 699000 | #Constraints: 58376 3600.10/3608.83 c #Conflicts: 700000 | #Constraints: 59376 3600.10/3608.83 c #Conflicts: 701000 | #Constraints: 60376 3600.10/3608.83 c #Conflicts: 702000 | #Constraints: 61376 3600.10/3608.83 c #Conflicts: 703000 | #Constraints: 62376 3600.10/3608.83 c #Conflicts: 704000 | #Constraints: 63376 3600.10/3608.83 c #Conflicts: 705000 | #Constraints: 64377 3600.10/3608.83 c #Conflicts: 706000 | #Constraints: 65377 3600.10/3608.83 c #Conflicts: 707000 | #Constraints: 66377 3600.10/3608.83 c #Conflicts: 708000 | #Constraints: 67377 3600.10/3608.83 c #Conflicts: 709000 | #Constraints: 68377 3600.10/3608.83 c #Conflicts: 710000 | #Constraints: 69377 3600.10/3608.83 c #Conflicts: 711000 | #Constraints: 70377 3600.10/3608.83 c #Conflicts: 712000 | #Constraints: 71377 3600.10/3608.83 c #Conflicts: 713000 | #Constraints: 72378 3600.10/3608.83 c #Conflicts: 714000 | #Constraints: 73379 3600.10/3608.83 c #Conflicts: 715000 | #Constraints: 74380 3600.10/3608.83 c #Conflicts: 716000 | #Constraints: 75380 3600.10/3608.83 c #Conflicts: 717000 | #Constraints: 76380 3600.10/3608.83 c #Conflicts: 718000 | #Constraints: 77380 3600.10/3608.83 c #Conflicts: 719000 | #Constraints: 78380 3600.10/3608.83 c #Conflicts: 720000 | #Constraints: 79380 3600.10/3608.83 c #Conflicts: 721000 | #Constraints: 80380 3600.10/3608.83 c #Conflicts: 722000 | #Constraints: 81380 3600.10/3608.83 c #Conflicts: 723000 | #Constraints: 82381 3600.10/3608.83 c #Conflicts: 724000 | #Constraints: 83381 3600.10/3608.83 c #Conflicts: 725000 | #Constraints: 84381 3600.10/3608.83 c #Conflicts: 726000 | #Constraints: 85381 3600.10/3608.83 c #Conflicts: 727000 | #Constraints: 86381 3600.10/3608.83 c #Conflicts: 728000 | #Constraints: 87381 3600.10/3608.83 c #Conflicts: 729000 | #Constraints: 88381 3600.10/3608.83 c #Conflicts: 730000 | #Constraints: 89381 3600.10/3608.83 c #Conflicts: 731000 | #Constraints: 90382 3600.10/3608.83 c INPROCESSING 3600.10/3608.83 c GARBAGE COLLECT 3600.10/3608.83 c #Conflicts: 732000 | #Constraints: 49522 3600.10/3608.83 c #Conflicts: 733000 | #Constraints: 50522 3600.10/3608.83 c #Conflicts: 734000 | #Constraints: 51522 3600.10/3608.83 c #Conflicts: 735000 | #Constraints: 52523 3600.10/3608.83 c #Conflicts: 736000 | #Constraints: 53523 3600.10/3608.83 c #Conflicts: 737000 | #Constraints: 54523 3600.10/3608.83 c #Conflicts: 738000 | #Constraints: 55524 3600.10/3608.83 c #Conflicts: 739000 | #Constraints: 56524 3600.10/3608.83 c #Conflicts: 740000 | #Constraints: 57524 3600.10/3608.83 c #Conflicts: 741000 | #Constraints: 58524 3600.10/3608.83 c #Conflicts: 742000 | #Constraints: 59524 3600.10/3608.83 c #Conflicts: 743000 | #Constraints: 60524 3600.10/3608.83 c #Conflicts: 744000 | #Constraints: 61525 3600.10/3608.83 c #Conflicts: 745000 | #Constraints: 62525 3600.10/3608.83 c #Conflicts: 746000 | #Constraints: 63525 3600.10/3608.83 c #Conflicts: 747000 | #Constraints: 64525 3600.10/3608.83 c #Conflicts: 748000 | #Constraints: 65525 3600.10/3608.83 c #Conflicts: 749000 | #Constraints: 66525 3600.10/3608.83 c Program interrupted by user. 3600.10/3608.83 c cpu time 3587.72 s 3600.10/3608.83 c deterministic time 225970959727 2.26e+11 3600.10/3608.83 c optimization time 1866.79 s 3600.10/3608.83 c total solve time 1720.88 s 3600.10/3608.83 c core-guided solve time 661.635 s 3600.10/3608.83 c propagation time 3346.59 s 3600.10/3608.83 c conflict analysis time 209.372 s 3600.10/3608.83 c propagations 216757590 3600.10/3608.83 c resolve steps 31970378 3600.10/3608.83 c decisions 3812218 3600.10/3608.83 c conflicts 749088 3600.10/3608.83 c restarts 1563 3600.10/3608.83 c inprocessing phases 43 3600.10/3608.83 c input clauses 4137 3600.10/3608.83 c input cardinalities 3 3600.10/3608.83 c input general constraints 1852 3600.10/3608.83 c input average constraint length 3.09 3600.10/3608.83 c input average constraint degree 2935945603.15 3600.10/3608.83 c learned clauses 501253 3600.10/3608.83 c learned cardinalities 139 3600.10/3608.83 c learned general constraints 247767 3600.10/3608.83 c learned average constraint length 229.66 3600.10/3608.83 c learned average constraint degree 43236992.24 3600.10/3608.83 c watched constraints 237901 3600.10/3608.83 c counting constraints 11718 3600.10/3608.83 c gcd simplifications 41880 3600.10/3608.83 c detected cardinalities 13 3600.10/3608.83 c weakened non-implied lits 15688891 3600.10/3608.83 c weakened non-implying lits 461973 3600.10/3608.83 c original variables 2992 3600.10/3608.83 c clausal propagations 94296501 3600.10/3608.83 c cardinality propagations 7917 3600.10/3608.83 c watched propagations 17551334 3600.10/3608.83 c counting propagations 104266523 3600.10/3608.83 c watch lookups 60149792416 3600.10/3608.83 c watch backjump lookups 55911192286 3600.10/3608.83 c watch checks 90143900485 3600.10/3608.83 c propagation checks 18765226933 3600.10/3608.83 c constraint additions 557944676 3600.10/3608.83 c trail pops 221316892 3600.10/3608.83 c formula constraints 5984 3600.10/3608.83 c learned constraints 749088 3600.10/3608.83 c bound constraints 1 3600.10/3608.83 c core-guided constraints 7 3600.10/3608.83 c encountered formula constraints 19825356 3600.10/3608.83 c encountered learned constraints 12873597 3600.10/3608.83 c encountered bound constraints 16554 3600.10/3608.83 c encountered core-guided constraints 1144 3600.10/3608.83 c LP total time 52.5377 s 3600.10/3608.83 c LP solve time 51.98 s 3600.10/3608.83 c LP constraints added 5984 3600.10/3608.83 c LP constraints removed 0 3600.10/3608.83 c LP pivots internal 756918 3600.10/3608.83 c LP pivots root 259312 3600.10/3608.83 c LP calls 207 3600.10/3608.83 c LP optimalities 0 3600.10/3608.83 c LP no pivot count 0 3600.10/3608.83 c LP infeasibilities 77 3600.10/3608.83 c LP valid Farkas constraints 70 3600.10/3608.83 c LP learned Farkas constraints 1 3600.10/3608.83 c LP basis resets 131 3600.10/3608.83 c LP cycling count 10 3600.10/3608.83 c LP singular count 0 3600.10/3608.83 c LP no primal count 0 3600.10/3608.83 c LP no farkas count 6 3600.10/3608.83 c LP other issue count 115 3600.10/3608.83 c LP Gomory cuts 0 3600.10/3608.83 c LP learned cuts 0 3600.10/3608.83 c LP deleted cuts 0 3600.10/3608.83 c LP encountered Gomory constraints 0 3600.10/3608.83 c LP encountered Farkas constraints 2812 3600.10/3608.83 c LP encountered learned Farkas constraints 2 3600.10/3608.83 c CG auxiliary variables introduced 3 3600.10/3608.83 c CG solutions found 1 3600.10/3608.83 c CG cores constructed 2 3600.10/3608.83 c CG core cardinality constraints returned 0 3600.10/3608.83 c CG unit cores 0 3600.10/3608.83 c CG single cores 2 3600.10/3608.83 c CG blocks removed during cardinality reduction 0 3600.10/3608.83 c CG first core best 0 3600.10/3608.83 c CG decision core best 0 3600.10/3608.83 c CG core reduction tie 0 3600.10/3608.83 c CG core degree average 1.00 3600.10/3608.83 c CG core slack average 2.50 3600.10/3608.83 s SATISFIABLE 3600.10/3608.83 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992
OK 0
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 (58592 MiB free)
memory of node 1: 64510 MiB (61608 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4463306-1722348689/watcher-4463306-1722348689 -o /tmp/evaluation-result-4463306-1722348689/solver-4463306-1722348689 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1722340763-6450 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4463306-1722348689 --lp-cut-gomory=0 HOME/instance-4463306-1722348689.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=11410, runsolver pid=11407
[startup+0.100086 s]*
/proc/loadavg: 4.64 4.35 4.22 5/244 11411
/proc/meminfo: memFree=123078328/131655788 swapFree=131071472/131071996
[pid=11410] ppid=11407 vsize=42968 memory=12392 CPUtime=0.09 cores=1,3
/proc/11410/stat : 11410 (roundingsat) R 11407 11410 6438 0 -1 4194304 1895 0 0 0 8 1 0 0 20 0 1 0 1239629 43999232 3098 134679101440 4194304 8255733 140733827192080 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10113024 140733827199842 140733827200104 140733827200104 140733827207113 0
/proc/11410/statm: 10742 3098 1711 992 0 2600 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 42968 KiB
Current children cumulated memory: 12392 KiB
[startup+0.208246 s]*
/proc/loadavg: 4.64 4.35 4.22 5/244 11411
/proc/meminfo: memFree=123077192/131655788 swapFree=131071472/131071996
[pid=11410] ppid=11407 vsize=43640 memory=13356 CPUtime=0.2 cores=1,3
/proc/11410/stat : 11410 (roundingsat) R 11407 11410 6438 0 -1 4194304 2071 0 0 0 18 2 0 0 20 0 1 0 1239629 44687360 3339 134679101440 4194304 8255733 140733827192080 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10113024 140733827199842 140733827200104 140733827200104 140733827207113 0
/proc/11410/statm: 10910 3339 1759 992 0 2768 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 43640 KiB
Current children cumulated memory: 13356 KiB
[startup+0.307927 s]*
/proc/loadavg: 4.64 4.35 4.22 5/244 11411
/proc/meminfo: memFree=123076700/131655788 swapFree=131071472/131071996
[pid=11410] ppid=11407 vsize=43828 memory=13620 CPUtime=0.3 cores=1,3
/proc/11410/stat : 11410 (roundingsat) R 11407 11410 6438 0 -1 4194304 2141 0 0 0 27 3 0 0 20 0 1 0 1239629 44879872 3405 134679101440 4194304 8255733 140733827192080 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10113024 140733827199842 140733827200104 140733827200104 140733827207113 0
/proc/11410/statm: 10957 3405 1759 992 0 2815 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 43828 KiB
Current children cumulated memory: 13620 KiB
[startup+0.700267 s]
/proc/loadavg: 4.64 4.35 4.22 5/244 11411
/proc/meminfo: memFree=123073136/131655788 swapFree=131071472/131071996
[pid=11410] ppid=11407 vsize=44672 memory=16848 CPUtime=0.68 cores=1,3
/proc/11410/stat : 11410 (roundingsat) R 11407 11410 6438 0 -1 4194304 2350 0 0 0 64 4 0 0 20 0 1 0 1239629 45744128 4212 134679101440 4194304 8255733 140733827192080 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10113024 140733827199842 140733827200104 140733827200104 140733827207113 0
/proc/11410/statm: 11168 4212 1864 992 0 3026 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 44672 KiB
Current children cumulated memory: 16848 KiB
[startup+1.50026 s]
/proc/loadavg: 4.64 4.35 4.22 5/244 11411
/proc/meminfo: memFree=123068424/131655788 swapFree=131071472/131071996
[pid=11410] ppid=11407 vsize=45608 memory=17700 CPUtime=1.48 cores=1,3
/proc/11410/stat : 11410 (roundingsat) R 11407 11410 6438 0 -1 4194304 2537 0 0 0 141 7 0 0 20 0 1 0 1239629 46702592 4425 134679101440 4194304 8255733 140733827192080 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10113024 140733827199842 140733827200104 140733827200104 140733827207113 0
/proc/11410/statm: 11402 4425 1880 992 0 3260 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 45608 KiB
Current children cumulated memory: 17700 KiB
[startup+3.11243 s]
/proc/loadavg: 4.67 4.36 4.22 5/244 11413
/proc/meminfo: memFree=123053816/131655788 swapFree=131071472/131071996
[pid=11410] ppid=11407 vsize=48336 memory=21392 CPUtime=3.09 cores=1,3
/proc/11410/stat : 11410 (roundingsat) R 11407 11410 6438 0 -1 4194304 3475 0 0 0 297 12 0 0 20 0 1 0 1239629 49496064 5348 134679101440 4194304 8255733 140733827192080 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10113024 140733827199842 140733827200104 140733827200104 140733827207113 0
/proc/11410/statm: 12084 5348 1880 992 0 3942 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 48336 KiB
Current children cumulated memory: 21392 KiB
[startup+6.30029 s]
/proc/loadavg: 4.67 4.36 4.22 5/244 11413
/proc/meminfo: memFree=123031580/131655788 swapFree=131071472/131071996
[pid=11410] ppid=11407 vsize=50608 memory=24292 CPUtime=6.28 cores=1,3
/proc/11410/stat : 11410 (roundingsat) R 11407 11410 6438 0 -1 4194304 4183 0 0 0 604 24 0 0 20 0 1 0 1239629 51822592 6073 134679101440 4194304 8255733 140733827192080 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10113024 140733827199842 140733827200104 140733827200104 140733827207113 0
/proc/11410/statm: 12652 6073 1880 992 0 4510 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 50608 KiB
Current children cumulated memory: 24292 KiB
[startup+12.7003 s]
/proc/loadavg: 4.80 4.40 4.24 5/244 11413
/proc/meminfo: memFree=122993488/131655788 swapFree=131071472/131071996
[pid=11410] ppid=11407 vsize=55604 memory=28276 CPUtime=12.65 cores=1,3
/proc/11410/stat : 11410 (roundingsat) R 11407 11410 6438 0 -1 4194304 5190 0 0 0 1222 43 0 0 20 0 1 0 1239629 56938496 7069 134679101440 4194304 8255733 140733827192080 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10113024 140733827199842 140733827200104 140733827200104 140733827207113 0
/proc/11410/statm: 13901 7069 1880 992 0 5759 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 55604 KiB
Current children cumulated memory: 28276 KiB
[startup+25.5003 s]
/proc/loadavg: 4.83 4.42 4.25 5/244 11416
/proc/meminfo: memFree=122934344/131655788 swapFree=131071472/131071996
[pid=11410] ppid=11407 vsize=68404 memory=41308 CPUtime=25.43 cores=1,3
/proc/11410/stat : 11410 (roundingsat) R 11407 11410 6438 0 -1 4194304 7932 0 0 0 2478 65 0 0 20 0 1 0 1239629 70045696 10327 134679101440 4194304 8255733 140733827192080 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10113024 140733827199842 140733827200104 140733827200104 140733827207113 0
/proc/11410/statm: 17101 10327 1880 992 0 8959 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 68404 KiB
Current children cumulated memory: 41308 KiB
[startup+51.1127 s]
/proc/loadavg: 4.81 4.45 4.26 5/244 11465
/proc/meminfo: memFree=129101728/131655788 swapFree=131071472/131071996
[pid=11410] ppid=11407 vsize=91536 memory=54496 CPUtime=50.97 cores=1,3
/proc/11410/stat : 11410 (roundingsat) R 11407 11410 6438 0 -1 4194304 10180 0 0 0 4992 105 0 0 20 0 1 0 1239629 93732864 13624 134679101440 4194304 8255733 140733827192080 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10113024 140733827199842 140733827200104 140733827200104 140733827207113 0
/proc/11410/statm: 22884 13624 1880 992 0 14742 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 91536 KiB
Current children cumulated memory: 54496 KiB
[startup+102.3 s]
/proc/loadavg: 4.44 4.40 4.26 5/244 11473
/proc/meminfo: memFree=128755228/131655788 swapFree=131071472/131071996
[pid=11410] ppid=11407 vsize=99208 memory=67556 CPUtime=102 cores=1,3
/proc/11410/stat : 11410 (roundingsat) R 11407 11410 6438 0 -1 4194304 12416 0 0 0 10043 157 0 0 20 0 1 0 1239629 101588992 16889 134679101440 4194304 8255733 140733827192080 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10113024 140733827199842 140733827200104 140733827200104 140733827207113 0
/proc/11410/statm: 24802 16889 1880 992 0 16660 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 99208 KiB
Current children cumulated memory: 67556 KiB
[startup+162.3 s]
/proc/loadavg: 4.22 4.34 4.25 5/244 11483
/proc/meminfo: memFree=128529876/131655788 swapFree=131071472/131071996
[pid=11410] ppid=11407 vsize=108400 memory=78028 CPUtime=161.82 cores=1,3
/proc/11410/stat : 11410 (roundingsat) R 11407 11410 6438 0 -1 4194304 14583 0 0 0 15976 206 0 0 20 0 1 0 1239629 111001600 19507 134679101440 4194304 8255733 140733827192080 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10113024 140733827199842 140733827200104 140733827200104 140733827207113 0
/proc/11410/statm: 27100 19507 1880 992 0 18958 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 108400 KiB
Current children cumulated memory: 78028 KiB
[startup+222.3 s]
/proc/loadavg: 4.16 4.31 4.24 5/244 11493
/proc/meminfo: memFree=128335804/131655788 swapFree=131071472/131071996
[pid=11410] ppid=11407 vsize=136632 memory=95448 CPUtime=221.65 cores=1,3
/proc/11410/stat : 11410 (roundingsat) R 11407 11410 6438 0 -1 4194304 17374 0 0 0 21922 243 0 0 20 0 1 0 1239629 139911168 23862 134679101440 4194304 8255733 140733827192080 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10113024 140733827199842 140733827200104 140733827200104 140733827207113 0
/proc/11410/statm: 34158 23862 1880 992 0 26016 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 136632 KiB
Current children cumulated memory: 95448 KiB
[startup+282.3 s]
/proc/loadavg: 4.16 4.28 4.23 5/242 11505
/proc/meminfo: memFree=128233052/131655788 swapFree=131071472/131071996
[pid=11410] ppid=11407 vsize=145888 memory=111776 CPUtime=281.47 cores=1,3
/proc/11410/stat : 11410 (roundingsat) R 11407 11410 6438 0 -1 4194304 19476 0 0 0 27883 264 0 0 20 0 1 0 1239629 149389312 27944 134679101440 4194304 8255733 140733827192080 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10113024 140733827199842 140733827200104 140733827200104 140733827207113 0
/proc/11410/statm: 36472 27944 1880 992 0 28330 0
Current children cumulated CPU time: 281.47 s
Current children cumulated vsize: 145888 KiB
Current children cumulated memory: 111776 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 4.24 4.22 5/242 11515
/proc/meminfo: memFree=128125548/131655788 swapFree=131071472/131071996
[pid=11410] ppid=11407 vsize=151692 memory=118788 CPUtime=341.28 cores=1,3
/proc/11410/stat : 11410 (roundingsat) R 11407 11410 6438 0 -1 4194304 20727 0 0 0 33824 304 0 0 20 0 1 0 1239629 155332608 29697 134679101440 4194304 8255733 140733827192080 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10113024 140733827199842 140733827200104 140733827200104 140733827207113 0
/proc/11410/statm: 37923 29697 1880 992 0 29781 0
Current children cumulated CPU time: 341.28 s
Current children cumulated vsize: 151692 KiB
Current children cumulated memory: 118788 KiB
[startup+402.3 s]
/proc/loadavg: 4.22 4.24 4.22 5/242 11525
/proc/meminfo: memFree=128016292/131655788 swapFree=131071472/131071996
[pid=11410] ppid=11407 vsize=188100 memory=130780 CPUtime=401.1 cores=1,3
/proc/11410/stat : 11410 (roundingsat) R 11407 11410 6438 0 -1 4194304 22076 0 0 0 39784 326 0 0 20 0 1 0 1239629 192614400 32695 134679101440 4194304 8255733 140733827192080 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10113024 140733827199842 140733827200104 140733827200104 140733827207113 0
/proc/11410/statm: 47025 32695 1975 992 0 38883 0
Current children cumulated CPU time: 401.1 s
Current children cumulated vsize: 188100 KiB
Current children cumulated memory: 130780 KiB
[startup+462.3 s]
/proc/loadavg: 4.14 4.21 4.21 5/241 11537
/proc/meminfo: memFree=127954208/131655788 swapFree=131071472/131071996
[pid=11410] ppid=11407 vsize=192528 memory=142912 CPUtime=460.92 cores=1,3
/proc/11410/stat : 11410 (roundingsat) R 11407 11410 6438 0 -1 4194304 23077 0 0 0 45719 373 0 0 20 0 1 0 1239629 197148672 35728 134679101440 4194304 8255733 140733827192080 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10113024 140733827199842 140733827200104 140733827200104 140733827207113 0
/proc/11410/statm: 48132 35728 1975 992 0 39990 0
################
# More data... #
################
Current children cumulated memory: 364628 KiB
[startup+2922.3 s]
/proc/loadavg: 4.16 4.17 4.17 5/247 13154
/proc/meminfo: memFree=121856028/131655788 swapFree=131071472/131071996
[pid=11410] ppid=11407 vsize=438984 memory=367948 CPUtime=2915.25 cores=1,3
/proc/11410/stat : 11410 (roundingsat) R 11407 11410 6438 0 -1 4194304 49804 0 0 0 290324 1201 0 0 20 0 1 0 1239629 449519616 91987 134679101440 4194304 8255733 140733827192080 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10113024 140733827199842 140733827200104 140733827200104 140733827207113 0
/proc/11410/statm: 109746 91987 1975 992 0 101604 0
Current children cumulated CPU time: 2915.25 s
Current children cumulated vsize: 438984 KiB
Current children cumulated memory: 367948 KiB
[startup+2982.3 s]
/proc/loadavg: 4.14 4.16 4.17 5/246 13175
/proc/meminfo: memFree=121787868/131655788 swapFree=131071472/131071996
[pid=11410] ppid=11407 vsize=440008 memory=374840 CPUtime=2975.12 cores=1,3
/proc/11410/stat : 11410 (roundingsat) R 11407 11410 6438 0 -1 4194304 50165 0 0 0 296307 1205 0 0 20 0 1 0 1239629 450568192 93710 134679101440 4194304 8255733 140733827192080 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10113024 140733827199842 140733827200104 140733827200104 140733827207113 0
/proc/11410/statm: 110002 93710 1975 992 0 101860 0
Current children cumulated CPU time: 2975.12 s
Current children cumulated vsize: 440008 KiB
Current children cumulated memory: 374840 KiB
[startup+3042.3 s]
/proc/loadavg: 3.70 4.05 4.14 4/240 13218
/proc/meminfo: memFree=125096644/131655788 swapFree=131071472/131071996
[pid=11410] ppid=11407 vsize=441992 memory=377924 CPUtime=3034.97 cores=1,3
/proc/11410/stat : 11410 (roundingsat) R 11407 11410 6438 0 -1 4194304 50629 0 0 0 302288 1209 0 0 20 0 1 0 1239629 452599808 94481 134679101440 4194304 8255733 140733827192080 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10113024 140733827199842 140733827200104 140733827200104 140733827207113 0
/proc/11410/statm: 110498 94481 1975 992 0 102356 0
Current children cumulated CPU time: 3034.97 s
Current children cumulated vsize: 441992 KiB
Current children cumulated memory: 377924 KiB
[startup+3102.3 s]
/proc/loadavg: 3.33 3.89 4.07 4/238 13229
/proc/meminfo: memFree=125055748/131655788 swapFree=131071472/131071996
[pid=11410] ppid=11407 vsize=443784 memory=381124 CPUtime=3094.82 cores=1,3
/proc/11410/stat : 11410 (roundingsat) R 11407 11410 6438 0 -1 4194304 51064 0 0 0 308270 1212 0 0 20 0 1 0 1239629 454434816 95281 134679101440 4194304 8255733 140733827192080 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10113024 140733827199842 140733827200104 140733827200104 140733827207113 0
/proc/11410/statm: 110946 95281 1975 992 0 102804 0
Current children cumulated CPU time: 3094.82 s
Current children cumulated vsize: 443784 KiB
Current children cumulated memory: 381124 KiB
[startup+3162.3 s]
/proc/loadavg: 3.27 3.77 4.02 4/238 13240
/proc/meminfo: memFree=124984404/131655788 swapFree=131071472/131071996
[pid=11410] ppid=11407 vsize=446344 memory=384592 CPUtime=3154.66 cores=1,3
/proc/11410/stat : 11410 (roundingsat) R 11407 11410 6438 0 -1 4194304 51610 0 0 0 314251 1215 0 0 20 0 1 0 1239629 457056256 96148 134679101440 4194304 8255733 140733827192080 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10113024 140733827199842 140733827200104 140733827200104 140733827207113 0
/proc/11410/statm: 111586 96148 1975 992 0 103444 0
Current children cumulated CPU time: 3154.66 s
Current children cumulated vsize: 446344 KiB
Current children cumulated memory: 384592 KiB
[startup+3222.3 s]
/proc/loadavg: 3.16 3.64 3.96 4/236 13250
/proc/meminfo: memFree=124931248/131655788 swapFree=131071472/131071996
[pid=11410] ppid=11407 vsize=449224 memory=388308 CPUtime=3214.5 cores=1,3
/proc/11410/stat : 11410 (roundingsat) R 11407 11410 6438 0 -1 4194304 52242 0 0 0 320231 1219 0 0 20 0 1 0 1239629 460005376 97077 134679101440 4194304 8255733 140733827192080 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10113024 140733827199842 140733827200104 140733827200104 140733827207113 0
/proc/11410/statm: 112306 97077 1975 992 0 104164 0
Current children cumulated CPU time: 3214.5 s
Current children cumulated vsize: 449224 KiB
Current children cumulated memory: 388308 KiB
[startup+3282.3 s]
/proc/loadavg: 3.21 3.57 3.91 4/234 13262
/proc/meminfo: memFree=124846528/131655788 swapFree=131071472/131071996
[pid=11410] ppid=11407 vsize=461580 memory=416020 CPUtime=3274.35 cores=1,3
/proc/11410/stat : 11410 (roundingsat) R 11407 11410 6438 0 -1 4194304 54453 0 0 0 326213 1222 0 0 20 0 1 0 1239629 472657920 104005 134679101440 4194304 8255733 140733827192080 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10113024 140733827199842 140733827200104 140733827200104 140733827207113 0
/proc/11410/statm: 115395 104005 1975 992 0 107253 0
Current children cumulated CPU time: 3274.35 s
Current children cumulated vsize: 461580 KiB
Current children cumulated memory: 416020 KiB
[startup+3342.3 s]
/proc/loadavg: 3.14 3.48 3.86 4/233 13272
/proc/meminfo: memFree=124816432/131655788 swapFree=131071472/131071996
[pid=11410] ppid=11407 vsize=463436 memory=419132 CPUtime=3334.23 cores=1,3
/proc/11410/stat : 11410 (roundingsat) R 11407 11410 6438 0 -1 4194304 54889 0 0 0 332196 1227 0 0 20 0 1 0 1239629 474558464 104783 134679101440 4194304 8255733 140733827192080 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10113024 140733827199842 140733827200104 140733827200104 140733827207113 0
/proc/11410/statm: 115859 104783 1975 992 0 107717 0
Current children cumulated CPU time: 3334.23 s
Current children cumulated vsize: 463436 KiB
Current children cumulated memory: 419132 KiB
[startup+3402.3 s]
/proc/loadavg: 3.10 3.40 3.81 4/233 13282
/proc/meminfo: memFree=124786196/131655788 swapFree=131071472/131071996
[pid=11410] ppid=11407 vsize=464652 memory=421868 CPUtime=3394.1 cores=1,3
/proc/11410/stat : 11410 (roundingsat) R 11407 11410 6438 0 -1 4194304 55262 0 0 0 338179 1231 0 0 20 0 1 0 1239629 475803648 105467 134679101440 4194304 8255733 140733827192080 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10113024 140733827199842 140733827200104 140733827200104 140733827207113 0
/proc/11410/statm: 116163 105467 1975 992 0 108021 0
Current children cumulated CPU time: 3394.1 s
Current children cumulated vsize: 464652 KiB
Current children cumulated memory: 421868 KiB
[startup+3462.3 s]
/proc/loadavg: 2.51 3.18 3.70 3/227 13324
/proc/meminfo: memFree=126098624/131655788 swapFree=131071472/131071996
[pid=11410] ppid=11407 vsize=467788 memory=425560 CPUtime=3453.96 cores=1,3
/proc/11410/stat : 11410 (roundingsat) R 11407 11410 6438 0 -1 4194304 55917 0 0 0 344162 1234 0 0 20 0 1 0 1239629 479014912 106390 134679101440 4194304 8255733 140733827192080 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10113024 140733827199842 140733827200104 140733827200104 140733827207113 0
/proc/11410/statm: 116947 106390 1975 992 0 108805 0
Current children cumulated CPU time: 3453.96 s
Current children cumulated vsize: 467788 KiB
Current children cumulated memory: 425560 KiB
[startup+3522.3 s]
/proc/loadavg: 2.24 2.97 3.60 3/230 13339
/proc/meminfo: memFree=126083624/131655788 swapFree=131071472/131071996
[pid=11410] ppid=11407 vsize=469068 memory=428480 CPUtime=3513.83 cores=1,3
/proc/11410/stat : 11410 (roundingsat) R 11407 11410 6438 0 -1 4194304 56296 0 0 0 350146 1237 0 0 20 0 1 0 1239629 480325632 107120 134679101440 4194304 8255733 140733827192080 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10113024 140733827199842 140733827200104 140733827200104 140733827207113 0
/proc/11410/statm: 117267 107120 1975 992 0 109125 0
Current children cumulated CPU time: 3513.83 s
Current children cumulated vsize: 469068 KiB
Current children cumulated memory: 428480 KiB
[startup+3582.3 s]
/proc/loadavg: 2.13 2.81 3.50 3/230 13349
/proc/meminfo: memFree=126065816/131655788 swapFree=131071472/131071996
[pid=11410] ppid=11407 vsize=470604 memory=431384 CPUtime=3573.68 cores=1,3
/proc/11410/stat : 11410 (roundingsat) R 11407 11410 6438 0 -1 4194304 56715 0 0 0 356127 1241 0 0 20 0 1 0 1239629 481898496 107846 134679101440 4194304 8255733 140733827192080 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10113024 140733827199842 140733827200104 140733827200104 140733827207113 0
/proc/11410/statm: 117651 107846 1975 992 0 109509 0
Current children cumulated CPU time: 3573.68 s
Current children cumulated vsize: 470604 KiB
Current children cumulated memory: 431384 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608.7 s]
/proc/loadavg: 2.14 2.76 3.46 3/230 13355
/proc/meminfo: memFree=126063004/131655788 swapFree=131071472/131071996
[pid=11410] ppid=11407 vsize=470604 memory=431388 CPUtime=3600 cores=1,3
/proc/11410/stat : 11410 (roundingsat) R 11407 11410 6438 0 -1 4194304 56838 0 0 0 358758 1242 0 0 20 0 1 0 1239629 481898496 107847 134679101440 4194304 8255733 140733827192080 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10113024 140733827199842 140733827200104 140733827200104 140733827207113 0
/proc/11410/statm: 117651 107847 1975 992 0 109509 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 470604 KiB
Current children cumulated memory: 431388 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3608.84 s]
# the end of solver process 11410 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3587.72 s, system=12.4313 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3608.8 s]
/proc/loadavg: 2.14 2.76 3.46 3/230 13355
/proc/meminfo: memFree=126063004/131655788 swapFree=131071472/131071996
[pid=11410] ppid=11407 vsize=470604 memory=431388 CPUtime=3600.1 cores=1,3
/proc/11410/stat : 11410 (roundingsat) R 11407 11410 6438 0 -1 4194304 56838 0 0 0 358768 1242 0 0 20 0 1 0 1239629 481898496 107847 134679101440 4194304 8255733 140733827192080 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 10113024 140733827199842 140733827200104 140733827200104 140733827207113 0
/proc/11410/statm: 117651 107847 1975 992 0 109509 0
Current children cumulated CPU time: 3600.1 s
Current children cumulated vsize: 470604 KiB
Current children cumulated memory: 431388 KiB
Child status: 0
Real time (s): 3608.84
CPU time (s): 3600.15
CPU user time (s): 3587.72
CPU system time (s): 12.4313
CPU usage (%): 99.7594
Max. virtual memory (cumulated for all children) (KiB): 470604
Max. memory (cumulated for all children) (KiB): 431388
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.72
system time used= 12.4313
maximum resident set size= 431388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 56849
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3223352
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 143
involuntary context switches= 4778
# summary of solver processes directly reported to runsolver:
# pid: 11410
# total CPU time (s): 3600.15
# total CPU user time (s): 3587.72
# total CPU system time (s): 12.4313
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.4562 second user time and 34.8038 second system time
The end
Begin job on nodeC008 at 2024-07-30 16:11:29 IDJOB=4463306 IDBENCH=177178 IDSOLVER=3089 FILE ID=nodeC008/4463306-1722348689 RUNJOBID= nodeC008-1722340763-6450 SLURM_JOB_ID= 8248988 Free space on /tmp= 723756 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_22.opb COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=CERTNAME --lp-cut-gomory=0 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4463306-1722348689/watcher-4463306-1722348689 -o /tmp/evaluation-result-4463306-1722348689/solver-4463306-1722348689 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1722340763-6450 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4463306-1722348689 --lp-cut-gomory=0 HOME/instance-4463306-1722348689.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 32ee0ddbdff3b16b51999f7bca4d7c0a RANDOM SEED=493616191 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 : 3676.273 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 : 6984.63 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 : 1197.370 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.27 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.534 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 : 6984.63 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 : 1995.612 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.27 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 : 3677.411 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 : 6984.63 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 : 3654.046 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.27 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.763 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 : 6984.63 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.503 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.27 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 123085848 kB MemAvailable: 128920252 kB Buffers: 45308 kB Cached: 6624044 kB SwapCached: 72 kB Active: 164292 kB Inactive: 7976888 kB Active(anon): 1616 kB Inactive(anon): 1491416 kB Active(file): 162676 kB Inactive(file): 6485472 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071472 kB Dirty: 52312 kB Writeback: 0 kB AnonPages: 1470224 kB Mapped: 97688 kB Shmem: 21104 kB KReclaimable: 52572 kB Slab: 128756 kB SReclaimable: 52572 kB SUnreclaim: 76184 kB KernelStack: 3956 kB PageTables: 12388 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 1901640 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 6240 kB HardwareCorrupted: 0 kB AnonHugePages: 675840 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: 146248 kB DirectMap2M: 10244096 kB DirectMap1G: 125829120 kB Free space on /tmp at the end= 723772 MiB End job on nodeC008 at 2024-07-30 17:11:38