Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j PB 2.3.6 Resolution PB16 | SAT (TO) | 66846 | 1800.05 | 1781.66 |
| Name | normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-air06.opb |
| MD5SUM | 56f4f4418400a86463858db6d507606d |
| Bench Category | OPT-MEDINT (optimisation, medium integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 52144 |
| Best CPU time to get the best result obtained on this benchmark | 1800.15 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 49649 |
| Optimality of the best value was proved | YES |
| Number of variables | 8627 |
| Total number of constraints | 825 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 825 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 461 |
| Number of terms in the objective function | 8627 |
| Biggest coefficient in the objective function | 1859 |
| Number of bits for the biggest coefficient in the objective function | 11 |
| Sum of the numbers in the objective function | 4587852 |
| Number of bits of the sum of numbers in the objective function | 23 |
| Biggest number in a constraint | 1859 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 4587852 |
| Number of bits of the biggest sum of numbers | 23 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.09 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.00/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.09 c See www.sat4j.org for details. 0.00/0.09 c version PB16.v20160501 0.00/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.09 c java.vm.version 19.1-b02 0.00/0.09 c java.vm.vendor Sun Microsystems Inc. 0.00/0.09 c sun.arch.data.model 64 0.00/0.09 c java.version 1.6.0_24 0.00/0.09 c os.name Linux 0.00/0.09 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.09 c os.arch amd64 0.00/0.09 c Free memory 501472288 0.00/0.09 c Max memory 7480803328 0.00/0.09 c Total memory 504102912 0.00/0.09 c Number of processors 8 0.08/0.11 c Pseudo Boolean Optimization by upper bound 0.08/0.11 c --- Begin Solver configuration --- 0.08/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2 0.08/0.11 c Learn all clauses as in MiniSAT 0.08/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.08/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.08/0.11 c No reason simplification 0.08/0.11 c Glucose 2.1 dynamic restart strategy 0.08/0.11 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.08/0.11 c timeout=2147483s 0.08/0.11 c DB Simplification allowed=false 0.08/0.11 c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90 0.08/0.11 c --- End Solver configuration --- 0.08/0.12 c solving HOME/instance-4099772-1466206234.opb 0.08/0.12 c reading problem ... 0.08/0.12 c objective function found 0.74/0.43 c ... done. Wall clock time 0.315s. 0.74/0.43 c declared #vars 8627 0.74/0.43 c #constraints 1650 0.74/0.43 c constraints type 0.74/0.43 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 810 0.74/0.43 c org.sat4j.minisat.constraints.cnf.UnitClauses => 6 0.74/0.43 c org.sat4j.specs.Constr$1 => 13 0.74/0.43 c org.sat4j.minisat.constraints.card.MinWatchCard => 810 0.74/0.43 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 8 0.74/0.43 c org.sat4j.minisat.constraints.cnf.UnitClause => 3 0.74/0.43 c 1650 constraints processed. 0.74/0.43 c objective function length is 8627 literals 1.89/1.13 c cleaning 2448 clauses out of 4914 with flag 32391/5001 2.56/1.77 c cleaning 4177 clauses out of 8391 with flag 92991/11000 3.37/2.56 c cleaning 5552 clauses out of 11130 with flag 182342/18000 4.37/3.54 c cleaning 6720 clauses out of 13503 with flag 307788/26000 5.51/4.67 c cleaning 7829 clauses out of 15705 with flag 466453/35000 6.91/6.04 c cleaning 8890 clauses out of 17818 with flag 663079/45000 8.41/7.51 c cleaning 9928 clauses out of 19880 with flag 887209/56006 10.01/9.16 c cleaning 10911 clauses out of 21893 with flag 1145268/68002 11.91/11.02 c cleaning 11953 clauses out of 23936 with flag 1443473/81000 12.21/11.39 c SATISFIABLE 12.21/11.39 c OPTIMIZING... 12.21/11.39 c Got one! Elapsed wall clock time (in seconds):11.272 12.21/11.39 o 73731 13.03/11.92 c cleaning 8677 clauses out of 17463 with flag 72118/86498 13.85/12.73 c cleaning 7253 clauses out of 14768 with flag 196981/92499 14.75/13.60 c cleaning 7207 clauses out of 14492 with flag 318966/99499 15.75/14.65 c cleaning 7550 clauses out of 15267 with flag 463987/107498 16.95/15.87 c cleaning 8273 clauses out of 16694 with flag 627387/116499 18.35/17.24 c cleaning 9128 clauses out of 18400 with flag 822214/126498 19.95/18.81 c cleaning 10081 clauses out of 20242 with flag 1055698/137498 21.65/20.53 c cleaning 11027 clauses out of 22135 with flag 1302646/149498 23.55/22.48 c cleaning 11957 clauses out of 24076 with flag 1583465/162498 25.75/24.66 c cleaning 13036 clauses out of 26105 with flag 1905157/176498 28.25/27.13 c cleaning 13963 clauses out of 28047 with flag 2268222/191498 31.00/29.86 c cleaning 14985 clauses out of 30070 with flag 2685805/207498 33.69/32.58 c cleaning 15937 clauses out of 32066 with flag 3129723/224498 36.90/35.70 c cleaning 16980 clauses out of 34112 with flag 3624085/242500 40.30/39.12 c cleaning 17956 clauses out of 36107 with flag 4159992/261498 43.90/42.77 c cleaning 18945 clauses out of 38128 with flag 4720405/281498 48.01/46.89 c cleaning 19949 clauses out of 40166 with flag 5355128/302504 52.31/51.17 c cleaning 21053 clauses out of 42200 with flag 5982113/324498 57.07/55.86 c cleaning 22006 clauses out of 44133 with flag 6676022/347499 61.78/60.57 c cleaning 22996 clauses out of 46116 with flag 7420058/371498 66.57/65.39 c Got one! Elapsed wall clock time (in seconds):65.279 66.57/65.39 o 71303 68.21/66.84 c cleaning 26006 clauses out of 52179 with flag 189049/400571 69.21/67.89 c cleaning 15911 clauses out of 32170 with flag 366174/406572 70.41/69.04 c cleaning 11460 clauses out of 23254 with flag 528099/413571 71.51/70.12 c cleaning 9737 clauses out of 19784 with flag 624584/421571 72.81/71.40 c cleaning 9451 clauses out of 19034 with flag 713892/430571 74.21/72.86 c cleaning 9706 clauses out of 19575 with flag 810748/440571 75.91/74.56 c cleaning 10375 clauses out of 20862 with flag 926881/451571 77.71/76.32 c cleaning 11177 clauses out of 22480 with flag 1064324/463572 79.71/78.37 c cleaning 12072 clauses out of 24295 with flag 1236496/476571 82.00/80.52 c cleaning 13059 clauses out of 26219 with flag 1444936/490571 84.30/82.81 c cleaning 14041 clauses out of 28154 with flag 1686154/505571 86.90/85.42 c cleaning 15012 clauses out of 30105 with flag 1973186/521572 89.80/88.33 c cleaning 15957 clauses out of 32084 with flag 2301388/538571 92.91/91.41 c cleaning 17005 clauses out of 34119 with flag 2683918/556573 96.11/94.65 c cleaning 17968 clauses out of 36104 with flag 3086735/575574 99.70/98.29 c cleaning 19028 clauses out of 38123 with flag 3526917/595571 103.50/102.07 c cleaning 20019 clauses out of 40086 with flag 4022795/616571 107.82/106.28 c cleaning 20976 clauses out of 42064 with flag 4559362/638571 112.13/110.56 c cleaning 21949 clauses out of 44082 with flag 5153153/661571 116.93/115.35 c cleaning 23056 clauses out of 46127 with flag 5790991/685571 121.93/120.36 c cleaning 23909 clauses out of 48064 with flag 6457540/710571 127.04/125.50 c cleaning 24974 clauses out of 50147 with flag 7163991/736571 130.29/128.51 c Got one! Elapsed wall clock time (in seconds):128.399 130.29/128.51 o 69468 131.47/129.66 c cleaning 22901 clauses out of 45966 with flag 158181/757369 132.47/130.63 c cleaning 14462 clauses out of 29065 with flag 307813/763369 133.47/131.60 c cleaning 9400 clauses out of 21601 with flag 380986/770369 134.57/132.71 c cleaning 7955 clauses out of 20198 with flag 438142/778369 135.77/133.91 c cleaning 9012 clauses out of 21241 with flag 510866/787370 137.18/135.36 c cleaning 9940 clauses out of 22222 with flag 591611/797369 138.79/136.95 c cleaning 10936 clauses out of 23281 with flag 687506/808369 140.50/138.70 c cleaning 11916 clauses out of 24339 with flag 789743/820369 142.39/140.59 c cleaning 12643 clauses out of 25420 with flag 905578/833370 144.59/142.71 c cleaning 13287 clauses out of 26777 with flag 1055852/847371 146.89/145.07 c cleaning 14153 clauses out of 28485 with flag 1237661/862369 149.49/147.59 c cleaning 15101 clauses out of 30326 with flag 1457116/878369 152.38/150.44 c cleaning 16043 clauses out of 32221 with flag 1716398/895369 155.28/153.38 c cleaning 17041 clauses out of 34174 with flag 2011878/913370 158.29/156.30 c Got one! Elapsed wall clock time (in seconds):156.189 158.29/156.30 o 67988 159.34/157.39 c cleaning 20117 clauses out of 40241 with flag 106877/936481 160.33/158.32 c cleaning 12822 clauses out of 26121 with flag 225028/942479 161.23/159.25 c cleaning 7001 clauses out of 20298 with flag 281487/949478 162.43/160.40 c cleaning 8116 clauses out of 21297 with flag 347425/957479 163.63/161.65 c cleaning 8901 clauses out of 22177 with flag 416596/966478 164.93/162.99 c cleaning 10016 clauses out of 23275 with flag 496162/976478 166.73/164.64 c cleaning 10912 clauses out of 24257 with flag 586239/987478 166.88/164.75 c Got one! Elapsed wall clock time (in seconds):164.64 166.88/164.76 o 67610 167.66/165.45 c cleaning 5497 clauses out of 18819 with flag 32225/992956 168.55/166.34 c cleaning 5900 clauses out of 19321 with flag 76690/998956 169.56/167.35 c cleaning 6984 clauses out of 20421 with flag 128040/1005957 170.75/168.58 c cleaning 7961 clauses out of 21437 with flag 192664/1013957 172.05/169.82 c cleaning 9018 clauses out of 22471 with flag 259665/1022956 173.45/171.26 c cleaning 9938 clauses out of 23450 with flag 338785/1032956 175.15/172.93 c cleaning 10969 clauses out of 24510 with flag 433833/1043957 176.85/174.67 c cleaning 11979 clauses out of 25538 with flag 535136/1055957 178.86/176.67 c cleaning 12983 clauses out of 26557 with flag 644273/1068957 181.06/178.80 c cleaning 13670 clauses out of 27572 with flag 766681/1082957 183.47/181.14 c cleaning 14419 clauses out of 28901 with flag 905769/1097957 185.08/182.77 c Got one! Elapsed wall clock time (in seconds):182.657 185.08/182.77 o 67528 185.98/183.65 c cleaning 15101 clauses out of 30352 with flag 63552/1113834 186.88/184.53 c cleaning 7449 clauses out of 21248 with flag 129574/1119833 187.78/185.47 c cleaning 6964 clauses out of 20799 with flag 179425/1126833 188.88/186.58 c cleaning 8062 clauses out of 21834 with flag 242704/1134833 190.18/187.83 c cleaning 8843 clauses out of 22770 with flag 307378/1143833 191.59/189.30 c cleaning 10034 clauses out of 23930 with flag 386645/1153836 193.18/190.82 c cleaning 11022 clauses out of 24892 with flag 475760/1164834 194.89/192.54 c cleaning 11924 clauses out of 25868 with flag 571424/1176833 196.78/194.46 c cleaning 12983 clauses out of 26943 with flag 681200/1189833 198.96/196.55 c cleaning 13900 clauses out of 27960 with flag 804000/1203833 201.26/198.81 c cleaning 14365 clauses out of 29057 with flag 936320/1218833 203.77/201.33 c cleaning 15274 clauses out of 30688 with flag 1113038/1234833 206.56/204.13 c cleaning 16116 clauses out of 32411 with flag 1302644/1251834 209.46/207.09 c cleaning 17051 clauses out of 34294 with flag 1557619/1269835 211.26/208.81 c Got one! Elapsed wall clock time (in seconds):208.698 211.26/208.81 o 67336 212.17/209.72 c cleaning 16604 clauses out of 33329 with flag 92863/1285921 213.07/210.63 c cleaning 8283 clauses out of 22724 with flag 164927/1291921 214.07/211.62 c cleaning 6987 clauses out of 21440 with flag 213996/1298921 215.32/212.82 c cleaning 7943 clauses out of 22452 with flag 274352/1306921 216.52/214.05 c cleaning 8978 clauses out of 23507 with flag 344066/1315921 217.92/215.41 c cleaning 10007 clauses out of 24529 with flag 422972/1325921 219.52/217.02 c cleaning 10990 clauses out of 25520 with flag 508413/1336921 221.32/218.81 c cleaning 11920 clauses out of 26522 with flag 604233/1348921 223.22/220.73 c cleaning 12993 clauses out of 27605 with flag 718392/1361925 225.32/222.85 c cleaning 13920 clauses out of 28604 with flag 844514/1375923 227.72/225.29 c cleaning 14793 clauses out of 29682 with flag 958538/1390921 230.40/227.89 c cleaning 15337 clauses out of 30889 with flag 1111777/1406922 233.09/230.54 c cleaning 16203 clauses out of 32549 with flag 1300230/1423921 235.99/233.46 c cleaning 17080 clauses out of 34345 with flag 1530973/1441922 239.10/236.58 c cleaning 18061 clauses out of 36264 with flag 1816086/1460921 241.40/238.85 c Got one! Elapsed wall clock time (in seconds):238.73 241.40/238.85 o 67149 242.40/239.81 c cleaning 18367 clauses out of 36870 with flag 80146/1479593 243.60/241.09 c cleaning 9344 clauses out of 24503 with flag 106024/1485593 245.13/242.57 c cleaning 6947 clauses out of 22159 with flag 130910/1492593 246.94/244.39 c cleaning 8119 clauses out of 23212 with flag 167359/1500593 249.53/246.95 c cleaning 9022 clauses out of 24093 with flag 202280/1509593 251.63/249.09 c cleaning 9926 clauses out of 25071 with flag 249216/1519593 253.23/250.69 c cleaning 11037 clauses out of 26149 with flag 340886/1530597 255.13/252.52 c cleaning 11933 clauses out of 27109 with flag 437033/1542595 257.03/254.49 c cleaning 12919 clauses out of 28174 with flag 547130/1555593 259.18/256.50 c cleaning 14023 clauses out of 29253 with flag 665793/1569593 261.48/258.87 c cleaning 14973 clauses out of 30229 with flag 805942/1584593 264.08/261.46 c cleaning 15582 clauses out of 31257 with flag 947417/1600595 266.68/264.04 c cleaning 16239 clauses out of 32670 with flag 1113375/1617594 269.78/267.18 c cleaning 17118 clauses out of 34428 with flag 1333501/1635593 272.98/270.31 c cleaning 18112 clauses out of 36306 with flag 1586282/1654594 276.62/273.96 c cleaning 19025 clauses out of 38190 with flag 1879600/1674593 280.61/277.93 c cleaning 19931 clauses out of 40164 with flag 2223016/1695594 284.91/282.25 c cleaning 20976 clauses out of 42231 with flag 2653080/1717593 289.41/286.75 c cleaning 22069 clauses out of 44251 with flag 3085039/1740594 294.35/291.69 c cleaning 23058 clauses out of 46181 with flag 3335503/1764594 297.14/294.40 c Got one! Elapsed wall clock time (in seconds):294.289 297.14/294.40 o 67058 297.85/295.15 c Got one! Elapsed wall clock time (in seconds):295.038 297.85/295.15 o 66968 298.35/295.64 c cleaning 21813 clauses out of 43722 with flag 48717/1785193 299.35/296.61 c cleaning 11486 clauses out of 27909 with flag 156216/1791193 300.25/297.54 c cleaning 7036 clauses out of 23423 with flag 213945/1798193 301.35/298.63 c cleaning 8109 clauses out of 24386 with flag 276359/1806192 302.65/299.94 c cleaning 8978 clauses out of 25277 with flag 343992/1815192 304.23/301.48 c cleaning 9998 clauses out of 26297 with flag 414553/1825192 305.93/303.11 c cleaning 11052 clauses out of 27303 with flag 504399/1836196 307.73/304.93 c cleaning 11916 clauses out of 28247 with flag 603582/1848192 309.73/306.91 c cleaning 12951 clauses out of 29327 with flag 716098/1861192 311.93/309.11 c cleaning 13946 clauses out of 30372 with flag 836846/1875192 314.23/311.46 c cleaning 14946 clauses out of 31424 with flag 972652/1890192 316.83/314.02 c cleaning 16044 clauses out of 32477 with flag 1124980/1906192 319.49/316.68 c cleaning 16602 clauses out of 33431 with flag 1280129/1923192 322.39/319.53 c cleaning 17390 clauses out of 34829 with flag 1461196/1941192 325.39/322.54 c cleaning 18106 clauses out of 36438 with flag 1670900/1960192 328.78/325.92 c cleaning 19097 clauses out of 38330 with flag 1942969/1980193 332.63/329.75 c cleaning 20036 clauses out of 40229 with flag 2259066/2001192 333.53/330.65 c Got one! Elapsed wall clock time (in seconds):330.534 333.53/330.65 o 66846 334.43/331.55 c cleaning 13908 clauses out of 30885 with flag 81883/2011886 335.33/332.40 c cleaning 6084 clauses out of 22976 with flag 129140/2017885 336.33/333.44 c cleaning 6989 clauses out of 23892 with flag 178272/2024885 337.43/334.57 c cleaning 7949 clauses out of 24904 with flag 233190/2032886 338.83/335.94 c cleaning 8990 clauses out of 25954 with flag 302983/2041885 340.33/337.43 c cleaning 9976 clauses out of 26964 with flag 384632/2051885 342.03/339.11 c cleaning 11033 clauses out of 27986 with flag 474036/2062885 343.83/340.94 c cleaning 11887 clauses out of 28954 with flag 571474/2074886 345.88/342.92 c cleaning 13060 clauses out of 30064 with flag 685223/2087885 347.98/345.10 c cleaning 13903 clauses out of 31005 with flag 810633/2101886 350.38/347.44 c cleaning 15055 clauses out of 32099 with flag 949382/2116885 352.98/350.05 c cleaning 15947 clauses out of 33043 with flag 1088189/2132885 355.58/352.67 c cleaning 16911 clauses out of 34096 with flag 1241970/2149885 358.48/355.58 c cleaning 17530 clauses out of 35186 with flag 1409984/2167886 361.92/358.97 c cleaning 18283 clauses out of 36655 with flag 1555511/2186885 366.82/363.83 c cleaning 19183 clauses out of 38372 with flag 1626081/2206885 372.38/369.34 c cleaning 20089 clauses out of 40189 with flag 1719441/2227885 378.38/375.38 c cleaning 21046 clauses out of 42101 with flag 1827162/2249886 384.56/381.47 c cleaning 22026 clauses out of 44055 with flag 1918438/2272886 391.76/388.55 c cleaning 23007 clauses out of 46029 with flag 2016911/2296886 399.26/396.06 c cleaning 24007 clauses out of 48022 with flag 2114315/2321886 407.72/404.49 c cleaning 25002 clauses out of 50014 with flag 2223612/2347885 416.68/413.39 c cleaning 26006 clauses out of 52014 with flag 2349059/2374887 425.43/422.06 c cleaning 26993 clauses out of 54006 with flag 2486266/2402885 434.68/431.25 c cleaning 28004 clauses out of 56015 with flag 2628971/2431887 444.72/441.25 c cleaning 28999 clauses out of 58009 with flag 2785359/2461885 455.37/451.86 c cleaning 30001 clauses out of 60010 with flag 2942888/2492885 466.78/463.17 c cleaning 31000 clauses out of 62010 with flag 3105235/2524886 478.47/474.70 c cleaning 31999 clauses out of 64010 with flag 3263155/2557886 490.59/486.79 c cleaning 32999 clauses out of 66011 with flag 3424084/2591886 502.82/498.93 c cleaning 34000 clauses out of 68011 with flag 3601982/2626885 515.21/511.29 c cleaning 35002 clauses out of 70012 with flag 3799788/2662886 527.50/523.47 c cleaning 36004 clauses out of 72010 with flag 3983829/2699886 540.53/536.37 c cleaning 37001 clauses out of 74005 with flag 4155202/2737885 554.83/550.55 c cleaning 38001 clauses out of 76008 with flag 4374320/2776889 568.74/564.38 c cleaning 38993 clauses out of 78004 with flag 4555086/2816886 583.01/578.42 c cleaning 39997 clauses out of 80013 with flag 4746660/2857888 598.04/593.37 c cleaning 41000 clauses out of 82015 with flag 4938087/2899887 614.38/609.41 c cleaning 42001 clauses out of 84013 with flag 5112392/2942885 630.54/625.40 c cleaning 43000 clauses out of 86012 with flag 5319363/2986885 646.70/641.49 c cleaning 44003 clauses out of 88014 with flag 5541590/3031887 664.03/658.63 c cleaning 45000 clauses out of 90011 with flag 5753643/3077887 682.99/677.40 c cleaning 46001 clauses out of 92009 with flag 5950648/3124885 701.48/695.72 c cleaning 46999 clauses out of 94008 with flag 6171132/3172885 721.20/715.37 c cleaning 47993 clauses out of 96009 with flag 6399201/3221885 740.29/734.22 c cleaning 48997 clauses out of 98016 with flag 6630150/3271885 759.57/753.34 c cleaning 50004 clauses out of 100019 with flag 6911321/3322885 780.72/774.22 c cleaning 51006 clauses out of 102017 with flag 7231792/3374887 802.51/795.77 c cleaning 52002 clauses out of 104009 with flag 7546205/3427885 826.08/819.06 c cleaning 53001 clauses out of 106007 with flag 7924376/3481885 849.36/842.09 c cleaning 53994 clauses out of 108008 with flag 8320957/3536887 872.99/865.45 c cleaning 55000 clauses out of 110014 with flag 8699739/3592887 895.99/888.14 c cleaning 56002 clauses out of 112012 with flag 9046118/3649885 920.47/912.31 c cleaning 57000 clauses out of 114013 with flag 9419751/3707888 947.59/939.01 c cleaning 58002 clauses out of 116011 with flag 9815729/3766886 974.18/965.30 c cleaning 59002 clauses out of 118009 with flag 10239316/3826886 999.62/990.55 c cleaning 60002 clauses out of 120007 with flag 10598109/3887886 1028.27/1018.81 c cleaning 60998 clauses out of 122005 with flag 10934897/3949886 1056.94/1047.19 c cleaning 62003 clauses out of 124006 with flag 11296075/4012885 1085.69/1075.52 c cleaning 62999 clauses out of 126003 with flag 11646293/4076885 1114.85/1104.39 c cleaning 63999 clauses out of 128004 with flag 12019968/4141885 1144.45/1133.63 c cleaning 64997 clauses out of 130006 with flag 12383807/4207886 1174.03/1162.88 c cleaning 65997 clauses out of 132008 with flag 12793923/4274885 1204.69/1193.16 c cleaning 67003 clauses out of 134011 with flag 13176329/4342885 1237.81/1225.84 c cleaning 67996 clauses out of 136008 with flag 13532176/4411885 1270.51/1258.15 c cleaning 69000 clauses out of 138012 with flag 13906632/4481885 1305.23/1292.43 c cleaning 70001 clauses out of 140013 with flag 14309583/4552886 1339.10/1325.97 c cleaning 71001 clauses out of 142011 with flag 14706668/4624885 1376.28/1362.75 c cleaning 72001 clauses out of 144010 with flag 15185081/4697885 1411.46/1397.44 c cleaning 73001 clauses out of 146009 with flag 15590477/4771885 1447.14/1432.61 c cleaning 73998 clauses out of 148010 with flag 15977744/4846887 1485.97/1471.01 c cleaning 75003 clauses out of 150011 with flag 16411974/4922886 1526.81/1511.48 c cleaning 75994 clauses out of 152008 with flag 16862854/4999886 1569.26/1553.41 c cleaning 77001 clauses out of 154013 with flag 17299707/5077885 1613.93/1597.67 c cleaning 78002 clauses out of 156012 with flag 17818170/5156885 1656.29/1639.54 c cleaning 78995 clauses out of 158010 with flag 18279822/5236885 1701.08/1683.87 c cleaning 80002 clauses out of 160016 with flag 18739548/5317886 1746.41/1728.62 c cleaning 81001 clauses out of 162015 with flag 19252423/5399887 1793.35/1775.03 c cleaning 82007 clauses out of 164014 with flag 19771718/5482887 1800.05/1781.60 c starts : 14658 1800.05/1781.60 c conflicts : 5498359 1800.05/1781.60 c decisions : 53018792 1800.05/1781.60 c propagations : 758499682 1800.05/1781.60 c inspects : 15426765366 1800.05/1781.60 c shortcuts : 0 1800.05/1781.60 c learnt literals : 1387 1800.05/1781.60 c learnt binary clauses : 2545 1800.05/1781.60 c learnt ternary clauses : 3765 1800.05/1781.60 c learnt constraints : 5496972 1800.05/1781.60 c ignored constraints : 0 1800.05/1781.60 c root simplifications : 0 1800.05/1781.60 c removed literals (reason simplification) : 0 1800.05/1781.60 c reason swapping (by a shorter reason) : 0 1800.05/1781.60 c Calls to reduceDB : 228 1800.05/1781.60 c Number of update (reduction) of LBD : 1629300 1800.05/1781.60 c Imported unit clauses : 0 1800.05/1781.60 c number of reductions to clauses (during analyze) : 0 1800.05/1781.60 c number of learned constraints concerned by reduction : 0 1800.05/1781.60 c number of learning phase by resolution : 0 1800.05/1781.60 c number of learning phase by cutting planes : 0 1800.05/1781.60 c speed (assignments/second) : 425849.4855837116 1800.05/1781.60 c non guided choices 1095 1800.05/1781.63 c learnt constraints type 1800.05/1781.63 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 2545 1800.05/1781.63 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 94934 1800.05/1781.63 s SATISFIABLE 1800.05/1781.63 c Found 11 solution(s) 1800.05/1781.64 v x1 x2 -x3 x4 x5 x6 x7 -x8 x9 x10 -x11 -x12 x13 x14 x15 x16 -x17 x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 x28 -x29 -x30 -x31 -x32 -x33 -x34 x35 x36 -x37 -x38 -x39 x40 -x41 x42 -x43 -x44 -x45 -x46 -x47 x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 x98 -x99 -x100 -x101 -x102 -x103 x104 -x105 -x106 x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 x283 -x284 -x285 x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 x1844 -x1845 -x1846 -x1847 -x1848 x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 x4648 -x4649 -x4650 x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 x5575 x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 x5759 -x5760 -x5761 -x5762 -x5763 x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 x6461 -x6462 -x6463 x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8549 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x8560 -x8561 -x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 -x8581 -x8582 -x8583 -x8584 -x8585 -x8586 -x8587 -x8588 -x8589 -x8590 -x8591 -x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 1800.05/1781.65 c objective function=66846 1800.05/1781.65 c Total wall clock time (in seconds): 1781.533
OK 66846
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) 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-4099772-1466206234/watcher-4099772-1466206234 -o /tmp/evaluation-result-4099772-1466206234/solver-4099772-1466206234 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1466206074-15532 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4099772-1466206234.opb pid=16621 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.90 0.89 0.44 3/195 16624 /proc/meminfo: memFree=30012544/32872528 swapFree=1542984/1696284 [pid=16624] ppid=16621 vsize=9224 CPUtime=0 cores=0,2,4,6 /proc/16624/stat : 16624 (java) R 16621 16624 15516 0 -1 4202496 219 0 0 0 0 0 0 0 20 0 1 0 22670023 9445376 93 33554432000 1073741824 1073778376 140734083255008 140734083252136 270698329527 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/16624/statm: 2306 94 75 9 0 38 0 [startup+0.10006 s] /proc/loadavg: 1.90 0.89 0.44 3/195 16624 /proc/meminfo: memFree=30012544/32872528 swapFree=1542984/1696284 [pid=16624] ppid=16621 vsize=9558476 CPUtime=0.08 cores=0,2,4,6 /proc/16624/stat : 16624 (java) S 16621 16624 15516 0 -1 4202496 4402 0 1 0 7 1 0 0 20 0 18 0 22670023 9787879424 6030 33554432000 1073741824 1073778376 140736150736160 140736150727296 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 /proc/16624/statm: 2389619 6030 2125 9 0 2380296 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 9558476 [startup+0.200311 s] /proc/loadavg: 1.90 0.89 0.44 3/195 16624 /proc/meminfo: memFree=30012544/32872528 swapFree=1542984/1696284 [pid=16624] ppid=16621 vsize=9558476 CPUtime=0.28 cores=0,2,4,6 /proc/16624/stat : 16624 (java) S 16621 16624 15516 0 -1 4202496 5017 0 1 0 27 1 0 0 20 0 18 0 22670023 9787879424 6997 33554432000 1073741824 1073778376 140736150736160 140736150727296 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 /proc/16624/statm: 2389619 6997 2220 9 0 2380296 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 9558476 [startup+0.300222 s] /proc/loadavg: 1.90 0.89 0.44 3/195 16624 /proc/meminfo: memFree=30012544/32872528 swapFree=1542984/1696284 [pid=16624] ppid=16621 vsize=9558476 CPUtime=0.51 cores=0,2,4,6 /proc/16624/stat : 16624 (java) S 16621 16624 15516 0 -1 4202496 6955 0 1 0 49 2 0 0 20 0 18 0 22670023 9787879424 12739 33554432000 1073741824 1073778376 140736150736160 140736150727296 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 /proc/16624/statm: 2389619 12739 2232 9 0 2380296 0 Current children cumulated CPU time (s) 0.51 Current children cumulated vsize (KiB) 9558476 [startup+0.70018 s] /proc/loadavg: 1.90 0.89 0.44 3/195 16624 /proc/meminfo: memFree=30012544/32872528 swapFree=1542984/1696284 [pid=16624] ppid=16621 vsize=9625040 CPUtime=1.46 cores=0,2,4,6 /proc/16624/stat : 16624 (java) S 16621 16624 15516 0 -1 4202496 10648 0 1 0 142 4 0 0 20 0 19 0 22670023 9856040960 37185 33554432000 1073741824 1073778376 140736150736160 140736150727296 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 /proc/16624/statm: 2406260 37185 2260 9 0 2396937 0 Current children cumulated CPU time (s) 1.46 Current children cumulated vsize (KiB) 9625040 [startup+1.50081 s] /proc/loadavg: 1.91 0.91 0.45 3/214 16643 /proc/meminfo: memFree=29870032/32872528 swapFree=1542984/1696284 [pid=16624] ppid=16621 vsize=9625040 CPUtime=2.33 cores=0,2,4,6 /proc/16624/stat : 16624 (java) S 16621 16624 15516 0 -1 4202496 10876 0 1 0 229 4 0 0 20 0 19 0 22670023 9856040960 38124 33554432000 1073741824 1073778376 140736150736160 140736150727296 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 /proc/16624/statm: 2406260 38124 2267 9 0 2396937 0 [pid=16624/tid=16626] ppid=16621 vsize=9625040 CPUtime=1.46 cores=0,2,4,6 /proc/16624/task/16626/stat : 16626 (java) R 16621 16624 15516 0 -1 4202560 2473 0 1 0 143 3 0 0 20 0 19 0 22670024 9856040960 38124 33554432000 1073741824 1073778376 140736150736160 140236677017736 140236538119116 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=16624/tid=16627] ppid=16621 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/16624/task/16627/stat : 16627 (java) S 16621 16624 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22670025 9856040960 38124 33554432000 1073741824 1073778376 140736150736160 140236520848424 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=16624/tid=16628] ppid=16621 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/16624/task/16628/stat : 16628 (java) S 16621 16624 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22670025 9856040960 38124 33554432000 1073741824 1073778376 140736150736160 140236519795624 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16624/tid=16629] ppid=16621 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/16624/task/16629/stat : 16629 (java) S 16621 16624 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22670025 9856040960 38124 33554432000 1073741824 1073778376 140736150736160 140236518742824 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=16624/tid=16630] ppid=16621 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/16624/task/16630/stat : 16630 (java) S 16621 16624 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22670025 9856040960 38124 33554432000 1073741824 1073778376 140736150736160 140236517690024 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16624/tid=16631] ppid=16621 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/16624/task/16631/stat : 16631 (java) S 16621 16624 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22670025 9856040960 38124 33554432000 1073741824 1073778376 140736150736160 140236516637224 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=16624/tid=16632] ppid=16621 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/16624/task/16632/stat : 16632 (java) S 16621 16624 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22670025 9856040960 38124 33554432000 1073741824 1073778376 140736150736160 140236515584424 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16624/tid=16633] ppid=16621 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/16624/task/16633/stat : 16633 (java) S 16621 16624 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22670025 9856040960 38124 33554432000 1073741824 1073778376 140736150736160 140236514531624 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16624/tid=16634] ppid=16621 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/16624/task/16634/stat : 16634 (java) S 16621 16624 15516 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 22670025 9856040960 38124 33554432000 1073741824 1073778376 140736150736160 140236513478824 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=16624/tid=16635] ppid=16621 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/16624/task/16635/stat : 16635 (java) S 16621 16624 15516 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 22670026 9856040960 38124 33554432000 1073741824 1073778376 140736150736160 140236501281768 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16624/tid=16636] ppid=16621 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/16624/task/16636/stat : 16636 (java) S 16621 16624 15516 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 22670027 9856040960 38124 33554432000 1073741824 1073778376 140736150736160 140236500227832 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=16624/tid=16637] ppid=16621 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/16624/task/16637/stat : 16637 (java) S 16621 16624 15516 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 22670027 9856040960 38124 33554432000 1073741824 1073778376 140736150736160 140236499174920 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=16624/tid=16638] ppid=16621 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/16624/task/16638/stat : 16638 (java) S 16621 16624 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22670029 9856040960 38124 33554432000 1073741824 1073778376 140736150736160 140236498123408 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=16624/tid=16639] ppid=16621 vsize=9625040 CPUtime=0.39 cores=0,2,4,6 /proc/16624/task/16639/stat : 16639 (java) S 16621 16624 15516 0 -1 4202560 3697 0 0 0 39 0 0 0 20 0 19 0 22670029 9856040960 38124 33554432000 1073741824 1073778376 140736150736160 140236497070520 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=16624/tid=16640] ppid=16621 vsize=9625040 CPUtime=0.45 cores=0,2,4,6 /proc/16624/task/16640/stat : 16640 (java) S 16621 16624 15516 0 -1 4202560 3433 0 0 0 45 0 0 0 20 0 19 0 22670029 9856040960 38124 33554432000 1073741824 1073778376 140736150736160 140236496017720 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=16624/tid=16641] ppid=16621 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/16624/task/16641/stat : 16641 (java) S 16621 16624 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22670029 9856040960 38124 33554432000 1073741824 1073778376 140736150736160 140236494965112 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=16624/tid=16642] ppid=16621 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/16624/task/16642/stat : 16642 (java) S 16621 16624 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22670029 9856040960 38124 33554432000 1073741824 1073778376 140736150736160 140236493912520 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16624/tid=16643] ppid=16621 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/16624/task/16643/stat : 16643 (java) S 16621 16624 15516 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 22670069 9856040960 38124 33554432000 1073741824 1073778376 140736150736160 140236492809896 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 2.33 Current children cumulated vsize (KiB) 9625040 [startup+3.10081 s] /proc/loadavg: 1.91 0.91 0.45 3/214 16643 /proc/meminfo: memFree=29863764/32872528 swapFree=1542984/1696284 [pid=16624] ppid=16621 vsize=9625040 CPUtime=3.97 cores=0,2,4,6 /proc/16624/stat : 16624 (java) S 16621 16624 15516 0 -1 4202496 10881 0 1 0 393 4 0 0 20 0 19 0 22670023 9856040960 40172 33554432000 1073741824 1073778376 140736150736160 140736150727296 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 /proc/16624/statm: 2406260 40172 2267 9 0 2396937 0 [pid=16624/tid=16626] ppid=16621 vsize=9625040 CPUtime=3.05 cores=0,2,4,6 /proc/16624/task/16626/stat : 16626 (java) R 16621 16624 15516 0 -1 4202560 2478 0 1 0 302 3 0 0 20 0 19 0 22670024 9856040960 40172 33554432000 1073741824 1073778376 140736150736160 140236677015840 140236538068448 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=16624/tid=16627] ppid=16621 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/16624/task/16627/stat : 16627 (java) S 16621 16624 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22670025 9856040960 40172 33554432000 1073741824 1073778376 140736150736160 140236520848424 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=16624/tid=16628] ppid=16621 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/16624/task/16628/stat : 16628 (java) S 16621 16624 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22670025 9856040960 40172 33554432000 1073741824 1073778376 140736150736160 140236519795624 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16624/tid=16629] ppid=16621 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/16624/task/16629/stat : 16629 (java) S 16621 16624 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22670025 9856040960 40172 33554432000 1073741824 1073778376 140736150736160 140236518742824 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=16624/tid=16630] ppid=16621 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/16624/task/16630/stat : 16630 (java) S 16621 16624 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22670025 9856040960 40172 33554432000 1073741824 1073778376 140736150736160 140236517690024 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16624/tid=16631] ppid=16621 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/16624/task/16631/stat : 16631 (java) S 16621 16624 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22670025 9856040960 40172 33554432000 1073741824 1073778376 140736150736160 140236516637224 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=16624/tid=16632] ppid=16621 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/16624/task/16632/stat : 16632 (java) S 16621 16624 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22670025 9856040960 40172 33554432000 1073741824 1073778376 140736150736160 140236515584424 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16624/tid=16633] ppid=16621 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/16624/task/16633/stat : 16633 (java) S 16621 16624 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22670025 9856040960 40172 33554432000 1073741824 1073778376 140736150736160 140236514531624 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16624/tid=16634] ppid=16621 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/16624/task/16634/stat : 16634 (java) S 16621 16624 15516 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 22670025 9856040960 40172 33554432000 1073741824 1073778376 140736150736160 140236513478824 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=16624/tid=16635] ppid=16621 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/16624/task/16635/stat : 16635 (java) S 16621 16624 15516 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 22670026 9856040960 40172 33554432000 1073741824 1073778376 140736150736160 140236501281768 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16624/tid=16636] ppid=16621 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/16624/task/16636/stat : 16636 (java) S 16621 16624 15516 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 22670027 9856040960 40172 33554432000 1073741824 1073778376 140736150736160 140236500227832 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=16624/tid=16637] ppid=16621 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/16624/task/16637/stat : 16637 (java) S 16621 16624 15516 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 22670027 9856040960 40172 33554432000 1073741824 1073778376 140736150736160 140236499174920 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=16624/tid=16638] ppid=16621 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/16624/task/16638/stat : 16638 (java) S 16621 16624 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22670029 9856040960 40172 33554432000 1073741824 1073778376 140736150736160 140236498123408 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=16624/tid=16639] ppid=16621 vsize=9625040 CPUtime=0.4 cores=0,2,4,6 /proc/16624/task/16639/stat : 16639 (java) S 16621 16624 15516 0 -1 4202560 3697 0 0 0 40 0 0 0 20 0 19 0 22670029 9856040960 40172 33554432000 1073741824 1073778376 140736150736160 140236497070520 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=16624/tid=16640] ppid=16621 vsize=9625040 CPUtime=0.47 cores=0,2,4,6 /proc/16624/task/16640/stat : 16640 (java) S 16621 16624 15516 0 -1 4202560 3433 0 0 0 47 0 0 0 20 0 19 0 22670029 9856040960 40172 33554432000 1073741824 1073778376 140736150736160 140236496017720 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=16624/tid=16641] ppid=16621 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/16624/task/16641/stat : 16641 (java) S 16621 16624 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22670029 9856040960 40172 33554432000 1073741824 1073778376 140736150736160 140236494965112 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=16624/tid=16642] ppid=16621 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/16624/task/16642/stat : 16642 (java) S 16621 16624 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22670029 9856040960 40172 33554432000 1073741824 1073778376 140736150736160 140236493912520 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16624/tid=16643] ppid=16621 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/16624/task/16643/stat : 16643 (java) S 16621 16624 15516 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 22670069 9856040960 40172 33554432000 1073741824 1073778376 140736150736160 140236492809896 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 3.97 Current children cumulated vsize (KiB) 9625040 [startup+6.30082 s] /proc/loadavg: 2.00 0.95 0.46 4/214 16643 /proc/meminfo: memFree=29849308/32872528 swapFree=1542984/1696284 [pid=16624] ppid=16621 vsize=9625040 CPUtime=7.21 cores=0,2,4,6 /proc/16624/stat : 16624 (java) S 16621 16624 15516 0 -1 4202496 10918 0 1 0 716 5 0 0 20 0 19 0 22670023 9856040960 42648 33554432000 1073741824 1073778376 140736150736160 140736150727296 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 /proc/16624/statm: 2406260 42648 2281 9 0 2396937 0 [pid=16624/tid=16626] ppid=16621 vsize=9625040 CPUtime=6.24 cores=0,2,4,6 /proc/16624/task/16626/stat : 16626 (java) R 16621 16624 15516 0 -1 4202560 2485 0 1 0 621 3 0 0 20 0 19 0 22670024 9856040960 42648 33554432000 1073741824 1073778376 140736150736160 140236677009088 140236538119104 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=16624/tid=16627] ppid=16621 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/16624/task/16627/stat : 16627 (java) S 16621 16624 15516 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 22670025 9856040960 42648 33554432000 1073741824 1073778376 140736150736160 140236520848424 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=16624/tid=16628] ppid=16621 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/16624/task/16628/stat : 16628 (java) S 16621 16624 15516 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 22670025 9856040960 42648 33554432000 1073741824 1073778376 140736150736160 140236519795624 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16624/tid=16629] ppid=16621 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/16624/task/16629/stat : 16629 (java) S 16621 16624 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22670025 9856040960 42648 33554432000 1073741824 1073778376 140736150736160 140236518742824 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=16624/tid=16630] ppid=16621 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/16624/task/16630/stat : 16630 (java) S 16621 16624 15516 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 22670025 9856040960 42648 33554432000 1073741824 1073778376 140736150736160 140236517690024 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16624/tid=16631] ppid=16621 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/16624/task/16631/stat : 16631 (java) S 16621 16624 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22670025 9856040960 42648 33554432000 1073741824 1073778376 140736150736160 140236516637224 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=16624/tid=16632] ppid=16621 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/16624/task/16632/stat : 16632 (java) S 16621 16624 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22670025 9856040960 42648 33554432000 1073741824 1073778376 140736150736160 140236515584424 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16624/tid=16633] ppid=16621 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/16624/task/16633/stat : 16633 (java) S 16621 16624 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22670025 9856040960 42648 33554432000 1073741824 1073778376 140736150736160 140236514531624 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16624/tid=16634] ppid=16621 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/16624/task/16634/stat : 16634 (java) S 16621 16624 15516 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 22670025 9856040960 42648 33554432000 1073741824 1073778376 140736150736160 140236513478824 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=16624/tid=16635] ppid=16621 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/16624/task/16635/stat : 16635 (java) S 16621 16624 15516 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 22670026 9856040960 42648 33554432000 1073741824 1073778376 140736150736160 140236501281768 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16624/tid=16636] ppid=16621 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/16624/task/16636/stat : 16636 (java) S 16621 16624 15516 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 22670027 9856040960 42648 33554432000 1073741824 1073778376 140736150736160 140236500227832 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=16624/tid=16637] ppid=16621 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/16624/task/16637/stat : 16637 (java) S 16621 16624 15516 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 22670027 9856040960 42648 33554432000 1073741824 1073778376 140736150736160 140236499174920 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=16624/tid=16638] ppid=16621 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/16624/task/16638/stat : 16638 (java) S 16621 16624 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22670029 9856040960 42648 33554432000 1073741824 1073778376 140736150736160 140236498123408 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=16624/tid=16639] ppid=16621 vsize=9625040 CPUtime=0.41 cores=0,2,4,6 /proc/16624/task/16639/stat : 16639 (java) S 16621 16624 15516 0 -1 4202560 3698 0 0 0 41 0 0 0 20 0 19 0 22670029 9856040960 42648 33554432000 1073741824 1073778376 140736150736160 140236497070520 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=16624/tid=16640] ppid=16621 vsize=9625040 CPUtime=0.47 cores=0,2,4,6 /proc/16624/task/16640/stat : 16640 (java) S 16621 16624 15516 0 -1 4202560 3433 0 0 0 47 0 0 0 20 0 19 0 22670029 9856040960 42648 33554432000 1073741824 1073778376 140736150736160 140236496017720 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=16624/tid=16641] ppid=16621 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/16624/task/16641/stat : 16641 (java) S 16621 16624 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22670029 9856040960 42648 33554432000 1073741824 1073778376 140736150736160 140236494965112 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=16624/tid=16642] ppid=16621 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/16624/task/16642/stat : 16642 (java) S 16621 16624 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22670029 9856040960 42648 33554432000 1073741824 1073778376 140736150736160 140236493912520 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16624/tid=16643] ppid=16621 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/16624/task/16643/stat : 16643 (java) S 16621 16624 15516 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 22670069 9856040960 42648 33554432000 1073741824 1073778376 140736150736160 140236492809896 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 7.21 Current children cumulated vsize (KiB) 9625040 ################ # More data... # ################ [pid=16624/tid=16643] ppid=16621 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/16624/task/16643/stat : 16643 (java) S 16621 16624 15516 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 22670069 9856040960 125395 33554432000 1073741824 1073778376 140736150736160 140236492809896 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1618.65 Current children cumulated vsize (KiB) 9625040 [startup+1662.3 s] /proc/loadavg: 2.30 2.36 1.97 3/213 16748 /proc/meminfo: memFree=28914776/32872528 swapFree=1542984/1696284 [pid=16624] ppid=16621 vsize=9625040 CPUtime=1679.45 cores=0,2,4,6 /proc/16624/stat : 16624 (java) S 16621 16624 15516 0 -1 4202496 29550 0 1 0 167781 164 0 0 20 0 19 0 22670023 9856040960 131594 33554432000 1073741824 1073778376 140736150736160 140736150727296 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 /proc/16624/statm: 2406260 131594 2295 9 0 2396937 0 [pid=16624/tid=16626] ppid=16621 vsize=9625040 CPUtime=1646.44 cores=0,2,4,6 /proc/16624/task/16626/stat : 16626 (java) R 16621 16624 15516 0 -1 4202560 2927 0 1 0 164614 30 0 0 20 0 19 0 22670024 9856040960 131594 33554432000 1073741824 1073778376 140736150736160 140236677016824 140236538207154 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=16624/tid=16627] ppid=16621 vsize=9625040 CPUtime=2.69 cores=0,2,4,6 /proc/16624/task/16627/stat : 16627 (java) S 16621 16624 15516 0 -1 4202560 2208 0 0 0 255 14 0 0 20 0 19 0 22670025 9856040960 131594 33554432000 1073741824 1073778376 140736150736160 140236520848424 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=16624/tid=16628] ppid=16621 vsize=9625040 CPUtime=2.92 cores=0,2,4,6 /proc/16624/task/16628/stat : 16628 (java) S 16621 16624 15516 0 -1 4202560 2027 0 0 0 272 20 0 0 20 0 19 0 22670025 9856040960 131594 33554432000 1073741824 1073778376 140736150736160 140236519795624 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16624/tid=16629] ppid=16621 vsize=9625040 CPUtime=2.72 cores=0,2,4,6 /proc/16624/task/16629/stat : 16629 (java) S 16621 16624 15516 0 -1 4202560 1969 0 0 0 256 16 0 0 20 0 19 0 22670025 9856040960 131594 33554432000 1073741824 1073778376 140736150736160 140236518742824 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16624/tid=16630] ppid=16621 vsize=9625040 CPUtime=2.84 cores=0,2,4,6 /proc/16624/task/16630/stat : 16630 (java) S 16621 16624 15516 0 -1 4202560 1072 0 0 0 267 17 0 0 20 0 19 0 22670025 9856040960 131594 33554432000 1073741824 1073778376 140736150736160 140236517690024 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16624/tid=16631] ppid=16621 vsize=9625040 CPUtime=2.7 cores=0,2,4,6 /proc/16624/task/16631/stat : 16631 (java) S 16621 16624 15516 0 -1 4202560 2075 0 0 0 255 15 0 0 20 0 19 0 22670025 9856040960 131594 33554432000 1073741824 1073778376 140736150736160 140236516637224 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=16624/tid=16632] ppid=16621 vsize=9625040 CPUtime=2.81 cores=0,2,4,6 /proc/16624/task/16632/stat : 16632 (java) S 16621 16624 15516 0 -1 4202560 2479 0 0 0 263 18 0 0 20 0 19 0 22670025 9856040960 131594 33554432000 1073741824 1073778376 140736150736160 140236515584424 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=16624/tid=16633] ppid=16621 vsize=9625040 CPUtime=2.82 cores=0,2,4,6 /proc/16624/task/16633/stat : 16633 (java) S 16621 16624 15516 0 -1 4202560 1529 0 0 0 265 17 0 0 20 0 19 0 22670025 9856040960 131594 33554432000 1073741824 1073778376 140736150736160 140236514531624 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16624/tid=16634] ppid=16621 vsize=9625040 CPUtime=2.76 cores=0,2,4,6 /proc/16624/task/16634/stat : 16634 (java) S 16621 16624 15516 0 -1 4202560 1626 0 0 0 258 18 0 0 20 0 19 0 22670025 9856040960 131594 33554432000 1073741824 1073778376 140736150736160 140236513478824 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=16624/tid=16635] ppid=16621 vsize=9625040 CPUtime=4.74 cores=0,2,4,6 /proc/16624/task/16635/stat : 16635 (java) S 16621 16624 15516 0 -1 4202560 1222 0 0 0 469 5 0 0 20 0 19 0 22670026 9856040960 131594 33554432000 1073741824 1073778376 140736150736160 140236501281768 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16624/tid=16636] ppid=16621 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/16624/task/16636/stat : 16636 (java) S 16621 16624 15516 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 22670027 9856040960 131594 33554432000 1073741824 1073778376 140736150736160 140236500227832 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=16624/tid=16637] ppid=16621 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/16624/task/16637/stat : 16637 (java) S 16621 16624 15516 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 22670027 9856040960 131594 33554432000 1073741824 1073778376 140736150736160 140236499174920 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=16624/tid=16638] ppid=16621 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/16624/task/16638/stat : 16638 (java) S 16621 16624 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22670029 9856040960 131594 33554432000 1073741824 1073778376 140736150736160 140236498123408 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=16624/tid=16639] ppid=16621 vsize=9625040 CPUtime=0.78 cores=0,2,4,6 /proc/16624/task/16639/stat : 16639 (java) S 16621 16624 15516 0 -1 4202560 4335 0 0 0 78 0 0 0 20 0 19 0 22670029 9856040960 131594 33554432000 1073741824 1073778376 140736150736160 140236497070520 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=16624/tid=16640] ppid=16621 vsize=9625040 CPUtime=0.79 cores=0,2,4,6 /proc/16624/task/16640/stat : 16640 (java) S 16621 16624 15516 0 -1 4202560 4728 0 0 0 79 0 0 0 20 0 19 0 22670029 9856040960 131594 33554432000 1073741824 1073778376 140736150736160 140236496017720 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16624/tid=16641] ppid=16621 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/16624/task/16641/stat : 16641 (java) S 16621 16624 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22670029 9856040960 131594 33554432000 1073741824 1073778376 140736150736160 140236494965112 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=16624/tid=16642] ppid=16621 vsize=9625040 CPUtime=0.42 cores=0,2,4,6 /proc/16624/task/16642/stat : 16642 (java) S 16621 16624 15516 0 -1 4202560 94 0 0 0 21 21 0 0 20 0 19 0 22670029 9856040960 131594 33554432000 1073741824 1073778376 140736150736160 140236493912520 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16624/tid=16643] ppid=16621 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/16624/task/16643/stat : 16643 (java) S 16621 16624 15516 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 22670069 9856040960 131594 33554432000 1073741824 1073778376 140736150736160 140236492809896 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1679.45 Current children cumulated vsize (KiB) 9625040 [startup+1722.3 s] /proc/loadavg: 2.25 2.34 1.99 4/213 16749 /proc/meminfo: memFree=29328996/32872528 swapFree=1542984/1696284 [pid=16624] ppid=16621 vsize=9625040 CPUtime=1740.06 cores=0,2,4,6 /proc/16624/stat : 16624 (java) S 16621 16624 15516 0 -1 4202496 30699 0 1 0 173839 167 0 0 20 0 19 0 22670023 9856040960 120330 33554432000 1073741824 1073778376 140736150736160 140736150727296 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 /proc/16624/statm: 2406260 120330 2295 9 0 2396937 0 [pid=16624/tid=16626] ppid=16621 vsize=9625040 CPUtime=1705.76 cores=0,2,4,6 /proc/16624/task/16626/stat : 16626 (java) R 16621 16624 15516 0 -1 4202560 2949 0 1 0 170545 31 0 0 20 0 19 0 22670024 9856040960 120330 33554432000 1073741824 1073778376 140736150736160 140236677016864 140236538170524 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=16624/tid=16627] ppid=16621 vsize=9625040 CPUtime=2.8 cores=0,2,4,6 /proc/16624/task/16627/stat : 16627 (java) S 16621 16624 15516 0 -1 4202560 2209 0 0 0 266 14 0 0 20 0 19 0 22670025 9856040960 120330 33554432000 1073741824 1073778376 140736150736160 140236520848424 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16624/tid=16628] ppid=16621 vsize=9625040 CPUtime=3.03 cores=0,2,4,6 /proc/16624/task/16628/stat : 16628 (java) S 16621 16624 15516 0 -1 4202560 2111 0 0 0 283 20 0 0 20 0 19 0 22670025 9856040960 120330 33554432000 1073741824 1073778376 140736150736160 140236519795624 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16624/tid=16629] ppid=16621 vsize=9625040 CPUtime=2.83 cores=0,2,4,6 /proc/16624/task/16629/stat : 16629 (java) S 16621 16624 15516 0 -1 4202560 2122 0 0 0 267 16 0 0 20 0 19 0 22670025 9856040960 120330 33554432000 1073741824 1073778376 140736150736160 140236518742824 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16624/tid=16630] ppid=16621 vsize=9625040 CPUtime=2.94 cores=0,2,4,6 /proc/16624/task/16630/stat : 16630 (java) S 16621 16624 15516 0 -1 4202560 1121 0 0 0 277 17 0 0 20 0 19 0 22670025 9856040960 120330 33554432000 1073741824 1073778376 140736150736160 140236517690024 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16624/tid=16631] ppid=16621 vsize=9625040 CPUtime=2.8 cores=0,2,4,6 /proc/16624/task/16631/stat : 16631 (java) S 16621 16624 15516 0 -1 4202560 2490 0 0 0 265 15 0 0 20 0 19 0 22670025 9856040960 120330 33554432000 1073741824 1073778376 140736150736160 140236516637224 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=16624/tid=16632] ppid=16621 vsize=9625040 CPUtime=2.93 cores=0,2,4,6 /proc/16624/task/16632/stat : 16632 (java) S 16621 16624 15516 0 -1 4202560 2495 0 0 0 275 18 0 0 20 0 19 0 22670025 9856040960 120330 33554432000 1073741824 1073778376 140736150736160 140236515584424 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=16624/tid=16633] ppid=16621 vsize=9625040 CPUtime=2.93 cores=0,2,4,6 /proc/16624/task/16633/stat : 16633 (java) S 16621 16624 15516 0 -1 4202560 1529 0 0 0 276 17 0 0 20 0 19 0 22670025 9856040960 120330 33554432000 1073741824 1073778376 140736150736160 140236514531624 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16624/tid=16634] ppid=16621 vsize=9625040 CPUtime=2.87 cores=0,2,4,6 /proc/16624/task/16634/stat : 16634 (java) S 16621 16624 15516 0 -1 4202560 1891 0 0 0 269 18 0 0 20 0 19 0 22670025 9856040960 120330 33554432000 1073741824 1073778376 140736150736160 140236513478824 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16624/tid=16635] ppid=16621 vsize=9625040 CPUtime=4.97 cores=0,2,4,6 /proc/16624/task/16635/stat : 16635 (java) S 16621 16624 15516 0 -1 4202560 1362 0 0 0 491 6 0 0 20 0 19 0 22670026 9856040960 120330 33554432000 1073741824 1073778376 140736150736160 140236501281768 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16624/tid=16636] ppid=16621 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/16624/task/16636/stat : 16636 (java) S 16621 16624 15516 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 22670027 9856040960 120330 33554432000 1073741824 1073778376 140736150736160 140236500227832 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=16624/tid=16637] ppid=16621 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/16624/task/16637/stat : 16637 (java) S 16621 16624 15516 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 22670027 9856040960 120330 33554432000 1073741824 1073778376 140736150736160 140236499174920 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=16624/tid=16638] ppid=16621 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/16624/task/16638/stat : 16638 (java) S 16621 16624 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22670029 9856040960 120330 33554432000 1073741824 1073778376 140736150736160 140236498123408 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=16624/tid=16639] ppid=16621 vsize=9625040 CPUtime=0.78 cores=0,2,4,6 /proc/16624/task/16639/stat : 16639 (java) S 16621 16624 15516 0 -1 4202560 4335 0 0 0 78 0 0 0 20 0 19 0 22670029 9856040960 120330 33554432000 1073741824 1073778376 140736150736160 140236497070520 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=16624/tid=16640] ppid=16621 vsize=9625040 CPUtime=0.79 cores=0,2,4,6 /proc/16624/task/16640/stat : 16640 (java) S 16621 16624 15516 0 -1 4202560 4728 0 0 0 79 0 0 0 20 0 19 0 22670029 9856040960 120330 33554432000 1073741824 1073778376 140736150736160 140236496017720 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16624/tid=16641] ppid=16621 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/16624/task/16641/stat : 16641 (java) S 16621 16624 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22670029 9856040960 120330 33554432000 1073741824 1073778376 140736150736160 140236494965112 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=16624/tid=16642] ppid=16621 vsize=9625040 CPUtime=0.44 cores=0,2,4,6 /proc/16624/task/16642/stat : 16642 (java) S 16621 16624 15516 0 -1 4202560 98 0 0 0 22 22 0 0 20 0 19 0 22670029 9856040960 120330 33554432000 1073741824 1073778376 140736150736160 140236493912520 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16624/tid=16643] ppid=16621 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/16624/task/16643/stat : 16643 (java) S 16621 16624 15516 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 22670069 9856040960 120330 33554432000 1073741824 1073778376 140736150736160 140236492809896 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1740.06 Current children cumulated vsize (KiB) 9625040 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1781.6 s] /proc/loadavg: 2.15 2.29 2.00 3/214 16753 /proc/meminfo: memFree=29290388/32872528 swapFree=1542984/1696284 [pid=16624] ppid=16621 vsize=9625040 CPUtime=1800.05 cores=0,2,4,6 /proc/16624/stat : 16624 (java) S 16621 16624 15516 0 -1 4202496 33682 0 1 0 179824 181 0 0 20 0 19 0 22670023 9856040960 140882 33554432000 1073741824 1073778376 140736150736160 140736150727296 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 /proc/16624/statm: 2406260 140882 2295 9 0 2396937 0 [pid=16624/tid=16626] ppid=16621 vsize=9625040 CPUtime=1764.44 cores=0,2,4,6 /proc/16624/task/16626/stat : 16626 (java) R 16621 16624 15516 0 -1 4202560 2966 0 1 0 176412 32 0 0 20 0 19 0 22670024 9856040960 140882 33554432000 1073741824 1073778376 140736150736160 140236677016864 140236537973466 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=16624/tid=16627] ppid=16621 vsize=9625040 CPUtime=2.93 cores=0,2,4,6 /proc/16624/task/16627/stat : 16627 (java) S 16621 16624 15516 0 -1 4202560 2611 0 0 0 278 15 0 0 20 0 19 0 22670025 9856040960 140882 33554432000 1073741824 1073778376 140736150736160 140236520848424 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16624/tid=16628] ppid=16621 vsize=9625040 CPUtime=3.16 cores=0,2,4,6 /proc/16624/task/16628/stat : 16628 (java) S 16621 16624 15516 0 -1 4202560 2743 0 0 0 294 22 0 0 20 0 19 0 22670025 9856040960 140882 33554432000 1073741824 1073778376 140736150736160 140236519795624 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=16624/tid=16629] ppid=16621 vsize=9625040 CPUtime=2.93 cores=0,2,4,6 /proc/16624/task/16629/stat : 16629 (java) S 16621 16624 15516 0 -1 4202560 2147 0 0 0 275 18 0 0 20 0 19 0 22670025 9856040960 140882 33554432000 1073741824 1073778376 140736150736160 140236518742824 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=16624/tid=16630] ppid=16621 vsize=9625040 CPUtime=3.06 cores=0,2,4,6 /proc/16624/task/16630/stat : 16630 (java) S 16621 16624 15516 0 -1 4202560 1640 0 0 0 287 19 0 0 20 0 19 0 22670025 9856040960 140882 33554432000 1073741824 1073778376 140736150736160 140236517690024 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=16624/tid=16631] ppid=16621 vsize=9625040 CPUtime=2.94 cores=0,2,4,6 /proc/16624/task/16631/stat : 16631 (java) S 16621 16624 15516 0 -1 4202560 2521 0 0 0 277 17 0 0 20 0 19 0 22670025 9856040960 140882 33554432000 1073741824 1073778376 140736150736160 140236516637224 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=16624/tid=16632] ppid=16621 vsize=9625040 CPUtime=3.06 cores=0,2,4,6 /proc/16624/task/16632/stat : 16632 (java) S 16621 16624 15516 0 -1 4202560 3373 0 0 0 287 19 0 0 20 0 19 0 22670025 9856040960 140882 33554432000 1073741824 1073778376 140736150736160 140236515584424 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16624/tid=16633] ppid=16621 vsize=9625040 CPUtime=3.04 cores=0,2,4,6 /proc/16624/task/16633/stat : 16633 (java) S 16621 16624 15516 0 -1 4202560 1647 0 0 0 285 19 0 0 20 0 19 0 22670025 9856040960 140882 33554432000 1073741824 1073778376 140736150736160 140236514531624 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=16624/tid=16634] ppid=16621 vsize=9625040 CPUtime=2.98 cores=0,2,4,6 /proc/16624/task/16634/stat : 16634 (java) S 16621 16624 15516 0 -1 4202560 2224 0 0 0 278 20 0 0 20 0 19 0 22670025 9856040960 140882 33554432000 1073741824 1073778376 140736150736160 140236513478824 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=16624/tid=16635] ppid=16621 vsize=9625040 CPUtime=5.14 cores=0,2,4,6 /proc/16624/task/16635/stat : 16635 (java) S 16621 16624 15516 0 -1 4202560 1386 0 0 0 508 6 0 0 20 0 19 0 22670026 9856040960 140882 33554432000 1073741824 1073778376 140736150736160 140236501281768 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16624/tid=16636] ppid=16621 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/16624/task/16636/stat : 16636 (java) S 16621 16624 15516 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 22670027 9856040960 140882 33554432000 1073741824 1073778376 140736150736160 140236500227832 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=16624/tid=16637] ppid=16621 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/16624/task/16637/stat : 16637 (java) S 16621 16624 15516 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 22670027 9856040960 140882 33554432000 1073741824 1073778376 140736150736160 140236499174920 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=16624/tid=16638] ppid=16621 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/16624/task/16638/stat : 16638 (java) S 16621 16624 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22670029 9856040960 140882 33554432000 1073741824 1073778376 140736150736160 140236498123408 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=16624/tid=16639] ppid=16621 vsize=9625040 CPUtime=0.78 cores=0,2,4,6 /proc/16624/task/16639/stat : 16639 (java) S 16621 16624 15516 0 -1 4202560 4335 0 0 0 78 0 0 0 20 0 19 0 22670029 9856040960 140882 33554432000 1073741824 1073778376 140736150736160 140236497070520 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=16624/tid=16640] ppid=16621 vsize=9625040 CPUtime=0.79 cores=0,2,4,6 /proc/16624/task/16640/stat : 16640 (java) S 16621 16624 15516 0 -1 4202560 4728 0 0 0 79 0 0 0 20 0 19 0 22670029 9856040960 140882 33554432000 1073741824 1073778376 140736150736160 140236496017720 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16624/tid=16641] ppid=16621 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/16624/task/16641/stat : 16641 (java) S 16621 16624 15516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 22670029 9856040960 140882 33554432000 1073741824 1073778376 140736150736160 140236494965112 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=16624/tid=16642] ppid=16621 vsize=9625040 CPUtime=0.46 cores=0,2,4,6 /proc/16624/task/16642/stat : 16642 (java) S 16621 16624 15516 0 -1 4202560 102 0 0 0 23 23 0 0 20 0 19 0 22670029 9856040960 140882 33554432000 1073741824 1073778376 140736150736160 140236493912520 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16624/tid=16643] ppid=16621 vsize=9625040 CPUtime=0 cores=0,2,4,6 /proc/16624/task/16643/stat : 16643 (java) S 16621 16624 15516 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 22670069 9856040960 140882 33554432000 1073741824 1073778376 140736150736160 140236492809896 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 9625040 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 16624 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 16624 and gives # childrusage.ru_utime.tv_sec=1793 # childrusage.ru_utime.tv_usec=860291 # childrusage.ru_stime.tv_sec=2 # childrusage.ru_stime.tv_usec=239659 # CPU time returned by wait4() is 1796.1 # while last known CPU time is 1800.05 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1781.66 CPU time (s): 1800.05 CPU user time (s): 1798.24 CPU system time (s): 1.81 CPU usage (%): 101.032 Max. virtual memory (cumulated for all children) (KiB): 9625040 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.86 system time used= 2.23966 maximum resident set size= 607324 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 33720 page faults= 1 swaps= 0 block input operations= 80 block output operations= 1752 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 52950 involuntary context switches= 50712 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 10.3024 second user time and 12.7731 second system time The end
Begin job on node125 at 2016-06-18 01:30:34 IDJOB=4099772 IDBENCH=1516 IDSOLVER=2546 FILE ID=node125/4099772-1466206234 RUNJOBID= node125-1466206074-15532 PBS_JOBID= 19918152 Free space on /tmp= 71732 MiB SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16 BENCH NAME= PB06//final/normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-air06.opb COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4099772-1466206234/watcher-4099772-1466206234 -o /tmp/evaluation-result-4099772-1466206234/solver-4099772-1466206234 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1466206074-15532 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4099772-1466206234.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 56f4f4418400a86463858db6d507606d RANDOM SEED=1172976882 node125.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.683 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.36 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.683 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 : 5332.55 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.683 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 : 5332.55 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.683 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 : 5332.54 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.683 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 : 5332.55 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.683 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 : 5332.55 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.683 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 : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.683 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 : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 30012824 kB Buffers: 35892 kB Cached: 78936 kB SwapCached: 684 kB Active: 398208 kB Inactive: 61232 kB Active(anon): 346000 kB Inactive(anon): 996 kB Active(file): 52208 kB Inactive(file): 60236 kB Unevictable: 1696284 kB Mlocked: 1542984 kB SwapTotal: 67108856 kB SwapFree: 67098192 kB Dirty: 1228 kB Writeback: 0 kB AnonPages: 2006980 kB Mapped: 15368 kB Shmem: 0 kB Slab: 570728 kB SReclaimable: 14400 kB SUnreclaim: 556328 kB KernelStack: 1768 kB PageTables: 8296 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2770760 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 442368 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71740 MiB End job on node125 at 2016-06-18 02:00:16