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 | SAT (TO) | 1800.08 | 1792.26 |
| Name | /OPT-BIGINT-LIN/zahidi/MH+IC/ normalized-minisat15_4_4_6_mh_ic.opb |
| MD5SUM | b24b10929da03724a77e08494dd4be05 |
| 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 | 2886748 |
| Best CPU time to get the best result obtained on this benchmark | 222.049 |
| 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 | 9765 |
| Total number of constraints | 21293 |
| Number of constraints which are clauses | 14520 |
| Number of constraints which are cardinality constraints (but not clauses) | 23 |
| Number of constraints which are nor clauses,nor cardinality constraints | 6750 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 330 |
| Number of terms in the objective function | 4005 |
| Biggest coefficient in the objective function | 140608000 |
| Number of bits for the biggest coefficient in the objective function | 28 |
| Sum of the numbers in the objective function | 5469285523 |
| Number of bits of the sum of numbers in the objective function | 33 |
| Biggest number in a constraint | 140608000 |
| Number of bits of the biggest number in a constraint | 28 |
| Biggest sum of numbers in a constraint | 5469285523 |
| 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.03/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS 0.03/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.03/0.08 c See www.sat4j.org for details. 0.03/0.08 c This software uses some libraries from the Jakarta Commons project. See jakarta.apache.org for details. 0.03/0.09 c version 2.3.2.v20120418 0.03/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.03/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.03/0.09 c java.vm.version 19.1-b02 0.03/0.09 c java.vm.vendor Sun Microsystems Inc. 0.03/0.09 c sun.arch.data.model 64 0.03/0.09 c java.version 1.6.0_24 0.03/0.09 c os.name Linux 0.03/0.09 c os.version 2.6.32-71.29.1.el6.x86_64 0.03/0.09 c os.arch amd64 0.03/0.09 c Free memory 501472288 0.03/0.09 c Max memory 7480803328 0.03/0.09 c Total memory 504102912 0.03/0.09 c Number of processors 8 0.08/0.12 c read org.sat4j.minisat.orders.VarOrderHeap 0.08/0.12 c configuring ORDERS 0.08/0.13 c --- Begin Solver configuration --- 0.08/0.13 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@742808b3 0.08/0.13 c Learn all clauses as in MiniSAT 0.08/0.13 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.08/0.13 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause 0.08/0.13 c Expensive reason simplification 0.08/0.13 c Armin Biere (Picosat) restarts strategy 0.08/0.13 c Glucose learned constraints deletion strategy 0.08/0.13 c timeout=2147483s 0.08/0.13 c DB Simplification allowed=true 0.08/0.13 c Heuristics kept accross calls (keep the solver "hot") 0.08/0.13 c --- End Solver configuration --- 0.08/0.13 c solving HOME/instance-3710453-1338250837.opb 0.08/0.13 c reading problem ... 0.65/0.48 c ... done. Wall clock time 0.348s. 0.65/0.48 c declared #vars 9765 0.65/0.48 c #constraints 21927 0.65/0.48 c constraints type 0.65/0.48 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6001 0.65/0.48 c org.sat4j.minisat.constraints.cnf.UnitClauses => 4 0.65/0.48 c org.sat4j.minisat.constraints.card.MinWatchCard => 22 0.65/0.48 c ignored satisfied constraints => 4 0.65/0.48 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9885 0.65/0.48 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6015 0.65/0.48 c 21931 constraints processed. 2.35/1.75 c SATISFIABLE 2.35/1.75 c OPTIMIZING... 2.35/1.75 c Got one! Elapsed wall clock time (in seconds):1.622 2.35/1.75 o 168013958 3.58/2.78 c cleaning 2967 clauses out of 5933 with flag 3000/5936 5.38/4.09 c cleaning 4476 clauses out of 8964 with flag 9000/11936 6.79/5.44 c cleaning 5731 clauses out of 11487 with flag 16000/18936 8.20/6.86 c cleaning 6867 clauses out of 13756 with flag 24000/26936 9.64/8.21 c cleaning 7940 clauses out of 15889 with flag 33000/35936 11.35/9.98 c cleaning 8967 clauses out of 17951 with flag 43002/45938 13.25/11.82 c cleaning 9983 clauses out of 19983 with flag 54001/56937 14.46/13.07 c Got one! Elapsed wall clock time (in seconds):12.947 14.46/13.07 o 57414344 15.16/13.68 c cleaning 11270 clauses out of 22555 with flag 5000/69508 16.17/14.60 c cleaning 8633 clauses out of 17287 with flag 11002/75510 17.38/15.86 c cleaning 7819 clauses out of 15640 with flag 18000/82508 18.69/17.14 c cleaning 7852 clauses out of 15738 with flag 26000/90508 20.09/18.54 c cleaning 8436 clauses out of 16883 with flag 35000/99508 21.71/20.11 c cleaning 9222 clauses out of 18447 with flag 45000/109508 23.71/22.10 c cleaning 10102 clauses out of 20226 with flag 56002/120510 25.42/23.86 c cleaning 11052 clauses out of 22120 with flag 68000/132508 27.42/25.89 c cleaning 12030 clauses out of 24072 with flag 81004/145512 29.22/27.68 c Got one! Elapsed wall clock time (in seconds):27.555 29.22/27.68 o 57405224 29.96/28.31 c cleaning 12221 clauses out of 24463 with flag 5004/157933 30.88/29.21 c cleaning 9107 clauses out of 18241 with flag 11003/163932 31.88/30.23 c Got one! Elapsed wall clock time (in seconds):30.106 31.88/30.23 o 54476755 32.59/30.93 c cleaning 10331 clauses out of 20677 with flag 5000/175475 33.91/32.24 c cleaning 8167 clauses out of 16338 with flag 11003/181478 34.93/33.25 c cleaning 7581 clauses out of 15174 with flag 18006/188481 36.34/34.65 c cleaning 7788 clauses out of 15588 with flag 26001/196476 37.75/36.06 c cleaning 8390 clauses out of 16799 with flag 35000/205475 39.65/37.96 c cleaning 9205 clauses out of 18409 with flag 45000/215475 41.15/39.44 c cleaning 10082 clauses out of 20204 with flag 56000/226475 42.86/41.10 c cleaning 11045 clauses out of 22122 with flag 68000/238475 44.86/43.17 c cleaning 12035 clauses out of 24078 with flag 81001/251476 47.16/45.42 c cleaning 13017 clauses out of 26044 with flag 95002/265477 49.30/47.53 c Got one! Elapsed wall clock time (in seconds):47.399 49.30/47.53 o 42383901 50.62/48.89 c cleaning 15323 clauses out of 30655 with flag 5000/283116 52.45/50.62 c cleaning 10660 clauses out of 21329 with flag 11003/289119 53.96/52.15 c cleaning 8827 clauses out of 17666 with flag 18000/296116 55.38/53.55 c cleaning 8396 clauses out of 16841 with flag 26002/304118 56.59/54.78 c cleaning 8714 clauses out of 17443 with flag 35000/313116 58.19/56.34 c cleaning 9362 clauses out of 18729 with flag 45000/323116 58.80/56.99 c Got one! Elapsed wall clock time (in seconds):56.86 58.80/56.99 o 36114491 59.01/57.18 c cleaning 7271 clauses out of 14555 with flag 1000/328319 59.81/57.97 c cleaning 6618 clauses out of 13284 with flag 7000/334319 61.15/59.20 c cleaning 6825 clauses out of 13669 with flag 14003/341322 62.37/60.42 c cleaning 7413 clauses out of 14841 with flag 22000/349319 63.79/61.86 c cleaning 8197 clauses out of 16422 with flag 31000/358319 65.40/63.45 c cleaning 9105 clauses out of 18225 with flag 41000/368319 67.00/65.07 c cleaning 10051 clauses out of 20120 with flag 52000/379319 69.01/67.02 c cleaning 11024 clauses out of 22071 with flag 64002/391321 71.41/69.44 c cleaning 11981 clauses out of 23973 with flag 77000/404319 73.72/71.76 c cleaning 12993 clauses out of 25992 with flag 91000/418319 74.02/72.07 c Got one! Elapsed wall clock time (in seconds):71.945 74.02/72.07 o 36065682 74.63/72.62 c cleaning 9119 clauses out of 18251 with flag 4000/423575 75.54/73.52 c cleaning 7547 clauses out of 15134 with flag 10002/429577 76.46/74.48 c cleaning 7276 clauses out of 14588 with flag 17003/436578 77.76/75.75 c cleaning 7641 clauses out of 15309 with flag 25000/444575 79.40/77.33 c cleaning 8322 clauses out of 16669 with flag 34001/453576 81.11/79.01 c cleaning 9153 clauses out of 18319 with flag 44001/463576 83.04/80.91 c cleaning 10078 clauses out of 20167 with flag 55002/474577 84.84/82.75 c cleaning 11038 clauses out of 22088 with flag 67001/486576 86.44/84.39 c cleaning 12008 clauses out of 24050 with flag 80001/499576 88.95/86.81 c cleaning 13014 clauses out of 26041 with flag 94000/513575 91.58/89.43 c cleaning 14003 clauses out of 28027 with flag 109000/528575 94.79/92.62 c cleaning 15004 clauses out of 30026 with flag 125002/544577 98.91/96.78 c cleaning 16002 clauses out of 32020 with flag 142000/561575 102.93/100.76 c cleaning 16997 clauses out of 34019 with flag 160001/579576 106.24/104.09 c cleaning 18003 clauses out of 36022 with flag 179001/598576 109.86/107.63 c cleaning 18952 clauses out of 37911 with flag 199000/618575 113.16/110.90 c cleaning 19970 clauses out of 39959 with flag 220000/639575 116.77/114.59 c cleaning 20985 clauses out of 41990 with flag 242001/661576 120.60/118.33 c cleaning 21988 clauses out of 44004 with flag 265000/684575 124.11/121.88 c cleaning 22993 clauses out of 46016 with flag 289000/708575 125.42/123.14 c Got one! Elapsed wall clock time (in seconds):123.013 125.42/123.14 o 34407373 126.62/124.38 c cleaning 17891 clauses out of 35817 with flag 5000/721369 127.93/125.65 c cleaning 11956 clauses out of 23930 with flag 11004/727373 129.04/126.72 c cleaning 9467 clauses out of 18974 with flag 18004/734373 130.76/128.42 c cleaning 8726 clauses out of 17503 with flag 26000/742369 132.66/130.38 c cleaning 8859 clauses out of 17773 with flag 35000/751369 135.17/132.81 c cleaning 9450 clauses out of 18917 with flag 45003/761372 137.97/135.69 c cleaning 10220 clauses out of 20464 with flag 56000/772369 140.47/138.10 c Got one! Elapsed wall clock time (in seconds):137.97 140.47/138.10 o 34405621 141.37/139.05 c cleaning 12369 clauses out of 24760 with flag 5000/786885 142.28/139.98 c cleaning 9186 clauses out of 18391 with flag 11000/792885 143.30/140.96 c cleaning 8077 clauses out of 16208 with flag 18003/799888 144.53/142.15 c cleaning 8027 clauses out of 16128 with flag 26000/807885 146.03/143.61 c cleaning 8540 clauses out of 17102 with flag 35001/816886 147.63/145.28 c cleaning 9267 clauses out of 18561 with flag 45000/826885 149.23/146.88 c cleaning 10140 clauses out of 20295 with flag 56001/837886 151.23/148.86 c cleaning 11060 clauses out of 22154 with flag 68000/849885 153.73/151.32 c cleaning 12039 clauses out of 24095 with flag 81001/862886 156.45/154.02 c cleaning 13011 clauses out of 26055 with flag 95000/876885 158.85/156.43 c cleaning 14005 clauses out of 28045 with flag 110001/891886 161.46/159.00 c cleaning 15008 clauses out of 30040 with flag 126001/907886 164.67/162.29 c cleaning 16005 clauses out of 32033 with flag 143002/924887 167.78/165.35 c cleaning 17003 clauses out of 34026 with flag 161000/942885 171.18/168.77 c cleaning 18004 clauses out of 36024 with flag 180001/961886 174.49/172.05 c cleaning 19004 clauses out of 38019 with flag 200000/981885 177.81/175.32 c cleaning 20002 clauses out of 40017 with flag 221002/1002887 181.53/179.08 c cleaning 21000 clauses out of 42013 with flag 243000/1024885 185.95/183.43 c cleaning 21973 clauses out of 44014 with flag 266001/1047886 188.57/186.04 c Got one! Elapsed wall clock time (in seconds):185.91 188.57/186.04 o 24747837 189.37/186.82 c cleaning 19655 clauses out of 39320 with flag 5000/1065172 190.29/187.77 c cleaning 12826 clauses out of 25665 with flag 11000/1071172 191.62/189.03 c cleaning 9887 clauses out of 19831 with flag 18001/1078173 192.84/190.28 c cleaning 8950 clauses out of 17943 with flag 26000/1086172 194.54/191.90 c cleaning 8979 clauses out of 17994 with flag 35001/1095173 196.04/193.48 c cleaning 9492 clauses out of 19014 with flag 45000/1105172 197.95/195.33 c cleaning 10243 clauses out of 20522 with flag 56000/1116172 198.48/195.83 c Got one! Elapsed wall clock time (in seconds):195.699 198.48/195.83 o 23461009 198.97/196.33 c cleaning 7841 clauses out of 15715 with flag 3000/1121608 200.18/197.58 c cleaning 6892 clauses out of 13814 with flag 9000/1127608 201.09/198.47 c cleaning 6950 clauses out of 13928 with flag 16006/1134614 202.19/199.53 c cleaning 7477 clauses out of 14972 with flag 24000/1142608 203.29/200.65 c cleaning 8237 clauses out of 16496 with flag 33001/1151609 204.69/202.00 c cleaning 9116 clauses out of 18258 with flag 43000/1161608 206.30/203.65 c cleaning 10056 clauses out of 20142 with flag 54000/1172608 208.00/205.30 c cleaning 11038 clauses out of 22092 with flag 66006/1184614 208.80/206.14 c Got one! Elapsed wall clock time (in seconds):206.014 208.80/206.14 o 17194404 209.70/207.07 c cleaning 11558 clauses out of 23138 with flag 5001/1196726 210.81/208.17 c cleaning 8765 clauses out of 17579 with flag 11000/1202725 212.02/209.36 c cleaning 7880 clauses out of 15814 with flag 18000/1209725 213.52/210.81 c cleaning 7932 clauses out of 15935 with flag 26001/1217726 215.22/212.51 c cleaning 8479 clauses out of 17002 with flag 35000/1226725 217.14/214.47 c cleaning 9243 clauses out of 18523 with flag 45000/1236725 219.13/216.45 c cleaning 10124 clauses out of 20280 with flag 56000/1247725 221.24/218.54 c cleaning 11054 clauses out of 22157 with flag 68001/1259726 223.97/221.25 c cleaning 12033 clauses out of 24102 with flag 81000/1272725 226.79/224.03 c cleaning 13011 clauses out of 26069 with flag 95000/1286725 227.50/224.77 c Got one! Elapsed wall clock time (in seconds):224.64 227.50/224.77 o 12926929 227.80/225.09 c cleaning 9423 clauses out of 18877 with flag 2001/1292567 229.21/226.44 c cleaning 7678 clauses out of 15415 with flag 8000/1298566 230.83/228.08 c cleaning 7329 clauses out of 14737 with flag 15000/1305566 232.65/229.88 c cleaning 7687 clauses out of 15408 with flag 23000/1313566 234.66/231.89 c cleaning 8335 clauses out of 16721 with flag 32000/1322566 237.08/234.20 c cleaning 9174 clauses out of 18387 with flag 42001/1332567 239.48/236.69 c cleaning 10092 clauses out of 20212 with flag 53000/1343566 242.19/239.37 c cleaning 11040 clauses out of 22121 with flag 65001/1355567 245.19/242.34 c cleaning 12026 clauses out of 24080 with flag 78000/1368566 248.39/245.54 c cleaning 13007 clauses out of 26054 with flag 92000/1382566 251.69/248.89 c cleaning 14006 clauses out of 28047 with flag 107000/1397566 255.40/252.60 c cleaning 15002 clauses out of 30041 with flag 123000/1413566 259.40/256.59 c cleaning 16004 clauses out of 32040 with flag 140001/1430567 263.81/260.98 c cleaning 16861 clauses out of 33740 with flag 158000/1448566 267.21/264.31 c cleaning 17931 clauses out of 35882 with flag 177003/1467569 270.03/267.18 c cleaning 18968 clauses out of 37948 with flag 197000/1487566 273.23/270.35 c cleaning 19984 clauses out of 39980 with flag 218000/1508566 276.44/273.50 c cleaning 20986 clauses out of 41996 with flag 240000/1530566 279.56/276.60 c cleaning 21998 clauses out of 44010 with flag 263000/1553566 282.66/279.80 c cleaning 22998 clauses out of 46016 with flag 287004/1577570 286.37/283.45 c cleaning 23993 clauses out of 48014 with flag 312000/1602566 291.38/288.44 c cleaning 24997 clauses out of 50021 with flag 338000/1628566 295.19/292.25 c cleaning 26000 clauses out of 52025 with flag 365001/1655567 298.80/295.81 c cleaning 27005 clauses out of 54024 with flag 393000/1683566 302.60/299.66 c cleaning 27998 clauses out of 56019 with flag 422000/1712566 306.94/303.90 c cleaning 29003 clauses out of 58021 with flag 452000/1742566 312.45/309.46 c cleaning 29981 clauses out of 60018 with flag 483000/1773566 317.66/314.61 c cleaning 31009 clauses out of 62038 with flag 515001/1805567 323.37/320.34 c cleaning 32012 clauses out of 64029 with flag 548001/1838567 328.78/325.72 c cleaning 32996 clauses out of 66017 with flag 582001/1872567 334.50/331.48 c cleaning 33997 clauses out of 68020 with flag 617000/1907566 340.20/337.11 c cleaning 34992 clauses out of 70023 with flag 653000/1943566 346.64/343.53 c cleaning 35998 clauses out of 72032 with flag 690001/1980567 353.45/350.32 c cleaning 37005 clauses out of 74036 with flag 728003/2018569 360.76/357.65 c cleaning 37992 clauses out of 76028 with flag 767000/2057566 368.27/365.12 c cleaning 39005 clauses out of 78040 with flag 807004/2097570 375.47/372.37 c cleaning 40010 clauses out of 80031 with flag 848000/2138566 382.28/379.16 c cleaning 40997 clauses out of 82025 with flag 890004/2180570 388.28/385.18 c cleaning 41979 clauses out of 84024 with flag 933000/2223566 395.10/391.96 c cleaning 43017 clauses out of 86046 with flag 977001/2267567 403.52/400.36 c cleaning 44006 clauses out of 88029 with flag 1022001/2312567 412.04/408.88 c cleaning 44996 clauses out of 90022 with flag 1068000/2358566 419.77/416.53 c cleaning 46002 clauses out of 92026 with flag 1115000/2405566 427.82/424.55 c cleaning 46987 clauses out of 94026 with flag 1163002/2453568 437.23/433.95 c cleaning 48011 clauses out of 96038 with flag 1212001/2502567 446.15/442.82 c cleaning 48998 clauses out of 98026 with flag 1262000/2552566 451.66/448.31 c Got one! Elapsed wall clock time (in seconds):448.186 451.66/448.31 o 12682280 452.36/449.06 c cleaning 47112 clauses out of 94233 with flag 5001/2597771 453.41/450.02 c cleaning 26544 clauses out of 53122 with flag 11002/2603772 454.42/451.03 c cleaning 16775 clauses out of 33577 with flag 18001/2610771 455.53/452.19 c cleaning 12373 clauses out of 24802 with flag 26001/2618771 456.73/453.35 c cleaning 10695 clauses out of 21429 with flag 35001/2627771 458.24/454.87 c cleaning 10350 clauses out of 20736 with flag 45003/2637773 459.74/456.39 c cleaning 10676 clauses out of 21383 with flag 56000/2648770 461.44/458.08 c cleaning 11340 clauses out of 22708 with flag 68001/2660771 463.25/459.85 c cleaning 12176 clauses out of 24368 with flag 81001/2673771 465.36/461.95 c cleaning 13086 clauses out of 26191 with flag 95000/2687770 467.58/464.18 c cleaning 14038 clauses out of 28106 with flag 110001/2702771 470.29/466.85 c cleaning 15018 clauses out of 30067 with flag 126000/2718770 473.20/469.73 c cleaning 16017 clauses out of 32053 with flag 143004/2735774 476.00/472.56 c cleaning 17002 clauses out of 34032 with flag 161000/2753770 478.90/475.46 c cleaning 18014 clauses out of 36033 with flag 180003/2772773 482.21/478.78 c cleaning 18991 clauses out of 38018 with flag 200002/2792772 485.93/482.47 c cleaning 20004 clauses out of 40025 with flag 221000/2813770 489.43/485.98 c cleaning 20994 clauses out of 42022 with flag 243001/2835771 493.24/489.76 c cleaning 22001 clauses out of 44027 with flag 266000/2858770 496.54/493.09 c cleaning 22997 clauses out of 46027 with flag 290001/2882771 500.46/496.92 c cleaning 23990 clauses out of 48029 with flag 315000/2907770 505.56/502.05 c cleaning 25013 clauses out of 50040 with flag 341001/2933771 510.18/506.68 c cleaning 25989 clauses out of 52026 with flag 368000/2960770 515.49/511.96 c cleaning 27007 clauses out of 54039 with flag 396002/2988772 521.02/517.45 c cleaning 27976 clauses out of 56030 with flag 425000/3017770 526.64/523.08 c cleaning 29015 clauses out of 58054 with flag 455000/3047770 532.57/528.95 c cleaning 30004 clauses out of 60040 with flag 486001/3078771 538.70/535.05 c cleaning 31005 clauses out of 62035 with flag 518000/3110770 544.02/540.31 c cleaning 32008 clauses out of 64031 with flag 551001/3143771 549.14/545.46 c cleaning 33007 clauses out of 66025 with flag 585003/3177773 554.86/551.15 c cleaning 33990 clauses out of 68015 with flag 620000/3212770 560.56/556.81 c cleaning 34996 clauses out of 70026 with flag 656001/3248771 570.46/566.78 c cleaning 36006 clauses out of 72030 with flag 693001/3285771 573.37/569.69 c Got one! Elapsed wall clock time (in seconds):569.56 573.37/569.69 o 12670745 574.27/570.51 c cleaning 25933 clauses out of 51904 with flag 5000/3301651 575.08/571.37 c cleaning 15969 clauses out of 31972 with flag 11001/3307652 576.10/572.30 c cleaning 11480 clauses out of 23002 with flag 18000/3314651 577.01/573.27 c cleaning 9736 clauses out of 19522 with flag 26000/3322651 578.12/574.40 c cleaning 9376 clauses out of 18786 with flag 35000/3331651 579.32/575.57 c cleaning 9696 clauses out of 19410 with flag 45000/3341651 580.64/576.88 c cleaning 10334 clauses out of 20715 with flag 56001/3352652 582.46/578.61 c cleaning 11183 clauses out of 22382 with flag 68002/3364653 584.15/580.32 c cleaning 12087 clauses out of 24197 with flag 81000/3377651 586.37/582.59 c cleaning 13037 clauses out of 26110 with flag 95000/3391651 588.99/585.16 c cleaning 14021 clauses out of 28074 with flag 110001/3406652 591.49/587.67 c cleaning 15019 clauses out of 30052 with flag 126000/3422651 594.41/590.54 c cleaning 15997 clauses out of 32034 with flag 143001/3439652 597.71/593.86 c cleaning 17000 clauses out of 34036 with flag 161000/3457651 601.23/597.39 c cleaning 18006 clauses out of 36039 with flag 180003/3476654 605.13/601.25 c cleaning 19004 clauses out of 38030 with flag 200000/3496651 608.76/604.82 c cleaning 19998 clauses out of 40027 with flag 221001/3517652 612.76/608.84 c cleaning 21001 clauses out of 42030 with flag 243002/3539653 616.58/612.61 c cleaning 22009 clauses out of 44028 with flag 266001/3562652 620.61/616.60 c cleaning 23000 clauses out of 46018 with flag 290000/3586651 625.21/621.23 c cleaning 24002 clauses out of 48018 with flag 315000/3611651 630.46/626.45 c cleaning 24991 clauses out of 50018 with flag 341002/3637653 635.67/631.63 c cleaning 25984 clauses out of 52025 with flag 368000/3664651 640.89/636.85 c cleaning 27012 clauses out of 54043 with flag 396002/3692653 646.31/642.25 c cleaning 28000 clauses out of 56029 with flag 425000/3721651 651.73/647.63 c cleaning 29004 clauses out of 58030 with flag 455001/3751652 656.73/652.60 c cleaning 30004 clauses out of 60025 with flag 486000/3782651 661.64/657.53 c cleaning 30989 clauses out of 62021 with flag 518000/3814651 666.66/662.54 c cleaning 31994 clauses out of 64032 with flag 551000/3847651 671.66/667.59 c cleaning 33008 clauses out of 66038 with flag 585000/3881651 677.07/672.91 c cleaning 34008 clauses out of 68032 with flag 620002/3916653 682.98/678.83 c cleaning 34998 clauses out of 70022 with flag 656000/3952651 688.88/684.71 c cleaning 35999 clauses out of 72024 with flag 693000/3989651 695.39/691.25 c cleaning 37003 clauses out of 74026 with flag 731001/4027652 701.72/697.51 c cleaning 37999 clauses out of 76022 with flag 770000/4066651 708.33/704.11 c cleaning 39007 clauses out of 78024 with flag 810001/4106652 714.03/709.86 c cleaning 39999 clauses out of 80016 with flag 851000/4147651 721.06/716.80 c cleaning 40999 clauses out of 82017 with flag 893000/4189651 728.17/723.98 c cleaning 41985 clauses out of 84019 with flag 936001/4232652 735.80/731.55 c cleaning 43002 clauses out of 86037 with flag 980004/4276655 744.20/739.96 c cleaning 43985 clauses out of 88031 with flag 1025000/4321651 751.72/747.46 c cleaning 45016 clauses out of 90047 with flag 1071001/4367652 759.42/755.11 c cleaning 46003 clauses out of 92031 with flag 1118001/4414652 766.95/762.62 c cleaning 47006 clauses out of 94028 with flag 1166001/4462652 775.70/771.38 c cleaning 48003 clauses out of 96023 with flag 1215002/4511653 783.83/779.44 c cleaning 48997 clauses out of 98019 with flag 1265001/4561652 791.94/787.57 c cleaning 50003 clauses out of 100021 with flag 1316000/4612651 799.97/795.51 c cleaning 51000 clauses out of 102018 with flag 1368000/4664651 809.29/804.81 c cleaning 52000 clauses out of 104019 with flag 1421001/4717652 818.00/813.55 c cleaning 53000 clauses out of 106018 with flag 1475000/4771651 826.42/821.94 c cleaning 53995 clauses out of 108019 with flag 1530001/4826652 835.55/831.05 c cleaning 54999 clauses out of 110023 with flag 1586000/4882651 845.48/840.91 c cleaning 56004 clauses out of 112024 with flag 1643000/4939651 856.21/851.63 c cleaning 56995 clauses out of 114021 with flag 1701001/4997652 865.83/861.26 c Got one! Elapsed wall clock time (in seconds):861.134 865.83/861.26 o 12663177 867.32/862.73 c cleaning 56093 clauses out of 112208 with flag 5000/5052834 868.93/864.37 c cleaning 31050 clauses out of 62115 with flag 11000/5058834 870.94/866.33 c cleaning 19004 clauses out of 38065 with flag 18000/5065834 873.06/868.49 c cleaning 13498 clauses out of 27061 with flag 26000/5073834 875.47/870.86 c cleaning 11252 clauses out of 22564 with flag 35001/5082835 877.98/873.37 c cleaning 10608 clauses out of 21312 with flag 45001/5092835 880.58/875.90 c Got one! Elapsed wall clock time (in seconds):875.777 880.58/875.90 o 12654353 881.29/876.64 c cleaning 12598 clauses out of 25214 with flag 5000/5107345 882.10/877.50 c cleaning 9296 clauses out of 18618 with flag 11002/5113347 883.32/878.63 c cleaning 8137 clauses out of 16321 with flag 18001/5120346 884.44/879.72 c cleaning 8088 clauses out of 16185 with flag 26002/5128347 886.06/881.30 c cleaning 8540 clauses out of 17095 with flag 35000/5137345 887.87/883.19 c cleaning 9271 clauses out of 18557 with flag 45002/5147347 890.33/885.54 c cleaning 10132 clauses out of 20284 with flag 56000/5158345 893.14/888.37 c cleaning 11063 clauses out of 22152 with flag 68000/5170345 896.15/891.36 c cleaning 12024 clauses out of 24089 with flag 81000/5183345 899.17/894.34 c cleaning 13012 clauses out of 26065 with flag 95000/5197345 902.49/897.69 c cleaning 14005 clauses out of 28055 with flag 110002/5212347 906.31/901.49 c cleaning 15007 clauses out of 30048 with flag 126000/5228345 910.33/905.47 c cleaning 16000 clauses out of 32042 with flag 143001/5245346 914.82/909.94 c cleaning 17007 clauses out of 34041 with flag 161000/5263345 917.53/912.70 c cleaning 17998 clauses out of 36034 with flag 180000/5282345 920.55/915.65 c cleaning 18999 clauses out of 38036 with flag 200000/5302345 921.96/917.09 c Got one! Elapsed wall clock time (in seconds):916.958 921.96/917.09 o 6146051 922.86/917.92 c cleaning 16606 clauses out of 33233 with flag 5001/5316636 923.88/918.94 c cleaning 9074 clauses out of 18183 with flag 11003/5322638 924.92/919.95 c cleaning 8038 clauses out of 16108 with flag 18002/5329637 925.94/920.96 c cleaning 8024 clauses out of 16068 with flag 26000/5337635 927.36/922.33 c cleaning 8511 clauses out of 17044 with flag 35000/5346635 928.86/923.84 c cleaning 9256 clauses out of 18533 with flag 45000/5356635 930.69/925.61 c cleaning 10132 clauses out of 20279 with flag 56002/5367637 932.69/927.62 c cleaning 11069 clauses out of 22146 with flag 68001/5379636 934.50/929.44 c cleaning 12028 clauses out of 24076 with flag 81000/5392635 936.90/931.85 c cleaning 13001 clauses out of 26048 with flag 95000/5406635 939.51/934.43 c cleaning 14009 clauses out of 28047 with flag 110000/5421635 942.01/936.95 c cleaning 15003 clauses out of 30038 with flag 126000/5437635 944.63/939.58 c cleaning 15998 clauses out of 32035 with flag 143000/5454635 947.54/942.48 c cleaning 17003 clauses out of 34038 with flag 161001/5472636 950.76/945.68 c cleaning 18006 clauses out of 36035 with flag 180001/5491636 954.18/949.04 c cleaning 19007 clauses out of 38028 with flag 200000/5511635 957.50/952.34 c cleaning 19994 clauses out of 40021 with flag 221000/5532635 961.21/956.06 c cleaning 21003 clauses out of 42028 with flag 243001/5554636 964.52/959.37 c cleaning 21999 clauses out of 44024 with flag 266000/5577635 968.34/963.18 c cleaning 22998 clauses out of 46025 with flag 290000/5601635 972.76/967.56 c cleaning 23997 clauses out of 48027 with flag 315000/5626635 977.86/972.63 c cleaning 24787 clauses out of 49579 with flag 341000/5652635 983.68/978.45 c cleaning 25881 clauses out of 51792 with flag 368000/5679635 989.59/984.36 c cleaning 26937 clauses out of 53912 with flag 396001/5707636 995.42/990.20 c cleaning 27971 clauses out of 55975 with flag 425001/5736636 1001.72/996.44 c cleaning 28994 clauses out of 58009 with flag 455006/5766641 1008.57/1003.23 c cleaning 29990 clauses out of 60010 with flag 486001/5797636 1015.88/1010.56 c cleaning 30997 clauses out of 62019 with flag 518000/5829635 1023.51/1018.14 c cleaning 31998 clauses out of 64022 with flag 551000/5862635 1031.01/1025.69 c cleaning 32998 clauses out of 66024 with flag 585000/5896635 1039.02/1033.69 c cleaning 34007 clauses out of 68028 with flag 620002/5931637 1047.03/1041.70 c cleaning 34982 clauses out of 70019 with flag 656000/5967635 1055.63/1050.22 c cleaning 36007 clauses out of 72037 with flag 693000/6004635 1064.35/1058.95 c cleaning 36999 clauses out of 74030 with flag 731000/6042635 1073.18/1067.74 c cleaning 37998 clauses out of 76032 with flag 770001/6081636 1081.30/1075.81 c cleaning 38992 clauses out of 78033 with flag 810000/6121635 1089.50/1084.02 c cleaning 39145 clauses out of 78304 with flag 851000/6162635 1097.42/1091.95 c cleaning 40569 clauses out of 81161 with flag 893002/6204637 1106.13/1100.63 c cleaning 41785 clauses out of 83590 with flag 936000/6247635 1115.64/1110.18 c cleaning 42894 clauses out of 85805 with flag 980000/6291635 1124.95/1119.41 c cleaning 43938 clauses out of 87911 with flag 1025000/6336635 1133.68/1128.16 c cleaning 44968 clauses out of 89973 with flag 1071000/6382635 1143.29/1137.73 c cleaning 45993 clauses out of 92006 with flag 1118001/6429636 1152.71/1147.18 c cleaning 46986 clauses out of 94012 with flag 1166000/6477635 1162.86/1157.27 c cleaning 47989 clauses out of 96027 with flag 1215001/6526636 1173.07/1167.49 c cleaning 48996 clauses out of 98038 with flag 1265001/6576636 1182.57/1176.99 c cleaning 50000 clauses out of 100041 with flag 1316000/6627635 1193.88/1188.27 c cleaning 51004 clauses out of 102041 with flag 1368000/6679635 1204.90/1199.26 c cleaning 51997 clauses out of 104039 with flag 1421002/6732637 1216.31/1210.66 c cleaning 53005 clauses out of 106040 with flag 1475000/6786635 1228.23/1222.50 c cleaning 54001 clauses out of 108039 with flag 1530004/6841639 1240.14/1234.46 c cleaning 54996 clauses out of 110035 with flag 1586001/6897636 1243.65/1237.95 c Got one! Elapsed wall clock time (in seconds):1237.824 1243.65/1237.95 o 6109312 1244.36/1238.65 c cleaning 38976 clauses out of 77967 with flag 5001/6920564 1245.27/1239.51 c cleaning 22475 clauses out of 44990 with flag 11000/6926563 1246.49/1240.75 c cleaning 14748 clauses out of 29515 with flag 18001/6933564 1248.31/1242.54 c cleaning 11360 clauses out of 22766 with flag 26000/6941563 1250.02/1244.22 c cleaning 10167 clauses out of 20406 with flag 35000/6950563 1251.93/1246.14 c cleaning 10104 clauses out of 20239 with flag 45000/6960563 1254.13/1248.30 c cleaning 10553 clauses out of 21135 with flag 56000/6971563 1256.45/1250.65 c cleaning 11283 clauses out of 22584 with flag 68002/6983565 1258.86/1253.04 c cleaning 12136 clauses out of 24299 with flag 81000/6996563 1259.77/1253.93 c Got one! Elapsed wall clock time (in seconds):1253.806 1259.77/1253.93 o 5972265 1260.07/1254.24 c cleaning 8766 clauses out of 17565 with flag 2002/7001965 1261.08/1255.21 c cleaning 7369 clauses out of 14798 with flag 8001/7007964 1262.49/1256.62 c cleaning 7184 clauses out of 14428 with flag 15000/7014963 1263.89/1258.00 c cleaning 7610 clauses out of 15244 with flag 23000/7022963 1265.31/1259.50 c cleaning 8307 clauses out of 16635 with flag 32001/7031964 1267.42/1261.50 c cleaning 9156 clauses out of 18328 with flag 42001/7041964 1269.93/1264.01 c cleaning 10073 clauses out of 20171 with flag 53000/7052963 1272.35/1266.48 c cleaning 11033 clauses out of 22098 with flag 65000/7064963 1275.07/1269.17 c cleaning 12011 clauses out of 24065 with flag 78000/7077963 1278.08/1272.11 c cleaning 13018 clauses out of 26054 with flag 92000/7091963 1280.91/1274.96 c cleaning 14013 clauses out of 28038 with flag 107002/7106965 1283.33/1277.38 c cleaning 14998 clauses out of 30024 with flag 123001/7122964 1286.15/1280.16 c cleaning 16008 clauses out of 32027 with flag 140002/7139965 1289.15/1283.14 c cleaning 16988 clauses out of 34018 with flag 158001/7157964 1292.57/1286.52 c cleaning 18009 clauses out of 36031 with flag 177002/7176965 1295.99/1289.97 c cleaning 18997 clauses out of 38023 with flag 197003/7196966 1300.72/1294.61 c cleaning 20001 clauses out of 40023 with flag 218000/7217963 1305.43/1299.37 c cleaning 20996 clauses out of 42023 with flag 240001/7239964 1310.43/1304.37 c cleaning 21990 clauses out of 44027 with flag 263001/7262964 1315.74/1309.61 c cleaning 23007 clauses out of 46036 with flag 287000/7286963 1321.34/1315.25 c cleaning 23999 clauses out of 48029 with flag 312000/7311963 1323.57/1317.42 c Got one! Elapsed wall clock time (in seconds):1317.289 1323.57/1317.42 o 5823537 1324.50/1318.33 c cleaning 19386 clauses out of 38793 with flag 5002/7326726 1325.51/1319.33 c cleaning 12691 clauses out of 25408 with flag 11003/7332727 1326.62/1320.47 c cleaning 9844 clauses out of 19714 with flag 18000/7339724 1327.93/1321.76 c cleaning 8912 clauses out of 17870 with flag 26000/7347724 1328.64/1322.46 c Got one! Elapsed wall clock time (in seconds):1322.329 1328.64/1322.46 o 5815232 1328.94/1322.77 c cleaning 7034 clauses out of 14104 with flag 2000/7352870 1329.96/1323.73 c cleaning 6502 clauses out of 13070 with flag 8000/7358870 1331.07/1324.82 c cleaning 6774 clauses out of 13568 with flag 15000/7365870 1332.18/1325.94 c cleaning 7381 clauses out of 14794 with flag 23000/7373870 1333.28/1327.07 c cleaning 8196 clauses out of 16419 with flag 32006/7382876 1334.69/1328.50 c cleaning 9103 clauses out of 18220 with flag 42003/7392873 1336.49/1330.23 c cleaning 10040 clauses out of 20114 with flag 53000/7403870 1338.41/1332.17 c cleaning 11025 clauses out of 22074 with flag 65000/7415870 1340.63/1334.38 c cleaning 12018 clauses out of 24049 with flag 78000/7428870 1343.03/1336.72 c cleaning 13000 clauses out of 26031 with flag 92000/7442870 1345.94/1339.67 c cleaning 14002 clauses out of 28031 with flag 107000/7457870 1348.34/1342.09 c cleaning 14999 clauses out of 30031 with flag 123002/7473872 1351.34/1345.03 c cleaning 16000 clauses out of 32030 with flag 140000/7490870 1354.36/1348.01 c cleaning 16996 clauses out of 34030 with flag 158000/7508870 1357.48/1351.17 c cleaning 18008 clauses out of 36034 with flag 177000/7527870 1361.11/1354.75 c cleaning 19000 clauses out of 38026 with flag 197000/7547870 1364.41/1358.00 c cleaning 20001 clauses out of 40026 with flag 218000/7568870 1368.82/1362.46 c cleaning 20996 clauses out of 42026 with flag 240001/7590871 1373.83/1367.40 c cleaning 22003 clauses out of 44029 with flag 263000/7613870 1379.05/1372.66 c cleaning 22996 clauses out of 46028 with flag 287002/7637872 1384.66/1378.28 c cleaning 23996 clauses out of 48031 with flag 312001/7662871 1390.58/1384.10 c cleaning 24997 clauses out of 50036 with flag 338002/7688872 1396.89/1390.46 c cleaning 26010 clauses out of 52041 with flag 365004/7715874 1403.49/1397.05 c cleaning 27003 clauses out of 54030 with flag 393003/7743873 1410.30/1403.85 c cleaning 27992 clauses out of 56024 with flag 422000/7772870 1415.81/1409.31 c Got one! Elapsed wall clock time (in seconds):1409.179 1415.81/1409.31 o 5798960 1416.62/1410.18 c cleaning 28425 clauses out of 56876 with flag 5001/7801714 1417.63/1411.10 c cleaning 17206 clauses out of 34452 with flag 11002/7807715 1418.63/1412.18 c cleaning 12081 clauses out of 24244 with flag 18000/7814713 1420.15/1413.68 c cleaning 10024 clauses out of 20163 with flag 26000/7822713 1421.65/1415.15 c cleaning 9520 clauses out of 19139 with flag 35000/7831713 1423.65/1417.12 c cleaning 9772 clauses out of 19619 with flag 45000/7841713 1425.86/1419.31 c cleaning 10408 clauses out of 20848 with flag 56001/7852714 1428.07/1421.54 c cleaning 11212 clauses out of 22439 with flag 68000/7864713 1430.07/1423.52 c cleaning 12108 clauses out of 24229 with flag 81002/7877715 1432.68/1426.19 c cleaning 13041 clauses out of 26119 with flag 95000/7891713 1433.63/1427.00 c Got one! Elapsed wall clock time (in seconds):1426.876 1433.63/1427.00 o 5797378 1433.83/1427.28 c cleaning 9381 clauses out of 18800 with flag 1000/7897435 1435.45/1428.87 c cleaning 7699 clauses out of 15419 with flag 7000/7903435 1436.65/1430.02 c cleaning 7341 clauses out of 14721 with flag 14001/7910436 1437.85/1431.29 c cleaning 7677 clauses out of 15380 with flag 22001/7918436 1439.36/1432.73 c cleaning 8343 clauses out of 16703 with flag 31001/7927436 1440.86/1434.29 c cleaning 9171 clauses out of 18361 with flag 41002/7937437 1442.58/1435.95 c cleaning 10081 clauses out of 20188 with flag 52000/7948435 1444.39/1437.79 c cleaning 11050 clauses out of 22109 with flag 64002/7960437 1446.79/1440.15 c cleaning 12014 clauses out of 24057 with flag 77000/7973435 1449.31/1442.64 c cleaning 13008 clauses out of 26043 with flag 91000/7987435 1452.13/1445.40 c cleaning 14002 clauses out of 28036 with flag 106001/8002436 1454.95/1448.22 c cleaning 15002 clauses out of 30033 with flag 122000/8018435 1458.07/1451.33 c cleaning 16007 clauses out of 32031 with flag 139000/8035435 1461.48/1454.78 c cleaning 17003 clauses out of 34025 with flag 157001/8053436 1464.81/1458.00 c cleaning 17995 clauses out of 36021 with flag 176000/8072435 1468.62/1461.87 c cleaning 18990 clauses out of 38026 with flag 196000/8092435 1472.94/1466.13 c cleaning 20002 clauses out of 40036 with flag 217000/8113435 1477.06/1470.25 c cleaning 21008 clauses out of 42036 with flag 239002/8135437 1481.57/1474.78 c cleaning 21987 clauses out of 44029 with flag 262003/8158438 1486.08/1479.24 c cleaning 23007 clauses out of 46039 with flag 286000/8182435 1490.70/1483.90 c cleaning 24004 clauses out of 48036 with flag 311004/8207439 1495.60/1488.78 c cleaning 25004 clauses out of 50028 with flag 337000/8233435 1500.90/1494.04 c cleaning 25999 clauses out of 52027 with flag 364003/8260438 1506.52/1499.61 c cleaning 26991 clauses out of 54026 with flag 392001/8288436 1512.14/1505.26 c cleaning 28001 clauses out of 56034 with flag 421000/8317435 1518.16/1511.24 c cleaning 29002 clauses out of 58035 with flag 451002/8347437 1524.37/1517.44 c cleaning 29987 clauses out of 60031 with flag 482000/8378435 1531.18/1524.28 c cleaning 31018 clauses out of 62044 with flag 514000/8410435 1533.99/1527.04 c Got one! Elapsed wall clock time (in seconds):1526.909 1533.99/1527.04 o 5792155 1534.69/1527.77 c cleaning 23482 clauses out of 46977 with flag 5000/8426386 1535.61/1528.67 c cleaning 14737 clauses out of 29495 with flag 11000/8432386 1536.71/1529.70 c cleaning 10856 clauses out of 21758 with flag 18000/8439386 1537.76/1530.77 c cleaning 9417 clauses out of 18902 with flag 26000/8447386 1539.06/1532.05 c cleaning 9229 clauses out of 18486 with flag 35001/8456387 1540.48/1533.49 c cleaning 9609 clauses out of 19257 with flag 45001/8466387 1542.18/1535.18 c cleaning 10312 clauses out of 20647 with flag 56000/8477386 1543.89/1536.88 c cleaning 11158 clauses out of 22338 with flag 68003/8489389 1545.90/1538.86 c cleaning 12086 clauses out of 24178 with flag 81001/8502387 1547.90/1540.84 c cleaning 13036 clauses out of 26095 with flag 95004/8516390 1549.90/1542.88 c cleaning 14021 clauses out of 28055 with flag 110000/8531386 1552.71/1545.65 c cleaning 15004 clauses out of 30035 with flag 126001/8547387 1555.73/1548.62 c cleaning 16004 clauses out of 32030 with flag 143000/8564386 1558.54/1551.49 c cleaning 16995 clauses out of 34027 with flag 161001/8582387 1561.64/1554.53 c cleaning 18006 clauses out of 36033 with flag 180002/8601388 1564.96/1557.80 c cleaning 19000 clauses out of 38025 with flag 200000/8621386 1568.18/1561.06 c cleaning 20003 clauses out of 40025 with flag 221000/8642386 1571.59/1564.43 c cleaning 20998 clauses out of 42024 with flag 243002/8664388 1575.40/1568.28 c cleaning 21988 clauses out of 44025 with flag 266001/8687387 1579.41/1572.21 c cleaning 23007 clauses out of 46038 with flag 290002/8711388 1583.32/1576.17 c cleaning 24000 clauses out of 48032 with flag 315003/8736389 1587.62/1580.43 c cleaning 25001 clauses out of 50030 with flag 341001/8762387 1591.83/1584.68 c cleaning 26004 clauses out of 52031 with flag 368003/8789389 1596.66/1589.43 c cleaning 27000 clauses out of 54025 with flag 396001/8817387 1601.66/1594.41 c cleaning 27994 clauses out of 56025 with flag 425001/8846387 1607.67/1600.45 c cleaning 28991 clauses out of 58031 with flag 455001/8876387 1614.38/1607.11 c cleaning 30000 clauses out of 60039 with flag 486000/8907386 1620.19/1612.95 c cleaning 31007 clauses out of 62040 with flag 518001/8939387 1627.11/1619.80 c cleaning 31996 clauses out of 64034 with flag 551002/8972388 1633.32/1626.02 c cleaning 33007 clauses out of 66036 with flag 585000/9006386 1639.53/1632.26 c cleaning 33985 clauses out of 68030 with flag 620001/9041387 1646.24/1638.96 c cleaning 35013 clauses out of 70046 with flag 656002/9077388 1653.04/1645.73 c cleaning 36000 clauses out of 72032 with flag 693001/9114387 1660.17/1652.86 c cleaning 37012 clauses out of 74033 with flag 731002/9152388 1668.90/1661.59 c cleaning 38001 clauses out of 76020 with flag 770001/9191387 1678.11/1670.75 c cleaning 38994 clauses out of 78018 with flag 810000/9231386 1683.42/1676.05 c Got one! Elapsed wall clock time (in seconds):1675.923 1683.42/1676.05 o 5783706 1684.71/1677.37 c cleaning 32681 clauses out of 65373 with flag 5001/9257735 1686.32/1678.92 c cleaning 19336 clauses out of 38691 with flag 11000/9263734 1687.74/1680.33 c Got one! Elapsed wall clock time (in seconds):1680.206 1687.74/1680.33 o 5696210 1688.74/1681.34 c cleaning 15085 clauses out of 30232 with flag 5000/9274611 1690.06/1682.68 c cleaning 10530 clauses out of 21147 with flag 11000/9280611 1691.76/1684.30 c cleaning 8784 clauses out of 17617 with flag 18000/9287611 1693.48/1686.07 c cleaning 8391 clauses out of 16833 with flag 26000/9295611 1695.38/1687.94 c cleaning 8706 clauses out of 17442 with flag 35000/9304611 1697.49/1690.03 c cleaning 9355 clauses out of 18737 with flag 45001/9314612 1699.79/1692.35 c cleaning 10188 clauses out of 20386 with flag 56005/9325616 1702.40/1694.98 c cleaning 11085 clauses out of 22193 with flag 68000/9337611 1705.40/1697.96 c cleaning 12035 clauses out of 24109 with flag 81001/9350612 1708.62/1701.11 c cleaning 13019 clauses out of 26073 with flag 95000/9364611 1712.04/1704.56 c cleaning 14013 clauses out of 28054 with flag 110000/9379611 1716.05/1708.50 c cleaning 15006 clauses out of 30044 with flag 126003/9395614 1719.97/1712.45 c cleaning 15995 clauses out of 32035 with flag 143000/9412611 1724.47/1716.95 c cleaning 17010 clauses out of 34040 with flag 161000/9430611 1728.58/1721.08 c cleaning 17997 clauses out of 36030 with flag 180000/9449611 1733.09/1725.58 c cleaning 19005 clauses out of 38033 with flag 200000/9469611 1737.91/1730.35 c cleaning 20002 clauses out of 40030 with flag 221002/9490613 1743.01/1735.49 c cleaning 21002 clauses out of 42027 with flag 243001/9512612 1748.43/1740.88 c cleaning 22007 clauses out of 44025 with flag 266001/9535612 1751.44/1743.83 c Got one! Elapsed wall clock time (in seconds):1743.706 1751.44/1743.83 o 5641372 1752.34/1744.77 c cleaning 20064 clauses out of 40151 with flag 5001/9553745 1753.35/1745.77 c cleaning 13036 clauses out of 26086 with flag 11000/9559744 1754.36/1746.76 c cleaning 10013 clauses out of 20051 with flag 18001/9566745 1755.48/1747.85 c cleaning 9013 clauses out of 18041 with flag 26004/9574748 1756.70/1749.08 c cleaning 8995 clauses out of 18024 with flag 35000/9583744 1758.09/1750.42 c cleaning 9507 clauses out of 19029 with flag 45000/9593744 1759.60/1751.95 c cleaning 10257 clauses out of 20525 with flag 56003/9604747 1761.22/1753.59 c cleaning 11114 clauses out of 22265 with flag 68000/9616744 1763.23/1755.55 c cleaning 12067 clauses out of 24151 with flag 81000/9629744 1765.15/1757.46 c cleaning 13026 clauses out of 26085 with flag 95001/9643745 1767.47/1759.76 c cleaning 14023 clauses out of 28058 with flag 110000/9658744 1770.09/1762.32 c cleaning 14997 clauses out of 30035 with flag 126000/9674744 1772.89/1765.15 c cleaning 16005 clauses out of 32038 with flag 143000/9691744 1775.60/1767.80 c cleaning 17007 clauses out of 34035 with flag 161002/9709746 1778.72/1770.98 c cleaning 18000 clauses out of 36028 with flag 180002/9728746 1782.02/1774.24 c cleaning 19003 clauses out of 38026 with flag 200000/9748744 1785.43/1777.68 c cleaning 19997 clauses out of 40024 with flag 221001/9769745 1788.54/1780.79 c cleaning 20997 clauses out of 42027 with flag 243001/9791745 1791.86/1784.10 c cleaning 21998 clauses out of 44029 with flag 266000/9814744 1796.17/1788.35 c cleaning 22999 clauses out of 46033 with flag 290002/9838746 1800.08/1792.21 c starts : 328 1800.08/1792.21 c conflicts : 9862103 1800.08/1792.21 c decisions : 18772060 1800.08/1792.21 c propagations : 1724922390 1800.08/1792.21 c inspects : 9806005004 1800.08/1792.21 c shortcuts : 0 1800.08/1792.21 c learnt literals : 73 1800.08/1792.21 c learnt binary clauses : 506 1800.08/1792.21 c learnt ternary clauses : 422 1800.08/1792.21 c learnt constraints : 9862030 1800.08/1792.21 c ignored constraints : 0 1800.08/1792.21 c root simplifications : 401 1800.08/1792.21 c removed literals (reason simplification) : 162613840 1800.08/1792.21 c reason swapping (by a shorter reason) : 0 1800.08/1792.21 c Calls to reduceDB : 496 1800.08/1792.21 c number of reductions to clauses (during analyze) : 0 1800.08/1792.21 c number of learned constraints concerned by reduction : 0 1800.08/1792.21 c number of learning phase by resolution : 0 1800.08/1792.21 c number of learning phase by cutting planes : 0 1800.08/1792.21 c speed (assignments/second) : 962720.506642511 1800.08/1792.21 c non guided choices 10606 1800.08/1792.23 c learnt constraints type 1800.08/1792.23 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 217 1800.08/1792.23 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 46286 1800.08/1792.23 c constraints type 1800.08/1792.23 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6001 1800.08/1792.23 c org.sat4j.minisat.constraints.cnf.UnitClauses => 4 1800.08/1792.23 c org.sat4j.minisat.constraints.card.MinWatchCard => 22 1800.08/1792.23 c ignored satisfied constraints => 4 1800.08/1792.23 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9885 1800.08/1792.23 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6016 1800.08/1792.23 c 21932 constraints processed. 1800.08/1792.23 s SATISFIABLE 1800.08/1792.24 v -x1 -x2 -x3 -x4 x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 x1593 -x1594 -x1595 x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 x6123 -x6124 -x6125 x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8549 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x8560 -x8561 -x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 -x8581 -x8582 -x8583 -x8584 -x8585 -x8586 -x8587 -x8588 -x8589 -x8590 -x8591 -x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 -x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 -x8650 -x8651 -x8652 -x8653 -x8654 -x8655 -x8656 -x8657 -x8658 -x8659 -x8660 -x8661 -x8662 -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 -x8670 -x8671 -x8672 -x8673 -x8674 -x8675 -x8676 -x8677 -x8678 -x8679 -x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 -x8689 -x8690 -x8691 -x8692 -x8693 -x8694 -x8695 -x8696 -x8697 -x8698 -x8699 -x8700 -x8701 -x8702 -x8703 -x8704 -x8705 -x8706 -x8707 -x8708 -x8709 -x8710 -x8711 -x8712 -x8713 -x8714 -x8715 -x8716 -x8717 -x8718 -x8719 -x8720 -x8721 -x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8728 -x8729 -x8730 -x8731 -x8732 -x8733 -x8734 -x8735 -x8736 -x8737 -x8738 -x8739 -x8740 -x8741 -x8742 -x8743 -x8744 -x8745 -x8746 -x8747 -x8748 -x8749 -x8750 -x8751 -x8752 -x8753 -x8754 -x8755 -x8756 -x8757 -x8758 -x8759 -x8760 -x8761 -x8762 -x8763 -x8764 -x8765 -x8766 -x8767 -x8768 -x8769 -x8770 -x8771 -x8772 -x8773 -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 -x8780 -x8781 -x8782 -x8783 -x8784 -x8785 -x8786 -x8787 -x8788 -x8789 -x8790 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8799 -x8800 -x8801 -x8802 -x8803 -x8804 -x8805 -x8806 -x8807 -x8808 -x8809 -x8810 -x8811 -x8812 -x8813 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 -x8820 -x8821 -x8822 -x8823 -x8824 -x8825 -x8826 -x8827 -x8828 -x8829 -x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 -x8839 -x8840 -x8841 -x8842 -x8843 -x8844 -x8845 -x8846 -x8847 -x8848 -x8849 -x8850 -x8851 -x8852 -x8853 -x8854 -x8855 -x8856 -x8857 -x8858 -x8859 -x8860 -x8861 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 -x8868 -x8869 -x8870 -x8871 -x8872 -x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x8880 -x8881 -x8882 -x8883 -x8884 -x8885 -x8886 -x8887 -x8888 -x8889 -x8890 -x8891 -x8892 -x8893 -x8894 -x8895 -x8896 -x8897 -x8898 -x8899 -x8900 -x8901 -x8902 -x8903 -x8904 -x8905 -x8906 -x8907 -x8908 -x8909 -x8910 -x8911 -x8912 -x8913 -x8914 -x8915 -x8916 -x8917 -x8918 -x8919 -x8920 -x8921 -x8922 -x8923 -x8924 -x8925 -x8926 -x8927 -x8928 -x8929 -x8930 -x8931 -x8932 -x8933 -x8934 -x8935 -x8936 -x8937 -x8938 -x8939 -x8940 -x8941 -x8942 -x8943 -x8944 -x8945 -x8946 -x8947 -x8948 -x8949 -x8950 -x8951 -x8952 -x8953 -x8954 -x8955 -x8956 -x8957 -x8958 -x8959 -x8960 -x8961 -x8962 -x8963 -x8964 -x8965 -x8966 -x8967 -x8968 -x8969 -x8970 -x8971 -x8972 -x8973 -x8974 -x8975 -x8976 -x8977 -x8978 -x8979 -x8980 -x8981 -x8982 -x8983 -x8984 -x8985 -x8986 -x8987 -x8988 -x8989 -x8990 -x8991 -x8992 -x8993 -x8994 -x8995 -x8996 -x8997 -x8998 -x8999 -x9000 -x9001 -x9002 -x9003 -x9004 -x9005 -x9006 -x9007 -x9008 -x9009 -x9010 -x9011 -x9012 -x9013 -x9014 -x9015 -x9016 -x9017 -x9018 -x9019 -x9020 -x9021 -x9022 -x9023 -x9024 -x9025 -x9026 -x9027 -x9028 -x9029 -x9030 -x9031 -x9032 -x9033 -x9034 -x9035 -x9036 -x9037 -x9038 -x9039 -x9040 -x9041 -x9042 -x9043 -x9044 -x9045 -x9046 -x9047 -x9048 -x9049 -x9050 -x9051 -x9052 -x9053 -x9054 -x9055 -x9056 -x9057 -x9058 -x9059 -x9060 -x9061 -x9062 -x9063 -x9064 -x9065 -x9066 -x9067 -x9068 -x9069 -x9070 -x9071 -x9072 -x9073 -x9074 -x9075 -x9076 -x9077 -x9078 -x9079 -x9080 -x9081 -x9082 x9083 -x9084 -x9085 -x9086 -x9087 -x9088 -x9089 -x9090 -x9091 -x9092 -x9093 -x9094 -x9095 -x9096 -x9097 -x9098 -x9099 -x9100 -x9101 -x9102 -x9103 -x9104 -x9105 -x9106 -x9107 -x9108 -x9109 -x9110 -x9111 -x9112 -x9113 -x9114 -x9115 -x9116 -x9117 -x9118 -x9119 -x9120 -x9121 -x9122 -x9123 -x9124 -x9125 -x9126 -x9127 -x9128 -x9129 -x9130 -x9131 -x9132 -x9133 x9134 -x9135 -x9136 -x9137 -x9138 -x9139 -x9140 -x9141 -x9142 -x9143 -x9144 -x9145 -x9146 -x9147 x9148 -x9149 -x9150 -x9151 -x9152 -x9153 -x9154 -x9155 -x9156 -x9157 -x9158 -x9159 -x9160 -x9161 -x9162 -x9163 -x9164 -x9165 -x9166 -x9167 -x9168 x9169 -x9170 -x9171 -x9172 -x9173 -x9174 -x9175 -x9176 -x9177 -x9178 -x9179 -x9180 -x9181 -x9182 -x9183 -x9184 -x9185 -x9186 -x9187 -x9188 -x9189 -x9190 -x9191 -x9192 -x9193 -x9194 -x9195 -x9196 -x9197 -x9198 -x9199 -x9200 -x9201 -x9202 -x9203 -x9204 -x9205 -x9206 -x9207 -x9208 -x9209 -x9210 x9211 -x9212 -x9213 -x9214 -x9215 -x9216 -x9217 -x9218 -x9219 -x9220 -x9221 -x9222 -x9223 -x9224 -x9225 -x9226 -x9227 -x9228 -x9229 -x9230 -x9231 -x9232 -x9233 -x9234 -x9235 -x9236 -x9237 -x9238 -x9239 -x9240 -x9241 -x9242 -x9243 -x9244 -x9245 -x9246 -x9247 -x9248 -x9249 -x9250 -x9251 -x9252 -x9253 -x9254 -x9255 -x9256 -x9257 -x9258 -x9259 -x9260 -x9261 -x9262 -x9263 -x9264 -x9265 -x9266 -x9267 -x9268 -x9269 -x9270 -x9271 -x9272 -x9273 -x9274 -x9275 -x9276 -x9277 -x9278 -x9279 x9280 -x9281 -x9282 -x9283 -x9284 -x9285 -x9286 -x9287 -x9288 -x9289 -x9290 -x9291 -x9292 -x9293 -x9294 -x9295 -x9296 -x9297 -x9298 -x9299 -x9300 -x9301 x9302 -x9303 -x9304 -x9305 -x9306 -x9307 -x9308 -x9309 -x9310 -x9311 -x9312 -x9313 -x9314 -x9315 -x9316 -x9317 -x9318 -x9319 -x9320 -x9321 -x9322 -x9323 -x9324 -x9325 -x9326 -x9327 -x9328 -x9329 -x9330 -x9331 -x9332 -x9333 -x9334 -x9335 -x9336 -x9337 -x9338 -x9339 -x9340 -x9341 -x9342 x9343 x9344 -x9345 -x9346 -x9347 -x9348 -x9349 -x9350 -x9351 -x9352 -x9353 -x9354 -x9355 -x9356 x9357 -x9358 -x9359 -x9360 -x9361 -x9362 -x9363 -x9364 -x9365 -x9366 -x9367 -x9368 -x9369 -x9370 -x9371 x9372 -x9373 -x9374 -x9375 -x9376 -x9377 -x9378 -x9379 -x9380 -x9381 -x9382 -x9383 -x9384 -x9385 -x9386 -x9387 -x9388 -x9389 -x9390 -x9391 -x9392 -x9393 -x9394 -x9395 -x9396 x9397 -x9398 -x9399 -x9400 -x9401 -x9402 -x9403 -x9404 -x9405 -x9406 -x9407 -x9408 -x9409 -x9410 -x9411 -x9412 x9413 -x9414 x9415 -x9416 -x9417 -x9418 -x9419 -x9420 -x9421 -x9422 -x9423 -x9424 -x9425 -x9426 -x9427 -x9428 -x9429 -x9430 -x9431 -x9432 -x9433 -x9434 -x9435 -x9436 -x9437 -x9438 -x9439 -x9440 -x9441 x9442 -x9443 -x9444 -x9445 -x9446 -x9447 -x9448 -x9449 -x9450 -x9451 -x9452 -x9453 -x9454 -x9455 -x9456 -x9457 -x9458 -x9459 -x9460 -x9461 -x9462 -x9463 -x9464 -x9465 -x9466 -x9467 -x9468 -x9469 -x9470 -x9471 -x9472 -x9473 -x9474 -x9475 -x9476 -x9477 -x9478 -x9479 -x9480 x9481 -x9482 -x9483 x9484 -x9485 -x9486 -x9487 -x9488 -x9489 -x9490 -x9491 -x9492 -x9493 -x9494 -x9495 -x9496 x9497 -x9498 -x9499 -x9500 -x9501 -x9502 -x9503 -x9504 -x9505 -x9506 -x9507 -x9508 -x9509 -x9510 -x9511 -x9512 -x9513 -x9514 -x9515 -x9516 -x9517 -x9518 -x9519 -x9520 -x9521 -x9522 -x9523 -x9524 -x9525 -x9526 x9527 -x9528 -x9529 -x9530 -x9531 x9532 -x9533 -x9534 -x9535 -x9536 x9537 -x9538 -x9539 -x9540 -x9541 -x9542 -x9543 -x9544 -x9545 -x9546 -x9547 -x9548 -x9549 -x9550 -x9551 -x9552 -x9553 -x9554 -x9555 -x9556 -x9557 -x9558 -x9559 -x9560 -x9561 -x9562 -x9563 -x9564 -x9565 -x9566 -x9567 -x9568 -x9569 -x9570 -x9571 x9572 -x9573 -x9574 x9575 -x9576 x9577 -x9578 -x9579 -x9580 -x9581 -x9582 -x9583 -x9584 -x9585 -x9586 -x9587 -x9588 -x9589 -x9590 -x9591 -x9592 -x9593 -x9594 -x9595 -x9596 -x9597 -x9598 -x9599 -x9600 -x9601 -x9602 -x9603 -x9604 -x9605 -x9606 -x9607 -x9608 -x9609 -x9610 -x9611 -x9612 -x9613 -x9614 -x9615 -x9616 -x9617 -x9618 -x9619 -x9620 -x9621 -x9622 -x9623 -x9624 -x9625 -x9626 -x9627 -x9628 -x9629 -x9630 -x9631 -x9632 -x9633 -x9634 -x9635 -x9636 -x9637 -x9638 -x9639 -x9640 -x9641 -x9642 -x9643 -x9644 -x9645 -x9646 -x9647 -x9648 -x9649 x9650 -x9651 -x9652 -x9653 -x9654 -x9655 -x9656 x9657 -x9658 -x9659 -x9660 -x9661 -x9662 -x9663 -x9664 -x9665 -x9666 -x9667 -x9668 -x9669 -x9670 -x9671 -x9672 -x9673 -x9674 -x9675 -x9676 -x9677 -x9678 -x9679 -x9680 -x9681 -x9682 -x9683 -x9684 -x9685 -x9686 -x9687 -x9688 -x9689 -x9690 -x9691 x9692 -x9693 -x9694 -x9695 -x9696 x9697 -x9698 -x9699 -x9700 -x9701 x9702 -x9703 -x9704 -x9705 -x9706 -x9707 -x9708 -x9709 -x9710 -x9711 -x9712 -x9713 -x9714 -x9715 -x9716 -x9717 -x9718 -x9719 -x9720 -x9721 -x9722 -x9723 -x9724 x9725 -x9726 -x9727 -x9728 -x9729 -x9730 -x9731 x9732 -x9733 -x9734 -x9735 -x9736 -x9737 -x9738 -x9739 -x9740 -x9741 -x9742 -x9743 -x9744 -x9745 -x9746 -x9747 -x9748 -x9749 -x9750 -x9751 -x9752 -x9753 -x9754 -x9755 -x9756 -x9757 -x9758 -x9759 -x9760 -x9761 -x9762 -x9763 -x9764 -x9765 1800.08/1792.25 c objective function=5641372 1800.08/1792.25 c Total wall clock time (in seconds): 1792.12
OK 5641372
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-3710453-1338250837/watcher-3710453-1338250837 -o /tmp/evaluation-result-3710453-1338250837/solver-3710453-1338250837 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710453-1338250837.opb running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.02 2.02 1.93 3/195 30263 /proc/meminfo: memFree=30798864/32873844 swapFree=7116/7116 [pid=30263] ppid=30261 vsize=9292 CPUtime=0 cores=0,2,4,6 /proc/30263/stat : 30263 (java) D 30261 30263 27775 0 -1 4202496 240 0 0 0 0 0 0 0 20 0 1 0 291212263 9515008 175 33554432000 1073741824 1073778376 140733561072048 140733561054776 249650037648 0 0 4096 0 18446744072100588836 0 0 17 0 0 0 0 0 0 /proc/30263/statm: 2323 175 133 9 0 71 0 [startup+0.068283 s] /proc/loadavg: 2.02 2.02 1.93 3/195 30263 /proc/meminfo: memFree=30798864/32873844 swapFree=7116/7116 [pid=30263] ppid=30261 vsize=9558440 CPUtime=0.03 cores=0,2,4,6 /proc/30263/stat : 30263 (java) S 30261 30263 27775 0 -1 4202496 3193 0 1 0 3 0 0 0 20 0 18 0 291212263 9787842560 4402 33554432000 1073741824 1073778376 140735125828624 140735125819760 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/30263/statm: 2389610 4402 1764 9 0 2380296 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 9558440 [startup+0.100249 s] /proc/loadavg: 2.02 2.02 1.93 3/195 30263 /proc/meminfo: memFree=30798864/32873844 swapFree=7116/7116 [pid=30263] ppid=30261 vsize=9558440 CPUtime=0.08 cores=0,2,4,6 /proc/30263/stat : 30263 (java) S 30261 30263 27775 0 -1 4202496 4119 0 1 0 7 1 0 0 20 0 18 0 291212263 9787842560 5328 33554432000 1073741824 1073778376 140735125828624 140735125819760 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/30263/statm: 2389610 5328 2111 9 0 2380296 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 9558440 [startup+0.300222 s] /proc/loadavg: 2.02 2.02 1.93 3/195 30263 /proc/meminfo: memFree=30798864/32873844 swapFree=7116/7116 [pid=30263] ppid=30261 vsize=9558440 CPUtime=0.46 cores=0,2,4,6 /proc/30263/stat : 30263 (java) S 30261 30263 27775 0 -1 4202496 5381 0 1 0 45 1 0 0 20 0 18 0 291212263 9787842560 9592 33554432000 1073741824 1073778376 140735125828624 140735125819760 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/30263/statm: 2389610 9592 2226 9 0 2380296 0 Current children cumulated CPU time (s) 0.46 Current children cumulated vsize (KiB) 9558440 [startup+0.700217 s] /proc/loadavg: 2.02 2.02 1.93 3/195 30263 /proc/meminfo: memFree=30798864/32873844 swapFree=7116/7116 [pid=30263] ppid=30261 vsize=9625004 CPUtime=1.28 cores=0,2,4,6 /proc/30263/stat : 30263 (java) S 30261 30263 27775 0 -1 4202496 7710 0 1 0 126 2 0 0 20 0 19 0 291212263 9856004096 22657 33554432000 1073741824 1073778376 140735125828624 140735125819760 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/30263/statm: 2406251 22657 2257 9 0 2396937 0 Current children cumulated CPU time (s) 1.28 Current children cumulated vsize (KiB) 9625004 [startup+1.50072 s] /proc/loadavg: 2.02 2.02 1.93 2/194 30285 /proc/meminfo: memFree=31672348/32873844 swapFree=7116/7116 [pid=30263] ppid=30261 vsize=9625004 CPUtime=2.14 cores=0,2,4,6 /proc/30263/stat : 30263 (java) S 30261 30263 27775 0 -1 4202496 7727 0 1 0 212 2 0 0 20 0 19 0 291212263 9856004096 22660 33554432000 1073741824 1073778376 140735125828624 140735125819760 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/30263/statm: 2406251 22660 2258 9 0 2396937 0 [pid=30263/tid=30265] ppid=30261 vsize=9625004 CPUtime=1.46 cores=0,2,4,6 /proc/30263/task/30265/stat : 30265 (java) R 30261 30263 27775 0 -1 4202560 2531 0 1 0 144 2 0 0 20 0 19 0 291212264 9856004096 22660 33554432000 1073741824 1073778376 140735125828624 140550939316872 140550808946448 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=30263/tid=30266] ppid=30261 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/30263/task/30266/stat : 30266 (java) S 30261 30263 27775 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291212265 9856004096 22660 33554432000 1073741824 1073778376 140735125828624 140550928378024 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30263/tid=30267] ppid=30261 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/30263/task/30267/stat : 30267 (java) S 30261 30263 27775 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291212265 9856004096 22660 33554432000 1073741824 1073778376 140735125828624 140550927325480 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=30263/tid=30268] ppid=30261 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/30263/task/30268/stat : 30268 (java) S 30261 30263 27775 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291212265 9856004096 22660 33554432000 1073741824 1073778376 140735125828624 140550780697000 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=30263/tid=30269] ppid=30261 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/30263/task/30269/stat : 30269 (java) S 30261 30263 27775 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291212265 9856004096 22660 33554432000 1073741824 1073778376 140735125828624 140550779644456 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=30263/tid=30270] ppid=30261 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/30263/task/30270/stat : 30270 (java) S 30261 30263 27775 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291212265 9856004096 22660 33554432000 1073741824 1073778376 140735125828624 140550778591912 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30263/tid=30271] ppid=30261 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/30263/task/30271/stat : 30271 (java) S 30261 30263 27775 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291212265 9856004096 22660 33554432000 1073741824 1073778376 140735125828624 140550777539368 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=30263/tid=30272] ppid=30261 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/30263/task/30272/stat : 30272 (java) S 30261 30263 27775 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291212265 9856004096 22660 33554432000 1073741824 1073778376 140735125828624 140550776486824 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30263/tid=30273] ppid=30261 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/30263/task/30273/stat : 30273 (java) S 30261 30263 27775 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291212265 9856004096 22660 33554432000 1073741824 1073778376 140735125828624 140550775434280 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30263/tid=30274] ppid=30261 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/30263/task/30274/stat : 30274 (java) S 30261 30263 27775 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291212267 9856004096 22660 33554432000 1073741824 1073778376 140735125828624 140550763235432 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30263/tid=30275] ppid=30261 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/30263/task/30275/stat : 30275 (java) S 30261 30263 27775 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 291212267 9856004096 22660 33554432000 1073741824 1073778376 140735125828624 140550762181752 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30263/tid=30276] ppid=30261 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/30263/task/30276/stat : 30276 (java) S 30261 30263 27775 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291212267 9856004096 22660 33554432000 1073741824 1073778376 140735125828624 140550761129096 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30263/tid=30277] ppid=30261 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/30263/task/30277/stat : 30277 (java) S 30261 30263 27775 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291212270 9856004096 22660 33554432000 1073741824 1073778376 140735125828624 140550760077840 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30263/tid=30278] ppid=30261 vsize=9625004 CPUtime=0.33 cores=0,2,4,6 /proc/30263/task/30278/stat : 30278 (java) S 30261 30263 27775 0 -1 4202560 1443 0 0 0 33 0 0 0 20 0 19 0 291212270 9856004096 22660 33554432000 1073741824 1073778376 140735125828624 140550759025208 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30263/tid=30279] ppid=30261 vsize=9625004 CPUtime=0.32 cores=0,2,4,6 /proc/30263/task/30279/stat : 30279 (java) S 30261 30263 27775 0 -1 4202560 2553 0 0 0 32 0 0 0 20 0 19 0 291212270 9856004096 22660 33554432000 1073741824 1073778376 140735125828624 140550757972664 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=30263/tid=30280] ppid=30261 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/30263/task/30280/stat : 30280 (java) S 30261 30263 27775 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291212270 9856004096 22660 33554432000 1073741824 1073778376 140735125828624 140550756920312 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=30263/tid=30281] ppid=30261 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/30263/task/30281/stat : 30281 (java) S 30261 30263 27775 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291212270 9856004096 22660 33554432000 1073741824 1073778376 140735125828624 140550755867976 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30263/tid=30282] ppid=30261 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/30263/task/30282/stat : 30282 (java) S 30261 30263 27775 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291212313 9856004096 22660 33554432000 1073741824 1073778376 140735125828624 140550754812712 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 2.14 Current children cumulated vsize (KiB) 9625004 [startup+3.10073 s] /proc/loadavg: 2.02 2.02 1.93 2/194 30285 /proc/meminfo: memFree=31662896/32873844 swapFree=7116/7116 [pid=30263] ppid=30261 vsize=9625004 CPUtime=4.34 cores=0,2,4,6 /proc/30263/stat : 30263 (java) S 30261 30263 27775 0 -1 4202496 17746 0 1 0 429 5 0 0 20 0 19 0 291212263 9856004096 34543 33554432000 1073741824 1073778376 140735125828624 140735125819760 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/30263/statm: 2406251 34543 2289 9 0 2396937 0 [pid=30263/tid=30265] ppid=30261 vsize=9625004 CPUtime=3.03 cores=0,2,4,6 /proc/30263/task/30265/stat : 30265 (java) R 30261 30263 27775 0 -1 4202560 2537 0 1 0 301 2 0 0 20 0 19 0 291212264 9856004096 34543 33554432000 1073741824 1073778376 140735125828624 140550939316680 140550808908826 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=30263/tid=30266] ppid=30261 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/30263/task/30266/stat : 30266 (java) S 30261 30263 27775 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291212265 9856004096 34543 33554432000 1073741824 1073778376 140735125828624 140550928378024 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=30263/tid=30267] ppid=30261 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/30263/task/30267/stat : 30267 (java) S 30261 30263 27775 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291212265 9856004096 34543 33554432000 1073741824 1073778376 140735125828624 140550927325480 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=30263/tid=30268] ppid=30261 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/30263/task/30268/stat : 30268 (java) S 30261 30263 27775 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291212265 9856004096 34543 33554432000 1073741824 1073778376 140735125828624 140550780697000 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=30263/tid=30269] ppid=30261 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/30263/task/30269/stat : 30269 (java) S 30261 30263 27775 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 291212265 9856004096 34543 33554432000 1073741824 1073778376 140735125828624 140550779644456 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=30263/tid=30270] ppid=30261 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/30263/task/30270/stat : 30270 (java) S 30261 30263 27775 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291212265 9856004096 34543 33554432000 1073741824 1073778376 140735125828624 140550778591912 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=30263/tid=30271] ppid=30261 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/30263/task/30271/stat : 30271 (java) S 30261 30263 27775 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 291212265 9856004096 34543 33554432000 1073741824 1073778376 140735125828624 140550777539368 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=30263/tid=30272] ppid=30261 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/30263/task/30272/stat : 30272 (java) S 30261 30263 27775 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 291212265 9856004096 34543 33554432000 1073741824 1073778376 140735125828624 140550776486824 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=30263/tid=30273] ppid=30261 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/30263/task/30273/stat : 30273 (java) S 30261 30263 27775 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291212265 9856004096 34543 33554432000 1073741824 1073778376 140735125828624 140550775434280 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30263/tid=30274] ppid=30261 vsize=9625004 CPUtime=0.01 cores=0,2,4,6 /proc/30263/task/30274/stat : 30274 (java) S 30261 30263 27775 0 -1 4202560 35 0 0 0 1 0 0 0 20 0 19 0 291212267 9856004096 34543 33554432000 1073741824 1073778376 140735125828624 140550763235432 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30263/tid=30275] ppid=30261 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/30263/task/30275/stat : 30275 (java) S 30261 30263 27775 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291212267 9856004096 34543 33554432000 1073741824 1073778376 140735125828624 140550762181752 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30263/tid=30276] ppid=30261 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/30263/task/30276/stat : 30276 (java) S 30261 30263 27775 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291212267 9856004096 34543 33554432000 1073741824 1073778376 140735125828624 140550761129096 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30263/tid=30277] ppid=30261 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/30263/task/30277/stat : 30277 (java) S 30261 30263 27775 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291212270 9856004096 34543 33554432000 1073741824 1073778376 140735125828624 140550760077840 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30263/tid=30278] ppid=30261 vsize=9625004 CPUtime=0.5 cores=0,2,4,6 /proc/30263/task/30278/stat : 30278 (java) S 30261 30263 27775 0 -1 4202560 4313 0 0 0 50 0 0 0 20 0 19 0 291212270 9856004096 34543 33554432000 1073741824 1073778376 140735125828624 140550759025208 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30263/tid=30279] ppid=30261 vsize=9625004 CPUtime=0.73 cores=0,2,4,6 /proc/30263/task/30279/stat : 30279 (java) R 30261 30263 27775 0 -1 4202560 9637 0 0 0 71 2 0 0 20 0 19 0 291212270 9856004096 34543 33554432000 1073741824 1073778376 140735125828624 140550757959192 140550943433215 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=30263/tid=30280] ppid=30261 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/30263/task/30280/stat : 30280 (java) S 30261 30263 27775 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291212270 9856004096 34543 33554432000 1073741824 1073778376 140735125828624 140550756920312 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=30263/tid=30281] ppid=30261 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/30263/task/30281/stat : 30281 (java) S 30261 30263 27775 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291212270 9856004096 34543 33554432000 1073741824 1073778376 140735125828624 140550755867976 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30263/tid=30282] ppid=30261 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/30263/task/30282/stat : 30282 (java) S 30261 30263 27775 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291212313 9856004096 34543 33554432000 1073741824 1073778376 140735125828624 140550754812712 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 4.34 Current children cumulated vsize (KiB) 9625004 [startup+6.30063 s] /proc/loadavg: 2.18 2.05 1.94 3/213 30340 /proc/meminfo: memFree=31248468/32873844 swapFree=7116/7116 [pid=30263] ppid=30261 vsize=9625004 CPUtime=7.7 cores=0,2,4,6 /proc/30263/stat : 30263 (java) S 30261 30263 27775 0 -1 4202496 18316 0 1 0 765 5 0 0 20 0 19 0 291212263 9856004096 33992 33554432000 1073741824 1073778376 140735125828624 140735125819760 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/30263/statm: 2406251 33992 2289 9 0 2396937 0 [pid=30263/tid=30265] ppid=30261 vsize=9625004 CPUtime=6.17 cores=0,2,4,6 /proc/30263/task/30265/stat : 30265 (java) R 30261 30263 27775 0 -1 4202560 2540 0 1 0 615 2 0 0 20 0 19 0 291212264 9856004096 33992 33554432000 1073741824 1073778376 140735125828624 140550939316776 140550808937845 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=30263/tid=30266] ppid=30261 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/30263/task/30266/stat : 30266 (java) S 30261 30263 27775 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291212265 9856004096 33992 33554432000 1073741824 1073778376 140735125828624 140550928378024 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=30263/tid=30267] ppid=30261 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/30263/task/30267/stat : 30267 (java) S 30261 30263 27775 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291212265 9856004096 33992 33554432000 1073741824 1073778376 140735125828624 140550927325480 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=30263/tid=30268] ppid=30261 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/30263/task/30268/stat : 30268 (java) S 30261 30263 27775 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291212265 9856004096 33992 33554432000 1073741824 1073778376 140735125828624 140550780697000 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=30263/tid=30269] ppid=30261 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/30263/task/30269/stat : 30269 (java) S 30261 30263 27775 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 291212265 9856004096 33992 33554432000 1073741824 1073778376 140735125828624 140550779644456 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=30263/tid=30270] ppid=30261 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/30263/task/30270/stat : 30270 (java) S 30261 30263 27775 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291212265 9856004096 33992 33554432000 1073741824 1073778376 140735125828624 140550778591912 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=30263/tid=30271] ppid=30261 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/30263/task/30271/stat : 30271 (java) S 30261 30263 27775 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 291212265 9856004096 33992 33554432000 1073741824 1073778376 140735125828624 140550777539368 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=30263/tid=30272] ppid=30261 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/30263/task/30272/stat : 30272 (java) S 30261 30263 27775 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291212265 9856004096 33992 33554432000 1073741824 1073778376 140735125828624 140550776486824 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=30263/tid=30273] ppid=30261 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/30263/task/30273/stat : 30273 (java) S 30261 30263 27775 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291212265 9856004096 33992 33554432000 1073741824 1073778376 140735125828624 140550775434280 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=30263/tid=30274] ppid=30261 vsize=9625004 CPUtime=0.05 cores=0,2,4,6 /proc/30263/task/30274/stat : 30274 (java) S 30261 30263 27775 0 -1 4202560 35 0 0 0 5 0 0 0 20 0 19 0 291212267 9856004096 33992 33554432000 1073741824 1073778376 140735125828624 140550763235432 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30263/tid=30275] ppid=30261 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/30263/task/30275/stat : 30275 (java) S 30261 30263 27775 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291212267 9856004096 33992 33554432000 1073741824 1073778376 140735125828624 140550762181752 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30263/tid=30276] ppid=30261 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/30263/task/30276/stat : 30276 (java) S 30261 30263 27775 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291212267 9856004096 33992 33554432000 1073741824 1073778376 140735125828624 140550761129096 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30263/tid=30277] ppid=30261 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/30263/task/30277/stat : 30277 (java) S 30261 30263 27775 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291212270 9856004096 33992 33554432000 1073741824 1073778376 140735125828624 140550760077840 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30263/tid=30278] ppid=30261 vsize=9625004 CPUtime=0.53 cores=0,2,4,6 /proc/30263/task/30278/stat : 30278 (java) S 30261 30263 27775 0 -1 4202560 4314 0 0 0 53 0 0 0 20 0 19 0 291212270 9856004096 33992 33554432000 1073741824 1073778376 140735125828624 140550759025208 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30263/tid=30279] ppid=30261 vsize=9625004 CPUtime=0.85 cores=0,2,4,6 /proc/30263/task/30279/stat : 30279 (java) S 30261 30263 27775 0 -1 4202560 10194 0 0 0 83 2 0 0 20 0 19 0 291212270 9856004096 33992 33554432000 1073741824 1073778376 140735125828624 140550757972664 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=30263/tid=30280] ppid=30261 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/30263/task/30280/stat : 30280 (java) S 30261 30263 27775 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291212270 9856004096 33992 33554432000 1073741824 1073778376 140735125828624 140550756920312 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=30263/tid=30281] ppid=30261 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/30263/task/30281/stat : 30281 (java) S 30261 30263 27775 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291212270 9856004096 33992 33554432000 1073741824 1073778376 140735125828624 140550755867976 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30263/tid=30282] ppid=30261 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/30263/task/30282/stat : 30282 (java) S 30261 30263 27775 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291212313 9856004096 33992 33554432000 1073741824 1073778376 140735125828624 140550754812712 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 7.7 Current children cumulated vsize (KiB) 9625004 [startup+12.7007 s] ################ # More data... # ################ [pid=30263/tid=30278] ppid=30261 vsize=9625004 CPUtime=0.71 cores=0,2,4,6 /proc/30263/task/30278/stat : 30278 (java) S 30261 30263 27775 0 -1 4202560 4339 0 0 0 71 0 0 0 20 0 19 0 291212270 9856004096 44437 33554432000 1073741824 1073778376 140735125828624 140550759025208 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=30263/tid=30279] ppid=30261 vsize=9625004 CPUtime=0.96 cores=0,2,4,6 /proc/30263/task/30279/stat : 30279 (java) S 30261 30263 27775 0 -1 4202560 10197 0 0 0 94 2 0 0 20 0 19 0 291212270 9856004096 44437 33554432000 1073741824 1073778376 140735125828624 140550757972664 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=30263/tid=30280] ppid=30261 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/30263/task/30280/stat : 30280 (java) S 30261 30263 27775 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291212270 9856004096 44437 33554432000 1073741824 1073778376 140735125828624 140550756920312 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=30263/tid=30281] ppid=30261 vsize=9625004 CPUtime=0.29 cores=0,2,4,6 /proc/30263/task/30281/stat : 30281 (java) S 30261 30263 27775 0 -1 4202560 94 0 0 0 14 15 0 0 20 0 19 0 291212270 9856004096 44437 33554432000 1073741824 1073778376 140735125828624 140550755867976 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=30263/tid=30282] ppid=30261 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/30263/task/30282/stat : 30282 (java) S 30261 30263 27775 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291212313 9856004096 44437 33554432000 1073741824 1073778376 140735125828624 140550754812712 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1669.71 Current children cumulated vsize (KiB) 9625004 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 1.98 3/213 30354 /proc/meminfo: memFree=30614152/32873844 swapFree=7116/7116 [pid=30263] ppid=30261 vsize=9625004 CPUtime=1729.89 cores=0,2,4,6 /proc/30263/stat : 30263 (java) S 30261 30263 27775 0 -1 4202496 19676 0 1 0 172955 34 0 0 20 0 19 0 291212263 9856004096 44441 33554432000 1073741824 1073778376 140735125828624 140735125819760 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/30263/statm: 2406251 44441 2292 9 0 2396937 0 [pid=30263/tid=30265] ppid=30261 vsize=9625004 CPUtime=1697.06 cores=0,2,4,6 /proc/30263/task/30265/stat : 30265 (java) R 30261 30263 27775 0 -1 4202560 3007 0 1 0 169679 27 0 0 20 0 19 0 291212264 9856004096 44441 33554432000 1073741824 1073778376 140735125828624 140550939316560 140550808900679 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=30263/tid=30266] ppid=30261 vsize=9625004 CPUtime=1.07 cores=0,2,4,6 /proc/30263/task/30266/stat : 30266 (java) S 30261 30263 27775 0 -1 4202560 98 0 0 0 105 2 0 0 20 0 19 0 291212265 9856004096 44441 33554432000 1073741824 1073778376 140735125828624 140550928378024 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=30263/tid=30267] ppid=30261 vsize=9625004 CPUtime=1.08 cores=0,2,4,6 /proc/30263/task/30267/stat : 30267 (java) S 30261 30263 27775 0 -1 4202560 131 0 0 0 105 3 0 0 20 0 19 0 291212265 9856004096 44441 33554432000 1073741824 1073778376 140735125828624 140550927325480 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=30263/tid=30268] ppid=30261 vsize=9625004 CPUtime=1.11 cores=0,2,4,6 /proc/30263/task/30268/stat : 30268 (java) S 30261 30263 27775 0 -1 4202560 83 0 0 0 109 2 0 0 20 0 19 0 291212265 9856004096 44441 33554432000 1073741824 1073778376 140735125828624 140550780697000 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=30263/tid=30269] ppid=30261 vsize=9625004 CPUtime=1.1 cores=0,2,4,6 /proc/30263/task/30269/stat : 30269 (java) S 30261 30263 27775 0 -1 4202560 115 0 0 0 108 2 0 0 20 0 19 0 291212265 9856004096 44441 33554432000 1073741824 1073778376 140735125828624 140550779644456 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=30263/tid=30270] ppid=30261 vsize=9625004 CPUtime=1.18 cores=0,2,4,6 /proc/30263/task/30270/stat : 30270 (java) S 30261 30263 27775 0 -1 4202560 110 0 0 0 115 3 0 0 20 0 19 0 291212265 9856004096 44441 33554432000 1073741824 1073778376 140735125828624 140550778591912 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30263/tid=30271] ppid=30261 vsize=9625004 CPUtime=1.1 cores=0,2,4,6 /proc/30263/task/30271/stat : 30271 (java) S 30261 30263 27775 0 -1 4202560 84 0 0 0 107 3 0 0 20 0 19 0 291212265 9856004096 44441 33554432000 1073741824 1073778376 140735125828624 140550777539368 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=30263/tid=30272] ppid=30261 vsize=9625004 CPUtime=1.06 cores=0,2,4,6 /proc/30263/task/30272/stat : 30272 (java) S 30261 30263 27775 0 -1 4202560 25 0 0 0 104 2 0 0 20 0 19 0 291212265 9856004096 44441 33554432000 1073741824 1073778376 140735125828624 140550776486824 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=30263/tid=30273] ppid=30261 vsize=9625004 CPUtime=1.07 cores=0,2,4,6 /proc/30263/task/30273/stat : 30273 (java) S 30261 30263 27775 0 -1 4202560 39 0 0 0 105 2 0 0 20 0 19 0 291212265 9856004096 44441 33554432000 1073741824 1073778376 140735125828624 140550775434280 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30263/tid=30274] ppid=30261 vsize=9625004 CPUtime=18 cores=0,2,4,6 /proc/30263/task/30274/stat : 30274 (java) S 30261 30263 27775 0 -1 4202560 165 0 0 0 1796 4 0 0 20 0 19 0 291212267 9856004096 44441 33554432000 1073741824 1073778376 140735125828624 140550763235432 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=30263/tid=30275] ppid=30261 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/30263/task/30275/stat : 30275 (java) S 30261 30263 27775 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291212267 9856004096 44441 33554432000 1073741824 1073778376 140735125828624 140550762181752 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30263/tid=30276] ppid=30261 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/30263/task/30276/stat : 30276 (java) S 30261 30263 27775 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291212267 9856004096 44441 33554432000 1073741824 1073778376 140735125828624 140550761129096 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30263/tid=30277] ppid=30261 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/30263/task/30277/stat : 30277 (java) S 30261 30263 27775 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291212270 9856004096 44441 33554432000 1073741824 1073778376 140735125828624 140550760077840 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30263/tid=30278] ppid=30261 vsize=9625004 CPUtime=0.71 cores=0,2,4,6 /proc/30263/task/30278/stat : 30278 (java) S 30261 30263 27775 0 -1 4202560 4339 0 0 0 71 0 0 0 20 0 19 0 291212270 9856004096 44441 33554432000 1073741824 1073778376 140735125828624 140550759025208 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=30263/tid=30279] ppid=30261 vsize=9625004 CPUtime=0.96 cores=0,2,4,6 /proc/30263/task/30279/stat : 30279 (java) S 30261 30263 27775 0 -1 4202560 10197 0 0 0 94 2 0 0 20 0 19 0 291212270 9856004096 44441 33554432000 1073741824 1073778376 140735125828624 140550757972664 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=30263/tid=30280] ppid=30261 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/30263/task/30280/stat : 30280 (java) S 30261 30263 27775 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291212270 9856004096 44441 33554432000 1073741824 1073778376 140735125828624 140550756920312 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=30263/tid=30281] ppid=30261 vsize=9625004 CPUtime=0.3 cores=0,2,4,6 /proc/30263/task/30281/stat : 30281 (java) S 30261 30263 27775 0 -1 4202560 98 0 0 0 14 16 0 0 20 0 19 0 291212270 9856004096 44441 33554432000 1073741824 1073778376 140735125828624 140550755867976 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=30263/tid=30282] ppid=30261 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/30263/task/30282/stat : 30282 (java) S 30261 30263 27775 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291212313 9856004096 44441 33554432000 1073741824 1073778376 140735125828624 140550754812712 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1729.89 Current children cumulated vsize (KiB) 9625004 [startup+1782.3 s] /proc/loadavg: 2.05 2.01 1.99 3/214 30357 /proc/meminfo: memFree=30613400/32873844 swapFree=7116/7116 [pid=30263] ppid=30261 vsize=9625004 CPUtime=1790.16 cores=0,2,4,6 /proc/30263/stat : 30263 (java) S 30261 30263 27775 0 -1 4202496 19709 0 1 0 178981 35 0 0 20 0 19 0 291212263 9856004096 44444 33554432000 1073741824 1073778376 140735125828624 140735125819760 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/30263/statm: 2406251 44444 2292 9 0 2396937 0 [pid=30263/tid=30265] ppid=30261 vsize=9625004 CPUtime=1755.88 cores=0,2,4,6 /proc/30263/task/30265/stat : 30265 (java) R 30261 30263 27775 0 -1 4202560 3029 0 1 0 175560 28 0 0 20 0 19 0 291212264 9856004096 44444 33554432000 1073741824 1073778376 140735125828624 140550939316560 140550808909799 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=30263/tid=30266] ppid=30261 vsize=9625004 CPUtime=1.12 cores=0,2,4,6 /proc/30263/task/30266/stat : 30266 (java) S 30261 30263 27775 0 -1 4202560 98 0 0 0 110 2 0 0 20 0 19 0 291212265 9856004096 44444 33554432000 1073741824 1073778376 140735125828624 140550928378024 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=30263/tid=30267] ppid=30261 vsize=9625004 CPUtime=1.13 cores=0,2,4,6 /proc/30263/task/30267/stat : 30267 (java) S 30261 30263 27775 0 -1 4202560 132 0 0 0 110 3 0 0 20 0 19 0 291212265 9856004096 44444 33554432000 1073741824 1073778376 140735125828624 140550927325480 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=30263/tid=30268] ppid=30261 vsize=9625004 CPUtime=1.16 cores=0,2,4,6 /proc/30263/task/30268/stat : 30268 (java) S 30261 30263 27775 0 -1 4202560 84 0 0 0 114 2 0 0 20 0 19 0 291212265 9856004096 44444 33554432000 1073741824 1073778376 140735125828624 140550780697000 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30263/tid=30269] ppid=30261 vsize=9625004 CPUtime=1.14 cores=0,2,4,6 /proc/30263/task/30269/stat : 30269 (java) S 30261 30263 27775 0 -1 4202560 115 0 0 0 112 2 0 0 20 0 19 0 291212265 9856004096 44444 33554432000 1073741824 1073778376 140735125828624 140550779644456 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=30263/tid=30270] ppid=30261 vsize=9625004 CPUtime=1.23 cores=0,2,4,6 /proc/30263/task/30270/stat : 30270 (java) S 30261 30263 27775 0 -1 4202560 110 0 0 0 120 3 0 0 20 0 19 0 291212265 9856004096 44444 33554432000 1073741824 1073778376 140735125828624 140550778591912 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30263/tid=30271] ppid=30261 vsize=9625004 CPUtime=1.16 cores=0,2,4,6 /proc/30263/task/30271/stat : 30271 (java) S 30261 30263 27775 0 -1 4202560 85 0 0 0 113 3 0 0 20 0 19 0 291212265 9856004096 44444 33554432000 1073741824 1073778376 140735125828624 140550777539368 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=30263/tid=30272] ppid=30261 vsize=9625004 CPUtime=1.12 cores=0,2,4,6 /proc/30263/task/30272/stat : 30272 (java) S 30261 30263 27775 0 -1 4202560 25 0 0 0 110 2 0 0 20 0 19 0 291212265 9856004096 44444 33554432000 1073741824 1073778376 140735125828624 140550776486824 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=30263/tid=30273] ppid=30261 vsize=9625004 CPUtime=1.12 cores=0,2,4,6 /proc/30263/task/30273/stat : 30273 (java) S 30261 30263 27775 0 -1 4202560 39 0 0 0 110 2 0 0 20 0 19 0 291212265 9856004096 44444 33554432000 1073741824 1073778376 140735125828624 140550775434280 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=30263/tid=30274] ppid=30261 vsize=9625004 CPUtime=18.9 cores=0,2,4,6 /proc/30263/task/30274/stat : 30274 (java) S 30261 30263 27775 0 -1 4202560 169 0 0 0 1886 4 0 0 20 0 19 0 291212267 9856004096 44444 33554432000 1073741824 1073778376 140735125828624 140550763235432 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=30263/tid=30275] ppid=30261 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/30263/task/30275/stat : 30275 (java) S 30261 30263 27775 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291212267 9856004096 44444 33554432000 1073741824 1073778376 140735125828624 140550762181752 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30263/tid=30276] ppid=30261 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/30263/task/30276/stat : 30276 (java) S 30261 30263 27775 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291212267 9856004096 44444 33554432000 1073741824 1073778376 140735125828624 140550761129096 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30263/tid=30277] ppid=30261 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/30263/task/30277/stat : 30277 (java) S 30261 30263 27775 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291212270 9856004096 44444 33554432000 1073741824 1073778376 140735125828624 140550760077840 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30263/tid=30278] ppid=30261 vsize=9625004 CPUtime=0.71 cores=0,2,4,6 /proc/30263/task/30278/stat : 30278 (java) S 30261 30263 27775 0 -1 4202560 4339 0 0 0 71 0 0 0 20 0 19 0 291212270 9856004096 44444 33554432000 1073741824 1073778376 140735125828624 140550759025208 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=30263/tid=30279] ppid=30261 vsize=9625004 CPUtime=0.96 cores=0,2,4,6 /proc/30263/task/30279/stat : 30279 (java) S 30261 30263 27775 0 -1 4202560 10197 0 0 0 94 2 0 0 20 0 19 0 291212270 9856004096 44444 33554432000 1073741824 1073778376 140735125828624 140550757972664 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=30263/tid=30280] ppid=30261 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/30263/task/30280/stat : 30280 (java) S 30261 30263 27775 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291212270 9856004096 44444 33554432000 1073741824 1073778376 140735125828624 140550756920312 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=30263/tid=30281] ppid=30261 vsize=9625004 CPUtime=0.31 cores=0,2,4,6 /proc/30263/task/30281/stat : 30281 (java) S 30261 30263 27775 0 -1 4202560 102 0 0 0 15 16 0 0 20 0 19 0 291212270 9856004096 44444 33554432000 1073741824 1073778376 140735125828624 140550755867976 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=30263/tid=30282] ppid=30261 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/30263/task/30282/stat : 30282 (java) S 30261 30263 27775 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291212313 9856004096 44444 33554432000 1073741824 1073778376 140735125828624 140550754812712 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1790.16 Current children cumulated vsize (KiB) 9625004 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1792.2 s] /proc/loadavg: 2.04 2.01 1.99 3/214 30357 /proc/meminfo: memFree=30613400/32873844 swapFree=7116/7116 [pid=30263] ppid=30261 vsize=9625004 CPUtime=1800.08 cores=0,2,4,6 /proc/30263/stat : 30263 (java) S 30261 30263 27775 0 -1 4202496 19711 0 1 0 179973 35 0 0 20 0 19 0 291212263 9856004096 44444 33554432000 1073741824 1073778376 140735125828624 140735125819760 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/30263/statm: 2406251 44444 2292 9 0 2396937 0 [pid=30263/tid=30265] ppid=30261 vsize=9625004 CPUtime=1765.66 cores=0,2,4,6 /proc/30263/task/30265/stat : 30265 (java) R 30261 30263 27775 0 -1 4202560 3031 0 1 0 176538 28 0 0 20 0 19 0 291212264 9856004096 44444 33554432000 1073741824 1073778376 140735125828624 140550939316560 140550809022270 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=30263/tid=30266] ppid=30261 vsize=9625004 CPUtime=1.12 cores=0,2,4,6 /proc/30263/task/30266/stat : 30266 (java) S 30261 30263 27775 0 -1 4202560 98 0 0 0 110 2 0 0 20 0 19 0 291212265 9856004096 44444 33554432000 1073741824 1073778376 140735125828624 140550928378024 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=30263/tid=30267] ppid=30261 vsize=9625004 CPUtime=1.13 cores=0,2,4,6 /proc/30263/task/30267/stat : 30267 (java) S 30261 30263 27775 0 -1 4202560 132 0 0 0 110 3 0 0 20 0 19 0 291212265 9856004096 44444 33554432000 1073741824 1073778376 140735125828624 140550927325480 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=30263/tid=30268] ppid=30261 vsize=9625004 CPUtime=1.16 cores=0,2,4,6 /proc/30263/task/30268/stat : 30268 (java) S 30261 30263 27775 0 -1 4202560 84 0 0 0 114 2 0 0 20 0 19 0 291212265 9856004096 44444 33554432000 1073741824 1073778376 140735125828624 140550780697000 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30263/tid=30269] ppid=30261 vsize=9625004 CPUtime=1.15 cores=0,2,4,6 /proc/30263/task/30269/stat : 30269 (java) S 30261 30263 27775 0 -1 4202560 115 0 0 0 113 2 0 0 20 0 19 0 291212265 9856004096 44444 33554432000 1073741824 1073778376 140735125828624 140550779644456 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30263/tid=30270] ppid=30261 vsize=9625004 CPUtime=1.24 cores=0,2,4,6 /proc/30263/task/30270/stat : 30270 (java) S 30261 30263 27775 0 -1 4202560 110 0 0 0 121 3 0 0 20 0 19 0 291212265 9856004096 44444 33554432000 1073741824 1073778376 140735125828624 140550778591912 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=30263/tid=30271] ppid=30261 vsize=9625004 CPUtime=1.16 cores=0,2,4,6 /proc/30263/task/30271/stat : 30271 (java) S 30261 30263 27775 0 -1 4202560 85 0 0 0 113 3 0 0 20 0 19 0 291212265 9856004096 44444 33554432000 1073741824 1073778376 140735125828624 140550777539368 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=30263/tid=30272] ppid=30261 vsize=9625004 CPUtime=1.12 cores=0,2,4,6 /proc/30263/task/30272/stat : 30272 (java) S 30261 30263 27775 0 -1 4202560 25 0 0 0 110 2 0 0 20 0 19 0 291212265 9856004096 44444 33554432000 1073741824 1073778376 140735125828624 140550776486824 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30263/tid=30273] ppid=30261 vsize=9625004 CPUtime=1.12 cores=0,2,4,6 /proc/30263/task/30273/stat : 30273 (java) S 30261 30263 27775 0 -1 4202560 39 0 0 0 110 2 0 0 20 0 19 0 291212265 9856004096 44444 33554432000 1073741824 1073778376 140735125828624 140550775434280 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=30263/tid=30274] ppid=30261 vsize=9625004 CPUtime=18.99 cores=0,2,4,6 /proc/30263/task/30274/stat : 30274 (java) S 30261 30263 27775 0 -1 4202560 169 0 0 0 1895 4 0 0 20 0 19 0 291212267 9856004096 44444 33554432000 1073741824 1073778376 140735125828624 140550763235432 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=30263/tid=30275] ppid=30261 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/30263/task/30275/stat : 30275 (java) S 30261 30263 27775 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291212267 9856004096 44444 33554432000 1073741824 1073778376 140735125828624 140550762181752 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30263/tid=30276] ppid=30261 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/30263/task/30276/stat : 30276 (java) S 30261 30263 27775 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291212267 9856004096 44444 33554432000 1073741824 1073778376 140735125828624 140550761129096 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30263/tid=30277] ppid=30261 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/30263/task/30277/stat : 30277 (java) S 30261 30263 27775 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291212270 9856004096 44444 33554432000 1073741824 1073778376 140735125828624 140550760077840 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30263/tid=30278] ppid=30261 vsize=9625004 CPUtime=0.71 cores=0,2,4,6 /proc/30263/task/30278/stat : 30278 (java) S 30261 30263 27775 0 -1 4202560 4339 0 0 0 71 0 0 0 20 0 19 0 291212270 9856004096 44444 33554432000 1073741824 1073778376 140735125828624 140550759025208 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=30263/tid=30279] ppid=30261 vsize=9625004 CPUtime=0.96 cores=0,2,4,6 /proc/30263/task/30279/stat : 30279 (java) S 30261 30263 27775 0 -1 4202560 10197 0 0 0 94 2 0 0 20 0 19 0 291212270 9856004096 44444 33554432000 1073741824 1073778376 140735125828624 140550757972664 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=30263/tid=30280] ppid=30261 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/30263/task/30280/stat : 30280 (java) S 30261 30263 27775 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291212270 9856004096 44444 33554432000 1073741824 1073778376 140735125828624 140550756920312 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=30263/tid=30281] ppid=30261 vsize=9625004 CPUtime=0.31 cores=0,2,4,6 /proc/30263/task/30281/stat : 30281 (java) S 30261 30263 27775 0 -1 4202560 102 0 0 0 15 16 0 0 20 0 19 0 291212270 9856004096 44444 33554432000 1073741824 1073778376 140735125828624 140550755867976 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=30263/tid=30282] ppid=30261 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/30263/task/30282/stat : 30282 (java) S 30261 30263 27775 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291212313 9856004096 44444 33554432000 1073741824 1073778376 140735125828624 140550754812712 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 9625004 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 30263 and gives # childrusage.ru_utime.tv_sec=1795 # childrusage.ru_utime.tv_usec=369062 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=831873 # CPU time returned by wait4() is 1796.2 # while last known CPU time is 1800.08 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1792.26 CPU time (s): 1800.08 CPU user time (s): 1799.73 CPU system time (s): 0.35 CPU usage (%): 100.437 Max. virtual memory (cumulated for all children) (KiB): 9625004 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.37 system time used= 0.831873 maximum resident set size= 177904 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 19746 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1736 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 51196 involuntary context switches= 30766 runsolver used 6.12007 second user time and 13.045 second system time The end
Begin job on node102 at 2012-05-29 02:20:37 IDJOB=3710453 IDBENCH=92690 IDSOLVER=2289 FILE ID=node102/3710453-1338250837 RUNJOBID= node102-1338249041-30119 PBS_JOBID= 14624651 Free space on /tmp= 71484 MiB SOLVER NAME= SAT4J PB specific settings 2.3.2 snapshot BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/MH+IC/normalized-minisat15_4_4_6_mh_ic.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-3710453-1338250837/watcher-3710453-1338250837 -o /tmp/evaluation-result-3710453-1338250837/solver-3710453-1338250837 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710453-1338250837.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= b24b10929da03724a77e08494dd4be05 RANDOM SEED=1357287996 node102.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.178 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.35 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.178 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.90 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.178 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.91 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.178 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.178 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.178 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 : 5438.54 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.178 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 : 5331.91 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.178 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: 32873844 kB MemFree: 30799128 kB Buffers: 153248 kB Cached: 124392 kB SwapCached: 0 kB Active: 1198272 kB Inactive: 45472 kB Active(anon): 956988 kB Inactive(anon): 11808 kB Active(file): 241284 kB Inactive(file): 33664 kB Unevictable: 7116 kB Mlocked: 7116 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 1696 kB Writeback: 0 kB AnonPages: 973360 kB Mapped: 18516 kB Shmem: 200 kB Slab: 687844 kB SReclaimable: 129908 kB SUnreclaim: 557936 kB KernelStack: 1608 kB PageTables: 5920 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 1724564 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 944128 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71480 MiB End job on node102 at 2012-05-29 02:50:32