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 | 2886748 | 1043.57 | 1038.74 |
| Name | /OPT-BIGINT-LIN/zahidi/MH+IC/ normalized-minisat15_4_4_6_mh_ic.opb |
| MD5SUM | b24b10929da03724a77e08494dd4be05 |
| 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 | 2886748 |
| Best CPU time to get the best result obtained on this benchmark | 965.776 |
| 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 | 140608000 |
| Number of bits for the biggest coefficient in the objective function | 28 |
| Sum of the numbers in the objective function | 5469285523 |
| Number of bits of the sum of numbers in the objective function | 33 |
| Biggest number in a constraint | 140608000 |
| Number of bits of the biggest number in a constraint | 28 |
| Biggest sum of numbers in a constraint | 5469285523 |
| Number of bits of the biggest sum of numbers | 33 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.09 c SAT4J: a SATisfiability library for Java (c) 2004-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@587bd9f2 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@4e3eca90 0.09/0.11 c --- End Solver configuration --- 0.09/0.11 c solving HOME/instance-4085077-1465330728.opb 0.09/0.11 c reading problem ... 0.09/0.11 c objective function found 0.70/0.46 c ... done. Wall clock time 0.35s. 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.41/1.60 c cleaning 2500 clauses out of 5000 with flag 20107/5000 3.69/2.88 c cleaning 4241 clauses out of 8501 with flag 46228/11001 5.40/4.56 c cleaning 5626 clauses out of 11259 with flag 71323/18000 7.10/6.28 c cleaning 6817 clauses out of 13634 with flag 118037/26001 9.61/8.78 c cleaning 7906 clauses out of 15817 with flag 177963/35001 11.51/10.65 c SATISFIABLE 11.51/10.65 c OPTIMIZING... 11.51/10.65 c Got one! Elapsed wall clock time (in seconds):10.538 11.51/10.65 o 660317472 11.71/10.75 c Got one! Elapsed wall clock time (in seconds):10.637 11.71/10.75 o 5054624 12.82/11.67 c cleaning 9723 clauses out of 19446 with flag 20034/46537 14.23/13.09 c cleaning 7859 clauses out of 15726 with flag 46121/52540 16.02/14.86 c cleaning 7424 clauses out of 14864 with flag 91561/59537 18.02/16.85 c cleaning 7710 clauses out of 15439 with flag 152941/67536 19.22/18.06 c Got one! Elapsed wall clock time (in seconds):17.946 19.22/18.06 o 4801979 19.22/18.09 c Got one! Elapsed wall clock time (in seconds):17.976 19.22/18.09 o 4621770 19.64/18.35 c cleaning 6653 clauses out of 13332 with flag 4074/73139 21.43/20.11 c cleaning 6334 clauses out of 12680 with flag 38720/79140 23.13/21.86 c cleaning 6668 clauses out of 13345 with flag 88276/86139 25.23/23.92 c cleaning 7331 clauses out of 14677 with flag 137891/94139 27.43/26.17 c cleaning 8168 clauses out of 16349 with flag 213684/103142 29.87/28.58 c cleaning 9084 clauses out of 18178 with flag 321183/113139 32.67/31.36 c cleaning 10039 clauses out of 20094 with flag 427961/124139 35.58/34.22 c cleaning 11025 clauses out of 22056 with flag 569743/136140 38.58/37.29 c cleaning 12014 clauses out of 24030 with flag 721240/149139 42.38/41.01 c cleaning 13009 clauses out of 26018 with flag 867520/163141 46.08/44.74 c cleaning 13999 clauses out of 28007 with flag 1044134/178139 49.78/48.43 c cleaning 15001 clauses out of 30012 with flag 1228969/194143 53.78/52.48 c cleaning 15993 clauses out of 32007 with flag 1410387/211139 58.28/56.99 c cleaning 16999 clauses out of 34014 with flag 1614040/229139 63.48/62.19 c cleaning 17992 clauses out of 36016 with flag 1836429/248140 69.07/67.79 c cleaning 19008 clauses out of 38023 with flag 2095614/268139 74.73/73.36 c cleaning 19999 clauses out of 40015 with flag 2373680/289139 80.74/79.32 c cleaning 20993 clauses out of 42018 with flag 2665377/311141 86.93/85.59 c cleaning 22008 clauses out of 44023 with flag 2983802/334139 93.23/91.86 c cleaning 23003 clauses out of 46015 with flag 3307892/358139 99.70/98.28 c cleaning 23991 clauses out of 48013 with flag 3622296/383140 106.40/104.97 c cleaning 25005 clauses out of 50023 with flag 3972848/409141 114.00/112.55 c cleaning 25995 clauses out of 52016 with flag 4336077/436139 121.81/120.39 c cleaning 27005 clauses out of 54021 with flag 4753544/464139 129.22/127.79 c cleaning 27998 clauses out of 56017 with flag 5183576/493140 137.09/135.54 c cleaning 28996 clauses out of 58018 with flag 5623712/523139 145.60/144.01 c cleaning 30005 clauses out of 60023 with flag 6085218/554140 154.60/153.07 c cleaning 31004 clauses out of 62017 with flag 6557862/586139 164.65/162.95 c cleaning 31992 clauses out of 64013 with flag 7081657/619139 175.35/173.63 c cleaning 33010 clauses out of 66021 with flag 7624218/653139 185.56/183.75 c cleaning 33998 clauses out of 68010 with flag 8154905/688139 195.66/193.80 c cleaning 34998 clauses out of 70012 with flag 8715940/724139 206.93/204.92 c cleaning 36007 clauses out of 72014 with flag 9295805/761139 217.83/215.80 c cleaning 37000 clauses out of 74007 with flag 9886234/799139 229.79/227.65 c cleaning 37998 clauses out of 76008 with flag 10544687/838140 241.52/239.23 c cleaning 39000 clauses out of 78009 with flag 11188893/878139 254.44/251.98 c cleaning 39991 clauses out of 80009 with flag 11882069/919139 267.20/264.50 c cleaning 41002 clauses out of 82018 with flag 12579152/961139 280.37/277.66 c cleaning 42002 clauses out of 84019 with flag 13292380/1004142 293.73/290.91 c cleaning 42998 clauses out of 86014 with flag 13955497/1048139 307.68/304.88 c cleaning 44002 clauses out of 88016 with flag 14747465/1093139 322.42/319.40 c cleaning 44998 clauses out of 90013 with flag 15555626/1139139 336.00/332.98 c cleaning 46004 clauses out of 92016 with flag 16296618/1186141 351.02/347.99 c cleaning 46997 clauses out of 94010 with flag 17117752/1234139 365.57/362.30 c cleaning 48003 clauses out of 96013 with flag 17951047/1283139 379.53/376.29 c cleaning 48999 clauses out of 98010 with flag 18742913/1333139 395.79/392.30 c cleaning 49997 clauses out of 100011 with flag 19600157/1384139 412.77/409.16 c cleaning 50992 clauses out of 102014 with flag 20462453/1436139 430.89/427.07 c cleaning 51998 clauses out of 104022 with flag 21287386/1489139 431.19/427.31 c Got one! Elapsed wall clock time (in seconds):427.198 431.19/427.31 o 4541006 432.41/428.59 c cleaning 28972 clauses out of 57994 with flag 32383/1495110 434.02/430.15 c cleaning 17486 clauses out of 35022 with flag 73105/1501110 435.82/431.99 c cleaning 12260 clauses out of 24537 with flag 121149/1508111 437.28/433.34 c Got one! Elapsed wall clock time (in seconds):433.231 437.28/433.34 o 4398723 437.58/433.69 c cleaning 8928 clauses out of 17871 with flag 4318/1513705 439.38/435.45 c cleaning 7446 clauses out of 14943 with flag 39161/1519705 441.18/437.28 c cleaning 7226 clauses out of 14496 with flag 86496/1526704 443.28/439.36 c cleaning 7620 clauses out of 15270 with flag 147867/1534704 445.68/441.79 c cleaning 8321 clauses out of 16650 with flag 227965/1543704 448.38/444.44 c cleaning 9162 clauses out of 18329 with flag 310167/1553704 451.08/447.18 c cleaning 10073 clauses out of 20167 with flag 400680/1564704 453.78/449.85 c Got one! Elapsed wall clock time (in seconds):449.733 453.78/449.85 o 4334746 453.78/449.86 c Got one! Elapsed wall clock time (in seconds):449.748 453.78/449.86 o 3851898 454.78/450.86 c Got one! Elapsed wall clock time (in seconds):450.747 454.78/450.86 o 3765004 455.48/451.51 c cleaning 12802 clauses out of 25619 with flag 9289/1580230 456.78/452.88 c Got one! Elapsed wall clock time (in seconds):452.768 456.78/452.88 o 3690878 456.89/452.97 c Got one! Elapsed wall clock time (in seconds):452.855 456.89/452.97 o 3436057 456.89/452.99 c Got one! Elapsed wall clock time (in seconds):452.881 456.89/452.99 o 3408251 457.02/453.03 c Got one! Elapsed wall clock time (in seconds):452.921 457.02/453.03 o 3370700 457.32/453.34 c cleaning 9288 clauses out of 18598 with flag 4566/1586014 457.72/453.76 c Got one! Elapsed wall clock time (in seconds):453.652 457.72/453.76 o 3359793 459.05/455.04 c cleaning 7240 clauses out of 14558 with flag 26102/1591262 461.05/457.00 c cleaning 6650 clauses out of 13318 with flag 58745/1597262 463.24/459.26 c cleaning 6816 clauses out of 13669 with flag 94380/1604263 465.64/461.69 c cleaning 7417 clauses out of 14851 with flag 132771/1612261 468.44/464.42 c cleaning 8206 clauses out of 16435 with flag 172853/1621262 471.04/467.02 c Got one! Elapsed wall clock time (in seconds):466.904 471.04/467.02 o 3265511 472.54/468.57 c cleaning 10921 clauses out of 21851 with flag 25090/1634884 474.24/470.24 c Got one! Elapsed wall clock time (in seconds):470.127 474.24/470.24 o 3253575 475.84/471.90 c cleaning 10627 clauses out of 21265 with flag 29402/1645220 477.74/473.78 c cleaning 8310 clauses out of 16638 with flag 63587/1651220 479.94/475.97 c cleaning 7661 clauses out of 15330 with flag 105928/1658222 482.44/478.44 c cleaning 7810 clauses out of 15667 with flag 143586/1666220 485.14/481.19 c cleaning 8415 clauses out of 16857 with flag 185218/1675220 488.25/484.26 c cleaning 9214 clauses out of 18443 with flag 241981/1685221 491.55/487.58 c cleaning 10093 clauses out of 20228 with flag 299669/1696220 495.24/491.24 c cleaning 11063 clauses out of 22135 with flag 359888/1708221 499.05/495.03 c cleaning 12035 clauses out of 24076 with flag 434375/1721225 503.36/499.40 c cleaning 13012 clauses out of 26036 with flag 517178/1735220 505.06/501.04 c Got one! Elapsed wall clock time (in seconds):500.928 505.06/501.04 o 3217879 506.46/502.49 c cleaning 11778 clauses out of 23558 with flag 28441/1745754 508.36/504.31 c cleaning 8885 clauses out of 17779 with flag 64873/1751753 510.46/506.47 c cleaning 7919 clauses out of 15893 with flag 101566/1758752 512.96/508.98 c cleaning 7971 clauses out of 15974 with flag 138769/1766752 515.86/511.85 c cleaning 8491 clauses out of 17002 with flag 179861/1775753 518.87/514.88 c cleaning 9255 clauses out of 18510 with flag 229670/1785752 522.17/518.18 c cleaning 10125 clauses out of 20255 with flag 287635/1796752 524.37/520.39 c Got one! Elapsed wall clock time (in seconds):520.276 524.37/520.39 o 3175063 525.96/521.94 c cleaning 11198 clauses out of 22414 with flag 22133/1809036 527.67/523.69 c cleaning 8588 clauses out of 17216 with flag 51740/1815036 529.76/525.72 c cleaning 7785 clauses out of 15628 with flag 84557/1822036 532.17/528.18 c cleaning 7914 clauses out of 15843 with flag 121303/1830036 533.96/529.97 c Got one! Elapsed wall clock time (in seconds):529.857 533.96/529.97 o 3152185 535.56/531.56 c cleaning 9635 clauses out of 19270 with flag 20697/1841377 537.46/533.50 c cleaning 7801 clauses out of 15635 with flag 46710/1847377 539.67/535.69 c cleaning 7390 clauses out of 14834 with flag 76754/1854377 542.27/538.21 c cleaning 7713 clauses out of 15444 with flag 116335/1862377 544.97/540.95 c cleaning 8354 clauses out of 16731 with flag 154391/1871377 547.98/543.98 c cleaning 9188 clauses out of 18379 with flag 211499/1881379 551.28/547.24 c cleaning 10083 clauses out of 20189 with flag 269586/1892377 554.78/550.75 c cleaning 11051 clauses out of 22106 with flag 337187/1904377 558.88/554.80 c cleaning 12022 clauses out of 24056 with flag 403089/1917378 563.38/559.34 c cleaning 13015 clauses out of 26033 with flag 470836/1931377 567.98/564.00 c cleaning 14000 clauses out of 28018 with flag 543751/1946377 573.37/569.34 c cleaning 15004 clauses out of 30019 with flag 640969/1962378 578.97/574.96 c cleaning 15999 clauses out of 32014 with flag 745991/1979377 585.07/581.01 c cleaning 17002 clauses out of 34015 with flag 831552/1997377 591.07/587.06 c cleaning 18004 clauses out of 36013 with flag 927067/2016377 595.07/591.04 c Got one! Elapsed wall clock time (in seconds):590.928 595.07/591.04 o 3142065 596.57/592.58 c Got one! Elapsed wall clock time (in seconds):592.462 596.57/592.58 o 3116007 597.02/592.98 c cleaning 17974 clauses out of 35978 with flag 5029/2034346 598.82/594.79 c cleaning 11994 clauses out of 24004 with flag 33200/2040346 601.12/597.05 c cleaning 9497 clauses out of 19010 with flag 65066/2047346 603.63/599.57 c cleaning 8737 clauses out of 17513 with flag 100657/2055346 606.63/602.53 c cleaning 8874 clauses out of 17779 with flag 137225/2064349 609.83/605.78 c cleaning 9437 clauses out of 18902 with flag 180509/2074346 613.53/609.41 c cleaning 10222 clauses out of 20465 with flag 228897/2085346 617.12/613.07 c cleaning 11118 clauses out of 22243 with flag 276492/2097346 621.33/617.28 c cleaning 12056 clauses out of 24126 with flag 331675/2110347 625.82/621.75 c cleaning 13031 clauses out of 26069 with flag 398406/2124346 630.82/626.71 c cleaning 14010 clauses out of 28038 with flag 462009/2139346 636.02/631.91 c cleaning 15013 clauses out of 30028 with flag 546981/2155346 641.62/637.55 c cleaning 15993 clauses out of 32015 with flag 634705/2172346 647.14/643.05 c cleaning 17008 clauses out of 34023 with flag 723075/2190347 653.35/649.29 c cleaning 18001 clauses out of 36014 with flag 813851/2209346 659.95/655.82 c cleaning 19002 clauses out of 38014 with flag 919506/2229347 666.65/662.53 c cleaning 20000 clauses out of 40011 with flag 1032256/2250346 673.15/669.09 c Got one! Elapsed wall clock time (in seconds):668.977 673.15/669.09 o 3051555 674.85/670.78 c cleaning 22838 clauses out of 45686 with flag 21928/2276021 676.65/672.56 c cleaning 14417 clauses out of 28850 with flag 50618/2282023 678.75/674.69 c cleaning 10701 clauses out of 21434 with flag 83329/2289024 681.15/677.04 c cleaning 9325 clauses out of 18730 with flag 119537/2297021 683.96/679.88 c cleaning 9181 clauses out of 18405 with flag 155685/2306021 687.05/682.93 c cleaning 9600 clauses out of 19223 with flag 194706/2316020 690.35/686.28 c cleaning 10306 clauses out of 20623 with flag 244496/2327020 693.98/689.82 c cleaning 11143 clauses out of 22318 with flag 296076/2339021 697.87/693.70 c cleaning 12079 clauses out of 24175 with flag 352583/2352021 702.37/698.20 c cleaning 13047 clauses out of 26095 with flag 417451/2366020 707.37/703.22 c cleaning 14015 clauses out of 28049 with flag 485826/2381021 712.47/708.32 c cleaning 15014 clauses out of 30033 with flag 562288/2397020 717.87/713.71 c cleaning 16002 clauses out of 32021 with flag 642045/2414022 723.68/719.59 c cleaning 16993 clauses out of 34017 with flag 732655/2432020 730.07/725.94 c cleaning 18008 clauses out of 36024 with flag 825649/2451020 736.68/732.52 c cleaning 18998 clauses out of 38016 with flag 923050/2471020 743.41/739.29 c cleaning 19994 clauses out of 40018 with flag 1024399/2492020 750.61/746.49 c cleaning 21001 clauses out of 42026 with flag 1132504/2514022 758.40/754.29 c cleaning 22001 clauses out of 44023 with flag 1256696/2537020 766.70/762.51 c cleaning 23004 clauses out of 46022 with flag 1375419/2561020 774.90/770.70 c cleaning 23998 clauses out of 48017 with flag 1497673/2586020 779.40/775.23 c Got one! Elapsed wall clock time (in seconds):775.113 779.40/775.23 o 3033680 781.25/777.03 c cleaning 21807 clauses out of 43632 with flag 28803/2605633 783.15/778.93 c cleaning 13903 clauses out of 27825 with flag 60156/2611633 785.06/780.81 c Got one! Elapsed wall clock time (in seconds):780.701 785.06/780.81 o 3002501 786.66/782.46 c cleaning 12652 clauses out of 25316 with flag 25801/2623027 788.46/784.24 c cleaning 9306 clauses out of 18664 with flag 55098/2629027 790.66/786.41 c cleaning 8157 clauses out of 16358 with flag 81612/2636027 793.06/788.85 c cleaning 8082 clauses out of 16201 with flag 109938/2644027 795.66/791.44 c cleaning 8550 clauses out of 17119 with flag 145935/2653027 798.56/794.33 c cleaning 9270 clauses out of 18569 with flag 186099/2663027 801.56/797.38 c cleaning 10143 clauses out of 20300 with flag 226056/2674028 805.36/801.12 c cleaning 11080 clauses out of 22159 with flag 280312/2686030 808.56/804.31 c Got one! Elapsed wall clock time (in seconds):804.197 808.56/804.31 o 2967685 809.86/805.64 c Got one! Elapsed wall clock time (in seconds):805.525 809.86/805.64 o 2951119 810.46/806.24 c cleaning 13898 clauses out of 27799 with flag 7646/2702750 812.46/808.24 c cleaning 9949 clauses out of 19901 with flag 30554/2708750 814.86/810.61 c cleaning 8465 clauses out of 16952 with flag 55290/2715750 817.36/813.16 c cleaning 8220 clauses out of 16487 with flag 85337/2723750 820.40/816.13 c cleaning 8623 clauses out of 17268 with flag 115302/2732751 823.60/819.39 c cleaning 9318 clauses out of 18644 with flag 152174/2742750 827.21/822.94 c cleaning 10158 clauses out of 20326 with flag 193533/2753750 831.10/826.85 c cleaning 11078 clauses out of 22168 with flag 242191/2765750 835.31/831.05 c cleaning 12040 clauses out of 24090 with flag 293767/2778750 839.91/835.70 c cleaning 13008 clauses out of 26051 with flag 360589/2792751 844.82/840.52 c cleaning 14012 clauses out of 28042 with flag 431254/2807750 850.11/845.89 c cleaning 15013 clauses out of 30029 with flag 506749/2823750 855.62/851.35 c cleaning 15998 clauses out of 32018 with flag 583165/2840752 861.61/857.34 c cleaning 17007 clauses out of 34019 with flag 660240/2858751 867.98/863.69 c cleaning 17997 clauses out of 36013 with flag 741483/2877752 874.47/870.13 c cleaning 19003 clauses out of 38014 with flag 836670/2897750 881.26/876.95 c cleaning 19986 clauses out of 40014 with flag 938334/2918753 888.06/883.74 c cleaning 21002 clauses out of 42025 with flag 1051151/2940750 895.26/890.97 c cleaning 21998 clauses out of 44025 with flag 1172629/2963752 903.16/898.81 c cleaning 22993 clauses out of 46025 with flag 1306465/2987750 906.46/902.14 c Got one! Elapsed wall clock time (in seconds):902.025 906.46/902.14 o 2928121 908.31/903.95 c cleaning 19321 clauses out of 38663 with flag 28355/3003382 910.31/905.94 c cleaning 12658 clauses out of 25342 with flag 64214/3009382 912.61/908.21 c cleaning 9828 clauses out of 19685 with flag 104963/3016383 915.11/910.73 c cleaning 8920 clauses out of 17857 with flag 144004/3024383 918.01/913.61 c cleaning 8956 clauses out of 17936 with flag 180920/3033382 921.11/916.74 c cleaning 9473 clauses out of 18980 with flag 225353/3043382 924.61/920.29 c cleaning 10250 clauses out of 20508 with flag 274571/3054383 928.41/924.10 c cleaning 11123 clauses out of 22258 with flag 336008/3066383 932.41/928.09 c cleaning 12065 clauses out of 24135 with flag 394397/3079383 936.80/932.41 c cleaning 13031 clauses out of 26069 with flag 459314/3093382 941.50/937.18 c cleaning 14014 clauses out of 28039 with flag 522953/3108384 947.00/942.63 c cleaning 15006 clauses out of 30023 with flag 590806/3124382 952.67/948.24 c cleaning 16001 clauses out of 32017 with flag 674639/3141382 958.27/953.81 c cleaning 17000 clauses out of 34017 with flag 764172/3159383 964.46/960.05 c cleaning 18007 clauses out of 36018 with flag 863263/3178384 970.66/966.23 c cleaning 19003 clauses out of 38009 with flag 959331/3198383 977.16/972.77 c cleaning 20002 clauses out of 40005 with flag 1038379/3219383 978.66/974.25 c Got one! Elapsed wall clock time (in seconds):974.136 978.66/974.25 o 2886748 978.96/974.58 c cleaning 12989 clauses out of 25989 with flag 4126/3225369 980.76/976.34 c cleaning 9483 clauses out of 19000 with flag 27216/3231369 982.85/978.40 c cleaning 8252 clauses out of 16524 with flag 52155/3238376 985.29/980.85 c cleaning 8117 clauses out of 16268 with flag 81222/3246372 987.90/983.44 c cleaning 8571 clauses out of 17149 with flag 114953/3255370 991.20/986.71 c cleaning 9285 clauses out of 18577 with flag 154322/3265369 994.49/990.10 c cleaning 10142 clauses out of 20293 with flag 203617/3276370 998.29/993.84 c cleaning 11074 clauses out of 22150 with flag 259954/3288369 1002.38/997.91 c cleaning 12035 clauses out of 24076 with flag 316434/3301369 1006.48/1002.10 c cleaning 13021 clauses out of 26042 with flag 381492/3315371 1011.28/1006.83 c cleaning 13996 clauses out of 28019 with flag 453561/3330369 1016.28/1011.86 c cleaning 15012 clauses out of 30023 with flag 531269/3346369 1021.43/1016.99 c cleaning 15998 clauses out of 32007 with flag 610804/3363369 1026.93/1022.42 c cleaning 16996 clauses out of 34007 with flag 688098/3381369 1032.52/1028.00 c cleaning 18000 clauses out of 36009 with flag 768176/3400369 1038.22/1033.78 c cleaning 19002 clauses out of 38008 with flag 856814/3420369 1043.22/1038.71 c starts : 1752 1043.22/1038.71 c conflicts : 3438442 1043.22/1038.71 c decisions : 8023495 1043.22/1038.71 c propagations : 1093801533 1043.22/1038.71 c inspects : 6518701632 1043.22/1038.71 c shortcuts : 0 1043.22/1038.71 c learnt literals : 49 1043.22/1038.71 c learnt binary clauses : 197 1043.22/1038.71 c learnt ternary clauses : 301 1043.22/1038.71 c learnt constraints : 3438392 1043.22/1038.71 c ignored constraints : 0 1043.22/1038.71 c root simplifications : 0 1043.22/1038.71 c removed literals (reason simplification) : 0 1043.22/1038.71 c reason swapping (by a shorter reason) : 0 1043.22/1038.71 c Calls to reduceDB : 213 1043.22/1038.71 c Number of update (reduction) of LBD : 1324696 1043.22/1038.71 c Imported unit clauses : 0 1043.22/1038.71 c number of reductions to clauses (during analyze) : 0 1043.22/1038.71 c number of learned constraints concerned by reduction : 0 1043.22/1038.71 c number of learning phase by resolution : 0 1043.22/1038.71 c number of learning phase by cutting planes : 0 1043.22/1038.71 c speed (assignments/second) : 1053530.3359098462 1043.22/1038.71 c non guided choices 7307 1043.22/1038.71 c learnt constraints type 1043.22/1038.71 s OPTIMUM FOUND 1043.22/1038.71 c Found 28 solution(s) 1043.22/1038.72 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 1043.22/1038.73 c objective function=2886748 1043.22/1038.73 c Total wall clock time (in seconds): 1038.615
OK 2886748
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-4085077-1465330728/watcher-4085077-1465330728 -o /tmp/evaluation-result-4085077-1465330728/solver-4085077-1465330728 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node102-1465312757-23538 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4085077-1465330728.opb pid=25451 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.08 2.04 2.01 3/194 25454 /proc/meminfo: memFree=30227380/32872528 swapFree=10608/190480 [pid=25454] ppid=25451 vsize=2500 CPUtime=0 cores=1,3,5,7 /proc/25454/stat : 25454 (java) D 25451 25454 27127 0 -1 4202496 375 0 0 0 0 0 0 0 20 0 1 0 115008100 2560000 47 33554432000 1073741824 1073778376 140735685349344 140735685346472 249640873255 0 0 4096 0 18446744072100588836 0 0 17 5 0 0 0 0 0 /proc/25454/statm: 625 47 37 9 0 29 0 [startup+0.10006 s] /proc/loadavg: 2.08 2.04 2.01 3/194 25454 /proc/meminfo: memFree=30227380/32872528 swapFree=10608/190480 [pid=25454] ppid=25451 vsize=9558476 CPUtime=0.09 cores=1,3,5,7 /proc/25454/stat : 25454 (java) S 25451 25454 27127 0 -1 4202496 4404 0 1 0 8 1 0 0 20 0 18 0 115008100 9787879424 6036 33554432000 1073741824 1073778376 140735685349344 140735685340480 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/25454/statm: 2389619 6036 2125 9 0 2380296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558476 [startup+0.200225 s] /proc/loadavg: 2.08 2.04 2.01 3/194 25454 /proc/meminfo: memFree=30227380/32872528 swapFree=10608/190480 [pid=25454] ppid=25451 vsize=9558476 CPUtime=0.29 cores=1,3,5,7 /proc/25454/stat : 25454 (java) S 25451 25454 27127 0 -1 4202496 5033 0 1 0 28 1 0 0 20 0 18 0 115008100 9787879424 7003 33554432000 1073741824 1073778376 140735685349344 140735685340480 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/25454/statm: 2389619 7003 2221 9 0 2380296 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 9558476 [startup+0.300242 s] /proc/loadavg: 2.08 2.04 2.01 3/194 25454 /proc/meminfo: memFree=30227380/32872528 swapFree=10608/190480 [pid=25454] ppid=25451 vsize=9558476 CPUtime=0.5 cores=1,3,5,7 /proc/25454/stat : 25454 (java) S 25451 25454 27127 0 -1 4202496 5918 0 1 0 49 1 0 0 20 0 18 0 115008100 9787879424 9987 33554432000 1073741824 1073778376 140735685349344 140735685340480 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/25454/statm: 2389619 9987 2235 9 0 2380296 0 Current children cumulated CPU time (s) 0.5 Current children cumulated vsize (KiB) 9558476 [startup+0.700196 s] /proc/loadavg: 2.08 2.04 2.01 3/194 25454 /proc/meminfo: memFree=30227380/32872528 swapFree=10608/190480 [pid=25454] ppid=25451 vsize=9625040 CPUtime=1.39 cores=1,3,5,7 /proc/25454/stat : 25454 (java) S 25451 25454 27127 0 -1 4202496 8919 0 1 0 136 3 0 0 20 0 19 0 115008100 9856040960 22308 33554432000 1073741824 1073778376 140735685349344 140735685340480 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/25454/statm: 2406260 22308 2264 9 0 2396937 0 Current children cumulated CPU time (s) 1.39 Current children cumulated vsize (KiB) 9625040 [startup+1.50082 s] /proc/loadavg: 2.08 2.04 2.01 4/213 25473 /proc/meminfo: memFree=30145932/32872528 swapFree=10608/190480 [pid=25454] ppid=25451 vsize=9625040 CPUtime=2.29 cores=1,3,5,7 /proc/25454/stat : 25454 (java) S 25451 25454 27127 0 -1 4202496 10515 0 1 0 226 3 0 0 20 0 19 0 115008100 9856040960 22954 33554432000 1073741824 1073778376 140735685349344 140735685340480 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/25454/statm: 2406260 22954 2268 9 0 2396937 0 [pid=25454/tid=25456] ppid=25451 vsize=9625040 CPUtime=1.47 cores=1,3,5,7 /proc/25454/task/25456/stat : 25456 (java) R 25451 25454 27127 0 -1 4202560 2446 0 1 0 144 3 0 0 20 0 19 0 115008101 9856040960 22954 33554432000 1073741824 1073778376 140735685349344 140678113002056 140677980395410 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=25454/tid=25457] ppid=25451 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/25454/task/25457/stat : 25457 (java) S 25451 25454 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 115008102 9856040960 22954 33554432000 1073741824 1073778376 140735685349344 140678102063400 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25454/tid=25458] ppid=25451 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/25454/task/25458/stat : 25458 (java) S 25451 25454 27127 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 115008102 9856040960 22954 33554432000 1073741824 1073778376 140735685349344 140678101010600 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25454/tid=25459] ppid=25451 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/25454/task/25459/stat : 25459 (java) S 25451 25454 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 115008102 9856040960 22954 33554432000 1073741824 1073778376 140735685349344 140678099958312 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25454/tid=25460] ppid=25451 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/25454/task/25460/stat : 25460 (java) S 25451 25454 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 115008102 9856040960 22954 33554432000 1073741824 1073778376 140735685349344 140678098905512 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=25454/tid=25461] ppid=25451 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/25454/task/25461/stat : 25461 (java) S 25451 25454 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 115008102 9856040960 22954 33554432000 1073741824 1073778376 140735685349344 140677951994664 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25454/tid=25462] ppid=25451 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/25454/task/25462/stat : 25462 (java) S 25451 25454 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 115008102 9856040960 22954 33554432000 1073741824 1073778376 140735685349344 140677950941864 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=25454/tid=25463] ppid=25451 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/25454/task/25463/stat : 25463 (java) S 25451 25454 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 115008102 9856040960 22954 33554432000 1073741824 1073778376 140735685349344 140677949889576 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25454/tid=25464] ppid=25451 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/25454/task/25464/stat : 25464 (java) S 25451 25454 27127 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 115008102 9856040960 22954 33554432000 1073741824 1073778376 140735685349344 140677948836776 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25454/tid=25465] ppid=25451 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/25454/task/25465/stat : 25465 (java) S 25451 25454 27127 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 115008103 9856040960 22954 33554432000 1073741824 1073778376 140735685349344 140677936638184 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25454/tid=25466] ppid=25451 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/25454/task/25466/stat : 25466 (java) S 25451 25454 27127 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 115008104 9856040960 22954 33554432000 1073741824 1073778376 140735685349344 140677935584248 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25454/tid=25467] ppid=25451 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/25454/task/25467/stat : 25467 (java) S 25451 25454 27127 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 115008104 9856040960 22954 33554432000 1073741824 1073778376 140735685349344 140677934531848 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25454/tid=25468] ppid=25451 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/25454/task/25468/stat : 25468 (java) S 25451 25454 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 115008106 9856040960 22954 33554432000 1073741824 1073778376 140735685349344 140677933480336 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25454/tid=25469] ppid=25451 vsize=9625040 CPUtime=0.41 cores=1,3,5,7 /proc/25454/task/25469/stat : 25469 (java) S 25451 25454 27127 0 -1 4202560 4824 0 0 0 41 0 0 0 20 0 19 0 115008106 9856040960 22954 33554432000 1073741824 1073778376 140735685349344 140677932427960 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25454/tid=25470] ppid=25451 vsize=9625040 CPUtime=0.37 cores=1,3,5,7 /proc/25454/task/25470/stat : 25470 (java) S 25451 25454 27127 0 -1 4202560 1967 0 0 0 37 0 0 0 20 0 19 0 115008106 9856040960 22954 33554432000 1073741824 1073778376 140735685349344 140677931375160 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25454/tid=25471] ppid=25451 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/25454/task/25471/stat : 25471 (java) S 25451 25454 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 115008106 9856040960 22954 33554432000 1073741824 1073778376 140735685349344 140677930323064 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25454/tid=25472] ppid=25451 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/25454/task/25472/stat : 25472 (java) S 25451 25454 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 115008106 9856040960 22954 33554432000 1073741824 1073778376 140735685349344 140677929270472 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25454/tid=25473] ppid=25451 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/25454/task/25473/stat : 25473 (java) S 25451 25454 27127 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 115008149 9856040960 22954 33554432000 1073741824 1073778376 140735685349344 140677928215464 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 2.29 Current children cumulated vsize (KiB) 9625040 [startup+3.10079 s] /proc/loadavg: 2.08 2.04 2.01 3/213 25473 /proc/meminfo: memFree=30141464/32872528 swapFree=10608/190480 [pid=25454] ppid=25451 vsize=9625040 CPUtime=3.99 cores=1,3,5,7 /proc/25454/stat : 25454 (java) S 25451 25454 27127 0 -1 4202496 10758 0 1 0 396 3 0 0 20 0 19 0 115008100 9856040960 23982 33554432000 1073741824 1073778376 140735685349344 140735685340480 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/25454/statm: 2406260 23982 2272 9 0 2396937 0 [pid=25454/tid=25456] ppid=25451 vsize=9625040 CPUtime=3.07 cores=1,3,5,7 /proc/25454/task/25456/stat : 25456 (java) R 25451 25454 27127 0 -1 4202560 2449 0 1 0 304 3 0 0 20 0 19 0 115008101 9856040960 23982 33554432000 1073741824 1073778376 140735685349344 140678112992960 140677980247093 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=25454/tid=25457] ppid=25451 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/25454/task/25457/stat : 25457 (java) S 25451 25454 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 115008102 9856040960 23982 33554432000 1073741824 1073778376 140735685349344 140678102063400 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25454/tid=25458] ppid=25451 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/25454/task/25458/stat : 25458 (java) S 25451 25454 27127 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 115008102 9856040960 23982 33554432000 1073741824 1073778376 140735685349344 140678101010600 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25454/tid=25459] ppid=25451 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/25454/task/25459/stat : 25459 (java) S 25451 25454 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 115008102 9856040960 23982 33554432000 1073741824 1073778376 140735685349344 140678099958312 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25454/tid=25460] ppid=25451 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/25454/task/25460/stat : 25460 (java) S 25451 25454 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 115008102 9856040960 23982 33554432000 1073741824 1073778376 140735685349344 140678098905512 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=25454/tid=25461] ppid=25451 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/25454/task/25461/stat : 25461 (java) S 25451 25454 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 115008102 9856040960 23982 33554432000 1073741824 1073778376 140735685349344 140677951994664 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25454/tid=25462] ppid=25451 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/25454/task/25462/stat : 25462 (java) S 25451 25454 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 115008102 9856040960 23982 33554432000 1073741824 1073778376 140735685349344 140677950941864 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=25454/tid=25463] ppid=25451 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/25454/task/25463/stat : 25463 (java) S 25451 25454 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 115008102 9856040960 23982 33554432000 1073741824 1073778376 140735685349344 140677949889576 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25454/tid=25464] ppid=25451 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/25454/task/25464/stat : 25464 (java) S 25451 25454 27127 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 115008102 9856040960 23982 33554432000 1073741824 1073778376 140735685349344 140677948836776 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25454/tid=25465] ppid=25451 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/25454/task/25465/stat : 25465 (java) S 25451 25454 27127 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 115008103 9856040960 23982 33554432000 1073741824 1073778376 140735685349344 140677936638184 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25454/tid=25466] ppid=25451 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/25454/task/25466/stat : 25466 (java) S 25451 25454 27127 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 115008104 9856040960 23982 33554432000 1073741824 1073778376 140735685349344 140677935584248 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25454/tid=25467] ppid=25451 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/25454/task/25467/stat : 25467 (java) S 25451 25454 27127 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 115008104 9856040960 23982 33554432000 1073741824 1073778376 140735685349344 140677934531848 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25454/tid=25468] ppid=25451 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/25454/task/25468/stat : 25468 (java) S 25451 25454 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 115008106 9856040960 23982 33554432000 1073741824 1073778376 140735685349344 140677933480336 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25454/tid=25469] ppid=25451 vsize=9625040 CPUtime=0.47 cores=1,3,5,7 /proc/25454/task/25469/stat : 25469 (java) S 25451 25454 27127 0 -1 4202560 4828 0 0 0 47 0 0 0 20 0 19 0 115008106 9856040960 23982 33554432000 1073741824 1073778376 140735685349344 140677932427960 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25454/tid=25470] ppid=25451 vsize=9625040 CPUtime=0.42 cores=1,3,5,7 /proc/25454/task/25470/stat : 25470 (java) S 25451 25454 27127 0 -1 4202560 2203 0 0 0 42 0 0 0 20 0 19 0 115008106 9856040960 23982 33554432000 1073741824 1073778376 140735685349344 140677931375160 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25454/tid=25471] ppid=25451 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/25454/task/25471/stat : 25471 (java) S 25451 25454 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 115008106 9856040960 23982 33554432000 1073741824 1073778376 140735685349344 140677930323064 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25454/tid=25472] ppid=25451 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/25454/task/25472/stat : 25472 (java) S 25451 25454 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 115008106 9856040960 23982 33554432000 1073741824 1073778376 140735685349344 140677929270472 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25454/tid=25473] ppid=25451 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/25454/task/25473/stat : 25473 (java) S 25451 25454 27127 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 115008149 9856040960 23982 33554432000 1073741824 1073778376 140735685349344 140677928215464 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 3.99 Current children cumulated vsize (KiB) 9625040 [startup+6.30088 s] /proc/loadavg: 2.07 2.04 2.00 3/213 25473 /proc/meminfo: memFree=30135320/32872528 swapFree=10608/190480 [pid=25454] ppid=25451 vsize=9625040 CPUtime=7.22 cores=1,3,5,7 /proc/25454/stat : 25454 (java) S 25451 25454 27127 0 -1 4202496 10763 0 1 0 719 3 0 0 20 0 19 0 115008100 9856040960 25518 33554432000 1073741824 1073778376 140735685349344 140735685340480 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/25454/statm: 2406260 25518 2272 9 0 2396937 0 [pid=25454/tid=25456] ppid=25451 vsize=9625040 CPUtime=6.27 cores=1,3,5,7 /proc/25454/task/25456/stat : 25456 (java) R 25451 25454 27127 0 -1 4202560 2454 0 1 0 624 3 0 0 20 0 19 0 115008101 9856040960 25518 33554432000 1073741824 1073778376 140735685349344 140678112992960 140677980371274 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=25454/tid=25457] ppid=25451 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/25454/task/25457/stat : 25457 (java) S 25451 25454 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 115008102 9856040960 25518 33554432000 1073741824 1073778376 140735685349344 140678102063400 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25454/tid=25458] ppid=25451 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/25454/task/25458/stat : 25458 (java) S 25451 25454 27127 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 115008102 9856040960 25518 33554432000 1073741824 1073778376 140735685349344 140678101010600 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25454/tid=25459] ppid=25451 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/25454/task/25459/stat : 25459 (java) S 25451 25454 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 115008102 9856040960 25518 33554432000 1073741824 1073778376 140735685349344 140678099958312 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25454/tid=25460] ppid=25451 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/25454/task/25460/stat : 25460 (java) S 25451 25454 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 115008102 9856040960 25518 33554432000 1073741824 1073778376 140735685349344 140678098905512 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=25454/tid=25461] ppid=25451 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/25454/task/25461/stat : 25461 (java) S 25451 25454 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 115008102 9856040960 25518 33554432000 1073741824 1073778376 140735685349344 140677951994664 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25454/tid=25462] ppid=25451 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/25454/task/25462/stat : 25462 (java) S 25451 25454 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 115008102 9856040960 25518 33554432000 1073741824 1073778376 140735685349344 140677950941864 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=25454/tid=25463] ppid=25451 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/25454/task/25463/stat : 25463 (java) S 25451 25454 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 115008102 9856040960 25518 33554432000 1073741824 1073778376 140735685349344 140677949889576 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25454/tid=25464] ppid=25451 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/25454/task/25464/stat : 25464 (java) S 25451 25454 27127 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 115008102 9856040960 25518 33554432000 1073741824 1073778376 140735685349344 140677948836776 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25454/tid=25465] ppid=25451 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/25454/task/25465/stat : 25465 (java) S 25451 25454 27127 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 115008103 9856040960 25518 33554432000 1073741824 1073778376 140735685349344 140677936638184 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25454/tid=25466] ppid=25451 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/25454/task/25466/stat : 25466 (java) S 25451 25454 27127 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 115008104 9856040960 25518 33554432000 1073741824 1073778376 140735685349344 140677935584248 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25454/tid=25467] ppid=25451 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/25454/task/25467/stat : 25467 (java) S 25451 25454 27127 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 115008104 9856040960 25518 33554432000 1073741824 1073778376 140735685349344 140677934531848 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25454/tid=25468] ppid=25451 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/25454/task/25468/stat : 25468 (java) S 25451 25454 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 115008106 9856040960 25518 33554432000 1073741824 1073778376 140735685349344 140677933480336 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25454/tid=25469] ppid=25451 vsize=9625040 CPUtime=0.48 cores=1,3,5,7 /proc/25454/task/25469/stat : 25469 (java) S 25451 25454 27127 0 -1 4202560 4828 0 0 0 48 0 0 0 20 0 19 0 115008106 9856040960 25518 33554432000 1073741824 1073778376 140735685349344 140677932427960 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25454/tid=25470] ppid=25451 vsize=9625040 CPUtime=0.44 cores=1,3,5,7 /proc/25454/task/25470/stat : 25470 (java) S 25451 25454 27127 0 -1 4202560 2203 0 0 0 44 0 0 0 20 0 19 0 115008106 9856040960 25518 33554432000 1073741824 1073778376 140735685349344 140677931375160 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25454/tid=25471] ppid=25451 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/25454/task/25471/stat : 25471 (java) S 25451 25454 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 115008106 9856040960 25518 33554432000 1073741824 1073778376 140735685349344 140677930323064 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25454/tid=25472] ppid=25451 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/25454/task/25472/stat : 25472 (java) S 25451 25454 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 115008106 9856040960 25518 33554432000 1073741824 1073778376 140735685349344 140677929270472 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25454/tid=25473] ppid=25451 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/25454/task/25473/stat : 25473 (java) S 25451 25454 27127 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 115008149 9856040960 25518 33554432000 1073741824 1073778376 140735685349344 140677928215464 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 7.22 Current children cumulated vsize (KiB) 9625040 ################ # More data... # ################ [pid=25454/tid=25459] ppid=25451 vsize=9625040 CPUtime=0.45 cores=1,3,5,7 /proc/25454/task/25459/stat : 25459 (java) S 25451 25454 27127 0 -1 4202560 435 0 0 0 38 7 0 0 20 0 19 0 115008102 9856040960 108597 33554432000 1073741824 1073778376 140735685349344 140678099958312 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25454/tid=25460] ppid=25451 vsize=9625040 CPUtime=0.59 cores=1,3,5,7 /proc/25454/task/25460/stat : 25460 (java) S 25451 25454 27127 0 -1 4202560 450 0 0 0 49 10 0 0 20 0 19 0 115008102 9856040960 108597 33554432000 1073741824 1073778376 140735685349344 140678098905512 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25454/tid=25461] ppid=25451 vsize=9625040 CPUtime=0.45 cores=1,3,5,7 /proc/25454/task/25461/stat : 25461 (java) S 25451 25454 27127 0 -1 4202560 329 0 0 0 38 7 0 0 20 0 19 0 115008102 9856040960 108597 33554432000 1073741824 1073778376 140735685349344 140677951994664 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25454/tid=25462] ppid=25451 vsize=9625040 CPUtime=0.55 cores=1,3,5,7 /proc/25454/task/25462/stat : 25462 (java) S 25451 25454 27127 0 -1 4202560 302 0 0 0 47 8 0 0 20 0 19 0 115008102 9856040960 108597 33554432000 1073741824 1073778376 140735685349344 140677950941864 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=25454/tid=25463] ppid=25451 vsize=9625040 CPUtime=0.62 cores=1,3,5,7 /proc/25454/task/25463/stat : 25463 (java) S 25451 25454 27127 0 -1 4202560 372 0 0 0 50 12 0 0 20 0 19 0 115008102 9856040960 108597 33554432000 1073741824 1073778376 140735685349344 140677949889576 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25454/tid=25464] ppid=25451 vsize=9625040 CPUtime=0.56 cores=1,3,5,7 /proc/25454/task/25464/stat : 25464 (java) S 25451 25454 27127 0 -1 4202560 267 0 0 0 46 10 0 0 20 0 19 0 115008102 9856040960 108597 33554432000 1073741824 1073778376 140735685349344 140677948836776 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25454/tid=25465] ppid=25451 vsize=9625040 CPUtime=0.3 cores=1,3,5,7 /proc/25454/task/25465/stat : 25465 (java) S 25451 25454 27127 0 -1 4202560 210 0 0 0 29 1 0 0 20 0 19 0 115008103 9856040960 108597 33554432000 1073741824 1073778376 140735685349344 140677936638184 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25454/tid=25466] ppid=25451 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/25454/task/25466/stat : 25466 (java) S 25451 25454 27127 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 115008104 9856040960 108597 33554432000 1073741824 1073778376 140735685349344 140677935584248 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25454/tid=25467] ppid=25451 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/25454/task/25467/stat : 25467 (java) S 25451 25454 27127 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 115008104 9856040960 108597 33554432000 1073741824 1073778376 140735685349344 140677934531848 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25454/tid=25468] ppid=25451 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/25454/task/25468/stat : 25468 (java) S 25451 25454 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 115008106 9856040960 108597 33554432000 1073741824 1073778376 140735685349344 140677933480336 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25454/tid=25469] ppid=25451 vsize=9625040 CPUtime=0.78 cores=1,3,5,7 /proc/25454/task/25469/stat : 25469 (java) S 25451 25454 27127 0 -1 4202560 7775 0 0 0 78 0 0 0 20 0 19 0 115008106 9856040960 108597 33554432000 1073741824 1073778376 140735685349344 140677932427960 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25454/tid=25470] ppid=25451 vsize=9625040 CPUtime=0.67 cores=1,3,5,7 /proc/25454/task/25470/stat : 25470 (java) S 25451 25454 27127 0 -1 4202560 4217 0 0 0 67 0 0 0 20 0 19 0 115008106 9856040960 108597 33554432000 1073741824 1073778376 140735685349344 140677931375160 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25454/tid=25471] ppid=25451 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/25454/task/25471/stat : 25471 (java) S 25451 25454 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 115008106 9856040960 108597 33554432000 1073741824 1073778376 140735685349344 140677930323064 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25454/tid=25472] ppid=25451 vsize=9625040 CPUtime=0.21 cores=1,3,5,7 /proc/25454/task/25472/stat : 25472 (java) S 25451 25454 27127 0 -1 4202560 59 0 0 0 8 13 0 0 20 0 19 0 115008106 9856040960 108597 33554432000 1073741824 1073778376 140735685349344 140677929270472 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25454/tid=25473] ppid=25451 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/25454/task/25473/stat : 25473 (java) S 25451 25454 27127 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 115008149 9856040960 108597 33554432000 1073741824 1073778376 140735685349344 140677928215464 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1042.12 Current children cumulated vsize (KiB) 9625040 [startup+1038.4 s] /proc/loadavg: 2.00 2.01 2.00 3/213 25500 /proc/meminfo: memFree=28977044/32872528 swapFree=10608/190480 [pid=25454] ppid=25451 vsize=9625040 CPUtime=1042.93 cores=1,3,5,7 /proc/25454/stat : 25454 (java) S 25451 25454 27127 0 -1 4202496 18740 0 1 0 104207 86 0 0 20 0 19 0 115008100 9856040960 108597 33554432000 1073741824 1073778376 140735685349344 140735685340480 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/25454/statm: 2406260 108597 2296 9 0 2396937 0 [pid=25454/tid=25456] ppid=25451 vsize=9625040 CPUtime=1036.87 cores=1,3,5,7 /proc/25454/task/25456/stat : 25456 (java) R 25451 25454 27127 0 -1 4202560 2532 0 1 0 103666 21 0 0 20 0 19 0 115008101 9856040960 108597 33554432000 1073741824 1073778376 140735685349344 140678112993008 140677980395961 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=25454/tid=25457] ppid=25451 vsize=9625040 CPUtime=0.44 cores=1,3,5,7 /proc/25454/task/25457/stat : 25457 (java) S 25451 25454 27127 0 -1 4202560 217 0 0 0 36 8 0 0 20 0 19 0 115008102 9856040960 108597 33554432000 1073741824 1073778376 140735685349344 140678102063400 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25454/tid=25458] ppid=25451 vsize=9625040 CPUtime=0.47 cores=1,3,5,7 /proc/25454/task/25458/stat : 25458 (java) S 25451 25454 27127 0 -1 4202560 311 0 0 0 41 6 0 0 20 0 19 0 115008102 9856040960 108597 33554432000 1073741824 1073778376 140735685349344 140678101010600 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25454/tid=25459] ppid=25451 vsize=9625040 CPUtime=0.45 cores=1,3,5,7 /proc/25454/task/25459/stat : 25459 (java) S 25451 25454 27127 0 -1 4202560 435 0 0 0 38 7 0 0 20 0 19 0 115008102 9856040960 108597 33554432000 1073741824 1073778376 140735685349344 140678099958312 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25454/tid=25460] ppid=25451 vsize=9625040 CPUtime=0.59 cores=1,3,5,7 /proc/25454/task/25460/stat : 25460 (java) S 25451 25454 27127 0 -1 4202560 450 0 0 0 49 10 0 0 20 0 19 0 115008102 9856040960 108597 33554432000 1073741824 1073778376 140735685349344 140678098905512 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25454/tid=25461] ppid=25451 vsize=9625040 CPUtime=0.45 cores=1,3,5,7 /proc/25454/task/25461/stat : 25461 (java) S 25451 25454 27127 0 -1 4202560 329 0 0 0 38 7 0 0 20 0 19 0 115008102 9856040960 108597 33554432000 1073741824 1073778376 140735685349344 140677951994664 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25454/tid=25462] ppid=25451 vsize=9625040 CPUtime=0.55 cores=1,3,5,7 /proc/25454/task/25462/stat : 25462 (java) S 25451 25454 27127 0 -1 4202560 302 0 0 0 47 8 0 0 20 0 19 0 115008102 9856040960 108597 33554432000 1073741824 1073778376 140735685349344 140677950941864 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=25454/tid=25463] ppid=25451 vsize=9625040 CPUtime=0.62 cores=1,3,5,7 /proc/25454/task/25463/stat : 25463 (java) S 25451 25454 27127 0 -1 4202560 372 0 0 0 50 12 0 0 20 0 19 0 115008102 9856040960 108597 33554432000 1073741824 1073778376 140735685349344 140677949889576 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25454/tid=25464] ppid=25451 vsize=9625040 CPUtime=0.56 cores=1,3,5,7 /proc/25454/task/25464/stat : 25464 (java) S 25451 25454 27127 0 -1 4202560 267 0 0 0 46 10 0 0 20 0 19 0 115008102 9856040960 108597 33554432000 1073741824 1073778376 140735685349344 140677948836776 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25454/tid=25465] ppid=25451 vsize=9625040 CPUtime=0.3 cores=1,3,5,7 /proc/25454/task/25465/stat : 25465 (java) S 25451 25454 27127 0 -1 4202560 210 0 0 0 29 1 0 0 20 0 19 0 115008103 9856040960 108597 33554432000 1073741824 1073778376 140735685349344 140677936638184 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25454/tid=25466] ppid=25451 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/25454/task/25466/stat : 25466 (java) S 25451 25454 27127 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 115008104 9856040960 108597 33554432000 1073741824 1073778376 140735685349344 140677935584248 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25454/tid=25467] ppid=25451 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/25454/task/25467/stat : 25467 (java) S 25451 25454 27127 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 115008104 9856040960 108597 33554432000 1073741824 1073778376 140735685349344 140677934531848 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25454/tid=25468] ppid=25451 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/25454/task/25468/stat : 25468 (java) S 25451 25454 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 115008106 9856040960 108597 33554432000 1073741824 1073778376 140735685349344 140677933480336 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25454/tid=25469] ppid=25451 vsize=9625040 CPUtime=0.78 cores=1,3,5,7 /proc/25454/task/25469/stat : 25469 (java) S 25451 25454 27127 0 -1 4202560 7775 0 0 0 78 0 0 0 20 0 19 0 115008106 9856040960 108597 33554432000 1073741824 1073778376 140735685349344 140677932427960 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25454/tid=25470] ppid=25451 vsize=9625040 CPUtime=0.67 cores=1,3,5,7 /proc/25454/task/25470/stat : 25470 (java) S 25451 25454 27127 0 -1 4202560 4217 0 0 0 67 0 0 0 20 0 19 0 115008106 9856040960 108597 33554432000 1073741824 1073778376 140735685349344 140677931375160 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25454/tid=25471] ppid=25451 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/25454/task/25471/stat : 25471 (java) S 25451 25454 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 115008106 9856040960 108597 33554432000 1073741824 1073778376 140735685349344 140677930323064 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25454/tid=25472] ppid=25451 vsize=9625040 CPUtime=0.21 cores=1,3,5,7 /proc/25454/task/25472/stat : 25472 (java) S 25451 25454 27127 0 -1 4202560 61 0 0 0 8 13 0 0 20 0 19 0 115008106 9856040960 108597 33554432000 1073741824 1073778376 140735685349344 140677929270472 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25454/tid=25473] ppid=25451 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/25454/task/25473/stat : 25473 (java) S 25451 25454 27127 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 115008149 9856040960 108597 33554432000 1073741824 1073778376 140735685349344 140677928215464 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1042.93 Current children cumulated vsize (KiB) 9625040 [startup+1038.6 s] /proc/loadavg: 2.00 2.01 2.00 3/213 25500 /proc/meminfo: memFree=28977044/32872528 swapFree=10608/190480 [pid=25454] ppid=25451 vsize=9625040 CPUtime=1043.12 cores=1,3,5,7 /proc/25454/stat : 25454 (java) S 25451 25454 27127 0 -1 4202496 18740 0 1 0 104226 86 0 0 20 0 19 0 115008100 9856040960 108597 33554432000 1073741824 1073778376 140735685349344 140735685340480 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/25454/statm: 2406260 108597 2296 9 0 2396937 0 [pid=25454/tid=25456] ppid=25451 vsize=9625040 CPUtime=1037.06 cores=1,3,5,7 /proc/25454/task/25456/stat : 25456 (java) R 25451 25454 27127 0 -1 4202560 2532 0 1 0 103685 21 0 0 20 0 19 0 115008101 9856040960 108597 33554432000 1073741824 1073778376 140735685349344 140678112993008 140677980446323 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=25454/tid=25457] ppid=25451 vsize=9625040 CPUtime=0.44 cores=1,3,5,7 /proc/25454/task/25457/stat : 25457 (java) S 25451 25454 27127 0 -1 4202560 217 0 0 0 36 8 0 0 20 0 19 0 115008102 9856040960 108597 33554432000 1073741824 1073778376 140735685349344 140678102063400 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25454/tid=25458] ppid=25451 vsize=9625040 CPUtime=0.47 cores=1,3,5,7 /proc/25454/task/25458/stat : 25458 (java) S 25451 25454 27127 0 -1 4202560 311 0 0 0 41 6 0 0 20 0 19 0 115008102 9856040960 108597 33554432000 1073741824 1073778376 140735685349344 140678101010600 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25454/tid=25459] ppid=25451 vsize=9625040 CPUtime=0.45 cores=1,3,5,7 /proc/25454/task/25459/stat : 25459 (java) S 25451 25454 27127 0 -1 4202560 435 0 0 0 38 7 0 0 20 0 19 0 115008102 9856040960 108597 33554432000 1073741824 1073778376 140735685349344 140678099958312 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25454/tid=25460] ppid=25451 vsize=9625040 CPUtime=0.59 cores=1,3,5,7 /proc/25454/task/25460/stat : 25460 (java) S 25451 25454 27127 0 -1 4202560 450 0 0 0 49 10 0 0 20 0 19 0 115008102 9856040960 108597 33554432000 1073741824 1073778376 140735685349344 140678098905512 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25454/tid=25461] ppid=25451 vsize=9625040 CPUtime=0.45 cores=1,3,5,7 /proc/25454/task/25461/stat : 25461 (java) S 25451 25454 27127 0 -1 4202560 329 0 0 0 38 7 0 0 20 0 19 0 115008102 9856040960 108597 33554432000 1073741824 1073778376 140735685349344 140677951994664 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25454/tid=25462] ppid=25451 vsize=9625040 CPUtime=0.55 cores=1,3,5,7 /proc/25454/task/25462/stat : 25462 (java) S 25451 25454 27127 0 -1 4202560 302 0 0 0 47 8 0 0 20 0 19 0 115008102 9856040960 108597 33554432000 1073741824 1073778376 140735685349344 140677950941864 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=25454/tid=25463] ppid=25451 vsize=9625040 CPUtime=0.62 cores=1,3,5,7 /proc/25454/task/25463/stat : 25463 (java) S 25451 25454 27127 0 -1 4202560 372 0 0 0 50 12 0 0 20 0 19 0 115008102 9856040960 108597 33554432000 1073741824 1073778376 140735685349344 140677949889576 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25454/tid=25464] ppid=25451 vsize=9625040 CPUtime=0.56 cores=1,3,5,7 /proc/25454/task/25464/stat : 25464 (java) S 25451 25454 27127 0 -1 4202560 267 0 0 0 46 10 0 0 20 0 19 0 115008102 9856040960 108597 33554432000 1073741824 1073778376 140735685349344 140677948836776 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25454/tid=25465] ppid=25451 vsize=9625040 CPUtime=0.3 cores=1,3,5,7 /proc/25454/task/25465/stat : 25465 (java) S 25451 25454 27127 0 -1 4202560 210 0 0 0 29 1 0 0 20 0 19 0 115008103 9856040960 108597 33554432000 1073741824 1073778376 140735685349344 140677936638184 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25454/tid=25466] ppid=25451 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/25454/task/25466/stat : 25466 (java) S 25451 25454 27127 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 115008104 9856040960 108597 33554432000 1073741824 1073778376 140735685349344 140677935584248 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25454/tid=25467] ppid=25451 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/25454/task/25467/stat : 25467 (java) S 25451 25454 27127 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 115008104 9856040960 108597 33554432000 1073741824 1073778376 140735685349344 140677934531848 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25454/tid=25468] ppid=25451 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/25454/task/25468/stat : 25468 (java) S 25451 25454 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 115008106 9856040960 108597 33554432000 1073741824 1073778376 140735685349344 140677933480336 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25454/tid=25469] ppid=25451 vsize=9625040 CPUtime=0.78 cores=1,3,5,7 /proc/25454/task/25469/stat : 25469 (java) S 25451 25454 27127 0 -1 4202560 7775 0 0 0 78 0 0 0 20 0 19 0 115008106 9856040960 108597 33554432000 1073741824 1073778376 140735685349344 140677932427960 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25454/tid=25470] ppid=25451 vsize=9625040 CPUtime=0.67 cores=1,3,5,7 /proc/25454/task/25470/stat : 25470 (java) S 25451 25454 27127 0 -1 4202560 4217 0 0 0 67 0 0 0 20 0 19 0 115008106 9856040960 108597 33554432000 1073741824 1073778376 140735685349344 140677931375160 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25454/tid=25471] ppid=25451 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/25454/task/25471/stat : 25471 (java) S 25451 25454 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 115008106 9856040960 108597 33554432000 1073741824 1073778376 140735685349344 140677930323064 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25454/tid=25472] ppid=25451 vsize=9625040 CPUtime=0.21 cores=1,3,5,7 /proc/25454/task/25472/stat : 25472 (java) S 25451 25454 27127 0 -1 4202560 61 0 0 0 8 13 0 0 20 0 19 0 115008106 9856040960 108597 33554432000 1073741824 1073778376 140735685349344 140677929270472 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25454/tid=25473] ppid=25451 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/25454/task/25473/stat : 25473 (java) S 25451 25454 27127 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 115008149 9856040960 108597 33554432000 1073741824 1073778376 140735685349344 140677928215464 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1043.12 Current children cumulated vsize (KiB) 9625040 [startup+1038.7 s] /proc/loadavg: 2.00 2.01 2.00 3/213 25500 /proc/meminfo: memFree=28977044/32872528 swapFree=10608/190480 [pid=25454] ppid=25451 vsize=9625040 CPUtime=1043.22 cores=1,3,5,7 /proc/25454/stat : 25454 (java) S 25451 25454 27127 0 -1 4202496 18743 0 1 0 104236 86 0 0 20 0 19 0 115008100 9856040960 108597 33554432000 1073741824 1073778376 140735685349344 140735685340480 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/25454/statm: 2406260 108597 2296 9 0 2396937 0 [pid=25454/tid=25456] ppid=25451 vsize=9625040 CPUtime=1037.16 cores=1,3,5,7 /proc/25454/task/25456/stat : 25456 (java) R 25451 25454 27127 0 -1 4202560 2532 0 1 0 103695 21 0 0 20 0 19 0 115008101 9856040960 108597 33554432000 1073741824 1073778376 140735685349344 140678112993008 140677980494370 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=25454/tid=25457] ppid=25451 vsize=9625040 CPUtime=0.44 cores=1,3,5,7 /proc/25454/task/25457/stat : 25457 (java) S 25451 25454 27127 0 -1 4202560 217 0 0 0 36 8 0 0 20 0 19 0 115008102 9856040960 108597 33554432000 1073741824 1073778376 140735685349344 140678102063400 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25454/tid=25458] ppid=25451 vsize=9625040 CPUtime=0.47 cores=1,3,5,7 /proc/25454/task/25458/stat : 25458 (java) S 25451 25454 27127 0 -1 4202560 311 0 0 0 41 6 0 0 20 0 19 0 115008102 9856040960 108597 33554432000 1073741824 1073778376 140735685349344 140678101010600 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25454/tid=25459] ppid=25451 vsize=9625040 CPUtime=0.45 cores=1,3,5,7 /proc/25454/task/25459/stat : 25459 (java) S 25451 25454 27127 0 -1 4202560 435 0 0 0 38 7 0 0 20 0 19 0 115008102 9856040960 108597 33554432000 1073741824 1073778376 140735685349344 140678099958312 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25454/tid=25460] ppid=25451 vsize=9625040 CPUtime=0.59 cores=1,3,5,7 /proc/25454/task/25460/stat : 25460 (java) S 25451 25454 27127 0 -1 4202560 450 0 0 0 49 10 0 0 20 0 19 0 115008102 9856040960 108597 33554432000 1073741824 1073778376 140735685349344 140678098905512 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25454/tid=25461] ppid=25451 vsize=9625040 CPUtime=0.45 cores=1,3,5,7 /proc/25454/task/25461/stat : 25461 (java) S 25451 25454 27127 0 -1 4202560 329 0 0 0 38 7 0 0 20 0 19 0 115008102 9856040960 108597 33554432000 1073741824 1073778376 140735685349344 140677951994664 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25454/tid=25462] ppid=25451 vsize=9625040 CPUtime=0.55 cores=1,3,5,7 /proc/25454/task/25462/stat : 25462 (java) S 25451 25454 27127 0 -1 4202560 302 0 0 0 47 8 0 0 20 0 19 0 115008102 9856040960 108597 33554432000 1073741824 1073778376 140735685349344 140677950941864 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=25454/tid=25463] ppid=25451 vsize=9625040 CPUtime=0.62 cores=1,3,5,7 /proc/25454/task/25463/stat : 25463 (java) S 25451 25454 27127 0 -1 4202560 372 0 0 0 50 12 0 0 20 0 19 0 115008102 9856040960 108597 33554432000 1073741824 1073778376 140735685349344 140677949889576 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25454/tid=25464] ppid=25451 vsize=9625040 CPUtime=0.56 cores=1,3,5,7 /proc/25454/task/25464/stat : 25464 (java) S 25451 25454 27127 0 -1 4202560 267 0 0 0 46 10 0 0 20 0 19 0 115008102 9856040960 108597 33554432000 1073741824 1073778376 140735685349344 140677948836776 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25454/tid=25465] ppid=25451 vsize=9625040 CPUtime=0.3 cores=1,3,5,7 /proc/25454/task/25465/stat : 25465 (java) S 25451 25454 27127 0 -1 4202560 210 0 0 0 29 1 0 0 20 0 19 0 115008103 9856040960 108597 33554432000 1073741824 1073778376 140735685349344 140677936638184 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25454/tid=25466] ppid=25451 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/25454/task/25466/stat : 25466 (java) S 25451 25454 27127 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 115008104 9856040960 108597 33554432000 1073741824 1073778376 140735685349344 140677935584248 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25454/tid=25467] ppid=25451 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/25454/task/25467/stat : 25467 (java) S 25451 25454 27127 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 115008104 9856040960 108597 33554432000 1073741824 1073778376 140735685349344 140677934531848 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25454/tid=25468] ppid=25451 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/25454/task/25468/stat : 25468 (java) S 25451 25454 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 115008106 9856040960 108597 33554432000 1073741824 1073778376 140735685349344 140677933480336 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25454/tid=25469] ppid=25451 vsize=9625040 CPUtime=0.78 cores=1,3,5,7 /proc/25454/task/25469/stat : 25469 (java) S 25451 25454 27127 0 -1 4202560 7777 0 0 0 78 0 0 0 20 0 19 0 115008106 9856040960 108597 33554432000 1073741824 1073778376 140735685349344 140677932427960 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=25454/tid=25470] ppid=25451 vsize=9625040 CPUtime=0.67 cores=1,3,5,7 /proc/25454/task/25470/stat : 25470 (java) R 25451 25454 27127 0 -1 4202560 4218 0 0 0 67 0 0 0 20 0 19 0 115008106 9856040960 108597 33554432000 1073741824 1073778376 140735685349344 140677931375160 140678116579768 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=25454/tid=25471] ppid=25451 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/25454/task/25471/stat : 25471 (java) S 25451 25454 27127 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 115008106 9856040960 108597 33554432000 1073741824 1073778376 140735685349344 140677930323064 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=25454/tid=25472] ppid=25451 vsize=9625040 CPUtime=0.21 cores=1,3,5,7 /proc/25454/task/25472/stat : 25472 (java) S 25451 25454 27127 0 -1 4202560 61 0 0 0 8 13 0 0 20 0 19 0 115008106 9856040960 108597 33554432000 1073741824 1073778376 140735685349344 140677929270472 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=25454/tid=25473] ppid=25451 vsize=9625040 CPUtime=0 cores=1,3,5,7 /proc/25454/task/25473/stat : 25473 (java) S 25451 25454 27127 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 115008149 9856040960 108597 33554432000 1073741824 1073778376 140735685349344 140677928215464 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1043.22 Current children cumulated vsize (KiB) 9625040 Child status: 30 Real time (s): 1038.74 CPU time (s): 1043.57 CPU user time (s): 1042.39 CPU system time (s): 1.17282 CPU usage (%): 100.465 Max. virtual memory (cumulated for all children) (KiB): 9625040 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1042.39 system time used= 1.17282 maximum resident set size= 713104 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 18760 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1024 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 23397 involuntary context switches= 8270 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 7.71383 second user time and 8.42872 second system time The end
Begin job on node102 at 2016-06-07 22:18:48 IDJOB=4085077 IDBENCH=92690 IDSOLVER=2546 FILE ID=node102/4085077-1465330728 RUNJOBID= node102-1465312757-23538 PBS_JOBID= 19850416 Free space on /tmp= 71728 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_6_mh_ic.opb COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4085077-1465330728/watcher-4085077-1465330728 -o /tmp/evaluation-result-4085077-1465330728/solver-4085077-1465330728 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node102-1465312757-23538 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4085077-1465330728.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= b24b10929da03724a77e08494dd4be05 RANDOM SEED=354976591 node102.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.470 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.94 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.470 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.470 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.470 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.56 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.470 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.56 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.470 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.470 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.470 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: 30228000 kB Buffers: 195812 kB Cached: 802084 kB SwapCached: 2708 kB Active: 955548 kB Inactive: 732932 kB Active(anon): 690432 kB Inactive(anon): 2284 kB Active(file): 265116 kB Inactive(file): 730648 kB Unevictable: 190480 kB Mlocked: 10608 kB SwapTotal: 67108856 kB SwapFree: 67098748 kB Dirty: 1664 kB Writeback: 0 kB AnonPages: 878956 kB Mapped: 16400 kB Shmem: 0 kB Slab: 633808 kB SReclaimable: 77512 kB SUnreclaim: 556296 kB KernelStack: 1608 kB PageTables: 6156 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1891968 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 833536 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= 71724 MiB End job on node102 at 2016-06-07 22:36:07