Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j Resolution Default 2024-07-07 | SAT (TO) | 16 | 3600.78 | 3586.8 |
| Name | PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/ hw64/normalized-hw64-vm25p-opt.opb.negationfix.opb |
| MD5SUM | 6ace28486832e11f911f7d50bfd4c050 |
| 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 | 13 |
| Best CPU time to get the best result obtained on this benchmark | 0.144181 |
| 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 | 11200 |
| Total number of constraints | 478 |
| Number of constraints which are clauses | 174 |
| Number of constraints which are cardinality constraints (but not clauses) | 174 |
| Number of constraints which are nor clauses,nor cardinality constraints | 130 |
| Minimum length of a constraint | 64 |
| Maximum length of a constraint | 175 |
| Number of terms in the objective function | 64 |
| 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 | 64 |
| Number of bits of the sum of numbers in the objective function | 7 |
| Biggest number in a constraint | 59529 |
| Number of bits of the biggest number in a constraint | 16 |
| Biggest sum of numbers in a constraint | 381646 |
| Number of bits of the biggest sum of numbers | 19 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.13/0.16 c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS 0.13/0.16 c This is free software under the dual EPL/GNU LGPL licenses. 0.13/0.16 c See www.sat4j.org for details. 0.13/0.17 c version CUSTOM.v20240707 0.13/0.20 c java.runtime.name OpenJDK Runtime Environment 0.13/0.20 c java.vm.name OpenJDK 64-Bit Server VM 0.13/0.20 c java.vm.version 22.0.1+8-16 0.13/0.20 c java.vm.vendor Oracle Corporation 0.13/0.20 c sun.arch.data.model 64 0.13/0.20 c java.version 22.0.1 0.13/0.20 c os.name Linux 0.13/0.20 c os.version 4.18.0-301.1.el8.x86_64 0.13/0.20 c os.arch amd64 0.13/0.21 c Free memory 2115194816 0.13/0.21 c Max memory 16282288128 0.13/0.21 c Total memory 2122317824 0.13/0.21 c Number of processors 2 0.31/0.31 --- Begin Solver configuration --- 0.31/0.31 org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f 0.31/0.31 Learn all clauses as in MiniSAT 0.31/0.31 LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.31/0.31 VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.31/0.31 No reason simplification 0.31/0.31 Glucose 2.1 dynamic restart strategy 0.31/0.31 Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.31/0.31 timeout=2147483s 0.31/0.31 DB Simplification allowed=false 0.31/0.31 Listener: none 0.31/0.31 --- End Solver configuration --- 0.46/0.33 c Pseudo Boolean Optimization by upper bound 0.46/0.33 c --- Begin Solver configuration --- 0.46/0.33 c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f 0.46/0.33 c Learn all clauses as in MiniSAT 0.46/0.33 c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.46/0.33 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.46/0.33 c No reason simplification 0.46/0.33 c Glucose 2.1 dynamic restart strategy 0.46/0.33 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.46/0.33 c timeout=2147483s 0.46/0.33 c DB Simplification allowed=false 0.46/0.33 c Listener: none 0.46/0.33 c --- End Solver configuration --- 0.46/0.33 c solving HOME/instance-4432536-1721174703.opb 0.46/0.33 c reading problem ... 0.46/0.33 c objective function found 1.16/0.71 c ... done. Wall clock time 0.377s. 1.16/0.71 c declared #vars 11200 1.16/0.71 c #constraints 478 1.16/0.71 c constraints type 1.16/0.71 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 174 1.16/0.71 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 130 1.16/0.71 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 174 1.16/0.71 c 478 constraints processed. 1.16/0.73 c objective function length is 64 literals 1.96/1.16 c SATISFIABLE 1.96/1.16 c OPTIMIZING... 1.96/1.16 c Got one! Elapsed wall clock time (in seconds):0.83 1.96/1.16 o 25 2.54/1.48 c Got one! Elapsed wall clock time (in seconds):1.149 2.54/1.48 o 21 2.74/1.56 c Got one! Elapsed wall clock time (in seconds):1.232 2.74/1.56 o 20 3.13/1.79 c Got one! Elapsed wall clock time (in seconds):1.462 3.13/1.79 o 19 3.33/1.86 c Got one! Elapsed wall clock time (in seconds):1.53 3.33/1.87 o 18 4.27/2.33 c cleaning 3570 clauses out of 7156 with flag 13719/7156 4.96/2.86 c cleaning 4780 clauses out of 9589 with flag 37038/13159 5.68/3.43 c cleaning 5886 clauses out of 11806 with flag 64086/20156 6.73/4.30 c cleaning 6943 clauses out of 13920 with flag 94218/28156 8.16/5.54 c cleaning 7973 clauses out of 15978 with flag 136861/37157 9.65/7.10 c cleaning 8989 clauses out of 18006 with flag 177744/47158 10.74/8.17 c cleaning 9991 clauses out of 20015 with flag 215486/58156 12.18/9.44 c cleaning 10996 clauses out of 22024 with flag 254100/70156 13.87/10.92 c cleaning 11996 clauses out of 24029 with flag 304479/83157 15.38/12.44 c cleaning 12997 clauses out of 26032 with flag 354172/97156 17.42/14.35 c cleaning 14000 clauses out of 28036 with flag 412732/112157 19.57/16.36 c cleaning 14998 clauses out of 30035 with flag 475961/128156 21.53/18.28 c cleaning 15998 clauses out of 32038 with flag 551077/145157 23.98/20.45 c cleaning 17000 clauses out of 34039 with flag 620759/163156 26.79/23.08 c cleaning 17999 clauses out of 36039 with flag 692831/182156 30.16/26.15 c cleaning 18994 clauses out of 38040 with flag 783685/202156 32.83/28.89 c cleaning 20000 clauses out of 40046 with flag 870890/223156 36.40/32.21 c cleaning 21001 clauses out of 42046 with flag 959646/245156 40.02/35.68 c cleaning 22007 clauses out of 44047 with flag 1070297/268158 43.97/39.34 c cleaning 22997 clauses out of 46039 with flag 1171754/292157 48.71/43.82 c cleaning 24000 clauses out of 48043 with flag 1292787/317158 52.20/47.30 c cleaning 25003 clauses out of 50043 with flag 1404461/343158 56.57/51.49 c cleaning 26005 clauses out of 52039 with flag 1525965/370157 62.03/56.78 c cleaning 26998 clauses out of 54034 with flag 1656044/398157 67.00/61.56 c cleaning 27993 clauses out of 56035 with flag 1798016/427156 72.26/66.61 c cleaning 29002 clauses out of 58043 with flag 1943291/457157 78.19/72.36 c cleaning 29999 clauses out of 60040 with flag 2094113/488156 85.42/78.41 c cleaning 30999 clauses out of 62041 with flag 2255260/520156 91.98/84.66 c cleaning 31998 clauses out of 64044 with flag 2435018/553158 99.83/92.20 c cleaning 32997 clauses out of 66044 with flag 2613951/587156 105.61/97.86 c cleaning 34009 clauses out of 68047 with flag 2741007/622156 111.80/103.87 c cleaning 34998 clauses out of 70039 with flag 2874209/658157 117.25/109.18 c cleaning 36000 clauses out of 72042 with flag 3013072/695158 123.49/115.20 c cleaning 36999 clauses out of 74040 with flag 3176705/733156 129.89/121.34 c cleaning 38003 clauses out of 76041 with flag 3300927/772156 137.30/128.58 c cleaning 38999 clauses out of 78039 with flag 3425751/812157 143.76/134.87 c cleaning 39993 clauses out of 80039 with flag 3558905/853156 151.79/142.67 c cleaning 41004 clauses out of 82046 with flag 3694868/895156 158.84/149.21 c cleaning 42005 clauses out of 84044 with flag 3826156/938158 167.67/157.04 c cleaning 42999 clauses out of 86037 with flag 3979004/982156 175.50/164.70 c cleaning 43999 clauses out of 88039 with flag 4139436/1027157 183.22/172.09 c cleaning 44992 clauses out of 90039 with flag 4293513/1073156 191.02/179.64 c cleaning 45992 clauses out of 92047 with flag 4450854/1120156 200.26/188.47 c cleaning 46998 clauses out of 94056 with flag 4619039/1168157 209.90/197.82 c cleaning 48004 clauses out of 96058 with flag 4789197/1217157 219.63/207.19 c cleaning 49005 clauses out of 98054 with flag 4973456/1267157 230.41/217.79 c cleaning 49999 clauses out of 100048 with flag 5147421/1318156 242.86/229.64 c cleaning 51010 clauses out of 102052 with flag 5341456/1370159 257.41/243.31 c cleaning 51998 clauses out of 104039 with flag 5544124/1423156 270.91/256.39 c cleaning 53004 clauses out of 106043 with flag 5765294/1477158 285.04/270.24 c cleaning 53994 clauses out of 108038 with flag 5972572/1532157 288.02/273.11 c Got one! Elapsed wall clock time (in seconds):272.78 288.02/273.12 o 17 288.19/273.14 c Got one! Elapsed wall clock time (in seconds):272.815 288.19/273.14 o 16 288.37/273.36 c cleaning 38412 clauses out of 76838 with flag 10072/1554951 288.57/273.52 c cleaning 22206 clauses out of 44427 with flag 22155/1560952 288.67/273.68 c cleaning 14604 clauses out of 29220 with flag 36246/1567951 288.86/273.86 c cleaning 11298 clauses out of 22618 with flag 52361/1575953 289.08/274.07 c cleaning 10151 clauses out of 20319 with flag 70606/1584952 289.36/274.31 c cleaning 10076 clauses out of 20166 with flag 90797/1594950 289.56/274.58 c cleaning 10545 clauses out of 21092 with flag 112962/1605952 289.86/274.86 c cleaning 11274 clauses out of 22548 with flag 137159/1617953 290.18/275.18 c cleaning 12136 clauses out of 24272 with flag 163483/1630951 290.56/275.53 c cleaning 13068 clauses out of 26137 with flag 191857/1644952 290.96/275.95 c cleaning 14028 clauses out of 28067 with flag 222395/1659950 291.36/276.38 c cleaning 15017 clauses out of 30039 with flag 254883/1675950 291.86/276.83 c cleaning 16012 clauses out of 32023 with flag 289326/1692951 292.36/277.33 c cleaning 17006 clauses out of 34012 with flag 325640/1710952 292.96/277.92 c cleaning 18001 clauses out of 36004 with flag 364036/1729950 293.46/278.48 c cleaning 18997 clauses out of 38005 with flag 404425/1749952 294.07/279.10 c cleaning 20003 clauses out of 40007 with flag 446884/1770951 294.75/279.78 c cleaning 21002 clauses out of 42003 with flag 491202/1792950 295.45/280.46 c cleaning 22002 clauses out of 44004 with flag 537667/1815953 296.16/281.18 c cleaning 22996 clauses out of 46001 with flag 586340/1839952 296.95/281.95 c cleaning 24003 clauses out of 48007 with flag 637055/1864954 297.88/282.87 c cleaning 25002 clauses out of 50003 with flag 689689/1890953 298.78/283.77 c cleaning 25991 clauses out of 51998 with flag 744399/1917950 299.68/284.60 c cleaning 27006 clauses out of 54012 with flag 801121/1945955 300.58/285.51 c cleaning 27995 clauses out of 56002 with flag 859692/1974951 301.48/286.47 c cleaning 29000 clauses out of 58006 with flag 920336/2004950 302.58/287.55 c cleaning 29999 clauses out of 60006 with flag 983295/2035950 303.67/288.64 c cleaning 31004 clauses out of 62008 with flag 1048030/2067951 304.88/289.82 c cleaning 31999 clauses out of 64004 with flag 1114785/2100951 305.98/290.92 c cleaning 32999 clauses out of 66005 with flag 1183689/2134951 307.27/292.21 c cleaning 34001 clauses out of 68007 with flag 1254556/2169952 308.47/293.46 c cleaning 34998 clauses out of 70004 with flag 1327152/2205950 309.86/294.82 c cleaning 36003 clauses out of 72008 with flag 1402111/2242952 311.26/296.22 c cleaning 37002 clauses out of 74003 with flag 1479170/2280950 312.85/297.85 c cleaning 37998 clauses out of 76003 with flag 1557914/2319952 314.45/299.41 c cleaning 39001 clauses out of 78006 with flag 1638629/2359953 316.10/301.10 c cleaning 39995 clauses out of 80002 with flag 1721762/2400950 317.78/302.78 c cleaning 41004 clauses out of 82010 with flag 1806460/2442953 319.48/304.43 c cleaning 42001 clauses out of 84003 with flag 1893194/2485950 321.19/306.19 c cleaning 42999 clauses out of 86006 with flag 1981893/2529954 323.09/308.03 c cleaning 43996 clauses out of 88004 with flag 2072588/2574951 324.97/309.92 c cleaning 45001 clauses out of 90007 with flag 2165978/2620950 326.87/311.87 c cleaning 46002 clauses out of 92009 with flag 2261388/2667953 328.76/313.70 c cleaning 47000 clauses out of 94004 with flag 2358296/2715950 330.66/315.61 c cleaning 48003 clauses out of 96005 with flag 2457349/2764951 332.75/317.75 c cleaning 49001 clauses out of 98002 with flag 2558169/2814951 335.06/320.10 c cleaning 50000 clauses out of 100001 with flag 2661286/2865951 337.40/322.31 c cleaning 50996 clauses out of 102000 with flag 2765963/2917950 339.90/324.82 c cleaning 52004 clauses out of 104007 with flag 2872920/2970953 342.31/327.25 c cleaning 53001 clauses out of 106001 with flag 2982107/3024951 344.60/329.57 c cleaning 54003 clauses out of 108006 with flag 3093545/3079957 347.12/332.10 c cleaning 54998 clauses out of 109998 with flag 3206969/3135952 349.60/334.53 c cleaning 55999 clauses out of 112000 with flag 3322395/3192952 352.10/337.01 c cleaning 56999 clauses out of 114001 with flag 3439991/3250952 354.79/339.78 c cleaning 57999 clauses out of 116003 with flag 3559549/3309953 357.58/342.59 c cleaning 58998 clauses out of 118002 with flag 3680748/3369951 360.74/345.67 c cleaning 59996 clauses out of 120005 with flag 3804295/3430952 363.94/348.81 c cleaning 60996 clauses out of 122009 with flag 3929894/3492952 366.93/351.81 c cleaning 62006 clauses out of 124011 with flag 4058157/3555950 370.02/355.00 c cleaning 62997 clauses out of 126005 with flag 4187692/3619950 372.81/357.76 c cleaning 64005 clauses out of 128011 with flag 4318974/3684953 376.41/361.30 c cleaning 64999 clauses out of 130004 with flag 4452447/3750951 379.60/364.52 c cleaning 66001 clauses out of 132005 with flag 4587128/3817951 382.92/367.76 c cleaning 66998 clauses out of 134005 with flag 4725027/3885952 386.01/370.84 c cleaning 68000 clauses out of 136005 with flag 4864606/3954950 389.70/374.52 c cleaning 69000 clauses out of 138007 with flag 5006773/4024952 392.69/377.57 c cleaning 69996 clauses out of 140005 with flag 5150217/4095950 396.09/380.92 c cleaning 71001 clauses out of 142011 with flag 5296958/4167952 400.08/384.91 c cleaning 72003 clauses out of 144008 with flag 5444605/4240950 403.47/388.33 c cleaning 73004 clauses out of 146008 with flag 5594795/4314953 407.15/391.94 c cleaning 73992 clauses out of 148002 with flag 5746811/4389951 411.54/396.36 c cleaning 75005 clauses out of 150009 with flag 5901164/4465950 415.43/400.26 c cleaning 75997 clauses out of 152005 with flag 6057685/4542951 419.12/404.00 c cleaning 77001 clauses out of 154009 with flag 6216006/4620952 423.01/407.82 c cleaning 78004 clauses out of 156011 with flag 6375947/4699955 427.01/411.82 c cleaning 78999 clauses out of 158004 with flag 6538578/4779952 430.80/415.66 c cleaning 80003 clauses out of 160006 with flag 6702073/4860953 435.99/420.72 c cleaning 81001 clauses out of 162001 with flag 6868807/4942951 439.88/424.67 c cleaning 82002 clauses out of 164003 with flag 7037210/5025954 444.39/429.16 c cleaning 82997 clauses out of 166000 with flag 7206353/5109953 449.66/434.41 c cleaning 83997 clauses out of 168002 with flag 7377502/5194952 455.05/439.84 c cleaning 85001 clauses out of 170003 with flag 7552366/5280950 459.83/444.63 c cleaning 85998 clauses out of 172005 with flag 7730808/5367953 465.03/449.87 c cleaning 87000 clauses out of 174004 with flag 7908717/5455950 471.23/455.92 c cleaning 87998 clauses out of 176007 with flag 8089230/5544953 476.12/460.87 c cleaning 89004 clauses out of 178007 with flag 8274319/5634951 481.21/465.99 c cleaning 89998 clauses out of 180002 with flag 8458081/5725950 486.90/471.67 c cleaning 91000 clauses out of 182005 with flag 8646102/5817951 491.98/476.79 c cleaning 91994 clauses out of 184004 with flag 8833917/5910950 497.28/482.09 c cleaning 93003 clauses out of 186012 with flag 9026068/6004952 502.99/487.61 c cleaning 94002 clauses out of 188010 with flag 9217183/6099953 507.58/492.21 c cleaning 95002 clauses out of 190005 with flag 9413425/6195950 513.77/498.47 c cleaning 96000 clauses out of 192006 with flag 9610535/6292953 518.37/503.09 c cleaning 97002 clauses out of 194007 with flag 9809826/6390954 523.94/508.62 c cleaning 97995 clauses out of 196002 with flag 10011166/6489951 529.24/513.96 c cleaning 99000 clauses out of 198006 with flag 10213510/6589950 535.72/520.35 c cleaning 100001 clauses out of 200007 with flag 10417715/6690951 541.51/526.18 c cleaning 100999 clauses out of 202008 with flag 10624378/6792953 547.20/531.89 c cleaning 101998 clauses out of 204006 with flag 10833215/6895950 553.68/538.36 c cleaning 103001 clauses out of 206008 with flag 11044032/6999950 560.07/544.75 c cleaning 104006 clauses out of 208011 with flag 11257415/7104954 566.65/551.32 c cleaning 104995 clauses out of 210002 with flag 11472513/7210951 572.96/557.55 c cleaning 105999 clauses out of 212008 with flag 11688823/7317952 579.74/564.35 c cleaning 107005 clauses out of 214013 with flag 11907051/7425956 585.83/570.47 c cleaning 107995 clauses out of 216002 with flag 12128332/7534950 592.01/576.66 c cleaning 109003 clauses out of 218008 with flag 12351268/7644951 598.59/583.21 c cleaning 109999 clauses out of 220004 with flag 12577110/7755950 605.78/590.45 c cleaning 110999 clauses out of 222005 with flag 12804540/7867950 612.87/597.52 c cleaning 111997 clauses out of 224006 with flag 13034000/7980950 620.55/605.29 c cleaning 113004 clauses out of 226011 with flag 13264067/8094952 627.13/611.83 c cleaning 114001 clauses out of 228005 with flag 13498114/8209950 635.81/620.30 c cleaning 114997 clauses out of 230004 with flag 13732886/8325950 643.98/628.57 c cleaning 115999 clauses out of 232007 with flag 13970725/8442950 651.86/636.42 c cleaning 117002 clauses out of 234010 with flag 14214676/8560952 658.94/643.51 c cleaning 117998 clauses out of 236006 with flag 14458892/8679950 666.44/651.02 c cleaning 118997 clauses out of 238011 with flag 14704259/8799953 674.00/658.69 c cleaning 120005 clauses out of 240013 with flag 14953798/8920952 683.04/667.57 c cleaning 120999 clauses out of 242006 with flag 15204335/9042950 691.71/676.25 c cleaning 122003 clauses out of 244009 with flag 15454961/9165952 703.67/688.26 c cleaning 122998 clauses out of 246005 with flag 15705376/9289951 718.44/703.01 c cleaning 124001 clauses out of 248006 with flag 15957619/9414950 733.70/718.39 c cleaning 124999 clauses out of 250007 with flag 16211970/9540952 748.16/732.85 c cleaning 125996 clauses out of 252006 with flag 16468208/9667950 765.31/749.93 c cleaning 127001 clauses out of 254010 with flag 16726677/9795950 783.17/767.89 c cleaning 128003 clauses out of 256011 with flag 16987044/9924952 800.73/785.40 c cleaning 128998 clauses out of 258008 with flag 17249487/10054952 817.88/802.64 c cleaning 130000 clauses out of 260010 with flag 17513760/10185952 837.02/821.86 c cleaning 131002 clauses out of 262010 with flag 17780200/10317952 858.28/843.15 c cleaning 131996 clauses out of 264006 with flag 18048670/10450950 877.72/862.63 c cleaning 133003 clauses out of 266010 with flag 18318863/10584950 896.85/881.76 c cleaning 134004 clauses out of 268009 with flag 18590947/10719952 919.99/904.99 c cleaning 135002 clauses out of 270005 with flag 18865536/10855952 943.83/928.89 c cleaning 135998 clauses out of 272005 with flag 19142073/10992954 966.36/951.47 c cleaning 137001 clauses out of 274006 with flag 19420658/11130953 987.20/972.34 c cleaning 137994 clauses out of 276004 with flag 19701236/11269952 1009.46/994.55 c cleaning 139000 clauses out of 278008 with flag 19983866/11409950 1022.13/1007.21 c cleaning 139999 clauses out of 280008 with flag 20274034/11550950 1031.61/1016.77 c cleaning 141004 clauses out of 282014 with flag 20560834/11692955 1042.29/1027.46 c cleaning 141995 clauses out of 284005 with flag 20848777/11835950 1054.29/1039.31 c cleaning 143000 clauses out of 286011 with flag 21141457/11979951 1063.67/1048.75 c cleaning 144004 clauses out of 288012 with flag 21438377/12124952 1073.06/1058.16 c cleaning 144996 clauses out of 290007 with flag 21732090/12270951 1083.81/1068.91 c cleaning 146001 clauses out of 292010 with flag 22027856/12417950 1097.76/1082.75 c cleaning 147003 clauses out of 294011 with flag 22329513/12565952 1106.94/1091.93 c cleaning 148000 clauses out of 296009 with flag 22634457/12714953 1116.82/1101.84 c cleaning 149001 clauses out of 298007 with flag 22937716/12864951 1127.71/1112.70 c cleaning 149994 clauses out of 300005 with flag 23242827/13015950 1137.29/1122.21 c cleaning 151001 clauses out of 302011 with flag 23556648/13167950 1150.56/1135.52 c cleaning 151999 clauses out of 304010 with flag 23862849/13320950 1161.83/1146.83 c cleaning 153004 clauses out of 306012 with flag 24179882/13474951 1173.28/1158.28 c cleaning 153999 clauses out of 308007 with flag 24494608/13629950 1186.76/1171.79 c cleaning 155001 clauses out of 310008 with flag 24811486/13785950 1198.33/1183.38 c cleaning 155998 clauses out of 312007 with flag 25132579/13942950 1210.31/1195.38 c cleaning 157000 clauses out of 314009 with flag 25448579/14100950 1221.21/1206.26 c cleaning 158000 clauses out of 316009 with flag 25778499/14259950 1234.10/1219.18 c cleaning 159003 clauses out of 318013 with flag 26102775/14419954 1244.67/1229.76 c cleaning 160002 clauses out of 320009 with flag 26430143/14580953 1254.90/1239.99 c cleaning 160999 clauses out of 322007 with flag 26758565/14742953 1266.17/1251.20 c cleaning 161998 clauses out of 324007 with flag 27092329/14905952 1280.06/1265.14 c cleaning 163001 clauses out of 326010 with flag 27420331/15069953 1293.92/1279.03 c cleaning 164000 clauses out of 328006 with flag 27763525/15234950 1306.90/1292.06 c cleaning 164999 clauses out of 330011 with flag 28098911/15400955 1322.95/1308.18 c cleaning 166002 clauses out of 332008 with flag 28442003/15567951 1335.82/1321.06 c cleaning 167003 clauses out of 334005 with flag 28783904/15735950 1350.11/1335.35 c cleaning 167999 clauses out of 336004 with flag 29125345/15904952 1364.27/1349.56 c cleaning 169002 clauses out of 338003 with flag 29473390/16074950 1379.24/1364.53 c cleaning 169998 clauses out of 340004 with flag 29817295/16245953 1394.60/1379.80 c cleaning 170996 clauses out of 342004 with flag 30165098/16417951 1412.55/1397.88 c cleaning 171999 clauses out of 344007 with flag 30513537/16590950 1428.41/1413.79 c cleaning 172999 clauses out of 346010 with flag 30866493/16764952 1444.95/1430.28 c cleaning 174005 clauses out of 348012 with flag 31221070/16939953 1460.62/1445.95 c cleaning 174997 clauses out of 350008 with flag 31575178/17115954 1477.58/1462.82 c cleaning 176002 clauses out of 352007 with flag 31930985/17292950 1490.76/1476.05 c cleaning 177001 clauses out of 354007 with flag 32290951/17470952 1505.73/1491.07 c cleaning 177995 clauses out of 356004 with flag 32652805/17649950 1521.30/1506.53 c cleaning 179006 clauses out of 358011 with flag 33016296/17829952 1536.87/1522.12 c cleaning 179998 clauses out of 360003 with flag 33383453/18010950 1551.73/1537.09 c cleaning 180997 clauses out of 362006 with flag 33752660/18192951 1566.67/1551.90 c cleaning 182004 clauses out of 364009 with flag 34123035/18375951 1581.15/1566.42 c cleaning 183000 clauses out of 366005 with flag 34495738/18559951 1594.83/1580.19 c cleaning 183995 clauses out of 368005 with flag 34871170/18744951 1610.24/1595.53 c cleaning 185003 clauses out of 370010 with flag 35248357/18930951 1627.60/1613.01 c cleaning 186002 clauses out of 372007 with flag 35625851/19117951 1645.43/1630.60 c cleaning 187002 clauses out of 374005 with flag 36007133/19305951 1662.80/1648.02 c cleaning 187996 clauses out of 376003 with flag 36389242/19494951 1686.42/1671.71 c cleaning 189000 clauses out of 378006 with flag 36774281/19684950 1703.68/1688.95 c cleaning 189998 clauses out of 380008 with flag 37162049/19875952 1720.76/1706.03 c cleaning 190998 clauses out of 382009 with flag 37551871/20067951 1739.38/1724.59 c cleaning 192001 clauses out of 384012 with flag 37942958/20260952 1754.74/1739.99 c cleaning 193003 clauses out of 386011 with flag 38335867/20454952 1772.10/1757.38 c cleaning 194002 clauses out of 388007 with flag 38729684/20649951 1787.63/1772.89 c cleaning 194999 clauses out of 390006 with flag 39128174/20845952 1804.90/1790.19 c cleaning 196000 clauses out of 392005 with flag 39524429/21042950 1823.76/1809.10 c cleaning 197002 clauses out of 394006 with flag 39924335/21240951 1842.17/1827.38 c cleaning 197997 clauses out of 396006 with flag 40329927/21439953 1867.60/1852.84 c cleaning 198997 clauses out of 398008 with flag 40736397/21639952 1894.85/1880.19 c cleaning 200001 clauses out of 400010 with flag 41146821/21840951 1917.06/1902.51 c cleaning 201002 clauses out of 402008 with flag 41560111/22042950 1936.89/1922.59 c cleaning 201992 clauses out of 404008 with flag 41969424/22245952 1954.13/1939.91 c cleaning 203004 clauses out of 406016 with flag 42383239/22449952 1971.42/1957.14 c cleaning 203998 clauses out of 408011 with flag 42798777/22654951 1991.67/1977.45 c cleaning 205006 clauses out of 410015 with flag 43219202/22860953 2010.01/1994.78 c cleaning 206001 clauses out of 412008 with flag 43638596/23067952 2029.37/2014.13 c cleaning 206999 clauses out of 414005 with flag 44058443/23275950 2046.43/2031.26 c cleaning 208004 clauses out of 416010 with flag 44482092/23484954 2065.73/2050.53 c cleaning 208999 clauses out of 418004 with flag 44907205/23694952 2089.08/2073.96 c cleaning 209995 clauses out of 420004 with flag 45334578/23905951 2105.93/2090.78 c cleaning 211005 clauses out of 422016 with flag 45765167/24117958 2126.38/2111.20 c cleaning 211996 clauses out of 424007 with flag 46196920/24330954 2143.94/2128.87 c cleaning 212999 clauses out of 426008 with flag 46631077/24544951 2160.55/2145.45 c cleaning 214000 clauses out of 428010 with flag 47065558/24759952 2177.62/2162.59 c cleaning 214999 clauses out of 430008 with flag 47502676/24975950 2195.77/2180.64 c cleaning 216003 clauses out of 432010 with flag 47942118/25192951 2214.63/2199.54 c cleaning 216998 clauses out of 434007 with flag 48384610/25410951 2233.59/2218.53 c cleaning 218004 clauses out of 436009 with flag 48828020/25629951 2249.73/2234.69 c cleaning 218999 clauses out of 438005 with flag 49273864/25849951 2269.37/2254.36 c cleaning 220000 clauses out of 440007 with flag 49724421/26070952 2288.72/2273.71 c cleaning 220997 clauses out of 442005 with flag 50175434/26292950 2307.08/2292.07 c cleaning 222000 clauses out of 444009 with flag 50628115/26515951 2327.21/2312.26 c cleaning 223001 clauses out of 446009 with flag 51080273/26739951 2348.48/2333.44 c cleaning 224001 clauses out of 448008 with flag 51536425/26964951 2372.63/2357.69 c cleaning 225001 clauses out of 450006 with flag 51993870/27190950 2395.79/2380.80 c cleaning 225998 clauses out of 452005 with flag 52452765/27417950 2420.98/2405.98 c cleaning 226998 clauses out of 454008 with flag 52913022/27645951 2444.33/2429.38 c cleaning 228003 clauses out of 456009 with flag 53373524/27874950 2466.10/2451.13 c cleaning 229002 clauses out of 458006 with flag 53838673/28104950 2489.62/2474.64 c cleaning 230000 clauses out of 460008 with flag 54305325/28335954 2511.57/2496.65 c cleaning 230999 clauses out of 462006 with flag 54774527/28567952 2539.41/2524.56 c cleaning 231999 clauses out of 464006 with flag 55248882/28800951 2569.30/2554.40 c cleaning 233000 clauses out of 466006 with flag 55726725/29034950 2592.05/2577.21 c cleaning 234000 clauses out of 468007 with flag 56205064/29269951 2613.10/2598.39 c cleaning 235002 clauses out of 470007 with flag 56687844/29505951 2635.54/2620.80 c cleaning 235998 clauses out of 472005 with flag 57173715/29742951 2658.50/2643.81 c cleaning 236995 clauses out of 474006 with flag 57655342/29980950 2686.83/2672.20 c cleaning 238000 clauses out of 476011 with flag 58139644/30219950 2712.62/2698.06 c cleaning 239000 clauses out of 478012 with flag 58622482/30459951 2733.07/2718.51 c cleaning 240001 clauses out of 480011 with flag 59112688/30700950 2756.87/2742.34 c cleaning 241001 clauses out of 482010 with flag 59603475/30942950 2783.22/2768.78 c cleaning 242000 clauses out of 484010 with flag 60096043/31185951 2806.25/2791.70 c cleaning 242997 clauses out of 486009 with flag 60590141/31429950 2827.52/2813.07 c cleaning 244001 clauses out of 488012 with flag 61088184/31674950 2851.22/2836.79 c cleaning 245000 clauses out of 490014 with flag 61586316/31920953 2877.27/2862.87 c cleaning 246005 clauses out of 492014 with flag 62087021/32167953 2901.12/2886.74 c cleaning 247000 clauses out of 494007 with flag 62589216/32415951 2925.65/2911.25 c cleaning 247999 clauses out of 496007 with flag 63094061/32664951 2951.89/2937.51 c cleaning 249004 clauses out of 498010 with flag 63596859/32914953 2977.35/2963.09 c cleaning 249998 clauses out of 500003 with flag 64105719/33165950 3005.37/2991.07 c cleaning 250996 clauses out of 502007 with flag 64616731/33417952 3034.89/3020.67 c cleaning 251999 clauses out of 504009 with flag 65130498/33670950 3060.84/3046.60 c cleaning 252999 clauses out of 506010 with flag 65643579/33924950 3083.77/3069.54 c cleaning 254003 clauses out of 508011 with flag 66162930/34179950 3108.62/3094.42 c cleaning 255004 clauses out of 510013 with flag 66681526/34435955 3137.66/3123.55 c cleaning 255999 clauses out of 512004 with flag 67200695/34692950 3159.89/3145.76 c cleaning 256994 clauses out of 514005 with flag 67723980/34950950 3186.14/3172.06 c cleaning 258002 clauses out of 516012 with flag 68249558/35209951 3210.96/3196.97 c cleaning 259004 clauses out of 518010 with flag 68777055/35469951 3239.36/3225.39 c cleaning 259999 clauses out of 520005 with flag 69306264/35730950 3267.20/3253.26 c cleaning 260998 clauses out of 522007 with flag 69837374/35992951 3293.75/3279.89 c cleaning 261994 clauses out of 524008 with flag 70368366/36255950 3322.69/3308.85 c cleaning 263002 clauses out of 526014 with flag 70905819/36519950 3352.92/3339.10 c cleaning 264004 clauses out of 528015 with flag 71443472/36784953 3376.86/3363.05 c cleaning 264999 clauses out of 530009 with flag 71981785/37050951 3406.27/3392.52 c cleaning 266001 clauses out of 532009 with flag 72523106/37317950 3430.76/3416.91 c cleaning 266998 clauses out of 534009 with flag 73065796/37585951 3457.40/3443.66 c cleaning 268001 clauses out of 536012 with flag 73611455/37854952 3483.15/3469.40 c cleaning 269002 clauses out of 538010 with flag 74155983/38124951 3513.98/3500.26 c cleaning 269997 clauses out of 540007 with flag 74708638/38395950 3545.92/3532.20 c cleaning 271006 clauses out of 542011 with flag 75259646/38667951 3577.67/3564.06 c cleaning 271998 clauses out of 544005 with flag 75815620/38940951 3600.02/3586.42 c starts : 32 3600.02/3586.43 c conflicts : 39214952 3600.02/3586.45 c decisions : 40054124 3600.02/3586.45 c propagations : 3318436321 3600.02/3586.45 c inspects : 16068635791 3600.02/3586.45 c shortcuts : 0 3600.02/3586.45 c learnt literals : 0 3600.02/3586.45 c learnt binary clauses : 0 3600.02/3586.45 c learnt ternary clauses : 0 3600.02/3586.45 c learnt constraints : 39214952 3600.02/3586.45 c ignored constraints : 0 3600.02/3586.45 c root simplifications : 0 3600.02/3586.45 c removed literals (reason simplification) : 0 3600.02/3586.45 c reason swapping (by a shorter reason) : 0 3600.02/3586.45 c Calls to reduceDB : 321 3600.02/3586.46 c Number of update (reduction) of LBD : 1344620 3600.02/3586.46 c Imported unit clauses : 0 3600.02/3586.46 c No decision after first conflict : false 3600.02/3586.46 c number of reductions to clauses (during analyze) : 0 3600.02/3586.46 c number of learned constraints concerned by reduction : 0 3600.02/3586.46 c number of learning phase by resolution : 0 3600.02/3586.46 c number of learning phase by cutting planes : 0 3600.02/3586.46 c number of rounding to 1 operations : 0 3600.02/3586.46 c number of easy rounding to 1 operations (no literal elimination needed) : 0 3600.02/3586.46 c number of reductions of the coefficients by power 2 : 0 3600.02/3586.46 c number of right shift for reduction by power 2 : 0 3600.02/3586.49 c number of reductions of the coefficients by GCD over coefficients : 0 3600.02/3586.49 c number of ending skipping : 0 3600.02/3586.49 c number of internal skipping : 0 3600.02/3586.49 c number of derivation steps : 0 3600.02/3586.49 c number of skipped derivation steps : 0 3600.02/3586.49 c number of remaining unassigned : 0 3600.02/3586.49 c number of remaining assigned : 0 3600.02/3586.49 c number of falsified literals weakened from reason : 0 3600.02/3586.49 c number of falsified literals weakened from conflict : 0 3600.02/3586.49 c time for arithmetic operations : 0 3600.02/3586.49 c minimum degree of deleted constraints : null 3600.02/3586.49 c maximum degree of deleted constraints : null 3600.02/3586.49 c number of deleted constraints : 0 3600.02/3586.49 c speed (assignments/second) : 925453.4337533023 3600.02/3586.49 c non guided choices : 40396 3600.41/3586.67 c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB : 546008 3600.41/3586.68 s SATISFIABLE 3600.41/3586.68 c Found 7 solution(s) 3600.41/3586.68 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 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 x5515 -x5516 -x5517 -x5518 -x5519 -x5520 x5521 -x5522 -x5523 -x5524 x5525 -x5526 -x5527 -x5528 -x5529 -x5530 x5531 -x5532 -x5533 -x5534 -x5535 -x5536 x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 x6089 -x6090 -x6091 -x6092 -x6093 -x6094 x6095 -x6096 -x6097 -x6098 -x6099 -x6100 x6101 -x6102 x6103 -x6104 -x6105 -x6106 -x6107 -x6108 x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 x6188 x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 x6232 -x6233 -x6234 -x6235 -x6236 x6237 -x6238 -x6239 -x6240 -x6241 x6242 -x6243 -x6244 -x6245 x6246 -x6247 -x6248 -x6249 -x6250 -x6251 x6252 -x6253 -x6254 -x6255 -x6256 -x6257 x6258 x6259 x6260 -x6261 -x6262 -x6263 -x6264 x6265 -x6266 -x6267 x6268 -x6269 x6270 -x6271 x6272 -x6273 -x6274 -x6275 -x6276 -x6277 x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 x6851 -x6852 x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 x6891 -x6892 -x6893 -x6894 -x6895 x6896 x6897 x6898 x6899 x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 x6935 -x6936 -x6937 -x6938 -x6939 x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 x7000 -x7001 x7002 -x7003 -x7004 -x7005 x7006 -x7007 -x7008 -x7009 -x7010 -x7011 x7012 x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 x7744 -x7745 x7746 x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 x7780 x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 x7792 -x7793 -x7794 x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 x7802 -x7803 -x7804 -x7805 x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 x7828 -x7829 x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 x7851 -x7852 -x7853 -x7854 -x7855 x7856 -x7857 -x7858 -x7859 x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 x7868 -x7869 -x7870 -x7871 -x7872 -x7873 x7874 -x7875 -x7876 -x7877 -x7878 -x7879 x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 x7902 -x7903 -x7904 x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 x8043 -x8044 x8045 -x8046 -x8047 -x8048 x8049 -x8050 -x8051 -x8052 -x8053 -x8054 x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 x8077 -x8078 -x8079 x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 x8133 -x8134 -x8135 -x8136 -x8137 -x8138 x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 x8209 -x8210 x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 x8240 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8549 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x8560 -x8561 -x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 -x8581 -x8582 -x8583 -x8584 -x8585 -x8586 -x8587 -x8588 -x8589 -x8590 -x8591 -x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 -x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 -x8650 -x8651 -x8652 -x8653 -x8654 -x8655 -x8656 -x8657 -x8658 -x8659 -x8660 -x8661 -x8662 -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 -x8670 -x8671 -x8672 -x8673 -x8674 -x8675 -x8676 -x8677 -x8678 -x8679 -x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 -x8689 -x8690 -x8691 -x8692 -x8693 -x8694 -x8695 -x8696 -x8697 -x8698 -x8699 -x8700 -x8701 -x8702 -x8703 -x8704 -x8705 -x8706 -x8707 -x8708 -x8709 -x8710 -x8711 -x8712 -x8713 -x8714 -x8715 -x8716 -x8717 -x8718 -x8719 -x8720 -x8721 -x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8728 -x8729 -x8730 -x8731 -x8732 -x8733 -x8734 -x8735 -x8736 -x8737 -x8738 -x8739 -x8740 -x8741 -x8742 -x8743 -x8744 -x8745 -x8746 -x8747 -x8748 -x8749 -x8750 -x8751 -x8752 -x8753 -x8754 -x8755 -x8756 -x8757 -x8758 -x8759 -x8760 -x8761 -x8762 -x8763 -x8764 -x8765 -x8766 -x8767 -x8768 -x8769 -x8770 -x8771 -x8772 -x8773 -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 -x8780 -x8781 -x8782 -x8783 -x8784 -x8785 -x8786 -x8787 -x8788 -x8789 -x8790 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8799 -x8800 -x8801 -x8802 -x8803 -x8804 -x8805 -x8806 -x8807 -x8808 -x8809 -x8810 -x8811 -x8812 -x8813 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 -x8820 -x8821 -x8822 -x8823 -x8824 -x8825 -x8826 -x8827 -x8828 -x8829 -x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 -x8839 -x8840 -x8841 -x8842 -x8843 -x8844 -x8845 -x8846 -x8847 -x8848 -x8849 -x8850 -x8851 -x8852 -x8853 -x8854 -x8855 -x8856 -x8857 -x8858 -x8859 -x8860 -x8861 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 -x8868 -x8869 -x8870 -x8871 -x8872 -x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x8880 -x8881 -x8882 -x8883 -x8884 -x8885 -x8886 -x8887 -x8888 -x8889 -x8890 -x8891 -x8892 -x8893 -x8894 -x8895 -x8896 -x8897 -x8898 -x8899 -x8900 -x8901 -x8902 -x8903 -x8904 -x8905 -x8906 -x8907 -x8908 -x8909 -x8910 -x8911 -x8912 -x8913 -x8914 -x8915 -x8916 -x8917 -x8918 -x8919 -x8920 -x8921 -x8922 -x8923 -x8924 -x8925 -x8926 -x8927 -x8928 -x8929 -x8930 -x8931 -x8932 -x8933 -x8934 -x8935 -x8936 -x8937 -x8938 -x8939 -x8940 -x8941 -x8942 -x8943 -x8944 -x8945 -x8946 -x8947 -x8948 -x8949 -x8950 -x8951 -x8952 -x8953 -x8954 -x8955 -x8956 -x8957 -x8958 -x8959 -x8960 -x8961 -x8962 -x8963 -x8964 -x8965 -x8966 -x8967 -x8968 -x8969 -x8970 -x8971 -x8972 -x8973 -x8974 -x8975 -x8976 -x8977 -x8978 -x8979 -x8980 -x8981 -x8982 -x8983 -x8984 -x8985 -x8986 -x8987 -x8988 -x8989 -x8990 -x8991 -x8992 -x8993 -x8994 -x8995 -x8996 -x8997 -x8998 -x8999 -x9000 -x9001 -x9002 -x9003 -x9004 -x9005 -x9006 -x9007 -x9008 -x9009 -x9010 -x9011 -x9012 -x9013 -x9014 -x9015 -x9016 -x9017 -x9018 -x9019 -x9020 -x9021 -x9022 -x9023 -x9024 -x9025 -x9026 -x9027 -x9028 -x9029 -x9030 -x9031 -x9032 -x9033 -x9034 -x9035 -x9036 -x9037 -x9038 -x9039 -x9040 -x9041 -x9042 -x9043 -x9044 -x9045 -x9046 -x9047 -x9048 -x9049 -x9050 -x9051 -x9052 -x9053 -x9054 -x9055 -x9056 -x9057 -x9058 -x9059 -x9060 -x9061 -x9062 -x9063 -x9064 -x9065 -x9066 -x9067 -x9068 -x9069 -x9070 -x9071 -x9072 -x9073 -x9074 -x9075 -x9076 -x9077 -x9078 -x9079 -x9080 -x9081 -x9082 -x9083 -x9084 -x9085 -x9086 -x9087 -x9088 -x9089 -x9090 -x9091 -x9092 -x9093 -x9094 -x9095 -x9096 -x9097 -x9098 -x9099 -x9100 -x9101 -x9102 -x9103 -x9104 -x9105 -x9106 -x9107 -x9108 -x9109 -x9110 -x9111 -x9112 -x9113 -x9114 -x9115 -x9116 -x9117 -x9118 -x9119 -x9120 -x9121 -x9122 -x9123 -x9124 -x9125 -x9126 -x9127 -x9128 -x9129 -x9130 -x9131 -x9132 -x9133 -x9134 -x9135 -x9136 -x9137 -x9138 -x9139 -x9140 -x9141 -x9142 -x9143 -x9144 -x9145 -x9146 -x9147 -x9148 -x9149 -x9150 -x9151 -x9152 -x9153 -x9154 -x9155 -x9156 -x9157 -x9158 -x9159 -x9160 -x9161 -x9162 -x9163 -x9164 -x9165 -x9166 -x9167 -x9168 -x9169 -x9170 -x9171 -x9172 -x9173 -x9174 -x9175 -x9176 -x9177 -x9178 -x9179 -x9180 -x9181 -x9182 -x9183 -x9184 -x9185 -x9186 -x9187 -x9188 -x9189 -x9190 -x9191 -x9192 -x9193 -x9194 -x9195 -x9196 -x9197 -x9198 -x9199 -x9200 -x9201 -x9202 -x9203 -x9204 -x9205 -x9206 -x9207 -x9208 -x9209 -x9210 -x9211 -x9212 -x9213 -x9214 -x9215 -x9216 -x9217 -x9218 -x9219 -x9220 -x9221 -x9222 -x9223 -x9224 -x9225 -x9226 -x9227 -x9228 -x9229 -x9230 -x9231 -x9232 -x9233 -x9234 -x9235 -x9236 -x9237 -x9238 -x9239 -x9240 -x9241 -x9242 -x9243 -x9244 -x9245 -x9246 -x9247 -x9248 -x9249 -x9250 -x9251 -x9252 -x9253 -x9254 -x9255 -x9256 -x9257 -x9258 -x9259 -x9260 -x9261 -x9262 -x9263 -x9264 -x9265 -x9266 -x9267 -x9268 -x9269 -x9270 -x9271 -x9272 -x9273 -x9274 -x9275 -x9276 -x9277 -x9278 -x9279 -x9280 -x9281 -x9282 -x9283 -x9284 -x9285 -x9286 -x9287 -x9288 -x9289 -x9290 -x9291 -x9292 -x9293 -x9294 -x9295 -x9296 -x9297 -x9298 -x9299 -x9300 -x9301 -x9302 -x9303 -x9304 -x9305 -x9306 -x9307 -x9308 -x9309 -x9310 -x9311 -x9312 -x9313 -x9314 -x9315 -x9316 -x9317 -x9318 -x9319 -x9320 -x9321 -x9322 -x9323 -x9324 -x9325 -x9326 -x9327 -x9328 -x9329 -x9330 -x9331 -x9332 -x9333 -x9334 -x9335 -x9336 -x9337 -x9338 -x9339 -x9340 -x9341 -x9342 -x9343 -x9344 -x9345 -x9346 -x9347 -x9348 -x9349 -x9350 -x9351 -x9352 -x9353 -x9354 -x9355 -x9356 -x9357 -x9358 -x9359 -x9360 -x9361 -x9362 -x9363 -x9364 -x9365 -x9366 -x9367 -x9368 -x9369 -x9370 -x9371 -x9372 -x9373 -x9374 -x9375 -x9376 -x9377 -x9378 -x9379 -x9380 -x9381 -x9382 -x9383 -x9384 -x9385 -x9386 -x9387 -x9388 -x9389 -x9390 -x9391 -x9392 -x9393 -x9394 -x9395 -x9396 -x9397 -x9398 -x9399 -x9400 -x9401 -x9402 -x9403 -x9404 -x9405 -x9406 -x9407 -x9408 -x9409 -x9410 -x9411 -x9412 -x9413 -x9414 -x9415 -x9416 -x9417 -x9418 -x9419 -x9420 -x9421 -x9422 -x9423 -x9424 -x9425 -x9426 -x9427 -x9428 -x9429 -x9430 -x9431 -x9432 -x9433 -x9434 -x9435 -x9436 -x9437 -x9438 -x9439 -x9440 -x9441 -x9442 -x9443 -x9444 -x9445 -x9446 -x9447 -x9448 -x9449 -x9450 -x9451 -x9452 -x9453 -x9454 -x9455 -x9456 -x9457 -x9458 -x9459 -x9460 -x9461 -x9462 -x9463 -x9464 -x9465 -x9466 -x9467 -x9468 -x9469 -x9470 -x9471 -x9472 -x9473 -x9474 -x9475 -x9476 -x9477 -x9478 -x9479 -x9480 -x9481 -x9482 -x9483 -x9484 -x9485 -x9486 -x9487 -x9488 -x9489 -x9490 x9491 -x9492 x9493 -x9494 -x9495 -x9496 -x9497 -x9498 -x9499 -x9500 -x9501 -x9502 -x9503 -x9504 -x9505 -x9506 -x9507 -x9508 -x9509 -x9510 -x9511 -x9512 -x9513 -x9514 -x9515 -x9516 -x9517 x9518 -x9519 -x9520 -x9521 -x9522 -x9523 x9524 -x9525 x9526 -x9527 -x9528 -x9529 -x9530 -x9531 -x9532 -x9533 -x9534 -x9535 -x9536 -x9537 -x9538 -x9539 -x9540 -x9541 -x9542 -x9543 -x9544 -x9545 -x9546 -x9547 -x9548 -x9549 -x9550 -x9551 -x9552 -x9553 -x9554 -x9555 -x9556 -x9557 -x9558 -x9559 -x9560 -x9561 -x9562 -x9563 -x9564 -x9565 -x9566 -x9567 -x9568 -x9569 -x9570 -x9571 x9572 -x9573 -x9574 -x9575 -x9576 -x9577 -x9578 -x9579 -x9580 -x9581 -x9582 -x9583 -x9584 -x9585 -x9586 -x9587 -x9588 -x9589 -x9590 -x9591 -x9592 -x9593 -x9594 -x9595 -x9596 -x9597 -x9598 -x9599 -x9600 -x9601 -x9602 -x9603 -x9604 -x9605 -x9606 x9607 -x9608 -x9609 -x9610 -x9611 -x9612 -x9613 -x9614 -x9615 -x9616 -x9617 -x9618 x9619 -x9620 -x9621 -x9622 -x9623 -x9624 -x9625 x9626 -x9627 -x9628 -x9629 -x9630 x9631 -x9632 x9633 -x9634 -x9635 -x9636 -x9637 -x9638 -x9639 -x9640 -x9641 -x9642 -x9643 -x9644 -x9645 -x9646 -x9647 -x9648 -x9649 -x9650 -x9651 -x9652 -x9653 -x9654 -x9655 -x9656 -x9657 -x9658 -x9659 -x9660 -x9661 -x9662 -x9663 -x9664 -x9665 -x9666 -x9667 -x9668 -x9669 -x9670 -x9671 -x9672 -x9673 -x9674 -x9675 -x9676 -x9677 -x9678 -x9679 -x9680 -x9681 -x9682 -x9683 -x9684 -x9685 -x9686 -x9687 -x9688 -x9689 -x9690 -x9691 -x9692 -x9693 -x9694 -x9695 -x9696 -x9697 -x9698 -x9699 -x9700 -x9701 -x9702 -x9703 -x9704 -x9705 -x9706 -x9707 -x9708 -x9709 -x9710 -x9711 -x9712 -x9713 -x9714 -x9715 -x9716 -x9717 -x9718 -x9719 -x9720 -x9721 -x9722 -x9723 -x9724 -x9725 -x9726 -x9727 -x9728 -x9729 -x9730 -x9731 -x9732 -x9733 -x9734 -x9735 -x9736 -x9737 -x9738 -x9739 -x9740 -x9741 -x9742 -x9743 -x9744 -x9745 -x9746 -x9747 -x9748 -x9749 -x9750 -x9751 -x9752 -x9753 -x9754 -x9755 -x9756 -x9757 -x9758 -x9759 -x9760 -x9761 -x9762 -x9763 -x9764 -x9765 -x9766 -x9767 -x9768 -x9769 -x9770 -x9771 -x9772 -x9773 -x9774 -x9775 -x9776 -x9777 -x9778 -x9779 -x9780 -x9781 -x9782 -x9783 -x9784 -x9785 -x9786 -x9787 -x9788 -x9789 -x9790 -x9791 -x9792 -x9793 -x9794 -x9795 -x9796 -x9797 -x9798 -x9799 -x9800 -x9801 -x9802 -x9803 -x9804 -x9805 -x9806 -x9807 -x9808 -x9809 -x9810 -x9811 -x9812 -x9813 -x9814 -x9815 -x9816 -x9817 -x9818 -x9819 -x9820 -x9821 -x9822 -x9823 -x9824 -x9825 -x9826 -x9827 -x9828 -x9829 -x9830 -x9831 -x9832 -x9833 -x9834 -x9835 -x9836 -x9837 -x9838 -x9839 -x9840 -x9841 -x9842 -x9843 -x9844 -x9845 -x9846 -x9847 -x9848 -x9849 -x9850 -x9851 -x9852 -x9853 -x9854 -x9855 -x9856 -x9857 -x9858 -x9859 -x9860 -x9861 -x9862 -x9863 -x9864 -x9865 -x9866 -x9867 -x9868 -x9869 -x9870 -x9871 -x9872 -x9873 -x9874 -x9875 -x9876 -x9877 -x9878 -x9879 -x9880 -x9881 -x9882 -x9883 -x9884 -x9885 -x9886 -x9887 -x9888 -x9889 -x9890 -x9891 -x9892 -x9893 -x9894 -x9895 -x9896 -x9897 -x9898 -x9899 -x9900 -x9901 -x9902 -x9903 -x9904 -x9905 -x9906 -x9907 -x9908 -x9909 -x9910 -x9911 -x9912 -x9913 -x9914 -x9915 -x9916 -x9917 -x9918 -x9919 -x9920 -x9921 -x9922 -x9923 -x9924 -x9925 -x9926 -x9927 -x9928 -x9929 -x9930 -x9931 -x9932 -x9933 -x9934 -x9935 -x9936 -x9937 -x9938 -x9939 -x9940 -x9941 -x9942 -x9943 -x9944 -x9945 -x9946 -x9947 -x9948 -x9949 -x9950 -x9951 -x9952 -x9953 -x9954 -x9955 -x9956 -x9957 -x9958 -x9959 -x9960 -x9961 -x9962 -x9963 -x9964 -x9965 -x9966 -x9967 -x9968 -x9969 -x9970 -x9971 -x9972 -x9973 -x9974 -x9975 -x9976 -x9977 -x9978 -x9979 -x9980 -x9981 -x9982 -x9983 -x9984 -x9985 -x9986 -x9987 -x9988 -x9989 -x9990 -x9991 -x9992 -x9993 -x9994 -x9995 -x9996 -x9997 -x9998 -x9999 -x10000 -x10001 -x10002 -x10003 -x10004 -x10005 -x10006 -x10007 -x10008 -x10009 -x10010 -x10011 -x10012 -x10013 -x10014 -x10015 -x10016 -x10017 -x10018 -x10019 -x10020 -x10021 -x10022 -x10023 -x10024 -x10025 -x10026 -x10027 -x10028 -x10029 -x10030 -x10031 -x10032 -x10033 -x10034 -x10035 -x10036 -x10037 -x10038 -x10039 -x10040 -x10041 -x10042 -x10043 -x10044 -x10045 -x10046 -x10047 -x10048 -x10049 -x10050 -x10051 -x10052 -x10053 -x10054 -x10055 -x10056 -x10057 -x10058 -x10059 -x10060 -x10061 -x10062 -x10063 -x10064 -x10065 -x10066 -x10067 -x10068 -x10069 -x10070 -x10071 -x10072 -x10073 -x10074 -x10075 -x10076 -x10077 -x10078 -x10079 -x10080 -x10081 -x10082 -x10083 -x10084 -x10085 -x10086 -x10087 -x10088 -x10089 -x10090 -x10091 -x10092 -x10093 -x10094 -x10095 -x10096 -x10097 -x10098 -x10099 -x10100 -x10101 -x10102 -x10103 -x10104 -x10105 -x10106 -x10107 -x10108 -x10109 -x10110 -x10111 -x10112 -x10113 -x10114 -x10115 -x10116 -x10117 -x10118 -x10119 -x10120 -x10121 -x10122 -x10123 -x10124 -x10125 -x10126 -x10127 -x10128 -x10129 -x10130 -x10131 -x10132 -x10133 -x10134 -x10135 -x10136 -x10137 -x10138 -x10139 -x10140 -x10141 -x10142 -x10143 -x10144 -x10145 -x10146 -x10147 -x10148 -x10149 -x10150 -x10151 -x10152 -x10153 -x10154 -x10155 -x10156 -x10157 -x10158 -x10159 -x10160 -x10161 -x10162 -x10163 -x10164 -x10165 -x10166 -x10167 -x10168 -x10169 -x10170 -x10171 -x10172 -x10173 -x10174 -x10175 -x10176 -x10177 -x10178 -x10179 -x10180 -x10181 -x10182 -x10183 -x10184 -x10185 -x10186 -x10187 -x10188 -x10189 -x10190 -x10191 -x10192 -x10193 -x10194 -x10195 -x10196 -x10197 -x10198 -x10199 -x10200 -x10201 -x10202 -x10203 -x10204 -x10205 -x10206 -x10207 -x10208 -x10209 -x10210 -x10211 -x10212 -x10213 -x10214 -x10215 -x10216 -x10217 -x10218 -x10219 -x10220 -x10221 -x10222 -x10223 -x10224 -x10225 -x10226 -x10227 -x10228 -x10229 -x10230 -x10231 -x10232 -x10233 -x10234 -x10235 -x10236 -x10237 -x10238 -x10239 -x10240 -x10241 -x10242 -x10243 -x10244 -x10245 -x10246 -x10247 -x10248 -x10249 -x10250 -x10251 -x10252 -x10253 -x10254 -x10255 -x10256 -x10257 -x10258 -x10259 -x10260 -x10261 -x10262 -x10263 -x10264 -x10265 -x10266 -x10267 -x10268 -x10269 -x10270 -x10271 -x10272 -x10273 -x10274 -x10275 -x10276 -x10277 -x10278 -x10279 -x10280 -x10281 -x10282 -x10283 -x10284 -x10285 -x10286 -x10287 -x10288 -x10289 -x10290 -x10291 -x10292 -x10293 -x10294 -x10295 -x10296 -x10297 -x10298 -x10299 -x10300 -x10301 -x10302 -x10303 -x10304 -x10305 -x10306 -x10307 -x10308 -x10309 -x10310 -x10311 -x10312 -x10313 -x10314 -x10315 -x10316 -x10317 -x10318 -x10319 -x10320 -x10321 -x10322 -x10323 -x10324 -x10325 -x10326 -x10327 -x10328 -x10329 -x10330 -x10331 -x10332 -x10333 -x10334 -x10335 -x10336 -x10337 -x10338 -x10339 -x10340 -x10341 -x10342 -x10343 -x10344 -x10345 -x10346 -x10347 -x10348 -x10349 -x10350 -x10351 -x10352 -x10353 -x10354 -x10355 -x10356 -x10357 -x10358 -x10359 -x10360 -x10361 -x10362 -x10363 -x10364 -x10365 -x10366 -x10367 -x10368 -x10369 -x10370 -x10371 -x10372 -x10373 -x10374 -x10375 -x10376 -x10377 -x10378 -x10379 -x10380 -x10381 -x10382 -x10383 -x10384 -x10385 -x10386 -x10387 -x10388 -x10389 -x10390 -x10391 -x10392 -x10393 -x10394 -x10395 -x10396 -x10397 -x10398 -x10399 -x10400 -x10401 -x10402 -x10403 -x10404 -x10405 -x10406 -x10407 -x10408 -x10409 -x10410 -x10411 -x10412 -x10413 -x10414 -x10415 -x10416 -x10417 -x10418 -x10419 -x10420 -x10421 -x10422 -x10423 -x10424 -x10425 -x10426 -x10427 -x10428 -x10429 -x10430 -x10431 -x10432 -x10433 -x10434 -x10435 -x10436 -x10437 -x10438 -x10439 -x10440 -x10441 -x10442 -x10443 -x10444 -x10445 -x10446 -x10447 -x10448 -x10449 -x10450 -x10451 -x10452 -x10453 -x10454 -x10455 -x10456 -x10457 -x10458 -x10459 -x10460 -x10461 -x10462 -x10463 -x10464 -x10465 -x10466 -x10467 -x10468 -x10469 -x10470 -x10471 -x10472 -x10473 -x10474 -x10475 -x10476 -x10477 -x10478 -x10479 -x10480 -x10481 -x10482 -x10483 -x10484 -x10485 -x10486 -x10487 -x10488 -x10489 -x10490 -x10491 -x10492 -x10493 -x10494 -x10495 -x10496 -x10497 -x10498 -x10499 -x10500 -x10501 -x10502 -x10503 -x10504 -x10505 -x10506 -x10507 -x10508 -x10509 -x10510 -x10511 -x10512 -x10513 -x10514 -x10515 -x10516 -x10517 -x10518 -x10519 -x10520 -x10521 -x10522 -x10523 -x10524 -x10525 -x10526 -x10527 -x10528 -x10529 -x10530 -x10531 -x10532 -x10533 -x10534 -x10535 -x10536 -x10537 -x10538 -x10539 -x10540 -x10541 -x10542 -x10543 -x10544 -x10545 -x10546 -x10547 -x10548 -x10549 -x10550 -x10551 -x10552 -x10553 -x10554 -x10555 -x10556 -x10557 -x10558 -x10559 -x10560 -x10561 -x10562 -x10563 -x10564 -x10565 -x10566 -x10567 -x10568 -x10569 -x10570 -x10571 -x10572 -x10573 -x10574 -x10575 -x10576 -x10577 -x10578 -x10579 -x10580 -x10581 -x10582 -x10583 -x10584 -x10585 -x10586 -x10587 -x10588 -x10589 -x10590 -x10591 -x10592 -x10593 -x10594 -x10595 -x10596 -x10597 -x10598 -x10599 -x10600 -x10601 -x10602 -x10603 -x10604 -x10605 -x10606 -x10607 -x10608 -x10609 -x10610 -x10611 -x10612 -x10613 -x10614 -x10615 -x10616 -x10617 -x10618 -x10619 -x10620 -x10621 -x10622 -x10623 -x10624 -x10625 -x10626 -x10627 -x10628 -x10629 -x10630 -x10631 -x10632 -x10633 -x10634 -x10635 -x10636 -x10637 -x10638 -x10639 -x10640 -x10641 -x10642 -x10643 -x10644 -x10645 -x10646 -x10647 -x10648 -x10649 -x10650 -x10651 -x10652 -x10653 -x10654 -x10655 -x10656 -x10657 -x10658 -x10659 -x10660 -x10661 -x10662 -x10663 -x10664 -x10665 -x10666 -x10667 -x10668 -x10669 -x10670 -x10671 -x10672 -x10673 -x10674 -x10675 -x10676 -x10677 -x10678 -x10679 -x10680 -x10681 -x10682 -x10683 -x10684 -x10685 -x10686 -x10687 -x10688 -x10689 -x10690 -x10691 -x10692 -x10693 -x10694 -x10695 -x10696 -x10697 -x10698 -x10699 -x10700 -x10701 -x10702 -x10703 -x10704 -x10705 -x10706 -x10707 -x10708 -x10709 -x10710 -x10711 -x10712 -x10713 -x10714 -x10715 -x10716 -x10717 -x10718 -x10719 -x10720 -x10721 -x10722 -x10723 -x10724 -x10725 -x10726 -x10727 -x10728 -x10729 -x10730 -x10731 -x10732 -x10733 -x10734 -x10735 -x10736 -x10737 -x10738 -x10739 -x10740 -x10741 -x10742 -x10743 -x10744 -x10745 -x10746 -x10747 -x10748 -x10749 -x10750 -x10751 -x10752 -x10753 -x10754 -x10755 -x10756 -x10757 -x10758 -x10759 -x10760 -x10761 -x10762 -x10763 -x10764 -x10765 -x10766 -x10767 -x10768 -x10769 -x10770 -x10771 -x10772 -x10773 -x10774 -x10775 -x10776 -x10777 -x10778 -x10779 -x10780 -x10781 -x10782 -x10783 -x10784 -x10785 -x10786 -x10787 -x10788 -x10789 -x10790 -x10791 -x10792 -x10793 -x10794 -x10795 -x10796 -x10797 -x10798 -x10799 -x10800 -x10801 -x10802 -x10803 -x10804 -x10805 -x10806 -x10807 -x10808 -x10809 -x10810 -x10811 -x10812 -x10813 -x10814 -x10815 -x10816 -x10817 -x10818 -x10819 -x10820 -x10821 -x10822 -x10823 -x10824 -x10825 -x10826 -x10827 -x10828 -x10829 -x10830 -x10831 -x10832 -x10833 -x10834 -x10835 -x10836 -x10837 -x10838 -x10839 -x10840 -x10841 -x10842 -x10843 -x10844 -x10845 -x10846 -x10847 -x10848 -x10849 -x10850 -x10851 -x10852 -x10853 -x10854 -x10855 -x10856 -x10857 -x10858 -x10859 -x10860 -x10861 -x10862 -x10863 -x10864 -x10865 -x10866 -x10867 -x10868 -x10869 -x10870 -x10871 -x10872 -x10873 -x10874 -x10875 -x10876 -x10877 -x10878 -x10879 -x10880 -x10881 -x10882 -x10883 -x10884 -x10885 -x10886 -x10887 -x10888 -x10889 -x10890 -x10891 -x10892 -x10893 -x10894 -x10895 -x10896 -x10897 -x10898 -x10899 -x10900 -x10901 -x10902 -x10903 -x10904 -x10905 -x10906 -x10907 -x10908 -x10909 -x10910 -x10911 -x10912 -x10913 -x10914 -x10915 -x10916 -x10917 -x10918 -x10919 -x10920 -x10921 -x10922 -x10923 -x10924 -x10925 -x10926 -x10927 -x10928 -x10929 -x10930 -x10931 -x10932 -x10933 -x10934 -x10935 -x10936 -x10937 -x10938 -x10939 -x10940 -x10941 -x10942 -x10943 -x10944 -x10945 -x10946 -x10947 -x10948 -x10949 -x10950 -x10951 -x10952 -x10953 -x10954 -x10955 -x10956 -x10957 -x10958 -x10959 -x10960 -x10961 -x10962 -x10963 -x10964 -x10965 -x10966 -x10967 -x10968 -x10969 -x10970 -x10971 -x10972 -x10973 -x10974 -x10975 -x10976 -x10977 -x10978 -x10979 -x10980 -x10981 -x10982 -x10983 -x10984 -x10985 -x10986 -x10987 -x10988 -x10989 -x10990 -x10991 -x10992 -x10993 -x10994 -x10995 -x10996 -x10997 -x10998 -x10999 -x11000 -x11001 -x11002 -x11003 -x11004 -x11005 -x11006 -x11007 -x11008 -x11009 -x11010 -x11011 -x11012 -x11013 -x11014 -x11015 -x11016 -x11017 -x11018 -x11019 -x11020 -x11021 -x11022 -x11023 -x11024 -x11025 -x11026 -x11027 -x11028 -x11029 -x11030 -x11031 -x11032 -x11033 -x11034 -x11035 -x11036 -x11037 -x11038 x11039 -x11040 -x11041 -x11042 -x11043 -x11044 -x11045 -x11046 -x11047 -x11048 -x11049 -x11050 -x11051 -x11052 -x11053 -x11054 -x11055 -x11056 -x11057 -x11058 -x11059 -x11060 -x11061 -x11062 -x11063 -x11064 -x11065 -x11066 -x11067 -x11068 -x11069 -x11070 -x11071 -x11072 -x11073 -x11074 -x11075 -x11076 -x11077 -x11078 -x11079 -x11080 x11081 -x11082 -x11083 -x11084 -x11085 -x11086 -x11087 -x11088 -x11089 -x11090 -x11091 -x11092 -x11093 -x11094 -x11095 x11096 -x11097 -x11098 -x11099 -x11100 -x11101 -x11102 -x11103 -x11104 -x11105 -x11106 -x11107 -x11108 -x11109 -x11110 -x11111 -x11112 x11113 -x11114 x11115 -x11116 -x11117 -x11118 -x11119 x11120 -x11121 -x11122 -x11123 -x11124 -x11125 -x11126 -x11127 x11128 -x11129 -x11130 -x11131 -x11132 -x11133 -x11134 -x11135 -x11136 -x11137 -x11138 -x11139 -x11140 -x11141 -x11142 -x11143 -x11144 -x11145 -x11146 -x11147 -x11148 -x11149 -x11150 -x11151 -x11152 x11153 -x11154 -x11155 x11156 -x11157 -x11158 -x11159 -x11160 -x11161 -x11162 x11163 x11164 x11165 -x11166 -x11167 -x11168 -x11169 -x11170 -x11171 -x11172 -x11173 -x11174 -x11175 -x11176 -x11177 -x11178 -x11179 -x11180 -x11181 -x11182 -x11183 -x11184 -x11185 -x11186 -x11187 -x11188 -x11189 -x11190 -x11191 -x11192 -x11193 -x11194 -x11195 -x11196 -x11197 -x11198 -x11199 -x11200 3600.62/3586.75 c objective function=16 3600.62/3586.75 c Total wall clock time (in seconds): 3586.42
OK 16
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: 64059 MiB (63046 MiB free)
memory of node 1: 64510 MiB (63441 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432536-1721174703/watcher-4432536-1721174703 -o /tmp/evaluation-result-4432536-1721174703/solver-4432536-1721174703 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721174715-871060 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4432536-1721174703.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=871090, runsolver pid=871087
[startup+0.108697 s]*
/proc/loadavg: 1.10 1.59 2.78 6/278 871153
/proc/meminfo: memFree=129426028/131655788 swapFree=131071996/131071996
[pid=871090] ppid=871087 vsize=18975048 memory=55800 CPUtime=0.13 cores=0,2
/proc/871090/stat : 871090 (java) S 871087 871090 868150 0 -1 1077936128 6452 0 0 0 10 3 0 0 20 0 18 0 169626751 19430449152 13950 134679101440 94049461784576 94049461788272 140729812435264 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94049461796088 94049461796880 94049477324800 140729812444167 140729812444257 140729812444257 140729812451272 0
/proc/871090/statm: 4743762 13950 5672 1 0 550799 0
[pid=871090/tid=871092] ppid=871087 vsize=18975048 memory=4026531959 CPUtime=0.08 cores=0,2
/proc/871090/task/871092/stat : 871092 (java) R 871087 871090 868150 0 -1 4194368 5393 0 0 0 6 2 0 0 20 0 18 0 169626752 19430449152 13950 134679101440 94049461784576 94049461788272 140729812435264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94049461796088 94049461796880 94049477324800 140729812444167 140729812444257 140729812444257 140729812451272 0
[pid=871090/tid=871118] ppid=871087 vsize=18975048 memory=5681 CPUtime=0 cores=0,2
/proc/871090/task/871118/stat : 871118 (Finalizer) S 871087 871090 868150 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 169626758 19430449152 13950 134679101440 94049461784576 94049461788272 140729812435264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94049461796088 94049461796880 94049477324800 140729812444167 140729812444257 140729812444257 140729812451272 0
[pid=871090/tid=871131] ppid=871087 vsize=18975048 memory=15534137339546546 CPUtime=0 cores=0,2
/proc/871090/task/871131/stat : 871131 (Common-Cleaner) S 871087 871090 868150 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 169626759 19430449152 13950 134679101440 94049461784576 94049461788272 140729812435264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94049461796088 94049461796880 94049477324800 140729812444167 140729812444257 140729812444257 140729812451272 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 55800 KiB
[startup+0.223714 s]*
/proc/loadavg: 1.10 1.59 2.78 13/298 871178
/proc/meminfo: memFree=129390532/131655788 swapFree=131071996/131071996
[pid=871090] ppid=871087 vsize=18975048 memory=60776 CPUtime=0.31 cores=0,2
/proc/871090/stat : 871090 (java) S 871087 871090 868150 0 -1 1077936128 7145 0 0 0 27 4 0 0 20 0 18 0 169626751 19430449152 15194 134679101440 94049461784576 94049461788272 140729812435264 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94049461796088 94049461796880 94049477324800 140729812444167 140729812444257 140729812444257 140729812451272 0
/proc/871090/statm: 4743762 15194 5680 1 0 551362 0
[pid=871090/tid=871092] ppid=871087 vsize=18975048 memory=4782652875487838339 CPUtime=0.19 cores=0,2
/proc/871090/task/871092/stat : 871092 (java) R 871087 871090 868150 0 -1 4194368 5697 0 0 0 16 3 0 0 20 0 18 0 169626752 19430449152 15194 134679101440 94049461784576 94049461788272 140729812435264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94049461796088 94049461796880 94049477324800 140729812444167 140729812444257 140729812444257 140729812451272 0
[pid=871090/tid=871118] ppid=871087 vsize=18975048 memory=5697 CPUtime=0 cores=0,2
/proc/871090/task/871118/stat : 871118 (Finalizer) S 871087 871090 868150 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 169626758 19430449152 15194 134679101440 94049461784576 94049461788272 140729812435264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94049461796088 94049461796880 94049477324800 140729812444167 140729812444257 140729812444257 140729812451272 0
[pid=871090/tid=871131] ppid=871087 vsize=18975048 memory=14699599474464555 CPUtime=0 cores=0,2
/proc/871090/task/871131/stat : 871131 (Common-Cleaner) S 871087 871090 868150 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 169626759 19430449152 15194 134679101440 94049461784576 94049461788272 140729812435264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94049461796088 94049461796880 94049477324800 140729812444167 140729812444257 140729812444257 140729812451272 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 60776 KiB
[startup+0.315722 s]*
/proc/loadavg: 1.10 1.59 2.78 12/311 871191
/proc/meminfo: memFree=129355404/131655788 swapFree=131071996/131071996
[pid=871090] ppid=871087 vsize=18975048 memory=64144 CPUtime=0.46 cores=0,2
/proc/871090/stat : 871090 (java) S 871087 871090 868150 0 -1 1077936128 7395 0 0 0 41 5 0 0 20 0 18 0 169626751 19430449152 16036 134679101440 94049461784576 94049461788272 140729812435264 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94049461796088 94049461796880 94049477324800 140729812444167 140729812444257 140729812444257 140729812451272 0
/proc/871090/statm: 4743762 16036 5774 1 0 551540 0
[pid=871090/tid=871092] ppid=871087 vsize=18975048 memory=-9175637200830046908 CPUtime=0.27 cores=0,2
/proc/871090/task/871092/stat : 871092 (java) R 871087 871090 868150 0 -1 4194368 5853 0 0 0 24 3 0 0 20 0 18 0 169626752 19430449152 16036 134679101440 94049461784576 94049461788272 140729812435264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94049461796088 94049461796880 94049477324800 140729812444167 140729812444257 140729812444257 140729812451272 0
[pid=871090/tid=871118] ppid=871087 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/871090/task/871118/stat : 871118 (Finalizer) S 871087 871090 868150 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 169626758 19430449152 16036 134679101440 94049461784576 94049461788272 140729812435264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94049461796088 94049461796880 94049477324800 140729812444167 140729812444257 140729812444257 140729812451272 0
[pid=871090/tid=871131] ppid=871087 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/871090/task/871131/stat : 871131 (Common-Cleaner) S 871087 871090 868150 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 169626759 19430449152 16036 134679101440 94049461784576 94049461788272 140729812435264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94049461796088 94049461796880 94049477324800 140729812444167 140729812444257 140729812444257 140729812451272 0
Current children cumulated CPU time: 0.46 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 64144 KiB
[startup+0.700699 s]
/proc/loadavg: 1.10 1.59 2.78 12/311 871191
/proc/meminfo: memFree=129297052/131655788 swapFree=131071996/131071996
[pid=871090] ppid=871087 vsize=18975048 memory=114876 CPUtime=1.16 cores=0,2
/proc/871090/stat : 871090 (java) S 871087 871090 868150 0 -1 1077936128 9212 0 0 0 109 7 0 0 20 0 18 0 169626751 19430449152 28719 134679101440 94049461784576 94049461788272 140729812435264 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94049461796088 94049461796880 94049477324800 140729812444167 140729812444257 140729812444257 140729812451272 0
/proc/871090/statm: 4743762 28719 5843 1 0 552753 0
[pid=871090/tid=871092] ppid=871087 vsize=18975048 memory=42012 CPUtime=0.6 cores=0,2
/proc/871090/task/871092/stat : 871092 (java) R 871087 871090 868150 0 -1 4194368 5941 0 0 0 56 4 0 0 20 0 18 0 169626752 19430449152 28719 134679101440 94049461784576 94049461788272 140729812435264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94049461796088 94049461796880 94049477324800 140729812444167 140729812444257 140729812444257 140729812451272 0
[pid=871090/tid=871118] ppid=871087 vsize=18975048 memory=11992 CPUtime=0 cores=0,2
/proc/871090/task/871118/stat : 871118 (Finalizer) S 871087 871090 868150 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 169626758 19430449152 28719 134679101440 94049461784576 94049461788272 140729812435264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94049461796088 94049461796880 94049477324800 140729812444167 140729812444257 140729812444257 140729812451272 0
[pid=871090/tid=871131] ppid=871087 vsize=18975048 memory=5512 CPUtime=0 cores=0,2
/proc/871090/task/871131/stat : 871131 (Common-Cleaner) S 871087 871090 868150 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 169626759 19430449152 28719 134679101440 94049461784576 94049461788272 140729812435264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94049461796088 94049461796880 94049477324800 140729812444167 140729812444257 140729812444257 140729812451272 0
Current children cumulated CPU time: 1.16 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 114876 KiB
[startup+1.50269 s]
/proc/loadavg: 1.10 1.59 2.78 12/314 871194
/proc/meminfo: memFree=128951876/131655788 swapFree=131071996/131071996
[pid=871090] ppid=871087 vsize=19041612 memory=147788 CPUtime=2.74 cores=0,2
/proc/871090/stat : 871090 (java) S 871087 871090 868150 0 -1 1077936128 21189 0 0 0 264 10 0 0 20 0 19 0 169626751 19498610688 36947 134679101440 94049461784576 94049461788272 140729812435264 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94049461796088 94049461796880 94049477324800 140729812444167 140729812444257 140729812444257 140729812451272 0
/proc/871090/statm: 4760403 36947 5897 1 0 557415 0
[pid=871090/tid=871092] ppid=871087 vsize=19041612 memory=11992 CPUtime=1.39 cores=0,2
/proc/871090/task/871092/stat : 871092 (java) R 871087 871090 868150 0 -1 4194368 6447 0 0 0 134 5 0 0 20 0 19 0 169626752 19498610688 36947 134679101440 94049461784576 94049461788272 140729812435264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94049461796088 94049461796880 94049477324800 140729812444167 140729812444257 140729812444257 140729812451272 0
[pid=871090/tid=871118] ppid=871087 vsize=19041612 memory=5512 CPUtime=0 cores=0,2
/proc/871090/task/871118/stat : 871118 (Finalizer) S 871087 871090 868150 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 169626758 19498610688 36947 134679101440 94049461784576 94049461788272 140729812435264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94049461796088 94049461796880 94049477324800 140729812444167 140729812444257 140729812444257 140729812451272 0
[pid=871090/tid=871131] ppid=871087 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/871090/task/871131/stat : 871131 (Common-Cleaner) S 871087 871090 868150 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 169626759 19498610688 36947 134679101440 94049461784576 94049461788272 140729812435264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94049461796088 94049461796880 94049477324800 140729812444167 140729812444257 140729812444257 140729812451272 0
[pid=871090/tid=871192] ppid=871087 vsize=19041612 memory=11600 CPUtime=0 cores=0,2
/proc/871090/task/871192/stat : 871192 (Timer-0) S 871087 871090 868150 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 169626826 19498610688 36947 134679101440 94049461784576 94049461788272 140729812435264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94049461796088 94049461796880 94049477324800 140729812444167 140729812444257 140729812444257 140729812451272 0
Current children cumulated CPU time: 2.74 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 147788 KiB
[startup+3.10569 s]
/proc/loadavg: 1.97 1.76 2.83 11/319 871199
/proc/meminfo: memFree=125667092/131655788 swapFree=131071996/131071996
[pid=871090] ppid=871087 vsize=19108176 memory=294468 CPUtime=5.3 cores=0,2
/proc/871090/stat : 871090 (java) S 871087 871090 868150 0 -1 1077936128 24350 0 0 0 515 15 0 0 20 0 20 0 169626751 19566772224 73617 134679101440 94049461784576 94049461788272 140729812435264 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94049461796088 94049461796880 94049477324800 140729812444167 140729812444257 140729812444257 140729812451272 0
/proc/871090/statm: 4777044 73617 5897 1 0 557774 0
[pid=871090/tid=871092] ppid=871087 vsize=19108176 memory=11600 CPUtime=2.83 cores=0,2
/proc/871090/task/871092/stat : 871092 (java) R 871087 871090 868150 0 -1 4194368 7723 0 0 0 277 6 0 0 20 0 20 0 169626752 19566772224 73617 134679101440 94049461784576 94049461788272 140729812435264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94049461796088 94049461796880 94049477324800 140729812444167 140729812444257 140729812444257 140729812451272 0
[pid=871090/tid=871118] ppid=871087 vsize=19108176 memory=11992 CPUtime=0 cores=0,2
/proc/871090/task/871118/stat : 871118 (Finalizer) S 871087 871090 868150 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 169626758 19566772224 73617 134679101440 94049461784576 94049461788272 140729812435264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94049461796088 94049461796880 94049477324800 140729812444167 140729812444257 140729812444257 140729812451272 0
[pid=871090/tid=871131] ppid=871087 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/871090/task/871131/stat : 871131 (Common-Cleaner) S 871087 871090 868150 0 -1 1077936192 34 0 0 0 0 0 0 0 20 0 20 0 169626759 19566772224 73617 134679101440 94049461784576 94049461788272 140729812435264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94049461796088 94049461796880 94049477324800 140729812444167 140729812444257 140729812444257 140729812451272 0
[pid=871090/tid=871192] ppid=871087 vsize=19108176 memory=-8670953667099468476 CPUtime=0 cores=0,2
/proc/871090/task/871192/stat : 871192 (Timer-0) S 871087 871090 868150 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 169626826 19566772224 73617 134679101440 94049461784576 94049461788272 140729812435264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94049461796088 94049461796880 94049477324800 140729812444167 140729812444257 140729812444257 140729812451272 0
Current children cumulated CPU time: 5.3 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 294468 KiB
[startup+6.30027 s]
/proc/loadavg: 1.97 1.76 2.83 5/319 871199
/proc/meminfo: memFree=124658520/131655788 swapFree=131071996/131071996
[pid=871090] ppid=871087 vsize=19108176 memory=569576 CPUtime=8.94 cores=0,2
/proc/871090/stat : 871090 (java) S 871087 871090 868150 0 -1 1077936128 25369 0 0 0 873 21 0 0 20 0 20 0 169626751 19566772224 142394 134679101440 94049461784576 94049461788272 140729812435264 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94049461796088 94049461796880 94049477324800 140729812444167 140729812444257 140729812444257 140729812451272 0
/proc/871090/statm: 4777044 142394 5897 1 0 1079975 0
[pid=871090/tid=871092] ppid=871087 vsize=19108176 memory=11992 CPUtime=5.63 cores=0,2
/proc/871090/task/871092/stat : 871092 (java) R 871087 871090 868150 0 -1 4194368 7852 0 0 0 556 7 0 0 20 0 20 0 169626752 19566772224 142394 134679101440 94049461784576 94049461788272 140729812435264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94049461796088 94049461796880 94049477324800 140729812444167 140729812444257 140729812444257 140729812451272 0
[pid=871090/tid=871118] ppid=871087 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/871090/task/871118/stat : 871118 (Finalizer) S 871087 871090 868150 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 169626758 19566772224 142394 134679101440 94049461784576 94049461788272 140729812435264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94049461796088 94049461796880 94049477324800 140729812444167 140729812444257 140729812444257 140729812451272 0
[pid=871090/tid=871131] ppid=871087 vsize=19108176 memory=-8670953667099468476 CPUtime=0 cores=0,2
/proc/871090/task/871131/stat : 871131 (Common-Cleaner) S 871087 871090 868150 0 -1 1077936192 34 0 0 0 0 0 0 0 20 0 20 0 169626759 19566772224 142394 134679101440 94049461784576 94049461788272 140729812435264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94049461796088 94049461796880 94049477324800 140729812444167 140729812444257 140729812444257 140729812451272 0
[pid=871090/tid=871192] ppid=871087 vsize=19108176 memory=151900 CPUtime=0 cores=0,2
/proc/871090/task/871192/stat : 871192 (Timer-0) S 871087 871090 868150 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 169626826 19566772224 142394 134679101440 94049461784576 94049461788272 140729812435264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94049461796088 94049461796880 94049477324800 140729812444167 140729812444257 140729812444257 140729812451272 0
Current children cumulated CPU time: 8.94 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 569576 KiB
[startup+12.7007 s]
/proc/loadavg: 2.50 1.88 2.86 5/319 871201
/proc/meminfo: memFree=122725180/131655788 swapFree=131071996/131071996
[pid=871090] ppid=871087 vsize=19108176 memory=1034856 CPUtime=15.72 cores=0,2
/proc/871090/stat : 871090 (java) S 871087 871090 868150 0 -1 1077936128 27734 0 0 0 1542 30 0 0 20 0 20 0 169626751 19566772224 258714 134679101440 94049461784576 94049461788272 140729812435264 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94049461796088 94049461796880 94049477324800 140729812444167 140729812444257 140729812444257 140729812451272 0
/proc/871090/statm: 4777044 258714 5906 1 0 1079986 0
[pid=871090/tid=871092] ppid=871087 vsize=19108176 memory=42012 CPUtime=11.49 cores=0,2
/proc/871090/task/871092/stat : 871092 (java) S 871087 871090 868150 0 -1 1077936192 8568 0 0 0 1140 9 0 0 20 0 20 0 169626752 19566772224 258714 134679101440 94049461784576 94049461788272 140729812435264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94049461796088 94049461796880 94049477324800 140729812444167 140729812444257 140729812444257 140729812451272 0
[pid=871090/tid=871118] ppid=871087 vsize=19108176 memory=11992 CPUtime=0 cores=0,2
/proc/871090/task/871118/stat : 871118 (Finalizer) S 871087 871090 868150 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 169626758 19566772224 258714 134679101440 94049461784576 94049461788272 140729812435264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94049461796088 94049461796880 94049477324800 140729812444167 140729812444257 140729812444257 140729812451272 0
[pid=871090/tid=871131] ppid=871087 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/871090/task/871131/stat : 871131 (Common-Cleaner) S 871087 871090 868150 0 -1 1077936192 34 0 0 0 0 0 0 0 20 0 20 0 169626759 19566772224 258714 134679101440 94049461784576 94049461788272 140729812435264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94049461796088 94049461796880 94049477324800 140729812444167 140729812444257 140729812444257 140729812451272 0
[pid=871090/tid=871192] ppid=871087 vsize=19108176 memory=11992 CPUtime=0 cores=0,2
/proc/871090/task/871192/stat : 871192 (Timer-0) S 871087 871090 868150 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 169626826 19566772224 258714 134679101440 94049461784576 94049461788272 140729812435264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94049461796088 94049461796880 94049477324800 140729812444167 140729812444257 140729812444257 140729812451272 0
Current children cumulated CPU time: 15.72 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1034856 KiB
[startup+25.5005 s]
/proc/loadavg: 2.81 1.97 2.88 5/319 871203
/proc/meminfo: memFree=119100944/131655788 swapFree=131071996/131071996
[pid=871090] ppid=871087 vsize=19108176 memory=1868712 CPUtime=29.27 cores=0,2
/proc/871090/stat : 871090 (java) S 871087 871090 868150 0 -1 1077936128 30741 0 0 0 2878 49 0 0 20 0 20 0 169626751 19566772224 467178 134679101440 94049461784576 94049461788272 140729812435264 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94049461796088 94049461796880 94049477324800 140729812444167 140729812444257 140729812444257 140729812451272 0
/proc/871090/statm: 4777044 467178 5922 1 0 1524921 0
[pid=871090/tid=871092] ppid=871087 vsize=19108176 memory=11992 CPUtime=23.54 cores=0,2
/proc/871090/task/871092/stat : 871092 (java) R 871087 871090 868150 0 -1 4194368 9011 0 0 0 2340 14 0 0 20 0 20 0 169626752 19566772224 467178 134679101440 94049461784576 94049461788272 140729812435264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94049461796088 94049461796880 94049477324800 140729812444167 140729812444257 140729812444257 140729812451272 0
[pid=871090/tid=871118] ppid=871087 vsize=19108176 memory=1868712 CPUtime=0 cores=0,2
/proc/871090/task/871118/stat : 871118 (Finalizer) S 871087 871090 868150 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 169626758 19566772224 467178 134679101440 94049461784576 94049461788272 140729812435264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94049461796088 94049461796880 94049477324800 140729812444167 140729812444257 140729812444257 140729812451272 0
[pid=871090/tid=871131] ppid=871087 vsize=19108176 memory=-8670953667099468476 CPUtime=0 cores=0,2
/proc/871090/task/871131/stat : 871131 (Common-Cleaner) S 871087 871090 868150 0 -1 1077936192 34 0 0 0 0 0 0 0 20 0 20 0 169626759 19566772224 467178 134679101440 94049461784576 94049461788272 140729812435264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94049461796088 94049461796880 94049477324800 140729812444167 140729812444257 140729812444257 140729812451272 0
[pid=871090/tid=871192] ppid=871087 vsize=19108176 memory=1268176 CPUtime=0 cores=0,2
/proc/871090/task/871192/stat : 871192 (Timer-0) S 871087 871090 868150 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 169626826 19566772224 467178 134679101440 94049461784576 94049461788272 140729812435264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94049461796088 94049461796880 94049477324800 140729812444167 140729812444257 140729812444257 140729812451272 0
Current children cumulated CPU time: 29.27 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1868712 KiB
[startup+51.113 s]
/proc/loadavg: 3.49 2.20 2.93 7/317 871208
/proc/meminfo: memFree=113979836/131655788 swapFree=131071996/131071996
[pid=871090] ppid=871087 vsize=19108176 memory=3227456 CPUtime=56.28 cores=0,2
/proc/871090/stat : 871090 (java) S 871087 871090 868150 0 -1 1077936128 34670 0 0 0 5553 75 0 0 20 0 20 0 169626751 19566772224 806864 134679101440 94049461784576 94049461788272 140729812435264 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94049461796088 94049461796880 94049477324800 140729812444167 140729812444257 140729812444257 140729812451272 0
/proc/871090/statm: 4777044 806864 5922 1 0 1627279 0
[pid=871090/tid=871092] ppid=871087 vsize=19108176 memory=1268176 CPUtime=47.54 cores=0,2
/proc/871090/task/871092/stat : 871092 (java) R 871087 871090 868150 0 -1 4194368 10446 0 0 0 4736 18 0 0 20 0 20 0 169626752 19566772224 806864 134679101440 94049461784576 94049461788272 140729812435264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94049461796088 94049461796880 94049477324800 140729812444167 140729812444257 140729812444257 140729812451272 0
[pid=871090/tid=871118] ppid=871087 vsize=19108176 memory=3227456 CPUtime=0 cores=0,2
/proc/871090/task/871118/stat : 871118 (Finalizer) S 871087 871090 868150 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 169626758 19566772224 806864 134679101440 94049461784576 94049461788272 140729812435264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94049461796088 94049461796880 94049477324800 140729812444167 140729812444257 140729812444257 140729812451272 0
[pid=871090/tid=871131] ppid=871087 vsize=19108176 memory=11992 CPUtime=0 cores=0,2
/proc/871090/task/871131/stat : 871131 (Common-Cleaner) S 871087 871090 868150 0 -1 1077936192 34 0 0 0 0 0 0 0 20 0 20 0 169626759 19566772224 806864 134679101440 94049461784576 94049461788272 140729812435264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94049461796088 94049461796880 94049477324800 140729812444167 140729812444257 140729812444257 140729812451272 0
################
# More data... #
################
Current children cumulated memory: 6345588 KiB
[startup+3342.3 s]
/proc/loadavg: 4.30 4.26 4.27 5/321 872975
/proc/meminfo: memFree=82310568/131655788 swapFree=131071996/131071996
[pid=871090] ppid=871087 vsize=19108176 memory=6345612 CPUtime=3356.2 cores=0,2
/proc/871090/stat : 871090 (java) S 871087 871090 868150 0 -1 1077936128 255613 0 0 0 335312 308 0 0 20 0 20 0 169626751 19566772224 1586403 134679101440 94049461784576 94049461788272 140729812435264 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94049461796088 94049461796880 94049477324800 140729812444167 140729812444257 140729812444257 140729812451272 0
/proc/871090/statm: 4777044 1586403 5922 1 0 1633288 0
[pid=871090/tid=871092] ppid=871087 vsize=19108176 memory=6345612 CPUtime=3311.12 cores=0,2
/proc/871090/task/871092/stat : 871092 (java) R 871087 871090 868150 0 -1 4194368 93675 0 0 0 331084 28 0 0 20 0 20 0 169626752 19566772224 1586403 134679101440 94049461784576 94049461788272 140729812435264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94049461796088 94049461796880 94049477324800 140729812444167 140729812444257 140729812444257 140729812451272 0
[pid=871090/tid=871118] ppid=871087 vsize=19108176 memory=11600 CPUtime=0 cores=0,2
/proc/871090/task/871118/stat : 871118 (Finalizer) S 871087 871090 868150 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 169626758 19566772224 1586403 134679101440 94049461784576 94049461788272 140729812435264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94049461796088 94049461796880 94049477324800 140729812444167 140729812444257 140729812444257 140729812451272 0
[pid=871090/tid=871131] ppid=871087 vsize=19108176 memory=2312 CPUtime=0 cores=0,2
/proc/871090/task/871131/stat : 871131 (Common-Cleaner) S 871087 871090 868150 0 -1 1077936192 3067 0 0 0 0 0 0 0 20 0 20 0 169626759 19566772224 1586403 134679101440 94049461784576 94049461788272 140729812435264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94049461796088 94049461796880 94049477324800 140729812444167 140729812444257 140729812444257 140729812451272 0
[pid=871090/tid=871192] ppid=871087 vsize=19108176 memory=6345612 CPUtime=0 cores=0,2
/proc/871090/task/871192/stat : 871192 (Timer-0) S 871087 871090 868150 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 169626826 19566772224 1586403 134679101440 94049461784576 94049461788272 140729812435264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94049461796088 94049461796880 94049477324800 140729812444167 140729812444257 140729812444257 140729812451272 0
Current children cumulated CPU time: 3356.2 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 6345612 KiB
[startup+3402.3 s]
/proc/loadavg: 4.25 4.24 4.26 5/322 872999
/proc/meminfo: memFree=82309772/131655788 swapFree=131071996/131071996
[pid=871090] ppid=871087 vsize=19108176 memory=6345612 CPUtime=3416.04 cores=0,2
/proc/871090/stat : 871090 (java) S 871087 871090 868150 0 -1 1077936128 256338 0 0 0 341294 310 0 0 20 0 20 0 169626751 19566772224 1586403 134679101440 94049461784576 94049461788272 140729812435264 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94049461796088 94049461796880 94049477324800 140729812444167 140729812444257 140729812444257 140729812451272 0
/proc/871090/statm: 4777044 1586403 5922 1 0 1633288 0
[pid=871090/tid=871092] ppid=871087 vsize=19108176 memory=11600 CPUtime=3370.91 cores=0,2
/proc/871090/task/871092/stat : 871092 (java) R 871087 871090 868150 0 -1 4194368 94272 0 0 0 337063 28 0 0 20 0 20 0 169626752 19566772224 1586403 134679101440 94049461784576 94049461788272 140729812435264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94049461796088 94049461796880 94049477324800 140729812444167 140729812444257 140729812444257 140729812451272 0
[pid=871090/tid=871118] ppid=871087 vsize=19108176 memory=6345612 CPUtime=0 cores=0,2
/proc/871090/task/871118/stat : 871118 (Finalizer) S 871087 871090 868150 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 169626758 19566772224 1586403 134679101440 94049461784576 94049461788272 140729812435264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94049461796088 94049461796880 94049477324800 140729812444167 140729812444257 140729812444257 140729812451272 0
[pid=871090/tid=871131] ppid=871087 vsize=19108176 memory=11600 CPUtime=0 cores=0,2
/proc/871090/task/871131/stat : 871131 (Common-Cleaner) S 871087 871090 868150 0 -1 1077936192 3068 0 0 0 0 0 0 0 20 0 20 0 169626759 19566772224 1586403 134679101440 94049461784576 94049461788272 140729812435264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94049461796088 94049461796880 94049477324800 140729812444167 140729812444257 140729812444257 140729812451272 0
[pid=871090/tid=871192] ppid=871087 vsize=19108176 memory=6345612 CPUtime=0 cores=0,2
/proc/871090/task/871192/stat : 871192 (Timer-0) S 871087 871090 868150 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 169626826 19566772224 1586403 134679101440 94049461784576 94049461788272 140729812435264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94049461796088 94049461796880 94049477324800 140729812444167 140729812444257 140729812444257 140729812451272 0
Current children cumulated CPU time: 3416.04 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 6345612 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.21 4.25 5/322 873010
/proc/meminfo: memFree=82309372/131655788 swapFree=131071996/131071996
[pid=871090] ppid=871087 vsize=19108176 memory=6345612 CPUtime=3476.06 cores=0,2
/proc/871090/stat : 871090 (java) S 871087 871090 868150 0 -1 1077936128 258849 0 0 0 347293 313 0 0 20 0 20 0 169626751 19566772224 1586403 134679101440 94049461784576 94049461788272 140729812435264 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94049461796088 94049461796880 94049477324800 140729812444167 140729812444257 140729812444257 140729812451272 0
/proc/871090/statm: 4777044 1586403 5922 1 0 1633288 0
[pid=871090/tid=871092] ppid=871087 vsize=19108176 memory=11600 CPUtime=3430.56 cores=0,2
/proc/871090/task/871092/stat : 871092 (java) R 871087 871090 868150 0 -1 4194368 94890 0 0 0 343028 28 0 0 20 0 20 0 169626752 19566772224 1586403 134679101440 94049461784576 94049461788272 140729812435264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94049461796088 94049461796880 94049477324800 140729812444167 140729812444257 140729812444257 140729812451272 0
[pid=871090/tid=871118] ppid=871087 vsize=19108176 memory=6345612 CPUtime=0 cores=0,2
/proc/871090/task/871118/stat : 871118 (Finalizer) S 871087 871090 868150 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 169626758 19566772224 1586403 134679101440 94049461784576 94049461788272 140729812435264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94049461796088 94049461796880 94049477324800 140729812444167 140729812444257 140729812444257 140729812451272 0
[pid=871090/tid=871131] ppid=871087 vsize=19108176 memory=11600 CPUtime=0 cores=0,2
/proc/871090/task/871131/stat : 871131 (Common-Cleaner) S 871087 871090 868150 0 -1 1077936192 3123 0 0 0 0 0 0 0 20 0 20 0 169626759 19566772224 1586403 134679101440 94049461784576 94049461788272 140729812435264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94049461796088 94049461796880 94049477324800 140729812444167 140729812444257 140729812444257 140729812451272 0
[pid=871090/tid=871192] ppid=871087 vsize=19108176 memory=42012 CPUtime=0 cores=0,2
/proc/871090/task/871192/stat : 871192 (Timer-0) S 871087 871090 868150 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 169626826 19566772224 1586403 134679101440 94049461784576 94049461788272 140729812435264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94049461796088 94049461796880 94049477324800 140729812444167 140729812444257 140729812444257 140729812451272 0
Current children cumulated CPU time: 3476.06 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 6345612 KiB
[startup+3522.3 s]
/proc/loadavg: 4.33 4.25 4.26 4/294 873054
/proc/meminfo: memFree=96303336/131655788 swapFree=131071996/131071996
[pid=871090] ppid=871087 vsize=19108176 memory=6347660 CPUtime=3536.04 cores=0,2
/proc/871090/stat : 871090 (java) S 871087 871090 868150 0 -1 1077936128 259054 0 0 0 353288 316 0 0 20 0 20 0 169626751 19566772224 1586915 134679101440 94049461784576 94049461788272 140729812435264 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94049461796088 94049461796880 94049477324800 140729812444167 140729812444257 140729812444257 140729812451272 0
/proc/871090/statm: 4777044 1586915 5922 1 0 1633288 0
[pid=871090/tid=871092] ppid=871087 vsize=19108176 memory=11600 CPUtime=3490.27 cores=0,2
/proc/871090/task/871092/stat : 871092 (java) R 871087 871090 868150 0 -1 4194368 95038 0 0 0 348999 28 0 0 20 0 20 0 169626752 19566772224 1586915 134679101440 94049461784576 94049461788272 140729812435264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94049461796088 94049461796880 94049477324800 140729812444167 140729812444257 140729812444257 140729812451272 0
[pid=871090/tid=871118] ppid=871087 vsize=19108176 memory=6347660 CPUtime=0 cores=0,2
/proc/871090/task/871118/stat : 871118 (Finalizer) S 871087 871090 868150 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 169626758 19566772224 1586915 134679101440 94049461784576 94049461788272 140729812435264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94049461796088 94049461796880 94049477324800 140729812444167 140729812444257 140729812444257 140729812451272 0
[pid=871090/tid=871131] ppid=871087 vsize=19108176 memory=11992 CPUtime=0 cores=0,2
/proc/871090/task/871131/stat : 871131 (Common-Cleaner) S 871087 871090 868150 0 -1 1077936192 3123 0 0 0 0 0 0 0 20 0 20 0 169626759 19566772224 1586915 134679101440 94049461784576 94049461788272 140729812435264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94049461796088 94049461796880 94049477324800 140729812444167 140729812444257 140729812444257 140729812451272 0
[pid=871090/tid=871192] ppid=871087 vsize=19108176 memory=6347660 CPUtime=0 cores=0,2
/proc/871090/task/871192/stat : 871192 (Timer-0) S 871087 871090 868150 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 169626826 19566772224 1586915 134679101440 94049461784576 94049461788272 140729812435264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94049461796088 94049461796880 94049477324800 140729812444167 140729812444257 140729812444257 140729812451272 0
Current children cumulated CPU time: 3536.04 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 6347660 KiB
[startup+3582.3 s]
/proc/loadavg: 2.58 3.78 4.10 2/243 873133
/proc/meminfo: memFree=123182888/131655788 swapFree=131071996/131071996
[pid=871090] ppid=871087 vsize=19108176 memory=6347660 CPUtime=3595.93 cores=0,2
/proc/871090/stat : 871090 (java) S 871087 871090 868150 0 -1 1077936128 260530 0 0 0 359275 318 0 0 20 0 20 0 169626751 19566772224 1586915 134679101440 94049461784576 94049461788272 140729812435264 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94049461796088 94049461796880 94049477324800 140729812444167 140729812444257 140729812444257 140729812451272 0
/proc/871090/statm: 4777044 1586915 5922 1 0 1633288 0
[pid=871090/tid=871092] ppid=871087 vsize=19108176 memory=6347660 CPUtime=3550.14 cores=0,2
/proc/871090/task/871092/stat : 871092 (java) R 871087 871090 868150 0 -1 4194368 96295 0 0 0 354985 29 0 0 20 0 20 0 169626752 19566772224 1586915 134679101440 94049461784576 94049461788272 140729812435264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94049461796088 94049461796880 94049477324800 140729812444167 140729812444257 140729812444257 140729812451272 0
[pid=871090/tid=871118] ppid=871087 vsize=19108176 memory=6347660 CPUtime=0 cores=0,2
/proc/871090/task/871118/stat : 871118 (Finalizer) S 871087 871090 868150 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 169626758 19566772224 1586915 134679101440 94049461784576 94049461788272 140729812435264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94049461796088 94049461796880 94049477324800 140729812444167 140729812444257 140729812444257 140729812451272 0
[pid=871090/tid=871131] ppid=871087 vsize=19108176 memory=19104 CPUtime=0 cores=0,2
/proc/871090/task/871131/stat : 871131 (Common-Cleaner) S 871087 871090 868150 0 -1 1077936192 3223 0 0 0 0 0 0 0 20 0 20 0 169626759 19566772224 1586915 134679101440 94049461784576 94049461788272 140729812435264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94049461796088 94049461796880 94049477324800 140729812444167 140729812444257 140729812444257 140729812451272 0
[pid=871090/tid=871192] ppid=871087 vsize=19108176 memory=6347660 CPUtime=0 cores=0,2
/proc/871090/task/871192/stat : 871192 (Timer-0) S 871087 871090 868150 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 169626826 19566772224 1586915 134679101440 94049461784576 94049461788272 140729812435264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94049461796088 94049461796880 94049477324800 140729812444167 140729812444257 140729812444257 140729812451272 0
Current children cumulated CPU time: 3595.93 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 6347660 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3586.4 s]
/proc/loadavg: 2.45 3.74 4.08 2/243 873133
/proc/meminfo: memFree=123182872/131655788 swapFree=131071996/131071996
[pid=871090] ppid=871087 vsize=19108176 memory=6347660 CPUtime=3600.02 cores=0,2
/proc/871090/stat : 871090 (java) S 871087 871090 868150 0 -1 1077936128 260530 0 0 0 359684 318 0 0 20 0 20 0 169626751 19566772224 1586915 134679101440 94049461784576 94049461788272 140729812435264 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94049461796088 94049461796880 94049477324800 140729812444167 140729812444257 140729812444257 140729812451272 0
/proc/871090/statm: 4777044 1586915 5922 1 0 1633288 0
[pid=871090/tid=871092] ppid=871087 vsize=19108176 memory=5512 CPUtime=3554.23 cores=0,2
/proc/871090/task/871092/stat : 871092 (java) R 871087 871090 868150 0 -1 4194368 96295 0 0 0 355394 29 0 0 20 0 20 0 169626752 19566772224 1586915 134679101440 94049461784576 94049461788272 140729812435264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94049461796088 94049461796880 94049477324800 140729812444167 140729812444257 140729812444257 140729812451272 0
[pid=871090/tid=871118] ppid=871087 vsize=19108176 memory=6347660 CPUtime=0 cores=0,2
/proc/871090/task/871118/stat : 871118 (Finalizer) S 871087 871090 868150 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 169626758 19566772224 1586915 134679101440 94049461784576 94049461788272 140729812435264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94049461796088 94049461796880 94049477324800 140729812444167 140729812444257 140729812444257 140729812451272 0
[pid=871090/tid=871131] ppid=871087 vsize=19108176 memory=2312 CPUtime=0 cores=0,2
/proc/871090/task/871131/stat : 871131 (Common-Cleaner) S 871087 871090 868150 0 -1 1077936192 3223 0 0 0 0 0 0 0 20 0 20 0 169626759 19566772224 1586915 134679101440 94049461784576 94049461788272 140729812435264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94049461796088 94049461796880 94049477324800 140729812444167 140729812444257 140729812444257 140729812451272 0
[pid=871090/tid=871192] ppid=871087 vsize=19108176 memory=6347660 CPUtime=0 cores=0,2
/proc/871090/task/871192/stat : 871192 (Timer-0) S 871087 871090 868150 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 169626826 19566772224 1586915 134679101440 94049461784576 94049461788272 140729812435264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94049461796088 94049461796880 94049477324800 140729812444167 140729812444257 140729812444257 140729812451272 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 6347660 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3586.8 s]
# the end of solver process 871090 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3597.55 s, system=3.22775 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3586.6 s]
/proc/loadavg: 2.45 3.74 4.08 2/243 873133
/proc/meminfo: memFree=123182872/131655788 swapFree=131071996/131071996
[pid=871090] ppid=871087 vsize=19307868 memory=6348300 CPUtime=3600.41 cores=0,2
/proc/871090/stat : 871090 (java) S 871087 871090 868150 0 -1 1077936128 263309 0 0 0 359723 318 0 0 20 0 21 0 169626751 19771256832 1587075 134679101440 94049461784576 94049461788272 140729812435264 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94049461796088 94049461796880 94049477324800 140729812444167 140729812444257 140729812444257 140729812451272 0
/proc/871090/statm: 4826967 1587075 5921 1 0 1634175 0
[pid=871090/tid=871092] ppid=871087 vsize=19307868 memory=7384 CPUtime=3554.43 cores=0,2
/proc/871090/task/871092/stat : 871092 (java) R 871087 871090 868150 0 -1 4194368 96295 0 0 0 355414 29 0 0 20 0 21 0 169626752 19771256832 1587075 134679101440 94049461784576 94049461788272 140729812435264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94049461796088 94049461796880 94049477324800 140729812444167 140729812444257 140729812444257 140729812451272 0
[pid=871090/tid=871118] ppid=871087 vsize=19307868 memory=3672 CPUtime=0 cores=0,2
/proc/871090/task/871118/stat : 871118 (Finalizer) S 871087 871090 868150 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 169626758 19771256832 1587075 134679101440 94049461784576 94049461788272 140729812435264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94049461796088 94049461796880 94049477324800 140729812444167 140729812444257 140729812444257 140729812451272 0
[pid=871090/tid=871131] ppid=871087 vsize=19307868 memory=-6170700479207538367 CPUtime=0 cores=0,2
/proc/871090/task/871131/stat : 871131 (Common-Cleaner) S 871087 871090 868150 0 -1 1077936192 3223 0 0 0 0 0 0 0 20 0 21 0 169626759 19771256832 1587075 134679101440 94049461784576 94049461788272 140729812435264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94049461796088 94049461796880 94049477324800 140729812444167 140729812444257 140729812444257 140729812451272 0
Current children cumulated CPU time: 3600.41 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 6348300 KiB
[startup+3586.7 s]
/proc/loadavg: 2.45 3.74 4.08 2/243 873133
/proc/meminfo: memFree=123182872/131655788 swapFree=131071996/131071996
[pid=871090] ppid=871087 vsize=19307868 memory=6348328 CPUtime=3600.62 cores=0,2
/proc/871090/stat : 871090 (java) S 871087 871090 868150 0 -1 1077936128 263557 0 0 0 359743 319 0 0 20 0 21 0 169626751 19771256832 1587082 134679101440 94049461784576 94049461788272 140729812435264 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94049461796088 94049461796880 94049477324800 140729812444167 140729812444257 140729812444257 140729812451272 0
/proc/871090/statm: 4826967 1587082 5921 1 0 1634175 0
[pid=871090/tid=871092] ppid=871087 vsize=19307868 memory=6347660 CPUtime=3554.53 cores=0,2
/proc/871090/task/871092/stat : 871092 (java) R 871087 871090 868150 0 -1 4194368 96295 0 0 0 355424 29 0 0 20 0 21 0 169626752 19771256832 1587082 134679101440 94049461784576 94049461788272 140729812435264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94049461796088 94049461796880 94049477324800 140729812444167 140729812444257 140729812444257 140729812451272 0
[pid=871090/tid=871118] ppid=871087 vsize=19307868 memory=11600 CPUtime=0 cores=0,2
/proc/871090/task/871118/stat : 871118 (Finalizer) S 871087 871090 868150 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 169626758 19771256832 1587082 134679101440 94049461784576 94049461788272 140729812435264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94049461796088 94049461796880 94049477324800 140729812444167 140729812444257 140729812444257 140729812451272 0
[pid=871090/tid=871131] ppid=871087 vsize=19307868 memory=6347660 CPUtime=0 cores=0,2
/proc/871090/task/871131/stat : 871131 (Common-Cleaner) S 871087 871090 868150 0 -1 1077936192 3223 0 0 0 0 0 0 0 20 0 21 0 169626759 19771256832 1587082 134679101440 94049461784576 94049461788272 140729812435264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94049461796088 94049461796880 94049477324800 140729812444167 140729812444257 140729812444257 140729812451272 0
Current children cumulated CPU time: 3600.62 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 6348328 KiB
Child status: 143
Real time (s): 3586.8
CPU time (s): 3600.78
CPU user time (s): 3597.55
CPU system time (s): 3.22775
CPU usage (%): 100.39
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 6348328
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.55
system time used= 3.22775
maximum resident set size= 6349208
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 264113
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3312
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 108787
involuntary context switches= 26406
# summary of solver processes directly reported to runsolver:
# pid: 871090
# total CPU time (s): 3600.78
# total CPU user time (s): 3597.55
# total CPU system time (s): 3.22775
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.3463 second user time and 36.646 second system time
The end
Begin job on nodeC008 at 2024-07-17 02:05:15 IDJOB=4432536 IDBENCH=158608 IDSOLVER=3058 FILE ID=nodeC008/4432536-1721174703 RUNJOBID= nodeC008-1721174715-871060 SLURM_JOB_ID= 7505803 Free space on /tmp= 723768 MiB SOLVER NAME= Sat4j Resolution Default 2024-07-07 BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/hw64/normalized-hw64-vm25p-opt.opb.negationfix.opb COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432536-1721174703/watcher-4432536-1721174703 -o /tmp/evaluation-result-4432536-1721174703/solver-4432536-1721174703 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721174715-871060 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4432536-1721174703.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 6ace28486832e11f911f7d50bfd4c050 RANDOM SEED=1264196615 nodeC008.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 : 0xb00001f cpu MHz : 1197.250 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.91 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 : 0xb00001f cpu MHz : 1197.252 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.31 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 : 0xb00001f cpu MHz : 1197.249 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.91 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 : 0xb00001f cpu MHz : 1197.247 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.31 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 : 0xb00001f cpu MHz : 3472.667 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.91 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 : 0xb00001f cpu MHz : 1197.260 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.31 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 : 0xb00001f cpu MHz : 1197.258 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.91 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 : 0xb00001f cpu MHz : 1197.245 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.31 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 129529952 kB MemAvailable: 129976272 kB Buffers: 459744 kB Cached: 828584 kB SwapCached: 0 kB Active: 799804 kB Inactive: 798780 kB Active(anon): 1388 kB Inactive(anon): 346888 kB Active(file): 798416 kB Inactive(file): 451892 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 5704 kB Writeback: 48 kB AnonPages: 311020 kB Mapped: 104704 kB Shmem: 37704 kB KReclaimable: 72084 kB Slab: 166920 kB SReclaimable: 72084 kB SUnreclaim: 94836 kB KernelStack: 3612 kB PageTables: 9296 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 688212 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 53792 kB HardwareCorrupted: 0 kB AnonHugePages: 237568 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 170824 kB DirectMap2M: 19656704 kB DirectMap1G: 116391936 kB Free space on /tmp at the end= 723768 MiB End job on nodeC008 at 2024-07-17 03:05:02