Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j Resolution 2024 2024-07-07 | SAT (TO) | 3453511 | 3600.38 | 3647.82 |
| Name | PB24/normalized-PB12/OPT-LIN/zahidi/ Base/normalized-minisat70_4_22_4.opb |
| MD5SUM | 9e5b0b67365644613b47988ddf91495e |
| 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 | 3437313 |
| Best CPU time to get the best result obtained on this benchmark | 711.141 |
| 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 | 9940 |
| Total number of constraints | 14846 |
| Number of constraints which are clauses | 140 |
| Number of constraints which are cardinality constraints (but not clauses) | 6 |
| Number of constraints which are nor clauses,nor cardinality constraints | 14700 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 2415 |
| Number of terms in the objective function | 9730 |
| Biggest coefficient in the objective function | 153130375 |
| Number of bits for the biggest coefficient in the objective function | 28 |
| Sum of the numbers in the objective function | 77399784670 |
| Number of bits of the sum of numbers in the objective function | 37 |
| Biggest number in a constraint | 153130375 |
| Number of bits of the biggest number in a constraint | 28 |
| Biggest sum of numbers in a constraint | 77399784670 |
| Number of bits of the biggest sum of numbers | 37 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.07 c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS 0.00/0.07 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.07 c See www.sat4j.org for details. 0.00/0.07 c version CUSTOM.v20240707 0.00/0.08 c java.runtime.name OpenJDK Runtime Environment 0.00/0.08 c java.vm.name OpenJDK 64-Bit Server VM 0.00/0.08 c java.vm.version 22.0.1+8-16 0.00/0.08 c java.vm.vendor Oracle Corporation 0.00/0.08 c sun.arch.data.model 64 0.00/0.08 c java.version 22.0.1 0.00/0.08 c os.name Linux 0.00/0.08 c os.version 4.18.0-301.1.el8.x86_64 0.00/0.08 c os.arch amd64 0.00/0.09 c Free memory 2104792832 0.00/0.09 c Max memory 16282288128 0.00/0.09 c Total memory 2113929216 0.00/0.09 c Number of processors 2 0.14/0.13 --- Begin Solver configuration --- 0.14/0.13 org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3 0.14/0.13 Learn all clauses as in MiniSAT 0.14/0.13 LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.14/0.13 VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.14/0.13 Expensive reason simplification 0.14/0.13 Glucose 2.1 dynamic restart strategy 0.14/0.13 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.14/0.13 timeout=2147483s 0.14/0.13 DB Simplification allowed=false 0.14/0.13 Listener: none 0.14/0.13 --- End Solver configuration --- 0.14/0.13 c Pseudo Boolean Optimization by upper bound 0.14/0.13 c --- Begin Solver configuration --- 0.14/0.13 c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3 0.14/0.13 c Learn all clauses as in MiniSAT 0.14/0.13 c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.14/0.13 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.14/0.13 c Expensive reason simplification 0.14/0.13 c Glucose 2.1 dynamic restart strategy 0.14/0.13 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.14/0.13 c timeout=2147483s 0.14/0.13 c DB Simplification allowed=false 0.14/0.13 c Listener: none 0.14/0.13 c --- End Solver configuration --- 0.14/0.13 c solving HOME/instance-4440525-1721820923.opb 0.14/0.13 c reading problem ... 0.14/0.13 c using VERIPB proof format 0.14/0.13 c objective function found 0.53/0.39 c ... done. Wall clock time 0.255s. 0.53/0.39 c declared #vars 9940 0.53/0.39 c #constraints 24512 0.53/0.39 c constraints type 0.53/0.39 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 19390 0.53/0.39 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 7 0.53/0.39 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2625 0.53/0.39 c org.sat4j.specs.Constr$1 => 2 0.53/0.39 c org.sat4j.pb.constraints.pb.UnitClausesPB => 2 0.53/0.39 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2486 0.53/0.39 c 24512 constraints processed. 0.53/0.40 c objective function length is 9730 literals 1.49/0.89 c SATISFIABLE 1.49/0.89 c OPTIMIZING... 1.49/0.89 c Got one! Elapsed wall clock time (in seconds):0.755 1.49/0.89 o 4130083 1.70/0.95 c Got one! Elapsed wall clock time (in seconds):0.818 1.70/0.95 o 3471965 1.89/1.01 c Got one! Elapsed wall clock time (in seconds):0.876 1.89/1.01 o 3471869 1.89/1.04 c Got one! Elapsed wall clock time (in seconds):0.913 1.89/1.04 o 3466815 1.89/1.08 c Got one! Elapsed wall clock time (in seconds):0.947 1.89/1.08 o 3466175 2.09/1.12 c Got one! Elapsed wall clock time (in seconds):0.98 2.09/1.12 o 3465599 2.09/1.15 c Got one! Elapsed wall clock time (in seconds):1.016 2.09/1.15 o 3464927 2.09/1.18 c Got one! Elapsed wall clock time (in seconds):1.053 2.09/1.18 o 3464817 2.28/1.22 c Got one! Elapsed wall clock time (in seconds):1.091 2.28/1.22 o 3463505 2.28/1.27 c Got one! Elapsed wall clock time (in seconds):1.133 2.28/1.27 o 3462929 2.68/1.43 c Got one! Elapsed wall clock time (in seconds):1.296 2.68/1.43 o 3462733 2.68/1.46 c Got one! Elapsed wall clock time (in seconds):1.319 2.68/1.46 o 3458369 2.68/1.47 c Got one! Elapsed wall clock time (in seconds):1.34 2.68/1.47 o 3457729 2.68/1.49 c Got one! Elapsed wall clock time (in seconds):1.358 2.68/1.49 o 3457153 2.88/1.51 c Got one! Elapsed wall clock time (in seconds):1.379 2.88/1.51 o 3456481 3.27/1.70 c Got one! Elapsed wall clock time (in seconds):1.571 3.27/1.70 o 3455699 3.27/1.73 c Got one! Elapsed wall clock time (in seconds):1.599 3.27/1.73 o 3455059 3.27/1.76 c Got one! Elapsed wall clock time (in seconds):1.627 3.27/1.76 o 3454483 4.86/2.56 c Got one! Elapsed wall clock time (in seconds):2.431 4.86/2.57 o 3453929 6.57/4.04 c cleaning 3425 clauses out of 6849 with flag 8755/6849 8.86/6.18 c cleaning 4709 clauses out of 9422 with flag 21599/12847 11.17/8.37 c cleaning 5856 clauses out of 11713 with flag 36606/19847 13.77/10.88 c cleaning 6930 clauses out of 13859 with flag 53715/27849 16.67/13.75 c cleaning 7962 clauses out of 15927 with flag 73006/36847 17.56/14.63 c Got one! Elapsed wall clock time (in seconds):14.497 17.56/14.63 o 3453511 18.71/15.58 c cleaning 6795 clauses out of 13608 with flag 11202/42564 20.13/16.62 c cleaning 6397 clauses out of 12814 with flag 23408/48565 21.58/17.82 c cleaning 6694 clauses out of 13416 with flag 37482/55564 22.99/19.27 c cleaning 7341 clauses out of 14722 with flag 53551/63564 24.58/20.83 c cleaning 8174 clauses out of 16382 with flag 71610/72565 26.29/22.58 c cleaning 9093 clauses out of 18208 with flag 91751/82565 28.29/24.56 c cleaning 10047 clauses out of 20115 with flag 113892/93565 30.47/26.74 c cleaning 11018 clauses out of 22068 with flag 138044/105565 32.97/29.26 c cleaning 12019 clauses out of 24050 with flag 164255/118565 36.15/32.39 c cleaning 13002 clauses out of 26026 with flag 193189/132564 39.09/35.72 c cleaning 14011 clauses out of 28025 with flag 223692/147565 41.97/38.69 c cleaning 15007 clauses out of 30013 with flag 256036/163564 45.38/42.04 c cleaning 15994 clauses out of 32006 with flag 291385/180564 48.49/45.15 c cleaning 16996 clauses out of 34012 with flag 328868/198564 51.68/48.33 c cleaning 18000 clauses out of 36016 with flag 369673/217564 55.07/51.73 c cleaning 19003 clauses out of 38017 with flag 411852/237565 58.66/55.36 c cleaning 20002 clauses out of 40013 with flag 455766/258564 62.36/59.06 c cleaning 21004 clauses out of 42011 with flag 501803/280564 66.35/63.05 c cleaning 22001 clauses out of 44007 with flag 551143/303564 70.56/67.40 c cleaning 23001 clauses out of 46007 with flag 601259/327565 74.85/71.74 c cleaning 24001 clauses out of 48005 with flag 652953/352564 79.55/76.47 c cleaning 25001 clauses out of 50005 with flag 708889/378565 84.25/81.14 c cleaning 25996 clauses out of 52003 with flag 766536/405564 89.04/86.00 c cleaning 27000 clauses out of 54008 with flag 825622/433565 94.36/91.20 c cleaning 28000 clauses out of 56007 with flag 887482/462564 99.49/96.58 c cleaning 28998 clauses out of 58009 with flag 951407/492566 105.02/102.07 c cleaning 29992 clauses out of 60010 with flag 1017271/523565 110.70/107.75 c cleaning 31000 clauses out of 62018 with flag 1084955/555565 116.59/113.65 c cleaning 31995 clauses out of 64017 with flag 1155110/588564 122.48/119.59 c cleaning 33001 clauses out of 66023 with flag 1228398/622565 128.83/126.20 c cleaning 33997 clauses out of 68021 with flag 1302604/657564 135.15/132.50 c cleaning 35001 clauses out of 70025 with flag 1381746/693565 141.64/139.02 c cleaning 36001 clauses out of 72024 with flag 1463257/730565 148.52/145.94 c cleaning 37002 clauses out of 74022 with flag 1546525/768564 155.40/152.86 c cleaning 38005 clauses out of 76021 with flag 1635249/807565 162.65/160.20 c cleaning 38991 clauses out of 78017 with flag 1724353/847566 169.87/167.45 c cleaning 39994 clauses out of 80024 with flag 1815211/888564 177.35/174.97 c cleaning 41001 clauses out of 82031 with flag 1908718/930565 185.30/182.92 c cleaning 42001 clauses out of 84029 with flag 2003881/973564 193.61/191.48 c cleaning 43002 clauses out of 86029 with flag 2101446/1017565 202.03/199.91 c cleaning 43999 clauses out of 88026 with flag 2203501/1062564 210.75/208.77 c cleaning 45007 clauses out of 90028 with flag 2310946/1108565 219.62/217.81 c cleaning 45996 clauses out of 92020 with flag 2416952/1155564 228.74/227.03 c cleaning 46995 clauses out of 94024 with flag 2529853/1203564 237.97/236.34 c cleaning 48001 clauses out of 96029 with flag 2646763/1252564 247.60/246.08 c cleaning 49001 clauses out of 98028 with flag 2766289/1302564 258.03/258.35 c cleaning 49998 clauses out of 100027 with flag 2888908/1353564 269.70/270.07 c cleaning 51006 clauses out of 102029 with flag 3017250/1405564 281.36/282.11 c cleaning 52003 clauses out of 104023 with flag 3140661/1458564 293.79/294.68 c cleaning 53006 clauses out of 106021 with flag 3268867/1512565 306.42/307.35 c cleaning 54003 clauses out of 108015 with flag 3395279/1567565 319.19/320.16 c cleaning 54997 clauses out of 110012 with flag 3529952/1623565 333.26/334.12 c cleaning 56007 clauses out of 112014 with flag 3667170/1680564 346.23/347.27 c cleaning 56999 clauses out of 114008 with flag 3803671/1738565 360.44/361.41 c cleaning 57998 clauses out of 116009 with flag 3947474/1797565 375.23/376.39 c cleaning 59000 clauses out of 118010 with flag 4094813/1857564 390.49/391.50 c cleaning 60002 clauses out of 120010 with flag 4241222/1918564 406.19/407.23 c cleaning 61000 clauses out of 122008 with flag 4389894/1980564 422.43/423.48 c cleaning 62004 clauses out of 124009 with flag 4537909/2043565 437.33/438.46 c cleaning 63000 clauses out of 126005 with flag 4686165/2107565 452.43/453.58 c cleaning 63996 clauses out of 128005 with flag 4834462/2172565 468.15/469.31 c cleaning 64999 clauses out of 130008 with flag 4982533/2238564 483.97/485.19 c cleaning 66002 clauses out of 132009 with flag 5136640/2305564 500.00/501.38 c cleaning 67000 clauses out of 134008 with flag 5297429/2373565 516.11/517.58 c cleaning 67996 clauses out of 136007 with flag 5451492/2442564 532.68/539.71 c cleaning 69004 clauses out of 138011 with flag 5606121/2512564 549.15/556.21 c cleaning 70002 clauses out of 140007 with flag 5763082/2583564 566.67/573.75 c cleaning 71002 clauses out of 142006 with flag 5924329/2655565 583.81/590.95 c cleaning 71996 clauses out of 144003 with flag 6091553/2728564 601.61/608.76 c cleaning 72999 clauses out of 146007 with flag 6255787/2802564 619.93/627.17 c cleaning 73999 clauses out of 148009 with flag 6417963/2877565 639.11/646.23 c cleaning 74998 clauses out of 150009 with flag 6585171/2953564 659.78/666.98 c cleaning 76000 clauses out of 152012 with flag 6758374/3030565 681.24/688.54 c cleaning 76997 clauses out of 154011 with flag 6934416/3108564 700.02/707.45 c cleaning 78004 clauses out of 156015 with flag 7110582/3187565 719.09/726.67 c cleaning 78995 clauses out of 158011 with flag 7286993/3267565 739.08/746.84 c cleaning 79997 clauses out of 160015 with flag 7465916/3348564 758.53/766.30 c cleaning 81003 clauses out of 162019 with flag 7651852/3430565 778.61/786.45 c cleaning 82003 clauses out of 164015 with flag 7839156/3513564 799.26/807.12 c cleaning 83000 clauses out of 166012 with flag 8025325/3597564 819.55/827.49 c cleaning 84001 clauses out of 168013 with flag 8218891/3682565 840.31/848.29 c cleaning 85005 clauses out of 170013 with flag 8413111/3768566 861.53/869.58 c cleaning 85994 clauses out of 172006 with flag 8609334/3855564 883.30/891.27 c cleaning 87001 clauses out of 174012 with flag 8806874/3943564 905.14/913.11 c cleaning 87998 clauses out of 176012 with flag 9002965/4032565 927.06/935.14 c cleaning 89001 clauses out of 178013 with flag 9199298/4122564 949.50/957.67 c cleaning 90001 clauses out of 180012 with flag 9406571/4213564 972.60/980.71 c cleaning 91004 clauses out of 182011 with flag 9610024/4305564 995.84/1004.10 c cleaning 92002 clauses out of 184007 with flag 9821401/4398564 1019.53/1028.06 c cleaning 92994 clauses out of 186005 with flag 10036085/4492564 1042.99/1051.78 c cleaning 94005 clauses out of 188011 with flag 10247686/4587564 1066.43/1075.21 c cleaning 94997 clauses out of 190006 with flag 10460049/4683564 1090.82/1099.66 c cleaning 96001 clauses out of 192010 with flag 10677346/4780565 1115.07/1123.95 c cleaning 96996 clauses out of 194008 with flag 10895802/4878564 1139.63/1148.54 c cleaning 98002 clauses out of 196012 with flag 11109990/4977564 1164.29/1173.22 c cleaning 98997 clauses out of 198011 with flag 11331498/5077565 1189.46/1198.32 c cleaning 100001 clauses out of 200014 with flag 11552435/5178565 1215.21/1224.27 c cleaning 101001 clauses out of 202012 with flag 11775782/5280564 1241.23/1250.26 c cleaning 102000 clauses out of 204012 with flag 12002284/5383565 1266.56/1275.64 c cleaning 102995 clauses out of 206012 with flag 12235125/5487565 1292.36/1301.57 c cleaning 104000 clauses out of 208016 with flag 12472062/5592564 1319.16/1328.47 c cleaning 105004 clauses out of 210016 with flag 12711737/5698564 1346.28/1356.81 c cleaning 105996 clauses out of 212012 with flag 12949227/5805564 1374.05/1384.60 c cleaning 107002 clauses out of 214017 with flag 13185871/5913565 1401.76/1412.45 c cleaning 108005 clauses out of 216014 with flag 13428909/6022564 1425.70/1436.48 c cleaning 108997 clauses out of 218009 with flag 13679506/6132564 1447.98/1458.75 c cleaning 109998 clauses out of 220013 with flag 13932049/6243565 1471.25/1482.03 c cleaning 111005 clauses out of 222014 with flag 14184495/6355564 1493.95/1504.79 c cleaning 111996 clauses out of 224009 with flag 14439147/6468564 1517.61/1528.48 c cleaning 112997 clauses out of 226014 with flag 14693224/6582565 1543.61/1554.59 c cleaning 114003 clauses out of 228016 with flag 14968092/6697564 1571.58/1582.83 c cleaning 114998 clauses out of 230013 with flag 15245371/6813564 1600.57/1612.01 c cleaning 116000 clauses out of 232016 with flag 15528291/6930565 1626.54/1639.48 c cleaning 117002 clauses out of 234015 with flag 15825865/7048564 1651.55/1664.59 c cleaning 118002 clauses out of 236014 with flag 16123378/7167565 1678.00/1691.28 c cleaning 118998 clauses out of 238011 with flag 16403153/7287564 1705.24/1718.51 c cleaning 120004 clauses out of 240013 with flag 16666442/7408564 1734.06/1747.42 c cleaning 120998 clauses out of 242011 with flag 16943500/7530566 1762.07/1775.51 c cleaning 122002 clauses out of 244011 with flag 17218210/7653564 1789.49/1803.08 c cleaning 123001 clauses out of 246009 with flag 17508530/7777564 1817.59/1831.27 c cleaning 123998 clauses out of 248008 with flag 17804384/7902564 1846.33/1860.12 c cleaning 125002 clauses out of 250010 with flag 18108234/8028564 1876.52/1890.78 c cleaning 125996 clauses out of 252009 with flag 18415057/8155565 1914.85/1929.04 c cleaning 127002 clauses out of 254012 with flag 18694878/8283564 1946.90/1961.12 c cleaning 127998 clauses out of 256010 with flag 18973450/8412564 1981.25/1995.53 c cleaning 129004 clauses out of 258013 with flag 19251919/8542565 2015.06/2029.45 c cleaning 130000 clauses out of 260009 with flag 19539209/8673565 2058.12/2072.68 c cleaning 131000 clauses out of 262008 with flag 19833358/8805564 2105.63/2120.24 c cleaning 131997 clauses out of 264008 with flag 20136298/8938564 2153.17/2167.82 c cleaning 132999 clauses out of 266012 with flag 20439658/9072565 2195.66/2210.44 c cleaning 134002 clauses out of 268012 with flag 20750509/9207564 2239.85/2254.77 c cleaning 135002 clauses out of 270010 with flag 21061213/9343564 2288.78/2303.70 c cleaning 136001 clauses out of 272009 with flag 21374729/9480565 2335.38/2350.42 c cleaning 136999 clauses out of 274007 with flag 21693109/9618564 2382.84/2397.97 c cleaning 138000 clauses out of 276008 with flag 22013784/9757564 2428.87/2444.06 c cleaning 138999 clauses out of 278008 with flag 22333012/9897564 2472.29/2487.47 c cleaning 139999 clauses out of 280010 with flag 22648954/10038565 2513.37/2528.56 c cleaning 141000 clauses out of 282010 with flag 22980805/10180564 2564.16/2579.46 c cleaning 142003 clauses out of 284011 with flag 23306873/10323565 2617.15/2632.73 c cleaning 143001 clauses out of 286008 with flag 23635888/10467565 2669.98/2685.95 c cleaning 143993 clauses out of 288006 with flag 23955886/10612564 2722.38/2740.69 c cleaning 144999 clauses out of 290013 with flag 24296979/10758564 2773.56/2791.88 c cleaning 146005 clauses out of 292014 with flag 24640958/10905564 2830.28/2848.67 c cleaning 147001 clauses out of 294010 with flag 24987319/11053565 2884.78/2903.28 c cleaning 148005 clauses out of 296009 with flag 25336951/11202565 2939.70/2958.53 c cleaning 148998 clauses out of 298003 with flag 25682999/11352564 2996.67/3016.09 c cleaning 149999 clauses out of 300005 with flag 26022682/11503564 3038.25/3069.10 c cleaning 151002 clauses out of 302006 with flag 26401445/11655564 3092.52/3123.88 c cleaning 151999 clauses out of 304005 with flag 26775684/11808565 3148.36/3180.01 c cleaning 152998 clauses out of 306005 with flag 27154938/11962564 3199.24/3231.02 c cleaning 154001 clauses out of 308007 with flag 27509039/12117564 3255.18/3287.43 c cleaning 155001 clauses out of 310007 with flag 27842445/12273565 3296.78/3330.76 c cleaning 155994 clauses out of 312005 with flag 28168996/12430564 3337.57/3371.94 c cleaning 157003 clauses out of 314011 with flag 28513945/12588564 3379.90/3414.75 c cleaning 158000 clauses out of 316008 with flag 28861624/12747564 3422.45/3457.41 c cleaning 158996 clauses out of 318008 with flag 29222823/12907564 3467.66/3512.34 c cleaning 159990 clauses out of 320013 with flag 29653725/13068566 3511.30/3557.44 c cleaning 161003 clauses out of 322022 with flag 30029718/13230565 3553.97/3600.50 c cleaning 161921 clauses out of 323847 with flag 30420770/13393565 3594.52/3642.04 c cleaning 162961 clauses out of 325926 with flag 30751705/13557565 3600.03/3647.51 c starts : 1131 3600.03/3647.54 c conflicts : 13583791 3600.03/3647.54 c decisions : 15336369 3600.03/3647.54 c propagations : 176383729 3600.03/3647.54 c inspects : 2600989274 3600.03/3647.54 c shortcuts : 0 3600.03/3647.54 c learnt literals : 251 3600.03/3647.54 c learnt binary clauses : 94 3600.03/3647.54 c learnt ternary clauses : 422 3600.03/3647.54 c learnt constraints : 13583540 3600.03/3647.54 c ignored constraints : 0 3600.03/3647.54 c root simplifications : 0 3600.03/3647.54 c removed literals (reason simplification) : 1218403707 3600.03/3647.54 c reason swapping (by a shorter reason) : 0 3600.03/3647.54 c Calls to reduceDB : 165 3600.03/3647.54 c Number of update (reduction) of LBD : 135057 3600.03/3647.54 c Imported unit clauses : 0 3600.03/3647.54 c No decision after first conflict : false 3600.03/3647.54 c number of reductions to clauses (during analyze) : 0 3600.03/3647.54 c number of learned constraints concerned by reduction : 0 3600.03/3647.54 c number of learning phase by resolution : 0 3600.03/3647.54 c number of learning phase by cutting planes : 0 3600.03/3647.54 c number of rounding to 1 operations : 0 3600.03/3647.54 c number of easy rounding to 1 operations (no literal elimination needed) : 0 3600.03/3647.54 c number of reductions of the coefficients by power 2 : 0 3600.03/3647.54 c number of right shift for reduction by power 2 : 0 3600.03/3647.54 c number of reductions of the coefficients by GCD over coefficients : 0 3600.03/3647.54 c number of ending skipping : 0 3600.03/3647.54 c number of internal skipping : 0 3600.03/3647.54 c number of derivation steps : 0 3600.03/3647.54 c number of skipped derivation steps : 0 3600.03/3647.54 c number of remaining unassigned : 0 3600.03/3647.54 c number of remaining assigned : 0 3600.03/3647.54 c number of falsified literals weakened from reason : 0 3600.03/3647.54 c number of falsified literals weakened from conflict : 0 3600.03/3647.54 c time for arithmetic operations : 0 3600.03/3647.54 c minimum degree of deleted constraints : null 3600.03/3647.54 c maximum degree of deleted constraints : null 3600.03/3647.54 c number of deleted constraints : 0 3600.03/3647.54 c speed (assignments/second) : 48362.456030386704 3600.03/3647.54 c non guided choices : 64 3600.03/3647.61 c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB : 189097 3600.03/3647.61 c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB : 94 3600.03/3647.61 s SATISFIABLE 3600.25/3647.62 c Found 20 solution(s) 3600.25/3647.62 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 x916 -x917 x918 -x919 -x920 x921 x922 -x923 -x924 -x925 x926 -x927 x928 -x929 -x930 -x931 x932 -x933 -x934 -x935 x936 x937 x938 -x939 -x940 -x941 x942 -x943 -x944 -x945 -x946 -x947 x948 x949 -x950 -x951 x952 x953 x954 -x955 -x956 x957 -x958 x959 -x960 -x961 -x962 -x963 x964 -x965 x966 x967 -x968 -x969 -x970 -x971 -x972 -x973 x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 x1822 -x1823 -x1824 x1825 -x1826 x1827 -x1828 x1829 -x1830 -x1831 -x1832 x1833 x1834 x1835 -x1836 -x1837 -x1838 -x1839 x1840 -x1841 -x1842 -x1843 x1844 x1845 -x1846 -x1847 -x1848 x1849 -x1850 -x1851 -x1852 -x1853 -x1854 x1855 -x1856 x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 x1870 -x1871 -x1872 x1873 -x1874 x1875 -x1876 -x1877 -x1878 x1879 -x1880 x1881 x1882 -x1883 -x1884 -x1885 x1886 -x1887 x1888 x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 x2801 -x2802 x2803 x2804 -x2805 -x2806 -x2807 -x2808 -x2809 x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 x2817 -x2818 x2819 -x2820 -x2821 -x2822 x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 x2830 x2831 -x2832 -x2833 x2834 -x2835 x2836 -x2837 -x2838 -x2839 x2840 x2841 -x2842 -x2843 -x2844 x2845 -x2846 -x2847 x2848 -x2849 -x2850 x2851 x2852 -x2853 -x2854 -x2855 -x2856 -x2857 x2858 -x2859 x2860 -x2861 -x2862 x2863 -x2864 x2865 -x2866 x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -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 3600.25/3647.66 c objective function=3453511 3600.25/3647.66 c Total wall clock time (in seconds): 3647.53
OK 3453511
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (20961 MiB free)
memory of node 1: 64473 MiB (28237 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4440525-1721820923/watcher-4440525-1721820923 -o /tmp/evaluation-result-4440525-1721820923/solver-4440525-1721820923 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721817186-237221 --watchdog 3760 java -Dveripb=PROOFDIR/proof-4440525-1721820923 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4440525-1721820923.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=239558, runsolver pid=239555
Current StackSize limit: 8192 KiB
[startup+0.100058 s]*
/proc/loadavg: 4.17 4.32 4.25 5/337 239576
/proc/meminfo: memFree=50337456/131524600 swapFree=131057564/131071996
[pid=239558] ppid=239555 vsize=18975048 memory=65004 CPUtime=0.14 cores=1,3
/proc/239558/stat : 239558 (java) S 239555 239558 237209 0 -1 1077936128 7209 0 0 0 12 2 0 0 20 0 18 0 18615187 19430449152 16251 134679101440 94800070496256 94800070499952 140724307201824 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94800070507768 94800070508560 94800102576128 140724307211179 140724307211361 140724307211361 140724307218376 0
/proc/239558/statm: 4743762 16251 5646 1 0 549319 0
[pid=239558/tid=239560] ppid=239555 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=1,3
/proc/239558/task/239560/stat : 239560 (java) R 239555 239558 237209 0 -1 4194368 5747 0 0 0 7 1 0 0 20 0 18 0 18615187 19430449152 16251 134679101440 94800070496256 94800070499952 140724307201824 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94800070507768 94800070508560 94800102576128 140724307211179 140724307211361 140724307211361 140724307218376 0
[pid=239558/tid=239569] ppid=239555 vsize=18975048 memory=232851243367 CPUtime=0 cores=1,3
/proc/239558/task/239569/stat : 239569 (Finalizer) S 239555 239558 237209 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 18615189 19430449152 16251 134679101440 94800070496256 94800070499952 140724307201824 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94800070507768 94800070508560 94800102576128 140724307211179 140724307211361 140724307211361 140724307218376 0
[pid=239558/tid=239576] ppid=239555 vsize=18975048 memory=14135545648158663 CPUtime=0 cores=1,3
/proc/239558/task/239576/stat : 239576 (Common-Cleaner) S 239555 239558 237209 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 18615190 19430449152 16251 134679101440 94800070496256 94800070499952 140724307201824 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94800070507768 94800070508560 94800102576128 140724307211179 140724307211361 140724307211361 140724307218376 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 65004 KiB
[startup+0.20594 s]*
/proc/loadavg: 4.17 4.32 4.25 7/337 239576
/proc/meminfo: memFree=50319820/131524600 swapFree=131057564/131071996
[pid=239558] ppid=239555 vsize=18975048 memory=79860 CPUtime=0.33 cores=1,3
/proc/239558/stat : 239558 (java) S 239555 239558 237209 0 -1 1077936128 8423 0 0 0 31 2 0 0 20 0 18 0 18615187 19430449152 19965 134679101440 94800070496256 94800070499952 140724307201824 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94800070507768 94800070508560 94800102576128 140724307211179 140724307211361 140724307211361 140724307218376 0
/proc/239558/statm: 4743762 19965 5803 1 0 550239 0
[pid=239558/tid=239560] ppid=239555 vsize=18975048 memory=4782652875487838339 CPUtime=0.18 cores=1,3
/proc/239558/task/239560/stat : 239560 (java) R 239555 239558 237209 0 -1 4194368 5954 0 0 0 17 1 0 0 20 0 18 0 18615187 19430449152 19965 134679101440 94800070496256 94800070499952 140724307201824 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94800070507768 94800070508560 94800102576128 140724307211179 140724307211361 140724307211361 140724307218376 0
[pid=239558/tid=239569] ppid=239555 vsize=18975048 memory=826994 CPUtime=0 cores=1,3
/proc/239558/task/239569/stat : 239569 (Finalizer) S 239555 239558 237209 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 18615189 19430449152 19965 134679101440 94800070496256 94800070499952 140724307201824 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94800070507768 94800070508560 94800102576128 140724307211179 140724307211361 140724307211361 140724307218376 0
[pid=239558/tid=239576] ppid=239555 vsize=18975048 memory=15823295995971300 CPUtime=0 cores=1,3
/proc/239558/task/239576/stat : 239576 (Common-Cleaner) S 239555 239558 237209 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 18615190 19430449152 19965 134679101440 94800070496256 94800070499952 140724307201824 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94800070507768 94800070508560 94800102576128 140724307211179 140724307211361 140724307211361 140724307218376 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 79860 KiB
[startup+0.3059 s]*
/proc/loadavg: 4.17 4.32 4.25 7/337 239576
/proc/meminfo: memFree=50294492/131524600 swapFree=131057564/131071996
[pid=239558] ppid=239555 vsize=18975048 memory=106780 CPUtime=0.53 cores=1,3
/proc/239558/stat : 239558 (java) S 239555 239558 237209 0 -1 1077936128 9307 0 0 0 50 3 0 0 20 0 18 0 18615187 19430449152 26695 134679101440 94800070496256 94800070499952 140724307201824 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94800070507768 94800070508560 94800102576128 140724307211179 140724307211361 140724307211361 140724307218376 0
/proc/239558/statm: 4743762 26695 5803 1 0 550707 0
[pid=239558/tid=239560] ppid=239555 vsize=18975048 memory=-8815907748255081148 CPUtime=0.28 cores=1,3
/proc/239558/task/239560/stat : 239560 (java) R 239555 239558 237209 0 -1 4194368 5979 0 0 0 26 2 0 0 20 0 18 0 18615187 19430449152 26695 134679101440 94800070496256 94800070499952 140724307201824 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94800070507768 94800070508560 94800102576128 140724307211179 140724307211361 140724307211361 140724307218376 0
[pid=239558/tid=239569] ppid=239555 vsize=18975048 memory=0 CPUtime=0 cores=1,3
/proc/239558/task/239569/stat : 239569 (Finalizer) S 239555 239558 237209 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 18615189 19430449152 26695 134679101440 94800070496256 94800070499952 140724307201824 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94800070507768 94800070508560 94800102576128 140724307211179 140724307211361 140724307211361 140724307218376 0
[pid=239558/tid=239576] ppid=239555 vsize=18975048 memory=0 CPUtime=0 cores=1,3
/proc/239558/task/239576/stat : 239576 (Common-Cleaner) S 239555 239558 237209 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 18615190 19430449152 26695 134679101440 94800070496256 94800070499952 140724307201824 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94800070507768 94800070508560 94800102576128 140724307211179 140724307211361 140724307211361 140724307218376 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 106780 KiB
[startup+0.707927 s]
/proc/loadavg: 4.32 4.35 4.26 7/338 239577
/proc/meminfo: memFree=50263520/131524600 swapFree=131057564/131071996
[pid=239558] ppid=239555 vsize=19108176 memory=171256 CPUtime=1.3 cores=1,3
/proc/239558/stat : 239558 (java) S 239555 239558 237209 0 -1 1077936128 11160 0 0 0 126 4 0 0 20 0 20 0 18615187 19566772224 42814 134679101440 94800070496256 94800070499952 140724307201824 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94800070507768 94800070508560 94800102576128 140724307211179 140724307211361 140724307211361 140724307218376 0
/proc/239558/statm: 4777044 42814 5857 1 0 552231 0
[pid=239558/tid=239560] ppid=239555 vsize=19108176 memory=5552 CPUtime=0.64 cores=1,3
/proc/239558/task/239560/stat : 239560 (java) S 239555 239558 237209 0 -1 1077936192 6143 0 0 0 61 3 0 0 20 0 20 0 18615187 19566772224 42814 134679101440 94800070496256 94800070499952 140724307201824 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94800070507768 94800070508560 94800102576128 140724307211179 140724307211361 140724307211361 140724307218376 0
[pid=239558/tid=239569] ppid=239555 vsize=19108176 memory=12936 CPUtime=0 cores=1,3
/proc/239558/task/239569/stat : 239569 (Finalizer) S 239555 239558 237209 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18615189 19566772224 43326 134679101440 94800070496256 94800070499952 140724307201824 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94800070507768 94800070508560 94800102576128 140724307211179 140724307211361 140724307211361 140724307218376 0
[pid=239558/tid=239576] ppid=239555 vsize=19108176 memory=164 CPUtime=0 cores=1,3
/proc/239558/task/239576/stat : 239576 (Common-Cleaner) S 239555 239558 237209 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 18615190 19566772224 43326 134679101440 94800070496256 94800070499952 140724307201824 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94800070507768 94800070508560 94800102576128 140724307211179 140724307211361 140724307211361 140724307218376 0
[pid=239558/tid=239577] ppid=239555 vsize=19108176 memory=117636 CPUtime=0 cores=1,3
/proc/239558/task/239577/stat : 239577 (Timer-0) S 239555 239558 237209 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18615228 19566772224 43326 134679101440 94800070496256 94800070499952 140724307201824 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94800070507768 94800070508560 94800102576128 140724307211179 140724307211361 140724307211361 140724307218376 0
Current children cumulated CPU time: 1.3 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 171256 KiB
[startup+1.50448 s]
/proc/loadavg: 4.32 4.35 4.26 6/339 239578
/proc/meminfo: memFree=50219168/131524600 swapFree=131057564/131071996
[pid=239558] ppid=239555 vsize=19108176 memory=190268 CPUtime=2.88 cores=1,3
/proc/239558/stat : 239558 (java) S 239555 239558 237209 0 -1 1077936128 19247 0 0 0 283 5 0 0 20 0 20 0 18615187 19566772224 47567 134679101440 94800070496256 94800070499952 140724307201824 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94800070507768 94800070508560 94800102576128 140724307211179 140724307211361 140724307211361 140724307218376 0
/proc/239558/statm: 4777044 47567 5909 1 0 554611 0
[pid=239558/tid=239560] ppid=239555 vsize=19108176 memory=12936 CPUtime=1.38 cores=1,3
/proc/239558/task/239560/stat : 239560 (java) R 239555 239558 237209 0 -1 4194368 6799 0 0 0 135 3 0 0 20 0 20 0 18615187 19566772224 47567 134679101440 94800070496256 94800070499952 140724307201824 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94800070507768 94800070508560 94800102576128 140724307211179 140724307211361 140724307211361 140724307218376 0
[pid=239558/tid=239569] ppid=239555 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/239558/task/239569/stat : 239569 (Finalizer) S 239555 239558 237209 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18615189 19566772224 47567 134679101440 94800070496256 94800070499952 140724307201824 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94800070507768 94800070508560 94800102576128 140724307211179 140724307211361 140724307211361 140724307218376 0
[pid=239558/tid=239576] ppid=239555 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/239558/task/239576/stat : 239576 (Common-Cleaner) S 239555 239558 237209 0 -1 1077936192 44 0 0 0 0 0 0 0 20 0 20 0 18615190 19566772224 47567 134679101440 94800070496256 94800070499952 140724307201824 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94800070507768 94800070508560 94800102576128 140724307211179 140724307211361 140724307211361 140724307218376 0
[pid=239558/tid=239577] ppid=239555 vsize=19108176 memory=280304598295824 CPUtime=0 cores=1,3
/proc/239558/task/239577/stat : 239577 (Timer-0) S 239555 239558 237209 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18615228 19566772224 47567 134679101440 94800070496256 94800070499952 140724307201824 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94800070507768 94800070508560 94800102576128 140724307211179 140724307211361 140724307211361 140724307218376 0
Current children cumulated CPU time: 2.88 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 190268 KiB
[startup+3.10585 s]
/proc/loadavg: 4.32 4.35 4.26 4/339 239578
/proc/meminfo: memFree=50170464/131524600 swapFree=131057564/131071996
[pid=239558] ppid=239555 vsize=19108176 memory=203736 CPUtime=5.6 cores=1,3
/proc/239558/stat : 239558 (java) S 239555 239558 237209 0 -1 1077936128 20976 0 0 0 553 7 0 0 20 0 20 0 18615187 19566772224 50934 134679101440 94800070496256 94800070499952 140724307201824 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94800070507768 94800070508560 94800102576128 140724307211179 140724307211361 140724307211361 140724307218376 0
/proc/239558/statm: 4777044 50934 5909 1 0 554623 0
[pid=239558/tid=239560] ppid=239555 vsize=19108176 memory=0 CPUtime=2.88 cores=1,3
/proc/239558/task/239560/stat : 239560 (java) R 239555 239558 237209 0 -1 4194368 7249 0 0 0 284 4 0 0 20 0 20 0 18615187 19566772224 50934 134679101440 94800070496256 94800070499952 140724307201824 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94800070507768 94800070508560 94800102576128 140724307211179 140724307211361 140724307211361 140724307218376 0
[pid=239558/tid=239569] ppid=239555 vsize=19108176 memory=12936 CPUtime=0 cores=1,3
/proc/239558/task/239569/stat : 239569 (Finalizer) S 239555 239558 237209 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18615189 19566772224 50934 134679101440 94800070496256 94800070499952 140724307201824 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94800070507768 94800070508560 94800102576128 140724307211179 140724307211361 140724307211361 140724307218376 0
[pid=239558/tid=239576] ppid=239555 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/239558/task/239576/stat : 239576 (Common-Cleaner) S 239555 239558 237209 0 -1 1077936192 44 0 0 0 0 0 0 0 20 0 20 0 18615190 19566772224 50934 134679101440 94800070496256 94800070499952 140724307201824 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94800070507768 94800070508560 94800102576128 140724307211179 140724307211361 140724307211361 140724307218376 0
[pid=239558/tid=239577] ppid=239555 vsize=19108176 memory=13520 CPUtime=0 cores=1,3
/proc/239558/task/239577/stat : 239577 (Timer-0) S 239555 239558 237209 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18615228 19566772224 50934 134679101440 94800070496256 94800070499952 140724307201824 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94800070507768 94800070508560 94800102576128 140724307211179 140724307211361 140724307211361 140724307218376 0
Current children cumulated CPU time: 5.6 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 203736 KiB
[startup+6.30024 s]
/proc/loadavg: 4.29 4.34 4.26 5/339 239579
/proc/meminfo: memFree=49895848/131524600 swapFree=131057564/131071996
[pid=239558] ppid=239555 vsize=19108176 memory=454372 CPUtime=9.1 cores=1,3
/proc/239558/stat : 239558 (java) S 239555 239558 237209 0 -1 1077936128 22242 0 0 0 897 13 0 0 20 0 20 0 18615187 19566772224 113593 134679101440 94800070496256 94800070499952 140724307201824 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94800070507768 94800070508560 94800102576128 140724307211179 140724307211361 140724307211361 140724307218376 0
/proc/239558/statm: 4777044 113593 5909 1 0 661202 0
[pid=239558/tid=239560] ppid=239555 vsize=19108176 memory=12936 CPUtime=5.97 cores=1,3
/proc/239558/task/239560/stat : 239560 (java) R 239555 239558 237209 0 -1 4194368 7988 0 0 0 588 9 0 0 20 0 20 0 18615187 19566772224 113593 134679101440 94800070496256 94800070499952 140724307201824 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94800070507768 94800070508560 94800102576128 140724307211179 140724307211361 140724307211361 140724307218376 0
[pid=239558/tid=239569] ppid=239555 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/239558/task/239569/stat : 239569 (Finalizer) S 239555 239558 237209 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18615189 19566772224 113593 134679101440 94800070496256 94800070499952 140724307201824 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94800070507768 94800070508560 94800102576128 140724307211179 140724307211361 140724307211361 140724307218376 0
[pid=239558/tid=239576] ppid=239555 vsize=19108176 memory=190328 CPUtime=0 cores=1,3
/proc/239558/task/239576/stat : 239576 (Common-Cleaner) S 239555 239558 237209 0 -1 1077936192 46 0 0 0 0 0 0 0 20 0 20 0 18615190 19566772224 113593 134679101440 94800070496256 94800070499952 140724307201824 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94800070507768 94800070508560 94800102576128 140724307211179 140724307211361 140724307211361 140724307218376 0
[pid=239558/tid=239577] ppid=239555 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/239558/task/239577/stat : 239577 (Timer-0) S 239555 239558 237209 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18615228 19566772224 113593 134679101440 94800070496256 94800070499952 140724307201824 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94800070507768 94800070508560 94800102576128 140724307211179 140724307211361 140724307211361 140724307218376 0
Current children cumulated CPU time: 9.1 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 454372 KiB
[startup+12.7003 s]
/proc/loadavg: 4.35 4.35 4.26 5/339 239579
/proc/meminfo: memFree=49640224/131524600 swapFree=131057564/131071996
[pid=239558] ppid=239555 vsize=19108176 memory=661668 CPUtime=15.67 cores=1,3
/proc/239558/stat : 239558 (java) S 239555 239558 237209 0 -1 1077936128 24409 0 0 0 1548 19 0 0 20 0 20 0 18615187 19566772224 165417 134679101440 94800070496256 94800070499952 140724307201824 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94800070507768 94800070508560 94800102576128 140724307211179 140724307211361 140724307211361 140724307218376 0
/proc/239558/statm: 4777044 165417 5924 1 0 661204 0
[pid=239558/tid=239560] ppid=239555 vsize=19108176 memory=0 CPUtime=12.28 cores=1,3
/proc/239558/task/239560/stat : 239560 (java) R 239555 239558 237209 0 -1 4194368 8807 0 0 0 1214 14 0 0 20 0 20 0 18615187 19566772224 165417 134679101440 94800070496256 94800070499952 140724307201824 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94800070507768 94800070508560 94800102576128 140724307211179 140724307211361 140724307211361 140724307218376 0
[pid=239558/tid=239569] ppid=239555 vsize=19108176 memory=-8815907748255081148 CPUtime=0 cores=1,3
/proc/239558/task/239569/stat : 239569 (Finalizer) S 239555 239558 237209 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18615189 19566772224 165417 134679101440 94800070496256 94800070499952 140724307201824 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94800070507768 94800070508560 94800102576128 140724307211179 140724307211361 140724307211361 140724307218376 0
[pid=239558/tid=239576] ppid=239555 vsize=19108176 memory=2284 CPUtime=0 cores=1,3
/proc/239558/task/239576/stat : 239576 (Common-Cleaner) S 239555 239558 237209 0 -1 1077936192 46 0 0 0 0 0 0 0 20 0 20 0 18615190 19566772224 165417 134679101440 94800070496256 94800070499952 140724307201824 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94800070507768 94800070508560 94800102576128 140724307211179 140724307211361 140724307211361 140724307218376 0
[pid=239558/tid=239577] ppid=239555 vsize=19108176 memory=13520 CPUtime=0 cores=1,3
/proc/239558/task/239577/stat : 239577 (Timer-0) S 239555 239558 237209 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18615228 19566772224 165417 134679101440 94800070496256 94800070499952 140724307201824 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94800070507768 94800070508560 94800102576128 140724307211179 140724307211361 140724307211361 140724307218376 0
Current children cumulated CPU time: 15.67 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 661668 KiB
[startup+25.5003 s]
/proc/loadavg: 4.29 4.34 4.26 5/338 239582
/proc/meminfo: memFree=49165564/131524600 swapFree=131057564/131071996
[pid=239558] ppid=239555 vsize=19108176 memory=1039188 CPUtime=29.28 cores=1,3
/proc/239558/stat : 239558 (java) S 239555 239558 237209 0 -1 1077936128 43131 0 0 0 2896 32 0 0 20 0 20 0 18615187 19566772224 259797 134679101440 94800070496256 94800070499952 140724307201824 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94800070507768 94800070508560 94800102576128 140724307211179 140724307211361 140724307211361 140724307218376 0
/proc/239558/statm: 4777044 259797 5940 1 0 663080 0
[pid=239558/tid=239560] ppid=239555 vsize=19108176 memory=13520 CPUtime=24.94 cores=1,3
/proc/239558/task/239560/stat : 239560 (java) R 239555 239558 237209 0 -1 4194368 12640 0 0 0 2470 24 0 0 20 0 20 0 18615187 19566772224 259797 134679101440 94800070496256 94800070499952 140724307201824 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94800070507768 94800070508560 94800102576128 140724307211179 140724307211361 140724307211361 140724307218376 0
[pid=239558/tid=239569] ppid=239555 vsize=19108176 memory=13520 CPUtime=0 cores=1,3
/proc/239558/task/239569/stat : 239569 (Finalizer) S 239555 239558 237209 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18615189 19566772224 259797 134679101440 94800070496256 94800070499952 140724307201824 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94800070507768 94800070508560 94800102576128 140724307211179 140724307211361 140724307211361 140724307218376 0
[pid=239558/tid=239576] ppid=239555 vsize=19108176 memory=454372 CPUtime=0 cores=1,3
/proc/239558/task/239576/stat : 239576 (Common-Cleaner) S 239555 239558 237209 0 -1 1077936192 74 0 0 0 0 0 0 0 20 0 20 0 18615190 19566772224 259797 134679101440 94800070496256 94800070499952 140724307201824 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94800070507768 94800070508560 94800102576128 140724307211179 140724307211361 140724307211361 140724307218376 0
[pid=239558/tid=239577] ppid=239555 vsize=19108176 memory=280304598242608 CPUtime=0 cores=1,3
/proc/239558/task/239577/stat : 239577 (Timer-0) S 239555 239558 237209 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18615228 19566772224 259797 134679101440 94800070496256 94800070499952 140724307201824 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94800070507768 94800070508560 94800102576128 140724307211179 140724307211361 140724307211361 140724307218376 0
Current children cumulated CPU time: 29.28 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1039188 KiB
[startup+51.1058 s]
/proc/loadavg: 4.18 4.31 4.25 5/336 239585
/proc/meminfo: memFree=48341216/131524600 swapFree=131057564/131071996
[pid=239558] ppid=239555 vsize=19108176 memory=1616892 CPUtime=54.47 cores=1,3
/proc/239558/stat : 239558 (java) S 239555 239558 237209 0 -1 1077936128 51247 0 0 0 5396 51 0 0 20 0 20 0 18615187 19566772224 404223 134679101440 94800070496256 94800070499952 140724307201824 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94800070507768 94800070508560 94800102576128 140724307211179 140724307211361 140724307211361 140724307218376 0
/proc/239558/statm: 4777044 404223 5940 1 0 663101 0
[pid=239558/tid=239560] ppid=239555 vsize=19108176 memory=1616872 CPUtime=49.89 cores=1,3
/proc/239558/task/239560/stat : 239560 (java) R 239555 239558 237209 0 -1 4194368 14635 0 0 0 4947 42 0 0 20 0 20 0 18615187 19566772224 404223 134679101440 94800070496256 94800070499952 140724307201824 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 53 0 0 94800070507768 94800070508560 94800102576128 140724307211179 140724307211361 140724307211361 140724307218376 0
[pid=239558/tid=239569] ppid=239555 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/239558/task/239569/stat : 239569 (Finalizer) S 239555 239558 237209 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18615189 19566772224 404223 134679101440 94800070496256 94800070499952 140724307201824 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94800070507768 94800070508560 94800102576128 140724307211179 140724307211361 140724307211361 140724307218376 0
################
# More data... #
################
/proc/239558/task/239560/stat : 239560 (java) R 239555 239558 237209 0 -1 4194368 93902 0 0 0 327399 755 0 0 20 0 20 0 18615187 19566772224 649730 134679101440 94800070496256 94800070499952 140724307201824 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 3554 0 0 94800070507768 94800070508560 94800102576128 140724307211179 140724307211361 140724307211361 140724307218376 0
[pid=239558/tid=239569] ppid=239555 vsize=19108176 memory=2598920 CPUtime=0 cores=1,3
/proc/239558/task/239569/stat : 239569 (Finalizer) S 239555 239558 237209 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18615189 19566772224 649730 134679101440 94800070496256 94800070499952 140724307201824 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94800070507768 94800070508560 94800102576128 140724307211179 140724307211361 140724307211361 140724307218376 0
[pid=239558/tid=239576] ppid=239555 vsize=19108176 memory=2598920 CPUtime=0 cores=1,3
/proc/239558/task/239576/stat : 239576 (Common-Cleaner) S 239555 239558 237209 0 -1 1077936192 3646 0 0 0 0 0 0 0 20 0 20 0 18615190 19566772224 649730 134679101440 94800070496256 94800070499952 140724307201824 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94800070507768 94800070508560 94800102576128 140724307211179 140724307211361 140724307211361 140724307218376 0
[pid=239558/tid=239577] ppid=239555 vsize=19108176 memory=2598920 CPUtime=0 cores=1,3
/proc/239558/task/239577/stat : 239577 (Timer-0) S 239555 239558 237209 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18615228 19566772224 649730 134679101440 94800070496256 94800070499952 140724307201824 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94800070507768 94800070508560 94800102576128 140724307211179 140724307211361 140724307211361 140724307218376 0
Current children cumulated CPU time: 3308.32 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2598920 KiB
[startup+3402.3 s]
/proc/loadavg: 4.20 4.22 4.18 5/340 241383
/proc/meminfo: memFree=27989356/131524600 swapFree=131057564/131071996
[pid=239558] ppid=239555 vsize=19108176 memory=2598924 CPUtime=3367.72 cores=1,3
/proc/239558/stat : 239558 (java) S 239555 239558 237209 0 -1 1077936128 226403 0 0 0 335882 890 0 0 20 0 20 0 18615187 19566772224 649731 134679101440 94800070496256 94800070499952 140724307201824 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94800070507768 94800070508560 94800102576128 140724307211179 140724307211361 140724307211361 140724307218376 0
/proc/239558/statm: 4777044 649731 5940 1 0 663376 0
[pid=239558/tid=239560] ppid=239555 vsize=19108176 memory=2598920 CPUtime=3339.71 cores=1,3
/proc/239558/task/239560/stat : 239560 (java) R 239555 239558 237209 0 -1 4194368 95504 0 0 0 333193 778 0 0 20 0 20 0 18615187 19566772224 649731 134679101440 94800070496256 94800070499952 140724307201824 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 3642 0 0 94800070507768 94800070508560 94800102576128 140724307211179 140724307211361 140724307211361 140724307218376 0
[pid=239558/tid=239569] ppid=239555 vsize=19108176 memory=2598920 CPUtime=0 cores=1,3
/proc/239558/task/239569/stat : 239569 (Finalizer) S 239555 239558 237209 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18615189 19566772224 649731 134679101440 94800070496256 94800070499952 140724307201824 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94800070507768 94800070508560 94800102576128 140724307211179 140724307211361 140724307211361 140724307218376 0
[pid=239558/tid=239576] ppid=239555 vsize=19108176 memory=5552 CPUtime=0 cores=1,3
/proc/239558/task/239576/stat : 239576 (Common-Cleaner) S 239555 239558 237209 0 -1 1077936192 3708 0 0 0 0 0 0 0 20 0 20 0 18615190 19566772224 649731 134679101440 94800070496256 94800070499952 140724307201824 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94800070507768 94800070508560 94800102576128 140724307211179 140724307211361 140724307211361 140724307218376 0
[pid=239558/tid=239577] ppid=239555 vsize=19108176 memory=2598924 CPUtime=0 cores=1,3
/proc/239558/task/239577/stat : 239577 (Timer-0) S 239555 239558 237209 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18615228 19566772224 649731 134679101440 94800070496256 94800070499952 140724307201824 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94800070507768 94800070508560 94800102576128 140724307211179 140724307211361 140724307211361 140724307218376 0
Current children cumulated CPU time: 3367.72 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2598924 KiB
[startup+3462.3 s]
/proc/loadavg: 4.30 4.24 4.19 5/340 241464
/proc/meminfo: memFree=35082360/131524600 swapFree=131057564/131071996
[pid=239558] ppid=239555 vsize=19108176 memory=2598940 CPUtime=3427.34 cores=1,3
/proc/239558/stat : 239558 (java) S 239555 239558 237209 0 -1 1077936128 229424 0 0 0 341825 909 0 0 20 0 20 0 18615187 19566772224 649735 134679101440 94800070496256 94800070499952 140724307201824 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94800070507768 94800070508560 94800102576128 140724307211179 140724307211361 140724307211361 140724307218376 0
/proc/239558/statm: 4777044 649735 5940 1 0 663376 0
[pid=239558/tid=239560] ppid=239555 vsize=19108176 memory=2598920 CPUtime=3398.46 cores=1,3
/proc/239558/task/239560/stat : 239560 (java) R 239555 239558 237209 0 -1 4194368 97334 0 0 0 339051 795 0 0 20 0 20 0 18615187 19566772224 649735 134679101440 94800070496256 94800070499952 140724307201824 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 3708 0 0 94800070507768 94800070508560 94800102576128 140724307211179 140724307211361 140724307211361 140724307218376 0
[pid=239558/tid=239569] ppid=239555 vsize=19108176 memory=2598920 CPUtime=0 cores=1,3
/proc/239558/task/239569/stat : 239569 (Finalizer) S 239555 239558 237209 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18615189 19566772224 649735 134679101440 94800070496256 94800070499952 140724307201824 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94800070507768 94800070508560 94800102576128 140724307211179 140724307211361 140724307211361 140724307218376 0
[pid=239558/tid=239576] ppid=239555 vsize=19108176 memory=2598936 CPUtime=0 cores=1,3
/proc/239558/task/239576/stat : 239576 (Common-Cleaner) S 239555 239558 237209 0 -1 1077936192 3708 0 0 0 0 0 0 0 20 0 20 0 18615190 19566772224 649735 134679101440 94800070496256 94800070499952 140724307201824 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94800070507768 94800070508560 94800102576128 140724307211179 140724307211361 140724307211361 140724307218376 0
[pid=239558/tid=239577] ppid=239555 vsize=19108176 memory=2284 CPUtime=0 cores=1,3
/proc/239558/task/239577/stat : 239577 (Timer-0) S 239555 239558 237209 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18615228 19566772224 649735 134679101440 94800070496256 94800070499952 140724307201824 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94800070507768 94800070508560 94800102576128 140724307211179 140724307211361 140724307211361 140724307218376 0
Current children cumulated CPU time: 3427.34 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2598940 KiB
[startup+3522.3 s]
/proc/loadavg: 4.24 4.23 4.18 5/338 241610
/proc/meminfo: memFree=47893584/131524600 swapFree=131057564/131071996
[pid=239558] ppid=239555 vsize=19108176 memory=2598956 CPUtime=3477.68 cores=1,3
/proc/239558/stat : 239558 (java) S 239555 239558 237209 0 -1 1077936128 230627 0 0 0 346842 926 0 0 20 0 20 0 18615187 19566772224 649739 134679101440 94800070496256 94800070499952 140724307201824 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94800070507768 94800070508560 94800102576128 140724307211179 140724307211361 140724307211361 140724307218376 0
/proc/239558/statm: 4777044 649739 5940 1 0 663376 0
[pid=239558/tid=239560] ppid=239555 vsize=19108176 memory=2284 CPUtime=3448.13 cores=1,3
/proc/239558/task/239560/stat : 239560 (java) R 239555 239558 237209 0 -1 4194368 98088 0 0 0 344002 811 0 0 20 0 20 0 18615187 19566772224 649739 134679101440 94800070496256 94800070499952 140724307201824 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 4694 0 0 94800070507768 94800070508560 94800102576128 140724307211179 140724307211361 140724307211361 140724307218376 0
[pid=239558/tid=239569] ppid=239555 vsize=19108176 memory=2598940 CPUtime=0 cores=1,3
/proc/239558/task/239569/stat : 239569 (Finalizer) S 239555 239558 237209 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18615189 19566772224 649739 134679101440 94800070496256 94800070499952 140724307201824 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94800070507768 94800070508560 94800102576128 140724307211179 140724307211361 140724307211361 140724307218376 0
[pid=239558/tid=239576] ppid=239555 vsize=19108176 memory=2598940 CPUtime=0 cores=1,3
/proc/239558/task/239576/stat : 239576 (Common-Cleaner) S 239555 239558 237209 0 -1 1077936192 3765 0 0 0 0 0 0 0 20 0 20 0 18615190 19566772224 649739 134679101440 94800070496256 94800070499952 140724307201824 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94800070507768 94800070508560 94800102576128 140724307211179 140724307211361 140724307211361 140724307218376 0
[pid=239558/tid=239577] ppid=239555 vsize=19108176 memory=2598956 CPUtime=0 cores=1,3
/proc/239558/task/239577/stat : 239577 (Timer-0) S 239555 239558 237209 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18615228 19566772224 649739 134679101440 94800070496256 94800070499952 140724307201824 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94800070507768 94800070508560 94800102576128 140724307211179 140724307211361 140724307211361 140724307218376 0
Current children cumulated CPU time: 3477.68 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2598956 KiB
[startup+3582.3 s]
/proc/loadavg: 4.19 4.21 4.18 4/338 241620
/proc/meminfo: memFree=44792988/131524600 swapFree=131057564/131071996
[pid=239558] ppid=239555 vsize=19108176 memory=2599784 CPUtime=3535.75 cores=1,3
/proc/239558/stat : 239558 (java) S 239555 239558 237209 0 -1 1077936128 240331 0 0 0 352635 940 0 0 20 0 20 0 18615187 19566772224 649946 134679101440 94800070496256 94800070499952 140724307201824 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94800070507768 94800070508560 94800102576128 140724307211179 140724307211361 140724307211361 140724307218376 0
/proc/239558/statm: 4777044 649946 5955 1 0 663576 0
[pid=239558/tid=239560] ppid=239555 vsize=19108176 memory=2599724 CPUtime=3505.08 cores=1,3
/proc/239558/task/239560/stat : 239560 (java) R 239555 239558 237209 0 -1 4194368 100008 0 0 0 349685 823 0 0 20 0 20 0 18615187 19566772224 649946 134679101440 94800070496256 94800070499952 140724307201824 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 4929 0 0 94800070507768 94800070508560 94800102576128 140724307211179 140724307211361 140724307211361 140724307218376 0
[pid=239558/tid=239569] ppid=239555 vsize=19108176 memory=25588 CPUtime=0 cores=1,3
/proc/239558/task/239569/stat : 239569 (Finalizer) S 239555 239558 237209 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18615189 19566772224 649946 134679101440 94800070496256 94800070499952 140724307201824 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94800070507768 94800070508560 94800102576128 140724307211179 140724307211361 140724307211361 140724307218376 0
[pid=239558/tid=239576] ppid=239555 vsize=19108176 memory=2599724 CPUtime=0 cores=1,3
/proc/239558/task/239576/stat : 239576 (Common-Cleaner) S 239555 239558 237209 0 -1 1077936192 3797 0 0 0 0 0 0 0 20 0 20 0 18615190 19566772224 649946 134679101440 94800070496256 94800070499952 140724307201824 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94800070507768 94800070508560 94800102576128 140724307211179 140724307211361 140724307211361 140724307218376 0
[pid=239558/tid=239577] ppid=239555 vsize=19108176 memory=12936 CPUtime=0 cores=1,3
/proc/239558/task/239577/stat : 239577 (Timer-0) S 239555 239558 237209 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18615228 19566772224 649946 134679101440 94800070496256 94800070499952 140724307201824 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94800070507768 94800070508560 94800102576128 140724307211179 140724307211361 140724307211361 140724307218376 0
Current children cumulated CPU time: 3535.75 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2599784 KiB
[startup+3642.3 s]
/proc/loadavg: 4.17 4.20 4.18 6/338 241630
/proc/meminfo: memFree=42879192/131524600 swapFree=131057564/131071996
[pid=239558] ppid=239555 vsize=19108176 memory=2599824 CPUtime=3594.81 cores=1,3
/proc/239558/stat : 239558 (java) S 239555 239558 237209 0 -1 1077936128 243176 0 0 0 358525 956 0 0 20 0 20 0 18615187 19566772224 649956 134679101440 94800070496256 94800070499952 140724307201824 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94800070507768 94800070508560 94800102576128 140724307211179 140724307211361 140724307211361 140724307218376 0
/proc/239558/statm: 4777044 649956 5955 1 0 663576 0
[pid=239558/tid=239560] ppid=239555 vsize=19108176 memory=12936 CPUtime=3563.7 cores=1,3
/proc/239558/task/239560/stat : 239560 (java) R 239555 239558 237209 0 -1 4194368 101876 0 0 0 355531 839 0 0 20 0 20 0 18615187 19566772224 649956 134679101440 94800070496256 94800070499952 140724307201824 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 5025 0 0 94800070507768 94800070508560 94800102576128 140724307211179 140724307211361 140724307211361 140724307218376 0
[pid=239558/tid=239569] ppid=239555 vsize=19108176 memory=75144 CPUtime=0 cores=1,3
/proc/239558/task/239569/stat : 239569 (Finalizer) S 239555 239558 237209 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18615189 19566772224 649956 134679101440 94800070496256 94800070499952 140724307201824 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94800070507768 94800070508560 94800102576128 140724307211179 140724307211361 140724307211361 140724307218376 0
[pid=239558/tid=239576] ppid=239555 vsize=19108176 memory=-8815907748255081148 CPUtime=0 cores=1,3
/proc/239558/task/239576/stat : 239576 (Common-Cleaner) S 239555 239558 237209 0 -1 1077936192 3797 0 0 0 0 0 0 0 20 0 20 0 18615190 19566772224 649956 134679101440 94800070496256 94800070499952 140724307201824 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94800070507768 94800070508560 94800102576128 140724307211179 140724307211361 140724307211361 140724307218376 0
[pid=239558/tid=239577] ppid=239555 vsize=19108176 memory=2599824 CPUtime=0 cores=1,3
/proc/239558/task/239577/stat : 239577 (Timer-0) S 239555 239558 237209 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18615228 19566772224 649956 134679101440 94800070496256 94800070499952 140724307201824 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94800070507768 94800070508560 94800102576128 140724307211179 140724307211361 140724307211361 140724307218376 0
Current children cumulated CPU time: 3594.81 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2599824 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3647.5 s]
/proc/loadavg: 4.15 4.20 4.18 5/334 241633
/proc/meminfo: memFree=42696700/131524600 swapFree=131057564/131071996
[pid=239558] ppid=239555 vsize=19108176 memory=2599824 CPUtime=3600.03 cores=1,3
/proc/239558/stat : 239558 (java) S 239555 239558 237209 0 -1 1077936128 243212 0 0 0 359045 958 0 0 20 0 20 0 18615187 19566772224 649956 134679101440 94800070496256 94800070499952 140724307201824 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94800070507768 94800070508560 94800102576128 140724307211179 140724307211361 140724307211361 140724307218376 0
/proc/239558/statm: 4777044 649956 5955 1 0 663576 0
[pid=239558/tid=239560] ppid=239555 vsize=19108176 memory=12936 CPUtime=3568.85 cores=1,3
/proc/239558/task/239560/stat : 239560 (java) R 239555 239558 237209 0 -1 4194368 101885 0 0 0 356045 840 0 0 20 0 20 0 18615187 19566772224 649956 134679101440 94800070496256 94800070499952 140724307201824 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 5025 0 0 94800070507768 94800070508560 94800102576128 140724307211179 140724307211361 140724307211361 140724307218376 0
[pid=239558/tid=239569] ppid=239555 vsize=19108176 memory=75144 CPUtime=0 cores=1,3
/proc/239558/task/239569/stat : 239569 (Finalizer) S 239555 239558 237209 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18615189 19566772224 649956 134679101440 94800070496256 94800070499952 140724307201824 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94800070507768 94800070508560 94800102576128 140724307211179 140724307211361 140724307211361 140724307218376 0
[pid=239558/tid=239576] ppid=239555 vsize=19108176 memory=2599824 CPUtime=0 cores=1,3
/proc/239558/task/239576/stat : 239576 (Common-Cleaner) S 239555 239558 237209 0 -1 1077936192 3797 0 0 0 0 0 0 0 20 0 20 0 18615190 19566772224 649956 134679101440 94800070496256 94800070499952 140724307201824 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94800070507768 94800070508560 94800102576128 140724307211179 140724307211361 140724307211361 140724307218376 0
[pid=239558/tid=239577] ppid=239555 vsize=19108176 memory=2599824 CPUtime=0 cores=1,3
/proc/239558/task/239577/stat : 239577 (Timer-0) S 239555 239558 237209 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18615228 19566772224 649956 134679101440 94800070496256 94800070499952 140724307201824 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94800070507768 94800070508560 94800102576128 140724307211179 140724307211361 140724307211361 140724307218376 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2599824 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3647.82 s]
# the end of solver process 239558 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3590.78 s, system=9.60022 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3647.61 s]
/proc/loadavg: 4.15 4.20 4.18 5/334 241633
/proc/meminfo: memFree=42696700/131524600 swapFree=131057564/131071996
[pid=239558] ppid=239555 vsize=19307868 memory=2600688 CPUtime=3600.25 cores=1,3
/proc/239558/stat : 239558 (java) S 239555 239558 237209 0 -1 1077936128 246751 0 0 0 359067 958 0 0 20 0 21 0 18615187 19771256832 650172 134679101440 94800070496256 94800070499952 140724307201824 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94800070507768 94800070508560 94800102576128 140724307211179 140724307211361 140724307211361 140724307218376 0
/proc/239558/statm: 4826967 650172 5954 1 0 664554 0
[pid=239558/tid=239560] ppid=239555 vsize=19307868 memory=-8815907748255081148 CPUtime=3568.96 cores=1,3
/proc/239558/task/239560/stat : 239560 (java) R 239555 239558 237209 0 -1 4194368 102035 0 0 0 356056 840 0 0 20 0 21 0 18615187 19771256832 650172 134679101440 94800070496256 94800070499952 140724307201824 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 5025 0 0 94800070507768 94800070508560 94800102576128 140724307211179 140724307211361 140724307211361 140724307218376 0
[pid=239558/tid=239569] ppid=239555 vsize=19307868 memory=16120 CPUtime=0 cores=1,3
/proc/239558/task/239569/stat : 239569 (Finalizer) S 239555 239558 237209 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 21 0 18615189 19771256832 650172 134679101440 94800070496256 94800070499952 140724307201824 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94800070507768 94800070508560 94800102576128 140724307211179 140724307211361 140724307211361 140724307218376 0
[pid=239558/tid=239576] ppid=239555 vsize=19307868 memory=2284 CPUtime=0 cores=1,3
/proc/239558/task/239576/stat : 239576 (Common-Cleaner) S 239555 239558 237209 0 -1 1077936192 3797 0 0 0 0 0 0 0 20 0 21 0 18615190 19771256832 650172 134679101440 94800070496256 94800070499952 140724307201824 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94800070507768 94800070508560 94800102576128 140724307211179 140724307211361 140724307211361 140724307218376 0
Current children cumulated CPU time: 3600.25 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 2600688 KiB
[startup+3647.81 s]
/proc/loadavg: 4.15 4.20 4.18 4/317 241637
/proc/meminfo: memFree=45267860/131524600 swapFree=131057564/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 143
Real time (s): 3647.82
CPU time (s): 3600.38
CPU user time (s): 3590.78
CPU system time (s): 9.60022
CPU usage (%): 98.6997
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 2600688
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.78
system time used= 9.60022
maximum resident set size= 2601464
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 248089
page faults= 0
swaps= 0
block input operations= 0
block output operations= 16589672
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 119529
involuntary context switches= 14698
# summary of solver processes directly reported to runsolver:
# pid: 239558
# total CPU time (s): 3600.38
# total CPU user time (s): 3590.78
# total CPU system time (s): 9.60022
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.9826 second user time and 18.1692 second system time
The end
Begin job on nodeC015 at 2024-07-24 13:35:23 IDJOB=4440525 IDBENCH=155624 IDSOLVER=3079 FILE ID=nodeC015/4440525-1721820923 RUNJOBID= nodeC015-1721817186-237221 SLURM_JOB_ID= 7816866 Free space on /tmp= 890024 MiB SOLVER NAME= Sat4j Resolution 2024 2024-07-07 BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Base/normalized-minisat70_4_22_4.opb COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4440525-1721820923/watcher-4440525-1721820923 -o /tmp/evaluation-result-4440525-1721820923/solver-4440525-1721820923 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721817186-237221 --watchdog 3760 java -Dveripb=PROOFDIR/proof-4440525-1721820923 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4440525-1721820923.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 9e5b0b67365644613b47988ddf91495e RANDOM SEED=363426714 nodeC015.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.992 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3655.002 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.17 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3671.936 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3649.315 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.17 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3671.960 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3681.044 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.17 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.806 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3608.502 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.17 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 50379672 kB MemAvailable: 119892428 kB Buffers: 254400 kB Cached: 69740296 kB SwapCached: 792 kB Active: 2660384 kB Inactive: 77347700 kB Active(anon): 1880 kB Inactive(anon): 10064400 kB Active(file): 2658504 kB Inactive(file): 67283300 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131057564 kB Dirty: 87624 kB Writeback: 0 kB AnonPages: 10012112 kB Mapped: 139232 kB Shmem: 52776 kB KReclaimable: 632360 kB Slab: 763312 kB SReclaimable: 632360 kB SUnreclaim: 130952 kB KernelStack: 5184 kB PageTables: 29836 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 15383932 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 16224 kB HardwareCorrupted: 0 kB AnonHugePages: 7108608 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: 367316 kB DirectMap2M: 43446272 kB DirectMap1G: 92274688 kB Free space on /tmp at the end= 890076 MiB End job on nodeC015 at 2024-07-24 14:36:11