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) | 7491 | 1800.05 | 1782.96 |
| Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ MIPLIB/miplib/normalized-reduced-mps-v2-20-10-air06.opb |
| MD5SUM | 9ad64595976e8d5a822b98ffb6dea9d7 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 6016 |
| Best CPU time to get the best result obtained on this benchmark | 1800.14 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 5727 |
| 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 | 213 |
| Number of bits for the biggest coefficient in the objective function | 8 |
| Sum of the numbers in the objective function | 528490 |
| Number of bits of the sum of numbers in the objective function | 20 |
| Biggest number in a constraint | 213 |
| Number of bits of the biggest number in a constraint | 8 |
| Biggest sum of numbers in a constraint | 528490 |
| Number of bits of the biggest sum of numbers | 20 |
| 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.07 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.00/0.07 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.07 c See www.sat4j.org for details. 0.00/0.08 c version PB16.v20160501 0.00/0.08 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.08 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.08 c java.vm.version 19.1-b02 0.00/0.08 c java.vm.vendor Sun Microsystems Inc. 0.00/0.08 c sun.arch.data.model 64 0.00/0.08 c java.version 1.6.0_24 0.00/0.08 c os.name Linux 0.00/0.08 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.08 c os.arch amd64 0.00/0.08 c Free memory 501472288 0.00/0.08 c Max memory 7480803328 0.00/0.08 c Total memory 504102912 0.00/0.08 c Number of processors 8 0.11/0.10 c Pseudo Boolean Optimization by upper bound 0.11/0.10 c --- Begin Solver configuration --- 0.11/0.10 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@37e893df 0.11/0.10 c Learn all clauses as in MiniSAT 0.11/0.10 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.11/0.10 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.11/0.10 c No reason simplification 0.11/0.10 c Glucose 2.1 dynamic restart strategy 0.11/0.10 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.11/0.10 c timeout=2147483s 0.11/0.10 c DB Simplification allowed=false 0.11/0.10 c Listener: org.sat4j.minisat.core.VoidTracing@41ac1fe4 0.11/0.10 c --- End Solver configuration --- 0.11/0.10 c solving HOME/instance-4101429-1466222485.opb 0.11/0.10 c reading problem ... 0.11/0.10 c objective function found 0.76/0.42 c ... done. Wall clock time 0.318s. 0.76/0.42 c declared #vars 8627 0.76/0.42 c #constraints 1650 0.76/0.42 c constraints type 0.76/0.42 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 810 0.76/0.42 c org.sat4j.minisat.constraints.cnf.UnitClauses => 6 0.76/0.42 c org.sat4j.specs.Constr$1 => 13 0.76/0.42 c org.sat4j.minisat.constraints.card.MinWatchCard => 810 0.76/0.42 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 8 0.76/0.42 c org.sat4j.minisat.constraints.cnf.UnitClause => 3 0.76/0.42 c 1650 constraints processed. 0.76/0.42 c objective function length is 8627 literals 1.73/1.07 c cleaning 2458 clauses out of 4932 with flag 30646/5002 2.92/1.75 c cleaning 4196 clauses out of 8415 with flag 92452/11001 3.72/2.53 c cleaning 5563 clauses out of 11146 with flag 180716/18000 4.72/3.50 c cleaning 6711 clauses out of 13508 with flag 309055/26001 5.85/4.70 c cleaning 7793 clauses out of 15729 with flag 482683/35004 7.25/6.04 c cleaning 8891 clauses out of 17874 with flag 696825/45000 8.75/7.52 c cleaning 9941 clauses out of 19948 with flag 941418/56000 10.55/9.33 c cleaning 10934 clauses out of 21958 with flag 1248527/68000 12.45/11.23 c cleaning 11954 clauses out of 23984 with flag 1574344/81001 14.65/13.44 c cleaning 12981 clauses out of 26002 with flag 1958255/95002 17.05/15.88 c cleaning 13961 clauses out of 27978 with flag 2373792/110002 19.65/18.41 c cleaning 14944 clauses out of 29986 with flag 2792310/126002 22.55/21.39 c cleaning 15933 clauses out of 32011 with flag 3287084/143001 25.75/24.53 c cleaning 17021 clauses out of 34041 with flag 3798488/161000 29.05/27.89 c cleaning 17962 clauses out of 35997 with flag 4344338/180002 32.85/31.62 c cleaning 18952 clauses out of 38002 with flag 4918892/200000 36.70/35.45 c cleaning 19963 clauses out of 40018 with flag 5553861/221001 40.80/39.50 c cleaning 20858 clauses out of 42038 with flag 6243747/243001 45.00/43.76 c cleaning 21970 clauses out of 44148 with flag 6962319/266000 49.71/48.45 c cleaning 22981 clauses out of 46161 with flag 7754258/290001 54.80/53.51 c cleaning 23975 clauses out of 48156 with flag 8585634/315003 60.20/58.97 c cleaning 25049 clauses out of 50166 with flag 9465758/341001 60.30/59.01 c SATISFIABLE 60.30/59.01 c OPTIMIZING... 60.30/59.01 c Got one! Elapsed wall clock time (in seconds):58.905 60.30/59.01 o 8086 61.40/59.97 c cleaning 14900 clauses out of 30319 with flag 148906/346206 62.30/60.90 c cleaning 10505 clauses out of 21419 with flag 292332/352208 63.30/61.85 c cleaning 8737 clauses out of 17908 with flag 395621/359205 64.33/62.89 c cleaning 8499 clauses out of 17167 with flag 486777/367205 65.53/64.07 c cleaning 8708 clauses out of 17652 with flag 568639/376205 66.92/65.47 c cleaning 9367 clauses out of 18931 with flag 669696/386205 68.52/67.01 c cleaning 10177 clauses out of 20556 with flag 801449/397206 70.22/68.71 c cleaning 11130 clauses out of 22370 with flag 959757/409207 72.12/70.66 c cleaning 12017 clauses out of 24226 with flag 1160141/422206 74.23/72.79 c cleaning 13035 clauses out of 26203 with flag 1399090/436207 76.62/75.13 c cleaning 13952 clauses out of 28153 with flag 1675953/451205 79.02/77.55 c Got one! Elapsed wall clock time (in seconds):77.446 79.02/77.55 o 8037 80.15/78.59 c cleaning 16802 clauses out of 33773 with flag 117455/470792 81.83/80.12 c cleaning 11435 clauses out of 22967 with flag 179536/476790 83.53/81.85 c cleaning 9111 clauses out of 18532 with flag 230285/483790 84.63/82.93 c cleaning 8338 clauses out of 17413 with flag 299468/491791 85.75/84.07 c cleaning 8927 clauses out of 18069 with flag 376991/500791 87.15/85.44 c cleaning 9473 clauses out of 19136 with flag 463482/510791 88.66/86.95 c cleaning 10226 clauses out of 20653 with flag 575610/521790 90.35/88.62 c cleaning 11153 clauses out of 22420 with flag 721560/533790 92.15/90.47 c cleaning 12110 clauses out of 24264 with flag 893693/546791 93.75/92.00 c Got one! Elapsed wall clock time (in seconds):91.904 93.75/92.00 o 8035 94.63/92.88 c cleaning 13825 clauses out of 27755 with flag 88124/562401 95.53/93.75 c cleaning 9905 clauses out of 19922 with flag 184232/568401 96.44/94.66 c cleaning 7111 clauses out of 17016 with flag 242104/575402 97.54/95.72 c cleaning 8031 clauses out of 17902 with flag 308013/583401 98.74/96.93 c cleaning 8963 clauses out of 18873 with flag 379739/592403 100.03/98.25 c cleaning 9841 clauses out of 19902 with flag 471533/602401 101.63/99.80 c cleaning 10418 clauses out of 21061 with flag 568528/613402 103.24/101.44 c cleaning 11270 clauses out of 22641 with flag 689900/625401 105.04/103.28 c cleaning 12144 clauses out of 24365 with flag 850463/638401 107.16/105.35 c cleaning 13002 clauses out of 26213 with flag 1040937/652401 109.46/107.65 c cleaning 14013 clauses out of 28206 with flag 1277983/667401 112.06/110.24 c cleaning 15011 clauses out of 30181 with flag 1557004/683401 114.86/113.07 c cleaning 16050 clauses out of 32164 with flag 1867298/700401 117.86/116.10 c cleaning 17008 clauses out of 34108 with flag 2224867/718401 121.16/119.34 c cleaning 17968 clauses out of 36091 with flag 2612292/737401 124.67/122.85 c cleaning 19005 clauses out of 38118 with flag 3037971/757401 128.48/126.64 c cleaning 19968 clauses out of 40112 with flag 3511464/778401 132.49/130.61 c cleaning 21012 clauses out of 42133 with flag 3969689/800401 136.69/134.84 c cleaning 21988 clauses out of 44115 with flag 4529440/823404 141.29/139.47 c cleaning 22930 clauses out of 46119 with flag 5165287/847401 146.19/144.32 c cleaning 24046 clauses out of 48185 with flag 5832145/872401 151.39/149.53 c cleaning 24988 clauses out of 50134 with flag 6543658/898403 156.92/155.06 c cleaning 26030 clauses out of 52139 with flag 7264597/925401 162.82/160.90 c cleaning 27047 clauses out of 54103 with flag 8046619/953402 168.82/166.96 c cleaning 27888 clauses out of 56047 with flag 8859594/982401 173.52/171.64 c Got one! Elapsed wall clock time (in seconds):171.54 173.52/171.64 o 7934 174.87/172.90 c cleaning 27745 clauses out of 55716 with flag 147539/1009969 175.95/173.94 c cleaning 16849 clauses out of 33970 with flag 301622/1015968 177.05/175.01 c cleaning 10094 clauses out of 24119 with flag 391402/1022968 177.24/175.26 c Got one! Elapsed wall clock time (in seconds):175.158 177.24/175.26 o 7854 177.87/175.84 c cleaning 5957 clauses out of 19951 with flag 29487/1028895 178.67/176.63 c cleaning 5984 clauses out of 19993 with flag 67563/1034895 179.66/177.62 c cleaning 6973 clauses out of 21009 with flag 116231/1041897 180.76/178.74 c cleaning 7997 clauses out of 22035 with flag 174495/1049896 182.06/180.04 c cleaning 8943 clauses out of 23036 with flag 241723/1058895 183.57/181.52 c cleaning 9968 clauses out of 24092 with flag 322472/1068895 185.16/183.12 c cleaning 10885 clauses out of 25120 with flag 410103/1079895 186.87/184.88 c cleaning 12009 clauses out of 26232 with flag 511857/1091895 188.96/186.92 c cleaning 12883 clauses out of 27218 with flag 630968/1104895 191.07/189.07 c cleaning 13981 clauses out of 28332 with flag 752856/1118896 193.54/191.43 c cleaning 14591 clauses out of 29346 with flag 891428/1133895 196.03/193.90 c cleaning 15312 clauses out of 30753 with flag 1052441/1149895 198.63/196.57 c cleaning 16181 clauses out of 32435 with flag 1245037/1166895 201.53/199.49 c cleaning 17059 clauses out of 34252 with flag 1450684/1184895 204.93/202.82 c cleaning 18032 clauses out of 36192 with flag 1740911/1203895 208.23/206.13 c cleaning 19018 clauses out of 38154 with flag 2056570/1223895 212.01/209.85 c cleaning 19977 clauses out of 40136 with flag 2432784/1244896 216.21/214.02 c cleaning 21049 clauses out of 42156 with flag 2758922/1266895 220.40/218.28 c cleaning 22007 clauses out of 44107 with flag 3227785/1289896 225.00/222.81 c cleaning 22929 clauses out of 46096 with flag 3745967/1313898 229.87/227.64 c cleaning 24056 clauses out of 48158 with flag 4307839/1338895 232.47/230.24 c Got one! Elapsed wall clock time (in seconds):230.137 232.47/230.24 o 7825 233.59/231.36 c cleaning 21805 clauses out of 43839 with flag 125515/1358633 234.59/232.35 c cleaning 12205 clauses out of 28032 with flag 237767/1364633 235.60/233.39 c cleaning 6945 clauses out of 22825 with flag 289473/1371631 236.79/234.52 c cleaning 8070 clauses out of 23879 with flag 346482/1379632 238.09/235.84 c cleaning 8902 clauses out of 24808 with flag 414914/1388632 239.59/237.35 c cleaning 10027 clauses out of 25904 with flag 495120/1398632 241.29/239.00 c cleaning 10986 clauses out of 26874 with flag 581225/1409631 242.99/240.78 c cleaning 12011 clauses out of 27890 with flag 675422/1421633 245.09/242.83 c cleaning 12862 clauses out of 28875 with flag 788592/1434631 246.68/244.32 c Got one! Elapsed wall clock time (in seconds):244.219 246.68/244.32 o 7820 247.47/245.19 c cleaning 15212 clauses out of 31305 with flag 57466/1449923 248.37/246.03 c cleaning 6130 clauses out of 22094 with flag 98330/1455924 249.27/246.98 c cleaning 6935 clauses out of 22961 with flag 143577/1462922 249.88/247.50 c Got one! Elapsed wall clock time (in seconds):247.404 249.88/247.50 o 7767 249.98/247.67 c cleaning 5034 clauses out of 21059 with flag 7263/1467955 250.87/248.50 c cleaning 5969 clauses out of 22023 with flag 46865/1473954 251.87/249.50 c cleaning 6994 clauses out of 23054 with flag 94294/1480954 252.97/250.67 c cleaning 7995 clauses out of 24058 with flag 150853/1488954 254.28/251.99 c cleaning 9019 clauses out of 25064 with flag 217899/1497957 255.87/253.51 c cleaning 9844 clauses out of 26039 with flag 295349/1507954 257.37/255.09 c cleaning 11075 clauses out of 27195 with flag 385666/1518954 259.17/256.87 c cleaning 11938 clauses out of 28119 with flag 481566/1530954 261.21/258.83 c cleaning 12972 clauses out of 29181 with flag 594636/1543954 263.40/261.10 c cleaning 13992 clauses out of 30209 with flag 716478/1557956 265.90/263.57 c cleaning 14925 clauses out of 31215 with flag 857597/1572955 268.40/266.05 c cleaning 15969 clauses out of 32284 with flag 1003588/1588954 271.10/268.79 c cleaning 16531 clauses out of 33313 with flag 1159762/1605954 274.00/271.64 c cleaning 17356 clauses out of 34779 with flag 1342495/1623955 277.10/274.77 c cleaning 18153 clauses out of 36421 with flag 1541381/1642954 280.52/278.13 c cleaning 19102 clauses out of 38267 with flag 1807741/1662955 284.12/281.78 c cleaning 19990 clauses out of 40160 with flag 2119542/1683955 288.11/285.75 c cleaning 21043 clauses out of 42167 with flag 2488748/1705954 292.41/290.09 c cleaning 22008 clauses out of 44121 with flag 2916839/1728954 297.06/294.62 c cleaning 23000 clauses out of 46111 with flag 3373650/1752956 302.06/299.62 c cleaning 23950 clauses out of 48106 with flag 3901794/1777955 306.95/304.50 c cleaning 25017 clauses out of 50154 with flag 4429142/1803955 310.15/307.79 c Got one! Elapsed wall clock time (in seconds):307.691 310.15/307.79 o 7764 310.94/308.47 c Got one! Elapsed wall clock time (in seconds):308.371 310.94/308.47 o 7763 311.65/309.20 c cleaning 24542 clauses out of 49143 with flag 24901/1827971 313.34/310.85 c cleaning 13063 clauses out of 30601 with flag 51834/1833971 314.84/312.40 c cleaning 6991 clauses out of 24538 with flag 86996/1840971 316.05/313.56 c cleaning 7944 clauses out of 25547 with flag 144849/1848971 317.44/314.97 c cleaning 9046 clauses out of 26603 with flag 213976/1857971 318.84/316.39 c cleaning 9918 clauses out of 27557 with flag 283945/1867972 320.54/318.04 c cleaning 11010 clauses out of 28640 with flag 376227/1878973 322.34/319.88 c cleaning 12013 clauses out of 29627 with flag 471762/1890972 324.63/322.00 c cleaning 12921 clauses out of 30614 with flag 581705/1903973 326.73/324.10 c cleaning 13984 clauses out of 31691 with flag 706674/1917972 329.03/326.45 c cleaning 15000 clauses out of 32707 with flag 836211/1932972 331.64/329.04 c cleaning 15928 clauses out of 33706 with flag 977416/1948971 334.43/331.88 c cleaning 16862 clauses out of 34773 with flag 1131467/1965971 337.53/334.93 c cleaning 17853 clauses out of 35907 with flag 1318971/1983972 340.58/337.96 c cleaning 18527 clauses out of 37054 with flag 1496148/2002973 344.08/341.41 c cleaning 19189 clauses out of 38523 with flag 1641663/2022971 349.08/346.48 c cleaning 20161 clauses out of 40335 with flag 1727893/2043972 353.31/350.61 c cleaning 20997 clauses out of 42174 with flag 1928006/2065972 357.41/354.72 c cleaning 21997 clauses out of 44173 with flag 2280060/2088971 361.91/359.29 c cleaning 22989 clauses out of 46177 with flag 2695863/2112972 366.79/364.08 c cleaning 24029 clauses out of 48185 with flag 3157193/2137971 371.98/369.21 c cleaning 24992 clauses out of 50152 with flag 3680202/2163971 376.89/374.10 c Got one! Elapsed wall clock time (in seconds):374.004 376.89/374.10 o 7754 378.08/375.32 c cleaning 27243 clauses out of 54532 with flag 118320/2193343 379.17/376.39 c cleaning 14541 clauses out of 33287 with flag 238719/2199343 380.27/377.47 c cleaning 7022 clauses out of 25747 with flag 290141/2206345 381.46/378.61 c cleaning 7955 clauses out of 26723 with flag 350308/2214343 382.76/379.92 c cleaning 9053 clauses out of 27767 with flag 416812/2223343 384.26/381.44 c cleaning 9983 clauses out of 28712 with flag 490804/2233343 385.96/383.17 c cleaning 10925 clauses out of 29732 with flag 573535/2244346 387.87/385.08 c cleaning 11982 clauses out of 30804 with flag 671924/2256343 389.96/387.18 c cleaning 12924 clauses out of 31824 with flag 778484/2269345 392.35/389.42 c cleaning 13932 clauses out of 32898 with flag 899014/2283343 394.95/392.09 c cleaning 15098 clauses out of 33967 with flag 1012090/2298344 397.44/394.56 c cleaning 15878 clauses out of 34867 with flag 1150541/2314343 401.84/398.94 c cleaning 17111 clauses out of 35989 with flag 1222890/2331343 403.07/400.16 c Got one! Elapsed wall clock time (in seconds):400.057 403.07/400.16 o 7745 403.27/400.30 c cleaning 5251 clauses out of 24149 with flag 4724/2336614 404.07/401.16 c cleaning 5995 clauses out of 24898 with flag 41708/2342614 405.07/402.14 c cleaning 6971 clauses out of 25906 with flag 86481/2349618 406.17/403.28 c cleaning 8003 clauses out of 26929 with flag 141560/2357614 407.57/404.65 c cleaning 8954 clauses out of 27928 with flag 207253/2366616 409.17/406.25 c cleaning 9957 clauses out of 28972 with flag 284026/2376614 410.88/407.93 c cleaning 11021 clauses out of 30015 with flag 374002/2387614 412.78/409.81 c cleaning 11969 clauses out of 30994 with flag 474978/2399615 414.88/411.91 c cleaning 12932 clauses out of 32022 with flag 584171/2412614 417.25/414.26 c cleaning 13988 clauses out of 33088 with flag 709097/2426614 419.65/416.68 c cleaning 14910 clauses out of 34099 with flag 845723/2441615 422.26/419.29 c cleaning 16065 clauses out of 35188 with flag 991003/2457614 425.05/422.03 c cleaning 16946 clauses out of 36122 with flag 1135521/2474614 426.56/423.56 c Got one! Elapsed wall clock time (in seconds):423.459 426.56/423.56 o 7708 427.48/424.49 c cleaning 14854 clauses out of 34066 with flag 53395/2489505 428.37/425.39 c cleaning 5928 clauses out of 25212 with flag 93175/2495505 429.47/426.43 c cleaning 7053 clauses out of 26284 with flag 142197/2502505 430.67/427.62 c cleaning 7976 clauses out of 27234 with flag 196653/2510509 432.08/429.00 c cleaning 9006 clauses out of 28254 with flag 263318/2519505 433.57/430.59 c cleaning 10026 clauses out of 29246 with flag 338783/2529506 435.27/432.22 c cleaning 10934 clauses out of 30219 with flag 420527/2540505 437.17/434.14 c cleaning 11978 clauses out of 31285 with flag 517027/2552506 439.17/436.10 c cleaning 12979 clauses out of 32308 with flag 620878/2565507 441.41/438.30 c cleaning 13994 clauses out of 33329 with flag 736223/2579507 443.91/440.87 c cleaning 14977 clauses out of 34334 with flag 839312/2594506 447.01/443.93 c cleaning 15950 clauses out of 35357 with flag 922332/2610507 449.71/446.66 c cleaning 16980 clauses out of 36403 with flag 1071556/2627505 452.73/449.68 c cleaning 17967 clauses out of 37423 with flag 1236200/2645506 455.92/452.86 c cleaning 18950 clauses out of 38456 with flag 1417351/2664507 459.42/456.36 c cleaning 19723 clauses out of 39504 with flag 1620553/2684506 463.03/459.92 c cleaning 20344 clauses out of 40778 with flag 1837374/2705505 466.93/463.87 c cleaning 21124 clauses out of 42432 with flag 2083129/2727505 471.03/467.97 c cleaning 22070 clauses out of 44308 with flag 2373680/2750505 475.33/472.28 c cleaning 23027 clauses out of 46238 with flag 2706431/2774506 481.16/478.05 c cleaning 24006 clauses out of 48210 with flag 2946300/2799505 486.27/483.15 c cleaning 25036 clauses out of 50203 with flag 3408246/2825505 491.80/488.65 c cleaning 26054 clauses out of 52165 with flag 3776727/2852505 497.58/494.35 c cleaning 26944 clauses out of 54111 with flag 4310724/2880505 503.98/500.72 c cleaning 28039 clauses out of 56166 with flag 4681214/2909505 512.57/509.23 c cleaning 29063 clauses out of 58127 with flag 4788034/2939505 512.67/509.38 c Got one! Elapsed wall clock time (in seconds):509.277 512.67/509.38 o 7707 513.47/510.18 c cleaning 14414 clauses out of 34801 with flag 90146/2945244 514.47/511.11 c cleaning 6049 clauses out of 26388 with flag 131248/2951245 515.46/512.18 c cleaning 6980 clauses out of 27337 with flag 184945/2958244 516.96/513.60 c Got one! Elapsed wall clock time (in seconds):513.497 516.96/513.60 o 7705 517.94/514.57 c Got one! Elapsed wall clock time (in seconds):514.467 517.94/514.57 o 7694 518.14/514.74 c cleaning 13376 clauses out of 33739 with flag 9477/2971627 519.04/515.62 c cleaning 6013 clauses out of 26359 with flag 50553/2977623 520.04/516.69 c cleaning 6921 clauses out of 27346 with flag 97685/2984623 521.24/517.87 c cleaning 7996 clauses out of 28425 with flag 160185/2992623 522.54/519.15 c Got one! Elapsed wall clock time (in seconds):519.049 522.54/519.15 o 7678 523.34/519.98 c cleaning 12674 clauses out of 33178 with flag 42782/3005372 524.24/520.87 c cleaning 6044 clauses out of 26505 with flag 85202/3011373 525.34/521.92 c cleaning 6977 clauses out of 27461 with flag 133236/3018373 526.54/523.14 c cleaning 8059 clauses out of 28483 with flag 189904/3026372 527.85/524.47 c cleaning 8936 clauses out of 29426 with flag 253307/3035374 529.45/526.00 c cleaning 9957 clauses out of 30487 with flag 325278/3045372 531.05/527.66 c cleaning 11028 clauses out of 31530 with flag 407631/3056373 532.95/529.54 c cleaning 11955 clauses out of 32503 with flag 508693/3068375 535.05/531.60 c cleaning 13068 clauses out of 33544 with flag 617260/3081373 537.25/533.89 c cleaning 13913 clauses out of 34475 with flag 731501/3095372 539.77/536.35 c cleaning 14979 clauses out of 35562 with flag 859922/3110372 542.37/538.96 c cleaning 16004 clauses out of 36583 with flag 1003271/3126372 545.17/541.74 c cleaning 16907 clauses out of 37578 with flag 1149668/3143372 548.19/544.78 c cleaning 17894 clauses out of 38669 with flag 1309064/3161372 551.41/547.97 c cleaning 19039 clauses out of 39775 with flag 1494224/3180372 554.90/551.46 c cleaning 19936 clauses out of 40735 with flag 1685753/3200372 558.50/555.02 c cleaning 20780 clauses out of 41800 with flag 1889557/3221374 562.33/558.89 c cleaning 21510 clauses out of 43020 with flag 2120372/3243374 566.32/562.80 c cleaning 22207 clauses out of 44507 with flag 2381781/3266372 570.64/567.17 c cleaning 23024 clauses out of 46301 with flag 2708247/3290374 575.14/571.61 c cleaning 24087 clauses out of 48274 with flag 3060925/3315372 579.99/576.49 c cleaning 25035 clauses out of 50188 with flag 3472296/3341373 585.28/581.75 c cleaning 26008 clauses out of 52150 with flag 3934126/3368373 587.58/584.09 c Got one! Elapsed wall clock time (in seconds):583.993 587.58/584.09 o 7675 588.68/585.15 c cleaning 22542 clauses out of 45203 with flag 97379/3387438 589.49/585.99 c cleaning 7157 clauses out of 28661 with flag 154033/3393439 590.49/586.99 c cleaning 7043 clauses out of 28503 with flag 204199/3400438 591.70/588.19 c cleaning 8033 clauses out of 29460 with flag 260926/3408438 593.21/589.61 c cleaning 9027 clauses out of 30426 with flag 329014/3417439 594.70/591.10 c cleaning 9883 clauses out of 31398 with flag 400752/3427438 596.40/592.80 c cleaning 11073 clauses out of 32515 with flag 484123/3438439 598.21/594.69 c cleaning 11922 clauses out of 33443 with flag 579817/3450440 600.31/596.72 c cleaning 13014 clauses out of 34519 with flag 684263/3463438 603.01/599.40 c cleaning 14012 clauses out of 35505 with flag 753259/3477439 606.94/603.38 c cleaning 15009 clauses out of 36493 with flag 799595/3492439 610.95/607.38 c cleaning 16004 clauses out of 37484 with flag 845952/3508439 615.35/611.73 c cleaning 16996 clauses out of 38480 with flag 892723/3525439 620.37/616.73 c cleaning 18004 clauses out of 39483 with flag 951853/3543438 625.39/621.75 c cleaning 18986 clauses out of 40479 with flag 1006069/3562438 629.79/626.11 c cleaning 20014 clauses out of 41493 with flag 1090563/3582438 633.52/629.83 c cleaning 20914 clauses out of 42478 with flag 1295927/3603438 637.23/633.52 c cleaning 21773 clauses out of 43564 with flag 1510895/3625438 639.55/635.81 c Got one! Elapsed wall clock time (in seconds):635.713 639.55/635.81 o 7662 640.44/636.75 c cleaning 19748 clauses out of 41501 with flag 63111/3645148 641.34/637.67 c cleaning 6152 clauses out of 27753 with flag 106507/3651148 642.34/638.68 c cleaning 6941 clauses out of 28597 with flag 151021/3658146 643.64/639.91 c cleaning 8019 clauses out of 29656 with flag 209850/3666146 643.84/640.12 c Got one! Elapsed wall clock time (in seconds):640.019 643.84/640.12 o 7615 644.44/640.73 c cleaning 5500 clauses out of 27083 with flag 29483/3671592 645.34/641.64 c cleaning 5931 clauses out of 27579 with flag 67937/3677588 646.48/642.72 c cleaning 6996 clauses out of 28648 with flag 113763/3684588 647.67/643.91 c cleaning 7935 clauses out of 29652 with flag 174069/3692588 649.07/645.33 c cleaning 9057 clauses out of 30717 with flag 240874/3701588 650.58/646.89 c cleaning 9930 clauses out of 31661 with flag 316581/3711589 652.37/648.63 c cleaning 11040 clauses out of 32730 with flag 403103/3722588 654.40/650.61 c cleaning 11907 clauses out of 33690 with flag 501339/3734588 656.50/652.71 c cleaning 13031 clauses out of 34786 with flag 609975/3747591 658.60/654.87 c cleaning 13977 clauses out of 35752 with flag 729155/3761589 662.13/658.33 c cleaning 15041 clauses out of 36775 with flag 783981/3776589 666.03/662.23 c cleaning 15981 clauses out of 37733 with flag 833825/3792588 670.27/666.49 c cleaning 17030 clauses out of 38753 with flag 880754/3809589 673.37/669.58 c Got one! Elapsed wall clock time (in seconds):669.484 673.37/669.58 o 7601 674.27/670.42 c cleaning 18318 clauses out of 40061 with flag 27982/3827927 675.22/671.38 c cleaning 6016 clauses out of 27743 with flag 61485/3833927 676.22/672.36 c cleaning 7015 clauses out of 28727 with flag 110258/3840927 677.42/673.57 c cleaning 7935 clauses out of 29712 with flag 168444/3848927 678.82/674.91 c cleaning 9000 clauses out of 30777 with flag 236134/3857927 679.92/676.04 c Got one! Elapsed wall clock time (in seconds):675.942 679.92/676.04 o 7577 680.82/676.90 c cleaning 12807 clauses out of 34547 with flag 48226/3870697 681.64/677.78 c cleaning 5947 clauses out of 27738 with flag 88340/3876697 682.74/678.81 c cleaning 7023 clauses out of 28791 with flag 134708/3883697 683.84/679.96 c cleaning 7954 clauses out of 29768 with flag 192005/3891698 685.23/681.30 c cleaning 8973 clauses out of 30813 with flag 259574/3900697 686.73/682.85 c cleaning 10063 clauses out of 31840 with flag 334870/3910697 688.54/684.62 c cleaning 10872 clauses out of 32777 with flag 421782/3921697 690.45/686.56 c cleaning 12054 clauses out of 33907 with flag 520823/3933699 692.44/688.59 c cleaning 12982 clauses out of 34854 with flag 625812/3946700 694.77/690.85 c cleaning 13929 clauses out of 35869 with flag 744043/3960698 697.16/693.25 c cleaning 14960 clauses out of 36939 with flag 879584/3975697 699.86/695.93 c cleaning 16004 clauses out of 37979 with flag 1027307/3991697 702.70/698.74 c cleaning 16969 clauses out of 38974 with flag 1182829/4008698 705.70/701.77 c cleaning 18045 clauses out of 40004 with flag 1357082/4026697 708.93/704.99 c cleaning 18949 clauses out of 40959 with flag 1532846/4045697 712.33/708.39 c cleaning 19959 clauses out of 42010 with flag 1713973/4065697 715.87/711.87 c cleaning 21001 clauses out of 43050 with flag 1913878/4086697 720.91/716.85 c cleaning 21946 clauses out of 44049 with flag 2024876/4108697 726.55/722.47 c cleaning 22532 clauses out of 45104 with flag 2159712/4131698 732.82/728.67 c cleaning 23281 clauses out of 46572 with flag 2268392/4155698 739.75/735.57 c cleaning 24141 clauses out of 48290 with flag 2385407/4180697 744.79/740.51 c cleaning 25077 clauses out of 50153 with flag 2661616/4206701 750.01/745.79 c cleaning 25954 clauses out of 52072 with flag 3068022/4233698 755.74/751.49 c cleaning 27004 clauses out of 54116 with flag 3545371/4261697 761.68/757.33 c cleaning 28029 clauses out of 56114 with flag 4102526/4290699 767.81/763.46 c cleaning 28940 clauses out of 58086 with flag 4695066/4320700 775.46/771.02 c cleaning 30036 clauses out of 60143 with flag 4897745/4351697 783.69/779.24 c cleaning 31049 clauses out of 62108 with flag 5032781/4383698 792.17/787.62 c cleaning 32024 clauses out of 64059 with flag 5184252/4416698 800.88/796.27 c cleaning 33012 clauses out of 66036 with flag 5354205/4450699 810.13/805.47 c cleaning 34006 clauses out of 68023 with flag 5539487/4485698 820.74/815.90 c cleaning 35007 clauses out of 70017 with flag 5721271/4521698 831.41/826.59 c cleaning 36005 clauses out of 72010 with flag 5928658/4558698 842.61/837.61 c cleaning 36994 clauses out of 74005 with flag 6146998/4596698 852.36/847.32 c cleaning 37995 clauses out of 76010 with flag 6514245/4635697 863.70/858.58 c cleaning 39003 clauses out of 78016 with flag 6712146/4675698 876.07/870.73 c cleaning 39996 clauses out of 80012 with flag 6936064/4716697 888.38/882.98 c cleaning 40997 clauses out of 82016 with flag 7162506/4758697 893.34/887.86 c Got one! Elapsed wall clock time (in seconds):887.762 893.34/887.86 o 7539 894.37/888.89 c cleaning 31730 clauses out of 63559 with flag 112772/4781237 895.36/889.90 c cleaning 15099 clauses out of 37829 with flag 240002/4787237 896.46/890.94 c cleaning 7186 clauses out of 29730 with flag 296023/4794237 897.68/892.15 c cleaning 7925 clauses out of 30543 with flag 350233/4802237 898.98/893.49 c cleaning 9040 clauses out of 31617 with flag 412915/4811238 900.61/895.02 c cleaning 9965 clauses out of 32577 with flag 488746/4821238 902.30/896.79 c cleaning 10955 clauses out of 33612 with flag 575309/4832239 904.34/898.77 c cleaning 12021 clauses out of 34654 with flag 676293/4844237 906.33/900.79 c cleaning 12979 clauses out of 35633 with flag 774898/4857237 908.66/903.03 c cleaning 14005 clauses out of 36654 with flag 889526/4871237 911.09/905.48 c cleaning 14902 clauses out of 37649 with flag 1013734/4886237 913.88/908.23 c cleaning 16040 clauses out of 38747 with flag 1161129/4902239 916.62/910.98 c cleaning 16848 clauses out of 39705 with flag 1311894/4919237 919.72/914.08 c cleaning 18049 clauses out of 40856 with flag 1493265/4937237 923.05/917.36 c cleaning 18967 clauses out of 41809 with flag 1672615/4956239 926.36/920.60 c cleaning 20048 clauses out of 42840 with flag 1863848/4976237 928.29/922.53 c Got one! Elapsed wall clock time (in seconds):922.43 928.29/922.53 o 7537 929.30/923.57 c cleaning 17390 clauses out of 40216 with flag 61144/4993662 930.20/924.42 c cleaning 5975 clauses out of 28823 with flag 101601/4999659 931.30/925.58 c cleaning 6995 clauses out of 29851 with flag 150908/5006662 932.64/926.84 c cleaning 7978 clauses out of 30853 with flag 214325/5014659 934.04/928.21 c cleaning 9020 clauses out of 31875 with flag 279818/5023659 935.56/929.76 c cleaning 10000 clauses out of 32855 with flag 354118/5033659 937.26/931.48 c cleaning 10976 clauses out of 33855 with flag 439091/5044659 939.19/933.37 c cleaning 11978 clauses out of 34882 with flag 526732/5056662 942.29/936.46 c cleaning 13038 clauses out of 35902 with flag 577661/5069660 946.03/940.15 c cleaning 13980 clauses out of 36863 with flag 624484/5083659 949.67/943.76 c cleaning 14991 clauses out of 37883 with flag 678334/5098659 953.60/947.68 c cleaning 16016 clauses out of 38893 with flag 737737/5114660 958.76/952.78 c cleaning 17031 clauses out of 39877 with flag 798447/5131660 964.20/958.18 c cleaning 17981 clauses out of 40846 with flag 865157/5149660 969.87/963.76 c cleaning 19006 clauses out of 41865 with flag 938267/5168660 975.64/969.44 c cleaning 19991 clauses out of 42858 with flag 1014534/5188659 980.93/974.69 c cleaning 20971 clauses out of 43869 with flag 1095273/5209661 986.31/979.93 c cleaning 22010 clauses out of 44897 with flag 1188471/5231660 991.47/985.00 c cleaning 22895 clauses out of 45887 with flag 1274377/5254660 996.43/989.95 c cleaning 23446 clauses out of 46992 with flag 1419327/5278660 999.66/993.16 c Got one! Elapsed wall clock time (in seconds):993.056 999.66/993.16 o 7533 1000.79/994.23 c cleaning 23192 clauses out of 46388 with flag 69212/5301504 1001.69/995.14 c cleaning 6263 clauses out of 29195 with flag 111281/5307503 1002.71/996.18 c cleaning 6948 clauses out of 29931 with flag 155477/5314502 1004.01/997.45 c cleaning 8016 clauses out of 30983 with flag 210869/5322502 1005.53/998.92 c cleaning 8925 clauses out of 31967 with flag 280925/5331502 1007.15/1000.57 c cleaning 10028 clauses out of 33042 with flag 360122/5341502 1009.67/1003.01 c cleaning 11025 clauses out of 34014 with flag 402304/5352502 1012.29/1005.68 c cleaning 11990 clauses out of 34990 with flag 441735/5364503 1012.91/1006.22 c Got one! Elapsed wall clock time (in seconds):1006.119 1012.91/1006.22 o 7531 1013.41/1006.70 c cleaning 5589 clauses out of 28573 with flag 16409/5370076 1014.34/1007.60 c cleaning 5955 clauses out of 28984 with flag 59010/5376076 1015.33/1008.63 c cleaning 6991 clauses out of 30029 with flag 106666/5383076 1016.55/1009.86 c cleaning 7989 clauses out of 31037 with flag 165827/5391075 1017.95/1011.23 c cleaning 9037 clauses out of 32048 with flag 232263/5400075 1019.39/1012.68 c cleaning 9965 clauses out of 33011 with flag 305496/5410075 1021.11/1014.39 c cleaning 10918 clauses out of 34046 with flag 392591/5421075 1023.14/1016.35 c cleaning 12046 clauses out of 35128 with flag 469382/5433075 1025.14/1018.39 c cleaning 13043 clauses out of 36081 with flag 574687/5446075 1027.56/1020.76 c cleaning 13986 clauses out of 37038 with flag 693323/5460075 1030.80/1023.94 c cleaning 14984 clauses out of 38053 with flag 746826/5475076 1034.55/1027.68 c cleaning 16016 clauses out of 39069 with flag 791324/5491076 1038.40/1031.45 c cleaning 16987 clauses out of 40052 with flag 846138/5508075 1042.67/1035.62 c cleaning 17994 clauses out of 41066 with flag 903362/5526076 1047.25/1040.12 c cleaning 19025 clauses out of 42071 with flag 968022/5545075 1050.79/1043.60 c cleaning 19989 clauses out of 43047 with flag 1155953/5565076 1054.43/1047.30 c cleaning 20884 clauses out of 44058 with flag 1359413/5586076 1058.50/1051.26 c cleaning 22048 clauses out of 45172 with flag 1579366/5608075 1062.56/1055.23 c cleaning 22946 clauses out of 46124 with flag 1800602/5631075 1067.77/1060.35 c cleaning 23521 clauses out of 47179 with flag 1960306/5655076 1074.12/1066.62 c cleaning 24319 clauses out of 48658 with flag 2039233/5680076 1081.21/1073.64 c Got one! Elapsed wall clock time (in seconds):1073.54 1081.21/1073.64 o 7530 1082.04/1074.44 c cleaning 27408 clauses out of 54840 with flag 37443/5710577 1082.94/1075.33 c cleaning 10145 clauses out of 33428 with flag 93478/5716574 1083.98/1076.38 c cleaning 7089 clauses out of 30284 with flag 140840/5723575 1085.19/1077.55 c cleaning 7883 clauses out of 31195 with flag 197435/5731575 1086.59/1078.96 c cleaning 9042 clauses out of 32310 with flag 266869/5740573 1088.20/1080.53 c cleaning 9972 clauses out of 33271 with flag 338044/5750576 1089.94/1082.24 c cleaning 10985 clauses out of 34296 with flag 422761/5761573 1091.75/1084.09 c cleaning 12032 clauses out of 35311 with flag 511042/5773573 1095.09/1087.32 c cleaning 12962 clauses out of 36279 with flag 553959/5786573 1097.86/1090.10 c cleaning 14017 clauses out of 37317 with flag 619192/5800573 1100.48/1092.65 c cleaning 15013 clauses out of 38301 with flag 751822/5815574 1103.22/1095.30 c cleaning 15847 clauses out of 39287 with flag 892185/5831573 1106.17/1098.21 c cleaning 17105 clauses out of 40440 with flag 1044744/5848573 1109.34/1101.36 c cleaning 17931 clauses out of 41335 with flag 1206349/5866573 1112.90/1104.86 c cleaning 18991 clauses out of 42405 with flag 1393979/5885575 1116.33/1108.20 c cleaning 19892 clauses out of 43411 with flag 1581404/5905573 1116.33/1108.26 c Got one! Elapsed wall clock time (in seconds):1108.161 1116.33/1108.26 o 7514 1117.15/1109.07 c cleaning 5554 clauses out of 28996 with flag 34318/5911050 1118.07/1109.95 c cleaning 5957 clauses out of 29443 with flag 71122/5917051 1119.22/1111.03 c cleaning 7022 clauses out of 30485 with flag 118296/5924050 1120.41/1112.21 c cleaning 7956 clauses out of 31463 with flag 176791/5932050 1121.95/1113.72 c cleaning 9055 clauses out of 32506 with flag 230288/5941050 1124.27/1116.02 c cleaning 9991 clauses out of 33452 with flag 266180/5951051 1127.11/1118.86 c cleaning 10967 clauses out of 34461 with flag 307174/5962051 1130.03/1121.76 c cleaning 12050 clauses out of 35493 with flag 354457/5974050 1132.28/1123.97 c cleaning 12873 clauses out of 36447 with flag 462370/5987054 1134.62/1126.25 c cleaning 14068 clauses out of 37570 with flag 575011/6001050 1137.96/1129.56 c cleaning 14990 clauses out of 38502 with flag 612775/6016050 1141.63/1133.13 c cleaning 16027 clauses out of 39513 with flag 658326/6032051 1146.21/1137.62 c cleaning 17043 clauses out of 40485 with flag 709421/6049050 1151.81/1143.13 c cleaning 17978 clauses out of 41444 with flag 791407/6067052 1153.25/1144.59 c Got one! Elapsed wall clock time (in seconds):1144.489 1153.25/1144.59 o 7491 1154.07/1145.38 c cleaning 10989 clauses out of 34490 with flag 33907/6078076 1154.97/1146.28 c cleaning 5974 clauses out of 29502 with flag 71741/6084077 1156.10/1147.39 c cleaning 6995 clauses out of 30527 with flag 119785/6091076 1157.40/1148.63 c cleaning 8045 clauses out of 31532 with flag 175559/6099076 1158.80/1150.03 c cleaning 8976 clauses out of 32488 with flag 240176/6108078 1160.33/1151.58 c cleaning 9995 clauses out of 33511 with flag 314087/6118077 1162.05/1153.27 c cleaning 10965 clauses out of 34515 with flag 395759/6129076 1164.08/1155.25 c cleaning 12004 clauses out of 35550 with flag 490021/6141077 1166.20/1157.35 c cleaning 12888 clauses out of 36545 with flag 596780/6154076 1168.53/1159.65 c cleaning 14102 clauses out of 37658 with flag 718532/6168077 1170.94/1162.06 c cleaning 14834 clauses out of 38556 with flag 844336/6183077 1175.12/1166.10 c cleaning 16151 clauses out of 39722 with flag 908923/6199077 1179.07/1170.04 c cleaning 16978 clauses out of 40570 with flag 970702/6216076 1183.22/1174.14 c cleaning 18027 clauses out of 41592 with flag 1052969/6234076 1187.32/1178.14 c cleaning 18944 clauses out of 42564 with flag 1155268/6253076 1192.96/1183.63 c cleaning 20021 clauses out of 43620 with flag 1240807/6273076 1198.22/1188.80 c cleaning 20993 clauses out of 44599 with flag 1316969/6294076 1203.76/1194.30 c cleaning 21997 clauses out of 45606 with flag 1396635/6316076 1209.53/1200.10 c cleaning 23000 clauses out of 46609 with flag 1476853/6339076 1215.84/1206.27 c cleaning 23793 clauses out of 47610 with flag 1558676/6363077 1222.23/1212.57 c cleaning 24406 clauses out of 48816 with flag 1655743/6388076 1229.36/1219.50 c cleaning 25200 clauses out of 50410 with flag 1778471/6414076 1236.86/1226.98 c cleaning 26098 clauses out of 52212 with flag 1896668/6441078 1245.09/1235.04 c cleaning 27050 clauses out of 54112 with flag 2011624/6469076 1253.41/1243.24 c cleaning 28030 clauses out of 56063 with flag 2136466/6498077 1262.29/1252.00 c cleaning 29013 clauses out of 58032 with flag 2254363/6528076 1271.63/1261.20 c cleaning 30005 clauses out of 60019 with flag 2376375/6559076 1280.39/1269.98 c cleaning 31001 clauses out of 62015 with flag 2508618/6591077 1290.01/1279.38 c cleaning 31999 clauses out of 64014 with flag 2657919/6624077 1298.62/1287.81 c cleaning 33001 clauses out of 66015 with flag 2854082/6658077 1306.48/1295.68 c cleaning 33935 clauses out of 68013 with flag 3359670/6693076 1316.61/1305.60 c cleaning 35010 clauses out of 70079 with flag 3631929/6729077 1325.31/1314.21 c cleaning 36001 clauses out of 72070 with flag 3983451/6766078 1334.58/1323.44 c cleaning 37003 clauses out of 74068 with flag 4768433/6804077 1344.32/1333.03 c cleaning 38010 clauses out of 76064 with flag 5749411/6843076 1355.19/1343.78 c cleaning 39012 clauses out of 78055 with flag 5947653/6883077 1365.89/1354.34 c cleaning 40017 clauses out of 80044 with flag 6138192/6924078 1377.84/1366.14 c cleaning 41010 clauses out of 82025 with flag 6326395/6966076 1389.20/1377.32 c cleaning 42005 clauses out of 84016 with flag 6527159/7009077 1401.21/1389.23 c cleaning 42998 clauses out of 86010 with flag 6725592/7053076 1413.59/1401.50 c cleaning 44001 clauses out of 88013 with flag 6946943/7098077 1427.12/1414.72 c cleaning 44999 clauses out of 90012 with flag 7177985/7144077 1440.86/1428.33 c cleaning 45998 clauses out of 92012 with flag 7408888/7191076 1455.69/1442.94 c cleaning 47002 clauses out of 94015 with flag 7669911/7239077 1470.84/1457.96 c cleaning 48003 clauses out of 96013 with flag 7903694/7288077 1488.30/1475.13 c cleaning 48998 clauses out of 98010 with flag 8134157/7338077 1506.75/1493.45 c cleaning 49997 clauses out of 100014 with flag 8370493/7389079 1527.76/1514.22 c cleaning 51004 clauses out of 102015 with flag 8620585/7441077 1546.99/1533.17 c cleaning 51998 clauses out of 104010 with flag 8881065/7494076 1566.73/1552.50 c cleaning 53006 clauses out of 106014 with flag 9171933/7548078 1587.23/1572.88 c cleaning 53993 clauses out of 108007 with flag 9474783/7603077 1606.80/1592.19 c cleaning 55003 clauses out of 110013 with flag 9774464/7659076 1627.87/1612.94 c cleaning 55999 clauses out of 112010 with flag 10099870/7716076 1648.17/1633.00 c cleaning 57004 clauses out of 114011 with flag 10440276/7774076 1669.73/1654.38 c cleaning 58001 clauses out of 116007 with flag 10748350/7833076 1693.53/1677.90 c cleaning 58999 clauses out of 118006 with flag 11126723/7893076 1716.95/1700.83 c cleaning 59998 clauses out of 120007 with flag 11500850/7954076 1738.94/1722.54 c cleaning 61001 clauses out of 122009 with flag 11867759/8016076 1763.47/1746.85 c cleaning 61995 clauses out of 124008 with flag 12258669/8079076 1790.65/1773.79 c cleaning 63003 clauses out of 126013 with flag 12652718/8143076 1800.05/1782.90 c starts : 36418 1800.05/1782.90 c conflicts : 8164638 1800.05/1782.90 c decisions : 114124535 1800.05/1782.90 c propagations : 1667528071 1800.05/1782.90 c inspects : 11954853214 1800.05/1782.90 c shortcuts : 0 1800.05/1782.90 c learnt literals : 1456 1800.05/1782.90 c learnt binary clauses : 3890 1800.05/1782.90 c learnt ternary clauses : 5948 1800.05/1782.90 c learnt constraints : 8163182 1800.05/1782.90 c ignored constraints : 0 1800.05/1782.90 c root simplifications : 0 1800.05/1782.90 c removed literals (reason simplification) : 0 1800.05/1782.90 c reason swapping (by a shorter reason) : 0 1800.05/1782.90 c Calls to reduceDB : 462 1800.05/1782.90 c Number of update (reduction) of LBD : 3569230 1800.05/1782.90 c Imported unit clauses : 0 1800.05/1782.90 c number of reductions to clauses (during analyze) : 0 1800.05/1782.90 c number of learned constraints concerned by reduction : 0 1800.05/1782.90 c number of learning phase by resolution : 0 1800.05/1782.90 c number of learning phase by cutting planes : 0 1800.05/1782.90 c speed (assignments/second) : 935522.2010965762 1800.05/1782.90 c non guided choices 3871 1800.05/1782.93 c learnt constraints type 1800.05/1782.93 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 3890 1800.05/1782.93 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 80682 1800.05/1782.93 s SATISFIABLE 1800.05/1782.93 c Found 29 solution(s) 1800.05/1782.94 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/1782.95 c objective function=7491 1800.05/1782.95 c Total wall clock time (in seconds): 1782.847
OK 7491
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-4101429-1466222485/watcher-4101429-1466222485 -o /tmp/evaluation-result-4101429-1466222485/solver-4101429-1466222485 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node133-1466206057-11790 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4101429-1466222485.opb pid=16671 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.04 1.99 1.99 3/197 16674 /proc/meminfo: memFree=31700756/32872528 swapFree=7780/7780 [pid=16674] ppid=16671 vsize=96324 CPUtime=0 cores=1,3,5,7 /proc/16674/stat : 16674 (java) S 16671 16674 11773 0 -1 4202496 1306 0 0 0 0 0 0 0 20 0 2 0 24294407 98635776 939 33554432000 1073741824 1073778376 140737262504544 140737262495680 206412218429 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/16674/statm: 24081 943 715 9 0 16771 0 [pid=16674/tid=16675] ppid=16671 vsize=96260 CPUtime=0 cores=1,3,5,7 /proc/16674/task/16675/stat : 16675 (java) R 16671 16674 11773 0 -1 4202560 120 0 0 0 0 0 0 0 20 0 2 0 24294407 98570240 968 33554432000 1073741824 1073778376 140737262504544 139704133946920 139704136122403 0 0 4096 0 0 0 0 -1 1 0 0 0 0 0 [startup+0.100117 s] /proc/loadavg: 2.04 1.99 1.99 3/197 16674 /proc/meminfo: memFree=31700756/32872528 swapFree=7780/7780 [pid=16674] ppid=16671 vsize=9558476 CPUtime=0.11 cores=1,3,5,7 /proc/16674/stat : 16674 (java) S 16671 16674 11773 0 -1 4202496 4488 0 1 0 10 1 0 0 20 0 18 0 24294407 9787879424 6114 33554432000 1073741824 1073778376 140737262504544 140737262495680 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/16674/statm: 2389619 6116 2157 9 0 2380296 0 [pid=16674/tid=16675] ppid=16671 vsize=9558476 CPUtime=0.07 cores=1,3,5,7 /proc/16674/task/16675/stat : 16675 (java) R 16671 16674 11773 0 -1 4202560 2377 0 1 0 6 1 0 0 20 0 18 0 24294407 9787879424 6116 33554432000 1073741824 1073778376 140737262504544 139704133948680 206412243381 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.11 Current children cumulated vsize (KiB) 9558476 [startup+0.200334 s] /proc/loadavg: 2.04 1.99 1.99 3/197 16674 /proc/meminfo: memFree=31700756/32872528 swapFree=7780/7780 [pid=16674] ppid=16671 vsize=9558476 CPUtime=0.31 cores=1,3,5,7 /proc/16674/stat : 16674 (java) S 16671 16674 11773 0 -1 4202496 5247 0 1 0 29 2 0 0 20 0 18 0 24294407 9787879424 7129 33554432000 1073741824 1073778376 140737262504544 140737262495680 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/16674/statm: 2389619 7129 2227 9 0 2380296 0 [pid=16674/tid=16675] ppid=16671 vsize=9558476 CPUtime=0.17 cores=1,3,5,7 /proc/16674/task/16675/stat : 16675 (java) R 16671 16674 11773 0 -1 4202560 2393 0 1 0 16 1 0 0 20 0 18 0 24294407 9787879424 7129 33554432000 1073741824 1073778376 140737262504544 139704133951496 139704138077947 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.31 Current children cumulated vsize (KiB) 9558476 [startup+0.300361 s] /proc/loadavg: 2.04 1.99 1.99 3/197 16674 /proc/meminfo: memFree=31700756/32872528 swapFree=7780/7780 [pid=16674] ppid=16671 vsize=9558476 CPUtime=0.55 cores=1,3,5,7 /proc/16674/stat : 16674 (java) S 16671 16674 11773 0 -1 4202496 7163 0 1 0 53 2 0 0 20 0 18 0 24294407 9787879424 13894 33554432000 1073741824 1073778376 140737262504544 140737262495680 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/16674/statm: 2389619 13894 2234 9 0 2380296 0 [pid=16674/tid=16675] ppid=16671 vsize=9558476 CPUtime=0.27 cores=1,3,5,7 /proc/16674/task/16675/stat : 16675 (java) R 16671 16674 11773 0 -1 4202560 2408 0 1 0 26 1 0 0 20 0 18 0 24294407 9787879424 13894 33554432000 1073741824 1073778376 140737262504544 139704133951496 139704137237370 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.55 Current children cumulated vsize (KiB) 9558476 [startup+0.700322 s] /proc/loadavg: 2.04 1.99 1.99 3/197 16674 /proc/meminfo: memFree=31700756/32872528 swapFree=7780/7780 [pid=16674] ppid=16671 vsize=9625040 CPUtime=1.43 cores=1,3,5,7 /proc/16674/stat : 16674 (java) S 16671 16674 11773 0 -1 4202496 9871 0 1 0 139 4 0 0 20 0 19 0 24294407 9856040960 37046 33554432000 1073741824 1073778376 140737262504544 140737262495680 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/16674/statm: 2406260 37046 2261 9 0 2396937 0 [pid=16674/tid=16675] ppid=16671 vsize=9625040 CPUtime=0.67 cores=1,3,5,7 /proc/16674/task/16675/stat : 16675 (java) R 16671 16674 11773 0 -1 4202560 2463 0 1 0 65 2 0 0 20 0 19 0 24294407 9856040960 37046 33554432000 1073741824 1073778376 140737262504544 139704133951976 139703962138131 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1.43 Current children cumulated vsize (KiB) 9625040 [startup+1.50082 s] /proc/loadavg: 2.04 1.99 1.99 4/216 16693 /proc/meminfo: memFree=31557504/32872528 swapFree=7780/7780 [pid=16674] ppid=16671 vsize=9625040 CPUtime=2.69 cores=1,3,5,7 /proc/16674/stat : 16674 (java) S 16671 16674 11773 0 -1 4202496 17305 0 1 0 264 5 0 0 20 0 19 0 24294407 9856040960 42562 33554432000 1073741824 1073778376 140737262504544 140737262495680 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/16674/statm: 2406260 42562 2267 9 0 2396937 0 [pid=16674/tid=16675] ppid=16671 vsize=9625040 CPUtime=1.47 cores=1,3,5,7 /proc/16674/task/16675/stat : 16675 (java) R 16671 16674 11773 0 -1 4202560 2466 0 1 0 145 2 0 0 20 0 19 0 24294407 9856040960 42562 33554432000 1073741824 1073778376 140737262504544 139704133951688 139703962129105 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=16674/tid=16677] ppid=16671 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/16674/task/16677/stat : 16677 (java) S 16671 16674 11773 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24294408 9856040960 42562 33554432000 1073741824 1073778376 140737262504544 139704095443752 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16674/tid=16678] ppid=16671 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/16674/task/16678/stat : 16678 (java) S 16671 16674 11773 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24294408 9856040960 42562 33554432000 1073741824 1073778376 140737262504544 139704094390952 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=16674/tid=16679] ppid=16671 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/16674/task/16679/stat : 16679 (java) S 16671 16674 11773 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24294408 9856040960 42562 33554432000 1073741824 1073778376 140737262504544 139704093338664 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=16674/tid=16680] ppid=16671 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/16674/task/16680/stat : 16680 (java) S 16671 16674 11773 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24294408 9856040960 42562 33554432000 1073741824 1073778376 140737262504544 139704092285864 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16674/tid=16681] ppid=16671 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/16674/task/16681/stat : 16681 (java) S 16671 16674 11773 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24294408 9856040960 42562 33554432000 1073741824 1073778376 140737262504544 139704091232552 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16674/tid=16682] ppid=16671 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/16674/task/16682/stat : 16682 (java) S 16671 16674 11773 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24294408 9856040960 42562 33554432000 1073741824 1073778376 140737262504544 139704090179752 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16674/tid=16683] ppid=16671 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/16674/task/16683/stat : 16683 (java) S 16671 16674 11773 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24294408 9856040960 42562 33554432000 1073741824 1073778376 140737262504544 139704089127464 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16674/tid=16684] ppid=16671 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/16674/task/16684/stat : 16684 (java) S 16671 16674 11773 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 24294408 9856040960 42562 33554432000 1073741824 1073778376 140737262504544 139704088074664 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16674/tid=16685] ppid=16671 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/16674/task/16685/stat : 16685 (java) S 16671 16674 11773 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 24294409 9856040960 42562 33554432000 1073741824 1073778376 140737262504544 139703957301992 206412232617 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16674/tid=16686] ppid=16671 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/16674/task/16686/stat : 16686 (java) S 16671 16674 11773 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 24294409 9856040960 42562 33554432000 1073741824 1073778376 140737262504544 139703956248056 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16674/tid=16687] ppid=16671 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/16674/task/16687/stat : 16687 (java) S 16671 16674 11773 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24294409 9856040960 42562 33554432000 1073741824 1073778376 140737262504544 139703955195656 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16674/tid=16688] ppid=16671 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/16674/task/16688/stat : 16688 (java) S 16671 16674 11773 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24294411 9856040960 42562 33554432000 1073741824 1073778376 140737262504544 139703954144144 206412240672 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16674/tid=16689] ppid=16671 vsize=9625040 CPUtime=0.77 cores=1,3,5,7 /proc/16674/task/16689/stat : 16689 (java) S 16671 16674 11773 0 -1 4202560 10136 0 0 0 75 2 0 0 20 0 19 0 24294411 9856040960 42562 33554432000 1073741824 1073778376 140737262504544 139703953090744 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16674/tid=16690] ppid=16671 vsize=9625040 CPUtime=0.4 cores=1,3,5,7 /proc/16674/task/16690/stat : 16690 (java) S 16671 16674 11773 0 -1 4202560 3432 0 0 0 40 0 0 0 20 0 19 0 24294411 9856040960 42562 33554432000 1073741824 1073778376 140737262504544 139703952037944 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=16674/tid=16691] ppid=16671 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/16674/task/16691/stat : 16691 (java) S 16671 16674 11773 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24294411 9856040960 42562 33554432000 1073741824 1073778376 140737262504544 139703950985848 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=16674/tid=16692] ppid=16671 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/16674/task/16692/stat : 16692 (java) S 16671 16674 11773 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24294411 9856040960 42562 33554432000 1073741824 1073778376 140737262504544 139703949933256 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16674/tid=16693] ppid=16671 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/16674/task/16693/stat : 16693 (java) S 16671 16674 11773 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24294452 9856040960 42562 33554432000 1073741824 1073778376 140737262504544 139703948879272 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 2.69 Current children cumulated vsize (KiB) 9625040 [startup+3.10073 s] /proc/loadavg: 2.04 1.99 1.99 3/216 16693 /proc/meminfo: memFree=31536480/32872528 swapFree=7780/7780 [pid=16674] ppid=16671 vsize=9625040 CPUtime=4.32 cores=1,3,5,7 /proc/16674/stat : 16674 (java) S 16671 16674 11773 0 -1 4202496 17310 0 1 0 427 5 0 0 20 0 19 0 24294407 9856040960 44610 33554432000 1073741824 1073778376 140737262504544 140737262495680 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/16674/statm: 2406260 44610 2267 9 0 2396937 0 [pid=16674/tid=16675] ppid=16671 vsize=9625040 CPUtime=3.06 cores=1,3,5,7 /proc/16674/task/16675/stat : 16675 (java) R 16671 16674 11773 0 -1 4202560 2471 0 1 0 304 2 0 0 20 0 19 0 24294407 9856040960 44610 33554432000 1073741824 1073778376 140737262504544 139704133942992 139703962247793 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 [pid=16674/tid=16677] ppid=16671 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/16674/task/16677/stat : 16677 (java) S 16671 16674 11773 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24294408 9856040960 44610 33554432000 1073741824 1073778376 140737262504544 139704095443752 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16674/tid=16678] ppid=16671 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/16674/task/16678/stat : 16678 (java) S 16671 16674 11773 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24294408 9856040960 44610 33554432000 1073741824 1073778376 140737262504544 139704094390952 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=16674/tid=16679] ppid=16671 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/16674/task/16679/stat : 16679 (java) S 16671 16674 11773 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24294408 9856040960 44610 33554432000 1073741824 1073778376 140737262504544 139704093338664 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=16674/tid=16680] ppid=16671 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/16674/task/16680/stat : 16680 (java) S 16671 16674 11773 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24294408 9856040960 44610 33554432000 1073741824 1073778376 140737262504544 139704092285864 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16674/tid=16681] ppid=16671 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/16674/task/16681/stat : 16681 (java) S 16671 16674 11773 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24294408 9856040960 44610 33554432000 1073741824 1073778376 140737262504544 139704091232552 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16674/tid=16682] ppid=16671 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/16674/task/16682/stat : 16682 (java) S 16671 16674 11773 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24294408 9856040960 44610 33554432000 1073741824 1073778376 140737262504544 139704090179752 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16674/tid=16683] ppid=16671 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/16674/task/16683/stat : 16683 (java) S 16671 16674 11773 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24294408 9856040960 44610 33554432000 1073741824 1073778376 140737262504544 139704089127464 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16674/tid=16684] ppid=16671 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/16674/task/16684/stat : 16684 (java) S 16671 16674 11773 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 24294408 9856040960 44610 33554432000 1073741824 1073778376 140737262504544 139704088074664 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16674/tid=16685] ppid=16671 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/16674/task/16685/stat : 16685 (java) S 16671 16674 11773 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 24294409 9856040960 44610 33554432000 1073741824 1073778376 140737262504544 139703957301992 206412232617 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16674/tid=16686] ppid=16671 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/16674/task/16686/stat : 16686 (java) S 16671 16674 11773 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 24294409 9856040960 44610 33554432000 1073741824 1073778376 140737262504544 139703956248056 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16674/tid=16687] ppid=16671 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/16674/task/16687/stat : 16687 (java) S 16671 16674 11773 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24294409 9856040960 44610 33554432000 1073741824 1073778376 140737262504544 139703955195656 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16674/tid=16688] ppid=16671 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/16674/task/16688/stat : 16688 (java) S 16671 16674 11773 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24294411 9856040960 44610 33554432000 1073741824 1073778376 140737262504544 139703954144144 206412240672 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16674/tid=16689] ppid=16671 vsize=9625040 CPUtime=0.79 cores=1,3,5,7 /proc/16674/task/16689/stat : 16689 (java) S 16671 16674 11773 0 -1 4202560 10136 0 0 0 77 2 0 0 20 0 19 0 24294411 9856040960 44610 33554432000 1073741824 1073778376 140737262504544 139703953090744 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16674/tid=16690] ppid=16671 vsize=9625040 CPUtime=0.43 cores=1,3,5,7 /proc/16674/task/16690/stat : 16690 (java) S 16671 16674 11773 0 -1 4202560 3432 0 0 0 43 0 0 0 20 0 19 0 24294411 9856040960 44610 33554432000 1073741824 1073778376 140737262504544 139703952037944 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=16674/tid=16691] ppid=16671 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/16674/task/16691/stat : 16691 (java) S 16671 16674 11773 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24294411 9856040960 44610 33554432000 1073741824 1073778376 140737262504544 139703950985848 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=16674/tid=16692] ppid=16671 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/16674/task/16692/stat : 16692 (java) S 16671 16674 11773 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24294411 9856040960 44610 33554432000 1073741824 1073778376 140737262504544 139703949933256 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16674/tid=16693] ppid=16671 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/16674/task/16693/stat : 16693 (java) S 16671 16674 11773 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24294452 9856040960 44610 33554432000 1073741824 1073778376 140737262504544 139703948879272 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 4.32 Current children cumulated vsize (KiB) 9625040 [startup+6.3008 s] /proc/loadavg: 2.04 1.99 1.99 3/216 16693 /proc/meminfo: memFree=31524336/32872528 swapFree=7780/7780 [pid=16674] ppid=16671 vsize=9625040 CPUtime=7.55 cores=1,3,5,7 /proc/16674/stat : 16674 (java) S 16671 16674 11773 0 -1 4202496 17349 0 1 0 750 5 0 0 20 0 19 0 24294407 9856040960 46486 33554432000 1073741824 1073778376 140737262504544 140737262495680 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/16674/statm: 2406260 46486 2281 9 0 2396937 0 [pid=16674/tid=16675] ppid=16671 vsize=9625040 CPUtime=6.24 cores=1,3,5,7 /proc/16674/task/16675/stat : 16675 (java) R 16671 16674 11773 0 -1 4202560 2478 0 1 0 622 2 0 0 20 0 19 0 24294407 9856040960 46486 33554432000 1073741824 1073778376 140737262504544 139704133942976 139703962193411 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=16674/tid=16677] ppid=16671 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/16674/task/16677/stat : 16677 (java) S 16671 16674 11773 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 24294408 9856040960 46486 33554432000 1073741824 1073778376 140737262504544 139704095443752 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16674/tid=16678] ppid=16671 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/16674/task/16678/stat : 16678 (java) S 16671 16674 11773 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24294408 9856040960 46486 33554432000 1073741824 1073778376 140737262504544 139704094390952 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=16674/tid=16679] ppid=16671 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/16674/task/16679/stat : 16679 (java) S 16671 16674 11773 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24294408 9856040960 46486 33554432000 1073741824 1073778376 140737262504544 139704093338664 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=16674/tid=16680] ppid=16671 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/16674/task/16680/stat : 16680 (java) S 16671 16674 11773 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 24294408 9856040960 46486 33554432000 1073741824 1073778376 140737262504544 139704092285864 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16674/tid=16681] ppid=16671 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/16674/task/16681/stat : 16681 (java) S 16671 16674 11773 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 24294408 9856040960 46486 33554432000 1073741824 1073778376 140737262504544 139704091232552 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=16674/tid=16682] ppid=16671 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/16674/task/16682/stat : 16682 (java) S 16671 16674 11773 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 24294408 9856040960 46486 33554432000 1073741824 1073778376 140737262504544 139704090179752 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=16674/tid=16683] ppid=16671 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/16674/task/16683/stat : 16683 (java) S 16671 16674 11773 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24294408 9856040960 46486 33554432000 1073741824 1073778376 140737262504544 139704089127464 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=16674/tid=16684] ppid=16671 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/16674/task/16684/stat : 16684 (java) S 16671 16674 11773 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 24294408 9856040960 46486 33554432000 1073741824 1073778376 140737262504544 139704088074664 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16674/tid=16685] ppid=16671 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/16674/task/16685/stat : 16685 (java) S 16671 16674 11773 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 24294409 9856040960 46486 33554432000 1073741824 1073778376 140737262504544 139703957301992 206412232617 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16674/tid=16686] ppid=16671 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/16674/task/16686/stat : 16686 (java) S 16671 16674 11773 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 24294409 9856040960 46486 33554432000 1073741824 1073778376 140737262504544 139703956248056 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16674/tid=16687] ppid=16671 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/16674/task/16687/stat : 16687 (java) S 16671 16674 11773 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 24294409 9856040960 46486 33554432000 1073741824 1073778376 140737262504544 139703955195656 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16674/tid=16688] ppid=16671 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/16674/task/16688/stat : 16688 (java) S 16671 16674 11773 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24294411 9856040960 46486 33554432000 1073741824 1073778376 140737262504544 139703954144144 206412240672 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16674/tid=16689] ppid=16671 vsize=9625040 CPUtime=0.8 cores=1,3,5,7 /proc/16674/task/16689/stat : 16689 (java) S 16671 16674 11773 0 -1 4202560 10136 0 0 0 78 2 0 0 20 0 19 0 24294411 9856040960 46486 33554432000 1073741824 1073778376 140737262504544 139703953090744 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16674/tid=16690] ppid=16671 vsize=9625040 CPUtime=0.43 cores=1,3,5,7 ################ # More data... # ################ [pid=16674/tid=16693] ppid=16671 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/16674/task/16693/stat : 16693 (java) S 16671 16674 11773 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24294452 9856040960 138737 33554432000 1073741824 1073778376 140737262504544 139703948879272 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1738.74 Current children cumulated vsize (KiB) 9625040 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 1.99 3/215 16804 /proc/meminfo: memFree=31086200/32872528 swapFree=7780/7780 [pid=16674] ppid=16671 vsize=9625040 CPUtime=1799.45 cores=1,3,5,7 /proc/16674/stat : 16674 (java) S 16671 16674 11773 0 -1 4202496 41484 0 1 0 179788 157 0 0 20 0 19 0 24294407 9856040960 155759 33554432000 1073741824 1073778376 140737262504544 140737262495680 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/16674/statm: 2406260 155759 2295 9 0 2396937 0 [pid=16674/tid=16675] ppid=16671 vsize=9625040 CPUtime=1767.45 cores=1,3,5,7 /proc/16674/task/16675/stat : 16675 (java) R 16671 16674 11773 0 -1 4202560 2974 0 1 0 176712 33 0 0 20 0 19 0 24294407 9856040960 155759 33554432000 1073741824 1073778376 140737262504544 139704133950736 139703962638512 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=16674/tid=16677] ppid=16671 vsize=9625040 CPUtime=2.85 cores=1,3,5,7 /proc/16674/task/16677/stat : 16677 (java) S 16671 16674 11773 0 -1 4202560 2238 0 0 0 268 17 0 0 20 0 19 0 24294408 9856040960 155759 33554432000 1073741824 1073778376 140737262504544 139704095443752 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16674/tid=16678] ppid=16671 vsize=9625040 CPUtime=2.73 cores=1,3,5,7 /proc/16674/task/16678/stat : 16678 (java) S 16671 16674 11773 0 -1 4202560 3072 0 0 0 260 13 0 0 20 0 19 0 24294408 9856040960 155759 33554432000 1073741824 1073778376 140737262504544 139704094390952 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=16674/tid=16679] ppid=16671 vsize=9625040 CPUtime=2.76 cores=1,3,5,7 /proc/16674/task/16679/stat : 16679 (java) S 16671 16674 11773 0 -1 4202560 3400 0 0 0 263 13 0 0 20 0 19 0 24294408 9856040960 155759 33554432000 1073741824 1073778376 140737262504544 139704093338664 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16674/tid=16680] ppid=16671 vsize=9625040 CPUtime=2.94 cores=1,3,5,7 /proc/16674/task/16680/stat : 16680 (java) S 16671 16674 11773 0 -1 4202560 3070 0 0 0 276 18 0 0 20 0 19 0 24294408 9856040960 155759 33554432000 1073741824 1073778376 140737262504544 139704092285864 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=16674/tid=16681] ppid=16671 vsize=9625040 CPUtime=2.66 cores=1,3,5,7 /proc/16674/task/16681/stat : 16681 (java) S 16671 16674 11773 0 -1 4202560 2195 0 0 0 251 15 0 0 20 0 19 0 24294408 9856040960 155759 33554432000 1073741824 1073778376 140737262504544 139704091232552 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16674/tid=16682] ppid=16671 vsize=9625040 CPUtime=2.55 cores=1,3,5,7 /proc/16674/task/16682/stat : 16682 (java) S 16671 16674 11773 0 -1 4202560 2795 0 0 0 241 14 0 0 20 0 19 0 24294408 9856040960 155759 33554432000 1073741824 1073778376 140737262504544 139704090179752 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=16674/tid=16683] ppid=16671 vsize=9625040 CPUtime=2.81 cores=1,3,5,7 /proc/16674/task/16683/stat : 16683 (java) S 16671 16674 11773 0 -1 4202560 2591 0 0 0 264 17 0 0 20 0 19 0 24294408 9856040960 155759 33554432000 1073741824 1073778376 140737262504544 139704089127464 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=16674/tid=16684] ppid=16671 vsize=9625040 CPUtime=2.78 cores=1,3,5,7 /proc/16674/task/16684/stat : 16684 (java) S 16671 16674 11773 0 -1 4202560 3078 0 0 0 262 16 0 0 20 0 19 0 24294408 9856040960 155759 33554432000 1073741824 1073778376 140737262504544 139704088074664 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=16674/tid=16685] ppid=16671 vsize=9625040 CPUtime=3.39 cores=1,3,5,7 /proc/16674/task/16685/stat : 16685 (java) S 16671 16674 11773 0 -1 4202560 1120 0 0 0 332 7 0 0 20 0 19 0 24294409 9856040960 155759 33554432000 1073741824 1073778376 140737262504544 139703957301992 206412232617 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=16674/tid=16686] ppid=16671 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/16674/task/16686/stat : 16686 (java) S 16671 16674 11773 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 24294409 9856040960 155759 33554432000 1073741824 1073778376 140737262504544 139703956248056 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16674/tid=16687] ppid=16671 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/16674/task/16687/stat : 16687 (java) S 16671 16674 11773 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 24294409 9856040960 155759 33554432000 1073741824 1073778376 140737262504544 139703955195656 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16674/tid=16688] ppid=16671 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/16674/task/16688/stat : 16688 (java) S 16671 16674 11773 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24294411 9856040960 155759 33554432000 1073741824 1073778376 140737262504544 139703954144144 206412240672 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16674/tid=16689] ppid=16671 vsize=9625040 CPUtime=0.99 cores=1,3,5,7 /proc/16674/task/16689/stat : 16689 (java) S 16671 16674 11773 0 -1 4202560 10147 0 0 0 97 2 0 0 20 0 19 0 24294411 9856040960 155759 33554432000 1073741824 1073778376 140737262504544 139703953090744 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16674/tid=16690] ppid=16671 vsize=9625040 CPUtime=0.85 cores=1,3,5,7 /proc/16674/task/16690/stat : 16690 (java) S 16671 16674 11773 0 -1 4202560 3444 0 0 0 85 0 0 0 20 0 19 0 24294411 9856040960 155759 33554432000 1073741824 1073778376 140737262504544 139703952037944 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=16674/tid=16691] ppid=16671 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/16674/task/16691/stat : 16691 (java) S 16671 16674 11773 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24294411 9856040960 155759 33554432000 1073741824 1073778376 140737262504544 139703950985848 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=16674/tid=16692] ppid=16671 vsize=9625040 CPUtime=0.38 cores=1,3,5,7 /proc/16674/task/16692/stat : 16692 (java) S 16671 16674 11773 0 -1 4202560 103 0 0 0 17 21 0 0 20 0 19 0 24294411 9856040960 155759 33554432000 1073741824 1073778376 140737262504544 139703949933256 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16674/tid=16693] ppid=16671 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/16674/task/16693/stat : 16693 (java) S 16671 16674 11773 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24294452 9856040960 155759 33554432000 1073741824 1073778376 140737262504544 139703948879272 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1799.45 Current children cumulated vsize (KiB) 9625040 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1782.9 s] /proc/loadavg: 2.00 2.00 1.99 3/215 16804 /proc/meminfo: memFree=31086200/32872528 swapFree=7780/7780 [pid=16674] ppid=16671 vsize=9625040 CPUtime=1800.05 cores=1,3,5,7 /proc/16674/stat : 16674 (java) S 16671 16674 11773 0 -1 4202496 41484 0 1 0 179848 157 0 0 20 0 19 0 24294407 9856040960 155759 33554432000 1073741824 1073778376 140737262504544 140737262495680 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/16674/statm: 2406260 155759 2295 9 0 2396937 0 [pid=16674/tid=16675] ppid=16671 vsize=9625040 CPUtime=1768.04 cores=1,3,5,7 /proc/16674/task/16675/stat : 16675 (java) R 16671 16674 11773 0 -1 4202560 2974 0 1 0 176771 33 0 0 20 0 19 0 24294407 9856040960 155759 33554432000 1073741824 1073778376 140737262504544 139704133950736 139703962228784 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=16674/tid=16677] ppid=16671 vsize=9625040 CPUtime=2.85 cores=1,3,5,7 /proc/16674/task/16677/stat : 16677 (java) S 16671 16674 11773 0 -1 4202560 2238 0 0 0 268 17 0 0 20 0 19 0 24294408 9856040960 155759 33554432000 1073741824 1073778376 140737262504544 139704095443752 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16674/tid=16678] ppid=16671 vsize=9625040 CPUtime=2.73 cores=1,3,5,7 /proc/16674/task/16678/stat : 16678 (java) S 16671 16674 11773 0 -1 4202560 3072 0 0 0 260 13 0 0 20 0 19 0 24294408 9856040960 155759 33554432000 1073741824 1073778376 140737262504544 139704094390952 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=16674/tid=16679] ppid=16671 vsize=9625040 CPUtime=2.76 cores=1,3,5,7 /proc/16674/task/16679/stat : 16679 (java) S 16671 16674 11773 0 -1 4202560 3400 0 0 0 263 13 0 0 20 0 19 0 24294408 9856040960 155759 33554432000 1073741824 1073778376 140737262504544 139704093338664 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16674/tid=16680] ppid=16671 vsize=9625040 CPUtime=2.94 cores=1,3,5,7 /proc/16674/task/16680/stat : 16680 (java) S 16671 16674 11773 0 -1 4202560 3070 0 0 0 276 18 0 0 20 0 19 0 24294408 9856040960 155759 33554432000 1073741824 1073778376 140737262504544 139704092285864 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=16674/tid=16681] ppid=16671 vsize=9625040 CPUtime=2.66 cores=1,3,5,7 /proc/16674/task/16681/stat : 16681 (java) S 16671 16674 11773 0 -1 4202560 2195 0 0 0 251 15 0 0 20 0 19 0 24294408 9856040960 155759 33554432000 1073741824 1073778376 140737262504544 139704091232552 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16674/tid=16682] ppid=16671 vsize=9625040 CPUtime=2.55 cores=1,3,5,7 /proc/16674/task/16682/stat : 16682 (java) S 16671 16674 11773 0 -1 4202560 2795 0 0 0 241 14 0 0 20 0 19 0 24294408 9856040960 155759 33554432000 1073741824 1073778376 140737262504544 139704090179752 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=16674/tid=16683] ppid=16671 vsize=9625040 CPUtime=2.81 cores=1,3,5,7 /proc/16674/task/16683/stat : 16683 (java) S 16671 16674 11773 0 -1 4202560 2591 0 0 0 264 17 0 0 20 0 19 0 24294408 9856040960 155759 33554432000 1073741824 1073778376 140737262504544 139704089127464 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=16674/tid=16684] ppid=16671 vsize=9625040 CPUtime=2.78 cores=1,3,5,7 /proc/16674/task/16684/stat : 16684 (java) S 16671 16674 11773 0 -1 4202560 3078 0 0 0 262 16 0 0 20 0 19 0 24294408 9856040960 155759 33554432000 1073741824 1073778376 140737262504544 139704088074664 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=16674/tid=16685] ppid=16671 vsize=9625040 CPUtime=3.39 cores=1,3,5,7 /proc/16674/task/16685/stat : 16685 (java) S 16671 16674 11773 0 -1 4202560 1120 0 0 0 332 7 0 0 20 0 19 0 24294409 9856040960 155759 33554432000 1073741824 1073778376 140737262504544 139703957301992 206412232617 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16674/tid=16686] ppid=16671 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/16674/task/16686/stat : 16686 (java) S 16671 16674 11773 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 24294409 9856040960 155759 33554432000 1073741824 1073778376 140737262504544 139703956248056 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16674/tid=16687] ppid=16671 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/16674/task/16687/stat : 16687 (java) S 16671 16674 11773 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 24294409 9856040960 155759 33554432000 1073741824 1073778376 140737262504544 139703955195656 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16674/tid=16688] ppid=16671 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/16674/task/16688/stat : 16688 (java) S 16671 16674 11773 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24294411 9856040960 155759 33554432000 1073741824 1073778376 140737262504544 139703954144144 206412240672 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16674/tid=16689] ppid=16671 vsize=9625040 CPUtime=0.99 cores=1,3,5,7 /proc/16674/task/16689/stat : 16689 (java) S 16671 16674 11773 0 -1 4202560 10147 0 0 0 97 2 0 0 20 0 19 0 24294411 9856040960 155759 33554432000 1073741824 1073778376 140737262504544 139703953090744 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16674/tid=16690] ppid=16671 vsize=9625040 CPUtime=0.85 cores=1,3,5,7 /proc/16674/task/16690/stat : 16690 (java) S 16671 16674 11773 0 -1 4202560 3444 0 0 0 85 0 0 0 20 0 19 0 24294411 9856040960 155759 33554432000 1073741824 1073778376 140737262504544 139703952037944 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=16674/tid=16691] ppid=16671 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/16674/task/16691/stat : 16691 (java) S 16671 16674 11773 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24294411 9856040960 155759 33554432000 1073741824 1073778376 140737262504544 139703950985848 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=16674/tid=16692] ppid=16671 vsize=9625040 CPUtime=0.38 cores=1,3,5,7 /proc/16674/task/16692/stat : 16692 (java) S 16671 16674 11773 0 -1 4202560 103 0 0 0 17 21 0 0 20 0 19 0 24294411 9856040960 155759 33554432000 1073741824 1073778376 140737262504544 139703949933256 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16674/tid=16693] ppid=16671 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/16674/task/16693/stat : 16693 (java) S 16671 16674 11773 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24294452 9856040960 155759 33554432000 1073741824 1073778376 140737262504544 139703948879272 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 3 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 16674 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1782.9 s] /proc/loadavg: 2.00 2.00 1.99 3/215 16804 /proc/meminfo: memFree=31086200/32872528 swapFree=7780/7780 [pid=16674] ppid=16671 vsize=9625040 CPUtime=1800.05 cores=1,3,5,7 /proc/16674/stat : 16674 (java) S 16671 16674 11773 0 -1 4202496 41484 0 1 0 179848 157 0 0 20 0 19 0 24294407 9856040960 155759 33554432000 1073741824 1073778376 140737262504544 140737262495680 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/16674/statm: 2406260 155759 2295 9 0 2396937 0 [pid=16674/tid=16675] ppid=16671 vsize=9625040 CPUtime=1768.04 cores=1,3,5,7 /proc/16674/task/16675/stat : 16675 (java) R 16671 16674 11773 0 -1 4202560 2974 0 1 0 176771 33 0 0 20 0 19 0 24294407 9856040960 155759 33554432000 1073741824 1073778376 140737262504544 139704133950736 139703962228784 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=16674/tid=16677] ppid=16671 vsize=9625040 CPUtime=2.85 cores=1,3,5,7 /proc/16674/task/16677/stat : 16677 (java) S 16671 16674 11773 0 -1 4202560 2238 0 0 0 268 17 0 0 20 0 19 0 24294408 9856040960 155759 33554432000 1073741824 1073778376 140737262504544 139704095443752 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16674/tid=16678] ppid=16671 vsize=9625040 CPUtime=2.73 cores=1,3,5,7 /proc/16674/task/16678/stat : 16678 (java) S 16671 16674 11773 0 -1 4202560 3072 0 0 0 260 13 0 0 20 0 19 0 24294408 9856040960 155759 33554432000 1073741824 1073778376 140737262504544 139704094390952 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=16674/tid=16679] ppid=16671 vsize=9625040 CPUtime=2.76 cores=1,3,5,7 /proc/16674/task/16679/stat : 16679 (java) S 16671 16674 11773 0 -1 4202560 3400 0 0 0 263 13 0 0 20 0 19 0 24294408 9856040960 155759 33554432000 1073741824 1073778376 140737262504544 139704093338664 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16674/tid=16680] ppid=16671 vsize=9625040 CPUtime=2.94 cores=1,3,5,7 /proc/16674/task/16680/stat : 16680 (java) S 16671 16674 11773 0 -1 4202560 3070 0 0 0 276 18 0 0 20 0 19 0 24294408 9856040960 155759 33554432000 1073741824 1073778376 140737262504544 139704092285864 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=16674/tid=16681] ppid=16671 vsize=9625040 CPUtime=2.66 cores=1,3,5,7 /proc/16674/task/16681/stat : 16681 (java) S 16671 16674 11773 0 -1 4202560 2195 0 0 0 251 15 0 0 20 0 19 0 24294408 9856040960 155759 33554432000 1073741824 1073778376 140737262504544 139704091232552 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16674/tid=16682] ppid=16671 vsize=9625040 CPUtime=2.55 cores=1,3,5,7 /proc/16674/task/16682/stat : 16682 (java) S 16671 16674 11773 0 -1 4202560 2795 0 0 0 241 14 0 0 20 0 19 0 24294408 9856040960 155759 33554432000 1073741824 1073778376 140737262504544 139704090179752 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=16674/tid=16683] ppid=16671 vsize=9625040 CPUtime=2.81 cores=1,3,5,7 /proc/16674/task/16683/stat : 16683 (java) S 16671 16674 11773 0 -1 4202560 2591 0 0 0 264 17 0 0 20 0 19 0 24294408 9856040960 155759 33554432000 1073741824 1073778376 140737262504544 139704089127464 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=16674/tid=16684] ppid=16671 vsize=9625040 CPUtime=2.78 cores=1,3,5,7 /proc/16674/task/16684/stat : 16684 (java) S 16671 16674 11773 0 -1 4202560 3078 0 0 0 262 16 0 0 20 0 19 0 24294408 9856040960 155759 33554432000 1073741824 1073778376 140737262504544 139704088074664 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=16674/tid=16685] ppid=16671 vsize=9625040 CPUtime=3.39 cores=1,3,5,7 /proc/16674/task/16685/stat : 16685 (java) S 16671 16674 11773 0 -1 4202560 1120 0 0 0 332 7 0 0 20 0 19 0 24294409 9856040960 155759 33554432000 1073741824 1073778376 140737262504544 139703957301992 206412232617 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16674/tid=16686] ppid=16671 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/16674/task/16686/stat : 16686 (java) S 16671 16674 11773 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 24294409 9856040960 155759 33554432000 1073741824 1073778376 140737262504544 139703956248056 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16674/tid=16687] ppid=16671 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/16674/task/16687/stat : 16687 (java) S 16671 16674 11773 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 24294409 9856040960 155759 33554432000 1073741824 1073778376 140737262504544 139703955195656 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16674/tid=16688] ppid=16671 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/16674/task/16688/stat : 16688 (java) S 16671 16674 11773 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24294411 9856040960 155759 33554432000 1073741824 1073778376 140737262504544 139703954144144 206412240672 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16674/tid=16689] ppid=16671 vsize=9625040 CPUtime=0.99 cores=1,3,5,7 /proc/16674/task/16689/stat : 16689 (java) S 16671 16674 11773 0 -1 4202560 10147 0 0 0 97 2 0 0 20 0 19 0 24294411 9856040960 155759 33554432000 1073741824 1073778376 140737262504544 139703953090744 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=16674/tid=16690] ppid=16671 vsize=9625040 CPUtime=0.85 cores=1,3,5,7 /proc/16674/task/16690/stat : 16690 (java) S 16671 16674 11773 0 -1 4202560 3444 0 0 0 85 0 0 0 20 0 19 0 24294411 9856040960 155759 33554432000 1073741824 1073778376 140737262504544 139703952037944 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=16674/tid=16691] ppid=16671 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/16674/task/16691/stat : 16691 (java) S 16671 16674 11773 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24294411 9856040960 155759 33554432000 1073741824 1073778376 140737262504544 139703950985848 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=16674/tid=16692] ppid=16671 vsize=9625040 CPUtime=0.38 cores=1,3,5,7 /proc/16674/task/16692/stat : 16692 (java) S 16671 16674 11773 0 -1 4202560 103 0 0 0 17 21 0 0 20 0 19 0 24294411 9856040960 155759 33554432000 1073741824 1073778376 140737262504544 139703949933256 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=16674/tid=16693] ppid=16671 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/16674/task/16693/stat : 16693 (java) S 16671 16674 11773 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24294452 9856040960 155759 33554432000 1073741824 1073778376 140737262504544 139703948879272 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 9625040 Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 16674 and gives # childrusage.ru_utime.tv_sec=1794 # childrusage.ru_utime.tv_usec=119252 # childrusage.ru_stime.tv_sec=2 # childrusage.ru_stime.tv_usec=695 # CPU time returned by wait4() is 1796.12 # 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): 1782.96 CPU time (s): 1800.05 CPU user time (s): 1798.48 CPU system time (s): 1.57 CPU usage (%): 100.959 Max. virtual memory (cumulated for all children) (KiB): 9625040 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.12 system time used= 2.00069 maximum resident set size= 623172 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 41522 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1776 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 52810 involuntary context switches= 57990 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 10.6504 second user time and 12.7261 second system time The end
Begin job on node133 at 2016-06-18 06:01:25 IDJOB=4101429 IDBENCH=1746 IDSOLVER=2546 FILE ID=node133/4101429-1466222485 RUNJOBID= node133-1466206057-11790 PBS_JOBID= 19918144 Free space on /tmp= 71712 MiB SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-air06.opb COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4101429-1466222485/watcher-4101429-1466222485 -o /tmp/evaluation-result-4101429-1466222485/solver-4101429-1466222485 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node133-1466206057-11790 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4101429-1466222485.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 9ad64595976e8d5a822b98ffb6dea9d7 RANDOM SEED=755118357 node133.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.256 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.51 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.256 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 : 2667.256 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.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.256 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.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.256 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 : 2667.256 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 : 2667.256 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 : 2667.256 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: 31701400 kB Buffers: 89740 kB Cached: 96032 kB SwapCached: 892 kB Active: 302300 kB Inactive: 128164 kB Active(anon): 245960 kB Inactive(anon): 1364 kB Active(file): 56340 kB Inactive(file): 126800 kB Unevictable: 7780 kB Mlocked: 7780 kB SwapTotal: 67108856 kB SwapFree: 67099860 kB Dirty: 1656 kB Writeback: 0 kB AnonPages: 251608 kB Mapped: 15348 kB Shmem: 0 kB Slab: 600760 kB SReclaimable: 43616 kB SUnreclaim: 557144 kB KernelStack: 1664 kB PageTables: 4748 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 390900 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341987908 kB HardwareCorrupted: 0 kB AnonHugePages: 210944 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= 71712 MiB End job on node133 at 2016-06-18 06:31:08