| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| RoundingSat nolog (2) | SAT | 979.622 | 982.039 |
| 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.01 c #variables 3850 #constraints 3992 4.77/4.86 c #Conflicts: 1000 | #Constraints: 4991 4.77/4.86 c #Conflicts: 2000 | #Constraints: 5991 4.77/4.86 c INPROCESSING 4.77/4.86 c GARBAGE COLLECT 4.77/4.86 c #Conflicts: 3000 | #Constraints: 5494 4.77/4.86 c #Conflicts: 4000 | #Constraints: 6494 4.77/4.86 c INPROCESSING 4.77/4.86 c GARBAGE COLLECT 4.77/4.86 c #Conflicts: 5000 | #Constraints: 5945 4.77/4.86 c #Conflicts: 6000 | #Constraints: 6946 4.77/4.86 c INPROCESSING 4.77/4.86 c GARBAGE COLLECT 4.77/4.86 c rational objective 70 7.47/7.54 c #Conflicts: 7000 | #Constraints: 5984 7.47/7.54 c #Conflicts: 8000 | #Constraints: 6984 7.47/7.54 c #Conflicts: 9000 | #Constraints: 7984 7.47/7.54 c INPROCESSING 7.47/7.54 c GARBAGE COLLECT 7.47/7.54 c rational objective 70 87.47/87.73 c #Conflicts: 10000 | #Constraints: 6705 87.47/87.73 c #Conflicts: 11000 | #Constraints: 7705 87.47/87.73 c #Conflicts: 12000 | #Constraints: 8705 87.47/87.73 c INPROCESSING 87.47/87.73 c GARBAGE COLLECT 87.47/87.73 c #Conflicts: 13000 | #Constraints: 7195 87.47/87.73 c #Conflicts: 14000 | #Constraints: 8195 87.47/87.73 c #Conflicts: 15000 | #Constraints: 9195 87.47/87.73 c INPROCESSING 87.47/87.73 c GARBAGE COLLECT 87.47/87.73 c #Conflicts: 16000 | #Constraints: 7456 87.47/87.73 c #Conflicts: 17000 | #Constraints: 8456 87.47/87.73 c #Conflicts: 18000 | #Constraints: 9456 87.47/87.73 c INPROCESSING 87.47/87.73 c GARBAGE COLLECT 87.47/87.73 c #Conflicts: 19000 | #Constraints: 7476 87.47/87.73 c #Conflicts: 20000 | #Constraints: 8476 87.47/87.73 c #Conflicts: 21000 | #Constraints: 9477 87.47/87.73 c INPROCESSING 87.47/87.73 c GARBAGE COLLECT 87.47/87.73 c #Conflicts: 22000 | #Constraints: 7310 87.47/87.73 c #Conflicts: 23000 | #Constraints: 8310 87.47/87.73 c #Conflicts: 24000 | #Constraints: 9310 87.47/87.73 c #Conflicts: 25000 | #Constraints: 10310 87.47/87.73 c INPROCESSING 87.47/87.73 c GARBAGE COLLECT 87.47/87.73 c #Conflicts: 26000 | #Constraints: 7907 87.47/87.73 c #Conflicts: 27000 | #Constraints: 8908 87.47/87.73 c #Conflicts: 28000 | #Constraints: 9909 87.47/87.73 c #Conflicts: 29000 | #Constraints: 10909 87.47/87.73 c INPROCESSING 87.47/87.73 c GARBAGE COLLECT 87.47/87.73 c #Conflicts: 30000 | #Constraints: 8334 87.47/87.73 c #Conflicts: 31000 | #Constraints: 9334 87.47/87.73 c #Conflicts: 32000 | #Constraints: 10334 87.47/87.73 c #Conflicts: 33000 | #Constraints: 11334 87.47/87.73 c INPROCESSING 87.47/87.73 c GARBAGE COLLECT 87.47/87.73 c #Conflicts: 34000 | #Constraints: 8546 87.47/87.73 c #Conflicts: 35000 | #Constraints: 9546 87.47/87.73 c #Conflicts: 36000 | #Constraints: 10546 87.47/87.73 c #Conflicts: 37000 | #Constraints: 11546 87.47/87.73 c INPROCESSING 87.47/87.73 c GARBAGE COLLECT 87.47/87.73 c #Conflicts: 38000 | #Constraints: 8572 87.47/87.73 c #Conflicts: 39000 | #Constraints: 9573 87.47/87.73 c #Conflicts: 40000 | #Constraints: 10573 87.47/87.73 c #Conflicts: 41000 | #Constraints: 11573 87.47/87.73 c INPROCESSING 87.47/87.73 c GARBAGE COLLECT 87.47/87.73 c #Conflicts: 42000 | #Constraints: 8385 87.47/87.73 c #Conflicts: 43000 | #Constraints: 9385 87.47/87.73 c #Conflicts: 44000 | #Constraints: 10386 87.47/87.73 c #Conflicts: 45000 | #Constraints: 11386 87.47/87.73 c #Conflicts: 46000 | #Constraints: 12388 87.47/87.73 c INPROCESSING 87.47/87.73 c GARBAGE COLLECT 87.47/87.73 c #Conflicts: 47000 | #Constraints: 8980 87.47/87.73 c #Conflicts: 48000 | #Constraints: 9981 87.47/87.73 c #Conflicts: 49000 | #Constraints: 10981 87.47/87.73 c #Conflicts: 50000 | #Constraints: 11981 87.47/87.73 c #Conflicts: 51000 | #Constraints: 12981 87.47/87.73 c INPROCESSING 87.47/87.73 c GARBAGE COLLECT 87.47/87.73 c #Conflicts: 52000 | #Constraints: 9415 87.47/87.73 c #Conflicts: 53000 | #Constraints: 10416 87.47/87.73 c #Conflicts: 54000 | #Constraints: 11418 87.47/87.73 c #Conflicts: 55000 | #Constraints: 12418 87.47/87.73 c #Conflicts: 56000 | #Constraints: 13418 87.47/87.73 c INPROCESSING 87.47/87.73 c GARBAGE COLLECT 87.47/87.73 c #Conflicts: 57000 | #Constraints: 9616 87.47/87.73 c #Conflicts: 58000 | #Constraints: 10616 87.47/87.73 c #Conflicts: 59000 | #Constraints: 11616 87.47/87.73 c #Conflicts: 60000 | #Constraints: 12616 87.47/87.73 c #Conflicts: 61000 | #Constraints: 13616 87.47/87.73 c INPROCESSING 87.47/87.73 c GARBAGE COLLECT 87.47/87.73 c #Conflicts: 62000 | #Constraints: 9628 87.47/87.73 c #Conflicts: 63000 | #Constraints: 10628 87.47/87.73 c #Conflicts: 64000 | #Constraints: 11628 87.47/87.73 c #Conflicts: 65000 | #Constraints: 12628 87.47/87.73 c #Conflicts: 66000 | #Constraints: 13628 87.47/87.73 c INPROCESSING 87.47/87.73 c GARBAGE COLLECT 87.47/87.73 c #Conflicts: 67000 | #Constraints: 9438 87.47/87.73 c #Conflicts: 68000 | #Constraints: 10439 87.47/87.73 c #Conflicts: 69000 | #Constraints: 11439 87.47/87.73 c #Conflicts: 70000 | #Constraints: 12439 87.47/87.73 c #Conflicts: 71000 | #Constraints: 13439 87.47/87.73 c #Conflicts: 72000 | #Constraints: 14439 87.47/87.73 c INPROCESSING 87.47/87.73 c GARBAGE COLLECT 87.47/87.73 c #Conflicts: 73000 | #Constraints: 10059 87.47/87.73 c #Conflicts: 74000 | #Constraints: 11059 87.47/87.73 c #Conflicts: 75000 | #Constraints: 12059 87.47/87.73 c #Conflicts: 76000 | #Constraints: 13066 87.47/87.73 c #Conflicts: 77000 | #Constraints: 14066 87.47/87.73 c #Conflicts: 78000 | #Constraints: 15067 87.47/87.73 c INPROCESSING 121.88/122.27 c GARBAGE COLLECT 121.88/122.27 c #Conflicts: 79000 | #Constraints: 10457 121.88/122.27 c #Conflicts: 80000 | #Constraints: 11458 121.88/122.27 c #Conflicts: 81000 | #Constraints: 12461 121.88/122.27 c #Conflicts: 82000 | #Constraints: 13468 121.88/122.27 c #Conflicts: 83000 | #Constraints: 14468 121.88/122.27 c #Conflicts: 84000 | #Constraints: 15469 121.88/122.27 c INPROCESSING 121.88/122.27 c GARBAGE COLLECT 121.88/122.27 c #Conflicts: 85000 | #Constraints: 10663 121.88/122.27 c #Conflicts: 86000 | #Constraints: 11664 121.88/122.27 c #Conflicts: 87000 | #Constraints: 12664 121.88/122.27 c #Conflicts: 88000 | #Constraints: 13664 121.88/122.27 c #Conflicts: 89000 | #Constraints: 14665 121.88/122.27 c #Conflicts: 90000 | #Constraints: 15666 121.88/122.27 c INPROCESSING 121.88/122.27 c GARBAGE COLLECT 121.88/122.27 c #Conflicts: 91000 | #Constraints: 10653 121.88/122.27 c #Conflicts: 92000 | #Constraints: 11654 121.88/122.27 c #Conflicts: 93000 | #Constraints: 12656 121.88/122.27 c #Conflicts: 94000 | #Constraints: 13661 121.88/122.27 c #Conflicts: 95000 | #Constraints: 14671 121.88/122.27 c #Conflicts: 96000 | #Constraints: 15673 121.88/122.27 c INPROCESSING 121.88/122.27 c GARBAGE COLLECT 121.88/122.27 c #Conflicts: 97000 | #Constraints: 10478 121.88/122.27 c #Conflicts: 98000 | #Constraints: 11478 121.88/122.27 c #Conflicts: 99000 | #Constraints: 12478 121.88/122.27 c #Conflicts: 100000 | #Constraints: 13479 121.88/122.27 c #Conflicts: 101000 | #Constraints: 14479 121.88/122.27 c #Conflicts: 102000 | #Constraints: 15481 121.88/122.27 c #Conflicts: 103000 | #Constraints: 16483 121.88/122.27 c INPROCESSING 121.88/122.27 c GARBAGE COLLECT 121.88/122.27 c #Conflicts: 104000 | #Constraints: 11070 121.88/122.27 c #Conflicts: 105000 | #Constraints: 12070 121.88/122.27 c #Conflicts: 106000 | #Constraints: 13070 121.88/122.27 c #Conflicts: 107000 | #Constraints: 14070 121.88/122.27 c #Conflicts: 108000 | #Constraints: 15070 121.88/122.27 c #Conflicts: 109000 | #Constraints: 16070 121.88/122.27 c #Conflicts: 110000 | #Constraints: 17070 121.88/122.27 c INPROCESSING 121.88/122.27 c GARBAGE COLLECT 121.88/122.27 c #Conflicts: 111000 | #Constraints: 11479 121.88/122.27 c #Conflicts: 112000 | #Constraints: 12479 121.88/122.27 c #Conflicts: 113000 | #Constraints: 13479 121.88/122.27 c #Conflicts: 114000 | #Constraints: 14479 121.88/122.27 c #Conflicts: 115000 | #Constraints: 15479 121.88/122.27 c #Conflicts: 116000 | #Constraints: 16480 121.88/122.27 c #Conflicts: 117000 | #Constraints: 17480 121.88/122.27 c INPROCESSING 121.88/122.27 c GARBAGE COLLECT 121.88/122.27 c #Conflicts: 118000 | #Constraints: 11692 121.88/122.27 c #Conflicts: 119000 | #Constraints: 12692 121.88/122.27 c #Conflicts: 120000 | #Constraints: 13692 121.88/122.27 c #Conflicts: 121000 | #Constraints: 14692 121.88/122.27 c #Conflicts: 122000 | #Constraints: 15692 121.88/122.27 c #Conflicts: 123000 | #Constraints: 16692 121.88/122.27 c #Conflicts: 124000 | #Constraints: 17692 121.88/122.27 c INPROCESSING 121.88/122.27 c GARBAGE COLLECT 121.88/122.27 c #Conflicts: 125000 | #Constraints: 11712 121.88/122.27 c #Conflicts: 126000 | #Constraints: 12712 121.88/122.27 c #Conflicts: 127000 | #Constraints: 13712 121.88/122.27 c #Conflicts: 128000 | #Constraints: 14712 121.88/122.27 c #Conflicts: 129000 | #Constraints: 15712 121.88/122.27 c #Conflicts: 130000 | #Constraints: 16712 121.88/122.27 c #Conflicts: 131000 | #Constraints: 17712 121.88/122.27 c INPROCESSING 121.88/122.27 c GARBAGE COLLECT 121.88/122.27 c rational objective 70 127.68/128.08 c #Conflicts: 132000 | #Constraints: 11505 127.68/128.08 c #Conflicts: 133000 | #Constraints: 12505 127.68/128.08 c #Conflicts: 134000 | #Constraints: 13505 127.68/128.08 c #Conflicts: 135000 | #Constraints: 14505 127.68/128.08 c #Conflicts: 136000 | #Constraints: 15505 127.68/128.08 c #Conflicts: 137000 | #Constraints: 16505 127.68/128.08 c #Conflicts: 138000 | #Constraints: 17505 127.68/128.08 c #Conflicts: 139000 | #Constraints: 18505 127.68/128.08 c INPROCESSING 127.68/128.08 c GARBAGE COLLECT 127.68/128.08 c rational objective 70 163.48/163.91 c #Conflicts: 140000 | #Constraints: 12119 163.48/163.91 c #Conflicts: 141000 | #Constraints: 13119 163.48/163.91 c #Conflicts: 142000 | #Constraints: 14119 163.48/163.91 c #Conflicts: 143000 | #Constraints: 15119 163.48/163.91 c #Conflicts: 144000 | #Constraints: 16119 163.48/163.91 c #Conflicts: 145000 | #Constraints: 17119 163.48/163.91 c #Conflicts: 146000 | #Constraints: 18119 163.48/163.91 c #Conflicts: 147000 | #Constraints: 19119 163.48/163.91 c #Conflicts: 148000 | #Constraints: 20119 163.48/163.91 c #Conflicts: 149000 | #Constraints: 21119 163.48/163.91 c #Conflicts: 150000 | #Constraints: 22119 163.48/163.91 c #Conflicts: 151000 | #Constraints: 23120 163.48/163.91 c #Conflicts: 152000 | #Constraints: 24121 163.48/163.91 c #Conflicts: 153000 | #Constraints: 25121 163.48/163.91 c #Conflicts: 154000 | #Constraints: 26121 163.48/163.91 c #Conflicts: 155000 | #Constraints: 27121 163.48/163.91 c #Conflicts: 156000 | #Constraints: 28121 163.48/163.91 c #Conflicts: 157000 | #Constraints: 29121 163.48/163.91 c #Conflicts: 158000 | #Constraints: 30121 163.48/163.91 c #Conflicts: 159000 | #Constraints: 31121 163.48/163.91 c #Conflicts: 160000 | #Constraints: 32121 163.48/163.91 c #Conflicts: 161000 | #Constraints: 33121 163.48/163.91 c #Conflicts: 162000 | #Constraints: 34121 163.48/163.91 c #Conflicts: 163000 | #Constraints: 35121 163.48/163.91 c #Conflicts: 164000 | #Constraints: 36121 163.48/163.91 c #Conflicts: 165000 | #Constraints: 37121 163.48/163.91 c #Conflicts: 166000 | #Constraints: 38121 163.48/163.91 c #Conflicts: 167000 | #Constraints: 39121 163.48/163.91 c #Conflicts: 168000 | #Constraints: 40121 163.48/163.91 c #Conflicts: 169000 | #Constraints: 41121 163.48/163.91 c #Conflicts: 170000 | #Constraints: 42121 163.48/163.91 c #Conflicts: 171000 | #Constraints: 43121 163.48/163.91 c #Conflicts: 172000 | #Constraints: 44122 163.48/163.91 c #Conflicts: 173000 | #Constraints: 45123 163.48/163.91 c #Conflicts: 174000 | #Constraints: 46123 163.48/163.91 c INPROCESSING 163.48/163.91 c GARBAGE COLLECT 163.48/163.91 c rational objective 70 174.24/174.76 c #Conflicts: 175000 | #Constraints: 26030 174.24/174.76 c #Conflicts: 176000 | #Constraints: 27030 174.24/174.76 c #Conflicts: 177000 | #Constraints: 28030 174.24/174.76 c #Conflicts: 178000 | #Constraints: 29030 174.24/174.76 c #Conflicts: 179000 | #Constraints: 30030 174.24/174.76 c #Conflicts: 180000 | #Constraints: 31030 174.24/174.76 c #Conflicts: 181000 | #Constraints: 32031 174.24/174.76 c #Conflicts: 182000 | #Constraints: 33031 174.24/174.76 c INPROCESSING 174.24/174.76 c GARBAGE COLLECT 174.24/174.76 c rational objective 70 182.82/183.30 c #Conflicts: 183000 | #Constraints: 19054 182.82/183.30 c #Conflicts: 184000 | #Constraints: 20056 182.82/183.30 c #Conflicts: 185000 | #Constraints: 21056 182.82/183.30 c #Conflicts: 186000 | #Constraints: 22056 182.82/183.30 c #Conflicts: 187000 | #Constraints: 23056 182.82/183.30 c #Conflicts: 188000 | #Constraints: 24056 182.82/183.30 c #Conflicts: 189000 | #Constraints: 25056 182.82/183.30 c #Conflicts: 190000 | #Constraints: 26056 182.82/183.30 c #Conflicts: 191000 | #Constraints: 27057 182.82/183.30 c #Conflicts: 192000 | #Constraints: 28057 182.82/183.30 c INPROCESSING 182.82/183.30 c GARBAGE COLLECT 182.82/183.30 c rational objective 70 190.81/191.38 c #Conflicts: 193000 | #Constraints: 17061 190.81/191.38 c #Conflicts: 194000 | #Constraints: 18061 190.81/191.38 c #Conflicts: 195000 | #Constraints: 19061 190.81/191.38 c #Conflicts: 196000 | #Constraints: 20061 190.81/191.38 c #Conflicts: 197000 | #Constraints: 21061 190.81/191.38 c #Conflicts: 198000 | #Constraints: 22061 190.81/191.38 c #Conflicts: 199000 | #Constraints: 23061 190.81/191.38 c #Conflicts: 200000 | #Constraints: 24061 190.81/191.38 c #Conflicts: 201000 | #Constraints: 25061 190.81/191.38 c INPROCESSING 190.81/191.38 c GARBAGE COLLECT 190.81/191.38 c rational objective 70 198.88/199.46 c #Conflicts: 202000 | #Constraints: 15366 198.88/199.46 c #Conflicts: 203000 | #Constraints: 16366 198.88/199.46 c #Conflicts: 204000 | #Constraints: 17366 198.88/199.46 c #Conflicts: 205000 | #Constraints: 18366 198.88/199.46 c #Conflicts: 206000 | #Constraints: 19367 198.88/199.46 c #Conflicts: 207000 | #Constraints: 20367 198.88/199.46 c #Conflicts: 208000 | #Constraints: 21367 198.88/199.46 c #Conflicts: 209000 | #Constraints: 22367 198.88/199.46 c #Conflicts: 210000 | #Constraints: 23367 198.88/199.46 c INPROCESSING 198.88/199.46 c GARBAGE COLLECT 198.88/199.46 c rational objective 70 208.36/208.96 c #Conflicts: 211000 | #Constraints: 14272 208.36/208.96 c #Conflicts: 212000 | #Constraints: 15272 208.36/208.96 c #Conflicts: 213000 | #Constraints: 16272 208.36/208.96 c #Conflicts: 214000 | #Constraints: 17272 208.36/208.96 c #Conflicts: 215000 | #Constraints: 18272 208.36/208.96 c #Conflicts: 216000 | #Constraints: 19272 208.36/208.96 c #Conflicts: 217000 | #Constraints: 20273 208.36/208.96 c #Conflicts: 218000 | #Constraints: 21273 208.36/208.96 c #Conflicts: 219000 | #Constraints: 22273 208.36/208.96 c #Conflicts: 220000 | #Constraints: 23273 208.36/208.96 c INPROCESSING 208.36/208.96 c GARBAGE COLLECT 208.36/208.96 c rational objective 70 217.34/217.94 c #Conflicts: 221000 | #Constraints: 14382 217.34/217.94 c #Conflicts: 222000 | #Constraints: 15383 217.34/217.94 c #Conflicts: 223000 | #Constraints: 16383 217.34/217.94 c #Conflicts: 224000 | #Constraints: 17383 217.34/217.94 c #Conflicts: 225000 | #Constraints: 18383 217.34/217.94 c #Conflicts: 226000 | #Constraints: 19383 217.34/217.94 c #Conflicts: 227000 | #Constraints: 20384 217.34/217.94 c #Conflicts: 228000 | #Constraints: 21384 217.34/217.94 c #Conflicts: 229000 | #Constraints: 22384 217.34/217.94 c #Conflicts: 230000 | #Constraints: 23384 217.34/217.94 c INPROCESSING 217.34/217.94 c GARBAGE COLLECT 217.34/217.94 c rational objective 70 226.92/227.57 c #Conflicts: 231000 | #Constraints: 14489 226.92/227.57 c #Conflicts: 232000 | #Constraints: 15489 226.92/227.57 c #Conflicts: 233000 | #Constraints: 16489 226.92/227.57 c #Conflicts: 234000 | #Constraints: 17489 226.92/227.57 c #Conflicts: 235000 | #Constraints: 18489 226.92/227.57 c #Conflicts: 236000 | #Constraints: 19490 226.92/227.57 c #Conflicts: 237000 | #Constraints: 20490 226.92/227.57 c #Conflicts: 238000 | #Constraints: 21490 226.92/227.57 c #Conflicts: 239000 | #Constraints: 22491 226.92/227.57 c #Conflicts: 240000 | #Constraints: 23491 226.92/227.57 c INPROCESSING 226.92/227.57 c GARBAGE COLLECT 226.92/227.57 c rational objective 70 282.01/282.75 c #Conflicts: 241000 | #Constraints: 14484 282.01/282.75 c #Conflicts: 242000 | #Constraints: 15484 282.01/282.75 c #Conflicts: 243000 | #Constraints: 16484 282.01/282.75 c #Conflicts: 244000 | #Constraints: 17484 282.01/282.75 c #Conflicts: 245000 | #Constraints: 18484 282.01/282.75 c #Conflicts: 246000 | #Constraints: 19484 282.01/282.75 c #Conflicts: 247000 | #Constraints: 20484 282.01/282.75 c #Conflicts: 248000 | #Constraints: 21484 282.01/282.75 c #Conflicts: 249000 | #Constraints: 22484 282.01/282.75 c #Conflicts: 250000 | #Constraints: 23484 282.01/282.75 c #Conflicts: 251000 | #Constraints: 24484 282.01/282.75 c #Conflicts: 252000 | #Constraints: 25484 282.01/282.75 c #Conflicts: 253000 | #Constraints: 26484 282.01/282.75 c #Conflicts: 254000 | #Constraints: 27484 282.01/282.75 c #Conflicts: 255000 | #Constraints: 28484 282.01/282.75 c #Conflicts: 256000 | #Constraints: 29484 282.01/282.75 c #Conflicts: 257000 | #Constraints: 30484 282.01/282.75 c #Conflicts: 258000 | #Constraints: 31485 282.01/282.75 c #Conflicts: 259000 | #Constraints: 32485 282.01/282.75 c #Conflicts: 260000 | #Constraints: 33485 282.01/282.75 c #Conflicts: 261000 | #Constraints: 34485 282.01/282.75 c #Conflicts: 262000 | #Constraints: 35485 282.01/282.75 c #Conflicts: 263000 | #Constraints: 36485 282.01/282.75 c #Conflicts: 264000 | #Constraints: 37485 282.01/282.75 c #Conflicts: 265000 | #Constraints: 38485 282.01/282.75 c #Conflicts: 266000 | #Constraints: 39485 282.01/282.75 c #Conflicts: 267000 | #Constraints: 40485 282.01/282.75 c #Conflicts: 268000 | #Constraints: 41485 282.01/282.75 c #Conflicts: 269000 | #Constraints: 42485 282.01/282.75 c #Conflicts: 270000 | #Constraints: 43486 282.01/282.75 c #Conflicts: 271000 | #Constraints: 44486 282.01/282.75 c #Conflicts: 272000 | #Constraints: 45486 282.01/282.75 c #Conflicts: 273000 | #Constraints: 46486 282.01/282.75 c #Conflicts: 274000 | #Constraints: 47486 282.01/282.75 c #Conflicts: 275000 | #Constraints: 48486 282.01/282.75 c #Conflicts: 276000 | #Constraints: 49487 282.01/282.75 c #Conflicts: 277000 | #Constraints: 50487 282.01/282.75 c #Conflicts: 278000 | #Constraints: 51487 282.01/282.75 c #Conflicts: 279000 | #Constraints: 52487 282.01/282.75 c #Conflicts: 280000 | #Constraints: 53487 282.01/282.75 c #Conflicts: 281000 | #Constraints: 54487 282.01/282.75 c #Conflicts: 282000 | #Constraints: 55487 282.01/282.75 c #Conflicts: 283000 | #Constraints: 56487 282.01/282.75 c #Conflicts: 284000 | #Constraints: 57487 282.01/282.75 c #Conflicts: 285000 | #Constraints: 58487 282.01/282.75 c INPROCESSING 282.01/282.75 c GARBAGE COLLECT 282.01/282.75 c rational objective 70 294.68/295.48 c #Conflicts: 286000 | #Constraints: 32257 294.68/295.48 c #Conflicts: 287000 | #Constraints: 33257 294.68/295.48 c #Conflicts: 288000 | #Constraints: 34257 294.68/295.48 c #Conflicts: 289000 | #Constraints: 35257 294.68/295.48 c #Conflicts: 290000 | #Constraints: 36257 294.68/295.48 c #Conflicts: 291000 | #Constraints: 37257 294.68/295.48 c #Conflicts: 292000 | #Constraints: 38257 294.68/295.48 c #Conflicts: 293000 | #Constraints: 39257 294.68/295.48 c #Conflicts: 294000 | #Constraints: 40257 294.68/295.48 c #Conflicts: 295000 | #Constraints: 41257 294.68/295.48 c #Conflicts: 296000 | #Constraints: 42257 294.68/295.48 c INPROCESSING 294.68/295.48 c GARBAGE COLLECT 294.68/295.48 c rational objective 70 305.06/305.83 c #Conflicts: 297000 | #Constraints: 23973 305.06/305.83 c #Conflicts: 298000 | #Constraints: 24973 305.06/305.83 c #Conflicts: 299000 | #Constraints: 25973 305.06/305.83 c #Conflicts: 300000 | #Constraints: 26973 305.06/305.83 c #Conflicts: 301000 | #Constraints: 27973 305.06/305.83 c #Conflicts: 302000 | #Constraints: 28973 305.06/305.83 c #Conflicts: 303000 | #Constraints: 29974 305.06/305.83 c #Conflicts: 304000 | #Constraints: 30974 305.06/305.83 c #Conflicts: 305000 | #Constraints: 31974 305.06/305.83 c #Conflicts: 306000 | #Constraints: 32974 305.06/305.83 c #Conflicts: 307000 | #Constraints: 33974 305.06/305.83 c #Conflicts: 308000 | #Constraints: 34974 305.06/305.83 c INPROCESSING 305.06/305.83 c GARBAGE COLLECT 305.06/305.83 c rational objective 70 316.63/317.45 c #Conflicts: 309000 | #Constraints: 20543 316.63/317.45 c #Conflicts: 310000 | #Constraints: 21543 316.63/317.45 c #Conflicts: 311000 | #Constraints: 22543 316.63/317.45 c #Conflicts: 312000 | #Constraints: 23543 316.63/317.45 c #Conflicts: 313000 | #Constraints: 24543 316.63/317.45 c #Conflicts: 314000 | #Constraints: 25544 316.63/317.45 c #Conflicts: 315000 | #Constraints: 26545 316.63/317.45 c #Conflicts: 316000 | #Constraints: 27545 316.63/317.45 c #Conflicts: 317000 | #Constraints: 28545 316.63/317.45 c #Conflicts: 318000 | #Constraints: 29545 316.63/317.45 c #Conflicts: 319000 | #Constraints: 30545 316.63/317.45 c INPROCESSING 316.63/317.45 c GARBAGE COLLECT 316.63/317.45 c rational objective 70 327.91/328.71 c #Conflicts: 320000 | #Constraints: 17916 327.91/328.71 c #Conflicts: 321000 | #Constraints: 18916 327.91/328.71 c #Conflicts: 322000 | #Constraints: 19916 327.91/328.71 c #Conflicts: 323000 | #Constraints: 20916 327.91/328.71 c #Conflicts: 324000 | #Constraints: 21916 327.91/328.71 c #Conflicts: 325000 | #Constraints: 22916 327.91/328.71 c #Conflicts: 326000 | #Constraints: 23916 327.91/328.71 c #Conflicts: 327000 | #Constraints: 24916 327.91/328.71 c #Conflicts: 328000 | #Constraints: 25916 327.91/328.71 c #Conflicts: 329000 | #Constraints: 26916 327.91/328.71 c #Conflicts: 330000 | #Constraints: 27916 327.91/328.71 c #Conflicts: 331000 | #Constraints: 28916 327.91/328.71 c INPROCESSING 327.91/328.71 c GARBAGE COLLECT 327.91/328.71 c rational objective 70 339.78/340.68 c #Conflicts: 332000 | #Constraints: 17068 339.78/340.68 c #Conflicts: 333000 | #Constraints: 18069 339.78/340.68 c #Conflicts: 334000 | #Constraints: 19069 339.78/340.68 c #Conflicts: 335000 | #Constraints: 20069 339.78/340.68 c #Conflicts: 336000 | #Constraints: 21071 339.78/340.68 c #Conflicts: 337000 | #Constraints: 22071 339.78/340.68 c #Conflicts: 338000 | #Constraints: 23072 339.78/340.68 c #Conflicts: 339000 | #Constraints: 24073 339.78/340.68 c #Conflicts: 340000 | #Constraints: 25073 339.78/340.68 c #Conflicts: 341000 | #Constraints: 26073 339.78/340.68 c #Conflicts: 342000 | #Constraints: 27074 339.78/340.68 c #Conflicts: 343000 | #Constraints: 28075 339.78/340.68 c #Conflicts: 344000 | #Constraints: 29075 339.78/340.68 c INPROCESSING 339.78/340.68 c GARBAGE COLLECT 339.78/340.68 c rational objective 70 411.69/412.76 c #Conflicts: 345000 | #Constraints: 17583 411.69/412.76 c #Conflicts: 346000 | #Constraints: 18585 411.69/412.76 c #Conflicts: 347000 | #Constraints: 19588 411.69/412.76 c #Conflicts: 348000 | #Constraints: 20589 411.69/412.76 c #Conflicts: 349000 | #Constraints: 21589 411.69/412.76 c #Conflicts: 350000 | #Constraints: 22592 411.69/412.76 c #Conflicts: 351000 | #Constraints: 23603 411.69/412.76 c #Conflicts: 352000 | #Constraints: 24603 411.69/412.76 c #Conflicts: 353000 | #Constraints: 25603 411.69/412.76 c #Conflicts: 354000 | #Constraints: 26603 411.69/412.76 c #Conflicts: 355000 | #Constraints: 27603 411.69/412.76 c #Conflicts: 356000 | #Constraints: 28603 411.69/412.76 c #Conflicts: 357000 | #Constraints: 29603 411.69/412.76 c #Conflicts: 358000 | #Constraints: 30603 411.69/412.76 c #Conflicts: 359000 | #Constraints: 31603 411.69/412.76 c #Conflicts: 360000 | #Constraints: 32603 411.69/412.76 c #Conflicts: 361000 | #Constraints: 33603 411.69/412.76 c #Conflicts: 362000 | #Constraints: 34603 411.69/412.76 c #Conflicts: 363000 | #Constraints: 35603 411.69/412.76 c #Conflicts: 364000 | #Constraints: 36603 411.69/412.76 c #Conflicts: 365000 | #Constraints: 37603 411.69/412.76 c #Conflicts: 366000 | #Constraints: 38603 411.69/412.76 c #Conflicts: 367000 | #Constraints: 39603 411.69/412.76 c #Conflicts: 368000 | #Constraints: 40603 411.69/412.76 c #Conflicts: 369000 | #Constraints: 41603 411.69/412.76 c #Conflicts: 370000 | #Constraints: 42604 411.69/412.76 c #Conflicts: 371000 | #Constraints: 43604 411.69/412.76 c #Conflicts: 372000 | #Constraints: 44604 411.69/412.76 c #Conflicts: 373000 | #Constraints: 45604 411.69/412.76 c #Conflicts: 374000 | #Constraints: 46604 411.69/412.76 c #Conflicts: 375000 | #Constraints: 47604 411.69/412.76 c #Conflicts: 376000 | #Constraints: 48604 411.69/412.76 c #Conflicts: 377000 | #Constraints: 49604 411.69/412.76 c #Conflicts: 378000 | #Constraints: 50604 411.69/412.76 c #Conflicts: 379000 | #Constraints: 51604 411.69/412.76 c #Conflicts: 380000 | #Constraints: 52604 411.69/412.76 c #Conflicts: 381000 | #Constraints: 53604 411.69/412.76 c #Conflicts: 382000 | #Constraints: 54604 411.69/412.76 c #Conflicts: 383000 | #Constraints: 55605 411.69/412.76 c #Conflicts: 384000 | #Constraints: 56605 411.69/412.76 c #Conflicts: 385000 | #Constraints: 57605 411.69/412.76 c #Conflicts: 386000 | #Constraints: 58605 411.69/412.76 c #Conflicts: 387000 | #Constraints: 59605 411.69/412.76 c #Conflicts: 388000 | #Constraints: 60605 411.69/412.76 c #Conflicts: 389000 | #Constraints: 61605 411.69/412.76 c #Conflicts: 390000 | #Constraints: 62605 411.69/412.76 c #Conflicts: 391000 | #Constraints: 63605 411.69/412.76 c #Conflicts: 392000 | #Constraints: 64605 411.69/412.76 c #Conflicts: 393000 | #Constraints: 65606 411.69/412.76 c #Conflicts: 394000 | #Constraints: 66606 411.69/412.76 c #Conflicts: 395000 | #Constraints: 67606 411.69/412.76 c #Conflicts: 396000 | #Constraints: 68606 411.69/412.76 c INPROCESSING 411.69/412.76 c GARBAGE COLLECT 411.69/412.76 c rational objective 70 429.95/431.10 c #Conflicts: 397000 | #Constraints: 37313 429.95/431.10 c #Conflicts: 398000 | #Constraints: 38313 429.95/431.10 c #Conflicts: 399000 | #Constraints: 39313 429.95/431.10 c #Conflicts: 400000 | #Constraints: 40313 429.95/431.10 c #Conflicts: 401000 | #Constraints: 41313 429.95/431.10 c #Conflicts: 402000 | #Constraints: 42313 429.95/431.10 c #Conflicts: 403000 | #Constraints: 43313 429.95/431.10 c #Conflicts: 404000 | #Constraints: 44313 429.95/431.10 c #Conflicts: 405000 | #Constraints: 45313 429.95/431.10 c #Conflicts: 406000 | #Constraints: 46314 429.95/431.10 c #Conflicts: 407000 | #Constraints: 47314 429.95/431.10 c #Conflicts: 408000 | #Constraints: 48314 429.95/431.10 c #Conflicts: 409000 | #Constraints: 49314 429.95/431.10 c INPROCESSING 429.95/431.10 c GARBAGE COLLECT 429.95/431.10 c rational objective 70 444.20/445.34 c #Conflicts: 410000 | #Constraints: 27492 444.20/445.34 c #Conflicts: 411000 | #Constraints: 28492 444.20/445.34 c #Conflicts: 412000 | #Constraints: 29492 444.20/445.34 c #Conflicts: 413000 | #Constraints: 30492 444.20/445.34 c #Conflicts: 414000 | #Constraints: 31492 444.20/445.34 c #Conflicts: 415000 | #Constraints: 32492 444.20/445.34 c #Conflicts: 416000 | #Constraints: 33492 444.20/445.34 c #Conflicts: 417000 | #Constraints: 34492 444.20/445.34 c #Conflicts: 418000 | #Constraints: 35492 444.20/445.34 c #Conflicts: 419000 | #Constraints: 36492 444.20/445.34 c #Conflicts: 420000 | #Constraints: 37492 444.20/445.34 c #Conflicts: 421000 | #Constraints: 38492 444.20/445.34 c #Conflicts: 422000 | #Constraints: 39492 444.20/445.34 c #Conflicts: 423000 | #Constraints: 40492 444.20/445.34 c INPROCESSING 444.20/445.34 c GARBAGE COLLECT 444.20/445.34 c rational objective 70 459.56/460.71 c #Conflicts: 424000 | #Constraints: 23240 459.56/460.71 c #Conflicts: 425000 | #Constraints: 24240 459.56/460.71 c #Conflicts: 426000 | #Constraints: 25240 459.56/460.71 c #Conflicts: 427000 | #Constraints: 26240 459.56/460.71 c #Conflicts: 428000 | #Constraints: 27240 459.56/460.71 c #Conflicts: 429000 | #Constraints: 28240 459.56/460.71 c #Conflicts: 430000 | #Constraints: 29240 459.56/460.71 c #Conflicts: 431000 | #Constraints: 30241 459.56/460.71 c #Conflicts: 432000 | #Constraints: 31241 459.56/460.71 c #Conflicts: 433000 | #Constraints: 32241 459.56/460.71 c #Conflicts: 434000 | #Constraints: 33241 459.56/460.71 c #Conflicts: 435000 | #Constraints: 34241 459.56/460.71 c #Conflicts: 436000 | #Constraints: 35241 459.56/460.71 c #Conflicts: 437000 | #Constraints: 36241 459.56/460.71 c INPROCESSING 459.56/460.71 c GARBAGE COLLECT 459.56/460.71 c rational objective 70 473.53/474.75 c #Conflicts: 438000 | #Constraints: 21093 473.53/474.75 c #Conflicts: 439000 | #Constraints: 22093 473.53/474.75 c #Conflicts: 440000 | #Constraints: 23093 473.53/474.75 c #Conflicts: 441000 | #Constraints: 24093 473.53/474.75 c #Conflicts: 442000 | #Constraints: 25094 473.53/474.75 c #Conflicts: 443000 | #Constraints: 26094 473.53/474.75 c #Conflicts: 444000 | #Constraints: 27094 473.53/474.75 c #Conflicts: 445000 | #Constraints: 28094 473.53/474.75 c #Conflicts: 446000 | #Constraints: 29094 473.53/474.75 c #Conflicts: 447000 | #Constraints: 30094 473.53/474.75 c #Conflicts: 448000 | #Constraints: 31094 473.53/474.75 c #Conflicts: 449000 | #Constraints: 32094 473.53/474.75 c #Conflicts: 450000 | #Constraints: 33094 473.53/474.75 c #Conflicts: 451000 | #Constraints: 34094 473.53/474.75 c INPROCESSING 473.53/474.75 c GARBAGE COLLECT 473.53/474.75 c rational objective 70 489.29/490.56 c #Conflicts: 452000 | #Constraints: 20042 489.29/490.56 c #Conflicts: 453000 | #Constraints: 21043 489.29/490.56 c #Conflicts: 454000 | #Constraints: 22043 489.29/490.56 c #Conflicts: 455000 | #Constraints: 23043 489.29/490.56 c #Conflicts: 456000 | #Constraints: 24043 489.29/490.56 c #Conflicts: 457000 | #Constraints: 25043 489.29/490.56 c #Conflicts: 458000 | #Constraints: 26043 489.29/490.56 c #Conflicts: 459000 | #Constraints: 27043 489.29/490.56 c #Conflicts: 460000 | #Constraints: 28043 489.29/490.56 c #Conflicts: 461000 | #Constraints: 29043 489.29/490.56 c #Conflicts: 462000 | #Constraints: 30043 489.29/490.56 c #Conflicts: 463000 | #Constraints: 31043 489.29/490.56 c #Conflicts: 464000 | #Constraints: 32043 489.29/490.56 c #Conflicts: 465000 | #Constraints: 33043 489.29/490.56 c INPROCESSING 489.29/490.56 c GARBAGE COLLECT 489.29/490.56 c rational objective 70 600.79/602.31 c #Conflicts: 466000 | #Constraints: 19313 600.79/602.31 c #Conflicts: 467000 | #Constraints: 20313 600.79/602.31 c #Conflicts: 468000 | #Constraints: 21313 600.79/602.31 c #Conflicts: 469000 | #Constraints: 22313 600.79/602.31 c #Conflicts: 470000 | #Constraints: 23313 600.79/602.31 c #Conflicts: 471000 | #Constraints: 24314 600.79/602.31 c #Conflicts: 472000 | #Constraints: 25314 600.79/602.31 c #Conflicts: 473000 | #Constraints: 26314 600.79/602.31 c #Conflicts: 474000 | #Constraints: 27314 600.79/602.31 c #Conflicts: 475000 | #Constraints: 28314 600.79/602.31 c #Conflicts: 476000 | #Constraints: 29315 600.79/602.31 c #Conflicts: 477000 | #Constraints: 30315 600.79/602.31 c #Conflicts: 478000 | #Constraints: 31315 600.79/602.31 c #Conflicts: 479000 | #Constraints: 32315 600.79/602.31 c #Conflicts: 480000 | #Constraints: 33315 600.79/602.31 c #Conflicts: 481000 | #Constraints: 34315 600.79/602.31 c #Conflicts: 482000 | #Constraints: 35315 600.79/602.31 c #Conflicts: 483000 | #Constraints: 36315 600.79/602.31 c #Conflicts: 484000 | #Constraints: 37315 600.79/602.31 c #Conflicts: 485000 | #Constraints: 38315 600.79/602.31 c #Conflicts: 486000 | #Constraints: 39316 600.79/602.31 c #Conflicts: 487000 | #Constraints: 40316 600.79/602.31 c #Conflicts: 488000 | #Constraints: 41316 600.79/602.31 c #Conflicts: 489000 | #Constraints: 42316 600.79/602.31 c #Conflicts: 490000 | #Constraints: 43316 600.79/602.31 c #Conflicts: 491000 | #Constraints: 44316 600.79/602.31 c #Conflicts: 492000 | #Constraints: 45316 600.79/602.31 c #Conflicts: 493000 | #Constraints: 46316 600.79/602.31 c #Conflicts: 494000 | #Constraints: 47316 600.79/602.31 c #Conflicts: 495000 | #Constraints: 48316 600.79/602.31 c #Conflicts: 496000 | #Constraints: 49316 600.79/602.31 c #Conflicts: 497000 | #Constraints: 50316 600.79/602.31 c #Conflicts: 498000 | #Constraints: 51317 600.79/602.31 c #Conflicts: 499000 | #Constraints: 52317 600.79/602.31 c #Conflicts: 500000 | #Constraints: 53317 600.79/602.31 c #Conflicts: 501000 | #Constraints: 54317 600.79/602.31 c #Conflicts: 502000 | #Constraints: 55317 600.79/602.31 c #Conflicts: 503000 | #Constraints: 56317 600.79/602.31 c #Conflicts: 504000 | #Constraints: 57317 600.79/602.31 c #Conflicts: 505000 | #Constraints: 58317 600.79/602.31 c #Conflicts: 506000 | #Constraints: 59317 600.79/602.31 c #Conflicts: 507000 | #Constraints: 60317 600.79/602.31 c #Conflicts: 508000 | #Constraints: 61317 600.79/602.31 c #Conflicts: 509000 | #Constraints: 62317 600.79/602.31 c #Conflicts: 510000 | #Constraints: 63317 600.79/602.31 c #Conflicts: 511000 | #Constraints: 64317 600.79/602.31 c #Conflicts: 512000 | #Constraints: 65317 600.79/602.31 c #Conflicts: 513000 | #Constraints: 66317 600.79/602.31 c #Conflicts: 514000 | #Constraints: 67317 600.79/602.31 c #Conflicts: 515000 | #Constraints: 68317 600.79/602.31 c #Conflicts: 516000 | #Constraints: 69317 600.79/602.31 c #Conflicts: 517000 | #Constraints: 70318 600.79/602.31 c #Conflicts: 518000 | #Constraints: 71318 600.79/602.31 c #Conflicts: 519000 | #Constraints: 72318 600.79/602.31 c #Conflicts: 520000 | #Constraints: 73318 600.79/602.31 c #Conflicts: 521000 | #Constraints: 74318 600.79/602.31 c #Conflicts: 522000 | #Constraints: 75318 600.79/602.31 c #Conflicts: 523000 | #Constraints: 76318 600.79/602.31 c #Conflicts: 524000 | #Constraints: 77318 600.79/602.31 c #Conflicts: 525000 | #Constraints: 78318 600.79/602.31 c INPROCESSING 600.79/602.31 c GARBAGE COLLECT 600.79/602.31 c rational objective 70 625.43/627.07 c #Conflicts: 526000 | #Constraints: 42222 625.43/627.07 c #Conflicts: 527000 | #Constraints: 43222 625.43/627.07 c #Conflicts: 528000 | #Constraints: 44222 625.43/627.07 c #Conflicts: 529000 | #Constraints: 45222 625.43/627.07 c #Conflicts: 530000 | #Constraints: 46222 625.43/627.07 c #Conflicts: 531000 | #Constraints: 47222 625.43/627.07 c #Conflicts: 532000 | #Constraints: 48222 625.43/627.07 c #Conflicts: 533000 | #Constraints: 49222 625.43/627.07 c #Conflicts: 534000 | #Constraints: 50222 625.43/627.07 c #Conflicts: 535000 | #Constraints: 51222 625.43/627.07 c #Conflicts: 536000 | #Constraints: 52223 625.43/627.07 c #Conflicts: 537000 | #Constraints: 53223 625.43/627.07 c #Conflicts: 538000 | #Constraints: 54224 625.43/627.07 c #Conflicts: 539000 | #Constraints: 55224 625.43/627.07 c #Conflicts: 540000 | #Constraints: 56224 625.43/627.07 c INPROCESSING 625.43/627.07 c GARBAGE COLLECT 625.43/627.07 c rational objective 70 643.77/645.42 c #Conflicts: 541000 | #Constraints: 30856 643.77/645.42 c #Conflicts: 542000 | #Constraints: 31856 643.77/645.42 c #Conflicts: 543000 | #Constraints: 32856 643.77/645.42 c #Conflicts: 544000 | #Constraints: 33856 643.77/645.42 c #Conflicts: 545000 | #Constraints: 34856 643.77/645.42 c #Conflicts: 546000 | #Constraints: 35856 643.77/645.42 c #Conflicts: 547000 | #Constraints: 36856 643.77/645.42 c #Conflicts: 548000 | #Constraints: 37856 643.77/645.42 c #Conflicts: 549000 | #Constraints: 38856 643.77/645.42 c #Conflicts: 550000 | #Constraints: 39856 643.77/645.42 c #Conflicts: 551000 | #Constraints: 40856 643.77/645.42 c #Conflicts: 552000 | #Constraints: 41856 643.77/645.42 c #Conflicts: 553000 | #Constraints: 42856 643.77/645.42 c #Conflicts: 554000 | #Constraints: 43856 643.77/645.42 c #Conflicts: 555000 | #Constraints: 44856 643.77/645.42 c #Conflicts: 556000 | #Constraints: 45856 643.77/645.42 c INPROCESSING 643.77/645.42 c GARBAGE COLLECT 643.77/645.42 c rational objective 70 660.83/662.52 c #Conflicts: 557000 | #Constraints: 25767 660.83/662.52 c #Conflicts: 558000 | #Constraints: 26767 660.83/662.52 c #Conflicts: 559000 | #Constraints: 27767 660.83/662.52 c #Conflicts: 560000 | #Constraints: 28767 660.83/662.52 c #Conflicts: 561000 | #Constraints: 29767 660.83/662.52 c #Conflicts: 562000 | #Constraints: 30767 660.83/662.52 c #Conflicts: 563000 | #Constraints: 31767 660.83/662.52 c #Conflicts: 564000 | #Constraints: 32767 660.83/662.52 c #Conflicts: 565000 | #Constraints: 33767 660.83/662.52 c #Conflicts: 566000 | #Constraints: 34767 660.83/662.52 c #Conflicts: 567000 | #Constraints: 35767 660.83/662.52 c #Conflicts: 568000 | #Constraints: 36767 660.83/662.52 c #Conflicts: 569000 | #Constraints: 37767 660.83/662.52 c #Conflicts: 570000 | #Constraints: 38767 660.83/662.52 c #Conflicts: 571000 | #Constraints: 39767 660.83/662.52 c #Conflicts: 572000 | #Constraints: 40767 660.83/662.52 c INPROCESSING 660.83/662.52 c GARBAGE COLLECT 660.83/662.52 c rational objective 70 675.89/677.61 c #Conflicts: 573000 | #Constraints: 23269 675.89/677.61 c #Conflicts: 574000 | #Constraints: 24269 675.89/677.61 c #Conflicts: 575000 | #Constraints: 25269 675.89/677.61 c #Conflicts: 576000 | #Constraints: 26270 675.89/677.61 c #Conflicts: 577000 | #Constraints: 27270 675.89/677.61 c #Conflicts: 578000 | #Constraints: 28271 675.89/677.61 c #Conflicts: 579000 | #Constraints: 29271 675.89/677.61 c #Conflicts: 580000 | #Constraints: 30271 675.89/677.61 c #Conflicts: 581000 | #Constraints: 31271 675.89/677.61 c #Conflicts: 582000 | #Constraints: 32271 675.89/677.61 c #Conflicts: 583000 | #Constraints: 33272 675.89/677.61 c #Conflicts: 584000 | #Constraints: 34272 675.89/677.61 c #Conflicts: 585000 | #Constraints: 35272 675.89/677.61 c #Conflicts: 586000 | #Constraints: 36272 675.89/677.61 c #Conflicts: 587000 | #Constraints: 37272 675.89/677.61 c #Conflicts: 588000 | #Constraints: 38272 675.89/677.61 c INPROCESSING 675.89/677.61 c GARBAGE COLLECT 675.89/677.61 c rational objective 70 808.05/810.14 c #Conflicts: 589000 | #Constraints: 21929 808.05/810.14 c #Conflicts: 590000 | #Constraints: 22929 808.05/810.14 c #Conflicts: 591000 | #Constraints: 23929 808.05/810.14 c #Conflicts: 592000 | #Constraints: 24929 808.05/810.14 c #Conflicts: 593000 | #Constraints: 25929 808.05/810.14 c #Conflicts: 594000 | #Constraints: 26929 808.05/810.14 c #Conflicts: 595000 | #Constraints: 27929 808.05/810.14 c #Conflicts: 596000 | #Constraints: 28929 808.05/810.14 c #Conflicts: 597000 | #Constraints: 29929 808.05/810.14 c #Conflicts: 598000 | #Constraints: 30929 808.05/810.14 c #Conflicts: 599000 | #Constraints: 31930 808.05/810.14 c #Conflicts: 600000 | #Constraints: 32930 808.05/810.14 c #Conflicts: 601000 | #Constraints: 33930 808.05/810.14 c #Conflicts: 602000 | #Constraints: 34930 808.05/810.14 c #Conflicts: 603000 | #Constraints: 35930 808.05/810.14 c #Conflicts: 604000 | #Constraints: 36930 808.05/810.14 c #Conflicts: 605000 | #Constraints: 37930 808.05/810.14 c #Conflicts: 606000 | #Constraints: 38930 808.05/810.14 c #Conflicts: 607000 | #Constraints: 39930 808.05/810.14 c #Conflicts: 608000 | #Constraints: 40930 808.05/810.14 c #Conflicts: 609000 | #Constraints: 41930 808.05/810.14 c #Conflicts: 610000 | #Constraints: 42930 808.05/810.14 c #Conflicts: 611000 | #Constraints: 43930 808.05/810.14 c #Conflicts: 612000 | #Constraints: 44930 808.05/810.14 c #Conflicts: 613000 | #Constraints: 45930 808.05/810.14 c #Conflicts: 614000 | #Constraints: 46930 808.05/810.14 c #Conflicts: 615000 | #Constraints: 47930 808.05/810.14 c #Conflicts: 616000 | #Constraints: 48930 808.05/810.14 c #Conflicts: 617000 | #Constraints: 49930 808.05/810.14 c #Conflicts: 618000 | #Constraints: 50930 808.05/810.14 c #Conflicts: 619000 | #Constraints: 51930 808.05/810.14 c #Conflicts: 620000 | #Constraints: 52930 808.05/810.14 c #Conflicts: 621000 | #Constraints: 53930 808.05/810.14 c #Conflicts: 622000 | #Constraints: 54930 808.05/810.14 c #Conflicts: 623000 | #Constraints: 55930 808.05/810.14 c #Conflicts: 624000 | #Constraints: 56930 808.05/810.14 c #Conflicts: 625000 | #Constraints: 57930 808.05/810.14 c #Conflicts: 626000 | #Constraints: 58930 808.05/810.14 c #Conflicts: 627000 | #Constraints: 59930 808.05/810.14 c #Conflicts: 628000 | #Constraints: 60930 808.05/810.14 c #Conflicts: 629000 | #Constraints: 61930 808.05/810.14 c #Conflicts: 630000 | #Constraints: 62930 808.05/810.14 c #Conflicts: 631000 | #Constraints: 63930 808.05/810.14 c #Conflicts: 632000 | #Constraints: 64930 808.05/810.14 c #Conflicts: 633000 | #Constraints: 65930 808.05/810.14 c #Conflicts: 634000 | #Constraints: 66930 808.05/810.14 c #Conflicts: 635000 | #Constraints: 67930 808.05/810.14 c #Conflicts: 636000 | #Constraints: 68930 808.05/810.14 c #Conflicts: 637000 | #Constraints: 69930 808.05/810.14 c #Conflicts: 638000 | #Constraints: 70930 808.05/810.14 c #Conflicts: 639000 | #Constraints: 71930 808.05/810.14 c #Conflicts: 640000 | #Constraints: 72930 808.05/810.14 c #Conflicts: 641000 | #Constraints: 73930 808.05/810.14 c #Conflicts: 642000 | #Constraints: 74930 808.05/810.14 c #Conflicts: 643000 | #Constraints: 75930 808.05/810.14 c #Conflicts: 644000 | #Constraints: 76930 808.05/810.14 c #Conflicts: 645000 | #Constraints: 77930 808.05/810.14 c #Conflicts: 646000 | #Constraints: 78930 808.05/810.14 c #Conflicts: 647000 | #Constraints: 79930 808.05/810.14 c #Conflicts: 648000 | #Constraints: 80930 808.05/810.14 c #Conflicts: 649000 | #Constraints: 81930 808.05/810.14 c #Conflicts: 650000 | #Constraints: 82930 808.05/810.14 c #Conflicts: 651000 | #Constraints: 83930 808.05/810.14 c #Conflicts: 652000 | #Constraints: 84930 808.05/810.14 c #Conflicts: 653000 | #Constraints: 85930 808.05/810.14 c #Conflicts: 654000 | #Constraints: 86930 808.05/810.14 c INPROCESSING 808.05/810.14 c GARBAGE COLLECT 808.05/810.14 c rational objective 70 838.67/840.87 c #Conflicts: 655000 | #Constraints: 46332 838.67/840.87 c #Conflicts: 656000 | #Constraints: 47333 838.67/840.87 c #Conflicts: 657000 | #Constraints: 48333 838.67/840.87 c #Conflicts: 658000 | #Constraints: 49333 838.67/840.87 c #Conflicts: 659000 | #Constraints: 50333 838.67/840.87 c #Conflicts: 660000 | #Constraints: 51334 838.67/840.87 c #Conflicts: 661000 | #Constraints: 52334 838.67/840.87 c #Conflicts: 662000 | #Constraints: 53334 838.67/840.87 c #Conflicts: 663000 | #Constraints: 54334 838.67/840.87 c #Conflicts: 664000 | #Constraints: 55334 838.67/840.87 c #Conflicts: 665000 | #Constraints: 56334 838.67/840.87 c #Conflicts: 666000 | #Constraints: 57334 838.67/840.87 c #Conflicts: 667000 | #Constraints: 58334 838.67/840.87 c #Conflicts: 668000 | #Constraints: 59335 838.67/840.87 c #Conflicts: 669000 | #Constraints: 60335 838.67/840.87 c #Conflicts: 670000 | #Constraints: 61335 838.67/840.87 c #Conflicts: 671000 | #Constraints: 62335 838.67/840.87 c #Conflicts: 672000 | #Constraints: 63335 838.67/840.87 c INPROCESSING 838.67/840.87 c GARBAGE COLLECT 838.67/840.87 c rational objective 70 861.42/863.61 c #Conflicts: 673000 | #Constraints: 34727 861.42/863.61 c #Conflicts: 674000 | #Constraints: 35727 861.42/863.61 c #Conflicts: 675000 | #Constraints: 36727 861.42/863.61 c #Conflicts: 676000 | #Constraints: 37727 861.42/863.61 c #Conflicts: 677000 | #Constraints: 38727 861.42/863.61 c #Conflicts: 678000 | #Constraints: 39727 861.42/863.61 c #Conflicts: 679000 | #Constraints: 40727 861.42/863.61 c #Conflicts: 680000 | #Constraints: 41728 861.42/863.61 c #Conflicts: 681000 | #Constraints: 42728 861.42/863.61 c #Conflicts: 682000 | #Constraints: 43729 861.42/863.61 c #Conflicts: 683000 | #Constraints: 44729 861.42/863.61 c #Conflicts: 684000 | #Constraints: 45729 861.42/863.61 c #Conflicts: 685000 | #Constraints: 46729 861.42/863.61 c #Conflicts: 686000 | #Constraints: 47729 861.42/863.61 c #Conflicts: 687000 | #Constraints: 48729 861.42/863.61 c #Conflicts: 688000 | #Constraints: 49729 861.42/863.61 c #Conflicts: 689000 | #Constraints: 50729 861.42/863.61 c INPROCESSING 861.42/863.61 c GARBAGE COLLECT 861.42/863.61 c rational objective 70 881.98/884.28 c #Conflicts: 690000 | #Constraints: 28102 881.98/884.28 c #Conflicts: 691000 | #Constraints: 29102 881.98/884.28 c #Conflicts: 692000 | #Constraints: 30102 881.98/884.28 c #Conflicts: 693000 | #Constraints: 31102 881.98/884.28 c #Conflicts: 694000 | #Constraints: 32102 881.98/884.28 c #Conflicts: 695000 | #Constraints: 33102 881.98/884.28 c #Conflicts: 696000 | #Constraints: 34102 881.98/884.28 c #Conflicts: 697000 | #Constraints: 35102 881.98/884.28 c #Conflicts: 698000 | #Constraints: 36102 881.98/884.28 c #Conflicts: 699000 | #Constraints: 37102 881.98/884.28 c #Conflicts: 700000 | #Constraints: 38102 881.98/884.28 c #Conflicts: 701000 | #Constraints: 39102 881.98/884.28 c #Conflicts: 702000 | #Constraints: 40102 881.98/884.28 c #Conflicts: 703000 | #Constraints: 41102 881.98/884.28 c #Conflicts: 704000 | #Constraints: 42102 881.98/884.28 c #Conflicts: 705000 | #Constraints: 43102 881.98/884.28 c #Conflicts: 706000 | #Constraints: 44102 881.98/884.28 c #Conflicts: 707000 | #Constraints: 45102 881.98/884.28 c INPROCESSING 881.98/884.28 c GARBAGE COLLECT 881.98/884.28 c rational objective 70 907.83/910.14 c #Conflicts: 708000 | #Constraints: 25287 907.83/910.14 c #Conflicts: 709000 | #Constraints: 26287 907.83/910.14 c #Conflicts: 710000 | #Constraints: 27287 907.83/910.14 c #Conflicts: 711000 | #Constraints: 28287 907.83/910.14 c #Conflicts: 712000 | #Constraints: 29287 907.83/910.14 c #Conflicts: 713000 | #Constraints: 30287 907.83/910.14 c #Conflicts: 714000 | #Constraints: 31287 907.83/910.14 c #Conflicts: 715000 | #Constraints: 32287 907.83/910.14 c #Conflicts: 716000 | #Constraints: 33287 907.83/910.14 c #Conflicts: 717000 | #Constraints: 34287 907.83/910.14 c #Conflicts: 718000 | #Constraints: 35287 907.83/910.14 c #Conflicts: 719000 | #Constraints: 36287 907.83/910.14 c #Conflicts: 720000 | #Constraints: 37287 907.83/910.14 c #Conflicts: 721000 | #Constraints: 38287 907.83/910.14 c #Conflicts: 722000 | #Constraints: 39287 907.83/910.14 c #Conflicts: 723000 | #Constraints: 40287 907.83/910.14 c #Conflicts: 724000 | #Constraints: 41288 907.83/910.14 c #Conflicts: 725000 | #Constraints: 42288 907.83/910.14 c INPROCESSING 907.83/910.14 c GARBAGE COLLECT 907.83/910.14 c rational objective 70 979.58/982.03 c #Conflicts: 726000 | #Constraints: 23931 979.58/982.03 c #Conflicts: 727000 | #Constraints: 24931 979.58/982.03 c #Conflicts: 728000 | #Constraints: 25931 979.58/982.03 c #Conflicts: 729000 | #Constraints: 26931 979.58/982.03 c #Conflicts: 730000 | #Constraints: 27931 979.58/982.03 c #Conflicts: 731000 | #Constraints: 28932 979.58/982.03 c #Conflicts: 732000 | #Constraints: 29932 979.58/982.03 c #Conflicts: 733000 | #Constraints: 30932 979.58/982.03 c #Conflicts: 734000 | #Constraints: 31933 979.58/982.03 c #Conflicts: 735000 | #Constraints: 32933 979.58/982.03 c #Conflicts: 736000 | #Constraints: 33933 979.58/982.03 c #Conflicts: 737000 | #Constraints: 34933 979.58/982.03 c #Conflicts: 738000 | #Constraints: 35933 979.58/982.03 c #Conflicts: 739000 | #Constraints: 36933 979.58/982.03 c #Conflicts: 740000 | #Constraints: 37933 979.58/982.03 c #Conflicts: 741000 | #Constraints: 38933 979.58/982.03 c #Conflicts: 742000 | #Constraints: 39933 979.58/982.03 c #Conflicts: 743000 | #Constraints: 40933 979.58/982.03 c #Conflicts: 744000 | #Constraints: 41933 979.58/982.03 c #Conflicts: 745000 | #Constraints: 42933 979.58/982.03 c #Conflicts: 746000 | #Constraints: 43933 979.58/982.03 c #Conflicts: 747000 | #Constraints: 44933 979.58/982.03 c #Conflicts: 748000 | #Constraints: 45933 979.58/982.03 c #Conflicts: 749000 | #Constraints: 46933 979.58/982.03 c #Conflicts: 750000 | #Constraints: 47933 979.58/982.03 c #Conflicts: 751000 | #Constraints: 48933 979.58/982.03 c #Conflicts: 752000 | #Constraints: 49933 979.58/982.03 c #Conflicts: 753000 | #Constraints: 50933 979.58/982.03 c #Conflicts: 754000 | #Constraints: 51933 979.58/982.03 c #Conflicts: 755000 | #Constraints: 52933 979.58/982.03 c #Conflicts: 756000 | #Constraints: 53933 979.58/982.03 c #Conflicts: 757000 | #Constraints: 54933 979.58/982.03 c #Conflicts: 758000 | #Constraints: 55933 979.58/982.03 c #Conflicts: 759000 | #Constraints: 56933 979.58/982.03 c #Conflicts: 760000 | #Constraints: 57933 979.58/982.03 c #Conflicts: 761000 | #Constraints: 58933 979.58/982.03 c #Conflicts: 762000 | #Constraints: 59933 979.58/982.03 c #Conflicts: 763000 | #Constraints: 60933 979.58/982.03 c #Conflicts: 764000 | #Constraints: 61933 979.58/982.03 c #Conflicts: 765000 | #Constraints: 62933 979.58/982.03 c #Conflicts: 766000 | #Constraints: 63933 979.58/982.03 c #Conflicts: 767000 | #Constraints: 64933 979.58/982.03 c #Conflicts: 768000 | #Constraints: 65933 979.58/982.03 c #Conflicts: 769000 | #Constraints: 66933 979.58/982.03 c #Conflicts: 770000 | #Constraints: 67933 979.58/982.03 c #Conflicts: 771000 | #Constraints: 68933 979.58/982.03 c cpu time 968.332 s 979.58/982.03 c deterministic time 121750555106 1.22e+11 979.58/982.03 c optimization time 7.6e-05 s 979.58/982.03 c total solve time 968.319 s 979.58/982.03 c core-guided solve time 0 s 979.58/982.03 c propagation time 655.942 s 979.58/982.03 c conflict analysis time 213.802 s 979.58/982.03 c propagations 252453306 979.58/982.03 c resolve steps 25747137 979.58/982.03 c decisions 4189437 979.58/982.03 c conflicts 771228 979.58/982.03 c restarts 1629 979.58/982.03 c inprocessing phases 59 979.58/982.03 c input clauses 3922 979.58/982.03 c input cardinalities 70 979.58/982.03 c input general constraints 0 979.58/982.03 c input average constraint length 6.01 979.58/982.03 c input average constraint degree 1.93 979.58/982.03 c learned clauses 544963 979.58/982.03 c learned cardinalities 15061 979.58/982.03 c learned general constraints 211376 979.58/982.03 c learned average constraint length 592.37 979.58/982.03 c learned average constraint degree 14835953.32 979.58/982.03 c watched constraints 179416 979.58/982.03 c counting constraints 31960 979.58/982.03 c gcd simplifications 1921 979.58/982.03 c detected cardinalities 918 979.58/982.03 c weakened non-implied lits 88029656 979.58/982.03 c weakened non-implying lits 156153 979.58/982.03 c original variables 3850 979.58/982.03 c clausal propagations 98581689 979.58/982.03 c cardinality propagations 86496124 979.58/982.03 c watched propagations 19169747 979.58/982.03 c counting propagations 46249688 979.58/982.03 c watch lookups 10542188017 979.58/982.03 c watch backjump lookups 8096030215 979.58/982.03 c watch checks 85077348709 979.58/982.03 c propagation checks 16131413962 979.58/982.03 c constraint additions 1388536285 979.58/982.03 c trail pops 257413307 979.58/982.03 c formula constraints 3992 979.58/982.03 c learned constraints 771174 979.58/982.03 c bound constraints 0 979.58/982.03 c core-guided constraints 0 979.58/982.03 c encountered formula constraints 15020928 979.58/982.03 c encountered learned constraints 11496880 979.58/982.03 c encountered bound constraints 0 979.58/982.03 c encountered core-guided constraints 0 979.58/982.03 c LP total time 222.99 s 979.58/982.03 c LP solve time 205.84 s 979.58/982.03 c LP constraints added 5574 979.58/982.03 c LP constraints removed 1530 979.58/982.03 c LP pivots internal 772826 979.58/982.03 c LP pivots root 209041 979.58/982.03 c LP calls 324 979.58/982.03 c LP optimalities 160 979.58/982.03 c LP no pivot count 5 979.58/982.03 c LP infeasibilities 154 979.58/982.03 c LP valid Farkas constraints 152 979.58/982.03 c LP learned Farkas constraints 54 979.58/982.03 c LP basis resets 5 979.58/982.03 c LP cycling count 3 979.58/982.03 c LP singular count 0 979.58/982.03 c LP no primal count 0 979.58/982.03 c LP no farkas count 2 979.58/982.03 c LP other issue count 0 979.58/982.03 c LP Gomory cuts 20 979.58/982.03 c LP learned cuts 1562 979.58/982.03 c LP deleted cuts 1530 979.58/982.03 c LP encountered Gomory constraints 12 979.58/982.03 c LP encountered Farkas constraints 315 979.58/982.03 c LP encountered learned Farkas constraints 176 979.58/982.03 c CG auxiliary variables introduced 0 979.58/982.03 c CG solutions found 0 979.58/982.03 c CG cores constructed 0 979.58/982.03 c CG core cardinality constraints returned 0 979.58/982.03 c CG unit cores 0 979.58/982.03 c CG single cores 0 979.58/982.03 c CG blocks removed during cardinality reduction 0 979.58/982.03 c CG first core best 0 979.58/982.03 c CG decision core best 0 979.58/982.03 c CG core reduction tie 0 979.58/982.03 c CG core degree average 0.00 979.58/982.03 c CG core slack average 0.00 979.58/982.03 s SATISFIABLE 979.58/982.03 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: 63968 MiB (59674 MiB free)
memory of node 1: 64473 MiB (62888 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455613-1721464948/watcher-4455613-1721464948 -o /tmp/evaluation-result-4455613-1721464948/solver-4455613-1721464948 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1721464960-1073847 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455613-1721464948.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
solver pid=1073907, runsolver pid=1073895
Current StackSize limit: 8192 KiB
[startup+0.10006 s]*
/proc/loadavg: 1.69 3.28 3.80 8/260 1073912
/proc/meminfo: memFree=125466504/131524600 swapFree=131071216/131071996
[pid=1073907] ppid=1073895 vsize=44276 memory=13432 CPUtime=0.09 cores=4,6
/proc/1073907/stat : 1073907 (roundingsat) R 1073895 1073907 1073836 0 -1 4194304 2256 0 1 0 9 0 0 0 20 0 1 0 198657241 45338624 3358 134679101440 4194304 7968373 140729212947648 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 20099072 140729212949436 140729212949600 140729212949600 140729212956617 0
/proc/1073907/statm: 11069 3358 1637 922 0 3021 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 44276 KiB
Current children cumulated memory: 13432 KiB
[startup+0.206672 s]*
/proc/loadavg: 1.69 3.28 3.80 8/260 1073912
/proc/meminfo: memFree=125463988/131524600 swapFree=131071216/131071996
[pid=1073907] ppid=1073895 vsize=44776 memory=13960 CPUtime=0.2 cores=4,6
/proc/1073907/stat : 1073907 (roundingsat) R 1073895 1073907 1073836 0 -1 4194304 2371 0 1 0 19 1 0 0 20 0 1 0 198657241 45850624 3490 134679101440 4194304 7968373 140729212947648 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 20099072 140729212949436 140729212949600 140729212949600 140729212956617 0
/proc/1073907/statm: 11194 3490 1637 922 0 3146 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 44776 KiB
Current children cumulated memory: 13960 KiB
[startup+0.305714 s]*
/proc/loadavg: 1.69 3.28 3.80 6/260 1073912
/proc/meminfo: memFree=125462440/131524600 swapFree=131071216/131071996
[pid=1073907] ppid=1073895 vsize=44996 memory=14224 CPUtime=0.3 cores=4,6
/proc/1073907/stat : 1073907 (roundingsat) R 1073895 1073907 1073836 0 -1 4194304 2442 0 1 0 29 1 0 0 20 0 1 0 198657241 46075904 3556 134679101440 4194304 7968373 140729212947648 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 20099072 140729212949436 140729212949600 140729212949600 140729212956617 0
/proc/1073907/statm: 11249 3556 1637 922 0 3201 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 44996 KiB
Current children cumulated memory: 14224 KiB
[startup+0.70017 s]
/proc/loadavg: 1.69 3.28 3.80 6/260 1073912
/proc/meminfo: memFree=125460680/131524600 swapFree=131071216/131071996
[pid=1073907] ppid=1073895 vsize=45128 memory=15724 CPUtime=0.69 cores=4,6
/proc/1073907/stat : 1073907 (roundingsat) R 1073895 1073907 1073836 0 -1 4194304 2772 0 1 0 65 4 0 0 20 0 1 0 198657241 46211072 3931 134679101440 4194304 7968373 140729212947648 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 20099072 140729212949436 140729212949600 140729212949600 140729212956617 0
/proc/1073907/statm: 11282 3931 1685 922 0 3234 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 45128 KiB
Current children cumulated memory: 15724 KiB
[startup+1.50016 s]
/proc/loadavg: 1.69 3.28 3.80 9/260 1073912
/proc/meminfo: memFree=125448740/131524600 swapFree=131071216/131071996
[pid=1073907] ppid=1073895 vsize=46144 memory=18824 CPUtime=1.48 cores=4,6
/proc/1073907/stat : 1073907 (roundingsat) R 1073895 1073907 1073836 0 -1 4194304 3043 0 1 0 142 6 0 0 20 0 1 0 198657241 47251456 4706 134679101440 4194304 7968373 140729212947648 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 20099072 140729212949436 140729212949600 140729212949600 140729212956617 0
/proc/1073907/statm: 11536 4706 1685 922 0 3488 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 46144 KiB
Current children cumulated memory: 18824 KiB
[startup+3.10651 s]
/proc/loadavg: 1.69 3.28 3.80 8/260 1073912
/proc/meminfo: memFree=125434844/131524600 swapFree=131071216/131071996
[pid=1073907] ppid=1073895 vsize=47176 memory=20172 CPUtime=3.08 cores=4,6
/proc/1073907/stat : 1073907 (roundingsat) R 1073895 1073907 1073836 0 -1 4194304 3280 0 1 0 296 12 0 0 20 0 1 0 198657241 48308224 5043 134679101440 4194304 7968373 140729212947648 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 20099072 140729212949436 140729212949600 140729212949600 140729212956617 0
/proc/1073907/statm: 11794 5043 1764 922 0 3746 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 47176 KiB
Current children cumulated memory: 20172 KiB
[startup+6.30021 s]
/proc/loadavg: 1.87 3.29 3.80 8/260 1073912
/proc/meminfo: memFree=125387544/131524600 swapFree=131071216/131071996
[pid=1073907] ppid=1073895 vsize=62716 memory=35776 CPUtime=6.28 cores=4,6
/proc/1073907/stat : 1073907 (roundingsat) R 1073895 1073907 1073836 0 -1 4194304 7265 0 1 0 609 19 0 0 20 0 1 0 198657241 64221184 8944 134679101440 4194304 7968373 140729212947648 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 20099072 140729212949436 140729212949600 140729212949600 140729212956617 0
/proc/1073907/statm: 15679 8944 1764 922 0 7631 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 62716 KiB
Current children cumulated memory: 35776 KiB
[startup+12.7002 s]
/proc/loadavg: 2.04 3.31 3.80 8/260 1073914
/proc/meminfo: memFree=125361624/131524600 swapFree=131071216/131071996
[pid=1073907] ppid=1073895 vsize=64848 memory=38272 CPUtime=12.66 cores=4,6
/proc/1073907/stat : 1073907 (roundingsat) R 1073895 1073907 1073836 0 -1 4194304 9464 0 1 0 1233 33 0 0 20 0 1 0 198657241 66404352 9568 134679101440 4194304 7968373 140729212947648 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 20099072 140729212949436 140729212949600 140729212949600 140729212956617 0
/proc/1073907/statm: 16212 9568 1780 922 0 8164 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 64848 KiB
Current children cumulated memory: 38272 KiB
[startup+25.5002 s]
/proc/loadavg: 2.48 3.34 3.81 8/260 1073915
/proc/meminfo: memFree=125338700/131524600 swapFree=131071216/131071996
[pid=1073907] ppid=1073895 vsize=66484 memory=39776 CPUtime=25.43 cores=4,6
/proc/1073907/stat : 1073907 (roundingsat) R 1073895 1073907 1073836 0 -1 4194304 10546 0 1 0 2488 55 0 0 20 0 1 0 198657241 68079616 9944 134679101440 4194304 7968373 140729212947648 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 20099072 140729212949436 140729212949600 140729212949600 140729212956617 0
/proc/1073907/statm: 16621 9944 1780 922 0 8573 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 66484 KiB
Current children cumulated memory: 39776 KiB
[startup+51.1059 s]
/proc/loadavg: 3.00 3.39 3.81 7/260 1073966
/proc/meminfo: memFree=125320144/131524600 swapFree=131071216/131071996
[pid=1073907] ppid=1073895 vsize=72816 memory=46604 CPUtime=50.97 cores=4,6
/proc/1073907/stat : 1073907 (roundingsat) R 1073895 1073907 1073836 0 -1 4194304 11100 0 1 0 4991 106 0 0 20 0 1 0 198657241 74563584 11651 134679101440 4194304 7968373 140729212947648 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 20099072 140729212949436 140729212949600 140729212949600 140729212956617 0
/proc/1073907/statm: 18204 11651 1930 922 0 10156 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 72816 KiB
Current children cumulated memory: 46604 KiB
[startup+102.3 s]
/proc/loadavg: 3.62 3.51 3.83 6/260 1074021
/proc/meminfo: memFree=125205568/131524600 swapFree=131071216/131071996
[pid=1073907] ppid=1073895 vsize=95692 memory=60816 CPUtime=102.03 cores=4,6
/proc/1073907/stat : 1073907 (roundingsat) R 1073895 1073907 1073836 0 -1 4194304 13077 0 1 0 10002 201 0 0 20 0 1 0 198657241 97988608 15204 134679101440 4194304 7968373 140729212947648 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 20099072 140729212949436 140729212949600 140729212949600 140729212956617 0
/proc/1073907/statm: 23923 15204 1930 922 0 15875 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 95692 KiB
Current children cumulated memory: 60816 KiB
[startup+162.3 s]
/proc/loadavg: 3.90 3.61 3.85 6/260 1074031
/proc/meminfo: memFree=125060332/131524600 swapFree=131071216/131071996
[pid=1073907] ppid=1073895 vsize=212252 memory=142328 CPUtime=161.88 cores=4,6
/proc/1073907/stat : 1073907 (roundingsat) R 1073895 1073907 1073836 0 -1 4194304 18623 0 1 0 15884 304 0 0 20 0 1 0 198657241 217346048 35582 134679101440 4194304 7968373 140729212947648 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 20099072 140729212949436 140729212949600 140729212949600 140729212956617 0
/proc/1073907/statm: 53063 35582 1930 922 0 45015 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 212252 KiB
Current children cumulated memory: 142328 KiB
[startup+222.3 s]
/proc/loadavg: 4.06 3.72 3.87 6/257 1074042
/proc/meminfo: memFree=124916136/131524600 swapFree=131071216/131071996
[pid=1073907] ppid=1073895 vsize=217520 memory=148660 CPUtime=221.73 cores=4,6
/proc/1073907/stat : 1073907 (roundingsat) R 1073895 1073907 1073836 0 -1 4194304 20255 0 1 0 21781 392 0 0 20 0 1 0 198657241 222740480 37165 134679101440 4194304 7968373 140729212947648 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 20099072 140729212949436 140729212949600 140729212949600 140729212956617 0
/proc/1073907/statm: 54380 37165 1930 922 0 46332 0
Current children cumulated CPU time: 221.73 s
Current children cumulated vsize: 217520 KiB
Current children cumulated memory: 148660 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 3.79 3.89 6/257 1074052
/proc/meminfo: memFree=124822656/131524600 swapFree=131071216/131071996
[pid=1073907] ppid=1073895 vsize=227464 memory=196472 CPUtime=281.61 cores=4,6
/proc/1073907/stat : 1073907 (roundingsat) R 1073895 1073907 1073836 0 -1 4194304 22531 0 1 0 27696 465 0 0 20 0 1 0 198657241 232923136 49118 134679101440 4194304 7968373 140729212947648 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 20099072 140729212949436 140729212949600 140729212949600 140729212956617 0
/proc/1073907/statm: 56866 49118 1930 922 0 48818 0
Current children cumulated CPU time: 281.61 s
Current children cumulated vsize: 227464 KiB
Current children cumulated memory: 196472 KiB
[startup+342.3 s]
/proc/loadavg: 4.22 3.87 3.91 6/254 1074108
/proc/meminfo: memFree=124934672/131524600 swapFree=131071216/131071996
[pid=1073907] ppid=1073895 vsize=229276 memory=198288 CPUtime=341.47 cores=4,6
/proc/1073907/stat : 1073907 (roundingsat) R 1073895 1073907 1073836 0 -1 4194304 23421 0 1 0 33599 548 0 0 20 0 1 0 198657241 234778624 49572 134679101440 4194304 7968373 140729212947648 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 20099072 140729212949436 140729212949600 140729212949600 140729212956617 0
/proc/1073907/statm: 57319 49572 1930 922 0 49271 0
Current children cumulated CPU time: 341.47 s
Current children cumulated vsize: 229276 KiB
Current children cumulated memory: 198288 KiB
[startup+402.3 s]
/proc/loadavg: 4.14 3.92 3.93 6/254 1074119
/proc/meminfo: memFree=124918136/131524600 swapFree=131071216/131071996
[pid=1073907] ppid=1073895 vsize=310684 memory=205308 CPUtime=401.32 cores=4,6
/proc/1073907/stat : 1073907 (roundingsat) R 1073895 1073907 1073836 0 -1 4194304 23986 0 1 0 39525 607 0 0 20 0 1 0 198657241 318140416 51327 134679101440 4194304 7968373 140729212947648 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 20099072 140729212949436 140729212949600 140729212949600 140729212956617 0
/proc/1073907/statm: 77671 51327 1930 922 0 69623 0
Current children cumulated CPU time: 401.32 s
Current children cumulated vsize: 310684 KiB
Current children cumulated memory: 205308 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 3.95 3.94 6/254 1074129
/proc/meminfo: memFree=124813800/131524600 swapFree=131071216/131071996
[pid=1073907] ppid=1073895 vsize=318976 memory=232028 CPUtime=461.16 cores=4,6
/proc/1073907/stat : 1073907 (roundingsat) R 1073895 1073907 1073836 0 -1 4194304 27991 0 1 0 45438 678 0 0 20 0 1 0 198657241 326631424 58007 134679101440 4194304 7968373 140729212947648 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 20099072 140729212949436 140729212949600 140729212949600 140729212956617 0
/proc/1073907/statm: 79744 58007 1930 922 0 71696 0
################
# More data... #
################
/proc/loadavg: 4.08 4.00 3.96 6/256 1074156
/proc/meminfo: memFree=124667076/131524600 swapFree=131071216/131071996
[pid=1073907] ppid=1073895 vsize=472176 memory=373264 CPUtime=580.84 cores=4,6
/proc/1073907/stat : 1073907 (roundingsat) R 1073895 1073907 1073836 0 -1 4194304 33588 0 1 0 57305 779 0 0 20 0 1 0 198657241 483508224 93316 134679101440 4194304 7968373 140729212947648 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 20099072 140729212949436 140729212949600 140729212949600 140729212956617 0
/proc/1073907/statm: 118044 93316 1930 922 0 109996 0
Current children cumulated CPU time: 580.84 s
Current children cumulated vsize: 472176 KiB
Current children cumulated memory: 373264 KiB
[startup+642.3 s]
/proc/loadavg: 4.15 4.03 3.98 6/256 1074167
/proc/meminfo: memFree=124622788/131524600 swapFree=131071216/131071996
[pid=1073907] ppid=1073895 vsize=481848 memory=401620 CPUtime=640.68 cores=4,6
/proc/1073907/stat : 1073907 (roundingsat) R 1073895 1073907 1073836 0 -1 4194304 35596 0 1 0 63232 836 0 0 20 0 1 0 198657241 493412352 100405 134679101440 4194304 7968373 140729212947648 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 20099072 140729212949436 140729212949600 140729212949600 140729212956617 0
/proc/1073907/statm: 120462 100405 1930 922 0 112414 0
Current children cumulated CPU time: 640.68 s
Current children cumulated vsize: 481848 KiB
Current children cumulated memory: 401620 KiB
[startup+702.3 s]
/proc/loadavg: 4.05 4.02 3.98 6/256 1074179
/proc/meminfo: memFree=124498300/131524600 swapFree=131071216/131071996
[pid=1073907] ppid=1073895 vsize=481848 memory=401884 CPUtime=700.52 cores=4,6
/proc/1073907/stat : 1073907 (roundingsat) R 1073895 1073907 1073836 0 -1 4194304 35619 0 1 0 69143 909 0 0 20 0 1 0 198657241 493412352 100471 134679101440 4194304 7968373 140729212947648 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 20099072 140729212949436 140729212949600 140729212949600 140729212956617 0
/proc/1073907/statm: 120462 100471 1930 922 0 112414 0
Current children cumulated CPU time: 700.52 s
Current children cumulated vsize: 481848 KiB
Current children cumulated memory: 401884 KiB
[startup+762.3 s]
/proc/loadavg: 4.06 4.03 3.99 7/256 1074189
/proc/meminfo: memFree=124436076/131524600 swapFree=131071216/131071996
[pid=1073907] ppid=1073895 vsize=483064 memory=403336 CPUtime=760.36 cores=4,6
/proc/1073907/stat : 1073907 (roundingsat) R 1073895 1073907 1073836 0 -1 4194304 35940 0 1 0 75085 951 0 0 20 0 1 0 198657241 494657536 100834 134679101440 4194304 7968373 140729212947648 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 20099072 140729212949436 140729212949600 140729212949600 140729212956617 0
/proc/1073907/statm: 120766 100834 1930 922 0 112718 0
Current children cumulated CPU time: 760.36 s
Current children cumulated vsize: 483064 KiB
Current children cumulated memory: 403336 KiB
[startup+822.3 s]
/proc/loadavg: 4.12 4.05 4.00 6/255 1074581
/proc/meminfo: memFree=124415784/131524600 swapFree=131071216/131071996
[pid=1073907] ppid=1073895 vsize=487772 memory=412612 CPUtime=820.21 cores=4,6
/proc/1073907/stat : 1073907 (roundingsat) R 1073895 1073907 1073836 0 -1 4194304 37521 0 1 0 81037 984 0 0 20 0 1 0 198657241 499478528 103153 134679101440 4194304 7968373 140729212947648 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 20099072 140729212949436 140729212949600 140729212949600 140729212956617 0
/proc/1073907/statm: 121943 103153 1930 922 0 113895 0
Current children cumulated CPU time: 820.21 s
Current children cumulated vsize: 487772 KiB
Current children cumulated memory: 412612 KiB
[startup+882.3 s]
/proc/loadavg: 4.10 4.06 4.00 6/255 1074591
/proc/meminfo: memFree=124409856/131524600 swapFree=131071216/131071996
[pid=1073907] ppid=1073895 vsize=490024 memory=414748 CPUtime=880.08 cores=4,6
/proc/1073907/stat : 1073907 (roundingsat) R 1073895 1073907 1073836 0 -1 4194304 38137 0 1 0 86968 1040 0 0 20 0 1 0 198657241 501784576 103687 134679101440 4194304 7968373 140729212947648 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 20099072 140729212949436 140729212949600 140729212949600 140729212956617 0
/proc/1073907/statm: 122506 103687 1930 922 0 114458 0
Current children cumulated CPU time: 880.08 s
Current children cumulated vsize: 490024 KiB
Current children cumulated memory: 414748 KiB
[startup+942.3 s]
/proc/loadavg: 4.94 4.28 4.08 6/255 1074602
/proc/meminfo: memFree=124395584/131524600 swapFree=131071216/131071996
[pid=1073907] ppid=1073895 vsize=490424 memory=415136 CPUtime=939.96 cores=4,6
/proc/1073907/stat : 1073907 (roundingsat) R 1073895 1073907 1073836 0 -1 4194304 38353 0 1 0 92894 1102 0 0 20 0 1 0 198657241 502194176 103784 134679101440 4194304 7968373 140729212947648 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 20099072 140729212949436 140729212949600 140729212949600 140729212956617 0
/proc/1073907/statm: 122606 103784 1930 922 0 114558 0
Current children cumulated CPU time: 939.96 s
Current children cumulated vsize: 490424 KiB
Current children cumulated memory: 415136 KiB
[startup+982.039 s]
# the end of solver process 1073907 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=968.332 s, system=11.2897 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+947.2 s]
/proc/loadavg: 4.87 4.28 4.08 7/260 1074742
/proc/meminfo: memFree=124392776/131524600 swapFree=131071216/131071996
[pid=1073907] ppid=1073895 vsize=490424 memory=415136 CPUtime=944.85 cores=4,6
/proc/1073907/stat : 1073907 (roundingsat) R 1073895 1073907 1073836 0 -1 4194304 38357 0 1 0 93379 1106 0 0 20 0 1 0 198657241 502194176 103784 134679101440 4194304 7968373 140729212947648 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 20099072 140729212949436 140729212949600 140729212949600 140729212956617 0
/proc/1073907/statm: 122606 103784 1930 922 0 114558 0
Current children cumulated CPU time: 944.85 s
Current children cumulated vsize: 490424 KiB
Current children cumulated memory: 415136 KiB
[startup+960 s]*
/proc/loadavg: 4.73 4.27 4.08 6/257 1074775
/proc/meminfo: memFree=124394560/131524600 swapFree=131071216/131071996
[pid=1073907] ppid=1073895 vsize=490424 memory=415136 CPUtime=957.62 cores=4,6
/proc/1073907/stat : 1073907 (roundingsat) R 1073895 1073907 1073836 0 -1 4194304 38369 0 1 0 94648 1114 0 0 20 0 1 0 198657241 502194176 103784 134679101440 4194304 7968373 140729212947648 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 20099072 140729212949436 140729212949600 140729212949600 140729212956617 0
/proc/1073907/statm: 122606 103784 1930 922 0 114558 0
Current children cumulated CPU time: 957.62 s
Current children cumulated vsize: 490424 KiB
Current children cumulated memory: 415136 KiB
[startup+972.8 s]
/proc/loadavg: 4.57 4.25 4.08 6/257 1074777
/proc/meminfo: memFree=124394488/131524600 swapFree=131071216/131071996
[pid=1073907] ppid=1073895 vsize=490424 memory=415136 CPUtime=970.39 cores=4,6
/proc/1073907/stat : 1073907 (roundingsat) R 1073895 1073907 1073836 0 -1 4194304 38380 0 1 0 95917 1122 0 0 20 0 1 0 198657241 502194176 103784 134679101440 4194304 7968373 140729212947648 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 20099072 140729212949436 140729212949600 140729212949600 140729212956617 0
/proc/1073907/statm: 122606 103784 1930 922 0 114558 0
Current children cumulated CPU time: 970.39 s
Current children cumulated vsize: 490424 KiB
Current children cumulated memory: 415136 KiB
[startup+976 s]*
/proc/loadavg: 4.53 4.25 4.08 5/257 1074823
/proc/meminfo: memFree=124844556/131524600 swapFree=131071216/131071996
[pid=1073907] ppid=1073895 vsize=490424 memory=415136 CPUtime=973.59 cores=4,6
/proc/1073907/stat : 1073907 (roundingsat) R 1073895 1073907 1073836 0 -1 4194304 38382 0 1 0 96235 1124 0 0 20 0 1 0 198657241 502194176 103784 134679101440 4194304 7968373 140729212947648 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 20099072 140729212949436 140729212949600 140729212949600 140729212956617 0
/proc/1073907/statm: 122606 103784 1930 922 0 114558 0
Current children cumulated CPU time: 973.59 s
Current children cumulated vsize: 490424 KiB
Current children cumulated memory: 415136 KiB
[startup+979.2 s]
/proc/loadavg: 4.53 4.25 4.08 5/257 1074825
/proc/meminfo: memFree=124839776/131524600 swapFree=131071216/131071996
[pid=1073907] ppid=1073895 vsize=490424 memory=415136 CPUtime=976.78 cores=4,6
/proc/1073907/stat : 1073907 (roundingsat) R 1073895 1073907 1073836 0 -1 4194304 38384 0 1 0 96551 1127 0 0 20 0 1 0 198657241 502194176 103784 134679101440 4194304 7968373 140729212947648 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 20099072 140729212949436 140729212949600 140729212949600 140729212956617 0
/proc/1073907/statm: 122606 103784 1930 922 0 114558 0
Current children cumulated CPU time: 976.78 s
Current children cumulated vsize: 490424 KiB
Current children cumulated memory: 415136 KiB
[startup+980.8 s]
/proc/loadavg: 4.53 4.25 4.08 5/257 1074825
/proc/meminfo: memFree=124839524/131524600 swapFree=131071216/131071996
[pid=1073907] ppid=1073895 vsize=490424 memory=415136 CPUtime=978.37 cores=4,6
/proc/1073907/stat : 1073907 (roundingsat) R 1073895 1073907 1073836 0 -1 4194304 38385 0 1 0 96710 1127 0 0 20 0 1 0 198657241 502194176 103784 134679101440 4194304 7968373 140729212947648 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 20099072 140729212949436 140729212949600 140729212949600 140729212956617 0
/proc/1073907/statm: 122606 103784 1930 922 0 114558 0
Current children cumulated CPU time: 978.37 s
Current children cumulated vsize: 490424 KiB
Current children cumulated memory: 415136 KiB
[startup+981.6 s]
/proc/loadavg: 4.56 4.26 4.08 5/257 1074825
/proc/meminfo: memFree=124839300/131524600 swapFree=131071216/131071996
[pid=1073907] ppid=1073895 vsize=490424 memory=415136 CPUtime=979.18 cores=4,6
/proc/1073907/stat : 1073907 (roundingsat) R 1073895 1073907 1073836 0 -1 4194304 38386 0 1 0 96790 1128 0 0 20 0 1 0 198657241 502194176 103784 134679101440 4194304 7968373 140729212947648 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 20099072 140729212949436 140729212949600 140729212949600 140729212956617 0
/proc/1073907/statm: 122606 103784 1930 922 0 114558 0
Current children cumulated CPU time: 979.18 s
Current children cumulated vsize: 490424 KiB
Current children cumulated memory: 415136 KiB
[startup+982 s]*
/proc/loadavg: 4.56 4.26 4.08 5/257 1074825
/proc/meminfo: memFree=124838200/131524600 swapFree=131071216/131071996
[pid=1073907] ppid=1073895 vsize=490424 memory=415136 CPUtime=979.58 cores=4,6
/proc/1073907/stat : 1073907 (roundingsat) R 1073895 1073907 1073836 0 -1 4194304 38386 0 1 0 96830 1128 0 0 20 0 1 0 198657241 502194176 103784 134679101440 4194304 7968373 140729212947648 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 20099072 140729212949436 140729212949600 140729212949600 140729212956617 0
/proc/1073907/statm: 122606 103784 1930 922 0 114558 0
Current children cumulated CPU time: 979.58 s
Current children cumulated vsize: 490424 KiB
Current children cumulated memory: 415136 KiB
Child status: 0
Real time (s): 982.039
CPU time (s): 979.622
CPU user time (s): 968.332
CPU system time (s): 11.2897
CPU usage (%): 99.7539
Max. virtual memory (cumulated for all children) (KiB): 490424
Max. memory (cumulated for all children) (KiB): 415136
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 968.332
system time used= 11.2897
maximum resident set size= 415136
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38394
page faults= 1
swaps= 0
block input operations= 96
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 74
involuntary context switches= 835
# summary of solver processes directly reported to runsolver:
# pid: 1073907
# total CPU time (s): 979.622
# total CPU user time (s): 968.332
# total CPU system time (s): 11.2897
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.821 second user time and 4.8373 second system time
The end
Begin job on nodeC018 at 2024-07-20 10:42:40 IDJOB=4455613 IDBENCH=158370 IDSOLVER=3084 FILE ID=nodeC018/4455613-1721464948 RUNJOBID= nodeC018-1721464960-1073847 SLURM_JOB_ID= 7545715 Free space on /tmp= 890084 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-4455613-1721464948/watcher-4455613-1721464948 -o /tmp/evaluation-result-4455613-1721464948/solver-4455613-1721464948 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1721464960-1073847 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455613-1721464948.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 50081d64c9df1fe5f37c653f2c9a5c32 RANDOM SEED=1081052915 nodeC018.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3533.285 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.52 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3590.671 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.30 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3507.226 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.52 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3575.457 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.30 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3481.960 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.52 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3557.017 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.30 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3838.743 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.52 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3605.974 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.30 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 125505988 kB MemAvailable: 129733540 kB Buffers: 566952 kB Cached: 4461440 kB SwapCached: 148 kB Active: 1140340 kB Inactive: 4221568 kB Active(anon): 1480 kB Inactive(anon): 378468 kB Active(file): 1138860 kB Inactive(file): 3843100 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071216 kB Dirty: 21556 kB Writeback: 0 kB AnonPages: 333740 kB Mapped: 109744 kB Shmem: 45784 kB KReclaimable: 170832 kB Slab: 274912 kB SReclaimable: 170832 kB SUnreclaim: 104080 kB KernelStack: 3804 kB PageTables: 10008 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 809600 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 37568 kB HardwareCorrupted: 0 kB AnonHugePages: 262144 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: 283348 kB DirectMap2M: 28850176 kB DirectMap1G: 106954752 kB Free space on /tmp at the end= 890060 MiB End job on nodeC018 at 2024-07-20 10:59:03