| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat nolog (1) | OPT | 18 | 1835.3 | 1840.94 |
| Name | PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_8.opb |
| MD5SUM | beae51edba02eeda3c8007d8306fd545 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 18 |
| Best CPU time to get the best result obtained on this benchmark | 16.5068 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 4318 |
| Total number of constraints | 15120 |
| Number of constraints which are clauses | 15112 |
| Number of constraints which are cardinality constraints (but not clauses) | 1 |
| Number of constraints which are nor clauses,nor cardinality constraints | 7 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 490 |
| Number of terms in the objective function | 490 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 490 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 28 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 518 |
| Number of bits of the biggest sum of numbers | 10 |
| 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.04 c #variables 4318 #constraints 15120 22.82/22.97 c bounds 491 >= 5 @ 0.026848 22.82/22.97 c bounds 24 >= 5 @ 0.166893 22.82/22.97 c bounds 24 >= 6 @ 0.202738 22.82/22.97 c bounds 24 >= 7 @ 0.202823 22.82/22.97 c bounds 23 >= 7 @ 0.427213 22.82/22.97 c bounds 23 >= 8 @ 0.427792 22.82/22.97 c bounds 23 >= 9 @ 0.428282 22.82/22.97 c bounds 23 >= 10 @ 0.428757 22.82/22.97 c bounds 23 >= 11 @ 0.429534 22.82/22.97 c bounds 23 >= 12 @ 0.43062 22.82/22.97 c bounds 23 >= 13 @ 0.44183 22.82/22.97 c bounds 23 >= 14 @ 0.934392 22.82/22.97 c #Conflicts: 1000 | #Constraints: 16177 22.82/22.97 c #Conflicts: 2000 | #Constraints: 17177 22.82/22.97 c INPROCESSING 22.82/22.97 c GARBAGE COLLECT 22.82/22.97 c #Conflicts: 3000 | #Constraints: 17170 22.82/22.97 c #Conflicts: 4000 | #Constraints: 18170 22.82/22.97 c INPROCESSING 22.82/22.97 c GARBAGE COLLECT 22.82/22.97 c #Conflicts: 5000 | #Constraints: 17616 22.82/22.97 c #Conflicts: 6000 | #Constraints: 18616 22.82/22.97 c INPROCESSING 22.82/22.97 c GARBAGE COLLECT 22.82/22.97 c #Conflicts: 7000 | #Constraints: 17599 22.82/22.97 c #Conflicts: 8000 | #Constraints: 18599 22.82/22.97 c #Conflicts: 9000 | #Constraints: 19600 22.82/22.97 c INPROCESSING 22.82/22.97 c GARBAGE COLLECT 22.82/22.97 c #Conflicts: 10000 | #Constraints: 18326 22.82/22.97 c bounds 23 >= 15 @ 18.8909 22.82/22.97 c #Conflicts: 11000 | #Constraints: 19341 22.82/22.97 c #Conflicts: 12000 | #Constraints: 20341 22.82/22.97 c INPROCESSING 22.82/22.97 c GARBAGE COLLECT 22.82/22.97 c #Conflicts: 13000 | #Constraints: 18778 22.82/22.97 c #Conflicts: 14000 | #Constraints: 19780 22.82/22.97 c #Conflicts: 15000 | #Constraints: 20783 22.82/22.97 c INPROCESSING 22.82/22.97 c GARBAGE COLLECT 22.82/22.97 c rational objective 15 26.61/26.76 c #Conflicts: 16000 | #Constraints: 18991 26.61/26.76 c #Conflicts: 17000 | #Constraints: 19991 26.61/26.76 c #Conflicts: 18000 | #Constraints: 20993 26.61/26.76 c INPROCESSING 26.61/26.76 c GARBAGE COLLECT 26.61/26.76 c rational objective 15 33.30/33.43 c #Conflicts: 19000 | #Constraints: 19008 33.30/33.43 c bounds 23 >= 16 @ 29.9041 33.30/33.43 c #Conflicts: 20000 | #Constraints: 20026 33.30/33.43 c bounds 22 >= 16 @ 31.0725 33.30/33.43 c #Conflicts: 21000 | #Constraints: 21029 33.30/33.43 c INPROCESSING 33.30/33.43 c GARBAGE COLLECT 33.30/33.43 c rational objective 16 37.09/37.28 c #Conflicts: 22000 | #Constraints: 18855 37.09/37.28 c #Conflicts: 23000 | #Constraints: 19856 37.09/37.28 c bounds 21 >= 16 @ 33.8382 37.09/37.28 c #Conflicts: 24000 | #Constraints: 20857 37.09/37.28 c #Conflicts: 25000 | #Constraints: 21858 37.09/37.28 c INPROCESSING 37.09/37.28 c GARBAGE COLLECT 37.09/37.28 c rational objective 16 50.73/50.93 c #Conflicts: 26000 | #Constraints: 19447 50.73/50.93 c #Conflicts: 27000 | #Constraints: 20447 50.73/50.93 c #Conflicts: 28000 | #Constraints: 21447 50.73/50.93 c #Conflicts: 29000 | #Constraints: 22447 50.73/50.93 c INPROCESSING 50.73/50.93 c GARBAGE COLLECT 50.73/50.93 c rational objective 16 54.12/54.30 c #Conflicts: 30000 | #Constraints: 19890 54.12/54.30 c #Conflicts: 31000 | #Constraints: 20890 54.12/54.30 c #Conflicts: 32000 | #Constraints: 21890 54.12/54.30 c #Conflicts: 33000 | #Constraints: 22890 54.12/54.30 c INPROCESSING 54.12/54.30 c GARBAGE COLLECT 54.12/54.30 c rational objective 16 61.70/61.99 c #Conflicts: 34000 | #Constraints: 20083 61.70/61.99 c #Conflicts: 35000 | #Constraints: 21083 61.70/61.99 c #Conflicts: 36000 | #Constraints: 22083 61.70/61.99 c #Conflicts: 37000 | #Constraints: 23083 61.70/61.99 c INPROCESSING 61.70/61.99 c GARBAGE COLLECT 61.70/61.99 c rational objective 16 70.98/71.29 c #Conflicts: 38000 | #Constraints: 20120 70.98/71.29 c #Conflicts: 39000 | #Constraints: 21120 70.98/71.29 c #Conflicts: 40000 | #Constraints: 22120 70.98/71.29 c #Conflicts: 41000 | #Constraints: 23120 70.98/71.29 c INPROCESSING 70.98/71.29 c GARBAGE COLLECT 70.98/71.29 c rational objective 16 92.72/93.07 c #Conflicts: 42000 | #Constraints: 19915 92.72/93.07 c #Conflicts: 43000 | #Constraints: 20915 92.72/93.07 c #Conflicts: 44000 | #Constraints: 21915 92.72/93.07 c #Conflicts: 45000 | #Constraints: 22915 92.72/93.07 c #Conflicts: 46000 | #Constraints: 23915 92.72/93.07 c INPROCESSING 92.72/93.07 c GARBAGE COLLECT 92.72/93.07 c rational objective 16 98.29/98.69 c #Conflicts: 47000 | #Constraints: 20581 98.29/98.69 c #Conflicts: 48000 | #Constraints: 21581 98.29/98.69 c #Conflicts: 49000 | #Constraints: 22581 98.29/98.69 c #Conflicts: 50000 | #Constraints: 23581 98.29/98.69 c #Conflicts: 51000 | #Constraints: 24581 98.29/98.69 c INPROCESSING 98.29/98.69 c GARBAGE COLLECT 98.29/98.69 c rational objective 16 109.06/109.44 c #Conflicts: 52000 | #Constraints: 20927 109.06/109.44 c #Conflicts: 53000 | #Constraints: 21927 109.06/109.44 c #Conflicts: 54000 | #Constraints: 22927 109.06/109.44 c #Conflicts: 55000 | #Constraints: 23927 109.06/109.44 c #Conflicts: 56000 | #Constraints: 24927 109.06/109.44 c INPROCESSING 109.06/109.44 c GARBAGE COLLECT 109.06/109.44 c rational objective 16 136.77/137.27 c #Conflicts: 57000 | #Constraints: 21103 136.77/137.27 c #Conflicts: 58000 | #Constraints: 22103 136.77/137.27 c #Conflicts: 59000 | #Constraints: 23103 136.77/137.27 c #Conflicts: 60000 | #Constraints: 24103 136.77/137.27 c #Conflicts: 61000 | #Constraints: 25103 136.77/137.27 c INPROCESSING 136.77/137.27 c GARBAGE COLLECT 136.77/137.27 c rational objective 16 145.44/145.96 c #Conflicts: 62000 | #Constraints: 21193 145.44/145.96 c bounds 20 >= 16 @ 135.903 145.44/145.96 c #Conflicts: 63000 | #Constraints: 22194 145.44/145.96 c #Conflicts: 64000 | #Constraints: 23194 145.44/145.96 c #Conflicts: 65000 | #Constraints: 24194 145.44/145.96 c #Conflicts: 66000 | #Constraints: 25194 145.44/145.96 c INPROCESSING 145.44/145.96 c GARBAGE COLLECT 145.44/145.96 c rational objective 16 154.12/154.61 c #Conflicts: 67000 | #Constraints: 20945 154.12/154.61 c #Conflicts: 68000 | #Constraints: 21945 154.12/154.61 c #Conflicts: 69000 | #Constraints: 22945 154.12/154.61 c bounds 19 >= 16 @ 147.535 154.12/154.61 c #Conflicts: 70000 | #Constraints: 23946 154.12/154.61 c #Conflicts: 71000 | #Constraints: 24946 154.12/154.61 c #Conflicts: 72000 | #Constraints: 25946 154.12/154.61 c INPROCESSING 154.12/154.61 c GARBAGE COLLECT 154.12/154.61 c rational objective 16 163.19/163.78 c #Conflicts: 73000 | #Constraints: 21534 163.19/163.78 c #Conflicts: 74000 | #Constraints: 22534 163.19/163.78 c #Conflicts: 75000 | #Constraints: 23534 163.19/163.78 c #Conflicts: 76000 | #Constraints: 24534 163.19/163.78 c #Conflicts: 77000 | #Constraints: 25534 163.19/163.78 c #Conflicts: 78000 | #Constraints: 26534 163.19/163.78 c INPROCESSING 163.19/163.78 c GARBAGE COLLECT 163.19/163.78 c rational objective 16 198.58/199.24 c #Conflicts: 79000 | #Constraints: 21954 198.58/199.24 c #Conflicts: 80000 | #Constraints: 22954 198.58/199.24 c #Conflicts: 81000 | #Constraints: 23954 198.58/199.24 c #Conflicts: 82000 | #Constraints: 24954 198.58/199.24 c #Conflicts: 83000 | #Constraints: 25954 198.58/199.24 c #Conflicts: 84000 | #Constraints: 26954 198.58/199.24 c INPROCESSING 198.58/199.24 c GARBAGE COLLECT 198.58/199.24 c rational objective 16 210.35/211.06 c #Conflicts: 85000 | #Constraints: 22253 210.35/211.06 c #Conflicts: 86000 | #Constraints: 23253 210.35/211.06 c #Conflicts: 87000 | #Constraints: 24253 210.35/211.06 c #Conflicts: 88000 | #Constraints: 25253 210.35/211.06 c #Conflicts: 89000 | #Constraints: 26253 210.35/211.06 c #Conflicts: 90000 | #Constraints: 27253 210.35/211.06 c INPROCESSING 210.35/211.06 c GARBAGE COLLECT 210.35/211.06 c rational objective 16 229.50/230.26 c #Conflicts: 91000 | #Constraints: 22198 229.50/230.26 c #Conflicts: 92000 | #Constraints: 23198 229.50/230.26 c #Conflicts: 93000 | #Constraints: 24198 229.50/230.26 c #Conflicts: 94000 | #Constraints: 25198 229.50/230.26 c #Conflicts: 95000 | #Constraints: 26198 229.50/230.26 c #Conflicts: 96000 | #Constraints: 27198 229.50/230.26 c INPROCESSING 229.50/230.26 c GARBAGE COLLECT 229.50/230.26 c rational objective 16 270.37/271.23 c #Conflicts: 97000 | #Constraints: 21976 270.37/271.23 c #Conflicts: 98000 | #Constraints: 22976 270.37/271.23 c #Conflicts: 99000 | #Constraints: 23976 270.37/271.23 c #Conflicts: 100000 | #Constraints: 24976 270.37/271.23 c #Conflicts: 101000 | #Constraints: 25976 270.37/271.23 c #Conflicts: 102000 | #Constraints: 26976 270.37/271.23 c #Conflicts: 103000 | #Constraints: 27976 270.37/271.23 c INPROCESSING 270.37/271.23 c GARBAGE COLLECT 270.37/271.23 c rational objective 16 285.32/286.28 c #Conflicts: 104000 | #Constraints: 22665 285.32/286.28 c #Conflicts: 105000 | #Constraints: 23665 285.32/286.28 c #Conflicts: 106000 | #Constraints: 24665 285.32/286.28 c #Conflicts: 107000 | #Constraints: 25665 285.32/286.28 c #Conflicts: 108000 | #Constraints: 26665 285.32/286.28 c #Conflicts: 109000 | #Constraints: 27665 285.32/286.28 c #Conflicts: 110000 | #Constraints: 28665 285.32/286.28 c INPROCESSING 285.32/286.28 c GARBAGE COLLECT 285.32/286.28 c rational objective 16 308.06/309.00 c #Conflicts: 111000 | #Constraints: 23010 308.06/309.00 c #Conflicts: 112000 | #Constraints: 24010 308.06/309.00 c bounds 19 >= 17 @ 294.818 308.06/309.00 c #Conflicts: 113000 | #Constraints: 25037 308.06/309.00 c #Conflicts: 114000 | #Constraints: 26037 308.06/309.00 c #Conflicts: 115000 | #Constraints: 27037 308.06/309.00 c #Conflicts: 116000 | #Constraints: 28037 308.06/309.00 c #Conflicts: 117000 | #Constraints: 29037 308.06/309.00 c INPROCESSING 308.06/309.00 c GARBAGE COLLECT 308.06/309.00 c rational objective 17 339.86/340.99 c #Conflicts: 118000 | #Constraints: 23210 339.86/340.99 c #Conflicts: 119000 | #Constraints: 24210 339.86/340.99 c #Conflicts: 120000 | #Constraints: 25210 339.86/340.99 c #Conflicts: 121000 | #Constraints: 26210 339.86/340.99 c #Conflicts: 122000 | #Constraints: 27210 339.86/340.99 c #Conflicts: 123000 | #Constraints: 28210 339.86/340.99 c #Conflicts: 124000 | #Constraints: 29210 339.86/340.99 c INPROCESSING 339.86/340.99 c GARBAGE COLLECT 339.86/340.99 c rational objective 17 372.06/373.27 c #Conflicts: 125000 | #Constraints: 23295 372.06/373.27 c #Conflicts: 126000 | #Constraints: 24295 372.06/373.27 c #Conflicts: 127000 | #Constraints: 25295 372.06/373.27 c #Conflicts: 128000 | #Constraints: 26295 372.06/373.27 c #Conflicts: 129000 | #Constraints: 27295 372.06/373.27 c #Conflicts: 130000 | #Constraints: 28295 372.06/373.27 c #Conflicts: 131000 | #Constraints: 29295 372.06/373.27 c INPROCESSING 372.06/373.27 c GARBAGE COLLECT 372.06/373.27 c rational objective 17 406.35/407.69 c #Conflicts: 132000 | #Constraints: 23041 406.35/407.69 c #Conflicts: 133000 | #Constraints: 24041 406.35/407.69 c #Conflicts: 134000 | #Constraints: 25041 406.35/407.69 c #Conflicts: 135000 | #Constraints: 26041 406.35/407.69 c #Conflicts: 136000 | #Constraints: 27041 406.35/407.69 c #Conflicts: 137000 | #Constraints: 28041 406.35/407.69 c #Conflicts: 138000 | #Constraints: 29041 406.35/407.69 c #Conflicts: 139000 | #Constraints: 30041 406.35/407.69 c INPROCESSING 406.35/407.69 c GARBAGE COLLECT 406.35/407.69 c rational objective 17 428.48/429.89 c #Conflicts: 140000 | #Constraints: 23672 428.48/429.89 c #Conflicts: 141000 | #Constraints: 24673 428.48/429.89 c #Conflicts: 142000 | #Constraints: 25673 428.48/429.89 c #Conflicts: 143000 | #Constraints: 26673 428.48/429.89 c #Conflicts: 144000 | #Constraints: 27673 428.48/429.89 c #Conflicts: 145000 | #Constraints: 28673 428.48/429.89 c #Conflicts: 146000 | #Constraints: 29673 428.48/429.89 c #Conflicts: 147000 | #Constraints: 30673 428.48/429.89 c INPROCESSING 428.48/429.89 c GARBAGE COLLECT 428.48/429.89 c rational objective 17 475.93/477.42 c #Conflicts: 148000 | #Constraints: 24046 475.93/477.42 c #Conflicts: 149000 | #Constraints: 25046 475.93/477.42 c #Conflicts: 150000 | #Constraints: 26046 475.93/477.42 c #Conflicts: 151000 | #Constraints: 27046 475.93/477.42 c #Conflicts: 152000 | #Constraints: 28046 475.93/477.42 c #Conflicts: 153000 | #Constraints: 29046 475.93/477.42 c #Conflicts: 154000 | #Constraints: 30046 475.93/477.42 c #Conflicts: 155000 | #Constraints: 31046 475.93/477.42 c INPROCESSING 475.93/477.42 c GARBAGE COLLECT 475.93/477.42 c rational objective 17 502.35/503.97 c #Conflicts: 156000 | #Constraints: 24294 502.35/503.97 c #Conflicts: 157000 | #Constraints: 25294 502.35/503.97 c #Conflicts: 158000 | #Constraints: 26294 502.35/503.97 c #Conflicts: 159000 | #Constraints: 27294 502.35/503.97 c #Conflicts: 160000 | #Constraints: 28294 502.35/503.97 c #Conflicts: 161000 | #Constraints: 29294 502.35/503.97 c #Conflicts: 162000 | #Constraints: 30294 502.35/503.97 c #Conflicts: 163000 | #Constraints: 31294 502.35/503.97 c INPROCESSING 502.35/503.97 c GARBAGE COLLECT 502.35/503.97 c rational objective 17 544.22/545.98 c #Conflicts: 164000 | #Constraints: 24284 544.22/545.98 c #Conflicts: 165000 | #Constraints: 25284 544.22/545.98 c #Conflicts: 166000 | #Constraints: 26284 544.22/545.98 c #Conflicts: 167000 | #Constraints: 27284 544.22/545.98 c #Conflicts: 168000 | #Constraints: 28284 544.22/545.98 c #Conflicts: 169000 | #Constraints: 29284 544.22/545.98 c #Conflicts: 170000 | #Constraints: 30284 544.22/545.98 c #Conflicts: 171000 | #Constraints: 31284 544.22/545.98 c INPROCESSING 544.22/545.98 c GARBAGE COLLECT 544.22/545.98 c rational objective 17 569.25/571.03 c #Conflicts: 172000 | #Constraints: 24099 569.25/571.03 c #Conflicts: 173000 | #Constraints: 25099 569.25/571.03 c #Conflicts: 174000 | #Constraints: 26099 569.25/571.03 c #Conflicts: 175000 | #Constraints: 27099 569.25/571.03 c #Conflicts: 176000 | #Constraints: 28099 569.25/571.03 c #Conflicts: 177000 | #Constraints: 29099 569.25/571.03 c #Conflicts: 178000 | #Constraints: 30099 569.25/571.03 c #Conflicts: 179000 | #Constraints: 31099 569.25/571.03 c #Conflicts: 180000 | #Constraints: 32099 569.25/571.03 c INPROCESSING 569.25/571.03 c GARBAGE COLLECT 569.25/571.03 c rational objective 17 599.95/601.80 c #Conflicts: 181000 | #Constraints: 24665 599.95/601.80 c #Conflicts: 182000 | #Constraints: 25665 599.95/601.80 c #Conflicts: 183000 | #Constraints: 26665 599.95/601.80 c #Conflicts: 184000 | #Constraints: 27665 599.95/601.80 c #Conflicts: 185000 | #Constraints: 28665 599.95/601.80 c #Conflicts: 186000 | #Constraints: 29665 599.95/601.80 c #Conflicts: 187000 | #Constraints: 30665 599.95/601.80 c #Conflicts: 188000 | #Constraints: 31665 599.95/601.80 c #Conflicts: 189000 | #Constraints: 32665 599.95/601.80 c INPROCESSING 599.95/601.80 c GARBAGE COLLECT 599.95/601.80 c rational objective 17 656.57/658.67 c #Conflicts: 190000 | #Constraints: 25041 656.57/658.67 c #Conflicts: 191000 | #Constraints: 26041 656.57/658.67 c #Conflicts: 192000 | #Constraints: 27041 656.57/658.67 c #Conflicts: 193000 | #Constraints: 28041 656.57/658.67 c #Conflicts: 194000 | #Constraints: 29041 656.57/658.67 c #Conflicts: 195000 | #Constraints: 30041 656.57/658.67 c #Conflicts: 196000 | #Constraints: 31041 656.57/658.67 c #Conflicts: 197000 | #Constraints: 32041 656.57/658.67 c #Conflicts: 198000 | #Constraints: 33041 656.57/658.67 c INPROCESSING 656.57/658.67 c GARBAGE COLLECT 656.57/658.67 c rational objective 17 685.69/687.84 c #Conflicts: 199000 | #Constraints: 25282 685.69/687.84 c #Conflicts: 200000 | #Constraints: 26282 685.69/687.84 c #Conflicts: 201000 | #Constraints: 27282 685.69/687.84 c #Conflicts: 202000 | #Constraints: 28282 685.69/687.84 c #Conflicts: 203000 | #Constraints: 29282 685.69/687.84 c #Conflicts: 204000 | #Constraints: 30282 685.69/687.84 c #Conflicts: 205000 | #Constraints: 31283 685.69/687.84 c #Conflicts: 206000 | #Constraints: 32283 685.69/687.84 c #Conflicts: 207000 | #Constraints: 33283 685.69/687.84 c INPROCESSING 685.69/687.84 c GARBAGE COLLECT 685.69/687.84 c rational objective 17 737.73/740.07 c #Conflicts: 208000 | #Constraints: 25265 737.73/740.07 c #Conflicts: 209000 | #Constraints: 26265 737.73/740.07 c #Conflicts: 210000 | #Constraints: 27265 737.73/740.07 c #Conflicts: 211000 | #Constraints: 28265 737.73/740.07 c #Conflicts: 212000 | #Constraints: 29265 737.73/740.07 c #Conflicts: 213000 | #Constraints: 30265 737.73/740.07 c #Conflicts: 214000 | #Constraints: 31265 737.73/740.07 c #Conflicts: 215000 | #Constraints: 32265 737.73/740.07 c #Conflicts: 216000 | #Constraints: 33265 737.73/740.07 c INPROCESSING 737.73/740.07 c GARBAGE COLLECT 737.73/740.07 c rational objective 17 766.44/768.82 c bounds 18 >= 17 @ 732.335 766.44/768.82 c #Conflicts: 217000 | #Constraints: 25118 766.44/768.82 c #Conflicts: 218000 | #Constraints: 26118 766.44/768.82 c #Conflicts: 219000 | #Constraints: 27118 766.44/768.82 c #Conflicts: 220000 | #Constraints: 28118 766.44/768.82 c #Conflicts: 221000 | #Constraints: 29118 766.44/768.82 c #Conflicts: 222000 | #Constraints: 30118 766.44/768.82 c #Conflicts: 223000 | #Constraints: 31118 766.44/768.82 c #Conflicts: 224000 | #Constraints: 32118 766.44/768.82 c #Conflicts: 225000 | #Constraints: 33118 766.44/768.82 c #Conflicts: 226000 | #Constraints: 34118 766.44/768.82 c INPROCESSING 766.44/768.82 c GARBAGE COLLECT 766.44/768.82 c rational objective 17 825.85/828.41 c #Conflicts: 227000 | #Constraints: 25649 825.85/828.41 c #Conflicts: 228000 | #Constraints: 26649 825.85/828.41 c #Conflicts: 229000 | #Constraints: 27649 825.85/828.41 c #Conflicts: 230000 | #Constraints: 28649 825.85/828.41 c #Conflicts: 231000 | #Constraints: 29649 825.85/828.41 c #Conflicts: 232000 | #Constraints: 30649 825.85/828.41 c #Conflicts: 233000 | #Constraints: 31649 825.85/828.41 c #Conflicts: 234000 | #Constraints: 32649 825.85/828.41 c #Conflicts: 235000 | #Constraints: 33649 825.85/828.41 c #Conflicts: 236000 | #Constraints: 34649 825.85/828.41 c INPROCESSING 825.85/828.41 c GARBAGE COLLECT 825.85/828.41 c rational objective 17 881.88/884.68 c #Conflicts: 237000 | #Constraints: 26110 881.88/884.68 c #Conflicts: 238000 | #Constraints: 27110 881.88/884.68 c #Conflicts: 239000 | #Constraints: 28110 881.88/884.68 c #Conflicts: 240000 | #Constraints: 29110 881.88/884.68 c #Conflicts: 241000 | #Constraints: 30110 881.88/884.68 c #Conflicts: 242000 | #Constraints: 31110 881.88/884.68 c #Conflicts: 243000 | #Constraints: 32110 881.88/884.68 c #Conflicts: 244000 | #Constraints: 33110 881.88/884.68 c #Conflicts: 245000 | #Constraints: 34110 881.88/884.68 c #Conflicts: 246000 | #Constraints: 35110 881.88/884.68 c INPROCESSING 881.88/884.68 c GARBAGE COLLECT 881.88/884.68 c rational objective 17 956.16/959.10 c #Conflicts: 247000 | #Constraints: 26330 956.16/959.10 c #Conflicts: 248000 | #Constraints: 27330 956.16/959.10 c #Conflicts: 249000 | #Constraints: 28330 956.16/959.10 c #Conflicts: 250000 | #Constraints: 29330 956.16/959.10 c #Conflicts: 251000 | #Constraints: 30330 956.16/959.10 c #Conflicts: 252000 | #Constraints: 31330 956.16/959.10 c #Conflicts: 253000 | #Constraints: 32330 956.16/959.10 c #Conflicts: 254000 | #Constraints: 33330 956.16/959.10 c #Conflicts: 255000 | #Constraints: 34330 956.16/959.10 c #Conflicts: 256000 | #Constraints: 35330 956.16/959.10 c INPROCESSING 956.16/959.10 c GARBAGE COLLECT 956.16/959.10 c rational objective 17 989.05/992.12 c #Conflicts: 257000 | #Constraints: 26358 989.05/992.12 c #Conflicts: 258000 | #Constraints: 27358 989.05/992.12 c #Conflicts: 259000 | #Constraints: 28358 989.05/992.12 c #Conflicts: 260000 | #Constraints: 29358 989.05/992.12 c #Conflicts: 261000 | #Constraints: 30358 989.05/992.12 c #Conflicts: 262000 | #Constraints: 31359 989.05/992.12 c #Conflicts: 263000 | #Constraints: 32359 989.05/992.12 c #Conflicts: 264000 | #Constraints: 33359 989.05/992.12 c #Conflicts: 265000 | #Constraints: 34359 989.05/992.12 c #Conflicts: 266000 | #Constraints: 35359 989.05/992.12 c INPROCESSING 989.05/992.12 c GARBAGE COLLECT 989.05/992.12 c rational objective 17 1835.25/1840.93 c #Conflicts: 267000 | #Constraints: 26148 1835.25/1840.93 c #Conflicts: 268000 | #Constraints: 27148 1835.25/1840.93 c #Conflicts: 269000 | #Constraints: 28148 1835.25/1840.93 c #Conflicts: 270000 | #Constraints: 29148 1835.25/1840.93 c #Conflicts: 271000 | #Constraints: 30148 1835.25/1840.93 c #Conflicts: 272000 | #Constraints: 31148 1835.25/1840.93 c #Conflicts: 273000 | #Constraints: 32148 1835.25/1840.93 c #Conflicts: 274000 | #Constraints: 33148 1835.25/1840.93 c #Conflicts: 275000 | #Constraints: 34148 1835.25/1840.93 c #Conflicts: 276000 | #Constraints: 35148 1835.25/1840.93 c #Conflicts: 277000 | #Constraints: 36148 1835.25/1840.93 c #Conflicts: 278000 | #Constraints: 37148 1835.25/1840.93 c #Conflicts: 279000 | #Constraints: 38148 1835.25/1840.93 c #Conflicts: 280000 | #Constraints: 39148 1835.25/1840.93 c #Conflicts: 281000 | #Constraints: 40148 1835.25/1840.93 c #Conflicts: 282000 | #Constraints: 41148 1835.25/1840.93 c #Conflicts: 283000 | #Constraints: 42148 1835.25/1840.93 c #Conflicts: 284000 | #Constraints: 43148 1835.25/1840.93 c #Conflicts: 285000 | #Constraints: 44148 1835.25/1840.93 c #Conflicts: 286000 | #Constraints: 45148 1835.25/1840.93 c #Conflicts: 287000 | #Constraints: 46148 1835.25/1840.93 c #Conflicts: 288000 | #Constraints: 47148 1835.25/1840.93 c #Conflicts: 289000 | #Constraints: 48148 1835.25/1840.93 c #Conflicts: 290000 | #Constraints: 49148 1835.25/1840.93 c #Conflicts: 291000 | #Constraints: 50148 1835.25/1840.93 c #Conflicts: 292000 | #Constraints: 51148 1835.25/1840.93 c #Conflicts: 293000 | #Constraints: 52148 1835.25/1840.93 c #Conflicts: 294000 | #Constraints: 53148 1835.25/1840.93 c #Conflicts: 295000 | #Constraints: 54148 1835.25/1840.93 c #Conflicts: 296000 | #Constraints: 55148 1835.25/1840.93 c #Conflicts: 297000 | #Constraints: 56148 1835.25/1840.93 c #Conflicts: 298000 | #Constraints: 57148 1835.25/1840.93 c #Conflicts: 299000 | #Constraints: 58148 1835.25/1840.93 c #Conflicts: 300000 | #Constraints: 59148 1835.25/1840.93 c #Conflicts: 301000 | #Constraints: 60148 1835.25/1840.93 c #Conflicts: 302000 | #Constraints: 61148 1835.25/1840.93 c #Conflicts: 303000 | #Constraints: 62148 1835.25/1840.93 c #Conflicts: 304000 | #Constraints: 63148 1835.25/1840.93 c #Conflicts: 305000 | #Constraints: 64148 1835.25/1840.93 c #Conflicts: 306000 | #Constraints: 65148 1835.25/1840.93 c #Conflicts: 307000 | #Constraints: 66148 1835.25/1840.93 c #Conflicts: 308000 | #Constraints: 67148 1835.25/1840.93 c #Conflicts: 309000 | #Constraints: 68148 1835.25/1840.93 c bounds 18 >= 18 @ 1826.48 1835.25/1840.93 c cpu time 1826.48 s 1835.25/1840.93 c deterministic time 225748271244 2.26e+11 1835.25/1840.93 c optimization time 0.002262 s 1835.25/1840.93 c total solve time 1826.46 s 1835.25/1840.93 c core-guided solve time 1406.46 s 1835.25/1840.93 c propagation time 1460.83 s 1835.25/1840.93 c conflict analysis time 332.245 s 1835.25/1840.93 c propagations 199286377 1835.25/1840.93 c resolve steps 23856790 1835.25/1840.93 c decisions 4669023 1835.25/1840.93 c conflicts 309238 1835.25/1840.93 c restarts 762 1835.25/1840.93 c inprocessing phases 43 1835.25/1840.93 c input clauses 15164 1835.25/1840.93 c input cardinalities 33 1835.25/1840.93 c input general constraints 73 1835.25/1840.93 c input average constraint length 3.43 1835.25/1840.93 c input average constraint degree 1.38 1835.25/1840.93 c learned clauses 137948 1835.25/1840.93 c learned cardinalities 1930 1835.25/1840.93 c learned general constraints 169406 1835.25/1840.93 c learned average constraint length 932.86 1835.25/1840.93 c learned average constraint degree 19870133.41 1835.25/1840.93 c watched constraints 132842 1835.25/1840.93 c counting constraints 36637 1835.25/1840.93 c gcd simplifications 1579 1835.25/1840.93 c detected cardinalities 11 1835.25/1840.93 c weakened non-implied lits 18052431 1835.25/1840.93 c weakened non-implying lits 60510 1835.25/1840.93 c original variables 4318 1835.25/1840.93 c clausal propagations 158684928 1835.25/1840.93 c cardinality propagations 1567354 1835.25/1840.93 c watched propagations 5295222 1835.25/1840.93 c counting propagations 32927992 1835.25/1840.93 c watch lookups 23822318377 1835.25/1840.93 c watch backjump lookups 18473277878 1835.25/1840.93 c watch checks 175799882735 1835.25/1840.93 c propagation checks 6459538260 1835.25/1840.93 c constraint additions 784691183 1835.25/1840.93 c trail pops 204264602 1835.25/1840.93 c formula constraints 15120 1835.25/1840.93 c learned constraints 309223 1835.25/1840.93 c bound constraints 31 1835.25/1840.93 c core-guided constraints 119 1835.25/1840.93 c encountered formula constraints 20527167 1835.25/1840.93 c encountered learned constraints 3535706 1835.25/1840.93 c encountered bound constraints 296 1835.25/1840.93 c encountered core-guided constraints 102201 1835.25/1840.93 c LP total time 71.0973 s 1835.25/1840.93 c LP solve time 59.91 s 1835.25/1840.93 c LP constraints added 15349 1835.25/1840.93 c LP constraints removed 215 1835.25/1840.93 c LP pivots internal 309406 1835.25/1840.93 c LP pivots root 33402 1835.25/1840.93 c LP calls 388 1835.25/1840.93 c LP optimalities 364 1835.25/1840.93 c LP no pivot count 79 1835.25/1840.93 c LP infeasibilities 20 1835.25/1840.93 c LP valid Farkas constraints 20 1835.25/1840.93 c LP learned Farkas constraints 20 1835.25/1840.93 c LP basis resets 0 1835.25/1840.93 c LP cycling count 0 1835.25/1840.93 c LP singular count 0 1835.25/1840.93 c LP no primal count 0 1835.25/1840.93 c LP no farkas count 0 1835.25/1840.93 c LP other issue count 0 1835.25/1840.93 c LP Gomory cuts 21 1835.25/1840.93 c LP learned cuts 208 1835.25/1840.93 c LP deleted cuts 215 1835.25/1840.93 c LP encountered Gomory constraints 0 1835.25/1840.93 c LP encountered Farkas constraints 607 1835.25/1840.93 c LP encountered learned Farkas constraints 31 1835.25/1840.93 c CG auxiliary variables introduced 44 1835.25/1840.93 c CG solutions found 7 1835.25/1840.93 c CG cores constructed 13 1835.25/1840.93 c CG core cardinality constraints returned 0 1835.25/1840.93 c CG unit cores 0 1835.25/1840.93 c CG single cores 13 1835.25/1840.93 c CG blocks removed during cardinality reduction 0 1835.25/1840.93 c CG first core best 0 1835.25/1840.93 c CG decision core best 0 1835.25/1840.93 c CG core reduction tie 0 1835.25/1840.93 c CG core degree average 1.00 1835.25/1840.93 c CG core slack average 38.85 1835.25/1840.93 o 18 1835.25/1840.93 s OPTIMUM FOUND 1835.25/1840.93 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 -x3851 -x3852 x3853 -x3854 -x3855 -x3856 x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 x3948 x3949 -x3950 x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 x4088 -x4089 x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 x4109 -x4110 x4111 -x4112 -x4113 -x4114 -x4115 x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 x4149 -x4150 x4151 -x4152 -x4153 x4154 -x4155 x4156 -x4157 x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 x4226 -x4227 x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 x4247 -x4248 x4249 -x4250 -x4251 x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 x4273 -x4274 x4275 -x4276 -x4277 x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318
OK 18
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 (62051 MiB free)
memory of node 1: 64473 MiB (61509 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4429514-1721049076/watcher-4429514-1721049076 -o /tmp/evaluation-result-4429514-1721049076/solver-4429514-1721049076 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1721049088-805224 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4429514-1721049076.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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=805267, runsolver pid=805260
Current StackSize limit: 8192 KiB
[startup+0.100085 s]*
/proc/loadavg: 1.09 1.10 1.15 6/256 805280
/proc/meminfo: memFree=126483660/131524600 swapFree=131071996/131071996
[pid=805267] ppid=805260 vsize=47484 memory=17940 CPUtime=0.09 cores=5,7
/proc/805267/stat : 805267 (roundingsat) R 805260 805267 805211 0 -1 4194304 3988 0 1 0 7 2 0 0 20 0 1 0 157071397 48623616 4485 134679101440 4194304 7968869 140736814166800 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 8806400 140736814175166 140736814175330 140736814175330 140736814182345 0
/proc/805267/statm: 11871 4485 1744 922 0 3823 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 47484 KiB
Current children cumulated memory: 17940 KiB
[startup+0.206105 s]*
/proc/loadavg: 1.48 1.18 1.18 6/259 805286
/proc/meminfo: memFree=126456508/131524600 swapFree=131071996/131071996
[pid=805267] ppid=805260 vsize=48080 memory=18840 CPUtime=0.19 cores=5,7
/proc/805267/stat : 805267 (roundingsat) R 805260 805267 805211 0 -1 4194304 4170 0 1 0 17 2 0 0 20 0 1 0 157071397 49233920 4710 134679101440 4194304 7968869 140736814166800 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 8806400 140736814175166 140736814175330 140736814175330 140736814182345 0
/proc/805267/statm: 12020 4710 1775 922 0 3972 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 48080 KiB
Current children cumulated memory: 18840 KiB
[startup+0.305984 s]*
/proc/loadavg: 1.48 1.18 1.18 6/259 805286
/proc/meminfo: memFree=126417536/131524600 swapFree=131071996/131071996
[pid=805267] ppid=805260 vsize=48080 memory=19368 CPUtime=0.3 cores=5,7
/proc/805267/stat : 805267 (roundingsat) R 805260 805267 805211 0 -1 4194304 4302 0 1 0 27 3 0 0 20 0 1 0 157071397 49233920 4842 134679101440 4194304 7968869 140736814166800 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 8806400 140736814175166 140736814175330 140736814175330 140736814182345 0
/proc/805267/statm: 12020 4842 1775 922 0 3972 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 48080 KiB
Current children cumulated memory: 19368 KiB
[startup+0.700152 s]
/proc/loadavg: 1.48 1.18 1.18 5/259 805286
/proc/meminfo: memFree=126404896/131524600 swapFree=131071996/131071996
[pid=805267] ppid=805260 vsize=48744 memory=22204 CPUtime=0.69 cores=5,7
/proc/805267/stat : 805267 (roundingsat) R 805260 805267 805211 0 -1 4194304 4543 0 1 0 65 4 0 0 20 0 1 0 157071397 49913856 5551 134679101440 4194304 7968869 140736814166800 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 8806400 140736814175166 140736814175330 140736814175330 140736814182345 0
/proc/805267/statm: 12186 5551 1775 922 0 4138 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 48744 KiB
Current children cumulated memory: 22204 KiB
[startup+1.50021 s]
/proc/loadavg: 1.48 1.18 1.18 6/259 805286
/proc/meminfo: memFree=126376356/131524600 swapFree=131071996/131071996
[pid=805267] ppid=805260 vsize=55336 memory=27728 CPUtime=1.49 cores=5,7
/proc/805267/stat : 805267 (roundingsat) R 805260 805267 805211 0 -1 4194304 6235 0 1 0 142 7 0 0 20 0 1 0 157071397 56664064 6932 134679101440 4194304 7968869 140736814166800 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 8806400 140736814175166 140736814175330 140736814175330 140736814182345 0
/proc/805267/statm: 13834 6932 1807 922 0 5786 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 55336 KiB
Current children cumulated memory: 27728 KiB
[startup+3.10595 s]
/proc/loadavg: 1.48 1.18 1.18 6/259 805286
/proc/meminfo: memFree=126141140/131524600 swapFree=131071996/131071996
[pid=805267] ppid=805260 vsize=56552 memory=30284 CPUtime=3.09 cores=5,7
/proc/805267/stat : 805267 (roundingsat) R 805260 805267 805211 0 -1 4194304 6823 0 1 0 298 11 0 0 20 0 1 0 157071397 57909248 7571 134679101440 4194304 7968869 140736814166800 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 8806400 140736814175166 140736814175330 140736814175330 140736814182345 0
/proc/805267/statm: 14138 7571 1856 922 0 6090 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 56552 KiB
Current children cumulated memory: 30284 KiB
[startup+6.30019 s]
/proc/loadavg: 1.76 1.25 1.20 6/259 805286
/proc/meminfo: memFree=126088468/131524600 swapFree=131071996/131071996
[pid=805267] ppid=805260 vsize=73736 memory=42924 CPUtime=6.27 cores=5,7
/proc/805267/stat : 805267 (roundingsat) R 805260 805267 805211 0 -1 4194304 8910 0 1 0 610 17 0 0 20 0 1 0 157071397 75505664 10731 134679101440 4194304 7968869 140736814166800 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 8806400 140736814175166 140736814175330 140736814175330 140736814182345 0
/proc/805267/statm: 18434 10731 1856 922 0 10386 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 73736 KiB
Current children cumulated memory: 42924 KiB
[startup+12.7002 s]
/proc/loadavg: 2.02 1.31 1.22 6/259 805288
/proc/meminfo: memFree=126049664/131524600 swapFree=131071996/131071996
[pid=805267] ppid=805260 vsize=89508 memory=58720 CPUtime=12.65 cores=5,7
/proc/805267/stat : 805267 (roundingsat) R 805260 805267 805211 0 -1 4194304 10347 0 1 0 1237 28 0 0 20 0 1 0 157071397 91656192 14680 134679101440 4194304 7968869 140736814166800 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 8806400 140736814175166 140736814175330 140736814175330 140736814182345 0
/proc/805267/statm: 22377 14680 1856 922 0 14329 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 89508 KiB
Current children cumulated memory: 58720 KiB
[startup+25.5002 s]
/proc/loadavg: 2.48 1.43 1.26 6/259 805289
/proc/meminfo: memFree=125962224/131524600 swapFree=131071996/131071996
[pid=805267] ppid=805260 vsize=97640 memory=67604 CPUtime=25.41 cores=5,7
/proc/805267/stat : 805267 (roundingsat) R 805260 805267 805211 0 -1 4194304 12073 0 1 0 2495 46 0 0 20 0 1 0 157071397 99983360 16901 134679101440 4194304 7968869 140736814166800 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 8806400 140736814175166 140736814175330 140736814175330 140736814182345 0
/proc/805267/statm: 24410 16901 1856 922 0 16362 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 97640 KiB
Current children cumulated memory: 67604 KiB
[startup+51.1059 s]
/proc/loadavg: 3.15 1.70 1.36 6/259 805294
/proc/meminfo: memFree=125875144/131524600 swapFree=131071996/131071996
[pid=805267] ppid=805260 vsize=130804 memory=86908 CPUtime=50.95 cores=5,7
/proc/805267/stat : 805267 (roundingsat) R 805260 805267 805211 0 -1 4194304 15849 0 1 0 5018 77 0 0 20 0 1 0 157071397 133943296 21727 134679101440 4194304 7968869 140736814166800 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 8806400 140736814175166 140736814175330 140736814175330 140736814182345 0
/proc/805267/statm: 32701 21727 1856 922 0 24653 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 130804 KiB
Current children cumulated memory: 86908 KiB
[startup+102.3 s]
/proc/loadavg: 3.75 2.08 1.51 6/259 805302
/proc/meminfo: memFree=125719820/131524600 swapFree=131071996/131071996
[pid=805267] ppid=805260 vsize=140740 memory=100952 CPUtime=101.98 cores=5,7
/proc/805267/stat : 805267 (roundingsat) R 805260 805267 805211 0 -1 4194304 18413 0 1 0 10056 142 0 0 20 0 1 0 157071397 144117760 25238 134679101440 4194304 7968869 140736814166800 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 8806400 140736814175166 140736814175330 140736814175330 140736814182345 0
/proc/805267/statm: 35185 25238 1856 922 0 27137 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 140740 KiB
Current children cumulated memory: 100952 KiB
[startup+162.3 s]
/proc/loadavg: 4.03 2.47 1.68 6/259 805314
/proc/meminfo: memFree=125537184/131524600 swapFree=131071996/131071996
[pid=805267] ppid=805260 vsize=142040 memory=108636 CPUtime=161.79 cores=5,7
/proc/805267/stat : 805267 (roundingsat) R 805260 805267 805211 0 -1 4194304 18799 0 1 0 15978 201 0 0 20 0 1 0 157071397 145448960 27159 134679101440 4194304 7968869 140736814166800 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 8806400 140736814175166 140736814175330 140736814175330 140736814182345 0
/proc/805267/statm: 35510 27159 1856 922 0 27462 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 142040 KiB
Current children cumulated memory: 108636 KiB
[startup+222.3 s]
/proc/loadavg: 4.21 2.81 1.85 6/256 805324
/proc/meminfo: memFree=125453580/131524600 swapFree=131071996/131071996
[pid=805267] ppid=805260 vsize=146884 memory=120024 CPUtime=221.62 cores=5,7
/proc/805267/stat : 805267 (roundingsat) R 805260 805267 805211 0 -1 4194304 19964 0 1 0 21918 244 0 0 20 0 1 0 157071397 150409216 30006 134679101440 4194304 7968869 140736814166800 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 8806400 140736814175166 140736814175330 140736814175330 140736814182345 0
/proc/805267/statm: 36721 30006 1856 922 0 28673 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 146884 KiB
Current children cumulated memory: 120024 KiB
[startup+282.3 s]
/proc/loadavg: 4.17 3.06 1.99 6/256 805334
/proc/meminfo: memFree=125405660/131524600 swapFree=131071996/131071996
[pid=805267] ppid=805260 vsize=184484 memory=136620 CPUtime=281.43 cores=5,7
/proc/805267/stat : 805267 (roundingsat) R 805260 805267 805211 0 -1 4194304 22124 0 1 0 27858 285 0 0 20 0 1 0 157071397 188911616 34155 134679101440 4194304 7968869 140736814166800 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 8806400 140736814175166 140736814175330 140736814175330 140736814182345 0
/proc/805267/statm: 46121 34155 1856 922 0 38073 0
Current children cumulated CPU time: 281.43 s
Current children cumulated vsize: 184484 KiB
Current children cumulated memory: 136620 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 3.25 2.13 6/255 805346
/proc/meminfo: memFree=125307880/131524600 swapFree=131071996/131071996
[pid=805267] ppid=805260 vsize=187272 memory=139400 CPUtime=341.25 cores=5,7
/proc/805267/stat : 805267 (roundingsat) R 805260 805267 805211 0 -1 4194304 22856 0 1 0 33799 326 0 0 20 0 1 0 157071397 191766528 34850 134679101440 4194304 7968869 140736814166800 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 8806400 140736814175166 140736814175330 140736814175330 140736814182345 0
/proc/805267/statm: 46818 34850 1856 922 0 38770 0
Current children cumulated CPU time: 341.25 s
Current children cumulated vsize: 187272 KiB
Current children cumulated memory: 139400 KiB
[startup+402.3 s]
/proc/loadavg: 4.15 3.42 2.26 6/255 805358
/proc/meminfo: memFree=125272056/131524600 swapFree=131071996/131071996
[pid=805267] ppid=805260 vsize=190696 memory=142824 CPUtime=401.06 cores=5,7
/proc/805267/stat : 805267 (roundingsat) R 805260 805267 805211 0 -1 4194304 23736 0 1 0 39740 366 0 0 20 0 1 0 157071397 195272704 35706 134679101440 4194304 7968869 140736814166800 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 8806400 140736814175166 140736814175330 140736814175330 140736814182345 0
/proc/805267/statm: 47674 35706 1856 922 0 39626 0
Current children cumulated CPU time: 401.06 s
Current children cumulated vsize: 190696 KiB
Current children cumulated memory: 142824 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 3.54 2.37 6/255 805368
/proc/meminfo: memFree=125240976/131524600 swapFree=131071996/131071996
[pid=805267] ppid=805260 vsize=190696 memory=145000 CPUtime=460.88 cores=5,7
/proc/805267/stat : 805267 (roundingsat) R 805260 805267 805211 0 -1 4194304 23777 0 1 0 45685 403 0 0 20 0 1 0 157071397 195272704 36250 134679101440 4194304 7968869 140736814166800 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 8806400 140736814175166 140736814175330 140736814175330 140736814182345 0
/proc/805267/statm: 47674 36250 1856 922 0 39626 0
################
# More data... #
################
/proc/loadavg: 4.19 4.11 3.57 5/254 806321
/proc/meminfo: memFree=120494452/131524600 swapFree=131071996/131071996
[pid=805267] ppid=805260 vsize=413488 memory=360476 CPUtime=1477.77 cores=5,7
/proc/805267/stat : 805267 (roundingsat) R 805260 805267 805211 0 -1 4194304 44692 0 1 0 146949 828 0 0 20 0 1 0 157071397 423411712 90119 134679101440 4194304 7968869 140736814166800 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 8806400 140736814175166 140736814175330 140736814175330 140736814182345 0
/proc/805267/statm: 103372 90119 1856 922 0 95324 0
Current children cumulated CPU time: 1477.77 s
Current children cumulated vsize: 413488 KiB
Current children cumulated memory: 360476 KiB
[startup+1542.3 s]
/proc/loadavg: 4.07 4.09 3.60 5/256 806335
/proc/meminfo: memFree=119974600/131524600 swapFree=131071996/131071996
[pid=805267] ppid=805260 vsize=420284 memory=378816 CPUtime=1537.58 cores=5,7
/proc/805267/stat : 805267 (roundingsat) R 805260 805267 805211 0 -1 4194304 46263 0 1 0 152922 836 0 0 20 0 1 0 157071397 430370816 94704 134679101440 4194304 7968869 140736814166800 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 8806400 140736814175166 140736814175330 140736814175330 140736814182345 0
/proc/805267/statm: 105071 94704 1856 922 0 97023 0
Current children cumulated CPU time: 1537.58 s
Current children cumulated vsize: 420284 KiB
Current children cumulated memory: 378816 KiB
[startup+1602.3 s]
/proc/loadavg: 4.13 4.10 3.64 5/256 806346
/proc/meminfo: memFree=118587792/131524600 swapFree=131071996/131071996
[pid=805267] ppid=805260 vsize=556984 memory=395188 CPUtime=1597.39 cores=5,7
/proc/805267/stat : 805267 (roundingsat) R 805260 805267 805211 0 -1 4194304 47879 0 1 0 158895 844 0 0 20 0 1 0 157071397 570351616 98797 134679101440 4194304 7968869 140736814166800 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 8806400 140736814175166 140736814175330 140736814175330 140736814182345 0
/proc/805267/statm: 139246 98797 1856 922 0 131198 0
Current children cumulated CPU time: 1597.39 s
Current children cumulated vsize: 556984 KiB
Current children cumulated memory: 395188 KiB
[startup+1662.3 s]
/proc/loadavg: 4.10 4.09 3.67 5/256 806356
/proc/meminfo: memFree=117783696/131524600 swapFree=131071996/131071996
[pid=805267] ppid=805260 vsize=563204 memory=419228 CPUtime=1657.2 cores=5,7
/proc/805267/stat : 805267 (roundingsat) R 805260 805267 805211 0 -1 4194304 49303 0 1 0 164867 853 0 0 20 0 1 0 157071397 576720896 104807 134679101440 4194304 7968869 140736814166800 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 8806400 140736814175166 140736814175330 140736814175330 140736814182345 0
/proc/805267/statm: 140801 104807 1856 922 0 132753 0
Current children cumulated CPU time: 1657.2 s
Current children cumulated vsize: 563204 KiB
Current children cumulated memory: 419228 KiB
[startup+1722.3 s]
/proc/loadavg: 4.08 4.09 3.70 5/257 806369
/proc/meminfo: memFree=116412132/131524600 swapFree=131071996/131071996
[pid=805267] ppid=805260 vsize=568280 memory=429976 CPUtime=1717.01 cores=5,7
/proc/805267/stat : 805267 (roundingsat) R 805260 805267 805211 0 -1 4194304 50493 0 1 0 170843 858 0 0 20 0 1 0 157071397 581918720 107494 134679101440 4194304 7968869 140736814166800 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 8806400 140736814175166 140736814175330 140736814175330 140736814182345 0
/proc/805267/statm: 142070 107494 1856 922 0 134022 0
Current children cumulated CPU time: 1717.01 s
Current children cumulated vsize: 568280 KiB
Current children cumulated memory: 429976 KiB
[startup+1782.3 s]
/proc/loadavg: 4.09 4.09 3.73 5/257 806380
/proc/meminfo: memFree=116184372/131524600 swapFree=131071996/131071996
[pid=805267] ppid=805260 vsize=570416 memory=444168 CPUtime=1776.82 cores=5,7
/proc/805267/stat : 805267 (roundingsat) R 805260 805267 805211 0 -1 4194304 51053 0 1 0 176813 869 0 0 20 0 1 0 157071397 584105984 111042 134679101440 4194304 7968869 140736814166800 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 8806400 140736814175166 140736814175330 140736814175330 140736814182345 0
/proc/805267/statm: 142604 111042 1856 922 0 134556 0
Current children cumulated CPU time: 1776.82 s
Current children cumulated vsize: 570416 KiB
Current children cumulated memory: 444168 KiB
[startup+1840.94 s]
# the end of solver process 805267 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=1826.49 s, system=8.8145 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1792 s]*
/proc/loadavg: 4.08 4.08 3.73 5/257 806382
/proc/meminfo: memFree=116181640/131524600 swapFree=131071996/131071996
[pid=805267] ppid=805260 vsize=570804 memory=446660 CPUtime=1786.5 cores=5,7
/proc/805267/stat : 805267 (roundingsat) R 805260 805267 805211 0 -1 4194304 51178 0 1 0 177779 871 0 0 20 0 1 0 157071397 584503296 111665 134679101440 4194304 7968869 140736814166800 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 8806400 140736814175166 140736814175330 140736814175330 140736814182345 0
/proc/805267/statm: 142701 111665 1856 922 0 134653 0
Current children cumulated CPU time: 1786.5 s
Current children cumulated vsize: 570804 KiB
Current children cumulated memory: 446660 KiB
[startup+1817.6 s]
/proc/loadavg: 4.12 4.09 3.75 5/257 806387
/proc/meminfo: memFree=116167976/131524600 swapFree=131071996/131071996
[pid=805267] ppid=805260 vsize=570804 memory=455104 CPUtime=1812.02 cores=5,7
/proc/805267/stat : 805267 (roundingsat) R 805260 805267 805211 0 -1 4194304 51250 0 1 0 180326 876 0 0 20 0 1 0 157071397 584503296 113776 134679101440 4194304 7968869 140736814166800 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 8806400 140736814175166 140736814175330 140736814175330 140736814182345 0
/proc/805267/statm: 142701 113776 1856 922 0 134653 0
Current children cumulated CPU time: 1812.02 s
Current children cumulated vsize: 570804 KiB
Current children cumulated memory: 455104 KiB
[startup+1830.4 s]
/proc/loadavg: 4.10 4.09 3.75 5/257 806389
/proc/meminfo: memFree=116158616/131524600 swapFree=131071996/131071996
[pid=805267] ppid=805260 vsize=571020 memory=459488 CPUtime=1824.78 cores=5,7
/proc/805267/stat : 805267 (roundingsat) R 805260 805267 805211 0 -1 4194304 51351 0 1 0 181599 879 0 0 20 0 1 0 157071397 584724480 114872 134679101440 4194304 7968869 140736814166800 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 8806400 140736814175166 140736814175330 140736814175330 140736814182345 0
/proc/805267/statm: 142755 114872 1856 922 0 134707 0
Current children cumulated CPU time: 1824.78 s
Current children cumulated vsize: 571020 KiB
Current children cumulated memory: 459488 KiB
[startup+1836.8 s]
/proc/loadavg: 4.09 4.09 3.75 5/257 806389
/proc/meminfo: memFree=116156684/131524600 swapFree=131071996/131071996
[pid=805267] ppid=805260 vsize=571020 memory=459488 CPUtime=1831.16 cores=5,7
/proc/805267/stat : 805267 (roundingsat) R 805260 805267 805211 0 -1 4194304 51352 0 1 0 182237 879 0 0 20 0 1 0 157071397 584724480 114872 134679101440 4194304 7968869 140736814166800 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 8806400 140736814175166 140736814175330 140736814175330 140736814182345 0
/proc/805267/statm: 142755 114872 1856 922 0 134707 0
Current children cumulated CPU time: 1831.16 s
Current children cumulated vsize: 571020 KiB
Current children cumulated memory: 459488 KiB
[startup+1838.4 s]
/proc/loadavg: 4.09 4.09 3.75 5/257 806390
/proc/meminfo: memFree=116153992/131524600 swapFree=131071996/131071996
[pid=805267] ppid=805260 vsize=571020 memory=461536 CPUtime=1832.75 cores=5,7
/proc/805267/stat : 805267 (roundingsat) R 805260 805267 805211 0 -1 4194304 51356 0 1 0 182396 879 0 0 20 0 1 0 157071397 584724480 115384 134679101440 4194304 7968869 140736814166800 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 8806400 140736814175166 140736814175330 140736814175330 140736814182345 0
/proc/805267/statm: 142755 115384 1856 922 0 134707 0
Current children cumulated CPU time: 1832.75 s
Current children cumulated vsize: 571020 KiB
Current children cumulated memory: 461536 KiB
[startup+1840 s]*
/proc/loadavg: 4.09 4.09 3.75 5/257 806390
/proc/meminfo: memFree=116153376/131524600 swapFree=131071996/131071996
[pid=805267] ppid=805260 vsize=571020 memory=461536 CPUtime=1834.36 cores=5,7
/proc/805267/stat : 805267 (roundingsat) R 805260 805267 805211 0 -1 4194304 51361 0 1 0 182556 880 0 0 20 0 1 0 157071397 584724480 115384 134679101440 4194304 7968869 140736814166800 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 8806400 140736814175166 140736814175330 140736814175330 140736814182345 0
/proc/805267/statm: 142755 115384 1856 922 0 134707 0
Current children cumulated CPU time: 1834.36 s
Current children cumulated vsize: 571020 KiB
Current children cumulated memory: 461536 KiB
[startup+1840.4 s]
/proc/loadavg: 4.09 4.09 3.75 5/257 806390
/proc/meminfo: memFree=116153376/131524600 swapFree=131071996/131071996
[pid=805267] ppid=805260 vsize=571020 memory=461536 CPUtime=1834.75 cores=5,7
/proc/805267/stat : 805267 (roundingsat) R 805260 805267 805211 0 -1 4194304 51363 0 1 0 182595 880 0 0 20 0 1 0 157071397 584724480 115384 134679101440 4194304 7968869 140736814166800 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 8806400 140736814175166 140736814175330 140736814175330 140736814182345 0
/proc/805267/statm: 142755 115384 1856 922 0 134707 0
Current children cumulated CPU time: 1834.75 s
Current children cumulated vsize: 571020 KiB
Current children cumulated memory: 461536 KiB
[startup+1840.8 s]
/proc/loadavg: 4.09 4.09 3.75 5/257 806390
/proc/meminfo: memFree=116153376/131524600 swapFree=131071996/131071996
[pid=805267] ppid=805260 vsize=571020 memory=461536 CPUtime=1835.15 cores=5,7
/proc/805267/stat : 805267 (roundingsat) R 805260 805267 805211 0 -1 4194304 51365 0 1 0 182635 880 0 0 20 0 1 0 157071397 584724480 115384 134679101440 4194304 7968869 140736814166800 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 8806400 140736814175166 140736814175330 140736814175330 140736814182345 0
/proc/805267/statm: 142755 115384 1856 922 0 134707 0
Current children cumulated CPU time: 1835.15 s
Current children cumulated vsize: 571020 KiB
Current children cumulated memory: 461536 KiB
[startup+1840.9 s]
/proc/loadavg: 4.09 4.09 3.75 5/257 806390
/proc/meminfo: memFree=116153376/131524600 swapFree=131071996/131071996
[pid=805267] ppid=805260 vsize=571020 memory=461536 CPUtime=1835.25 cores=5,7
/proc/805267/stat : 805267 (roundingsat) R 805260 805267 805211 0 -1 4194304 51365 0 1 0 182645 880 0 0 20 0 1 0 157071397 584724480 115384 134679101440 4194304 7968869 140736814166800 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 8806400 140736814175166 140736814175330 140736814175330 140736814182345 0
/proc/805267/statm: 142755 115384 1856 922 0 134707 0
Current children cumulated CPU time: 1835.25 s
Current children cumulated vsize: 571020 KiB
Current children cumulated memory: 461536 KiB
Child status: 0
Real time (s): 1840.94
CPU time (s): 1835.3
CPU user time (s): 1826.49
CPU system time (s): 8.8145
CPU usage (%): 99.6936
Max. virtual memory (cumulated for all children) (KiB): 571020
Max. memory (cumulated for all children) (KiB): 461536
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1826.49
system time used= 8.8145
maximum resident set size= 461536
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51374
page faults= 1
swaps= 0
block input operations= 160
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 47
involuntary context switches= 1963
# summary of solver processes directly reported to runsolver:
# pid: 805267
# total CPU time (s): 1835.3
# total CPU user time (s): 1826.49
# total CPU system time (s): 8.8145
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.89704 second user time and 9.46922 second system time
The end
Begin job on nodeC021 at 2024-07-15 15:11:28 IDJOB=4429514 IDBENCH=148191 IDSOLVER=3051 FILE ID=nodeC021/4429514-1721049076 RUNJOBID= nodeC021-1721049088-805224 SLURM_JOB_ID= 7505474 Free space on /tmp= 890080 MiB SOLVER NAME= RoundingSat nolog BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_8.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-4429514-1721049076/watcher-4429514-1721049076 -o /tmp/evaluation-result-4429514-1721049076/solver-4429514-1721049076 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1721049088-805224 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4429514-1721049076.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= beae51edba02eeda3c8007d8306fd545 RANDOM SEED=903420505 nodeC021.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 : 3716.828 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.42 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 : 3730.552 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.23 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 : 3682.751 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.42 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 : 3795.202 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.23 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 : 3677.663 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.42 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 : 3610.483 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.23 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 : 3612.605 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.42 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 : 3825.483 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.23 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 126531636 kB MemAvailable: 129684116 kB Buffers: 365324 kB Cached: 3590456 kB SwapCached: 0 kB Active: 624436 kB Inactive: 3701428 kB Active(anon): 1428 kB Inactive(anon): 406692 kB Active(file): 623008 kB Inactive(file): 3294736 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 21944 kB Writeback: 0 kB AnonPages: 369724 kB Mapped: 102884 kB Shmem: 37720 kB KReclaimable: 149116 kB Slab: 262232 kB SReclaimable: 149116 kB SUnreclaim: 113116 kB KernelStack: 3888 kB PageTables: 9876 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 742620 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 60800 kB HardwareCorrupted: 0 kB AnonHugePages: 237568 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: 248532 kB DirectMap2M: 21544960 kB DirectMap1G: 114294784 kB Free space on /tmp at the end= 889472 MiB End job on nodeC021 at 2024-07-15 15:42:09