Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Sat4j Resolution 2.3.0 | SAT (TO) | 24 | 1800.2 | 1796.41 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_2.opb |
MD5SUM | af0ded53094abde95c37378ccd6c7afa |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 22 |
Best CPU time to get the best result obtained on this benchmark | 1800.25 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 21 |
Optimality of the best value was proved | NO |
Number of variables | 8901 |
Total number of constraints | 32298 |
Number of constraints which are clauses | 32280 |
Number of constraints which are cardinality constraints (but not clauses) | 1 |
Number of constraints which are nor clauses,nor cardinality constraints | 17 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 790 |
Number of terms in the objective function | 790 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 790 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 30 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 820 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.03/0.09 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.03/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.03/0.09 c See www.sat4j.org for details. 0.03/0.09 c version 2.3.1.v20110525 0.03/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.03/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.03/0.09 c java.vm.version 19.1-b02 0.03/0.09 c java.vm.vendor Sun Microsystems Inc. 0.03/0.09 c sun.arch.data.model 64 0.03/0.09 c java.version 1.6.0_24 0.03/0.09 c os.name Linux 0.03/0.10 c os.version 2.6.18-164.el5 0.03/0.10 c os.arch amd64 0.03/0.10 c Free memory 12995394264 0.03/0.10 c Max memory 13063553024 0.03/0.10 c Total memory 13063553024 0.03/0.10 c Number of processors 8 0.11/0.11 c Pseudo Boolean Optimization 0.11/0.11 c --- Begin Solver configuration --- 0.11/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@38540408 0.11/0.11 c Learn all clauses as in MiniSAT 0.11/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.11/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.11/0.11 c Expensive reason simplification 0.11/0.11 c Armin Biere (Picosat) restarts strategy 0.11/0.11 c Glucose learned constraints deletion strategy 0.11/0.11 c timeout=2147483s 0.11/0.11 c DB Simplification allowed=false 0.11/0.11 c --- End Solver configuration --- 0.11/0.11 c solving HOME/instance-3458516-1307157223.opb 0.11/0.11 c reading problem ... 0.99/0.50 c ... done. Wall clock time 0.392s. 0.99/0.50 c #vars 8901 0.99/0.50 c #constraints 32298 0.99/0.50 c constraints type 0.99/0.50 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 8099 0.99/0.50 c org.sat4j.minisat.constraints.card.MinWatchCard => 1 0.99/0.50 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 24193 0.99/0.59 c SATISFIABLE 0.99/0.59 c OPTIMIZING... 0.99/0.59 c Got one! Elapsed wall clock time (in seconds):0.473 0.99/0.59 o 27 0.99/0.65 c Got one! Elapsed wall clock time (in seconds):0.514 0.99/0.65 o 26 1.58/0.73 c Got one! Elapsed wall clock time (in seconds):0.613 1.58/0.73 o 25 1.71/0.82 c Got one! Elapsed wall clock time (in seconds):0.708 1.71/0.82 o 24 2.94/2.07 c cleaning 2778 clauses out of 5561 with flag 5000/5561 4.45/3.38 c cleaning 4383 clauses out of 8783 with flag 11000/11561 5.85/4.73 c cleaning 5689 clauses out of 11401 with flag 18001/18562 7.66/6.58 c cleaning 6847 clauses out of 13712 with flag 26001/26562 10.12/8.94 c cleaning 7923 clauses out of 15864 with flag 35000/35561 12.52/11.38 c cleaning 8946 clauses out of 17942 with flag 45001/45562 15.32/13.82 c cleaning 9975 clauses out of 19995 with flag 56000/56561 17.94/16.46 c cleaning 11001 clauses out of 22022 with flag 68002/68563 20.84/19.34 c cleaning 11984 clauses out of 24021 with flag 81002/81563 23.67/22.12 c cleaning 12994 clauses out of 26036 with flag 95001/95562 27.26/25.70 c cleaning 14000 clauses out of 28041 with flag 110000/110561 31.16/29.71 c cleaning 15006 clauses out of 30042 with flag 126001/126562 35.46/33.99 c cleaning 15994 clauses out of 32036 with flag 143001/143562 39.48/37.91 c cleaning 17003 clauses out of 34042 with flag 161001/161562 43.89/42.31 c cleaning 17993 clauses out of 36042 with flag 180004/180565 47.99/46.41 c cleaning 18991 clauses out of 38045 with flag 200000/200561 53.09/51.53 c cleaning 20008 clauses out of 40054 with flag 221000/221561 58.30/56.79 c cleaning 20991 clauses out of 42047 with flag 243001/243562 63.51/61.90 c cleaning 22010 clauses out of 44055 with flag 266000/266561 68.73/67.20 c cleaning 23000 clauses out of 46045 with flag 290000/290561 74.53/72.92 c cleaning 23992 clauses out of 48046 with flag 315001/315562 79.74/78.19 c cleaning 25006 clauses out of 50056 with flag 341003/341564 86.24/84.63 c cleaning 26004 clauses out of 52052 with flag 368005/368566 94.35/92.71 c cleaning 26992 clauses out of 54043 with flag 396000/396561 100.45/98.83 c cleaning 27999 clauses out of 56051 with flag 425000/425561 106.87/105.21 c cleaning 28993 clauses out of 58055 with flag 455003/455564 114.78/113.12 c cleaning 30002 clauses out of 60061 with flag 486002/486563 123.49/121.83 c cleaning 31011 clauses out of 62058 with flag 518001/518562 130.11/128.44 c cleaning 32008 clauses out of 64046 with flag 551000/551561 136.82/135.10 c cleaning 32505 clauses out of 65038 with flag 584000/584561 144.02/142.32 c cleaning 32725 clauses out of 65534 with flag 617001/617562 150.83/149.18 c cleaning 32871 clauses out of 65809 with flag 650001/650562 157.53/155.85 c cleaning 32943 clauses out of 65937 with flag 683000/683561 166.14/164.45 c cleaning 32969 clauses out of 65995 with flag 716001/716562 172.66/170.95 c cleaning 32985 clauses out of 66025 with flag 749000/749561 180.67/178.93 c cleaning 32995 clauses out of 66041 with flag 782001/782562 189.27/187.57 c cleaning 32980 clauses out of 66046 with flag 815001/815562 197.49/195.70 c cleaning 33006 clauses out of 66065 with flag 848000/848561 204.99/203.27 c cleaning 32995 clauses out of 66065 with flag 881006/881567 212.40/210.66 c cleaning 32993 clauses out of 66065 with flag 914001/914562 220.11/218.35 c cleaning 33000 clauses out of 66073 with flag 947002/947563 227.33/225.58 c cleaning 33007 clauses out of 66073 with flag 980002/980563 234.62/232.87 c cleaning 33003 clauses out of 66065 with flag 1013001/1013562 242.13/240.31 c cleaning 32980 clauses out of 66062 with flag 1046001/1046562 249.54/247.72 c cleaning 32983 clauses out of 66083 with flag 1079002/1079563 256.95/255.12 c cleaning 33021 clauses out of 66098 with flag 1112000/1112561 265.05/263.26 c cleaning 33009 clauses out of 66078 with flag 1145001/1145562 273.16/271.36 c cleaning 33012 clauses out of 66069 with flag 1178001/1178562 282.17/280.36 c cleaning 33006 clauses out of 66056 with flag 1211000/1211561 291.67/289.81 c cleaning 33000 clauses out of 66051 with flag 1244001/1244562 300.60/298.79 c cleaning 32999 clauses out of 66050 with flag 1277000/1277561 309.31/307.47 c cleaning 32993 clauses out of 66051 with flag 1310000/1310561 317.02/315.14 c cleaning 33006 clauses out of 66059 with flag 1343001/1343562 325.12/323.22 c cleaning 32998 clauses out of 66053 with flag 1376001/1376562 334.26/332.34 c cleaning 33010 clauses out of 66055 with flag 1409001/1409562 343.44/341.57 c cleaning 33011 clauses out of 66044 with flag 1442000/1442561 350.56/348.71 c cleaning 32994 clauses out of 66035 with flag 1475002/1475563 357.97/356.03 c cleaning 32995 clauses out of 66039 with flag 1508000/1508561 365.17/363.23 c cleaning 33001 clauses out of 66049 with flag 1541005/1541566 373.68/371.71 c cleaning 33004 clauses out of 66043 with flag 1574000/1574561 382.29/380.33 c cleaning 33007 clauses out of 66043 with flag 1607004/1607565 389.10/387.11 c cleaning 32995 clauses out of 66033 with flag 1640001/1640562 395.01/393.01 c cleaning 32953 clauses out of 66038 with flag 1673001/1673562 401.21/399.29 c cleaning 32985 clauses out of 66088 with flag 1706004/1706565 407.45/405.50 c cleaning 32994 clauses out of 66101 with flag 1739002/1739563 414.36/412.36 c cleaning 33006 clauses out of 66107 with flag 1772002/1772563 423.27/421.23 c cleaning 33025 clauses out of 66103 with flag 1805004/1805565 430.48/428.48 c cleaning 32998 clauses out of 66074 with flag 1838000/1838561 437.28/435.29 c cleaning 33007 clauses out of 66076 with flag 1871000/1871561 444.69/442.68 c cleaning 32997 clauses out of 66072 with flag 1904003/1904564 452.80/450.74 c cleaning 32993 clauses out of 66073 with flag 1937001/1937562 460.71/458.66 c cleaning 33004 clauses out of 66080 with flag 1970001/1970562 467.82/465.76 c cleaning 33007 clauses out of 66075 with flag 2003000/2003561 475.63/473.53 c cleaning 33016 clauses out of 66069 with flag 2036001/2036562 484.23/482.16 c cleaning 32996 clauses out of 66052 with flag 2069000/2069561 495.34/493.27 c cleaning 33007 clauses out of 66056 with flag 2102000/2102561 504.86/502.78 c cleaning 32958 clauses out of 66050 with flag 2135001/2135562 512.86/510.74 c cleaning 32973 clauses out of 66094 with flag 2168003/2168564 520.28/518.20 c cleaning 33002 clauses out of 66118 with flag 2201000/2201561 528.38/526.23 c cleaning 33012 clauses out of 66117 with flag 2234001/2234562 534.71/532.57 c cleaning 33011 clauses out of 66104 with flag 2267000/2267561 541.50/539.33 c cleaning 33010 clauses out of 66093 with flag 2300000/2300561 549.60/547.40 c cleaning 32984 clauses out of 66083 with flag 2333000/2333561 559.01/556.87 c cleaning 33008 clauses out of 66099 with flag 2366000/2366561 568.62/566.40 c cleaning 32996 clauses out of 66091 with flag 2399000/2399561 577.83/575.65 c cleaning 33009 clauses out of 66095 with flag 2432000/2432561 585.36/583.13 c cleaning 33009 clauses out of 66087 with flag 2465001/2465562 592.65/590.41 c cleaning 33010 clauses out of 66078 with flag 2498001/2498562 600.06/597.86 c cleaning 33010 clauses out of 66068 with flag 2531001/2531562 607.77/605.50 c cleaning 33000 clauses out of 66060 with flag 2564003/2564564 616.47/614.24 c cleaning 33015 clauses out of 66063 with flag 2597006/2597567 624.78/622.60 c cleaning 33000 clauses out of 66042 with flag 2630000/2630561 632.10/629.89 c cleaning 32988 clauses out of 66042 with flag 2663000/2663561 640.20/637.91 c cleaning 32979 clauses out of 66056 with flag 2696002/2696563 647.81/645.56 c cleaning 32986 clauses out of 66076 with flag 2729001/2729562 655.62/653.31 c cleaning 33004 clauses out of 66089 with flag 2762000/2762561 663.23/660.96 c cleaning 33009 clauses out of 66085 with flag 2795000/2795561 670.16/667.89 c cleaning 32997 clauses out of 66076 with flag 2828000/2828561 677.05/674.76 c cleaning 32990 clauses out of 66081 with flag 2861002/2861563 685.58/683.27 c cleaning 33001 clauses out of 66089 with flag 2894000/2894561 693.77/691.47 c cleaning 32982 clauses out of 66090 with flag 2927002/2927563 701.68/699.36 c cleaning 33006 clauses out of 66108 with flag 2960002/2960563 710.09/707.79 c cleaning 33016 clauses out of 66100 with flag 2993000/2993561 717.70/715.38 c cleaning 32997 clauses out of 66084 with flag 3026000/3026561 724.92/722.52 c cleaning 33005 clauses out of 66087 with flag 3059000/3059561 731.74/729.32 c cleaning 33002 clauses out of 66083 with flag 3092001/3092562 740.55/738.16 c cleaning 32997 clauses out of 66080 with flag 3125000/3125561 747.85/745.41 c cleaning 32996 clauses out of 66091 with flag 3158008/3158569 755.66/753.21 c cleaning 33013 clauses out of 66087 with flag 3191000/3191561 764.37/761.99 c cleaning 32996 clauses out of 66075 with flag 3224001/3224562 774.19/771.75 c cleaning 32997 clauses out of 66078 with flag 3257000/3257561 782.90/780.45 c cleaning 32993 clauses out of 66083 with flag 3290002/3290563 789.21/786.80 c cleaning 32999 clauses out of 66088 with flag 3323000/3323561 795.64/793.12 c cleaning 32993 clauses out of 66089 with flag 3356000/3356561 802.44/799.93 c cleaning 32992 clauses out of 66096 with flag 3389000/3389561 809.84/807.38 c cleaning 32997 clauses out of 66106 with flag 3422002/3422563 818.76/816.29 c cleaning 33015 clauses out of 66107 with flag 3455000/3455561 827.57/825.07 c cleaning 33015 clauses out of 66092 with flag 3488000/3488561 836.38/833.85 c cleaning 33005 clauses out of 66081 with flag 3521004/3521565 845.58/843.03 c cleaning 32997 clauses out of 66073 with flag 3554001/3554562 854.49/851.99 c cleaning 32997 clauses out of 66076 with flag 3587001/3587562 863.50/860.94 c cleaning 33004 clauses out of 66078 with flag 3620000/3620561 873.21/870.62 c cleaning 32988 clauses out of 66074 with flag 3653000/3653561 879.91/877.39 c cleaning 32995 clauses out of 66087 with flag 3686001/3686562 887.92/885.32 c cleaning 32990 clauses out of 66092 with flag 3719001/3719562 896.33/893.78 c cleaning 32989 clauses out of 66103 with flag 3752002/3752563 905.75/903.15 c cleaning 32988 clauses out of 66113 with flag 3785001/3785562 914.66/912.07 c cleaning 33003 clauses out of 66124 with flag 3818000/3818561 923.55/920.93 c cleaning 32992 clauses out of 66121 with flag 3851000/3851561 931.76/929.15 c cleaning 33009 clauses out of 66131 with flag 3884002/3884563 940.67/938.06 c cleaning 32995 clauses out of 66121 with flag 3917001/3917562 949.27/946.61 c cleaning 33008 clauses out of 66127 with flag 3950002/3950563 959.39/956.71 c cleaning 32988 clauses out of 66117 with flag 3983000/3983561 967.00/964.38 c cleaning 33042 clauses out of 66129 with flag 4016000/4016561 975.32/972.65 c cleaning 33027 clauses out of 66089 with flag 4049002/4049563 983.13/980.48 c cleaning 33013 clauses out of 66061 with flag 4082001/4082562 990.55/987.91 c cleaning 33005 clauses out of 66047 with flag 4115000/4115561 998.65/995.99 c cleaning 33002 clauses out of 66043 with flag 4148001/4148562 1007.26/1004.58 c cleaning 33005 clauses out of 66043 with flag 4181003/4181564 1015.77/1013.01 c cleaning 32992 clauses out of 66035 with flag 4214000/4214561 1024.18/1021.43 c cleaning 33002 clauses out of 66043 with flag 4247000/4247561 1032.78/1030.09 c cleaning 32989 clauses out of 66041 with flag 4280000/4280561 1041.59/1038.80 c cleaning 33013 clauses out of 66054 with flag 4313002/4313563 1049.69/1046.99 c cleaning 32999 clauses out of 66039 with flag 4346000/4346561 1058.30/1055.51 c cleaning 33001 clauses out of 66040 with flag 4379000/4379561 1065.42/1062.66 c cleaning 32996 clauses out of 66039 with flag 4412000/4412561 1073.01/1070.21 c cleaning 33004 clauses out of 66044 with flag 4445001/4445562 1080.43/1077.65 c cleaning 33003 clauses out of 66039 with flag 4478000/4478561 1087.56/1084.72 c cleaning 32985 clauses out of 66037 with flag 4511001/4511562 1094.95/1092.14 c cleaning 32999 clauses out of 66054 with flag 4544003/4544564 1103.85/1101.06 c cleaning 32996 clauses out of 66052 with flag 4577000/4577561 1109.26/1106.48 c cleaning 32991 clauses out of 66056 with flag 4610000/4610561 1118.07/1115.21 c cleaning 32996 clauses out of 66065 with flag 4643000/4643561 1125.79/1122.94 c cleaning 33006 clauses out of 66070 with flag 4676001/4676562 1133.30/1130.48 c cleaning 33016 clauses out of 66063 with flag 4709000/4709561 1140.31/1137.48 c cleaning 32985 clauses out of 66047 with flag 4742000/4742561 1148.61/1145.79 c cleaning 33015 clauses out of 66067 with flag 4775005/4775566 1157.12/1154.26 c cleaning 32989 clauses out of 66047 with flag 4808000/4808561 1165.53/1162.66 c cleaning 33003 clauses out of 66060 with flag 4841002/4841563 1173.25/1170.31 c cleaning 32995 clauses out of 66055 with flag 4874000/4874561 1180.86/1177.96 c cleaning 33006 clauses out of 66060 with flag 4907000/4907561 1188.27/1185.32 c cleaning 32997 clauses out of 66054 with flag 4940000/4940561 1195.28/1192.41 c cleaning 32992 clauses out of 66057 with flag 4973000/4973561 1203.00/1200.07 c cleaning 32986 clauses out of 66067 with flag 5006002/5006563 1211.30/1208.33 c cleaning 33007 clauses out of 66079 with flag 5039000/5039561 1219.01/1216.02 c cleaning 33000 clauses out of 66072 with flag 5072000/5072561 1226.02/1223.07 c cleaning 32994 clauses out of 66072 with flag 5105000/5105561 1234.63/1231.63 c cleaning 33004 clauses out of 66079 with flag 5138001/5138562 1243.38/1240.34 c cleaning 33013 clauses out of 66074 with flag 5171000/5171561 1251.71/1248.64 c cleaning 32998 clauses out of 66063 with flag 5204002/5204563 1259.90/1256.89 c cleaning 33010 clauses out of 66066 with flag 5237003/5237564 1267.81/1264.73 c cleaning 32984 clauses out of 66055 with flag 5270002/5270563 1276.62/1273.53 c cleaning 33002 clauses out of 66070 with flag 5303001/5303562 1285.33/1282.29 c cleaning 32995 clauses out of 66068 with flag 5336001/5336562 1293.74/1290.62 c cleaning 32991 clauses out of 66075 with flag 5369003/5369564 1303.65/1300.55 c cleaning 33012 clauses out of 66081 with flag 5402000/5402561 1312.66/1309.55 c cleaning 33003 clauses out of 66070 with flag 5435001/5435562 1321.77/1318.63 c cleaning 33006 clauses out of 66067 with flag 5468001/5468562 1329.98/1326.84 c cleaning 32989 clauses out of 66060 with flag 5501000/5501561 1338.19/1335.01 c cleaning 32997 clauses out of 66073 with flag 5534002/5534563 1345.50/1342.31 c cleaning 33006 clauses out of 66079 with flag 5567005/5567566 1353.41/1350.21 c cleaning 32999 clauses out of 66070 with flag 5600002/5600563 1361.91/1358.78 c cleaning 32970 clauses out of 66070 with flag 5633001/5633562 1370.22/1367.01 c cleaning 32987 clauses out of 66099 with flag 5666000/5666561 1378.34/1375.19 c cleaning 32976 clauses out of 66114 with flag 5699002/5699563 1386.43/1383.26 c cleaning 32999 clauses out of 66137 with flag 5732001/5732562 1394.44/1391.29 c cleaning 32995 clauses out of 66138 with flag 5765001/5765562 1403.66/1400.42 c cleaning 33002 clauses out of 66142 with flag 5798000/5798561 1411.95/1408.70 c cleaning 33012 clauses out of 66145 with flag 5831005/5831566 1419.76/1416.52 c cleaning 32993 clauses out of 66130 with flag 5864002/5864563 1427.46/1424.24 c cleaning 33003 clauses out of 66135 with flag 5897000/5897561 1435.48/1432.28 c cleaning 32999 clauses out of 66132 with flag 5930000/5930561 1442.37/1439.18 c cleaning 33001 clauses out of 66133 with flag 5963000/5963561 1450.89/1447.65 c cleaning 33035 clauses out of 66132 with flag 5996000/5996561 1458.89/1455.68 c cleaning 33004 clauses out of 66097 with flag 6029000/6029561 1466.60/1463.34 c cleaning 33013 clauses out of 66094 with flag 6062001/6062562 1474.03/1470.81 c cleaning 32997 clauses out of 66081 with flag 6095001/6095562 1481.02/1477.79 c cleaning 33018 clauses out of 66084 with flag 6128001/6128562 1488.53/1485.25 c cleaning 33009 clauses out of 66067 with flag 6161002/6161563 1495.85/1492.59 c cleaning 32997 clauses out of 66056 with flag 6194000/6194561 1503.66/1500.35 c cleaning 33013 clauses out of 66060 with flag 6227001/6227562 1510.67/1507.34 c cleaning 33003 clauses out of 66047 with flag 6260001/6260562 1517.97/1514.62 c cleaning 32990 clauses out of 66043 with flag 6293000/6293561 1525.58/1522.27 c cleaning 32996 clauses out of 66053 with flag 6326000/6326561 1532.69/1529.34 c cleaning 33005 clauses out of 66059 with flag 6359002/6359563 1540.12/1536.74 c cleaning 32992 clauses out of 66053 with flag 6392001/6392562 1548.02/1544.65 c cleaning 33008 clauses out of 66062 with flag 6425002/6425563 1555.54/1552.19 c cleaning 32996 clauses out of 66052 with flag 6458000/6458561 1563.44/1560.09 c cleaning 32999 clauses out of 66056 with flag 6491000/6491561 1571.55/1568.16 c cleaning 32972 clauses out of 66060 with flag 6524003/6524564 1579.35/1575.94 c cleaning 33001 clauses out of 66085 with flag 6557000/6557561 1587.26/1583.90 c cleaning 33013 clauses out of 66089 with flag 6590005/6590566 1595.18/1591.73 c cleaning 33010 clauses out of 66071 with flag 6623000/6623561 1603.28/1599.81 c cleaning 32971 clauses out of 66061 with flag 6656000/6656561 1611.70/1608.29 c cleaning 33010 clauses out of 66096 with flag 6689006/6689567 1619.41/1615.97 c cleaning 33011 clauses out of 66080 with flag 6722000/6722561 1626.61/1623.17 c cleaning 32986 clauses out of 66069 with flag 6755000/6755561 1634.62/1631.14 c cleaning 33017 clauses out of 66086 with flag 6788003/6788564 1642.83/1639.35 c cleaning 32996 clauses out of 66067 with flag 6821001/6821562 1650.44/1646.90 c cleaning 33003 clauses out of 66072 with flag 6854002/6854563 1658.94/1655.45 c cleaning 33006 clauses out of 66067 with flag 6887000/6887561 1668.06/1664.55 c cleaning 33011 clauses out of 66061 with flag 6920000/6920561 1675.07/1671.51 c cleaning 33009 clauses out of 66053 with flag 6953003/6953564 1683.08/1679.55 c cleaning 33009 clauses out of 66051 with flag 6986010/6986571 1691.29/1687.72 c cleaning 32995 clauses out of 66038 with flag 7019006/7019567 1699.69/1696.19 c cleaning 32998 clauses out of 66037 with flag 7052000/7052561 1708.62/1705.10 c cleaning 32988 clauses out of 66039 with flag 7085000/7085561 1717.01/1713.50 c cleaning 32993 clauses out of 66053 with flag 7118002/7118563 1727.02/1723.40 c cleaning 33005 clauses out of 66060 with flag 7151002/7151563 1734.73/1731.20 c cleaning 32996 clauses out of 66053 with flag 7184000/7184561 1741.65/1738.03 c cleaning 33000 clauses out of 66061 with flag 7217004/7217565 1747.95/1744.35 c cleaning 32998 clauses out of 66058 with flag 7250001/7250562 1754.35/1750.79 c cleaning 32993 clauses out of 66060 with flag 7283001/7283562 1761.86/1758.23 c cleaning 33003 clauses out of 66066 with flag 7316000/7316561 1769.28/1765.63 c cleaning 32997 clauses out of 66064 with flag 7349001/7349562 1777.27/1773.64 c cleaning 33000 clauses out of 66067 with flag 7382001/7382562 1785.48/1781.82 c cleaning 32998 clauses out of 66066 with flag 7415000/7415561 1793.69/1790.07 c cleaning 32998 clauses out of 66068 with flag 7448000/7448561 1800.03/1796.34 c starts : 301 1800.03/1796.34 c conflicts : 7473511 1800.03/1796.34 c decisions : 25614638 1800.03/1796.34 c propagations : 2875615248 1800.03/1796.34 c inspects : 8933571256 1800.03/1796.34 c shortcuts : 0 1800.03/1796.34 c learnt literals : 0 1800.03/1796.34 c learnt binary clauses : 4 1800.03/1796.34 c learnt ternary clauses : 0 1800.03/1796.34 c learnt constraints : 7473512 1800.03/1796.34 c ignored constraints : 0 1800.03/1796.34 c root simplifications : 0 1800.03/1796.34 c removed literals (reason simplification) : 486719002 1800.03/1796.34 c reason swapping (by a shorter reason) : 0 1800.03/1796.34 c Calls to reduceDB : 238 1800.03/1796.34 c number of reductions to clauses (during analyze) : 0 1800.03/1796.34 c number of learned constraints concerned by reduction : 0 1800.03/1796.34 c number of learning phase by resolution : 0 1800.03/1796.34 c number of learning phase by cutting planes : 0 1800.03/1796.34 c speed (assignments/second) : 1601548.531847563 1800.03/1796.34 c non guided choices 44648 1800.03/1796.37 c learnt constraints type 1800.03/1796.37 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 4 1800.03/1796.37 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 58100 1800.03/1796.37 c constraints type 1800.03/1796.37 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 8099 1800.03/1796.37 c org.sat4j.minisat.constraints.card.MinWatchCard => 2 1800.03/1796.37 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 24193 1800.03/1796.37 s SATISFIABLE 1800.03/1796.38 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 1800.03/1796.39 c objective function=24 1800.03/1796.39 c Total wall clock time (in seconds): 1796.283
OK 24
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) 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. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3458516-1307157223/watcher-3458516-1307157223 -o /tmp/evaluation-result-3458516-1307157223/solver-3458516-1307157223 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458516-1307157223.opb running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.03 2.03 2.00 3/542 25135 /proc/meminfo: memFree=23570284/32951124 swapFree=56930356/67111528 [pid=25135] ppid=25133 vsize=13508980 CPUtime=0 cores=0,2,4,6 /proc/25135/stat : 25135 (java) S 25133 25135 21636 0 -1 4202496 2105 0 1 0 0 0 0 0 25 0 2 0 827320023 13833195520 1807 33554432000 1073741824 1073778376 140737483147360 18446744073709551615 218917533669 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 /proc/25135/statm: 3377245 1819 906 9 0 3368401 0 [pid=25135/tid=25136] ppid=25133 vsize=13526316 CPUtime=0 cores=0,2,4,6 /proc/25135/task/25136/stat : 25136 (java) R 25133 25135 21636 0 -1 4202560 5777 0 1 0 0 0 0 0 25 0 2 0 827320024 13850947584 6593 33554432000 1073741824 1073778376 140737483147360 18446744073709551615 218905424955 0 4 0 16784584 0 0 0 -1 2 0 0 0 [startup+0.0462219 s] /proc/loadavg: 2.03 2.03 2.00 3/542 25135 /proc/meminfo: memFree=23570284/32951124 swapFree=56930356/67111528 [pid=25135] ppid=25133 vsize=13549480 CPUtime=0.03 cores=0,2,4,6 /proc/25135/stat : 25135 (java) S 25133 25135 21636 0 -1 4202496 13664 0 1 0 2 1 0 0 25 0 13 0 827320023 13874667520 13361 33554432000 1073741824 1073778376 140737483147360 18446744073709551615 218917533669 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 /proc/25135/statm: 3387370 13363 1655 9 0 3378118 0 [pid=25135/tid=25136] ppid=25133 vsize=13549480 CPUtime=0.02 cores=0,2,4,6 /proc/25135/task/25136/stat : 25136 (java) R 25133 25135 21636 0 -1 4202560 12519 0 1 0 1 1 0 0 25 0 13 0 827320024 13874667520 13363 33554432000 1073741824 1073778376 140737483147360 18446744073709551615 47776462071320 0 4 0 16784584 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 13549480 [startup+0.101253 s] /proc/loadavg: 2.03 2.03 2.00 3/542 25135 /proc/meminfo: memFree=23570284/32951124 swapFree=56930356/67111528 [pid=25135] ppid=25133 vsize=13622032 CPUtime=0.11 cores=0,2,4,6 /proc/25135/stat : 25135 (java) S 25133 25135 21636 0 -1 4202496 15472 0 1 0 9 2 0 0 25 0 18 0 827320023 13948960768 15169 33554432000 1073741824 1073778376 140737483147360 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/25135/statm: 3405508 15170 2092 9 0 3396242 0 [pid=25135/tid=25136] ppid=25133 vsize=13622032 CPUtime=0.08 cores=0,2,4,6 /proc/25135/task/25136/stat : 25136 (java) R 25133 25135 21636 0 -1 4202560 13583 0 1 0 7 1 0 0 18 0 18 0 827320024 13948960768 15170 33554432000 1073741824 1073778376 140737483147360 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 0.11 Current children cumulated vsize (KiB) 13622032 [startup+0.301133 s] /proc/loadavg: 2.03 2.03 2.00 3/542 25135 /proc/meminfo: memFree=23570284/32951124 swapFree=56930356/67111528 [pid=25135] ppid=25133 vsize=13623688 CPUtime=0.5 cores=0,2,4,6 /proc/25135/stat : 25135 (java) S 25133 25135 21636 0 -1 4202496 18536 0 1 0 48 2 0 0 25 0 18 0 827320023 13950656512 17923 33554432000 1073741824 1073778376 140737483147360 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/25135/statm: 3405922 17924 2201 9 0 3396656 0 [pid=25135/tid=25136] ppid=25133 vsize=13623688 CPUtime=0.28 cores=0,2,4,6 /proc/25135/task/25136/stat : 25136 (java) R 25133 25135 21636 0 -1 4202560 15641 0 1 0 26 2 0 0 18 0 18 0 827320024 13950656512 17924 33554432000 1073741824 1073778376 140737483147360 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 0.5 Current children cumulated vsize (KiB) 13623688 [startup+0.713631 s] /proc/loadavg: 2.03 2.03 2.00 3/542 25135 /proc/meminfo: memFree=23570284/32951124 swapFree=56930356/67111528 [pid=25135] ppid=25133 vsize=13628688 CPUtime=1.58 cores=0,2,4,6 /proc/25135/stat : 25135 (java) S 25133 25135 21636 0 -1 4202496 38388 0 1 0 153 5 0 0 25 0 19 0 827320023 13955776512 33862 33554432000 1073741824 1073778376 140737483147360 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/25135/statm: 3407172 33862 2235 9 0 3397906 0 [pid=25135/tid=25136] ppid=25133 vsize=13628688 CPUtime=0.69 cores=0,2,4,6 /proc/25135/task/25136/stat : 25136 (java) R 25133 25135 21636 0 -1 4202560 29724 0 1 0 66 3 0 0 19 0 19 0 827320024 13955776512 33862 33554432000 1073741824 1073778376 140737483147360 18446744073709551615 46912505794954 0 4 0 16800975 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 1.58 Current children cumulated vsize (KiB) 13628688 [startup+1.50098 s] /proc/loadavg: 2.03 2.03 2.00 3/561 25157 /proc/meminfo: memFree=23439012/32951124 swapFree=56930356/67111528 [pid=25135] ppid=25133 vsize=13628688 CPUtime=2.44 cores=0,2,4,6 /proc/25135/stat : 25135 (java) S 25133 25135 21636 0 -1 4202496 39409 0 1 0 239 5 0 0 25 0 19 0 827320023 13955776512 34706 33554432000 1073741824 1073778376 140737483147360 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/25135/statm: 3407172 34706 2238 9 0 3397906 0 [pid=25135/tid=25136] ppid=25133 vsize=13628688 CPUtime=1.48 cores=0,2,4,6 /proc/25135/task/25136/stat : 25136 (java) R 25133 25135 21636 0 -1 4202560 30546 0 1 0 144 4 0 0 20 0 19 0 827320024 13955776512 34706 33554432000 1073741824 1073778376 140737483147360 18446744073709551615 46912505920347 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=25135/tid=25138] ppid=25133 vsize=13628688 CPUtime=0 cores=0,2,4,6 /proc/25135/task/25138/stat : 25138 (java) S 25133 25135 21636 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827320026 13955776512 34706 33554432000 1073741824 1073778376 140737483147360 18446744073709551615 218917546905 0 4 0 16800975 18446604453070542976 0 0 -1 6 0 0 0 [pid=25135/tid=25139] ppid=25133 vsize=13628688 CPUtime=0 cores=0,2,4,6 /proc/25135/task/25139/stat : 25139 (java) S 25133 25135 21636 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827320026 13955776512 34706 33554432000 1073741824 1073778376 140737483147360 18446744073709551615 218917546905 0 4 0 16800975 18446604453070542976 0 0 -1 6 0 0 0 [pid=25135/tid=25140] ppid=25133 vsize=13628688 CPUtime=0 cores=0,2,4,6 /proc/25135/task/25140/stat : 25140 (java) S 25133 25135 21636 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827320026 13955776512 34706 33554432000 1073741824 1073778376 140737483147360 18446744073709551615 218917546905 0 4 0 16800975 18446604453070542976 0 0 -1 6 0 0 0 [pid=25135/tid=25142] ppid=25133 vsize=13628688 CPUtime=0 cores=0,2,4,6 /proc/25135/task/25142/stat : 25142 (java) S 25133 25135 21636 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827320026 13955776512 34706 33554432000 1073741824 1073778376 140737483147360 18446744073709551615 218917546905 0 4 0 16800975 18446604453070542976 0 0 -1 6 0 0 0 [pid=25135/tid=25143] ppid=25133 vsize=13628688 CPUtime=0 cores=0,2,4,6 /proc/25135/task/25143/stat : 25143 (java) S 25133 25135 21636 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827320026 13955776512 34706 33554432000 1073741824 1073778376 140737483147360 18446744073709551615 218917546905 0 4 0 16800975 18446604453070542976 0 0 -1 6 0 0 0 [pid=25135/tid=25144] ppid=25133 vsize=13628688 CPUtime=0 cores=0,2,4,6 /proc/25135/task/25144/stat : 25144 (java) S 25133 25135 21636 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827320026 13955776512 34706 33554432000 1073741824 1073778376 140737483147360 18446744073709551615 218917546905 0 4 0 16800975 18446604453070542976 0 0 -1 6 0 0 0 [pid=25135/tid=25145] ppid=25133 vsize=13628688 CPUtime=0 cores=0,2,4,6 /proc/25135/task/25145/stat : 25145 (java) S 25133 25135 21636 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827320026 13955776512 34706 33554432000 1073741824 1073778376 140737483147360 18446744073709551615 218917546905 0 4 0 16800975 18446604453070542976 0 0 -1 6 0 0 0 [pid=25135/tid=25146] ppid=25133 vsize=13628688 CPUtime=0 cores=0,2,4,6 /proc/25135/task/25146/stat : 25146 (java) S 25133 25135 21636 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827320026 13955776512 34706 33554432000 1073741824 1073778376 140737483147360 18446744073709551615 218917546905 0 4 0 16800975 18446604453070542976 0 0 -1 6 0 0 0 [pid=25135/tid=25147] ppid=25133 vsize=13628688 CPUtime=0 cores=0,2,4,6 /proc/25135/task/25147/stat : 25147 (java) S 25133 25135 21636 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 827320027 13955776512 34706 33554432000 1073741824 1073778376 140737483147360 18446744073709551615 218917547520 0 0 0 16800975 18446604453070542976 0 0 -1 2 0 0 0 [pid=25135/tid=25149] ppid=25133 vsize=13628688 CPUtime=0 cores=0,2,4,6 /proc/25135/task/25149/stat : 25149 (java) S 25133 25135 21636 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 827320028 13955776512 34706 33554432000 1073741824 1073778376 140737483147360 18446744073709551615 218917546905 0 4 0 16800975 18446604453070542976 0 0 -1 2 0 0 0 [pid=25135/tid=25150] ppid=25133 vsize=13628688 CPUtime=0 cores=0,2,4,6 /proc/25135/task/25150/stat : 25150 (java) S 25133 25135 21636 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 827320028 13955776512 34706 33554432000 1073741824 1073778376 140737483147360 18446744073709551615 218917546905 0 4 0 16800975 18446604453070542976 0 0 -1 2 0 0 0 [pid=25135/tid=25151] ppid=25133 vsize=13628688 CPUtime=0 cores=0,2,4,6 /proc/25135/task/25151/stat : 25151 (java) S 25133 25135 21636 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827320030 13955776512 34706 33554432000 1073741824 1073778376 140737483147360 18446744073709551615 218917554609 0 4 0 16800975 18446604453070542976 0 0 -1 2 0 0 0 [pid=25135/tid=25153] ppid=25133 vsize=13628688 CPUtime=0.5 cores=0,2,4,6 /proc/25135/task/25153/stat : 25153 (java) S 25133 25135 21636 0 -1 4202560 5375 0 0 0 50 0 0 0 15 0 19 0 827320030 13955776512 34706 33554432000 1073741824 1073778376 140737483147360 18446744073709551615 218917546905 0 4 0 16800975 18446604453070542976 0 0 -1 0 0 0 0 [pid=25135/tid=25154] ppid=25133 vsize=13628688 CPUtime=0.44 cores=0,2,4,6 /proc/25135/task/25154/stat : 25154 (java) S 25133 25135 21636 0 -1 4202560 2328 0 0 0 44 0 0 0 17 0 19 0 827320030 13955776512 34706 33554432000 1073741824 1073778376 140737483147360 18446744073709551615 218917546905 0 4 0 16800975 18446604453070542976 0 0 -1 6 0 0 0 [pid=25135/tid=25155] ppid=25133 vsize=13628688 CPUtime=0 cores=0,2,4,6 /proc/25135/task/25155/stat : 25155 (java) S 25133 25135 21636 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827320030 13955776512 34706 33554432000 1073741824 1073778376 140737483147360 18446744073709551615 218917546905 0 4 0 16800975 18446604453070542976 0 0 -1 2 0 0 0 [pid=25135/tid=25156] ppid=25133 vsize=13628688 CPUtime=0 cores=0,2,4,6 /proc/25135/task/25156/stat : 25156 (java) S 25133 25135 21636 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827320030 13955776512 34706 33554432000 1073741824 1073778376 140737483147360 18446744073709551615 218917547520 0 4 0 16800975 18446604453070542976 0 0 -1 6 0 0 0 [pid=25135/tid=25157] ppid=25133 vsize=13628688 CPUtime=0 cores=0,2,4,6 /proc/25135/task/25157/stat : 25157 (java) S 25133 25135 21636 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827320076 13955776512 34706 33554432000 1073741824 1073778376 140737483147360 18446744073709551615 218917547520 0 4 0 16800975 18446604453070542976 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 2.44 Current children cumulated vsize (KiB) 13628688 [startup+3.10066 s] /proc/loadavg: 2.03 2.03 2.00 4/561 25157 /proc/meminfo: memFree=23416072/32951124 swapFree=56930356/67111528 [pid=25135] ppid=25133 vsize=13628688 CPUtime=4.24 cores=0,2,4,6 /proc/25135/stat : 25135 (java) S 25133 25135 21636 0 -1 4202496 46301 0 1 0 418 6 0 0 25 0 19 0 827320023 13955776512 37852 33554432000 1073741824 1073778376 140737483147360 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/25135/statm: 3407172 37852 2263 9 0 3397906 0 [pid=25135/tid=25136] ppid=25133 vsize=13628688 CPUtime=3.05 cores=0,2,4,6 /proc/25135/task/25136/stat : 25136 (java) R 25133 25135 21636 0 -1 4202560 30948 0 1 0 301 4 0 0 25 0 19 0 827320024 13955776512 37852 33554432000 1073741824 1073778376 140737483147360 18446744073709551615 46912505878223 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=25135/tid=25138] ppid=25133 vsize=13628688 CPUtime=0 cores=0,2,4,6 /proc/25135/task/25138/stat : 25138 (java) S 25133 25135 21636 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 827320026 13955776512 37852 33554432000 1073741824 1073778376 140737483147360 18446744073709551615 218917546905 0 4 0 16800975 18446604453070542976 0 0 -1 0 0 0 0 [pid=25135/tid=25139] ppid=25133 vsize=13628688 CPUtime=0 cores=0,2,4,6 /proc/25135/task/25139/stat : 25139 (java) S 25133 25135 21636 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 827320026 13955776512 37852 33554432000 1073741824 1073778376 140737483147360 18446744073709551615 218917546905 0 4 0 16800975 18446604453070542976 0 0 -1 6 0 0 0 [pid=25135/tid=25140] ppid=25133 vsize=13628688 CPUtime=0 cores=0,2,4,6 /proc/25135/task/25140/stat : 25140 (java) S 25133 25135 21636 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 827320026 13955776512 37852 33554432000 1073741824 1073778376 140737483147360 18446744073709551615 218917546905 0 4 0 16800975 18446604453070542976 0 0 -1 6 0 0 0 [pid=25135/tid=25142] ppid=25133 vsize=13628688 CPUtime=0 cores=0,2,4,6 /proc/25135/task/25142/stat : 25142 (java) S 25133 25135 21636 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 827320026 13955776512 37852 33554432000 1073741824 1073778376 140737483147360 18446744073709551615 218917546905 0 4 0 16800975 18446604453070542976 0 0 -1 6 0 0 0 [pid=25135/tid=25143] ppid=25133 vsize=13628688 CPUtime=0 cores=0,2,4,6 /proc/25135/task/25143/stat : 25143 (java) S 25133 25135 21636 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 827320026 13955776512 37852 33554432000 1073741824 1073778376 140737483147360 18446744073709551615 218917546905 0 4 0 16800975 18446604453070542976 0 0 -1 0 0 0 0 [pid=25135/tid=25144] ppid=25133 vsize=13628688 CPUtime=0 cores=0,2,4,6 /proc/25135/task/25144/stat : 25144 (java) S 25133 25135 21636 0 -1 4202560 407 0 0 0 0 0 0 0 18 0 19 0 827320026 13955776512 37852 33554432000 1073741824 1073778376 140737483147360 18446744073709551615 218917546905 0 4 0 16800975 18446604453070542976 0 0 -1 0 0 0 0 [pid=25135/tid=25145] ppid=25133 vsize=13628688 CPUtime=0 cores=0,2,4,6 /proc/25135/task/25145/stat : 25145 (java) S 25133 25135 21636 0 -1 4202560 471 0 0 0 0 0 0 0 18 0 19 0 827320026 13955776512 37852 33554432000 1073741824 1073778376 140737483147360 18446744073709551615 218917546905 0 4 0 16800975 18446604453070542976 0 0 -1 6 0 0 0 [pid=25135/tid=25146] ppid=25133 vsize=13628688 CPUtime=0 cores=0,2,4,6 /proc/25135/task/25146/stat : 25146 (java) S 25133 25135 21636 0 -1 4202560 458 0 0 0 0 0 0 0 18 0 19 0 827320026 13955776512 37852 33554432000 1073741824 1073778376 140737483147360 18446744073709551615 218917546905 0 4 0 16800975 18446604453070542976 0 0 -1 6 0 0 0 [pid=25135/tid=25147] ppid=25133 vsize=13628688 CPUtime=0.02 cores=0,2,4,6 /proc/25135/task/25147/stat : 25147 (java) S 25133 25135 21636 0 -1 4202560 1337 0 0 0 2 0 0 0 16 0 19 0 827320027 13955776512 37852 33554432000 1073741824 1073778376 140737483147360 18446744073709551615 218917547520 0 0 0 16800975 18446604453070542976 0 0 -1 2 0 0 0 [pid=25135/tid=25149] ppid=25133 vsize=13628688 CPUtime=0 cores=0,2,4,6 /proc/25135/task/25149/stat : 25149 (java) S 25133 25135 21636 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827320028 13955776512 37852 33554432000 1073741824 1073778376 140737483147360 18446744073709551615 218917546905 0 4 0 16800975 18446604453070542976 0 0 -1 2 0 0 0 [pid=25135/tid=25150] ppid=25133 vsize=13628688 CPUtime=0 cores=0,2,4,6 /proc/25135/task/25150/stat : 25150 (java) S 25133 25135 21636 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 827320028 13955776512 37852 33554432000 1073741824 1073778376 140737483147360 18446744073709551615 218917546905 0 4 0 16800975 18446604453070542976 0 0 -1 2 0 0 0 [pid=25135/tid=25151] ppid=25133 vsize=13628688 CPUtime=0 cores=0,2,4,6 /proc/25135/task/25151/stat : 25151 (java) S 25133 25135 21636 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827320030 13955776512 37852 33554432000 1073741824 1073778376 140737483147360 18446744073709551615 218917554609 0 4 0 16800975 18446604453070542976 0 0 -1 2 0 0 0 [pid=25135/tid=25153] ppid=25133 vsize=13628688 CPUtime=0.66 cores=0,2,4,6 /proc/25135/task/25153/stat : 25153 (java) S 25133 25135 21636 0 -1 4202560 9190 0 0 0 65 1 0 0 15 0 19 0 827320030 13955776512 37852 33554432000 1073741824 1073778376 140737483147360 18446744073709551615 218917546905 0 4 0 16800975 18446604453070542976 0 0 -1 0 0 0 0 [pid=25135/tid=25154] ppid=25133 vsize=13628688 CPUtime=0.46 cores=0,2,4,6 /proc/25135/task/25154/stat : 25154 (java) S 25133 25135 21636 0 -1 4202560 2334 0 0 0 46 0 0 0 15 0 19 0 827320030 13955776512 37852 33554432000 1073741824 1073778376 140737483147360 18446744073709551615 218917546905 0 4 0 16800975 18446604453070542976 0 0 -1 6 0 0 0 [pid=25135/tid=25155] ppid=25133 vsize=13628688 CPUtime=0 cores=0,2,4,6 /proc/25135/task/25155/stat : 25155 (java) S 25133 25135 21636 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827320030 13955776512 37852 33554432000 1073741824 1073778376 140737483147360 18446744073709551615 218917546905 0 4 0 16800975 18446604453070542976 0 0 -1 2 0 0 0 [pid=25135/tid=25156] ppid=25133 vsize=13628688 CPUtime=0 cores=0,2,4,6 /proc/25135/task/25156/stat : 25156 (java) S 25133 25135 21636 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827320030 13955776512 37852 33554432000 1073741824 1073778376 140737483147360 18446744073709551615 218917547520 0 4 0 16800975 18446604453070542976 0 0 -1 6 0 0 0 [pid=25135/tid=25157] ppid=25133 vsize=13628688 CPUtime=0 cores=0,2,4,6 /proc/25135/task/25157/stat : 25157 (java) S 25133 25135 21636 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827320076 13955776512 37852 33554432000 1073741824 1073778376 140737483147360 18446744073709551615 218917547520 0 4 0 16800975 18446604453070542976 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 4.24 Current children cumulated vsize (KiB) 13628688 [startup+6.30111 s] /proc/loadavg: 2.03 2.03 2.00 3/561 25157 /proc/meminfo: memFree=23418124/32951124 swapFree=56930356/67111528 [pid=25135] ppid=25133 vsize=13628688 CPUtime=7.46 cores=0,2,4,6 /proc/25135/stat : 25135 (java) S 25133 25135 21636 0 -1 4202496 47806 0 1 0 740 6 0 0 25 0 19 0 827320023 13955776512 39336 33554432000 1073741824 1073778376 140737483147360 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/25135/statm: 3407172 39336 2263 9 0 3397906 0 [pid=25135/tid=25136] ppid=25133 vsize=13628688 CPUtime=6.2 cores=0,2,4,6 /proc/25135/task/25136/stat : 25136 (java) R 25133 25135 21636 0 -1 4202560 30952 0 1 0 616 4 0 0 25 0 19 0 827320024 13955776512 39336 33554432000 1073741824 1073778376 140737483147360 18446744073709551615 46912505794954 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=25135/tid=25138] ppid=25133 vsize=13628688 CPUtime=0 cores=0,2,4,6 /proc/25135/task/25138/stat : 25138 (java) S 25133 25135 21636 0 -1 4202560 433 0 0 0 0 0 0 0 16 0 19 0 827320026 13955776512 39336 33554432000 1073741824 1073778376 140737483147360 18446744073709551615 218917546905 0 4 0 16800975 18446604453070542976 0 0 -1 0 0 0 0 [pid=25135/tid=25139] ppid=25133 vsize=13628688 CPUtime=0 cores=0,2,4,6 /proc/25135/task/25139/stat : 25139 (java) S 25133 25135 21636 0 -1 4202560 612 0 0 0 0 0 0 0 15 0 19 0 827320026 13955776512 39336 33554432000 1073741824 1073778376 140737483147360 18446744073709551615 218917546905 0 4 0 16800975 18446604453070542976 0 0 -1 6 0 0 0 [pid=25135/tid=25140] ppid=25133 vsize=13628688 CPUtime=0 cores=0,2,4,6 /proc/25135/task/25140/stat : 25140 (java) S 25133 25135 21636 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827320026 13955776512 39336 33554432000 1073741824 1073778376 140737483147360 18446744073709551615 218917546905 0 4 0 16800975 18446604453070542976 0 0 -1 6 0 0 0 [pid=25135/tid=25142] ppid=25133 vsize=13628688 CPUtime=0 cores=0,2,4,6 /proc/25135/task/25142/stat : 25142 (java) S 25133 25135 21636 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827320026 13955776512 39336 33554432000 1073741824 1073778376 140737483147360 18446744073709551615 218917546905 0 4 0 16800975 18446604453070542976 0 0 -1 6 0 0 0 [pid=25135/tid=25143] ppid=25133 vsize=13628688 CPUtime=0 cores=0,2,4,6 /proc/25135/task/25143/stat : 25143 (java) S 25133 25135 21636 0 -1 4202560 138 0 0 0 0 0 0 0 16 0 19 0 827320026 13955776512 39336 33554432000 1073741824 1073778376 140737483147360 18446744073709551615 218917546905 0 4 0 16800975 18446604453070542976 0 0 -1 6 0 0 0 [pid=25135/tid=25144] ppid=25133 vsize=13628688 CPUtime=0 cores=0,2,4,6 /proc/25135/task/25144/stat : 25144 (java) S 25133 25135 21636 0 -1 4202560 407 0 0 0 0 0 0 0 18 0 19 0 827320026 13955776512 39336 33554432000 1073741824 1073778376 140737483147360 18446744073709551615 218917546905 0 4 0 16800975 18446604453070542976 0 0 -1 0 0 0 0 [pid=25135/tid=25145] ppid=25133 vsize=13628688 CPUtime=0 cores=0,2,4,6 /proc/25135/task/25145/stat : 25145 (java) S 25133 25135 21636 0 -1 4202560 475 0 0 0 0 0 0 0 15 0 19 0 827320026 13955776512 39336 33554432000 1073741824 1073778376 140737483147360 18446744073709551615 218917546905 0 4 0 16800975 18446604453070542976 0 0 -1 6 0 0 0 [pid=25135/tid=25146] ppid=25133 vsize=13628688 CPUtime=0 cores=0,2,4,6 /proc/25135/task/25146/stat : 25146 (java) S 25133 25135 21636 0 -1 4202560 458 0 0 0 0 0 0 0 15 0 19 0 827320026 13955776512 39336 33554432000 1073741824 1073778376 140737483147360 18446744073709551615 218917546905 0 4 0 16800975 18446604453070542976 0 0 -1 6 0 0 0 [pid=25135/tid=25147] ppid=25133 vsize=13628688 CPUtime=0.07 cores=0,2,4,6 /proc/25135/task/25147/stat : 25147 (java) S 25133 25135 21636 0 -1 4202560 1653 0 0 0 7 0 0 0 15 0 19 0 827320027 13955776512 39336 33554432000 1073741824 1073778376 140737483147360 18446744073709551615 218917547520 0 0 0 16800975 18446604453070542976 0 0 -1 2 0 0 0 [pid=25135/tid=25149] ppid=25133 vsize=13628688 CPUtime=0 cores=0,2,4,6 /proc/25135/task/25149/stat : 25149 (java) S 25133 25135 21636 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827320028 13955776512 39336 33554432000 1073741824 1073778376 140737483147360 18446744073709551615 218917546905 0 4 0 16800975 18446604453070542976 0 0 -1 2 0 0 0 [pid=25135/tid=25150] ppid=25133 vsize=13628688 CPUtime=0 cores=0,2,4,6 /proc/25135/task/25150/stat : 25150 (java) S 25133 25135 21636 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 827320028 13955776512 39336 33554432000 1073741824 1073778376 140737483147360 18446744073709551615 218917546905 0 4 0 16800975 18446604453070542976 0 0 -1 2 0 0 0 [pid=25135/tid=25151] ppid=25133 vsize=13628688 CPUtime=0 cores=0,2,4,6 /proc/25135/task/25151/stat : 25151 (java) S 25133 25135 21636 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827320030 13955776512 39336 33554432000 1073741824 1073778376 140737483147360 18446744073709551615 218917554609 0 4 0 16800975 18446604453070542976 0 0 -1 2 0 0 0 [pid=25135/tid=25153] ppid=25133 vsize=13628688 CPUtime=0.66 cores=0,2,4,6 /proc/25135/task/25153/stat : 25153 (java) S 25133 25135 21636 0 -1 4202560 9190 0 0 0 65 1 0 0 15 0 19 0 827320030 13955776512 39336 33554432000 1073741824 1073778376 140737483147360 18446744073709551615 218917546905 0 4 0 16800975 18446604453070542976 0 0 -1 0 0 0 0 [pid=25135/tid=25154] ppid=25133 vsize=13628688 CPUtime=0.47 cores=0,2,4,6 /proc/25135/task/25154/stat : 25154 (java) S 25133 25135 21636 0 -1 4202560 2335 0 0 0 47 0 0 0 15 0 19 0 827320030 13955776512 39336 33554432000 1073741824 1073778376 140737483147360 18446744073709551615 218917546905 0 4 0 16800975 18446604453070542976 0 0 -1 0 0 0 0 ################ # More data... # ################ [pid=25135/tid=25144] ppid=25133 vsize=13628252 CPUtime=0.44 cores=0,2,4,6 /proc/25135/task/25144/stat : 25144 (java) S 25133 25135 21636 0 -1 4202560 2220 0 0 0 44 0 0 0 16 0 19 0 827320026 13955330048 63571 33554432000 1073741824 1073778376 140737483147360 18446744073709551615 218917546905 0 4 0 16800975 18446604453070542976 0 0 -1 6 0 0 0 [pid=25135/tid=25145] ppid=25133 vsize=13628252 CPUtime=0.36 cores=0,2,4,6 /proc/25135/task/25145/stat : 25145 (java) S 25133 25135 21636 0 -1 4202560 3345 0 0 0 36 0 0 0 16 0 19 0 827320026 13955330048 63571 33554432000 1073741824 1073778376 140737483147360 18446744073709551615 218917546905 0 4 0 16800975 18446604453070542976 0 0 -1 4 0 0 0 [pid=25135/tid=25146] ppid=25133 vsize=13628252 CPUtime=0.37 cores=0,2,4,6 /proc/25135/task/25146/stat : 25146 (java) S 25133 25135 21636 0 -1 4202560 2938 0 0 0 37 0 0 0 16 0 19 0 827320026 13955330048 63571 33554432000 1073741824 1073778376 140737483147360 18446744073709551615 218917546905 0 4 0 16800975 18446604453070542976 0 0 -1 0 0 0 0 [pid=25135/tid=25147] ppid=25133 vsize=13628252 CPUtime=9.6 cores=0,2,4,6 /proc/25135/task/25147/stat : 25147 (java) S 25133 25135 21636 0 -1 4202560 8624 0 0 0 957 3 0 0 15 0 19 0 827320027 13955330048 63571 33554432000 1073741824 1073778376 140737483147360 18446744073709551615 218917547520 0 0 0 16800975 18446604453070542976 0 0 -1 2 0 0 0 [pid=25135/tid=25149] ppid=25133 vsize=13628252 CPUtime=0 cores=0,2,4,6 /proc/25135/task/25149/stat : 25149 (java) S 25133 25135 21636 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827320028 13955330048 63571 33554432000 1073741824 1073778376 140737483147360 18446744073709551615 218917546905 0 4 0 16800975 18446604453070542976 0 0 -1 2 0 0 0 [pid=25135/tid=25150] ppid=25133 vsize=13628252 CPUtime=0 cores=0,2,4,6 /proc/25135/task/25150/stat : 25150 (java) S 25133 25135 21636 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 827320028 13955330048 63571 33554432000 1073741824 1073778376 140737483147360 18446744073709551615 218917546905 0 4 0 16800975 18446604453070542976 0 0 -1 2 0 0 0 [pid=25135/tid=25151] ppid=25133 vsize=13628252 CPUtime=0 cores=0,2,4,6 /proc/25135/task/25151/stat : 25151 (java) S 25133 25135 21636 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827320030 13955330048 63571 33554432000 1073741824 1073778376 140737483147360 18446744073709551615 218917554609 0 4 0 16800975 18446604453070542976 0 0 -1 2 0 0 0 [pid=25135/tid=25153] ppid=25133 vsize=13628252 CPUtime=0.74 cores=0,2,4,6 /proc/25135/task/25153/stat : 25153 (java) S 25133 25135 21636 0 -1 4202560 9251 0 0 0 73 1 0 0 16 0 19 0 827320030 13955330048 63571 33554432000 1073741824 1073778376 140737483147360 18446744073709551615 218917546905 0 4 0 16800975 18446604453070542976 0 0 -1 0 0 0 0 [pid=25135/tid=25154] ppid=25133 vsize=13628252 CPUtime=0.86 cores=0,2,4,6 /proc/25135/task/25154/stat : 25154 (java) S 25133 25135 21636 0 -1 4202560 7063 0 0 0 85 1 0 0 16 0 19 0 827320030 13955330048 63571 33554432000 1073741824 1073778376 140737483147360 18446744073709551615 218917546905 0 4 0 16800975 18446604453070542976 0 0 -1 2 0 0 0 [pid=25135/tid=25155] ppid=25133 vsize=13628252 CPUtime=0 cores=0,2,4,6 /proc/25135/task/25155/stat : 25155 (java) S 25133 25135 21636 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827320030 13955330048 63571 33554432000 1073741824 1073778376 140737483147360 18446744073709551615 218917546905 0 4 0 16800975 18446604453070542976 0 0 -1 2 0 0 0 [pid=25135/tid=25156] ppid=25133 vsize=13628252 CPUtime=0 cores=0,2,4,6 /proc/25135/task/25156/stat : 25156 (java) S 25133 25135 21636 0 -1 4202560 95 0 0 0 0 0 0 0 15 0 19 0 827320030 13955330048 63571 33554432000 1073741824 1073778376 140737483147360 18446744073709551615 218917547520 0 4 0 16800975 18446604453070542976 0 0 -1 0 0 0 0 [pid=25135/tid=25157] ppid=25133 vsize=13628252 CPUtime=0 cores=0,2,4,6 /proc/25135/task/25157/stat : 25157 (java) S 25133 25135 21636 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827320076 13955330048 63571 33554432000 1073741824 1073778376 140737483147360 18446744073709551615 218917547520 0 4 0 16800975 18446604453070542976 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 1665.86 Current children cumulated vsize (KiB) 13628252 [startup+1722.3 s] /proc/loadavg: 2.06 2.03 2.00 3/561 25254 /proc/meminfo: memFree=21822416/32951124 swapFree=56930356/67111528 [pid=25135] ppid=25133 vsize=13628252 CPUtime=1725.92 cores=0,2,4,6 /proc/25135/stat : 25135 (java) S 25133 25135 21636 0 -1 4202496 77483 0 1 0 172575 17 0 0 25 0 19 0 827320023 13955330048 63755 33554432000 1073741824 1073778376 140737483147360 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/25135/statm: 3407063 63755 2264 9 0 3397797 0 [pid=25135/tid=25136] ppid=25133 vsize=13628252 CPUtime=1711.09 cores=0,2,4,6 /proc/25135/task/25136/stat : 25136 (java) R 25133 25135 21636 0 -1 4202560 31179 0 1 0 171103 6 0 0 25 0 19 0 827320024 13955330048 63755 33554432000 1073741824 1073778376 140737483147360 18446744073709551615 46912505901052 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=25135/tid=25138] ppid=25133 vsize=13628252 CPUtime=0.41 cores=0,2,4,6 /proc/25135/task/25138/stat : 25138 (java) S 25133 25135 21636 0 -1 4202560 1731 0 0 0 41 0 0 0 15 0 19 0 827320026 13955330048 63755 33554432000 1073741824 1073778376 140737483147360 18446744073709551615 218917546905 0 4 0 16800975 18446604453070542976 0 0 -1 4 0 0 0 [pid=25135/tid=25139] ppid=25133 vsize=13628252 CPUtime=0.37 cores=0,2,4,6 /proc/25135/task/25139/stat : 25139 (java) S 25133 25135 21636 0 -1 4202560 1172 0 0 0 37 0 0 0 15 0 19 0 827320026 13955330048 63755 33554432000 1073741824 1073778376 140737483147360 18446744073709551615 218917546905 0 4 0 16800975 18446604453070542976 0 0 -1 0 0 0 0 [pid=25135/tid=25140] ppid=25133 vsize=13628252 CPUtime=0.42 cores=0,2,4,6 /proc/25135/task/25140/stat : 25140 (java) S 25133 25135 21636 0 -1 4202560 1718 0 0 0 42 0 0 0 15 0 19 0 827320026 13955330048 63755 33554432000 1073741824 1073778376 140737483147360 18446744073709551615 218917546905 0 4 0 16800975 18446604453070542976 0 0 -1 6 0 0 0 [pid=25135/tid=25142] ppid=25133 vsize=13628252 CPUtime=0.35 cores=0,2,4,6 /proc/25135/task/25142/stat : 25142 (java) S 25133 25135 21636 0 -1 4202560 2835 0 0 0 35 0 0 0 16 0 19 0 827320026 13955330048 63755 33554432000 1073741824 1073778376 140737483147360 18446744073709551615 218917546905 0 4 0 16800975 18446604453070542976 0 0 -1 6 0 0 0 [pid=25135/tid=25143] ppid=25133 vsize=13628252 CPUtime=0.43 cores=0,2,4,6 /proc/25135/task/25143/stat : 25143 (java) S 25133 25135 21636 0 -1 4202560 3971 0 0 0 43 0 0 0 16 0 19 0 827320026 13955330048 63755 33554432000 1073741824 1073778376 140737483147360 18446744073709551615 218917546905 0 4 0 16800975 18446604453070542976 0 0 -1 0 0 0 0 [pid=25135/tid=25144] ppid=25133 vsize=13628252 CPUtime=0.45 cores=0,2,4,6 /proc/25135/task/25144/stat : 25144 (java) S 25133 25135 21636 0 -1 4202560 2220 0 0 0 45 0 0 0 15 0 19 0 827320026 13955330048 63755 33554432000 1073741824 1073778376 140737483147360 18446744073709551615 218917546905 0 4 0 16800975 18446604453070542976 0 0 -1 6 0 0 0 [pid=25135/tid=25145] ppid=25133 vsize=13628252 CPUtime=0.36 cores=0,2,4,6 /proc/25135/task/25145/stat : 25145 (java) S 25133 25135 21636 0 -1 4202560 3345 0 0 0 36 0 0 0 15 0 19 0 827320026 13955330048 63755 33554432000 1073741824 1073778376 140737483147360 18446744073709551615 218917546905 0 4 0 16800975 18446604453070542976 0 0 -1 4 0 0 0 [pid=25135/tid=25146] ppid=25133 vsize=13628252 CPUtime=0.39 cores=0,2,4,6 /proc/25135/task/25146/stat : 25146 (java) S 25133 25135 21636 0 -1 4202560 2942 0 0 0 39 0 0 0 15 0 19 0 827320026 13955330048 63755 33554432000 1073741824 1073778376 140737483147360 18446744073709551615 218917546905 0 4 0 16800975 18446604453070542976 0 0 -1 6 0 0 0 [pid=25135/tid=25147] ppid=25133 vsize=13628252 CPUtime=9.94 cores=0,2,4,6 /proc/25135/task/25147/stat : 25147 (java) S 25133 25135 21636 0 -1 4202560 8807 0 0 0 991 3 0 0 15 0 19 0 827320027 13955330048 63755 33554432000 1073741824 1073778376 140737483147360 18446744073709551615 218917547520 0 0 0 16800975 18446604453070542976 0 0 -1 2 0 0 0 [pid=25135/tid=25149] ppid=25133 vsize=13628252 CPUtime=0 cores=0,2,4,6 /proc/25135/task/25149/stat : 25149 (java) S 25133 25135 21636 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827320028 13955330048 63755 33554432000 1073741824 1073778376 140737483147360 18446744073709551615 218917546905 0 4 0 16800975 18446604453070542976 0 0 -1 2 0 0 0 [pid=25135/tid=25150] ppid=25133 vsize=13628252 CPUtime=0 cores=0,2,4,6 /proc/25135/task/25150/stat : 25150 (java) S 25133 25135 21636 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 827320028 13955330048 63755 33554432000 1073741824 1073778376 140737483147360 18446744073709551615 218917546905 0 4 0 16800975 18446604453070542976 0 0 -1 2 0 0 0 [pid=25135/tid=25151] ppid=25133 vsize=13628252 CPUtime=0 cores=0,2,4,6 /proc/25135/task/25151/stat : 25151 (java) S 25133 25135 21636 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827320030 13955330048 63755 33554432000 1073741824 1073778376 140737483147360 18446744073709551615 218917554609 0 4 0 16800975 18446604453070542976 0 0 -1 2 0 0 0 [pid=25135/tid=25153] ppid=25133 vsize=13628252 CPUtime=0.74 cores=0,2,4,6 /proc/25135/task/25153/stat : 25153 (java) S 25133 25135 21636 0 -1 4202560 9251 0 0 0 73 1 0 0 16 0 19 0 827320030 13955330048 63755 33554432000 1073741824 1073778376 140737483147360 18446744073709551615 218917546905 0 4 0 16800975 18446604453070542976 0 0 -1 0 0 0 0 [pid=25135/tid=25154] ppid=25133 vsize=13628252 CPUtime=0.86 cores=0,2,4,6 /proc/25135/task/25154/stat : 25154 (java) S 25133 25135 21636 0 -1 4202560 7063 0 0 0 85 1 0 0 16 0 19 0 827320030 13955330048 63755 33554432000 1073741824 1073778376 140737483147360 18446744073709551615 218917546905 0 4 0 16800975 18446604453070542976 0 0 -1 2 0 0 0 [pid=25135/tid=25155] ppid=25133 vsize=13628252 CPUtime=0 cores=0,2,4,6 /proc/25135/task/25155/stat : 25155 (java) S 25133 25135 21636 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827320030 13955330048 63755 33554432000 1073741824 1073778376 140737483147360 18446744073709551615 218917546905 0 4 0 16800975 18446604453070542976 0 0 -1 2 0 0 0 [pid=25135/tid=25156] ppid=25133 vsize=13628252 CPUtime=0 cores=0,2,4,6 /proc/25135/task/25156/stat : 25156 (java) S 25133 25135 21636 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 827320030 13955330048 63755 33554432000 1073741824 1073778376 140737483147360 18446744073709551615 218917547520 0 4 0 16800975 18446604453070542976 0 0 -1 0 0 0 0 [pid=25135/tid=25157] ppid=25133 vsize=13628252 CPUtime=0 cores=0,2,4,6 /proc/25135/task/25157/stat : 25157 (java) S 25133 25135 21636 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827320076 13955330048 63755 33554432000 1073741824 1073778376 140737483147360 18446744073709551615 218917547520 0 4 0 16800975 18446604453070542976 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 1725.92 Current children cumulated vsize (KiB) 13628252 [startup+1782.3 s] /proc/loadavg: 2.07 2.04 2.00 3/561 25255 /proc/meminfo: memFree=21821600/32951124 swapFree=56930356/67111528 [pid=25135] ppid=25133 vsize=13628252 CPUtime=1785.99 cores=0,2,4,6 /proc/25135/stat : 25135 (java) S 25133 25135 21636 0 -1 4202496 77583 0 1 0 178582 17 0 0 25 0 19 0 827320023 13955330048 63838 33554432000 1073741824 1073778376 140737483147360 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/25135/statm: 3407063 63838 2264 9 0 3397797 0 [pid=25135/tid=25136] ppid=25133 vsize=13628252 CPUtime=1770.62 cores=0,2,4,6 /proc/25135/task/25136/stat : 25136 (java) R 25133 25135 21636 0 -1 4202560 31188 0 1 0 177056 6 0 0 25 0 19 0 827320024 13955330048 63838 33554432000 1073741824 1073778376 140737483147360 18446744073709551615 46912505879936 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=25135/tid=25138] ppid=25133 vsize=13628252 CPUtime=0.42 cores=0,2,4,6 /proc/25135/task/25138/stat : 25138 (java) S 25133 25135 21636 0 -1 4202560 1731 0 0 0 42 0 0 0 16 0 19 0 827320026 13955330048 63838 33554432000 1073741824 1073778376 140737483147360 18446744073709551615 218917546905 0 4 0 16800975 18446604453070542976 0 0 -1 6 0 0 0 [pid=25135/tid=25139] ppid=25133 vsize=13628252 CPUtime=0.38 cores=0,2,4,6 /proc/25135/task/25139/stat : 25139 (java) S 25133 25135 21636 0 -1 4202560 1172 0 0 0 38 0 0 0 16 0 19 0 827320026 13955330048 63838 33554432000 1073741824 1073778376 140737483147360 18446744073709551615 218917546905 0 4 0 16800975 18446604453070542976 0 0 -1 0 0 0 0 [pid=25135/tid=25140] ppid=25133 vsize=13628252 CPUtime=0.44 cores=0,2,4,6 /proc/25135/task/25140/stat : 25140 (java) S 25133 25135 21636 0 -1 4202560 1726 0 0 0 44 0 0 0 15 0 19 0 827320026 13955330048 63838 33554432000 1073741824 1073778376 140737483147360 18446744073709551615 218917546905 0 4 0 16800975 18446604453070542976 0 0 -1 6 0 0 0 [pid=25135/tid=25142] ppid=25133 vsize=13628252 CPUtime=0.36 cores=0,2,4,6 /proc/25135/task/25142/stat : 25142 (java) S 25133 25135 21636 0 -1 4202560 2835 0 0 0 36 0 0 0 15 0 19 0 827320026 13955330048 63838 33554432000 1073741824 1073778376 140737483147360 18446744073709551615 218917546905 0 4 0 16800975 18446604453070542976 0 0 -1 4 0 0 0 [pid=25135/tid=25143] ppid=25133 vsize=13628252 CPUtime=0.44 cores=0,2,4,6 /proc/25135/task/25143/stat : 25143 (java) S 25133 25135 21636 0 -1 4202560 3971 0 0 0 44 0 0 0 15 0 19 0 827320026 13955330048 63838 33554432000 1073741824 1073778376 140737483147360 18446744073709551615 218917546905 0 4 0 16800975 18446604453070542976 0 0 -1 4 0 0 0 [pid=25135/tid=25144] ppid=25133 vsize=13628252 CPUtime=0.45 cores=0,2,4,6 /proc/25135/task/25144/stat : 25144 (java) S 25133 25135 21636 0 -1 4202560 2225 0 0 0 45 0 0 0 15 0 19 0 827320026 13955330048 63838 33554432000 1073741824 1073778376 140737483147360 18446744073709551615 218917546905 0 4 0 16800975 18446604453070542976 0 0 -1 0 0 0 0 [pid=25135/tid=25145] ppid=25133 vsize=13628252 CPUtime=0.38 cores=0,2,4,6 /proc/25135/task/25145/stat : 25145 (java) S 25133 25135 21636 0 -1 4202560 3345 0 0 0 38 0 0 0 16 0 19 0 827320026 13955330048 63838 33554432000 1073741824 1073778376 140737483147360 18446744073709551615 218917546905 0 4 0 16800975 18446604453070542976 0 0 -1 6 0 0 0 [pid=25135/tid=25146] ppid=25133 vsize=13628252 CPUtime=0.4 cores=0,2,4,6 /proc/25135/task/25146/stat : 25146 (java) S 25133 25135 21636 0 -1 4202560 2962 0 0 0 40 0 0 0 15 0 19 0 827320026 13955330048 63838 33554432000 1073741824 1073778376 140737483147360 18446744073709551615 218917546905 0 4 0 16800975 18446604453070542976 0 0 -1 4 0 0 0 [pid=25135/tid=25147] ppid=25133 vsize=13628252 CPUtime=10.37 cores=0,2,4,6 /proc/25135/task/25147/stat : 25147 (java) S 25133 25135 21636 0 -1 4202560 8861 0 0 0 1034 3 0 0 16 0 19 0 827320027 13955330048 63838 33554432000 1073741824 1073778376 140737483147360 18446744073709551615 218917547520 0 0 0 16800975 18446604453070542976 0 0 -1 2 0 0 0 [pid=25135/tid=25149] ppid=25133 vsize=13628252 CPUtime=0 cores=0,2,4,6 /proc/25135/task/25149/stat : 25149 (java) S 25133 25135 21636 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827320028 13955330048 63838 33554432000 1073741824 1073778376 140737483147360 18446744073709551615 218917546905 0 4 0 16800975 18446604453070542976 0 0 -1 2 0 0 0 [pid=25135/tid=25150] ppid=25133 vsize=13628252 CPUtime=0 cores=0,2,4,6 /proc/25135/task/25150/stat : 25150 (java) S 25133 25135 21636 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 827320028 13955330048 63838 33554432000 1073741824 1073778376 140737483147360 18446744073709551615 218917546905 0 4 0 16800975 18446604453070542976 0 0 -1 2 0 0 0 [pid=25135/tid=25151] ppid=25133 vsize=13628252 CPUtime=0 cores=0,2,4,6 /proc/25135/task/25151/stat : 25151 (java) S 25133 25135 21636 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827320030 13955330048 63838 33554432000 1073741824 1073778376 140737483147360 18446744073709551615 218917554609 0 4 0 16800975 18446604453070542976 0 0 -1 2 0 0 0 [pid=25135/tid=25153] ppid=25133 vsize=13628252 CPUtime=0.74 cores=0,2,4,6 /proc/25135/task/25153/stat : 25153 (java) S 25133 25135 21636 0 -1 4202560 9251 0 0 0 73 1 0 0 16 0 19 0 827320030 13955330048 63838 33554432000 1073741824 1073778376 140737483147360 18446744073709551615 218917546905 0 4 0 16800975 18446604453070542976 0 0 -1 0 0 0 0 [pid=25135/tid=25154] ppid=25133 vsize=13628252 CPUtime=0.86 cores=0,2,4,6 /proc/25135/task/25154/stat : 25154 (java) S 25133 25135 21636 0 -1 4202560 7063 0 0 0 85 1 0 0 16 0 19 0 827320030 13955330048 63838 33554432000 1073741824 1073778376 140737483147360 18446744073709551615 218917546905 0 4 0 16800975 18446604453070542976 0 0 -1 2 0 0 0 [pid=25135/tid=25155] ppid=25133 vsize=13628252 CPUtime=0 cores=0,2,4,6 /proc/25135/task/25155/stat : 25155 (java) S 25133 25135 21636 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827320030 13955330048 63838 33554432000 1073741824 1073778376 140737483147360 18446744073709551615 218917546905 0 4 0 16800975 18446604453070542976 0 0 -1 2 0 0 0 [pid=25135/tid=25156] ppid=25133 vsize=13628252 CPUtime=0 cores=0,2,4,6 /proc/25135/task/25156/stat : 25156 (java) S 25133 25135 21636 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 827320030 13955330048 63838 33554432000 1073741824 1073778376 140737483147360 18446744073709551615 218917547520 0 4 0 16800975 18446604453070542976 0 0 -1 0 0 0 0 [pid=25135/tid=25157] ppid=25133 vsize=13628252 CPUtime=0 cores=0,2,4,6 /proc/25135/task/25157/stat : 25157 (java) S 25133 25135 21636 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827320076 13955330048 63838 33554432000 1073741824 1073778376 140737483147360 18446744073709551615 218917547520 0 4 0 16800975 18446604453070542976 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 1785.99 Current children cumulated vsize (KiB) 13628252 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1796.3 s] /proc/loadavg: 2.06 2.03 2.00 4/561 25256 /proc/meminfo: memFree=21821720/32951124 swapFree=56930356/67111528 [pid=25135] ppid=25133 vsize=13628252 CPUtime=1800.03 cores=0,2,4,6 /proc/25135/stat : 25135 (java) S 25133 25135 21636 0 -1 4202496 77603 0 1 0 179986 17 0 0 25 0 19 0 827320023 13955330048 63857 33554432000 1073741824 1073778376 140737483147360 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/25135/statm: 3407063 63857 2264 9 0 3397797 0 [pid=25135/tid=25136] ppid=25133 vsize=13628252 CPUtime=1784.61 cores=0,2,4,6 /proc/25135/task/25136/stat : 25136 (java) R 25133 25135 21636 0 -1 4202560 31189 0 1 0 178455 6 0 0 25 0 19 0 827320024 13955330048 63857 33554432000 1073741824 1073778376 140737483147360 18446744073709551615 46912505920422 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=25135/tid=25138] ppid=25133 vsize=13628252 CPUtime=0.42 cores=0,2,4,6 /proc/25135/task/25138/stat : 25138 (java) S 25133 25135 21636 0 -1 4202560 1731 0 0 0 42 0 0 0 15 0 19 0 827320026 13955330048 63857 33554432000 1073741824 1073778376 140737483147360 18446744073709551615 218917546905 0 4 0 16800975 18446604453070542976 0 0 -1 6 0 0 0 [pid=25135/tid=25139] ppid=25133 vsize=13628252 CPUtime=0.39 cores=0,2,4,6 /proc/25135/task/25139/stat : 25139 (java) S 25133 25135 21636 0 -1 4202560 1172 0 0 0 39 0 0 0 16 0 19 0 827320026 13955330048 63857 33554432000 1073741824 1073778376 140737483147360 18446744073709551615 218917546905 0 4 0 16800975 18446604453070542976 0 0 -1 0 0 0 0 [pid=25135/tid=25140] ppid=25133 vsize=13628252 CPUtime=0.44 cores=0,2,4,6 /proc/25135/task/25140/stat : 25140 (java) S 25133 25135 21636 0 -1 4202560 1726 0 0 0 44 0 0 0 15 0 19 0 827320026 13955330048 63857 33554432000 1073741824 1073778376 140737483147360 18446744073709551615 218917546905 0 4 0 16800975 18446604453070542976 0 0 -1 6 0 0 0 [pid=25135/tid=25142] ppid=25133 vsize=13628252 CPUtime=0.37 cores=0,2,4,6 /proc/25135/task/25142/stat : 25142 (java) S 25133 25135 21636 0 -1 4202560 2835 0 0 0 37 0 0 0 16 0 19 0 827320026 13955330048 63857 33554432000 1073741824 1073778376 140737483147360 18446744073709551615 218917546905 0 4 0 16800975 18446604453070542976 0 0 -1 6 0 0 0 [pid=25135/tid=25143] ppid=25133 vsize=13628252 CPUtime=0.44 cores=0,2,4,6 /proc/25135/task/25143/stat : 25143 (java) S 25133 25135 21636 0 -1 4202560 3971 0 0 0 44 0 0 0 16 0 19 0 827320026 13955330048 63857 33554432000 1073741824 1073778376 140737483147360 18446744073709551615 218917546905 0 4 0 16800975 18446604453070542976 0 0 -1 4 0 0 0 [pid=25135/tid=25144] ppid=25133 vsize=13628252 CPUtime=0.46 cores=0,2,4,6 /proc/25135/task/25144/stat : 25144 (java) S 25133 25135 21636 0 -1 4202560 2225 0 0 0 46 0 0 0 15 0 19 0 827320026 13955330048 63857 33554432000 1073741824 1073778376 140737483147360 18446744073709551615 218917546905 0 4 0 16800975 18446604453070542976 0 0 -1 0 0 0 0 [pid=25135/tid=25145] ppid=25133 vsize=13628252 CPUtime=0.38 cores=0,2,4,6 /proc/25135/task/25145/stat : 25145 (java) S 25133 25135 21636 0 -1 4202560 3345 0 0 0 38 0 0 0 15 0 19 0 827320026 13955330048 63857 33554432000 1073741824 1073778376 140737483147360 18446744073709551615 218917546905 0 4 0 16800975 18446604453070542976 0 0 -1 6 0 0 0 [pid=25135/tid=25146] ppid=25133 vsize=13628252 CPUtime=0.4 cores=0,2,4,6 /proc/25135/task/25146/stat : 25146 (java) S 25133 25135 21636 0 -1 4202560 2962 0 0 0 40 0 0 0 15 0 19 0 827320026 13955330048 63857 33554432000 1073741824 1073778376 140737483147360 18446744073709551615 218917546905 0 4 0 16800975 18446604453070542976 0 0 -1 4 0 0 0 [pid=25135/tid=25147] ppid=25133 vsize=13628252 CPUtime=10.41 cores=0,2,4,6 /proc/25135/task/25147/stat : 25147 (java) S 25133 25135 21636 0 -1 4202560 8880 0 0 0 1038 3 0 0 15 0 19 0 827320027 13955330048 63857 33554432000 1073741824 1073778376 140737483147360 18446744073709551615 218917547520 0 0 0 16800975 18446604453070542976 0 0 -1 2 0 0 0 [pid=25135/tid=25149] ppid=25133 vsize=13628252 CPUtime=0 cores=0,2,4,6 /proc/25135/task/25149/stat : 25149 (java) S 25133 25135 21636 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827320028 13955330048 63857 33554432000 1073741824 1073778376 140737483147360 18446744073709551615 218917546905 0 4 0 16800975 18446604453070542976 0 0 -1 2 0 0 0 [pid=25135/tid=25150] ppid=25133 vsize=13628252 CPUtime=0 cores=0,2,4,6 /proc/25135/task/25150/stat : 25150 (java) S 25133 25135 21636 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 827320028 13955330048 63857 33554432000 1073741824 1073778376 140737483147360 18446744073709551615 218917546905 0 4 0 16800975 18446604453070542976 0 0 -1 2 0 0 0 [pid=25135/tid=25151] ppid=25133 vsize=13628252 CPUtime=0 cores=0,2,4,6 /proc/25135/task/25151/stat : 25151 (java) S 25133 25135 21636 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827320030 13955330048 63857 33554432000 1073741824 1073778376 140737483147360 18446744073709551615 218917554609 0 4 0 16800975 18446604453070542976 0 0 -1 2 0 0 0 [pid=25135/tid=25153] ppid=25133 vsize=13628252 CPUtime=0.74 cores=0,2,4,6 /proc/25135/task/25153/stat : 25153 (java) S 25133 25135 21636 0 -1 4202560 9251 0 0 0 73 1 0 0 16 0 19 0 827320030 13955330048 63857 33554432000 1073741824 1073778376 140737483147360 18446744073709551615 218917546905 0 4 0 16800975 18446604453070542976 0 0 -1 0 0 0 0 [pid=25135/tid=25154] ppid=25133 vsize=13628252 CPUtime=0.86 cores=0,2,4,6 /proc/25135/task/25154/stat : 25154 (java) S 25133 25135 21636 0 -1 4202560 7063 0 0 0 85 1 0 0 16 0 19 0 827320030 13955330048 63857 33554432000 1073741824 1073778376 140737483147360 18446744073709551615 218917546905 0 4 0 16800975 18446604453070542976 0 0 -1 2 0 0 0 [pid=25135/tid=25155] ppid=25133 vsize=13628252 CPUtime=0 cores=0,2,4,6 /proc/25135/task/25155/stat : 25155 (java) S 25133 25135 21636 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827320030 13955330048 63857 33554432000 1073741824 1073778376 140737483147360 18446744073709551615 218917546905 0 4 0 16800975 18446604453070542976 0 0 -1 2 0 0 0 [pid=25135/tid=25156] ppid=25133 vsize=13628252 CPUtime=0 cores=0,2,4,6 /proc/25135/task/25156/stat : 25156 (java) S 25133 25135 21636 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 827320030 13955330048 63857 33554432000 1073741824 1073778376 140737483147360 18446744073709551615 218917547520 0 4 0 16800975 18446604453070542976 0 0 -1 0 0 0 0 [pid=25135/tid=25157] ppid=25133 vsize=13628252 CPUtime=0 cores=0,2,4,6 /proc/25135/task/25157/stat : 25157 (java) S 25133 25135 21636 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827320076 13955330048 63857 33554432000 1073741824 1073778376 140737483147360 18446744073709551615 218917547520 0 4 0 16800975 18446604453070542976 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 13628252 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 143 Real time (s): 1796.41 CPU time (s): 1800.2 CPU user time (s): 1800.01 CPU system time (s): 0.186971 CPU usage (%): 100.211 Max. virtual memory (cumulated for all children) (KiB): 13643920 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.01 system time used= 0.186971 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 77762 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 43497 involuntary context switches= 9851 runsolver used 10.2154 second user time and 20.9488 second system time The end
Begin job on node137 at 2011-06-04 05:13:43 IDJOB=3458516 IDBENCH=25018 IDSOLVER=1952 FILE ID=node137/3458516-1307157223 RUNJOBID= node137-1307155400-24656 PBS_JOBID= 13508779 Free space on /tmp= 73728 MiB SOLVER NAME= Sat4j Resolution 2.3.0 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_2.opb COMMAND LINE= java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3458516-1307157223/watcher-3458516-1307157223 -o /tmp/evaluation-result-3458516-1307157223/solver-3458516-1307157223 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458516-1307157223.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= af0ded53094abde95c37378ccd6c7afa RANDOM SEED=336090993 node137.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.844 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.68 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.844 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.844 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.844 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.844 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.844 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.844 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.844 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 23570448 kB Buffers: 270640 kB Cached: 499088 kB SwapCached: 12312 kB Active: 8658480 kB Inactive: 460480 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 23570448 kB SwapTotal: 67111528 kB SwapFree: 56930356 kB Dirty: 1212 kB Writeback: 0 kB AnonPages: 8346804 kB Mapped: 29644 kB Slab: 116968 kB PageTables: 75344 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 175998216 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73724 MiB End job on node137 at 2011-06-04 05:43:41