| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat nolog (2) | OPT | 18 | 1698.19 | 1702.61 |
| 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 23.33/23.40 c bounds - >= 5 @ 0.032981 23.33/23.40 c bounds 24 >= 5 @ 0.175933 23.33/23.40 c bounds 24 >= 6 @ 0.211567 23.33/23.40 c bounds 24 >= 7 @ 0.212628 23.33/23.40 c bounds 23 >= 7 @ 0.438276 23.33/23.40 c bounds 23 >= 8 @ 0.438462 23.33/23.40 c bounds 23 >= 9 @ 0.438462 23.33/23.40 c bounds 23 >= 10 @ 0.438462 23.33/23.40 c bounds 23 >= 11 @ 0.438671 23.33/23.40 c bounds 23 >= 12 @ 0.439709 23.33/23.40 c bounds 23 >= 13 @ 0.45188 23.33/23.40 c bounds 23 >= 14 @ 0.948831 23.33/23.40 c #Conflicts: 1000 | #Constraints: 16177 23.33/23.40 c #Conflicts: 2000 | #Constraints: 17177 23.33/23.40 c INPROCESSING 23.33/23.40 c GARBAGE COLLECT 23.33/23.40 c #Conflicts: 3000 | #Constraints: 17170 23.33/23.40 c #Conflicts: 4000 | #Constraints: 18170 23.33/23.40 c INPROCESSING 23.33/23.40 c GARBAGE COLLECT 23.33/23.40 c #Conflicts: 5000 | #Constraints: 17616 23.33/23.40 c #Conflicts: 6000 | #Constraints: 18616 23.33/23.40 c INPROCESSING 23.33/23.40 c GARBAGE COLLECT 23.33/23.40 c #Conflicts: 7000 | #Constraints: 17599 23.33/23.40 c #Conflicts: 8000 | #Constraints: 18599 23.33/23.40 c #Conflicts: 9000 | #Constraints: 19600 23.33/23.40 c INPROCESSING 23.33/23.40 c GARBAGE COLLECT 23.33/23.40 c #Conflicts: 10000 | #Constraints: 18326 23.33/23.40 c bounds 23 >= 15 @ 19.3377 23.33/23.40 c #Conflicts: 11000 | #Constraints: 19341 23.33/23.40 c #Conflicts: 12000 | #Constraints: 20341 23.33/23.40 c INPROCESSING 23.33/23.40 c GARBAGE COLLECT 23.33/23.40 c #Conflicts: 13000 | #Constraints: 18778 23.33/23.40 c #Conflicts: 14000 | #Constraints: 19780 23.33/23.40 c #Conflicts: 15000 | #Constraints: 20783 23.33/23.40 c INPROCESSING 23.33/23.40 c GARBAGE COLLECT 23.33/23.40 c rational objective 15 27.12/27.24 c #Conflicts: 16000 | #Constraints: 18991 27.12/27.24 c #Conflicts: 17000 | #Constraints: 19991 27.12/27.24 c #Conflicts: 18000 | #Constraints: 20993 27.12/27.24 c INPROCESSING 27.12/27.24 c GARBAGE COLLECT 27.12/27.24 c rational objective 15 34.11/34.22 c #Conflicts: 19000 | #Constraints: 19008 34.11/34.22 c bounds 23 >= 16 @ 30.6358 34.11/34.22 c #Conflicts: 20000 | #Constraints: 20026 34.11/34.22 c bounds 22 >= 16 @ 31.8486 34.11/34.22 c #Conflicts: 21000 | #Constraints: 21029 34.11/34.22 c INPROCESSING 34.11/34.22 c GARBAGE COLLECT 34.11/34.22 c rational objective 16 38.10/38.20 c #Conflicts: 22000 | #Constraints: 18855 38.10/38.20 c #Conflicts: 23000 | #Constraints: 19856 38.10/38.20 c bounds 21 >= 16 @ 34.7267 38.10/38.20 c #Conflicts: 24000 | #Constraints: 20857 38.10/38.20 c #Conflicts: 25000 | #Constraints: 21858 38.10/38.20 c INPROCESSING 38.10/38.20 c GARBAGE COLLECT 38.10/38.20 c rational objective 16 52.07/52.25 c #Conflicts: 26000 | #Constraints: 19447 52.07/52.25 c #Conflicts: 27000 | #Constraints: 20447 52.07/52.25 c #Conflicts: 28000 | #Constraints: 21447 52.07/52.25 c #Conflicts: 29000 | #Constraints: 22447 52.07/52.25 c INPROCESSING 52.07/52.25 c GARBAGE COLLECT 52.07/52.25 c rational objective 16 55.55/55.73 c #Conflicts: 30000 | #Constraints: 19890 55.55/55.73 c #Conflicts: 31000 | #Constraints: 20890 55.55/55.73 c #Conflicts: 32000 | #Constraints: 21890 55.55/55.73 c #Conflicts: 33000 | #Constraints: 22890 55.55/55.73 c INPROCESSING 55.55/55.73 c GARBAGE COLLECT 55.55/55.73 c rational objective 16 63.23/63.43 c #Conflicts: 34000 | #Constraints: 20083 63.23/63.43 c #Conflicts: 35000 | #Constraints: 21083 63.23/63.43 c #Conflicts: 36000 | #Constraints: 22083 63.23/63.43 c #Conflicts: 37000 | #Constraints: 23083 63.23/63.43 c INPROCESSING 63.23/63.43 c GARBAGE COLLECT 63.23/63.43 c rational objective 16 72.82/73.01 c #Conflicts: 38000 | #Constraints: 20120 72.82/73.01 c #Conflicts: 39000 | #Constraints: 21120 72.82/73.01 c #Conflicts: 40000 | #Constraints: 22120 72.82/73.01 c #Conflicts: 41000 | #Constraints: 23120 72.82/73.01 c INPROCESSING 72.82/73.01 c GARBAGE COLLECT 72.82/73.01 c rational objective 16 95.76/96.10 c #Conflicts: 42000 | #Constraints: 19915 95.76/96.10 c #Conflicts: 43000 | #Constraints: 20915 95.76/96.10 c #Conflicts: 44000 | #Constraints: 21915 95.76/96.10 c #Conflicts: 45000 | #Constraints: 22915 95.76/96.10 c #Conflicts: 46000 | #Constraints: 23915 95.76/96.10 c INPROCESSING 95.76/96.10 c GARBAGE COLLECT 95.76/96.10 c rational objective 16 101.74/102.06 c #Conflicts: 47000 | #Constraints: 20581 101.74/102.06 c #Conflicts: 48000 | #Constraints: 21581 101.74/102.06 c #Conflicts: 49000 | #Constraints: 22581 101.74/102.06 c #Conflicts: 50000 | #Constraints: 23581 101.74/102.06 c #Conflicts: 51000 | #Constraints: 24581 101.74/102.06 c INPROCESSING 101.74/102.06 c GARBAGE COLLECT 101.74/102.06 c rational objective 16 113.31/113.60 c #Conflicts: 52000 | #Constraints: 20927 113.31/113.60 c #Conflicts: 53000 | #Constraints: 21927 113.31/113.60 c #Conflicts: 54000 | #Constraints: 22927 113.31/113.60 c #Conflicts: 55000 | #Constraints: 23927 113.31/113.60 c #Conflicts: 56000 | #Constraints: 24927 113.31/113.60 c INPROCESSING 113.31/113.60 c GARBAGE COLLECT 113.31/113.60 c rational objective 16 140.44/140.84 c #Conflicts: 57000 | #Constraints: 21103 140.44/140.84 c #Conflicts: 58000 | #Constraints: 22103 140.44/140.84 c #Conflicts: 59000 | #Constraints: 23103 140.44/140.84 c #Conflicts: 60000 | #Constraints: 24103 140.44/140.84 c #Conflicts: 61000 | #Constraints: 25103 140.44/140.84 c INPROCESSING 140.44/140.84 c GARBAGE COLLECT 140.44/140.84 c rational objective 16 148.91/149.33 c #Conflicts: 62000 | #Constraints: 21193 148.91/149.33 c bounds 20 >= 16 @ 139.608 148.91/149.33 c #Conflicts: 63000 | #Constraints: 22194 148.91/149.33 c #Conflicts: 64000 | #Constraints: 23194 148.91/149.33 c #Conflicts: 65000 | #Constraints: 24194 148.91/149.33 c #Conflicts: 66000 | #Constraints: 25194 148.91/149.33 c INPROCESSING 148.91/149.33 c GARBAGE COLLECT 148.91/149.33 c rational objective 16 157.50/157.91 c #Conflicts: 67000 | #Constraints: 20945 157.50/157.91 c #Conflicts: 68000 | #Constraints: 21945 157.50/157.91 c #Conflicts: 69000 | #Constraints: 22945 157.50/157.91 c bounds 19 >= 16 @ 151.004 157.50/157.91 c #Conflicts: 70000 | #Constraints: 23946 157.50/157.91 c #Conflicts: 71000 | #Constraints: 24946 157.50/157.91 c #Conflicts: 72000 | #Constraints: 25946 157.50/157.91 c INPROCESSING 157.50/157.91 c GARBAGE COLLECT 157.50/157.91 c rational objective 16 166.08/166.59 c #Conflicts: 73000 | #Constraints: 21534 166.08/166.59 c #Conflicts: 74000 | #Constraints: 22534 166.08/166.59 c #Conflicts: 75000 | #Constraints: 23534 166.08/166.59 c #Conflicts: 76000 | #Constraints: 24534 166.08/166.59 c #Conflicts: 77000 | #Constraints: 25534 166.08/166.59 c #Conflicts: 78000 | #Constraints: 26534 166.08/166.59 c INPROCESSING 166.08/166.59 c GARBAGE COLLECT 166.08/166.59 c rational objective 16 202.58/203.17 c #Conflicts: 79000 | #Constraints: 21954 202.58/203.17 c #Conflicts: 80000 | #Constraints: 22954 202.58/203.17 c #Conflicts: 81000 | #Constraints: 23954 202.58/203.17 c #Conflicts: 82000 | #Constraints: 24954 202.58/203.17 c #Conflicts: 83000 | #Constraints: 25954 202.58/203.17 c #Conflicts: 84000 | #Constraints: 26954 202.58/203.17 c INPROCESSING 202.58/203.17 c GARBAGE COLLECT 202.58/203.17 c rational objective 16 215.94/216.57 c #Conflicts: 85000 | #Constraints: 22253 215.94/216.57 c #Conflicts: 86000 | #Constraints: 23253 215.94/216.57 c #Conflicts: 87000 | #Constraints: 24253 215.94/216.57 c #Conflicts: 88000 | #Constraints: 25253 215.94/216.57 c #Conflicts: 89000 | #Constraints: 26253 215.94/216.57 c #Conflicts: 90000 | #Constraints: 27253 215.94/216.57 c INPROCESSING 215.94/216.57 c GARBAGE COLLECT 215.94/216.57 c rational objective 16 237.88/238.56 c #Conflicts: 91000 | #Constraints: 22198 237.88/238.56 c #Conflicts: 92000 | #Constraints: 23198 237.88/238.56 c #Conflicts: 93000 | #Constraints: 24198 237.88/238.56 c #Conflicts: 94000 | #Constraints: 25198 237.88/238.56 c #Conflicts: 95000 | #Constraints: 26198 237.88/238.56 c #Conflicts: 96000 | #Constraints: 27198 237.88/238.56 c INPROCESSING 237.88/238.56 c GARBAGE COLLECT 237.88/238.56 c rational objective 16 282.67/283.46 c #Conflicts: 97000 | #Constraints: 21976 282.67/283.46 c #Conflicts: 98000 | #Constraints: 22976 282.67/283.46 c #Conflicts: 99000 | #Constraints: 23976 282.67/283.46 c #Conflicts: 100000 | #Constraints: 24976 282.67/283.46 c #Conflicts: 101000 | #Constraints: 25976 282.67/283.46 c #Conflicts: 102000 | #Constraints: 26976 282.67/283.46 c #Conflicts: 103000 | #Constraints: 27976 282.67/283.46 c INPROCESSING 282.67/283.46 c GARBAGE COLLECT 282.67/283.46 c rational objective 16 298.53/299.39 c #Conflicts: 104000 | #Constraints: 22665 298.53/299.39 c #Conflicts: 105000 | #Constraints: 23665 298.53/299.39 c #Conflicts: 106000 | #Constraints: 24665 298.53/299.39 c #Conflicts: 107000 | #Constraints: 25665 298.53/299.39 c #Conflicts: 108000 | #Constraints: 26665 298.53/299.39 c #Conflicts: 109000 | #Constraints: 27665 298.53/299.39 c #Conflicts: 110000 | #Constraints: 28665 298.53/299.39 c INPROCESSING 298.53/299.39 c GARBAGE COLLECT 298.53/299.39 c rational objective 16 321.38/322.24 c #Conflicts: 111000 | #Constraints: 23010 321.38/322.24 c #Conflicts: 112000 | #Constraints: 24010 321.38/322.24 c bounds 19 >= 17 @ 309.102 321.38/322.24 c #Conflicts: 113000 | #Constraints: 25037 321.38/322.24 c #Conflicts: 114000 | #Constraints: 26037 321.38/322.24 c #Conflicts: 115000 | #Constraints: 27037 321.38/322.24 c #Conflicts: 116000 | #Constraints: 28037 321.38/322.24 c #Conflicts: 117000 | #Constraints: 29037 321.38/322.24 c INPROCESSING 321.38/322.24 c GARBAGE COLLECT 321.38/322.24 c rational objective 17 350.22/351.19 c #Conflicts: 118000 | #Constraints: 23210 350.22/351.19 c #Conflicts: 119000 | #Constraints: 24210 350.22/351.19 c #Conflicts: 120000 | #Constraints: 25210 350.22/351.19 c #Conflicts: 121000 | #Constraints: 26210 350.22/351.19 c #Conflicts: 122000 | #Constraints: 27210 350.22/351.19 c #Conflicts: 123000 | #Constraints: 28210 350.22/351.19 c #Conflicts: 124000 | #Constraints: 29210 350.22/351.19 c INPROCESSING 350.22/351.19 c GARBAGE COLLECT 350.22/351.19 c rational objective 17 379.15/380.18 c #Conflicts: 125000 | #Constraints: 23295 379.15/380.18 c #Conflicts: 126000 | #Constraints: 24295 379.15/380.18 c #Conflicts: 127000 | #Constraints: 25295 379.15/380.18 c #Conflicts: 128000 | #Constraints: 26295 379.15/380.18 c #Conflicts: 129000 | #Constraints: 27295 379.15/380.18 c #Conflicts: 130000 | #Constraints: 28295 379.15/380.18 c #Conflicts: 131000 | #Constraints: 29295 379.15/380.18 c INPROCESSING 379.15/380.18 c GARBAGE COLLECT 379.15/380.18 c rational objective 17 410.47/411.50 c #Conflicts: 132000 | #Constraints: 23041 410.47/411.50 c #Conflicts: 133000 | #Constraints: 24041 410.47/411.50 c #Conflicts: 134000 | #Constraints: 25041 410.47/411.50 c #Conflicts: 135000 | #Constraints: 26041 410.47/411.50 c #Conflicts: 136000 | #Constraints: 27041 410.47/411.50 c #Conflicts: 137000 | #Constraints: 28041 410.47/411.50 c #Conflicts: 138000 | #Constraints: 29041 410.47/411.50 c #Conflicts: 139000 | #Constraints: 30041 410.47/411.50 c INPROCESSING 410.47/411.50 c GARBAGE COLLECT 410.47/411.50 c rational objective 17 430.52/431.66 c #Conflicts: 140000 | #Constraints: 23672 430.52/431.66 c #Conflicts: 141000 | #Constraints: 24673 430.52/431.66 c #Conflicts: 142000 | #Constraints: 25673 430.52/431.66 c #Conflicts: 143000 | #Constraints: 26673 430.52/431.66 c #Conflicts: 144000 | #Constraints: 27673 430.52/431.66 c #Conflicts: 145000 | #Constraints: 28673 430.52/431.66 c #Conflicts: 146000 | #Constraints: 29673 430.52/431.66 c #Conflicts: 147000 | #Constraints: 30673 430.52/431.66 c INPROCESSING 430.52/431.66 c GARBAGE COLLECT 430.52/431.66 c rational objective 17 474.52/475.73 c #Conflicts: 148000 | #Constraints: 24046 474.52/475.73 c #Conflicts: 149000 | #Constraints: 25046 474.52/475.73 c #Conflicts: 150000 | #Constraints: 26046 474.52/475.73 c #Conflicts: 151000 | #Constraints: 27046 474.52/475.73 c #Conflicts: 152000 | #Constraints: 28046 474.52/475.73 c #Conflicts: 153000 | #Constraints: 29046 474.52/475.73 c #Conflicts: 154000 | #Constraints: 30046 474.52/475.73 c #Conflicts: 155000 | #Constraints: 31046 474.52/475.73 c INPROCESSING 474.52/475.73 c GARBAGE COLLECT 474.52/475.73 c rational objective 17 498.27/499.58 c #Conflicts: 156000 | #Constraints: 24294 498.27/499.58 c #Conflicts: 157000 | #Constraints: 25294 498.27/499.58 c #Conflicts: 158000 | #Constraints: 26294 498.27/499.58 c #Conflicts: 159000 | #Constraints: 27294 498.27/499.58 c #Conflicts: 160000 | #Constraints: 28294 498.27/499.58 c #Conflicts: 161000 | #Constraints: 29294 498.27/499.58 c #Conflicts: 162000 | #Constraints: 30294 498.27/499.58 c #Conflicts: 163000 | #Constraints: 31294 498.27/499.58 c INPROCESSING 498.27/499.58 c GARBAGE COLLECT 498.27/499.58 c rational objective 17 537.18/538.58 c #Conflicts: 164000 | #Constraints: 24284 537.18/538.58 c #Conflicts: 165000 | #Constraints: 25284 537.18/538.58 c #Conflicts: 166000 | #Constraints: 26284 537.18/538.58 c #Conflicts: 167000 | #Constraints: 27284 537.18/538.58 c #Conflicts: 168000 | #Constraints: 28284 537.18/538.58 c #Conflicts: 169000 | #Constraints: 29284 537.18/538.58 c #Conflicts: 170000 | #Constraints: 30284 537.18/538.58 c #Conflicts: 171000 | #Constraints: 31284 537.18/538.58 c INPROCESSING 537.18/538.58 c GARBAGE COLLECT 537.18/538.58 c rational objective 17 562.11/563.51 c #Conflicts: 172000 | #Constraints: 24099 562.11/563.51 c #Conflicts: 173000 | #Constraints: 25099 562.11/563.51 c #Conflicts: 174000 | #Constraints: 26099 562.11/563.51 c #Conflicts: 175000 | #Constraints: 27099 562.11/563.51 c #Conflicts: 176000 | #Constraints: 28099 562.11/563.51 c #Conflicts: 177000 | #Constraints: 29099 562.11/563.51 c #Conflicts: 178000 | #Constraints: 30099 562.11/563.51 c #Conflicts: 179000 | #Constraints: 31099 562.11/563.51 c #Conflicts: 180000 | #Constraints: 32099 562.11/563.51 c INPROCESSING 562.11/563.51 c GARBAGE COLLECT 562.11/563.51 c rational objective 17 589.74/591.27 c #Conflicts: 181000 | #Constraints: 24665 589.74/591.27 c #Conflicts: 182000 | #Constraints: 25665 589.74/591.27 c #Conflicts: 183000 | #Constraints: 26665 589.74/591.27 c #Conflicts: 184000 | #Constraints: 27665 589.74/591.27 c #Conflicts: 185000 | #Constraints: 28665 589.74/591.27 c #Conflicts: 186000 | #Constraints: 29665 589.74/591.27 c #Conflicts: 187000 | #Constraints: 30665 589.74/591.27 c #Conflicts: 188000 | #Constraints: 31665 589.74/591.27 c #Conflicts: 189000 | #Constraints: 32665 589.74/591.27 c INPROCESSING 589.74/591.27 c GARBAGE COLLECT 589.74/591.27 c rational objective 17 636.62/638.20 c #Conflicts: 190000 | #Constraints: 25041 636.62/638.20 c #Conflicts: 191000 | #Constraints: 26041 636.62/638.20 c #Conflicts: 192000 | #Constraints: 27041 636.62/638.20 c #Conflicts: 193000 | #Constraints: 28041 636.62/638.20 c #Conflicts: 194000 | #Constraints: 29041 636.62/638.20 c #Conflicts: 195000 | #Constraints: 30041 636.62/638.20 c #Conflicts: 196000 | #Constraints: 31041 636.62/638.20 c #Conflicts: 197000 | #Constraints: 32041 636.62/638.20 c #Conflicts: 198000 | #Constraints: 33041 636.62/638.20 c INPROCESSING 636.62/638.20 c GARBAGE COLLECT 636.62/638.20 c rational objective 17 661.77/663.49 c #Conflicts: 199000 | #Constraints: 25282 661.77/663.49 c #Conflicts: 200000 | #Constraints: 26282 661.77/663.49 c #Conflicts: 201000 | #Constraints: 27282 661.77/663.49 c #Conflicts: 202000 | #Constraints: 28282 661.77/663.49 c #Conflicts: 203000 | #Constraints: 29282 661.77/663.49 c #Conflicts: 204000 | #Constraints: 30282 661.77/663.49 c #Conflicts: 205000 | #Constraints: 31283 661.77/663.49 c #Conflicts: 206000 | #Constraints: 32283 661.77/663.49 c #Conflicts: 207000 | #Constraints: 33283 661.77/663.49 c INPROCESSING 661.77/663.49 c GARBAGE COLLECT 661.77/663.49 c rational objective 17 703.67/705.43 c #Conflicts: 208000 | #Constraints: 25265 703.67/705.43 c #Conflicts: 209000 | #Constraints: 26265 703.67/705.43 c #Conflicts: 210000 | #Constraints: 27265 703.67/705.43 c #Conflicts: 211000 | #Constraints: 28265 703.67/705.43 c #Conflicts: 212000 | #Constraints: 29265 703.67/705.43 c #Conflicts: 213000 | #Constraints: 30265 703.67/705.43 c #Conflicts: 214000 | #Constraints: 31265 703.67/705.43 c #Conflicts: 215000 | #Constraints: 32265 703.67/705.43 c #Conflicts: 216000 | #Constraints: 33265 703.67/705.43 c INPROCESSING 703.67/705.43 c GARBAGE COLLECT 703.67/705.43 c rational objective 17 727.72/729.51 c bounds 18 >= 17 @ 698.483 727.72/729.51 c #Conflicts: 217000 | #Constraints: 25118 727.72/729.51 c #Conflicts: 218000 | #Constraints: 26118 727.72/729.51 c #Conflicts: 219000 | #Constraints: 27118 727.72/729.51 c #Conflicts: 220000 | #Constraints: 28118 727.72/729.51 c #Conflicts: 221000 | #Constraints: 29118 727.72/729.51 c #Conflicts: 222000 | #Constraints: 30118 727.72/729.51 c #Conflicts: 223000 | #Constraints: 31118 727.72/729.51 c #Conflicts: 224000 | #Constraints: 32118 727.72/729.51 c #Conflicts: 225000 | #Constraints: 33118 727.72/729.51 c #Conflicts: 226000 | #Constraints: 34118 727.72/729.51 c INPROCESSING 727.72/729.51 c GARBAGE COLLECT 727.72/729.51 c rational objective 17 774.82/776.76 c #Conflicts: 227000 | #Constraints: 25649 774.82/776.76 c #Conflicts: 228000 | #Constraints: 26649 774.82/776.76 c #Conflicts: 229000 | #Constraints: 27649 774.82/776.76 c #Conflicts: 230000 | #Constraints: 28649 774.82/776.76 c #Conflicts: 231000 | #Constraints: 29649 774.82/776.76 c #Conflicts: 232000 | #Constraints: 30649 774.82/776.76 c #Conflicts: 233000 | #Constraints: 31649 774.82/776.76 c #Conflicts: 234000 | #Constraints: 32649 774.82/776.76 c #Conflicts: 235000 | #Constraints: 33649 774.82/776.76 c #Conflicts: 236000 | #Constraints: 34649 774.82/776.76 c INPROCESSING 774.82/776.76 c GARBAGE COLLECT 774.82/776.76 c rational objective 17 821.50/823.52 c #Conflicts: 237000 | #Constraints: 26110 821.50/823.52 c #Conflicts: 238000 | #Constraints: 27110 821.50/823.52 c #Conflicts: 239000 | #Constraints: 28110 821.50/823.52 c #Conflicts: 240000 | #Constraints: 29110 821.50/823.52 c #Conflicts: 241000 | #Constraints: 30110 821.50/823.52 c #Conflicts: 242000 | #Constraints: 31110 821.50/823.52 c #Conflicts: 243000 | #Constraints: 32110 821.50/823.52 c #Conflicts: 244000 | #Constraints: 33110 821.50/823.52 c #Conflicts: 245000 | #Constraints: 34110 821.50/823.52 c #Conflicts: 246000 | #Constraints: 35110 821.50/823.52 c INPROCESSING 821.50/823.52 c GARBAGE COLLECT 821.50/823.52 c rational objective 17 881.98/884.12 c #Conflicts: 247000 | #Constraints: 26330 881.98/884.12 c #Conflicts: 248000 | #Constraints: 27330 881.98/884.12 c #Conflicts: 249000 | #Constraints: 28330 881.98/884.12 c #Conflicts: 250000 | #Constraints: 29330 881.98/884.12 c #Conflicts: 251000 | #Constraints: 30330 881.98/884.12 c #Conflicts: 252000 | #Constraints: 31330 881.98/884.12 c #Conflicts: 253000 | #Constraints: 32330 881.98/884.12 c #Conflicts: 254000 | #Constraints: 33330 881.98/884.12 c #Conflicts: 255000 | #Constraints: 34330 881.98/884.12 c #Conflicts: 256000 | #Constraints: 35330 881.98/884.12 c INPROCESSING 881.98/884.12 c GARBAGE COLLECT 881.98/884.12 c rational objective 17 909.71/911.98 c #Conflicts: 257000 | #Constraints: 26358 909.71/911.98 c #Conflicts: 258000 | #Constraints: 27358 909.71/911.98 c #Conflicts: 259000 | #Constraints: 28358 909.71/911.98 c #Conflicts: 260000 | #Constraints: 29358 909.71/911.98 c #Conflicts: 261000 | #Constraints: 30358 909.71/911.98 c #Conflicts: 262000 | #Constraints: 31359 909.71/911.98 c #Conflicts: 263000 | #Constraints: 32359 909.71/911.98 c #Conflicts: 264000 | #Constraints: 33359 909.71/911.98 c #Conflicts: 265000 | #Constraints: 34359 909.71/911.98 c #Conflicts: 266000 | #Constraints: 35359 909.71/911.98 c INPROCESSING 909.71/911.98 c GARBAGE COLLECT 909.71/911.98 c rational objective 17 1698.17/1702.60 c #Conflicts: 267000 | #Constraints: 26148 1698.17/1702.60 c #Conflicts: 268000 | #Constraints: 27148 1698.17/1702.60 c #Conflicts: 269000 | #Constraints: 28148 1698.17/1702.60 c #Conflicts: 270000 | #Constraints: 29148 1698.17/1702.60 c #Conflicts: 271000 | #Constraints: 30148 1698.17/1702.60 c #Conflicts: 272000 | #Constraints: 31148 1698.17/1702.60 c #Conflicts: 273000 | #Constraints: 32148 1698.17/1702.60 c #Conflicts: 274000 | #Constraints: 33148 1698.17/1702.60 c #Conflicts: 275000 | #Constraints: 34148 1698.17/1702.60 c #Conflicts: 276000 | #Constraints: 35148 1698.17/1702.60 c #Conflicts: 277000 | #Constraints: 36148 1698.17/1702.60 c #Conflicts: 278000 | #Constraints: 37148 1698.17/1702.60 c #Conflicts: 279000 | #Constraints: 38148 1698.17/1702.60 c #Conflicts: 280000 | #Constraints: 39148 1698.17/1702.60 c #Conflicts: 281000 | #Constraints: 40148 1698.17/1702.60 c #Conflicts: 282000 | #Constraints: 41148 1698.17/1702.60 c #Conflicts: 283000 | #Constraints: 42148 1698.17/1702.60 c #Conflicts: 284000 | #Constraints: 43148 1698.17/1702.60 c #Conflicts: 285000 | #Constraints: 44148 1698.17/1702.60 c #Conflicts: 286000 | #Constraints: 45148 1698.17/1702.60 c #Conflicts: 287000 | #Constraints: 46148 1698.17/1702.60 c #Conflicts: 288000 | #Constraints: 47148 1698.17/1702.60 c #Conflicts: 289000 | #Constraints: 48148 1698.17/1702.60 c #Conflicts: 290000 | #Constraints: 49148 1698.17/1702.60 c #Conflicts: 291000 | #Constraints: 50148 1698.17/1702.60 c #Conflicts: 292000 | #Constraints: 51148 1698.17/1702.60 c #Conflicts: 293000 | #Constraints: 52148 1698.17/1702.60 c #Conflicts: 294000 | #Constraints: 53148 1698.17/1702.60 c #Conflicts: 295000 | #Constraints: 54148 1698.17/1702.60 c #Conflicts: 296000 | #Constraints: 55148 1698.17/1702.60 c #Conflicts: 297000 | #Constraints: 56148 1698.17/1702.60 c #Conflicts: 298000 | #Constraints: 57148 1698.17/1702.60 c #Conflicts: 299000 | #Constraints: 58148 1698.17/1702.60 c #Conflicts: 300000 | #Constraints: 59148 1698.17/1702.60 c #Conflicts: 301000 | #Constraints: 60148 1698.17/1702.60 c #Conflicts: 302000 | #Constraints: 61148 1698.17/1702.60 c #Conflicts: 303000 | #Constraints: 62148 1698.17/1702.60 c #Conflicts: 304000 | #Constraints: 63148 1698.17/1702.60 c #Conflicts: 305000 | #Constraints: 64148 1698.17/1702.60 c #Conflicts: 306000 | #Constraints: 65148 1698.17/1702.60 c #Conflicts: 307000 | #Constraints: 66148 1698.17/1702.60 c #Conflicts: 308000 | #Constraints: 67148 1698.17/1702.60 c #Conflicts: 309000 | #Constraints: 68148 1698.17/1702.60 c bounds 18 >= 18 @ 1689.97 1698.17/1702.60 c cpu time 1689.97 s 1698.17/1702.60 c deterministic time 225748271244 2.26e+11 1698.17/1702.60 c optimization time 0.002442 s 1698.17/1702.60 c total solve time 1689.93 s 1698.17/1702.60 c core-guided solve time 1298.28 s 1698.17/1702.60 c propagation time 1342.14 s 1698.17/1702.60 c conflict analysis time 314.775 s 1698.17/1702.60 c propagations 199286377 1698.17/1702.60 c resolve steps 23856790 1698.17/1702.60 c decisions 4669023 1698.17/1702.60 c conflicts 309238 1698.17/1702.60 c restarts 762 1698.17/1702.60 c inprocessing phases 43 1698.17/1702.60 c input clauses 15164 1698.17/1702.60 c input cardinalities 33 1698.17/1702.60 c input general constraints 73 1698.17/1702.60 c input average constraint length 3.43 1698.17/1702.60 c input average constraint degree 1.38 1698.17/1702.60 c learned clauses 137948 1698.17/1702.60 c learned cardinalities 1930 1698.17/1702.60 c learned general constraints 169406 1698.17/1702.60 c learned average constraint length 932.86 1698.17/1702.60 c learned average constraint degree 19870133.41 1698.17/1702.60 c watched constraints 132842 1698.17/1702.60 c counting constraints 36637 1698.17/1702.60 c gcd simplifications 1579 1698.17/1702.60 c detected cardinalities 11 1698.17/1702.60 c weakened non-implied lits 18052431 1698.17/1702.60 c weakened non-implying lits 60510 1698.17/1702.60 c original variables 4318 1698.17/1702.60 c clausal propagations 158684928 1698.17/1702.60 c cardinality propagations 1567354 1698.17/1702.60 c watched propagations 5295222 1698.17/1702.60 c counting propagations 32927992 1698.17/1702.60 c watch lookups 23822318377 1698.17/1702.60 c watch backjump lookups 18473277878 1698.17/1702.60 c watch checks 175799882735 1698.17/1702.60 c propagation checks 6459538260 1698.17/1702.60 c constraint additions 784691183 1698.17/1702.60 c trail pops 204264602 1698.17/1702.60 c formula constraints 15120 1698.17/1702.60 c learned constraints 309223 1698.17/1702.60 c bound constraints 31 1698.17/1702.60 c core-guided constraints 119 1698.17/1702.60 c encountered formula constraints 20527167 1698.17/1702.60 c encountered learned constraints 3535706 1698.17/1702.60 c encountered bound constraints 296 1698.17/1702.60 c encountered core-guided constraints 102201 1698.17/1702.60 c LP total time 71.0635 s 1698.17/1702.60 c LP solve time 60 s 1698.17/1702.60 c LP constraints added 15349 1698.17/1702.60 c LP constraints removed 215 1698.17/1702.60 c LP pivots internal 309406 1698.17/1702.60 c LP pivots root 33402 1698.17/1702.60 c LP calls 388 1698.17/1702.60 c LP optimalities 364 1698.17/1702.60 c LP no pivot count 79 1698.17/1702.60 c LP infeasibilities 20 1698.17/1702.60 c LP valid Farkas constraints 20 1698.17/1702.60 c LP learned Farkas constraints 20 1698.17/1702.60 c LP basis resets 0 1698.17/1702.60 c LP cycling count 0 1698.17/1702.60 c LP singular count 0 1698.17/1702.60 c LP no primal count 0 1698.17/1702.60 c LP no farkas count 0 1698.17/1702.60 c LP other issue count 0 1698.17/1702.60 c LP Gomory cuts 21 1698.17/1702.60 c LP learned cuts 208 1698.17/1702.60 c LP deleted cuts 215 1698.17/1702.60 c LP encountered Gomory constraints 0 1698.17/1702.60 c LP encountered Farkas constraints 607 1698.17/1702.60 c LP encountered learned Farkas constraints 31 1698.17/1702.60 c CG auxiliary variables introduced 44 1698.17/1702.60 c CG solutions found 7 1698.17/1702.60 c CG cores constructed 13 1698.17/1702.60 c CG core cardinality constraints returned 0 1698.17/1702.60 c CG unit cores 0 1698.17/1702.60 c CG single cores 13 1698.17/1702.60 c CG blocks removed during cardinality reduction 0 1698.17/1702.60 c CG first core best 0 1698.17/1702.60 c CG decision core best 0 1698.17/1702.60 c CG core reduction tie 0 1698.17/1702.60 c CG core degree average 1.00 1698.17/1702.60 c CG core slack average 38.85 1698.17/1702.60 o 18 1698.17/1702.60 s OPTIMUM FOUND 1698.17/1702.60 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 (62704 MiB free)
memory of node 1: 64473 MiB (61423 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455230-1721461004/watcher-4455230-1721461004 -o /tmp/evaluation-result-4455230-1721461004/solver-4455230-1721461004 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1721457405-1048581 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455230-1721461004.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=1050657, runsolver pid=1050654
Current StackSize limit: 8192 KiB
[startup+0.100087 s]*
/proc/loadavg: 4.11 4.15 4.15 5/254 1050658
/proc/meminfo: memFree=127096172/131524600 swapFree=131071996/131071996
[pid=1050657] ppid=1050654 vsize=47480 memory=17908 CPUtime=0.09 cores=1,3
/proc/1050657/stat : 1050657 (roundingsat) R 1050654 1050657 1048569 0 -1 4194304 3979 0 0 0 8 1 0 0 20 0 1 0 198263872 48619520 4477 134679101440 4194304 7968373 140731987005616 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 22994944 140731987014588 140731987014752 140731987014752 140731987021769 0
/proc/1050657/statm: 11870 4477 1737 922 0 3822 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 47480 KiB
Current children cumulated memory: 17908 KiB
[startup+0.205387 s]*
/proc/loadavg: 4.11 4.15 4.15 5/254 1050658
/proc/meminfo: memFree=127095304/131524600 swapFree=131071996/131071996
[pid=1050657] ppid=1050654 vsize=48076 memory=18804 CPUtime=0.19 cores=1,3
/proc/1050657/stat : 1050657 (roundingsat) R 1050654 1050657 1048569 0 -1 4194304 4161 0 0 0 18 1 0 0 20 0 1 0 198263872 49229824 4701 134679101440 4194304 7968373 140731987005616 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 22994944 140731987014588 140731987014752 140731987014752 140731987021769 0
/proc/1050657/statm: 12019 4701 1767 922 0 3971 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 48076 KiB
Current children cumulated memory: 18804 KiB
[startup+0.305319 s]*
/proc/loadavg: 4.11 4.15 4.15 5/254 1050658
/proc/meminfo: memFree=127093484/131524600 swapFree=131071996/131071996
[pid=1050657] ppid=1050654 vsize=48076 memory=19332 CPUtime=0.3 cores=1,3
/proc/1050657/stat : 1050657 (roundingsat) R 1050654 1050657 1048569 0 -1 4194304 4297 0 0 0 28 2 0 0 20 0 1 0 198263872 49229824 4833 134679101440 4194304 7968373 140731987005616 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 22994944 140731987014588 140731987014752 140731987014752 140731987021769 0
/proc/1050657/statm: 12019 4833 1767 922 0 3971 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 48076 KiB
Current children cumulated memory: 19332 KiB
[startup+0.700166 s]
/proc/loadavg: 4.11 4.15 4.15 6/254 1050658
/proc/meminfo: memFree=127084436/131524600 swapFree=131071996/131071996
[pid=1050657] ppid=1050654 vsize=48736 memory=22168 CPUtime=0.69 cores=1,3
/proc/1050657/stat : 1050657 (roundingsat) R 1050654 1050657 1048569 0 -1 4194304 4543 0 0 0 66 3 0 0 20 0 1 0 198263872 49905664 5542 134679101440 4194304 7968373 140731987005616 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 22994944 140731987014588 140731987014752 140731987014752 140731987021769 0
/proc/1050657/statm: 12184 5542 1767 922 0 4136 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 48736 KiB
Current children cumulated memory: 22168 KiB
[startup+1.50018 s]
/proc/loadavg: 4.11 4.15 4.15 6/251 1050672
/proc/meminfo: memFree=127159600/131524600 swapFree=131071996/131071996
[pid=1050657] ppid=1050654 vsize=55288 memory=27592 CPUtime=1.49 cores=1,3
/proc/1050657/stat : 1050657 (roundingsat) R 1050654 1050657 1048569 0 -1 4194304 6214 0 0 0 142 7 0 0 20 0 1 0 198263872 56614912 6898 134679101440 4194304 7968373 140731987005616 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 22994944 140731987014588 140731987014752 140731987014752 140731987021769 0
/proc/1050657/statm: 13822 6898 1783 922 0 5774 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 55288 KiB
Current children cumulated memory: 27592 KiB
[startup+3.10532 s]
/proc/loadavg: 4.10 4.15 4.15 5/254 1050704
/proc/meminfo: memFree=127108824/131524600 swapFree=131071996/131071996
[pid=1050657] ppid=1050654 vsize=56384 memory=29908 CPUtime=3.09 cores=1,3
/proc/1050657/stat : 1050657 (roundingsat) R 1050654 1050657 1048569 0 -1 4194304 6747 0 0 0 299 10 0 0 20 0 1 0 198263872 57737216 7477 134679101440 4194304 7968373 140731987005616 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 22994944 140731987014588 140731987014752 140731987014752 140731987021769 0
/proc/1050657/statm: 14096 7477 1838 922 0 6048 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 56384 KiB
Current children cumulated memory: 29908 KiB
[startup+6.3002 s]
/proc/loadavg: 4.10 4.15 4.15 5/254 1050705
/proc/meminfo: memFree=127063840/131524600 swapFree=131071996/131071996
[pid=1050657] ppid=1050654 vsize=73420 memory=42044 CPUtime=6.28 cores=1,3
/proc/1050657/stat : 1050657 (roundingsat) R 1050654 1050657 1048569 0 -1 4194304 8722 0 0 0 613 15 0 0 20 0 1 0 198263872 75182080 10511 134679101440 4194304 7968373 140731987005616 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 22994944 140731987014588 140731987014752 140731987014752 140731987021769 0
/proc/1050657/statm: 18355 10511 1838 922 0 10307 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 73420 KiB
Current children cumulated memory: 42044 KiB
[startup+12.7002 s]
/proc/loadavg: 4.09 4.15 4.15 5/254 1050705
/proc/meminfo: memFree=127022160/131524600 swapFree=131071996/131071996
[pid=1050657] ppid=1050654 vsize=89472 memory=56332 CPUtime=12.66 cores=1,3
/proc/1050657/stat : 1050657 (roundingsat) R 1050654 1050657 1048569 0 -1 4194304 10262 0 0 0 1240 26 0 0 20 0 1 0 198263872 91619328 14083 134679101440 4194304 7968373 140731987005616 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 22994944 140731987014588 140731987014752 140731987014752 140731987021769 0
/proc/1050657/statm: 22368 14083 1838 922 0 14320 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 89472 KiB
Current children cumulated memory: 56332 KiB
[startup+25.5002 s]
/proc/loadavg: 4.15 4.16 4.15 5/254 1050708
/proc/meminfo: memFree=126943124/131524600 swapFree=131071996/131071996
[pid=1050657] ppid=1050654 vsize=97568 memory=67524 CPUtime=25.43 cores=1,3
/proc/1050657/stat : 1050657 (roundingsat) R 1050654 1050657 1048569 0 -1 4194304 12049 0 0 0 2501 42 0 0 20 0 1 0 198263872 99909632 16881 134679101440 4194304 7968373 140731987005616 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 22994944 140731987014588 140731987014752 140731987014752 140731987021769 0
/proc/1050657/statm: 24392 16881 1838 922 0 16344 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 97568 KiB
Current children cumulated memory: 67524 KiB
[startup+51.1054 s]
/proc/loadavg: 4.17 4.16 4.15 5/254 1050712
/proc/meminfo: memFree=126859176/131524600 swapFree=131071996/131071996
[pid=1050657] ppid=1050654 vsize=129620 memory=86052 CPUtime=50.97 cores=1,3
/proc/1050657/stat : 1050657 (roundingsat) R 1050654 1050657 1048569 0 -1 4194304 15674 0 0 0 5026 71 0 0 20 0 1 0 198263872 132730880 21513 134679101440 4194304 7968373 140731987005616 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 22994944 140731987014588 140731987014752 140731987014752 140731987021769 0
/proc/1050657/statm: 32405 21513 1838 922 0 24357 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 129620 KiB
Current children cumulated memory: 86052 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.15 4.15 5/254 1050721
/proc/meminfo: memFree=126707264/131524600 swapFree=131071996/131071996
[pid=1050657] ppid=1050654 vsize=141052 memory=101416 CPUtime=102.04 cores=1,3
/proc/1050657/stat : 1050657 (roundingsat) R 1050654 1050657 1048569 0 -1 4194304 18538 0 0 0 10073 131 0 0 20 0 1 0 198263872 144437248 25354 134679101440 4194304 7968373 140731987005616 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 22994944 140731987014588 140731987014752 140731987014752 140731987021769 0
/proc/1050657/statm: 35263 25354 1838 922 0 27215 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 141052 KiB
Current children cumulated memory: 101416 KiB
[startup+162.3 s]
/proc/loadavg: 4.15 4.15 4.15 5/255 1050732
/proc/meminfo: memFree=126525688/131524600 swapFree=131071996/131071996
[pid=1050657] ppid=1050654 vsize=142160 memory=109096 CPUtime=161.88 cores=1,3
/proc/1050657/stat : 1050657 (roundingsat) R 1050654 1050657 1048569 0 -1 4194304 18883 0 0 0 15999 189 0 0 20 0 1 0 198263872 145571840 27274 134679101440 4194304 7968373 140731987005616 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 22994944 140731987014588 140731987014752 140731987014752 140731987021769 0
/proc/1050657/statm: 35540 27274 1838 922 0 27492 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 142160 KiB
Current children cumulated memory: 109096 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.14 4.14 5/255 1050742
/proc/meminfo: memFree=126443028/131524600 swapFree=131071996/131071996
[pid=1050657] ppid=1050654 vsize=146916 memory=117588 CPUtime=221.73 cores=1,3
/proc/1050657/stat : 1050657 (roundingsat) R 1050654 1050657 1048569 0 -1 4194304 20045 0 0 0 21941 232 0 0 20 0 1 0 198263872 150441984 29397 134679101440 4194304 7968373 140731987005616 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 22994944 140731987014588 140731987014752 140731987014752 140731987021769 0
/proc/1050657/statm: 36729 29397 1838 922 0 28681 0
Current children cumulated CPU time: 221.73 s
Current children cumulated vsize: 146916 KiB
Current children cumulated memory: 117588 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 4.12 4.14 5/257 1050757
/proc/meminfo: memFree=126398196/131524600 swapFree=131071996/131071996
[pid=1050657] ppid=1050654 vsize=183696 memory=133908 CPUtime=281.58 cores=1,3
/proc/1050657/stat : 1050657 (roundingsat) R 1050654 1050657 1048569 0 -1 4194304 22038 0 0 0 27896 262 0 0 20 0 1 0 198263872 188104704 33477 134679101440 4194304 7968373 140731987005616 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 22994944 140731987014588 140731987014752 140731987014752 140731987021769 0
/proc/1050657/statm: 45924 33477 1838 922 0 37876 0
Current children cumulated CPU time: 281.58 s
Current children cumulated vsize: 183696 KiB
Current children cumulated memory: 133908 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 4.13 4.14 5/257 1050767
/proc/meminfo: memFree=126293616/131524600 swapFree=131071996/131071996
[pid=1050657] ppid=1050654 vsize=184948 memory=134964 CPUtime=341.43 cores=1,3
/proc/1050657/stat : 1050657 (roundingsat) R 1050654 1050657 1048569 0 -1 4194304 22318 0 0 0 33831 312 0 0 20 0 1 0 198263872 189386752 33741 134679101440 4194304 7968373 140731987005616 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 22994944 140731987014588 140731987014752 140731987014752 140731987021769 0
/proc/1050657/statm: 46237 33741 1838 922 0 38189 0
Current children cumulated CPU time: 341.43 s
Current children cumulated vsize: 184948 KiB
Current children cumulated memory: 134964 KiB
[startup+402.3 s]
/proc/loadavg: 4.12 4.12 4.13 5/257 1050777
/proc/meminfo: memFree=126260364/131524600 swapFree=131071996/131071996
[pid=1050657] ppid=1050654 vsize=190816 memory=140756 CPUtime=401.29 cores=1,3
/proc/1050657/stat : 1050657 (roundingsat) R 1050654 1050657 1048569 0 -1 4194304 23787 0 0 0 39778 351 0 0 20 0 1 0 198263872 195395584 35189 134679101440 4194304 7968373 140731987005616 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 22994944 140731987014588 140731987014752 140731987014752 140731987021769 0
/proc/1050657/statm: 47704 35189 1838 922 0 39656 0
Current children cumulated CPU time: 401.29 s
Current children cumulated vsize: 190816 KiB
Current children cumulated memory: 140756 KiB
[startup+462.3 s]
/proc/loadavg: 4.15 4.13 4.13 5/256 1050790
/proc/meminfo: memFree=126224956/131524600 swapFree=131071996/131071996
[pid=1050657] ppid=1050654 vsize=190816 memory=142804 CPUtime=461.16 cores=1,3
/proc/1050657/stat : 1050657 (roundingsat) R 1050654 1050657 1048569 0 -1 4194304 23815 0 0 0 45727 389 0 0 20 0 1 0 198263872 195395584 35701 134679101440 4194304 7968373 140731987005616 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 22994944 140731987014588 140731987014752 140731987014752 140731987021769 0
/proc/1050657/statm: 47704 35701 1838 922 0 39656 0
################
# More data... #
################
/proc/loadavg: 4.10 4.14 4.11 5/256 1051324
/proc/meminfo: memFree=124941268/131524600 swapFree=131071996/131071996
[pid=1050657] ppid=1050654 vsize=407904 memory=347308 CPUtime=1299.07 cores=1,3
/proc/1050657/stat : 1050657 (roundingsat) R 1050654 1050657 1048569 0 -1 4194304 43523 0 0 0 129140 767 0 0 20 0 1 0 198263872 417693696 86827 134679101440 4194304 7968373 140731987005616 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 22994944 140731987014588 140731987014752 140731987014752 140731987021769 0
/proc/1050657/statm: 101976 86827 1838 922 0 93928 0
Current children cumulated CPU time: 1299.07 s
Current children cumulated vsize: 407904 KiB
Current children cumulated memory: 347308 KiB
[startup+1362.3 s]
/proc/loadavg: 4.15 4.14 4.11 5/258 1051504
/proc/meminfo: memFree=124906476/131524600 swapFree=131071996/131071996
[pid=1050657] ppid=1050654 vsize=414416 memory=361544 CPUtime=1358.89 cores=1,3
/proc/1050657/stat : 1050657 (roundingsat) R 1050654 1050657 1048569 0 -1 4194304 45106 0 0 0 135116 773 0 0 20 0 1 0 198263872 424361984 90386 134679101440 4194304 7968373 140731987005616 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 22994944 140731987014588 140731987014752 140731987014752 140731987021769 0
/proc/1050657/statm: 103604 90386 1838 922 0 95556 0
Current children cumulated CPU time: 1358.89 s
Current children cumulated vsize: 414416 KiB
Current children cumulated memory: 361544 KiB
[startup+1422.3 s]
/proc/loadavg: 4.51 4.23 4.14 5/258 1051514
/proc/meminfo: memFree=124874308/131524600 swapFree=131071996/131071996
[pid=1050657] ppid=1050654 vsize=420744 memory=379092 CPUtime=1418.7 cores=1,3
/proc/1050657/stat : 1050657 (roundingsat) R 1050654 1050657 1048569 0 -1 4194304 46530 0 0 0 141090 780 0 0 20 0 1 0 198263872 430841856 94773 134679101440 4194304 7968373 140731987005616 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 22994944 140731987014588 140731987014752 140731987014752 140731987021769 0
/proc/1050657/statm: 105186 94773 1838 922 0 97138 0
Current children cumulated CPU time: 1418.7 s
Current children cumulated vsize: 420744 KiB
Current children cumulated memory: 379092 KiB
[startup+1482.3 s]
/proc/loadavg: 4.30 4.23 4.15 5/256 1051538
/proc/meminfo: memFree=124819868/131524600 swapFree=131071996/131071996
[pid=1050657] ppid=1050654 vsize=557572 memory=399928 CPUtime=1478.51 cores=1,3
/proc/1050657/stat : 1050657 (roundingsat) R 1050654 1050657 1048569 0 -1 4194304 48207 0 0 0 147061 790 0 0 20 0 1 0 198263872 570953728 99982 134679101440 4194304 7968373 140731987005616 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 22994944 140731987014588 140731987014752 140731987014752 140731987021769 0
/proc/1050657/statm: 139393 99982 1838 922 0 131345 0
Current children cumulated CPU time: 1478.51 s
Current children cumulated vsize: 557572 KiB
Current children cumulated memory: 399928 KiB
[startup+1542.3 s]
/proc/loadavg: 4.34 4.25 4.16 5/256 1051594
/proc/meminfo: memFree=124573524/131524600 swapFree=131071996/131071996
[pid=1050657] ppid=1050654 vsize=563856 memory=421892 CPUtime=1538.34 cores=1,3
/proc/1050657/stat : 1050657 (roundingsat) R 1050654 1050657 1048569 0 -1 4194304 49649 0 0 0 153036 798 0 0 20 0 1 0 198263872 577388544 105473 134679101440 4194304 7968373 140731987005616 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 22994944 140731987014588 140731987014752 140731987014752 140731987021769 0
/proc/1050657/statm: 140964 105473 1838 922 0 132916 0
Current children cumulated CPU time: 1538.34 s
Current children cumulated vsize: 563856 KiB
Current children cumulated memory: 421892 KiB
[startup+1602.3 s]
/proc/loadavg: 4.27 4.25 4.16 5/257 1051605
/proc/meminfo: memFree=124480340/131524600 swapFree=131071996/131071996
[pid=1050657] ppid=1050654 vsize=568744 memory=434896 CPUtime=1598.17 cores=1,3
/proc/1050657/stat : 1050657 (roundingsat) R 1050654 1050657 1048569 0 -1 4194304 50887 0 0 0 159012 805 0 0 20 0 1 0 198263872 582393856 108724 134679101440 4194304 7968373 140731987005616 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 22994944 140731987014588 140731987014752 140731987014752 140731987021769 0
/proc/1050657/statm: 142186 108724 1838 922 0 134138 0
Current children cumulated CPU time: 1598.17 s
Current children cumulated vsize: 568744 KiB
Current children cumulated memory: 434896 KiB
[startup+1662.3 s]
/proc/loadavg: 4.14 4.21 4.16 5/255 1051617
/proc/meminfo: memFree=124436688/131524600 swapFree=131071996/131071996
[pid=1050657] ppid=1050654 vsize=570304 memory=450840 CPUtime=1657.99 cores=1,3
/proc/1050657/stat : 1050657 (roundingsat) R 1050654 1050657 1048569 0 -1 4194304 51318 0 0 0 164984 815 0 0 20 0 1 0 198263872 583991296 112710 134679101440 4194304 7968373 140731987005616 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 22994944 140731987014588 140731987014752 140731987014752 140731987021769 0
/proc/1050657/statm: 142576 112710 1838 922 0 134528 0
Current children cumulated CPU time: 1657.99 s
Current children cumulated vsize: 570304 KiB
Current children cumulated memory: 450840 KiB
[startup+1702.61 s]
# the end of solver process 1050657 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=1689.97 s, system=8.22513 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1664 s]*
/proc/loadavg: 4.13 4.21 4.16 5/255 1051619
/proc/meminfo: memFree=124435568/131524600 swapFree=131071996/131071996
[pid=1050657] ppid=1050654 vsize=570304 memory=450840 CPUtime=1659.69 cores=1,3
/proc/1050657/stat : 1050657 (roundingsat) R 1050654 1050657 1048569 0 -1 4194304 51319 0 0 0 165154 815 0 0 20 0 1 0 198263872 583991296 112710 134679101440 4194304 7968373 140731987005616 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 22994944 140731987014588 140731987014752 140731987014752 140731987021769 0
/proc/1050657/statm: 142576 112710 1838 922 0 134528 0
Current children cumulated CPU time: 1659.69 s
Current children cumulated vsize: 570304 KiB
Current children cumulated memory: 450840 KiB
[startup+1689.6 s]
/proc/loadavg: 4.14 4.21 4.16 5/255 1051623
/proc/meminfo: memFree=124411884/131524600 swapFree=131071996/131071996
[pid=1050657] ppid=1050654 vsize=570560 memory=457204 CPUtime=1685.2 cores=1,3
/proc/1050657/stat : 1050657 (roundingsat) R 1050654 1050657 1048569 0 -1 4194304 51427 0 0 0 167701 819 0 0 20 0 1 0 198263872 584253440 114301 134679101440 4194304 7968373 140731987005616 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 22994944 140731987014588 140731987014752 140731987014752 140731987021769 0
/proc/1050657/statm: 142640 114301 1838 922 0 134592 0
Current children cumulated CPU time: 1685.2 s
Current children cumulated vsize: 570560 KiB
Current children cumulated memory: 457204 KiB
[startup+1696 s]*
/proc/loadavg: 4.13 4.20 4.16 5/255 1051624
/proc/meminfo: memFree=124409416/131524600 swapFree=131071996/131071996
[pid=1050657] ppid=1050654 vsize=570560 memory=459436 CPUtime=1691.59 cores=1,3
/proc/1050657/stat : 1050657 (roundingsat) R 1050654 1050657 1048569 0 -1 4194304 51474 0 0 0 168339 820 0 0 20 0 1 0 198263872 584253440 114859 134679101440 4194304 7968373 140731987005616 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 22994944 140731987014588 140731987014752 140731987014752 140731987021769 0
/proc/1050657/statm: 142640 114859 1838 922 0 134592 0
Current children cumulated CPU time: 1691.59 s
Current children cumulated vsize: 570560 KiB
Current children cumulated memory: 459436 KiB
[startup+1699.2 s]
/proc/loadavg: 4.20 4.22 4.16 5/255 1051624
/proc/meminfo: memFree=124407060/131524600 swapFree=131071996/131071996
[pid=1050657] ppid=1050654 vsize=570560 memory=461484 CPUtime=1694.78 cores=1,3
/proc/1050657/stat : 1050657 (roundingsat) R 1050654 1050657 1048569 0 -1 4194304 51476 0 0 0 168657 821 0 0 20 0 1 0 198263872 584253440 115371 134679101440 4194304 7968373 140731987005616 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 22994944 140731987014588 140731987014752 140731987014752 140731987021769 0
/proc/1050657/statm: 142640 115371 1838 922 0 134592 0
Current children cumulated CPU time: 1694.78 s
Current children cumulated vsize: 570560 KiB
Current children cumulated memory: 461484 KiB
[startup+1700.8 s]
/proc/loadavg: 4.20 4.22 4.16 5/255 1051624
/proc/meminfo: memFree=124406920/131524600 swapFree=131071996/131071996
[pid=1050657] ppid=1050654 vsize=570560 memory=461484 CPUtime=1696.38 cores=1,3
/proc/1050657/stat : 1050657 (roundingsat) R 1050654 1050657 1048569 0 -1 4194304 51479 0 0 0 168817 821 0 0 20 0 1 0 198263872 584253440 115371 134679101440 4194304 7968373 140731987005616 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 22994944 140731987014588 140731987014752 140731987014752 140731987021769 0
/proc/1050657/statm: 142640 115371 1838 922 0 134592 0
Current children cumulated CPU time: 1696.38 s
Current children cumulated vsize: 570560 KiB
Current children cumulated memory: 461484 KiB
[startup+1701.6 s]
/proc/loadavg: 4.20 4.22 4.16 5/255 1051624
/proc/meminfo: memFree=124406920/131524600 swapFree=131071996/131071996
[pid=1050657] ppid=1050654 vsize=570560 memory=461484 CPUtime=1697.17 cores=1,3
/proc/1050657/stat : 1050657 (roundingsat) R 1050654 1050657 1048569 0 -1 4194304 51484 0 0 0 168896 821 0 0 20 0 1 0 198263872 584253440 115371 134679101440 4194304 7968373 140731987005616 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 22994944 140731987014588 140731987014752 140731987014752 140731987021769 0
/proc/1050657/statm: 142640 115371 1838 922 0 134592 0
Current children cumulated CPU time: 1697.17 s
Current children cumulated vsize: 570560 KiB
Current children cumulated memory: 461484 KiB
[startup+1702.4 s]
/proc/loadavg: 4.20 4.22 4.16 5/255 1051624
/proc/meminfo: memFree=124406892/131524600 swapFree=131071996/131071996
[pid=1050657] ppid=1050654 vsize=570560 memory=461484 CPUtime=1697.97 cores=1,3
/proc/1050657/stat : 1050657 (roundingsat) R 1050654 1050657 1048569 0 -1 4194304 51486 0 0 0 168976 821 0 0 20 0 1 0 198263872 584253440 115371 134679101440 4194304 7968373 140731987005616 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 22994944 140731987014588 140731987014752 140731987014752 140731987021769 0
/proc/1050657/statm: 142640 115371 1838 922 0 134592 0
Current children cumulated CPU time: 1697.97 s
Current children cumulated vsize: 570560 KiB
Current children cumulated memory: 461484 KiB
[startup+1702.6 s]
/proc/loadavg: 4.20 4.22 4.16 5/255 1051624
/proc/meminfo: memFree=124406892/131524600 swapFree=131071996/131071996
[pid=1050657] ppid=1050654 vsize=570560 memory=461484 CPUtime=1698.17 cores=1,3
/proc/1050657/stat : 1050657 (roundingsat) R 1050654 1050657 1048569 0 -1 4194304 51486 0 0 0 168996 821 0 0 20 0 1 0 198263872 584253440 115371 134679101440 4194304 7968373 140731987005616 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 22994944 140731987014588 140731987014752 140731987014752 140731987021769 0
/proc/1050657/statm: 142640 115371 1838 922 0 134592 0
Current children cumulated CPU time: 1698.17 s
Current children cumulated vsize: 570560 KiB
Current children cumulated memory: 461484 KiB
Child status: 0
Real time (s): 1702.61
CPU time (s): 1698.19
CPU user time (s): 1689.97
CPU system time (s): 8.22513
CPU usage (%): 99.7403
Max. virtual memory (cumulated for all children) (KiB): 570560
Max. memory (cumulated for all children) (KiB): 461484
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1689.97
system time used= 8.22513
maximum resident set size= 461484
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51495
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 65
involuntary context switches= 1767
# summary of solver processes directly reported to runsolver:
# pid: 1050657
# total CPU time (s): 1698.19
# total CPU user time (s): 1689.97
# total CPU system time (s): 8.22513
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.37715 second user time and 6.26046 second system time
The end
Begin job on nodeC020 at 2024-07-20 09:36:57 IDJOB=4455230 IDBENCH=148191 IDSOLVER=3084 FILE ID=nodeC020/4455230-1721461004 RUNJOBID= nodeC020-1721457405-1048581 SLURM_JOB_ID= 7545697 Free space on /tmp= 890052 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-4455230-1721461004/watcher-4455230-1721461004 -o /tmp/evaluation-result-4455230-1721461004/solver-4455230-1721461004 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1721457405-1048581 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455230-1721461004.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= beae51edba02eeda3c8007d8306fd545 RANDOM SEED=1062942498 nodeC020.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 : 3672.600 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 : 7000.05 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 : 3658.152 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.84 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 : 3600.119 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 : 7000.05 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 : 3666.712 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.84 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 : 3672.716 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 : 7000.05 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 : 3674.761 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.84 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 : 3600.090 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 : 7000.05 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 : 3600.274 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.84 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 127107744 kB MemAvailable: 129288168 kB Buffers: 566876 kB Cached: 2439304 kB SwapCached: 0 kB Active: 1000608 kB Inactive: 2758584 kB Active(anon): 1592 kB Inactive(anon): 797672 kB Active(file): 999016 kB Inactive(file): 1960912 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 30332 kB Writeback: 0 kB AnonPages: 752700 kB Mapped: 116176 kB Shmem: 45912 kB KReclaimable: 120640 kB Slab: 236564 kB SReclaimable: 120640 kB SUnreclaim: 115924 kB KernelStack: 4092 kB PageTables: 10640 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 1146552 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 71040 kB HardwareCorrupted: 0 kB AnonHugePages: 483328 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: 211668 kB DirectMap2M: 22630400 kB DirectMap1G: 113246208 kB Free space on /tmp at the end= 890012 MiB End job on nodeC020 at 2024-07-20 10:05:19