Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SAT4J PB specific settings 2.3.2 snapshot | OPT | 519.67 | 516.287 |
| Name | /OPT-BIGINT-LIN/zahidi/Multihop/ normalized-minisat15_5_3_1_mh.opb |
| MD5SUM | 8032cd9ddf37959390b9864499521c4d |
| Bench Category | OPT-BIGINT-LIN (optimisation, big integers, linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 17754249 |
| Best CPU time to get the best result obtained on this benchmark | 47.4378 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 6810 |
| Total number of constraints | 15202 |
| Number of constraints which are clauses | 11580 |
| Number of constraints which are cardinality constraints (but not clauses) | 22 |
| Number of constraints which are nor clauses,nor cardinality constraints | 3600 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 330 |
| Number of terms in the objective function | 3795 |
| Biggest coefficient in the objective function | 92345408 |
| Number of bits for the biggest coefficient in the objective function | 27 |
| Sum of the numbers in the objective function | 4968230641 |
| Number of bits of the sum of numbers in the objective function | 33 |
| Biggest number in a constraint | 92345408 |
| Number of bits of the biggest number in a constraint | 27 |
| Biggest sum of numbers in a constraint | 4968230641 |
| Number of bits of the biggest sum of numbers | 33 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.05/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS 0.05/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.05/0.08 c See www.sat4j.org for details. 0.05/0.08 c This software uses some libraries from the Jakarta Commons project. See jakarta.apache.org for details. 0.05/0.08 c version 2.3.2.v20120418 0.05/0.08 c java.runtime.name Java(TM) SE Runtime Environment 0.05/0.08 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.05/0.08 c java.vm.version 19.1-b02 0.05/0.08 c java.vm.vendor Sun Microsystems Inc. 0.05/0.08 c sun.arch.data.model 64 0.05/0.08 c java.version 1.6.0_24 0.05/0.08 c os.name Linux 0.05/0.08 c os.version 2.6.32-71.29.1.el6.x86_64 0.05/0.08 c os.arch amd64 0.05/0.08 c Free memory 501472288 0.05/0.08 c Max memory 7480803328 0.05/0.08 c Total memory 504102912 0.05/0.08 c Number of processors 8 0.09/0.11 c read org.sat4j.minisat.orders.VarOrderHeap 0.09/0.11 c configuring ORDERS 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@742808b3 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause 0.09/0.12 c Expensive reason simplification 0.09/0.12 c Armin Biere (Picosat) restarts strategy 0.09/0.12 c Glucose learned constraints deletion strategy 0.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=true 0.09/0.12 c Heuristics kept accross calls (keep the solver "hot") 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c solving HOME/instance-3710480-1338251431.opb 0.09/0.12 c reading problem ... 0.71/0.41 c ... done. Wall clock time 0.295s. 0.71/0.41 c declared #vars 6810 0.71/0.41 c #constraints 15626 0.71/0.41 c constraints type 0.71/0.41 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3061 0.71/0.41 c org.sat4j.minisat.constraints.cnf.UnitClauses => 3 0.71/0.41 c org.sat4j.minisat.constraints.card.MinWatchCard => 22 0.71/0.41 c ignored satisfied constraints => 3 0.71/0.41 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9465 0.71/0.41 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 3075 0.71/0.41 c 15629 constraints processed. 2.77/2.04 c cleaning 2489 clauses out of 5002 with flag 5002/5002 4.17/3.37 c cleaning 4250 clauses out of 8511 with flag 11000/11000 5.58/4.72 c cleaning 5629 clauses out of 11261 with flag 18000/18000 7.29/6.43 c cleaning 6810 clauses out of 13632 with flag 26000/26000 8.03/7.16 c SATISFIABLE 8.03/7.16 c OPTIMIZING... 8.03/7.16 c Got one! Elapsed wall clock time (in seconds):7.046 8.03/7.16 o 75580462 8.74/7.74 c cleaning 6011 clauses out of 12030 with flag 3004/31219 9.74/8.72 c cleaning 6001 clauses out of 12012 with flag 9000/37215 11.04/10.10 c cleaning 6501 clauses out of 13011 with flag 16000/44215 11.95/10.92 c cleaning 7246 clauses out of 14509 with flag 24000/52215 12.45/11.49 c Got one! Elapsed wall clock time (in seconds):11.368 12.45/11.49 o 60497172 13.09/12.07 c cleaning 6595 clauses out of 13204 with flag 3000/58176 13.99/12.91 c cleaning 6298 clauses out of 12614 with flag 9005/64181 14.90/13.82 c cleaning 6641 clauses out of 13311 with flag 16000/71176 15.90/14.85 c cleaning 7326 clauses out of 14670 with flag 24000/79176 17.40/16.37 c cleaning 8164 clauses out of 16344 with flag 33000/88176 18.71/17.66 c cleaning 9081 clauses out of 18180 with flag 43000/98176 20.21/19.11 c cleaning 10044 clauses out of 20101 with flag 54002/109178 21.91/20.85 c cleaning 11018 clauses out of 22055 with flag 66000/121176 24.01/22.95 c Got one! Elapsed wall clock time (in seconds):22.837 24.01/22.95 o 52785846 24.87/23.72 c cleaning 14471 clauses out of 28961 with flag 5000/139143 25.48/24.30 c cleaning 10240 clauses out of 20492 with flag 11002/145145 26.19/25.07 c cleaning 8594 clauses out of 17218 with flag 18000/152143 27.09/25.94 c cleaning 8304 clauses out of 16624 with flag 26000/160143 28.11/26.96 c cleaning 8657 clauses out of 17323 with flag 35003/169146 29.21/28.08 c cleaning 9330 clauses out of 18663 with flag 45000/179143 30.86/29.68 c cleaning 10079 clauses out of 20188 with flag 56000/190143 32.36/31.12 c cleaning 11046 clauses out of 22109 with flag 68000/202143 33.87/32.61 c cleaning 12026 clauses out of 24067 with flag 81004/215147 35.68/34.41 c cleaning 13010 clauses out of 26038 with flag 95001/229144 37.30/36.07 c cleaning 14006 clauses out of 28028 with flag 110001/244144 39.52/38.26 c cleaning 15008 clauses out of 30021 with flag 126000/260143 41.93/40.63 c cleaning 15991 clauses out of 32013 with flag 143000/277143 44.72/43.48 c cleaning 16999 clauses out of 34022 with flag 161000/295143 48.22/46.99 c cleaning 17993 clauses out of 36023 with flag 180000/314143 49.53/48.26 c Got one! Elapsed wall clock time (in seconds):48.143 49.53/48.26 o 52594364 50.17/48.84 c cleaning 16963 clauses out of 33954 with flag 5000/330067 50.88/49.57 c cleaning 11486 clauses out of 22991 with flag 11000/336067 51.68/50.39 c cleaning 9233 clauses out of 18506 with flag 18001/343068 52.68/51.32 c cleaning 8609 clauses out of 17273 with flag 26001/351068 53.68/52.34 c cleaning 8816 clauses out of 17663 with flag 35000/360067 54.99/53.65 c cleaning 9418 clauses out of 18852 with flag 45005/370072 56.30/54.97 c cleaning 10201 clauses out of 20429 with flag 56000/381067 57.70/56.34 c cleaning 11100 clauses out of 22228 with flag 68000/393067 59.40/58.10 c Got one! Elapsed wall clock time (in seconds):57.978 59.40/58.10 o 51686384 60.53/59.11 c cleaning 14179 clauses out of 28371 with flag 5001/410310 61.24/59.81 c cleaning 10081 clauses out of 20191 with flag 11000/416309 61.95/60.59 c cleaning 8535 clauses out of 17110 with flag 18000/423309 63.14/61.76 c cleaning 8262 clauses out of 16576 with flag 26001/431310 64.24/62.88 c cleaning 8640 clauses out of 17313 with flag 35000/440309 65.55/64.10 c cleaning 9327 clauses out of 18673 with flag 45000/450309 66.65/65.29 c cleaning 10164 clauses out of 20347 with flag 56001/461310 67.97/66.54 c cleaning 11080 clauses out of 22183 with flag 68001/473310 69.37/67.99 c cleaning 12045 clauses out of 24103 with flag 81001/486310 70.69/69.21 c Got one! Elapsed wall clock time (in seconds):69.096 70.69/69.21 o 51660050 71.29/69.89 c cleaning 11423 clauses out of 22854 with flag 5003/497106 71.60/70.11 c Got one! Elapsed wall clock time (in seconds):69.998 71.60/70.11 o 46550118 72.00/70.60 c cleaning 8517 clauses out of 17067 with flag 4000/502748 72.72/71.25 c cleaning 7257 clauses out of 14552 with flag 10002/508750 73.52/72.06 c cleaning 7112 clauses out of 14294 with flag 17001/515749 74.42/72.92 c cleaning 7578 clauses out of 15181 with flag 25000/523748 75.45/73.90 c cleaning 8285 clauses out of 16603 with flag 34000/532748 76.57/75.04 c cleaning 9152 clauses out of 18318 with flag 44000/542748 76.77/75.25 c Got one! Elapsed wall clock time (in seconds):75.134 76.77/75.25 o 46483503 77.27/75.74 c cleaning 7148 clauses out of 14318 with flag 4002/547949 77.97/76.47 c cleaning 6544 clauses out of 13168 with flag 10000/553947 78.97/77.44 c cleaning 6800 clauses out of 13624 with flag 17000/560947 79.97/78.43 c cleaning 7408 clauses out of 14827 with flag 25003/568950 81.08/79.52 c cleaning 8197 clauses out of 16422 with flag 34006/577953 82.18/80.64 c cleaning 9097 clauses out of 18222 with flag 44003/587950 83.58/82.06 c cleaning 10044 clauses out of 20122 with flag 55000/598947 85.19/83.64 c cleaning 11037 clauses out of 22079 with flag 67001/610948 86.70/85.14 c cleaning 12017 clauses out of 24041 with flag 80000/623947 88.30/86.73 c cleaning 13003 clauses out of 26024 with flag 94000/637947 90.20/88.65 c cleaning 14002 clauses out of 28022 with flag 109001/652948 92.23/90.63 c cleaning 15000 clauses out of 30020 with flag 125001/668948 94.05/92.41 c cleaning 15997 clauses out of 32019 with flag 142000/685947 96.18/94.54 c cleaning 16999 clauses out of 34022 with flag 160000/703947 98.90/97.22 c cleaning 17989 clauses out of 36024 with flag 179001/722948 101.60/99.90 c cleaning 19012 clauses out of 38034 with flag 199000/742947 104.51/102.83 c cleaning 20002 clauses out of 40022 with flag 220000/763947 107.11/105.44 c cleaning 20997 clauses out of 42020 with flag 242000/785947 109.82/108.18 c cleaning 22001 clauses out of 44023 with flag 265000/808947 110.22/108.52 c Got one! Elapsed wall clock time (in seconds):108.402 110.22/108.52 o 45967437 111.02/109.30 c cleaning 13935 clauses out of 27885 with flag 4001/814810 112.22/110.51 c cleaning 9958 clauses out of 19949 with flag 10000/820809 113.53/111.85 c cleaning 8465 clauses out of 16992 with flag 17001/827810 115.05/113.30 c cleaning 8238 clauses out of 16527 with flag 25001/835810 116.75/115.00 c cleaning 8621 clauses out of 17289 with flag 34001/844810 118.65/116.91 c cleaning 9324 clauses out of 18667 with flag 44000/854809 120.75/119.01 c cleaning 10161 clauses out of 20344 with flag 55001/865810 123.15/121.43 c cleaning 11077 clauses out of 22183 with flag 67001/877810 125.75/124.01 c cleaning 12036 clauses out of 24105 with flag 80000/890809 128.57/126.83 c cleaning 13020 clauses out of 26070 with flag 94001/904810 131.09/129.35 c cleaning 14006 clauses out of 28049 with flag 109000/919809 133.29/131.56 c cleaning 15014 clauses out of 30045 with flag 125002/935811 135.71/133.90 c cleaning 15999 clauses out of 32029 with flag 142000/952809 137.02/135.22 c Got one! Elapsed wall clock time (in seconds):135.1 137.02/135.22 o 36274478 137.82/136.07 c cleaning 16305 clauses out of 32628 with flag 5002/969407 138.92/137.17 c cleaning 11140 clauses out of 22321 with flag 11000/975405 140.12/138.39 c cleaning 9067 clauses out of 18181 with flag 18000/982405 141.63/139.82 c cleaning 8532 clauses out of 17114 with flag 26000/990405 142.86/141.05 c cleaning 8780 clauses out of 17582 with flag 35000/999405 144.00/142.19 c cleaning 9394 clauses out of 18808 with flag 45006/1009411 145.20/143.37 c cleaning 10194 clauses out of 20409 with flag 56001/1020406 146.40/144.58 c cleaning 11100 clauses out of 22215 with flag 68001/1032406 148.21/146.37 c cleaning 11944 clauses out of 23892 with flag 81001/1045406 150.31/148.49 c cleaning 12962 clauses out of 25947 with flag 95000/1059405 152.61/150.75 c cleaning 13979 clauses out of 27985 with flag 110000/1074405 155.03/153.20 c cleaning 14994 clauses out of 30007 with flag 126001/1090406 157.66/155.75 c cleaning 16000 clauses out of 32012 with flag 143000/1107405 159.57/157.69 c cleaning 16989 clauses out of 34012 with flag 161000/1125405 161.50/159.57 c cleaning 18004 clauses out of 36023 with flag 180000/1144405 163.50/161.60 c cleaning 18993 clauses out of 38020 with flag 200001/1164406 165.70/163.77 c cleaning 20004 clauses out of 40026 with flag 221000/1185405 168.11/166.16 c cleaning 21007 clauses out of 42022 with flag 243000/1207405 170.63/168.63 c cleaning 21996 clauses out of 44015 with flag 266000/1230405 173.33/171.38 c cleaning 22996 clauses out of 46019 with flag 290000/1254405 176.34/174.31 c cleaning 24002 clauses out of 48023 with flag 315000/1279405 179.84/177.82 c cleaning 24997 clauses out of 50023 with flag 341002/1305407 183.57/181.52 c cleaning 26000 clauses out of 52024 with flag 368000/1332405 188.07/186.02 c cleaning 27013 clauses out of 54026 with flag 396002/1360407 191.97/189.91 c cleaning 28001 clauses out of 56011 with flag 425000/1389405 196.30/194.21 c Got one! Elapsed wall clock time (in seconds):194.097 196.30/194.21 o 35843233 196.90/194.89 c cleaning 30949 clauses out of 61906 with flag 5003/1423315 197.62/195.55 c cleaning 18462 clauses out of 36954 with flag 11000/1429312 198.03/195.99 c Got one! Elapsed wall clock time (in seconds):195.873 198.03/195.99 o 33419978 198.33/196.29 c cleaning 12231 clauses out of 24489 with flag 2000/1435309 199.33/197.29 c cleaning 9101 clauses out of 18259 with flag 8001/1441310 200.54/198.44 c cleaning 8038 clauses out of 16157 with flag 15000/1448309 201.64/199.52 c cleaning 8032 clauses out of 16119 with flag 23000/1456309 202.74/200.69 c cleaning 8534 clauses out of 17087 with flag 32000/1465309 203.95/201.88 c cleaning 9260 clauses out of 18555 with flag 42002/1475311 205.45/203.33 c cleaning 10132 clauses out of 20293 with flag 53000/1486309 207.16/205.04 c cleaning 11066 clauses out of 22148 with flag 65001/1498310 207.98/205.88 c Got one! Elapsed wall clock time (in seconds):205.763 207.98/205.88 o 29847302 209.08/206.98 c cleaning 11122 clauses out of 22266 with flag 5000/1509494 210.12/207.99 c cleaning 8549 clauses out of 17144 with flag 11000/1515494 211.22/209.05 c cleaning 7744 clauses out of 15595 with flag 18000/1522494 212.22/210.02 c cleaning 7917 clauses out of 15852 with flag 26001/1530495 213.54/211.30 c cleaning 8458 clauses out of 16934 with flag 35000/1539494 214.84/212.62 c cleaning 9216 clauses out of 18476 with flag 45000/1549494 216.35/214.11 c cleaning 10123 clauses out of 20260 with flag 56000/1560494 217.97/215.71 c cleaning 11046 clauses out of 22125 with flag 68002/1572496 219.69/217.41 c cleaning 12026 clauses out of 24078 with flag 81001/1585495 221.39/219.14 c cleaning 13012 clauses out of 26053 with flag 95002/1599496 223.32/221.01 c cleaning 14015 clauses out of 28039 with flag 110000/1614494 225.22/222.94 c cleaning 15000 clauses out of 30025 with flag 126001/1630495 227.23/224.96 c cleaning 16004 clauses out of 32025 with flag 143001/1647495 229.45/227.17 c cleaning 17003 clauses out of 34020 with flag 161000/1665494 232.05/229.75 c cleaning 18002 clauses out of 36017 with flag 180000/1684494 234.66/232.35 c cleaning 18977 clauses out of 37993 with flag 200000/1704494 237.58/235.22 c cleaning 19984 clauses out of 40016 with flag 221000/1725494 238.89/236.52 c Got one! Elapsed wall clock time (in seconds):236.399 238.89/236.52 o 18679652 239.78/237.45 c cleaning 17467 clauses out of 34975 with flag 5000/1740766 240.79/238.46 c cleaning 11734 clauses out of 23508 with flag 11000/1746766 241.80/239.45 c cleaning 9371 clauses out of 18774 with flag 18000/1753766 243.00/240.69 c cleaning 8678 clauses out of 17403 with flag 26000/1761766 244.40/242.03 c cleaning 8850 clauses out of 17725 with flag 35000/1770766 245.92/243.58 c cleaning 9425 clauses out of 18876 with flag 45001/1780767 247.72/245.34 c cleaning 10211 clauses out of 20450 with flag 56000/1791766 249.72/247.37 c cleaning 11106 clauses out of 22242 with flag 68003/1803769 251.92/249.57 c cleaning 12045 clauses out of 24133 with flag 81000/1816766 254.12/251.76 c cleaning 13027 clauses out of 26088 with flag 95000/1830766 256.72/254.37 c cleaning 14020 clauses out of 28061 with flag 110000/1845766 259.52/257.15 c cleaning 15011 clauses out of 30042 with flag 126001/1861767 262.53/260.15 c cleaning 16002 clauses out of 32032 with flag 143002/1878768 265.34/262.95 c cleaning 17010 clauses out of 34029 with flag 161001/1896767 268.15/265.78 c cleaning 17997 clauses out of 36021 with flag 180003/1915769 270.97/268.58 c cleaning 19003 clauses out of 38021 with flag 200000/1935766 274.30/271.82 c cleaning 20001 clauses out of 40019 with flag 221001/1956767 277.92/275.41 c cleaning 20996 clauses out of 42017 with flag 243000/1978766 281.33/278.89 c cleaning 22001 clauses out of 44024 with flag 266003/2001769 285.15/282.62 c cleaning 22997 clauses out of 46020 with flag 290000/2025766 288.96/286.48 c cleaning 23986 clauses out of 48023 with flag 315000/2050766 291.58/289.09 c Got one! Elapsed wall clock time (in seconds):288.974 291.58/289.09 o 18535773 292.28/289.77 c cleaning 23264 clauses out of 46565 with flag 5000/2073324 293.11/290.51 c cleaning 14628 clauses out of 29301 with flag 11000/2079324 293.83/291.29 c cleaning 10821 clauses out of 21673 with flag 18000/2086324 295.14/292.54 c cleaning 9410 clauses out of 18852 with flag 26000/2094324 296.54/293.93 c cleaning 9203 clauses out of 18442 with flag 35000/2103324 298.04/295.46 c cleaning 9604 clauses out of 19239 with flag 45000/2113324 299.84/297.22 c cleaning 10311 clauses out of 20636 with flag 56001/2124325 302.04/299.48 c cleaning 11156 clauses out of 22326 with flag 68002/2136326 303.04/300.46 c Got one! Elapsed wall clock time (in seconds):300.346 303.04/300.46 o 18408647 303.95/301.38 c cleaning 10371 clauses out of 20756 with flag 5003/2146625 305.07/302.47 c cleaning 8152 clauses out of 16382 with flag 11000/2152622 306.36/303.70 c cleaning 7576 clauses out of 15232 with flag 18002/2159624 307.78/305.12 c cleaning 7816 clauses out of 15654 with flag 26000/2167622 309.38/306.74 c cleaning 8412 clauses out of 16838 with flag 35000/2176622 311.29/308.66 c cleaning 9203 clauses out of 18427 with flag 45001/2186623 313.29/310.62 c cleaning 10101 clauses out of 20223 with flag 56000/2197622 315.39/312.77 c cleaning 11053 clauses out of 22122 with flag 68000/2209622 317.89/315.22 c cleaning 12020 clauses out of 24069 with flag 81000/2222622 320.60/317.97 c cleaning 13012 clauses out of 26049 with flag 95000/2236622 323.50/320.86 c cleaning 14000 clauses out of 28037 with flag 110000/2251622 326.50/323.84 c cleaning 14995 clauses out of 30037 with flag 126000/2267622 329.60/326.97 c cleaning 16008 clauses out of 32043 with flag 143001/2284623 332.92/330.24 c cleaning 17007 clauses out of 34036 with flag 161002/2302624 336.53/333.88 c cleaning 18005 clauses out of 36031 with flag 180004/2321626 340.53/337.87 c cleaning 18996 clauses out of 38022 with flag 200000/2341622 344.55/341.87 c cleaning 20005 clauses out of 40029 with flag 221003/2362625 346.56/343.80 c Got one! Elapsed wall clock time (in seconds):343.68 346.56/343.80 o 18315712 347.26/344.56 c cleaning 15890 clauses out of 31794 with flag 5000/2380733 347.38/344.64 c Got one! Elapsed wall clock time (in seconds):344.527 347.38/344.64 o 18075550 348.09/345.40 c cleaning 10599 clauses out of 21222 with flag 5000/2386051 349.00/346.30 c cleaning 8306 clauses out of 16624 with flag 11001/2392052 350.00/347.29 c cleaning 7637 clauses out of 15318 with flag 18001/2399052 350.62/347.87 c Got one! Elapsed wall clock time (in seconds):347.752 350.62/347.87 o 18020668 350.62/347.89 c Got one! Elapsed wall clock time (in seconds):347.775 350.62/347.89 o 17973418 351.06/348.20 c cleaning 6770 clauses out of 13564 with flag 2001/2404935 351.86/349.09 c cleaning 6384 clauses out of 12795 with flag 8002/2410936 352.96/350.10 c cleaning 6692 clauses out of 13409 with flag 15000/2417934 353.17/350.31 c Got one! Elapsed wall clock time (in seconds):350.189 353.17/350.31 o 17961307 353.67/350.88 c cleaning 5918 clauses out of 11859 with flag 4000/2423076 353.80/350.96 c Got one! Elapsed wall clock time (in seconds):350.841 353.80/350.96 o 17940052 353.99/351.12 c Got one! Elapsed wall clock time (in seconds):351.008 353.99/351.12 o 17905098 354.49/351.69 c cleaning 5694 clauses out of 11399 with flag 4000/2428534 355.40/352.55 c cleaning 5844 clauses out of 11708 with flag 10003/2434537 356.40/353.58 c cleaning 6422 clauses out of 12859 with flag 17000/2441534 356.91/354.02 c Got one! Elapsed wall clock time (in seconds):353.906 356.91/354.02 o 17860508 357.31/354.45 c cleaning 6131 clauses out of 12280 with flag 3001/2447377 358.22/355.36 c cleaning 6065 clauses out of 12149 with flag 9001/2453377 359.22/356.34 c cleaning 6520 clauses out of 13083 with flag 16000/2460376 360.42/357.57 c cleaning 7268 clauses out of 14567 with flag 24004/2468380 361.82/358.92 c cleaning 8139 clauses out of 16295 with flag 33000/2477376 363.23/360.38 c cleaning 9064 clauses out of 18156 with flag 43000/2487376 363.93/361.09 c Got one! Elapsed wall clock time (in seconds):360.975 363.93/361.09 o 17859371 364.13/361.26 c cleaning 7499 clauses out of 15007 with flag 1000/2493291 365.03/362.18 c cleaning 6737 clauses out of 13509 with flag 7001/2499292 366.14/363.28 c cleaning 6875 clauses out of 13772 with flag 14001/2506292 367.45/364.53 c cleaning 7440 clauses out of 14896 with flag 22000/2514291 368.76/365.86 c cleaning 8211 clauses out of 16456 with flag 31000/2523291 369.46/366.53 c Got one! Elapsed wall clock time (in seconds):366.411 369.46/366.53 o 17847311 369.56/366.68 c cleaning 6824 clauses out of 13669 with flag 1003/2528715 370.48/367.57 c cleaning 6415 clauses out of 12843 with flag 7001/2534713 371.58/368.65 c cleaning 6700 clauses out of 13428 with flag 14001/2541713 372.10/369.18 c Got one! Elapsed wall clock time (in seconds):369.06 372.10/369.18 o 17831090 372.40/369.47 c cleaning 6083 clauses out of 12201 with flag 2000/2547186 373.31/370.38 c cleaning 6043 clauses out of 12118 with flag 8000/2553186 374.31/371.39 c cleaning 6526 clauses out of 13076 with flag 15001/2560187 375.51/372.59 c cleaning 7265 clauses out of 14550 with flag 23001/2568187 376.92/373.97 c cleaning 8125 clauses out of 16284 with flag 32000/2577186 378.43/375.50 c cleaning 9066 clauses out of 18161 with flag 42002/2587188 380.24/377.24 c cleaning 10038 clauses out of 20094 with flag 53001/2598187 382.06/379.09 c cleaning 11020 clauses out of 22056 with flag 65001/2610187 384.07/381.09 c cleaning 12007 clauses out of 24036 with flag 78001/2623187 386.28/383.24 c cleaning 13007 clauses out of 26028 with flag 92000/2637186 388.19/385.12 c Got one! Elapsed wall clock time (in seconds):385.002 388.19/385.12 o 17830069 388.99/385.90 c cleaning 15221 clauses out of 30460 with flag 5000/2654637 389.29/386.26 c Got one! Elapsed wall clock time (in seconds):386.145 389.29/386.26 o 17822326 389.79/386.71 c cleaning 10222 clauses out of 20478 with flag 3000/2659876 390.61/387.59 c Got one! Elapsed wall clock time (in seconds):387.471 390.61/387.59 o 17808365 391.42/388.36 c cleaning 10514 clauses out of 21070 with flag 5000/2670690 392.31/389.28 c cleaning 8268 clauses out of 16548 with flag 11003/2676693 393.41/390.32 c cleaning 7621 clauses out of 15277 with flag 18000/2683690 394.62/391.51 c cleaning 7815 clauses out of 15657 with flag 26001/2691691 395.62/392.52 c Got one! Elapsed wall clock time (in seconds):392.4 395.62/392.52 o 17792449 396.32/393.22 c cleaning 9751 clauses out of 19514 with flag 5000/2703363 397.12/394.07 c cleaning 7862 clauses out of 15763 with flag 11000/2709363 398.12/395.08 c cleaning 7436 clauses out of 14902 with flag 18001/2716364 399.32/396.29 c cleaning 7719 clauses out of 15465 with flag 26000/2724363 400.73/397.65 c cleaning 8362 clauses out of 16746 with flag 35000/2733363 402.13/399.09 c cleaning 9182 clauses out of 18386 with flag 45002/2743365 403.84/400.73 c cleaning 10085 clauses out of 20202 with flag 56000/2754363 405.65/402.51 c cleaning 11039 clauses out of 22117 with flag 68000/2766363 407.66/404.54 c cleaning 12019 clauses out of 24058 with flag 81000/2779363 409.86/406.72 c cleaning 13007 clauses out of 26039 with flag 95000/2793363 412.16/409.08 c cleaning 14008 clauses out of 28032 with flag 110000/2808363 414.76/411.61 c cleaning 14992 clauses out of 30024 with flag 126000/2824363 417.26/414.18 c cleaning 16002 clauses out of 32032 with flag 143000/2841363 420.07/416.98 c cleaning 17005 clauses out of 34031 with flag 161001/2859364 423.07/419.90 c cleaning 18001 clauses out of 36025 with flag 180000/2878363 426.18/423.01 c cleaning 18997 clauses out of 38024 with flag 200000/2898363 429.49/426.34 c cleaning 19997 clauses out of 40027 with flag 221000/2919363 433.09/429.90 c cleaning 20997 clauses out of 42030 with flag 243000/2941363 433.20/430.07 c Got one! Elapsed wall clock time (in seconds):429.955 433.20/430.07 o 17776791 434.00/430.85 c cleaning 13419 clauses out of 26876 with flag 5000/2947206 434.91/431.78 c cleaning 9700 clauses out of 19457 with flag 11000/2953206 436.02/432.81 c cleaning 8364 clauses out of 16758 with flag 18001/2960207 437.22/434.01 c cleaning 8180 clauses out of 16394 with flag 26001/2968207 438.63/435.41 c cleaning 8595 clauses out of 17210 with flag 35000/2977206 440.13/436.93 c cleaning 9295 clauses out of 18616 with flag 45001/2987207 441.84/438.61 c cleaning 10151 clauses out of 20317 with flag 56000/2998206 443.74/440.50 c cleaning 11073 clauses out of 22166 with flag 68000/3010206 445.74/442.54 c cleaning 12042 clauses out of 24093 with flag 81000/3023206 447.96/444.74 c cleaning 13013 clauses out of 26051 with flag 95000/3037206 450.26/447.08 c cleaning 14000 clauses out of 28037 with flag 110001/3052207 452.76/449.55 c cleaning 15008 clauses out of 30034 with flag 126000/3068206 455.46/452.22 c cleaning 15983 clauses out of 31980 with flag 143005/3085211 458.27/455.02 c cleaning 16976 clauses out of 33992 with flag 161000/3103206 461.28/458.03 c cleaning 18000 clauses out of 36016 with flag 180000/3122206 464.18/460.98 c Got one! Elapsed wall clock time (in seconds):460.863 464.18/460.98 o 17773302 465.08/461.85 c cleaning 20715 clauses out of 41454 with flag 5000/3145644 466.08/462.83 c cleaning 13360 clauses out of 26740 with flag 11001/3151645 467.19/463.95 c cleaning 10178 clauses out of 20379 with flag 18000/3158644 468.39/465.19 c cleaning 9081 clauses out of 18201 with flag 26000/3166644 469.79/466.56 c cleaning 9035 clauses out of 18120 with flag 35000/3175644 471.40/468.11 c cleaning 9527 clauses out of 19085 with flag 45000/3185644 473.01/469.76 c cleaning 10270 clauses out of 20558 with flag 56000/3196644 474.80/471.59 c cleaning 11130 clauses out of 22288 with flag 68000/3208644 476.90/473.62 c cleaning 12072 clauses out of 24159 with flag 81001/3221645 479.21/475.92 c cleaning 13035 clauses out of 26086 with flag 95000/3235644 481.61/478.33 c cleaning 14015 clauses out of 28053 with flag 110002/3250646 484.11/480.83 c Got one! Elapsed wall clock time (in seconds):480.716 484.11/480.83 o 17768307 484.91/481.68 c cleaning 17422 clauses out of 34860 with flag 5001/3271468 485.92/482.64 c cleaning 11702 clauses out of 23438 with flag 11001/3277468 487.03/483.71 c cleaning 9340 clauses out of 18735 with flag 18000/3284467 488.24/484.95 c cleaning 8683 clauses out of 17395 with flag 26000/3292467 489.65/486.32 c cleaning 8843 clauses out of 17713 with flag 35001/3301468 491.16/487.86 c cleaning 9430 clauses out of 18867 with flag 45000/3311467 492.99/489.64 c cleaning 10211 clauses out of 20437 with flag 56000/3322467 494.79/491.46 c cleaning 11104 clauses out of 22227 with flag 68002/3334469 496.79/493.46 c cleaning 12043 clauses out of 24122 with flag 81001/3347468 497.49/494.11 c Got one! Elapsed wall clock time (in seconds):493.989 497.49/494.11 o 17754249 497.59/494.28 c cleaning 8587 clauses out of 17195 with flag 1001/3352584 498.61/495.22 c cleaning 7281 clauses out of 14609 with flag 7002/3358585 499.71/496.33 c cleaning 7145 clauses out of 14326 with flag 14000/3365583 500.92/497.58 c cleaning 7582 clauses out of 15181 with flag 22000/3373583 502.42/499.04 c cleaning 8298 clauses out of 16601 with flag 31002/3382585 504.02/500.65 c cleaning 9149 clauses out of 18302 with flag 41001/3392584 505.73/502.38 c cleaning 10069 clauses out of 20155 with flag 52003/3403586 507.64/504.22 c cleaning 11023 clauses out of 22082 with flag 64000/3415583 509.64/506.23 c cleaning 12027 clauses out of 24059 with flag 77000/3428583 511.85/508.40 c cleaning 13014 clauses out of 26032 with flag 91000/3442583 514.15/510.72 c cleaning 13998 clauses out of 28018 with flag 106000/3457583 516.66/513.28 c cleaning 15005 clauses out of 30020 with flag 122000/3473583 519.37/515.93 c cleaning 6965 clauses out of 13965 with flag 139000/3490583 519.67/516.26 c starts : 266 519.67/516.26 c conflicts : 3492576 519.67/516.26 c decisions : 6836858 519.67/516.26 c propagations : 555236317 519.67/516.26 c inspects : 2457890571 519.67/516.26 c shortcuts : 0 519.67/516.26 c learnt literals : 97 519.67/516.26 c learnt binary clauses : 917 519.67/516.26 c learnt ternary clauses : 7128 519.67/516.26 c learnt constraints : 3492478 519.67/516.26 c ignored constraints : 0 519.67/516.26 c root simplifications : 362 519.67/516.26 c removed literals (reason simplification) : 33229887 519.67/516.26 c reason swapping (by a shorter reason) : 0 519.67/516.26 c Calls to reduceDB : 292 519.67/516.26 c number of reductions to clauses (during analyze) : 0 519.67/516.26 c number of learned constraints concerned by reduction : 0 519.67/516.26 c number of learning phase by resolution : 0 519.67/516.26 c number of learning phase by cutting planes : 0 519.67/516.26 c speed (assignments/second) : 1076381.4797726409 519.67/516.26 c non guided choices 11990 519.67/516.26 c learnt constraints type 519.67/516.26 c constraints type 519.67/516.26 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3061 519.67/516.26 c org.sat4j.minisat.constraints.cnf.UnitClauses => 3 519.67/516.26 c org.sat4j.minisat.constraints.card.MinWatchCard => 22 519.67/516.26 c ignored satisfied constraints => 3 519.67/516.26 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9465 519.67/516.26 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 3075 519.67/516.26 c 15629 constraints processed. 519.67/516.26 s OPTIMUM FOUND 519.67/516.27 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 519.67/516.28 c objective function=17754249 519.67/516.28 c Total wall clock time (in seconds): 516.163
OK 17754249
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) 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-3710480-1338251431/watcher-3710480-1338251431 -o /tmp/evaluation-result-3710480-1338251431/solver-3710480-1338251431 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710480-1338251431.opb running on 4 cores: 1,3,5,7 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: 1.00 1.09 1.45 3/172 14811 /proc/meminfo: memFree=28442684/32873624 swapFree=7104/7104 [pid=14811] ppid=14809 vsize=9292 CPUtime=0 cores=1,3,5,7 /proc/14811/stat : 14811 (java) D 14809 14811 13062 0 -1 4202496 250 0 0 0 0 0 0 0 20 0 1 0 291268619 9515008 183 33554432000 1073741824 1073778376 140733235147904 140733235138936 227512499893 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0 /proc/14811/statm: 2323 183 140 9 0 71 0 [startup+0.072469 s] /proc/loadavg: 1.00 1.09 1.45 3/172 14811 /proc/meminfo: memFree=28442684/32873624 swapFree=7104/7104 [pid=14811] ppid=14809 vsize=9558440 CPUtime=0.05 cores=1,3,5,7 /proc/14811/stat : 14811 (java) S 14809 14811 13062 0 -1 4202496 3328 0 1 0 4 1 0 0 20 0 18 0 291268619 9787842560 4535 33554432000 1073741824 1073778376 140734554596432 140734554587568 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/14811/statm: 2389610 4535 1778 9 0 2380296 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 9558440 [startup+0.100188 s] /proc/loadavg: 1.00 1.09 1.45 3/172 14811 /proc/meminfo: memFree=28442684/32873624 swapFree=7104/7104 [pid=14811] ppid=14809 vsize=9558440 CPUtime=0.09 cores=1,3,5,7 /proc/14811/stat : 14811 (java) S 14809 14811 13062 0 -1 4202496 4293 0 1 0 8 1 0 0 20 0 18 0 291268619 9787842560 6002 33554432000 1073741824 1073778376 140734554596432 140734554587568 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/14811/statm: 2389610 6002 2116 9 0 2380296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558440 [startup+0.300163 s] /proc/loadavg: 1.00 1.09 1.45 3/172 14811 /proc/meminfo: memFree=28442684/32873624 swapFree=7104/7104 [pid=14811] ppid=14809 vsize=9558440 CPUtime=0.5 cores=1,3,5,7 /proc/14811/stat : 14811 (java) S 14809 14811 13062 0 -1 4202496 5724 0 1 0 49 1 0 0 20 0 18 0 291268619 9787842560 9879 33554432000 1073741824 1073778376 140734554596432 140734554587568 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/14811/statm: 2389610 9879 2227 9 0 2380296 0 Current children cumulated CPU time (s) 0.5 Current children cumulated vsize (KiB) 9558440 [startup+0.700175 s] /proc/loadavg: 1.00 1.09 1.45 3/172 14811 /proc/meminfo: memFree=28442684/32873624 swapFree=7104/7104 [pid=14811] ppid=14809 vsize=9625004 CPUtime=1.38 cores=1,3,5,7 /proc/14811/stat : 14811 (java) S 14809 14811 13062 0 -1 4202496 8338 0 1 0 136 2 0 0 20 0 19 0 291268619 9856004096 18016 33554432000 1073741824 1073778376 140734554596432 140734554587568 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/14811/statm: 2406251 18016 2258 9 0 2396937 0 Current children cumulated CPU time (s) 1.38 Current children cumulated vsize (KiB) 9625004 [startup+1.50066 s] /proc/loadavg: 1.00 1.09 1.45 5/212 14858 /proc/meminfo: memFree=28209584/32873624 swapFree=7104/7104 [pid=14811] ppid=14809 vsize=9625004 CPUtime=2.26 cores=1,3,5,7 /proc/14811/stat : 14811 (java) S 14809 14811 13062 0 -1 4202496 8732 0 1 0 223 3 0 0 20 0 19 0 291268619 9856004096 18535 33554432000 1073741824 1073778376 140734554596432 140734554587568 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/14811/statm: 2406251 18535 2264 9 0 2396937 0 [pid=14811/tid=14813] ppid=14809 vsize=9625004 CPUtime=1.47 cores=1,3,5,7 /proc/14811/task/14813/stat : 14813 (java) R 14809 14811 13062 0 -1 4202560 2521 0 1 0 145 2 0 0 20 0 19 0 291268620 9856004096 18535 33554432000 1073741824 1073778376 140734554596432 140258854625304 140258684140807 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=14811/tid=14814] ppid=14809 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/14811/task/14814/stat : 14814 (java) S 14809 14811 13062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291268621 9856004096 18535 33554432000 1073741824 1073778376 140734554596432 140258816117416 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14811/tid=14815] ppid=14809 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/14811/task/14815/stat : 14815 (java) S 14809 14811 13062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291268621 9856004096 18535 33554432000 1073741824 1073778376 140734554596432 140258815064872 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14811/tid=14816] ppid=14809 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/14811/task/14816/stat : 14816 (java) S 14809 14811 13062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291268621 9856004096 18535 33554432000 1073741824 1073778376 140734554596432 140258814012328 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14811/tid=14817] ppid=14809 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/14811/task/14817/stat : 14817 (java) S 14809 14811 13062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291268621 9856004096 18535 33554432000 1073741824 1073778376 140734554596432 140258812959784 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14811/tid=14818] ppid=14809 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/14811/task/14818/stat : 14818 (java) S 14809 14811 13062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291268621 9856004096 18535 33554432000 1073741824 1073778376 140734554596432 140258811906216 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14811/tid=14819] ppid=14809 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/14811/task/14819/stat : 14819 (java) S 14809 14811 13062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291268621 9856004096 18535 33554432000 1073741824 1073778376 140734554596432 140258810853672 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14811/tid=14820] ppid=14809 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/14811/task/14820/stat : 14820 (java) S 14809 14811 13062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291268621 9856004096 18535 33554432000 1073741824 1073778376 140734554596432 140258809801128 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14811/tid=14821] ppid=14809 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/14811/task/14821/stat : 14821 (java) S 14809 14811 13062 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291268621 9856004096 18535 33554432000 1073741824 1073778376 140734554596432 140258808748584 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14811/tid=14822] ppid=14809 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/14811/task/14822/stat : 14822 (java) S 14809 14811 13062 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291268622 9856004096 18535 33554432000 1073741824 1073778376 140734554596432 140258678119016 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14811/tid=14823] ppid=14809 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/14811/task/14823/stat : 14823 (java) S 14809 14811 13062 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 291268622 9856004096 18535 33554432000 1073741824 1073778376 140734554596432 140258677065336 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14811/tid=14824] ppid=14809 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/14811/task/14824/stat : 14824 (java) S 14809 14811 13062 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291268622 9856004096 18535 33554432000 1073741824 1073778376 140734554596432 140258676012680 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14811/tid=14830] ppid=14809 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/14811/task/14830/stat : 14830 (java) S 14809 14811 13062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291268625 9856004096 18535 33554432000 1073741824 1073778376 140734554596432 140258674961424 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14811/tid=14831] ppid=14809 vsize=9625004 CPUtime=0.37 cores=1,3,5,7 /proc/14811/task/14831/stat : 14831 (java) S 14809 14811 13062 0 -1 4202560 2663 0 0 0 37 0 0 0 20 0 19 0 291268625 9856004096 18535 33554432000 1073741824 1073778376 140734554596432 140258673907768 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14811/tid=14832] ppid=14809 vsize=9625004 CPUtime=0.38 cores=1,3,5,7 /proc/14811/task/14832/stat : 14832 (java) S 14809 14811 13062 0 -1 4202560 2346 0 0 0 38 0 0 0 20 0 19 0 291268625 9856004096 18535 33554432000 1073741824 1073778376 140734554596432 140258672855224 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14811/tid=14833] ppid=14809 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/14811/task/14833/stat : 14833 (java) S 14809 14811 13062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291268625 9856004096 18535 33554432000 1073741824 1073778376 140734554596432 140258671802872 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14811/tid=14834] ppid=14809 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/14811/task/14834/stat : 14834 (java) S 14809 14811 13062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291268625 9856004096 18535 33554432000 1073741824 1073778376 140734554596432 140258670750536 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14811/tid=14857] ppid=14809 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/14811/task/14857/stat : 14857 (java) S 14809 14811 13062 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291268662 9856004096 18535 33554432000 1073741824 1073778376 140734554596432 140258669696296 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 2.26 Current children cumulated vsize (KiB) 9625004 [startup+3.10059 s] /proc/loadavg: 1.08 1.10 1.45 3/212 14858 /proc/meminfo: memFree=28194000/32873624 swapFree=7104/7104 [pid=14811] ppid=14809 vsize=9625004 CPUtime=3.92 cores=1,3,5,7 /proc/14811/stat : 14811 (java) S 14809 14811 13062 0 -1 4202496 8990 0 1 0 389 3 0 0 20 0 19 0 291268619 9856004096 21650 33554432000 1073741824 1073778376 140734554596432 140734554587568 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/14811/statm: 2406251 21650 2289 9 0 2396937 0 [pid=14811/tid=14813] ppid=14809 vsize=9625004 CPUtime=3.04 cores=1,3,5,7 /proc/14811/task/14813/stat : 14813 (java) R 14809 14811 13062 0 -1 4202560 2525 0 1 0 302 2 0 0 20 0 19 0 291268620 9856004096 21650 33554432000 1073741824 1073778376 140734554596432 140258854623680 140258684182435 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=14811/tid=14814] ppid=14809 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/14811/task/14814/stat : 14814 (java) S 14809 14811 13062 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291268621 9856004096 21650 33554432000 1073741824 1073778376 140734554596432 140258816117416 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14811/tid=14815] ppid=14809 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/14811/task/14815/stat : 14815 (java) S 14809 14811 13062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291268621 9856004096 21650 33554432000 1073741824 1073778376 140734554596432 140258815064872 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14811/tid=14816] ppid=14809 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/14811/task/14816/stat : 14816 (java) S 14809 14811 13062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291268621 9856004096 21650 33554432000 1073741824 1073778376 140734554596432 140258814012328 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14811/tid=14817] ppid=14809 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/14811/task/14817/stat : 14817 (java) S 14809 14811 13062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 291268621 9856004096 21650 33554432000 1073741824 1073778376 140734554596432 140258812959784 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14811/tid=14818] ppid=14809 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/14811/task/14818/stat : 14818 (java) S 14809 14811 13062 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 291268621 9856004096 21650 33554432000 1073741824 1073778376 140734554596432 140258811906216 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14811/tid=14819] ppid=14809 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/14811/task/14819/stat : 14819 (java) S 14809 14811 13062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291268621 9856004096 21650 33554432000 1073741824 1073778376 140734554596432 140258810853672 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14811/tid=14820] ppid=14809 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/14811/task/14820/stat : 14820 (java) S 14809 14811 13062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291268621 9856004096 21650 33554432000 1073741824 1073778376 140734554596432 140258809801128 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14811/tid=14821] ppid=14809 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/14811/task/14821/stat : 14821 (java) S 14809 14811 13062 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291268621 9856004096 21650 33554432000 1073741824 1073778376 140734554596432 140258808748584 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14811/tid=14822] ppid=14809 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/14811/task/14822/stat : 14822 (java) S 14809 14811 13062 0 -1 4202560 33 0 0 0 0 0 0 0 20 0 19 0 291268622 9856004096 21650 33554432000 1073741824 1073778376 140734554596432 140258678119016 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14811/tid=14823] ppid=14809 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/14811/task/14823/stat : 14823 (java) S 14809 14811 13062 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291268622 9856004096 21650 33554432000 1073741824 1073778376 140734554596432 140258677065336 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14811/tid=14824] ppid=14809 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/14811/task/14824/stat : 14824 (java) S 14809 14811 13062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291268622 9856004096 21650 33554432000 1073741824 1073778376 140734554596432 140258676012680 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14811/tid=14830] ppid=14809 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/14811/task/14830/stat : 14830 (java) S 14809 14811 13062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291268625 9856004096 21650 33554432000 1073741824 1073778376 140734554596432 140258674961424 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14811/tid=14831] ppid=14809 vsize=9625004 CPUtime=0.38 cores=1,3,5,7 /proc/14811/task/14831/stat : 14831 (java) S 14809 14811 13062 0 -1 4202560 2664 0 0 0 38 0 0 0 20 0 19 0 291268625 9856004096 21650 33554432000 1073741824 1073778376 140734554596432 140258673907768 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14811/tid=14832] ppid=14809 vsize=9625004 CPUtime=0.42 cores=1,3,5,7 /proc/14811/task/14832/stat : 14832 (java) S 14809 14811 13062 0 -1 4202560 2552 0 0 0 42 0 0 0 20 0 19 0 291268625 9856004096 21650 33554432000 1073741824 1073778376 140734554596432 140258672855224 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14811/tid=14833] ppid=14809 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/14811/task/14833/stat : 14833 (java) S 14809 14811 13062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291268625 9856004096 21650 33554432000 1073741824 1073778376 140734554596432 140258671802872 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14811/tid=14834] ppid=14809 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/14811/task/14834/stat : 14834 (java) S 14809 14811 13062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291268625 9856004096 21650 33554432000 1073741824 1073778376 140734554596432 140258670750536 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14811/tid=14857] ppid=14809 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/14811/task/14857/stat : 14857 (java) S 14809 14811 13062 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291268662 9856004096 21650 33554432000 1073741824 1073778376 140734554596432 140258669696296 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 3.92 Current children cumulated vsize (KiB) 9625004 [startup+6.3006 s] /proc/loadavg: 1.08 1.10 1.45 3/212 14858 /proc/meminfo: memFree=28192268/32873624 swapFree=7104/7104 [pid=14811] ppid=14809 vsize=9625004 CPUtime=7.19 cores=1,3,5,7 /proc/14811/stat : 14811 (java) S 14809 14811 13062 0 -1 4202496 9008 0 1 0 715 4 0 0 20 0 19 0 291268619 9856004096 22454 33554432000 1073741824 1073778376 140734554596432 140734554587568 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/14811/statm: 2406251 22454 2289 9 0 2396937 0 [pid=14811/tid=14813] ppid=14809 vsize=9625004 CPUtime=6.2 cores=1,3,5,7 /proc/14811/task/14813/stat : 14813 (java) R 14809 14811 13062 0 -1 4202560 2527 0 1 0 618 2 0 0 20 0 19 0 291268620 9856004096 22454 33554432000 1073741824 1073778376 140734554596432 140258854625832 140258684168908 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=14811/tid=14814] ppid=14809 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/14811/task/14814/stat : 14814 (java) S 14809 14811 13062 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291268621 9856004096 22454 33554432000 1073741824 1073778376 140734554596432 140258816117416 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14811/tid=14815] ppid=14809 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/14811/task/14815/stat : 14815 (java) S 14809 14811 13062 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291268621 9856004096 22454 33554432000 1073741824 1073778376 140734554596432 140258815064872 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14811/tid=14816] ppid=14809 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/14811/task/14816/stat : 14816 (java) S 14809 14811 13062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291268621 9856004096 22454 33554432000 1073741824 1073778376 140734554596432 140258814012328 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14811/tid=14817] ppid=14809 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/14811/task/14817/stat : 14817 (java) S 14809 14811 13062 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 291268621 9856004096 22454 33554432000 1073741824 1073778376 140734554596432 140258812959784 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14811/tid=14818] ppid=14809 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/14811/task/14818/stat : 14818 (java) S 14809 14811 13062 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291268621 9856004096 22454 33554432000 1073741824 1073778376 140734554596432 140258811906216 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14811/tid=14819] ppid=14809 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/14811/task/14819/stat : 14819 (java) S 14809 14811 13062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291268621 9856004096 22454 33554432000 1073741824 1073778376 140734554596432 140258810853672 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14811/tid=14820] ppid=14809 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/14811/task/14820/stat : 14820 (java) S 14809 14811 13062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291268621 9856004096 22454 33554432000 1073741824 1073778376 140734554596432 140258809801128 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14811/tid=14821] ppid=14809 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/14811/task/14821/stat : 14821 (java) S 14809 14811 13062 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 291268621 9856004096 22454 33554432000 1073741824 1073778376 140734554596432 140258808748584 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14811/tid=14822] ppid=14809 vsize=9625004 CPUtime=0.03 cores=1,3,5,7 /proc/14811/task/14822/stat : 14822 (java) S 14809 14811 13062 0 -1 4202560 34 0 0 0 3 0 0 0 20 0 19 0 291268622 9856004096 22454 33554432000 1073741824 1073778376 140734554596432 140258678119016 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14811/tid=14823] ppid=14809 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/14811/task/14823/stat : 14823 (java) S 14809 14811 13062 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291268622 9856004096 22454 33554432000 1073741824 1073778376 140734554596432 140258677065336 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14811/tid=14824] ppid=14809 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/14811/task/14824/stat : 14824 (java) S 14809 14811 13062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291268622 9856004096 22454 33554432000 1073741824 1073778376 140734554596432 140258676012680 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14811/tid=14830] ppid=14809 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/14811/task/14830/stat : 14830 (java) S 14809 14811 13062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291268625 9856004096 22454 33554432000 1073741824 1073778376 140734554596432 140258674961424 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14811/tid=14831] ppid=14809 vsize=9625004 CPUtime=0.41 cores=1,3,5,7 /proc/14811/task/14831/stat : 14831 (java) S 14809 14811 13062 0 -1 4202560 2665 0 0 0 41 0 0 0 20 0 19 0 291268625 9856004096 22454 33554432000 1073741824 1073778376 140734554596432 140258673907768 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14811/tid=14832] ppid=14809 vsize=9625004 CPUtime=0.45 cores=1,3,5,7 /proc/14811/task/14832/stat : 14832 (java) S 14809 14811 13062 0 -1 4202560 2552 0 0 0 45 0 0 0 20 0 19 0 291268625 9856004096 22454 33554432000 1073741824 1073778376 140734554596432 140258672855224 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14811/tid=14833] ppid=14809 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/14811/task/14833/stat : 14833 (java) S 14809 14811 13062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291268625 9856004096 22454 33554432000 1073741824 1073778376 140734554596432 140258671802872 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14811/tid=14834] ppid=14809 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/14811/task/14834/stat : 14834 (java) S 14809 14811 13062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291268625 9856004096 22454 33554432000 1073741824 1073778376 140734554596432 140258670750536 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14811/tid=14857] ppid=14809 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/14811/task/14857/stat : 14857 (java) S 14809 14811 13062 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291268662 9856004096 22454 33554432000 1073741824 1073778376 140734554596432 140258669696296 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 7.19 Current children cumulated vsize (KiB) 9625004 [startup+12.7006 s] ################ # More data... # ################ /proc/14811/task/14821/stat : 14821 (java) S 14809 14811 13062 0 -1 4202560 38 0 0 0 43 0 0 0 20 0 19 0 291268621 9856004096 27629 33554432000 1073741824 1073778376 140734554596432 140258808748584 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14811/tid=14822] ppid=14809 vsize=9625004 CPUtime=7.66 cores=1,3,5,7 /proc/14811/task/14822/stat : 14822 (java) S 14809 14811 13062 0 -1 4202560 89 0 0 0 765 1 0 0 20 0 19 0 291268622 9856004096 27629 33554432000 1073741824 1073778376 140734554596432 140258678119016 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14811/tid=14823] ppid=14809 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/14811/task/14823/stat : 14823 (java) S 14809 14811 13062 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291268622 9856004096 27629 33554432000 1073741824 1073778376 140734554596432 140258677065336 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14811/tid=14824] ppid=14809 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/14811/task/14824/stat : 14824 (java) S 14809 14811 13062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291268622 9856004096 27629 33554432000 1073741824 1073778376 140734554596432 140258676012680 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14811/tid=14830] ppid=14809 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/14811/task/14830/stat : 14830 (java) S 14809 14811 13062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291268625 9856004096 27629 33554432000 1073741824 1073778376 140734554596432 140258674961424 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14811/tid=14831] ppid=14809 vsize=9625004 CPUtime=0.6 cores=1,3,5,7 /proc/14811/task/14831/stat : 14831 (java) S 14809 14811 13062 0 -1 4202560 3349 0 0 0 60 0 0 0 20 0 19 0 291268625 9856004096 27629 33554432000 1073741824 1073778376 140734554596432 140258673907768 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14811/tid=14832] ppid=14809 vsize=9625004 CPUtime=0.63 cores=1,3,5,7 /proc/14811/task/14832/stat : 14832 (java) S 14809 14811 13062 0 -1 4202560 3211 0 0 0 63 0 0 0 20 0 19 0 291268625 9856004096 27629 33554432000 1073741824 1073778376 140734554596432 140258672855224 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14811/tid=14833] ppid=14809 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/14811/task/14833/stat : 14833 (java) S 14809 14811 13062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291268625 9856004096 27629 33554432000 1073741824 1073778376 140734554596432 140258671802872 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14811/tid=14834] ppid=14809 vsize=9625004 CPUtime=0.04 cores=1,3,5,7 /proc/14811/task/14834/stat : 14834 (java) S 14809 14811 13062 0 -1 4202560 29 0 0 0 2 2 0 0 20 0 19 0 291268625 9856004096 27629 33554432000 1073741824 1073778376 140734554596432 140258670750536 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14811/tid=14857] ppid=14809 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/14811/task/14857/stat : 14857 (java) S 14809 14811 13062 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291268662 9856004096 27629 33554432000 1073741824 1073778376 140734554596432 140258669696296 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 518.57 Current children cumulated vsize (KiB) 9625004 [startup+515.906 s] /proc/loadavg: 1.99 1.83 1.66 3/211 14860 /proc/meminfo: memFree=28061236/32873624 swapFree=7104/7104 [pid=14811] ppid=14809 vsize=9625004 CPUtime=519.37 cores=1,3,5,7 /proc/14811/stat : 14811 (java) S 14809 14811 13062 0 -1 4202496 10991 0 1 0 51917 20 0 0 20 0 19 0 291268619 9856004096 27629 33554432000 1073741824 1073778376 140734554596432 140734554587568 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/14811/statm: 2406251 27629 2292 9 0 2396937 0 [pid=14811/tid=14813] ppid=14809 vsize=9625004 CPUtime=505.58 cores=1,3,5,7 /proc/14811/task/14813/stat : 14813 (java) R 14809 14811 13062 0 -1 4202560 2815 0 1 0 50546 12 0 0 20 0 19 0 291268620 9856004096 27629 33554432000 1073741824 1073778376 140734554596432 140258854625616 140258684037905 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=14811/tid=14814] ppid=14809 vsize=9625004 CPUtime=0.43 cores=1,3,5,7 /proc/14811/task/14814/stat : 14814 (java) S 14809 14811 13062 0 -1 4202560 35 0 0 0 43 0 0 0 20 0 19 0 291268621 9856004096 27629 33554432000 1073741824 1073778376 140734554596432 140258816117416 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14811/tid=14815] ppid=14809 vsize=9625004 CPUtime=0.42 cores=1,3,5,7 /proc/14811/task/14815/stat : 14815 (java) S 14809 14811 13062 0 -1 4202560 35 0 0 0 42 0 0 0 20 0 19 0 291268621 9856004096 27629 33554432000 1073741824 1073778376 140734554596432 140258815064872 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14811/tid=14816] ppid=14809 vsize=9625004 CPUtime=0.43 cores=1,3,5,7 /proc/14811/task/14816/stat : 14816 (java) S 14809 14811 13062 0 -1 4202560 40 0 0 0 43 0 0 0 20 0 19 0 291268621 9856004096 27629 33554432000 1073741824 1073778376 140734554596432 140258814012328 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14811/tid=14817] ppid=14809 vsize=9625004 CPUtime=0.41 cores=1,3,5,7 /proc/14811/task/14817/stat : 14817 (java) S 14809 14811 13062 0 -1 4202560 37 0 0 0 41 0 0 0 20 0 19 0 291268621 9856004096 27629 33554432000 1073741824 1073778376 140734554596432 140258812959784 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14811/tid=14818] ppid=14809 vsize=9625004 CPUtime=0.43 cores=1,3,5,7 /proc/14811/task/14818/stat : 14818 (java) S 14809 14811 13062 0 -1 4202560 45 0 0 0 43 0 0 0 20 0 19 0 291268621 9856004096 27629 33554432000 1073741824 1073778376 140734554596432 140258811906216 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14811/tid=14819] ppid=14809 vsize=9625004 CPUtime=0.42 cores=1,3,5,7 /proc/14811/task/14819/stat : 14819 (java) S 14809 14811 13062 0 -1 4202560 53 0 0 0 42 0 0 0 20 0 19 0 291268621 9856004096 27629 33554432000 1073741824 1073778376 140734554596432 140258810853672 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14811/tid=14820] ppid=14809 vsize=9625004 CPUtime=0.47 cores=1,3,5,7 /proc/14811/task/14820/stat : 14820 (java) S 14809 14811 13062 0 -1 4202560 28 0 0 0 47 0 0 0 20 0 19 0 291268621 9856004096 27629 33554432000 1073741824 1073778376 140734554596432 140258809801128 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14811/tid=14821] ppid=14809 vsize=9625004 CPUtime=0.43 cores=1,3,5,7 /proc/14811/task/14821/stat : 14821 (java) S 14809 14811 13062 0 -1 4202560 38 0 0 0 43 0 0 0 20 0 19 0 291268621 9856004096 27629 33554432000 1073741824 1073778376 140734554596432 140258808748584 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14811/tid=14822] ppid=14809 vsize=9625004 CPUtime=7.66 cores=1,3,5,7 /proc/14811/task/14822/stat : 14822 (java) S 14809 14811 13062 0 -1 4202560 89 0 0 0 765 1 0 0 20 0 19 0 291268622 9856004096 27629 33554432000 1073741824 1073778376 140734554596432 140258678119016 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14811/tid=14823] ppid=14809 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/14811/task/14823/stat : 14823 (java) S 14809 14811 13062 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291268622 9856004096 27629 33554432000 1073741824 1073778376 140734554596432 140258677065336 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14811/tid=14824] ppid=14809 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/14811/task/14824/stat : 14824 (java) S 14809 14811 13062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291268622 9856004096 27629 33554432000 1073741824 1073778376 140734554596432 140258676012680 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14811/tid=14830] ppid=14809 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/14811/task/14830/stat : 14830 (java) S 14809 14811 13062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291268625 9856004096 27629 33554432000 1073741824 1073778376 140734554596432 140258674961424 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14811/tid=14831] ppid=14809 vsize=9625004 CPUtime=0.6 cores=1,3,5,7 /proc/14811/task/14831/stat : 14831 (java) S 14809 14811 13062 0 -1 4202560 3349 0 0 0 60 0 0 0 20 0 19 0 291268625 9856004096 27629 33554432000 1073741824 1073778376 140734554596432 140258673907768 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14811/tid=14832] ppid=14809 vsize=9625004 CPUtime=0.63 cores=1,3,5,7 /proc/14811/task/14832/stat : 14832 (java) S 14809 14811 13062 0 -1 4202560 3211 0 0 0 63 0 0 0 20 0 19 0 291268625 9856004096 27629 33554432000 1073741824 1073778376 140734554596432 140258672855224 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14811/tid=14833] ppid=14809 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/14811/task/14833/stat : 14833 (java) S 14809 14811 13062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291268625 9856004096 27629 33554432000 1073741824 1073778376 140734554596432 140258671802872 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14811/tid=14834] ppid=14809 vsize=9625004 CPUtime=0.04 cores=1,3,5,7 /proc/14811/task/14834/stat : 14834 (java) S 14809 14811 13062 0 -1 4202560 29 0 0 0 2 2 0 0 20 0 19 0 291268625 9856004096 27629 33554432000 1073741824 1073778376 140734554596432 140258670750536 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14811/tid=14857] ppid=14809 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/14811/task/14857/stat : 14857 (java) S 14809 14811 13062 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291268662 9856004096 27629 33554432000 1073741824 1073778376 140734554596432 140258669696296 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 519.37 Current children cumulated vsize (KiB) 9625004 [startup+516.101 s] /proc/loadavg: 1.99 1.83 1.66 3/211 14860 /proc/meminfo: memFree=28061236/32873624 swapFree=7104/7104 [pid=14811] ppid=14809 vsize=9625004 CPUtime=519.57 cores=1,3,5,7 /proc/14811/stat : 14811 (java) S 14809 14811 13062 0 -1 4202496 10992 0 1 0 51937 20 0 0 20 0 19 0 291268619 9856004096 27629 33554432000 1073741824 1073778376 140734554596432 140734554587568 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/14811/statm: 2406251 27629 2292 9 0 2396937 0 [pid=14811/tid=14813] ppid=14809 vsize=9625004 CPUtime=505.73 cores=1,3,5,7 /proc/14811/task/14813/stat : 14813 (java) R 14809 14811 13062 0 -1 4202560 2816 0 1 0 50561 12 0 0 20 0 19 0 291268620 9856004096 27629 33554432000 1073741824 1073778376 140734554596432 140258854625616 140258684069960 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=14811/tid=14814] ppid=14809 vsize=9625004 CPUtime=0.43 cores=1,3,5,7 /proc/14811/task/14814/stat : 14814 (java) S 14809 14811 13062 0 -1 4202560 35 0 0 0 43 0 0 0 20 0 19 0 291268621 9856004096 27629 33554432000 1073741824 1073778376 140734554596432 140258816117416 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14811/tid=14815] ppid=14809 vsize=9625004 CPUtime=0.42 cores=1,3,5,7 /proc/14811/task/14815/stat : 14815 (java) S 14809 14811 13062 0 -1 4202560 35 0 0 0 42 0 0 0 20 0 19 0 291268621 9856004096 27629 33554432000 1073741824 1073778376 140734554596432 140258815064872 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14811/tid=14816] ppid=14809 vsize=9625004 CPUtime=0.43 cores=1,3,5,7 /proc/14811/task/14816/stat : 14816 (java) S 14809 14811 13062 0 -1 4202560 40 0 0 0 43 0 0 0 20 0 19 0 291268621 9856004096 27629 33554432000 1073741824 1073778376 140734554596432 140258814012328 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14811/tid=14817] ppid=14809 vsize=9625004 CPUtime=0.41 cores=1,3,5,7 /proc/14811/task/14817/stat : 14817 (java) S 14809 14811 13062 0 -1 4202560 37 0 0 0 41 0 0 0 20 0 19 0 291268621 9856004096 27629 33554432000 1073741824 1073778376 140734554596432 140258812959784 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14811/tid=14818] ppid=14809 vsize=9625004 CPUtime=0.43 cores=1,3,5,7 /proc/14811/task/14818/stat : 14818 (java) S 14809 14811 13062 0 -1 4202560 45 0 0 0 43 0 0 0 20 0 19 0 291268621 9856004096 27629 33554432000 1073741824 1073778376 140734554596432 140258811906216 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14811/tid=14819] ppid=14809 vsize=9625004 CPUtime=0.42 cores=1,3,5,7 /proc/14811/task/14819/stat : 14819 (java) S 14809 14811 13062 0 -1 4202560 53 0 0 0 42 0 0 0 20 0 19 0 291268621 9856004096 27629 33554432000 1073741824 1073778376 140734554596432 140258810853672 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14811/tid=14820] ppid=14809 vsize=9625004 CPUtime=0.47 cores=1,3,5,7 /proc/14811/task/14820/stat : 14820 (java) S 14809 14811 13062 0 -1 4202560 28 0 0 0 47 0 0 0 20 0 19 0 291268621 9856004096 27629 33554432000 1073741824 1073778376 140734554596432 140258809801128 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14811/tid=14821] ppid=14809 vsize=9625004 CPUtime=0.43 cores=1,3,5,7 /proc/14811/task/14821/stat : 14821 (java) S 14809 14811 13062 0 -1 4202560 38 0 0 0 43 0 0 0 20 0 19 0 291268621 9856004096 27629 33554432000 1073741824 1073778376 140734554596432 140258808748584 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14811/tid=14822] ppid=14809 vsize=9625004 CPUtime=7.69 cores=1,3,5,7 /proc/14811/task/14822/stat : 14822 (java) S 14809 14811 13062 0 -1 4202560 89 0 0 0 768 1 0 0 20 0 19 0 291268622 9856004096 27629 33554432000 1073741824 1073778376 140734554596432 140258678119016 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14811/tid=14823] ppid=14809 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/14811/task/14823/stat : 14823 (java) S 14809 14811 13062 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291268622 9856004096 27629 33554432000 1073741824 1073778376 140734554596432 140258677065336 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14811/tid=14824] ppid=14809 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/14811/task/14824/stat : 14824 (java) S 14809 14811 13062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291268622 9856004096 27629 33554432000 1073741824 1073778376 140734554596432 140258676012680 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14811/tid=14830] ppid=14809 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/14811/task/14830/stat : 14830 (java) S 14809 14811 13062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291268625 9856004096 27629 33554432000 1073741824 1073778376 140734554596432 140258674961424 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14811/tid=14831] ppid=14809 vsize=9625004 CPUtime=0.6 cores=1,3,5,7 /proc/14811/task/14831/stat : 14831 (java) S 14809 14811 13062 0 -1 4202560 3349 0 0 0 60 0 0 0 20 0 19 0 291268625 9856004096 27629 33554432000 1073741824 1073778376 140734554596432 140258673907768 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14811/tid=14832] ppid=14809 vsize=9625004 CPUtime=0.63 cores=1,3,5,7 /proc/14811/task/14832/stat : 14832 (java) S 14809 14811 13062 0 -1 4202560 3211 0 0 0 63 0 0 0 20 0 19 0 291268625 9856004096 27629 33554432000 1073741824 1073778376 140734554596432 140258672855224 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14811/tid=14833] ppid=14809 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/14811/task/14833/stat : 14833 (java) S 14809 14811 13062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291268625 9856004096 27629 33554432000 1073741824 1073778376 140734554596432 140258671802872 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14811/tid=14834] ppid=14809 vsize=9625004 CPUtime=0.04 cores=1,3,5,7 /proc/14811/task/14834/stat : 14834 (java) S 14809 14811 13062 0 -1 4202560 29 0 0 0 2 2 0 0 20 0 19 0 291268625 9856004096 27629 33554432000 1073741824 1073778376 140734554596432 140258670750536 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14811/tid=14857] ppid=14809 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/14811/task/14857/stat : 14857 (java) S 14809 14811 13062 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291268662 9856004096 27629 33554432000 1073741824 1073778376 140734554596432 140258669696296 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 519.57 Current children cumulated vsize (KiB) 9625004 [startup+516.201 s] /proc/loadavg: 1.99 1.83 1.66 3/211 14860 /proc/meminfo: memFree=28061236/32873624 swapFree=7104/7104 [pid=14811] ppid=14809 vsize=9625004 CPUtime=519.67 cores=1,3,5,7 /proc/14811/stat : 14811 (java) S 14809 14811 13062 0 -1 4202496 10992 0 1 0 51947 20 0 0 20 0 19 0 291268619 9856004096 27629 33554432000 1073741824 1073778376 140734554596432 140734554587568 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/14811/statm: 2406251 27629 2292 9 0 2396937 0 [pid=14811/tid=14813] ppid=14809 vsize=9625004 CPUtime=505.83 cores=1,3,5,7 /proc/14811/task/14813/stat : 14813 (java) R 14809 14811 13062 0 -1 4202560 2816 0 1 0 50571 12 0 0 20 0 19 0 291268620 9856004096 27629 33554432000 1073741824 1073778376 140734554596432 140258854625616 140258684037840 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=14811/tid=14814] ppid=14809 vsize=9625004 CPUtime=0.43 cores=1,3,5,7 /proc/14811/task/14814/stat : 14814 (java) S 14809 14811 13062 0 -1 4202560 35 0 0 0 43 0 0 0 20 0 19 0 291268621 9856004096 27629 33554432000 1073741824 1073778376 140734554596432 140258816117416 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14811/tid=14815] ppid=14809 vsize=9625004 CPUtime=0.42 cores=1,3,5,7 /proc/14811/task/14815/stat : 14815 (java) S 14809 14811 13062 0 -1 4202560 35 0 0 0 42 0 0 0 20 0 19 0 291268621 9856004096 27629 33554432000 1073741824 1073778376 140734554596432 140258815064872 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14811/tid=14816] ppid=14809 vsize=9625004 CPUtime=0.43 cores=1,3,5,7 /proc/14811/task/14816/stat : 14816 (java) S 14809 14811 13062 0 -1 4202560 40 0 0 0 43 0 0 0 20 0 19 0 291268621 9856004096 27629 33554432000 1073741824 1073778376 140734554596432 140258814012328 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14811/tid=14817] ppid=14809 vsize=9625004 CPUtime=0.41 cores=1,3,5,7 /proc/14811/task/14817/stat : 14817 (java) S 14809 14811 13062 0 -1 4202560 37 0 0 0 41 0 0 0 20 0 19 0 291268621 9856004096 27629 33554432000 1073741824 1073778376 140734554596432 140258812959784 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=14811/tid=14818] ppid=14809 vsize=9625004 CPUtime=0.43 cores=1,3,5,7 /proc/14811/task/14818/stat : 14818 (java) S 14809 14811 13062 0 -1 4202560 45 0 0 0 43 0 0 0 20 0 19 0 291268621 9856004096 27629 33554432000 1073741824 1073778376 140734554596432 140258811906216 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14811/tid=14819] ppid=14809 vsize=9625004 CPUtime=0.42 cores=1,3,5,7 /proc/14811/task/14819/stat : 14819 (java) S 14809 14811 13062 0 -1 4202560 53 0 0 0 42 0 0 0 20 0 19 0 291268621 9856004096 27629 33554432000 1073741824 1073778376 140734554596432 140258810853672 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14811/tid=14820] ppid=14809 vsize=9625004 CPUtime=0.47 cores=1,3,5,7 /proc/14811/task/14820/stat : 14820 (java) S 14809 14811 13062 0 -1 4202560 28 0 0 0 47 0 0 0 20 0 19 0 291268621 9856004096 27629 33554432000 1073741824 1073778376 140734554596432 140258809801128 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14811/tid=14821] ppid=14809 vsize=9625004 CPUtime=0.43 cores=1,3,5,7 /proc/14811/task/14821/stat : 14821 (java) S 14809 14811 13062 0 -1 4202560 38 0 0 0 43 0 0 0 20 0 19 0 291268621 9856004096 27629 33554432000 1073741824 1073778376 140734554596432 140258808748584 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14811/tid=14822] ppid=14809 vsize=9625004 CPUtime=7.69 cores=1,3,5,7 /proc/14811/task/14822/stat : 14822 (java) S 14809 14811 13062 0 -1 4202560 89 0 0 0 768 1 0 0 20 0 19 0 291268622 9856004096 27629 33554432000 1073741824 1073778376 140734554596432 140258678119016 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14811/tid=14823] ppid=14809 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/14811/task/14823/stat : 14823 (java) S 14809 14811 13062 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291268622 9856004096 27629 33554432000 1073741824 1073778376 140734554596432 140258677065336 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14811/tid=14824] ppid=14809 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/14811/task/14824/stat : 14824 (java) S 14809 14811 13062 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291268622 9856004096 27629 33554432000 1073741824 1073778376 140734554596432 140258676012680 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14811/tid=14830] ppid=14809 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/14811/task/14830/stat : 14830 (java) S 14809 14811 13062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291268625 9856004096 27629 33554432000 1073741824 1073778376 140734554596432 140258674961424 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14811/tid=14831] ppid=14809 vsize=9625004 CPUtime=0.6 cores=1,3,5,7 /proc/14811/task/14831/stat : 14831 (java) S 14809 14811 13062 0 -1 4202560 3349 0 0 0 60 0 0 0 20 0 19 0 291268625 9856004096 27629 33554432000 1073741824 1073778376 140734554596432 140258673907768 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=14811/tid=14832] ppid=14809 vsize=9625004 CPUtime=0.63 cores=1,3,5,7 /proc/14811/task/14832/stat : 14832 (java) S 14809 14811 13062 0 -1 4202560 3211 0 0 0 63 0 0 0 20 0 19 0 291268625 9856004096 27629 33554432000 1073741824 1073778376 140734554596432 140258672855224 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14811/tid=14833] ppid=14809 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/14811/task/14833/stat : 14833 (java) S 14809 14811 13062 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291268625 9856004096 27629 33554432000 1073741824 1073778376 140734554596432 140258671802872 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=14811/tid=14834] ppid=14809 vsize=9625004 CPUtime=0.04 cores=1,3,5,7 /proc/14811/task/14834/stat : 14834 (java) S 14809 14811 13062 0 -1 4202560 29 0 0 0 2 2 0 0 20 0 19 0 291268625 9856004096 27629 33554432000 1073741824 1073778376 140734554596432 140258670750536 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=14811/tid=14857] ppid=14809 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/14811/task/14857/stat : 14857 (java) S 14809 14811 13062 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291268662 9856004096 27629 33554432000 1073741824 1073778376 140734554596432 140258669696296 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 519.67 Current children cumulated vsize (KiB) 9625004 Child status: 30 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 14811 and gives # childrusage.ru_utime.tv_sec=518 # childrusage.ru_utime.tv_usec=301206 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=294955 # CPU time returned by wait4() is 518.596 # while last known CPU time is 519.67 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 516.287 CPU time (s): 519.67 CPU user time (s): 519.47 CPU system time (s): 0.2 CPU usage (%): 100.655 Max. virtual memory (cumulated for all children) (KiB): 9625004 getrusage(RUSAGE_CHILDREN,...) data: user time used= 518.301 system time used= 0.294955 maximum resident set size= 111088 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 11011 page faults= 1 swaps= 0 block input operations= 0 block output operations= 552 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 18921 involuntary context switches= 22688 runsolver used 2.57661 second user time and 5.33719 second system time The end
Begin job on node121 at 2012-05-29 02:30:32 IDJOB=3710480 IDBENCH=92699 IDSOLVER=2289 FILE ID=node121/3710480-1338251431 RUNJOBID= node121-1338251431-14794 PBS_JOBID= 14624639 Free space on /tmp= 71652 MiB SOLVER NAME= SAT4J PB specific settings 2.3.2 snapshot BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/Multihop/normalized-minisat15_5_3_1_mh.opb COMMAND LINE= java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3710480-1338251431/watcher-3710480-1338251431 -o /tmp/evaluation-result-3710480-1338251431/solver-3710480-1338251431 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710480-1338251431.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 8032cd9ddf37959390b9864499521c4d RANDOM SEED=683119632 node121.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /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 : 2667.042 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.08 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.042 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.042 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.042 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.042 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.042 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.042 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5438.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.042 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873624 kB MemFree: 28443064 kB Buffers: 595952 kB Cached: 2950572 kB SwapCached: 0 kB Active: 979852 kB Inactive: 2585800 kB Active(anon): 16352 kB Inactive(anon): 0 kB Active(file): 963500 kB Inactive(file): 2585800 kB Unevictable: 7104 kB Mlocked: 7104 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 1604 kB Writeback: 0 kB AnonPages: 18896 kB Mapped: 13464 kB Shmem: 200 kB Slab: 725444 kB SReclaimable: 169704 kB SUnreclaim: 555740 kB KernelStack: 1368 kB PageTables: 4240 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545668 kB Committed_AS: 96492 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7680 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71648 MiB End job on node121 at 2012-05-29 02:39:08