| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat nolog (2) | OPT | 20 | 1498.75 | 1503.63 |
| 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.97/5.02 c bounds - >= 5 @ 0.031967 4.97/5.02 c bounds 28 >= 5 @ 0.173997 4.97/5.02 c bounds 28 >= 6 @ 0.177425 4.97/5.02 c bounds 28 >= 7 @ 0.178055 4.97/5.02 c bounds 28 >= 8 @ 0.178673 4.97/5.02 c bounds 27 >= 8 @ 0.190964 4.97/5.02 c bounds 27 >= 9 @ 0.192408 4.97/5.02 c bounds 27 >= 10 @ 0.192649 4.97/5.02 c bounds 27 >= 11 @ 0.192657 4.97/5.02 c bounds 27 >= 12 @ 0.194577 4.97/5.02 c bounds 27 >= 13 @ 0.205476 4.97/5.02 c bounds 27 >= 14 @ 0.234774 4.97/5.02 c bounds 26 >= 14 @ 0.236767 4.97/5.02 c #Conflicts: 1000 | #Constraints: 20364 4.97/5.02 c #Conflicts: 2000 | #Constraints: 21364 4.97/5.02 c INPROCESSING 4.97/5.02 c GARBAGE COLLECT 4.97/5.02 c bounds 26 >= 15 @ 1.46974 4.97/5.02 c bounds 26 >= 16 @ 1.49138 4.97/5.02 c bounds 26 >= 17 @ 1.73308 4.97/5.02 c #Conflicts: 3000 | #Constraints: 21387 4.97/5.02 c #Conflicts: 4000 | #Constraints: 22387 4.97/5.02 c INPROCESSING 4.97/5.02 c GARBAGE COLLECT 4.97/5.02 c #Conflicts: 5000 | #Constraints: 21816 4.97/5.02 c #Conflicts: 6000 | #Constraints: 22816 4.97/5.02 c INPROCESSING 4.97/5.02 c GARBAGE COLLECT 4.97/5.02 c rational objective 17 7.96/8.00 c #Conflicts: 7000 | #Constraints: 21809 7.96/8.00 c bounds 26 >= 18 @ 5.71713 7.96/8.00 c #Conflicts: 8000 | #Constraints: 22836 7.96/8.00 c #Conflicts: 9000 | #Constraints: 23836 7.96/8.00 c INPROCESSING 7.96/8.00 c GARBAGE COLLECT 7.96/8.00 c rational objective 18 16.04/16.16 c #Conflicts: 10000 | #Constraints: 22576 16.04/16.16 c #Conflicts: 11000 | #Constraints: 23576 16.04/16.16 c #Conflicts: 12000 | #Constraints: 24576 16.04/16.16 c INPROCESSING 16.04/16.16 c GARBAGE COLLECT 16.04/16.16 c #Conflicts: 13000 | #Constraints: 23022 16.04/16.16 c #Conflicts: 14000 | #Constraints: 24022 16.04/16.16 c #Conflicts: 15000 | #Constraints: 25022 16.04/16.16 c INPROCESSING 16.04/16.16 c GARBAGE COLLECT 16.04/16.16 c rational objective 18 18.83/18.99 c #Conflicts: 16000 | #Constraints: 23294 18.83/18.99 c #Conflicts: 17000 | #Constraints: 24294 18.83/18.99 c #Conflicts: 18000 | #Constraints: 25294 18.83/18.99 c INPROCESSING 18.83/18.99 c GARBAGE COLLECT 18.83/18.99 c rational objective 18 23.41/23.51 c #Conflicts: 19000 | #Constraints: 23269 23.41/23.51 c #Conflicts: 20000 | #Constraints: 24269 23.41/23.51 c #Conflicts: 21000 | #Constraints: 25269 23.41/23.51 c INPROCESSING 23.41/23.51 c GARBAGE COLLECT 23.41/23.51 c rational objective 18 27.60/27.79 c #Conflicts: 22000 | #Constraints: 23117 27.60/27.79 c #Conflicts: 23000 | #Constraints: 24117 27.60/27.79 c #Conflicts: 24000 | #Constraints: 25117 27.60/27.79 c #Conflicts: 25000 | #Constraints: 26118 27.60/27.79 c INPROCESSING 27.60/27.79 c GARBAGE COLLECT 27.60/27.79 c rational objective 18 34.88/35.10 c #Conflicts: 26000 | #Constraints: 23695 34.88/35.10 c #Conflicts: 27000 | #Constraints: 24695 34.88/35.10 c #Conflicts: 28000 | #Constraints: 25695 34.88/35.10 c #Conflicts: 29000 | #Constraints: 26695 34.88/35.10 c INPROCESSING 34.88/35.10 c GARBAGE COLLECT 34.88/35.10 c rational objective 18 40.06/40.20 c bounds 25 >= 18 @ 34.71 40.06/40.20 c #Conflicts: 30000 | #Constraints: 24167 40.06/40.20 c bounds 24 >= 18 @ 36.1329 40.06/40.20 c bounds 23 >= 18 @ 36.1449 40.06/40.20 c bounds 22 >= 18 @ 36.3188 40.06/40.20 c #Conflicts: 31000 | #Constraints: 25170 40.06/40.20 c #Conflicts: 32000 | #Constraints: 26170 40.06/40.20 c #Conflicts: 33000 | #Constraints: 27170 40.06/40.20 c INPROCESSING 40.06/40.20 c GARBAGE COLLECT 40.06/40.20 WSVECS04 Frhs2[22]: 6 -1.00007 0 shouldn't be 40.06/40.20 WSVECS04 Frhs2[362]: 6 -1.00005 0 shouldn't be 40.06/40.20 WSVECS04 Frhs2[735]: 6 -1.00003 0 shouldn't be 40.06/40.20 WSVECS04 Frhs2[5343]: 6 -1.00003 0 shouldn't be 40.66/40.88 c rational objective 18 50.92/51.12 c #Conflicts: 34000 | #Constraints: 24344 50.92/51.12 c #Conflicts: 35000 | #Constraints: 25344 50.92/51.12 c #Conflicts: 36000 | #Constraints: 26344 50.92/51.12 c #Conflicts: 37000 | #Constraints: 27344 50.92/51.12 c INPROCESSING 50.92/51.12 c GARBAGE COLLECT 50.92/51.12 c rational objective 18 56.40/56.68 c #Conflicts: 38000 | #Constraints: 24441 56.40/56.68 c #Conflicts: 39000 | #Constraints: 25441 56.40/56.68 c #Conflicts: 40000 | #Constraints: 26441 56.40/56.68 c #Conflicts: 41000 | #Constraints: 27441 56.40/56.68 c INPROCESSING 56.40/56.68 c GARBAGE COLLECT 56.40/56.68 c rational objective 18 63.48/63.74 c #Conflicts: 42000 | #Constraints: 24214 63.48/63.74 c #Conflicts: 43000 | #Constraints: 25214 63.48/63.74 c #Conflicts: 44000 | #Constraints: 26214 63.48/63.74 c #Conflicts: 45000 | #Constraints: 27214 63.48/63.74 c #Conflicts: 46000 | #Constraints: 28214 63.48/63.74 c INPROCESSING 63.48/63.74 c GARBAGE COLLECT 63.48/63.74 c rational objective 18 73.45/73.77 c #Conflicts: 47000 | #Constraints: 24799 73.45/73.77 c #Conflicts: 48000 | #Constraints: 25799 73.45/73.77 c #Conflicts: 49000 | #Constraints: 26799 73.45/73.77 c #Conflicts: 50000 | #Constraints: 27799 73.45/73.77 c #Conflicts: 51000 | #Constraints: 28799 73.45/73.77 c INPROCESSING 73.45/73.77 c GARBAGE COLLECT 73.45/73.77 c rational objective 18 81.73/82.10 c #Conflicts: 52000 | #Constraints: 25297 81.73/82.10 c #Conflicts: 53000 | #Constraints: 26297 81.73/82.10 c #Conflicts: 54000 | #Constraints: 27297 81.73/82.10 c #Conflicts: 55000 | #Constraints: 28297 81.73/82.10 c #Conflicts: 56000 | #Constraints: 29297 81.73/82.10 c INPROCESSING 81.73/82.10 c GARBAGE COLLECT 81.73/82.10 c rational objective 18 92.09/92.45 c #Conflicts: 57000 | #Constraints: 25437 92.09/92.45 c #Conflicts: 58000 | #Constraints: 26437 92.09/92.45 c #Conflicts: 59000 | #Constraints: 27437 92.09/92.45 c bounds 22 >= 19 @ 87.1803 92.09/92.45 c #Conflicts: 60000 | #Constraints: 28470 92.09/92.45 c #Conflicts: 61000 | #Constraints: 29470 92.09/92.45 c INPROCESSING 92.09/92.45 c GARBAGE COLLECT 92.09/92.45 c rational objective 19 102.06/102.48 c #Conflicts: 62000 | #Constraints: 25569 102.06/102.48 c #Conflicts: 63000 | #Constraints: 26569 102.06/102.48 c #Conflicts: 64000 | #Constraints: 27569 102.06/102.48 c #Conflicts: 65000 | #Constraints: 28570 102.06/102.48 c #Conflicts: 66000 | #Constraints: 29570 102.06/102.48 c INPROCESSING 102.06/102.48 c GARBAGE COLLECT 102.06/102.48 c rational objective 19 113.93/114.39 c #Conflicts: 67000 | #Constraints: 25300 113.93/114.39 c #Conflicts: 68000 | #Constraints: 26300 113.93/114.39 c #Conflicts: 69000 | #Constraints: 27300 113.93/114.39 c #Conflicts: 70000 | #Constraints: 28300 113.93/114.39 c #Conflicts: 71000 | #Constraints: 29300 113.93/114.39 c #Conflicts: 72000 | #Constraints: 30300 113.93/114.39 c INPROCESSING 113.93/114.39 c GARBAGE COLLECT 113.93/114.39 c rational objective 19 204.82/205.54 c #Conflicts: 73000 | #Constraints: 25921 204.82/205.54 c #Conflicts: 74000 | #Constraints: 26921 204.82/205.54 c #Conflicts: 75000 | #Constraints: 27921 204.82/205.54 c #Conflicts: 76000 | #Constraints: 28921 204.82/205.54 c #Conflicts: 77000 | #Constraints: 29921 204.82/205.54 c #Conflicts: 78000 | #Constraints: 30921 204.82/205.54 c #Conflicts: 79000 | #Constraints: 31921 204.82/205.54 c #Conflicts: 80000 | #Constraints: 32921 204.82/205.54 c #Conflicts: 81000 | #Constraints: 33921 204.82/205.54 c #Conflicts: 82000 | #Constraints: 34921 204.82/205.54 c #Conflicts: 83000 | #Constraints: 35921 204.82/205.54 c #Conflicts: 84000 | #Constraints: 36921 204.82/205.54 c #Conflicts: 85000 | #Constraints: 37921 204.82/205.54 c #Conflicts: 86000 | #Constraints: 38921 204.82/205.54 c #Conflicts: 87000 | #Constraints: 39921 204.82/205.54 c #Conflicts: 88000 | #Constraints: 40921 204.82/205.54 c #Conflicts: 89000 | #Constraints: 41921 204.82/205.54 c #Conflicts: 90000 | #Constraints: 42921 204.82/205.54 c #Conflicts: 91000 | #Constraints: 43921 204.82/205.54 c #Conflicts: 92000 | #Constraints: 44921 204.82/205.54 c #Conflicts: 93000 | #Constraints: 45921 204.82/205.54 c #Conflicts: 94000 | #Constraints: 46921 204.82/205.54 c #Conflicts: 95000 | #Constraints: 47921 204.82/205.54 c #Conflicts: 96000 | #Constraints: 48921 204.82/205.54 c INPROCESSING 204.82/205.54 c GARBAGE COLLECT 204.82/205.54 c rational objective 19 228.25/229.04 c #Conflicts: 97000 | #Constraints: 35311 228.25/229.04 c #Conflicts: 98000 | #Constraints: 36311 228.25/229.04 c #Conflicts: 99000 | #Constraints: 37311 228.25/229.04 c #Conflicts: 100000 | #Constraints: 38311 228.25/229.04 c #Conflicts: 101000 | #Constraints: 39311 228.25/229.04 c #Conflicts: 102000 | #Constraints: 40311 228.25/229.04 c INPROCESSING 228.25/229.04 c GARBAGE COLLECT 228.25/229.04 c rational objective 19 249.78/250.67 c #Conflicts: 103000 | #Constraints: 30699 249.78/250.67 c #Conflicts: 104000 | #Constraints: 31699 249.78/250.67 c #Conflicts: 105000 | #Constraints: 32699 249.78/250.67 c #Conflicts: 106000 | #Constraints: 33699 249.78/250.67 c #Conflicts: 107000 | #Constraints: 34699 249.78/250.67 c #Conflicts: 108000 | #Constraints: 35699 249.78/250.67 c #Conflicts: 109000 | #Constraints: 36699 249.78/250.67 c #Conflicts: 110000 | #Constraints: 37699 249.78/250.67 c INPROCESSING 249.78/250.67 c GARBAGE COLLECT 249.78/250.67 c rational objective 19 267.11/268.04 c #Conflicts: 111000 | #Constraints: 29762 267.11/268.04 c #Conflicts: 112000 | #Constraints: 30762 267.11/268.04 c #Conflicts: 113000 | #Constraints: 31762 267.11/268.04 c #Conflicts: 114000 | #Constraints: 32762 267.11/268.04 c #Conflicts: 115000 | #Constraints: 33762 267.11/268.04 c #Conflicts: 116000 | #Constraints: 34762 267.11/268.04 c #Conflicts: 117000 | #Constraints: 35762 267.11/268.04 c INPROCESSING 267.11/268.04 c GARBAGE COLLECT 267.11/268.04 c rational objective 19 414.91/416.35 c #Conflicts: 118000 | #Constraints: 28662 414.91/416.35 c #Conflicts: 119000 | #Constraints: 29662 414.91/416.35 c #Conflicts: 120000 | #Constraints: 30662 414.91/416.35 c #Conflicts: 121000 | #Constraints: 31662 414.91/416.35 c #Conflicts: 122000 | #Constraints: 32662 414.91/416.35 c #Conflicts: 123000 | #Constraints: 33662 414.91/416.35 c #Conflicts: 124000 | #Constraints: 34662 414.91/416.35 c #Conflicts: 125000 | #Constraints: 35662 414.91/416.35 c #Conflicts: 126000 | #Constraints: 36662 414.91/416.35 c #Conflicts: 127000 | #Constraints: 37662 414.91/416.35 c #Conflicts: 128000 | #Constraints: 38662 414.91/416.35 c #Conflicts: 129000 | #Constraints: 39662 414.91/416.35 c #Conflicts: 130000 | #Constraints: 40662 414.91/416.35 c #Conflicts: 131000 | #Constraints: 41662 414.91/416.35 c #Conflicts: 132000 | #Constraints: 42662 414.91/416.35 c #Conflicts: 133000 | #Constraints: 43662 414.91/416.35 c #Conflicts: 134000 | #Constraints: 44662 414.91/416.35 c #Conflicts: 135000 | #Constraints: 45662 414.91/416.35 c #Conflicts: 136000 | #Constraints: 46662 414.91/416.35 c #Conflicts: 137000 | #Constraints: 47662 414.91/416.35 c #Conflicts: 138000 | #Constraints: 48662 414.91/416.35 c #Conflicts: 139000 | #Constraints: 49662 414.91/416.35 c #Conflicts: 140000 | #Constraints: 50662 414.91/416.35 c #Conflicts: 141000 | #Constraints: 51662 414.91/416.35 c #Conflicts: 142000 | #Constraints: 52662 414.91/416.35 c #Conflicts: 143000 | #Constraints: 53662 414.91/416.35 c #Conflicts: 144000 | #Constraints: 54662 414.91/416.35 c #Conflicts: 145000 | #Constraints: 55662 414.91/416.35 c #Conflicts: 146000 | #Constraints: 56662 414.91/416.35 c INPROCESSING 414.91/416.35 c GARBAGE COLLECT 414.91/416.35 c rational objective 19 445.91/447.42 c #Conflicts: 147000 | #Constraints: 39123 445.91/447.42 c #Conflicts: 148000 | #Constraints: 40123 445.91/447.42 c #Conflicts: 149000 | #Constraints: 41123 445.91/447.42 c #Conflicts: 150000 | #Constraints: 42123 445.91/447.42 c #Conflicts: 151000 | #Constraints: 43123 445.91/447.42 c #Conflicts: 152000 | #Constraints: 44123 445.91/447.42 c #Conflicts: 153000 | #Constraints: 45123 445.91/447.42 c #Conflicts: 154000 | #Constraints: 46123 445.91/447.42 c #Conflicts: 155000 | #Constraints: 47123 445.91/447.42 c INPROCESSING 445.91/447.42 c GARBAGE COLLECT 445.91/447.42 c rational objective 19 477.71/479.39 c #Conflicts: 156000 | #Constraints: 34550 477.71/479.39 c #Conflicts: 157000 | #Constraints: 35550 477.71/479.39 c #Conflicts: 158000 | #Constraints: 36550 477.71/479.39 c #Conflicts: 159000 | #Constraints: 37550 477.71/479.39 c #Conflicts: 160000 | #Constraints: 38550 477.71/479.39 c #Conflicts: 161000 | #Constraints: 39550 477.71/479.39 c #Conflicts: 162000 | #Constraints: 40550 477.71/479.39 c #Conflicts: 163000 | #Constraints: 41550 477.71/479.39 c INPROCESSING 477.71/479.39 c GARBAGE COLLECT 477.71/479.39 c rational objective 19 704.92/707.33 c #Conflicts: 164000 | #Constraints: 31293 704.92/707.33 c #Conflicts: 165000 | #Constraints: 32293 704.92/707.33 c #Conflicts: 166000 | #Constraints: 33293 704.92/707.33 c #Conflicts: 167000 | #Constraints: 34293 704.92/707.33 c #Conflicts: 168000 | #Constraints: 35293 704.92/707.33 c #Conflicts: 169000 | #Constraints: 36293 704.92/707.33 c #Conflicts: 170000 | #Constraints: 37293 704.92/707.33 c #Conflicts: 171000 | #Constraints: 38293 704.92/707.33 c #Conflicts: 172000 | #Constraints: 39293 704.92/707.33 c #Conflicts: 173000 | #Constraints: 40293 704.92/707.33 c #Conflicts: 174000 | #Constraints: 41293 704.92/707.33 c #Conflicts: 175000 | #Constraints: 42293 704.92/707.33 c #Conflicts: 176000 | #Constraints: 43293 704.92/707.33 c #Conflicts: 177000 | #Constraints: 44293 704.92/707.33 c #Conflicts: 178000 | #Constraints: 45293 704.92/707.33 c #Conflicts: 179000 | #Constraints: 46293 704.92/707.33 c #Conflicts: 180000 | #Constraints: 47293 704.92/707.33 c #Conflicts: 181000 | #Constraints: 48293 704.92/707.33 c #Conflicts: 182000 | #Constraints: 49293 704.92/707.33 c #Conflicts: 183000 | #Constraints: 50293 704.92/707.33 c #Conflicts: 184000 | #Constraints: 51293 704.92/707.33 c #Conflicts: 185000 | #Constraints: 52293 704.92/707.33 c #Conflicts: 186000 | #Constraints: 53293 704.92/707.33 c #Conflicts: 187000 | #Constraints: 54293 704.92/707.33 c #Conflicts: 188000 | #Constraints: 55293 704.92/707.33 c #Conflicts: 189000 | #Constraints: 56293 704.92/707.33 c #Conflicts: 190000 | #Constraints: 57293 704.92/707.33 c #Conflicts: 191000 | #Constraints: 58293 704.92/707.33 c #Conflicts: 192000 | #Constraints: 59293 704.92/707.33 c #Conflicts: 193000 | #Constraints: 60293 704.92/707.33 c #Conflicts: 194000 | #Constraints: 61293 704.92/707.33 c #Conflicts: 195000 | #Constraints: 62293 704.92/707.33 c #Conflicts: 196000 | #Constraints: 63293 704.92/707.33 c #Conflicts: 197000 | #Constraints: 64293 704.92/707.33 c INPROCESSING 704.92/707.33 c GARBAGE COLLECT 704.92/707.33 c rational objective 19 734.79/737.39 c #Conflicts: 198000 | #Constraints: 43163 734.79/737.39 c #Conflicts: 199000 | #Constraints: 44163 734.79/737.39 c #Conflicts: 200000 | #Constraints: 45163 734.79/737.39 c #Conflicts: 201000 | #Constraints: 46163 734.79/737.39 c #Conflicts: 202000 | #Constraints: 47163 734.79/737.39 c #Conflicts: 203000 | #Constraints: 48163 734.79/737.39 c #Conflicts: 204000 | #Constraints: 49163 734.79/737.39 c #Conflicts: 205000 | #Constraints: 50163 734.79/737.39 c #Conflicts: 206000 | #Constraints: 51163 734.79/737.39 c #Conflicts: 207000 | #Constraints: 52164 734.79/737.39 c INPROCESSING 734.79/737.39 c GARBAGE COLLECT 734.79/737.39 c rational objective 19 789.73/792.48 c #Conflicts: 208000 | #Constraints: 36950 789.73/792.48 c #Conflicts: 209000 | #Constraints: 37950 789.73/792.48 c #Conflicts: 210000 | #Constraints: 38950 789.73/792.48 c #Conflicts: 211000 | #Constraints: 39950 789.73/792.48 c #Conflicts: 212000 | #Constraints: 40950 789.73/792.48 c #Conflicts: 213000 | #Constraints: 41950 789.73/792.48 c #Conflicts: 214000 | #Constraints: 42950 789.73/792.48 c #Conflicts: 215000 | #Constraints: 43950 789.73/792.48 c #Conflicts: 216000 | #Constraints: 44950 789.73/792.48 c #Conflicts: 217000 | #Constraints: 45950 789.73/792.48 c INPROCESSING 789.73/792.48 c GARBAGE COLLECT 789.73/792.48 c rational objective 19 975.05/978.33 c #Conflicts: 218000 | #Constraints: 33696 975.05/978.33 c #Conflicts: 219000 | #Constraints: 34697 975.05/978.33 c #Conflicts: 220000 | #Constraints: 35697 975.05/978.33 c #Conflicts: 221000 | #Constraints: 36697 975.05/978.33 c #Conflicts: 222000 | #Constraints: 37697 975.05/978.33 c #Conflicts: 223000 | #Constraints: 38697 975.05/978.33 c #Conflicts: 224000 | #Constraints: 39697 975.05/978.33 c #Conflicts: 225000 | #Constraints: 40697 975.05/978.33 c #Conflicts: 226000 | #Constraints: 41697 975.05/978.33 c #Conflicts: 227000 | #Constraints: 42697 975.05/978.33 c #Conflicts: 228000 | #Constraints: 43697 975.05/978.33 c #Conflicts: 229000 | #Constraints: 44697 975.05/978.33 c #Conflicts: 230000 | #Constraints: 45698 975.05/978.33 c #Conflicts: 231000 | #Constraints: 46698 975.05/978.33 c #Conflicts: 232000 | #Constraints: 47698 975.05/978.33 c #Conflicts: 233000 | #Constraints: 48698 975.05/978.33 c #Conflicts: 234000 | #Constraints: 49698 975.05/978.33 c #Conflicts: 235000 | #Constraints: 50698 975.05/978.33 c #Conflicts: 236000 | #Constraints: 51698 975.05/978.33 c #Conflicts: 237000 | #Constraints: 52698 975.05/978.33 c #Conflicts: 238000 | #Constraints: 53698 975.05/978.33 c #Conflicts: 239000 | #Constraints: 54698 975.05/978.33 c #Conflicts: 240000 | #Constraints: 55698 975.05/978.33 c #Conflicts: 241000 | #Constraints: 56698 975.05/978.33 c #Conflicts: 242000 | #Constraints: 57698 975.05/978.33 c #Conflicts: 243000 | #Constraints: 58698 975.05/978.33 c #Conflicts: 244000 | #Constraints: 59698 975.05/978.33 c #Conflicts: 245000 | #Constraints: 60698 975.05/978.33 c #Conflicts: 246000 | #Constraints: 61698 975.05/978.33 c #Conflicts: 247000 | #Constraints: 62698 975.05/978.33 c #Conflicts: 248000 | #Constraints: 63698 975.05/978.33 c #Conflicts: 249000 | #Constraints: 64698 975.05/978.33 c #Conflicts: 250000 | #Constraints: 65698 975.05/978.33 c #Conflicts: 251000 | #Constraints: 66698 975.05/978.33 c #Conflicts: 252000 | #Constraints: 67698 975.05/978.33 c #Conflicts: 253000 | #Constraints: 68698 975.05/978.33 c #Conflicts: 254000 | #Constraints: 69698 975.05/978.33 c #Conflicts: 255000 | #Constraints: 70698 975.05/978.33 c INPROCESSING 975.05/978.33 c GARBAGE COLLECT 975.05/978.33 c rational objective 19 1052.82/1056.39 c #Conflicts: 256000 | #Constraints: 46344 1052.82/1056.39 c #Conflicts: 257000 | #Constraints: 47344 1052.82/1056.39 c #Conflicts: 258000 | #Constraints: 48344 1052.82/1056.39 c #Conflicts: 259000 | #Constraints: 49344 1052.82/1056.39 c #Conflicts: 260000 | #Constraints: 50344 1052.82/1056.39 c #Conflicts: 261000 | #Constraints: 51344 1052.82/1056.39 c #Conflicts: 262000 | #Constraints: 52344 1052.82/1056.39 c #Conflicts: 263000 | #Constraints: 53344 1052.82/1056.39 c #Conflicts: 264000 | #Constraints: 54344 1052.82/1056.39 c #Conflicts: 265000 | #Constraints: 55344 1052.82/1056.39 c #Conflicts: 266000 | #Constraints: 56344 1052.82/1056.39 c INPROCESSING 1052.82/1056.39 c GARBAGE COLLECT 1052.82/1056.39 c rational objective 19 1120.21/1123.95 c #Conflicts: 267000 | #Constraints: 38945 1120.21/1123.95 c #Conflicts: 268000 | #Constraints: 39945 1120.21/1123.95 c #Conflicts: 269000 | #Constraints: 40945 1120.21/1123.95 c #Conflicts: 270000 | #Constraints: 41945 1120.21/1123.95 c #Conflicts: 271000 | #Constraints: 42945 1120.21/1123.95 c #Conflicts: 272000 | #Constraints: 43945 1120.21/1123.95 c #Conflicts: 273000 | #Constraints: 44945 1120.21/1123.95 c #Conflicts: 274000 | #Constraints: 45945 1120.21/1123.95 c #Conflicts: 275000 | #Constraints: 46945 1120.21/1123.95 c #Conflicts: 276000 | #Constraints: 47945 1120.21/1123.95 c #Conflicts: 277000 | #Constraints: 48945 1120.21/1123.95 c #Conflicts: 278000 | #Constraints: 49945 1120.21/1123.95 c INPROCESSING 1120.21/1123.95 c GARBAGE COLLECT 1120.21/1123.95 c rational objective 19 1484.56/1489.48 c #Conflicts: 279000 | #Constraints: 35911 1484.56/1489.48 c #Conflicts: 280000 | #Constraints: 36911 1484.56/1489.48 c #Conflicts: 281000 | #Constraints: 37911 1484.56/1489.48 c #Conflicts: 282000 | #Constraints: 38911 1484.56/1489.48 c #Conflicts: 283000 | #Constraints: 39911 1484.56/1489.48 c #Conflicts: 284000 | #Constraints: 40911 1484.56/1489.48 c #Conflicts: 285000 | #Constraints: 41911 1484.56/1489.48 c #Conflicts: 286000 | #Constraints: 42911 1484.56/1489.48 c #Conflicts: 287000 | #Constraints: 43911 1484.56/1489.48 c #Conflicts: 288000 | #Constraints: 44911 1484.56/1489.48 c #Conflicts: 289000 | #Constraints: 45911 1484.56/1489.48 c #Conflicts: 290000 | #Constraints: 46911 1484.56/1489.48 c #Conflicts: 291000 | #Constraints: 47911 1484.56/1489.48 c #Conflicts: 292000 | #Constraints: 48911 1484.56/1489.48 c #Conflicts: 293000 | #Constraints: 49911 1484.56/1489.48 c #Conflicts: 294000 | #Constraints: 50911 1484.56/1489.48 c #Conflicts: 295000 | #Constraints: 51911 1484.56/1489.48 c #Conflicts: 296000 | #Constraints: 52911 1484.56/1489.48 c #Conflicts: 297000 | #Constraints: 53911 1484.56/1489.48 c #Conflicts: 298000 | #Constraints: 54911 1484.56/1489.48 c #Conflicts: 299000 | #Constraints: 55911 1484.56/1489.48 c #Conflicts: 300000 | #Constraints: 56911 1484.56/1489.48 c #Conflicts: 301000 | #Constraints: 57911 1484.56/1489.48 c #Conflicts: 302000 | #Constraints: 58911 1484.56/1489.48 c #Conflicts: 303000 | #Constraints: 59911 1484.56/1489.48 c #Conflicts: 304000 | #Constraints: 60911 1484.56/1489.48 c bounds 22 >= 20 @ 1325.14 1484.56/1489.48 c #Conflicts: 305000 | #Constraints: 61947 1484.56/1489.48 c #Conflicts: 306000 | #Constraints: 62947 1484.56/1489.48 c #Conflicts: 307000 | #Constraints: 63947 1484.56/1489.48 c #Conflicts: 308000 | #Constraints: 64947 1484.56/1489.48 c #Conflicts: 309000 | #Constraints: 65947 1484.56/1489.48 c #Conflicts: 310000 | #Constraints: 66947 1484.56/1489.48 c #Conflicts: 311000 | #Constraints: 67947 1484.56/1489.48 c #Conflicts: 312000 | #Constraints: 68947 1484.56/1489.48 c #Conflicts: 313000 | #Constraints: 69947 1484.56/1489.48 c #Conflicts: 314000 | #Constraints: 70947 1484.56/1489.48 c #Conflicts: 315000 | #Constraints: 71947 1484.56/1489.48 c #Conflicts: 316000 | #Constraints: 72947 1484.56/1489.48 c #Conflicts: 317000 | #Constraints: 73947 1484.56/1489.48 c #Conflicts: 318000 | #Constraints: 74947 1484.56/1489.48 c #Conflicts: 319000 | #Constraints: 75947 1484.56/1489.48 c #Conflicts: 320000 | #Constraints: 76947 1484.56/1489.48 c INPROCESSING 1484.56/1489.48 c GARBAGE COLLECT 1484.56/1489.48 c rational objective 20 1498.71/1503.62 c #Conflicts: 321000 | #Constraints: 49393 1498.71/1503.62 c #Conflicts: 322000 | #Constraints: 50393 1498.71/1503.62 c bounds 20 >= 20 @ 1489.56 1498.71/1503.62 c cpu time 1489.56 s 1498.71/1503.62 c deterministic time 178335399983 1.78e+11 1498.71/1503.62 c optimization time 0.003142 s 1498.71/1503.62 c total solve time 1489.53 s 1498.71/1503.62 c core-guided solve time 867.787 s 1498.71/1503.62 c propagation time 1220.27 s 1498.71/1503.62 c conflict analysis time 236.846 s 1498.71/1503.62 c propagations 212000566 1498.71/1503.62 c resolve steps 20180081 1498.71/1503.62 c decisions 4900890 1498.71/1503.62 c conflicts 322190 1498.71/1503.62 c restarts 765 1498.71/1503.62 c inprocessing phases 33 1498.71/1503.62 c input clauses 19375 1498.71/1503.62 c input cardinalities 38 1498.71/1503.62 c input general constraints 96 1498.71/1503.62 c input average constraint length 3.53 1498.71/1503.62 c input average constraint degree 1.41 1498.71/1503.62 c learned clauses 144973 1498.71/1503.62 c learned cardinalities 1377 1498.71/1503.62 c learned general constraints 175871 1498.71/1503.62 c learned average constraint length 611.65 1498.71/1503.62 c learned average constraint degree 8916616.49 1498.71/1503.62 c watched constraints 137050 1498.71/1503.62 c counting constraints 38917 1498.71/1503.62 c gcd simplifications 1356 1498.71/1503.62 c detected cardinalities 12 1498.71/1503.62 c weakened non-implied lits 17520856 1498.71/1503.62 c weakened non-implying lits 34062 1498.71/1503.62 c original variables 5499 1498.71/1503.62 c clausal propagations 170503028 1498.71/1503.62 c cardinality propagations 1321993 1498.71/1503.62 c watched propagations 4208153 1498.71/1503.62 c counting propagations 35238306 1498.71/1503.62 c watch lookups 24169549576 1498.71/1503.62 c watch backjump lookups 19949328201 1498.71/1503.62 c watch checks 125938805812 1498.71/1503.62 c propagation checks 7169553766 1498.71/1503.62 c constraint additions 673677447 1498.71/1503.62 c trail pops 217223621 1498.71/1503.62 c formula constraints 19319 1498.71/1503.62 c learned constraints 322188 1498.71/1503.62 c bound constraints 37 1498.71/1503.62 c core-guided constraints 153 1498.71/1503.62 c encountered formula constraints 16155471 1498.71/1503.62 c encountered learned constraints 4174878 1498.71/1503.62 c encountered bound constraints 443 1498.71/1503.62 c encountered core-guided constraints 171335 1498.71/1503.62 c LP total time 87.1375 s 1498.71/1503.62 c LP solve time 76.8 s 1498.71/1503.62 c LP constraints added 19465 1498.71/1503.62 c LP constraints removed 141 1498.71/1503.62 c LP pivots internal 323676 1498.71/1503.62 c LP pivots root 36427 1498.71/1503.62 c LP calls 276 1498.71/1503.62 c LP optimalities 266 1498.71/1503.62 c LP no pivot count 42 1498.71/1503.62 c LP infeasibilities 6 1498.71/1503.62 c LP valid Farkas constraints 6 1498.71/1503.62 c LP learned Farkas constraints 6 1498.71/1503.62 c LP basis resets 0 1498.71/1503.62 c LP cycling count 0 1498.71/1503.62 c LP singular count 0 1498.71/1503.62 c LP no primal count 0 1498.71/1503.62 c LP no farkas count 0 1498.71/1503.62 c LP other issue count 0 1498.71/1503.62 c LP Gomory cuts 21 1498.71/1503.62 c LP learned cuts 125 1498.71/1503.62 c LP deleted cuts 141 1498.71/1503.62 c LP encountered Gomory constraints 0 1498.71/1503.62 c LP encountered Farkas constraints 129 1498.71/1503.62 c LP encountered learned Farkas constraints 9 1498.71/1503.62 c CG auxiliary variables introduced 56 1498.71/1503.62 c CG solutions found 8 1498.71/1503.62 c CG cores constructed 15 1498.71/1503.62 c CG core cardinality constraints returned 0 1498.71/1503.62 c CG unit cores 0 1498.71/1503.62 c CG single cores 15 1498.71/1503.62 c CG blocks removed during cardinality reduction 0 1498.71/1503.62 c CG first core best 0 1498.71/1503.62 c CG decision core best 0 1498.71/1503.62 c CG core reduction tie 0 1498.71/1503.62 c CG core degree average 1.00 1498.71/1503.62 c CG core slack average 42.33 1498.71/1503.62 o 20 1498.71/1503.62 s OPTIMUM FOUND 1498.71/1503.62 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 (62775 MiB free)
memory of node 1: 64473 MiB (61399 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455227-1721461005/watcher-4455227-1721461005 -o /tmp/evaluation-result-4455227-1721461005/solver-4455227-1721461005 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1721457405-1048579 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455227-1721461005.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1050703, runsolver pid=1050700
[startup+0.100665 s]*
/proc/loadavg: 4.11 4.15 4.15 5/254 1050704
/proc/meminfo: memFree=127136360/131524600 swapFree=131071996/131071996
[pid=1050703] ppid=1050700 vsize=49968 memory=21748 CPUtime=0.09 cores=0,2
/proc/1050703/stat : 1050703 (roundingsat) R 1050700 1050703 1048569 0 -1 4194304 4495 0 0 0 7 2 0 0 20 0 1 0 198263993 51167232 5437 134679101440 4194304 7968373 140737355853728 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 27303936 140737355862972 140737355863136 140737355863136 140737355870153 0
/proc/1050703/statm: 12492 5437 1743 922 0 4444 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 49968 KiB
Current children cumulated memory: 21748 KiB
[startup+0.205516 s]*
/proc/loadavg: 4.11 4.15 4.15 5/254 1050704
/proc/meminfo: memFree=127134720/131524600 swapFree=131071996/131071996
[pid=1050703] ppid=1050700 vsize=50576 memory=22532 CPUtime=0.2 cores=0,2
/proc/1050703/stat : 1050703 (roundingsat) R 1050700 1050703 1048569 0 -1 4194304 4658 0 0 0 17 3 0 0 20 0 1 0 198263993 51789824 5633 134679101440 4194304 7968373 140737355853728 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 27303936 140737355862972 140737355863136 140737355863136 140737355870153 0
/proc/1050703/statm: 12644 5633 1743 922 0 4596 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 50576 KiB
Current children cumulated memory: 22532 KiB
[startup+0.305494 s]*
/proc/loadavg: 4.11 4.15 4.15 5/254 1050704
/proc/meminfo: memFree=127133948/131524600 swapFree=131071996/131071996
[pid=1050703] ppid=1050700 vsize=50576 memory=22532 CPUtime=0.3 cores=0,2
/proc/1050703/stat : 1050703 (roundingsat) R 1050700 1050703 1048569 0 -1 4194304 4716 0 0 0 26 4 0 0 20 0 1 0 198263993 51789824 5633 134679101440 4194304 7968373 140737355853728 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 27303936 140737355862972 140737355863136 140737355863136 140737355870153 0
/proc/1050703/statm: 12644 5633 1743 922 0 4596 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 50576 KiB
Current children cumulated memory: 22532 KiB
[startup+0.70018 s]
/proc/loadavg: 4.11 4.15 4.15 5/254 1050704
/proc/meminfo: memFree=127130584/131524600 swapFree=131071996/131071996
[pid=1050703] ppid=1050700 vsize=52700 memory=27064 CPUtime=0.68 cores=0,2
/proc/1050703/stat : 1050703 (roundingsat) R 1050700 1050703 1048569 0 -1 4194304 5302 0 0 0 63 5 0 0 20 0 1 0 198263993 53964800 6766 134679101440 4194304 7968373 140737355853728 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 27303936 140737355862972 140737355863136 140737355863136 140737355870153 0
/proc/1050703/statm: 13175 6766 1773 922 0 5127 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 52700 KiB
Current children cumulated memory: 27064 KiB
[startup+1.5002 s]
/proc/loadavg: 4.11 4.15 4.15 5/254 1050704
/proc/meminfo: memFree=127119448/131524600 swapFree=131071996/131071996
[pid=1050703] ppid=1050700 vsize=59972 memory=32068 CPUtime=1.48 cores=0,2
/proc/1050703/stat : 1050703 (roundingsat) R 1050700 1050703 1048569 0 -1 4194304 6715 0 0 0 140 8 0 0 20 0 1 0 198263993 61411328 8017 134679101440 4194304 7968373 140737355853728 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 27303936 140737355862972 140737355863136 140737355863136 140737355870153 0
/proc/1050703/statm: 14993 8017 1789 922 0 6945 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 59972 KiB
Current children cumulated memory: 32068 KiB
[startup+3.10537 s]
/proc/loadavg: 4.10 4.15 4.15 5/254 1050705
/proc/meminfo: memFree=127089968/131524600 swapFree=131071996/131071996
[pid=1050703] ppid=1050700 vsize=61500 memory=34920 CPUtime=3.08 cores=0,2
/proc/1050703/stat : 1050703 (roundingsat) R 1050700 1050703 1048569 0 -1 4194304 7393 0 0 0 295 13 0 0 20 0 1 0 198263993 62976000 8730 134679101440 4194304 7968373 140737355853728 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 27303936 140737355862972 140737355863136 140737355863136 140737355870153 0
/proc/1050703/statm: 15375 8730 1846 922 0 7327 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 61500 KiB
Current children cumulated memory: 34920 KiB
[startup+6.30021 s]
/proc/loadavg: 4.10 4.15 4.15 5/254 1050705
/proc/meminfo: memFree=127056144/131524600 swapFree=131071996/131071996
[pid=1050703] ppid=1050700 vsize=77660 memory=48148 CPUtime=6.27 cores=0,2
/proc/1050703/stat : 1050703 (roundingsat) R 1050700 1050703 1048569 0 -1 4194304 9634 0 0 0 602 25 0 0 20 0 1 0 198263993 79523840 12037 134679101440 4194304 7968373 140737355853728 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 27303936 140737355862972 140737355863136 140737355863136 140737355870153 0
/proc/1050703/statm: 19415 12037 1846 922 0 11367 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 77660 KiB
Current children cumulated memory: 48148 KiB
[startup+12.7002 s]
/proc/loadavg: 4.09 4.14 4.15 5/254 1050705
/proc/meminfo: memFree=127009236/131524600 swapFree=131071996/131071996
[pid=1050703] ppid=1050700 vsize=85896 memory=57312 CPUtime=12.65 cores=0,2
/proc/1050703/stat : 1050703 (roundingsat) R 1050700 1050703 1048569 0 -1 4194304 11419 0 0 0 1224 41 0 0 20 0 1 0 198263993 87957504 14328 134679101440 4194304 7968373 140737355853728 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 27303936 140737355862972 140737355863136 140737355863136 140737355870153 0
/proc/1050703/statm: 21474 14328 1846 922 0 13426 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 85896 KiB
Current children cumulated memory: 57312 KiB
[startup+25.5002 s]
/proc/loadavg: 4.15 4.16 4.15 5/254 1050708
/proc/meminfo: memFree=126940688/131524600 swapFree=131071996/131071996
[pid=1050703] ppid=1050700 vsize=88828 memory=60200 CPUtime=25.41 cores=0,2
/proc/1050703/stat : 1050703 (roundingsat) R 1050700 1050703 1048569 0 -1 4194304 12160 0 0 0 2472 69 0 0 20 0 1 0 198263993 90959872 15050 134679101440 4194304 7968373 140737355853728 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 27303936 140737355862972 140737355863136 140737355863136 140737355870153 0
/proc/1050703/statm: 22207 15050 1846 922 0 14159 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 88828 KiB
Current children cumulated memory: 60200 KiB
[startup+51.1054 s]
/proc/loadavg: 4.17 4.16 4.15 5/254 1050712
/proc/meminfo: memFree=126857604/131524600 swapFree=131071996/131071996
[pid=1050703] ppid=1050700 vsize=112148 memory=77688 CPUtime=50.92 cores=0,2
/proc/1050703/stat : 1050703 (roundingsat) R 1050700 1050703 1048569 0 -1 4194304 16012 0 0 0 4974 118 0 0 20 0 1 0 198263993 114839552 19422 134679101440 4194304 7968373 140737355853728 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 27303936 140737355862972 140737355863136 140737355863136 140737355870153 0
/proc/1050703/statm: 28037 19422 1846 922 0 19989 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 112148 KiB
Current children cumulated memory: 77688 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.14 4.15 5/254 1050721
/proc/meminfo: memFree=126705132/131524600 swapFree=131071996/131071996
[pid=1050703] ppid=1050700 vsize=142976 memory=96196 CPUtime=101.96 cores=0,2
/proc/1050703/stat : 1050703 (roundingsat) R 1050700 1050703 1048569 0 -1 4194304 19160 0 0 0 9995 201 0 0 20 0 1 0 198263993 146407424 24049 134679101440 4194304 7968373 140737355853728 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 27303936 140737355862972 140737355863136 140737355863136 140737355870153 0
/proc/1050703/statm: 35744 24049 1846 922 0 27696 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 142976 KiB
Current children cumulated memory: 96196 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.15 4.15 5/255 1050732
/proc/meminfo: memFree=126525268/131524600 swapFree=131071996/131071996
[pid=1050703] ppid=1050700 vsize=241876 memory=170360 CPUtime=161.77 cores=0,2
/proc/1050703/stat : 1050703 (roundingsat) R 1050700 1050703 1048569 0 -1 4194304 23854 0 0 0 15913 264 0 0 20 0 1 0 198263993 247681024 42590 134679101440 4194304 7968373 140737355853728 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 27303936 140737355862972 140737355863136 140737355863136 140737355870153 0
/proc/1050703/statm: 60469 42590 1846 922 0 52421 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 241876 KiB
Current children cumulated memory: 170360 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.13 4.14 5/255 1050742
/proc/meminfo: memFree=126443000/131524600 swapFree=131071996/131071996
[pid=1050703] ppid=1050700 vsize=265168 memory=229268 CPUtime=221.56 cores=0,2
/proc/1050703/stat : 1050703 (roundingsat) R 1050700 1050703 1048569 0 -1 4194304 29442 0 0 0 21852 304 0 0 20 0 1 0 198263993 271532032 57317 134679101440 4194304 7968373 140737355853728 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 27303936 140737355862972 140737355863136 140737355863136 140737355870153 0
/proc/1050703/statm: 66292 57317 1846 922 0 58244 0
Current children cumulated CPU time: 221.56 s
Current children cumulated vsize: 265168 KiB
Current children cumulated memory: 229268 KiB
[startup+282.3 s]
/proc/loadavg: 4.15 4.14 4.14 5/257 1050757
/proc/meminfo: memFree=126397804/131524600 swapFree=131071996/131071996
[pid=1050703] ppid=1050700 vsize=267364 memory=231380 CPUtime=281.37 cores=0,2
/proc/1050703/stat : 1050703 (roundingsat) R 1050700 1050703 1048569 0 -1 4194304 29971 0 0 0 27769 368 0 0 20 0 1 0 198263993 273780736 57845 134679101440 4194304 7968373 140737355853728 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 27303936 140737355862972 140737355863136 140737355863136 140737355870153 0
/proc/1050703/statm: 66841 57845 1846 922 0 58793 0
Current children cumulated CPU time: 281.37 s
Current children cumulated vsize: 267364 KiB
Current children cumulated memory: 231380 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 4.13 4.14 5/257 1050767
/proc/meminfo: memFree=126290504/131524600 swapFree=131071996/131071996
[pid=1050703] ppid=1050700 vsize=269296 memory=233228 CPUtime=341.16 cores=0,2
/proc/1050703/stat : 1050703 (roundingsat) R 1050700 1050703 1048569 0 -1 4194304 30446 0 0 0 33710 406 0 0 20 0 1 0 198263993 275759104 58307 134679101440 4194304 7968373 140737355853728 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 27303936 140737355862972 140737355863136 140737355863136 140737355870153 0
/proc/1050703/statm: 67324 58307 1846 922 0 59276 0
Current children cumulated CPU time: 341.16 s
Current children cumulated vsize: 269296 KiB
Current children cumulated memory: 233228 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 4.12 4.13 5/257 1050777
/proc/meminfo: memFree=126257868/131524600 swapFree=131071996/131071996
[pid=1050703] ppid=1050700 vsize=275648 memory=239296 CPUtime=400.97 cores=0,2
/proc/1050703/stat : 1050703 (roundingsat) R 1050700 1050703 1048569 0 -1 4194304 31917 0 0 0 39667 430 0 0 20 0 1 0 198263993 282263552 59824 134679101440 4194304 7968373 140737355853728 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 27303936 140737355862972 140737355863136 140737355863136 140737355870153 0
/proc/1050703/statm: 68912 59824 1846 922 0 60864 0
Current children cumulated CPU time: 400.97 s
Current children cumulated vsize: 275648 KiB
Current children cumulated memory: 239296 KiB
[startup+462.3 s]
/proc/loadavg: 4.14 4.12 4.13 5/256 1050790
/proc/meminfo: memFree=126225056/131524600 swapFree=131071996/131071996
[pid=1050703] ppid=1050700 vsize=277980 memory=241388 CPUtime=460.76 cores=0,2
/proc/1050703/stat : 1050703 (roundingsat) R 1050700 1050703 1048569 0 -1 4194304 32464 0 0 0 45596 480 0 0 20 0 1 0 198263993 284651520 60347 134679101440 4194304 7968373 140737355853728 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 27303936 140737355862972 140737355863136 140737355863136 140737355870153 0
/proc/1050703/statm: 69495 60347 1846 922 0 61447 0
################
# More data... #
################
/proc/loadavg: 4.22 4.19 4.13 5/256 1050898
/proc/meminfo: memFree=125205504/131524600 swapFree=131071996/131071996
[pid=1050703] ppid=1050700 vsize=395248 memory=346260 CPUtime=1058.8 cores=0,2
/proc/1050703/stat : 1050703 (roundingsat) R 1050700 1050703 1048569 0 -1 4194304 41668 0 0 0 105113 767 0 0 20 0 1 0 198263993 404733952 86565 134679101440 4194304 7968373 140737355853728 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 27303936 140737355862972 140737355863136 140737355863136 140737355870153 0
/proc/1050703/statm: 98812 86565 1846 922 0 90764 0
Current children cumulated CPU time: 1058.8 s
Current children cumulated vsize: 395248 KiB
Current children cumulated memory: 346260 KiB
[startup+1122.3 s]
/proc/loadavg: 4.13 4.17 4.12 5/256 1050908
/proc/meminfo: memFree=125143680/131524600 swapFree=131071996/131071996
[pid=1050703] ppid=1050700 vsize=395248 memory=346260 CPUtime=1118.62 cores=0,2
/proc/1050703/stat : 1050703 (roundingsat) R 1050700 1050703 1048569 0 -1 4194304 41752 0 0 0 111068 794 0 0 20 0 1 0 198263993 404733952 86565 134679101440 4194304 7968373 140737355853728 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 27303936 140737355862972 140737355863136 140737355863136 140737355870153 0
/proc/1050703/statm: 98812 86565 1846 922 0 90764 0
Current children cumulated CPU time: 1118.62 s
Current children cumulated vsize: 395248 KiB
Current children cumulated memory: 346260 KiB
[startup+1182.3 s]
/proc/loadavg: 4.09 4.15 4.12 5/256 1051302
/proc/meminfo: memFree=125082164/131524600 swapFree=131071996/131071996
[pid=1050703] ppid=1050700 vsize=395248 memory=346264 CPUtime=1178.42 cores=0,2
/proc/1050703/stat : 1050703 (roundingsat) R 1050700 1050703 1048569 0 -1 4194304 41837 0 0 0 117017 825 0 0 20 0 1 0 198263993 404733952 86566 134679101440 4194304 7968373 140737355853728 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 27303936 140737355862972 140737355863136 140737355863136 140737355870153 0
/proc/1050703/statm: 98812 86566 1846 922 0 90764 0
Current children cumulated CPU time: 1178.42 s
Current children cumulated vsize: 395248 KiB
Current children cumulated memory: 346264 KiB
[startup+1242.3 s]
/proc/loadavg: 4.14 4.15 4.12 5/256 1051313
/proc/meminfo: memFree=124993020/131524600 swapFree=131071996/131071996
[pid=1050703] ppid=1050700 vsize=395248 memory=346380 CPUtime=1238.23 cores=0,2
/proc/1050703/stat : 1050703 (roundingsat) R 1050700 1050703 1048569 0 -1 4194304 41981 0 0 0 122979 844 0 0 20 0 1 0 198263993 404733952 86595 134679101440 4194304 7968373 140737355853728 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 27303936 140737355862972 140737355863136 140737355863136 140737355870153 0
/proc/1050703/statm: 98812 86595 1846 922 0 90764 0
Current children cumulated CPU time: 1238.23 s
Current children cumulated vsize: 395248 KiB
Current children cumulated memory: 346380 KiB
[startup+1302.3 s]
/proc/loadavg: 4.10 4.14 4.11 6/256 1051324
/proc/meminfo: memFree=124941268/131524600 swapFree=131071996/131071996
[pid=1050703] ppid=1050700 vsize=396088 memory=347028 CPUtime=1298.04 cores=0,2
/proc/1050703/stat : 1050703 (roundingsat) R 1050700 1050703 1048569 0 -1 4194304 42312 0 0 0 128946 858 0 0 20 0 1 0 198263993 405594112 86757 134679101440 4194304 7968373 140737355853728 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 27303936 140737355862972 140737355863136 140737355863136 140737355870153 0
/proc/1050703/statm: 99022 86757 1846 922 0 90974 0
Current children cumulated CPU time: 1298.04 s
Current children cumulated vsize: 396088 KiB
Current children cumulated memory: 347028 KiB
[startup+1362.3 s]
/proc/loadavg: 4.14 4.14 4.11 5/258 1051504
/proc/meminfo: memFree=124906308/131524600 swapFree=131071996/131071996
[pid=1050703] ppid=1050700 vsize=403284 memory=353096 CPUtime=1357.86 cores=0,2
/proc/1050703/stat : 1050703 (roundingsat) R 1050700 1050703 1048569 0 -1 4194304 43974 0 0 0 134909 877 0 0 20 0 1 0 198263993 412962816 88274 134679101440 4194304 7968373 140737355853728 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 27303936 140737355862972 140737355863136 140737355863136 140737355870153 0
/proc/1050703/statm: 100821 88274 1846 922 0 92773 0
Current children cumulated CPU time: 1357.86 s
Current children cumulated vsize: 403284 KiB
Current children cumulated memory: 353096 KiB
[startup+1422.3 s]
/proc/loadavg: 4.47 4.22 4.14 5/258 1051514
/proc/meminfo: memFree=124874280/131524600 swapFree=131071996/131071996
[pid=1050703] ppid=1050700 vsize=416424 memory=362296 CPUtime=1417.66 cores=0,2
/proc/1050703/stat : 1050703 (roundingsat) R 1050700 1050703 1048569 0 -1 4194304 46411 0 0 0 140872 894 0 0 20 0 1 0 198263993 426418176 90574 134679101440 4194304 7968373 140737355853728 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 27303936 140737355862972 140737355863136 140737355863136 140737355870153 0
/proc/1050703/statm: 104106 90574 1846 922 0 96058 0
Current children cumulated CPU time: 1417.66 s
Current children cumulated vsize: 416424 KiB
Current children cumulated memory: 362296 KiB
[startup+1482.3 s]
/proc/loadavg: 4.36 4.24 4.15 5/256 1051538
/proc/meminfo: memFree=124819700/131524600 swapFree=131071996/131071996
[pid=1050703] ppid=1050700 vsize=552884 memory=395392 CPUtime=1477.47 cores=0,2
/proc/1050703/stat : 1050703 (roundingsat) R 1050700 1050703 1048569 0 -1 4194304 48162 0 0 0 146839 908 0 0 20 0 1 0 198263993 566153216 98848 134679101440 4194304 7968373 140737355853728 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 27303936 140737355862972 140737355863136 140737355863136 140737355870153 0
/proc/1050703/statm: 138221 98848 1846 922 0 130173 0
Current children cumulated CPU time: 1477.47 s
Current children cumulated vsize: 552884 KiB
Current children cumulated memory: 395392 KiB
[startup+1503.63 s]
# the end of solver process 1050703 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=1489.57 s, system=9.18529 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1484.8 s]
/proc/loadavg: 4.36 4.24 4.15 5/256 1051539
/proc/meminfo: memFree=124819192/131524600 swapFree=131071996/131071996
[pid=1050703] ppid=1050700 vsize=554480 memory=398756 CPUtime=1479.97 cores=0,2
/proc/1050703/stat : 1050703 (roundingsat) R 1050700 1050703 1048569 0 -1 4194304 48492 0 0 0 147087 910 0 0 20 0 1 0 198263993 567787520 99689 134679101440 4194304 7968373 140737355853728 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 27303936 140737355862972 140737355863136 140737355863136 140737355870153 0
/proc/1050703/statm: 138620 99689 1846 922 0 130572 0
Current children cumulated CPU time: 1479.97 s
Current children cumulated vsize: 554480 KiB
Current children cumulated memory: 398756 KiB
[startup+1491.2 s]
/proc/loadavg: 4.33 4.24 4.15 5/256 1051539
/proc/meminfo: memFree=124810752/131524600 swapFree=131071996/131071996
[pid=1050703] ppid=1050700 vsize=555304 memory=401856 CPUtime=1486.35 cores=0,2
/proc/1050703/stat : 1050703 (roundingsat) R 1050700 1050703 1048569 0 -1 4194304 48760 0 0 0 147724 911 0 0 20 0 1 0 198263993 568631296 100464 134679101440 4194304 7968373 140737355853728 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 27303936 140737355862972 140737355863136 140737355863136 140737355870153 0
/proc/1050703/statm: 138826 100464 1846 922 0 130778 0
Current children cumulated CPU time: 1486.35 s
Current children cumulated vsize: 555304 KiB
Current children cumulated memory: 401856 KiB
[startup+1497.6 s]
/proc/loadavg: 4.28 4.23 4.15 5/256 1051541
/proc/meminfo: memFree=124806424/131524600 swapFree=131071996/131071996
[pid=1050703] ppid=1050700 vsize=555524 memory=401856 CPUtime=1492.73 cores=0,2
/proc/1050703/stat : 1050703 (roundingsat) R 1050700 1050703 1048569 0 -1 4194304 48788 0 0 0 148359 914 0 0 20 0 1 0 198263993 568856576 100464 134679101440 4194304 7968373 140737355853728 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 27303936 140737355862972 140737355863136 140737355863136 140737355870153 0
/proc/1050703/statm: 138881 100464 1846 922 0 130833 0
Current children cumulated CPU time: 1492.73 s
Current children cumulated vsize: 555524 KiB
Current children cumulated memory: 401856 KiB
[startup+1500.8 s]
/proc/loadavg: 4.28 4.23 4.15 5/256 1051541
/proc/meminfo: memFree=124806284/131524600 swapFree=131071996/131071996
[pid=1050703] ppid=1050700 vsize=555524 memory=401856 CPUtime=1495.92 cores=0,2
/proc/1050703/stat : 1050703 (roundingsat) R 1050700 1050703 1048569 0 -1 4194304 48788 0 0 0 148676 916 0 0 20 0 1 0 198263993 568856576 100464 134679101440 4194304 7968373 140737355853728 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 27303936 140737355862972 140737355863136 140737355863136 140737355870153 0
/proc/1050703/statm: 138881 100464 1846 922 0 130833 0
Current children cumulated CPU time: 1495.92 s
Current children cumulated vsize: 555524 KiB
Current children cumulated memory: 401856 KiB
[startup+1502.4 s]
/proc/loadavg: 4.25 4.22 4.15 5/256 1051542
/proc/meminfo: memFree=124805948/131524600 swapFree=131071996/131071996
[pid=1050703] ppid=1050700 vsize=555524 memory=401856 CPUtime=1497.52 cores=0,2
/proc/1050703/stat : 1050703 (roundingsat) R 1050700 1050703 1048569 0 -1 4194304 48788 0 0 0 148835 917 0 0 20 0 1 0 198263993 568856576 100464 134679101440 4194304 7968373 140737355853728 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 27303936 140737355862972 140737355863136 140737355863136 140737355870153 0
/proc/1050703/statm: 138881 100464 1846 922 0 130833 0
Current children cumulated CPU time: 1497.52 s
Current children cumulated vsize: 555524 KiB
Current children cumulated memory: 401856 KiB
[startup+1503.2 s]
/proc/loadavg: 4.25 4.22 4.15 5/256 1051543
/proc/meminfo: memFree=124803760/131524600 swapFree=131071996/131071996
[pid=1050703] ppid=1050700 vsize=555524 memory=401856 CPUtime=1498.31 cores=0,2
/proc/1050703/stat : 1050703 (roundingsat) R 1050700 1050703 1048569 0 -1 4194304 48788 0 0 0 148914 917 0 0 20 0 1 0 198263993 568856576 100464 134679101440 4194304 7968373 140737355853728 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 27303936 140737355862972 140737355863136 140737355863136 140737355870153 0
/proc/1050703/statm: 138881 100464 1846 922 0 130833 0
Current children cumulated CPU time: 1498.31 s
Current children cumulated vsize: 555524 KiB
Current children cumulated memory: 401856 KiB
[startup+1503.6 s]
/proc/loadavg: 4.25 4.22 4.15 5/256 1051543
/proc/meminfo: memFree=124803760/131524600 swapFree=131071996/131071996
[pid=1050703] ppid=1050700 vsize=555524 memory=401856 CPUtime=1498.71 cores=0,2
/proc/1050703/stat : 1050703 (roundingsat) R 1050700 1050703 1048569 0 -1 4194304 48788 0 0 0 148954 917 0 0 20 0 1 0 198263993 568856576 100464 134679101440 4194304 7968373 140737355853728 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 27303936 140737355862972 140737355863136 140737355863136 140737355870153 0
/proc/1050703/statm: 138881 100464 1846 922 0 130833 0
Current children cumulated CPU time: 1498.71 s
Current children cumulated vsize: 555524 KiB
Current children cumulated memory: 401856 KiB
Child status: 0
Real time (s): 1503.63
CPU time (s): 1498.75
CPU user time (s): 1489.57
CPU system time (s): 9.18529
CPU usage (%): 99.6755
Max. virtual memory (cumulated for all children) (KiB): 555524
Max. memory (cumulated for all children) (KiB): 401856
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1489.57
system time used= 9.18529
maximum resident set size= 401856
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48796
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 71
involuntary context switches= 10280
# summary of solver processes directly reported to runsolver:
# pid: 1050703
# total CPU time (s): 1498.75
# total CPU user time (s): 1489.57
# total CPU system time (s): 9.18529
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.32858 second user time and 6.65255 second system time
The end
Begin job on nodeC020 at 2024-07-20 09:36:58 IDJOB=4455227 IDBENCH=148192 IDSOLVER=3084 FILE ID=nodeC020/4455227-1721461005 RUNJOBID= nodeC020-1721457405-1048579 SLURM_JOB_ID= 7545697 Free space on /tmp= 890052 MiB SOLVER NAME= RoundingSat nolog BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_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-4455227-1721461005/watcher-4455227-1721461005 -o /tmp/evaluation-result-4455227-1721461005/solver-4455227-1721461005 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1721457405-1048579 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455227-1721461005.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 2f5de9b63d0a2988dce846045b262c40 RANDOM SEED=1632514805 nodeC020.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3666.502 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.05 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3689.481 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.84 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3657.889 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.05 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.427 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.84 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3667.658 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.05 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3689.559 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.84 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3612.287 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.05 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.405 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.84 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 127157804 kB MemAvailable: 129338164 kB Buffers: 566876 kB Cached: 2438896 kB SwapCached: 0 kB Active: 1001020 kB Inactive: 2708904 kB Active(anon): 1568 kB Inactive(anon): 748492 kB Active(file): 999452 kB Inactive(file): 1960412 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 36228 kB Writeback: 0 kB AnonPages: 703260 kB Mapped: 116148 kB Shmem: 45912 kB KReclaimable: 120640 kB Slab: 236536 kB SReclaimable: 120640 kB SUnreclaim: 115896 kB KernelStack: 4096 kB PageTables: 10916 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 1072004 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 71040 kB HardwareCorrupted: 0 kB AnonHugePages: 321536 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 211668 kB DirectMap2M: 22630400 kB DirectMap1G: 113246208 kB Free space on /tmp at the end= 890048 MiB End job on nodeC020 at 2024-07-20 10:02:02