Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SAT4J PB specific settings 2.3.2 snapshot | SAT (TO) | 1800.1 | 1793.25 |
Name | /OPT-BIGINT-LIN/zahidi/MH+IC/ normalized-minisat15_4_4_0_mh_ic.opb |
MD5SUM | b32f126aecba6bfb006545c8818dc00d |
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 | 2252617 |
Best CPU time to get the best result obtained on this benchmark | 504.786 |
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 | 68417929 |
Number of bits for the biggest coefficient in the objective function | 27 |
Sum of the numbers in the objective function | 3962242471 |
Number of bits of the sum of numbers in the objective function | 32 |
Biggest number in a constraint | 68417929 |
Number of bits of the biggest number in a constraint | 27 |
Biggest sum of numbers in a constraint | 3962242471 |
Number of bits of the biggest sum of numbers | 32 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.04/0.35 c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS 0.04/0.35 c This is free software under the dual EPL/GNU LGPL licenses. 0.04/0.35 c See www.sat4j.org for details. 0.04/0.35 c This software uses some libraries from the Jakarta Commons project. See jakarta.apache.org for details. 0.04/0.36 c version 2.3.2.v20120418 0.04/0.36 c java.runtime.name Java(TM) SE Runtime Environment 0.04/0.36 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.04/0.36 c java.vm.version 19.1-b02 0.04/0.36 c java.vm.vendor Sun Microsystems Inc. 0.04/0.36 c sun.arch.data.model 64 0.04/0.36 c java.version 1.6.0_24 0.04/0.36 c os.name Linux 0.04/0.36 c os.version 2.6.32-71.29.1.el6.x86_64 0.04/0.36 c os.arch amd64 0.04/0.36 c Free memory 501472288 0.04/0.36 c Max memory 7480803328 0.04/0.36 c Total memory 504102912 0.04/0.36 c Number of processors 8 0.13/0.41 c read org.sat4j.minisat.orders.VarOrderHeap 0.13/0.41 c configuring ORDERS 0.13/0.42 c --- Begin Solver configuration --- 0.13/0.42 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2dcb25f1 0.13/0.42 c Learn all clauses as in MiniSAT 0.13/0.42 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.13/0.42 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause 0.13/0.42 c Expensive reason simplification 0.13/0.42 c Armin Biere (Picosat) restarts strategy 0.13/0.42 c Glucose learned constraints deletion strategy 0.13/0.42 c timeout=2147483s 0.13/0.42 c DB Simplification allowed=true 0.13/0.42 c Heuristics kept accross calls (keep the solver "hot") 0.13/0.42 c --- End Solver configuration --- 0.13/0.42 c solving HOME/instance-3710449-1338249041.opb 0.13/0.42 c reading problem ... 0.70/0.77 c ... done. Wall clock time 0.351s. 0.70/0.77 c declared #vars 9765 0.70/0.77 c #constraints 21927 0.70/0.77 c constraints type 0.70/0.77 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6001 0.70/0.77 c org.sat4j.minisat.constraints.cnf.UnitClauses => 4 0.70/0.77 c org.sat4j.minisat.constraints.card.MinWatchCard => 22 0.70/0.77 c ignored satisfied constraints => 4 0.70/0.77 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9885 0.70/0.77 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6015 0.70/0.77 c 21931 constraints processed. 2.38/2.07 c SATISFIABLE 2.38/2.07 c OPTIMIZING... 2.38/2.07 c Got one! Elapsed wall clock time (in seconds):1.651 2.38/2.07 o 15954811 3.94/3.34 c cleaning 2961 clauses out of 5923 with flag 3002/5938 5.58/4.56 c Got one! Elapsed wall clock time (in seconds):4.149 5.91/4.75 o 15561692 6.01/4.86 c cleaning 4019 clauses out of 8039 with flag 1002/11021 7.31/6.16 c cleaning 4997 clauses out of 10018 with flag 7000/17019 8.72/7.56 c cleaning 6002 clauses out of 12021 with flag 14000/24019 10.47/9.20 c cleaning 6995 clauses out of 14019 with flag 22000/32019 12.07/10.84 c cleaning 8008 clauses out of 16024 with flag 31000/41019 13.78/12.58 c cleaning 9006 clauses out of 18016 with flag 41000/51019 15.98/14.73 c cleaning 9998 clauses out of 20010 with flag 52000/62019 17.99/16.75 c Got one! Elapsed wall clock time (in seconds):16.331 17.99/16.75 o 13753164 18.94/17.65 c cleaning 11533 clauses out of 23096 with flag 5001/75103 20.43/19.11 c cleaning 8775 clauses out of 17562 with flag 11000/81102 22.24/20.94 c cleaning 7888 clauses out of 15786 with flag 18000/88102 23.55/22.24 c cleaning 7936 clauses out of 15898 with flag 26000/96102 25.07/23.75 c cleaning 8472 clauses out of 16962 with flag 35000/105102 26.59/25.22 c cleaning 9243 clauses out of 18490 with flag 45000/115102 28.70/27.30 c cleaning 10109 clauses out of 20248 with flag 56001/126103 30.80/29.40 c cleaning 11057 clauses out of 22138 with flag 68001/138103 32.80/31.41 c cleaning 12034 clauses out of 24081 with flag 81001/151103 35.21/33.84 c cleaning 13014 clauses out of 26046 with flag 95000/165102 38.11/36.70 c cleaning 13996 clauses out of 28032 with flag 110000/180102 40.71/39.30 c cleaning 15009 clauses out of 30036 with flag 126000/196102 43.82/42.48 c cleaning 16010 clauses out of 32027 with flag 143000/213102 47.12/45.71 c cleaning 16989 clauses out of 34020 with flag 161003/231105 50.53/49.12 c cleaning 18001 clauses out of 36028 with flag 180000/250102 55.04/53.65 c cleaning 19007 clauses out of 38027 with flag 200000/270102 58.75/57.39 c cleaning 20000 clauses out of 40022 with flag 221002/291104 60.66/59.26 c Got one! Elapsed wall clock time (in seconds):58.849 60.66/59.26 o 12956847 61.37/59.97 c cleaning 17878 clauses out of 35775 with flag 5000/306857 62.40/60.97 c cleaning 11930 clauses out of 23897 with flag 11000/312857 63.52/62.06 c cleaning 9461 clauses out of 18967 with flag 18000/319857 64.82/63.39 c cleaning 8743 clauses out of 17506 with flag 26000/327857 66.22/64.75 c cleaning 8874 clauses out of 17764 with flag 35001/336858 67.72/66.28 c cleaning 9434 clauses out of 18892 with flag 45003/346860 69.33/67.83 c cleaning 10222 clauses out of 20455 with flag 56003/357860 70.94/69.47 c cleaning 11094 clauses out of 22230 with flag 68000/369857 72.64/71.19 c cleaning 12062 clauses out of 24137 with flag 81001/382858 75.04/73.53 c cleaning 12936 clauses out of 25887 with flag 95000/396857 75.35/73.81 c Got one! Elapsed wall clock time (in seconds):73.397 75.35/73.81 o 10327167 75.97/74.43 c cleaning 9275 clauses out of 18585 with flag 4000/402491 77.39/75.87 c cleaning 7624 clauses out of 15311 with flag 10003/408494 78.69/77.14 c cleaning 7324 clauses out of 14684 with flag 17000/415491 78.79/77.23 c Got one! Elapsed wall clock time (in seconds):76.815 78.79/77.23 o 8343317 78.89/77.33 c Got one! Elapsed wall clock time (in seconds):76.914 78.89/77.33 o 8197081 80.09/78.59 c cleaning 6618 clauses out of 13280 with flag 5000/421411 81.41/79.85 c cleaning 6312 clauses out of 12663 with flag 11001/427412 82.53/80.93 c cleaning 6667 clauses out of 13350 with flag 18000/434411 83.73/82.15 c cleaning 7331 clauses out of 14684 with flag 26001/442412 85.24/83.62 c cleaning 8171 clauses out of 16352 with flag 35000/451411 86.93/85.38 c cleaning 9085 clauses out of 18181 with flag 45000/461411 88.57/86.95 c cleaning 10045 clauses out of 20097 with flag 56001/472412 90.69/89.03 c cleaning 11006 clauses out of 22052 with flag 68001/484412 93.08/91.41 c cleaning 12020 clauses out of 24047 with flag 81002/497413 95.49/93.89 c cleaning 12998 clauses out of 26025 with flag 95000/511411 97.99/96.32 c cleaning 14005 clauses out of 28029 with flag 110002/526413 100.19/98.54 c cleaning 15000 clauses out of 30022 with flag 126000/542411 103.00/101.35 c cleaning 15991 clauses out of 32022 with flag 143000/559411 105.80/104.18 c cleaning 17003 clauses out of 34031 with flag 161000/577411 108.70/107.05 c cleaning 17995 clauses out of 36028 with flag 180000/596411 112.23/110.53 c cleaning 19013 clauses out of 38037 with flag 200004/616415 115.45/113.74 c cleaning 19997 clauses out of 40021 with flag 221001/637412 119.07/117.37 c cleaning 21005 clauses out of 42023 with flag 243000/659411 123.07/121.37 c cleaning 21993 clauses out of 44018 with flag 266000/682411 127.38/125.62 c cleaning 23007 clauses out of 46027 with flag 290002/706413 132.08/130.40 c cleaning 24007 clauses out of 48018 with flag 315000/731411 137.49/135.76 c cleaning 24993 clauses out of 50011 with flag 341000/757411 143.63/141.81 c cleaning 25995 clauses out of 52018 with flag 368000/784411 149.54/147.76 c cleaning 26993 clauses out of 54023 with flag 396000/812411 156.06/154.25 c cleaning 28006 clauses out of 56030 with flag 425000/841411 162.87/161.05 c cleaning 28995 clauses out of 58025 with flag 455001/871412 169.47/167.67 c cleaning 30008 clauses out of 60029 with flag 486000/902411 176.07/174.21 c cleaning 30539 clauses out of 61130 with flag 518000/934411 183.68/181.82 c cleaning 31769 clauses out of 63592 with flag 551001/967412 189.12/187.20 c cleaning 32901 clauses out of 65822 with flag 585000/1001411 194.24/192.34 c cleaning 33954 clauses out of 67921 with flag 620000/1036411 201.26/199.33 c cleaning 34977 clauses out of 69967 with flag 656000/1072411 207.68/205.79 c cleaning 35980 clauses out of 71991 with flag 693001/1109412 214.29/212.37 c cleaning 36983 clauses out of 74009 with flag 731000/1147411 221.50/219.52 c cleaning 37978 clauses out of 75994 with flag 770000/1186411 227.91/225.90 c cleaning 38989 clauses out of 78016 with flag 810000/1226411 234.14/232.17 c cleaning 39996 clauses out of 80028 with flag 851001/1267412 243.14/241.17 c cleaning 41012 clauses out of 82030 with flag 893000/1309411 253.06/251.00 c cleaning 41975 clauses out of 84018 with flag 936000/1352411 264.38/262.38 c cleaning 43009 clauses out of 86044 with flag 980001/1396412 275.20/273.14 c cleaning 43997 clauses out of 88034 with flag 1025000/1441411 283.02/280.95 c cleaning 45012 clauses out of 90035 with flag 1071000/1487411 291.43/289.38 c cleaning 46005 clauses out of 92023 with flag 1118000/1534411 295.45/293.37 c Got one! Elapsed wall clock time (in seconds):292.958 295.45/293.37 o 8187741 296.55/294.46 c cleaning 35345 clauses out of 70716 with flag 5001/1559109 297.85/295.75 c cleaning 20662 clauses out of 41370 with flag 11000/1565108 299.46/297.30 c cleaning 13836 clauses out of 27708 with flag 18000/1572108 301.27/299.17 c cleaning 10918 clauses out of 21872 with flag 26000/1580108 303.27/301.19 c cleaning 9971 clauses out of 19957 with flag 35003/1589111 306.07/303.95 c cleaning 9965 clauses out of 19984 with flag 45001/1599109 309.18/307.00 c cleaning 10475 clauses out of 21018 with flag 56000/1610108 312.20/310.06 c cleaning 11253 clauses out of 22547 with flag 68004/1622112 315.20/313.04 c cleaning 12129 clauses out of 24290 with flag 81000/1635108 318.83/316.68 c cleaning 13056 clauses out of 26164 with flag 95003/1649111 321.65/319.40 c cleaning 14047 clauses out of 28105 with flag 110000/1664108 324.48/322.29 c cleaning 15018 clauses out of 30058 with flag 126000/1680108 327.88/325.62 c cleaning 16008 clauses out of 32040 with flag 143000/1697108 330.98/328.77 c cleaning 17006 clauses out of 34032 with flag 161000/1715108 334.18/331.93 c cleaning 18007 clauses out of 36027 with flag 180001/1734109 337.39/335.10 c cleaning 19007 clauses out of 38021 with flag 200002/1754110 338.82/336.58 c Got one! Elapsed wall clock time (in seconds):336.166 338.82/336.58 o 6656315 339.82/337.50 c cleaning 17739 clauses out of 35491 with flag 5000/1770588 340.72/338.46 c cleaning 11858 clauses out of 23753 with flag 11001/1776589 341.93/339.61 c cleaning 9417 clauses out of 18896 with flag 18002/1783590 343.13/340.83 c cleaning 8711 clauses out of 17477 with flag 26000/1791588 344.34/342.10 c cleaning 8871 clauses out of 17766 with flag 35000/1800588 345.76/343.49 c cleaning 9436 clauses out of 18896 with flag 45001/1810589 347.16/344.89 c cleaning 10215 clauses out of 20460 with flag 56001/1821589 349.18/346.82 c cleaning 11116 clauses out of 22245 with flag 68001/1833589 351.11/348.70 c cleaning 12051 clauses out of 24128 with flag 81000/1846588 353.33/350.91 c Got one! Elapsed wall clock time (in seconds):350.499 353.33/350.91 o 6597213 354.03/351.67 c cleaning 13918 clauses out of 27875 with flag 5000/1862386 355.33/352.96 c cleaning 9844 clauses out of 19718 with flag 11000/1868386 357.34/354.90 c cleaning 8415 clauses out of 16874 with flag 18000/1875386 359.46/357.00 c cleaning 8197 clauses out of 16459 with flag 26000/1883386 361.88/359.42 c cleaning 8617 clauses out of 17264 with flag 35002/1892388 364.48/362.03 c cleaning 9310 clauses out of 18645 with flag 45000/1902386 367.28/364.85 c cleaning 10155 clauses out of 20335 with flag 56000/1913386 370.38/367.96 c cleaning 11081 clauses out of 22180 with flag 68000/1925386 373.79/371.30 c cleaning 12042 clauses out of 24099 with flag 81000/1938386 377.29/374.85 c cleaning 13010 clauses out of 26057 with flag 95000/1952386 381.19/378.75 c cleaning 14006 clauses out of 28047 with flag 110000/1967386 385.30/382.83 c cleaning 15005 clauses out of 30041 with flag 126000/1983386 389.41/386.97 c cleaning 16006 clauses out of 32036 with flag 143000/2000386 393.51/391.00 c cleaning 17011 clauses out of 34031 with flag 161001/2018387 395.92/393.43 c cleaning 17999 clauses out of 36019 with flag 180000/2037386 398.54/396.00 c cleaning 18993 clauses out of 38020 with flag 200000/2057386 401.44/398.91 c cleaning 20009 clauses out of 40023 with flag 221000/2078386 405.35/402.89 c cleaning 20997 clauses out of 42015 with flag 243001/2100387 409.58/407.02 c cleaning 21998 clauses out of 44017 with flag 266000/2123386 413.88/411.31 c cleaning 23003 clauses out of 46019 with flag 290000/2147386 417.67/415.10 c cleaning 23992 clauses out of 48017 with flag 315001/2172387 422.69/420.15 c cleaning 25002 clauses out of 50024 with flag 341000/2198386 427.59/425.01 c cleaning 26002 clauses out of 52022 with flag 368000/2225386 433.40/430.80 c cleaning 26997 clauses out of 54021 with flag 396001/2253387 439.52/436.90 c cleaning 27991 clauses out of 56023 with flag 425000/2282386 440.94/438.31 c Got one! Elapsed wall clock time (in seconds):437.892 440.94/438.31 o 6588710 441.84/439.29 c cleaning 19690 clauses out of 39421 with flag 5002/2293935 443.26/440.65 c cleaning 12845 clauses out of 25731 with flag 11002/2299935 444.26/441.68 c cleaning 9916 clauses out of 19884 with flag 18000/2306933 445.47/442.89 c cleaning 8949 clauses out of 17952 with flag 26002/2314935 446.87/444.21 c cleaning 8969 clauses out of 18001 with flag 35000/2323933 448.08/445.46 c cleaning 9509 clauses out of 19033 with flag 45001/2333934 449.49/446.89 c cleaning 10249 clauses out of 20528 with flag 56005/2344938 451.19/448.55 c cleaning 11125 clauses out of 22274 with flag 68000/2356933 452.99/450.34 c cleaning 12073 clauses out of 24149 with flag 81000/2369933 455.09/452.41 c cleaning 13028 clauses out of 26078 with flag 95002/2383935 457.50/454.81 c cleaning 14007 clauses out of 28049 with flag 110001/2398934 459.72/457.02 c cleaning 15014 clauses out of 30041 with flag 126000/2414933 462.13/459.41 c cleaning 16007 clauses out of 32027 with flag 143000/2431933 464.34/461.64 c cleaning 17007 clauses out of 34021 with flag 161001/2449934 466.97/464.25 c cleaning 17997 clauses out of 36016 with flag 180003/2468936 469.67/466.99 c cleaning 18997 clauses out of 38016 with flag 200000/2488933 472.68/469.91 c cleaning 19996 clauses out of 40019 with flag 221000/2509933 475.71/472.96 c cleaning 20997 clauses out of 42023 with flag 243000/2531933 479.06/476.25 c cleaning 22006 clauses out of 44029 with flag 266003/2554936 482.38/479.51 c cleaning 22993 clauses out of 46020 with flag 290000/2578933 486.01/483.18 c cleaning 23998 clauses out of 48027 with flag 315000/2603933 490.33/487.45 c cleaning 24997 clauses out of 50030 with flag 341001/2629934 495.24/492.36 c cleaning 26002 clauses out of 52032 with flag 368000/2656933 500.55/497.65 c cleaning 27010 clauses out of 54031 with flag 396001/2684934 505.68/502.73 c cleaning 28004 clauses out of 56023 with flag 425003/2713936 509.89/506.90 c cleaning 29001 clauses out of 58016 with flag 455000/2743933 513.90/510.98 c cleaning 29999 clauses out of 60015 with flag 486000/2774933 518.33/515.36 c cleaning 30990 clauses out of 62017 with flag 518001/2806934 523.16/520.12 c cleaning 31999 clauses out of 64026 with flag 551000/2839933 528.38/525.35 c cleaning 33004 clauses out of 66028 with flag 585001/2873934 534.10/531.09 c cleaning 34001 clauses out of 68023 with flag 620000/2908933 540.92/537.87 c cleaning 34993 clauses out of 70022 with flag 656000/2944933 549.13/546.07 c cleaning 35988 clauses out of 72029 with flag 693000/2981933 556.85/553.76 c cleaning 37001 clauses out of 74041 with flag 731000/3019933 565.78/562.63 c cleaning 38008 clauses out of 76040 with flag 770000/3058933 575.02/571.87 c cleaning 39008 clauses out of 78032 with flag 810000/3098933 584.74/581.50 c cleaning 39997 clauses out of 80025 with flag 851001/3139934 594.77/591.57 c cleaning 41001 clauses out of 82030 with flag 893003/3181936 605.51/602.23 c cleaning 42000 clauses out of 84026 with flag 936000/3224933 615.92/612.64 c cleaning 42992 clauses out of 86027 with flag 980001/3268934 625.02/621.76 c Got one! Elapsed wall clock time (in seconds):621.342 625.02/621.76 o 6559745 626.32/623.03 c cleaning 42303 clauses out of 84608 with flag 5000/3310725 627.83/624.58 c cleaning 24136 clauses out of 48305 with flag 11000/3316725 629.54/626.25 c cleaning 15570 clauses out of 31169 with flag 18000/3323725 631.45/628.11 c cleaning 11763 clauses out of 23600 with flag 26001/3331726 633.46/630.17 c cleaning 10397 clauses out of 20837 with flag 35001/3340726 636.17/632.87 c cleaning 10176 clauses out of 20439 with flag 45000/3350725 639.19/635.86 c cleaning 10615 clauses out of 21263 with flag 56000/3361725 642.20/638.83 c cleaning 11322 clauses out of 22651 with flag 68003/3373728 645.41/642.02 c cleaning 12151 clauses out of 24326 with flag 81000/3386725 648.93/645.55 c cleaning 13069 clauses out of 26175 with flag 95000/3400725 652.24/648.90 c cleaning 14039 clauses out of 28106 with flag 110000/3415725 656.36/652.96 c cleaning 15022 clauses out of 30067 with flag 126000/3431725 660.86/657.41 c cleaning 16005 clauses out of 32045 with flag 143000/3448725 665.29/661.86 c cleaning 17000 clauses out of 34040 with flag 161000/3466725 670.00/666.55 c cleaning 18013 clauses out of 36043 with flag 180003/3485728 674.70/671.22 c cleaning 18985 clauses out of 38027 with flag 200000/3505725 679.73/676.22 c cleaning 20011 clauses out of 40043 with flag 221001/3526726 685.14/681.68 c cleaning 21000 clauses out of 42032 with flag 243001/3548726 690.75/687.28 c cleaning 22006 clauses out of 44031 with flag 266000/3571725 693.26/689.74 c Got one! Elapsed wall clock time (in seconds):689.329 693.26/689.75 o 6557949 694.26/690.77 c cleaning 18812 clauses out of 37653 with flag 5000/3587353 695.68/692.18 c cleaning 12413 clauses out of 24843 with flag 11002/3593355 697.30/693.73 c cleaning 9698 clauses out of 19431 with flag 18003/3600356 699.22/695.60 c cleaning 8838 clauses out of 17730 with flag 26000/3608353 701.13/697.58 c cleaning 8919 clauses out of 17892 with flag 35000/3617353 703.34/699.76 c cleaning 9478 clauses out of 18973 with flag 45000/3627353 705.94/702.34 c cleaning 10227 clauses out of 20496 with flag 56001/3638354 708.85/705.24 c cleaning 11125 clauses out of 22268 with flag 68000/3650353 711.85/708.20 c cleaning 12066 clauses out of 24148 with flag 81005/3663358 715.19/711.51 c cleaning 13030 clauses out of 26078 with flag 95001/3677354 718.51/714.85 c cleaning 14011 clauses out of 28047 with flag 110000/3692353 722.23/718.57 c cleaning 15000 clauses out of 30037 with flag 126001/3708354 725.93/722.25 c cleaning 15987 clauses out of 32039 with flag 143003/3725356 730.84/727.14 c cleaning 17006 clauses out of 34049 with flag 161000/3743353 735.84/732.13 c cleaning 18009 clauses out of 36043 with flag 180000/3762353 741.04/737.32 c cleaning 19000 clauses out of 38038 with flag 200004/3782357 746.36/742.62 c cleaning 19987 clauses out of 40034 with flag 221000/3803353 752.16/748.48 c cleaning 20990 clauses out of 42047 with flag 243000/3825353 758.28/754.56 c cleaning 22020 clauses out of 44060 with flag 266003/3848356 764.28/760.52 c cleaning 23010 clauses out of 46037 with flag 290000/3872353 770.39/766.67 c cleaning 23987 clauses out of 48029 with flag 315002/3897355 777.00/773.20 c cleaning 25000 clauses out of 50040 with flag 341000/3923353 783.71/779.98 c cleaning 26014 clauses out of 52041 with flag 368001/3950354 790.72/786.97 c cleaning 27002 clauses out of 54026 with flag 396000/3978353 797.86/794.07 c cleaning 27994 clauses out of 56024 with flag 425000/4007353 804.77/800.99 c cleaning 28993 clauses out of 58030 with flag 455000/4037353 811.89/808.05 c cleaning 29997 clauses out of 60038 with flag 486001/4068354 819.50/815.63 c cleaning 31009 clauses out of 62042 with flag 518002/4100355 827.73/823.89 c cleaning 31990 clauses out of 64031 with flag 551000/4133353 836.14/832.25 c cleaning 32993 clauses out of 66041 with flag 585000/4167353 844.85/840.99 c cleaning 34009 clauses out of 68049 with flag 620001/4202354 853.55/849.63 c cleaning 35002 clauses out of 70039 with flag 656000/4238353 862.58/858.64 c cleaning 36008 clauses out of 72040 with flag 693003/4275356 872.92/868.93 c cleaning 36987 clauses out of 74029 with flag 731000/4313353 884.03/880.04 c cleaning 38002 clauses out of 76043 with flag 770001/4352354 894.73/890.73 c cleaning 39003 clauses out of 78040 with flag 810000/4392353 897.65/893.66 c Got one! Elapsed wall clock time (in seconds):893.247 897.65/893.66 o 6553838 898.95/894.92 c cleaning 27307 clauses out of 54649 with flag 5001/4407965 900.47/896.42 c cleaning 16658 clauses out of 33342 with flag 11001/4413965 902.07/898.09 c cleaning 11817 clauses out of 23683 with flag 18000/4420964 904.11/900.06 c cleaning 9905 clauses out of 19870 with flag 26004/4428968 906.32/902.27 c cleaning 9466 clauses out of 18962 with flag 35001/4437965 908.64/904.56 c cleaning 9737 clauses out of 19495 with flag 45000/4447964 911.04/906.94 c cleaning 10366 clauses out of 20760 with flag 56002/4458966 913.67/909.50 c cleaning 11171 clauses out of 22392 with flag 68000/4470964 916.37/912.26 c cleaning 12103 clauses out of 24221 with flag 81000/4483964 919.68/915.55 c cleaning 13049 clauses out of 26118 with flag 95000/4497964 923.38/919.24 c cleaning 14008 clauses out of 28069 with flag 110000/4512964 927.28/923.11 c cleaning 15011 clauses out of 30061 with flag 126000/4528964 931.39/927.26 c cleaning 16001 clauses out of 32050 with flag 143000/4545964 935.60/931.46 c cleaning 17005 clauses out of 34053 with flag 161004/4563968 939.90/935.76 c cleaning 18012 clauses out of 36044 with flag 180000/4582964 944.40/940.24 c cleaning 18990 clauses out of 38032 with flag 200000/4602964 948.91/944.71 c cleaning 20006 clauses out of 40043 with flag 221001/4623965 954.03/949.86 c cleaning 20998 clauses out of 42037 with flag 243001/4645965 959.95/955.74 c cleaning 22001 clauses out of 44039 with flag 266001/4668965 965.96/961.76 c cleaning 23003 clauses out of 46037 with flag 290000/4692964 972.06/967.82 c cleaning 23998 clauses out of 48034 with flag 315000/4717964 978.17/973.94 c cleaning 25013 clauses out of 50037 with flag 341001/4743965 984.07/979.89 c cleaning 25984 clauses out of 52024 with flag 368001/4770965 990.90/986.67 c cleaning 27015 clauses out of 54041 with flag 396002/4798966 994.72/990.48 c cleaning 27997 clauses out of 56024 with flag 425000/4827964 999.03/994.71 c cleaning 29005 clauses out of 58027 with flag 455000/4857964 1003.95/999.63 c cleaning 29999 clauses out of 60022 with flag 486000/4888964 1008.66/1004.35 c cleaning 31007 clauses out of 62023 with flag 518000/4920964 1015.06/1010.76 c cleaning 32002 clauses out of 64017 with flag 551001/4953965 1019.47/1015.15 c Got one! Elapsed wall clock time (in seconds):1014.73 1019.47/1015.15 o 6117336 1020.30/1015.90 c cleaning 32257 clauses out of 64549 with flag 5000/4986499 1021.21/1016.86 c cleaning 19131 clauses out of 38291 with flag 11000/4992499 1022.11/1017.74 c cleaning 13061 clauses out of 26161 with flag 18001/4999500 1023.12/1018.75 c cleaning 10512 clauses out of 21099 with flag 26000/5007499 1024.25/1019.83 c cleaning 9775 clauses out of 19587 with flag 35000/5016499 1025.65/1021.25 c cleaning 9892 clauses out of 19812 with flag 45000/5026499 1027.37/1022.98 c cleaning 10451 clauses out of 20919 with flag 56000/5037499 1030.07/1025.67 c cleaning 11225 clauses out of 22469 with flag 68001/5049500 1032.78/1028.34 c cleaning 12101 clauses out of 24243 with flag 81000/5062499 1035.89/1031.40 c cleaning 13053 clauses out of 26142 with flag 95000/5076499 1039.21/1034.77 c cleaning 14030 clauses out of 28092 with flag 110003/5091502 1042.82/1038.30 c cleaning 15016 clauses out of 30059 with flag 126000/5107499 1046.32/1041.88 c cleaning 16011 clauses out of 32043 with flag 143000/5124499 1050.43/1045.98 c cleaning 17006 clauses out of 34033 with flag 161001/5142500 1054.84/1050.30 c cleaning 17999 clauses out of 36026 with flag 180000/5161499 1059.16/1054.63 c cleaning 18994 clauses out of 38027 with flag 200000/5181499 1063.79/1059.23 c cleaning 20006 clauses out of 40033 with flag 221000/5202499 1069.09/1064.53 c cleaning 20987 clauses out of 42028 with flag 243001/5224500 1074.80/1070.24 c cleaning 22003 clauses out of 44040 with flag 266000/5247499 1080.21/1075.63 c cleaning 23008 clauses out of 46038 with flag 290001/5271500 1084.32/1079.74 c cleaning 24007 clauses out of 48034 with flag 315005/5296504 1087.62/1083.09 c cleaning 25001 clauses out of 50022 with flag 341000/5322499 1091.23/1086.68 c cleaning 25994 clauses out of 52022 with flag 368001/5349500 1095.13/1090.56 c cleaning 27008 clauses out of 54027 with flag 396000/5377499 1099.14/1094.51 c cleaning 27998 clauses out of 56020 with flag 425001/5406500 1103.55/1098.96 c cleaning 28998 clauses out of 58023 with flag 455002/5436501 1108.26/1103.68 c cleaning 29993 clauses out of 60023 with flag 486000/5467499 1113.16/1108.60 c cleaning 30996 clauses out of 62030 with flag 518000/5499499 1117.67/1113.10 c cleaning 31998 clauses out of 64034 with flag 551000/5532499 1122.18/1117.57 c Got one! Elapsed wall clock time (in seconds):1117.152 1122.18/1117.57 o 5496644 1122.97/1118.34 c cleaning 30457 clauses out of 60944 with flag 5001/5561407 1124.00/1119.34 c cleaning 18229 clauses out of 36486 with flag 11000/5567406 1125.10/1120.40 c cleaning 12604 clauses out of 25257 with flag 18000/5574406 1126.40/1121.70 c cleaning 10292 clauses out of 20653 with flag 26000/5582406 1128.01/1123.39 c cleaning 9665 clauses out of 19363 with flag 35002/5591408 1129.73/1125.07 c cleaning 9823 clauses out of 19696 with flag 45000/5601406 1132.04/1127.35 c cleaning 10425 clauses out of 20876 with flag 56003/5612409 1134.66/1129.93 c cleaning 11205 clauses out of 22448 with flag 68000/5624406 1137.37/1132.64 c cleaning 12110 clauses out of 24245 with flag 81002/5637408 1140.37/1135.62 c cleaning 13058 clauses out of 26134 with flag 95001/5651407 1143.30/1138.57 c cleaning 14025 clauses out of 28075 with flag 110000/5666406 1146.51/1141.72 c cleaning 15005 clauses out of 30053 with flag 126003/5682409 1149.91/1145.18 c cleaning 15995 clauses out of 32045 with flag 143000/5699406 1153.61/1148.87 c cleaning 17007 clauses out of 34050 with flag 161000/5717406 1157.63/1152.88 c cleaning 18005 clauses out of 36043 with flag 180000/5736406 1161.93/1157.18 c cleaning 19013 clauses out of 38040 with flag 200002/5756408 1166.24/1161.46 c cleaning 20005 clauses out of 40025 with flag 221000/5777406 1170.04/1165.28 c cleaning 20994 clauses out of 42020 with flag 243000/5799406 1174.95/1170.19 c cleaning 21998 clauses out of 44026 with flag 266000/5822406 1177.56/1172.77 c Got one! Elapsed wall clock time (in seconds):1172.349 1177.56/1172.77 o 5411762 1178.86/1174.04 c cleaning 19777 clauses out of 39576 with flag 5000/5840219 1180.26/1175.45 c cleaning 12880 clauses out of 25801 with flag 11002/5846221 1181.77/1176.93 c cleaning 9930 clauses out of 19919 with flag 18000/5853219 1183.47/1178.63 c cleaning 8972 clauses out of 17989 with flag 26000/5861219 1185.18/1180.31 c cleaning 8983 clauses out of 18019 with flag 35002/5870221 1187.39/1182.51 c cleaning 9508 clauses out of 19035 with flag 45001/5880220 1189.89/1185.05 c cleaning 10243 clauses out of 20526 with flag 56000/5891219 1192.30/1187.43 c Got one! Elapsed wall clock time (in seconds):1187.017 1192.30/1187.43 o 5344470 1193.21/1188.36 c Got one! Elapsed wall clock time (in seconds):1187.942 1193.21/1188.36 o 5288760 1193.52/1188.65 c cleaning 13482 clauses out of 26989 with flag 2000/5907936 1194.53/1189.65 c cleaning 9740 clauses out of 19507 with flag 8000/5913936 1195.54/1190.65 c cleaning 8351 clauses out of 16767 with flag 15000/5920936 1196.56/1191.68 c cleaning 8182 clauses out of 16416 with flag 23000/5928936 1197.86/1192.91 c cleaning 8603 clauses out of 17234 with flag 32000/5937936 1199.26/1194.37 c cleaning 9313 clauses out of 18632 with flag 42001/5947937 1200.77/1195.83 c cleaning 10144 clauses out of 20319 with flag 53001/5958937 1202.37/1197.41 c cleaning 11076 clauses out of 22176 with flag 65002/5970938 1204.07/1199.10 c cleaning 12039 clauses out of 24100 with flag 78002/5983938 1205.68/1200.78 c cleaning 13022 clauses out of 26061 with flag 92002/5997938 1207.68/1202.75 c cleaning 14009 clauses out of 28037 with flag 107000/6012936 1209.79/1204.83 c cleaning 15005 clauses out of 30028 with flag 123000/6028936 1213.01/1208.00 c cleaning 15995 clauses out of 32024 with flag 140001/6045937 1215.92/1210.95 c cleaning 17002 clauses out of 34028 with flag 158000/6063936 1219.33/1214.33 c cleaning 18011 clauses out of 36026 with flag 177000/6082936 1222.13/1217.19 c cleaning 18990 clauses out of 38015 with flag 197000/6102936 1225.83/1220.89 c cleaning 20000 clauses out of 40025 with flag 218000/6123936 1229.85/1224.85 c cleaning 20986 clauses out of 42026 with flag 240001/6145937 1234.17/1229.17 c cleaning 22016 clauses out of 44039 with flag 263000/6168936 1238.57/1233.59 c cleaning 22995 clauses out of 46023 with flag 287000/6192936 1243.02/1237.97 c cleaning 24003 clauses out of 48028 with flag 312000/6217936 1247.72/1242.64 c cleaning 25005 clauses out of 50027 with flag 338002/6243938 1252.43/1247.30 c cleaning 25999 clauses out of 52022 with flag 365002/6270938 1257.24/1252.18 c cleaning 26984 clauses out of 54021 with flag 393000/6298936 1262.35/1257.29 c cleaning 28010 clauses out of 56037 with flag 422000/6327936 1267.65/1262.50 c cleaning 28988 clauses out of 58027 with flag 452000/6357936 1273.85/1268.76 c cleaning 30001 clauses out of 60040 with flag 483001/6388937 1276.96/1271.82 c Got one! Elapsed wall clock time (in seconds):1271.4 1276.96/1271.82 o 5255881 1277.86/1272.72 c cleaning 25611 clauses out of 51231 with flag 5001/6410129 1278.97/1273.86 c cleaning 15798 clauses out of 31622 with flag 11003/6416131 1280.49/1275.34 c cleaning 11383 clauses out of 22822 with flag 18001/6423129 1282.11/1276.98 c cleaning 9691 clauses out of 19438 with flag 26000/6431128 1283.51/1278.39 c cleaning 9333 clauses out of 18747 with flag 35000/6440128 1285.53/1280.38 c cleaning 9670 clauses out of 19415 with flag 45001/6450129 1287.73/1282.57 c cleaning 10344 clauses out of 20744 with flag 56000/6461128 1289.83/1284.63 c cleaning 11188 clauses out of 22400 with flag 68000/6473128 1292.16/1286.98 c cleaning 12089 clauses out of 24212 with flag 81000/6486128 1294.86/1289.62 c cleaning 13050 clauses out of 26125 with flag 95002/6500130 1297.68/1292.44 c cleaning 14023 clauses out of 28074 with flag 110001/6515129 1300.99/1295.73 c cleaning 15019 clauses out of 30051 with flag 126001/6531129 1303.89/1298.62 c cleaning 16004 clauses out of 32034 with flag 143003/6548131 1307.30/1302.03 c cleaning 16992 clauses out of 34028 with flag 161001/6566129 1311.01/1305.71 c cleaning 17995 clauses out of 36035 with flag 180000/6585128 1314.81/1309.50 c cleaning 19010 clauses out of 38040 with flag 200000/6605128 1319.02/1313.71 c cleaning 19997 clauses out of 40030 with flag 221000/6626128 1323.14/1317.85 c cleaning 20989 clauses out of 42034 with flag 243001/6648129 1327.36/1322.01 c cleaning 21986 clauses out of 44046 with flag 266002/6671130 1332.26/1326.98 c cleaning 23020 clauses out of 46060 with flag 290002/6695130 1337.08/1331.78 c cleaning 24006 clauses out of 48039 with flag 315001/6720129 1342.10/1336.75 c cleaning 24992 clauses out of 50033 with flag 341001/6746129 1347.92/1342.50 c cleaning 25999 clauses out of 52040 with flag 368000/6773128 1353.75/1348.31 c cleaning 27004 clauses out of 54041 with flag 396000/6801128 1359.46/1354.07 c cleaning 27984 clauses out of 56037 with flag 425000/6830128 1365.86/1360.41 c cleaning 29011 clauses out of 58054 with flag 455001/6860129 1371.79/1366.39 c cleaning 30000 clauses out of 60042 with flag 486000/6891128 1378.10/1372.65 c cleaning 31002 clauses out of 62042 with flag 518000/6923128 1385.00/1379.53 c cleaning 31997 clauses out of 64040 with flag 551000/6956128 1391.41/1385.98 c cleaning 32990 clauses out of 66043 with flag 585000/6990128 1397.91/1392.41 c cleaning 34007 clauses out of 68054 with flag 620001/7025129 1405.61/1400.19 c cleaning 35009 clauses out of 70048 with flag 656002/7061130 1413.92/1408.46 c cleaning 35998 clauses out of 72039 with flag 693002/7098130 1422.33/1416.89 c cleaning 36981 clauses out of 74040 with flag 731001/7136129 1428.03/1422.55 c Got one! Elapsed wall clock time (in seconds):1422.137 1428.03/1422.55 o 5221695 1429.23/1423.75 c cleaning 34982 clauses out of 69985 with flag 5001/7169055 1430.05/1424.56 c cleaning 20487 clauses out of 41002 with flag 11000/7175054 1430.86/1425.38 c Got one! Elapsed wall clock time (in seconds):1424.963 1430.86/1425.38 o 5198061 1432.06/1426.55 c cleaning 15291 clauses out of 30596 with flag 5001/7185135 1433.50/1427.90 c cleaning 10624 clauses out of 21304 with flag 11000/7191134 1434.32/1428.78 c cleaning 8817 clauses out of 17680 with flag 18000/7198134 1435.53/1429.91 c cleaning 8423 clauses out of 16864 with flag 26001/7206135 1436.53/1430.97 c cleaning 8708 clauses out of 17440 with flag 35000/7215134 1438.04/1432.48 c cleaning 9356 clauses out of 18734 with flag 45002/7225136 1439.95/1434.39 c cleaning 10169 clauses out of 20376 with flag 56000/7236134 1442.77/1437.10 c cleaning 11094 clauses out of 22207 with flag 68000/7248134 1443.79/1438.10 c Got one! Elapsed wall clock time (in seconds):1437.681 1443.79/1438.10 o 5184363 1443.89/1438.20 c Got one! Elapsed wall clock time (in seconds):1437.787 1443.89/1438.20 o 4686173 1443.99/1438.38 c cleaning 8302 clauses out of 16669 with flag 1000/7253690 1444.81/1439.18 c cleaning 7165 clauses out of 14368 with flag 7001/7259691 1445.93/1440.22 c cleaning 7068 clauses out of 14203 with flag 14001/7266691 1447.04/1441.39 c cleaning 7564 clauses out of 15136 with flag 22002/7274692 1448.34/1442.69 c cleaning 8276 clauses out of 16572 with flag 31002/7283692 1450.16/1444.47 c cleaning 9134 clauses out of 18294 with flag 41000/7293690 1452.40/1446.61 c cleaning 10062 clauses out of 20161 with flag 52001/7304691 1455.21/1449.44 c cleaning 11023 clauses out of 22099 with flag 64001/7316691 1458.21/1452.46 c cleaning 12028 clauses out of 24077 with flag 77002/7329692 1461.31/1455.60 c cleaning 13011 clauses out of 26048 with flag 91001/7343691 1464.12/1458.32 c cleaning 14005 clauses out of 28036 with flag 106000/7358690 1466.93/1461.15 c cleaning 15006 clauses out of 30031 with flag 122000/7374690 1470.14/1464.32 c cleaning 15994 clauses out of 32026 with flag 139001/7391691 1473.15/1467.38 c cleaning 16997 clauses out of 34033 with flag 157002/7409692 1476.45/1470.68 c cleaning 18005 clauses out of 36034 with flag 176000/7428690 1480.25/1474.40 c cleaning 19010 clauses out of 38030 with flag 196001/7448691 1480.66/1474.82 c Got one! Elapsed wall clock time (in seconds):1474.406 1480.66/1474.82 o 4193259 1481.56/1475.76 c cleaning 12310 clauses out of 24643 with flag 4000/7454314 1483.09/1477.23 c cleaning 9150 clauses out of 18333 with flag 10000/7460314 1484.70/1478.88 c cleaning 8065 clauses out of 16184 with flag 17001/7467315 1486.75/1480.86 c cleaning 8016 clauses out of 16118 with flag 25000/7475314 1488.67/1482.78 c cleaning 8526 clauses out of 17102 with flag 34000/7484314 1489.07/1483.18 c Got one! Elapsed wall clock time (in seconds):1482.766 1489.07/1483.18 o 4153218 1489.97/1484.02 c cleaning 7192 clauses out of 14421 with flag 4000/7490172 1491.18/1485.22 c cleaning 6591 clauses out of 13230 with flag 10001/7496173 1492.48/1486.54 c cleaning 6806 clauses out of 13640 with flag 17002/7503174 1493.98/1488.08 c cleaning 7400 clauses out of 14832 with flag 25000/7511172 1495.78/1489.82 c cleaning 8202 clauses out of 16433 with flag 34001/7520173 1497.69/1491.74 c cleaning 9094 clauses out of 18230 with flag 44000/7530172 1499.72/1493.75 c cleaning 10051 clauses out of 20138 with flag 55002/7541174 1502.31/1496.31 c cleaning 11035 clauses out of 22086 with flag 67001/7553173 1504.92/1498.94 c cleaning 12013 clauses out of 24050 with flag 80000/7566172 1507.53/1501.54 c cleaning 13002 clauses out of 26038 with flag 94001/7580173 1510.62/1504.61 c cleaning 14003 clauses out of 28036 with flag 109001/7595173 1513.84/1507.86 c cleaning 14998 clauses out of 30034 with flag 125002/7611174 1517.04/1511.06 c cleaning 16003 clauses out of 32034 with flag 142000/7628172 1520.95/1514.93 c cleaning 16856 clauses out of 33729 with flag 160000/7646172 1525.17/1519.12 c cleaning 17921 clauses out of 35873 with flag 179000/7665172 1529.66/1523.69 c cleaning 18951 clauses out of 37952 with flag 199000/7685172 1534.18/1528.16 c cleaning 19989 clauses out of 40001 with flag 220000/7706172 1539.39/1533.33 c cleaning 20994 clauses out of 42012 with flag 242000/7728172 1544.48/1538.45 c cleaning 21992 clauses out of 44020 with flag 265002/7751174 1549.99/1543.96 c cleaning 23002 clauses out of 46026 with flag 289000/7775172 1555.30/1549.21 c cleaning 23987 clauses out of 48024 with flag 314000/7800172 1561.31/1555.21 c cleaning 25002 clauses out of 50037 with flag 340000/7826172 1567.32/1561.25 c Got one! Elapsed wall clock time (in seconds):1560.835 1567.32/1561.25 o 4113862 1568.62/1562.51 c cleaning 27818 clauses out of 55646 with flag 5001/7856783 1569.83/1563.72 c Got one! Elapsed wall clock time (in seconds):1563.305 1569.83/1563.72 o 4039472 1571.13/1565.00 c cleaning 18971 clauses out of 37969 with flag 5001/7866924 1572.64/1566.54 c cleaning 12477 clauses out of 24997 with flag 11000/7872923 1574.46/1568.33 c cleaning 9728 clauses out of 19520 with flag 18000/7879923 1576.47/1570.31 c cleaning 8869 clauses out of 17795 with flag 26003/7887926 1578.69/1572.58 c cleaning 8947 clauses out of 17923 with flag 35000/7896923 1581.30/1575.12 c cleaning 9474 clauses out of 18976 with flag 45000/7906923 1583.89/1577.79 c cleaning 10233 clauses out of 20503 with flag 56001/7917924 1586.69/1580.59 c cleaning 11123 clauses out of 22269 with flag 68000/7929923 1589.81/1583.65 c cleaning 12053 clauses out of 24146 with flag 81000/7942923 1593.32/1587.15 c cleaning 13029 clauses out of 26093 with flag 95000/7956923 1597.23/1591.03 c cleaning 14011 clauses out of 28065 with flag 110001/7971924 1601.17/1594.98 c cleaning 15000 clauses out of 30053 with flag 126000/7987923 1605.36/1599.15 c cleaning 16004 clauses out of 32055 with flag 143002/8004925 1609.58/1603.35 c cleaning 17009 clauses out of 34050 with flag 161001/8022924 1610.50/1604.23 c Got one! Elapsed wall clock time (in seconds):1603.816 1610.50/1604.23 o 4013926 1611.00/1604.74 c cleaning 11199 clauses out of 22411 with flag 2001/8028294 1611.82/1605.55 c cleaning 8589 clauses out of 17215 with flag 8004/8034297 1612.82/1606.54 c cleaning 7773 clauses out of 15623 with flag 15001/8041294 1614.04/1607.76 c cleaning 7908 clauses out of 15849 with flag 23000/8049293 1615.46/1609.16 c cleaning 8467 clauses out of 16945 with flag 32004/8058297 1617.07/1610.79 c cleaning 9224 clauses out of 18474 with flag 42000/8068293 1618.77/1612.50 c cleaning 10116 clauses out of 20251 with flag 53001/8079294 1620.78/1614.43 c cleaning 11050 clauses out of 22134 with flag 65000/8091293 1622.70/1616.36 c cleaning 12025 clauses out of 24084 with flag 78000/8104293 1624.90/1618.53 c cleaning 13019 clauses out of 26062 with flag 92003/8118296 1627.20/1620.84 c cleaning 14013 clauses out of 28042 with flag 107002/8133295 1629.92/1623.57 c cleaning 15004 clauses out of 30030 with flag 123003/8149296 1632.82/1626.45 c cleaning 15995 clauses out of 32023 with flag 140000/8166293 1636.12/1629.73 c cleaning 17000 clauses out of 34028 with flag 158000/8184293 1639.83/1633.42 c cleaning 17996 clauses out of 36028 with flag 177000/8203293 1643.34/1636.91 c cleaning 19006 clauses out of 38032 with flag 197000/8223293 1647.14/1640.71 c cleaning 20007 clauses out of 40027 with flag 218001/8244294 1651.85/1645.40 c cleaning 21003 clauses out of 42020 with flag 240001/8266294 1655.96/1649.53 c cleaning 22000 clauses out of 44017 with flag 263001/8289294 1660.76/1654.35 c cleaning 22996 clauses out of 46016 with flag 287000/8313293 1665.56/1659.10 c cleaning 23997 clauses out of 48021 with flag 312001/8338294 1670.57/1664.10 c cleaning 24996 clauses out of 50023 with flag 338000/8364293 1675.48/1669.02 c cleaning 25986 clauses out of 52027 with flag 365000/8391293 1681.08/1674.60 c cleaning 27001 clauses out of 54041 with flag 393000/8419293 1686.88/1680.43 c cleaning 27998 clauses out of 56042 with flag 422002/8448295 1692.70/1686.26 c cleaning 29002 clauses out of 58043 with flag 452001/8478294 1698.71/1692.26 c cleaning 30002 clauses out of 60041 with flag 483001/8509294 1704.94/1698.44 c cleaning 31005 clauses out of 62038 with flag 515000/8541293 1711.63/1705.19 c cleaning 31995 clauses out of 64034 with flag 548001/8574294 1716.86/1710.39 c cleaning 32996 clauses out of 66038 with flag 582000/8608293 1723.50/1716.90 c cleaning 34001 clauses out of 68045 with flag 617003/8643296 1730.21/1723.64 c cleaning 34984 clauses out of 70042 with flag 653001/8679294 1736.93/1730.32 c Got one! Elapsed wall clock time (in seconds):1729.901 1736.93/1730.32 o 3981388 1736.93/1730.37 c Got one! Elapsed wall clock time (in seconds):1729.952 1736.93/1730.37 o 3870139 1738.22/1731.62 c cleaning 35159 clauses out of 70341 with flag 5000/8714577 1739.55/1732.94 c cleaning 20566 clauses out of 41182 with flag 11000/8720577 1741.07/1734.43 c cleaning 13788 clauses out of 27616 with flag 18000/8727577 1742.68/1736.06 c cleaning 10882 clauses out of 21828 with flag 26000/8735577 1744.48/1737.86 c cleaning 9941 clauses out of 19946 with flag 35000/8744577 1746.70/1740.06 c cleaning 9967 clauses out of 20005 with flag 45000/8754577 1749.24/1742.52 c cleaning 10496 clauses out of 21038 with flag 56000/8765577 1751.65/1744.94 c cleaning 11252 clauses out of 22544 with flag 68002/8777579 1754.67/1747.97 c cleaning 12129 clauses out of 24290 with flag 81000/8790577 1757.99/1751.27 c cleaning 13067 clauses out of 26161 with flag 95000/8804577 1761.50/1754.78 c cleaning 14029 clauses out of 28094 with flag 110000/8819577 1765.01/1758.23 c cleaning 15028 clauses out of 30066 with flag 126001/8835578 1769.02/1762.21 c cleaning 15985 clauses out of 32037 with flag 143000/8852577 1772.93/1766.18 c cleaning 16995 clauses out of 34052 with flag 161000/8870577 1777.03/1770.21 c cleaning 18013 clauses out of 36058 with flag 180001/8889578 1781.73/1774.97 c cleaning 19003 clauses out of 38044 with flag 200000/8909577 1786.74/1779.90 c cleaning 20012 clauses out of 40041 with flag 221000/8930577 1792.16/1785.34 c cleaning 21006 clauses out of 42029 with flag 243000/8952577 1792.96/1786.13 c Got one! Elapsed wall clock time (in seconds):1785.711 1792.96/1786.13 o 3845270 1792.96/1786.16 c Got one! Elapsed wall clock time (in seconds):1785.744 1792.96/1786.16 o 3653970 1793.56/1786.70 c cleaning 13134 clauses out of 26297 with flag 2000/8957851 1794.98/1788.16 c cleaning 9547 clauses out of 19163 with flag 8000/8963851 1796.78/1789.92 c cleaning 8287 clauses out of 16616 with flag 15000/8970851 1798.89/1792.05 c cleaning 8126 clauses out of 16329 with flag 23000/8978851 1800.10/1793.21 c starts : 332 1800.10/1793.21 c conflicts : 8983433 1800.10/1793.21 c decisions : 18415683 1800.10/1793.21 c propagations : 1970486671 1800.10/1793.21 c inspects : 9010235842 1800.10/1793.21 c shortcuts : 0 1800.10/1793.21 c learnt literals : 46 1800.10/1793.21 c learnt binary clauses : 544 1800.10/1793.21 c learnt ternary clauses : 808 1800.10/1793.21 c learnt constraints : 8983388 1800.10/1793.21 c ignored constraints : 0 1800.10/1793.21 c root simplifications : 378 1800.10/1793.21 c removed literals (reason simplification) : 166946243 1800.10/1793.21 c reason swapping (by a shorter reason) : 0 1800.10/1793.21 c Calls to reduceDB : 493 1800.10/1793.21 c number of reductions to clauses (during analyze) : 0 1800.10/1793.21 c number of learned constraints concerned by reduction : 0 1800.10/1793.21 c number of learning phase by resolution : 0 1800.10/1793.21 c number of learning phase by cutting planes : 0 1800.10/1793.21 c speed (assignments/second) : 1099340.968609025 1800.10/1793.21 c non guided choices 12444 1800.10/1793.22 c learnt constraints type 1800.10/1793.22 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 345 1800.10/1793.22 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 12462 1800.10/1793.22 c constraints type 1800.10/1793.22 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6001 1800.10/1793.22 c org.sat4j.minisat.constraints.cnf.UnitClauses => 4 1800.10/1793.22 c org.sat4j.minisat.constraints.card.MinWatchCard => 22 1800.10/1793.22 c ignored satisfied constraints => 4 1800.10/1793.22 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9885 1800.10/1793.22 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6016 1800.10/1793.22 c 21932 constraints processed. 1800.10/1793.22 s SATISFIABLE 1800.10/1793.23 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.10/1793.24 c objective function=3653970 1800.10/1793.24 c Total wall clock time (in seconds): 1792.82
OK 3653970
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-3710449-1338249041/watcher-3710449-1338249041 -o /tmp/evaluation-result-3710449-1338249041/solver-3710449-1338249041 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710449-1338249041.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: 1.00 1.22 1.81 3/173 30137 /proc/meminfo: memFree=31816912/32873844 swapFree=7116/7116 [pid=30137] ppid=30135 vsize=272 CPUtime=0 cores=0,2,4,6 /proc/30137/stat : 30137 (java) D 30135 30137 27775 0 -1 4202496 81 0 1 0 0 0 0 0 20 0 1 0 291032688 278528 34 33554432000 1073741824 1073778376 140737013256496 140737013253672 249640873255 0 0 4096 0 18446744072100588836 0 0 17 0 0 0 0 0 0 /proc/30137/statm: 68 34 25 9 0 25 0 [startup+0.0190939 s] /proc/loadavg: 1.00 1.22 1.81 3/173 30137 /proc/meminfo: memFree=31816912/32873844 swapFree=7116/7116 [pid=30137] ppid=30135 vsize=272 CPUtime=0 cores=0,2,4,6 /proc/30137/stat : 30137 (java) D 30135 30137 27775 0 -1 4202496 284 0 2 0 0 0 0 0 20 0 1 0 291032688 278528 33 33554432000 1073741824 1073778376 140737130780944 140737130778120 249640873255 0 0 4096 0 18446744072100588836 0 0 17 0 0 0 0 0 0 /proc/30137/statm: 68 33 25 9 0 25 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 272 [startup+0.100258 s] /proc/loadavg: 1.00 1.22 1.81 3/173 30137 /proc/meminfo: memFree=31816912/32873844 swapFree=7116/7116 [pid=30137] ppid=30135 vsize=23236 CPUtime=0 cores=0,2,4,6 /proc/30137/stat : 30137 (java) D 30135 30137 27775 0 -1 4202496 1054 0 17 0 0 0 0 0 20 0 1 0 291032688 23793664 797 33554432000 1073741824 1073778376 140737130780944 140737130770936 140385415693993 0 0 4096 0 18446744071579943789 0 0 17 0 0 0 6 0 0 /proc/30137/statm: 5809 797 592 9 0 128 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 23236 [startup+0.300199 s] /proc/loadavg: 1.00 1.22 1.81 3/173 30137 /proc/meminfo: memFree=31816912/32873844 swapFree=7116/7116 [pid=30137] ppid=30135 vsize=9225560 CPUtime=0.04 cores=0,2,4,6 /proc/30137/stat : 30137 (java) S 30135 30137 27775 0 -1 4202496 3066 0 30 0 3 1 0 0 20 0 13 0 291032688 9446973440 4302 33554432000 1073741824 1073778376 140737130780944 140737130772080 249653395517 0 0 0 16800971 18446744073709551615 0 0 17 0 0 0 8 0 0 /proc/30137/statm: 2306390 4302 1714 9 0 2297091 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 9225560 [startup+0.700222 s] /proc/loadavg: 1.00 1.22 1.81 3/173 30137 /proc/meminfo: memFree=31816912/32873844 swapFree=7116/7116 [pid=30137] ppid=30135 vsize=9558440 CPUtime=0.7 cores=0,2,4,6 /proc/30137/stat : 30137 (java) S 30135 30137 27775 0 -1 4202496 6746 0 31 0 67 3 0 0 20 0 18 0 291032688 9787842560 15561 33554432000 1073741824 1073778376 140737130780944 140737130772080 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 8 0 0 /proc/30137/statm: 2389610 15561 2237 9 0 2380296 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 9558440 [startup+1.50068 s] /proc/loadavg: 1.08 1.24 1.81 3/190 30156 /proc/meminfo: memFree=31681624/32873844 swapFree=7116/7116 [pid=30137] ppid=30135 vsize=9625004 CPUtime=1.86 cores=0,2,4,6 /proc/30137/stat : 30137 (java) S 30135 30137 27775 0 -1 4202496 8098 0 31 0 182 4 0 0 20 0 19 0 291032688 9856004096 22700 33554432000 1073741824 1073778376 140737130780944 140737130772080 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 8 0 0 /proc/30137/statm: 2406251 22700 2258 9 0 2396937 0 [pid=30137/tid=30139] ppid=30135 vsize=9625004 CPUtime=1.18 cores=0,2,4,6 /proc/30137/task/30139/stat : 30139 (java) R 30135 30137 27775 0 -1 4202560 2514 0 7 0 116 2 0 0 20 0 19 0 291032700 9856004096 22700 33554432000 1073741824 1073778376 140737130780944 140385409565320 140385251352768 0 4 0 16800975 0 0 0 -1 0 0 0 17 0 0 [pid=30137/tid=30140] ppid=30135 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/30137/task/30140/stat : 30140 (java) S 30135 30137 27775 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291032706 9856004096 22700 33554432000 1073741824 1073778376 140737130780944 140385371057064 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30137/tid=30141] ppid=30135 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/30137/task/30141/stat : 30141 (java) S 30135 30137 27775 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291032706 9856004096 22700 33554432000 1073741824 1073778376 140737130780944 140385370004520 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=30137/tid=30142] ppid=30135 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/30137/task/30142/stat : 30142 (java) S 30135 30137 27775 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291032706 9856004096 22700 33554432000 1073741824 1073778376 140737130780944 140385250699944 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=30137/tid=30143] ppid=30135 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/30137/task/30143/stat : 30143 (java) S 30135 30137 27775 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291032706 9856004096 22700 33554432000 1073741824 1073778376 140737130780944 140385249647400 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=30137/tid=30144] ppid=30135 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/30137/task/30144/stat : 30144 (java) S 30135 30137 27775 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291032706 9856004096 22700 33554432000 1073741824 1073778376 140737130780944 140385248594344 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30137/tid=30145] ppid=30135 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/30137/task/30145/stat : 30145 (java) S 30135 30137 27775 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291032706 9856004096 22700 33554432000 1073741824 1073778376 140737130780944 140385247541800 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=30137/tid=30146] ppid=30135 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/30137/task/30146/stat : 30146 (java) S 30135 30137 27775 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291032706 9856004096 22700 33554432000 1073741824 1073778376 140737130780944 140385246488744 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=30137/tid=30147] ppid=30135 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/30137/task/30147/stat : 30147 (java) S 30135 30137 27775 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291032706 9856004096 22700 33554432000 1073741824 1073778376 140737130780944 140385245436200 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30137/tid=30148] ppid=30135 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/30137/task/30148/stat : 30148 (java) S 30135 30137 27775 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291032709 9856004096 22700 33554432000 1073741824 1073778376 140737130780944 140384763108200 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30137/tid=30149] ppid=30135 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/30137/task/30149/stat : 30149 (java) S 30135 30137 27775 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 291032711 9856004096 22700 33554432000 1073741824 1073778376 140737130780944 140384762054520 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30137/tid=30150] ppid=30135 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/30137/task/30150/stat : 30150 (java) S 30135 30137 27775 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291032711 9856004096 22700 33554432000 1073741824 1073778376 140737130780944 140384761001352 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30137/tid=30151] ppid=30135 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/30137/task/30151/stat : 30151 (java) S 30135 30137 27775 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291032718 9856004096 22700 33554432000 1073741824 1073778376 140737130780944 140384759950096 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30137/tid=30152] ppid=30135 vsize=9625004 CPUtime=0.35 cores=0,2,4,6 /proc/30137/task/30152/stat : 30152 (java) S 30135 30137 27775 0 -1 4202560 2160 0 0 0 35 0 0 0 20 0 19 0 291032718 9856004096 22700 33554432000 1073741824 1073778376 140737130780944 140384758896952 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30137/tid=30153] ppid=30135 vsize=9625004 CPUtime=0.29 cores=0,2,4,6 /proc/30137/task/30153/stat : 30153 (java) S 30135 30137 27775 0 -1 4202560 2245 0 1 0 29 0 0 0 20 0 19 0 291032718 9856004096 22700 33554432000 1073741824 1073778376 140737130780944 140384757844408 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=30137/tid=30154] ppid=30135 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/30137/task/30154/stat : 30154 (java) S 30135 30137 27775 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291032718 9856004096 22700 33554432000 1073741824 1073778376 140737130780944 140384756791544 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=30137/tid=30155] ppid=30135 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/30137/task/30155/stat : 30155 (java) S 30135 30137 27775 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291032718 9856004096 22700 33554432000 1073741824 1073778376 140737130780944 140384755739208 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=30137/tid=30156] ppid=30135 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/30137/task/30156/stat : 30156 (java) S 30135 30137 27775 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291032767 9856004096 22700 33554432000 1073741824 1073778376 140737130780944 140384754685480 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1.86 Current children cumulated vsize (KiB) 9625004 [startup+3.10062 s] /proc/loadavg: 1.08 1.24 1.81 5/212 30183 /proc/meminfo: memFree=31429340/32873844 swapFree=7116/7116 [pid=30137] ppid=30135 vsize=9625004 CPUtime=3.74 cores=0,2,4,6 /proc/30137/stat : 30137 (java) S 30135 30137 27775 0 -1 4202496 12234 0 31 0 370 4 0 0 20 0 19 0 291032688 9856004096 25510 33554432000 1073741824 1073778376 140737130780944 140737130772080 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 8 0 0 /proc/30137/statm: 2406251 25510 2264 9 0 2396937 0 [pid=30137/tid=30139] ppid=30135 vsize=9625004 CPUtime=2.77 cores=0,2,4,6 /proc/30137/task/30139/stat : 30139 (java) R 30135 30137 27775 0 -1 4202560 2518 0 7 0 275 2 0 0 20 0 19 0 291032700 9856004096 25510 33554432000 1073741824 1073778376 140737130780944 140385409563088 140385251509288 0 4 0 16800975 0 0 0 -1 0 0 0 17 0 0 [pid=30137/tid=30140] ppid=30135 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/30137/task/30140/stat : 30140 (java) S 30135 30137 27775 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291032706 9856004096 25510 33554432000 1073741824 1073778376 140737130780944 140385371057064 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30137/tid=30141] ppid=30135 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/30137/task/30141/stat : 30141 (java) S 30135 30137 27775 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291032706 9856004096 25510 33554432000 1073741824 1073778376 140737130780944 140385370004520 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=30137/tid=30142] ppid=30135 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/30137/task/30142/stat : 30142 (java) S 30135 30137 27775 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291032706 9856004096 25510 33554432000 1073741824 1073778376 140737130780944 140385250699944 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=30137/tid=30143] ppid=30135 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/30137/task/30143/stat : 30143 (java) S 30135 30137 27775 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291032706 9856004096 25510 33554432000 1073741824 1073778376 140737130780944 140385249647400 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=30137/tid=30144] ppid=30135 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/30137/task/30144/stat : 30144 (java) S 30135 30137 27775 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291032706 9856004096 25510 33554432000 1073741824 1073778376 140737130780944 140385248594344 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30137/tid=30145] ppid=30135 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/30137/task/30145/stat : 30145 (java) S 30135 30137 27775 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291032706 9856004096 25510 33554432000 1073741824 1073778376 140737130780944 140385247541800 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=30137/tid=30146] ppid=30135 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/30137/task/30146/stat : 30146 (java) S 30135 30137 27775 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291032706 9856004096 25510 33554432000 1073741824 1073778376 140737130780944 140385246488744 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=30137/tid=30147] ppid=30135 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/30137/task/30147/stat : 30147 (java) S 30135 30137 27775 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291032706 9856004096 25510 33554432000 1073741824 1073778376 140737130780944 140385245436200 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30137/tid=30148] ppid=30135 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/30137/task/30148/stat : 30148 (java) S 30135 30137 27775 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291032709 9856004096 25510 33554432000 1073741824 1073778376 140737130780944 140384763108200 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30137/tid=30149] ppid=30135 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/30137/task/30149/stat : 30149 (java) S 30135 30137 27775 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 291032711 9856004096 25510 33554432000 1073741824 1073778376 140737130780944 140384762054520 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30137/tid=30150] ppid=30135 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/30137/task/30150/stat : 30150 (java) S 30135 30137 27775 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291032711 9856004096 25510 33554432000 1073741824 1073778376 140737130780944 140384761001352 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30137/tid=30151] ppid=30135 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/30137/task/30151/stat : 30151 (java) S 30135 30137 27775 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291032718 9856004096 25510 33554432000 1073741824 1073778376 140737130780944 140384759950096 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30137/tid=30152] ppid=30135 vsize=9625004 CPUtime=0.51 cores=0,2,4,6 /proc/30137/task/30152/stat : 30152 (java) S 30135 30137 27775 0 -1 4202560 5405 0 0 0 49 2 0 0 20 0 19 0 291032718 9856004096 25510 33554432000 1073741824 1073778376 140737130780944 140384758896952 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30137/tid=30153] ppid=30135 vsize=9625004 CPUtime=0.43 cores=0,2,4,6 /proc/30137/task/30153/stat : 30153 (java) S 30135 30137 27775 0 -1 4202560 3132 0 1 0 43 0 0 0 20 0 19 0 291032718 9856004096 25510 33554432000 1073741824 1073778376 140737130780944 140384757844408 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=30137/tid=30154] ppid=30135 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/30137/task/30154/stat : 30154 (java) S 30135 30137 27775 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291032718 9856004096 25510 33554432000 1073741824 1073778376 140737130780944 140384756791544 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=30137/tid=30155] ppid=30135 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/30137/task/30155/stat : 30155 (java) S 30135 30137 27775 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291032718 9856004096 25510 33554432000 1073741824 1073778376 140737130780944 140384755739208 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=30137/tid=30156] ppid=30135 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/30137/task/30156/stat : 30156 (java) S 30135 30137 27775 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291032767 9856004096 25510 33554432000 1073741824 1073778376 140737130780944 140384754685480 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 3.74 Current children cumulated vsize (KiB) 9625004 [startup+6.30069 s] /proc/loadavg: 1.16 1.25 1.81 3/212 30183 /proc/meminfo: memFree=30914004/32873844 swapFree=7116/7116 [pid=30137] ppid=30135 vsize=9625004 CPUtime=7.53 cores=0,2,4,6 /proc/30137/stat : 30137 (java) S 30135 30137 27775 0 -1 4202496 18058 0 31 0 746 7 0 0 20 0 19 0 291032688 9856004096 32409 33554432000 1073741824 1073778376 140737130780944 140737130772080 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 8 0 0 /proc/30137/statm: 2406251 32409 2291 9 0 2396937 0 [pid=30137/tid=30139] ppid=30135 vsize=9625004 CPUtime=5.88 cores=0,2,4,6 /proc/30137/task/30139/stat : 30139 (java) R 30135 30137 27775 0 -1 4202560 2522 0 7 0 586 2 0 0 20 0 19 0 291032700 9856004096 32409 33554432000 1073741824 1073778376 140737130780944 140385409564960 140385251509691 0 4 0 16800975 0 0 0 -1 0 0 0 17 0 0 [pid=30137/tid=30140] ppid=30135 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/30137/task/30140/stat : 30140 (java) S 30135 30137 27775 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 291032706 9856004096 32409 33554432000 1073741824 1073778376 140737130780944 140385371057064 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=30137/tid=30141] ppid=30135 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/30137/task/30141/stat : 30141 (java) S 30135 30137 27775 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 291032706 9856004096 32409 33554432000 1073741824 1073778376 140737130780944 140385370004520 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=30137/tid=30142] ppid=30135 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/30137/task/30142/stat : 30142 (java) S 30135 30137 27775 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291032706 9856004096 32409 33554432000 1073741824 1073778376 140737130780944 140385250699944 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=30137/tid=30143] ppid=30135 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/30137/task/30143/stat : 30143 (java) S 30135 30137 27775 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 291032706 9856004096 32409 33554432000 1073741824 1073778376 140737130780944 140385249647400 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=30137/tid=30144] ppid=30135 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/30137/task/30144/stat : 30144 (java) S 30135 30137 27775 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291032706 9856004096 32409 33554432000 1073741824 1073778376 140737130780944 140385248594344 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=30137/tid=30145] ppid=30135 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/30137/task/30145/stat : 30145 (java) S 30135 30137 27775 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 291032706 9856004096 32409 33554432000 1073741824 1073778376 140737130780944 140385247541800 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=30137/tid=30146] ppid=30135 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/30137/task/30146/stat : 30146 (java) S 30135 30137 27775 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 291032706 9856004096 32409 33554432000 1073741824 1073778376 140737130780944 140385246488744 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=30137/tid=30147] ppid=30135 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/30137/task/30147/stat : 30147 (java) S 30135 30137 27775 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 291032706 9856004096 32409 33554432000 1073741824 1073778376 140737130780944 140385245436200 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=30137/tid=30148] ppid=30135 vsize=9625004 CPUtime=0.05 cores=0,2,4,6 /proc/30137/task/30148/stat : 30148 (java) S 30135 30137 27775 0 -1 4202560 43 0 0 0 5 0 0 0 20 0 19 0 291032709 9856004096 32409 33554432000 1073741824 1073778376 140737130780944 140384763108200 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30137/tid=30149] ppid=30135 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/30137/task/30149/stat : 30149 (java) S 30135 30137 27775 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291032711 9856004096 32409 33554432000 1073741824 1073778376 140737130780944 140384762054520 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30137/tid=30150] ppid=30135 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/30137/task/30150/stat : 30150 (java) S 30135 30137 27775 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291032711 9856004096 32409 33554432000 1073741824 1073778376 140737130780944 140384761001352 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30137/tid=30151] ppid=30135 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/30137/task/30151/stat : 30151 (java) S 30135 30137 27775 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291032718 9856004096 32409 33554432000 1073741824 1073778376 140737130780944 140384759950096 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30137/tid=30152] ppid=30135 vsize=9625004 CPUtime=0.98 cores=0,2,4,6 /proc/30137/task/30152/stat : 30152 (java) S 30135 30137 27775 0 -1 4202560 11141 0 0 0 95 3 0 0 20 0 19 0 291032718 9856004096 32409 33554432000 1073741824 1073778376 140737130780944 140384758896952 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30137/tid=30153] ppid=30135 vsize=9625004 CPUtime=0.51 cores=0,2,4,6 /proc/30137/task/30153/stat : 30153 (java) S 30135 30137 27775 0 -1 4202560 3144 0 1 0 51 0 0 0 20 0 19 0 291032718 9856004096 32409 33554432000 1073741824 1073778376 140737130780944 140384757844408 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=30137/tid=30154] ppid=30135 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/30137/task/30154/stat : 30154 (java) S 30135 30137 27775 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291032718 9856004096 32409 33554432000 1073741824 1073778376 140737130780944 140384756791544 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=30137/tid=30155] ppid=30135 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/30137/task/30155/stat : 30155 (java) S 30135 30137 27775 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291032718 9856004096 32409 33554432000 1073741824 1073778376 140737130780944 140384755739208 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=30137/tid=30156] ppid=30135 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/30137/task/30156/stat : 30156 (java) S 30135 30137 27775 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291032767 9856004096 32409 33554432000 1073741824 1073778376 140737130780944 140384754685480 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 7.53 Current children cumulated vsize (KiB) 9625004 [startup+12.7007 s] ################ # More data... # ################ [pid=30137/tid=30152] ppid=30135 vsize=9625004 CPUtime=1.07 cores=0,2,4,6 /proc/30137/task/30152/stat : 30152 (java) S 30135 30137 27775 0 -1 4202560 11147 0 0 0 104 3 0 0 20 0 19 0 291032718 9856004096 41348 33554432000 1073741824 1073778376 140737130780944 140384758896952 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30137/tid=30153] ppid=30135 vsize=9625004 CPUtime=0.61 cores=0,2,4,6 /proc/30137/task/30153/stat : 30153 (java) S 30135 30137 27775 0 -1 4202560 3161 0 1 0 61 0 0 0 20 0 19 0 291032718 9856004096 41348 33554432000 1073741824 1073778376 140737130780944 140384757844408 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30137/tid=30154] ppid=30135 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/30137/task/30154/stat : 30154 (java) S 30135 30137 27775 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291032718 9856004096 41348 33554432000 1073741824 1073778376 140737130780944 140384756791544 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=30137/tid=30155] ppid=30135 vsize=9625004 CPUtime=0.27 cores=0,2,4,6 /proc/30137/task/30155/stat : 30155 (java) S 30135 30137 27775 0 -1 4202560 95 0 0 0 12 15 0 0 20 0 19 0 291032718 9856004096 41348 33554432000 1073741824 1073778376 140737130780944 140384755739208 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=30137/tid=30156] ppid=30135 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/30137/task/30156/stat : 30156 (java) S 30135 30137 27775 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291032767 9856004096 41348 33554432000 1073741824 1073778376 140737130780944 140384754685480 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1668.77 Current children cumulated vsize (KiB) 9625004 [startup+1722.3 s] /proc/loadavg: 2.09 2.03 1.93 3/213 30220 /proc/meminfo: memFree=30642112/32873844 swapFree=7116/7116 [pid=30137] ppid=30135 vsize=9625004 CPUtime=1728.91 cores=0,2,4,6 /proc/30137/stat : 30137 (java) S 30135 30137 27775 0 -1 4202496 19396 0 31 0 172853 38 0 0 20 0 19 0 291032688 9856004096 41380 33554432000 1073741824 1073778376 140737130780944 140737130772080 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 8 0 0 /proc/30137/statm: 2406251 41380 2292 9 0 2396937 0 [pid=30137/tid=30139] ppid=30135 vsize=9625004 CPUtime=1697.84 cores=0,2,4,6 /proc/30137/task/30139/stat : 30139 (java) R 30135 30137 27775 0 -1 4202560 2988 0 7 0 169755 29 0 0 20 0 19 0 291032700 9856004096 41380 33554432000 1073741824 1073778376 140737130780944 140385409564992 140385251265984 0 4 0 16800975 0 0 0 -1 2 0 0 17 0 0 [pid=30137/tid=30140] ppid=30135 vsize=9625004 CPUtime=1.01 cores=0,2,4,6 /proc/30137/task/30140/stat : 30140 (java) S 30135 30137 27775 0 -1 4202560 88 0 0 0 99 2 0 0 20 0 19 0 291032706 9856004096 41380 33554432000 1073741824 1073778376 140737130780944 140385371057064 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30137/tid=30141] ppid=30135 vsize=9625004 CPUtime=0.93 cores=0,2,4,6 /proc/30137/task/30141/stat : 30141 (java) S 30135 30137 27775 0 -1 4202560 59 0 0 0 91 2 0 0 20 0 19 0 291032706 9856004096 41380 33554432000 1073741824 1073778376 140737130780944 140385370004520 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=30137/tid=30142] ppid=30135 vsize=9625004 CPUtime=0.96 cores=0,2,4,6 /proc/30137/task/30142/stat : 30142 (java) S 30135 30137 27775 0 -1 4202560 75 0 0 0 94 2 0 0 20 0 19 0 291032706 9856004096 41380 33554432000 1073741824 1073778376 140737130780944 140385250699944 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=30137/tid=30143] ppid=30135 vsize=9625004 CPUtime=0.96 cores=0,2,4,6 /proc/30137/task/30143/stat : 30143 (java) S 30135 30137 27775 0 -1 4202560 83 0 0 0 94 2 0 0 20 0 19 0 291032706 9856004096 41380 33554432000 1073741824 1073778376 140737130780944 140385249647400 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=30137/tid=30144] ppid=30135 vsize=9625004 CPUtime=0.96 cores=0,2,4,6 /proc/30137/task/30144/stat : 30144 (java) S 30135 30137 27775 0 -1 4202560 105 0 0 0 94 2 0 0 20 0 19 0 291032706 9856004096 41380 33554432000 1073741824 1073778376 140737130780944 140385248594344 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30137/tid=30145] ppid=30135 vsize=9625004 CPUtime=0.98 cores=0,2,4,6 /proc/30137/task/30145/stat : 30145 (java) S 30135 30137 27775 0 -1 4202560 64 0 0 0 96 2 0 0 20 0 19 0 291032706 9856004096 41380 33554432000 1073741824 1073778376 140737130780944 140385247541800 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=30137/tid=30146] ppid=30135 vsize=9625004 CPUtime=1.01 cores=0,2,4,6 /proc/30137/task/30146/stat : 30146 (java) S 30135 30137 27775 0 -1 4202560 86 0 0 0 99 2 0 0 20 0 19 0 291032706 9856004096 41380 33554432000 1073741824 1073778376 140737130780944 140385246488744 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=30137/tid=30147] ppid=30135 vsize=9625004 CPUtime=1.02 cores=0,2,4,6 /proc/30137/task/30147/stat : 30147 (java) S 30135 30137 27775 0 -1 4202560 100 0 0 0 102 0 0 0 20 0 19 0 291032706 9856004096 41380 33554432000 1073741824 1073778376 140737130780944 140385245436200 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=30137/tid=30148] ppid=30135 vsize=9625004 CPUtime=17.13 cores=0,2,4,6 /proc/30137/task/30148/stat : 30148 (java) S 30135 30137 27775 0 -1 4202560 177 0 0 0 1709 4 0 0 20 0 19 0 291032709 9856004096 41380 33554432000 1073741824 1073778376 140737130780944 140384763108200 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=30137/tid=30149] ppid=30135 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/30137/task/30149/stat : 30149 (java) S 30135 30137 27775 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291032711 9856004096 41380 33554432000 1073741824 1073778376 140737130780944 140384762054520 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30137/tid=30150] ppid=30135 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/30137/task/30150/stat : 30150 (java) S 30135 30137 27775 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291032711 9856004096 41380 33554432000 1073741824 1073778376 140737130780944 140384761001352 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30137/tid=30151] ppid=30135 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/30137/task/30151/stat : 30151 (java) S 30135 30137 27775 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291032718 9856004096 41380 33554432000 1073741824 1073778376 140737130780944 140384759950096 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30137/tid=30152] ppid=30135 vsize=9625004 CPUtime=1.07 cores=0,2,4,6 /proc/30137/task/30152/stat : 30152 (java) S 30135 30137 27775 0 -1 4202560 11147 0 0 0 104 3 0 0 20 0 19 0 291032718 9856004096 41380 33554432000 1073741824 1073778376 140737130780944 140384758896952 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30137/tid=30153] ppid=30135 vsize=9625004 CPUtime=0.61 cores=0,2,4,6 /proc/30137/task/30153/stat : 30153 (java) S 30135 30137 27775 0 -1 4202560 3161 0 1 0 61 0 0 0 20 0 19 0 291032718 9856004096 41380 33554432000 1073741824 1073778376 140737130780944 140384757844408 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30137/tid=30154] ppid=30135 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/30137/task/30154/stat : 30154 (java) S 30135 30137 27775 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291032718 9856004096 41380 33554432000 1073741824 1073778376 140737130780944 140384756791544 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=30137/tid=30155] ppid=30135 vsize=9625004 CPUtime=0.28 cores=0,2,4,6 /proc/30137/task/30155/stat : 30155 (java) S 30135 30137 27775 0 -1 4202560 99 0 0 0 12 16 0 0 20 0 19 0 291032718 9856004096 41380 33554432000 1073741824 1073778376 140737130780944 140384755739208 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=30137/tid=30156] ppid=30135 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/30137/task/30156/stat : 30156 (java) S 30135 30137 27775 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291032767 9856004096 41380 33554432000 1073741824 1073778376 140737130780944 140384754685480 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1728.91 Current children cumulated vsize (KiB) 9625004 [startup+1782.3 s] /proc/loadavg: 2.03 2.02 1.93 3/214 30223 /proc/meminfo: memFree=30640304/32873844 swapFree=7116/7116 [pid=30137] ppid=30135 vsize=9625004 CPUtime=1789.16 cores=0,2,4,6 /proc/30137/stat : 30137 (java) S 30135 30137 27775 0 -1 4202496 19429 0 31 0 178877 39 0 0 20 0 19 0 291032688 9856004096 41739 33554432000 1073741824 1073778376 140737130780944 140737130772080 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 8 0 0 /proc/30137/statm: 2406251 41739 2292 9 0 2396937 0 [pid=30137/tid=30139] ppid=30135 vsize=9625004 CPUtime=1756.84 cores=0,2,4,6 /proc/30137/task/30139/stat : 30139 (java) R 30135 30137 27775 0 -1 4202560 3006 0 7 0 175654 30 0 0 20 0 19 0 291032700 9856004096 41739 33554432000 1073741824 1073778376 140737130780944 140385409564992 140385251543472 0 4 0 16800975 0 0 0 -1 2 0 0 17 0 0 [pid=30137/tid=30140] ppid=30135 vsize=9625004 CPUtime=1.06 cores=0,2,4,6 /proc/30137/task/30140/stat : 30140 (java) S 30135 30137 27775 0 -1 4202560 88 0 0 0 104 2 0 0 20 0 19 0 291032706 9856004096 41739 33554432000 1073741824 1073778376 140737130780944 140385371057064 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=30137/tid=30141] ppid=30135 vsize=9625004 CPUtime=0.98 cores=0,2,4,6 /proc/30137/task/30141/stat : 30141 (java) S 30135 30137 27775 0 -1 4202560 63 0 0 0 96 2 0 0 20 0 19 0 291032706 9856004096 41739 33554432000 1073741824 1073778376 140737130780944 140385370004520 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=30137/tid=30142] ppid=30135 vsize=9625004 CPUtime=1.02 cores=0,2,4,6 /proc/30137/task/30142/stat : 30142 (java) S 30135 30137 27775 0 -1 4202560 75 0 0 0 100 2 0 0 20 0 19 0 291032706 9856004096 41739 33554432000 1073741824 1073778376 140737130780944 140385250699944 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=30137/tid=30143] ppid=30135 vsize=9625004 CPUtime=1 cores=0,2,4,6 /proc/30137/task/30143/stat : 30143 (java) S 30135 30137 27775 0 -1 4202560 83 0 0 0 98 2 0 0 20 0 19 0 291032706 9856004096 41739 33554432000 1073741824 1073778376 140737130780944 140385249647400 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=30137/tid=30144] ppid=30135 vsize=9625004 CPUtime=1.01 cores=0,2,4,6 /proc/30137/task/30144/stat : 30144 (java) S 30135 30137 27775 0 -1 4202560 105 0 0 0 99 2 0 0 20 0 19 0 291032706 9856004096 41739 33554432000 1073741824 1073778376 140737130780944 140385248594344 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30137/tid=30145] ppid=30135 vsize=9625004 CPUtime=1.02 cores=0,2,4,6 /proc/30137/task/30145/stat : 30145 (java) S 30135 30137 27775 0 -1 4202560 67 0 0 0 100 2 0 0 20 0 19 0 291032706 9856004096 41739 33554432000 1073741824 1073778376 140737130780944 140385247541800 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30137/tid=30146] ppid=30135 vsize=9625004 CPUtime=1.07 cores=0,2,4,6 /proc/30137/task/30146/stat : 30146 (java) S 30135 30137 27775 0 -1 4202560 86 0 0 0 105 2 0 0 20 0 19 0 291032706 9856004096 41739 33554432000 1073741824 1073778376 140737130780944 140385246488744 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=30137/tid=30147] ppid=30135 vsize=9625004 CPUtime=1.07 cores=0,2,4,6 /proc/30137/task/30147/stat : 30147 (java) S 30135 30137 27775 0 -1 4202560 100 0 0 0 107 0 0 0 20 0 19 0 291032706 9856004096 41739 33554432000 1073741824 1073778376 140737130780944 140385245436200 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=30137/tid=30148] ppid=30135 vsize=9625004 CPUtime=17.84 cores=0,2,4,6 /proc/30137/task/30148/stat : 30148 (java) S 30135 30137 27775 0 -1 4202560 181 0 0 0 1779 5 0 0 20 0 19 0 291032709 9856004096 41739 33554432000 1073741824 1073778376 140737130780944 140384763108200 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=30137/tid=30149] ppid=30135 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/30137/task/30149/stat : 30149 (java) S 30135 30137 27775 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291032711 9856004096 41739 33554432000 1073741824 1073778376 140737130780944 140384762054520 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30137/tid=30150] ppid=30135 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/30137/task/30150/stat : 30150 (java) S 30135 30137 27775 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291032711 9856004096 41739 33554432000 1073741824 1073778376 140737130780944 140384761001352 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30137/tid=30151] ppid=30135 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/30137/task/30151/stat : 30151 (java) S 30135 30137 27775 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291032718 9856004096 41739 33554432000 1073741824 1073778376 140737130780944 140384759950096 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30137/tid=30152] ppid=30135 vsize=9625004 CPUtime=1.07 cores=0,2,4,6 /proc/30137/task/30152/stat : 30152 (java) S 30135 30137 27775 0 -1 4202560 11147 0 0 0 104 3 0 0 20 0 19 0 291032718 9856004096 41739 33554432000 1073741824 1073778376 140737130780944 140384758896952 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30137/tid=30153] ppid=30135 vsize=9625004 CPUtime=0.61 cores=0,2,4,6 /proc/30137/task/30153/stat : 30153 (java) S 30135 30137 27775 0 -1 4202560 3161 0 1 0 61 0 0 0 20 0 19 0 291032718 9856004096 41739 33554432000 1073741824 1073778376 140737130780944 140384757844408 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30137/tid=30154] ppid=30135 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/30137/task/30154/stat : 30154 (java) S 30135 30137 27775 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291032718 9856004096 41739 33554432000 1073741824 1073778376 140737130780944 140384756791544 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=30137/tid=30155] ppid=30135 vsize=9625004 CPUtime=0.29 cores=0,2,4,6 /proc/30137/task/30155/stat : 30155 (java) S 30135 30137 27775 0 -1 4202560 103 0 0 0 13 16 0 0 20 0 19 0 291032718 9856004096 41739 33554432000 1073741824 1073778376 140737130780944 140384755739208 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=30137/tid=30156] ppid=30135 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/30137/task/30156/stat : 30156 (java) S 30135 30137 27775 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291032767 9856004096 41739 33554432000 1073741824 1073778376 140737130780944 140384754685480 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1789.16 Current children cumulated vsize (KiB) 9625004 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1793.2 s] /proc/loadavg: 2.03 2.02 1.93 4/214 30223 /proc/meminfo: memFree=30640552/32873844 swapFree=7116/7116 [pid=30137] ppid=30135 vsize=9625004 CPUtime=1800.1 cores=0,2,4,6 /proc/30137/stat : 30137 (java) S 30135 30137 27775 0 -1 4202496 19434 0 31 0 179971 39 0 0 20 0 19 0 291032688 9856004096 41739 33554432000 1073741824 1073778376 140737130780944 140737130772080 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 8 0 0 /proc/30137/statm: 2406251 41739 2292 9 0 2396937 0 [pid=30137/tid=30139] ppid=30135 vsize=9625004 CPUtime=1767.51 cores=0,2,4,6 /proc/30137/task/30139/stat : 30139 (java) R 30135 30137 27775 0 -1 4202560 3011 0 7 0 176721 30 0 0 20 0 19 0 291032700 9856004096 41739 33554432000 1073741824 1073778376 140737130780944 140385409564992 140385251265900 0 4 0 16800975 0 0 0 -1 2 0 0 17 0 0 [pid=30137/tid=30140] ppid=30135 vsize=9625004 CPUtime=1.06 cores=0,2,4,6 /proc/30137/task/30140/stat : 30140 (java) S 30135 30137 27775 0 -1 4202560 88 0 0 0 104 2 0 0 20 0 19 0 291032706 9856004096 41739 33554432000 1073741824 1073778376 140737130780944 140385371057064 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=30137/tid=30141] ppid=30135 vsize=9625004 CPUtime=0.99 cores=0,2,4,6 /proc/30137/task/30141/stat : 30141 (java) S 30135 30137 27775 0 -1 4202560 63 0 0 0 97 2 0 0 20 0 19 0 291032706 9856004096 41739 33554432000 1073741824 1073778376 140737130780944 140385370004520 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=30137/tid=30142] ppid=30135 vsize=9625004 CPUtime=1.02 cores=0,2,4,6 /proc/30137/task/30142/stat : 30142 (java) S 30135 30137 27775 0 -1 4202560 75 0 0 0 100 2 0 0 20 0 19 0 291032706 9856004096 41739 33554432000 1073741824 1073778376 140737130780944 140385250699944 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30137/tid=30143] ppid=30135 vsize=9625004 CPUtime=1.01 cores=0,2,4,6 /proc/30137/task/30143/stat : 30143 (java) S 30135 30137 27775 0 -1 4202560 83 0 0 0 99 2 0 0 20 0 19 0 291032706 9856004096 41739 33554432000 1073741824 1073778376 140737130780944 140385249647400 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=30137/tid=30144] ppid=30135 vsize=9625004 CPUtime=1.01 cores=0,2,4,6 /proc/30137/task/30144/stat : 30144 (java) S 30135 30137 27775 0 -1 4202560 105 0 0 0 99 2 0 0 20 0 19 0 291032706 9856004096 41739 33554432000 1073741824 1073778376 140737130780944 140385248594344 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=30137/tid=30145] ppid=30135 vsize=9625004 CPUtime=1.03 cores=0,2,4,6 /proc/30137/task/30145/stat : 30145 (java) S 30135 30137 27775 0 -1 4202560 67 0 0 0 101 2 0 0 20 0 19 0 291032706 9856004096 41739 33554432000 1073741824 1073778376 140737130780944 140385247541800 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30137/tid=30146] ppid=30135 vsize=9625004 CPUtime=1.09 cores=0,2,4,6 /proc/30137/task/30146/stat : 30146 (java) S 30135 30137 27775 0 -1 4202560 86 0 0 0 107 2 0 0 20 0 19 0 291032706 9856004096 41739 33554432000 1073741824 1073778376 140737130780944 140385246488744 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=30137/tid=30147] ppid=30135 vsize=9625004 CPUtime=1.08 cores=0,2,4,6 /proc/30137/task/30147/stat : 30147 (java) S 30135 30137 27775 0 -1 4202560 100 0 0 0 108 0 0 0 20 0 19 0 291032706 9856004096 41739 33554432000 1073741824 1073778376 140737130780944 140385245436200 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30137/tid=30148] ppid=30135 vsize=9625004 CPUtime=18.04 cores=0,2,4,6 /proc/30137/task/30148/stat : 30148 (java) S 30135 30137 27775 0 -1 4202560 181 0 0 0 1799 5 0 0 20 0 19 0 291032709 9856004096 41739 33554432000 1073741824 1073778376 140737130780944 140384763108200 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=30137/tid=30149] ppid=30135 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/30137/task/30149/stat : 30149 (java) S 30135 30137 27775 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291032711 9856004096 41739 33554432000 1073741824 1073778376 140737130780944 140384762054520 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30137/tid=30150] ppid=30135 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/30137/task/30150/stat : 30150 (java) S 30135 30137 27775 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291032711 9856004096 41739 33554432000 1073741824 1073778376 140737130780944 140384761001352 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30137/tid=30151] ppid=30135 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/30137/task/30151/stat : 30151 (java) S 30135 30137 27775 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291032718 9856004096 41739 33554432000 1073741824 1073778376 140737130780944 140384759950096 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30137/tid=30152] ppid=30135 vsize=9625004 CPUtime=1.07 cores=0,2,4,6 /proc/30137/task/30152/stat : 30152 (java) S 30135 30137 27775 0 -1 4202560 11147 0 0 0 104 3 0 0 20 0 19 0 291032718 9856004096 41739 33554432000 1073741824 1073778376 140737130780944 140384758896952 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30137/tid=30153] ppid=30135 vsize=9625004 CPUtime=0.61 cores=0,2,4,6 /proc/30137/task/30153/stat : 30153 (java) S 30135 30137 27775 0 -1 4202560 3161 0 1 0 61 0 0 0 20 0 19 0 291032718 9856004096 41739 33554432000 1073741824 1073778376 140737130780944 140384757844408 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=30137/tid=30154] ppid=30135 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/30137/task/30154/stat : 30154 (java) S 30135 30137 27775 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291032718 9856004096 41739 33554432000 1073741824 1073778376 140737130780944 140384756791544 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=30137/tid=30155] ppid=30135 vsize=9625004 CPUtime=0.29 cores=0,2,4,6 /proc/30137/task/30155/stat : 30155 (java) S 30135 30137 27775 0 -1 4202560 103 0 0 0 13 16 0 0 20 0 19 0 291032718 9856004096 41739 33554432000 1073741824 1073778376 140737130780944 140384755739208 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=30137/tid=30156] ppid=30135 vsize=9625004 CPUtime=0 cores=0,2,4,6 /proc/30137/task/30156/stat : 30156 (java) S 30135 30137 27775 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291032767 9856004096 41739 33554432000 1073741824 1073778376 140737130780944 140384754685480 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1800.1 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 30137 and gives # childrusage.ru_utime.tv_sec=1795 # childrusage.ru_utime.tv_usec=317070 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=829873 # CPU time returned by wait4() is 1796.15 # while last known CPU time is 1800.1 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1793.25 CPU time (s): 1800.1 CPU user time (s): 1799.71 CPU system time (s): 0.39 CPU usage (%): 100.382 Max. virtual memory (cumulated for all children) (KiB): 9625004 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.32 system time used= 0.829873 maximum resident set size= 167080 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 19467 page faults= 31 swaps= 0 block input operations= 28728 block output operations= 1744 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 51480 involuntary context switches= 29886 runsolver used 5.45317 second user time and 13.6419 second system time The end
Begin job on node102 at 2012-05-29 01:50:42 IDJOB=3710449 IDBENCH=92671 IDSOLVER=2289 FILE ID=node102/3710449-1338249041 RUNJOBID= node102-1338249041-30119 PBS_JOBID= 14624651 Free space on /tmp= 71520 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_0_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-3710449-1338249041/watcher-3710449-1338249041 -o /tmp/evaluation-result-3710449-1338249041/solver-3710449-1338249041 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710449-1338249041.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= b32f126aecba6bfb006545c8818dc00d RANDOM SEED=618322757 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: 31820632 kB Buffers: 150752 kB Cached: 63632 kB SwapCached: 0 kB Active: 200656 kB Inactive: 24200 kB Active(anon): 904 kB Inactive(anon): 11868 kB Active(file): 199752 kB Inactive(file): 12332 kB Unevictable: 7116 kB Mlocked: 7116 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 1584 kB Writeback: 0 kB AnonPages: 17160 kB Mapped: 9396 kB Shmem: 200 kB Slab: 687672 kB SReclaimable: 129756 kB SUnreclaim: 557916 kB KernelStack: 1400 kB PageTables: 3704 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 105800 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 0 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:20:37