| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| RoundingSat nolog (1) | SAT | 963.75 | 966.239 |
| Name | PB24/normalized-PB12/DEC-LIN/sroussel/ ShortestPathBA/normalized-BeauxArts_K70.opb |
| MD5SUM | 50081d64c9df1fe5f37c653f2c9a5c32 |
| Bench Category | DEC-LIN (decision problem, linear constraints, no UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 0 |
| Best CPU time to get the best result obtained on this benchmark | 0.475633 |
| Has Objective Function | NO |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 3850 |
| Total number of constraints | 3992 |
| Number of constraints which are clauses | 3922 |
| Number of constraints which are cardinality constraints (but not clauses) | 70 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 70 |
| Number of terms in the objective function | 0 |
| Biggest coefficient in the objective function | 0 |
| Number of bits for the biggest coefficient in the objective function | 0 |
| Sum of the numbers in the objective function | 0 |
| Number of bits of the sum of numbers in the objective function | 0 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 71 |
| Number of bits of the biggest sum of numbers | 7 |
| 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.02 c #variables 3850 #constraints 3992 4.99/5.05 c #Conflicts: 1000 | #Constraints: 4991 4.99/5.05 c #Conflicts: 2000 | #Constraints: 5991 4.99/5.05 c INPROCESSING 4.99/5.05 c GARBAGE COLLECT 4.99/5.05 c #Conflicts: 3000 | #Constraints: 5494 4.99/5.05 c #Conflicts: 4000 | #Constraints: 6494 4.99/5.05 c INPROCESSING 4.99/5.05 c GARBAGE COLLECT 4.99/5.05 c #Conflicts: 5000 | #Constraints: 5945 4.99/5.05 c #Conflicts: 6000 | #Constraints: 6946 4.99/5.05 c INPROCESSING 4.99/5.05 c GARBAGE COLLECT 4.99/5.05 c rational objective 70 7.67/7.74 c #Conflicts: 7000 | #Constraints: 5984 7.67/7.74 c #Conflicts: 8000 | #Constraints: 6984 7.67/7.74 c #Conflicts: 9000 | #Constraints: 7984 7.67/7.74 c INPROCESSING 7.67/7.74 c GARBAGE COLLECT 7.67/7.74 c rational objective 70 87.07/87.31 c #Conflicts: 10000 | #Constraints: 6705 87.07/87.31 c #Conflicts: 11000 | #Constraints: 7705 87.07/87.31 c #Conflicts: 12000 | #Constraints: 8705 87.07/87.31 c INPROCESSING 87.07/87.31 c GARBAGE COLLECT 87.07/87.31 c #Conflicts: 13000 | #Constraints: 7195 87.07/87.31 c #Conflicts: 14000 | #Constraints: 8195 87.07/87.31 c #Conflicts: 15000 | #Constraints: 9195 87.07/87.31 c INPROCESSING 87.07/87.31 c GARBAGE COLLECT 87.07/87.31 c #Conflicts: 16000 | #Constraints: 7456 87.07/87.31 c #Conflicts: 17000 | #Constraints: 8456 87.07/87.31 c #Conflicts: 18000 | #Constraints: 9456 87.07/87.31 c INPROCESSING 87.07/87.31 c GARBAGE COLLECT 87.07/87.31 c #Conflicts: 19000 | #Constraints: 7476 87.07/87.31 c #Conflicts: 20000 | #Constraints: 8476 87.07/87.31 c #Conflicts: 21000 | #Constraints: 9477 87.07/87.31 c INPROCESSING 87.07/87.31 c GARBAGE COLLECT 87.07/87.31 c #Conflicts: 22000 | #Constraints: 7310 87.07/87.31 c #Conflicts: 23000 | #Constraints: 8310 87.07/87.31 c #Conflicts: 24000 | #Constraints: 9310 87.07/87.31 c #Conflicts: 25000 | #Constraints: 10310 87.07/87.31 c INPROCESSING 87.07/87.31 c GARBAGE COLLECT 87.07/87.31 c #Conflicts: 26000 | #Constraints: 7907 87.07/87.31 c #Conflicts: 27000 | #Constraints: 8908 87.07/87.31 c #Conflicts: 28000 | #Constraints: 9909 87.07/87.31 c #Conflicts: 29000 | #Constraints: 10909 87.07/87.31 c INPROCESSING 87.07/87.31 c GARBAGE COLLECT 87.07/87.31 c #Conflicts: 30000 | #Constraints: 8334 87.07/87.31 c #Conflicts: 31000 | #Constraints: 9334 87.07/87.31 c #Conflicts: 32000 | #Constraints: 10334 87.07/87.31 c #Conflicts: 33000 | #Constraints: 11334 87.07/87.31 c INPROCESSING 87.07/87.31 c GARBAGE COLLECT 87.07/87.31 c #Conflicts: 34000 | #Constraints: 8546 87.07/87.31 c #Conflicts: 35000 | #Constraints: 9546 87.07/87.31 c #Conflicts: 36000 | #Constraints: 10546 87.07/87.31 c #Conflicts: 37000 | #Constraints: 11546 87.07/87.31 c INPROCESSING 87.07/87.31 c GARBAGE COLLECT 87.07/87.31 c #Conflicts: 38000 | #Constraints: 8572 87.07/87.31 c #Conflicts: 39000 | #Constraints: 9573 87.07/87.31 c #Conflicts: 40000 | #Constraints: 10573 87.07/87.31 c #Conflicts: 41000 | #Constraints: 11573 87.07/87.31 c INPROCESSING 87.07/87.31 c GARBAGE COLLECT 87.07/87.31 c #Conflicts: 42000 | #Constraints: 8385 87.07/87.31 c #Conflicts: 43000 | #Constraints: 9385 87.07/87.31 c #Conflicts: 44000 | #Constraints: 10386 87.07/87.31 c #Conflicts: 45000 | #Constraints: 11386 87.07/87.31 c #Conflicts: 46000 | #Constraints: 12388 87.07/87.31 c INPROCESSING 87.07/87.31 c GARBAGE COLLECT 87.07/87.31 c #Conflicts: 47000 | #Constraints: 8980 87.07/87.31 c #Conflicts: 48000 | #Constraints: 9981 87.07/87.31 c #Conflicts: 49000 | #Constraints: 10981 87.07/87.31 c #Conflicts: 50000 | #Constraints: 11981 87.07/87.31 c #Conflicts: 51000 | #Constraints: 12981 87.07/87.31 c INPROCESSING 87.07/87.31 c GARBAGE COLLECT 87.07/87.31 c #Conflicts: 52000 | #Constraints: 9415 87.07/87.31 c #Conflicts: 53000 | #Constraints: 10416 87.07/87.31 c #Conflicts: 54000 | #Constraints: 11418 87.07/87.31 c #Conflicts: 55000 | #Constraints: 12418 87.07/87.31 c #Conflicts: 56000 | #Constraints: 13418 87.07/87.31 c INPROCESSING 87.07/87.31 c GARBAGE COLLECT 87.07/87.31 c #Conflicts: 57000 | #Constraints: 9616 87.07/87.31 c #Conflicts: 58000 | #Constraints: 10616 87.07/87.31 c #Conflicts: 59000 | #Constraints: 11616 87.07/87.31 c #Conflicts: 60000 | #Constraints: 12616 87.07/87.31 c #Conflicts: 61000 | #Constraints: 13616 87.07/87.31 c INPROCESSING 87.07/87.31 c GARBAGE COLLECT 87.07/87.31 c #Conflicts: 62000 | #Constraints: 9628 87.07/87.31 c #Conflicts: 63000 | #Constraints: 10628 87.07/87.31 c #Conflicts: 64000 | #Constraints: 11628 87.07/87.31 c #Conflicts: 65000 | #Constraints: 12628 87.07/87.31 c #Conflicts: 66000 | #Constraints: 13628 87.07/87.31 c INPROCESSING 87.07/87.31 c GARBAGE COLLECT 87.07/87.31 c #Conflicts: 67000 | #Constraints: 9438 87.07/87.31 c #Conflicts: 68000 | #Constraints: 10439 87.07/87.31 c #Conflicts: 69000 | #Constraints: 11439 87.07/87.31 c #Conflicts: 70000 | #Constraints: 12439 87.07/87.31 c #Conflicts: 71000 | #Constraints: 13439 87.07/87.31 c #Conflicts: 72000 | #Constraints: 14439 87.07/87.31 c INPROCESSING 87.07/87.31 c GARBAGE COLLECT 87.07/87.31 c #Conflicts: 73000 | #Constraints: 10059 87.07/87.31 c #Conflicts: 74000 | #Constraints: 11059 87.07/87.31 c #Conflicts: 75000 | #Constraints: 12059 87.07/87.31 c #Conflicts: 76000 | #Constraints: 13066 87.07/87.31 c #Conflicts: 77000 | #Constraints: 14066 87.07/87.31 c #Conflicts: 78000 | #Constraints: 15067 87.07/87.31 c INPROCESSING 121.07/121.43 c GARBAGE COLLECT 121.07/121.43 c #Conflicts: 79000 | #Constraints: 10457 121.07/121.43 c #Conflicts: 80000 | #Constraints: 11458 121.07/121.43 c #Conflicts: 81000 | #Constraints: 12461 121.07/121.43 c #Conflicts: 82000 | #Constraints: 13468 121.07/121.43 c #Conflicts: 83000 | #Constraints: 14468 121.07/121.43 c #Conflicts: 84000 | #Constraints: 15469 121.07/121.43 c INPROCESSING 121.07/121.43 c GARBAGE COLLECT 121.07/121.43 c #Conflicts: 85000 | #Constraints: 10663 121.07/121.43 c #Conflicts: 86000 | #Constraints: 11664 121.07/121.43 c #Conflicts: 87000 | #Constraints: 12664 121.07/121.43 c #Conflicts: 88000 | #Constraints: 13664 121.07/121.43 c #Conflicts: 89000 | #Constraints: 14665 121.07/121.43 c #Conflicts: 90000 | #Constraints: 15666 121.07/121.43 c INPROCESSING 121.07/121.43 c GARBAGE COLLECT 121.07/121.43 c #Conflicts: 91000 | #Constraints: 10653 121.07/121.43 c #Conflicts: 92000 | #Constraints: 11654 121.07/121.43 c #Conflicts: 93000 | #Constraints: 12656 121.07/121.43 c #Conflicts: 94000 | #Constraints: 13661 121.07/121.43 c #Conflicts: 95000 | #Constraints: 14671 121.07/121.43 c #Conflicts: 96000 | #Constraints: 15673 121.07/121.43 c INPROCESSING 121.07/121.43 c GARBAGE COLLECT 121.07/121.43 c #Conflicts: 97000 | #Constraints: 10478 121.07/121.43 c #Conflicts: 98000 | #Constraints: 11478 121.07/121.43 c #Conflicts: 99000 | #Constraints: 12478 121.07/121.43 c #Conflicts: 100000 | #Constraints: 13479 121.07/121.43 c #Conflicts: 101000 | #Constraints: 14479 121.07/121.43 c #Conflicts: 102000 | #Constraints: 15481 121.07/121.43 c #Conflicts: 103000 | #Constraints: 16483 121.07/121.43 c INPROCESSING 121.07/121.43 c GARBAGE COLLECT 121.07/121.43 c #Conflicts: 104000 | #Constraints: 11070 121.07/121.43 c #Conflicts: 105000 | #Constraints: 12070 121.07/121.43 c #Conflicts: 106000 | #Constraints: 13070 121.07/121.43 c #Conflicts: 107000 | #Constraints: 14070 121.07/121.43 c #Conflicts: 108000 | #Constraints: 15070 121.07/121.43 c #Conflicts: 109000 | #Constraints: 16070 121.07/121.43 c #Conflicts: 110000 | #Constraints: 17070 121.07/121.43 c INPROCESSING 121.07/121.43 c GARBAGE COLLECT 121.07/121.43 c #Conflicts: 111000 | #Constraints: 11479 121.07/121.43 c #Conflicts: 112000 | #Constraints: 12479 121.07/121.43 c #Conflicts: 113000 | #Constraints: 13479 121.07/121.43 c #Conflicts: 114000 | #Constraints: 14479 121.07/121.43 c #Conflicts: 115000 | #Constraints: 15479 121.07/121.43 c #Conflicts: 116000 | #Constraints: 16480 121.07/121.43 c #Conflicts: 117000 | #Constraints: 17480 121.07/121.43 c INPROCESSING 121.07/121.43 c GARBAGE COLLECT 121.07/121.43 c #Conflicts: 118000 | #Constraints: 11692 121.07/121.43 c #Conflicts: 119000 | #Constraints: 12692 121.07/121.43 c #Conflicts: 120000 | #Constraints: 13692 121.07/121.43 c #Conflicts: 121000 | #Constraints: 14692 121.07/121.43 c #Conflicts: 122000 | #Constraints: 15692 121.07/121.43 c #Conflicts: 123000 | #Constraints: 16692 121.07/121.43 c #Conflicts: 124000 | #Constraints: 17692 121.07/121.43 c INPROCESSING 121.07/121.43 c GARBAGE COLLECT 121.07/121.43 c #Conflicts: 125000 | #Constraints: 11712 121.07/121.43 c #Conflicts: 126000 | #Constraints: 12712 121.07/121.43 c #Conflicts: 127000 | #Constraints: 13712 121.07/121.43 c #Conflicts: 128000 | #Constraints: 14712 121.07/121.43 c #Conflicts: 129000 | #Constraints: 15712 121.07/121.43 c #Conflicts: 130000 | #Constraints: 16712 121.07/121.43 c #Conflicts: 131000 | #Constraints: 17712 121.07/121.43 c INPROCESSING 121.07/121.43 c GARBAGE COLLECT 121.07/121.43 c rational objective 70 126.78/127.18 c #Conflicts: 132000 | #Constraints: 11505 126.78/127.18 c #Conflicts: 133000 | #Constraints: 12505 126.78/127.18 c #Conflicts: 134000 | #Constraints: 13505 126.78/127.18 c #Conflicts: 135000 | #Constraints: 14505 126.78/127.18 c #Conflicts: 136000 | #Constraints: 15505 126.78/127.18 c #Conflicts: 137000 | #Constraints: 16505 126.78/127.18 c #Conflicts: 138000 | #Constraints: 17505 126.78/127.18 c #Conflicts: 139000 | #Constraints: 18505 126.78/127.18 c INPROCESSING 126.78/127.18 c GARBAGE COLLECT 126.78/127.18 c rational objective 70 162.26/162.77 c #Conflicts: 140000 | #Constraints: 12119 162.26/162.77 c #Conflicts: 141000 | #Constraints: 13119 162.26/162.77 c #Conflicts: 142000 | #Constraints: 14119 162.26/162.77 c #Conflicts: 143000 | #Constraints: 15119 162.26/162.77 c #Conflicts: 144000 | #Constraints: 16119 162.26/162.77 c #Conflicts: 145000 | #Constraints: 17119 162.26/162.77 c #Conflicts: 146000 | #Constraints: 18119 162.26/162.77 c #Conflicts: 147000 | #Constraints: 19119 162.26/162.77 c #Conflicts: 148000 | #Constraints: 20119 162.26/162.77 c #Conflicts: 149000 | #Constraints: 21119 162.26/162.77 c #Conflicts: 150000 | #Constraints: 22119 162.26/162.77 c #Conflicts: 151000 | #Constraints: 23120 162.26/162.77 c #Conflicts: 152000 | #Constraints: 24121 162.26/162.77 c #Conflicts: 153000 | #Constraints: 25121 162.26/162.77 c #Conflicts: 154000 | #Constraints: 26121 162.26/162.77 c #Conflicts: 155000 | #Constraints: 27121 162.26/162.77 c #Conflicts: 156000 | #Constraints: 28121 162.26/162.77 c #Conflicts: 157000 | #Constraints: 29121 162.26/162.77 c #Conflicts: 158000 | #Constraints: 30121 162.26/162.77 c #Conflicts: 159000 | #Constraints: 31121 162.26/162.77 c #Conflicts: 160000 | #Constraints: 32121 162.26/162.77 c #Conflicts: 161000 | #Constraints: 33121 162.26/162.77 c #Conflicts: 162000 | #Constraints: 34121 162.26/162.77 c #Conflicts: 163000 | #Constraints: 35121 162.26/162.77 c #Conflicts: 164000 | #Constraints: 36121 162.26/162.77 c #Conflicts: 165000 | #Constraints: 37121 162.26/162.77 c #Conflicts: 166000 | #Constraints: 38121 162.26/162.77 c #Conflicts: 167000 | #Constraints: 39121 162.26/162.77 c #Conflicts: 168000 | #Constraints: 40121 162.26/162.77 c #Conflicts: 169000 | #Constraints: 41121 162.26/162.77 c #Conflicts: 170000 | #Constraints: 42121 162.26/162.77 c #Conflicts: 171000 | #Constraints: 43121 162.26/162.77 c #Conflicts: 172000 | #Constraints: 44122 162.26/162.77 c #Conflicts: 173000 | #Constraints: 45123 162.26/162.77 c #Conflicts: 174000 | #Constraints: 46123 162.26/162.77 c INPROCESSING 162.26/162.77 c GARBAGE COLLECT 162.26/162.77 c rational objective 70 173.13/173.61 c #Conflicts: 175000 | #Constraints: 26030 173.13/173.61 c #Conflicts: 176000 | #Constraints: 27030 173.13/173.61 c #Conflicts: 177000 | #Constraints: 28030 173.13/173.61 c #Conflicts: 178000 | #Constraints: 29030 173.13/173.61 c #Conflicts: 179000 | #Constraints: 30030 173.13/173.61 c #Conflicts: 180000 | #Constraints: 31030 173.13/173.61 c #Conflicts: 181000 | #Constraints: 32031 173.13/173.61 c #Conflicts: 182000 | #Constraints: 33031 173.13/173.61 c INPROCESSING 173.13/173.61 c GARBAGE COLLECT 173.13/173.61 c rational objective 70 181.53/182.11 c #Conflicts: 183000 | #Constraints: 19054 181.53/182.11 c #Conflicts: 184000 | #Constraints: 20056 181.53/182.11 c #Conflicts: 185000 | #Constraints: 21056 181.53/182.11 c #Conflicts: 186000 | #Constraints: 22056 181.53/182.11 c #Conflicts: 187000 | #Constraints: 23056 181.53/182.11 c #Conflicts: 188000 | #Constraints: 24056 181.53/182.11 c #Conflicts: 189000 | #Constraints: 25056 181.53/182.11 c #Conflicts: 190000 | #Constraints: 26056 181.53/182.11 c #Conflicts: 191000 | #Constraints: 27057 181.53/182.11 c #Conflicts: 192000 | #Constraints: 28057 181.53/182.11 c INPROCESSING 181.53/182.11 c GARBAGE COLLECT 181.53/182.11 c rational objective 70 189.60/190.15 c #Conflicts: 193000 | #Constraints: 17061 189.60/190.15 c #Conflicts: 194000 | #Constraints: 18061 189.60/190.15 c #Conflicts: 195000 | #Constraints: 19061 189.60/190.15 c #Conflicts: 196000 | #Constraints: 20061 189.60/190.15 c #Conflicts: 197000 | #Constraints: 21061 189.60/190.15 c #Conflicts: 198000 | #Constraints: 22061 189.60/190.15 c #Conflicts: 199000 | #Constraints: 23061 189.60/190.15 c #Conflicts: 200000 | #Constraints: 24061 189.60/190.15 c #Conflicts: 201000 | #Constraints: 25061 189.60/190.15 c INPROCESSING 189.60/190.15 c GARBAGE COLLECT 189.60/190.15 c rational objective 70 197.67/198.25 c #Conflicts: 202000 | #Constraints: 15366 197.67/198.25 c #Conflicts: 203000 | #Constraints: 16366 197.67/198.25 c #Conflicts: 204000 | #Constraints: 17366 197.67/198.25 c #Conflicts: 205000 | #Constraints: 18366 197.67/198.25 c #Conflicts: 206000 | #Constraints: 19367 197.67/198.25 c #Conflicts: 207000 | #Constraints: 20367 197.67/198.25 c #Conflicts: 208000 | #Constraints: 21367 197.67/198.25 c #Conflicts: 209000 | #Constraints: 22367 197.67/198.25 c #Conflicts: 210000 | #Constraints: 23367 197.67/198.25 c INPROCESSING 197.67/198.25 c GARBAGE COLLECT 197.67/198.25 c rational objective 70 207.14/207.74 c #Conflicts: 211000 | #Constraints: 14272 207.14/207.74 c #Conflicts: 212000 | #Constraints: 15272 207.14/207.74 c #Conflicts: 213000 | #Constraints: 16272 207.14/207.74 c #Conflicts: 214000 | #Constraints: 17272 207.14/207.74 c #Conflicts: 215000 | #Constraints: 18272 207.14/207.74 c #Conflicts: 216000 | #Constraints: 19272 207.14/207.74 c #Conflicts: 217000 | #Constraints: 20273 207.14/207.74 c #Conflicts: 218000 | #Constraints: 21273 207.14/207.74 c #Conflicts: 219000 | #Constraints: 22273 207.14/207.74 c #Conflicts: 220000 | #Constraints: 23273 207.14/207.74 c INPROCESSING 207.14/207.74 c GARBAGE COLLECT 207.14/207.74 c rational objective 70 216.02/216.69 c #Conflicts: 221000 | #Constraints: 14382 216.02/216.69 c #Conflicts: 222000 | #Constraints: 15383 216.02/216.69 c #Conflicts: 223000 | #Constraints: 16383 216.02/216.69 c #Conflicts: 224000 | #Constraints: 17383 216.02/216.69 c #Conflicts: 225000 | #Constraints: 18383 216.02/216.69 c #Conflicts: 226000 | #Constraints: 19383 216.02/216.69 c #Conflicts: 227000 | #Constraints: 20384 216.02/216.69 c #Conflicts: 228000 | #Constraints: 21384 216.02/216.69 c #Conflicts: 229000 | #Constraints: 22384 216.02/216.69 c #Conflicts: 230000 | #Constraints: 23384 216.02/216.69 c INPROCESSING 216.02/216.69 c GARBAGE COLLECT 216.02/216.69 c rational objective 70 225.79/226.43 c #Conflicts: 231000 | #Constraints: 14489 225.79/226.43 c #Conflicts: 232000 | #Constraints: 15489 225.79/226.43 c #Conflicts: 233000 | #Constraints: 16489 225.79/226.43 c #Conflicts: 234000 | #Constraints: 17489 225.79/226.43 c #Conflicts: 235000 | #Constraints: 18489 225.79/226.43 c #Conflicts: 236000 | #Constraints: 19490 225.79/226.43 c #Conflicts: 237000 | #Constraints: 20490 225.79/226.43 c #Conflicts: 238000 | #Constraints: 21490 225.79/226.43 c #Conflicts: 239000 | #Constraints: 22491 225.79/226.43 c #Conflicts: 240000 | #Constraints: 23491 225.79/226.43 c INPROCESSING 225.79/226.43 c GARBAGE COLLECT 225.79/226.43 c rational objective 70 286.23/287.05 c #Conflicts: 241000 | #Constraints: 14484 286.23/287.05 c #Conflicts: 242000 | #Constraints: 15484 286.23/287.05 c #Conflicts: 243000 | #Constraints: 16484 286.23/287.05 c #Conflicts: 244000 | #Constraints: 17484 286.23/287.05 c #Conflicts: 245000 | #Constraints: 18484 286.23/287.05 c #Conflicts: 246000 | #Constraints: 19484 286.23/287.05 c #Conflicts: 247000 | #Constraints: 20484 286.23/287.05 c #Conflicts: 248000 | #Constraints: 21484 286.23/287.05 c #Conflicts: 249000 | #Constraints: 22484 286.23/287.05 c #Conflicts: 250000 | #Constraints: 23484 286.23/287.05 c #Conflicts: 251000 | #Constraints: 24484 286.23/287.05 c #Conflicts: 252000 | #Constraints: 25484 286.23/287.05 c #Conflicts: 253000 | #Constraints: 26484 286.23/287.05 c #Conflicts: 254000 | #Constraints: 27484 286.23/287.05 c #Conflicts: 255000 | #Constraints: 28484 286.23/287.05 c #Conflicts: 256000 | #Constraints: 29484 286.23/287.05 c #Conflicts: 257000 | #Constraints: 30484 286.23/287.05 c #Conflicts: 258000 | #Constraints: 31485 286.23/287.05 c #Conflicts: 259000 | #Constraints: 32485 286.23/287.05 c #Conflicts: 260000 | #Constraints: 33485 286.23/287.05 c #Conflicts: 261000 | #Constraints: 34485 286.23/287.05 c #Conflicts: 262000 | #Constraints: 35485 286.23/287.05 c #Conflicts: 263000 | #Constraints: 36485 286.23/287.05 c #Conflicts: 264000 | #Constraints: 37485 286.23/287.05 c #Conflicts: 265000 | #Constraints: 38485 286.23/287.05 c #Conflicts: 266000 | #Constraints: 39485 286.23/287.05 c #Conflicts: 267000 | #Constraints: 40485 286.23/287.05 c #Conflicts: 268000 | #Constraints: 41485 286.23/287.05 c #Conflicts: 269000 | #Constraints: 42485 286.23/287.05 c #Conflicts: 270000 | #Constraints: 43486 286.23/287.05 c #Conflicts: 271000 | #Constraints: 44486 286.23/287.05 c #Conflicts: 272000 | #Constraints: 45486 286.23/287.05 c #Conflicts: 273000 | #Constraints: 46486 286.23/287.05 c #Conflicts: 274000 | #Constraints: 47486 286.23/287.05 c #Conflicts: 275000 | #Constraints: 48486 286.23/287.05 c #Conflicts: 276000 | #Constraints: 49487 286.23/287.05 c #Conflicts: 277000 | #Constraints: 50487 286.23/287.05 c #Conflicts: 278000 | #Constraints: 51487 286.23/287.05 c #Conflicts: 279000 | #Constraints: 52487 286.23/287.05 c #Conflicts: 280000 | #Constraints: 53487 286.23/287.05 c #Conflicts: 281000 | #Constraints: 54487 286.23/287.05 c #Conflicts: 282000 | #Constraints: 55487 286.23/287.05 c #Conflicts: 283000 | #Constraints: 56487 286.23/287.05 c #Conflicts: 284000 | #Constraints: 57487 286.23/287.05 c #Conflicts: 285000 | #Constraints: 58487 286.23/287.05 c INPROCESSING 286.23/287.05 c GARBAGE COLLECT 286.23/287.05 c rational objective 70 299.58/300.43 c #Conflicts: 286000 | #Constraints: 32257 299.58/300.43 c #Conflicts: 287000 | #Constraints: 33257 299.58/300.43 c #Conflicts: 288000 | #Constraints: 34257 299.58/300.43 c #Conflicts: 289000 | #Constraints: 35257 299.58/300.43 c #Conflicts: 290000 | #Constraints: 36257 299.58/300.43 c #Conflicts: 291000 | #Constraints: 37257 299.58/300.43 c #Conflicts: 292000 | #Constraints: 38257 299.58/300.43 c #Conflicts: 293000 | #Constraints: 39257 299.58/300.43 c #Conflicts: 294000 | #Constraints: 40257 299.58/300.43 c #Conflicts: 295000 | #Constraints: 41257 299.58/300.43 c #Conflicts: 296000 | #Constraints: 42257 299.58/300.43 c INPROCESSING 299.58/300.43 c GARBAGE COLLECT 299.58/300.43 c rational objective 70 310.16/311.02 c #Conflicts: 297000 | #Constraints: 23973 310.16/311.02 c #Conflicts: 298000 | #Constraints: 24973 310.16/311.02 c #Conflicts: 299000 | #Constraints: 25973 310.16/311.02 c #Conflicts: 300000 | #Constraints: 26973 310.16/311.02 c #Conflicts: 301000 | #Constraints: 27973 310.16/311.02 c #Conflicts: 302000 | #Constraints: 28973 310.16/311.02 c #Conflicts: 303000 | #Constraints: 29974 310.16/311.02 c #Conflicts: 304000 | #Constraints: 30974 310.16/311.02 c #Conflicts: 305000 | #Constraints: 31974 310.16/311.02 c #Conflicts: 306000 | #Constraints: 32974 310.16/311.02 c #Conflicts: 307000 | #Constraints: 33974 310.16/311.02 c #Conflicts: 308000 | #Constraints: 34974 310.16/311.02 c INPROCESSING 310.16/311.02 c GARBAGE COLLECT 310.16/311.02 c rational objective 70 322.13/323.05 c #Conflicts: 309000 | #Constraints: 20543 322.13/323.05 c #Conflicts: 310000 | #Constraints: 21543 322.13/323.05 c #Conflicts: 311000 | #Constraints: 22543 322.13/323.05 c #Conflicts: 312000 | #Constraints: 23543 322.13/323.05 c #Conflicts: 313000 | #Constraints: 24543 322.13/323.05 c #Conflicts: 314000 | #Constraints: 25544 322.13/323.05 c #Conflicts: 315000 | #Constraints: 26545 322.13/323.05 c #Conflicts: 316000 | #Constraints: 27545 322.13/323.05 c #Conflicts: 317000 | #Constraints: 28545 322.13/323.05 c #Conflicts: 318000 | #Constraints: 29545 322.13/323.05 c #Conflicts: 319000 | #Constraints: 30545 322.13/323.05 c INPROCESSING 322.13/323.05 c GARBAGE COLLECT 322.13/323.05 c rational objective 70 333.78/334.73 c #Conflicts: 320000 | #Constraints: 17916 333.78/334.73 c #Conflicts: 321000 | #Constraints: 18916 333.78/334.73 c #Conflicts: 322000 | #Constraints: 19916 333.78/334.73 c #Conflicts: 323000 | #Constraints: 20916 333.78/334.73 c #Conflicts: 324000 | #Constraints: 21916 333.78/334.73 c #Conflicts: 325000 | #Constraints: 22916 333.78/334.73 c #Conflicts: 326000 | #Constraints: 23916 333.78/334.73 c #Conflicts: 327000 | #Constraints: 24916 333.78/334.73 c #Conflicts: 328000 | #Constraints: 25916 333.78/334.73 c #Conflicts: 329000 | #Constraints: 26916 333.78/334.73 c #Conflicts: 330000 | #Constraints: 27916 333.78/334.73 c #Conflicts: 331000 | #Constraints: 28916 333.78/334.73 c INPROCESSING 333.78/334.73 c GARBAGE COLLECT 333.78/334.73 c rational objective 70 346.24/347.24 c #Conflicts: 332000 | #Constraints: 17068 346.24/347.24 c #Conflicts: 333000 | #Constraints: 18069 346.24/347.24 c #Conflicts: 334000 | #Constraints: 19069 346.24/347.24 c #Conflicts: 335000 | #Constraints: 20069 346.24/347.24 c #Conflicts: 336000 | #Constraints: 21071 346.24/347.24 c #Conflicts: 337000 | #Constraints: 22071 346.24/347.24 c #Conflicts: 338000 | #Constraints: 23072 346.24/347.24 c #Conflicts: 339000 | #Constraints: 24073 346.24/347.24 c #Conflicts: 340000 | #Constraints: 25073 346.24/347.24 c #Conflicts: 341000 | #Constraints: 26073 346.24/347.24 c #Conflicts: 342000 | #Constraints: 27074 346.24/347.24 c #Conflicts: 343000 | #Constraints: 28075 346.24/347.24 c #Conflicts: 344000 | #Constraints: 29075 346.24/347.24 c INPROCESSING 346.24/347.24 c GARBAGE COLLECT 346.24/347.24 c rational objective 70 419.43/420.61 c #Conflicts: 345000 | #Constraints: 17583 419.43/420.61 c #Conflicts: 346000 | #Constraints: 18585 419.43/420.61 c #Conflicts: 347000 | #Constraints: 19588 419.43/420.61 c #Conflicts: 348000 | #Constraints: 20589 419.43/420.61 c #Conflicts: 349000 | #Constraints: 21589 419.43/420.61 c #Conflicts: 350000 | #Constraints: 22592 419.43/420.61 c #Conflicts: 351000 | #Constraints: 23603 419.43/420.61 c #Conflicts: 352000 | #Constraints: 24603 419.43/420.61 c #Conflicts: 353000 | #Constraints: 25603 419.43/420.61 c #Conflicts: 354000 | #Constraints: 26603 419.43/420.61 c #Conflicts: 355000 | #Constraints: 27603 419.43/420.61 c #Conflicts: 356000 | #Constraints: 28603 419.43/420.61 c #Conflicts: 357000 | #Constraints: 29603 419.43/420.61 c #Conflicts: 358000 | #Constraints: 30603 419.43/420.61 c #Conflicts: 359000 | #Constraints: 31603 419.43/420.61 c #Conflicts: 360000 | #Constraints: 32603 419.43/420.61 c #Conflicts: 361000 | #Constraints: 33603 419.43/420.61 c #Conflicts: 362000 | #Constraints: 34603 419.43/420.61 c #Conflicts: 363000 | #Constraints: 35603 419.43/420.61 c #Conflicts: 364000 | #Constraints: 36603 419.43/420.61 c #Conflicts: 365000 | #Constraints: 37603 419.43/420.61 c #Conflicts: 366000 | #Constraints: 38603 419.43/420.61 c #Conflicts: 367000 | #Constraints: 39603 419.43/420.61 c #Conflicts: 368000 | #Constraints: 40603 419.43/420.61 c #Conflicts: 369000 | #Constraints: 41603 419.43/420.61 c #Conflicts: 370000 | #Constraints: 42604 419.43/420.61 c #Conflicts: 371000 | #Constraints: 43604 419.43/420.61 c #Conflicts: 372000 | #Constraints: 44604 419.43/420.61 c #Conflicts: 373000 | #Constraints: 45604 419.43/420.61 c #Conflicts: 374000 | #Constraints: 46604 419.43/420.61 c #Conflicts: 375000 | #Constraints: 47604 419.43/420.61 c #Conflicts: 376000 | #Constraints: 48604 419.43/420.61 c #Conflicts: 377000 | #Constraints: 49604 419.43/420.61 c #Conflicts: 378000 | #Constraints: 50604 419.43/420.61 c #Conflicts: 379000 | #Constraints: 51604 419.43/420.61 c #Conflicts: 380000 | #Constraints: 52604 419.43/420.61 c #Conflicts: 381000 | #Constraints: 53604 419.43/420.61 c #Conflicts: 382000 | #Constraints: 54604 419.43/420.61 c #Conflicts: 383000 | #Constraints: 55605 419.43/420.61 c #Conflicts: 384000 | #Constraints: 56605 419.43/420.61 c #Conflicts: 385000 | #Constraints: 57605 419.43/420.61 c #Conflicts: 386000 | #Constraints: 58605 419.43/420.61 c #Conflicts: 387000 | #Constraints: 59605 419.43/420.61 c #Conflicts: 388000 | #Constraints: 60605 419.43/420.61 c #Conflicts: 389000 | #Constraints: 61605 419.43/420.61 c #Conflicts: 390000 | #Constraints: 62605 419.43/420.61 c #Conflicts: 391000 | #Constraints: 63605 419.43/420.61 c #Conflicts: 392000 | #Constraints: 64605 419.43/420.61 c #Conflicts: 393000 | #Constraints: 65606 419.43/420.61 c #Conflicts: 394000 | #Constraints: 66606 419.43/420.61 c #Conflicts: 395000 | #Constraints: 67606 419.43/420.61 c #Conflicts: 396000 | #Constraints: 68606 419.43/420.61 c INPROCESSING 419.43/420.61 c GARBAGE COLLECT 419.43/420.61 c rational objective 70 437.48/438.73 c #Conflicts: 397000 | #Constraints: 37313 437.48/438.73 c #Conflicts: 398000 | #Constraints: 38313 437.48/438.73 c #Conflicts: 399000 | #Constraints: 39313 437.48/438.73 c #Conflicts: 400000 | #Constraints: 40313 437.48/438.73 c #Conflicts: 401000 | #Constraints: 41313 437.48/438.73 c #Conflicts: 402000 | #Constraints: 42313 437.48/438.73 c #Conflicts: 403000 | #Constraints: 43313 437.48/438.73 c #Conflicts: 404000 | #Constraints: 44313 437.48/438.73 c #Conflicts: 405000 | #Constraints: 45313 437.48/438.73 c #Conflicts: 406000 | #Constraints: 46314 437.48/438.73 c #Conflicts: 407000 | #Constraints: 47314 437.48/438.73 c #Conflicts: 408000 | #Constraints: 48314 437.48/438.73 c #Conflicts: 409000 | #Constraints: 49314 437.48/438.73 c INPROCESSING 437.48/438.73 c GARBAGE COLLECT 437.48/438.73 c rational objective 70 451.64/452.95 c #Conflicts: 410000 | #Constraints: 27492 451.64/452.95 c #Conflicts: 411000 | #Constraints: 28492 451.64/452.95 c #Conflicts: 412000 | #Constraints: 29492 451.64/452.95 c #Conflicts: 413000 | #Constraints: 30492 451.64/452.95 c #Conflicts: 414000 | #Constraints: 31492 451.64/452.95 c #Conflicts: 415000 | #Constraints: 32492 451.64/452.95 c #Conflicts: 416000 | #Constraints: 33492 451.64/452.95 c #Conflicts: 417000 | #Constraints: 34492 451.64/452.95 c #Conflicts: 418000 | #Constraints: 35492 451.64/452.95 c #Conflicts: 419000 | #Constraints: 36492 451.64/452.95 c #Conflicts: 420000 | #Constraints: 37492 451.64/452.95 c #Conflicts: 421000 | #Constraints: 38492 451.64/452.95 c #Conflicts: 422000 | #Constraints: 39492 451.64/452.95 c #Conflicts: 423000 | #Constraints: 40492 451.64/452.95 c INPROCESSING 451.64/452.95 c GARBAGE COLLECT 451.64/452.95 c rational objective 70 467.00/468.34 c #Conflicts: 424000 | #Constraints: 23240 467.00/468.34 c #Conflicts: 425000 | #Constraints: 24240 467.00/468.34 c #Conflicts: 426000 | #Constraints: 25240 467.00/468.34 c #Conflicts: 427000 | #Constraints: 26240 467.00/468.34 c #Conflicts: 428000 | #Constraints: 27240 467.00/468.34 c #Conflicts: 429000 | #Constraints: 28240 467.00/468.34 c #Conflicts: 430000 | #Constraints: 29240 467.00/468.34 c #Conflicts: 431000 | #Constraints: 30241 467.00/468.34 c #Conflicts: 432000 | #Constraints: 31241 467.00/468.34 c #Conflicts: 433000 | #Constraints: 32241 467.00/468.34 c #Conflicts: 434000 | #Constraints: 33241 467.00/468.34 c #Conflicts: 435000 | #Constraints: 34241 467.00/468.34 c #Conflicts: 436000 | #Constraints: 35241 467.00/468.34 c #Conflicts: 437000 | #Constraints: 36241 467.00/468.34 c INPROCESSING 467.00/468.34 c GARBAGE COLLECT 467.00/468.34 c rational objective 70 480.96/482.31 c #Conflicts: 438000 | #Constraints: 21093 480.96/482.31 c #Conflicts: 439000 | #Constraints: 22093 480.96/482.31 c #Conflicts: 440000 | #Constraints: 23093 480.96/482.31 c #Conflicts: 441000 | #Constraints: 24093 480.96/482.31 c #Conflicts: 442000 | #Constraints: 25094 480.96/482.31 c #Conflicts: 443000 | #Constraints: 26094 480.96/482.31 c #Conflicts: 444000 | #Constraints: 27094 480.96/482.31 c #Conflicts: 445000 | #Constraints: 28094 480.96/482.31 c #Conflicts: 446000 | #Constraints: 29094 480.96/482.31 c #Conflicts: 447000 | #Constraints: 30094 480.96/482.31 c #Conflicts: 448000 | #Constraints: 31094 480.96/482.31 c #Conflicts: 449000 | #Constraints: 32094 480.96/482.31 c #Conflicts: 450000 | #Constraints: 33094 480.96/482.31 c #Conflicts: 451000 | #Constraints: 34094 480.96/482.31 c INPROCESSING 480.96/482.31 c GARBAGE COLLECT 480.96/482.31 c rational objective 70 496.62/498.03 c #Conflicts: 452000 | #Constraints: 20042 496.62/498.03 c #Conflicts: 453000 | #Constraints: 21043 496.62/498.03 c #Conflicts: 454000 | #Constraints: 22043 496.62/498.03 c #Conflicts: 455000 | #Constraints: 23043 496.62/498.03 c #Conflicts: 456000 | #Constraints: 24043 496.62/498.03 c #Conflicts: 457000 | #Constraints: 25043 496.62/498.03 c #Conflicts: 458000 | #Constraints: 26043 496.62/498.03 c #Conflicts: 459000 | #Constraints: 27043 496.62/498.03 c #Conflicts: 460000 | #Constraints: 28043 496.62/498.03 c #Conflicts: 461000 | #Constraints: 29043 496.62/498.03 c #Conflicts: 462000 | #Constraints: 30043 496.62/498.03 c #Conflicts: 463000 | #Constraints: 31043 496.62/498.03 c #Conflicts: 464000 | #Constraints: 32043 496.62/498.03 c #Conflicts: 465000 | #Constraints: 33043 496.62/498.03 c INPROCESSING 496.62/498.03 c GARBAGE COLLECT 496.62/498.03 c rational objective 70 606.49/608.29 c #Conflicts: 466000 | #Constraints: 19313 606.49/608.29 c #Conflicts: 467000 | #Constraints: 20313 606.49/608.29 c #Conflicts: 468000 | #Constraints: 21313 606.49/608.29 c #Conflicts: 469000 | #Constraints: 22313 606.49/608.29 c #Conflicts: 470000 | #Constraints: 23313 606.49/608.29 c #Conflicts: 471000 | #Constraints: 24314 606.49/608.29 c #Conflicts: 472000 | #Constraints: 25314 606.49/608.29 c #Conflicts: 473000 | #Constraints: 26314 606.49/608.29 c #Conflicts: 474000 | #Constraints: 27314 606.49/608.29 c #Conflicts: 475000 | #Constraints: 28314 606.49/608.29 c #Conflicts: 476000 | #Constraints: 29315 606.49/608.29 c #Conflicts: 477000 | #Constraints: 30315 606.49/608.29 c #Conflicts: 478000 | #Constraints: 31315 606.49/608.29 c #Conflicts: 479000 | #Constraints: 32315 606.49/608.29 c #Conflicts: 480000 | #Constraints: 33315 606.49/608.29 c #Conflicts: 481000 | #Constraints: 34315 606.49/608.29 c #Conflicts: 482000 | #Constraints: 35315 606.49/608.29 c #Conflicts: 483000 | #Constraints: 36315 606.49/608.29 c #Conflicts: 484000 | #Constraints: 37315 606.49/608.29 c #Conflicts: 485000 | #Constraints: 38315 606.49/608.29 c #Conflicts: 486000 | #Constraints: 39316 606.49/608.29 c #Conflicts: 487000 | #Constraints: 40316 606.49/608.29 c #Conflicts: 488000 | #Constraints: 41316 606.49/608.29 c #Conflicts: 489000 | #Constraints: 42316 606.49/608.29 c #Conflicts: 490000 | #Constraints: 43316 606.49/608.29 c #Conflicts: 491000 | #Constraints: 44316 606.49/608.29 c #Conflicts: 492000 | #Constraints: 45316 606.49/608.29 c #Conflicts: 493000 | #Constraints: 46316 606.49/608.29 c #Conflicts: 494000 | #Constraints: 47316 606.49/608.29 c #Conflicts: 495000 | #Constraints: 48316 606.49/608.29 c #Conflicts: 496000 | #Constraints: 49316 606.49/608.29 c #Conflicts: 497000 | #Constraints: 50316 606.49/608.29 c #Conflicts: 498000 | #Constraints: 51317 606.49/608.29 c #Conflicts: 499000 | #Constraints: 52317 606.49/608.29 c #Conflicts: 500000 | #Constraints: 53317 606.49/608.29 c #Conflicts: 501000 | #Constraints: 54317 606.49/608.29 c #Conflicts: 502000 | #Constraints: 55317 606.49/608.29 c #Conflicts: 503000 | #Constraints: 56317 606.49/608.29 c #Conflicts: 504000 | #Constraints: 57317 606.49/608.29 c #Conflicts: 505000 | #Constraints: 58317 606.49/608.29 c #Conflicts: 506000 | #Constraints: 59317 606.49/608.29 c #Conflicts: 507000 | #Constraints: 60317 606.49/608.29 c #Conflicts: 508000 | #Constraints: 61317 606.49/608.29 c #Conflicts: 509000 | #Constraints: 62317 606.49/608.29 c #Conflicts: 510000 | #Constraints: 63317 606.49/608.29 c #Conflicts: 511000 | #Constraints: 64317 606.49/608.29 c #Conflicts: 512000 | #Constraints: 65317 606.49/608.29 c #Conflicts: 513000 | #Constraints: 66317 606.49/608.29 c #Conflicts: 514000 | #Constraints: 67317 606.49/608.29 c #Conflicts: 515000 | #Constraints: 68317 606.49/608.29 c #Conflicts: 516000 | #Constraints: 69317 606.49/608.29 c #Conflicts: 517000 | #Constraints: 70318 606.49/608.29 c #Conflicts: 518000 | #Constraints: 71318 606.49/608.29 c #Conflicts: 519000 | #Constraints: 72318 606.49/608.29 c #Conflicts: 520000 | #Constraints: 73318 606.49/608.29 c #Conflicts: 521000 | #Constraints: 74318 606.49/608.29 c #Conflicts: 522000 | #Constraints: 75318 606.49/608.29 c #Conflicts: 523000 | #Constraints: 76318 606.49/608.29 c #Conflicts: 524000 | #Constraints: 77318 606.49/608.29 c #Conflicts: 525000 | #Constraints: 78318 606.49/608.29 c INPROCESSING 606.49/608.29 c GARBAGE COLLECT 606.49/608.29 c rational objective 70 628.94/630.79 c #Conflicts: 526000 | #Constraints: 42222 628.94/630.79 c #Conflicts: 527000 | #Constraints: 43222 628.94/630.79 c #Conflicts: 528000 | #Constraints: 44222 628.94/630.79 c #Conflicts: 529000 | #Constraints: 45222 628.94/630.79 c #Conflicts: 530000 | #Constraints: 46222 628.94/630.79 c #Conflicts: 531000 | #Constraints: 47222 628.94/630.79 c #Conflicts: 532000 | #Constraints: 48222 628.94/630.79 c #Conflicts: 533000 | #Constraints: 49222 628.94/630.79 c #Conflicts: 534000 | #Constraints: 50222 628.94/630.79 c #Conflicts: 535000 | #Constraints: 51222 628.94/630.79 c #Conflicts: 536000 | #Constraints: 52223 628.94/630.79 c #Conflicts: 537000 | #Constraints: 53223 628.94/630.79 c #Conflicts: 538000 | #Constraints: 54224 628.94/630.79 c #Conflicts: 539000 | #Constraints: 55224 628.94/630.79 c #Conflicts: 540000 | #Constraints: 56224 628.94/630.79 c INPROCESSING 628.94/630.79 c GARBAGE COLLECT 628.94/630.79 c rational objective 70 646.10/647.91 c #Conflicts: 541000 | #Constraints: 30856 646.10/647.91 c #Conflicts: 542000 | #Constraints: 31856 646.10/647.91 c #Conflicts: 543000 | #Constraints: 32856 646.10/647.91 c #Conflicts: 544000 | #Constraints: 33856 646.10/647.91 c #Conflicts: 545000 | #Constraints: 34856 646.10/647.91 c #Conflicts: 546000 | #Constraints: 35856 646.10/647.91 c #Conflicts: 547000 | #Constraints: 36856 646.10/647.91 c #Conflicts: 548000 | #Constraints: 37856 646.10/647.91 c #Conflicts: 549000 | #Constraints: 38856 646.10/647.91 c #Conflicts: 550000 | #Constraints: 39856 646.10/647.91 c #Conflicts: 551000 | #Constraints: 40856 646.10/647.91 c #Conflicts: 552000 | #Constraints: 41856 646.10/647.91 c #Conflicts: 553000 | #Constraints: 42856 646.10/647.91 c #Conflicts: 554000 | #Constraints: 43856 646.10/647.91 c #Conflicts: 555000 | #Constraints: 44856 646.10/647.91 c #Conflicts: 556000 | #Constraints: 45856 646.10/647.91 c INPROCESSING 646.10/647.91 c GARBAGE COLLECT 646.10/647.91 c rational objective 70 662.19/664.04 c #Conflicts: 557000 | #Constraints: 25767 662.19/664.04 c #Conflicts: 558000 | #Constraints: 26767 662.19/664.04 c #Conflicts: 559000 | #Constraints: 27767 662.19/664.04 c #Conflicts: 560000 | #Constraints: 28767 662.19/664.04 c #Conflicts: 561000 | #Constraints: 29767 662.19/664.04 c #Conflicts: 562000 | #Constraints: 30767 662.19/664.04 c #Conflicts: 563000 | #Constraints: 31767 662.19/664.04 c #Conflicts: 564000 | #Constraints: 32767 662.19/664.04 c #Conflicts: 565000 | #Constraints: 33767 662.19/664.04 c #Conflicts: 566000 | #Constraints: 34767 662.19/664.04 c #Conflicts: 567000 | #Constraints: 35767 662.19/664.04 c #Conflicts: 568000 | #Constraints: 36767 662.19/664.04 c #Conflicts: 569000 | #Constraints: 37767 662.19/664.04 c #Conflicts: 570000 | #Constraints: 38767 662.19/664.04 c #Conflicts: 571000 | #Constraints: 39767 662.19/664.04 c #Conflicts: 572000 | #Constraints: 40767 662.19/664.04 c INPROCESSING 662.19/664.04 c GARBAGE COLLECT 662.19/664.04 c rational objective 70 676.35/678.29 c #Conflicts: 573000 | #Constraints: 23269 676.35/678.29 c #Conflicts: 574000 | #Constraints: 24269 676.35/678.29 c #Conflicts: 575000 | #Constraints: 25269 676.35/678.29 c #Conflicts: 576000 | #Constraints: 26270 676.35/678.29 c #Conflicts: 577000 | #Constraints: 27270 676.35/678.29 c #Conflicts: 578000 | #Constraints: 28271 676.35/678.29 c #Conflicts: 579000 | #Constraints: 29271 676.35/678.29 c #Conflicts: 580000 | #Constraints: 30271 676.35/678.29 c #Conflicts: 581000 | #Constraints: 31271 676.35/678.29 c #Conflicts: 582000 | #Constraints: 32271 676.35/678.29 c #Conflicts: 583000 | #Constraints: 33272 676.35/678.29 c #Conflicts: 584000 | #Constraints: 34272 676.35/678.29 c #Conflicts: 585000 | #Constraints: 35272 676.35/678.29 c #Conflicts: 586000 | #Constraints: 36272 676.35/678.29 c #Conflicts: 587000 | #Constraints: 37272 676.35/678.29 c #Conflicts: 588000 | #Constraints: 38272 676.35/678.29 c INPROCESSING 676.35/678.29 c GARBAGE COLLECT 676.35/678.29 c rational objective 70 798.37/800.54 c #Conflicts: 589000 | #Constraints: 21929 798.37/800.54 c #Conflicts: 590000 | #Constraints: 22929 798.37/800.54 c #Conflicts: 591000 | #Constraints: 23929 798.37/800.54 c #Conflicts: 592000 | #Constraints: 24929 798.37/800.54 c #Conflicts: 593000 | #Constraints: 25929 798.37/800.54 c #Conflicts: 594000 | #Constraints: 26929 798.37/800.54 c #Conflicts: 595000 | #Constraints: 27929 798.37/800.54 c #Conflicts: 596000 | #Constraints: 28929 798.37/800.54 c #Conflicts: 597000 | #Constraints: 29929 798.37/800.54 c #Conflicts: 598000 | #Constraints: 30929 798.37/800.54 c #Conflicts: 599000 | #Constraints: 31930 798.37/800.54 c #Conflicts: 600000 | #Constraints: 32930 798.37/800.54 c #Conflicts: 601000 | #Constraints: 33930 798.37/800.54 c #Conflicts: 602000 | #Constraints: 34930 798.37/800.54 c #Conflicts: 603000 | #Constraints: 35930 798.37/800.54 c #Conflicts: 604000 | #Constraints: 36930 798.37/800.54 c #Conflicts: 605000 | #Constraints: 37930 798.37/800.54 c #Conflicts: 606000 | #Constraints: 38930 798.37/800.54 c #Conflicts: 607000 | #Constraints: 39930 798.37/800.54 c #Conflicts: 608000 | #Constraints: 40930 798.37/800.54 c #Conflicts: 609000 | #Constraints: 41930 798.37/800.54 c #Conflicts: 610000 | #Constraints: 42930 798.37/800.54 c #Conflicts: 611000 | #Constraints: 43930 798.37/800.54 c #Conflicts: 612000 | #Constraints: 44930 798.37/800.54 c #Conflicts: 613000 | #Constraints: 45930 798.37/800.54 c #Conflicts: 614000 | #Constraints: 46930 798.37/800.54 c #Conflicts: 615000 | #Constraints: 47930 798.37/800.54 c #Conflicts: 616000 | #Constraints: 48930 798.37/800.54 c #Conflicts: 617000 | #Constraints: 49930 798.37/800.54 c #Conflicts: 618000 | #Constraints: 50930 798.37/800.54 c #Conflicts: 619000 | #Constraints: 51930 798.37/800.54 c #Conflicts: 620000 | #Constraints: 52930 798.37/800.54 c #Conflicts: 621000 | #Constraints: 53930 798.37/800.54 c #Conflicts: 622000 | #Constraints: 54930 798.37/800.54 c #Conflicts: 623000 | #Constraints: 55930 798.37/800.54 c #Conflicts: 624000 | #Constraints: 56930 798.37/800.54 c #Conflicts: 625000 | #Constraints: 57930 798.37/800.54 c #Conflicts: 626000 | #Constraints: 58930 798.37/800.54 c #Conflicts: 627000 | #Constraints: 59930 798.37/800.54 c #Conflicts: 628000 | #Constraints: 60930 798.37/800.54 c #Conflicts: 629000 | #Constraints: 61930 798.37/800.54 c #Conflicts: 630000 | #Constraints: 62930 798.37/800.54 c #Conflicts: 631000 | #Constraints: 63930 798.37/800.54 c #Conflicts: 632000 | #Constraints: 64930 798.37/800.54 c #Conflicts: 633000 | #Constraints: 65930 798.37/800.54 c #Conflicts: 634000 | #Constraints: 66930 798.37/800.54 c #Conflicts: 635000 | #Constraints: 67930 798.37/800.54 c #Conflicts: 636000 | #Constraints: 68930 798.37/800.54 c #Conflicts: 637000 | #Constraints: 69930 798.37/800.54 c #Conflicts: 638000 | #Constraints: 70930 798.37/800.54 c #Conflicts: 639000 | #Constraints: 71930 798.37/800.54 c #Conflicts: 640000 | #Constraints: 72930 798.37/800.54 c #Conflicts: 641000 | #Constraints: 73930 798.37/800.54 c #Conflicts: 642000 | #Constraints: 74930 798.37/800.54 c #Conflicts: 643000 | #Constraints: 75930 798.37/800.54 c #Conflicts: 644000 | #Constraints: 76930 798.37/800.54 c #Conflicts: 645000 | #Constraints: 77930 798.37/800.54 c #Conflicts: 646000 | #Constraints: 78930 798.37/800.54 c #Conflicts: 647000 | #Constraints: 79930 798.37/800.54 c #Conflicts: 648000 | #Constraints: 80930 798.37/800.54 c #Conflicts: 649000 | #Constraints: 81930 798.37/800.54 c #Conflicts: 650000 | #Constraints: 82930 798.37/800.54 c #Conflicts: 651000 | #Constraints: 83930 798.37/800.54 c #Conflicts: 652000 | #Constraints: 84930 798.37/800.54 c #Conflicts: 653000 | #Constraints: 85930 798.37/800.54 c #Conflicts: 654000 | #Constraints: 86930 798.37/800.54 c INPROCESSING 798.37/800.54 c GARBAGE COLLECT 798.37/800.54 c rational objective 70 827.71/829.93 c #Conflicts: 655000 | #Constraints: 46332 827.71/829.93 c #Conflicts: 656000 | #Constraints: 47333 827.71/829.93 c #Conflicts: 657000 | #Constraints: 48333 827.71/829.93 c #Conflicts: 658000 | #Constraints: 49333 827.71/829.93 c #Conflicts: 659000 | #Constraints: 50333 827.71/829.93 c #Conflicts: 660000 | #Constraints: 51334 827.71/829.93 c #Conflicts: 661000 | #Constraints: 52334 827.71/829.93 c #Conflicts: 662000 | #Constraints: 53334 827.71/829.93 c #Conflicts: 663000 | #Constraints: 54334 827.71/829.93 c #Conflicts: 664000 | #Constraints: 55334 827.71/829.93 c #Conflicts: 665000 | #Constraints: 56334 827.71/829.93 c #Conflicts: 666000 | #Constraints: 57334 827.71/829.93 c #Conflicts: 667000 | #Constraints: 58334 827.71/829.93 c #Conflicts: 668000 | #Constraints: 59335 827.71/829.93 c #Conflicts: 669000 | #Constraints: 60335 827.71/829.93 c #Conflicts: 670000 | #Constraints: 61335 827.71/829.93 c #Conflicts: 671000 | #Constraints: 62335 827.71/829.93 c #Conflicts: 672000 | #Constraints: 63335 827.71/829.93 c INPROCESSING 827.71/829.93 c GARBAGE COLLECT 827.71/829.93 c rational objective 70 849.46/851.76 c #Conflicts: 673000 | #Constraints: 34727 849.46/851.76 c #Conflicts: 674000 | #Constraints: 35727 849.46/851.76 c #Conflicts: 675000 | #Constraints: 36727 849.46/851.76 c #Conflicts: 676000 | #Constraints: 37727 849.46/851.76 c #Conflicts: 677000 | #Constraints: 38727 849.46/851.76 c #Conflicts: 678000 | #Constraints: 39727 849.46/851.76 c #Conflicts: 679000 | #Constraints: 40727 849.46/851.76 c #Conflicts: 680000 | #Constraints: 41728 849.46/851.76 c #Conflicts: 681000 | #Constraints: 42728 849.46/851.76 c #Conflicts: 682000 | #Constraints: 43729 849.46/851.76 c #Conflicts: 683000 | #Constraints: 44729 849.46/851.76 c #Conflicts: 684000 | #Constraints: 45729 849.46/851.76 c #Conflicts: 685000 | #Constraints: 46729 849.46/851.76 c #Conflicts: 686000 | #Constraints: 47729 849.46/851.76 c #Conflicts: 687000 | #Constraints: 48729 849.46/851.76 c #Conflicts: 688000 | #Constraints: 49729 849.46/851.76 c #Conflicts: 689000 | #Constraints: 50729 849.46/851.76 c INPROCESSING 849.46/851.76 c GARBAGE COLLECT 849.46/851.76 c rational objective 70 869.92/872.28 c #Conflicts: 690000 | #Constraints: 28102 869.92/872.28 c #Conflicts: 691000 | #Constraints: 29102 869.92/872.28 c #Conflicts: 692000 | #Constraints: 30102 869.92/872.28 c #Conflicts: 693000 | #Constraints: 31102 869.92/872.28 c #Conflicts: 694000 | #Constraints: 32102 869.92/872.28 c #Conflicts: 695000 | #Constraints: 33102 869.92/872.28 c #Conflicts: 696000 | #Constraints: 34102 869.92/872.28 c #Conflicts: 697000 | #Constraints: 35102 869.92/872.28 c #Conflicts: 698000 | #Constraints: 36102 869.92/872.28 c #Conflicts: 699000 | #Constraints: 37102 869.92/872.28 c #Conflicts: 700000 | #Constraints: 38102 869.92/872.28 c #Conflicts: 701000 | #Constraints: 39102 869.92/872.28 c #Conflicts: 702000 | #Constraints: 40102 869.92/872.28 c #Conflicts: 703000 | #Constraints: 41102 869.92/872.28 c #Conflicts: 704000 | #Constraints: 42102 869.92/872.28 c #Conflicts: 705000 | #Constraints: 43102 869.92/872.28 c #Conflicts: 706000 | #Constraints: 44102 869.92/872.28 c #Conflicts: 707000 | #Constraints: 45102 869.92/872.28 c INPROCESSING 869.92/872.28 c GARBAGE COLLECT 869.92/872.28 c rational objective 70 894.77/897.18 c #Conflicts: 708000 | #Constraints: 25287 894.77/897.18 c #Conflicts: 709000 | #Constraints: 26287 894.77/897.18 c #Conflicts: 710000 | #Constraints: 27287 894.77/897.18 c #Conflicts: 711000 | #Constraints: 28287 894.77/897.18 c #Conflicts: 712000 | #Constraints: 29287 894.77/897.18 c #Conflicts: 713000 | #Constraints: 30287 894.77/897.18 c #Conflicts: 714000 | #Constraints: 31287 894.77/897.18 c #Conflicts: 715000 | #Constraints: 32287 894.77/897.18 c #Conflicts: 716000 | #Constraints: 33287 894.77/897.18 c #Conflicts: 717000 | #Constraints: 34287 894.77/897.18 c #Conflicts: 718000 | #Constraints: 35287 894.77/897.18 c #Conflicts: 719000 | #Constraints: 36287 894.77/897.18 c #Conflicts: 720000 | #Constraints: 37287 894.77/897.18 c #Conflicts: 721000 | #Constraints: 38287 894.77/897.18 c #Conflicts: 722000 | #Constraints: 39287 894.77/897.18 c #Conflicts: 723000 | #Constraints: 40287 894.77/897.18 c #Conflicts: 724000 | #Constraints: 41288 894.77/897.18 c #Conflicts: 725000 | #Constraints: 42288 894.77/897.18 c INPROCESSING 894.77/897.18 c GARBAGE COLLECT 894.77/897.18 c rational objective 70 963.70/966.23 c #Conflicts: 726000 | #Constraints: 23931 963.70/966.23 c #Conflicts: 727000 | #Constraints: 24931 963.70/966.23 c #Conflicts: 728000 | #Constraints: 25931 963.70/966.23 c #Conflicts: 729000 | #Constraints: 26931 963.70/966.23 c #Conflicts: 730000 | #Constraints: 27931 963.70/966.23 c #Conflicts: 731000 | #Constraints: 28932 963.70/966.23 c #Conflicts: 732000 | #Constraints: 29932 963.70/966.23 c #Conflicts: 733000 | #Constraints: 30932 963.70/966.23 c #Conflicts: 734000 | #Constraints: 31933 963.70/966.23 c #Conflicts: 735000 | #Constraints: 32933 963.70/966.23 c #Conflicts: 736000 | #Constraints: 33933 963.70/966.23 c #Conflicts: 737000 | #Constraints: 34933 963.70/966.23 c #Conflicts: 738000 | #Constraints: 35933 963.70/966.23 c #Conflicts: 739000 | #Constraints: 36933 963.70/966.23 c #Conflicts: 740000 | #Constraints: 37933 963.70/966.23 c #Conflicts: 741000 | #Constraints: 38933 963.70/966.23 c #Conflicts: 742000 | #Constraints: 39933 963.70/966.23 c #Conflicts: 743000 | #Constraints: 40933 963.70/966.23 c #Conflicts: 744000 | #Constraints: 41933 963.70/966.23 c #Conflicts: 745000 | #Constraints: 42933 963.70/966.23 c #Conflicts: 746000 | #Constraints: 43933 963.70/966.23 c #Conflicts: 747000 | #Constraints: 44933 963.70/966.23 c #Conflicts: 748000 | #Constraints: 45933 963.70/966.23 c #Conflicts: 749000 | #Constraints: 46933 963.70/966.23 c #Conflicts: 750000 | #Constraints: 47933 963.70/966.23 c #Conflicts: 751000 | #Constraints: 48933 963.70/966.23 c #Conflicts: 752000 | #Constraints: 49933 963.70/966.23 c #Conflicts: 753000 | #Constraints: 50933 963.70/966.23 c #Conflicts: 754000 | #Constraints: 51933 963.70/966.23 c #Conflicts: 755000 | #Constraints: 52933 963.70/966.23 c #Conflicts: 756000 | #Constraints: 53933 963.70/966.23 c #Conflicts: 757000 | #Constraints: 54933 963.70/966.23 c #Conflicts: 758000 | #Constraints: 55933 963.70/966.23 c #Conflicts: 759000 | #Constraints: 56933 963.70/966.23 c #Conflicts: 760000 | #Constraints: 57933 963.70/966.23 c #Conflicts: 761000 | #Constraints: 58933 963.70/966.23 c #Conflicts: 762000 | #Constraints: 59933 963.70/966.23 c #Conflicts: 763000 | #Constraints: 60933 963.70/966.23 c #Conflicts: 764000 | #Constraints: 61933 963.70/966.23 c #Conflicts: 765000 | #Constraints: 62933 963.70/966.23 c #Conflicts: 766000 | #Constraints: 63933 963.70/966.23 c #Conflicts: 767000 | #Constraints: 64933 963.70/966.23 c #Conflicts: 768000 | #Constraints: 65933 963.70/966.23 c #Conflicts: 769000 | #Constraints: 66933 963.70/966.23 c #Conflicts: 770000 | #Constraints: 67933 963.70/966.23 c #Conflicts: 771000 | #Constraints: 68933 963.70/966.23 c cpu time 952.815 s 963.70/966.23 c deterministic time 121750555106 1.22e+11 963.70/966.23 c optimization time 9.6e-05 s 963.70/966.23 c total solve time 952.802 s 963.70/966.23 c core-guided solve time 0 s 963.70/966.23 c propagation time 642.661 s 963.70/966.23 c conflict analysis time 211.665 s 963.70/966.23 c propagations 252453306 963.70/966.23 c resolve steps 25747137 963.70/966.23 c decisions 4189437 963.70/966.23 c conflicts 771228 963.70/966.23 c restarts 1629 963.70/966.23 c inprocessing phases 59 963.70/966.23 c input clauses 3922 963.70/966.23 c input cardinalities 70 963.70/966.23 c input general constraints 0 963.70/966.23 c input average constraint length 6.01 963.70/966.23 c input average constraint degree 1.93 963.70/966.23 c learned clauses 544963 963.70/966.23 c learned cardinalities 15061 963.70/966.23 c learned general constraints 211376 963.70/966.23 c learned average constraint length 592.37 963.70/966.23 c learned average constraint degree 14835953.32 963.70/966.23 c watched constraints 179416 963.70/966.23 c counting constraints 31960 963.70/966.23 c gcd simplifications 1921 963.70/966.23 c detected cardinalities 918 963.70/966.23 c weakened non-implied lits 88029656 963.70/966.23 c weakened non-implying lits 156153 963.70/966.23 c original variables 3850 963.70/966.23 c clausal propagations 98581689 963.70/966.23 c cardinality propagations 86496124 963.70/966.23 c watched propagations 19169747 963.70/966.23 c counting propagations 46249688 963.70/966.23 c watch lookups 10542188017 963.70/966.23 c watch backjump lookups 8096030215 963.70/966.23 c watch checks 85077348709 963.70/966.23 c propagation checks 16131413962 963.70/966.23 c constraint additions 1388536285 963.70/966.23 c trail pops 257413307 963.70/966.23 c formula constraints 3992 963.70/966.23 c learned constraints 771174 963.70/966.23 c bound constraints 0 963.70/966.23 c core-guided constraints 0 963.70/966.23 c encountered formula constraints 15020928 963.70/966.23 c encountered learned constraints 11496880 963.70/966.23 c encountered bound constraints 0 963.70/966.23 c encountered core-guided constraints 0 963.70/966.23 c LP total time 223.022 s 963.70/966.23 c LP solve time 205.89 s 963.70/966.23 c LP constraints added 5574 963.70/966.23 c LP constraints removed 1530 963.70/966.23 c LP pivots internal 772826 963.70/966.23 c LP pivots root 209041 963.70/966.23 c LP calls 324 963.70/966.23 c LP optimalities 160 963.70/966.23 c LP no pivot count 5 963.70/966.23 c LP infeasibilities 154 963.70/966.23 c LP valid Farkas constraints 152 963.70/966.23 c LP learned Farkas constraints 54 963.70/966.23 c LP basis resets 5 963.70/966.23 c LP cycling count 3 963.70/966.23 c LP singular count 0 963.70/966.23 c LP no primal count 0 963.70/966.23 c LP no farkas count 2 963.70/966.23 c LP other issue count 0 963.70/966.23 c LP Gomory cuts 20 963.70/966.23 c LP learned cuts 1562 963.70/966.23 c LP deleted cuts 1530 963.70/966.23 c LP encountered Gomory constraints 12 963.70/966.23 c LP encountered Farkas constraints 315 963.70/966.23 c LP encountered learned Farkas constraints 176 963.70/966.23 c CG auxiliary variables introduced 0 963.70/966.23 c CG solutions found 0 963.70/966.23 c CG cores constructed 0 963.70/966.23 c CG core cardinality constraints returned 0 963.70/966.23 c CG unit cores 0 963.70/966.23 c CG single cores 0 963.70/966.23 c CG blocks removed during cardinality reduction 0 963.70/966.23 c CG first core best 0 963.70/966.23 c CG decision core best 0 963.70/966.23 c CG core reduction tie 0 963.70/966.23 c CG core degree average 0.00 963.70/966.23 c CG core slack average 0.00 963.70/966.23 s SATISFIABLE 963.70/966.23 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 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 x3738 -x3739 x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 x3850
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 (62046 MiB free)
memory of node 1: 64510 MiB (63169 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4447180-1721347856/watcher-4447180-1721347856 -o /tmp/evaluation-result-4447180-1721347856/solver-4447180-1721347856 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721340648-974809 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4447180-1721347856.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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=978813, runsolver pid=978810
[startup+0.100097 s]*
/proc/loadavg: 4.11 4.14 4.16 4/240 978824
/proc/meminfo: memFree=128213160/131655788 swapFree=131071996/131071996
[pid=978813] ppid=978810 vsize=44280 memory=13560 CPUtime=0.1 cores=4,6
/proc/978813/stat : 978813 (roundingsat) R 978810 978813 974798 0 -1 4194304 2260 0 0 0 9 1 0 0 20 0 1 0 186945161 45342720 3390 134679101440 4194304 7968869 140722315283408 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 41086976 140722315285437 140722315285601 140722315285601 140722315292617 0
/proc/978813/statm: 11070 3390 1668 922 0 3022 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 44280 KiB
Current children cumulated memory: 13560 KiB
[startup+0.213485 s]*
/proc/loadavg: 4.11 4.14 4.16 5/239 978833
/proc/meminfo: memFree=128212360/131655788 swapFree=131071996/131071996
[pid=978813] ppid=978810 vsize=44780 memory=14088 CPUtime=0.21 cores=4,6
/proc/978813/stat : 978813 (roundingsat) R 978810 978813 974798 0 -1 4194304 2375 0 0 0 20 1 0 0 20 0 1 0 186945161 45854720 3522 134679101440 4194304 7968869 140722315283408 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 41086976 140722315285437 140722315285601 140722315285601 140722315292617 0
/proc/978813/statm: 11195 3522 1668 922 0 3147 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 44780 KiB
Current children cumulated memory: 14088 KiB
[startup+0.313377 s]*
/proc/loadavg: 4.11 4.14 4.16 5/240 978849
/proc/meminfo: memFree=128212956/131655788 swapFree=131071996/131071996
[pid=978813] ppid=978810 vsize=45000 memory=14352 CPUtime=0.31 cores=4,6
/proc/978813/stat : 978813 (roundingsat) R 978810 978813 974798 0 -1 4194304 2415 0 0 0 30 1 0 0 20 0 1 0 186945161 46080000 3588 134679101440 4194304 7968869 140722315283408 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 41086976 140722315285437 140722315285601 140722315285601 140722315292617 0
/proc/978813/statm: 11250 3588 1668 922 0 3202 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 45000 KiB
Current children cumulated memory: 14352 KiB
[startup+0.700294 s]
/proc/loadavg: 4.11 4.14 4.16 5/243 978856
/proc/meminfo: memFree=128204092/131655788 swapFree=131071996/131071996
[pid=978813] ppid=978810 vsize=45000 memory=15260 CPUtime=0.68 cores=4,6
/proc/978813/stat : 978813 (roundingsat) R 978810 978813 974798 0 -1 4194304 2603 0 0 0 65 3 0 0 20 0 1 0 186945161 46080000 3815 134679101440 4194304 7968869 140722315283408 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 41086976 140722315285437 140722315285601 140722315285601 140722315292617 0
/proc/978813/statm: 11250 3815 1699 922 0 3202 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 45000 KiB
Current children cumulated memory: 15260 KiB
[startup+1.50032 s]
/proc/loadavg: 4.11 4.14 4.16 5/243 978856
/proc/meminfo: memFree=128195012/131655788 swapFree=131071996/131071996
[pid=978813] ppid=978810 vsize=46148 memory=18420 CPUtime=1.49 cores=4,6
/proc/978813/stat : 978813 (roundingsat) R 978810 978813 974798 0 -1 4194304 2919 0 0 0 142 7 0 0 20 0 1 0 186945161 47255552 4605 134679101440 4194304 7968869 140722315283408 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 41086976 140722315285437 140722315285601 140722315285601 140722315292617 0
/proc/978813/statm: 11537 4605 1715 922 0 3489 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 46148 KiB
Current children cumulated memory: 18420 KiB
[startup+3.11312 s]
/proc/loadavg: 4.10 4.13 4.16 5/243 978856
/proc/meminfo: memFree=128188728/131655788 swapFree=131071996/131071996
[pid=978813] ppid=978810 vsize=47180 memory=19748 CPUtime=3.1 cores=4,6
/proc/978813/stat : 978813 (roundingsat) R 978810 978813 974798 0 -1 4194304 3161 0 0 0 296 14 0 0 20 0 1 0 186945161 48312320 4937 134679101440 4194304 7968869 140722315283408 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 41086976 140722315285437 140722315285601 140722315285601 140722315292617 0
/proc/978813/statm: 11795 4937 1789 922 0 3747 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 47180 KiB
Current children cumulated memory: 19748 KiB
[startup+6.30028 s]
/proc/loadavg: 4.10 4.13 4.16 5/243 978902
/proc/meminfo: memFree=129040676/131655788 swapFree=131071996/131071996
[pid=978813] ppid=978810 vsize=62712 memory=34260 CPUtime=6.28 cores=4,6
/proc/978813/stat : 978813 (roundingsat) R 978810 978813 974798 0 -1 4194304 7112 0 0 0 605 23 0 0 20 0 1 0 186945161 64217088 8565 134679101440 4194304 7968869 140722315283408 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 41086976 140722315285437 140722315285601 140722315285601 140722315292617 0
/proc/978813/statm: 15678 8565 1789 922 0 7630 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 62712 KiB
Current children cumulated memory: 34260 KiB
[startup+12.7003 s]
/proc/loadavg: 4.18 4.15 4.16 5/243 978904
/proc/meminfo: memFree=129007468/131655788 swapFree=131071996/131071996
[pid=978813] ppid=978810 vsize=64852 memory=37028 CPUtime=12.66 cores=4,6
/proc/978813/stat : 978813 (roundingsat) R 978810 978813 974798 0 -1 4194304 9642 0 0 0 1230 36 0 0 20 0 1 0 186945161 66408448 9257 134679101440 4194304 7968869 140722315283408 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 41086976 140722315285437 140722315285601 140722315285601 140722315292617 0
/proc/978813/statm: 16213 9257 1805 922 0 8165 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 64852 KiB
Current children cumulated memory: 37028 KiB
[startup+25.5003 s]
/proc/loadavg: 4.14 4.14 4.16 5/243 978905
/proc/meminfo: memFree=128977040/131655788 swapFree=131071996/131071996
[pid=978813] ppid=978810 vsize=66488 memory=40156 CPUtime=25.42 cores=4,6
/proc/978813/stat : 978813 (roundingsat) R 978810 978813 974798 0 -1 4194304 11088 0 0 0 2481 61 0 0 20 0 1 0 186945161 68083712 10039 134679101440 4194304 7968869 140722315283408 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 41086976 140722315285437 140722315285601 140722315285601 140722315292617 0
/proc/978813/statm: 16622 10039 1805 922 0 8574 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 66488 KiB
Current children cumulated memory: 40156 KiB
[startup+51.1127 s]
/proc/loadavg: 4.15 4.14 4.16 5/243 978956
/proc/meminfo: memFree=128956280/131655788 swapFree=131071996/131071996
[pid=978813] ppid=978810 vsize=72820 memory=46944 CPUtime=50.98 cores=4,6
/proc/978813/stat : 978813 (roundingsat) R 978810 978813 974798 0 -1 4194304 12134 0 0 0 4988 110 0 0 20 0 1 0 186945161 74567680 11736 134679101440 4194304 7968869 140722315283408 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 41086976 140722315285437 140722315285601 140722315285601 140722315292617 0
/proc/978813/statm: 18205 11736 1933 922 0 10157 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 72820 KiB
Current children cumulated memory: 46944 KiB
[startup+102.3 s]
/proc/loadavg: 4.18 4.15 4.16 5/243 979010
/proc/meminfo: memFree=128894724/131655788 swapFree=131071996/131071996
[pid=978813] ppid=978810 vsize=95696 memory=60648 CPUtime=102.03 cores=4,6
/proc/978813/stat : 978813 (roundingsat) R 978810 978813 974798 0 -1 4194304 14565 0 0 0 10007 196 0 0 20 0 1 0 186945161 97992704 15162 134679101440 4194304 7968869 140722315283408 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 41086976 140722315285437 140722315285601 140722315285601 140722315292617 0
/proc/978813/statm: 23924 15162 1933 922 0 15876 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 95696 KiB
Current children cumulated memory: 60648 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 4.14 4.16 5/244 979021
/proc/meminfo: memFree=128726992/131655788 swapFree=131071996/131071996
[pid=978813] ppid=978810 vsize=213284 memory=145148 CPUtime=161.87 cores=4,6
/proc/978813/stat : 978813 (roundingsat) R 978810 978813 974798 0 -1 4194304 20385 0 0 0 15889 298 0 0 20 0 1 0 186945161 218402816 36287 134679101440 4194304 7968869 140722315283408 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 41086976 140722315285437 140722315285601 140722315285601 140722315292617 0
/proc/978813/statm: 53321 36287 1933 922 0 45273 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 213284 KiB
Current children cumulated memory: 145148 KiB
[startup+222.3 s]
/proc/loadavg: 4.04 4.11 4.15 5/244 979032
/proc/meminfo: memFree=128640464/131655788 swapFree=131071996/131071996
[pid=978813] ppid=978810 vsize=217524 memory=149224 CPUtime=221.7 cores=4,6
/proc/978813/stat : 978813 (roundingsat) R 978810 978813 974798 0 -1 4194304 21734 0 0 0 21784 386 0 0 20 0 1 0 186945161 222744576 37306 134679101440 4194304 7968869 140722315283408 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 41086976 140722315285437 140722315285601 140722315285601 140722315292617 0
/proc/978813/statm: 54381 37306 1933 922 0 46333 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 217524 KiB
Current children cumulated memory: 149224 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 4.12 4.15 5/244 979088
/proc/meminfo: memFree=128540848/131655788 swapFree=131071996/131071996
[pid=978813] ppid=978810 vsize=226152 memory=189904 CPUtime=281.53 cores=4,6
/proc/978813/stat : 978813 (roundingsat) R 978810 978813 974798 0 -1 4194304 23803 0 0 0 27697 456 0 0 20 0 1 0 186945161 231579648 47476 134679101440 4194304 7968869 140722315283408 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 41086976 140722315285437 140722315285601 140722315285601 140722315292617 0
/proc/978813/statm: 56538 47476 1933 922 0 48490 0
Current children cumulated CPU time: 281.53 s
Current children cumulated vsize: 226152 KiB
Current children cumulated memory: 189904 KiB
[startup+342.3 s]
/proc/loadavg: 4.16 4.13 4.15 5/242 979099
/proc/meminfo: memFree=128469212/131655788 swapFree=131071996/131071996
[pid=978813] ppid=978810 vsize=229280 memory=197104 CPUtime=341.36 cores=4,6
/proc/978813/stat : 978813 (roundingsat) R 978810 978813 974798 0 -1 4194304 24955 0 0 0 33599 537 0 0 20 0 1 0 186945161 234782720 49276 134679101440 4194304 7968869 140722315283408 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 41086976 140722315285437 140722315285601 140722315285601 140722315292617 0
/proc/978813/statm: 57320 49276 1933 922 0 49272 0
Current children cumulated CPU time: 341.36 s
Current children cumulated vsize: 229280 KiB
Current children cumulated memory: 197104 KiB
[startup+402.3 s]
/proc/loadavg: 4.16 4.13 4.15 5/242 979200
/proc/meminfo: memFree=128575828/131655788 swapFree=131071996/131071996
[pid=978813] ppid=978810 vsize=229300 memory=197312 CPUtime=401.19 cores=4,6
/proc/978813/stat : 978813 (roundingsat) R 978810 978813 974798 0 -1 4194304 25327 0 0 0 39514 605 0 0 20 0 1 0 186945161 234803200 49328 134679101440 4194304 7968869 140722315283408 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 41086976 140722315285437 140722315285601 140722315285601 140722315292617 0
/proc/978813/statm: 57325 49328 1933 922 0 49277 0
Current children cumulated CPU time: 401.19 s
Current children cumulated vsize: 229300 KiB
Current children cumulated memory: 197312 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 4.12 4.14 5/241 979210
/proc/meminfo: memFree=128452440/131655788 swapFree=131071996/131071996
[pid=978813] ppid=978810 vsize=318980 memory=231052 CPUtime=461.02 cores=4,6
/proc/978813/stat : 978813 (roundingsat) R 978810 978813 974798 0 -1 4194304 29542 0 0 0 45435 667 0 0 20 0 1 0 186945161 326635520 57763 134679101440 4194304 7968869 140722315283408 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 41086976 140722315285437 140722315285601 140722315285601 140722315292617 0
/proc/978813/statm: 79745 57763 1933 922 0 71697 0
################
# More data... #
################
/proc/loadavg: 4.09 4.11 4.13 5/241 979313
/proc/meminfo: memFree=128587796/131655788 swapFree=131071996/131071996
[pid=978813] ppid=978810 vsize=319828 memory=231904 CPUtime=520.84 cores=4,6
/proc/978813/stat : 978813 (roundingsat) R 978810 978813 974798 0 -1 4194304 30147 0 0 0 51358 726 0 0 20 0 1 0 186945161 327503872 57976 134679101440 4194304 7968869 140722315283408 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 41086976 140722315285437 140722315285601 140722315285601 140722315292617 0
/proc/978813/statm: 79957 57976 1933 922 0 71909 0
Current children cumulated CPU time: 520.84 s
Current children cumulated vsize: 319828 KiB
Current children cumulated memory: 231904 KiB
[startup+582.3 s]
/proc/loadavg: 4.14 4.12 4.13 5/243 979327
/proc/meminfo: memFree=128430672/131655788 swapFree=131071996/131071996
[pid=978813] ppid=978810 vsize=468212 memory=362444 CPUtime=580.67 cores=4,6
/proc/978813/stat : 978813 (roundingsat) R 978810 978813 974798 0 -1 4194304 34305 0 0 0 57306 761 0 0 20 0 1 0 186945161 479449088 90611 134679101440 4194304 7968869 140722315283408 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 41086976 140722315285437 140722315285601 140722315285601 140722315292617 0
/proc/978813/statm: 117053 90611 1933 922 0 109005 0
Current children cumulated CPU time: 580.67 s
Current children cumulated vsize: 468212 KiB
Current children cumulated memory: 362444 KiB
[startup+642.3 s]
/proc/loadavg: 4.05 4.10 4.12 5/243 979337
/proc/meminfo: memFree=128376692/131655788 swapFree=131071996/131071996
[pid=978813] ppid=978810 vsize=481852 memory=402080 CPUtime=640.52 cores=4,6
/proc/978813/stat : 978813 (roundingsat) R 978810 978813 974798 0 -1 4194304 37077 0 0 0 63240 812 0 0 20 0 1 0 186945161 493416448 100520 134679101440 4194304 7968869 140722315283408 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 41086976 140722315285437 140722315285601 140722315285601 140722315292617 0
/proc/978813/statm: 120463 100520 1933 922 0 112415 0
Current children cumulated CPU time: 640.52 s
Current children cumulated vsize: 481852 KiB
Current children cumulated memory: 402080 KiB
[startup+702.3 s]
/proc/loadavg: 4.14 4.11 4.12 5/243 979348
/proc/meminfo: memFree=128220828/131655788 swapFree=131071996/131071996
[pid=978813] ppid=978810 vsize=481852 memory=402296 CPUtime=700.39 cores=4,6
/proc/978813/stat : 978813 (roundingsat) R 978810 978813 974798 0 -1 4194304 37156 0 0 0 69150 889 0 0 20 0 1 0 186945161 493416448 100574 134679101440 4194304 7968869 140722315283408 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 41086976 140722315285437 140722315285601 140722315285601 140722315292617 0
/proc/978813/statm: 120463 100574 1933 922 0 112415 0
Current children cumulated CPU time: 700.39 s
Current children cumulated vsize: 481852 KiB
Current children cumulated memory: 402296 KiB
[startup+762.3 s]
/proc/loadavg: 4.11 4.10 4.12 5/243 979358
/proc/meminfo: memFree=128191716/131655788 swapFree=131071996/131071996
[pid=978813] ppid=978810 vsize=483068 memory=403420 CPUtime=760.26 cores=4,6
/proc/978813/stat : 978813 (roundingsat) R 978810 978813 974798 0 -1 4194304 37487 0 0 0 75100 926 0 0 20 0 1 0 186945161 494661632 100855 134679101440 4194304 7968869 140722315283408 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 41086976 140722315285437 140722315285601 140722315285601 140722315292617 0
/proc/978813/statm: 120767 100855 1933 922 0 112719 0
Current children cumulated CPU time: 760.26 s
Current children cumulated vsize: 483068 KiB
Current children cumulated memory: 403420 KiB
[startup+822.3 s]
/proc/loadavg: 4.09 4.09 4.11 5/243 979369
/proc/meminfo: memFree=128176528/131655788 swapFree=131071996/131071996
[pid=978813] ppid=978810 vsize=487776 memory=407564 CPUtime=820.12 cores=4,6
/proc/978813/stat : 978813 (roundingsat) R 978810 978813 974798 0 -1 4194304 39028 0 0 0 81054 958 0 0 20 0 1 0 186945161 499482624 101891 134679101440 4194304 7968869 140722315283408 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 41086976 140722315285437 140722315285601 140722315285601 140722315292617 0
/proc/978813/statm: 121944 101891 1933 922 0 113896 0
Current children cumulated CPU time: 820.12 s
Current children cumulated vsize: 487776 KiB
Current children cumulated memory: 407564 KiB
[startup+882.3 s]
/proc/loadavg: 4.10 4.09 4.10 5/245 979763
/proc/meminfo: memFree=128152336/131655788 swapFree=131071996/131071996
[pid=978813] ppid=978810 vsize=490428 memory=409916 CPUtime=880 cores=4,6
/proc/978813/stat : 978813 (roundingsat) R 978810 978813 974798 0 -1 4194304 39730 0 0 0 86979 1021 0 0 20 0 1 0 186945161 502198272 102479 134679101440 4194304 7968869 140722315283408 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 41086976 140722315285437 140722315285601 140722315285601 140722315292617 0
/proc/978813/statm: 122607 102479 1933 922 0 114559 0
Current children cumulated CPU time: 880 s
Current children cumulated vsize: 490428 KiB
Current children cumulated memory: 409916 KiB
[startup+942.3 s]
/proc/loadavg: 4.12 4.10 4.10 5/243 979774
/proc/meminfo: memFree=128147984/131655788 swapFree=131071996/131071996
[pid=978813] ppid=978810 vsize=490428 memory=410088 CPUtime=939.86 cores=4,6
/proc/978813/stat : 978813 (roundingsat) R 978810 978813 974798 0 -1 4194304 39835 0 0 0 92910 1076 0 0 20 0 1 0 186945161 502198272 102522 134679101440 4194304 7968869 140722315283408 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 41086976 140722315285437 140722315285601 140722315285601 140722315292617 0
/proc/978813/statm: 122607 102522 1933 922 0 114559 0
Current children cumulated CPU time: 939.86 s
Current children cumulated vsize: 490428 KiB
Current children cumulated memory: 410088 KiB
[startup+966.239 s]
# the end of solver process 978813 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=952.817 s, system=10.9329 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+947.2 s]
/proc/loadavg: 4.11 4.10 4.10 5/243 979774
/proc/meminfo: memFree=128147928/131655788 swapFree=131071996/131071996
[pid=978813] ppid=978810 vsize=490428 memory=410088 CPUtime=944.75 cores=4,6
/proc/978813/stat : 978813 (roundingsat) R 978810 978813 974798 0 -1 4194304 39843 0 0 0 93396 1079 0 0 20 0 1 0 186945161 502198272 102522 134679101440 4194304 7968869 140722315283408 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 41086976 140722315285437 140722315285601 140722315285601 140722315292617 0
/proc/978813/statm: 122607 102522 1933 922 0 114559 0
Current children cumulated CPU time: 944.75 s
Current children cumulated vsize: 490428 KiB
Current children cumulated memory: 410088 KiB
[startup+960 s]*
/proc/loadavg: 4.16 4.11 4.11 6/243 979823
/proc/meminfo: memFree=128597032/131655788 swapFree=131071996/131071996
[pid=978813] ppid=978810 vsize=490428 memory=410096 CPUtime=957.53 cores=4,6
/proc/978813/stat : 978813 (roundingsat) R 978810 978813 974798 0 -1 4194304 39964 0 0 0 94665 1088 0 0 20 0 1 0 186945161 502198272 102524 134679101440 4194304 7968869 140722315283408 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 41086976 140722315285437 140722315285601 140722315285601 140722315292617 0
/proc/978813/statm: 122607 102524 1933 922 0 114559 0
Current children cumulated CPU time: 957.53 s
Current children cumulated vsize: 490428 KiB
Current children cumulated memory: 410096 KiB
[startup+963.2 s]
/proc/loadavg: 4.15 4.11 4.11 5/243 979823
/proc/meminfo: memFree=128592596/131655788 swapFree=131071996/131071996
[pid=978813] ppid=978810 vsize=490428 memory=410096 CPUtime=960.71 cores=4,6
/proc/978813/stat : 978813 (roundingsat) R 978810 978813 974798 0 -1 4194304 39966 0 0 0 94980 1091 0 0 20 0 1 0 186945161 502198272 102524 134679101440 4194304 7968869 140722315283408 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 41086976 140722315285437 140722315285601 140722315285601 140722315292617 0
/proc/978813/statm: 122607 102524 1933 922 0 114559 0
Current children cumulated CPU time: 960.71 s
Current children cumulated vsize: 490428 KiB
Current children cumulated memory: 410096 KiB
[startup+964.8 s]
/proc/loadavg: 4.15 4.11 4.11 5/243 979823
/proc/meminfo: memFree=128592876/131655788 swapFree=131071996/131071996
[pid=978813] ppid=978810 vsize=490428 memory=410096 CPUtime=962.31 cores=4,6
/proc/978813/stat : 978813 (roundingsat) R 978810 978813 974798 0 -1 4194304 39969 0 0 0 95140 1091 0 0 20 0 1 0 186945161 502198272 102524 134679101440 4194304 7968869 140722315283408 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 41086976 140722315285437 140722315285601 140722315285601 140722315292617 0
/proc/978813/statm: 122607 102524 1933 922 0 114559 0
Current children cumulated CPU time: 962.31 s
Current children cumulated vsize: 490428 KiB
Current children cumulated memory: 410096 KiB
[startup+965.6 s]
/proc/loadavg: 4.15 4.11 4.11 5/243 979823
/proc/meminfo: memFree=128592936/131655788 swapFree=131071996/131071996
[pid=978813] ppid=978810 vsize=490428 memory=410096 CPUtime=963.1 cores=4,6
/proc/978813/stat : 978813 (roundingsat) R 978810 978813 974798 0 -1 4194304 39969 0 0 0 95218 1092 0 0 20 0 1 0 186945161 502198272 102524 134679101440 4194304 7968869 140722315283408 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 41086976 140722315285437 140722315285601 140722315285601 140722315292617 0
/proc/978813/statm: 122607 102524 1933 922 0 114559 0
Current children cumulated CPU time: 963.1 s
Current children cumulated vsize: 490428 KiB
Current children cumulated memory: 410096 KiB
[startup+966 s]*
/proc/loadavg: 4.15 4.11 4.11 5/243 979823
/proc/meminfo: memFree=128592800/131655788 swapFree=131071996/131071996
[pid=978813] ppid=978810 vsize=490428 memory=410096 CPUtime=963.51 cores=4,6
/proc/978813/stat : 978813 (roundingsat) R 978810 978813 974798 0 -1 4194304 39969 0 0 0 95259 1092 0 0 20 0 1 0 186945161 502198272 102524 134679101440 4194304 7968869 140722315283408 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 41086976 140722315285437 140722315285601 140722315285601 140722315292617 0
/proc/978813/statm: 122607 102524 1933 922 0 114559 0
Current children cumulated CPU time: 963.51 s
Current children cumulated vsize: 490428 KiB
Current children cumulated memory: 410096 KiB
[startup+966.2 s]
/proc/loadavg: 4.15 4.11 4.11 5/243 979823
/proc/meminfo: memFree=128592800/131655788 swapFree=131071996/131071996
[pid=978813] ppid=978810 vsize=490428 memory=410096 CPUtime=963.7 cores=4,6
/proc/978813/stat : 978813 (roundingsat) R 978810 978813 974798 0 -1 4194304 39969 0 0 0 95278 1092 0 0 20 0 1 0 186945161 502198272 102524 134679101440 4194304 7968869 140722315283408 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 41086976 140722315285437 140722315285601 140722315285601 140722315292617 0
/proc/978813/statm: 122607 102524 1933 922 0 114559 0
Current children cumulated CPU time: 963.7 s
Current children cumulated vsize: 490428 KiB
Current children cumulated memory: 410096 KiB
Child status: 0
Real time (s): 966.239
CPU time (s): 963.75
CPU user time (s): 952.817
CPU system time (s): 10.9329
CPU usage (%): 99.7423
Max. virtual memory (cumulated for all children) (KiB): 490428
Max. memory (cumulated for all children) (KiB): 410096
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 952.817
system time used= 10.9329
maximum resident set size= 410096
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39977
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 68
involuntary context switches= 891
# summary of solver processes directly reported to runsolver:
# pid: 978813
# total CPU time (s): 963.75
# total CPU user time (s): 952.817
# total CPU system time (s): 10.9329
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.95954 second user time and 9.28212 second system time
The end
Begin job on nodeC009 at 2024-07-19 02:11:08 IDJOB=4447180 IDBENCH=158370 IDSOLVER=3051 FILE ID=nodeC009/4447180-1721347856 RUNJOBID= nodeC009-1721340648-974809 SLURM_JOB_ID= 7542726 Free space on /tmp= 723752 MiB SOLVER NAME= RoundingSat nolog BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathBA/normalized-BeauxArts_K70.opb COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4447180-1721347856/watcher-4447180-1721347856 -o /tmp/evaluation-result-4447180-1721347856/solver-4447180-1721347856 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721340648-974809 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4447180-1721347856.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 50081d64c9df1fe5f37c653f2c9a5c32 RANDOM SEED=213681779 nodeC009.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 : 3660.110 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.34 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3492.172 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.457 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.34 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.333 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 : 3492.210 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.34 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3626.055 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.320 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.34 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.323 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: 128218364 kB MemAvailable: 128995976 kB Buffers: 534808 kB Cached: 1080544 kB SwapCached: 0 kB Active: 1039256 kB Inactive: 1850744 kB Active(anon): 1468 kB Inactive(anon): 1310876 kB Active(file): 1037788 kB Inactive(file): 539868 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 11076 kB Writeback: 0 kB AnonPages: 1273024 kB Mapped: 113008 kB Shmem: 37700 kB KReclaimable: 79976 kB Slab: 179788 kB SReclaimable: 79976 kB SUnreclaim: 99812 kB KernelStack: 3836 kB PageTables: 11748 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 1923416 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 58912 kB HardwareCorrupted: 0 kB AnonHugePages: 899072 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: 187208 kB DirectMap2M: 19640320 kB DirectMap1G: 116391936 kB Free space on /tmp at the end= 723748 MiB End job on nodeC009 at 2024-07-19 02:27:14