Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Sat 4j PB Resolution 2.3.2 Snapshot | SAT (TO) | 1075059456 | 1800.01 | 1787.57 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-rout.opb |
MD5SUM | 00504f72d4d33ef46136a0269c782c15 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 1074949888 |
Best CPU time to get the best result obtained on this benchmark | 1800.85 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1074976000 |
Optimality of the best value was proved | NO |
Number of variables | 7561 |
Total number of constraints | 306 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 14 |
Number of constraints which are nor clauses,nor cardinality constraints | 292 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 917 |
Number of terms in the objective function | 31 |
Biggest coefficient in the objective function | 1073741824 |
Number of bits for the biggest coefficient in the objective function | 31 |
Sum of the numbers in the objective function | 2147483647 |
Number of bits of the sum of numbers in the objective function | 31 |
Biggest number in a constraint | 26904326400 |
Number of bits of the biggest number in a constraint | 35 |
Biggest sum of numbers in a constraint | 81230087655 |
Number of bits of the biggest sum of numbers | 37 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.07/0.10 c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS 0.07/0.10 c This is free software under the dual EPL/GNU LGPL licenses. 0.07/0.10 c See www.sat4j.org for details. 0.07/0.11 c version 2.3.2.v20120418 0.07/0.11 c java.runtime.name Java(TM) SE Runtime Environment 0.07/0.11 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.07/0.11 c java.vm.version 19.1-b02 0.07/0.11 c java.vm.vendor Sun Microsystems Inc. 0.07/0.11 c sun.arch.data.model 64 0.07/0.11 c java.version 1.6.0_24 0.07/0.11 c os.name Linux 0.07/0.11 c os.version 2.6.32-71.29.1.el6.x86_64 0.07/0.11 c os.arch amd64 0.07/0.11 c Free memory 501472288 0.07/0.11 c Max memory 7480803328 0.07/0.11 c Total memory 504102912 0.07/0.11 c Number of processors 8 0.07/0.13 c Pseudo Boolean Optimization by upper bound 0.07/0.13 c --- Begin Solver configuration --- 0.07/0.13 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@431b9fb1 0.07/0.13 c Learn all clauses as in MiniSAT 0.07/0.13 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.07/0.13 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.07/0.13 c No reason simplification 0.07/0.13 c Armin Biere (Picosat) restarts strategy 0.07/0.13 c Glucose learned constraints deletion strategy 0.07/0.13 c timeout=2147483s 0.07/0.13 c DB Simplification allowed=false 0.07/0.13 c c --- End Solver configuration --- 0.07/0.13 c solving HOME/instance-3687971-1337879049.opb 0.07/0.13 c reading problem ... 0.81/0.40 c ... done. Wall clock time 0.262s. 0.81/0.40 c declared #vars 7561 0.81/0.40 c #constraints 337 0.81/0.40 c constraints type 0.81/0.40 c org.sat4j.minisat.constraints.card.MinWatchCard => 14 0.81/0.40 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 15 0.81/0.40 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 308 0.81/0.40 c 337 constraints processed. 0.81/0.40 c objective function length is 31 literals 2.66/1.70 c SATISFIABLE 2.66/1.70 c OPTIMIZING... 2.66/1.70 c Got one! Elapsed wall clock time (in seconds):1.568 2.66/1.70 o 1075849728 3.19/2.24 c cleaning 2916 clauses out of 5831 with flag 2003/5837 4.54/3.58 c Got one! Elapsed wall clock time (in seconds):3.444 4.54/3.58 o 1075726592 4.81/3.71 c cleaning 4100 clauses out of 8200 with flag 1003/11122 6.42/5.31 c Got one! Elapsed wall clock time (in seconds):5.176 6.42/5.31 o 1075690496 6.72/5.58 c cleaning 4957 clauses out of 9914 with flag 1003/16936 8.05/6.82 c Got one! Elapsed wall clock time (in seconds):6.682 8.05/6.82 o 1075442944 8.26/7.08 c cleaning 5128 clauses out of 10272 with flag 1003/22252 9.72/8.47 c Got one! Elapsed wall clock time (in seconds):8.333 9.72/8.47 o 1075382272 11.34/10.04 c cleaning 7911 clauses out of 15824 with flag 5002/32932 12.60/11.28 c cleaning 6956 clauses out of 13911 with flag 11000/38930 14.39/12.50 c cleaning 6975 clauses out of 13958 with flag 18003/45933 16.24/13.91 c cleaning 7488 clauses out of 14981 with flag 26001/53931 17.85/15.56 c cleaning 8248 clauses out of 16499 with flag 35007/62937 20.76/18.46 c cleaning 9120 clauses out of 18245 with flag 45001/72931 23.77/21.44 c cleaning 10061 clauses out of 20124 with flag 56000/83930 27.80/25.48 c cleaning 11022 clauses out of 22063 with flag 68000/95930 31.30/28.94 c cleaning 12015 clauses out of 24042 with flag 81001/108931 34.82/32.48 c cleaning 13010 clauses out of 26026 with flag 95000/122930 39.34/36.96 c cleaning 14003 clauses out of 28016 with flag 110000/137930 43.97/41.54 c cleaning 15003 clauses out of 30013 with flag 126000/153930 50.31/47.81 c cleaning 16005 clauses out of 32011 with flag 143001/170931 55.94/53.45 c cleaning 16996 clauses out of 34005 with flag 161000/188930 61.35/58.88 c cleaning 18002 clauses out of 36009 with flag 180000/207930 67.06/64.53 c cleaning 19000 clauses out of 38007 with flag 200000/227930 73.78/71.20 c cleaning 20000 clauses out of 40008 with flag 221001/248931 81.53/78.94 c cleaning 20996 clauses out of 42007 with flag 243000/270930 81.83/79.13 c Got one! Elapsed wall clock time (in seconds):78.993 81.83/79.13 o 1075357952 83.32/80.65 c cleaning 13415 clauses out of 26834 with flag 5000/276754 83.75/81.02 c Got one! Elapsed wall clock time (in seconds):80.886 83.75/81.02 o 1075283968 84.45/81.78 c cleaning 9326 clauses out of 18651 with flag 4000/281986 85.66/82.93 c cleaning 7660 clauses out of 15328 with flag 10003/287989 86.96/84.25 c cleaning 7328 clauses out of 14665 with flag 17000/294986 88.57/85.89 c cleaning 7666 clauses out of 15337 with flag 25000/302986 90.36/87.68 c cleaning 8328 clauses out of 16671 with flag 34000/311986 91.07/88.35 c Got one! Elapsed wall clock time (in seconds):88.214 91.07/88.35 o 1075259904 91.57/88.87 c cleaning 6683 clauses out of 13377 with flag 2000/317020 92.88/90.12 c cleaning 6342 clauses out of 12696 with flag 8002/323022 94.38/91.60 c cleaning 6677 clauses out of 13353 with flag 15001/330021 95.88/93.18 c Got one! Elapsed wall clock time (in seconds):93.046 95.88/93.18 o 1075238912 97.08/94.33 c cleaning 9009 clauses out of 18023 with flag 5003/341368 98.39/95.66 c cleaning 7503 clauses out of 15011 with flag 11000/347365 100.00/97.29 c cleaning 7256 clauses out of 14513 with flag 18005/354370 100.22/97.48 c Got one! Elapsed wall clock time (in seconds):97.341 100.22/97.48 o 1075177216 101.32/98.56 c cleaning 6433 clauses out of 12874 with flag 5000/359987 102.52/99.79 c cleaning 6219 clauses out of 12441 with flag 11000/365987 104.03/101.28 c cleaning 6607 clauses out of 13222 with flag 18000/372987 105.73/102.93 c cleaning 7308 clauses out of 14622 with flag 26007/380994 107.56/104.71 c cleaning 8150 clauses out of 16314 with flag 35007/389994 109.47/106.70 c cleaning 9081 clauses out of 18163 with flag 45006/399993 111.86/109.05 c cleaning 10033 clauses out of 20079 with flag 56003/410990 114.36/111.52 c cleaning 11018 clauses out of 22045 with flag 68002/422989 116.27/113.43 c Got one! Elapsed wall clock time (in seconds):113.295 116.27/113.43 o 1075144704 117.27/114.44 c cleaning 12001 clauses out of 24002 with flag 5002/435964 118.38/115.57 c cleaning 8994 clauses out of 17999 with flag 11000/441962 119.78/116.91 c cleaning 8002 clauses out of 16007 with flag 18002/448964 121.29/118.46 c cleaning 8000 clauses out of 16008 with flag 26005/456967 123.10/120.27 c cleaning 8504 clauses out of 17007 with flag 35004/465966 125.20/122.38 c cleaning 9248 clauses out of 18501 with flag 45002/475964 128.40/125.50 c cleaning 10118 clauses out of 20251 with flag 56000/486962 131.33/128.42 c cleaning 11057 clauses out of 22133 with flag 68000/498962 134.25/131.31 c cleaning 12031 clauses out of 24076 with flag 81000/511962 137.36/134.43 c cleaning 13018 clauses out of 26045 with flag 95000/525962 140.39/137.47 c cleaning 14012 clauses out of 28027 with flag 110000/540962 144.53/141.54 c cleaning 15006 clauses out of 30016 with flag 126001/556963 147.78/144.77 c Got one! Elapsed wall clock time (in seconds):144.633 147.78/144.77 o 1075141632 148.78/145.74 c cleaning 16473 clauses out of 32946 with flag 5000/574899 149.69/146.68 c cleaning 11235 clauses out of 22475 with flag 11002/580901 150.71/147.66 c cleaning 9119 clauses out of 18244 with flag 18006/587905 152.21/149.18 c Got one! Elapsed wall clock time (in seconds):149.043 152.21/149.18 o 1075093504 153.21/150.12 c cleaning 10741 clauses out of 21481 with flag 5000/600261 154.32/151.23 c cleaning 8363 clauses out of 16742 with flag 11002/606263 155.82/152.79 c cleaning 7685 clauses out of 15377 with flag 18000/613261 157.92/154.90 c cleaning 7836 clauses out of 15692 with flag 26000/621261 161.45/158.38 c cleaning 8427 clauses out of 16859 with flag 35003/630264 163.84/160.73 c cleaning 9215 clauses out of 18430 with flag 45001/640262 166.44/163.34 c cleaning 10102 clauses out of 20214 with flag 56000/651261 169.45/166.38 c cleaning 11057 clauses out of 22114 with flag 68002/663263 172.77/169.60 c cleaning 12024 clauses out of 24056 with flag 81001/676262 176.79/173.66 c cleaning 13011 clauses out of 26033 with flag 95002/690263 181.90/178.79 c cleaning 14012 clauses out of 28023 with flag 110003/705264 188.03/184.87 c cleaning 15000 clauses out of 30008 with flag 126000/721261 194.45/191.25 c cleaning 16000 clauses out of 32008 with flag 143000/738261 201.27/198.03 c cleaning 17004 clauses out of 34008 with flag 161000/756261 208.72/205.44 c cleaning 18001 clauses out of 36005 with flag 180001/775262 218.33/215.02 c cleaning 18997 clauses out of 38004 with flag 200001/795262 227.38/224.07 c cleaning 19997 clauses out of 40007 with flag 221001/816262 236.04/232.64 c cleaning 21005 clauses out of 42010 with flag 243001/838262 245.17/241.74 c cleaning 21998 clauses out of 44004 with flag 266000/861261 255.64/252.15 c cleaning 23003 clauses out of 46007 with flag 290001/885262 264.21/260.68 c cleaning 24000 clauses out of 48004 with flag 315001/910262 274.01/270.36 c cleaning 25002 clauses out of 50003 with flag 341000/936261 285.19/281.46 c cleaning 26001 clauses out of 52004 with flag 368003/963264 295.65/291.87 c cleaning 26999 clauses out of 54004 with flag 396004/991265 307.19/303.30 c cleaning 27999 clauses out of 56003 with flag 425002/1020263 316.47/312.55 c cleaning 28997 clauses out of 58003 with flag 455001/1050262 325.93/321.97 c cleaning 30003 clauses out of 60005 with flag 486000/1081261 338.37/334.33 c cleaning 31000 clauses out of 62003 with flag 518001/1113262 353.21/349.12 c cleaning 32001 clauses out of 64002 with flag 551000/1146261 358.43/354.29 c Got one! Elapsed wall clock time (in seconds):354.158 358.43/354.29 o 1075090688 359.53/355.34 c cleaning 25834 clauses out of 51670 with flag 5005/1165930 360.46/356.23 c cleaning 15901 clauses out of 31833 with flag 11002/1171927 361.48/357.29 c cleaning 11463 clauses out of 22938 with flag 18008/1178933 363.09/358.81 c cleaning 9726 clauses out of 19475 with flag 26008/1186933 365.91/361.67 c cleaning 9347 clauses out of 18742 with flag 35001/1195926 369.01/364.79 c cleaning 9676 clauses out of 19397 with flag 45003/1205928 372.02/367.78 c cleaning 10325 clauses out of 20718 with flag 56000/1216925 375.73/371.41 c cleaning 11194 clauses out of 22394 with flag 68001/1228926 380.46/376.12 c cleaning 12093 clauses out of 24200 with flag 81001/1241926 384.77/380.42 c cleaning 13050 clauses out of 26110 with flag 95004/1255929 389.28/384.95 c cleaning 14027 clauses out of 28060 with flag 110004/1270929 394.70/390.31 c cleaning 15011 clauses out of 30029 with flag 126000/1286925 400.63/396.23 c cleaning 16003 clauses out of 32020 with flag 143002/1303927 406.76/402.35 c cleaning 17003 clauses out of 34018 with flag 161003/1321928 412.48/408.07 c cleaning 18006 clauses out of 36014 with flag 180002/1340927 418.61/414.19 c cleaning 19001 clauses out of 38007 with flag 200001/1360926 425.55/421.01 c cleaning 19998 clauses out of 40005 with flag 221000/1381925 432.68/428.15 c cleaning 21002 clauses out of 42010 with flag 243003/1403928 440.59/436.09 c cleaning 21999 clauses out of 44005 with flag 266000/1426925 449.13/444.53 c cleaning 22999 clauses out of 46006 with flag 290000/1450925 457.55/452.93 c cleaning 24006 clauses out of 48012 with flag 315005/1475930 467.30/462.66 c cleaning 24998 clauses out of 50001 with flag 341000/1501925 477.35/472.66 c cleaning 26004 clauses out of 52012 with flag 368009/1528934 486.11/481.33 c cleaning 26997 clauses out of 53999 with flag 396000/1556925 493.93/489.16 c cleaning 27997 clauses out of 56004 with flag 425002/1585927 503.86/499.03 c cleaning 28998 clauses out of 58007 with flag 455002/1615927 514.89/510.06 c cleaning 29998 clauses out of 60007 with flag 486000/1646925 527.53/522.62 c cleaning 31004 clauses out of 62009 with flag 518000/1678925 540.20/535.27 c cleaning 32001 clauses out of 64005 with flag 551000/1711925 553.87/548.89 c cleaning 32995 clauses out of 66004 with flag 585000/1745925 567.81/562.75 c cleaning 34001 clauses out of 68009 with flag 620000/1780925 569.25/564.19 c Got one! Elapsed wall clock time (in seconds):564.052 569.25/564.19 o 1075089664 570.25/565.11 c cleaning 22260 clauses out of 44523 with flag 5000/1791440 571.18/566.00 c cleaning 14128 clauses out of 28263 with flag 11000/1797440 572.08/566.94 c cleaning 10559 clauses out of 21138 with flag 18003/1804443 573.18/568.04 c cleaning 9290 clauses out of 18583 with flag 26007/1812447 574.49/569.37 c cleaning 9134 clauses out of 18288 with flag 35002/1821442 576.02/570.86 c cleaning 9567 clauses out of 19153 with flag 45001/1831441 577.83/572.67 c cleaning 10278 clauses out of 20585 with flag 56000/1842440 580.03/574.89 c cleaning 11153 clauses out of 22309 with flag 68002/1854442 582.66/577.46 c cleaning 12078 clauses out of 24157 with flag 81003/1867443 585.58/580.35 c cleaning 13038 clauses out of 26083 with flag 95007/1881447 588.99/583.78 c cleaning 14016 clauses out of 28039 with flag 110001/1896441 592.40/587.12 c cleaning 15006 clauses out of 30026 with flag 126004/1912444 596.02/590.77 c cleaning 16001 clauses out of 32017 with flag 143001/1929441 600.52/595.20 c cleaning 17003 clauses out of 34016 with flag 161001/1947441 604.95/599.62 c cleaning 18000 clauses out of 36012 with flag 180000/1966440 609.28/603.95 c cleaning 19003 clauses out of 38014 with flag 200002/1986442 614.09/608.71 c cleaning 20000 clauses out of 40009 with flag 221000/2007440 620.11/614.79 c cleaning 21003 clauses out of 42011 with flag 243002/2029442 626.63/621.24 c cleaning 21995 clauses out of 44006 with flag 266000/2052440 636.05/630.69 c cleaning 23007 clauses out of 46013 with flag 290002/2076442 644.88/639.45 c cleaning 24003 clauses out of 48010 with flag 315006/2101446 653.50/648.02 c cleaning 24995 clauses out of 50002 with flag 341001/2127441 660.43/654.91 c cleaning 26001 clauses out of 52007 with flag 368001/2154441 668.60/663.04 c cleaning 27000 clauses out of 54006 with flag 396001/2182441 676.81/671.27 c cleaning 28003 clauses out of 56005 with flag 425000/2211440 686.46/680.84 c cleaning 29000 clauses out of 58002 with flag 455000/2241440 695.20/689.56 c cleaning 29995 clauses out of 60002 with flag 486000/2272440 704.33/698.63 c cleaning 31004 clauses out of 62007 with flag 518000/2304440 715.56/709.81 c cleaning 32002 clauses out of 64003 with flag 551000/2337440 727.52/721.72 c cleaning 32999 clauses out of 66002 with flag 585001/2371441 739.74/733.95 c cleaning 33999 clauses out of 68005 with flag 620003/2406443 752.88/747.04 c cleaning 34999 clauses out of 70005 with flag 656002/2442442 768.04/762.20 c cleaning 36004 clauses out of 72007 with flag 693003/2479443 782.59/776.53 c cleaning 36995 clauses out of 74000 with flag 731000/2517440 798.21/792.15 c cleaning 38000 clauses out of 76005 with flag 770000/2556440 804.26/798.16 c Got one! Elapsed wall clock time (in seconds):798.023 804.26/798.16 o 1075081472 805.47/799.34 c cleaning 30119 clauses out of 60237 with flag 5002/2578672 806.69/800.57 c cleaning 18061 clauses out of 36128 with flag 11012/2584682 808.11/801.93 c cleaning 12527 clauses out of 25062 with flag 18008/2591678 809.73/803.57 c cleaning 10265 clauses out of 20540 with flag 26013/2599683 811.64/805.49 c cleaning 9613 clauses out of 19262 with flag 35000/2608670 814.27/808.00 c cleaning 9785 clauses out of 19649 with flag 45000/2618670 817.17/810.93 c cleaning 10426 clauses out of 20864 with flag 56000/2629670 820.30/814.02 c cleaning 11217 clauses out of 22438 with flag 68000/2641670 824.20/817.91 c cleaning 12113 clauses out of 24225 with flag 81004/2654674 827.81/821.52 c cleaning 13051 clauses out of 26109 with flag 95001/2668671 831.72/825.46 c cleaning 14028 clauses out of 28057 with flag 110000/2683670 835.83/829.54 c cleaning 15013 clauses out of 30030 with flag 126001/2699671 840.25/833.93 c cleaning 16011 clauses out of 32026 with flag 143010/2716680 845.45/839.14 c cleaning 17000 clauses out of 34007 with flag 161002/2734672 851.36/845.05 c cleaning 18003 clauses out of 36006 with flag 180001/2753671 857.07/850.75 c cleaning 19003 clauses out of 38009 with flag 200007/2773677 864.10/857.78 c cleaning 20000 clauses out of 40001 with flag 221002/2794672 871.52/865.10 c cleaning 20995 clauses out of 42002 with flag 243003/2816673 877.86/871.41 c cleaning 22001 clauses out of 44011 with flag 266007/2839677 884.31/877.83 c cleaning 23000 clauses out of 46003 with flag 290000/2863670 892.54/886.06 c cleaning 23997 clauses out of 48008 with flag 315005/2888675 901.47/894.92 c cleaning 25002 clauses out of 50009 with flag 341003/2914673 910.20/903.65 c cleaning 25999 clauses out of 52004 with flag 368000/2941670 919.74/913.12 c cleaning 27001 clauses out of 54006 with flag 396001/2969671 931.38/924.71 c cleaning 27996 clauses out of 56005 with flag 425001/2998671 943.24/936.55 c cleaning 28997 clauses out of 58009 with flag 455001/3028671 955.10/948.34 c cleaning 30006 clauses out of 60014 with flag 486003/3059673 968.94/962.18 c cleaning 31004 clauses out of 62012 with flag 518007/3091677 982.21/975.32 c cleaning 31998 clauses out of 64002 with flag 551001/3124671 985.14/978.22 c Got one! Elapsed wall clock time (in seconds):978.091 985.14/978.22 o 1075071744 986.04/979.12 c cleaning 23097 clauses out of 46198 with flag 5003/3138865 987.15/980.24 c cleaning 14544 clauses out of 29100 with flag 11002/3144864 988.57/981.66 c cleaning 10769 clauses out of 21554 with flag 18000/3151862 990.18/983.22 c cleaning 9391 clauses out of 18788 with flag 26003/3159865 991.91/984.99 c cleaning 9194 clauses out of 18396 with flag 35002/3168864 993.91/986.91 c cleaning 9598 clauses out of 19202 with flag 45002/3178864 996.34/989.35 c cleaning 10298 clauses out of 20612 with flag 56010/3189872 998.94/991.95 c cleaning 11146 clauses out of 22304 with flag 68000/3201862 1001.76/994.76 c cleaning 12075 clauses out of 24158 with flag 81000/3214862 1004.57/997.60 c cleaning 13039 clauses out of 26083 with flag 95000/3228862 1007.48/1000.47 c cleaning 14023 clauses out of 28045 with flag 110001/3243863 1011.00/1003.93 c cleaning 15010 clauses out of 30022 with flag 126001/3259863 1014.91/1007.82 c cleaning 16003 clauses out of 32011 with flag 143000/3276862 1019.22/1012.12 c cleaning 16997 clauses out of 34008 with flag 161000/3294862 1023.74/1016.67 c cleaning 18008 clauses out of 36017 with flag 180006/3313868 1028.75/1021.64 c cleaning 18999 clauses out of 38003 with flag 200000/3333862 1035.78/1028.62 c cleaning 19999 clauses out of 40006 with flag 221002/3354864 1041.79/1034.62 c cleaning 21002 clauses out of 42005 with flag 243000/3376862 1047.61/1040.49 c cleaning 22001 clauses out of 44006 with flag 266003/3399865 1054.33/1047.12 c cleaning 22996 clauses out of 46002 with flag 290000/3423862 1061.75/1054.57 c cleaning 24003 clauses out of 48007 with flag 315001/3448863 1070.30/1063.07 c cleaning 25002 clauses out of 50004 with flag 341001/3474863 1080.03/1072.77 c cleaning 25992 clauses out of 52003 with flag 368002/3501864 1089.77/1082.44 c cleaning 27005 clauses out of 54012 with flag 396003/3529865 1100.50/1093.19 c cleaning 27997 clauses out of 56004 with flag 425000/3558862 1111.17/1103.78 c cleaning 28999 clauses out of 58008 with flag 455001/3588863 1123.19/1115.76 c cleaning 30002 clauses out of 60010 with flag 486002/3619864 1136.86/1129.31 c cleaning 30989 clauses out of 62009 with flag 518003/3651865 1150.11/1142.59 c cleaning 32006 clauses out of 64017 with flag 551000/3684862 1165.05/1157.45 c cleaning 33003 clauses out of 66011 with flag 585000/3718862 1179.33/1171.65 c cleaning 33998 clauses out of 68008 with flag 620000/3753862 1195.76/1188.03 c cleaning 34999 clauses out of 70011 with flag 656001/3789863 1211.21/1203.43 c cleaning 36005 clauses out of 72011 with flag 693000/3826862 1221.52/1213.70 c Got one! Elapsed wall clock time (in seconds):1213.566 1221.52/1213.70 o 1075059456 1222.62/1214.89 c cleaning 36968 clauses out of 73936 with flag 5000/3864792 1223.67/1215.88 c cleaning 21483 clauses out of 42970 with flag 11002/3870794 1224.87/1217.02 c cleaning 14243 clauses out of 28490 with flag 18005/3877797 1226.09/1218.20 c cleaning 11118 clauses out of 22246 with flag 26004/3885796 1227.40/1219.55 c cleaning 10051 clauses out of 20125 with flag 35001/3894793 1229.11/1221.27 c cleaning 10023 clauses out of 20073 with flag 45000/3904792 1231.53/1223.60 c cleaning 10516 clauses out of 21050 with flag 56000/3915792 1233.84/1225.98 c cleaning 11259 clauses out of 22534 with flag 68000/3927792 1236.57/1228.70 c cleaning 12137 clauses out of 24276 with flag 81001/3940793 1239.48/1231.54 c cleaning 13068 clauses out of 26138 with flag 95000/3954792 1242.50/1234.51 c cleaning 14032 clauses out of 28070 with flag 110000/3969792 1245.82/1237.88 c cleaning 15015 clauses out of 30040 with flag 126002/3985794 1249.45/1241.41 c cleaning 16009 clauses out of 32024 with flag 143001/4002793 1253.18/1245.17 c cleaning 17007 clauses out of 34017 with flag 161003/4020795 1257.29/1249.23 c cleaning 17991 clauses out of 36007 with flag 180000/4039792 1261.50/1253.45 c cleaning 19004 clauses out of 38021 with flag 200005/4059797 1265.72/1257.65 c cleaning 20003 clauses out of 40014 with flag 221002/4080794 1270.52/1262.47 c cleaning 20999 clauses out of 42009 with flag 243000/4102792 1275.64/1267.54 c cleaning 21997 clauses out of 44010 with flag 266000/4125792 1281.26/1273.11 c cleaning 23002 clauses out of 46013 with flag 290000/4149792 1288.79/1280.63 c cleaning 24003 clauses out of 48017 with flag 315006/4174798 1296.11/1288.00 c cleaning 25005 clauses out of 50015 with flag 341007/4200799 1304.22/1296.00 c cleaning 26000 clauses out of 52005 with flag 368002/4227794 1312.63/1304.42 c cleaning 26998 clauses out of 54003 with flag 396000/4255792 1322.36/1314.16 c cleaning 28000 clauses out of 56008 with flag 425003/4284795 1331.60/1323.34 c cleaning 29003 clauses out of 58006 with flag 455001/4314793 1341.43/1333.20 c cleaning 29998 clauses out of 60003 with flag 486001/4345793 1351.66/1343.34 c cleaning 31000 clauses out of 62008 with flag 518004/4377796 1363.19/1354.77 c cleaning 32002 clauses out of 64011 with flag 551007/4410799 1374.69/1366.14 c cleaning 33000 clauses out of 66002 with flag 585000/4444792 1385.40/1376.81 c cleaning 34000 clauses out of 68007 with flag 620005/4479797 1397.14/1388.59 c cleaning 34999 clauses out of 70003 with flag 656001/4515793 1411.21/1402.45 c cleaning 35997 clauses out of 72003 with flag 693000/4552792 1425.61/1416.78 c cleaning 36999 clauses out of 74010 with flag 731004/4590796 1440.70/1431.65 c cleaning 38000 clauses out of 76010 with flag 770003/4629795 1455.55/1446.38 c cleaning 39002 clauses out of 78010 with flag 810003/4669795 1470.63/1461.37 c cleaning 40000 clauses out of 80007 with flag 851002/4710794 1487.58/1478.15 c cleaning 41000 clauses out of 82007 with flag 893002/4752794 1504.19/1494.60 c cleaning 42000 clauses out of 84005 with flag 936000/4795792 1524.97/1515.16 c cleaning 42995 clauses out of 86008 with flag 980003/4839795 1544.51/1534.43 c cleaning 44003 clauses out of 88010 with flag 1025000/4884792 1561.11/1550.86 c cleaning 45002 clauses out of 90008 with flag 1071001/4930793 1579.65/1569.29 c cleaning 45995 clauses out of 92005 with flag 1118000/4977792 1602.99/1592.44 c cleaning 47004 clauses out of 94011 with flag 1166001/5025793 1626.86/1616.12 c cleaning 47999 clauses out of 96008 with flag 1215002/5074794 1650.61/1639.68 c cleaning 48992 clauses out of 98007 with flag 1265000/5124792 1675.73/1664.55 c cleaning 50006 clauses out of 100019 with flag 1316004/5175796 1704.65/1693.25 c cleaning 50996 clauses out of 102009 with flag 1368000/5227792 1733.21/1721.56 c cleaning 52004 clauses out of 104014 with flag 1421001/5280793 1762.36/1750.34 c cleaning 52999 clauses out of 106009 with flag 1475000/5334792 1789.56/1777.20 c cleaning 54003 clauses out of 108011 with flag 1530001/5389793 1800.01/1787.52 c starts : 292 1800.01/1787.52 c conflicts : 5417358 1800.01/1787.52 c decisions : 5934008 1800.01/1787.52 c propagations : 237671449 1800.01/1787.52 c inspects : 12544829214 1800.01/1787.52 c shortcuts : 0 1800.01/1787.52 c learnt literals : 9 1800.01/1787.52 c learnt binary clauses : 517 1800.01/1787.52 c learnt ternary clauses : 198 1800.01/1787.52 c learnt constraints : 5417349 1800.01/1787.52 c ignored constraints : 0 1800.01/1787.52 c root simplifications : 0 1800.01/1787.52 c removed literals (reason simplification) : 0 1800.01/1787.52 c reason swapping (by a shorter reason) : 0 1800.01/1787.52 c Calls to reduceDB : 265 1800.01/1787.52 c number of reductions to clauses (during analyze) : 0 1800.01/1787.52 c number of learned constraints concerned by reduction : 0 1800.01/1787.52 c number of learning phase by resolution : 0 1800.01/1787.52 c number of learning phase by cutting planes : 0 1800.01/1787.52 c speed (assignments/second) : 132993.72890422857 1800.01/1787.52 c non guided choices 18083 1800.01/1787.55 c learnt constraints type 1800.01/1787.55 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 517 1800.01/1787.55 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 81077 1800.01/1787.55 c constraints type 1800.01/1787.55 c org.sat4j.minisat.constraints.card.MinWatchCard => 14 1800.01/1787.55 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 15 1800.01/1787.55 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 309 1800.01/1787.55 c 338 constraints processed. 1800.01/1787.55 s SATISFIABLE 1800.01/1787.56 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 1800.01/1787.56 c objective function=1075059456 1800.01/1787.56 c Total wall clock time (in seconds): 1787.43
OK 1075059456
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-3687971-1337879049/watcher-3687971-1337879049 -o /tmp/evaluation-result-3687971-1337879049/solver-3687971-1337879049 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3687971-1337879049.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: 2.29 2.10 2.03 4/194 15165 /proc/meminfo: memFree=28541316/32873844 swapFree=7104/7104 [pid=15165] ppid=15163 vsize=272 CPUtime=0 cores=1,3,5,7 /proc/15165/stat : 15165 (java) R 15163 15165 14581 0 -1 4202496 80 0 0 0 0 0 0 0 20 0 1 0 254029802 278528 34 33554432000 1073741824 1073778376 140734315180528 140734315177704 233211784487 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/15165/statm: 68 34 25 9 0 25 0 [startup+0.053393 s] /proc/loadavg: 2.29 2.10 2.03 4/194 15165 /proc/meminfo: memFree=28541316/32873844 swapFree=7104/7104 [pid=15165] ppid=15163 vsize=9225560 CPUtime=0.02 cores=1,3,5,7 /proc/15165/stat : 15165 (java) S 15163 15165 14581 0 -1 4202496 3043 0 1 0 2 0 0 0 20 0 13 0 254029802 9446973440 3230 33554432000 1073741824 1073778376 140733217424704 140733217415840 233224306749 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/15165/statm: 2306390 3230 1682 9 0 2297091 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 9225560 [startup+0.100329 s] /proc/loadavg: 2.29 2.10 2.03 4/194 15165 /proc/meminfo: memFree=28541316/32873844 swapFree=7104/7104 [pid=15165] ppid=15163 vsize=9558412 CPUtime=0.07 cores=1,3,5,7 /proc/15165/stat : 15165 (java) S 15163 15165 14581 0 -1 4202496 3397 0 1 0 6 1 0 0 20 0 18 0 254029802 9787813888 4606 33554432000 1073741824 1073778376 140733217424704 140733217415840 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/15165/statm: 2389603 4607 1772 9 0 2380296 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 9558412 [startup+0.300298 s] /proc/loadavg: 2.29 2.10 2.03 4/194 15165 /proc/meminfo: memFree=28541316/32873844 swapFree=7104/7104 [pid=15165] ppid=15163 vsize=9558412 CPUtime=0.52 cores=1,3,5,7 /proc/15165/stat : 15165 (java) S 15163 15165 14581 0 -1 4202496 9007 0 1 0 50 2 0 0 20 0 18 0 254029802 9787813888 11629 33554432000 1073741824 1073778376 140733217424704 140733217415840 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/15165/statm: 2389603 11629 2215 9 0 2380296 0 Current children cumulated CPU time (s) 0.52 Current children cumulated vsize (KiB) 9558412 [startup+0.700294 s] /proc/loadavg: 2.29 2.10 2.03 4/194 15165 /proc/meminfo: memFree=28541316/32873844 swapFree=7104/7104 [pid=15165] ppid=15163 vsize=9624976 CPUtime=1.6 cores=1,3,5,7 /proc/15165/stat : 15165 (java) S 15163 15165 14581 0 -1 4202496 10824 0 1 0 157 3 0 0 20 0 19 0 254029802 9855975424 15660 33554432000 1073741824 1073778376 140733217424704 140733217415840 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/15165/statm: 2406244 15660 2257 9 0 2396937 0 Current children cumulated CPU time (s) 1.6 Current children cumulated vsize (KiB) 9624976 [startup+1.5008 s] /proc/loadavg: 2.29 2.10 2.03 4/213 15184 /proc/meminfo: memFree=28483656/32873844 swapFree=7104/7104 [pid=15165] ppid=15163 vsize=9624976 CPUtime=2.46 cores=1,3,5,7 /proc/15165/stat : 15165 (java) S 15163 15165 14581 0 -1 4202496 10832 0 1 0 243 3 0 0 20 0 19 0 254029802 9855975424 18734 33554432000 1073741824 1073778376 140733217424704 140733217415840 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/15165/statm: 2406244 18734 2259 9 0 2396937 0 [pid=15165/tid=15167] ppid=15163 vsize=9624976 CPUtime=1.46 cores=1,3,5,7 /proc/15165/task/15167/stat : 15167 (java) R 15163 15165 14581 0 -1 4202560 2527 0 1 0 144 2 0 0 20 0 19 0 254029804 9855975424 18734 33554432000 1073741824 1073778376 140733217424704 140534688690808 140534561963755 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=15165/tid=15168] ppid=15163 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/15165/task/15168/stat : 15168 (java) S 15163 15165 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254029805 9855975424 18734 33554432000 1073741824 1073778376 140733217424704 140534532733352 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=15165/tid=15169] ppid=15163 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/15165/task/15169/stat : 15169 (java) S 15163 15165 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254029805 9855975424 18734 33554432000 1073741824 1073778376 140733217424704 140534531680808 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=15165/tid=15170] ppid=15163 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/15165/task/15170/stat : 15170 (java) S 15163 15165 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254029805 9855975424 18734 33554432000 1073741824 1073778376 140733217424704 140534530627752 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=15165/tid=15171] ppid=15163 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/15165/task/15171/stat : 15171 (java) S 15163 15165 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254029805 9855975424 18734 33554432000 1073741824 1073778376 140733217424704 140534529575208 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=15165/tid=15172] ppid=15163 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/15165/task/15172/stat : 15172 (java) S 15163 15165 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254029805 9855975424 18734 33554432000 1073741824 1073778376 140733217424704 140534528523176 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=15165/tid=15173] ppid=15163 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/15165/task/15173/stat : 15173 (java) S 15163 15165 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254029805 9855975424 18734 33554432000 1073741824 1073778376 140733217424704 140534527470632 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=15165/tid=15174] ppid=15163 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/15165/task/15174/stat : 15174 (java) S 15163 15165 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254029805 9855975424 18734 33554432000 1073741824 1073778376 140733217424704 140534526417576 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=15165/tid=15175] ppid=15163 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/15165/task/15175/stat : 15175 (java) S 15163 15165 14581 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254029805 9855975424 18734 33554432000 1073741824 1073778376 140733217424704 140534525365032 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=15165/tid=15176] ppid=15163 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/15165/task/15176/stat : 15176 (java) S 15163 15165 14581 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 254029807 9855975424 18734 33554432000 1073741824 1073778376 140733217424704 140534512953704 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=15165/tid=15177] ppid=15163 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/15165/task/15177/stat : 15177 (java) S 15163 15165 14581 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 254029807 9855975424 18734 33554432000 1073741824 1073778376 140733217424704 140534511900024 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=15165/tid=15178] ppid=15163 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/15165/task/15178/stat : 15178 (java) S 15163 15165 14581 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254029807 9855975424 18734 33554432000 1073741824 1073778376 140733217424704 140534510846856 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=15165/tid=15179] ppid=15163 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/15165/task/15179/stat : 15179 (java) S 15163 15165 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254029810 9855975424 18734 33554432000 1073741824 1073778376 140733217424704 140534509795600 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=15165/tid=15180] ppid=15163 vsize=9624976 CPUtime=0.49 cores=1,3,5,7 /proc/15165/task/15180/stat : 15180 (java) S 15163 15165 14581 0 -1 4202560 2688 0 0 0 49 0 0 0 20 0 19 0 254029810 9855975424 18734 33554432000 1073741824 1073778376 140733217424704 140534508743480 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=15165/tid=15181] ppid=15163 vsize=9624976 CPUtime=0.47 cores=1,3,5,7 /proc/15165/task/15181/stat : 15181 (java) S 15163 15165 14581 0 -1 4202560 4417 0 0 0 47 0 0 0 20 0 19 0 254029810 9855975424 18734 33554432000 1073741824 1073778376 140733217424704 140534507690936 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=15165/tid=15182] ppid=15163 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/15165/task/15182/stat : 15182 (java) S 15163 15165 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254029810 9855975424 18734 33554432000 1073741824 1073778376 140733217424704 140534506638072 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=15165/tid=15183] ppid=15163 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/15165/task/15183/stat : 15183 (java) S 15163 15165 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254029810 9855975424 18734 33554432000 1073741824 1073778376 140733217424704 140534505585736 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=15165/tid=15184] ppid=15163 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/15165/task/15184/stat : 15184 (java) S 15163 15165 14581 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254029846 9855975424 18734 33554432000 1073741824 1073778376 140733217424704 140534504530984 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 2.46 Current children cumulated vsize (KiB) 9624976 [startup+3.10066 s] /proc/loadavg: 2.29 2.10 2.03 3/213 15184 /proc/meminfo: memFree=28466776/32873844 swapFree=7104/7104 [pid=15165] ppid=15163 vsize=9624976 CPUtime=4.14 cores=1,3,5,7 /proc/15165/stat : 15165 (java) S 15163 15165 14581 0 -1 4202496 10903 0 1 0 410 4 0 0 20 0 19 0 254029802 9855975424 25946 33554432000 1073741824 1073778376 140733217424704 140733217415840 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/15165/statm: 2406244 25946 2284 9 0 2396937 0 [pid=15165/tid=15167] ppid=15163 vsize=9624976 CPUtime=3.02 cores=1,3,5,7 /proc/15165/task/15167/stat : 15167 (java) R 15163 15165 14581 0 -1 4202560 2535 0 1 0 300 2 0 0 20 0 19 0 254029804 9855975424 25946 33554432000 1073741824 1073778376 140733217424704 140534688690552 140534561963741 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=15165/tid=15168] ppid=15163 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/15165/task/15168/stat : 15168 (java) S 15163 15165 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254029805 9855975424 25946 33554432000 1073741824 1073778376 140733217424704 140534532733352 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=15165/tid=15169] ppid=15163 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/15165/task/15169/stat : 15169 (java) S 15163 15165 14581 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254029805 9855975424 25946 33554432000 1073741824 1073778376 140733217424704 140534531680808 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=15165/tid=15170] ppid=15163 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/15165/task/15170/stat : 15170 (java) S 15163 15165 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254029805 9855975424 25946 33554432000 1073741824 1073778376 140733217424704 140534530627752 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=15165/tid=15171] ppid=15163 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/15165/task/15171/stat : 15171 (java) S 15163 15165 14581 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 254029805 9855975424 25946 33554432000 1073741824 1073778376 140733217424704 140534529575208 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=15165/tid=15172] ppid=15163 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/15165/task/15172/stat : 15172 (java) S 15163 15165 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254029805 9855975424 25946 33554432000 1073741824 1073778376 140733217424704 140534528523176 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=15165/tid=15173] ppid=15163 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/15165/task/15173/stat : 15173 (java) S 15163 15165 14581 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254029805 9855975424 25946 33554432000 1073741824 1073778376 140733217424704 140534527470632 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=15165/tid=15174] ppid=15163 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/15165/task/15174/stat : 15174 (java) S 15163 15165 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254029805 9855975424 25946 33554432000 1073741824 1073778376 140733217424704 140534526417576 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=15165/tid=15175] ppid=15163 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/15165/task/15175/stat : 15175 (java) S 15163 15165 14581 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254029805 9855975424 25946 33554432000 1073741824 1073778376 140733217424704 140534525365032 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=15165/tid=15176] ppid=15163 vsize=9624976 CPUtime=0.01 cores=1,3,5,7 /proc/15165/task/15176/stat : 15176 (java) S 15163 15165 14581 0 -1 4202560 34 0 0 0 1 0 0 0 20 0 19 0 254029807 9855975424 25946 33554432000 1073741824 1073778376 140733217424704 140534512953704 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=15165/tid=15177] ppid=15163 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/15165/task/15177/stat : 15177 (java) S 15163 15165 14581 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254029807 9855975424 25946 33554432000 1073741824 1073778376 140733217424704 140534511900024 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=15165/tid=15178] ppid=15163 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/15165/task/15178/stat : 15178 (java) S 15163 15165 14581 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254029807 9855975424 25946 33554432000 1073741824 1073778376 140733217424704 140534510846856 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=15165/tid=15179] ppid=15163 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/15165/task/15179/stat : 15179 (java) S 15163 15165 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254029810 9855975424 25946 33554432000 1073741824 1073778376 140733217424704 140534509795600 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=15165/tid=15180] ppid=15163 vsize=9624976 CPUtime=0.52 cores=1,3,5,7 /proc/15165/task/15180/stat : 15180 (java) S 15163 15165 14581 0 -1 4202560 2690 0 0 0 52 0 0 0 20 0 19 0 254029810 9855975424 25946 33554432000 1073741824 1073778376 140733217424704 140534508743480 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=15165/tid=15181] ppid=15163 vsize=9624976 CPUtime=0.52 cores=1,3,5,7 /proc/15165/task/15181/stat : 15181 (java) S 15163 15165 14581 0 -1 4202560 4422 0 0 0 52 0 0 0 20 0 19 0 254029810 9855975424 25946 33554432000 1073741824 1073778376 140733217424704 140534507690936 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=15165/tid=15182] ppid=15163 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/15165/task/15182/stat : 15182 (java) S 15163 15165 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254029810 9855975424 25946 33554432000 1073741824 1073778376 140733217424704 140534506638072 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=15165/tid=15183] ppid=15163 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/15165/task/15183/stat : 15183 (java) S 15163 15165 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254029810 9855975424 25946 33554432000 1073741824 1073778376 140733217424704 140534505585736 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=15165/tid=15184] ppid=15163 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/15165/task/15184/stat : 15184 (java) S 15163 15165 14581 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254029846 9855975424 25946 33554432000 1073741824 1073778376 140733217424704 140534504530984 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 4.14 Current children cumulated vsize (KiB) 9624976 [startup+6.30069 s] /proc/loadavg: 2.26 2.10 2.03 3/213 15184 /proc/meminfo: memFree=28440400/32873844 swapFree=7104/7104 [pid=15165] ppid=15163 vsize=9624976 CPUtime=7.55 cores=1,3,5,7 /proc/15165/stat : 15165 (java) S 15163 15165 14581 0 -1 4202496 10934 0 1 0 750 5 0 0 20 0 19 0 254029802 9855975424 27910 33554432000 1073741824 1073778376 140733217424704 140733217415840 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/15165/statm: 2406244 27910 2284 9 0 2396937 0 [pid=15165/tid=15167] ppid=15163 vsize=9624976 CPUtime=6.16 cores=1,3,5,7 /proc/15165/task/15167/stat : 15167 (java) R 15163 15165 14581 0 -1 4202560 2538 0 1 0 614 2 0 0 20 0 19 0 254029804 9855975424 27910 33554432000 1073741824 1073778376 140733217424704 140534688690464 140534561963666 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=15165/tid=15168] ppid=15163 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/15165/task/15168/stat : 15168 (java) S 15163 15165 14581 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254029805 9855975424 27910 33554432000 1073741824 1073778376 140733217424704 140534532733352 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=15165/tid=15169] ppid=15163 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/15165/task/15169/stat : 15169 (java) S 15163 15165 14581 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 254029805 9855975424 27910 33554432000 1073741824 1073778376 140733217424704 140534531680808 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=15165/tid=15170] ppid=15163 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/15165/task/15170/stat : 15170 (java) S 15163 15165 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254029805 9855975424 27910 33554432000 1073741824 1073778376 140733217424704 140534530627752 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=15165/tid=15171] ppid=15163 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/15165/task/15171/stat : 15171 (java) S 15163 15165 14581 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 254029805 9855975424 27910 33554432000 1073741824 1073778376 140733217424704 140534529575208 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=15165/tid=15172] ppid=15163 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/15165/task/15172/stat : 15172 (java) S 15163 15165 14581 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254029805 9855975424 27910 33554432000 1073741824 1073778376 140733217424704 140534528523176 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=15165/tid=15173] ppid=15163 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/15165/task/15173/stat : 15173 (java) S 15163 15165 14581 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 254029805 9855975424 27910 33554432000 1073741824 1073778376 140733217424704 140534527470632 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=15165/tid=15174] ppid=15163 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/15165/task/15174/stat : 15174 (java) S 15163 15165 14581 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 254029805 9855975424 27910 33554432000 1073741824 1073778376 140733217424704 140534526417576 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=15165/tid=15175] ppid=15163 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/15165/task/15175/stat : 15175 (java) S 15163 15165 14581 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254029805 9855975424 27910 33554432000 1073741824 1073778376 140733217424704 140534525365032 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=15165/tid=15176] ppid=15163 vsize=9624976 CPUtime=0.05 cores=1,3,5,7 /proc/15165/task/15176/stat : 15176 (java) S 15163 15165 14581 0 -1 4202560 34 0 0 0 5 0 0 0 20 0 19 0 254029807 9855975424 27910 33554432000 1073741824 1073778376 140733217424704 140534512953704 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=15165/tid=15177] ppid=15163 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/15165/task/15177/stat : 15177 (java) S 15163 15165 14581 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254029807 9855975424 27910 33554432000 1073741824 1073778376 140733217424704 140534511900024 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=15165/tid=15178] ppid=15163 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/15165/task/15178/stat : 15178 (java) S 15163 15165 14581 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254029807 9855975424 27910 33554432000 1073741824 1073778376 140733217424704 140534510846856 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=15165/tid=15179] ppid=15163 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/15165/task/15179/stat : 15179 (java) S 15163 15165 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254029810 9855975424 27910 33554432000 1073741824 1073778376 140733217424704 140534509795600 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=15165/tid=15180] ppid=15163 vsize=9624976 CPUtime=0.6 cores=1,3,5,7 /proc/15165/task/15180/stat : 15180 (java) S 15163 15165 14581 0 -1 4202560 2691 0 0 0 60 0 0 0 20 0 19 0 254029810 9855975424 27910 33554432000 1073741824 1073778376 140733217424704 140534508743480 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=15165/tid=15181] ppid=15163 vsize=9624976 CPUtime=0.62 cores=1,3,5,7 /proc/15165/task/15181/stat : 15181 (java) S 15163 15165 14581 0 -1 4202560 4422 0 0 0 62 0 0 0 20 0 19 0 254029810 9855975424 27910 33554432000 1073741824 1073778376 140733217424704 140534507690936 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=15165/tid=15182] ppid=15163 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/15165/task/15182/stat : 15182 (java) S 15163 15165 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254029810 9855975424 27910 33554432000 1073741824 1073778376 140733217424704 140534506638072 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=15165/tid=15183] ppid=15163 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/15165/task/15183/stat : 15183 (java) S 15163 15165 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254029810 9855975424 27910 33554432000 1073741824 1073778376 140733217424704 140534505585736 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=15165/tid=15184] ppid=15163 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/15165/task/15184/stat : 15184 (java) S 15163 15165 14581 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254029846 9855975424 27910 33554432000 1073741824 1073778376 140733217424704 140534504530984 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 7.55 Current children cumulated vsize (KiB) 9624976 [startup+12.7008 s] ################ # More data... # ################ [pid=15165/tid=15180] ppid=15163 vsize=9624976 CPUtime=1.59 cores=1,3,5,7 /proc/15165/task/15180/stat : 15180 (java) S 15163 15165 14581 0 -1 4202560 11891 0 0 0 157 2 0 0 20 0 19 0 254029810 9855975424 90985 33554432000 1073741824 1073778376 140733217424704 140534508743480 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=15165/tid=15181] ppid=15163 vsize=9624976 CPUtime=0.74 cores=1,3,5,7 /proc/15165/task/15181/stat : 15181 (java) S 15163 15165 14581 0 -1 4202560 4433 0 0 0 74 0 0 0 20 0 19 0 254029810 9855975424 90985 33554432000 1073741824 1073778376 140733217424704 140534507690936 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=15165/tid=15182] ppid=15163 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/15165/task/15182/stat : 15182 (java) S 15163 15165 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254029810 9855975424 90985 33554432000 1073741824 1073778376 140733217424704 140534506638072 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=15165/tid=15183] ppid=15163 vsize=9624976 CPUtime=0.56 cores=1,3,5,7 /proc/15165/task/15183/stat : 15183 (java) S 15163 15165 14581 0 -1 4202560 98 0 0 0 32 24 0 0 20 0 19 0 254029810 9855975424 90985 33554432000 1073741824 1073778376 140733217424704 140534505585736 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=15165/tid=15184] ppid=15163 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/15165/task/15184/stat : 15184 (java) S 15163 15165 14581 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254029846 9855975424 90985 33554432000 1073741824 1073778376 140733217424704 140534504530984 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1734.08 Current children cumulated vsize (KiB) 9624976 [startup+1782.3 s] /proc/loadavg: 1.98 1.96 1.97 3/213 15259 /proc/meminfo: memFree=28149084/32873844 swapFree=7104/7104 [pid=15165] ppid=15163 vsize=9624976 CPUtime=1794.74 cores=1,3,5,7 /proc/15165/stat : 15165 (java) S 15163 15165 14581 0 -1 4202496 22195 0 1 0 179380 94 0 0 20 0 19 0 254029802 9855975424 89412 33554432000 1073741824 1073778376 140733217424704 140733217415840 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/15165/statm: 2406244 89412 2285 9 0 2396937 0 [pid=15165/tid=15167] ppid=15163 vsize=9624976 CPUtime=1763.1 cores=1,3,5,7 /proc/15165/task/15167/stat : 15167 (java) R 15163 15165 14581 0 -1 4202560 2886 0 1 0 176279 31 0 0 20 0 19 0 254029804 9855975424 89412 33554432000 1073741824 1073778376 140733217424704 140534688689504 140534561531824 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=15165/tid=15168] ppid=15163 vsize=9624976 CPUtime=1.7 cores=1,3,5,7 /proc/15165/task/15168/stat : 15168 (java) S 15163 15165 14581 0 -1 4202560 255 0 0 0 165 5 0 0 20 0 19 0 254029805 9855975424 89412 33554432000 1073741824 1073778376 140733217424704 140534532733352 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=15165/tid=15169] ppid=15163 vsize=9624976 CPUtime=1.84 cores=1,3,5,7 /proc/15165/task/15169/stat : 15169 (java) S 15163 15165 14581 0 -1 4202560 241 0 0 0 177 7 0 0 20 0 19 0 254029805 9855975424 89412 33554432000 1073741824 1073778376 140733217424704 140534531680808 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=15165/tid=15170] ppid=15163 vsize=9624976 CPUtime=1.71 cores=1,3,5,7 /proc/15165/task/15170/stat : 15170 (java) S 15163 15165 14581 0 -1 4202560 254 0 0 0 165 6 0 0 20 0 19 0 254029805 9855975424 89412 33554432000 1073741824 1073778376 140733217424704 140534530627752 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=15165/tid=15171] ppid=15163 vsize=9624976 CPUtime=1.66 cores=1,3,5,7 /proc/15165/task/15171/stat : 15171 (java) S 15163 15165 14581 0 -1 4202560 270 0 0 0 161 5 0 0 20 0 19 0 254029805 9855975424 89412 33554432000 1073741824 1073778376 140733217424704 140534529575208 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=15165/tid=15172] ppid=15163 vsize=9624976 CPUtime=1.66 cores=1,3,5,7 /proc/15165/task/15172/stat : 15172 (java) S 15163 15165 14581 0 -1 4202560 177 0 0 0 162 4 0 0 20 0 19 0 254029805 9855975424 89412 33554432000 1073741824 1073778376 140733217424704 140534528523176 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=15165/tid=15173] ppid=15163 vsize=9624976 CPUtime=1.65 cores=1,3,5,7 /proc/15165/task/15173/stat : 15173 (java) S 15163 15165 14581 0 -1 4202560 92 0 0 0 159 6 0 0 20 0 19 0 254029805 9855975424 89412 33554432000 1073741824 1073778376 140733217424704 140534527470632 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=15165/tid=15174] ppid=15163 vsize=9624976 CPUtime=1.6 cores=1,3,5,7 /proc/15165/task/15174/stat : 15174 (java) S 15163 15165 14581 0 -1 4202560 83 0 0 0 155 5 0 0 20 0 19 0 254029805 9855975424 89412 33554432000 1073741824 1073778376 140733217424704 140534526417576 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=15165/tid=15175] ppid=15163 vsize=9624976 CPUtime=1.74 cores=1,3,5,7 /proc/15165/task/15175/stat : 15175 (java) S 15163 15165 14581 0 -1 4202560 90 0 0 0 168 6 0 0 20 0 19 0 254029805 9855975424 89412 33554432000 1073741824 1073778376 140733217424704 140534525365032 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=15165/tid=15176] ppid=15163 vsize=9624976 CPUtime=10.47 cores=1,3,5,7 /proc/15165/task/15176/stat : 15176 (java) S 15163 15165 14581 0 -1 4202560 235 0 0 0 1043 4 0 0 20 0 19 0 254029807 9855975424 89412 33554432000 1073741824 1073778376 140733217424704 140534512953704 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=15165/tid=15177] ppid=15163 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/15165/task/15177/stat : 15177 (java) S 15163 15165 14581 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254029807 9855975424 89412 33554432000 1073741824 1073778376 140733217424704 140534511900024 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=15165/tid=15178] ppid=15163 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/15165/task/15178/stat : 15178 (java) S 15163 15165 14581 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254029807 9855975424 89412 33554432000 1073741824 1073778376 140733217424704 140534510846856 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=15165/tid=15179] ppid=15163 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/15165/task/15179/stat : 15179 (java) S 15163 15165 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254029810 9855975424 89412 33554432000 1073741824 1073778376 140733217424704 140534509795600 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=15165/tid=15180] ppid=15163 vsize=9624976 CPUtime=1.59 cores=1,3,5,7 /proc/15165/task/15180/stat : 15180 (java) S 15163 15165 14581 0 -1 4202560 11891 0 0 0 157 2 0 0 20 0 19 0 254029810 9855975424 89412 33554432000 1073741824 1073778376 140733217424704 140534508743480 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=15165/tid=15181] ppid=15163 vsize=9624976 CPUtime=0.74 cores=1,3,5,7 /proc/15165/task/15181/stat : 15181 (java) S 15163 15165 14581 0 -1 4202560 4433 0 0 0 74 0 0 0 20 0 19 0 254029810 9855975424 89412 33554432000 1073741824 1073778376 140733217424704 140534507690936 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=15165/tid=15182] ppid=15163 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/15165/task/15182/stat : 15182 (java) S 15163 15165 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254029810 9855975424 89412 33554432000 1073741824 1073778376 140733217424704 140534506638072 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=15165/tid=15183] ppid=15163 vsize=9624976 CPUtime=0.59 cores=1,3,5,7 /proc/15165/task/15183/stat : 15183 (java) S 15163 15165 14581 0 -1 4202560 102 0 0 0 33 26 0 0 20 0 19 0 254029810 9855975424 89412 33554432000 1073741824 1073778376 140733217424704 140534505585736 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=15165/tid=15184] ppid=15163 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/15165/task/15184/stat : 15184 (java) S 15163 15165 14581 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254029846 9855975424 89412 33554432000 1073741824 1073778376 140733217424704 140534504530984 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1794.74 Current children cumulated vsize (KiB) 9624976 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1787.51 s] /proc/loadavg: 1.98 1.96 1.97 3/213 15259 /proc/meminfo: memFree=28160868/32873844 swapFree=7104/7104 [pid=15165] ppid=15163 vsize=9624976 CPUtime=1800.01 cores=1,3,5,7 /proc/15165/stat : 15165 (java) S 15163 15165 14581 0 -1 4202496 22196 0 1 0 179906 95 0 0 20 0 19 0 254029802 9855975424 88626 33554432000 1073741824 1073778376 140733217424704 140733217415840 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/15165/statm: 2406244 88626 2285 9 0 2396937 0 [pid=15165/tid=15167] ppid=15163 vsize=9624976 CPUtime=1768.27 cores=1,3,5,7 /proc/15165/task/15167/stat : 15167 (java) R 15163 15165 14581 0 -1 4202560 2887 0 1 0 176796 31 0 0 20 0 19 0 254029804 9855975424 88626 33554432000 1073741824 1073778376 140733217424704 140534688689504 140534561974390 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=15165/tid=15168] ppid=15163 vsize=9624976 CPUtime=1.7 cores=1,3,5,7 /proc/15165/task/15168/stat : 15168 (java) S 15163 15165 14581 0 -1 4202560 255 0 0 0 165 5 0 0 20 0 19 0 254029805 9855975424 88626 33554432000 1073741824 1073778376 140733217424704 140534532733352 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=15165/tid=15169] ppid=15163 vsize=9624976 CPUtime=1.85 cores=1,3,5,7 /proc/15165/task/15169/stat : 15169 (java) S 15163 15165 14581 0 -1 4202560 241 0 0 0 178 7 0 0 20 0 19 0 254029805 9855975424 88626 33554432000 1073741824 1073778376 140733217424704 140534531680808 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=15165/tid=15170] ppid=15163 vsize=9624976 CPUtime=1.73 cores=1,3,5,7 /proc/15165/task/15170/stat : 15170 (java) S 15163 15165 14581 0 -1 4202560 254 0 0 0 167 6 0 0 20 0 19 0 254029805 9855975424 88626 33554432000 1073741824 1073778376 140733217424704 140534530627752 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=15165/tid=15171] ppid=15163 vsize=9624976 CPUtime=1.67 cores=1,3,5,7 /proc/15165/task/15171/stat : 15171 (java) S 15163 15165 14581 0 -1 4202560 270 0 0 0 162 5 0 0 20 0 19 0 254029805 9855975424 88626 33554432000 1073741824 1073778376 140733217424704 140534529575208 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=15165/tid=15172] ppid=15163 vsize=9624976 CPUtime=1.66 cores=1,3,5,7 /proc/15165/task/15172/stat : 15172 (java) S 15163 15165 14581 0 -1 4202560 177 0 0 0 162 4 0 0 20 0 19 0 254029805 9855975424 88626 33554432000 1073741824 1073778376 140733217424704 140534528523176 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=15165/tid=15173] ppid=15163 vsize=9624976 CPUtime=1.66 cores=1,3,5,7 /proc/15165/task/15173/stat : 15173 (java) S 15163 15165 14581 0 -1 4202560 92 0 0 0 160 6 0 0 20 0 19 0 254029805 9855975424 88626 33554432000 1073741824 1073778376 140733217424704 140534527470632 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=15165/tid=15174] ppid=15163 vsize=9624976 CPUtime=1.6 cores=1,3,5,7 /proc/15165/task/15174/stat : 15174 (java) S 15163 15165 14581 0 -1 4202560 83 0 0 0 155 5 0 0 20 0 19 0 254029805 9855975424 88626 33554432000 1073741824 1073778376 140733217424704 140534526417576 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=15165/tid=15175] ppid=15163 vsize=9624976 CPUtime=1.76 cores=1,3,5,7 /proc/15165/task/15175/stat : 15175 (java) S 15163 15165 14581 0 -1 4202560 90 0 0 0 170 6 0 0 20 0 19 0 254029805 9855975424 88626 33554432000 1073741824 1073778376 140733217424704 140534525365032 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=15165/tid=15176] ppid=15163 vsize=9624976 CPUtime=10.47 cores=1,3,5,7 /proc/15165/task/15176/stat : 15176 (java) S 15163 15165 14581 0 -1 4202560 235 0 0 0 1043 4 0 0 20 0 19 0 254029807 9855975424 88626 33554432000 1073741824 1073778376 140733217424704 140534512953704 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=15165/tid=15177] ppid=15163 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/15165/task/15177/stat : 15177 (java) S 15163 15165 14581 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254029807 9855975424 88626 33554432000 1073741824 1073778376 140733217424704 140534511900024 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=15165/tid=15178] ppid=15163 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/15165/task/15178/stat : 15178 (java) S 15163 15165 14581 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254029807 9855975424 88626 33554432000 1073741824 1073778376 140733217424704 140534510846856 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=15165/tid=15179] ppid=15163 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/15165/task/15179/stat : 15179 (java) S 15163 15165 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254029810 9855975424 88626 33554432000 1073741824 1073778376 140733217424704 140534509795600 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=15165/tid=15180] ppid=15163 vsize=9624976 CPUtime=1.59 cores=1,3,5,7 /proc/15165/task/15180/stat : 15180 (java) S 15163 15165 14581 0 -1 4202560 11891 0 0 0 157 2 0 0 20 0 19 0 254029810 9855975424 88626 33554432000 1073741824 1073778376 140733217424704 140534508743480 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=15165/tid=15181] ppid=15163 vsize=9624976 CPUtime=0.74 cores=1,3,5,7 /proc/15165/task/15181/stat : 15181 (java) S 15163 15165 14581 0 -1 4202560 4433 0 0 0 74 0 0 0 20 0 19 0 254029810 9855975424 88626 33554432000 1073741824 1073778376 140733217424704 140534507690936 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=15165/tid=15182] ppid=15163 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/15165/task/15182/stat : 15182 (java) S 15163 15165 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254029810 9855975424 88626 33554432000 1073741824 1073778376 140733217424704 140534506638072 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=15165/tid=15183] ppid=15163 vsize=9624976 CPUtime=0.59 cores=1,3,5,7 /proc/15165/task/15183/stat : 15183 (java) S 15163 15165 14581 0 -1 4202560 102 0 0 0 33 26 0 0 20 0 19 0 254029810 9855975424 88626 33554432000 1073741824 1073778376 140733217424704 140534505585736 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=15165/tid=15184] ppid=15163 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/15165/task/15184/stat : 15184 (java) S 15163 15165 14581 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254029846 9855975424 88626 33554432000 1073741824 1073778376 140733217424704 140534504530984 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 9624976 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1787.51 s] /proc/loadavg: 1.98 1.96 1.97 3/213 15259 /proc/meminfo: memFree=28160868/32873844 swapFree=7104/7104 [pid=15165] ppid=15163 vsize=9624976 CPUtime=1800.01 cores=1,3,5,7 /proc/15165/stat : 15165 (java) S 15163 15165 14581 0 -1 4202496 22196 0 1 0 179906 95 0 0 20 0 19 0 254029802 9855975424 88626 33554432000 1073741824 1073778376 140733217424704 140733217415840 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/15165/statm: 2406244 88626 2285 9 0 2396937 0 [pid=15165/tid=15167] ppid=15163 vsize=9624976 CPUtime=1768.27 cores=1,3,5,7 /proc/15165/task/15167/stat : 15167 (java) R 15163 15165 14581 0 -1 4202560 2887 0 1 0 176796 31 0 0 20 0 19 0 254029804 9855975424 88626 33554432000 1073741824 1073778376 140733217424704 140534688689504 140534561974390 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=15165/tid=15168] ppid=15163 vsize=9624976 CPUtime=1.7 cores=1,3,5,7 /proc/15165/task/15168/stat : 15168 (java) S 15163 15165 14581 0 -1 4202560 255 0 0 0 165 5 0 0 20 0 19 0 254029805 9855975424 88626 33554432000 1073741824 1073778376 140733217424704 140534532733352 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=15165/tid=15169] ppid=15163 vsize=9624976 CPUtime=1.85 cores=1,3,5,7 /proc/15165/task/15169/stat : 15169 (java) S 15163 15165 14581 0 -1 4202560 241 0 0 0 178 7 0 0 20 0 19 0 254029805 9855975424 88626 33554432000 1073741824 1073778376 140733217424704 140534531680808 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=15165/tid=15170] ppid=15163 vsize=9624976 CPUtime=1.73 cores=1,3,5,7 /proc/15165/task/15170/stat : 15170 (java) S 15163 15165 14581 0 -1 4202560 254 0 0 0 167 6 0 0 20 0 19 0 254029805 9855975424 88626 33554432000 1073741824 1073778376 140733217424704 140534530627752 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=15165/tid=15171] ppid=15163 vsize=9624976 CPUtime=1.67 cores=1,3,5,7 /proc/15165/task/15171/stat : 15171 (java) S 15163 15165 14581 0 -1 4202560 270 0 0 0 162 5 0 0 20 0 19 0 254029805 9855975424 88626 33554432000 1073741824 1073778376 140733217424704 140534529575208 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=15165/tid=15172] ppid=15163 vsize=9624976 CPUtime=1.66 cores=1,3,5,7 /proc/15165/task/15172/stat : 15172 (java) S 15163 15165 14581 0 -1 4202560 177 0 0 0 162 4 0 0 20 0 19 0 254029805 9855975424 88626 33554432000 1073741824 1073778376 140733217424704 140534528523176 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=15165/tid=15173] ppid=15163 vsize=9624976 CPUtime=1.66 cores=1,3,5,7 /proc/15165/task/15173/stat : 15173 (java) S 15163 15165 14581 0 -1 4202560 92 0 0 0 160 6 0 0 20 0 19 0 254029805 9855975424 88626 33554432000 1073741824 1073778376 140733217424704 140534527470632 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=15165/tid=15174] ppid=15163 vsize=9624976 CPUtime=1.6 cores=1,3,5,7 /proc/15165/task/15174/stat : 15174 (java) S 15163 15165 14581 0 -1 4202560 83 0 0 0 155 5 0 0 20 0 19 0 254029805 9855975424 88626 33554432000 1073741824 1073778376 140733217424704 140534526417576 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=15165/tid=15175] ppid=15163 vsize=9624976 CPUtime=1.76 cores=1,3,5,7 /proc/15165/task/15175/stat : 15175 (java) S 15163 15165 14581 0 -1 4202560 90 0 0 0 170 6 0 0 20 0 19 0 254029805 9855975424 88626 33554432000 1073741824 1073778376 140733217424704 140534525365032 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=15165/tid=15176] ppid=15163 vsize=9624976 CPUtime=10.47 cores=1,3,5,7 /proc/15165/task/15176/stat : 15176 (java) S 15163 15165 14581 0 -1 4202560 235 0 0 0 1043 4 0 0 20 0 19 0 254029807 9855975424 88626 33554432000 1073741824 1073778376 140733217424704 140534512953704 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=15165/tid=15177] ppid=15163 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/15165/task/15177/stat : 15177 (java) S 15163 15165 14581 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254029807 9855975424 88626 33554432000 1073741824 1073778376 140733217424704 140534511900024 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=15165/tid=15178] ppid=15163 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/15165/task/15178/stat : 15178 (java) S 15163 15165 14581 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254029807 9855975424 88626 33554432000 1073741824 1073778376 140733217424704 140534510846856 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=15165/tid=15179] ppid=15163 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/15165/task/15179/stat : 15179 (java) S 15163 15165 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254029810 9855975424 88626 33554432000 1073741824 1073778376 140733217424704 140534509795600 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=15165/tid=15180] ppid=15163 vsize=9624976 CPUtime=1.59 cores=1,3,5,7 /proc/15165/task/15180/stat : 15180 (java) S 15163 15165 14581 0 -1 4202560 11891 0 0 0 157 2 0 0 20 0 19 0 254029810 9855975424 88626 33554432000 1073741824 1073778376 140733217424704 140534508743480 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=15165/tid=15181] ppid=15163 vsize=9624976 CPUtime=0.74 cores=1,3,5,7 /proc/15165/task/15181/stat : 15181 (java) S 15163 15165 14581 0 -1 4202560 4433 0 0 0 74 0 0 0 20 0 19 0 254029810 9855975424 88626 33554432000 1073741824 1073778376 140733217424704 140534507690936 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=15165/tid=15182] ppid=15163 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/15165/task/15182/stat : 15182 (java) S 15163 15165 14581 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254029810 9855975424 88626 33554432000 1073741824 1073778376 140733217424704 140534506638072 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=15165/tid=15183] ppid=15163 vsize=9624976 CPUtime=0.59 cores=1,3,5,7 /proc/15165/task/15183/stat : 15183 (java) S 15163 15165 14581 0 -1 4202560 102 0 0 0 33 26 0 0 20 0 19 0 254029810 9855975424 88626 33554432000 1073741824 1073778376 140733217424704 140534505585736 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=15165/tid=15184] ppid=15163 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/15165/task/15184/stat : 15184 (java) S 15163 15165 14581 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254029846 9855975424 88626 33554432000 1073741824 1073778376 140733217424704 140534504530984 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 9624976 Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 15165 and gives # childrusage.ru_utime.tv_sec=1794 # childrusage.ru_utime.tv_usec=468199 # childrusage.ru_stime.tv_sec=1 # childrusage.ru_stime.tv_usec=223813 # CPU time returned by wait4() is 1795.69 # while last known CPU time is 1800.01 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1787.57 CPU time (s): 1800.01 CPU user time (s): 1799.06 CPU system time (s): 0.95 CPU usage (%): 100.696 Max. virtual memory (cumulated for all children) (KiB): 9624976 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.47 system time used= 1.22381 maximum resident set size= 373096 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 22229 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1728 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 46386 involuntary context switches= 36404 runsolver used 6.54101 second user time and 15.3237 second system time The end
Begin job on node142 at 2012-05-24 19:04:09 IDJOB=3687971 IDBENCH=2513 IDSOLVER=2269 FILE ID=node142/3687971-1337879049 RUNJOBID= node142-1337871882-14598 PBS_JOBID= 14620062 Free space on /tmp= 71664 MiB SOLVER NAME= Sat 4j PB Resolution 2.3.2 Snapshot BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-rout.opb COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3687971-1337879049/watcher-3687971-1337879049 -o /tmp/evaluation-result-3687971-1337879049/solver-3687971-1337879049 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3687971-1337879049.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 00504f72d4d33ef46136a0269c782c15 RANDOM SEED=1516854087 node142.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.776 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.55 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.776 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.776 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 : 5391.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.776 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.92 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.776 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.90 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.776 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.776 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.776 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 28542108 kB Buffers: 220820 kB Cached: 2885456 kB SwapCached: 0 kB Active: 920328 kB Inactive: 2643872 kB Active(anon): 459972 kB Inactive(anon): 0 kB Active(file): 460356 kB Inactive(file): 2643872 kB Unevictable: 7104 kB Mlocked: 7104 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 852 kB Writeback: 0 kB AnonPages: 464064 kB Mapped: 22532 kB Shmem: 200 kB Slab: 629376 kB SReclaimable: 71868 kB SUnreclaim: 557508 kB KernelStack: 1608 kB PageTables: 5172 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 797796 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 428032 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= 71660 MiB End job on node142 at 2012-05-24 19:33:59