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 | OPT | 1396365 | 1751.33 | 1745.89 |
| Name | /OPT-BIGINT-LIN/zahidi/MH+IC/ normalized-minisat15_4_4_1_mh_ic.opb |
| MD5SUM | f4c34ee83da7e36be7881d34beece196 |
| Bench Category | OPT-BIGINT-LIN (optimisation, big integers, linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 1396365 |
| Best CPU time to get the best result obtained on this benchmark | 1751.33 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 9765 |
| Total number of constraints | 21293 |
| Number of constraints which are clauses | 14520 |
| Number of constraints which are cardinality constraints (but not clauses) | 23 |
| Number of constraints which are nor clauses,nor cardinality constraints | 6750 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 330 |
| Number of terms in the objective function | 4005 |
| Biggest coefficient in the objective function | 57066625 |
| Number of bits for the biggest coefficient in the objective function | 26 |
| Sum of the numbers in the objective function | 2537601947 |
| Number of bits of the sum of numbers in the objective function | 32 |
| Biggest number in a constraint | 57066625 |
| Number of bits of the biggest number in a constraint | 26 |
| Biggest sum of numbers in a constraint | 2537601947 |
| Number of bits of the biggest sum of numbers | 32 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.09 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.00/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.09 c See www.sat4j.org for details. 0.00/0.09 c version PB16.v20160501 0.00/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.09 c java.vm.version 19.1-b02 0.00/0.09 c java.vm.vendor Sun Microsystems Inc. 0.00/0.09 c sun.arch.data.model 64 0.00/0.09 c java.version 1.6.0_24 0.00/0.09 c os.name Linux 0.00/0.09 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.09 c os.arch amd64 0.00/0.09 c Free memory 501472288 0.00/0.09 c Max memory 7480803328 0.00/0.09 c Total memory 504102912 0.00/0.09 c Number of processors 8 0.09/0.11 c Pseudo Boolean Optimization by upper bound 0.09/0.11 c --- Begin Solver configuration --- 0.09/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b21cc40 0.09/0.11 c Learn all clauses as in MiniSAT 0.09/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.09/0.11 c No reason simplification 0.09/0.11 c Glucose 2.1 dynamic restart strategy 0.09/0.11 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.09/0.11 c timeout=2147483s 0.09/0.11 c DB Simplification allowed=false 0.09/0.11 c Listener: org.sat4j.minisat.core.VoidTracing@7c64dc11 0.09/0.11 c --- End Solver configuration --- 0.09/0.11 c solving HOME/instance-4085074-1465327398.opb 0.09/0.11 c reading problem ... 0.09/0.12 c objective function found 0.70/0.46 c ... done. Wall clock time 0.351s. 0.70/0.46 c declared #vars 9765 0.70/0.46 c #constraints 21931 0.70/0.46 c constraints type 0.70/0.46 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6001 0.70/0.46 c org.sat4j.minisat.constraints.cnf.UnitClauses => 4 0.70/0.46 c org.sat4j.specs.Constr$1 => 4 0.70/0.46 c org.sat4j.minisat.constraints.card.MinWatchCard => 22 0.70/0.46 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9885 0.70/0.46 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6015 0.70/0.46 c 21931 constraints processed. 0.70/0.46 c objective function length is 4005 literals 2.13/1.49 c SATISFIABLE 2.13/1.49 c OPTIMIZING... 2.13/1.49 c Got one! Elapsed wall clock time (in seconds):1.379 2.13/1.49 o 25471743 2.86/1.92 c Got one! Elapsed wall clock time (in seconds):1.808 2.86/1.92 o 22125780 2.86/1.95 c Got one! Elapsed wall clock time (in seconds):1.838 2.86/1.95 o 10546845 2.86/1.99 c Got one! Elapsed wall clock time (in seconds):1.875 2.86/1.99 o 2801170 3.66/2.53 c cleaning 3128 clauses out of 6256 with flag 10294/6256 4.65/3.40 c cleaning 4564 clauses out of 9128 with flag 32000/12256 6.14/4.94 c cleaning 5775 clauses out of 11563 with flag 63978/19256 7.96/6.75 c cleaning 6892 clauses out of 13788 with flag 106168/27256 10.47/9.21 c cleaning 7946 clauses out of 15896 with flag 158466/36256 13.17/11.90 c cleaning 8972 clauses out of 17950 with flag 229940/46256 16.18/14.91 c cleaning 9989 clauses out of 19982 with flag 318644/57260 19.48/18.25 c cleaning 10985 clauses out of 21987 with flag 393891/69256 20.88/19.67 c Got one! Elapsed wall clock time (in seconds):19.554 20.88/19.67 o 2768620 20.88/19.70 c Got one! Elapsed wall clock time (in seconds):19.583 20.88/19.70 o 2141668 21.11/19.89 c cleaning 8506 clauses out of 17022 with flag 3780/75276 22.41/21.18 c cleaning 7251 clauses out of 14516 with flag 30725/81276 24.23/22.96 c cleaning 7130 clauses out of 14260 with flag 66700/88276 26.76/25.47 c cleaning 7555 clauses out of 15130 with flag 106329/96276 29.46/28.14 c cleaning 8282 clauses out of 16575 with flag 154491/105276 32.36/31.05 c cleaning 9134 clauses out of 18293 with flag 204955/115276 34.76/33.47 c Got one! Elapsed wall clock time (in seconds):33.354 34.76/33.47 o 2116005 35.46/34.12 c Got one! Elapsed wall clock time (in seconds):34.007 35.46/34.12 o 2102942 36.26/34.92 c cleaning 11446 clauses out of 22917 with flag 15966/129034 37.76/36.47 c cleaning 8737 clauses out of 17474 with flag 51735/135037 39.06/37.79 c Got one! Elapsed wall clock time (in seconds):37.676 39.06/37.79 o 2080270 39.36/38.09 c cleaning 7299 clauses out of 14623 with flag 4178/140923 41.16/39.90 c cleaning 6654 clauses out of 13324 with flag 47118/146923 41.76/40.47 c Got one! Elapsed wall clock time (in seconds):40.355 41.76/40.47 o 1968775 42.66/41.35 c cleaning 5904 clauses out of 11861 with flag 17070/152114 43.16/41.84 c Got one! Elapsed wall clock time (in seconds):41.726 43.16/41.84 o 1956515 43.99/42.69 c cleaning 5515 clauses out of 11073 with flag 15520/157230 45.69/44.32 c cleaning 5764 clauses out of 11557 with flag 54754/163229 47.60/46.23 c cleaning 6391 clauses out of 12793 with flag 95890/170229 49.90/48.56 c cleaning 7183 clauses out of 14402 with flag 155603/178229 51.39/50.04 c Got one! Elapsed wall clock time (in seconds):49.931 51.39/50.04 o 1949646 52.80/51.47 c cleaning 8825 clauses out of 17681 with flag 29690/188691 53.70/52.39 c Got one! Elapsed wall clock time (in seconds):52.276 53.70/52.39 o 1928642 54.30/52.96 c cleaning 7124 clauses out of 14294 with flag 13599/194129 55.80/54.44 c cleaning 6578 clauses out of 13171 with flag 52099/200130 57.70/56.38 c cleaning 6752 clauses out of 13592 with flag 101985/207129 57.70/56.39 c Got one! Elapsed wall clock time (in seconds):56.273 57.70/56.39 o 1907211 58.20/56.88 c Got one! Elapsed wall clock time (in seconds):56.764 58.20/56.88 o 1905540 59.40/58.02 c cleaning 6217 clauses out of 12472 with flag 29743/212761 61.00/59.68 c cleaning 6110 clauses out of 12256 with flag 74837/218762 63.00/61.62 c cleaning 6570 clauses out of 13145 with flag 125473/225761 65.10/63.75 c cleaning 7279 clauses out of 14576 with flag 186951/233762 67.50/66.12 c cleaning 8130 clauses out of 16296 with flag 262043/242761 70.40/69.00 c cleaning 9073 clauses out of 18166 with flag 338267/252761 73.59/72.28 c cleaning 10042 clauses out of 20093 with flag 406553/263761 74.69/73.34 c Got one! Elapsed wall clock time (in seconds):73.225 74.69/73.34 o 1893108 75.20/73.89 c cleaning 7883 clauses out of 15815 with flag 8306/269525 75.79/74.42 c Got one! Elapsed wall clock time (in seconds):74.31 75.79/74.42 o 1862969 76.59/75.27 c cleaning 6532 clauses out of 13088 with flag 13133/274681 78.30/76.94 c cleaning 6269 clauses out of 12557 with flag 45523/280682 79.90/78.52 c Got one! Elapsed wall clock time (in seconds):78.41 79.90/78.52 o 1832248 81.33/79.95 c cleaning 8279 clauses out of 16605 with flag 29256/290999 83.03/81.65 c cleaning 7141 clauses out of 14326 with flag 67302/296999 85.13/83.77 c cleaning 7073 clauses out of 14185 with flag 111591/303999 87.53/86.13 c cleaning 7552 clauses out of 15114 with flag 164008/312001 90.13/88.75 c cleaning 8267 clauses out of 16560 with flag 219471/320999 93.24/91.85 c cleaning 9144 clauses out of 18293 with flag 277586/330999 96.05/94.61 c cleaning 10069 clauses out of 20149 with flag 362505/341999 97.55/96.18 c Got one! Elapsed wall clock time (in seconds):96.068 97.55/96.18 o 1830081 99.14/97.74 c cleaning 10620 clauses out of 21256 with flag 23622/353175 100.84/99.44 c cleaning 8290 clauses out of 16634 with flag 55377/359173 102.75/101.35 c cleaning 7658 clauses out of 15345 with flag 103524/366174 105.15/103.72 c cleaning 7799 clauses out of 15688 with flag 162517/374175 107.54/106.19 c cleaning 8439 clauses out of 16888 with flag 224298/383174 110.36/109.00 c cleaning 9220 clauses out of 18448 with flag 288873/393173 113.55/112.20 c cleaning 10103 clauses out of 20228 with flag 343224/404173 116.75/115.39 c cleaning 11033 clauses out of 22125 with flag 405375/416173 120.65/119.22 c cleaning 12032 clauses out of 24092 with flag 500018/429173 123.75/122.36 c Got one! Elapsed wall clock time (in seconds):122.243 123.75/122.36 o 1796996 125.25/123.89 c cleaning 13706 clauses out of 27427 with flag 24373/444540 126.96/125.59 c cleaning 9848 clauses out of 19721 with flag 60301/450540 127.15/125.73 c Got one! Elapsed wall clock time (in seconds):125.614 127.15/125.73 o 1782264 127.85/126.43 c Got one! Elapsed wall clock time (in seconds):126.315 127.85/126.43 o 1771652 128.75/127.36 c cleaning 7874 clauses out of 15802 with flag 19166/456469 129.06/127.64 c Got one! Elapsed wall clock time (in seconds):127.523 129.06/127.64 o 1769564 130.55/129.12 c cleaning 6932 clauses out of 13892 with flag 24985/462433 132.25/130.84 c cleaning 6456 clauses out of 12961 with flag 57283/468434 134.18/132.78 c cleaning 6732 clauses out of 13504 with flag 95142/475433 136.07/134.68 c Got one! Elapsed wall clock time (in seconds):134.57 136.07/134.68 o 1762545 137.47/136.07 c cleaning 9169 clauses out of 18346 with flag 30432/487007 138.67/137.22 c Got one! Elapsed wall clock time (in seconds):137.101 138.67/137.22 o 1732950 139.28/137.84 c cleaning 7490 clauses out of 15002 with flag 11372/492832 140.88/139.49 c cleaning 6720 clauses out of 13513 with flag 49733/498833 143.18/141.70 c cleaning 6873 clauses out of 13792 with flag 94660/505832 145.38/143.96 c cleaning 7452 clauses out of 14919 with flag 146056/513832 146.28/144.84 c Got one! Elapsed wall clock time (in seconds):144.728 146.28/144.84 o 1717200 146.88/145.44 c cleaning 6423 clauses out of 12895 with flag 11654/519260 147.18/145.72 c Got one! Elapsed wall clock time (in seconds):145.61 147.18/145.72 o 1713089 148.38/146.98 c cleaning 6193 clauses out of 12441 with flag 34342/525229 149.88/148.48 c cleaning 6104 clauses out of 12248 with flag 73253/531229 151.68/150.29 c cleaning 6569 clauses out of 13147 with flag 111139/538232 153.68/152.23 c cleaning 7288 clauses out of 14576 with flag 162022/546230 155.68/154.26 c cleaning 8143 clauses out of 16287 with flag 222408/555229 158.48/157.08 c cleaning 9060 clauses out of 18144 with flag 276206/565229 159.98/158.57 c Got one! Elapsed wall clock time (in seconds):158.455 159.98/158.57 o 1709499 160.38/158.90 c cleaning 7531 clauses out of 15071 with flag 4835/571216 162.18/160.71 c cleaning 6747 clauses out of 13540 with flag 37509/577216 164.08/162.67 c cleaning 6880 clauses out of 13793 with flag 82360/584216 166.28/164.89 c cleaning 7448 clauses out of 14916 with flag 134335/592219 168.78/167.34 c cleaning 8227 clauses out of 16466 with flag 196293/601217 169.58/168.19 c Got one! Elapsed wall clock time (in seconds):168.08 169.58/168.19 o 1696858 170.28/168.80 c cleaning 6677 clauses out of 13392 with flag 10389/606370 171.88/170.41 c cleaning 6340 clauses out of 12714 with flag 41402/612369 173.78/172.38 c cleaning 6682 clauses out of 13373 with flag 80408/619368 176.07/174.60 c cleaning 7337 clauses out of 14693 with flag 126030/627370 176.48/175.03 c Got one! Elapsed wall clock time (in seconds):174.919 176.48/175.03 o 1687587 177.68/176.22 c cleaning 6495 clauses out of 12998 with flag 17494/633012 179.38/177.95 c cleaning 6237 clauses out of 12503 with flag 42994/639012 181.38/179.94 c cleaning 6628 clauses out of 13266 with flag 72586/646012 181.48/180.09 c Got one! Elapsed wall clock time (in seconds):179.977 181.48/180.09 o 1687534 182.99/181.51 c cleaning 6052 clauses out of 12172 with flag 21700/651546 184.48/183.07 c cleaning 6039 clauses out of 12121 with flag 47826/657547 186.39/184.96 c cleaning 6532 clauses out of 13082 with flag 79273/664547 188.68/187.25 c cleaning 7274 clauses out of 14549 with flag 113285/672546 191.11/189.69 c cleaning 8131 clauses out of 16275 with flag 157758/681546 193.91/192.50 c cleaning 9066 clauses out of 18144 with flag 209520/691546 197.21/195.73 c cleaning 10036 clauses out of 20079 with flag 267147/702547 200.81/199.31 c cleaning 11005 clauses out of 22043 with flag 332491/714547 204.61/203.16 c cleaning 12002 clauses out of 24039 with flag 403515/727548 208.91/207.47 c cleaning 13002 clauses out of 26037 with flag 482961/741548 213.61/212.11 c cleaning 14007 clauses out of 28033 with flag 574464/756546 215.71/214.21 c Got one! Elapsed wall clock time (in seconds):214.096 215.71/214.21 o 1677022 217.12/215.64 c cleaning 13179 clauses out of 26405 with flag 29056/768925 218.81/217.30 c cleaning 9604 clauses out of 19226 with flag 65537/774925 220.91/219.41 c cleaning 8305 clauses out of 16623 with flag 99445/781926 223.11/221.61 c cleaning 8137 clauses out of 16318 with flag 140583/789926 225.61/224.16 c cleaning 8583 clauses out of 17180 with flag 186218/798925 228.81/227.33 c cleaning 9295 clauses out of 18598 with flag 242510/808926 231.91/230.47 c cleaning 10149 clauses out of 20306 with flag 314018/819929 235.41/233.90 c cleaning 11071 clauses out of 22153 with flag 388598/831925 239.15/237.69 c cleaning 12021 clauses out of 24082 with flag 465992/844925 242.84/241.32 c cleaning 13025 clauses out of 26061 with flag 555646/858925 246.24/244.74 c cleaning 14009 clauses out of 28038 with flag 652159/873927 250.04/248.52 c cleaning 15012 clauses out of 30027 with flag 762804/889925 253.94/252.50 c cleaning 16002 clauses out of 32018 with flag 869783/906928 257.24/255.71 c Got one! Elapsed wall clock time (in seconds):255.596 257.24/255.71 o 1643000 258.74/257.23 c cleaning 16126 clauses out of 32272 with flag 26420/923184 260.34/258.82 c cleaning 11066 clauses out of 22145 with flag 55245/929183 262.25/260.79 c cleaning 9024 clauses out of 18079 with flag 94434/936183 262.44/260.98 c Got one! Elapsed wall clock time (in seconds):260.865 262.44/260.98 o 1637667 264.04/262.57 c cleaning 7319 clauses out of 14710 with flag 21712/941838 265.84/264.30 c cleaning 6676 clauses out of 13392 with flag 47871/947839 267.94/266.43 c cleaning 6849 clauses out of 13716 with flag 79248/954839 270.24/268.74 c cleaning 7429 clauses out of 14866 with flag 112141/962838 272.84/271.35 c cleaning 8218 clauses out of 16437 with flag 148040/971838 275.84/274.35 c cleaning 9102 clauses out of 18220 with flag 188453/981839 279.14/277.61 c cleaning 10058 clauses out of 20119 with flag 244755/992840 282.87/281.34 c cleaning 11013 clauses out of 22060 with flag 318086/1004839 286.77/285.28 c cleaning 12020 clauses out of 24049 with flag 388406/1017841 290.87/289.40 c cleaning 13003 clauses out of 26027 with flag 485113/1031839 295.67/294.14 c cleaning 14005 clauses out of 28023 with flag 561952/1046838 297.67/296.17 c Got one! Elapsed wall clock time (in seconds):296.061 297.67/296.17 o 1623072 299.37/297.82 c cleaning 12985 clauses out of 26004 with flag 19511/1058824 300.97/299.49 c cleaning 9505 clauses out of 19021 with flag 44485/1064826 302.97/301.49 c cleaning 8245 clauses out of 16514 with flag 77947/1071824 305.37/303.88 c cleaning 8124 clauses out of 16272 with flag 112681/1079827 308.07/306.55 c cleaning 8573 clauses out of 17145 with flag 163382/1088824 310.87/309.32 c cleaning 9286 clauses out of 18572 with flag 231141/1098824 313.77/312.20 c cleaning 10135 clauses out of 20286 with flag 311272/1109824 316.77/315.28 c cleaning 11069 clauses out of 22152 with flag 399353/1121825 317.17/315.66 c Got one! Elapsed wall clock time (in seconds):315.543 317.17/315.66 o 1601749 318.27/316.80 c cleaning 8376 clauses out of 16831 with flag 18650/1127573 319.77/318.23 c Got one! Elapsed wall clock time (in seconds):318.113 319.77/318.23 o 1593984 320.07/318.56 c cleaning 7112 clauses out of 14283 with flag 4913/1133401 321.77/320.22 c cleaning 6561 clauses out of 13171 with flag 29444/1139401 323.77/322.21 c cleaning 6787 clauses out of 13610 with flag 61215/1146401 325.97/324.46 c cleaning 7406 clauses out of 14824 with flag 96405/1154402 328.47/326.92 c cleaning 8206 clauses out of 16417 with flag 135883/1163401 330.96/329.41 c Got one! Elapsed wall clock time (in seconds):329.297 330.96/329.41 o 1589212 332.36/330.83 c cleaning 11030 clauses out of 22059 with flag 22893/1177249 333.96/332.49 c cleaning 8508 clauses out of 17027 with flag 50143/1183247 335.89/334.37 c cleaning 7758 clauses out of 15519 with flag 77288/1190247 338.30/336.76 c cleaning 7873 clauses out of 15760 with flag 116466/1198246 340.79/339.27 c cleaning 8422 clauses out of 16888 with flag 165146/1207247 343.59/342.07 c cleaning 9231 clauses out of 18465 with flag 211324/1217246 346.69/345.15 c cleaning 10115 clauses out of 20234 with flag 261583/1228246 350.09/348.58 c cleaning 11058 clauses out of 22121 with flag 323806/1240248 353.99/352.43 c cleaning 12024 clauses out of 24061 with flag 380921/1253246 358.18/356.67 c cleaning 13008 clauses out of 26037 with flag 447950/1267246 362.78/361.28 c cleaning 14011 clauses out of 28029 with flag 532628/1282246 367.58/366.03 c cleaning 15001 clauses out of 30018 with flag 627702/1298246 372.68/371.15 c cleaning 16003 clauses out of 32017 with flag 726669/1315246 377.99/376.41 c cleaning 16999 clauses out of 34014 with flag 819107/1333246 379.99/378.42 c Got one! Elapsed wall clock time (in seconds):378.305 379.99/378.42 o 1585538 381.59/380.02 c cleaning 15356 clauses out of 30735 with flag 28452/1346966 383.18/381.69 c cleaning 10657 clauses out of 21379 with flag 66775/1352966 385.08/383.52 c cleaning 8819 clauses out of 17723 with flag 111139/1359967 387.08/385.56 c cleaning 8397 clauses out of 16903 with flag 165490/1367966 389.68/388.17 c cleaning 8741 clauses out of 17506 with flag 205422/1376966 392.63/391.02 c cleaning 9380 clauses out of 18765 with flag 249182/1386966 395.83/394.28 c cleaning 10178 clauses out of 20385 with flag 297186/1397966 399.12/397.57 c cleaning 11101 clauses out of 22207 with flag 341659/1409966 402.92/401.34 c cleaning 12046 clauses out of 24106 with flag 398545/1422966 406.84/405.22 c cleaning 13014 clauses out of 26060 with flag 467523/1436966 411.03/409.43 c cleaning 14017 clauses out of 28047 with flag 540353/1451967 415.73/414.11 c cleaning 15001 clauses out of 30029 with flag 621591/1467966 419.33/417.75 c Got one! Elapsed wall clock time (in seconds):417.634 419.33/417.75 o 1580330 419.33/417.76 c Got one! Elapsed wall clock time (in seconds):417.651 419.33/417.76 o 1571895 420.93/419.32 c cleaning 16364 clauses out of 32766 with flag 18027/1485704 422.83/421.22 c cleaning 11191 clauses out of 22402 with flag 45512/1491704 424.93/423.32 c cleaning 9083 clauses out of 18211 with flag 83523/1498704 427.23/425.64 c cleaning 8545 clauses out of 17130 with flag 123928/1506706 429.73/428.14 c cleaning 8780 clauses out of 17584 with flag 167371/1515705 432.53/430.97 c cleaning 9388 clauses out of 18803 with flag 213867/1525704 435.63/434.00 c cleaning 10194 clauses out of 20416 with flag 264735/1536705 439.23/437.63 c cleaning 11105 clauses out of 22222 with flag 317400/1548705 443.13/441.54 c cleaning 12052 clauses out of 24116 with flag 378194/1561704 445.93/444.38 c Got one! Elapsed wall clock time (in seconds):444.262 445.93/444.38 o 1569711 447.53/445.91 c cleaning 13330 clauses out of 26679 with flag 21419/1576319 449.34/447.76 c cleaning 9653 clauses out of 19349 with flag 52485/1582319 451.45/449.82 c cleaning 8323 clauses out of 16699 with flag 84522/1589322 453.76/452.15 c cleaning 8157 clauses out of 16373 with flag 117681/1597319 456.25/454.62 c cleaning 8585 clauses out of 17218 with flag 155852/1606321 459.05/457.47 c cleaning 9307 clauses out of 18631 with flag 209354/1616319 461.75/460.16 c cleaning 10143 clauses out of 20324 with flag 263577/1627319 465.05/463.45 c cleaning 11084 clauses out of 22181 with flag 333003/1639319 468.16/466.56 c cleaning 12046 clauses out of 24097 with flag 412582/1652319 471.65/470.07 c cleaning 13025 clauses out of 26051 with flag 490003/1666319 475.76/474.16 c cleaning 14009 clauses out of 28026 with flag 554473/1681319 480.26/478.64 c cleaning 15008 clauses out of 30017 with flag 633535/1697319 484.85/483.29 c cleaning 16004 clauses out of 32011 with flag 724724/1714321 489.75/488.16 c cleaning 16992 clauses out of 34006 with flag 815871/1732320 494.65/493.05 c cleaning 18006 clauses out of 36017 with flag 934435/1751323 499.45/497.81 c cleaning 18995 clauses out of 38007 with flag 1065057/1771319 504.44/502.77 c cleaning 20001 clauses out of 40013 with flag 1207975/1792320 510.63/508.96 c cleaning 20995 clauses out of 42011 with flag 1309448/1814319 517.13/515.44 c cleaning 21998 clauses out of 44016 with flag 1412499/1837319 523.83/522.15 c cleaning 23003 clauses out of 46020 with flag 1541621/1861321 531.33/529.60 c cleaning 23998 clauses out of 48015 with flag 1681785/1886319 539.13/537.31 c cleaning 24991 clauses out of 50017 with flag 1836078/1912319 547.03/545.26 c cleaning 25997 clauses out of 52026 with flag 2013816/1939319 555.34/553.52 c cleaning 27012 clauses out of 54029 with flag 2186544/1967319 563.99/562.01 c cleaning 27998 clauses out of 56018 with flag 2388469/1996320 572.90/570.98 c cleaning 29000 clauses out of 58022 with flag 2562113/2026322 577.69/575.77 c Got one! Elapsed wall clock time (in seconds):575.655 577.69/575.77 o 1549680 579.50/577.52 c cleaning 25083 clauses out of 50180 with flag 23948/2047481 581.29/579.32 c cleaning 15526 clauses out of 31097 with flag 57779/2053481 583.39/581.44 c cleaning 11273 clauses out of 22571 with flag 101280/2060481 585.79/583.83 c cleaning 9631 clauses out of 19298 with flag 139342/2068481 588.30/586.38 c cleaning 9324 clauses out of 18667 with flag 175772/2077481 591.40/589.34 c cleaning 9665 clauses out of 19344 with flag 216360/2087482 594.60/592.56 c cleaning 10332 clauses out of 20680 with flag 266007/2098483 598.50/596.40 c cleaning 11162 clauses out of 22348 with flag 323840/2110483 602.30/600.20 c cleaning 12076 clauses out of 24184 with flag 378608/2123481 606.30/604.25 c cleaning 13049 clauses out of 26108 with flag 434608/2137481 611.10/609.07 c cleaning 14019 clauses out of 28062 with flag 498198/2152484 615.70/613.62 c cleaning 15009 clauses out of 30040 with flag 569394/2168481 620.50/618.40 c cleaning 16010 clauses out of 32031 with flag 649159/2185481 625.43/623.35 c cleaning 17006 clauses out of 34024 with flag 735296/2203484 630.53/628.45 c cleaning 17994 clauses out of 36016 with flag 840650/2222482 636.33/634.28 c cleaning 18985 clauses out of 38021 with flag 938815/2242481 642.93/640.84 c cleaning 20003 clauses out of 40036 with flag 1040399/2263481 649.81/647.64 c cleaning 21011 clauses out of 42033 with flag 1147256/2285481 656.91/654.77 c cleaning 22007 clauses out of 44023 with flag 1255334/2308482 664.20/662.03 c cleaning 23001 clauses out of 46015 with flag 1416970/2332481 672.58/670.36 c cleaning 24005 clauses out of 48014 with flag 1554357/2357481 680.98/678.76 c cleaning 24994 clauses out of 50009 with flag 1688154/2383481 688.98/686.73 c cleaning 26002 clauses out of 52015 with flag 1832797/2410481 694.76/692.45 c Got one! Elapsed wall clock time (in seconds):692.337 694.76/692.45 o 1538645 696.36/694.03 c cleaning 25294 clauses out of 50600 with flag 21554/2435068 698.16/695.85 c cleaning 15641 clauses out of 31306 with flag 55125/2441068 700.26/697.95 c cleaning 11320 clauses out of 22668 with flag 93182/2448071 702.36/700.07 c cleaning 9666 clauses out of 19345 with flag 122094/2456068 704.86/702.59 c cleaning 9305 clauses out of 18679 with flag 162782/2465068 707.76/705.40 c cleaning 9675 clauses out of 19374 with flag 199671/2475068 710.96/708.60 c cleaning 10343 clauses out of 20699 with flag 245184/2486068 714.26/711.90 c cleaning 11172 clauses out of 22358 with flag 296431/2498070 717.80/715.47 c cleaning 12091 clauses out of 24185 with flag 356059/2511069 721.60/719.29 c cleaning 13041 clauses out of 26094 with flag 414251/2525069 725.90/723.58 c cleaning 14025 clauses out of 28052 with flag 473261/2540068 730.30/727.99 c cleaning 15007 clauses out of 30027 with flag 537013/2556068 734.90/732.57 c cleaning 16004 clauses out of 32020 with flag 602378/2573068 740.03/737.66 c cleaning 16998 clauses out of 34016 with flag 683396/2591068 745.03/742.65 c cleaning 18007 clauses out of 36018 with flag 769685/2610068 750.43/748.05 c cleaning 18997 clauses out of 38010 with flag 850738/2630068 757.13/754.71 c cleaning 19994 clauses out of 40013 with flag 946307/2651068 763.73/761.35 c cleaning 21001 clauses out of 42020 with flag 1042817/2673069 770.20/767.73 c cleaning 21992 clauses out of 44018 with flag 1143635/2696068 777.10/774.64 c cleaning 23010 clauses out of 46027 with flag 1251077/2720069 784.60/782.15 c cleaning 23991 clauses out of 48017 with flag 1376779/2745069 792.59/790.16 c cleaning 25006 clauses out of 50025 with flag 1475348/2771068 801.17/798.69 c cleaning 25993 clauses out of 52019 with flag 1610773/2798068 805.76/803.22 c Got one! Elapsed wall clock time (in seconds):803.106 805.76/803.22 o 1518408 807.26/804.78 c cleaning 22492 clauses out of 45017 with flag 25576/2817059 809.16/806.62 c cleaning 14243 clauses out of 28525 with flag 56133/2823059 811.17/808.60 c cleaning 10635 clauses out of 21283 with flag 89582/2830060 813.37/810.81 c cleaning 9294 clauses out of 18647 with flag 120078/2838059 815.96/813.43 c cleaning 9148 clauses out of 18353 with flag 156063/2847059 818.96/816.41 c cleaning 9602 clauses out of 19205 with flag 197163/2857059 821.96/819.45 c cleaning 10294 clauses out of 20603 with flag 237886/2868059 825.56/823.02 c cleaning 11156 clauses out of 22311 with flag 284218/2880061 829.46/826.93 c cleaning 12073 clauses out of 24155 with flag 338919/2893061 833.81/831.20 c cleaning 13027 clauses out of 26080 with flag 397402/2907059 838.21/835.62 c cleaning 14020 clauses out of 28053 with flag 458649/2922059 842.21/839.69 c cleaning 15007 clauses out of 30033 with flag 515223/2938059 846.81/844.23 c cleaning 16007 clauses out of 32027 with flag 585752/2955060 852.21/849.60 c cleaning 17004 clauses out of 34020 with flag 667503/2973060 857.61/855.04 c cleaning 17993 clauses out of 36015 with flag 747333/2992059 863.34/860.71 c cleaning 19008 clauses out of 38023 with flag 835717/3012060 868.94/866.33 c cleaning 20005 clauses out of 40015 with flag 934278/3033060 875.25/872.68 c cleaning 20989 clauses out of 42009 with flag 1041712/3055059 882.05/879.40 c cleaning 22001 clauses out of 44020 with flag 1151422/3078059 889.39/886.78 c cleaning 22997 clauses out of 46019 with flag 1252357/3102059 897.19/894.56 c cleaning 24006 clauses out of 48023 with flag 1362479/3127060 905.29/902.65 c cleaning 25006 clauses out of 50016 with flag 1488119/3153059 913.04/910.37 c cleaning 25997 clauses out of 52010 with flag 1609692/3180059 921.74/919.01 c cleaning 26991 clauses out of 54013 with flag 1730173/3208059 931.14/928.38 c cleaning 28006 clauses out of 56022 with flag 1917297/3237059 940.62/937.88 c cleaning 28994 clauses out of 58016 with flag 2079176/3267059 947.12/944.30 c Got one! Elapsed wall clock time (in seconds):944.184 947.12/944.30 o 1502197 948.82/946.10 c cleaning 26981 clauses out of 54003 with flag 28201/3292040 950.85/948.02 c cleaning 16490 clauses out of 33023 with flag 66330/3298041 952.95/950.16 c cleaning 11746 clauses out of 23533 with flag 104579/3305041 955.36/952.57 c cleaning 9628 clauses out of 19786 with flag 135963/3313040 957.86/955.08 c cleaning 8991 clauses out of 19158 with flag 169545/3322040 960.86/958.03 c cleaning 9985 clauses out of 20167 with flag 208139/3332040 964.06/961.28 c cleaning 10586 clauses out of 21183 with flag 256862/3343041 967.66/964.82 c cleaning 11294 clauses out of 22597 with flag 306797/3355041 971.16/968.32 c cleaning 12133 clauses out of 24302 with flag 365147/3368040 975.16/972.35 c cleaning 13079 clauses out of 26169 with flag 430687/3382040 979.49/976.66 c cleaning 14044 clauses out of 28090 with flag 504857/3397040 984.20/981.39 c cleaning 15012 clauses out of 30049 with flag 593409/3413043 988.80/985.99 c cleaning 16010 clauses out of 32034 with flag 686155/3430040 994.19/991.31 c cleaning 17000 clauses out of 34024 with flag 794577/3448040 999.72/996.81 c cleaning 18004 clauses out of 36024 with flag 905652/3467041 1005.72/1002.84 c cleaning 19006 clauses out of 38020 with flag 972706/3487042 1012.32/1009.45 c cleaning 20005 clauses out of 40013 with flag 1083258/3508041 1018.84/1015.94 c cleaning 21001 clauses out of 42007 with flag 1175435/3530040 1025.54/1022.66 c cleaning 21991 clauses out of 44007 with flag 1270028/3553041 1032.74/1029.84 c cleaning 23008 clauses out of 46015 with flag 1368977/3577040 1040.09/1037.12 c cleaning 23995 clauses out of 48010 with flag 1491205/3602043 1040.99/1038.03 c Got one! Elapsed wall clock time (in seconds):1037.918 1040.99/1038.03 o 1491826 1041.59/1038.68 c cleaning 14616 clauses out of 29275 with flag 10810/3607303 1043.49/1040.54 c cleaning 9876 clauses out of 20661 with flag 44224/3613305 1045.39/1042.48 c cleaning 7005 clauses out of 17784 with flag 70880/3620304 1047.59/1044.66 c cleaning 7998 clauses out of 18778 with flag 101217/3628303 1050.09/1047.18 c cleaning 8993 clauses out of 19781 with flag 134840/3637304 1052.79/1049.83 c cleaning 10017 clauses out of 20788 with flag 173298/3647304 1056.11/1053.13 c cleaning 10877 clauses out of 21771 with flag 216835/3658304 1059.61/1056.60 c cleaning 11432 clauses out of 22896 with flag 262120/3670306 1063.31/1060.32 c cleaning 12227 clauses out of 24461 with flag 316965/3683303 1067.00/1064.05 c cleaning 13103 clauses out of 26234 with flag 371547/3697303 1071.00/1068.10 c cleaning 14056 clauses out of 28131 with flag 431719/3712303 1075.43/1072.43 c cleaning 15033 clauses out of 30075 with flag 513564/3728303 1079.94/1076.96 c cleaning 16015 clauses out of 32043 with flag 591658/3745305 1085.03/1082.05 c cleaning 17010 clauses out of 34027 with flag 668030/3763304 1090.23/1087.23 c cleaning 18008 clauses out of 36016 with flag 748511/3782303 1096.32/1093.32 c cleaning 18987 clauses out of 38007 with flag 819173/3802303 1102.55/1099.59 c cleaning 20005 clauses out of 40021 with flag 912177/3823304 1108.84/1105.89 c cleaning 20998 clauses out of 42016 with flag 1011764/3845304 1115.55/1112.52 c cleaning 22003 clauses out of 44017 with flag 1112106/3868303 1122.36/1119.31 c cleaning 22996 clauses out of 46014 with flag 1217545/3892303 1129.56/1126.56 c cleaning 23995 clauses out of 48018 with flag 1337703/3917304 1136.85/1133.90 c cleaning 25003 clauses out of 50023 with flag 1450788/3943304 1144.67/1141.65 c cleaning 26006 clauses out of 52020 with flag 1572887/3970304 1145.67/1142.63 c Got one! Elapsed wall clock time (in seconds):1142.52 1145.67/1142.63 o 1489742 1146.27/1143.24 c cleaning 15886 clauses out of 31803 with flag 8730/3976093 1147.96/1144.92 c cleaning 10392 clauses out of 21917 with flag 31343/3982093 1149.87/1146.90 c cleaning 7000 clauses out of 18527 with flag 56758/3989095 1152.16/1149.19 c cleaning 7962 clauses out of 19526 with flag 86725/3997094 1154.66/1151.65 c cleaning 9004 clauses out of 20562 with flag 118518/4006092 1157.26/1154.29 c cleaning 9995 clauses out of 21559 with flag 156668/4016093 1160.56/1157.52 c cleaning 10976 clauses out of 22564 with flag 196272/4027093 1163.88/1160.87 c cleaning 11791 clauses out of 23589 with flag 236917/4039094 1167.48/1164.42 c cleaning 12387 clauses out of 24796 with flag 287301/4052092 1171.18/1168.17 c cleaning 13198 clauses out of 26409 with flag 354504/4066092 1175.78/1172.71 c cleaning 14096 clauses out of 28211 with flag 415715/4081092 1180.67/1177.68 c cleaning 15044 clauses out of 30115 with flag 479412/4097092 1185.80/1182.78 c cleaning 16029 clauses out of 32074 with flag 547370/4114095 1188.51/1185.42 c Got one! Elapsed wall clock time (in seconds):1185.304 1188.51/1185.42 o 1478813 1190.02/1186.97 c cleaning 15262 clauses out of 30545 with flag 18935/4128595 1191.81/1188.72 c cleaning 9583 clauses out of 21283 with flag 45304/4134595 1193.71/1190.68 c cleaning 6992 clauses out of 18698 with flag 72248/4141593 1196.01/1192.95 c cleaning 8009 clauses out of 19707 with flag 105207/4149594 1198.61/1195.58 c cleaning 8970 clauses out of 20698 with flag 137032/4158594 1201.12/1198.08 c cleaning 10013 clauses out of 21728 with flag 174085/4168594 1203.91/1200.81 c cleaning 11009 clauses out of 22714 with flag 210870/4179593 1207.11/1204.09 c cleaning 11837 clauses out of 23706 with flag 253533/4191594 1210.61/1207.55 c cleaning 12430 clauses out of 24869 with flag 301956/4204594 1214.41/1211.37 c cleaning 13216 clauses out of 26438 with flag 362756/4218593 1218.41/1215.38 c cleaning 14105 clauses out of 28222 with flag 416868/4233593 1223.02/1219.95 c cleaning 15054 clauses out of 30117 with flag 490282/4249593 1227.94/1224.82 c cleaning 16020 clauses out of 32064 with flag 566342/4266594 1232.04/1228.96 c Got one! Elapsed wall clock time (in seconds):1228.849 1232.04/1228.96 o 1472447 1233.54/1230.41 c cleaning 17419 clauses out of 34845 with flag 19201/4285395 1235.24/1232.15 c cleaning 11567 clauses out of 23427 with flag 50178/4291396 1237.24/1234.15 c cleaning 6997 clauses out of 18858 with flag 78438/4298394 1239.54/1236.45 c cleaning 7997 clauses out of 19862 with flag 112235/4306395 1242.14/1239.01 c cleaning 9007 clauses out of 20865 with flag 146371/4315395 1244.74/1241.65 c cleaning 9995 clauses out of 21857 with flag 183774/4325394 1247.86/1244.74 c cleaning 10996 clauses out of 22861 with flag 221592/4336394 1249.26/1246.17 c Got one! Elapsed wall clock time (in seconds):1246.054 1249.26/1246.17 o 1451333 1250.67/1247.59 c cleaning 9993 clauses out of 21878 with flag 19041/4346407 1252.36/1249.22 c cleaning 6007 clauses out of 17885 with flag 43694/4352407 1254.26/1251.15 c cleaning 6976 clauses out of 18878 with flag 69142/4359407 1256.26/1253.15 c cleaning 7993 clauses out of 19902 with flag 100744/4367407 1258.86/1255.74 c cleaning 8984 clauses out of 20909 with flag 136975/4376407 1261.46/1258.37 c cleaning 9987 clauses out of 21925 with flag 173645/4386407 1264.36/1261.25 c cleaning 10987 clauses out of 22938 with flag 217702/4397407 1267.66/1264.54 c cleaning 11961 clauses out of 23951 with flag 266311/4409407 1271.08/1267.96 c cleaning 12485 clauses out of 24990 with flag 314742/4422407 1274.98/1271.85 c cleaning 13247 clauses out of 26504 with flag 366196/4436407 1279.08/1275.92 c cleaning 14123 clauses out of 28258 with flag 427668/4451408 1283.38/1280.21 c cleaning 15061 clauses out of 30134 with flag 494910/4467407 1287.80/1284.66 c cleaning 16030 clauses out of 32073 with flag 567505/4484407 1292.30/1289.14 c cleaning 17016 clauses out of 34043 with flag 642257/4502407 1297.40/1294.25 c cleaning 18006 clauses out of 36027 with flag 729763/4521408 1303.20/1300.09 c cleaning 19001 clauses out of 38024 with flag 828183/4541411 1309.23/1306.09 c cleaning 19997 clauses out of 40019 with flag 919366/4562407 1315.54/1312.36 c cleaning 21008 clauses out of 42024 with flag 1014682/4584409 1322.08/1318.80 c cleaning 21997 clauses out of 44014 with flag 1109903/4607407 1329.07/1325.84 c cleaning 23003 clauses out of 46019 with flag 1231924/4631409 1333.47/1330.21 c Got one! Elapsed wall clock time (in seconds):1330.1 1333.47/1330.21 o 1450028 1335.10/1331.82 c cleaning 21658 clauses out of 43346 with flag 24790/4651739 1336.80/1333.57 c cleaning 13834 clauses out of 27686 with flag 55896/4657737 1338.50/1335.29 c cleaning 8556 clauses out of 20852 with flag 87204/4664737 1340.70/1337.46 c cleaning 7987 clauses out of 20296 with flag 119250/4672737 1343.00/1339.77 c cleaning 9008 clauses out of 21309 with flag 153248/4681737 1345.70/1342.40 c cleaning 9992 clauses out of 22301 with flag 192019/4691737 1348.61/1345.37 c cleaning 10985 clauses out of 23309 with flag 231325/4702737 1352.05/1348.75 c cleaning 11993 clauses out of 24324 with flag 282145/4714737 1355.54/1352.22 c cleaning 12657 clauses out of 25332 with flag 329506/4727738 1359.24/1355.95 c cleaning 13327 clauses out of 26675 with flag 392223/4741738 1361.54/1358.23 c Got one! Elapsed wall clock time (in seconds):1358.119 1361.54/1358.23 o 1447259 1362.95/1359.66 c cleaning 13147 clauses out of 26328 with flag 20345/4754718 1364.74/1361.40 c cleaning 6810 clauses out of 19181 with flag 45871/4760718 1366.54/1363.21 c cleaning 6985 clauses out of 19371 with flag 69005/4767718 1368.74/1365.47 c cleaning 7994 clauses out of 20386 with flag 98532/4775718 1371.16/1367.82 c cleaning 9006 clauses out of 21393 with flag 133847/4784719 1373.76/1370.45 c cleaning 9997 clauses out of 22389 with flag 173737/4794721 1376.76/1373.40 c cleaning 10988 clauses out of 23389 with flag 211628/4805718 1379.57/1376.25 c cleaning 12013 clauses out of 24403 with flag 249627/4817720 1382.87/1379.54 c cleaning 12687 clauses out of 25387 with flag 288694/4830718 1386.76/1383.40 c cleaning 13348 clauses out of 26700 with flag 334695/4844718 1390.96/1387.63 c cleaning 14158 clauses out of 28352 with flag 411038/4859718 1395.66/1392.35 c cleaning 15086 clauses out of 30194 with flag 486764/4875718 1401.10/1397.77 c cleaning 16049 clauses out of 32109 with flag 579146/4892719 1406.86/1403.46 c cleaning 17023 clauses out of 34059 with flag 680729/4910718 1412.46/1409.00 c cleaning 18007 clauses out of 36036 with flag 776184/4929718 1418.19/1414.79 c cleaning 18999 clauses out of 38029 with flag 868026/4949718 1424.28/1420.87 c cleaning 20011 clauses out of 40031 with flag 973320/4970719 1430.63/1427.18 c cleaning 20994 clauses out of 42020 with flag 1068884/4992719 1437.13/1433.67 c cleaning 21989 clauses out of 44026 with flag 1172080/5015719 1443.94/1440.46 c cleaning 23013 clauses out of 46036 with flag 1279629/5039718 1450.88/1447.32 c cleaning 24011 clauses out of 48025 with flag 1392813/5064720 1458.91/1455.38 c cleaning 24999 clauses out of 50012 with flag 1517124/5090718 1466.84/1463.27 c cleaning 25996 clauses out of 52013 with flag 1651201/5117718 1468.54/1464.92 c Got one! Elapsed wall clock time (in seconds):1464.802 1468.54/1464.92 o 1445360 1469.94/1466.40 c cleaning 18303 clauses out of 36631 with flag 26689/5128332 1471.64/1468.03 c cleaning 11242 clauses out of 24327 with flag 55592/5134331 1473.45/1469.82 c cleaning 7018 clauses out of 20085 with flag 83586/5141331 1475.58/1471.95 c cleaning 7994 clauses out of 21068 with flag 114879/5149332 1477.57/1473.98 c cleaning 8991 clauses out of 22075 with flag 146145/5158333 1479.98/1476.34 c cleaning 10010 clauses out of 23084 with flag 179701/5168333 1482.87/1479.29 c cleaning 10993 clauses out of 24073 with flag 222411/5179332 1484.38/1480.79 c Got one! Elapsed wall clock time (in seconds):1480.678 1484.38/1480.79 o 1437866 1485.88/1482.25 c cleaning 10454 clauses out of 23543 with flag 17611/5189796 1487.48/1483.82 c cleaning 5988 clauses out of 19088 with flag 38694/5195795 1489.38/1485.71 c cleaning 7000 clauses out of 20100 with flag 64256/5202795 1491.38/1487.77 c cleaning 8006 clauses out of 21100 with flag 90322/5210795 1493.99/1490.35 c cleaning 8999 clauses out of 22096 with flag 121010/5219797 1496.79/1493.13 c cleaning 10003 clauses out of 23096 with flag 154297/5229796 1499.59/1495.93 c cleaning 10980 clauses out of 24092 with flag 194512/5240795 1502.69/1499.07 c cleaning 11985 clauses out of 25112 with flag 237329/5252795 1506.22/1502.57 c cleaning 12988 clauses out of 26128 with flag 286706/5265796 1509.92/1506.24 c cleaning 13564 clauses out of 27138 with flag 338755/5279795 1513.83/1510.12 c cleaning 14287 clauses out of 28576 with flag 392728/5294797 1517.93/1514.28 c cleaning 15136 clauses out of 30286 with flag 453235/5310795 1522.74/1519.02 c cleaning 16070 clauses out of 32151 with flag 516058/5327796 1527.54/1523.83 c cleaning 17031 clauses out of 34080 with flag 586816/5345795 1533.14/1529.44 c cleaning 18022 clauses out of 36050 with flag 667482/5364796 1539.15/1535.48 c cleaning 18997 clauses out of 38030 with flag 761519/5384798 1545.48/1541.70 c cleaning 20003 clauses out of 40031 with flag 854676/5405796 1551.81/1548.05 c cleaning 21000 clauses out of 42027 with flag 953135/5427795 1558.16/1554.34 c cleaning 22008 clauses out of 44027 with flag 1053900/5450795 1564.96/1561.16 c cleaning 23008 clauses out of 46019 with flag 1161075/5474795 1572.12/1568.28 c cleaning 23995 clauses out of 48010 with flag 1277767/5499795 1579.73/1575.81 c cleaning 24999 clauses out of 50015 with flag 1404340/5525795 1588.38/1584.46 c cleaning 26005 clauses out of 52016 with flag 1559467/5552795 1596.78/1592.75 c cleaning 26991 clauses out of 54012 with flag 1691196/5580796 1605.44/1601.33 c cleaning 28007 clauses out of 56021 with flag 1828952/5609796 1614.40/1610.22 c cleaning 29007 clauses out of 58013 with flag 1985055/5639796 1623.96/1619.71 c cleaning 29998 clauses out of 60009 with flag 2133034/5670799 1633.31/1629.04 c cleaning 30993 clauses out of 62008 with flag 2295233/5702797 1644.11/1639.73 c cleaning 32000 clauses out of 64014 with flag 2501755/5735796 1655.36/1650.80 c cleaning 32993 clauses out of 66014 with flag 2700068/5769796 1665.07/1660.47 c Got one! Elapsed wall clock time (in seconds):1660.361 1665.07/1660.47 o 1429341 1666.77/1662.16 c cleaning 34637 clauses out of 69293 with flag 27845/5806068 1668.41/1663.77 c cleaning 20297 clauses out of 40654 with flag 60605/5812066 1670.21/1665.56 c cleaning 12776 clauses out of 27358 with flag 92937/5819067 1672.33/1667.66 c cleaning 7985 clauses out of 22580 with flag 121633/5827066 1674.72/1670.03 c cleaning 8977 clauses out of 23595 with flag 162269/5836066 1677.24/1672.58 c cleaning 10022 clauses out of 24617 with flag 199503/5846066 1680.04/1675.36 c cleaning 10985 clauses out of 25596 with flag 234156/5857067 1682.96/1678.20 c cleaning 11992 clauses out of 26610 with flag 276293/5869066 1685.96/1681.27 c cleaning 12966 clauses out of 27617 with flag 317320/5882066 1689.59/1684.82 c cleaning 13994 clauses out of 28651 with flag 363318/5896066 1693.39/1688.70 c cleaning 14818 clauses out of 29657 with flag 422646/5911066 1697.82/1693.04 c cleaning 15414 clauses out of 30839 with flag 490370/5927066 1702.12/1697.31 c cleaning 16209 clauses out of 32427 with flag 577970/5944068 1707.15/1702.34 c cleaning 17095 clauses out of 34216 with flag 651656/5962066 1711.98/1707.17 c cleaning 18061 clauses out of 36121 with flag 725206/5981066 1716.82/1711.94 c cleaning 19022 clauses out of 38060 with flag 804676/6001067 1722.14/1717.28 c cleaning 20016 clauses out of 40037 with flag 887263/6022067 1722.94/1718.03 c Got one! Elapsed wall clock time (in seconds):1717.914 1722.94/1718.03 o 1427109 1723.44/1718.54 c cleaning 10330 clauses out of 25224 with flag 7261/6027271 1724.84/1719.93 c cleaning 5990 clauses out of 20896 with flag 27034/6033273 1726.44/1721.52 c cleaning 7005 clauses out of 21903 with flag 49023/6040271 1728.24/1723.34 c cleaning 7987 clauses out of 22900 with flag 76221/6048273 1729.54/1724.62 c Got one! Elapsed wall clock time (in seconds):1724.507 1729.54/1724.62 o 1416770 1730.66/1725.77 c cleaning 11038 clauses out of 25950 with flag 15000/6059310 1731.97/1727.09 c cleaning 5991 clauses out of 20911 with flag 33154/6065310 1733.66/1728.70 c cleaning 7001 clauses out of 21920 with flag 55408/6072310 1735.37/1730.48 c cleaning 7990 clauses out of 22921 with flag 78388/6080312 1737.37/1732.48 c Got one! Elapsed wall clock time (in seconds):1732.365 1737.37/1732.48 o 1404585 1738.68/1733.71 c cleaning 13790 clauses out of 28755 with flag 16392/6094138 1740.00/1735.03 c cleaning 5986 clauses out of 20965 with flag 35573/6100138 1741.40/1736.48 c cleaning 7012 clauses out of 21977 with flag 56066/6107138 1743.00/1738.07 c cleaning 7988 clauses out of 22965 with flag 79932/6115138 1744.79/1739.89 c cleaning 8986 clauses out of 23976 with flag 105497/6124138 1746.34/1741.32 c Got one! Elapsed wall clock time (in seconds):1741.205 1746.34/1741.32 o 1403492 1747.33/1742.35 c cleaning 12558 clauses out of 27556 with flag 14619/6136705 1748.43/1743.42 c cleaning 5981 clauses out of 20994 with flag 31250/6142702 1749.74/1744.77 c cleaning 6962 clauses out of 22014 with flag 50627/6149705 1750.43/1745.42 c Got one! Elapsed wall clock time (in seconds):1745.31 1750.43/1745.42 o 1396365 1750.83/1745.81 c cleaning 5516 clauses out of 20613 with flag 5789/6155271 1750.83/1745.86 c starts : 5020 1750.83/1745.86 c conflicts : 6155491 1750.83/1745.86 c decisions : 15029719 1750.83/1745.86 c propagations : 1921467042 1750.83/1745.86 c inspects : 9686586301 1750.83/1745.86 c shortcuts : 0 1750.83/1745.86 c learnt literals : 54 1750.83/1745.86 c learnt binary clauses : 240 1750.83/1745.86 c learnt ternary clauses : 710 1750.83/1745.86 c learnt constraints : 6155436 1750.83/1745.86 c ignored constraints : 0 1750.83/1745.86 c root simplifications : 0 1750.83/1745.86 c removed literals (reason simplification) : 0 1750.83/1745.86 c reason swapping (by a shorter reason) : 0 1750.83/1745.86 c Calls to reduceDB : 469 1750.83/1745.86 c Number of update (reduction) of LBD : 2395220 1750.83/1745.86 c Imported unit clauses : 0 1750.83/1745.86 c number of reductions to clauses (during analyze) : 0 1750.83/1745.86 c number of learned constraints concerned by reduction : 0 1750.83/1745.86 c number of learning phase by resolution : 0 1750.83/1745.86 c number of learning phase by cutting planes : 0 1750.83/1745.86 c speed (assignments/second) : 1100892.5558562872 1750.83/1745.86 c non guided choices 14565 1750.83/1745.86 c learnt constraints type 1750.83/1745.86 s OPTIMUM FOUND 1750.83/1745.86 c Found 61 solution(s) 1750.83/1745.87 v -x1 -x2 -x3 -x4 -x5 -x6 x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 x237 -x238 -x239 x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 x288 -x289 x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 x1024 -x1025 x1026 -x1027 x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 x6168 -x6169 x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 x6229 -x6230 x6231 -x6232 x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 x6342 -x6343 -x6344 x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8549 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x8560 -x8561 -x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 -x8581 -x8582 -x8583 -x8584 -x8585 -x8586 -x8587 -x8588 -x8589 -x8590 -x8591 -x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 -x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 -x8650 -x8651 -x8652 -x8653 -x8654 -x8655 -x8656 -x8657 -x8658 -x8659 -x8660 -x8661 -x8662 -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 -x8670 -x8671 -x8672 -x8673 -x8674 -x8675 -x8676 -x8677 -x8678 -x8679 -x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 -x8689 -x8690 -x8691 -x8692 -x8693 -x8694 -x8695 -x8696 -x8697 -x8698 -x8699 -x8700 -x8701 -x8702 -x8703 -x8704 -x8705 -x8706 -x8707 -x8708 -x8709 -x8710 -x8711 -x8712 -x8713 -x8714 -x8715 -x8716 -x8717 -x8718 -x8719 -x8720 -x8721 -x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8728 -x8729 -x8730 -x8731 -x8732 -x8733 -x8734 -x8735 -x8736 -x8737 -x8738 -x8739 -x8740 -x8741 -x8742 -x8743 -x8744 -x8745 -x8746 -x8747 -x8748 -x8749 -x8750 -x8751 -x8752 -x8753 -x8754 -x8755 -x8756 -x8757 -x8758 -x8759 -x8760 -x8761 -x8762 -x8763 -x8764 -x8765 -x8766 -x8767 -x8768 -x8769 -x8770 -x8771 -x8772 -x8773 -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 -x8780 -x8781 -x8782 -x8783 -x8784 -x8785 -x8786 -x8787 -x8788 -x8789 -x8790 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8799 -x8800 -x8801 -x8802 -x8803 -x8804 -x8805 -x8806 -x8807 -x8808 -x8809 -x8810 -x8811 -x8812 -x8813 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 -x8820 -x8821 -x8822 -x8823 -x8824 -x8825 -x8826 -x8827 -x8828 -x8829 -x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 -x8839 -x8840 -x8841 -x8842 -x8843 -x8844 -x8845 -x8846 -x8847 -x8848 -x8849 -x8850 -x8851 -x8852 -x8853 -x8854 -x8855 -x8856 -x8857 -x8858 -x8859 -x8860 -x8861 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 -x8868 -x8869 -x8870 -x8871 -x8872 -x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x8880 -x8881 -x8882 -x8883 -x8884 -x8885 -x8886 -x8887 -x8888 -x8889 -x8890 -x8891 -x8892 -x8893 -x8894 -x8895 -x8896 -x8897 -x8898 -x8899 -x8900 -x8901 -x8902 -x8903 -x8904 -x8905 -x8906 -x8907 -x8908 -x8909 -x8910 -x8911 -x8912 -x8913 -x8914 -x8915 -x8916 -x8917 -x8918 -x8919 -x8920 -x8921 -x8922 -x8923 -x8924 -x8925 -x8926 -x8927 x8928 -x8929 -x8930 -x8931 -x8932 -x8933 -x8934 -x8935 -x8936 -x8937 -x8938 -x8939 -x8940 -x8941 -x8942 -x8943 -x8944 -x8945 -x8946 -x8947 -x8948 -x8949 -x8950 -x8951 -x8952 -x8953 -x8954 -x8955 -x8956 -x8957 -x8958 -x8959 -x8960 -x8961 -x8962 -x8963 -x8964 -x8965 -x8966 x8967 -x8968 -x8969 -x8970 -x8971 -x8972 -x8973 -x8974 -x8975 -x8976 -x8977 -x8978 x8979 -x8980 -x8981 -x8982 -x8983 -x8984 -x8985 -x8986 -x8987 -x8988 -x8989 -x8990 -x8991 -x8992 -x8993 -x8994 -x8995 -x8996 -x8997 -x8998 -x8999 -x9000 -x9001 -x9002 -x9003 -x9004 -x9005 -x9006 -x9007 -x9008 -x9009 -x9010 -x9011 -x9012 -x9013 -x9014 -x9015 -x9016 -x9017 -x9018 -x9019 -x9020 -x9021 -x9022 -x9023 -x9024 -x9025 -x9026 -x9027 -x9028 -x9029 -x9030 -x9031 -x9032 -x9033 -x9034 -x9035 -x9036 -x9037 -x9038 -x9039 -x9040 -x9041 -x9042 -x9043 -x9044 -x9045 -x9046 -x9047 -x9048 -x9049 -x9050 -x9051 -x9052 -x9053 -x9054 -x9055 -x9056 -x9057 -x9058 -x9059 -x9060 -x9061 -x9062 -x9063 -x9064 -x9065 -x9066 -x9067 -x9068 -x9069 -x9070 -x9071 -x9072 -x9073 -x9074 -x9075 -x9076 -x9077 -x9078 -x9079 -x9080 -x9081 -x9082 -x9083 -x9084 -x9085 -x9086 -x9087 -x9088 -x9089 -x9090 -x9091 -x9092 -x9093 -x9094 -x9095 -x9096 -x9097 -x9098 -x9099 -x9100 -x9101 -x9102 -x9103 -x9104 -x9105 -x9106 -x9107 -x9108 -x9109 -x9110 -x9111 -x9112 -x9113 -x9114 -x9115 -x9116 -x9117 -x9118 -x9119 -x9120 -x9121 -x9122 -x9123 -x9124 -x9125 -x9126 -x9127 -x9128 -x9129 -x9130 -x9131 -x9132 -x9133 -x9134 -x9135 -x9136 -x9137 -x9138 -x9139 -x9140 -x9141 -x9142 -x9143 -x9144 -x9145 -x9146 -x9147 -x9148 -x9149 -x9150 -x9151 -x9152 -x9153 -x9154 -x9155 -x9156 -x9157 -x9158 -x9159 -x9160 -x9161 -x9162 -x9163 -x9164 -x9165 -x9166 -x9167 -x9168 -x9169 -x9170 -x9171 -x9172 -x9173 -x9174 -x9175 -x9176 -x9177 -x9178 -x9179 -x9180 -x9181 -x9182 -x9183 -x9184 -x9185 -x9186 -x9187 -x9188 -x9189 -x9190 -x9191 -x9192 -x9193 -x9194 -x9195 -x9196 -x9197 -x9198 -x9199 -x9200 -x9201 -x9202 -x9203 -x9204 -x9205 -x9206 -x9207 -x9208 -x9209 -x9210 -x9211 -x9212 -x9213 -x9214 -x9215 -x9216 -x9217 -x9218 -x9219 -x9220 -x9221 -x9222 -x9223 -x9224 -x9225 -x9226 -x9227 -x9228 -x9229 -x9230 -x9231 -x9232 -x9233 -x9234 -x9235 -x9236 -x9237 -x9238 -x9239 -x9240 -x9241 -x9242 -x9243 -x9244 -x9245 -x9246 -x9247 -x9248 -x9249 -x9250 -x9251 -x9252 -x9253 -x9254 -x9255 -x9256 -x9257 -x9258 -x9259 -x9260 -x9261 -x9262 -x9263 -x9264 -x9265 -x9266 -x9267 -x9268 -x9269 -x9270 -x9271 -x9272 -x9273 -x9274 -x9275 -x9276 -x9277 -x9278 -x9279 -x9280 -x9281 -x9282 -x9283 -x9284 -x9285 -x9286 -x9287 -x9288 -x9289 -x9290 -x9291 -x9292 -x9293 -x9294 -x9295 -x9296 -x9297 -x9298 -x9299 -x9300 -x9301 -x9302 -x9303 -x9304 -x9305 -x9306 -x9307 -x9308 x9309 -x9310 -x9311 -x9312 -x9313 -x9314 -x9315 -x9316 -x9317 -x9318 -x9319 -x9320 -x9321 -x9322 -x9323 -x9324 -x9325 -x9326 -x9327 x9328 -x9329 -x9330 -x9331 -x9332 -x9333 -x9334 -x9335 -x9336 -x9337 -x9338 -x9339 -x9340 -x9341 -x9342 -x9343 -x9344 -x9345 -x9346 -x9347 -x9348 -x9349 -x9350 -x9351 -x9352 -x9353 -x9354 -x9355 x9356 -x9357 -x9358 -x9359 -x9360 -x9361 x9362 -x9363 -x9364 -x9365 -x9366 -x9367 -x9368 -x9369 -x9370 -x9371 -x9372 -x9373 -x9374 -x9375 -x9376 -x9377 -x9378 -x9379 -x9380 -x9381 -x9382 -x9383 -x9384 -x9385 -x9386 -x9387 -x9388 -x9389 -x9390 -x9391 -x9392 -x9393 -x9394 -x9395 -x9396 -x9397 -x9398 -x9399 -x9400 -x9401 -x9402 -x9403 -x9404 -x9405 -x9406 -x9407 -x9408 -x9409 -x9410 -x9411 -x9412 -x9413 -x9414 -x9415 -x9416 -x9417 -x9418 x9419 -x9420 -x9421 -x9422 -x9423 -x9424 -x9425 -x9426 -x9427 -x9428 -x9429 -x9430 -x9431 -x9432 -x9433 -x9434 -x9435 -x9436 -x9437 -x9438 -x9439 -x9440 -x9441 -x9442 -x9443 -x9444 -x9445 -x9446 -x9447 -x9448 -x9449 -x9450 -x9451 -x9452 -x9453 -x9454 -x9455 -x9456 -x9457 -x9458 -x9459 -x9460 -x9461 -x9462 -x9463 -x9464 -x9465 -x9466 -x9467 -x9468 -x9469 -x9470 -x9471 -x9472 -x9473 -x9474 -x9475 -x9476 -x9477 -x9478 -x9479 -x9480 -x9481 -x9482 -x9483 -x9484 -x9485 -x9486 -x9487 -x9488 -x9489 -x9490 -x9491 -x9492 -x9493 -x9494 -x9495 -x9496 -x9497 -x9498 -x9499 -x9500 -x9501 -x9502 -x9503 -x9504 -x9505 -x9506 -x9507 -x9508 -x9509 -x9510 -x9511 -x9512 -x9513 -x9514 -x9515 -x9516 -x9517 -x9518 -x9519 x9520 -x9521 -x9522 -x9523 -x9524 -x9525 -x9526 -x9527 -x9528 -x9529 -x9530 -x9531 -x9532 -x9533 -x9534 x9535 x9536 -x9537 -x9538 x9539 -x9540 -x9541 -x9542 -x9543 -x9544 -x9545 -x9546 x9547 -x9548 -x9549 -x9550 -x9551 -x9552 -x9553 x9554 -x9555 -x9556 -x9557 -x9558 -x9559 -x9560 -x9561 x9562 -x9563 -x9564 -x9565 -x9566 -x9567 -x9568 x9569 -x9570 -x9571 -x9572 -x9573 -x9574 -x9575 -x9576 -x9577 -x9578 -x9579 -x9580 -x9581 -x9582 -x9583 -x9584 -x9585 -x9586 -x9587 -x9588 -x9589 -x9590 -x9591 -x9592 -x9593 -x9594 -x9595 -x9596 -x9597 -x9598 -x9599 -x9600 -x9601 -x9602 -x9603 -x9604 -x9605 -x9606 x9607 -x9608 -x9609 x9610 x9611 -x9612 -x9613 -x9614 -x9615 -x9616 -x9617 -x9618 -x9619 -x9620 -x9621 -x9622 -x9623 -x9624 -x9625 -x9626 -x9627 -x9628 -x9629 -x9630 -x9631 -x9632 -x9633 -x9634 -x9635 -x9636 -x9637 -x9638 -x9639 -x9640 -x9641 -x9642 -x9643 -x9644 -x9645 -x9646 -x9647 -x9648 -x9649 -x9650 -x9651 -x9652 -x9653 -x9654 -x9655 -x9656 -x9657 -x9658 -x9659 -x9660 -x9661 -x9662 -x9663 -x9664 -x9665 -x9666 -x9667 -x9668 -x9669 -x9670 -x9671 -x9672 -x9673 -x9674 -x9675 -x9676 -x9677 -x9678 -x9679 -x9680 -x9681 -x9682 -x9683 -x9684 -x9685 -x9686 -x9687 -x9688 -x9689 -x9690 -x9691 -x9692 -x9693 -x9694 -x9695 -x9696 -x9697 -x9698 -x9699 -x9700 -x9701 -x9702 -x9703 -x9704 -x9705 -x9706 -x9707 -x9708 -x9709 -x9710 -x9711 -x9712 -x9713 -x9714 -x9715 -x9716 -x9717 -x9718 -x9719 -x9720 -x9721 -x9722 -x9723 -x9724 -x9725 -x9726 -x9727 -x9728 -x9729 x9730 x9731 -x9732 -x9733 x9734 -x9735 -x9736 -x9737 -x9738 -x9739 -x9740 -x9741 -x9742 -x9743 -x9744 -x9745 -x9746 -x9747 -x9748 -x9749 -x9750 -x9751 -x9752 -x9753 -x9754 -x9755 -x9756 -x9757 -x9758 -x9759 -x9760 -x9761 -x9762 -x9763 -x9764 -x9765 1750.83/1745.88 c objective function=1396365 1750.83/1745.88 c Total wall clock time (in seconds): 1745.765
OK 1396365
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-4085074-1465327398/watcher-4085074-1465327398 -o /tmp/evaluation-result-4085074-1465327398/solver-4085074-1465327398 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1465307012-13026 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4085074-1465327398.opb pid=15219 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.16 2.17 2.17 3/194 15222 /proc/meminfo: memFree=28465436/32872528 swapFree=16384/1696552 [pid=15222] ppid=15219 vsize=272 CPUtime=0 cores=1,3,5,7 /proc/15222/stat : 15222 (java) R 15219 15222 13009 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 114672856 278528 33 33554432000 1073741824 1073778376 140736252810304 140735727887656 270698376487 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/15222/statm: 68 33 25 9 0 25 0 [startup+0.100165 s] /proc/loadavg: 2.16 2.17 2.17 3/194 15222 /proc/meminfo: memFree=28465436/32872528 swapFree=16384/1696552 [pid=15222] ppid=15219 vsize=9558476 CPUtime=0.09 cores=1,3,5,7 /proc/15222/stat : 15222 (java) S 15219 15222 13009 0 -1 4202496 4393 0 1 0 8 1 0 0 20 0 18 0 114672856 9787879424 6028 33554432000 1073741824 1073778376 140736252810304 140736252801440 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/15222/statm: 2389619 6028 2125 9 0 2380296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558476 [startup+0.200232 s] /proc/loadavg: 2.16 2.17 2.17 3/194 15222 /proc/meminfo: memFree=28465436/32872528 swapFree=16384/1696552 [pid=15222] ppid=15219 vsize=9558476 CPUtime=0.29 cores=1,3,5,7 /proc/15222/stat : 15222 (java) S 15219 15222 13009 0 -1 4202496 5054 0 1 0 28 1 0 0 20 0 18 0 114672856 9787879424 7000 33554432000 1073741824 1073778376 140736252810304 140736252801440 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/15222/statm: 2389619 7000 2221 9 0 2380296 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 9558476 [startup+0.30024 s] /proc/loadavg: 2.16 2.17 2.17 3/194 15222 /proc/meminfo: memFree=28465436/32872528 swapFree=16384/1696552 [pid=15222] ppid=15219 vsize=9558476 CPUtime=0.5 cores=1,3,5,7 /proc/15222/stat : 15222 (java) S 15219 15222 13009 0 -1 4202496 5790 0 1 0 49 1 0 0 20 0 18 0 114672856 9787879424 9966 33554432000 1073741824 1073778376 140736252810304 140736252801440 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/15222/statm: 2389619 9966 2235 9 0 2380296 0 Current children cumulated CPU time (s) 0.5 Current children cumulated vsize (KiB) 9558476 [startup+0.700193 s] /proc/loadavg: 2.16 2.17 2.17 3/194 15222 /proc/meminfo: memFree=28465436/32872528 swapFree=16384/1696552 [pid=15222] ppid=15219 vsize=9625040 CPUtime=1.36 cores=1,3,5,7 /proc/15222/stat : 15222 (java) S 15219 15222 13009 0 -1 4202496 9757 0 1 0 133 3 0 0 20 0 19 0 114672856 9856040960 23471 33554432000 1073741824 1073778376 140736252810304 140736252801440 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/15222/statm: 2406260 23471 2264 9 0 2396937 0 Current children cumulated CPU time (s) 1.36 Current children cumulated vsize (KiB) 9625040 [startup+1.50074 s] /proc/loadavg: 2.15 2.16 2.17 3/213 15241 /proc/meminfo: memFree=28380400/32872528 swapFree=16384/1696552 [pid=15222] ppid=15219 vsize=9625040 CPUtime=2.24 cores=1,3,5,7 /proc/15222/stat : 15222 (java) S 15219 15222 13009 0 -1 4202496 10173 0 1 0 221 3 0 0 20 0 19 0 114672856 9856040960 23962 33554432000 1073741824 1073778376 140736252810304 140736252801440 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/15222/statm: 2406260 23962 2268 9 0 2396937 0 [pid=15222/tid=15224] ppid=15219 vsize=9625040 CPUtime=1.47 cores=1,3,5,7 /proc/15222/task/15224/stat : 15224 (java) R 15219 15222 13009 0 -1 4202560 2436 0 1 0 145 2 0 0 20 0 19 0 114672857 9856040960 23962 33554432000 1073741824 1073778376 140736252810304 140003751620584 140003602719757 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=15222/tid=15225] ppid=15219 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/15222/task/15225/stat : 15225 (java) S 15219 15222 13009 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114672858 9856040960 23962 33554432000 1073741824 1073778376 140736252810304 140003724073256 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=15222/tid=15226] ppid=15219 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/15222/task/15226/stat : 15226 (java) S 15219 15222 13009 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114672858 9856040960 23962 33554432000 1073741824 1073778376 140736252810304 140003723020456 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=15222/tid=15227] ppid=15219 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/15222/task/15227/stat : 15227 (java) S 15219 15222 13009 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114672858 9856040960 23962 33554432000 1073741824 1073778376 140736252810304 140003721968168 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=15222/tid=15228] ppid=15219 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/15222/task/15228/stat : 15228 (java) S 15219 15222 13009 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114672858 9856040960 23962 33554432000 1073741824 1073778376 140736252810304 140003591629224 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=15222/tid=15229] ppid=15219 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/15222/task/15229/stat : 15229 (java) S 15219 15222 13009 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114672858 9856040960 23962 33554432000 1073741824 1073778376 140736252810304 140003590576936 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=15222/tid=15230] ppid=15219 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/15222/task/15230/stat : 15230 (java) S 15219 15222 13009 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114672858 9856040960 23962 33554432000 1073741824 1073778376 140736252810304 140003589524136 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=15222/tid=15231] ppid=15219 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/15222/task/15231/stat : 15231 (java) S 15219 15222 13009 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114672858 9856040960 23962 33554432000 1073741824 1073778376 140736252810304 140003588471848 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=15222/tid=15232] ppid=15219 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/15222/task/15232/stat : 15232 (java) S 15219 15222 13009 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 114672858 9856040960 23962 33554432000 1073741824 1073778376 140736252810304 140003587419048 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=15222/tid=15233] ppid=15219 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/15222/task/15233/stat : 15233 (java) S 15219 15222 13009 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 114672859 9856040960 23962 33554432000 1073741824 1073778376 140736252810304 140003104905448 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=15222/tid=15234] ppid=15219 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/15222/task/15234/stat : 15234 (java) S 15219 15222 13009 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 114672860 9856040960 23962 33554432000 1073741824 1073778376 140736252810304 140003103851512 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=15222/tid=15235] ppid=15219 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/15222/task/15235/stat : 15235 (java) S 15219 15222 13009 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 114672860 9856040960 23962 33554432000 1073741824 1073778376 140736252810304 140003102799112 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=15222/tid=15236] ppid=15219 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/15222/task/15236/stat : 15236 (java) S 15219 15222 13009 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114672862 9856040960 23962 33554432000 1073741824 1073778376 140736252810304 140003101747600 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=15222/tid=15237] ppid=15219 vsize=9625040 CPUtime=0.39 cores=1,3,5,7 /proc/15222/task/15237/stat : 15237 (java) R 15219 15222 13009 0 -1 4202560 3399 0 0 0 39 0 0 0 20 0 19 0 114672862 9856040960 23962 33554432000 1073741824 1073778376 140736252810304 140003100695224 140003754283104 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=15222/tid=15238] ppid=15219 vsize=9625040 CPUtime=0.36 cores=1,3,5,7 /proc/15222/task/15238/stat : 15238 (java) R 15219 15222 13009 0 -1 4202560 3062 0 0 0 36 0 0 0 20 0 19 0 114672862 9856040960 23962 33554432000 1073741824 1073778376 140736252810304 140003099642304 140003754207722 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 [pid=15222/tid=15239] ppid=15219 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/15222/task/15239/stat : 15239 (java) S 15219 15222 13009 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114672862 9856040960 23962 33554432000 1073741824 1073778376 140736252810304 140003098590328 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=15222/tid=15240] ppid=15219 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/15222/task/15240/stat : 15240 (java) S 15219 15222 13009 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114672862 9856040960 23962 33554432000 1073741824 1073778376 140736252810304 140003097537736 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=15222/tid=15241] ppid=15219 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/15222/task/15241/stat : 15241 (java) S 15219 15222 13009 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 114672905 9856040960 23962 33554432000 1073741824 1073778376 140736252810304 140003096482728 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 2.24 Current children cumulated vsize (KiB) 9625040 [startup+3.10066 s] /proc/loadavg: 2.15 2.16 2.17 3/213 15241 /proc/meminfo: memFree=28369436/32872528 swapFree=16384/1696552 [pid=15222] ppid=15219 vsize=9625040 CPUtime=4.32 cores=1,3,5,7 /proc/15222/stat : 15222 (java) S 15219 15222 13009 0 -1 4202496 13977 0 1 0 427 5 0 0 20 0 19 0 114672856 9856040960 26539 33554432000 1073741824 1073778376 140736252810304 140736252801440 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/15222/statm: 2406260 26539 2274 9 0 2396937 0 [pid=15222/tid=15224] ppid=15219 vsize=9625040 CPUtime=3.06 cores=1,3,5,7 /proc/15222/task/15224/stat : 15224 (java) R 15219 15222 13009 0 -1 4202560 2444 0 1 0 304 2 0 0 20 0 19 0 114672857 9856040960 26539 33554432000 1073741824 1073778376 140736252810304 140003751618264 140003603144791 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=15222/tid=15225] ppid=15219 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/15222/task/15225/stat : 15225 (java) S 15219 15222 13009 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114672858 9856040960 26539 33554432000 1073741824 1073778376 140736252810304 140003724073256 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=15222/tid=15226] ppid=15219 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/15222/task/15226/stat : 15226 (java) S 15219 15222 13009 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114672858 9856040960 26539 33554432000 1073741824 1073778376 140736252810304 140003723020456 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=15222/tid=15227] ppid=15219 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/15222/task/15227/stat : 15227 (java) S 15219 15222 13009 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114672858 9856040960 26539 33554432000 1073741824 1073778376 140736252810304 140003721968168 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=15222/tid=15228] ppid=15219 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/15222/task/15228/stat : 15228 (java) S 15219 15222 13009 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114672858 9856040960 26539 33554432000 1073741824 1073778376 140736252810304 140003591629224 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=15222/tid=15229] ppid=15219 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/15222/task/15229/stat : 15229 (java) S 15219 15222 13009 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114672858 9856040960 26539 33554432000 1073741824 1073778376 140736252810304 140003590576936 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=15222/tid=15230] ppid=15219 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/15222/task/15230/stat : 15230 (java) S 15219 15222 13009 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114672858 9856040960 26539 33554432000 1073741824 1073778376 140736252810304 140003589524136 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=15222/tid=15231] ppid=15219 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/15222/task/15231/stat : 15231 (java) S 15219 15222 13009 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114672858 9856040960 26539 33554432000 1073741824 1073778376 140736252810304 140003588471848 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=15222/tid=15232] ppid=15219 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/15222/task/15232/stat : 15232 (java) S 15219 15222 13009 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 114672858 9856040960 26539 33554432000 1073741824 1073778376 140736252810304 140003587419048 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=15222/tid=15233] ppid=15219 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/15222/task/15233/stat : 15233 (java) S 15219 15222 13009 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 114672859 9856040960 26539 33554432000 1073741824 1073778376 140736252810304 140003104905448 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=15222/tid=15234] ppid=15219 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/15222/task/15234/stat : 15234 (java) S 15219 15222 13009 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 114672860 9856040960 26539 33554432000 1073741824 1073778376 140736252810304 140003103851512 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=15222/tid=15235] ppid=15219 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/15222/task/15235/stat : 15235 (java) S 15219 15222 13009 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 114672860 9856040960 26539 33554432000 1073741824 1073778376 140736252810304 140003102799112 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=15222/tid=15236] ppid=15219 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/15222/task/15236/stat : 15236 (java) S 15219 15222 13009 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114672862 9856040960 26539 33554432000 1073741824 1073778376 140736252810304 140003101747600 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=15222/tid=15237] ppid=15219 vsize=9625040 CPUtime=0.57 cores=1,3,5,7 /proc/15222/task/15237/stat : 15237 (java) R 15219 15222 13009 0 -1 4202560 3412 0 0 0 55 2 0 0 20 0 19 0 114672862 9856040960 26539 33554432000 1073741824 1073778376 140736252810304 140003100695224 140003757763860 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=15222/tid=15238] ppid=15219 vsize=9625040 CPUtime=0.65 cores=1,3,5,7 /proc/15222/task/15238/stat : 15238 (java) R 15219 15222 13009 0 -1 4202560 6844 0 0 0 63 2 0 0 20 0 19 0 114672862 9856040960 26539 33554432000 1073741824 1073778376 140736252810304 140003099642600 140003754668891 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 [pid=15222/tid=15239] ppid=15219 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/15222/task/15239/stat : 15239 (java) S 15219 15222 13009 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114672862 9856040960 26539 33554432000 1073741824 1073778376 140736252810304 140003098590328 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=15222/tid=15240] ppid=15219 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/15222/task/15240/stat : 15240 (java) S 15219 15222 13009 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114672862 9856040960 26539 33554432000 1073741824 1073778376 140736252810304 140003097537736 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=15222/tid=15241] ppid=15219 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/15222/task/15241/stat : 15241 (java) S 15219 15222 13009 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 114672905 9856040960 26539 33554432000 1073741824 1073778376 140736252810304 140003096482728 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 4.32 Current children cumulated vsize (KiB) 9625040 [startup+6.30081 s] /proc/loadavg: 2.15 2.16 2.17 3/213 15241 /proc/meminfo: memFree=28359572/32872528 swapFree=16384/1696552 [pid=15222] ppid=15219 vsize=9625040 CPUtime=7.55 cores=1,3,5,7 /proc/15222/stat : 15222 (java) S 15219 15222 13009 0 -1 4202496 13984 0 1 0 750 5 0 0 20 0 19 0 114672856 9856040960 28431 33554432000 1073741824 1073778376 140736252810304 140736252801440 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/15222/statm: 2406260 28431 2274 9 0 2396937 0 [pid=15222/tid=15224] ppid=15219 vsize=9625040 CPUtime=6.26 cores=1,3,5,7 /proc/15222/task/15224/stat : 15224 (java) R 15219 15222 13009 0 -1 4202560 2451 0 1 0 624 2 0 0 20 0 19 0 114672857 9856040960 28431 33554432000 1073741824 1073778376 140736252810304 140003751620944 140003603232414 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=15222/tid=15225] ppid=15219 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/15222/task/15225/stat : 15225 (java) S 15219 15222 13009 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114672858 9856040960 28431 33554432000 1073741824 1073778376 140736252810304 140003724073256 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=15222/tid=15226] ppid=15219 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/15222/task/15226/stat : 15226 (java) S 15219 15222 13009 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114672858 9856040960 28431 33554432000 1073741824 1073778376 140736252810304 140003723020456 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=15222/tid=15227] ppid=15219 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/15222/task/15227/stat : 15227 (java) S 15219 15222 13009 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114672858 9856040960 28431 33554432000 1073741824 1073778376 140736252810304 140003721968168 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=15222/tid=15228] ppid=15219 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/15222/task/15228/stat : 15228 (java) S 15219 15222 13009 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114672858 9856040960 28431 33554432000 1073741824 1073778376 140736252810304 140003591629224 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=15222/tid=15229] ppid=15219 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/15222/task/15229/stat : 15229 (java) S 15219 15222 13009 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114672858 9856040960 28431 33554432000 1073741824 1073778376 140736252810304 140003590576936 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=15222/tid=15230] ppid=15219 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/15222/task/15230/stat : 15230 (java) S 15219 15222 13009 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114672858 9856040960 28431 33554432000 1073741824 1073778376 140736252810304 140003589524136 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=15222/tid=15231] ppid=15219 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/15222/task/15231/stat : 15231 (java) S 15219 15222 13009 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114672858 9856040960 28431 33554432000 1073741824 1073778376 140736252810304 140003588471848 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=15222/tid=15232] ppid=15219 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/15222/task/15232/stat : 15232 (java) S 15219 15222 13009 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 114672858 9856040960 28431 33554432000 1073741824 1073778376 140736252810304 140003587419048 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=15222/tid=15233] ppid=15219 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/15222/task/15233/stat : 15233 (java) S 15219 15222 13009 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 114672859 9856040960 28431 33554432000 1073741824 1073778376 140736252810304 140003104905448 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=15222/tid=15234] ppid=15219 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/15222/task/15234/stat : 15234 (java) S 15219 15222 13009 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 114672860 9856040960 28431 33554432000 1073741824 1073778376 140736252810304 140003103851512 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=15222/tid=15235] ppid=15219 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/15222/task/15235/stat : 15235 (java) S 15219 15222 13009 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 114672860 9856040960 28431 33554432000 1073741824 1073778376 140736252810304 140003102799112 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=15222/tid=15236] ppid=15219 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/15222/task/15236/stat : 15236 (java) S 15219 15222 13009 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114672862 9856040960 28431 33554432000 1073741824 1073778376 140736252810304 140003101747600 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=15222/tid=15237] ppid=15219 vsize=9625040 CPUtime=0.58 cores=1,3,5,7 /proc/15222/task/15237/stat : 15237 (java) S 15219 15222 13009 0 -1 4202560 3412 0 0 0 56 2 0 0 20 0 19 0 114672862 9856040960 28431 33554432000 1073741824 1073778376 140736252810304 140003100695224 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=15222/tid=15238] ppid=15219 vsize=9625040 CPUtime=0.67 cores=1,3,5,7 /proc/15222/task/15238/stat : 15238 (java) S 15219 15222 13009 0 -1 4202560 6844 0 0 0 65 2 0 0 20 0 19 0 114672862 9856040960 28431 33554432000 1073741824 1073778376 140736252810304 140003099642424 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=15222/tid=15239] ppid=15219 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/15222/task/15239/stat : 15239 (java) S 15219 15222 13009 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114672862 9856040960 28431 33554432000 1073741824 1073778376 140736252810304 140003098590328 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=15222/tid=15240] ppid=15219 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/15222/task/15240/stat : 15240 (java) S 15219 15222 13009 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114672862 9856040960 28431 33554432000 1073741824 1073778376 140736252810304 140003097537736 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=15222/tid=15241] ppid=15219 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/15222/task/15241/stat : 15241 (java) S 15219 15222 13009 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 114672905 9856040960 28431 33554432000 1073741824 1073778376 140736252810304 140003096482728 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 7.55 Current children cumulated vsize (KiB) 9625040 ################ # More data... # ################ [pid=15222/tid=15227] ppid=15219 vsize=9625040 CPUtime=0.56 cores=1,3,5,7 /proc/15222/task/15227/stat : 15227 (java) S 15219 15222 13009 0 -1 4202560 154 0 0 0 51 5 0 0 20 0 19 0 114672858 9856040960 74370 33554432000 1073741824 1073778376 140736252810304 140003721968168 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=15222/tid=15228] ppid=15219 vsize=9625040 CPUtime=0.72 cores=1,3,5,7 /proc/15222/task/15228/stat : 15228 (java) S 15219 15222 13009 0 -1 4202560 499 0 0 0 66 6 0 0 20 0 19 0 114672858 9856040960 74370 33554432000 1073741824 1073778376 140736252810304 140003591629224 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=15222/tid=15229] ppid=15219 vsize=9625040 CPUtime=0.64 cores=1,3,5,7 /proc/15222/task/15229/stat : 15229 (java) S 15219 15222 13009 0 -1 4202560 539 0 0 0 59 5 0 0 20 0 19 0 114672858 9856040960 74370 33554432000 1073741824 1073778376 140736252810304 140003590576936 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=15222/tid=15230] ppid=15219 vsize=9625040 CPUtime=0.69 cores=1,3,5,7 /proc/15222/task/15230/stat : 15230 (java) S 15219 15222 13009 0 -1 4202560 218 0 0 0 61 8 0 0 20 0 19 0 114672858 9856040960 74370 33554432000 1073741824 1073778376 140736252810304 140003589524136 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=15222/tid=15231] ppid=15219 vsize=9625040 CPUtime=0.58 cores=1,3,5,7 /proc/15222/task/15231/stat : 15231 (java) S 15219 15222 13009 0 -1 4202560 172 0 0 0 54 4 0 0 20 0 19 0 114672858 9856040960 74370 33554432000 1073741824 1073778376 140736252810304 140003588471848 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=15222/tid=15232] ppid=15219 vsize=9625040 CPUtime=0.62 cores=1,3,5,7 /proc/15222/task/15232/stat : 15232 (java) S 15219 15222 13009 0 -1 4202560 335 0 0 0 56 6 0 0 20 0 19 0 114672858 9856040960 74370 33554432000 1073741824 1073778376 140736252810304 140003587419048 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=15222/tid=15233] ppid=15219 vsize=9625040 CPUtime=0.29 cores=1,3,5,7 /proc/15222/task/15233/stat : 15233 (java) S 15219 15222 13009 0 -1 4202560 287 0 0 0 27 2 0 0 20 0 19 0 114672859 9856040960 74370 33554432000 1073741824 1073778376 140736252810304 140003104905448 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=15222/tid=15234] ppid=15219 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/15222/task/15234/stat : 15234 (java) S 15219 15222 13009 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 114672860 9856040960 74370 33554432000 1073741824 1073778376 140736252810304 140003103851512 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=15222/tid=15235] ppid=15219 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/15222/task/15235/stat : 15235 (java) S 15219 15222 13009 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 114672860 9856040960 74370 33554432000 1073741824 1073778376 140736252810304 140003102799112 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=15222/tid=15236] ppid=15219 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/15222/task/15236/stat : 15236 (java) S 15219 15222 13009 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114672862 9856040960 74370 33554432000 1073741824 1073778376 140736252810304 140003101747600 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=15222/tid=15237] ppid=15219 vsize=9625040 CPUtime=0.7 cores=1,3,5,7 /proc/15222/task/15237/stat : 15237 (java) S 15219 15222 13009 0 -1 4202560 3430 0 0 0 68 2 0 0 20 0 19 0 114672862 9856040960 74370 33554432000 1073741824 1073778376 140736252810304 140003100695224 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=15222/tid=15238] ppid=15219 vsize=9625040 CPUtime=0.72 cores=1,3,5,7 /proc/15222/task/15238/stat : 15238 (java) S 15219 15222 13009 0 -1 4202560 6844 0 0 0 70 2 0 0 20 0 19 0 114672862 9856040960 74370 33554432000 1073741824 1073778376 140736252810304 140003099642424 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=15222/tid=15239] ppid=15219 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/15222/task/15239/stat : 15239 (java) S 15219 15222 13009 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114672862 9856040960 74370 33554432000 1073741824 1073778376 140736252810304 140003098590328 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=15222/tid=15240] ppid=15219 vsize=9625040 CPUtime=0.31 cores=1,3,5,7 /proc/15222/task/15240/stat : 15240 (java) S 15219 15222 13009 0 -1 4202560 101 0 0 0 15 16 0 0 20 0 19 0 114672862 9856040960 74370 33554432000 1073741824 1073778376 140736252810304 140003097537736 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=15222/tid=15241] ppid=15219 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/15222/task/15241/stat : 15241 (java) S 15219 15222 13009 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 114672905 9856040960 74370 33554432000 1073741824 1073778376 140736252810304 140003096482728 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1749.03 Current children cumulated vsize (KiB) 9625040 [startup+1744.8 s] /proc/loadavg: 2.25 2.23 2.18 4/212 15414 /proc/meminfo: memFree=27877712/32872528 swapFree=16384/1696552 [pid=15222] ppid=15219 vsize=9625040 CPUtime=1749.83 cores=1,3,5,7 /proc/15222/stat : 15222 (java) S 15219 15222 13009 0 -1 4202496 17118 0 1 0 174913 70 0 0 20 0 19 0 114672856 9856040960 74370 33554432000 1073741824 1073778376 140736252810304 140736252801440 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/15222/statm: 2406260 74370 2296 9 0 2396937 0 [pid=15222/tid=15224] ppid=15219 vsize=9625040 CPUtime=1742.79 cores=1,3,5,7 /proc/15222/task/15224/stat : 15224 (java) R 15219 15222 13009 0 -1 4202560 2593 0 1 0 174246 33 0 0 20 0 19 0 114672857 9856040960 74370 33554432000 1073741824 1073778376 140736252810304 140003751612160 140003603474602 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=15222/tid=15225] ppid=15219 vsize=9625040 CPUtime=0.73 cores=1,3,5,7 /proc/15222/task/15225/stat : 15225 (java) S 15219 15222 13009 0 -1 4202560 292 0 0 0 66 7 0 0 20 0 19 0 114672858 9856040960 74370 33554432000 1073741824 1073778376 140736252810304 140003724073256 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=15222/tid=15226] ppid=15219 vsize=9625040 CPUtime=0.63 cores=1,3,5,7 /proc/15222/task/15226/stat : 15226 (java) S 15219 15222 13009 0 -1 4202560 392 0 0 0 58 5 0 0 20 0 19 0 114672858 9856040960 74370 33554432000 1073741824 1073778376 140736252810304 140003723020456 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=15222/tid=15227] ppid=15219 vsize=9625040 CPUtime=0.56 cores=1,3,5,7 /proc/15222/task/15227/stat : 15227 (java) S 15219 15222 13009 0 -1 4202560 154 0 0 0 51 5 0 0 20 0 19 0 114672858 9856040960 74370 33554432000 1073741824 1073778376 140736252810304 140003721968168 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=15222/tid=15228] ppid=15219 vsize=9625040 CPUtime=0.72 cores=1,3,5,7 /proc/15222/task/15228/stat : 15228 (java) S 15219 15222 13009 0 -1 4202560 499 0 0 0 66 6 0 0 20 0 19 0 114672858 9856040960 74370 33554432000 1073741824 1073778376 140736252810304 140003591629224 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=15222/tid=15229] ppid=15219 vsize=9625040 CPUtime=0.64 cores=1,3,5,7 /proc/15222/task/15229/stat : 15229 (java) S 15219 15222 13009 0 -1 4202560 539 0 0 0 59 5 0 0 20 0 19 0 114672858 9856040960 74370 33554432000 1073741824 1073778376 140736252810304 140003590576936 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=15222/tid=15230] ppid=15219 vsize=9625040 CPUtime=0.69 cores=1,3,5,7 /proc/15222/task/15230/stat : 15230 (java) S 15219 15222 13009 0 -1 4202560 218 0 0 0 61 8 0 0 20 0 19 0 114672858 9856040960 74370 33554432000 1073741824 1073778376 140736252810304 140003589524136 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=15222/tid=15231] ppid=15219 vsize=9625040 CPUtime=0.58 cores=1,3,5,7 /proc/15222/task/15231/stat : 15231 (java) S 15219 15222 13009 0 -1 4202560 172 0 0 0 54 4 0 0 20 0 19 0 114672858 9856040960 74370 33554432000 1073741824 1073778376 140736252810304 140003588471848 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=15222/tid=15232] ppid=15219 vsize=9625040 CPUtime=0.62 cores=1,3,5,7 /proc/15222/task/15232/stat : 15232 (java) S 15219 15222 13009 0 -1 4202560 335 0 0 0 56 6 0 0 20 0 19 0 114672858 9856040960 74370 33554432000 1073741824 1073778376 140736252810304 140003587419048 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=15222/tid=15233] ppid=15219 vsize=9625040 CPUtime=0.29 cores=1,3,5,7 /proc/15222/task/15233/stat : 15233 (java) S 15219 15222 13009 0 -1 4202560 287 0 0 0 27 2 0 0 20 0 19 0 114672859 9856040960 74370 33554432000 1073741824 1073778376 140736252810304 140003104905448 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=15222/tid=15234] ppid=15219 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/15222/task/15234/stat : 15234 (java) S 15219 15222 13009 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 114672860 9856040960 74370 33554432000 1073741824 1073778376 140736252810304 140003103851512 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=15222/tid=15235] ppid=15219 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/15222/task/15235/stat : 15235 (java) S 15219 15222 13009 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 114672860 9856040960 74370 33554432000 1073741824 1073778376 140736252810304 140003102799112 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=15222/tid=15236] ppid=15219 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/15222/task/15236/stat : 15236 (java) S 15219 15222 13009 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114672862 9856040960 74370 33554432000 1073741824 1073778376 140736252810304 140003101747600 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=15222/tid=15237] ppid=15219 vsize=9625040 CPUtime=0.7 cores=1,3,5,7 /proc/15222/task/15237/stat : 15237 (java) S 15219 15222 13009 0 -1 4202560 3430 0 0 0 68 2 0 0 20 0 19 0 114672862 9856040960 74370 33554432000 1073741824 1073778376 140736252810304 140003100695224 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=15222/tid=15238] ppid=15219 vsize=9625040 CPUtime=0.72 cores=1,3,5,7 /proc/15222/task/15238/stat : 15238 (java) S 15219 15222 13009 0 -1 4202560 6844 0 0 0 70 2 0 0 20 0 19 0 114672862 9856040960 74370 33554432000 1073741824 1073778376 140736252810304 140003099642424 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=15222/tid=15239] ppid=15219 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/15222/task/15239/stat : 15239 (java) S 15219 15222 13009 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114672862 9856040960 74370 33554432000 1073741824 1073778376 140736252810304 140003098590328 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=15222/tid=15240] ppid=15219 vsize=9625040 CPUtime=0.31 cores=1,3,5,7 /proc/15222/task/15240/stat : 15240 (java) S 15219 15222 13009 0 -1 4202560 101 0 0 0 15 16 0 0 20 0 19 0 114672862 9856040960 74370 33554432000 1073741824 1073778376 140736252810304 140003097537736 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=15222/tid=15241] ppid=15219 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/15222/task/15241/stat : 15241 (java) S 15219 15222 13009 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 114672905 9856040960 74370 33554432000 1073741824 1073778376 140736252810304 140003096482728 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1749.83 Current children cumulated vsize (KiB) 9625040 [startup+1745.6 s] /proc/loadavg: 2.25 2.23 2.18 4/212 15414 /proc/meminfo: memFree=27877712/32872528 swapFree=16384/1696552 [pid=15222] ppid=15219 vsize=9625040 CPUtime=1750.63 cores=1,3,5,7 /proc/15222/stat : 15222 (java) S 15219 15222 13009 0 -1 4202496 17118 0 1 0 174993 70 0 0 20 0 19 0 114672856 9856040960 74370 33554432000 1073741824 1073778376 140736252810304 140736252801440 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/15222/statm: 2406260 74370 2296 9 0 2396937 0 [pid=15222/tid=15224] ppid=15219 vsize=9625040 CPUtime=1743.59 cores=1,3,5,7 /proc/15222/task/15224/stat : 15224 (java) R 15219 15222 13009 0 -1 4202560 2593 0 1 0 174326 33 0 0 20 0 19 0 114672857 9856040960 74370 33554432000 1073741824 1073778376 140736252810304 140003751612720 140003603216744 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=15222/tid=15225] ppid=15219 vsize=9625040 CPUtime=0.73 cores=1,3,5,7 /proc/15222/task/15225/stat : 15225 (java) S 15219 15222 13009 0 -1 4202560 292 0 0 0 66 7 0 0 20 0 19 0 114672858 9856040960 74370 33554432000 1073741824 1073778376 140736252810304 140003724073256 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=15222/tid=15226] ppid=15219 vsize=9625040 CPUtime=0.63 cores=1,3,5,7 /proc/15222/task/15226/stat : 15226 (java) S 15219 15222 13009 0 -1 4202560 392 0 0 0 58 5 0 0 20 0 19 0 114672858 9856040960 74370 33554432000 1073741824 1073778376 140736252810304 140003723020456 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=15222/tid=15227] ppid=15219 vsize=9625040 CPUtime=0.56 cores=1,3,5,7 /proc/15222/task/15227/stat : 15227 (java) S 15219 15222 13009 0 -1 4202560 154 0 0 0 51 5 0 0 20 0 19 0 114672858 9856040960 74370 33554432000 1073741824 1073778376 140736252810304 140003721968168 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=15222/tid=15228] ppid=15219 vsize=9625040 CPUtime=0.72 cores=1,3,5,7 /proc/15222/task/15228/stat : 15228 (java) S 15219 15222 13009 0 -1 4202560 499 0 0 0 66 6 0 0 20 0 19 0 114672858 9856040960 74370 33554432000 1073741824 1073778376 140736252810304 140003591629224 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=15222/tid=15229] ppid=15219 vsize=9625040 CPUtime=0.64 cores=1,3,5,7 /proc/15222/task/15229/stat : 15229 (java) S 15219 15222 13009 0 -1 4202560 539 0 0 0 59 5 0 0 20 0 19 0 114672858 9856040960 74370 33554432000 1073741824 1073778376 140736252810304 140003590576936 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=15222/tid=15230] ppid=15219 vsize=9625040 CPUtime=0.69 cores=1,3,5,7 /proc/15222/task/15230/stat : 15230 (java) S 15219 15222 13009 0 -1 4202560 218 0 0 0 61 8 0 0 20 0 19 0 114672858 9856040960 74370 33554432000 1073741824 1073778376 140736252810304 140003589524136 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=15222/tid=15231] ppid=15219 vsize=9625040 CPUtime=0.58 cores=1,3,5,7 /proc/15222/task/15231/stat : 15231 (java) S 15219 15222 13009 0 -1 4202560 172 0 0 0 54 4 0 0 20 0 19 0 114672858 9856040960 74370 33554432000 1073741824 1073778376 140736252810304 140003588471848 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=15222/tid=15232] ppid=15219 vsize=9625040 CPUtime=0.62 cores=1,3,5,7 /proc/15222/task/15232/stat : 15232 (java) S 15219 15222 13009 0 -1 4202560 335 0 0 0 56 6 0 0 20 0 19 0 114672858 9856040960 74370 33554432000 1073741824 1073778376 140736252810304 140003587419048 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=15222/tid=15233] ppid=15219 vsize=9625040 CPUtime=0.29 cores=1,3,5,7 /proc/15222/task/15233/stat : 15233 (java) S 15219 15222 13009 0 -1 4202560 287 0 0 0 27 2 0 0 20 0 19 0 114672859 9856040960 74370 33554432000 1073741824 1073778376 140736252810304 140003104905448 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=15222/tid=15234] ppid=15219 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/15222/task/15234/stat : 15234 (java) S 15219 15222 13009 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 114672860 9856040960 74370 33554432000 1073741824 1073778376 140736252810304 140003103851512 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=15222/tid=15235] ppid=15219 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/15222/task/15235/stat : 15235 (java) S 15219 15222 13009 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 114672860 9856040960 74370 33554432000 1073741824 1073778376 140736252810304 140003102799112 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=15222/tid=15236] ppid=15219 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/15222/task/15236/stat : 15236 (java) S 15219 15222 13009 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114672862 9856040960 74370 33554432000 1073741824 1073778376 140736252810304 140003101747600 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=15222/tid=15237] ppid=15219 vsize=9625040 CPUtime=0.7 cores=1,3,5,7 /proc/15222/task/15237/stat : 15237 (java) S 15219 15222 13009 0 -1 4202560 3430 0 0 0 68 2 0 0 20 0 19 0 114672862 9856040960 74370 33554432000 1073741824 1073778376 140736252810304 140003100695224 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=15222/tid=15238] ppid=15219 vsize=9625040 CPUtime=0.72 cores=1,3,5,7 /proc/15222/task/15238/stat : 15238 (java) S 15219 15222 13009 0 -1 4202560 6844 0 0 0 70 2 0 0 20 0 19 0 114672862 9856040960 74370 33554432000 1073741824 1073778376 140736252810304 140003099642424 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=15222/tid=15239] ppid=15219 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/15222/task/15239/stat : 15239 (java) S 15219 15222 13009 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114672862 9856040960 74370 33554432000 1073741824 1073778376 140736252810304 140003098590328 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=15222/tid=15240] ppid=15219 vsize=9625040 CPUtime=0.31 cores=1,3,5,7 /proc/15222/task/15240/stat : 15240 (java) S 15219 15222 13009 0 -1 4202560 101 0 0 0 15 16 0 0 20 0 19 0 114672862 9856040960 74370 33554432000 1073741824 1073778376 140736252810304 140003097537736 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=15222/tid=15241] ppid=15219 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/15222/task/15241/stat : 15241 (java) S 15219 15222 13009 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 114672905 9856040960 74370 33554432000 1073741824 1073778376 140736252810304 140003096482728 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1750.63 Current children cumulated vsize (KiB) 9625040 [startup+1745.81 s] /proc/loadavg: 2.25 2.23 2.18 4/212 15414 /proc/meminfo: memFree=27877720/32872528 swapFree=16384/1696552 [pid=15222] ppid=15219 vsize=9625040 CPUtime=1750.83 cores=1,3,5,7 /proc/15222/stat : 15222 (java) S 15219 15222 13009 0 -1 4202496 17118 0 1 0 175013 70 0 0 20 0 19 0 114672856 9856040960 74370 33554432000 1073741824 1073778376 140736252810304 140736252801440 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/15222/statm: 2406260 74370 2296 9 0 2396937 0 [pid=15222/tid=15224] ppid=15219 vsize=9625040 CPUtime=1743.8 cores=1,3,5,7 /proc/15222/task/15224/stat : 15224 (java) R 15219 15222 13009 0 -1 4202560 2593 0 1 0 174347 33 0 0 20 0 19 0 114672857 9856040960 74370 33554432000 1073741824 1073778376 140736252810304 140003751612720 140003603460475 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=15222/tid=15225] ppid=15219 vsize=9625040 CPUtime=0.73 cores=1,3,5,7 /proc/15222/task/15225/stat : 15225 (java) S 15219 15222 13009 0 -1 4202560 292 0 0 0 66 7 0 0 20 0 19 0 114672858 9856040960 74370 33554432000 1073741824 1073778376 140736252810304 140003724073256 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=15222/tid=15226] ppid=15219 vsize=9625040 CPUtime=0.63 cores=1,3,5,7 /proc/15222/task/15226/stat : 15226 (java) S 15219 15222 13009 0 -1 4202560 392 0 0 0 58 5 0 0 20 0 19 0 114672858 9856040960 74370 33554432000 1073741824 1073778376 140736252810304 140003723020456 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=15222/tid=15227] ppid=15219 vsize=9625040 CPUtime=0.56 cores=1,3,5,7 /proc/15222/task/15227/stat : 15227 (java) S 15219 15222 13009 0 -1 4202560 154 0 0 0 51 5 0 0 20 0 19 0 114672858 9856040960 74370 33554432000 1073741824 1073778376 140736252810304 140003721968168 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=15222/tid=15228] ppid=15219 vsize=9625040 CPUtime=0.72 cores=1,3,5,7 /proc/15222/task/15228/stat : 15228 (java) S 15219 15222 13009 0 -1 4202560 499 0 0 0 66 6 0 0 20 0 19 0 114672858 9856040960 74370 33554432000 1073741824 1073778376 140736252810304 140003591629224 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=15222/tid=15229] ppid=15219 vsize=9625040 CPUtime=0.64 cores=1,3,5,7 /proc/15222/task/15229/stat : 15229 (java) S 15219 15222 13009 0 -1 4202560 539 0 0 0 59 5 0 0 20 0 19 0 114672858 9856040960 74370 33554432000 1073741824 1073778376 140736252810304 140003590576936 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=15222/tid=15230] ppid=15219 vsize=9625040 CPUtime=0.69 cores=1,3,5,7 /proc/15222/task/15230/stat : 15230 (java) S 15219 15222 13009 0 -1 4202560 218 0 0 0 61 8 0 0 20 0 19 0 114672858 9856040960 74370 33554432000 1073741824 1073778376 140736252810304 140003589524136 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=15222/tid=15231] ppid=15219 vsize=9625040 CPUtime=0.58 cores=1,3,5,7 /proc/15222/task/15231/stat : 15231 (java) S 15219 15222 13009 0 -1 4202560 172 0 0 0 54 4 0 0 20 0 19 0 114672858 9856040960 74370 33554432000 1073741824 1073778376 140736252810304 140003588471848 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=15222/tid=15232] ppid=15219 vsize=9625040 CPUtime=0.62 cores=1,3,5,7 /proc/15222/task/15232/stat : 15232 (java) S 15219 15222 13009 0 -1 4202560 335 0 0 0 56 6 0 0 20 0 19 0 114672858 9856040960 74370 33554432000 1073741824 1073778376 140736252810304 140003587419048 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=15222/tid=15233] ppid=15219 vsize=9625040 CPUtime=0.29 cores=1,3,5,7 /proc/15222/task/15233/stat : 15233 (java) S 15219 15222 13009 0 -1 4202560 287 0 0 0 27 2 0 0 20 0 19 0 114672859 9856040960 74370 33554432000 1073741824 1073778376 140736252810304 140003104905448 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=15222/tid=15234] ppid=15219 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/15222/task/15234/stat : 15234 (java) S 15219 15222 13009 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 114672860 9856040960 74370 33554432000 1073741824 1073778376 140736252810304 140003103851512 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=15222/tid=15235] ppid=15219 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/15222/task/15235/stat : 15235 (java) S 15219 15222 13009 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 114672860 9856040960 74370 33554432000 1073741824 1073778376 140736252810304 140003102799112 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=15222/tid=15236] ppid=15219 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/15222/task/15236/stat : 15236 (java) S 15219 15222 13009 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114672862 9856040960 74370 33554432000 1073741824 1073778376 140736252810304 140003101747600 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=15222/tid=15237] ppid=15219 vsize=9625040 CPUtime=0.7 cores=1,3,5,7 /proc/15222/task/15237/stat : 15237 (java) S 15219 15222 13009 0 -1 4202560 3430 0 0 0 68 2 0 0 20 0 19 0 114672862 9856040960 74370 33554432000 1073741824 1073778376 140736252810304 140003100695224 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=15222/tid=15238] ppid=15219 vsize=9625040 CPUtime=0.72 cores=1,3,5,7 /proc/15222/task/15238/stat : 15238 (java) S 15219 15222 13009 0 -1 4202560 6844 0 0 0 70 2 0 0 20 0 19 0 114672862 9856040960 74370 33554432000 1073741824 1073778376 140736252810304 140003099642424 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=15222/tid=15239] ppid=15219 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/15222/task/15239/stat : 15239 (java) S 15219 15222 13009 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 114672862 9856040960 74370 33554432000 1073741824 1073778376 140736252810304 140003098590328 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=15222/tid=15240] ppid=15219 vsize=9625040 CPUtime=0.31 cores=1,3,5,7 /proc/15222/task/15240/stat : 15240 (java) S 15219 15222 13009 0 -1 4202560 101 0 0 0 15 16 0 0 20 0 19 0 114672862 9856040960 74370 33554432000 1073741824 1073778376 140736252810304 140003097537736 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=15222/tid=15241] ppid=15219 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/15222/task/15241/stat : 15241 (java) S 15219 15222 13009 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 114672905 9856040960 74370 33554432000 1073741824 1073778376 140736252810304 140003096482728 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1750.83 Current children cumulated vsize (KiB) 9625040 Child status: 30 Real time (s): 1745.89 CPU time (s): 1751.33 CPU user time (s): 1750.17 CPU system time (s): 1.15382 CPU usage (%): 100.312 Max. virtual memory (cumulated for all children) (KiB): 9625040 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1750.17 system time used= 1.15382 maximum resident set size= 515132 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 17137 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1664 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 40472 involuntary context switches= 19596 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 9.46256 second user time and 12.824 second system time The end
Begin job on node125 at 2016-06-07 21:23:18 IDJOB=4085074 IDBENCH=92667 IDSOLVER=2546 FILE ID=node125/4085074-1465327398 RUNJOBID= node125-1465307012-13026 PBS_JOBID= 19849496 Free space on /tmp= 71708 MiB SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16 BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/MH+IC/normalized-minisat15_4_4_1_mh_ic.opb COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4085074-1465327398/watcher-4085074-1465327398 -o /tmp/evaluation-result-4085074-1465327398/solver-4085074-1465327398 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1465307012-13026 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4085074-1465327398.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= f4c34ee83da7e36be7881d34beece196 RANDOM SEED=726544547 node125.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 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 : 5332.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 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.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 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 : 2666.456 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 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: 28465964 kB Buffers: 78132 kB Cached: 464292 kB SwapCached: 1700 kB Active: 1514924 kB Inactive: 438940 kB Active(anon): 1410472 kB Inactive(anon): 2964 kB Active(file): 104452 kB Inactive(file): 435976 kB Unevictable: 1696552 kB Mlocked: 16384 kB SwapTotal: 67108856 kB SwapFree: 67098584 kB Dirty: 1628 kB Writeback: 0 kB AnonPages: 3113200 kB Mapped: 15500 kB Shmem: 0 kB Slab: 612896 kB SReclaimable: 56496 kB SUnreclaim: 556400 kB KernelStack: 1608 kB PageTables: 10256 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 4546988 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 3078144 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71740 MiB End job on node125 at 2016-06-07 21:52:24