Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SAT4J PB specific settings 2.3.2 snapshot | SAT (TO) | 1800.02 | 1793.85 |
Name | /OPT-BIGINT-LIN/zahidi/MH+IC/ normalized-minisat15_4_4_5_mh_ic.opb |
MD5SUM | 2c36639357988247c648b63af301f230 |
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 | 2814188 |
Best CPU time to get the best result obtained on this benchmark | 710.67 |
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 | 90518849 |
Number of bits for the biggest coefficient in the objective function | 27 |
Sum of the numbers in the objective function | 4575401133 |
Number of bits of the sum of numbers in the objective function | 33 |
Biggest number in a constraint | 90518849 |
Number of bits of the biggest number in a constraint | 27 |
Biggest sum of numbers in a constraint | 4575401133 |
Number of bits of the biggest sum of numbers | 33 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.09 c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS 0.00/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.09 c See www.sat4j.org for details. 0.00/0.09 c This software uses some libraries from the Jakarta Commons project. See jakarta.apache.org for details. 0.00/0.09 c version 2.3.2.v20120418 0.00/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.09 c java.vm.version 19.1-b02 0.00/0.09 c java.vm.vendor Sun Microsystems Inc. 0.00/0.09 c sun.arch.data.model 64 0.00/0.09 c java.version 1.6.0_24 0.00/0.09 c os.name Linux 0.00/0.09 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.09 c os.arch amd64 0.00/0.09 c Free memory 501472288 0.00/0.09 c Max memory 7480803328 0.00/0.09 c Total memory 504102912 0.00/0.09 c Number of processors 8 0.08/0.13 c read org.sat4j.minisat.orders.VarOrderHeap 0.08/0.13 c configuring ORDERS 0.08/0.13 c --- Begin Solver configuration --- 0.08/0.13 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@742808b3 0.08/0.13 c Learn all clauses as in MiniSAT 0.08/0.13 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.08/0.13 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause 0.08/0.13 c Expensive reason simplification 0.08/0.13 c Armin Biere (Picosat) restarts strategy 0.08/0.13 c Glucose learned constraints deletion strategy 0.08/0.13 c timeout=2147483s 0.08/0.13 c DB Simplification allowed=true 0.08/0.13 c Heuristics kept accross calls (keep the solver "hot") 0.08/0.13 c --- End Solver configuration --- 0.08/0.13 c solving HOME/instance-3710452-1338248237.opb 0.08/0.13 c reading problem ... 0.67/0.48 c ... done. Wall clock time 0.342s. 0.67/0.48 c declared #vars 9765 0.67/0.48 c #constraints 21927 0.67/0.48 c constraints type 0.67/0.48 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6001 0.67/0.48 c org.sat4j.minisat.constraints.cnf.UnitClauses => 4 0.67/0.48 c org.sat4j.minisat.constraints.card.MinWatchCard => 22 0.67/0.48 c ignored satisfied constraints => 4 0.67/0.48 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9885 0.67/0.48 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6015 0.67/0.48 c 21931 constraints processed. 2.38/1.74 c SATISFIABLE 2.38/1.74 c OPTIMIZING... 2.38/1.74 c Got one! Elapsed wall clock time (in seconds):1.605 2.38/1.74 o 32228902 3.71/2.99 c cleaning 2955 clauses out of 5921 with flag 3000/5936 5.05/4.19 c cleaning 4475 clauses out of 8958 with flag 9000/11936 5.36/4.48 c Got one! Elapsed wall clock time (in seconds):4.343 5.36/4.48 o 25685815 6.37/5.35 c cleaning 4973 clauses out of 9960 with flag 4000/17416 6.98/5.94 c Got one! Elapsed wall clock time (in seconds):5.81 6.98/5.94 o 20444850 7.52/6.45 c cleaning 5441 clauses out of 10896 with flag 2000/23357 8.87/7.76 c cleaning 5718 clauses out of 11456 with flag 8002/29359 10.46/9.36 c cleaning 6368 clauses out of 12736 with flag 15000/36357 11.77/10.61 c Got one! Elapsed wall clock time (in seconds):10.472 11.77/10.61 o 19465039 11.98/10.83 c Got one! Elapsed wall clock time (in seconds):10.699 11.98/10.83 o 18091836 12.12/10.94 c Got one! Elapsed wall clock time (in seconds):10.81 12.12/10.94 o 10845665 12.82/11.65 c cleaning 9078 clauses out of 18155 with flag 4000/49438 14.23/13.00 c cleaning 7533 clauses out of 15072 with flag 10000/55438 15.64/14.43 c cleaning 7012 clauses out of 14035 with flag 17000/62438 17.75/16.59 c cleaning 7497 clauses out of 15022 with flag 25000/70438 19.34/18.13 c cleaning 8252 clauses out of 16526 with flag 34001/79439 20.95/19.78 c cleaning 9126 clauses out of 18260 with flag 44003/89441 22.95/21.78 c cleaning 10062 clauses out of 20132 with flag 55001/100439 24.86/23.65 c cleaning 11031 clauses out of 22071 with flag 67002/112440 27.17/25.96 c cleaning 12011 clauses out of 24042 with flag 80004/125442 29.58/28.37 c cleaning 13009 clauses out of 26029 with flag 94002/139440 30.99/29.74 c Got one! Elapsed wall clock time (in seconds):29.608 30.99/29.74 o 8422690 31.79/30.55 c cleaning 14327 clauses out of 28666 with flag 5000/155086 32.79/31.59 c cleaning 10158 clauses out of 20339 with flag 11000/161086 34.10/32.80 c cleaning 8578 clauses out of 17181 with flag 18000/168086 35.30/34.02 c cleaning 8294 clauses out of 16603 with flag 26000/176086 35.70/34.48 c Got one! Elapsed wall clock time (in seconds):34.346 35.70/34.48 o 8171642 36.30/35.01 c cleaning 6840 clauses out of 13697 with flag 3000/181507 37.01/35.76 c cleaning 6413 clauses out of 12860 with flag 9003/187510 38.13/36.86 c cleaning 6713 clauses out of 13444 with flag 16000/194507 39.63/38.30 c cleaning 7357 clauses out of 14731 with flag 24000/202507 41.23/39.91 c cleaning 8178 clauses out of 16374 with flag 33000/211507 43.04/41.78 c cleaning 9098 clauses out of 18203 with flag 43007/221514 45.44/44.10 c cleaning 10039 clauses out of 20098 with flag 54000/232507 47.34/46.01 c cleaning 11022 clauses out of 22058 with flag 66000/244507 49.34/48.10 c cleaning 12010 clauses out of 24037 with flag 79001/257508 51.96/50.64 c cleaning 12995 clauses out of 26007 with flag 93001/271508 54.46/53.16 c cleaning 13946 clauses out of 27896 with flag 108000/286507 57.49/56.12 c cleaning 14971 clauses out of 29950 with flag 124000/302507 60.69/59.36 c cleaning 15981 clauses out of 31979 with flag 141000/319507 63.71/62.38 c cleaning 16994 clauses out of 33998 with flag 159000/337507 66.82/65.47 c cleaning 17998 clauses out of 36008 with flag 178004/356511 71.23/69.82 c cleaning 18991 clauses out of 38006 with flag 198000/376507 75.24/73.88 c cleaning 19991 clauses out of 40015 with flag 219000/397507 78.85/77.46 c cleaning 21003 clauses out of 42024 with flag 241000/419507 82.55/81.19 c cleaning 21919 clauses out of 43852 with flag 264002/442509 86.37/84.90 c cleaning 22957 clauses out of 45933 with flag 288002/466509 89.79/88.35 c cleaning 23977 clauses out of 47973 with flag 313001/491508 93.90/92.46 c cleaning 24995 clauses out of 49996 with flag 339001/517508 99.72/98.22 c cleaning 25989 clauses out of 52000 with flag 366000/544507 104.54/103.03 c cleaning 26999 clauses out of 54012 with flag 394001/572508 109.05/107.54 c cleaning 28000 clauses out of 56012 with flag 423000/601507 114.07/112.56 c cleaning 28992 clauses out of 58010 with flag 453000/631507 118.98/117.48 c cleaning 29999 clauses out of 60018 with flag 484001/662508 124.31/122.70 c cleaning 31003 clauses out of 62018 with flag 516000/694507 129.33/127.76 c cleaning 31996 clauses out of 64015 with flag 549000/727507 135.23/133.67 c cleaning 32996 clauses out of 66019 with flag 583000/761507 141.46/139.83 c cleaning 34002 clauses out of 68025 with flag 618002/796509 147.30/145.67 c cleaning 34998 clauses out of 70021 with flag 654000/832507 155.12/153.42 c cleaning 36003 clauses out of 72023 with flag 691000/869507 162.55/160.80 c cleaning 37001 clauses out of 74020 with flag 729000/907507 169.86/168.17 c cleaning 37941 clauses out of 75910 with flag 768000/946507 176.17/174.42 c cleaning 38974 clauses out of 77971 with flag 808002/986509 178.17/176.40 c Got one! Elapsed wall clock time (in seconds):176.269 178.17/176.40 o 7315634 178.97/177.27 c cleaning 28081 clauses out of 56184 with flag 5000/1003696 180.09/178.32 c cleaning 17039 clauses out of 34103 with flag 11000/1009696 181.49/179.70 c cleaning 12007 clauses out of 24076 with flag 18012/1016708 183.01/181.24 c cleaning 10012 clauses out of 20059 with flag 26002/1024698 184.61/182.81 c cleaning 9496 clauses out of 19046 with flag 35001/1033697 186.62/184.88 c cleaning 9728 clauses out of 19550 with flag 45001/1043697 188.93/187.15 c cleaning 10394 clauses out of 20823 with flag 56002/1054698 191.74/189.90 c cleaning 11207 clauses out of 22427 with flag 68000/1066696 194.35/192.54 c cleaning 12097 clauses out of 24220 with flag 81000/1079696 197.45/195.65 c cleaning 13042 clauses out of 26123 with flag 95000/1093696 200.35/198.51 c cleaning 14027 clauses out of 28081 with flag 110000/1108696 202.76/200.94 c cleaning 15010 clauses out of 30054 with flag 126000/1124696 205.57/203.73 c cleaning 16011 clauses out of 32044 with flag 143000/1141696 208.77/206.92 c cleaning 17003 clauses out of 34033 with flag 161000/1159696 211.29/209.46 c cleaning 18002 clauses out of 36031 with flag 180001/1178697 214.80/212.98 c cleaning 18997 clauses out of 38028 with flag 200000/1198696 218.30/216.47 c cleaning 20013 clauses out of 40031 with flag 221000/1219696 221.91/220.01 c cleaning 20992 clauses out of 42018 with flag 243000/1241696 225.92/224.02 c cleaning 21999 clauses out of 44027 with flag 266001/1264697 230.52/228.62 c cleaning 23009 clauses out of 46029 with flag 290002/1288698 235.83/233.93 c cleaning 23998 clauses out of 48018 with flag 315000/1313696 241.33/239.40 c cleaning 24991 clauses out of 50021 with flag 341001/1339697 246.15/244.27 c cleaning 26006 clauses out of 52032 with flag 368003/1366699 248.55/246.60 c Got one! Elapsed wall clock time (in seconds):246.468 248.55/246.60 o 6136538 249.45/247.59 c cleaning 22752 clauses out of 45509 with flag 5001/1386182 250.25/248.37 c cleaning 14364 clauses out of 28757 with flag 11001/1392182 251.47/249.57 c cleaning 10674 clauses out of 21392 with flag 18000/1399181 252.58/250.69 c Got one! Elapsed wall clock time (in seconds):250.551 252.58/250.69 o 6078180 253.48/251.58 c cleaning 10919 clauses out of 21859 with flag 5006/1410322 254.48/252.53 c cleaning 8447 clauses out of 16937 with flag 11003/1416319 255.99/254.09 c cleaning 7693 clauses out of 15487 with flag 18000/1423316 257.70/255.73 c cleaning 7888 clauses out of 15795 with flag 26001/1431317 259.50/257.56 c cleaning 8440 clauses out of 16907 with flag 35001/1440317 261.92/259.90 c cleaning 9221 clauses out of 18466 with flag 45000/1450316 264.62/262.69 c cleaning 10099 clauses out of 20245 with flag 56000/1461316 267.92/265.91 c cleaning 11053 clauses out of 22146 with flag 68000/1473316 271.33/269.32 c cleaning 12036 clauses out of 24095 with flag 81002/1486318 274.84/272.88 c cleaning 13018 clauses out of 26059 with flag 95002/1500318 278.74/276.71 c cleaning 14002 clauses out of 28041 with flag 110002/1515318 282.45/280.41 c cleaning 15008 clauses out of 30038 with flag 126001/1531317 286.25/284.27 c cleaning 16000 clauses out of 32029 with flag 143000/1548316 289.75/287.74 c cleaning 17003 clauses out of 34027 with flag 161001/1566317 294.06/292.09 c cleaning 17992 clauses out of 36023 with flag 180000/1585316 299.16/297.13 c cleaning 19001 clauses out of 38032 with flag 200001/1605317 303.77/301.74 c cleaning 20005 clauses out of 40030 with flag 221000/1626316 307.67/305.67 c cleaning 21005 clauses out of 42026 with flag 243001/1648317 310.77/308.76 c Got one! Elapsed wall clock time (in seconds):308.622 310.77/308.76 o 6035015 312.07/310.04 c cleaning 20329 clauses out of 40688 with flag 5001/1668064 313.58/311.57 c cleaning 13171 clauses out of 26359 with flag 11001/1674064 315.28/313.23 c cleaning 10066 clauses out of 20187 with flag 18000/1681063 317.19/315.12 c cleaning 9011 clauses out of 18121 with flag 26000/1689063 319.39/317.34 c cleaning 9015 clauses out of 18110 with flag 35000/1698063 321.79/319.70 c cleaning 9534 clauses out of 19095 with flag 45000/1708063 324.59/322.53 c cleaning 10267 clauses out of 20566 with flag 56005/1719068 327.30/325.28 c cleaning 11128 clauses out of 22295 with flag 68001/1731064 330.30/328.26 c cleaning 12061 clauses out of 24166 with flag 81000/1744063 333.71/331.65 c cleaning 13030 clauses out of 26108 with flag 95003/1758066 337.41/335.37 c cleaning 14021 clauses out of 28075 with flag 110000/1773063 341.02/338.92 c cleaning 15014 clauses out of 30056 with flag 126002/1789065 345.33/343.22 c cleaning 16008 clauses out of 32040 with flag 143000/1806063 349.63/347.57 c cleaning 17012 clauses out of 34032 with flag 161000/1824063 352.03/349.90 c Got one! Elapsed wall clock time (in seconds):349.77 352.03/349.90 o 6022319 353.13/351.09 c cleaning 15362 clauses out of 30754 with flag 5000/1837919 354.54/352.47 c cleaning 10676 clauses out of 21392 with flag 11000/1843919 355.94/353.85 c cleaning 8829 clauses out of 17716 with flag 18000/1850919 357.84/355.78 c cleaning 8414 clauses out of 16887 with flag 26000/1858919 359.84/357.72 c cleaning 8716 clauses out of 17473 with flag 35000/1867919 362.35/360.26 c cleaning 9358 clauses out of 18757 with flag 45000/1877919 365.17/363.01 c cleaning 10184 clauses out of 20399 with flag 56000/1888919 368.07/365.95 c cleaning 11078 clauses out of 22215 with flag 68000/1900919 370.87/368.72 c cleaning 12045 clauses out of 24137 with flag 81000/1913919 374.09/371.97 c cleaning 13027 clauses out of 26092 with flag 95000/1927919 377.59/375.44 c cleaning 14025 clauses out of 28065 with flag 110000/1942919 381.31/379.11 c cleaning 14998 clauses out of 30041 with flag 126001/1958920 385.02/382.89 c cleaning 16011 clauses out of 32042 with flag 143000/1975919 389.03/386.87 c cleaning 17001 clauses out of 34031 with flag 161000/1993919 393.13/390.91 c cleaning 17995 clauses out of 36032 with flag 180002/2012921 397.74/395.58 c cleaning 18999 clauses out of 38035 with flag 200000/2032919 403.35/401.10 c cleaning 20008 clauses out of 40038 with flag 221002/2053921 408.37/406.15 c cleaning 20969 clauses out of 41974 with flag 243003/2075922 413.99/411.79 c cleaning 21980 clauses out of 44002 with flag 266000/2098919 420.39/418.17 c cleaning 22992 clauses out of 46022 with flag 290000/2122919 426.71/424.47 c cleaning 24005 clauses out of 48030 with flag 315000/2147919 433.84/431.54 c cleaning 25004 clauses out of 50027 with flag 341002/2173921 440.66/438.34 c cleaning 25998 clauses out of 52023 with flag 368002/2200921 447.69/445.40 c cleaning 27005 clauses out of 54023 with flag 396000/2228919 454.70/452.37 c cleaning 27980 clauses out of 56018 with flag 425000/2257919 461.61/459.25 c cleaning 29002 clauses out of 58038 with flag 455000/2287919 468.44/466.09 c cleaning 29991 clauses out of 60036 with flag 486000/2318919 475.76/473.34 c cleaning 31017 clauses out of 62045 with flag 518000/2350919 484.28/481.83 c cleaning 31995 clauses out of 64028 with flag 551000/2383919 492.58/490.10 c cleaning 32992 clauses out of 66033 with flag 585000/2417919 500.59/498.11 c cleaning 33990 clauses out of 68041 with flag 620000/2452919 510.10/507.69 c cleaning 35012 clauses out of 70052 with flag 656001/2488920 519.32/516.85 c cleaning 36006 clauses out of 72040 with flag 693001/2525920 528.54/526.07 c cleaning 36999 clauses out of 74036 with flag 731003/2563922 538.26/535.76 c cleaning 38001 clauses out of 76035 with flag 770001/2602920 548.47/545.92 c cleaning 38997 clauses out of 78036 with flag 810003/2642922 558.39/555.84 c cleaning 39992 clauses out of 80036 with flag 851000/2683919 568.40/565.86 c cleaning 41004 clauses out of 82045 with flag 893001/2725920 579.82/577.21 c cleaning 41986 clauses out of 84040 with flag 936000/2768919 592.14/589.57 c cleaning 43010 clauses out of 86054 with flag 980000/2812919 604.18/601.50 c cleaning 43993 clauses out of 88044 with flag 1025000/2857919 615.98/613.31 c cleaning 45002 clauses out of 90051 with flag 1071000/2903919 626.51/623.82 c cleaning 45991 clauses out of 92049 with flag 1118000/2950919 638.22/635.56 c cleaning 46999 clauses out of 94058 with flag 1166000/2998919 650.45/647.74 c cleaning 48006 clauses out of 96060 with flag 1215001/3047920 663.47/660.74 c cleaning 49007 clauses out of 98053 with flag 1265000/3097919 674.89/672.13 c cleaning 50016 clauses out of 100046 with flag 1316000/3148919 681.44/678.66 c cleaning 51002 clauses out of 102032 with flag 1368002/3200921 688.85/686.08 c Got one! Elapsed wall clock time (in seconds):685.949 688.85/686.08 o 5492364 690.15/687.33 c cleaning 52117 clauses out of 104246 with flag 5000/3254137 691.18/688.38 c cleaning 29016 clauses out of 58129 with flag 11000/3260137 692.49/689.61 c cleaning 18001 clauses out of 36114 with flag 18001/3267138 693.89/691.00 c cleaning 13004 clauses out of 26112 with flag 26000/3275137 695.39/692.55 c cleaning 10999 clauses out of 22109 with flag 35001/3284138 697.19/694.33 c cleaning 10538 clauses out of 21110 with flag 45001/3294138 698.89/696.06 c cleaning 10768 clauses out of 21572 with flag 56001/3305138 700.70/697.84 c cleaning 11386 clauses out of 22805 with flag 68002/3317139 702.62/699.76 c cleaning 12194 clauses out of 24420 with flag 81003/3330140 705.64/702.75 c cleaning 13107 clauses out of 26223 with flag 95000/3344137 707.56/704.64 c Got one! Elapsed wall clock time (in seconds):704.509 707.56/704.64 o 5429349 708.96/706.08 c cleaning 13654 clauses out of 27332 with flag 5000/3358353 710.89/707.92 c cleaning 9768 clauses out of 19678 with flag 11000/3364353 712.79/709.86 c cleaning 8435 clauses out of 16911 with flag 18001/3371354 714.70/711.78 c cleaning 8206 clauses out of 16475 with flag 26000/3379353 716.80/713.85 c cleaning 8607 clauses out of 17269 with flag 35000/3388353 719.11/716.19 c cleaning 9318 clauses out of 18664 with flag 45002/3398355 721.81/718.86 c cleaning 10136 clauses out of 20344 with flag 56000/3409353 724.63/721.66 c cleaning 11077 clauses out of 22208 with flag 68000/3421353 726.84/723.82 c Got one! Elapsed wall clock time (in seconds):723.683 726.84/723.82 o 5420103 728.03/725.04 c cleaning 12760 clauses out of 25533 with flag 5000/3435755 729.56/726.54 c cleaning 9359 clauses out of 18773 with flag 11000/3441755 731.28/728.24 c cleaning 8195 clauses out of 16414 with flag 18000/3448755 733.28/730.21 c cleaning 8090 clauses out of 16219 with flag 26000/3456755 735.49/732.41 c cleaning 8561 clauses out of 17131 with flag 35002/3465757 737.89/734.84 c cleaning 9279 clauses out of 18568 with flag 45000/3475755 740.51/737.43 c cleaning 10123 clauses out of 20289 with flag 56000/3486755 743.11/740.05 c cleaning 11070 clauses out of 22167 with flag 68001/3498756 745.65/742.57 c cleaning 12031 clauses out of 24096 with flag 81000/3511755 748.55/745.40 c cleaning 13014 clauses out of 26065 with flag 95000/3525755 751.35/748.25 c cleaning 14018 clauses out of 28052 with flag 110001/3540756 754.76/751.68 c cleaning 15007 clauses out of 30034 with flag 126001/3556756 758.46/755.34 c cleaning 15993 clauses out of 32026 with flag 143000/3573755 762.07/759.00 c cleaning 16998 clauses out of 34033 with flag 161000/3591755 765.77/762.66 c cleaning 17993 clauses out of 36036 with flag 180001/3610756 769.78/766.61 c cleaning 18999 clauses out of 38042 with flag 200000/3630755 773.88/770.74 c cleaning 20006 clauses out of 40044 with flag 221001/3651756 778.28/775.14 c cleaning 20998 clauses out of 42037 with flag 243000/3673755 782.88/779.75 c cleaning 21995 clauses out of 44039 with flag 266000/3696755 788.09/784.97 c cleaning 23007 clauses out of 46044 with flag 290000/3720755 794.51/791.38 c cleaning 24011 clauses out of 48037 with flag 315000/3745755 801.21/798.09 c cleaning 24993 clauses out of 50027 with flag 341001/3771756 808.52/805.34 c cleaning 25999 clauses out of 52033 with flag 368000/3798755 815.74/812.54 c cleaning 26984 clauses out of 54034 with flag 396000/3826755 822.95/819.79 c cleaning 28012 clauses out of 56050 with flag 425000/3855755 830.55/827.37 c cleaning 28992 clauses out of 58038 with flag 455000/3885755 837.77/834.57 c cleaning 30013 clauses out of 60046 with flag 486000/3916755 843.78/840.51 c cleaning 30995 clauses out of 62035 with flag 518002/3948757 850.39/847.13 c cleaning 31990 clauses out of 64038 with flag 551000/3981755 857.59/854.38 c cleaning 33013 clauses out of 66048 with flag 585000/4015755 864.71/861.49 c cleaning 34007 clauses out of 68035 with flag 620000/4050755 870.03/866.79 c cleaning 34999 clauses out of 70029 with flag 656001/4086756 875.04/871.75 c cleaning 36005 clauses out of 72032 with flag 693003/4123758 880.65/877.34 c cleaning 37006 clauses out of 74024 with flag 731000/4161755 886.37/883.06 c cleaning 37992 clauses out of 76020 with flag 770002/4200757 892.08/888.75 c cleaning 38989 clauses out of 78026 with flag 810000/4240755 898.48/895.18 c cleaning 39992 clauses out of 80037 with flag 851000/4281755 905.30/901.96 c cleaning 41005 clauses out of 82045 with flag 893000/4323755 912.70/909.35 c cleaning 42008 clauses out of 84045 with flag 936005/4366760 918.95/915.54 c cleaning 43002 clauses out of 86032 with flag 980000/4410755 927.46/924.05 c cleaning 43996 clauses out of 88030 with flag 1025000/4455755 935.27/931.87 c cleaning 45006 clauses out of 90034 with flag 1071000/4501755 943.08/939.62 c cleaning 46011 clauses out of 92028 with flag 1118000/4548755 945.30/941.85 c Got one! Elapsed wall clock time (in seconds):941.72 945.30/941.85 o 5384076 946.44/942.97 c cleaning 30294 clauses out of 60636 with flag 5000/4563374 947.96/944.40 c cleaning 18139 clauses out of 36342 with flag 11000/4569374 949.76/946.23 c cleaning 12564 clauses out of 25203 with flag 18000/4576374 951.79/948.26 c cleaning 10300 clauses out of 20639 with flag 26000/4584374 954.09/950.54 c cleaning 9656 clauses out of 19340 with flag 35001/4593375 956.40/952.89 c cleaning 9823 clauses out of 19683 with flag 45000/4603374 959.24/955.67 c cleaning 10407 clauses out of 20860 with flag 56000/4614374 962.46/958.84 c cleaning 11208 clauses out of 22453 with flag 68000/4626374 964.99/961.36 c Got one! Elapsed wall clock time (in seconds):961.229 964.99/961.36 o 5082476 966.09/962.42 c Got one! Elapsed wall clock time (in seconds):962.282 966.09/962.42 o 5081117 966.48/962.85 c cleaning 13558 clauses out of 27139 with flag 2000/4642268 967.89/964.26 c cleaning 9717 clauses out of 19581 with flag 8000/4648268 969.52/965.89 c cleaning 8375 clauses out of 16864 with flag 15000/4655268 971.52/967.85 c cleaning 8180 clauses out of 16489 with flag 23000/4663268 973.52/969.88 c cleaning 8638 clauses out of 17309 with flag 32000/4672268 976.03/972.30 c cleaning 9328 clauses out of 18671 with flag 42000/4682268 978.93/975.22 c cleaning 10155 clauses out of 20343 with flag 53000/4693268 982.04/978.31 c cleaning 11083 clauses out of 22188 with flag 65000/4705268 985.14/981.43 c cleaning 12043 clauses out of 24106 with flag 78001/4718269 988.66/984.91 c cleaning 13016 clauses out of 26062 with flag 92000/4732268 992.27/988.59 c cleaning 14019 clauses out of 28046 with flag 107000/4747268 996.59/992.86 c cleaning 14988 clauses out of 30027 with flag 123000/4763268 1001.10/997.30 c cleaning 15997 clauses out of 32039 with flag 140000/4780268 1001.21/997.50 c Got one! Elapsed wall clock time (in seconds):997.361 1001.21/997.50 o 5004446 1002.41/998.64 c cleaning 10804 clauses out of 21636 with flag 5000/4785862 1003.74/999.94 c cleaning 8398 clauses out of 16834 with flag 11002/4791864 1005.15/1001.30 c cleaning 7705 clauses out of 15437 with flag 18003/4798865 1006.75/1002.92 c cleaning 7834 clauses out of 15733 with flag 26004/4806866 1008.56/1004.78 c cleaning 8426 clauses out of 16895 with flag 35000/4815862 1010.96/1007.18 c cleaning 9223 clauses out of 18469 with flag 45000/4825862 1013.76/1009.99 c cleaning 10110 clauses out of 20246 with flag 56000/4836862 1016.77/1012.98 c cleaning 11055 clauses out of 22136 with flag 68000/4848862 1019.58/1015.79 c cleaning 12024 clauses out of 24081 with flag 81000/4861862 1022.68/1018.82 c cleaning 13016 clauses out of 26059 with flag 95002/4875864 1025.99/1022.14 c cleaning 13980 clauses out of 28041 with flag 110000/4890862 1029.69/1025.81 c cleaning 15006 clauses out of 30062 with flag 126001/4906863 1033.90/1030.05 c cleaning 16010 clauses out of 32056 with flag 143001/4923863 1038.21/1034.38 c cleaning 17015 clauses out of 34045 with flag 161000/4941862 1042.92/1039.05 c cleaning 18009 clauses out of 36030 with flag 180000/4960862 1048.03/1044.19 c cleaning 18996 clauses out of 38021 with flag 200000/4980862 1050.93/1047.05 c Got one! Elapsed wall clock time (in seconds):1046.914 1050.93/1047.05 o 4940152 1052.24/1048.32 c cleaning 17382 clauses out of 34794 with flag 5000/4996631 1053.64/1049.76 c cleaning 11686 clauses out of 23412 with flag 11000/5002631 1055.35/1051.41 c cleaning 9349 clauses out of 18726 with flag 18000/5009631 1057.27/1053.32 c cleaning 8665 clauses out of 17381 with flag 26004/5017635 1059.48/1055.53 c cleaning 8837 clauses out of 17714 with flag 35002/5026633 1062.09/1058.11 c cleaning 9413 clauses out of 18875 with flag 45000/5036631 1064.79/1060.89 c cleaning 10217 clauses out of 20462 with flag 56000/5047631 1068.00/1064.04 c cleaning 11111 clauses out of 22245 with flag 68000/5059631 1071.42/1067.42 c cleaning 12037 clauses out of 24136 with flag 81002/5072633 1075.13/1071.16 c Got one! Elapsed wall clock time (in seconds):1071.026 1075.13/1071.16 o 4821593 1076.23/1072.29 c cleaning 15376 clauses out of 30775 with flag 5000/5091309 1077.64/1073.67 c cleaning 10685 clauses out of 21399 with flag 11000/5097309 1079.35/1075.32 c cleaning 8832 clauses out of 17715 with flag 18001/5104310 1081.36/1077.39 c cleaning 8418 clauses out of 16885 with flag 26003/5112312 1083.67/1079.60 c cleaning 8717 clauses out of 17464 with flag 35000/5121309 1086.28/1082.25 c cleaning 9361 clauses out of 18748 with flag 45001/5131310 1089.08/1085.08 c cleaning 10168 clauses out of 20386 with flag 56000/5142309 1092.18/1088.19 c cleaning 11095 clauses out of 22220 with flag 68002/5154311 1095.70/1091.61 c cleaning 12052 clauses out of 24123 with flag 81000/5167309 1099.11/1095.08 c cleaning 13020 clauses out of 26071 with flag 95000/5181309 1102.63/1098.57 c cleaning 14010 clauses out of 28051 with flag 110000/5196309 1106.73/1102.63 c cleaning 15010 clauses out of 30041 with flag 126000/5212309 1110.84/1106.75 c cleaning 15996 clauses out of 32032 with flag 143001/5229310 1115.45/1111.35 c cleaning 17001 clauses out of 34035 with flag 161000/5247309 1120.25/1116.14 c cleaning 18006 clauses out of 36034 with flag 180000/5266309 1125.25/1121.15 c cleaning 19001 clauses out of 38028 with flag 200000/5286309 1130.47/1126.40 c cleaning 19997 clauses out of 40028 with flag 221001/5307310 1136.26/1132.16 c cleaning 20987 clauses out of 42030 with flag 243000/5329309 1142.37/1138.20 c cleaning 22016 clauses out of 44043 with flag 266000/5352309 1149.07/1144.93 c cleaning 22992 clauses out of 46027 with flag 290000/5376309 1155.90/1151.77 c cleaning 24008 clauses out of 48035 with flag 315000/5401309 1162.71/1158.53 c cleaning 24999 clauses out of 50027 with flag 341000/5427309 1169.32/1165.12 c cleaning 25996 clauses out of 52028 with flag 368000/5454309 1176.13/1171.92 c cleaning 26995 clauses out of 54033 with flag 396001/5482310 1183.05/1178.89 c cleaning 27988 clauses out of 56037 with flag 425000/5511309 1190.37/1186.10 c cleaning 29014 clauses out of 58050 with flag 455001/5541310 1193.18/1188.96 c Got one! Elapsed wall clock time (in seconds):1188.828 1193.18/1188.96 o 4067285 1194.08/1189.87 c cleaning 23332 clauses out of 46698 with flag 5000/5558973 1195.20/1190.93 c cleaning 14664 clauses out of 29367 with flag 11001/5564974 1196.11/1191.88 c cleaning 10806 clauses out of 21702 with flag 18000/5571973 1197.83/1193.56 c cleaning 9380 clauses out of 18899 with flag 26003/5579976 1199.75/1195.44 c cleaning 9197 clauses out of 18520 with flag 35004/5588977 1201.66/1197.34 c cleaning 9647 clauses out of 19319 with flag 45000/5598973 1203.79/1199.47 c cleaning 10328 clauses out of 20673 with flag 56001/5609974 1206.50/1202.10 c cleaning 11149 clauses out of 22345 with flag 68001/5621974 1208.31/1203.98 c Got one! Elapsed wall clock time (in seconds):1203.843 1208.31/1203.98 o 3987163 1209.61/1205.23 c cleaning 11860 clauses out of 23744 with flag 5000/5634522 1211.03/1206.67 c cleaning 8932 clauses out of 17885 with flag 11001/5640523 1212.73/1208.37 c cleaning 7946 clauses out of 15952 with flag 18000/5647522 1214.74/1210.31 c cleaning 7974 clauses out of 16006 with flag 26000/5655522 1216.86/1212.41 c cleaning 8501 clauses out of 17033 with flag 35001/5664523 1219.06/1214.66 c cleaning 9240 clauses out of 18531 with flag 45000/5674522 1221.46/1217.03 c cleaning 10139 clauses out of 20291 with flag 56000/5685522 1224.28/1219.85 c cleaning 11060 clauses out of 22152 with flag 68000/5697522 1227.29/1222.84 c cleaning 12031 clauses out of 24092 with flag 81000/5710522 1230.49/1226.01 c cleaning 13012 clauses out of 26061 with flag 95000/5724522 1233.92/1229.40 c cleaning 14006 clauses out of 28049 with flag 110000/5739522 1237.82/1233.31 c cleaning 15007 clauses out of 30044 with flag 126001/5755523 1241.84/1237.39 c cleaning 16010 clauses out of 32038 with flag 143002/5772524 1245.95/1241.43 c cleaning 17000 clauses out of 34028 with flag 161002/5790524 1250.17/1245.63 c cleaning 17994 clauses out of 36026 with flag 180000/5809522 1254.37/1249.83 c cleaning 18982 clauses out of 38033 with flag 200001/5829523 1259.09/1254.52 c cleaning 20014 clauses out of 40050 with flag 221000/5850522 1264.11/1259.56 c cleaning 20992 clauses out of 42040 with flag 243004/5872526 1269.11/1264.59 c cleaning 22000 clauses out of 44044 with flag 266000/5895522 1274.41/1269.86 c cleaning 23003 clauses out of 46045 with flag 290001/5919523 1280.02/1275.45 c cleaning 24008 clauses out of 48041 with flag 315000/5944522 1285.84/1281.22 c cleaning 24992 clauses out of 50034 with flag 341001/5970523 1291.86/1287.20 c cleaning 26006 clauses out of 52041 with flag 368000/5997522 1297.56/1292.94 c cleaning 26996 clauses out of 54035 with flag 396000/6025522 1303.37/1298.79 c cleaning 28006 clauses out of 56039 with flag 425000/6054522 1310.47/1305.80 c cleaning 28994 clauses out of 58034 with flag 455001/6084523 1318.18/1313.56 c cleaning 29996 clauses out of 60039 with flag 486000/6115522 1325.09/1320.49 c Got one! Elapsed wall clock time (in seconds):1320.361 1325.09/1320.49 o 3911843 1326.49/1321.88 c cleaning 31624 clauses out of 63263 with flag 5000/6148742 1328.23/1323.54 c cleaning 18801 clauses out of 37639 with flag 11000/6154742 1330.05/1325.35 c cleaning 12887 clauses out of 25838 with flag 18000/6161742 1331.95/1327.29 c cleaning 10457 clauses out of 20951 with flag 26000/6169742 1334.27/1329.50 c cleaning 9716 clauses out of 19494 with flag 35000/6178742 1336.58/1331.80 c cleaning 9863 clauses out of 19779 with flag 45001/6188743 1339.30/1334.50 c cleaning 10433 clauses out of 20915 with flag 56000/6199742 1342.11/1337.36 c cleaning 11208 clauses out of 22483 with flag 68001/6211743 1345.51/1340.70 c cleaning 12123 clauses out of 24274 with flag 81000/6224742 1349.31/1344.59 c cleaning 13060 clauses out of 26152 with flag 95001/6238743 1353.23/1348.41 c cleaning 14021 clauses out of 28091 with flag 110000/6253742 1357.24/1352.49 c cleaning 15013 clauses out of 30071 with flag 126001/6269743 1361.64/1356.90 c cleaning 15999 clauses out of 32057 with flag 143000/6286742 1366.57/1361.76 c cleaning 17010 clauses out of 34059 with flag 161001/6304743 1371.67/1366.88 c cleaning 18004 clauses out of 36049 with flag 180001/6323743 1377.08/1372.26 c cleaning 19008 clauses out of 38045 with flag 200001/6343743 1382.49/1377.62 c cleaning 20002 clauses out of 40037 with flag 221001/6364743 1387.90/1383.08 c cleaning 20998 clauses out of 42035 with flag 243001/6386743 1394.11/1389.21 c cleaning 22007 clauses out of 44037 with flag 266001/6409743 1400.52/1395.66 c cleaning 22994 clauses out of 46029 with flag 290000/6433742 1407.45/1402.53 c cleaning 24000 clauses out of 48035 with flag 315000/6458742 1414.65/1409.78 c cleaning 24995 clauses out of 50035 with flag 341000/6484742 1422.27/1417.32 c cleaning 25999 clauses out of 52040 with flag 368000/6511742 1428.97/1424.08 c cleaning 27000 clauses out of 54041 with flag 396000/6539742 1435.88/1430.90 c cleaning 28001 clauses out of 56041 with flag 425000/6568742 1444.00/1439.01 c cleaning 28999 clauses out of 58040 with flag 455000/6598742 1451.62/1446.66 c cleaning 30001 clauses out of 60041 with flag 486000/6629742 1460.92/1455.93 c cleaning 30990 clauses out of 62040 with flag 518000/6661742 1469.73/1464.73 c cleaning 32001 clauses out of 64050 with flag 551000/6694742 1478.83/1473.82 c cleaning 33004 clauses out of 66049 with flag 585000/6728742 1488.24/1483.24 c cleaning 34009 clauses out of 68049 with flag 620004/6763746 1498.45/1493.48 c cleaning 34995 clauses out of 70037 with flag 656001/6799743 1508.79/1503.79 c cleaning 36007 clauses out of 72042 with flag 693001/6836743 1518.41/1513.31 c cleaning 36995 clauses out of 74035 with flag 731001/6874743 1528.13/1523.04 c cleaning 38002 clauses out of 76039 with flag 770000/6913742 1538.63/1533.50 c cleaning 38999 clauses out of 78041 with flag 810004/6953746 1544.14/1539.04 c Got one! Elapsed wall clock time (in seconds):1538.909 1544.14/1539.04 o 3867814 1545.34/1540.24 c cleaning 33224 clauses out of 66474 with flag 5000/6981178 1546.75/1541.68 c cleaning 19595 clauses out of 39251 with flag 11001/6987179 1548.48/1543.35 c cleaning 13300 clauses out of 26655 with flag 18000/6994178 1550.39/1545.22 c cleaning 10657 clauses out of 21355 with flag 26000/7002178 1552.80/1547.62 c cleaning 9828 clauses out of 19701 with flag 35003/7011181 1555.41/1550.21 c cleaning 9912 clauses out of 19870 with flag 45000/7021178 1557.61/1552.40 c cleaning 10471 clauses out of 20958 with flag 56000/7032178 1559.93/1554.76 c cleaning 11225 clauses out of 22487 with flag 68000/7044178 1562.84/1557.70 c cleaning 12123 clauses out of 24262 with flag 81000/7057178 1566.26/1561.09 c cleaning 13060 clauses out of 26139 with flag 95000/7071178 1566.57/1561.31 c Got one! Elapsed wall clock time (in seconds):1561.181 1566.57/1561.31 o 3666676 1567.97/1562.77 c cleaning 9369 clauses out of 18809 with flag 5001/7076908 1569.69/1564.42 c cleaning 7702 clauses out of 15439 with flag 11000/7082907 1571.70/1566.41 c cleaning 7340 clauses out of 14737 with flag 18000/7089907 1573.80/1568.58 c cleaning 7688 clauses out of 15397 with flag 26000/7097907 1574.32/1569.07 c Got one! Elapsed wall clock time (in seconds):1568.934 1574.32/1569.07 o 3621423 1575.32/1570.02 c cleaning 6801 clauses out of 13623 with flag 4003/7103821 1576.74/1571.48 c cleaning 6390 clauses out of 12819 with flag 10000/7109818 1578.48/1573.12 c cleaning 6705 clauses out of 13431 with flag 17002/7116820 1580.28/1574.96 c cleaning 7339 clauses out of 14724 with flag 25000/7124818 1582.40/1577.08 c cleaning 8179 clauses out of 16385 with flag 34000/7133818 1584.71/1579.34 c cleaning 9095 clauses out of 18207 with flag 44001/7143819 1587.23/1581.81 c cleaning 10035 clauses out of 20111 with flag 55000/7154818 1589.94/1584.53 c cleaning 11022 clauses out of 22076 with flag 67000/7166818 1592.65/1587.26 c cleaning 12002 clauses out of 24054 with flag 80000/7179818 1595.85/1590.43 c cleaning 13011 clauses out of 26054 with flag 94002/7193820 1599.65/1594.20 c cleaning 14003 clauses out of 28041 with flag 109000/7208818 1603.67/1598.24 c cleaning 14994 clauses out of 30038 with flag 125000/7224818 1608.11/1602.63 c cleaning 15996 clauses out of 32044 with flag 142000/7241818 1610.91/1605.41 c Got one! Elapsed wall clock time (in seconds):1605.274 1610.91/1605.41 o 3607086 1611.81/1606.30 c cleaning 15900 clauses out of 31830 with flag 5000/7257600 1612.04/1606.55 c Got one! Elapsed wall clock time (in seconds):1606.413 1612.04/1606.55 o 3416924 1613.04/1607.50 c cleaning 10424 clauses out of 20873 with flag 4001/7262762 1614.46/1608.97 c cleaning 8206 clauses out of 16448 with flag 10000/7268761 1616.06/1610.57 c cleaning 7599 clauses out of 15242 with flag 17000/7275761 1617.97/1612.49 c cleaning 7801 clauses out of 15644 with flag 25001/7283762 1619.79/1614.29 c Got one! Elapsed wall clock time (in seconds):1614.155 1619.79/1614.29 o 3360583 1621.09/1615.52 c cleaning 10135 clauses out of 20280 with flag 5000/7296199 1622.61/1617.04 c cleaning 8048 clauses out of 16145 with flag 11000/7302199 1624.51/1618.94 c cleaning 7533 clauses out of 15097 with flag 18000/7309199 1626.52/1620.93 c cleaning 7752 clauses out of 15564 with flag 26000/7317199 1628.82/1623.25 c cleaning 8392 clauses out of 16813 with flag 35001/7326200 1631.44/1625.83 c cleaning 9193 clauses out of 18420 with flag 45000/7336199 1634.35/1628.74 c cleaning 10093 clauses out of 20227 with flag 56000/7347199 1637.65/1632.07 c cleaning 11041 clauses out of 22134 with flag 68000/7359199 1640.96/1635.30 c cleaning 12028 clauses out of 24094 with flag 81001/7372200 1643.98/1638.34 c cleaning 13018 clauses out of 26067 with flag 95002/7386201 1646.69/1641.03 c Got one! Elapsed wall clock time (in seconds):1640.9 1646.69/1641.03 o 3308600 1647.79/1642.11 c cleaning 14882 clauses out of 29779 with flag 5000/7402931 1647.90/1642.28 c Got one! Elapsed wall clock time (in seconds):1642.145 1647.90/1642.28 o 3271328 1649.19/1643.53 c cleaning 10207 clauses out of 20459 with flag 5001/7408493 1650.61/1644.95 c cleaning 8120 clauses out of 16252 with flag 11001/7414493 1652.33/1646.69 c cleaning 7543 clauses out of 15133 with flag 18002/7421494 1654.28/1648.56 c cleaning 7764 clauses out of 15588 with flag 26000/7429492 1656.48/1650.72 c cleaning 8392 clauses out of 16825 with flag 35001/7438493 1658.88/1653.19 c cleaning 9197 clauses out of 18432 with flag 45000/7448492 1661.79/1656.06 c cleaning 10105 clauses out of 20236 with flag 56001/7459493 1664.79/1659.02 c cleaning 11047 clauses out of 22130 with flag 68000/7471492 1667.30/1661.53 c Got one! Elapsed wall clock time (in seconds):1661.398 1667.30/1661.53 o 3211050 1668.60/1662.82 c cleaning 13360 clauses out of 26740 with flag 5000/7487149 1668.91/1663.19 c Got one! Elapsed wall clock time (in seconds):1663.059 1668.91/1663.19 o 3132750 1669.91/1664.19 c cleaning 9405 clauses out of 18815 with flag 4000/7492584 1671.62/1665.80 c cleaning 7689 clauses out of 15414 with flag 10004/7498588 1673.53/1667.70 c cleaning 7344 clauses out of 14722 with flag 17001/7505585 1675.65/1669.80 c cleaning 7677 clauses out of 15378 with flag 25001/7513585 1677.95/1672.15 c cleaning 8339 clauses out of 16700 with flag 34000/7522584 1680.56/1674.75 c cleaning 9161 clauses out of 18361 with flag 44000/7532584 1683.37/1677.54 c cleaning 10081 clauses out of 20200 with flag 55000/7543584 1686.47/1680.62 c cleaning 11048 clauses out of 22120 with flag 67001/7555585 1689.79/1683.94 c cleaning 12014 clauses out of 24071 with flag 80000/7568584 1693.52/1687.64 c cleaning 13015 clauses out of 26057 with flag 94000/7582584 1697.43/1691.58 c cleaning 14004 clauses out of 28042 with flag 109000/7597584 1701.55/1695.63 c cleaning 15001 clauses out of 30038 with flag 125000/7613584 1705.67/1699.79 c cleaning 16001 clauses out of 32037 with flag 142000/7630584 1708.48/1702.57 c Got one! Elapsed wall clock time (in seconds):1702.438 1708.48/1702.57 o 3108870 1709.78/1703.87 c cleaning 16405 clauses out of 32841 with flag 5000/7647479 1711.40/1705.46 c cleaning 11212 clauses out of 22436 with flag 11000/7653479 1713.31/1707.34 c cleaning 9093 clauses out of 18224 with flag 18000/7660479 1715.32/1709.40 c cleaning 8542 clauses out of 17131 with flag 26000/7668479 1717.94/1711.90 c cleaning 8768 clauses out of 17589 with flag 35000/7677479 1720.64/1714.63 c cleaning 9401 clauses out of 18821 with flag 45000/7687479 1723.55/1717.53 c cleaning 10200 clauses out of 20420 with flag 56000/7698479 1726.76/1720.78 c cleaning 11107 clauses out of 22224 with flag 68004/7710483 1730.27/1724.28 c cleaning 12047 clauses out of 24114 with flag 81001/7723480 1733.87/1727.85 c cleaning 13019 clauses out of 26067 with flag 95001/7737480 1737.68/1731.64 c cleaning 14019 clauses out of 28048 with flag 110001/7752480 1741.69/1735.67 c cleaning 14997 clauses out of 30028 with flag 126000/7768479 1746.10/1740.03 c cleaning 16009 clauses out of 32031 with flag 143000/7785479 1750.72/1744.64 c cleaning 16995 clauses out of 34022 with flag 161000/7803479 1755.41/1749.33 c cleaning 18005 clauses out of 36031 with flag 180004/7822483 1760.34/1754.20 c cleaning 19006 clauses out of 38026 with flag 200004/7842483 1765.45/1759.31 c cleaning 19988 clauses out of 40016 with flag 221000/7863479 1771.85/1765.70 c cleaning 21005 clauses out of 42028 with flag 243000/7885479 1778.17/1772.06 c cleaning 21983 clauses out of 44023 with flag 266000/7908479 1784.88/1778.78 c cleaning 23010 clauses out of 46041 with flag 290001/7932480 1791.18/1785.03 c cleaning 24000 clauses out of 48031 with flag 315001/7957480 1798.01/1791.82 c cleaning 24995 clauses out of 50030 with flag 341000/7983479 1800.02/1793.81 c starts : 334 1800.02/1793.81 c conflicts : 7991264 1800.02/1793.81 c decisions : 17646735 1800.02/1793.81 c propagations : 2083642752 1800.02/1793.81 c inspects : 8582974351 1800.02/1793.81 c shortcuts : 0 1800.02/1793.81 c learnt literals : 71 1800.02/1793.81 c learnt binary clauses : 647 1800.02/1793.81 c learnt ternary clauses : 643 1800.02/1793.81 c learnt constraints : 7991194 1800.02/1793.81 c ignored constraints : 0 1800.02/1793.81 c root simplifications : 405 1800.02/1793.81 c removed literals (reason simplification) : 174028883 1800.02/1793.81 c reason swapping (by a shorter reason) : 0 1800.02/1793.81 c Calls to reduceDB : 453 1800.02/1793.81 c number of reductions to clauses (during analyze) : 0 1800.02/1793.81 c number of learned constraints concerned by reduction : 0 1800.02/1793.81 c number of learning phase by resolution : 0 1800.02/1793.81 c number of learning phase by cutting planes : 0 1800.02/1793.81 c speed (assignments/second) : 1161892.643691749 1800.02/1793.81 c non guided choices 13826 1800.02/1793.82 c learnt constraints type 1800.02/1793.82 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 502 1800.02/1793.82 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 32361 1800.02/1793.82 c constraints type 1800.02/1793.82 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6001 1800.02/1793.82 c org.sat4j.minisat.constraints.cnf.UnitClauses => 4 1800.02/1793.82 c org.sat4j.minisat.constraints.card.MinWatchCard => 22 1800.02/1793.82 c ignored satisfied constraints => 4 1800.02/1793.82 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9885 1800.02/1793.82 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6016 1800.02/1793.82 c 21932 constraints processed. 1800.02/1793.82 s SATISFIABLE 1800.02/1793.83 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.02/1793.85 c objective function=3108870 1800.02/1793.85 c Total wall clock time (in seconds): 1793.711
OK 3108870
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-3710452-1338248237/watcher-3710452-1338248237 -o /tmp/evaluation-result-3710452-1338248237/solver-3710452-1338248237 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710452-1338248237.opb running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.92 1.98 1.99 2/194 1371 /proc/meminfo: memFree=30978348/32873844 swapFree=6872/6872 [pid=1371] ppid=1369 vsize=2500 CPUtime=0 cores=1,3,5,7 /proc/1371/stat : 1371 (java) D 1369 1371 32222 0 -1 4202496 94 0 0 0 0 0 0 0 20 0 1 0 290890743 2560000 46 33554432000 1073741824 1073778376 140735763210848 140735763207976 209088245031 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0 /proc/1371/statm: 625 46 37 9 0 29 0 [startup+0.0161321 s] /proc/loadavg: 1.92 1.98 1.99 2/194 1371 /proc/meminfo: memFree=30978348/32873844 swapFree=6872/6872 [pid=1371] ppid=1369 vsize=96268 CPUtime=0 cores=1,3,5,7 /proc/1371/stat : 1371 (java) S 1369 1371 32222 0 -1 4202496 1289 0 0 0 0 0 0 0 20 0 2 0 290890743 98578432 989 33554432000 1073741824 1073778376 140736391910672 140736391901808 209100767293 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/1371/statm: 24067 989 755 9 0 16773 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 96268 [startup+0.100279 s] /proc/loadavg: 1.92 1.98 1.99 2/194 1371 /proc/meminfo: memFree=30978348/32873844 swapFree=6872/6872 [pid=1371] ppid=1369 vsize=9558440 CPUtime=0.08 cores=1,3,5,7 /proc/1371/stat : 1371 (java) S 1369 1371 32222 0 -1 4202496 3701 0 1 0 7 1 0 0 20 0 18 0 290890743 9787842560 4909 33554432000 1073741824 1073778376 140736391910672 140736391901808 209100767293 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/1371/statm: 2389610 4909 1940 9 0 2380296 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 9558440 [startup+0.300314 s] /proc/loadavg: 1.92 1.98 1.99 2/194 1371 /proc/meminfo: memFree=30978348/32873844 swapFree=6872/6872 [pid=1371] ppid=1369 vsize=9558440 CPUtime=0.47 cores=1,3,5,7 /proc/1371/stat : 1371 (java) S 1369 1371 32222 0 -1 4202496 5353 0 1 0 45 2 0 0 20 0 18 0 290890743 9787842560 9666 33554432000 1073741824 1073778376 140736391910672 140736391901808 209100767293 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/1371/statm: 2389610 9666 2224 9 0 2380296 0 Current children cumulated CPU time (s) 0.47 Current children cumulated vsize (KiB) 9558440 [startup+0.700299 s] /proc/loadavg: 1.92 1.98 1.99 2/194 1371 /proc/meminfo: memFree=30978348/32873844 swapFree=6872/6872 [pid=1371] ppid=1369 vsize=9625004 CPUtime=1.3 cores=1,3,5,7 /proc/1371/stat : 1371 (java) S 1369 1371 32222 0 -1 4202496 7881 0 1 0 126 4 0 0 20 0 19 0 290890743 9856004096 22737 33554432000 1073741824 1073778376 140736391910672 140736391901808 209100767293 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/1371/statm: 2406251 22737 2257 9 0 2396937 0 Current children cumulated CPU time (s) 1.3 Current children cumulated vsize (KiB) 9625004 [startup+1.5008 s] /proc/loadavg: 1.92 1.98 1.99 3/213 1391 /proc/meminfo: memFree=30897236/32873844 swapFree=6872/6872 [pid=1371] ppid=1369 vsize=9625004 CPUtime=2.17 cores=1,3,5,7 /proc/1371/stat : 1371 (java) S 1369 1371 32222 0 -1 4202496 7890 0 1 0 213 4 0 0 20 0 19 0 290890743 9856004096 22744 33554432000 1073741824 1073778376 140736391910672 140736391901808 209100767293 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/1371/statm: 2406251 22744 2258 9 0 2396937 0 [pid=1371/tid=1373] ppid=1369 vsize=9625004 CPUtime=1.46 cores=1,3,5,7 /proc/1371/task/1373/stat : 1373 (java) R 1369 1371 32222 0 -1 4202560 2547 0 1 0 143 3 0 0 20 0 19 0 290890744 9856004096 22744 33554432000 1073741824 1073778376 140736391910672 139888215954056 139888041784092 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=1371/tid=1374] ppid=1369 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1371/task/1374/stat : 1374 (java) S 1369 1371 32222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290890745 9856004096 22744 33554432000 1073741824 1073778376 140736391910672 139888177445544 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1371/tid=1375] ppid=1369 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1371/task/1375/stat : 1375 (java) S 1369 1371 32222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290890745 9856004096 22744 33554432000 1073741824 1073778376 140736391910672 139888176393000 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1371/tid=1376] ppid=1369 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1371/task/1376/stat : 1376 (java) S 1369 1371 32222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290890745 9856004096 22744 33554432000 1073741824 1073778376 140736391910672 139888175340456 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1371/tid=1377] ppid=1369 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1371/task/1377/stat : 1377 (java) S 1369 1371 32222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290890745 9856004096 22744 33554432000 1073741824 1073778376 140736391910672 139888174287912 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1371/tid=1378] ppid=1369 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1371/task/1378/stat : 1378 (java) S 1369 1371 32222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290890745 9856004096 22744 33554432000 1073741824 1073778376 140736391910672 139888173234344 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1371/tid=1379] ppid=1369 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1371/task/1379/stat : 1379 (java) S 1369 1371 32222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290890745 9856004096 22744 33554432000 1073741824 1073778376 140736391910672 139888172181800 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1371/tid=1380] ppid=1369 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1371/task/1380/stat : 1380 (java) S 1369 1371 32222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290890745 9856004096 22744 33554432000 1073741824 1073778376 140736391910672 139888171129256 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1371/tid=1382] ppid=1369 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1371/task/1382/stat : 1382 (java) S 1369 1371 32222 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 290890745 9856004096 22744 33554432000 1073741824 1073778376 140736391910672 139888170076712 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1371/tid=1383] ppid=1369 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1371/task/1383/stat : 1383 (java) S 1369 1371 32222 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 290890746 9856004096 22744 33554432000 1073741824 1073778376 140736391910672 139888040073832 209100781481 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1371/tid=1384] ppid=1369 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1371/task/1384/stat : 1384 (java) S 1369 1371 32222 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 290890747 9856004096 22744 33554432000 1073741824 1073778376 140736391910672 139888039020152 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1371/tid=1385] ppid=1369 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1371/task/1385/stat : 1385 (java) S 1369 1371 32222 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 290890747 9856004096 22744 33554432000 1073741824 1073778376 140736391910672 139888037967496 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1371/tid=1386] ppid=1369 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1371/task/1386/stat : 1386 (java) S 1369 1371 32222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290890750 9856004096 22744 33554432000 1073741824 1073778376 140736391910672 139888036916240 209100789536 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1371/tid=1387] ppid=1369 vsize=9625004 CPUtime=0.33 cores=1,3,5,7 /proc/1371/task/1387/stat : 1387 (java) S 1369 1371 32222 0 -1 4202560 1936 0 0 0 33 0 0 0 20 0 19 0 290890750 9856004096 22744 33554432000 1073741824 1073778376 140736391910672 139888035862584 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1371/tid=1388] ppid=1369 vsize=9625004 CPUtime=0.34 cores=1,3,5,7 /proc/1371/task/1388/stat : 1388 (java) S 1369 1371 32222 0 -1 4202560 2206 0 0 0 34 0 0 0 20 0 19 0 290890750 9856004096 22744 33554432000 1073741824 1073778376 140736391910672 139888034810040 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1371/tid=1389] ppid=1369 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1371/task/1389/stat : 1389 (java) S 1369 1371 32222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290890750 9856004096 22744 33554432000 1073741824 1073778376 140736391910672 139888033757688 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1371/tid=1390] ppid=1369 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1371/task/1390/stat : 1390 (java) S 1369 1371 32222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290890750 9856004096 22744 33554432000 1073741824 1073778376 140736391910672 139888032705352 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1371/tid=1391] ppid=1369 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1371/task/1391/stat : 1391 (java) S 1369 1371 32222 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 290890793 9856004096 22744 33554432000 1073741824 1073778376 140736391910672 139888031651112 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 2.17 Current children cumulated vsize (KiB) 9625004 [startup+3.10082 s] /proc/loadavg: 1.92 1.98 1.99 3/213 1391 /proc/meminfo: memFree=30893576/32873844 swapFree=6872/6872 [pid=1371] ppid=1369 vsize=9625004 CPUtime=4 cores=1,3,5,7 /proc/1371/stat : 1371 (java) S 1369 1371 32222 0 -1 4202496 8880 0 1 0 396 4 0 0 20 0 19 0 290890743 9856004096 28467 33554432000 1073741824 1073778376 140736391910672 140736391901808 209100767293 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/1371/statm: 2406251 28467 2289 9 0 2396937 0 [pid=1371/tid=1373] ppid=1369 vsize=9625004 CPUtime=3.01 cores=1,3,5,7 /proc/1371/task/1373/stat : 1373 (java) R 1369 1371 32222 0 -1 4202560 2553 0 1 0 298 3 0 0 20 0 19 0 290890744 9856004096 28467 33554432000 1073741824 1073778376 140736391910672 139888215953832 139888041939110 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=1371/tid=1374] ppid=1369 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1371/task/1374/stat : 1374 (java) S 1369 1371 32222 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 290890745 9856004096 28467 33554432000 1073741824 1073778376 140736391910672 139888177445544 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1371/tid=1375] ppid=1369 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1371/task/1375/stat : 1375 (java) S 1369 1371 32222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290890745 9856004096 28467 33554432000 1073741824 1073778376 140736391910672 139888176393000 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1371/tid=1376] ppid=1369 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1371/task/1376/stat : 1376 (java) S 1369 1371 32222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290890745 9856004096 28467 33554432000 1073741824 1073778376 140736391910672 139888175340456 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1371/tid=1377] ppid=1369 vsize=9625004 CPUtime=0.01 cores=1,3,5,7 /proc/1371/task/1377/stat : 1377 (java) S 1369 1371 32222 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 19 0 290890745 9856004096 28467 33554432000 1073741824 1073778376 140736391910672 139888174287912 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1371/tid=1378] ppid=1369 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1371/task/1378/stat : 1378 (java) S 1369 1371 32222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290890745 9856004096 28467 33554432000 1073741824 1073778376 140736391910672 139888173234344 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1371/tid=1379] ppid=1369 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1371/task/1379/stat : 1379 (java) S 1369 1371 32222 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 290890745 9856004096 28467 33554432000 1073741824 1073778376 140736391910672 139888172181800 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1371/tid=1380] ppid=1369 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1371/task/1380/stat : 1380 (java) S 1369 1371 32222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290890745 9856004096 28467 33554432000 1073741824 1073778376 140736391910672 139888171129256 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1371/tid=1382] ppid=1369 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1371/task/1382/stat : 1382 (java) S 1369 1371 32222 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 290890745 9856004096 28467 33554432000 1073741824 1073778376 140736391910672 139888170076712 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1371/tid=1383] ppid=1369 vsize=9625004 CPUtime=0.01 cores=1,3,5,7 /proc/1371/task/1383/stat : 1383 (java) S 1369 1371 32222 0 -1 4202560 35 0 0 0 1 0 0 0 20 0 19 0 290890746 9856004096 28467 33554432000 1073741824 1073778376 140736391910672 139888040073832 209100781481 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1371/tid=1384] ppid=1369 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1371/task/1384/stat : 1384 (java) S 1369 1371 32222 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 290890747 9856004096 28467 33554432000 1073741824 1073778376 140736391910672 139888039020152 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1371/tid=1385] ppid=1369 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1371/task/1385/stat : 1385 (java) S 1369 1371 32222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 290890747 9856004096 28467 33554432000 1073741824 1073778376 140736391910672 139888037967496 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1371/tid=1386] ppid=1369 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1371/task/1386/stat : 1386 (java) S 1369 1371 32222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290890750 9856004096 28467 33554432000 1073741824 1073778376 140736391910672 139888036916240 209100789536 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1371/tid=1387] ppid=1369 vsize=9625004 CPUtime=0.39 cores=1,3,5,7 /proc/1371/task/1387/stat : 1387 (java) S 1369 1371 32222 0 -1 4202560 1946 0 0 0 39 0 0 0 20 0 19 0 290890750 9856004096 28467 33554432000 1073741824 1073778376 140736391910672 139888035862584 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1371/tid=1388] ppid=1369 vsize=9625004 CPUtime=0.47 cores=1,3,5,7 /proc/1371/task/1388/stat : 1388 (java) S 1369 1371 32222 0 -1 4202560 3128 0 0 0 47 0 0 0 20 0 19 0 290890750 9856004096 28467 33554432000 1073741824 1073778376 140736391910672 139888034810040 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1371/tid=1389] ppid=1369 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1371/task/1389/stat : 1389 (java) S 1369 1371 32222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290890750 9856004096 28467 33554432000 1073741824 1073778376 140736391910672 139888033757688 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1371/tid=1390] ppid=1369 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1371/task/1390/stat : 1390 (java) S 1369 1371 32222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290890750 9856004096 28467 33554432000 1073741824 1073778376 140736391910672 139888032705352 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1371/tid=1391] ppid=1369 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1371/task/1391/stat : 1391 (java) S 1369 1371 32222 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 290890793 9856004096 28467 33554432000 1073741824 1073778376 140736391910672 139888031651112 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 4 Current children cumulated vsize (KiB) 9625004 [startup+6.30075 s] /proc/loadavg: 1.93 1.98 1.99 3/213 1391 /proc/meminfo: memFree=30870552/32873844 swapFree=6872/6872 [pid=1371] ppid=1369 vsize=9625004 CPUtime=7.42 cores=1,3,5,7 /proc/1371/stat : 1371 (java) S 1369 1371 32222 0 -1 4202496 9568 0 1 0 737 5 0 0 20 0 19 0 290890743 9856004096 28851 33554432000 1073741824 1073778376 140736391910672 140736391901808 209100767293 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/1371/statm: 2406251 28851 2291 9 0 2396937 0 [pid=1371/tid=1373] ppid=1369 vsize=9625004 CPUtime=6.15 cores=1,3,5,7 /proc/1371/task/1373/stat : 1373 (java) R 1369 1371 32222 0 -1 4202560 2556 0 1 0 612 3 0 0 20 0 19 0 290890744 9856004096 28851 33554432000 1073741824 1073778376 140736391910672 139888215953256 139888041828770 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=1371/tid=1374] ppid=1369 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1371/task/1374/stat : 1374 (java) S 1369 1371 32222 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 290890745 9856004096 28851 33554432000 1073741824 1073778376 140736391910672 139888177445544 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1371/tid=1375] ppid=1369 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1371/task/1375/stat : 1375 (java) S 1369 1371 32222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290890745 9856004096 28851 33554432000 1073741824 1073778376 140736391910672 139888176393000 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1371/tid=1376] ppid=1369 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1371/task/1376/stat : 1376 (java) S 1369 1371 32222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 290890745 9856004096 28851 33554432000 1073741824 1073778376 140736391910672 139888175340456 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1371/tid=1377] ppid=1369 vsize=9625004 CPUtime=0.01 cores=1,3,5,7 /proc/1371/task/1377/stat : 1377 (java) S 1369 1371 32222 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 19 0 290890745 9856004096 28851 33554432000 1073741824 1073778376 140736391910672 139888174287912 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1371/tid=1378] ppid=1369 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1371/task/1378/stat : 1378 (java) S 1369 1371 32222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 290890745 9856004096 28851 33554432000 1073741824 1073778376 140736391910672 139888173234344 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1371/tid=1379] ppid=1369 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1371/task/1379/stat : 1379 (java) S 1369 1371 32222 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 290890745 9856004096 28851 33554432000 1073741824 1073778376 140736391910672 139888172181800 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1371/tid=1380] ppid=1369 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1371/task/1380/stat : 1380 (java) S 1369 1371 32222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 290890745 9856004096 28851 33554432000 1073741824 1073778376 140736391910672 139888171129256 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1371/tid=1382] ppid=1369 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1371/task/1382/stat : 1382 (java) S 1369 1371 32222 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 290890745 9856004096 28851 33554432000 1073741824 1073778376 140736391910672 139888170076712 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1371/tid=1383] ppid=1369 vsize=9625004 CPUtime=0.06 cores=1,3,5,7 /proc/1371/task/1383/stat : 1383 (java) S 1369 1371 32222 0 -1 4202560 43 0 0 0 6 0 0 0 20 0 19 0 290890746 9856004096 28851 33554432000 1073741824 1073778376 140736391910672 139888040073832 209100781481 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1371/tid=1384] ppid=1369 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1371/task/1384/stat : 1384 (java) S 1369 1371 32222 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 290890747 9856004096 28851 33554432000 1073741824 1073778376 140736391910672 139888039020152 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1371/tid=1385] ppid=1369 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1371/task/1385/stat : 1385 (java) S 1369 1371 32222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 290890747 9856004096 28851 33554432000 1073741824 1073778376 140736391910672 139888037967496 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1371/tid=1386] ppid=1369 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1371/task/1386/stat : 1386 (java) S 1369 1371 32222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290890750 9856004096 28851 33554432000 1073741824 1073778376 140736391910672 139888036916240 209100789536 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1371/tid=1387] ppid=1369 vsize=9625004 CPUtime=0.46 cores=1,3,5,7 /proc/1371/task/1387/stat : 1387 (java) S 1369 1371 32222 0 -1 4202560 1987 0 0 0 46 0 0 0 20 0 19 0 290890750 9856004096 28851 33554432000 1073741824 1073778376 140736391910672 139888035862584 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1371/tid=1388] ppid=1369 vsize=9625004 CPUtime=0.6 cores=1,3,5,7 /proc/1371/task/1388/stat : 1388 (java) S 1369 1371 32222 0 -1 4202560 3759 0 0 0 60 0 0 0 20 0 19 0 290890750 9856004096 28851 33554432000 1073741824 1073778376 140736391910672 139888034810040 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1371/tid=1389] ppid=1369 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1371/task/1389/stat : 1389 (java) S 1369 1371 32222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290890750 9856004096 28851 33554432000 1073741824 1073778376 140736391910672 139888033757688 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1371/tid=1390] ppid=1369 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1371/task/1390/stat : 1390 (java) S 1369 1371 32222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290890750 9856004096 28851 33554432000 1073741824 1073778376 140736391910672 139888032705352 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1371/tid=1391] ppid=1369 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1371/task/1391/stat : 1391 (java) S 1369 1371 32222 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 290890793 9856004096 28851 33554432000 1073741824 1073778376 140736391910672 139888031651112 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 7.42 Current children cumulated vsize (KiB) 9625004 [startup+12.7007 s] ################ # More data... # ################ [pid=1371/tid=1387] ppid=1369 vsize=9625004 CPUtime=0.47 cores=1,3,5,7 /proc/1371/task/1387/stat : 1387 (java) S 1369 1371 32222 0 -1 4202560 1993 0 0 0 47 0 0 0 20 0 19 0 290890750 9856004096 38588 33554432000 1073741824 1073778376 140736391910672 139888035862584 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1371/tid=1388] ppid=1369 vsize=9625004 CPUtime=0.74 cores=1,3,5,7 /proc/1371/task/1388/stat : 1388 (java) S 1369 1371 32222 0 -1 4202560 4618 0 0 0 74 0 0 0 20 0 19 0 290890750 9856004096 38588 33554432000 1073741824 1073778376 140736391910672 139888034810040 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1371/tid=1389] ppid=1369 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1371/task/1389/stat : 1389 (java) S 1369 1371 32222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290890750 9856004096 38588 33554432000 1073741824 1073778376 140736391910672 139888033757688 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1371/tid=1390] ppid=1369 vsize=9625004 CPUtime=0.29 cores=1,3,5,7 /proc/1371/task/1390/stat : 1390 (java) S 1369 1371 32222 0 -1 4202560 95 0 0 0 17 12 0 0 20 0 19 0 290890750 9856004096 38588 33554432000 1073741824 1073778376 140736391910672 139888032705352 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1371/tid=1391] ppid=1369 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1371/task/1391/stat : 1391 (java) S 1369 1371 32222 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 290890793 9856004096 38588 33554432000 1073741824 1073778376 140736391910672 139888031651112 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1668.1 Current children cumulated vsize (KiB) 9625004 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/213 1499 /proc/meminfo: memFree=31018744/32873844 swapFree=6872/6872 [pid=1371] ppid=1369 vsize=9625004 CPUtime=1728.37 cores=1,3,5,7 /proc/1371/stat : 1371 (java) S 1369 1371 32222 0 -1 4202496 11452 0 1 0 172806 31 0 0 20 0 19 0 290890743 9856004096 38588 33554432000 1073741824 1073778376 140736391910672 140736391901808 209100767293 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/1371/statm: 2406251 38588 2292 9 0 2396937 0 [pid=1371/tid=1373] ppid=1369 vsize=9625004 CPUtime=1696.18 cores=1,3,5,7 /proc/1371/task/1373/stat : 1373 (java) R 1369 1371 32222 0 -1 4202560 2991 0 1 0 169588 30 0 0 20 0 19 0 290890744 9856004096 38588 33554432000 1073741824 1073778376 140736391910672 139888215953744 139888041773796 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=1371/tid=1374] ppid=1369 vsize=9625004 CPUtime=0.93 cores=1,3,5,7 /proc/1371/task/1374/stat : 1374 (java) S 1369 1371 32222 0 -1 4202560 57 0 0 0 91 2 0 0 20 0 19 0 290890745 9856004096 38588 33554432000 1073741824 1073778376 140736391910672 139888177445544 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1371/tid=1375] ppid=1369 vsize=9625004 CPUtime=0.89 cores=1,3,5,7 /proc/1371/task/1375/stat : 1375 (java) S 1369 1371 32222 0 -1 4202560 23 0 0 0 88 1 0 0 20 0 19 0 290890745 9856004096 38588 33554432000 1073741824 1073778376 140736391910672 139888176393000 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1371/tid=1376] ppid=1369 vsize=9625004 CPUtime=0.89 cores=1,3,5,7 /proc/1371/task/1376/stat : 1376 (java) S 1369 1371 32222 0 -1 4202560 56 0 0 0 89 0 0 0 20 0 19 0 290890745 9856004096 38588 33554432000 1073741824 1073778376 140736391910672 139888175340456 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1371/tid=1377] ppid=1369 vsize=9625004 CPUtime=0.93 cores=1,3,5,7 /proc/1371/task/1377/stat : 1377 (java) S 1369 1371 32222 0 -1 4202560 76 0 0 0 91 2 0 0 20 0 19 0 290890745 9856004096 38588 33554432000 1073741824 1073778376 140736391910672 139888174287912 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1371/tid=1378] ppid=1369 vsize=9625004 CPUtime=0.95 cores=1,3,5,7 /proc/1371/task/1378/stat : 1378 (java) S 1369 1371 32222 0 -1 4202560 24 0 0 0 93 2 0 0 20 0 19 0 290890745 9856004096 38588 33554432000 1073741824 1073778376 140736391910672 139888173234344 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1371/tid=1379] ppid=1369 vsize=9625004 CPUtime=0.95 cores=1,3,5,7 /proc/1371/task/1379/stat : 1379 (java) S 1369 1371 32222 0 -1 4202560 27 0 0 0 93 2 0 0 20 0 19 0 290890745 9856004096 38588 33554432000 1073741824 1073778376 140736391910672 139888172181800 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1371/tid=1380] ppid=1369 vsize=9625004 CPUtime=0.95 cores=1,3,5,7 /proc/1371/task/1380/stat : 1380 (java) S 1369 1371 32222 0 -1 4202560 88 0 0 0 93 2 0 0 20 0 19 0 290890745 9856004096 38588 33554432000 1073741824 1073778376 140736391910672 139888171129256 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1371/tid=1382] ppid=1369 vsize=9625004 CPUtime=0.93 cores=1,3,5,7 /proc/1371/task/1382/stat : 1382 (java) S 1369 1371 32222 0 -1 4202560 63 0 0 0 92 1 0 0 20 0 19 0 290890745 9856004096 38588 33554432000 1073741824 1073778376 140736391910672 139888170076712 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1371/tid=1383] ppid=1369 vsize=9625004 CPUtime=19.05 cores=1,3,5,7 /proc/1371/task/1383/stat : 1383 (java) S 1369 1371 32222 0 -1 4202560 151 0 0 0 1902 3 0 0 20 0 19 0 290890746 9856004096 38588 33554432000 1073741824 1073778376 140736391910672 139888040073832 209100781481 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1371/tid=1384] ppid=1369 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1371/task/1384/stat : 1384 (java) S 1369 1371 32222 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 290890747 9856004096 38588 33554432000 1073741824 1073778376 140736391910672 139888039020152 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1371/tid=1385] ppid=1369 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1371/task/1385/stat : 1385 (java) S 1369 1371 32222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 290890747 9856004096 38588 33554432000 1073741824 1073778376 140736391910672 139888037967496 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1371/tid=1386] ppid=1369 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1371/task/1386/stat : 1386 (java) S 1369 1371 32222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290890750 9856004096 38588 33554432000 1073741824 1073778376 140736391910672 139888036916240 209100789536 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1371/tid=1387] ppid=1369 vsize=9625004 CPUtime=0.47 cores=1,3,5,7 /proc/1371/task/1387/stat : 1387 (java) S 1369 1371 32222 0 -1 4202560 1993 0 0 0 47 0 0 0 20 0 19 0 290890750 9856004096 38588 33554432000 1073741824 1073778376 140736391910672 139888035862584 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1371/tid=1388] ppid=1369 vsize=9625004 CPUtime=0.74 cores=1,3,5,7 /proc/1371/task/1388/stat : 1388 (java) S 1369 1371 32222 0 -1 4202560 4618 0 0 0 74 0 0 0 20 0 19 0 290890750 9856004096 38588 33554432000 1073741824 1073778376 140736391910672 139888034810040 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1371/tid=1389] ppid=1369 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1371/task/1389/stat : 1389 (java) S 1369 1371 32222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290890750 9856004096 38588 33554432000 1073741824 1073778376 140736391910672 139888033757688 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1371/tid=1390] ppid=1369 vsize=9625004 CPUtime=0.3 cores=1,3,5,7 /proc/1371/task/1390/stat : 1390 (java) S 1369 1371 32222 0 -1 4202560 99 0 0 0 18 12 0 0 20 0 19 0 290890750 9856004096 38588 33554432000 1073741824 1073778376 140736391910672 139888032705352 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1371/tid=1391] ppid=1369 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1371/task/1391/stat : 1391 (java) S 1369 1371 32222 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 290890793 9856004096 38588 33554432000 1073741824 1073778376 140736391910672 139888031651112 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1728.37 Current children cumulated vsize (KiB) 9625004 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/213 1499 /proc/meminfo: memFree=31018744/32873844 swapFree=6872/6872 [pid=1371] ppid=1369 vsize=9625004 CPUtime=1788.48 cores=1,3,5,7 /proc/1371/stat : 1371 (java) S 1369 1371 32222 0 -1 4202496 11476 0 1 0 178817 31 0 0 20 0 19 0 290890743 9856004096 38592 33554432000 1073741824 1073778376 140736391910672 140736391901808 209100767293 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/1371/statm: 2406251 38592 2292 9 0 2396937 0 [pid=1371/tid=1373] ppid=1369 vsize=9625004 CPUtime=1755.37 cores=1,3,5,7 /proc/1371/task/1373/stat : 1373 (java) R 1369 1371 32222 0 -1 4202560 3003 0 1 0 175506 31 0 0 20 0 19 0 290890744 9856004096 38592 33554432000 1073741824 1073778376 140736391910672 139888215953744 139888041970041 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=1371/tid=1374] ppid=1369 vsize=9625004 CPUtime=0.95 cores=1,3,5,7 /proc/1371/task/1374/stat : 1374 (java) S 1369 1371 32222 0 -1 4202560 57 0 0 0 93 2 0 0 20 0 19 0 290890745 9856004096 38592 33554432000 1073741824 1073778376 140736391910672 139888177445544 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1371/tid=1375] ppid=1369 vsize=9625004 CPUtime=0.91 cores=1,3,5,7 /proc/1371/task/1375/stat : 1375 (java) S 1369 1371 32222 0 -1 4202560 23 0 0 0 90 1 0 0 20 0 19 0 290890745 9856004096 38592 33554432000 1073741824 1073778376 140736391910672 139888176393000 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1371/tid=1376] ppid=1369 vsize=9625004 CPUtime=0.9 cores=1,3,5,7 /proc/1371/task/1376/stat : 1376 (java) S 1369 1371 32222 0 -1 4202560 57 0 0 0 90 0 0 0 20 0 19 0 290890745 9856004096 38592 33554432000 1073741824 1073778376 140736391910672 139888175340456 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1371/tid=1377] ppid=1369 vsize=9625004 CPUtime=0.96 cores=1,3,5,7 /proc/1371/task/1377/stat : 1377 (java) S 1369 1371 32222 0 -1 4202560 76 0 0 0 94 2 0 0 20 0 19 0 290890745 9856004096 38592 33554432000 1073741824 1073778376 140736391910672 139888174287912 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1371/tid=1378] ppid=1369 vsize=9625004 CPUtime=0.98 cores=1,3,5,7 /proc/1371/task/1378/stat : 1378 (java) S 1369 1371 32222 0 -1 4202560 24 0 0 0 96 2 0 0 20 0 19 0 290890745 9856004096 38592 33554432000 1073741824 1073778376 140736391910672 139888173234344 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1371/tid=1379] ppid=1369 vsize=9625004 CPUtime=0.97 cores=1,3,5,7 /proc/1371/task/1379/stat : 1379 (java) S 1369 1371 32222 0 -1 4202560 27 0 0 0 95 2 0 0 20 0 19 0 290890745 9856004096 38592 33554432000 1073741824 1073778376 140736391910672 139888172181800 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1371/tid=1380] ppid=1369 vsize=9625004 CPUtime=0.97 cores=1,3,5,7 /proc/1371/task/1380/stat : 1380 (java) S 1369 1371 32222 0 -1 4202560 91 0 0 0 95 2 0 0 20 0 19 0 290890745 9856004096 38592 33554432000 1073741824 1073778376 140736391910672 139888171129256 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1371/tid=1382] ppid=1369 vsize=9625004 CPUtime=0.96 cores=1,3,5,7 /proc/1371/task/1382/stat : 1382 (java) S 1369 1371 32222 0 -1 4202560 63 0 0 0 95 1 0 0 20 0 19 0 290890745 9856004096 38592 33554432000 1073741824 1073778376 140736391910672 139888170076712 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1371/tid=1383] ppid=1369 vsize=9625004 CPUtime=19.63 cores=1,3,5,7 /proc/1371/task/1383/stat : 1383 (java) S 1369 1371 32222 0 -1 4202560 155 0 0 0 1960 3 0 0 20 0 19 0 290890746 9856004096 38592 33554432000 1073741824 1073778376 140736391910672 139888040073832 209100781481 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1371/tid=1384] ppid=1369 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1371/task/1384/stat : 1384 (java) S 1369 1371 32222 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 290890747 9856004096 38592 33554432000 1073741824 1073778376 140736391910672 139888039020152 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1371/tid=1385] ppid=1369 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1371/task/1385/stat : 1385 (java) S 1369 1371 32222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 290890747 9856004096 38592 33554432000 1073741824 1073778376 140736391910672 139888037967496 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1371/tid=1386] ppid=1369 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1371/task/1386/stat : 1386 (java) S 1369 1371 32222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290890750 9856004096 38592 33554432000 1073741824 1073778376 140736391910672 139888036916240 209100789536 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1371/tid=1387] ppid=1369 vsize=9625004 CPUtime=0.47 cores=1,3,5,7 /proc/1371/task/1387/stat : 1387 (java) S 1369 1371 32222 0 -1 4202560 1993 0 0 0 47 0 0 0 20 0 19 0 290890750 9856004096 38592 33554432000 1073741824 1073778376 140736391910672 139888035862584 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1371/tid=1388] ppid=1369 vsize=9625004 CPUtime=0.74 cores=1,3,5,7 /proc/1371/task/1388/stat : 1388 (java) S 1369 1371 32222 0 -1 4202560 4618 0 0 0 74 0 0 0 20 0 19 0 290890750 9856004096 38592 33554432000 1073741824 1073778376 140736391910672 139888034810040 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1371/tid=1389] ppid=1369 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1371/task/1389/stat : 1389 (java) S 1369 1371 32222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290890750 9856004096 38592 33554432000 1073741824 1073778376 140736391910672 139888033757688 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1371/tid=1390] ppid=1369 vsize=9625004 CPUtime=0.3 cores=1,3,5,7 /proc/1371/task/1390/stat : 1390 (java) S 1369 1371 32222 0 -1 4202560 103 0 0 0 18 12 0 0 20 0 19 0 290890750 9856004096 38592 33554432000 1073741824 1073778376 140736391910672 139888032705352 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1371/tid=1391] ppid=1369 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1371/task/1391/stat : 1391 (java) S 1369 1371 32222 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 290890793 9856004096 38592 33554432000 1073741824 1073778376 140736391910672 139888031651112 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1788.48 Current children cumulated vsize (KiB) 9625004 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1793.8 s] /proc/loadavg: 2.00 2.00 2.00 3/213 1499 /proc/meminfo: memFree=31016448/32873844 swapFree=6872/6872 [pid=1371] ppid=1369 vsize=9625004 CPUtime=1800.02 cores=1,3,5,7 /proc/1371/stat : 1371 (java) S 1369 1371 32222 0 -1 4202496 11482 0 1 0 179971 31 0 0 20 0 19 0 290890743 9856004096 38596 33554432000 1073741824 1073778376 140736391910672 140736391901808 209100767293 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/1371/statm: 2406251 38596 2292 9 0 2396937 0 [pid=1371/tid=1373] ppid=1369 vsize=9625004 CPUtime=1766.72 cores=1,3,5,7 /proc/1371/task/1373/stat : 1373 (java) R 1369 1371 32222 0 -1 4202560 3005 0 1 0 176641 31 0 0 20 0 19 0 290890744 9856004096 38596 33554432000 1073741824 1073778376 140736391910672 139888215953744 139888041677708 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=1371/tid=1374] ppid=1369 vsize=9625004 CPUtime=0.96 cores=1,3,5,7 /proc/1371/task/1374/stat : 1374 (java) S 1369 1371 32222 0 -1 4202560 57 0 0 0 94 2 0 0 20 0 19 0 290890745 9856004096 38596 33554432000 1073741824 1073778376 140736391910672 139888177445544 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1371/tid=1375] ppid=1369 vsize=9625004 CPUtime=0.92 cores=1,3,5,7 /proc/1371/task/1375/stat : 1375 (java) S 1369 1371 32222 0 -1 4202560 23 0 0 0 91 1 0 0 20 0 19 0 290890745 9856004096 38596 33554432000 1073741824 1073778376 140736391910672 139888176393000 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1371/tid=1376] ppid=1369 vsize=9625004 CPUtime=0.91 cores=1,3,5,7 /proc/1371/task/1376/stat : 1376 (java) S 1369 1371 32222 0 -1 4202560 57 0 0 0 91 0 0 0 20 0 19 0 290890745 9856004096 38596 33554432000 1073741824 1073778376 140736391910672 139888175340456 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1371/tid=1377] ppid=1369 vsize=9625004 CPUtime=0.97 cores=1,3,5,7 /proc/1371/task/1377/stat : 1377 (java) S 1369 1371 32222 0 -1 4202560 80 0 0 0 95 2 0 0 20 0 19 0 290890745 9856004096 38596 33554432000 1073741824 1073778376 140736391910672 139888174287912 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1371/tid=1378] ppid=1369 vsize=9625004 CPUtime=0.99 cores=1,3,5,7 /proc/1371/task/1378/stat : 1378 (java) S 1369 1371 32222 0 -1 4202560 24 0 0 0 97 2 0 0 20 0 19 0 290890745 9856004096 38596 33554432000 1073741824 1073778376 140736391910672 139888173234344 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1371/tid=1379] ppid=1369 vsize=9625004 CPUtime=0.97 cores=1,3,5,7 /proc/1371/task/1379/stat : 1379 (java) S 1369 1371 32222 0 -1 4202560 27 0 0 0 95 2 0 0 20 0 19 0 290890745 9856004096 38596 33554432000 1073741824 1073778376 140736391910672 139888172181800 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1371/tid=1380] ppid=1369 vsize=9625004 CPUtime=0.98 cores=1,3,5,7 /proc/1371/task/1380/stat : 1380 (java) S 1369 1371 32222 0 -1 4202560 91 0 0 0 96 2 0 0 20 0 19 0 290890745 9856004096 38596 33554432000 1073741824 1073778376 140736391910672 139888171129256 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1371/tid=1382] ppid=1369 vsize=9625004 CPUtime=0.96 cores=1,3,5,7 /proc/1371/task/1382/stat : 1382 (java) S 1369 1371 32222 0 -1 4202560 63 0 0 0 95 1 0 0 20 0 19 0 290890745 9856004096 38596 33554432000 1073741824 1073778376 140736391910672 139888170076712 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=1371/tid=1383] ppid=1369 vsize=9625004 CPUtime=19.75 cores=1,3,5,7 /proc/1371/task/1383/stat : 1383 (java) S 1369 1371 32222 0 -1 4202560 155 0 0 0 1972 3 0 0 20 0 19 0 290890746 9856004096 38596 33554432000 1073741824 1073778376 140736391910672 139888040073832 209100781481 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1371/tid=1384] ppid=1369 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1371/task/1384/stat : 1384 (java) S 1369 1371 32222 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 290890747 9856004096 38596 33554432000 1073741824 1073778376 140736391910672 139888039020152 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1371/tid=1385] ppid=1369 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1371/task/1385/stat : 1385 (java) S 1369 1371 32222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 290890747 9856004096 38596 33554432000 1073741824 1073778376 140736391910672 139888037967496 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1371/tid=1386] ppid=1369 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1371/task/1386/stat : 1386 (java) S 1369 1371 32222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290890750 9856004096 38596 33554432000 1073741824 1073778376 140736391910672 139888036916240 209100789536 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1371/tid=1387] ppid=1369 vsize=9625004 CPUtime=0.47 cores=1,3,5,7 /proc/1371/task/1387/stat : 1387 (java) S 1369 1371 32222 0 -1 4202560 1993 0 0 0 47 0 0 0 20 0 19 0 290890750 9856004096 38596 33554432000 1073741824 1073778376 140736391910672 139888035862584 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=1371/tid=1388] ppid=1369 vsize=9625004 CPUtime=0.74 cores=1,3,5,7 /proc/1371/task/1388/stat : 1388 (java) S 1369 1371 32222 0 -1 4202560 4618 0 0 0 74 0 0 0 20 0 19 0 290890750 9856004096 38596 33554432000 1073741824 1073778376 140736391910672 139888034810040 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1371/tid=1389] ppid=1369 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1371/task/1389/stat : 1389 (java) S 1369 1371 32222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290890750 9856004096 38596 33554432000 1073741824 1073778376 140736391910672 139888033757688 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=1371/tid=1390] ppid=1369 vsize=9625004 CPUtime=0.3 cores=1,3,5,7 /proc/1371/task/1390/stat : 1390 (java) S 1369 1371 32222 0 -1 4202560 103 0 0 0 18 12 0 0 20 0 19 0 290890750 9856004096 38596 33554432000 1073741824 1073778376 140736391910672 139888032705352 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=1371/tid=1391] ppid=1369 vsize=9625004 CPUtime=0 cores=1,3,5,7 /proc/1371/task/1391/stat : 1391 (java) S 1369 1371 32222 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 290890793 9856004096 38596 33554432000 1073741824 1073778376 140736391910672 139888031651112 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1800.02 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 1371 and gives # childrusage.ru_utime.tv_sec=1795 # childrusage.ru_utime.tv_usec=289074 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=723889 # CPU time returned by wait4() is 1796.01 # while last known CPU time is 1800.02 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1793.85 CPU time (s): 1800.02 CPU user time (s): 1799.71 CPU system time (s): 0.31 CPU usage (%): 100.344 Max. virtual memory (cumulated for all children) (KiB): 9625004 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.29 system time used= 0.723889 maximum resident set size= 154508 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 11515 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1736 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 49807 involuntary context switches= 45295 runsolver used 5.8901 second user time and 14.0549 second system time The end
Begin job on node105 at 2012-05-29 01:37:17 IDJOB=3710452 IDBENCH=92664 IDSOLVER=2289 FILE ID=node105/3710452-1338248237 RUNJOBID= node105-1338228444-32239 PBS_JOBID= 14624634 Free space on /tmp= 71580 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_5_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-3710452-1338248237/watcher-3710452-1338248237 -o /tmp/evaluation-result-3710452-1338248237/solver-3710452-1338248237 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710452-1338248237.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 2c36639357988247c648b63af301f230 RANDOM SEED=1371276183 node105.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 : 2666.882 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 : 5333.76 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 : 2666.882 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.882 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 : 2666.882 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 : 2666.882 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 : 5438.54 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 : 2666.882 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.882 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.92 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 : 2666.882 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 : 5447.81 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 30978892 kB Buffers: 411516 kB Cached: 295044 kB SwapCached: 1708 kB Active: 725792 kB Inactive: 312952 kB Active(anon): 328120 kB Inactive(anon): 4812 kB Active(file): 397672 kB Inactive(file): 308140 kB Unevictable: 6872 kB Mlocked: 6872 kB SwapTotal: 67108856 kB SwapFree: 67100448 kB Dirty: 1624 kB Writeback: 0 kB AnonPages: 335556 kB Mapped: 17100 kB Shmem: 0 kB Slab: 717496 kB SReclaimable: 159208 kB SUnreclaim: 558288 kB KernelStack: 1600 kB PageTables: 4916 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 826808 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 296960 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= 71584 MiB End job on node105 at 2012-05-29 02:07:13