| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat nolog (1) | OPT | 20 | 1432.12 | 1437.71 |
| Name | PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_5.opb |
| MD5SUM | 2f5de9b63d0a2988dce846045b262c40 |
| 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 | 20 |
| Best CPU time to get the best result obtained on this benchmark | 41.0486 |
| 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 | 5499 |
| Total number of constraints | 19319 |
| Number of constraints which are clauses | 19312 |
| Number of constraints which are cardinality constraints (but not clauses) | 1 |
| Number of constraints which are nor clauses,nor cardinality constraints | 6 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 613 |
| Number of terms in the objective function | 613 |
| 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 | 613 |
| Number of bits of the sum of numbers in the objective function | 10 |
| Biggest number in a constraint | 30 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 643 |
| 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.05 c #variables 5499 #constraints 19319 4.88/4.93 c bounds 614 >= 5 @ 0.036162 4.88/4.93 c bounds 28 >= 5 @ 0.180944 4.88/4.93 c bounds 28 >= 6 @ 0.183818 4.88/4.93 c bounds 28 >= 7 @ 0.18443 4.88/4.93 c bounds 28 >= 8 @ 0.185073 4.88/4.93 c bounds 27 >= 8 @ 0.197524 4.88/4.93 c bounds 27 >= 9 @ 0.19812 4.88/4.93 c bounds 27 >= 10 @ 0.198849 4.88/4.93 c bounds 27 >= 11 @ 0.198902 4.88/4.93 c bounds 27 >= 12 @ 0.200222 4.88/4.93 c bounds 27 >= 13 @ 0.212879 4.88/4.93 c bounds 27 >= 14 @ 0.242377 4.88/4.93 c bounds 26 >= 14 @ 0.244287 4.88/4.93 c #Conflicts: 1000 | #Constraints: 20364 4.88/4.93 c #Conflicts: 2000 | #Constraints: 21364 4.88/4.93 c INPROCESSING 4.88/4.93 c GARBAGE COLLECT 4.88/4.93 c bounds 26 >= 15 @ 1.43812 4.88/4.93 c bounds 26 >= 16 @ 1.46113 4.88/4.93 c bounds 26 >= 17 @ 1.70002 4.88/4.93 c #Conflicts: 3000 | #Constraints: 21387 4.88/4.93 c #Conflicts: 4000 | #Constraints: 22387 4.88/4.93 c INPROCESSING 4.88/4.93 c GARBAGE COLLECT 4.88/4.93 c #Conflicts: 5000 | #Constraints: 21816 4.88/4.93 c #Conflicts: 6000 | #Constraints: 22816 4.88/4.93 c INPROCESSING 4.88/4.93 c GARBAGE COLLECT 4.88/4.93 c rational objective 17 7.77/7.83 c #Conflicts: 7000 | #Constraints: 21809 7.77/7.83 c bounds 26 >= 18 @ 5.63843 7.77/7.83 c #Conflicts: 8000 | #Constraints: 22836 7.77/7.83 c #Conflicts: 9000 | #Constraints: 23836 7.77/7.83 c INPROCESSING 7.77/7.83 c GARBAGE COLLECT 7.77/7.83 c rational objective 18 15.64/15.77 c #Conflicts: 10000 | #Constraints: 22576 15.64/15.77 c #Conflicts: 11000 | #Constraints: 23576 15.64/15.77 c #Conflicts: 12000 | #Constraints: 24576 15.64/15.77 c INPROCESSING 15.64/15.77 c GARBAGE COLLECT 15.64/15.77 c #Conflicts: 13000 | #Constraints: 23022 15.64/15.77 c #Conflicts: 14000 | #Constraints: 24022 15.64/15.77 c #Conflicts: 15000 | #Constraints: 25022 15.64/15.77 c INPROCESSING 15.64/15.77 c GARBAGE COLLECT 15.64/15.77 c rational objective 18 18.44/18.56 c #Conflicts: 16000 | #Constraints: 23294 18.44/18.56 c #Conflicts: 17000 | #Constraints: 24294 18.44/18.56 c #Conflicts: 18000 | #Constraints: 25294 18.44/18.56 c INPROCESSING 18.44/18.56 c GARBAGE COLLECT 18.44/18.56 c rational objective 18 22.73/22.85 c #Conflicts: 19000 | #Constraints: 23269 22.73/22.85 c #Conflicts: 20000 | #Constraints: 24269 22.73/22.85 c #Conflicts: 21000 | #Constraints: 25269 22.73/22.85 c INPROCESSING 22.73/22.85 c GARBAGE COLLECT 22.73/22.85 c rational objective 18 26.72/26.84 c #Conflicts: 22000 | #Constraints: 23117 26.72/26.84 c #Conflicts: 23000 | #Constraints: 24117 26.72/26.84 c #Conflicts: 24000 | #Constraints: 25117 26.72/26.84 c #Conflicts: 25000 | #Constraints: 26118 26.72/26.84 c INPROCESSING 26.72/26.84 c GARBAGE COLLECT 26.72/26.84 c rational objective 18 33.90/34.03 c #Conflicts: 26000 | #Constraints: 23695 33.90/34.03 c #Conflicts: 27000 | #Constraints: 24695 33.90/34.03 c #Conflicts: 28000 | #Constraints: 25695 33.90/34.03 c #Conflicts: 29000 | #Constraints: 26695 33.90/34.03 c INPROCESSING 33.90/34.03 c GARBAGE COLLECT 33.90/34.03 c rational objective 18 38.79/38.94 c bounds 25 >= 18 @ 33.7688 38.79/38.94 c #Conflicts: 30000 | #Constraints: 24167 38.79/38.94 c bounds 24 >= 18 @ 35.1489 38.79/38.94 c bounds 23 >= 18 @ 35.1581 38.79/38.94 c bounds 22 >= 18 @ 35.3207 38.79/38.94 c #Conflicts: 31000 | #Constraints: 25170 38.79/38.94 c #Conflicts: 32000 | #Constraints: 26170 38.79/38.94 c #Conflicts: 33000 | #Constraints: 27170 38.79/38.94 c INPROCESSING 38.79/38.94 c GARBAGE COLLECT 38.79/38.94 WSVECS04 Frhs2[22]: 6 -1.00007 0 shouldn't be 38.79/38.94 WSVECS04 Frhs2[362]: 6 -1.00005 0 shouldn't be 38.79/38.94 WSVECS04 Frhs2[735]: 6 -1.00003 0 shouldn't be 38.79/38.94 WSVECS04 Frhs2[5343]: 6 -1.00003 0 shouldn't be 39.48/39.60 c rational objective 18 49.46/49.60 c #Conflicts: 34000 | #Constraints: 24344 49.46/49.60 c #Conflicts: 35000 | #Constraints: 25344 49.46/49.60 c #Conflicts: 36000 | #Constraints: 26344 49.46/49.60 c #Conflicts: 37000 | #Constraints: 27344 49.46/49.60 c INPROCESSING 49.46/49.60 c GARBAGE COLLECT 49.46/49.60 c rational objective 18 54.85/55.02 c #Conflicts: 38000 | #Constraints: 24441 54.85/55.02 c #Conflicts: 39000 | #Constraints: 25441 54.85/55.02 c #Conflicts: 40000 | #Constraints: 26441 54.85/55.02 c #Conflicts: 41000 | #Constraints: 27441 54.85/55.02 c INPROCESSING 54.85/55.02 c GARBAGE COLLECT 54.85/55.02 c rational objective 18 62.02/62.20 c #Conflicts: 42000 | #Constraints: 24214 62.02/62.20 c #Conflicts: 43000 | #Constraints: 25214 62.02/62.20 c #Conflicts: 44000 | #Constraints: 26214 62.02/62.20 c #Conflicts: 45000 | #Constraints: 27214 62.02/62.20 c #Conflicts: 46000 | #Constraints: 28214 62.02/62.20 c INPROCESSING 62.02/62.20 c GARBAGE COLLECT 62.02/62.20 c rational objective 18 71.80/72.03 c #Conflicts: 47000 | #Constraints: 24799 71.80/72.03 c #Conflicts: 48000 | #Constraints: 25799 71.80/72.03 c #Conflicts: 49000 | #Constraints: 26799 71.80/72.03 c #Conflicts: 50000 | #Constraints: 27799 71.80/72.03 c #Conflicts: 51000 | #Constraints: 28799 71.80/72.03 c INPROCESSING 71.80/72.03 c GARBAGE COLLECT 71.80/72.03 c rational objective 18 79.78/80.08 c #Conflicts: 52000 | #Constraints: 25297 79.78/80.08 c #Conflicts: 53000 | #Constraints: 26297 79.78/80.08 c #Conflicts: 54000 | #Constraints: 27297 79.78/80.08 c #Conflicts: 55000 | #Constraints: 28297 79.78/80.08 c #Conflicts: 56000 | #Constraints: 29297 79.78/80.08 c INPROCESSING 79.78/80.08 c GARBAGE COLLECT 79.78/80.08 c rational objective 18 89.95/90.23 c #Conflicts: 57000 | #Constraints: 25437 89.95/90.23 c #Conflicts: 58000 | #Constraints: 26437 89.95/90.23 c #Conflicts: 59000 | #Constraints: 27437 89.95/90.23 c bounds 22 >= 19 @ 85.2052 89.95/90.23 c #Conflicts: 60000 | #Constraints: 28470 89.95/90.23 c #Conflicts: 61000 | #Constraints: 29470 89.95/90.23 c INPROCESSING 89.95/90.23 c GARBAGE COLLECT 89.95/90.23 c rational objective 19 99.62/99.90 c #Conflicts: 62000 | #Constraints: 25569 99.62/99.90 c #Conflicts: 63000 | #Constraints: 26569 99.62/99.90 c #Conflicts: 64000 | #Constraints: 27569 99.62/99.90 c #Conflicts: 65000 | #Constraints: 28570 99.62/99.90 c #Conflicts: 66000 | #Constraints: 29570 99.62/99.90 c INPROCESSING 99.62/99.90 c GARBAGE COLLECT 99.62/99.90 c rational objective 19 111.39/111.73 c #Conflicts: 67000 | #Constraints: 25300 111.39/111.73 c #Conflicts: 68000 | #Constraints: 26300 111.39/111.73 c #Conflicts: 69000 | #Constraints: 27300 111.39/111.73 c #Conflicts: 70000 | #Constraints: 28300 111.39/111.73 c #Conflicts: 71000 | #Constraints: 29300 111.39/111.73 c #Conflicts: 72000 | #Constraints: 30300 111.39/111.73 c INPROCESSING 111.39/111.73 c GARBAGE COLLECT 111.39/111.73 c rational objective 19 199.62/200.21 c #Conflicts: 73000 | #Constraints: 25921 199.62/200.21 c #Conflicts: 74000 | #Constraints: 26921 199.62/200.21 c #Conflicts: 75000 | #Constraints: 27921 199.62/200.21 c #Conflicts: 76000 | #Constraints: 28921 199.62/200.21 c #Conflicts: 77000 | #Constraints: 29921 199.62/200.21 c #Conflicts: 78000 | #Constraints: 30921 199.62/200.21 c #Conflicts: 79000 | #Constraints: 31921 199.62/200.21 c #Conflicts: 80000 | #Constraints: 32921 199.62/200.21 c #Conflicts: 81000 | #Constraints: 33921 199.62/200.21 c #Conflicts: 82000 | #Constraints: 34921 199.62/200.21 c #Conflicts: 83000 | #Constraints: 35921 199.62/200.21 c #Conflicts: 84000 | #Constraints: 36921 199.62/200.21 c #Conflicts: 85000 | #Constraints: 37921 199.62/200.21 c #Conflicts: 86000 | #Constraints: 38921 199.62/200.21 c #Conflicts: 87000 | #Constraints: 39921 199.62/200.21 c #Conflicts: 88000 | #Constraints: 40921 199.62/200.21 c #Conflicts: 89000 | #Constraints: 41921 199.62/200.21 c #Conflicts: 90000 | #Constraints: 42921 199.62/200.21 c #Conflicts: 91000 | #Constraints: 43921 199.62/200.21 c #Conflicts: 92000 | #Constraints: 44921 199.62/200.21 c #Conflicts: 93000 | #Constraints: 45921 199.62/200.21 c #Conflicts: 94000 | #Constraints: 46921 199.62/200.21 c #Conflicts: 95000 | #Constraints: 47921 199.62/200.21 c #Conflicts: 96000 | #Constraints: 48921 199.62/200.21 c INPROCESSING 199.62/200.21 c GARBAGE COLLECT 199.62/200.21 c rational objective 19 223.25/223.91 c #Conflicts: 97000 | #Constraints: 35311 223.25/223.91 c #Conflicts: 98000 | #Constraints: 36311 223.25/223.91 c #Conflicts: 99000 | #Constraints: 37311 223.25/223.91 c #Conflicts: 100000 | #Constraints: 38311 223.25/223.91 c #Conflicts: 101000 | #Constraints: 39311 223.25/223.91 c #Conflicts: 102000 | #Constraints: 40311 223.25/223.91 c INPROCESSING 223.25/223.91 c GARBAGE COLLECT 223.25/223.91 c rational objective 19 244.29/245.04 c #Conflicts: 103000 | #Constraints: 30699 244.29/245.04 c #Conflicts: 104000 | #Constraints: 31699 244.29/245.04 c #Conflicts: 105000 | #Constraints: 32699 244.29/245.04 c #Conflicts: 106000 | #Constraints: 33699 244.29/245.04 c #Conflicts: 107000 | #Constraints: 34699 244.29/245.04 c #Conflicts: 108000 | #Constraints: 35699 244.29/245.04 c #Conflicts: 109000 | #Constraints: 36699 244.29/245.04 c #Conflicts: 110000 | #Constraints: 37699 244.29/245.04 c INPROCESSING 244.29/245.04 c GARBAGE COLLECT 244.29/245.04 c rational objective 19 261.42/262.23 c #Conflicts: 111000 | #Constraints: 29762 261.42/262.23 c #Conflicts: 112000 | #Constraints: 30762 261.42/262.23 c #Conflicts: 113000 | #Constraints: 31762 261.42/262.23 c #Conflicts: 114000 | #Constraints: 32762 261.42/262.23 c #Conflicts: 115000 | #Constraints: 33762 261.42/262.23 c #Conflicts: 116000 | #Constraints: 34762 261.42/262.23 c #Conflicts: 117000 | #Constraints: 35762 261.42/262.23 c INPROCESSING 261.42/262.23 c GARBAGE COLLECT 261.42/262.23 c rational objective 19 393.27/394.49 c #Conflicts: 118000 | #Constraints: 28662 393.27/394.49 c #Conflicts: 119000 | #Constraints: 29662 393.27/394.49 c #Conflicts: 120000 | #Constraints: 30662 393.27/394.49 c #Conflicts: 121000 | #Constraints: 31662 393.27/394.49 c #Conflicts: 122000 | #Constraints: 32662 393.27/394.49 c #Conflicts: 123000 | #Constraints: 33662 393.27/394.49 c #Conflicts: 124000 | #Constraints: 34662 393.27/394.49 c #Conflicts: 125000 | #Constraints: 35662 393.27/394.49 c #Conflicts: 126000 | #Constraints: 36662 393.27/394.49 c #Conflicts: 127000 | #Constraints: 37662 393.27/394.49 c #Conflicts: 128000 | #Constraints: 38662 393.27/394.49 c #Conflicts: 129000 | #Constraints: 39662 393.27/394.49 c #Conflicts: 130000 | #Constraints: 40662 393.27/394.49 c #Conflicts: 131000 | #Constraints: 41662 393.27/394.49 c #Conflicts: 132000 | #Constraints: 42662 393.27/394.49 c #Conflicts: 133000 | #Constraints: 43662 393.27/394.49 c #Conflicts: 134000 | #Constraints: 44662 393.27/394.49 c #Conflicts: 135000 | #Constraints: 45662 393.27/394.49 c #Conflicts: 136000 | #Constraints: 46662 393.27/394.49 c #Conflicts: 137000 | #Constraints: 47662 393.27/394.49 c #Conflicts: 138000 | #Constraints: 48662 393.27/394.49 c #Conflicts: 139000 | #Constraints: 49662 393.27/394.49 c #Conflicts: 140000 | #Constraints: 50662 393.27/394.49 c #Conflicts: 141000 | #Constraints: 51662 393.27/394.49 c #Conflicts: 142000 | #Constraints: 52662 393.27/394.49 c #Conflicts: 143000 | #Constraints: 53662 393.27/394.49 c #Conflicts: 144000 | #Constraints: 54662 393.27/394.49 c #Conflicts: 145000 | #Constraints: 55662 393.27/394.49 c #Conflicts: 146000 | #Constraints: 56662 393.27/394.49 c INPROCESSING 393.27/394.49 c GARBAGE COLLECT 393.27/394.49 c rational objective 19 420.99/422.25 c #Conflicts: 147000 | #Constraints: 39123 420.99/422.25 c #Conflicts: 148000 | #Constraints: 40123 420.99/422.25 c #Conflicts: 149000 | #Constraints: 41123 420.99/422.25 c #Conflicts: 150000 | #Constraints: 42123 420.99/422.25 c #Conflicts: 151000 | #Constraints: 43123 420.99/422.25 c #Conflicts: 152000 | #Constraints: 44123 420.99/422.25 c #Conflicts: 153000 | #Constraints: 45123 420.99/422.25 c #Conflicts: 154000 | #Constraints: 46123 420.99/422.25 c #Conflicts: 155000 | #Constraints: 47123 420.99/422.25 c INPROCESSING 420.99/422.25 c GARBAGE COLLECT 420.99/422.25 c rational objective 19 448.83/450.19 c #Conflicts: 156000 | #Constraints: 34550 448.83/450.19 c #Conflicts: 157000 | #Constraints: 35550 448.83/450.19 c #Conflicts: 158000 | #Constraints: 36550 448.83/450.19 c #Conflicts: 159000 | #Constraints: 37550 448.83/450.19 c #Conflicts: 160000 | #Constraints: 38550 448.83/450.19 c #Conflicts: 161000 | #Constraints: 39550 448.83/450.19 c #Conflicts: 162000 | #Constraints: 40550 448.83/450.19 c #Conflicts: 163000 | #Constraints: 41550 448.83/450.19 c INPROCESSING 448.83/450.19 c GARBAGE COLLECT 448.83/450.19 c rational objective 19 648.03/649.85 c #Conflicts: 164000 | #Constraints: 31293 648.03/649.85 c #Conflicts: 165000 | #Constraints: 32293 648.03/649.85 c #Conflicts: 166000 | #Constraints: 33293 648.03/649.85 c #Conflicts: 167000 | #Constraints: 34293 648.03/649.85 c #Conflicts: 168000 | #Constraints: 35293 648.03/649.85 c #Conflicts: 169000 | #Constraints: 36293 648.03/649.85 c #Conflicts: 170000 | #Constraints: 37293 648.03/649.85 c #Conflicts: 171000 | #Constraints: 38293 648.03/649.85 c #Conflicts: 172000 | #Constraints: 39293 648.03/649.85 c #Conflicts: 173000 | #Constraints: 40293 648.03/649.85 c #Conflicts: 174000 | #Constraints: 41293 648.03/649.85 c #Conflicts: 175000 | #Constraints: 42293 648.03/649.85 c #Conflicts: 176000 | #Constraints: 43293 648.03/649.85 c #Conflicts: 177000 | #Constraints: 44293 648.03/649.85 c #Conflicts: 178000 | #Constraints: 45293 648.03/649.85 c #Conflicts: 179000 | #Constraints: 46293 648.03/649.85 c #Conflicts: 180000 | #Constraints: 47293 648.03/649.85 c #Conflicts: 181000 | #Constraints: 48293 648.03/649.85 c #Conflicts: 182000 | #Constraints: 49293 648.03/649.85 c #Conflicts: 183000 | #Constraints: 50293 648.03/649.85 c #Conflicts: 184000 | #Constraints: 51293 648.03/649.85 c #Conflicts: 185000 | #Constraints: 52293 648.03/649.85 c #Conflicts: 186000 | #Constraints: 53293 648.03/649.85 c #Conflicts: 187000 | #Constraints: 54293 648.03/649.85 c #Conflicts: 188000 | #Constraints: 55293 648.03/649.85 c #Conflicts: 189000 | #Constraints: 56293 648.03/649.85 c #Conflicts: 190000 | #Constraints: 57293 648.03/649.85 c #Conflicts: 191000 | #Constraints: 58293 648.03/649.85 c #Conflicts: 192000 | #Constraints: 59293 648.03/649.85 c #Conflicts: 193000 | #Constraints: 60293 648.03/649.85 c #Conflicts: 194000 | #Constraints: 61293 648.03/649.85 c #Conflicts: 195000 | #Constraints: 62293 648.03/649.85 c #Conflicts: 196000 | #Constraints: 63293 648.03/649.85 c #Conflicts: 197000 | #Constraints: 64293 648.03/649.85 c INPROCESSING 648.03/649.85 c GARBAGE COLLECT 648.03/649.85 c rational objective 19 675.86/677.73 c #Conflicts: 198000 | #Constraints: 43163 675.86/677.73 c #Conflicts: 199000 | #Constraints: 44163 675.86/677.73 c #Conflicts: 200000 | #Constraints: 45163 675.86/677.73 c #Conflicts: 201000 | #Constraints: 46163 675.86/677.73 c #Conflicts: 202000 | #Constraints: 47163 675.86/677.73 c #Conflicts: 203000 | #Constraints: 48163 675.86/677.73 c #Conflicts: 204000 | #Constraints: 49163 675.86/677.73 c #Conflicts: 205000 | #Constraints: 50163 675.86/677.73 c #Conflicts: 206000 | #Constraints: 51163 675.86/677.73 c #Conflicts: 207000 | #Constraints: 52164 675.86/677.73 c INPROCESSING 675.86/677.73 c GARBAGE COLLECT 675.86/677.73 c rational objective 19 728.83/730.81 c #Conflicts: 208000 | #Constraints: 36950 728.83/730.81 c #Conflicts: 209000 | #Constraints: 37950 728.83/730.81 c #Conflicts: 210000 | #Constraints: 38950 728.83/730.81 c #Conflicts: 211000 | #Constraints: 39950 728.83/730.81 c #Conflicts: 212000 | #Constraints: 40950 728.83/730.81 c #Conflicts: 213000 | #Constraints: 41950 728.83/730.81 c #Conflicts: 214000 | #Constraints: 42950 728.83/730.81 c #Conflicts: 215000 | #Constraints: 43950 728.83/730.81 c #Conflicts: 216000 | #Constraints: 44950 728.83/730.81 c #Conflicts: 217000 | #Constraints: 45950 728.83/730.81 c INPROCESSING 728.83/730.81 c GARBAGE COLLECT 728.83/730.81 c rational objective 19 910.48/912.95 c #Conflicts: 218000 | #Constraints: 33696 910.48/912.95 c #Conflicts: 219000 | #Constraints: 34697 910.48/912.95 c #Conflicts: 220000 | #Constraints: 35697 910.48/912.95 c #Conflicts: 221000 | #Constraints: 36697 910.48/912.95 c #Conflicts: 222000 | #Constraints: 37697 910.48/912.95 c #Conflicts: 223000 | #Constraints: 38697 910.48/912.95 c #Conflicts: 224000 | #Constraints: 39697 910.48/912.95 c #Conflicts: 225000 | #Constraints: 40697 910.48/912.95 c #Conflicts: 226000 | #Constraints: 41697 910.48/912.95 c #Conflicts: 227000 | #Constraints: 42697 910.48/912.95 c #Conflicts: 228000 | #Constraints: 43697 910.48/912.95 c #Conflicts: 229000 | #Constraints: 44697 910.48/912.95 c #Conflicts: 230000 | #Constraints: 45698 910.48/912.95 c #Conflicts: 231000 | #Constraints: 46698 910.48/912.95 c #Conflicts: 232000 | #Constraints: 47698 910.48/912.95 c #Conflicts: 233000 | #Constraints: 48698 910.48/912.95 c #Conflicts: 234000 | #Constraints: 49698 910.48/912.95 c #Conflicts: 235000 | #Constraints: 50698 910.48/912.95 c #Conflicts: 236000 | #Constraints: 51698 910.48/912.95 c #Conflicts: 237000 | #Constraints: 52698 910.48/912.95 c #Conflicts: 238000 | #Constraints: 53698 910.48/912.95 c #Conflicts: 239000 | #Constraints: 54698 910.48/912.95 c #Conflicts: 240000 | #Constraints: 55698 910.48/912.95 c #Conflicts: 241000 | #Constraints: 56698 910.48/912.95 c #Conflicts: 242000 | #Constraints: 57698 910.48/912.95 c #Conflicts: 243000 | #Constraints: 58698 910.48/912.95 c #Conflicts: 244000 | #Constraints: 59698 910.48/912.95 c #Conflicts: 245000 | #Constraints: 60698 910.48/912.95 c #Conflicts: 246000 | #Constraints: 61698 910.48/912.95 c #Conflicts: 247000 | #Constraints: 62698 910.48/912.95 c #Conflicts: 248000 | #Constraints: 63698 910.48/912.95 c #Conflicts: 249000 | #Constraints: 64698 910.48/912.95 c #Conflicts: 250000 | #Constraints: 65698 910.48/912.95 c #Conflicts: 251000 | #Constraints: 66698 910.48/912.95 c #Conflicts: 252000 | #Constraints: 67698 910.48/912.95 c #Conflicts: 253000 | #Constraints: 68698 910.48/912.95 c #Conflicts: 254000 | #Constraints: 69698 910.48/912.95 c #Conflicts: 255000 | #Constraints: 70698 910.48/912.95 c INPROCESSING 910.48/912.95 c GARBAGE COLLECT 910.48/912.95 c rational objective 19 984.89/987.59 c #Conflicts: 256000 | #Constraints: 46344 984.89/987.59 c #Conflicts: 257000 | #Constraints: 47344 984.89/987.59 c #Conflicts: 258000 | #Constraints: 48344 984.89/987.59 c #Conflicts: 259000 | #Constraints: 49344 984.89/987.59 c #Conflicts: 260000 | #Constraints: 50344 984.89/987.59 c #Conflicts: 261000 | #Constraints: 51344 984.89/987.59 c #Conflicts: 262000 | #Constraints: 52344 984.89/987.59 c #Conflicts: 263000 | #Constraints: 53344 984.89/987.59 c #Conflicts: 264000 | #Constraints: 54344 984.89/987.59 c #Conflicts: 265000 | #Constraints: 55344 984.89/987.59 c #Conflicts: 266000 | #Constraints: 56344 984.89/987.59 c INPROCESSING 984.89/987.59 c GARBAGE COLLECT 984.89/987.59 c rational objective 19 1050.63/1053.45 c #Conflicts: 267000 | #Constraints: 38945 1050.63/1053.45 c #Conflicts: 268000 | #Constraints: 39945 1050.63/1053.45 c #Conflicts: 269000 | #Constraints: 40945 1050.63/1053.45 c #Conflicts: 270000 | #Constraints: 41945 1050.63/1053.45 c #Conflicts: 271000 | #Constraints: 42945 1050.63/1053.45 c #Conflicts: 272000 | #Constraints: 43945 1050.63/1053.45 c #Conflicts: 273000 | #Constraints: 44945 1050.63/1053.45 c #Conflicts: 274000 | #Constraints: 45945 1050.63/1053.45 c #Conflicts: 275000 | #Constraints: 46945 1050.63/1053.45 c #Conflicts: 276000 | #Constraints: 47945 1050.63/1053.45 c #Conflicts: 277000 | #Constraints: 48945 1050.63/1053.45 c #Conflicts: 278000 | #Constraints: 49945 1050.63/1053.45 c INPROCESSING 1050.63/1053.45 c GARBAGE COLLECT 1050.63/1053.45 c rational objective 19 1417.93/1423.41 c #Conflicts: 279000 | #Constraints: 35911 1417.93/1423.41 c #Conflicts: 280000 | #Constraints: 36911 1417.93/1423.41 c #Conflicts: 281000 | #Constraints: 37911 1417.93/1423.41 c #Conflicts: 282000 | #Constraints: 38911 1417.93/1423.41 c #Conflicts: 283000 | #Constraints: 39911 1417.93/1423.41 c #Conflicts: 284000 | #Constraints: 40911 1417.93/1423.41 c #Conflicts: 285000 | #Constraints: 41911 1417.93/1423.41 c #Conflicts: 286000 | #Constraints: 42911 1417.93/1423.41 c #Conflicts: 287000 | #Constraints: 43911 1417.93/1423.41 c #Conflicts: 288000 | #Constraints: 44911 1417.93/1423.41 c #Conflicts: 289000 | #Constraints: 45911 1417.93/1423.41 c #Conflicts: 290000 | #Constraints: 46911 1417.93/1423.41 c #Conflicts: 291000 | #Constraints: 47911 1417.93/1423.41 c #Conflicts: 292000 | #Constraints: 48911 1417.93/1423.41 c #Conflicts: 293000 | #Constraints: 49911 1417.93/1423.41 c #Conflicts: 294000 | #Constraints: 50911 1417.93/1423.41 c #Conflicts: 295000 | #Constraints: 51911 1417.93/1423.41 c #Conflicts: 296000 | #Constraints: 52911 1417.93/1423.41 c #Conflicts: 297000 | #Constraints: 53911 1417.93/1423.41 c #Conflicts: 298000 | #Constraints: 54911 1417.93/1423.41 c #Conflicts: 299000 | #Constraints: 55911 1417.93/1423.41 c #Conflicts: 300000 | #Constraints: 56911 1417.93/1423.41 c #Conflicts: 301000 | #Constraints: 57911 1417.93/1423.41 c #Conflicts: 302000 | #Constraints: 58911 1417.93/1423.41 c #Conflicts: 303000 | #Constraints: 59911 1417.93/1423.41 c #Conflicts: 304000 | #Constraints: 60911 1417.93/1423.41 c bounds 22 >= 20 @ 1257.63 1417.93/1423.41 c #Conflicts: 305000 | #Constraints: 61947 1417.93/1423.41 c #Conflicts: 306000 | #Constraints: 62947 1417.93/1423.41 c #Conflicts: 307000 | #Constraints: 63947 1417.93/1423.41 c #Conflicts: 308000 | #Constraints: 64947 1417.93/1423.41 c #Conflicts: 309000 | #Constraints: 65947 1417.93/1423.41 c #Conflicts: 310000 | #Constraints: 66947 1417.93/1423.41 c #Conflicts: 311000 | #Constraints: 67947 1417.93/1423.41 c #Conflicts: 312000 | #Constraints: 68947 1417.93/1423.41 c #Conflicts: 313000 | #Constraints: 69947 1417.93/1423.41 c #Conflicts: 314000 | #Constraints: 70947 1417.93/1423.41 c #Conflicts: 315000 | #Constraints: 71947 1417.93/1423.41 c #Conflicts: 316000 | #Constraints: 72947 1417.93/1423.41 c #Conflicts: 317000 | #Constraints: 73947 1417.93/1423.41 c #Conflicts: 318000 | #Constraints: 74947 1417.93/1423.41 c #Conflicts: 319000 | #Constraints: 75947 1417.93/1423.41 c #Conflicts: 320000 | #Constraints: 76947 1417.93/1423.41 c INPROCESSING 1417.93/1423.41 c GARBAGE COLLECT 1417.93/1423.41 c rational objective 20 1432.00/1437.69 c #Conflicts: 321000 | #Constraints: 49393 1432.00/1437.69 c #Conflicts: 322000 | #Constraints: 50393 1432.00/1437.69 c bounds 20 >= 20 @ 1423.52 1432.00/1437.69 c cpu time 1423.52 s 1432.00/1437.69 c deterministic time 178335399983 1.78e+11 1432.00/1437.69 c optimization time 0.002889 s 1432.00/1437.69 c total solve time 1423.48 s 1432.00/1437.69 c core-guided solve time 819.096 s 1432.00/1437.69 c propagation time 1162.85 s 1432.00/1437.69 c conflict analysis time 229.219 s 1432.00/1437.69 c propagations 212000566 1432.00/1437.69 c resolve steps 20180081 1432.00/1437.69 c decisions 4900890 1432.00/1437.69 c conflicts 322190 1432.00/1437.69 c restarts 765 1432.00/1437.69 c inprocessing phases 33 1432.00/1437.69 c input clauses 19375 1432.00/1437.69 c input cardinalities 38 1432.00/1437.69 c input general constraints 96 1432.00/1437.69 c input average constraint length 3.53 1432.00/1437.69 c input average constraint degree 1.41 1432.00/1437.69 c learned clauses 144973 1432.00/1437.69 c learned cardinalities 1377 1432.00/1437.69 c learned general constraints 175871 1432.00/1437.69 c learned average constraint length 611.65 1432.00/1437.69 c learned average constraint degree 8916616.49 1432.00/1437.69 c watched constraints 137050 1432.00/1437.69 c counting constraints 38917 1432.00/1437.69 c gcd simplifications 1356 1432.00/1437.69 c detected cardinalities 12 1432.00/1437.69 c weakened non-implied lits 17520856 1432.00/1437.69 c weakened non-implying lits 34062 1432.00/1437.69 c original variables 5499 1432.00/1437.69 c clausal propagations 170503028 1432.00/1437.69 c cardinality propagations 1321993 1432.00/1437.69 c watched propagations 4208153 1432.00/1437.69 c counting propagations 35238306 1432.00/1437.69 c watch lookups 24169549576 1432.00/1437.69 c watch backjump lookups 19949328201 1432.00/1437.69 c watch checks 125938805812 1432.00/1437.69 c propagation checks 7169553766 1432.00/1437.69 c constraint additions 673677447 1432.00/1437.69 c trail pops 217223621 1432.00/1437.69 c formula constraints 19319 1432.00/1437.69 c learned constraints 322188 1432.00/1437.69 c bound constraints 37 1432.00/1437.69 c core-guided constraints 153 1432.00/1437.69 c encountered formula constraints 16155471 1432.00/1437.69 c encountered learned constraints 4174878 1432.00/1437.69 c encountered bound constraints 443 1432.00/1437.69 c encountered core-guided constraints 171335 1432.00/1437.69 c LP total time 85.8449 s 1432.00/1437.69 c LP solve time 75.55 s 1432.00/1437.69 c LP constraints added 19465 1432.00/1437.69 c LP constraints removed 141 1432.00/1437.69 c LP pivots internal 323676 1432.00/1437.69 c LP pivots root 36427 1432.00/1437.69 c LP calls 276 1432.00/1437.69 c LP optimalities 266 1432.00/1437.69 c LP no pivot count 42 1432.00/1437.69 c LP infeasibilities 6 1432.00/1437.69 c LP valid Farkas constraints 6 1432.00/1437.69 c LP learned Farkas constraints 6 1432.00/1437.69 c LP basis resets 0 1432.00/1437.69 c LP cycling count 0 1432.00/1437.69 c LP singular count 0 1432.00/1437.69 c LP no primal count 0 1432.00/1437.69 c LP no farkas count 0 1432.00/1437.69 c LP other issue count 0 1432.00/1437.69 c LP Gomory cuts 21 1432.00/1437.69 c LP learned cuts 125 1432.00/1437.69 c LP deleted cuts 141 1432.00/1437.69 c LP encountered Gomory constraints 0 1432.00/1437.69 c LP encountered Farkas constraints 129 1432.00/1437.69 c LP encountered learned Farkas constraints 9 1432.00/1437.69 c CG auxiliary variables introduced 56 1432.00/1437.69 c CG solutions found 8 1432.00/1437.69 c CG cores constructed 15 1432.00/1437.69 c CG core cardinality constraints returned 0 1432.00/1437.69 c CG unit cores 0 1432.00/1437.69 c CG single cores 15 1432.00/1437.69 c CG blocks removed during cardinality reduction 0 1432.00/1437.69 c CG first core best 0 1432.00/1437.69 c CG decision core best 0 1432.00/1437.69 c CG core reduction tie 0 1432.00/1437.69 c CG core degree average 1.00 1432.00/1437.69 c CG core slack average 42.33 1432.00/1437.69 o 20 1432.00/1437.69 s OPTIMUM FOUND 1432.00/1437.69 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 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 x4349 -x4350 x4351 -x4352 -x4353 x4354 x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 x4459 -x4460 x4461 -x4462 -x4463 x4464 x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 x4599 x4600 -x4601 -x4602 x4603 x4604 -x4605 x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 x4873 x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 x5042 -x5043 -x5044 x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 x5092 -x5093 -x5094 x5095 -x5096 x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 x5104 -x5105 x5106 -x5107 x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 x5148 x5149 -x5150 -x5151 -x5152 x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 x5162 -x5163 x5164 -x5165 -x5166 -x5167 -x5168 x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 x5176 -x5177 x5178 -x5179 x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 x5204 -x5205 x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 x5228 -x5229 x5230 -x5231 x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 x5287 -x5288 -x5289 x5290 -x5291 x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 x5299 -x5300 x5301 -x5302 -x5303 -x5304 -x5305 x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 x5396 x5397 x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 x5422 x5423 -x5424 -x5425 -x5426 x5427 x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 x5462 -x5463 x5464 -x5465 -x5466 x5467 -x5468 x5469 -x5470 x5471 -x5472 -x5473 -x5474 x5475 -x5476 -x5477 -x5478 -x5479 -x5480 x5481 -x5482 x5483 -x5484 x5485 -x5486 x5487 -x5488 x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 x5497 -x5498 x5499
OK 20
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (62051 MiB free)
memory of node 1: 64473 MiB (61509 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4429511-1721049076/watcher-4429511-1721049076 -o /tmp/evaluation-result-4429511-1721049076/solver-4429511-1721049076 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1721049088-805223 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4429511-1721049076.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=805266, runsolver pid=805261
Current StackSize limit: 8192 KiB
[startup+0.100101 s]*
/proc/loadavg: 1.09 1.10 1.15 6/256 805280
/proc/meminfo: memFree=126483660/131524600 swapFree=131071996/131071996
[pid=805266] ppid=805261 vsize=49972 memory=20356 CPUtime=0.1 cores=1,3
/proc/805266/stat : 805266 (roundingsat) R 805261 805266 805211 0 -1 4194304 4638 0 1 0 8 2 0 0 20 0 1 0 157071397 51171328 5089 134679101440 4194304 7968869 140728518920496 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 28114944 140728518923198 140728518923362 140728518923362 140728518930377 0
/proc/805266/statm: 12493 5089 1769 922 0 4445 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 49972 KiB
Current children cumulated memory: 20356 KiB
[startup+0.206087 s]*
/proc/loadavg: 1.48 1.18 1.18 6/259 805286
/proc/meminfo: memFree=126456508/131524600 swapFree=131071996/131071996
[pid=805266] ppid=805261 vsize=50580 memory=21140 CPUtime=0.2 cores=1,3
/proc/805266/stat : 805266 (roundingsat) R 805261 805266 805211 0 -1 4194304 4826 0 1 0 18 2 0 0 20 0 1 0 157071397 51793920 5285 134679101440 4194304 7968869 140728518920496 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 28114944 140728518923198 140728518923362 140728518923362 140728518930377 0
/proc/805266/statm: 12645 5285 1769 922 0 4597 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 50580 KiB
Current children cumulated memory: 21140 KiB
[startup+0.306 s]*
/proc/loadavg: 1.48 1.18 1.18 6/259 805286
/proc/meminfo: memFree=126417536/131524600 swapFree=131071996/131071996
[pid=805266] ppid=805261 vsize=50580 memory=21780 CPUtime=0.3 cores=1,3
/proc/805266/stat : 805266 (roundingsat) R 805261 805266 805211 0 -1 4194304 4985 0 1 0 26 4 0 0 20 0 1 0 157071397 51793920 5445 134679101440 4194304 7968869 140728518920496 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 28114944 140728518923198 140728518923362 140728518923362 140728518930377 0
/proc/805266/statm: 12645 5445 1799 922 0 4597 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 50580 KiB
Current children cumulated memory: 21780 KiB
[startup+0.700167 s]
/proc/loadavg: 1.48 1.18 1.18 6/259 805286
/proc/meminfo: memFree=126404896/131524600 swapFree=131071996/131071996
[pid=805266] ppid=805261 vsize=52828 memory=26728 CPUtime=0.69 cores=1,3
/proc/805266/stat : 805266 (roundingsat) R 805261 805266 805211 0 -1 4194304 5690 0 1 0 62 7 0 0 20 0 1 0 157071397 54095872 6682 134679101440 4194304 7968869 140728518920496 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 28114944 140728518923198 140728518923362 140728518923362 140728518930377 0
/proc/805266/statm: 13207 6682 1799 922 0 5159 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 52828 KiB
Current children cumulated memory: 26728 KiB
[startup+1.50022 s]
/proc/loadavg: 1.48 1.18 1.18 6/259 805286
/proc/meminfo: memFree=126376356/131524600 swapFree=131071996/131071996
[pid=805266] ppid=805261 vsize=60172 memory=33912 CPUtime=1.49 cores=1,3
/proc/805266/stat : 805266 (roundingsat) R 805261 805266 805211 0 -1 4194304 7145 0 1 0 140 9 0 0 20 0 1 0 157071397 61616128 8478 134679101440 4194304 7968869 140728518920496 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 28114944 140728518923198 140728518923362 140728518923362 140728518930377 0
/proc/805266/statm: 15043 8478 1815 922 0 6995 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 60172 KiB
Current children cumulated memory: 33912 KiB
[startup+3.10596 s]
/proc/loadavg: 1.48 1.18 1.18 6/259 805286
/proc/meminfo: memFree=126141140/131524600 swapFree=131071996/131071996
[pid=805266] ppid=805261 vsize=61528 memory=35692 CPUtime=3.08 cores=1,3
/proc/805266/stat : 805266 (roundingsat) R 805261 805266 805211 0 -1 4194304 7530 0 1 0 294 14 0 0 20 0 1 0 157071397 63004672 8923 134679101440 4194304 7968869 140728518920496 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 28114944 140728518923198 140728518923362 140728518923362 140728518930377 0
/proc/805266/statm: 15382 8923 1869 922 0 7334 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 61528 KiB
Current children cumulated memory: 35692 KiB
[startup+6.3002 s]
/proc/loadavg: 1.76 1.25 1.20 6/259 805286
/proc/meminfo: memFree=126088468/131524600 swapFree=131071996/131071996
[pid=805266] ppid=805261 vsize=81296 memory=50180 CPUtime=6.27 cores=1,3
/proc/805266/stat : 805266 (roundingsat) R 805261 805266 805211 0 -1 4194304 10127 0 1 0 604 23 0 0 20 0 1 0 157071397 83247104 12545 134679101440 4194304 7968869 140728518920496 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 28114944 140728518923198 140728518923362 140728518923362 140728518930377 0
/proc/805266/statm: 20324 12545 1869 922 0 12276 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 81296 KiB
Current children cumulated memory: 50180 KiB
[startup+12.7002 s]
/proc/loadavg: 2.02 1.31 1.22 6/259 805288
/proc/meminfo: memFree=126049664/131524600 swapFree=131071996/131071996
[pid=805266] ppid=805261 vsize=85920 memory=56436 CPUtime=12.65 cores=1,3
/proc/805266/stat : 805266 (roundingsat) R 805261 805266 805211 0 -1 4194304 11234 0 1 0 1229 36 0 0 20 0 1 0 157071397 87982080 14109 134679101440 4194304 7968869 140728518920496 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 28114944 140728518923198 140728518923362 140728518923362 140728518930377 0
/proc/805266/statm: 21480 14109 1869 922 0 13432 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 85920 KiB
Current children cumulated memory: 56436 KiB
[startup+25.5002 s]
/proc/loadavg: 2.48 1.43 1.26 6/259 805289
/proc/meminfo: memFree=125962224/131524600 swapFree=131071996/131071996
[pid=805266] ppid=805261 vsize=88828 memory=61372 CPUtime=25.42 cores=1,3
/proc/805266/stat : 805266 (roundingsat) R 805261 805266 805211 0 -1 4194304 11955 0 1 0 2480 62 0 0 20 0 1 0 157071397 90959872 15343 134679101440 4194304 7968869 140728518920496 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 28114944 140728518923198 140728518923362 140728518923362 140728518930377 0
/proc/805266/statm: 22207 15343 1869 922 0 14159 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 88828 KiB
Current children cumulated memory: 61372 KiB
[startup+51.106 s]
/proc/loadavg: 3.15 1.70 1.36 6/259 805294
/proc/meminfo: memFree=125875144/131524600 swapFree=131071996/131071996
[pid=805266] ppid=805261 vsize=114760 memory=81412 CPUtime=50.96 cores=1,3
/proc/805266/stat : 805266 (roundingsat) R 805261 805266 805211 0 -1 4194304 15945 0 1 0 4985 111 0 0 20 0 1 0 157071397 117514240 20353 134679101440 4194304 7968869 140728518920496 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 28114944 140728518923198 140728518923362 140728518923362 140728518930377 0
/proc/805266/statm: 28690 20353 1869 922 0 20642 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 114760 KiB
Current children cumulated memory: 81412 KiB
[startup+102.3 s]
/proc/loadavg: 3.75 2.08 1.51 6/259 805302
/proc/meminfo: memFree=125719820/131524600 swapFree=131071996/131071996
[pid=805266] ppid=805261 vsize=142420 memory=95956 CPUtime=102.02 cores=1,3
/proc/805266/stat : 805266 (roundingsat) R 805261 805266 805211 0 -1 4194304 18060 0 1 0 10004 198 0 0 20 0 1 0 157071397 145838080 23989 134679101440 4194304 7968869 140728518920496 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 28114944 140728518923198 140728518923362 140728518923362 140728518930377 0
/proc/805266/statm: 35605 23989 1869 922 0 27557 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 142420 KiB
Current children cumulated memory: 95956 KiB
[startup+162.3 s]
/proc/loadavg: 4.03 2.47 1.68 6/259 805314
/proc/meminfo: memFree=125537184/131524600 swapFree=131071996/131071996
[pid=805266] ppid=805261 vsize=245984 memory=177512 CPUtime=161.86 cores=1,3
/proc/805266/stat : 805266 (roundingsat) R 805261 805266 805211 0 -1 4194304 24095 0 1 0 15927 259 0 0 20 0 1 0 157071397 251887616 44378 134679101440 4194304 7968869 140728518920496 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 28114944 140728518923198 140728518923362 140728518923362 140728518930377 0
/proc/805266/statm: 61496 44378 1869 922 0 53448 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 245984 KiB
Current children cumulated memory: 177512 KiB
[startup+222.3 s]
/proc/loadavg: 4.21 2.81 1.85 6/256 805324
/proc/meminfo: memFree=125453580/131524600 swapFree=131071996/131071996
[pid=805266] ppid=805261 vsize=265316 memory=230968 CPUtime=221.66 cores=1,3
/proc/805266/stat : 805266 (roundingsat) R 805261 805266 805211 0 -1 4194304 28791 0 1 0 21867 299 0 0 20 0 1 0 157071397 271683584 57742 134679101440 4194304 7968869 140728518920496 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 28114944 140728518923198 140728518923362 140728518923362 140728518930377 0
/proc/805266/statm: 66329 57742 1869 922 0 58281 0
Current children cumulated CPU time: 221.66 s
Current children cumulated vsize: 265316 KiB
Current children cumulated memory: 230968 KiB
[startup+282.3 s]
/proc/loadavg: 4.17 3.06 1.99 6/256 805334
/proc/meminfo: memFree=125405660/131524600 swapFree=131071996/131071996
[pid=805266] ppid=805261 vsize=267272 memory=239604 CPUtime=281.46 cores=1,3
/proc/805266/stat : 805266 (roundingsat) R 805261 805266 805211 0 -1 4194304 29386 0 1 0 27786 360 0 0 20 0 1 0 157071397 273686528 59901 134679101440 4194304 7968869 140728518920496 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 28114944 140728518923198 140728518923362 140728518923362 140728518930377 0
/proc/805266/statm: 66818 59901 1869 922 0 58770 0
Current children cumulated CPU time: 281.46 s
Current children cumulated vsize: 267272 KiB
Current children cumulated memory: 239604 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 3.25 2.13 6/255 805346
/proc/meminfo: memFree=125307880/131524600 swapFree=131071996/131071996
[pid=805266] ppid=805261 vsize=271160 memory=242836 CPUtime=341.29 cores=1,3
/proc/805266/stat : 805266 (roundingsat) R 805261 805266 805211 0 -1 4194304 30315 0 1 0 33736 393 0 0 20 0 1 0 157071397 277667840 60709 134679101440 4194304 7968869 140728518920496 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 28114944 140728518923198 140728518923362 140728518923362 140728518930377 0
/proc/805266/statm: 67790 60709 1869 922 0 59742 0
Current children cumulated CPU time: 341.29 s
Current children cumulated vsize: 271160 KiB
Current children cumulated memory: 242836 KiB
[startup+402.3 s]
/proc/loadavg: 4.15 3.42 2.26 6/255 805358
/proc/meminfo: memFree=125272056/131524600 swapFree=131071996/131071996
[pid=805266] ppid=805261 vsize=278100 memory=249044 CPUtime=401.14 cores=1,3
/proc/805266/stat : 805266 (roundingsat) R 805261 805266 805211 0 -1 4194304 31999 0 1 0 39692 422 0 0 20 0 1 0 157071397 284774400 62261 134679101440 4194304 7968869 140728518920496 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 28114944 140728518923198 140728518923362 140728518923362 140728518930377 0
/proc/805266/statm: 69525 62261 1869 922 0 61477 0
Current children cumulated CPU time: 401.14 s
Current children cumulated vsize: 278100 KiB
Current children cumulated memory: 249044 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 3.54 2.37 6/255 805368
/proc/meminfo: memFree=125240976/131524600 swapFree=131071996/131071996
[pid=805266] ppid=805261 vsize=279288 memory=250324 CPUtime=460.99 cores=1,3
/proc/805266/stat : 805266 (roundingsat) R 805261 805266 805211 0 -1 4194304 32341 0 1 0 45628 471 0 0 20 0 1 0 157071397 285990912 62581 134679101440 4194304 7968869 140728518920496 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 28114944 140728518923198 140728518923362 140728518923362 140728518930377 0
/proc/805266/statm: 69822 62581 1869 922 0 61774 0
################
# More data... #
################
Current children cumulated memory: 344768 KiB
[startup+1002.3 s]
/proc/loadavg: 4.19 4.05 3.17 6/262 806136
/proc/meminfo: memFree=124395036/131524600 swapFree=131071996/131071996
[pid=805266] ppid=805261 vsize=395624 memory=344888 CPUtime=999.65 cores=1,3
/proc/805266/stat : 805266 (roundingsat) R 805261 805266 805211 0 -1 4194304 41549 0 1 0 99245 720 0 0 20 0 1 0 157071397 405118976 86222 134679101440 4194304 7968869 140728518920496 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 28114944 140728518923198 140728518923362 140728518923362 140728518930377 0
/proc/805266/statm: 98906 86222 1869 922 0 90858 0
Current children cumulated CPU time: 999.65 s
Current children cumulated vsize: 395624 KiB
Current children cumulated memory: 344888 KiB
[startup+1062.3 s]
/proc/loadavg: 4.12 4.05 3.23 6/261 806146
/proc/meminfo: memFree=124351476/131524600 swapFree=131071996/131071996
[pid=805266] ppid=805261 vsize=395624 memory=344888 CPUtime=1059.5 cores=1,3
/proc/805266/stat : 805266 (roundingsat) R 805261 805266 805211 0 -1 4194304 41625 0 1 0 105204 746 0 0 20 0 1 0 157071397 405118976 86222 134679101440 4194304 7968869 140728518920496 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 28114944 140728518923198 140728518923362 140728518923362 140728518930377 0
/proc/805266/statm: 98906 86222 1869 922 0 90858 0
Current children cumulated CPU time: 1059.5 s
Current children cumulated vsize: 395624 KiB
Current children cumulated memory: 344888 KiB
[startup+1122.3 s]
/proc/loadavg: 4.16 4.07 3.29 6/261 806213
/proc/meminfo: memFree=124315820/131524600 swapFree=131071996/131071996
[pid=805266] ppid=805261 vsize=395624 memory=344888 CPUtime=1119.35 cores=1,3
/proc/805266/stat : 805266 (roundingsat) R 805261 805266 805211 0 -1 4194304 41703 0 1 0 111162 773 0 0 20 0 1 0 157071397 405118976 86222 134679101440 4194304 7968869 140728518920496 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 8652288 8659944 28114944 140728518923198 140728518923362 140728518923362 140728518930377 0
/proc/805266/statm: 98906 86222 1869 922 0 90858 0
Current children cumulated CPU time: 1119.35 s
Current children cumulated vsize: 395624 KiB
Current children cumulated memory: 344888 KiB
[startup+1182.3 s]
/proc/loadavg: 4.19 4.09 3.35 7/261 806224
/proc/meminfo: memFree=124247148/131524600 swapFree=131071996/131071996
[pid=805266] ppid=805261 vsize=395624 memory=344912 CPUtime=1178.95 cores=1,3
/proc/805266/stat : 805266 (roundingsat) R 805261 805266 805211 0 -1 4194304 41824 0 1 0 117104 791 0 0 20 0 1 0 157071397 405118976 86228 134679101440 4194304 7968869 140728518920496 0 0 0 0 0 25182210 0 0 0 17 3 0 0 0 0 0 8652288 8659944 28114944 140728518923198 140728518923362 140728518923362 140728518930377 0
/proc/805266/statm: 98906 86228 1869 922 0 90858 0
Current children cumulated CPU time: 1178.95 s
Current children cumulated vsize: 395624 KiB
Current children cumulated memory: 344912 KiB
[startup+1242.3 s]
/proc/loadavg: 4.12 4.08 3.40 7/261 806234
/proc/meminfo: memFree=124160212/131524600 swapFree=131071996/131071996
[pid=805266] ppid=805261 vsize=398208 memory=346912 CPUtime=1238.42 cores=1,3
/proc/805266/stat : 805266 (roundingsat) R 805261 805266 805211 0 -1 4194304 42484 0 1 0 123038 804 0 0 20 0 1 0 157071397 407764992 86728 134679101440 4194304 7968869 140728518920496 0 0 0 0 0 25182210 0 0 0 17 3 0 0 0 0 0 8652288 8659944 28114944 140728518923198 140728518923362 140728518923362 140728518930377 0
/proc/805266/statm: 99552 86728 1869 922 0 91504 0
Current children cumulated CPU time: 1238.42 s
Current children cumulated vsize: 398208 KiB
Current children cumulated memory: 346912 KiB
[startup+1302.3 s]
/proc/loadavg: 4.08 4.08 3.44 6/258 806244
/proc/meminfo: memFree=124094564/131524600 swapFree=131071996/131071996
[pid=805266] ppid=805261 vsize=404348 memory=352492 CPUtime=1297.89 cores=1,3
/proc/805266/stat : 805266 (roundingsat) R 805261 805266 805211 0 -1 4194304 44010 0 1 0 128969 820 0 0 20 0 1 0 157071397 414052352 88123 134679101440 4194304 7968869 140728518920496 0 0 0 0 0 25182210 0 0 0 17 3 0 0 0 0 0 8652288 8659944 28114944 140728518923198 140728518923362 140728518923362 140728518930377 0
/proc/805266/statm: 101087 88123 1869 922 0 93039 0
Current children cumulated CPU time: 1297.89 s
Current children cumulated vsize: 404348 KiB
Current children cumulated memory: 352492 KiB
[startup+1362.3 s]
/proc/loadavg: 4.08 4.08 3.49 7/256 806256
/proc/meminfo: memFree=124039572/131524600 swapFree=131071996/131071996
[pid=805266] ppid=805261 vsize=417580 memory=362240 CPUtime=1357.37 cores=1,3
/proc/805266/stat : 805266 (roundingsat) R 805261 805266 805211 0 -1 4194304 46545 0 1 0 134901 836 0 0 20 0 1 0 157071397 427601920 90560 134679101440 4194304 7968869 140728518920496 0 0 0 0 0 25182210 0 0 0 17 3 0 0 0 0 0 8652288 8659944 28114944 140728518923198 140728518923362 140728518923362 140728518930377 0
/proc/805266/statm: 104395 90560 1869 922 0 96347 0
Current children cumulated CPU time: 1357.37 s
Current children cumulated vsize: 417580 KiB
Current children cumulated memory: 362240 KiB
[startup+1422.3 s]
/proc/loadavg: 4.07 4.08 3.53 6/254 806266
/proc/meminfo: memFree=123974828/131524600 swapFree=131071996/131071996
[pid=805266] ppid=805261 vsize=555008 memory=400096 CPUtime=1416.84 cores=1,3
/proc/805266/stat : 805266 (roundingsat) R 805261 805266 805211 0 -1 4194304 48448 0 1 0 140833 851 0 0 20 0 1 0 157071397 568328192 100024 134679101440 4194304 7968869 140728518920496 0 0 0 0 0 25182210 0 0 0 17 3 0 0 0 0 0 8652288 8659944 28114944 140728518923198 140728518923362 140728518923362 140728518930377 0
/proc/805266/statm: 138752 100024 1869 922 0 130704 0
Current children cumulated CPU time: 1416.84 s
Current children cumulated vsize: 555008 KiB
Current children cumulated memory: 400096 KiB
[startup+1437.71 s]
# the end of solver process 805266 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=1423.53 s, system=8.59598 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1427.2 s]
/proc/loadavg: 4.14 4.09 3.54 7/254 806267
/proc/meminfo: memFree=123971228/131524600 swapFree=131071996/131071996
[pid=805266] ppid=805261 vsize=555700 memory=402932 CPUtime=1421.7 cores=1,3
/proc/805266/stat : 805266 (roundingsat) R 805261 805266 805211 0 -1 4194304 48667 0 1 0 141317 853 0 0 20 0 1 0 157071397 569036800 100733 134679101440 4194304 7968869 140728518920496 0 0 0 0 0 25182210 0 0 0 17 3 0 0 0 0 0 8652288 8659944 28114944 140728518923198 140728518923362 140728518923362 140728518930377 0
/proc/805266/statm: 138925 100733 1869 922 0 130877 0
Current children cumulated CPU time: 1421.7 s
Current children cumulated vsize: 555700 KiB
Current children cumulated memory: 402932 KiB
[startup+1433.6 s]
/proc/loadavg: 4.13 4.09 3.54 6/254 806267
/proc/meminfo: memFree=123968372/131524600 swapFree=131071996/131071996
[pid=805266] ppid=805261 vsize=556244 memory=403196 CPUtime=1428.04 cores=1,3
/proc/805266/stat : 805266 (roundingsat) R 805261 805266 805211 0 -1 4194304 48743 0 1 0 141948 856 0 0 20 0 1 0 157071397 569593856 100799 134679101440 4194304 7968869 140728518920496 0 0 0 0 0 25182210 0 0 0 17 3 0 0 0 0 0 8652288 8659944 28114944 140728518923198 140728518923362 140728518923362 140728518930377 0
/proc/805266/statm: 139061 100799 1869 922 0 131013 0
Current children cumulated CPU time: 1428.04 s
Current children cumulated vsize: 556244 KiB
Current children cumulated memory: 403196 KiB
[startup+1435.2 s]
/proc/loadavg: 4.13 4.09 3.54 6/254 806267
/proc/meminfo: memFree=123968364/131524600 swapFree=131071996/131071996
[pid=805266] ppid=805261 vsize=556244 memory=403196 CPUtime=1429.63 cores=1,3
/proc/805266/stat : 805266 (roundingsat) R 805261 805266 805211 0 -1 4194304 48743 0 1 0 142106 857 0 0 20 0 1 0 157071397 569593856 100799 134679101440 4194304 7968869 140728518920496 0 0 0 0 0 25182210 0 0 0 17 3 0 0 0 0 0 8652288 8659944 28114944 140728518923198 140728518923362 140728518923362 140728518930377 0
/proc/805266/statm: 139061 100799 1869 922 0 131013 0
Current children cumulated CPU time: 1429.63 s
Current children cumulated vsize: 556244 KiB
Current children cumulated memory: 403196 KiB
[startup+1436.8 s]
/proc/loadavg: 4.12 4.09 3.54 7/254 806267
/proc/meminfo: memFree=123968344/131524600 swapFree=131071996/131071996
[pid=805266] ppid=805261 vsize=556244 memory=403196 CPUtime=1431.21 cores=1,3
/proc/805266/stat : 805266 (roundingsat) R 805261 805266 805211 0 -1 4194304 48743 0 1 0 142263 858 0 0 20 0 1 0 157071397 569593856 100799 134679101440 4194304 7968869 140728518920496 0 0 0 0 0 25182210 0 0 0 17 3 0 0 0 0 0 8652288 8659944 28114944 140728518923198 140728518923362 140728518923362 140728518930377 0
/proc/805266/statm: 139061 100799 1869 922 0 131013 0
Current children cumulated CPU time: 1431.21 s
Current children cumulated vsize: 556244 KiB
Current children cumulated memory: 403196 KiB
[startup+1437.2 s]
/proc/loadavg: 4.12 4.09 3.54 6/254 806269
/proc/meminfo: memFree=123966356/131524600 swapFree=131071996/131071996
[pid=805266] ppid=805261 vsize=556244 memory=403196 CPUtime=1431.6 cores=1,3
/proc/805266/stat : 805266 (roundingsat) R 805261 805266 805211 0 -1 4194304 48743 0 1 0 142302 858 0 0 20 0 1 0 157071397 569593856 100799 134679101440 4194304 7968869 140728518920496 0 0 0 0 0 25182210 0 0 0 17 3 0 0 0 0 0 8652288 8659944 28114944 140728518923198 140728518923362 140728518923362 140728518930377 0
/proc/805266/statm: 139061 100799 1869 922 0 131013 0
Current children cumulated CPU time: 1431.6 s
Current children cumulated vsize: 556244 KiB
Current children cumulated memory: 403196 KiB
[startup+1437.6 s]
/proc/loadavg: 4.12 4.09 3.54 6/254 806269
/proc/meminfo: memFree=123966356/131524600 swapFree=131071996/131071996
[pid=805266] ppid=805261 vsize=556244 memory=403196 CPUtime=1432 cores=1,3
/proc/805266/stat : 805266 (roundingsat) R 805261 805266 805211 0 -1 4194304 48743 0 1 0 142342 858 0 0 20 0 1 0 157071397 569593856 100799 134679101440 4194304 7968869 140728518920496 0 0 0 0 0 25182210 0 0 0 17 3 0 0 0 0 0 8652288 8659944 28114944 140728518923198 140728518923362 140728518923362 140728518930377 0
/proc/805266/statm: 139061 100799 1869 922 0 131013 0
Current children cumulated CPU time: 1432 s
Current children cumulated vsize: 556244 KiB
Current children cumulated memory: 403196 KiB
[startup+1437.7 s]*
/proc/loadavg: 4.12 4.09 3.54 5/254 806269
/proc/meminfo: memFree=124103908/131524600 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 1437.71
CPU time (s): 1432.12
CPU user time (s): 1423.53
CPU system time (s): 8.59598
CPU usage (%): 99.6112
Max. virtual memory (cumulated for all children) (KiB): 556244
Max. memory (cumulated for all children) (KiB): 403196
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1423.53
system time used= 8.59598
maximum resident set size= 403196
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48752
page faults= 1
swaps= 0
block input operations= 104
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 83
involuntary context switches= 4977
# summary of solver processes directly reported to runsolver:
# pid: 805266
# total CPU time (s): 1432.12
# total CPU user time (s): 1423.53
# total CPU system time (s): 8.59598
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.23165 second user time and 7.42146 second system time
The end
Begin job on nodeC021 at 2024-07-15 15:11:28 IDJOB=4429511 IDBENCH=148192 IDSOLVER=3051 FILE ID=nodeC021/4429511-1721049076 RUNJOBID= nodeC021-1721049088-805223 SLURM_JOB_ID= 7505474 Free space on /tmp= 890080 MiB SOLVER NAME= RoundingSat nolog BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_5.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-4429511-1721049076/watcher-4429511-1721049076 -o /tmp/evaluation-result-4429511-1721049076/solver-4429511-1721049076 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1721049088-805223 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4429511-1721049076.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 2f5de9b63d0a2988dce846045b262c40 RANDOM SEED=903420505 nodeC021.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3716.828 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.42 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3730.552 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.23 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3682.751 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.42 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3795.202 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.23 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3677.663 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.42 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3610.483 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.23 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3612.605 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.42 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3825.483 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.23 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 126531636 kB MemAvailable: 129684116 kB Buffers: 365324 kB Cached: 3590456 kB SwapCached: 0 kB Active: 624436 kB Inactive: 3701428 kB Active(anon): 1428 kB Inactive(anon): 406692 kB Active(file): 623008 kB Inactive(file): 3294736 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 21944 kB Writeback: 0 kB AnonPages: 369724 kB Mapped: 102884 kB Shmem: 37720 kB KReclaimable: 149116 kB Slab: 262232 kB SReclaimable: 149116 kB SUnreclaim: 113116 kB KernelStack: 3888 kB PageTables: 9876 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 742620 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 60800 kB HardwareCorrupted: 0 kB AnonHugePages: 237568 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 248532 kB DirectMap2M: 21544960 kB DirectMap1G: 114294784 kB Free space on /tmp at the end= 890048 MiB End job on nodeC021 at 2024-07-15 15:35:26