Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Sat4j Resolution 2.3.0 | SAT (TO) | 24 | 1800.24 | 1795.97 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_6.opb |
MD5SUM | d25f6086317f033c233c4700493f03d1 |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 20 |
Best CPU time to get the best result obtained on this benchmark | 1800.23 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 20 |
Optimality of the best value was proved | NO |
Number of variables | 6027 |
Total number of constraints | 21278 |
Number of constraints which are clauses | 21267 |
Number of constraints which are cardinality constraints (but not clauses) | 1 |
Number of constraints which are nor clauses,nor cardinality constraints | 10 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 650 |
Number of terms in the objective function | 650 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 650 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 31 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 681 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.02/0.09 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.02/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.02/0.09 c See www.sat4j.org for details. 0.02/0.09 c version 2.3.1.v20110525 0.02/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.02/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.02/0.09 c java.vm.version 19.1-b02 0.02/0.09 c java.vm.vendor Sun Microsystems Inc. 0.02/0.09 c sun.arch.data.model 64 0.02/0.09 c java.version 1.6.0_24 0.02/0.09 c os.name Linux 0.02/0.09 c os.version 2.6.18-164.el5 0.02/0.09 c os.arch amd64 0.02/0.09 c Free memory 12995394264 0.02/0.09 c Max memory 13063553024 0.02/0.09 c Total memory 13063553024 0.02/0.09 c Number of processors 8 0.10/0.11 c Pseudo Boolean Optimization 0.10/0.11 c --- Begin Solver configuration --- 0.10/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@38540408 0.10/0.11 c Learn all clauses as in MiniSAT 0.10/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.10/0.11 c Expensive reason simplification 0.10/0.11 c Armin Biere (Picosat) restarts strategy 0.10/0.11 c Glucose learned constraints deletion strategy 0.10/0.11 c timeout=2147483s 0.10/0.11 c DB Simplification allowed=false 0.10/0.11 c --- End Solver configuration --- 0.10/0.11 c solving HOME/instance-3458513-1307157183.opb 0.10/0.11 c reading problem ... 0.71/0.45 c ... done. Wall clock time 0.333s. 0.71/0.45 c #vars 6027 0.71/0.45 c #constraints 21278 0.71/0.45 c constraints type 0.71/0.45 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 5373 0.71/0.45 c org.sat4j.minisat.constraints.card.MinWatchCard => 1 0.71/0.45 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 15899 1.01/0.52 c SATISFIABLE 1.01/0.52 c OPTIMIZING... 1.01/0.52 c Got one! Elapsed wall clock time (in seconds):0.403 1.01/0.52 o 28 1.01/0.55 c Got one! Elapsed wall clock time (in seconds):0.435 1.01/0.55 o 27 1.46/0.72 c Got one! Elapsed wall clock time (in seconds):0.604 1.46/0.72 o 26 2.02/1.24 c Got one! Elapsed wall clock time (in seconds):1.126 2.02/1.24 o 25 2.42/1.67 c cleaning 2748 clauses out of 5506 with flag 2000/5506 3.37/2.57 c cleaning 4371 clauses out of 8758 with flag 8000/11506 4.38/3.50 c cleaning 5678 clauses out of 11387 with flag 15000/18506 5.59/4.73 c cleaning 6845 clauses out of 13709 with flag 23000/26506 7.13/6.20 c cleaning 7920 clauses out of 15864 with flag 32000/35506 8.65/7.78 c cleaning 8962 clauses out of 17946 with flag 42002/45508 10.35/9.41 c cleaning 9970 clauses out of 19982 with flag 53000/56506 12.05/11.19 c cleaning 10994 clauses out of 22014 with flag 65002/68508 14.06/13.13 c cleaning 12007 clauses out of 24021 with flag 78003/81509 16.26/15.39 c cleaning 12981 clauses out of 26011 with flag 92000/95506 18.86/17.97 c cleaning 14009 clauses out of 28030 with flag 107000/110506 21.67/20.76 c cleaning 14999 clauses out of 30022 with flag 123001/126507 24.37/23.44 c cleaning 15999 clauses out of 32023 with flag 140001/143507 27.17/26.24 c cleaning 16993 clauses out of 34023 with flag 158000/161506 30.08/29.16 c cleaning 17996 clauses out of 36031 with flag 177001/180507 33.68/32.73 c cleaning 18990 clauses out of 38034 with flag 197000/200506 36.89/35.97 c cleaning 20009 clauses out of 40044 with flag 218000/221506 40.09/39.13 c cleaning 20993 clauses out of 42035 with flag 240000/243506 43.20/42.25 c cleaning 21506 clauses out of 43044 with flag 262002/265508 46.64/45.57 c cleaning 21749 clauses out of 43536 with flag 284000/287506 49.81/48.51 c cleaning 21883 clauses out of 43793 with flag 306006/309512 53.03/51.78 c cleaning 21927 clauses out of 43905 with flag 328001/331507 56.96/55.64 c cleaning 21978 clauses out of 43977 with flag 350000/353506 62.33/60.65 c cleaning 21982 clauses out of 43999 with flag 372000/375506 67.14/65.43 c cleaning 21978 clauses out of 44018 with flag 394001/397507 70.85/69.19 c cleaning 21976 clauses out of 44040 with flag 416001/419507 74.56/72.86 c cleaning 21994 clauses out of 44064 with flag 438001/441507 77.87/76.19 c cleaning 22022 clauses out of 44071 with flag 460002/463508 81.47/79.77 c cleaning 22013 clauses out of 44048 with flag 482001/485507 87.38/85.64 c cleaning 22009 clauses out of 44042 with flag 504008/507514 92.38/90.62 c cleaning 21986 clauses out of 44025 with flag 526000/529506 95.59/93.83 c cleaning 21993 clauses out of 44040 with flag 548001/551507 98.62/96.88 c cleaning 21999 clauses out of 44047 with flag 570001/573507 101.71/99.95 c cleaning 21995 clauses out of 44048 with flag 592001/595507 105.24/103.42 c cleaning 22000 clauses out of 44053 with flag 614001/617507 109.22/107.47 c cleaning 21999 clauses out of 44053 with flag 636001/639507 113.42/111.60 c cleaning 22011 clauses out of 44055 with flag 658002/661508 116.83/115.09 c cleaning 21995 clauses out of 44042 with flag 680000/683506 120.23/118.44 c cleaning 21983 clauses out of 44048 with flag 702001/705507 123.54/121.70 c cleaning 22019 clauses out of 44066 with flag 724002/727508 128.05/126.27 c cleaning 21994 clauses out of 44045 with flag 746000/749506 133.35/131.51 c cleaning 22014 clauses out of 44051 with flag 768000/771506 137.26/135.41 c cleaning 22003 clauses out of 44037 with flag 790000/793506 139.86/138.04 c cleaning 21998 clauses out of 44035 with flag 812001/815507 142.77/140.90 c cleaning 22001 clauses out of 44037 with flag 834001/837507 145.77/143.93 c cleaning 22001 clauses out of 44036 with flag 856001/859507 148.68/146.83 c cleaning 22001 clauses out of 44036 with flag 878002/881508 149.98/148.18 c Got one! Elapsed wall clock time (in seconds):148.063 149.98/148.18 o 24 151.10/149.28 c cleaning 17900 clauses out of 35852 with flag 5005/895325 152.10/150.21 c cleaning 11948 clauses out of 23947 with flag 11000/901320 153.41/151.54 c cleaning 9479 clauses out of 19004 with flag 18005/908325 154.41/152.56 c cleaning 8723 clauses out of 17520 with flag 26000/916320 155.82/154.01 c cleaning 8873 clauses out of 17797 with flag 35000/925320 158.32/156.40 c cleaning 9443 clauses out of 18924 with flag 45000/935320 160.22/158.37 c cleaning 10233 clauses out of 20481 with flag 56000/946320 162.02/160.12 c cleaning 11113 clauses out of 22249 with flag 68001/958321 164.03/162.11 c cleaning 12058 clauses out of 24137 with flag 81002/971322 167.44/165.55 c cleaning 13024 clauses out of 26084 with flag 95007/985327 171.36/169.46 c cleaning 14018 clauses out of 28057 with flag 110004/1000324 175.45/173.51 c cleaning 14997 clauses out of 30036 with flag 126001/1016321 177.86/175.97 c cleaning 16003 clauses out of 32039 with flag 143001/1033321 180.56/178.66 c cleaning 17000 clauses out of 34035 with flag 161000/1051320 183.49/181.57 c cleaning 18003 clauses out of 36035 with flag 180000/1070320 187.78/185.84 c cleaning 19000 clauses out of 38032 with flag 200000/1090320 192.97/191.04 c cleaning 20002 clauses out of 40033 with flag 221001/1111321 198.00/196.08 c cleaning 20998 clauses out of 42030 with flag 243000/1133320 203.51/201.57 c cleaning 21499 clauses out of 43033 with flag 265001/1155321 208.73/206.75 c cleaning 21745 clauses out of 43534 with flag 287001/1177321 213.92/211.98 c cleaning 21883 clauses out of 43788 with flag 309000/1199320 219.13/217.10 c cleaning 21941 clauses out of 43908 with flag 331003/1221323 224.25/222.28 c cleaning 21963 clauses out of 43964 with flag 353000/1243320 228.08/226.09 c cleaning 21984 clauses out of 44002 with flag 375001/1265321 232.18/230.12 c cleaning 21992 clauses out of 44021 with flag 397004/1287324 236.00/233.99 c cleaning 21995 clauses out of 44027 with flag 419002/1309322 239.90/237.82 c cleaning 21994 clauses out of 44030 with flag 441000/1331320 243.51/241.49 c cleaning 22005 clauses out of 44037 with flag 463001/1353321 247.91/245.86 c cleaning 22008 clauses out of 44032 with flag 485001/1375321 252.62/250.52 c cleaning 21993 clauses out of 44023 with flag 507000/1397320 257.23/255.14 c cleaning 22007 clauses out of 44030 with flag 529000/1419320 261.44/259.39 c cleaning 22003 clauses out of 44026 with flag 551003/1441323 265.84/263.72 c cleaning 21983 clauses out of 44020 with flag 573000/1463320 271.14/269.02 c cleaning 21987 clauses out of 44037 with flag 595000/1485320 276.08/273.97 c cleaning 21993 clauses out of 44050 with flag 617000/1507320 280.87/278.73 c cleaning 22010 clauses out of 44057 with flag 639000/1529320 284.57/282.42 c cleaning 22007 clauses out of 44049 with flag 661002/1551322 288.58/286.49 c cleaning 22003 clauses out of 44041 with flag 683001/1573321 292.18/290.09 c cleaning 21993 clauses out of 44038 with flag 705001/1595321 296.09/293.97 c cleaning 22005 clauses out of 44044 with flag 727000/1617320 300.79/298.67 c cleaning 22009 clauses out of 44042 with flag 749003/1639323 306.30/304.12 c cleaning 22003 clauses out of 44030 with flag 771000/1661320 311.91/309.72 c cleaning 21985 clauses out of 44030 with flag 793003/1683323 317.21/315.07 c cleaning 21994 clauses out of 44042 with flag 815000/1705320 322.92/320.73 c cleaning 22003 clauses out of 44050 with flag 837002/1727322 328.13/325.97 c cleaning 21996 clauses out of 44045 with flag 859000/1749320 333.44/331.21 c cleaning 22006 clauses out of 44050 with flag 881001/1771321 337.76/335.59 c cleaning 21991 clauses out of 44043 with flag 903000/1793320 343.05/340.91 c cleaning 21998 clauses out of 44054 with flag 925002/1815322 348.79/346.57 c cleaning 21983 clauses out of 44054 with flag 947000/1837320 353.98/351.76 c cleaning 21990 clauses out of 44072 with flag 969001/1859321 359.38/357.14 c cleaning 22011 clauses out of 44081 with flag 991000/1881320 364.10/361.91 c cleaning 22002 clauses out of 44070 with flag 1013000/1903320 369.90/367.61 c cleaning 22010 clauses out of 44068 with flag 1035000/1925320 374.91/372.60 c cleaning 22000 clauses out of 44058 with flag 1057000/1947320 379.52/377.25 c cleaning 21995 clauses out of 44058 with flag 1079000/1969320 384.32/382.07 c cleaning 21999 clauses out of 44063 with flag 1101000/1991320 387.83/385.55 c cleaning 22006 clauses out of 44066 with flag 1123002/2013322 390.93/388.64 c cleaning 21999 clauses out of 44058 with flag 1145000/2035320 394.34/392.07 c cleaning 21997 clauses out of 44060 with flag 1167001/2057321 399.04/396.71 c cleaning 21999 clauses out of 44062 with flag 1189000/2079320 402.45/400.14 c cleaning 21996 clauses out of 44063 with flag 1211000/2101320 405.67/403.37 c cleaning 22008 clauses out of 44069 with flag 1233002/2123322 410.49/408.19 c cleaning 22004 clauses out of 44060 with flag 1255001/2145321 415.38/413.03 c cleaning 21991 clauses out of 44057 with flag 1277002/2167322 420.59/418.24 c cleaning 22006 clauses out of 44069 with flag 1299005/2189325 423.39/421.02 c cleaning 22000 clauses out of 44062 with flag 1321004/2211324 426.19/423.83 c cleaning 21995 clauses out of 44058 with flag 1343000/2233320 428.70/426.34 c cleaning 21998 clauses out of 44063 with flag 1365000/2255320 431.20/428.83 c cleaning 21995 clauses out of 44067 with flag 1387002/2277322 434.91/432.50 c cleaning 22012 clauses out of 44070 with flag 1409000/2299320 439.14/436.73 c cleaning 22003 clauses out of 44061 with flag 1431003/2321323 443.02/440.60 c cleaning 21998 clauses out of 44055 with flag 1453000/2343320 447.13/444.73 c cleaning 21996 clauses out of 44057 with flag 1475000/2365320 452.35/449.93 c cleaning 22000 clauses out of 44062 with flag 1497001/2387321 456.85/454.43 c cleaning 21994 clauses out of 44062 with flag 1519001/2409321 460.95/458.55 c cleaning 22002 clauses out of 44070 with flag 1541003/2431323 463.95/461.54 c cleaning 21999 clauses out of 44066 with flag 1563001/2453321 467.06/464.62 c cleaning 22007 clauses out of 44066 with flag 1585000/2475320 470.16/467.74 c cleaning 22011 clauses out of 44060 with flag 1607001/2497321 473.17/470.81 c cleaning 21996 clauses out of 44048 with flag 1629000/2519320 476.37/474.00 c cleaning 21994 clauses out of 44052 with flag 1651000/2541320 479.57/477.11 c cleaning 22007 clauses out of 44061 with flag 1673003/2563323 482.78/480.31 c cleaning 22000 clauses out of 44052 with flag 1695001/2585321 485.78/483.34 c cleaning 21999 clauses out of 44051 with flag 1717000/2607320 489.08/486.60 c cleaning 22000 clauses out of 44052 with flag 1739000/2629320 492.19/489.73 c cleaning 22001 clauses out of 44052 with flag 1761000/2651320 497.00/494.57 c cleaning 22012 clauses out of 44051 with flag 1783000/2673320 502.41/499.91 c cleaning 22013 clauses out of 44039 with flag 1805000/2695320 507.43/504.94 c cleaning 21999 clauses out of 44027 with flag 1827001/2717321 511.31/508.84 c cleaning 21987 clauses out of 44028 with flag 1849001/2739321 515.52/513.00 c cleaning 21990 clauses out of 44040 with flag 1871000/2761320 521.32/518.80 c cleaning 22002 clauses out of 44050 with flag 1893000/2783320 525.73/523.22 c cleaning 22012 clauses out of 44048 with flag 1915000/2805320 530.03/527.52 c cleaning 22004 clauses out of 44036 with flag 1937000/2827320 535.44/532.95 c cleaning 22004 clauses out of 44032 with flag 1959000/2849320 540.46/537.95 c cleaning 21999 clauses out of 44028 with flag 1981000/2871320 545.85/543.34 c cleaning 21992 clauses out of 44029 with flag 2003000/2893320 551.25/548.77 c cleaning 22005 clauses out of 44038 with flag 2025001/2915321 556.66/554.14 c cleaning 22008 clauses out of 44033 with flag 2047001/2937321 561.97/559.41 c cleaning 21998 clauses out of 44024 with flag 2069000/2959320 567.57/565.03 c cleaning 22001 clauses out of 44027 with flag 2091001/2981321 571.97/569.43 c cleaning 21983 clauses out of 44025 with flag 2113000/3003320 575.60/573.07 c cleaning 22012 clauses out of 44043 with flag 2135001/3025321 579.30/576.72 c cleaning 22004 clauses out of 44031 with flag 2157001/3047321 583.31/580.78 c cleaning 21993 clauses out of 44026 with flag 2179000/3069320 587.61/585.01 c cleaning 21989 clauses out of 44033 with flag 2201000/3091320 592.71/590.15 c cleaning 22009 clauses out of 44048 with flag 2223004/3113324 596.92/594.39 c cleaning 21996 clauses out of 44036 with flag 2245001/3135321 602.22/599.66 c cleaning 22002 clauses out of 44043 with flag 2267004/3157324 607.03/604.48 c cleaning 21993 clauses out of 44038 with flag 2289001/3179321 611.43/608.83 c cleaning 21989 clauses out of 44044 with flag 2311000/3201320 615.04/612.44 c cleaning 21992 clauses out of 44055 with flag 2333000/3223320 618.55/615.96 c cleaning 21990 clauses out of 44065 with flag 2355002/3245322 622.75/620.13 c cleaning 21995 clauses out of 44073 with flag 2377000/3267320 625.96/623.40 c cleaning 22012 clauses out of 44080 with flag 2399002/3289322 629.16/626.50 c cleaning 21999 clauses out of 44066 with flag 2421000/3311320 632.57/629.97 c cleaning 22002 clauses out of 44067 with flag 2443000/3333320 635.77/633.17 c cleaning 22006 clauses out of 44066 with flag 2465001/3355321 639.07/636.45 c cleaning 22004 clauses out of 44060 with flag 2487001/3377321 642.58/639.94 c cleaning 21994 clauses out of 44056 with flag 2509001/3399321 646.08/643.51 c cleaning 22002 clauses out of 44063 with flag 2531002/3421322 651.29/648.60 c cleaning 22006 clauses out of 44059 with flag 2553000/3443320 656.39/653.77 c cleaning 22008 clauses out of 44056 with flag 2575003/3465323 661.69/659.04 c cleaning 22011 clauses out of 44045 with flag 2597000/3487320 666.59/663.93 c cleaning 21992 clauses out of 44034 with flag 2619000/3509320 671.70/669.04 c cleaning 22013 clauses out of 44043 with flag 2641001/3531321 677.81/675.11 c cleaning 22002 clauses out of 44031 with flag 2663002/3553322 683.52/680.90 c cleaning 21986 clauses out of 44028 with flag 2685001/3575321 688.12/685.41 c cleaning 22000 clauses out of 44043 with flag 2707002/3597322 693.02/690.38 c cleaning 21994 clauses out of 44042 with flag 2729001/3619321 698.63/695.94 c cleaning 22000 clauses out of 44048 with flag 2751001/3641321 702.94/700.30 c cleaning 21997 clauses out of 44053 with flag 2773006/3663326 706.54/703.85 c cleaning 22000 clauses out of 44050 with flag 2795000/3685320 710.07/707.32 c cleaning 21999 clauses out of 44050 with flag 2817000/3707320 713.46/710.76 c cleaning 21990 clauses out of 44051 with flag 2839000/3729320 717.06/714.37 c cleaning 22003 clauses out of 44062 with flag 2861001/3751321 720.57/717.83 c cleaning 22010 clauses out of 44063 with flag 2883005/3773325 723.87/721.13 c cleaning 21992 clauses out of 44048 with flag 2905000/3795320 727.28/724.52 c cleaning 22002 clauses out of 44056 with flag 2927000/3817320 730.58/727.83 c cleaning 22002 clauses out of 44055 with flag 2949001/3839321 733.98/731.28 c cleaning 21996 clauses out of 44052 with flag 2971000/3861320 737.29/734.58 c cleaning 22005 clauses out of 44060 with flag 2993004/3883324 740.99/738.24 c cleaning 22000 clauses out of 44051 with flag 3015000/3905320 745.00/742.21 c cleaning 22002 clauses out of 44051 with flag 3037000/3927320 748.70/745.92 c cleaning 21996 clauses out of 44050 with flag 3059001/3949321 752.11/749.31 c cleaning 22000 clauses out of 44053 with flag 3081000/3971320 755.12/752.40 c cleaning 21995 clauses out of 44053 with flag 3103000/3993320 758.92/756.10 c cleaning 22006 clauses out of 44058 with flag 3125000/4015320 762.52/759.74 c cleaning 22005 clauses out of 44052 with flag 3147000/4037320 766.03/763.25 c cleaning 22001 clauses out of 44047 with flag 3169000/4059320 769.34/766.60 c cleaning 21999 clauses out of 44047 with flag 3191001/4081321 773.26/770.48 c cleaning 22007 clauses out of 44047 with flag 3213000/4103320 777.37/774.53 c cleaning 22000 clauses out of 44040 with flag 3235000/4125320 781.37/778.59 c cleaning 22000 clauses out of 44041 with flag 3257001/4147321 785.28/782.46 c cleaning 21998 clauses out of 44040 with flag 3279000/4169320 788.68/785.89 c cleaning 22001 clauses out of 44042 with flag 3301000/4191320 792.39/789.59 c cleaning 22002 clauses out of 44041 with flag 3323000/4213320 796.30/793.49 c cleaning 21995 clauses out of 44040 with flag 3345001/4235321 800.70/797.80 c cleaning 22003 clauses out of 44045 with flag 3367001/4257321 804.72/801.82 c cleaning 21998 clauses out of 44041 with flag 3389000/4279320 808.92/806.06 c cleaning 21999 clauses out of 44045 with flag 3411002/4301322 812.62/809.75 c cleaning 22000 clauses out of 44046 with flag 3433002/4323322 816.22/813.38 c cleaning 21999 clauses out of 44044 with flag 3455000/4345320 820.03/817.20 c cleaning 22002 clauses out of 44045 with flag 3477000/4367320 823.96/821.03 c cleaning 21999 clauses out of 44043 with flag 3499000/4389320 828.37/825.41 c cleaning 21993 clauses out of 44044 with flag 3521000/4411320 832.39/829.47 c cleaning 22006 clauses out of 44053 with flag 3543002/4433322 836.68/833.79 c cleaning 21997 clauses out of 44045 with flag 3565000/4455320 841.20/838.27 c cleaning 22004 clauses out of 44048 with flag 3587000/4477320 845.08/842.17 c cleaning 21989 clauses out of 44044 with flag 3609000/4499320 848.69/845.78 c cleaning 21997 clauses out of 44055 with flag 3631000/4521320 853.90/850.99 c cleaning 22010 clauses out of 44058 with flag 3653000/4543320 857.00/854.04 c cleaning 22006 clauses out of 44048 with flag 3675000/4565320 860.81/857.89 c cleaning 22013 clauses out of 44048 with flag 3697006/4587326 865.52/862.51 c cleaning 22001 clauses out of 44029 with flag 3719000/4609320 868.82/865.89 c cleaning 21989 clauses out of 44028 with flag 3741000/4631320 871.83/868.82 c cleaning 21989 clauses out of 44040 with flag 3763001/4653321 875.03/872.01 c cleaning 22004 clauses out of 44051 with flag 3785001/4675321 878.34/875.34 c cleaning 22004 clauses out of 44047 with flag 3807001/4697321 881.85/878.90 c cleaning 21999 clauses out of 44044 with flag 3829002/4719322 885.15/882.17 c cleaning 22008 clauses out of 44046 with flag 3851003/4741323 888.45/885.51 c cleaning 21998 clauses out of 44036 with flag 3873001/4763321 891.75/888.80 c cleaning 21988 clauses out of 44037 with flag 3895000/4785320 895.06/892.07 c cleaning 21994 clauses out of 44049 with flag 3917000/4807320 898.36/895.39 c cleaning 21999 clauses out of 44057 with flag 3939002/4829322 901.56/898.50 c cleaning 22000 clauses out of 44057 with flag 3961001/4851321 904.77/901.77 c cleaning 21998 clauses out of 44057 with flag 3983001/4873321 908.07/905.09 c cleaning 22000 clauses out of 44059 with flag 4005001/4895321 911.58/908.52 c cleaning 22005 clauses out of 44060 with flag 4027002/4917322 916.10/913.02 c cleaning 22013 clauses out of 44054 with flag 4049001/4939321 922.39/919.31 c cleaning 22001 clauses out of 44041 with flag 4071001/4961321 928.70/925.61 c cleaning 21994 clauses out of 44040 with flag 4093001/4983321 934.60/931.50 c cleaning 21992 clauses out of 44045 with flag 4115000/5005320 941.43/938.36 c cleaning 21999 clauses out of 44053 with flag 4137000/5027320 947.92/944.87 c cleaning 22010 clauses out of 44054 with flag 4159000/5049320 953.82/950.79 c cleaning 22002 clauses out of 44044 with flag 4181000/5071320 960.15/957.10 c cleaning 21998 clauses out of 44042 with flag 4203000/5093320 966.34/963.21 c cleaning 22001 clauses out of 44044 with flag 4225000/5115320 972.05/968.94 c cleaning 22002 clauses out of 44043 with flag 4247000/5137320 976.26/973.14 c cleaning 21997 clauses out of 44043 with flag 4269002/5159322 979.26/976.15 c cleaning 21996 clauses out of 44045 with flag 4291001/5181321 981.97/978.91 c cleaning 21996 clauses out of 44048 with flag 4313000/5203320 984.77/981.63 c cleaning 21991 clauses out of 44052 with flag 4335000/5225320 987.69/984.55 c cleaning 21998 clauses out of 44061 with flag 4357000/5247320 990.58/987.41 c cleaning 22002 clauses out of 44063 with flag 4379000/5269320 993.68/990.57 c cleaning 22002 clauses out of 44063 with flag 4401002/5291322 996.98/993.84 c cleaning 21996 clauses out of 44059 with flag 4423000/5313320 1000.19/997.08 c cleaning 21998 clauses out of 44063 with flag 4445000/5335320 1003.49/1000.30 c cleaning 22008 clauses out of 44065 with flag 4467000/5357320 1006.50/1003.38 c cleaning 22006 clauses out of 44058 with flag 4489001/5379321 1010.00/1006.82 c cleaning 21998 clauses out of 44051 with flag 4511000/5401320 1013.30/1010.14 c cleaning 22004 clauses out of 44054 with flag 4533001/5423321 1016.71/1013.50 c cleaning 22001 clauses out of 44050 with flag 4555001/5445321 1019.42/1016.30 c cleaning 21997 clauses out of 44048 with flag 4577000/5467320 1022.84/1019.64 c cleaning 22005 clauses out of 44053 with flag 4599002/5489322 1027.14/1024.01 c cleaning 22009 clauses out of 44047 with flag 4621001/5511321 1031.25/1028.10 c cleaning 21998 clauses out of 44039 with flag 4643002/5533322 1036.25/1033.05 c cleaning 22001 clauses out of 44040 with flag 4665001/5555321 1041.46/1038.28 c cleaning 21995 clauses out of 44039 with flag 4687001/5577321 1047.08/1043.84 c cleaning 22007 clauses out of 44043 with flag 4709000/5599320 1052.69/1049.48 c cleaning 21991 clauses out of 44036 with flag 4731000/5621320 1058.48/1055.24 c cleaning 22010 clauses out of 44045 with flag 4753000/5643320 1063.80/1060.52 c cleaning 22003 clauses out of 44035 with flag 4775000/5665320 1068.30/1065.08 c cleaning 21997 clauses out of 44033 with flag 4797001/5687321 1073.70/1070.41 c cleaning 22004 clauses out of 44037 with flag 4819002/5709322 1078.21/1074.97 c cleaning 21975 clauses out of 44031 with flag 4841000/5731320 1083.22/1079.97 c cleaning 22008 clauses out of 44056 with flag 4863000/5753320 1088.12/1084.86 c cleaning 22011 clauses out of 44048 with flag 4885000/5775320 1092.93/1089.69 c cleaning 22001 clauses out of 44038 with flag 4907001/5797321 1097.73/1094.47 c cleaning 22004 clauses out of 44040 with flag 4929004/5819324 1103.03/1099.75 c cleaning 22006 clauses out of 44038 with flag 4951006/5841326 1108.34/1105.03 c cleaning 21988 clauses out of 44026 with flag 4973000/5863320 1113.26/1109.93 c cleaning 21981 clauses out of 44038 with flag 4995000/5885320 1118.25/1114.99 c cleaning 22006 clauses out of 44057 with flag 5017000/5907320 1123.46/1120.11 c cleaning 21995 clauses out of 44051 with flag 5039000/5929320 1128.56/1125.23 c cleaning 21999 clauses out of 44056 with flag 5061000/5951320 1133.67/1130.33 c cleaning 22002 clauses out of 44057 with flag 5083000/5973320 1137.07/1133.77 c cleaning 21990 clauses out of 44056 with flag 5105001/5995321 1139.88/1136.58 c cleaning 21994 clauses out of 44066 with flag 5127001/6017321 1142.68/1139.38 c cleaning 21996 clauses out of 44071 with flag 5149000/6039320 1145.78/1142.44 c cleaning 21999 clauses out of 44076 with flag 5171001/6061321 1148.79/1145.47 c cleaning 21992 clauses out of 44076 with flag 5193000/6083320 1151.81/1148.46 c cleaning 21996 clauses out of 44085 with flag 5215001/6105321 1155.19/1151.84 c cleaning 22001 clauses out of 44089 with flag 5237001/6127321 1158.30/1154.99 c cleaning 22003 clauses out of 44090 with flag 5259003/6149323 1161.20/1157.84 c cleaning 21997 clauses out of 44085 with flag 5281001/6171321 1163.93/1160.56 c cleaning 22006 clauses out of 44089 with flag 5303002/6193322 1166.81/1163.45 c cleaning 21996 clauses out of 44081 with flag 5325000/6215320 1169.92/1166.53 c cleaning 22003 clauses out of 44085 with flag 5347000/6237320 1172.64/1169.25 c cleaning 22002 clauses out of 44082 with flag 5369000/6259320 1175.44/1172.00 c cleaning 21999 clauses out of 44081 with flag 5391001/6281321 1178.44/1175.03 c cleaning 22003 clauses out of 44081 with flag 5413000/6303320 1181.34/1177.91 c cleaning 22002 clauses out of 44078 with flag 5435000/6325320 1184.15/1180.73 c cleaning 21998 clauses out of 44079 with flag 5457003/6347323 1186.96/1183.52 c cleaning 21996 clauses out of 44080 with flag 5479002/6369322 1189.96/1186.58 c cleaning 21996 clauses out of 44082 with flag 5501000/6391320 1193.16/1189.78 c cleaning 22007 clauses out of 44087 with flag 5523001/6413321 1196.56/1193.11 c cleaning 22005 clauses out of 44081 with flag 5545002/6435322 1199.76/1196.38 c cleaning 22000 clauses out of 44075 with flag 5567001/6457321 1203.06/1199.64 c cleaning 21995 clauses out of 44074 with flag 5589000/6479320 1206.17/1202.79 c cleaning 21998 clauses out of 44080 with flag 5611001/6501321 1209.67/1206.24 c cleaning 22003 clauses out of 44081 with flag 5633000/6523320 1212.88/1209.40 c cleaning 21998 clauses out of 44080 with flag 5655002/6545322 1216.28/1212.82 c cleaning 22004 clauses out of 44081 with flag 5677001/6567321 1219.89/1216.41 c cleaning 21999 clauses out of 44076 with flag 5699000/6589320 1223.30/1219.84 c cleaning 22001 clauses out of 44079 with flag 5721002/6611322 1226.30/1222.84 c cleaning 22000 clauses out of 44076 with flag 5743000/6633320 1229.21/1225.74 c cleaning 22005 clauses out of 44081 with flag 5765005/6655325 1232.11/1228.64 c cleaning 22000 clauses out of 44072 with flag 5787001/6677321 1235.11/1231.62 c cleaning 21994 clauses out of 44072 with flag 5809001/6699321 1238.12/1234.68 c cleaning 21992 clauses out of 44078 with flag 5831001/6721321 1241.72/1238.24 c cleaning 22007 clauses out of 44086 with flag 5853001/6743321 1246.13/1242.67 c cleaning 22020 clauses out of 44079 with flag 5875001/6765321 1249.74/1246.28 c cleaning 22013 clauses out of 44059 with flag 5897001/6787321 1254.84/1251.31 c cleaning 21993 clauses out of 44045 with flag 5919000/6809320 1258.36/1254.88 c cleaning 22001 clauses out of 44052 with flag 5941000/6831320 1261.77/1258.23 c cleaning 22004 clauses out of 44051 with flag 5963000/6853320 1266.39/1262.88 c cleaning 22007 clauses out of 44047 with flag 5985000/6875320 1271.68/1268.17 c cleaning 21999 clauses out of 44041 with flag 6007001/6897321 1277.08/1273.51 c cleaning 21993 clauses out of 44041 with flag 6029000/6919320 1280.89/1277.38 c cleaning 22002 clauses out of 44049 with flag 6051001/6941321 1284.30/1280.79 c cleaning 22001 clauses out of 44048 with flag 6073002/6963322 1287.70/1284.16 c cleaning 21989 clauses out of 44045 with flag 6095000/6985320 1291.10/1287.56 c cleaning 21989 clauses out of 44056 with flag 6117000/7007320 1294.71/1291.12 c cleaning 22009 clauses out of 44069 with flag 6139002/7029322 1298.41/1294.81 c cleaning 22003 clauses out of 44058 with flag 6161000/7051320 1302.02/1298.40 c cleaning 22009 clauses out of 44056 with flag 6183001/7073321 1305.72/1302.13 c cleaning 22005 clauses out of 44050 with flag 6205004/7095324 1309.63/1306.05 c cleaning 21999 clauses out of 44043 with flag 6227002/7117322 1313.43/1309.87 c cleaning 22002 clauses out of 44044 with flag 6249002/7139322 1317.14/1313.57 c cleaning 21996 clauses out of 44040 with flag 6271000/7161320 1320.84/1317.27 c cleaning 22005 clauses out of 44044 with flag 6293000/7183320 1324.55/1321.00 c cleaning 21997 clauses out of 44039 with flag 6315000/7205320 1328.57/1324.98 c cleaning 21997 clauses out of 44043 with flag 6337001/7227321 1332.77/1329.10 c cleaning 22002 clauses out of 44045 with flag 6359000/7249320 1336.89/1333.26 c cleaning 22005 clauses out of 44044 with flag 6381001/7271321 1340.78/1337.19 c cleaning 21998 clauses out of 44040 with flag 6403002/7293322 1344.98/1341.39 c cleaning 21999 clauses out of 44042 with flag 6425002/7315322 1349.29/1345.64 c cleaning 22005 clauses out of 44041 with flag 6447000/7337320 1353.79/1350.10 c cleaning 21999 clauses out of 44040 with flag 6469004/7359324 1358.20/1354.54 c cleaning 21992 clauses out of 44038 with flag 6491001/7381321 1362.11/1358.51 c cleaning 21996 clauses out of 44045 with flag 6513000/7403320 1366.31/1362.68 c cleaning 22000 clauses out of 44050 with flag 6535001/7425321 1370.02/1366.39 c cleaning 22005 clauses out of 44050 with flag 6557001/7447321 1373.62/1369.94 c cleaning 22001 clauses out of 44045 with flag 6579001/7469321 1377.33/1373.69 c cleaning 22006 clauses out of 44045 with flag 6601002/7491322 1381.53/1377.89 c cleaning 21990 clauses out of 44037 with flag 6623000/7513320 1386.24/1382.54 c cleaning 21997 clauses out of 44047 with flag 6645000/7535320 1391.44/1387.80 c cleaning 21998 clauses out of 44052 with flag 6667002/7557322 1396.45/1392.71 c cleaning 22005 clauses out of 44053 with flag 6689001/7579321 1401.55/1397.88 c cleaning 21998 clauses out of 44048 with flag 6711001/7601321 1406.17/1402.51 c cleaning 22004 clauses out of 44052 with flag 6733003/7623323 1411.47/1407.73 c cleaning 21989 clauses out of 44045 with flag 6755000/7645320 1417.67/1413.96 c cleaning 22005 clauses out of 44056 with flag 6777000/7667320 1422.37/1418.70 c cleaning 22002 clauses out of 44051 with flag 6799000/7689320 1427.28/1423.54 c cleaning 21999 clauses out of 44052 with flag 6821003/7711323 1432.28/1428.51 c cleaning 22003 clauses out of 44050 with flag 6843000/7733320 1436.19/1432.48 c cleaning 21995 clauses out of 44047 with flag 6865000/7755320 1440.19/1436.40 c cleaning 22009 clauses out of 44052 with flag 6887000/7777320 1444.41/1440.60 c cleaning 21997 clauses out of 44043 with flag 6909000/7799320 1448.61/1444.82 c cleaning 22004 clauses out of 44047 with flag 6931001/7821321 1452.92/1449.14 c cleaning 22003 clauses out of 44043 with flag 6953001/7843321 1457.93/1454.12 c cleaning 21993 clauses out of 44039 with flag 6975000/7865320 1462.34/1458.55 c cleaning 21998 clauses out of 44046 with flag 6997000/7887320 1466.85/1463.03 c cleaning 21999 clauses out of 44050 with flag 7019002/7909322 1470.94/1467.17 c cleaning 22000 clauses out of 44049 with flag 7041000/7931320 1474.85/1471.07 c cleaning 21993 clauses out of 44049 with flag 7063000/7953320 1479.15/1475.39 c cleaning 21994 clauses out of 44056 with flag 7085000/7975320 1483.05/1479.23 c cleaning 22002 clauses out of 44063 with flag 7107001/7997321 1487.36/1483.56 c cleaning 22007 clauses out of 44060 with flag 7129000/8019320 1492.07/1488.31 c cleaning 22006 clauses out of 44054 with flag 7151001/8041321 1496.76/1492.99 c cleaning 21989 clauses out of 44047 with flag 7173000/8063320 1501.67/1497.87 c cleaning 22004 clauses out of 44059 with flag 7195001/8085321 1507.07/1503.26 c cleaning 22009 clauses out of 44055 with flag 7217001/8107321 1512.38/1508.52 c cleaning 22002 clauses out of 44046 with flag 7239001/8129321 1517.51/1513.63 c cleaning 21999 clauses out of 44043 with flag 7261000/8151320 1522.39/1518.58 c cleaning 21994 clauses out of 44044 with flag 7283000/8173320 1526.90/1523.08 c cleaning 22000 clauses out of 44051 with flag 7305001/8195321 1531.31/1527.46 c cleaning 22002 clauses out of 44050 with flag 7327000/8217320 1534.61/1530.78 c cleaning 22005 clauses out of 44049 with flag 7349001/8239321 1537.72/1533.83 c cleaning 22006 clauses out of 44046 with flag 7371003/8261323 1540.72/1536.84 c cleaning 22000 clauses out of 44040 with flag 7393003/8283323 1544.03/1540.19 c cleaning 22003 clauses out of 44038 with flag 7415001/8305321 1547.33/1543.45 c cleaning 21998 clauses out of 44035 with flag 7437001/8327321 1550.45/1546.61 c cleaning 21998 clauses out of 44038 with flag 7459002/8349322 1553.54/1549.62 c cleaning 22003 clauses out of 44040 with flag 7481002/8371322 1556.85/1552.95 c cleaning 21996 clauses out of 44035 with flag 7503000/8393320 1560.05/1556.10 c cleaning 22001 clauses out of 44039 with flag 7525000/8415320 1563.36/1559.44 c cleaning 21994 clauses out of 44039 with flag 7547001/8437321 1566.66/1562.79 c cleaning 22001 clauses out of 44044 with flag 7569000/8459320 1569.96/1566.04 c cleaning 21998 clauses out of 44043 with flag 7591000/8481320 1573.07/1569.14 c cleaning 22008 clauses out of 44047 with flag 7613002/8503322 1576.17/1572.22 c cleaning 21998 clauses out of 44040 with flag 7635003/8525323 1579.37/1575.40 c cleaning 21998 clauses out of 44041 with flag 7657002/8547322 1582.50/1578.56 c cleaning 22001 clauses out of 44042 with flag 7679001/8569321 1585.80/1581.84 c cleaning 21999 clauses out of 44040 with flag 7701000/8591320 1588.89/1584.94 c cleaning 22000 clauses out of 44044 with flag 7723003/8613323 1592.09/1588.12 c cleaning 22002 clauses out of 44042 with flag 7745001/8635321 1595.09/1591.18 c cleaning 21999 clauses out of 44039 with flag 7767000/8657320 1598.29/1594.35 c cleaning 21996 clauses out of 44040 with flag 7789000/8679320 1601.40/1597.42 c cleaning 21995 clauses out of 44045 with flag 7811001/8701321 1604.60/1600.69 c cleaning 21999 clauses out of 44051 with flag 7833002/8723322 1607.91/1603.90 c cleaning 22002 clauses out of 44051 with flag 7855001/8745321 1610.91/1607.01 c cleaning 22001 clauses out of 44049 with flag 7877001/8767321 1614.11/1610.16 c cleaning 22003 clauses out of 44048 with flag 7899001/8789321 1617.22/1613.26 c cleaning 21984 clauses out of 44044 with flag 7921000/8811320 1620.42/1616.43 c cleaning 22012 clauses out of 44062 with flag 7943002/8833322 1623.43/1619.42 c cleaning 22000 clauses out of 44049 with flag 7965001/8855321 1626.56/1622.57 c cleaning 22001 clauses out of 44048 with flag 7987000/8877320 1629.64/1625.62 c cleaning 22002 clauses out of 44047 with flag 8009000/8899320 1632.74/1628.74 c cleaning 22004 clauses out of 44046 with flag 8031001/8921321 1635.85/1631.82 c cleaning 22001 clauses out of 44042 with flag 8053001/8943321 1639.05/1635.05 c cleaning 21999 clauses out of 44041 with flag 8075001/8965321 1642.95/1638.98 c cleaning 22003 clauses out of 44041 with flag 8097000/8987320 1648.57/1644.57 c cleaning 22007 clauses out of 44038 with flag 8119000/9009320 1654.26/1650.27 c cleaning 22004 clauses out of 44031 with flag 8141000/9031320 1660.07/1656.09 c cleaning 21990 clauses out of 44027 with flag 8163000/9053320 1666.19/1662.17 c cleaning 22004 clauses out of 44039 with flag 8185002/9075322 1672.28/1668.29 c cleaning 22005 clauses out of 44033 with flag 8207000/9097320 1678.31/1674.23 c cleaning 21997 clauses out of 44029 with flag 8229001/9119321 1684.10/1680.07 c cleaning 21986 clauses out of 44031 with flag 8251000/9141320 1689.91/1685.86 c cleaning 21995 clauses out of 44046 with flag 8273001/9163321 1695.93/1691.88 c cleaning 21997 clauses out of 44052 with flag 8295002/9185322 1702.12/1698.06 c cleaning 22003 clauses out of 44055 with flag 8317002/9207322 1707.82/1703.81 c cleaning 21996 clauses out of 44050 with flag 8339000/9229320 1713.83/1709.75 c cleaning 22003 clauses out of 44055 with flag 8361001/9251321 1719.63/1715.58 c cleaning 21981 clauses out of 44051 with flag 8383000/9273320 1726.34/1722.23 c cleaning 22022 clauses out of 44071 with flag 8405001/9295321 1732.34/1728.25 c cleaning 22005 clauses out of 44049 with flag 8427001/9317321 1738.65/1734.60 c cleaning 21998 clauses out of 44046 with flag 8449003/9339323 1745.15/1741.06 c cleaning 21995 clauses out of 44045 with flag 8471000/9361320 1752.15/1748.00 c cleaning 22007 clauses out of 44050 with flag 8493000/9383320 1759.36/1755.20 c cleaning 22012 clauses out of 44050 with flag 8515007/9405327 1764.86/1760.79 c cleaning 21995 clauses out of 44031 with flag 8537000/9427320 1770.57/1766.40 c cleaning 22001 clauses out of 44037 with flag 8559001/9449321 1777.08/1772.98 c cleaning 22006 clauses out of 44042 with flag 8581007/9471327 1783.38/1779.29 c cleaning 21999 clauses out of 44032 with flag 8603003/9493323 1789.58/1785.47 c cleaning 21999 clauses out of 44031 with flag 8625001/9515321 1795.59/1791.42 c cleaning 21996 clauses out of 44035 with flag 8647004/9537324 1800.09/1795.92 c starts : 305 1800.09/1795.92 c conflicts : 9554710 1800.09/1795.92 c decisions : 30711313 1800.09/1795.92 c propagations : 3403426502 1800.09/1795.92 c inspects : 10600813525 1800.09/1795.92 c shortcuts : 0 1800.09/1795.92 c learnt literals : 0 1800.09/1795.92 c learnt binary clauses : 5 1800.09/1795.92 c learnt ternary clauses : 1 1800.09/1795.92 c learnt constraints : 9554711 1800.09/1795.92 c ignored constraints : 0 1800.09/1795.92 c root simplifications : 0 1800.09/1795.92 c removed literals (reason simplification) : 381678759 1800.09/1795.92 c reason swapping (by a shorter reason) : 0 1800.09/1795.92 c Calls to reduceDB : 447 1800.09/1795.92 c number of reductions to clauses (during analyze) : 0 1800.09/1795.92 c number of learned constraints concerned by reduction : 0 1800.09/1795.92 c number of learning phase by resolution : 0 1800.09/1795.92 c number of learning phase by cutting planes : 0 1800.09/1795.92 c speed (assignments/second) : 2065503.3891732164 1800.09/1795.92 c non guided choices 36989 1800.09/1795.94 c learnt constraints type 1800.09/1795.94 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 5 1800.09/1795.94 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 39460 1800.09/1795.94 c constraints type 1800.09/1795.94 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 5373 1800.09/1795.94 c org.sat4j.minisat.constraints.card.MinWatchCard => 2 1800.09/1795.94 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 15899 1800.09/1795.94 s SATISFIABLE 1800.09/1795.95 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 1800.09/1795.96 c objective function=24 1800.09/1795.96 c Total wall clock time (in seconds): 1795.846
OK 24
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) 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-3458513-1307157183/watcher-3458513-1307157183 -o /tmp/evaluation-result-3458513-1307157183/solver-3458513-1307157183 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458513-1307157183.opb running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.02 2.00 3/544 3892 /proc/meminfo: memFree=21122456/32951124 swapFree=64303760/67111528 [pid=3892] ppid=3890 vsize=23028 CPUtime=0 cores=0,2,4,6 /proc/3892/stat : 3892 (java) R 3890 3892 32714 0 -1 4202496 956 0 0 0 0 0 0 0 25 0 1 0 808134155 23580672 701 33554432000 1073741824 1073778376 140737165224976 18446744073709551615 233505334760 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/3892/statm: 5757 701 518 9 0 124 0 [pid=3892/tid=3893] ppid=3890 vsize=13526316 CPUtime=0 cores=0,2,4,6 /proc/3892/task/3893/stat : 3893 (java) R 3890 3892 32714 0 -1 4202560 5645 0 1 0 0 0 0 0 25 0 2 0 808134156 13850947584 6462 33554432000 1073741824 1073778376 140737165224976 18446744073709551615 233509991483 0 4 0 16784584 0 0 0 -1 4 0 0 0 [startup+0.026147 s] /proc/loadavg: 2.00 2.02 2.00 3/544 3892 /proc/meminfo: memFree=21122456/32951124 swapFree=64303760/67111528 [pid=3892] ppid=3890 vsize=13526316 CPUtime=0.02 cores=0,2,4,6 /proc/3892/stat : 3892 (java) S 3890 3892 32714 0 -1 4202496 11200 0 1 0 1 1 0 0 25 0 2 0 808134155 13850947584 10903 33554432000 1073741824 1073778376 140737165224976 18446744073709551615 233522100197 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0 /proc/3892/statm: 3381579 10922 917 9 0 3372735 0 [pid=3892/tid=3893] ppid=3890 vsize=13526316 CPUtime=0 cores=0,2,4,6 /proc/3892/task/3893/stat : 3893 (java) R 3890 3892 32714 0 -1 4202560 10120 0 1 0 0 0 0 0 25 0 2 0 808134156 13850947584 10936 33554432000 1073741824 1073778376 140737165224976 18446744073709551615 233509991483 0 4 0 16784584 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 13526316 [startup+0.101139 s] /proc/loadavg: 2.00 2.02 2.00 3/544 3892 /proc/meminfo: memFree=21122456/32951124 swapFree=64303760/67111528 [pid=3892] ppid=3890 vsize=13622484 CPUtime=0.1 cores=0,2,4,6 /proc/3892/stat : 3892 (java) S 3890 3892 32714 0 -1 4202496 15519 0 1 0 9 1 0 0 25 0 18 0 808134155 13949423616 15188 33554432000 1073741824 1073778376 140737165224976 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/3892/statm: 3405621 15189 2092 9 0 3396355 0 [pid=3892/tid=3893] ppid=3890 vsize=13622484 CPUtime=0.08 cores=0,2,4,6 /proc/3892/task/3893/stat : 3893 (java) R 3890 3892 32714 0 -1 4202560 13573 0 1 0 7 1 0 0 18 0 18 0 808134156 13949423616 15189 33554432000 1073741824 1073778376 140737165224976 18446744073709551615 233509958341 0 4 0 16800975 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 13622484 [startup+0.301053 s] /proc/loadavg: 2.00 2.02 2.00 3/544 3892 /proc/meminfo: memFree=21122456/32951124 swapFree=64303760/67111528 [pid=3892] ppid=3890 vsize=13623912 CPUtime=0.5 cores=0,2,4,6 /proc/3892/stat : 3892 (java) S 3890 3892 32714 0 -1 4202496 18624 0 1 0 48 2 0 0 25 0 18 0 808134155 13950885888 18012 33554432000 1073741824 1073778376 140737165224976 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/3892/statm: 3405978 18013 2201 9 0 3396712 0 [pid=3892/tid=3893] ppid=3890 vsize=13623912 CPUtime=0.28 cores=0,2,4,6 /proc/3892/task/3893/stat : 3893 (java) R 3890 3892 32714 0 -1 4202560 15625 0 1 0 26 2 0 0 18 0 18 0 808134156 13950885888 18013 33554432000 1073741824 1073778376 140737165224976 18446744073709551615 46912505590132 0 4 0 16800975 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 0.5 Current children cumulated vsize (KiB) 13623912 [startup+0.701037 s] /proc/loadavg: 2.00 2.02 2.00 3/544 3892 /proc/meminfo: memFree=21122456/32951124 swapFree=64303760/67111528 [pid=3892] ppid=3890 vsize=13628528 CPUtime=1.46 cores=0,2,4,6 /proc/3892/stat : 3892 (java) S 3890 3892 32714 0 -1 4202496 31953 0 1 0 142 4 0 0 25 0 19 0 808134155 13955612672 28514 33554432000 1073741824 1073778376 140737165224976 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/3892/statm: 3407132 28514 2236 9 0 3397866 0 [pid=3892/tid=3893] ppid=3890 vsize=13628528 CPUtime=0.68 cores=0,2,4,6 /proc/3892/task/3893/stat : 3893 (java) R 3890 3892 32714 0 -1 4202560 24371 0 1 0 65 3 0 0 19 0 19 0 808134156 13955612672 28514 33554432000 1073741824 1073778376 140737165224976 18446744073709551615 46912505900291 0 4 0 16800975 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 1.46 Current children cumulated vsize (KiB) 13628528 [startup+1.50092 s] /proc/loadavg: 2.00 2.02 2.00 3/563 3911 /proc/meminfo: memFree=21014000/32951124 swapFree=64303760/67111528 [pid=3892] ppid=3890 vsize=13628528 CPUtime=2.32 cores=0,2,4,6 /proc/3892/stat : 3892 (java) S 3890 3892 32714 0 -1 4202496 32824 0 1 0 228 4 0 0 25 0 19 0 808134155 13955612672 29385 33554432000 1073741824 1073778376 140737165224976 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/3892/statm: 3407132 29385 2239 9 0 3397866 0 [pid=3892/tid=3893] ppid=3890 vsize=13628528 CPUtime=1.48 cores=0,2,4,6 /proc/3892/task/3893/stat : 3893 (java) R 3890 3892 32714 0 -1 4202560 25230 0 1 0 145 3 0 0 20 0 19 0 808134156 13955612672 29385 33554432000 1073741824 1073778376 140737165224976 18446744073709551615 46912505871399 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=3892/tid=3895] ppid=3890 vsize=13628528 CPUtime=0 cores=0,2,4,6 /proc/3892/task/3895/stat : 3895 (java) S 3890 3892 32714 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808134158 13955612672 29385 33554432000 1073741824 1073778376 140737165224976 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170944 0 0 -1 6 0 0 0 [pid=3892/tid=3896] ppid=3890 vsize=13628528 CPUtime=0 cores=0,2,4,6 /proc/3892/task/3896/stat : 3896 (java) S 3890 3892 32714 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808134158 13955612672 29385 33554432000 1073741824 1073778376 140737165224976 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170944 0 0 -1 6 0 0 0 [pid=3892/tid=3897] ppid=3890 vsize=13628528 CPUtime=0 cores=0,2,4,6 /proc/3892/task/3897/stat : 3897 (java) S 3890 3892 32714 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808134158 13955612672 29385 33554432000 1073741824 1073778376 140737165224976 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170944 0 0 -1 6 0 0 0 [pid=3892/tid=3898] ppid=3890 vsize=13628528 CPUtime=0 cores=0,2,4,6 /proc/3892/task/3898/stat : 3898 (java) S 3890 3892 32714 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808134158 13955612672 29385 33554432000 1073741824 1073778376 140737165224976 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170944 0 0 -1 6 0 0 0 [pid=3892/tid=3899] ppid=3890 vsize=13628528 CPUtime=0 cores=0,2,4,6 /proc/3892/task/3899/stat : 3899 (java) S 3890 3892 32714 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808134158 13955612672 29385 33554432000 1073741824 1073778376 140737165224976 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170944 0 0 -1 6 0 0 0 [pid=3892/tid=3900] ppid=3890 vsize=13628528 CPUtime=0 cores=0,2,4,6 /proc/3892/task/3900/stat : 3900 (java) S 3890 3892 32714 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808134158 13955612672 29385 33554432000 1073741824 1073778376 140737165224976 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170944 0 0 -1 6 0 0 0 [pid=3892/tid=3901] ppid=3890 vsize=13628528 CPUtime=0 cores=0,2,4,6 /proc/3892/task/3901/stat : 3901 (java) S 3890 3892 32714 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808134158 13955612672 29385 33554432000 1073741824 1073778376 140737165224976 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170944 0 0 -1 6 0 0 0 [pid=3892/tid=3902] ppid=3890 vsize=13628528 CPUtime=0 cores=0,2,4,6 /proc/3892/task/3902/stat : 3902 (java) S 3890 3892 32714 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808134158 13955612672 29385 33554432000 1073741824 1073778376 140737165224976 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170944 0 0 -1 6 0 0 0 [pid=3892/tid=3903] ppid=3890 vsize=13628528 CPUtime=0 cores=0,2,4,6 /proc/3892/task/3903/stat : 3903 (java) S 3890 3892 32714 0 -1 4202560 5 0 0 0 0 0 0 0 21 0 19 0 808134159 13955612672 29385 33554432000 1073741824 1073778376 140737165224976 18446744073709551615 233522114048 0 0 0 16800975 18446604442208170944 0 0 -1 6 0 0 0 [pid=3892/tid=3904] ppid=3890 vsize=13628528 CPUtime=0 cores=0,2,4,6 /proc/3892/task/3904/stat : 3904 (java) S 3890 3892 32714 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 808134159 13955612672 29385 33554432000 1073741824 1073778376 140737165224976 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170944 0 0 -1 4 0 0 0 [pid=3892/tid=3905] ppid=3890 vsize=13628528 CPUtime=0 cores=0,2,4,6 /proc/3892/task/3905/stat : 3905 (java) S 3890 3892 32714 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 808134159 13955612672 29385 33554432000 1073741824 1073778376 140737165224976 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170944 0 0 -1 4 0 0 0 [pid=3892/tid=3906] ppid=3890 vsize=13628528 CPUtime=0 cores=0,2,4,6 /proc/3892/task/3906/stat : 3906 (java) S 3890 3892 32714 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808134162 13955612672 29385 33554432000 1073741824 1073778376 140737165224976 18446744073709551615 233522121137 0 4 0 16800975 18446604442208170944 0 0 -1 4 0 0 0 [pid=3892/tid=3907] ppid=3890 vsize=13628528 CPUtime=0.45 cores=0,2,4,6 /proc/3892/task/3907/stat : 3907 (java) S 3890 3892 32714 0 -1 4202560 3651 0 0 0 45 0 0 0 20 0 19 0 808134162 13955612672 29385 33554432000 1073741824 1073778376 140737165224976 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170944 0 0 -1 6 0 0 0 [pid=3892/tid=3908] ppid=3890 vsize=13628528 CPUtime=0.37 cores=0,2,4,6 /proc/3892/task/3908/stat : 3908 (java) S 3890 3892 32714 0 -1 4202560 2784 0 0 0 37 0 0 0 15 0 19 0 808134162 13955612672 29385 33554432000 1073741824 1073778376 140737165224976 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170944 0 0 -1 2 0 0 0 [pid=3892/tid=3909] ppid=3890 vsize=13628528 CPUtime=0 cores=0,2,4,6 /proc/3892/task/3909/stat : 3909 (java) S 3890 3892 32714 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808134162 13955612672 29385 33554432000 1073741824 1073778376 140737165224976 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170944 0 0 -1 4 0 0 0 [pid=3892/tid=3910] ppid=3890 vsize=13628528 CPUtime=0 cores=0,2,4,6 /proc/3892/task/3910/stat : 3910 (java) S 3890 3892 32714 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 808134162 13955612672 29385 33554432000 1073741824 1073778376 140737165224976 18446744073709551615 233522114048 0 4 0 16800975 18446604442208170944 0 0 -1 2 0 0 0 [pid=3892/tid=3911] ppid=3890 vsize=13628528 CPUtime=0 cores=0,2,4,6 /proc/3892/task/3911/stat : 3911 (java) S 3890 3892 32714 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 808134202 13955612672 29385 33554432000 1073741824 1073778376 140737165224976 18446744073709551615 233522114048 0 4 0 16800975 18446604442208170944 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 2.32 Current children cumulated vsize (KiB) 13628528 [startup+3.10061 s] /proc/loadavg: 2.00 2.02 2.00 3/563 3911 /proc/meminfo: memFree=21003088/32951124 swapFree=64303760/67111528 [pid=3892] ppid=3890 vsize=13628528 CPUtime=3.98 cores=0,2,4,6 /proc/3892/stat : 3892 (java) S 3890 3892 32714 0 -1 4202496 35821 0 1 0 394 4 0 0 25 0 19 0 808134155 13955612672 32372 33554432000 1073741824 1073778376 140737165224976 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/3892/statm: 3407132 32372 2264 9 0 3397866 0 [pid=3892/tid=3893] ppid=3890 vsize=13628528 CPUtime=3.02 cores=0,2,4,6 /proc/3892/task/3893/stat : 3893 (java) R 3890 3892 32714 0 -1 4202560 25342 0 1 0 299 3 0 0 25 0 19 0 808134156 13955612672 32372 33554432000 1073741824 1073778376 140737165224976 18446744073709551615 46912505870425 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=3892/tid=3895] ppid=3890 vsize=13628528 CPUtime=0 cores=0,2,4,6 /proc/3892/task/3895/stat : 3895 (java) S 3890 3892 32714 0 -1 4202560 280 0 0 0 0 0 0 0 15 0 19 0 808134158 13955612672 32372 33554432000 1073741824 1073778376 140737165224976 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170944 0 0 -1 4 0 0 0 [pid=3892/tid=3896] ppid=3890 vsize=13628528 CPUtime=0 cores=0,2,4,6 /proc/3892/task/3896/stat : 3896 (java) S 3890 3892 32714 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 808134158 13955612672 32372 33554432000 1073741824 1073778376 140737165224976 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170944 0 0 -1 4 0 0 0 [pid=3892/tid=3897] ppid=3890 vsize=13628528 CPUtime=0 cores=0,2,4,6 /proc/3892/task/3897/stat : 3897 (java) S 3890 3892 32714 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 808134158 13955612672 32372 33554432000 1073741824 1073778376 140737165224976 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170944 0 0 -1 4 0 0 0 [pid=3892/tid=3898] ppid=3890 vsize=13628528 CPUtime=0 cores=0,2,4,6 /proc/3892/task/3898/stat : 3898 (java) S 3890 3892 32714 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 808134158 13955612672 32372 33554432000 1073741824 1073778376 140737165224976 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170944 0 0 -1 4 0 0 0 [pid=3892/tid=3899] ppid=3890 vsize=13628528 CPUtime=0 cores=0,2,4,6 /proc/3892/task/3899/stat : 3899 (java) S 3890 3892 32714 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 808134158 13955612672 32372 33554432000 1073741824 1073778376 140737165224976 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170944 0 0 -1 4 0 0 0 [pid=3892/tid=3900] ppid=3890 vsize=13628528 CPUtime=0 cores=0,2,4,6 /proc/3892/task/3900/stat : 3900 (java) S 3890 3892 32714 0 -1 4202560 419 0 0 0 0 0 0 0 18 0 19 0 808134158 13955612672 32372 33554432000 1073741824 1073778376 140737165224976 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170944 0 0 -1 2 0 0 0 [pid=3892/tid=3901] ppid=3890 vsize=13628528 CPUtime=0 cores=0,2,4,6 /proc/3892/task/3901/stat : 3901 (java) S 3890 3892 32714 0 -1 4202560 539 0 0 0 0 0 0 0 18 0 19 0 808134158 13955612672 32372 33554432000 1073741824 1073778376 140737165224976 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170944 0 0 -1 4 0 0 0 [pid=3892/tid=3902] ppid=3890 vsize=13628528 CPUtime=0 cores=0,2,4,6 /proc/3892/task/3902/stat : 3902 (java) S 3890 3892 32714 0 -1 4202560 462 0 0 0 0 0 0 0 18 0 19 0 808134158 13955612672 32372 33554432000 1073741824 1073778376 140737165224976 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170944 0 0 -1 4 0 0 0 [pid=3892/tid=3903] ppid=3890 vsize=13628528 CPUtime=0.04 cores=0,2,4,6 /proc/3892/task/3903/stat : 3903 (java) S 3890 3892 32714 0 -1 4202560 1172 0 0 0 4 0 0 0 15 0 19 0 808134159 13955612672 32372 33554432000 1073741824 1073778376 140737165224976 18446744073709551615 233522114048 0 0 0 16800975 18446604442208170944 0 0 -1 6 0 0 0 [pid=3892/tid=3904] ppid=3890 vsize=13628528 CPUtime=0 cores=0,2,4,6 /proc/3892/task/3904/stat : 3904 (java) S 3890 3892 32714 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 808134159 13955612672 32372 33554432000 1073741824 1073778376 140737165224976 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170944 0 0 -1 4 0 0 0 [pid=3892/tid=3905] ppid=3890 vsize=13628528 CPUtime=0 cores=0,2,4,6 /proc/3892/task/3905/stat : 3905 (java) S 3890 3892 32714 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 808134159 13955612672 32372 33554432000 1073741824 1073778376 140737165224976 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170944 0 0 -1 4 0 0 0 [pid=3892/tid=3906] ppid=3890 vsize=13628528 CPUtime=0 cores=0,2,4,6 /proc/3892/task/3906/stat : 3906 (java) S 3890 3892 32714 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808134162 13955612672 32372 33554432000 1073741824 1073778376 140737165224976 18446744073709551615 233522121137 0 4 0 16800975 18446604442208170944 0 0 -1 4 0 0 0 [pid=3892/tid=3907] ppid=3890 vsize=13628528 CPUtime=0.47 cores=0,2,4,6 /proc/3892/task/3907/stat : 3907 (java) S 3890 3892 32714 0 -1 4202560 3662 0 0 0 47 0 0 0 16 0 19 0 808134162 13955612672 32372 33554432000 1073741824 1073778376 140737165224976 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170944 0 0 -1 6 0 0 0 [pid=3892/tid=3908] ppid=3890 vsize=13628528 CPUtime=0.4 cores=0,2,4,6 /proc/3892/task/3908/stat : 3908 (java) S 3890 3892 32714 0 -1 4202560 2792 0 0 0 40 0 0 0 15 0 19 0 808134162 13955612672 32372 33554432000 1073741824 1073778376 140737165224976 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170944 0 0 -1 2 0 0 0 [pid=3892/tid=3909] ppid=3890 vsize=13628528 CPUtime=0 cores=0,2,4,6 /proc/3892/task/3909/stat : 3909 (java) S 3890 3892 32714 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808134162 13955612672 32372 33554432000 1073741824 1073778376 140737165224976 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170944 0 0 -1 4 0 0 0 [pid=3892/tid=3910] ppid=3890 vsize=13628528 CPUtime=0 cores=0,2,4,6 /proc/3892/task/3910/stat : 3910 (java) S 3890 3892 32714 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 808134162 13955612672 32372 33554432000 1073741824 1073778376 140737165224976 18446744073709551615 233522114048 0 4 0 16800975 18446604442208170944 0 0 -1 2 0 0 0 [pid=3892/tid=3911] ppid=3890 vsize=13628528 CPUtime=0 cores=0,2,4,6 /proc/3892/task/3911/stat : 3911 (java) S 3890 3892 32714 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 808134202 13955612672 32372 33554432000 1073741824 1073778376 140737165224976 18446744073709551615 233522114048 0 4 0 16800975 18446604442208170944 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 3.98 Current children cumulated vsize (KiB) 13628528 [startup+6.30104 s] /proc/loadavg: 2.00 2.02 2.00 3/563 3911 /proc/meminfo: memFree=20996116/32951124 swapFree=64303760/67111528 [pid=3892] ppid=3890 vsize=13628176 CPUtime=7.23 cores=0,2,4,6 /proc/3892/stat : 3892 (java) S 3890 3892 32714 0 -1 4202496 36665 0 1 0 719 4 0 0 25 0 19 0 808134155 13955252224 32968 33554432000 1073741824 1073778376 140737165224976 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/3892/statm: 3407044 32968 2264 9 0 3397778 0 [pid=3892/tid=3893] ppid=3890 vsize=13628176 CPUtime=6.14 cores=0,2,4,6 /proc/3892/task/3893/stat : 3893 (java) R 3890 3892 32714 0 -1 4202560 25345 0 1 0 611 3 0 0 25 0 19 0 808134156 13955252224 32968 33554432000 1073741824 1073778376 140737165224976 18446744073709551615 46912505803232 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=3892/tid=3895] ppid=3890 vsize=13628176 CPUtime=0 cores=0,2,4,6 /proc/3892/task/3895/stat : 3895 (java) S 3890 3892 32714 0 -1 4202560 446 0 0 0 0 0 0 0 15 0 19 0 808134158 13955252224 32968 33554432000 1073741824 1073778376 140737165224976 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170944 0 0 -1 6 0 0 0 [pid=3892/tid=3896] ppid=3890 vsize=13628176 CPUtime=0 cores=0,2,4,6 /proc/3892/task/3896/stat : 3896 (java) S 3890 3892 32714 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 808134158 13955252224 32968 33554432000 1073741824 1073778376 140737165224976 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170944 0 0 -1 6 0 0 0 [pid=3892/tid=3897] ppid=3890 vsize=13628176 CPUtime=0 cores=0,2,4,6 /proc/3892/task/3897/stat : 3897 (java) S 3890 3892 32714 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 808134158 13955252224 32968 33554432000 1073741824 1073778376 140737165224976 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170944 0 0 -1 6 0 0 0 [pid=3892/tid=3898] ppid=3890 vsize=13628176 CPUtime=0 cores=0,2,4,6 /proc/3892/task/3898/stat : 3898 (java) S 3890 3892 32714 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 808134158 13955252224 32968 33554432000 1073741824 1073778376 140737165224976 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170944 0 0 -1 2 0 0 0 [pid=3892/tid=3899] ppid=3890 vsize=13628176 CPUtime=0 cores=0,2,4,6 /proc/3892/task/3899/stat : 3899 (java) S 3890 3892 32714 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 808134158 13955252224 32968 33554432000 1073741824 1073778376 140737165224976 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170944 0 0 -1 6 0 0 0 [pid=3892/tid=3900] ppid=3890 vsize=13628176 CPUtime=0 cores=0,2,4,6 /proc/3892/task/3900/stat : 3900 (java) S 3890 3892 32714 0 -1 4202560 581 0 0 0 0 0 0 0 16 0 19 0 808134158 13955252224 32968 33554432000 1073741824 1073778376 140737165224976 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170944 0 0 -1 2 0 0 0 [pid=3892/tid=3901] ppid=3890 vsize=13628176 CPUtime=0.01 cores=0,2,4,6 /proc/3892/task/3901/stat : 3901 (java) S 3890 3892 32714 0 -1 4202560 700 0 0 0 1 0 0 0 18 0 19 0 808134158 13955252224 32968 33554432000 1073741824 1073778376 140737165224976 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170944 0 0 -1 2 0 0 0 [pid=3892/tid=3902] ppid=3890 vsize=13628176 CPUtime=0.01 cores=0,2,4,6 /proc/3892/task/3902/stat : 3902 (java) S 3890 3892 32714 0 -1 4202560 466 0 0 0 1 0 0 0 15 0 19 0 808134158 13955252224 32968 33554432000 1073741824 1073778376 140737165224976 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170944 0 0 -1 6 0 0 0 [pid=3892/tid=3903] ppid=3890 vsize=13628176 CPUtime=0.1 cores=0,2,4,6 /proc/3892/task/3903/stat : 3903 (java) S 3890 3892 32714 0 -1 4202560 1389 0 0 0 10 0 0 0 16 0 19 0 808134159 13955252224 32968 33554432000 1073741824 1073778376 140737165224976 18446744073709551615 233522114048 0 0 0 16800975 18446604442208170944 0 0 -1 4 0 0 0 [pid=3892/tid=3904] ppid=3890 vsize=13628176 CPUtime=0 cores=0,2,4,6 /proc/3892/task/3904/stat : 3904 (java) S 3890 3892 32714 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 808134159 13955252224 32968 33554432000 1073741824 1073778376 140737165224976 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170944 0 0 -1 4 0 0 0 [pid=3892/tid=3905] ppid=3890 vsize=13628176 CPUtime=0 cores=0,2,4,6 /proc/3892/task/3905/stat : 3905 (java) S 3890 3892 32714 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 808134159 13955252224 32968 33554432000 1073741824 1073778376 140737165224976 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170944 0 0 -1 4 0 0 0 [pid=3892/tid=3906] ppid=3890 vsize=13628176 CPUtime=0 cores=0,2,4,6 /proc/3892/task/3906/stat : 3906 (java) S 3890 3892 32714 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808134162 13955252224 32968 33554432000 1073741824 1073778376 140737165224976 18446744073709551615 233522121137 0 4 0 16800975 18446604442208170944 0 0 -1 4 0 0 0 [pid=3892/tid=3907] ppid=3890 vsize=13628176 CPUtime=0.52 cores=0,2,4,6 /proc/3892/task/3907/stat : 3907 (java) S 3890 3892 32714 0 -1 4202560 3792 0 0 0 52 0 0 0 15 0 19 0 808134162 13955252224 32968 33554432000 1073741824 1073778376 140737165224976 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170944 0 0 -1 6 0 0 0 [pid=3892/tid=3908] ppid=3890 vsize=13628176 CPUtime=0.41 cores=0,2,4,6 /proc/3892/task/3908/stat : 3908 (java) S 3890 3892 32714 0 -1 4202560 2792 0 0 0 41 0 0 0 15 0 19 0 808134162 13955252224 32968 33554432000 1073741824 1073778376 140737165224976 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170944 0 0 -1 2 0 0 0 ################ # More data... # ################ [pid=3892/tid=3900] ppid=3890 vsize=13628740 CPUtime=0.47 cores=0,2,4,6 /proc/3892/task/3900/stat : 3900 (java) S 3890 3892 32714 0 -1 4202560 1138 0 0 0 47 0 0 0 16 0 19 0 808134158 13955829760 51398 33554432000 1073741824 1073778376 140737165224976 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170944 0 0 -1 0 0 0 0 [pid=3892/tid=3901] ppid=3890 vsize=13628740 CPUtime=0.45 cores=0,2,4,6 /proc/3892/task/3901/stat : 3901 (java) S 3890 3892 32714 0 -1 4202560 1843 0 0 0 45 0 0 0 15 0 19 0 808134158 13955829760 51398 33554432000 1073741824 1073778376 140737165224976 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170944 0 0 -1 6 0 0 0 [pid=3892/tid=3902] ppid=3890 vsize=13628740 CPUtime=0.52 cores=0,2,4,6 /proc/3892/task/3902/stat : 3902 (java) S 3890 3892 32714 0 -1 4202560 3742 0 0 0 52 0 0 0 15 0 19 0 808134158 13955829760 51398 33554432000 1073741824 1073778376 140737165224976 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170944 0 0 -1 6 0 0 0 [pid=3892/tid=3903] ppid=3890 vsize=13628740 CPUtime=15.15 cores=0,2,4,6 /proc/3892/task/3903/stat : 3903 (java) S 3890 3892 32714 0 -1 4202560 7043 0 0 0 1511 4 0 0 16 0 19 0 808134159 13955829760 51398 33554432000 1073741824 1073778376 140737165224976 18446744073709551615 233522114048 0 0 0 16800975 18446604442208170944 0 0 -1 4 0 0 0 [pid=3892/tid=3904] ppid=3890 vsize=13628740 CPUtime=0 cores=0,2,4,6 /proc/3892/task/3904/stat : 3904 (java) S 3890 3892 32714 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 808134159 13955829760 51398 33554432000 1073741824 1073778376 140737165224976 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170944 0 0 -1 4 0 0 0 [pid=3892/tid=3905] ppid=3890 vsize=13628740 CPUtime=0 cores=0,2,4,6 /proc/3892/task/3905/stat : 3905 (java) S 3890 3892 32714 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 808134159 13955829760 51398 33554432000 1073741824 1073778376 140737165224976 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170944 0 0 -1 4 0 0 0 [pid=3892/tid=3906] ppid=3890 vsize=13628740 CPUtime=0 cores=0,2,4,6 /proc/3892/task/3906/stat : 3906 (java) S 3890 3892 32714 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808134162 13955829760 51398 33554432000 1073741824 1073778376 140737165224976 18446744073709551615 233522121137 0 4 0 16800975 18446604442208170944 0 0 -1 4 0 0 0 [pid=3892/tid=3907] ppid=3890 vsize=13628740 CPUtime=1.28 cores=0,2,4,6 /proc/3892/task/3907/stat : 3907 (java) S 3890 3892 32714 0 -1 4202560 10862 0 0 0 127 1 0 0 15 0 19 0 808134162 13955829760 51398 33554432000 1073741824 1073778376 140737165224976 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170944 0 0 -1 0 0 0 0 [pid=3892/tid=3908] ppid=3890 vsize=13628740 CPUtime=0.44 cores=0,2,4,6 /proc/3892/task/3908/stat : 3908 (java) S 3890 3892 32714 0 -1 4202560 2795 0 0 0 44 0 0 0 15 0 19 0 808134162 13955829760 51398 33554432000 1073741824 1073778376 140737165224976 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170944 0 0 -1 2 0 0 0 [pid=3892/tid=3909] ppid=3890 vsize=13628740 CPUtime=0 cores=0,2,4,6 /proc/3892/task/3909/stat : 3909 (java) S 3890 3892 32714 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808134162 13955829760 51398 33554432000 1073741824 1073778376 140737165224976 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170944 0 0 -1 4 0 0 0 [pid=3892/tid=3910] ppid=3890 vsize=13628740 CPUtime=0 cores=0,2,4,6 /proc/3892/task/3910/stat : 3910 (java) S 3890 3892 32714 0 -1 4202560 96 0 0 0 0 0 0 0 15 0 19 0 808134162 13955829760 51398 33554432000 1073741824 1073778376 140737165224976 18446744073709551615 233522114048 0 4 0 16800975 18446604442208170944 0 0 -1 0 0 0 0 [pid=3892/tid=3911] ppid=3890 vsize=13628740 CPUtime=0 cores=0,2,4,6 /proc/3892/task/3911/stat : 3911 (java) S 3890 3892 32714 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 808134202 13955829760 51398 33554432000 1073741824 1073778376 140737165224976 18446744073709551615 233522114048 0 4 0 16800975 18446604442208170944 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 1726.44 Current children cumulated vsize (KiB) 13628740 [startup+1782.3 s] /proc/loadavg: 2.00 2.01 2.00 3/563 4009 /proc/meminfo: memFree=22177032/32951124 swapFree=64303760/67111528 [pid=3892] ppid=3890 vsize=13628740 CPUtime=1786.48 cores=0,2,4,6 /proc/3892/stat : 3892 (java) S 3890 3892 32714 0 -1 4202496 62726 0 1 0 178633 15 0 0 25 0 19 0 808134155 13955829760 51495 33554432000 1073741824 1073778376 140737165224976 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/3892/statm: 3407185 51495 2265 9 0 3397919 0 [pid=3892/tid=3893] ppid=3890 vsize=13628740 CPUtime=1765.22 cores=0,2,4,6 /proc/3892/task/3893/stat : 3893 (java) R 3890 3892 32714 0 -1 4202560 25789 0 1 0 176518 4 0 0 25 0 19 0 808134156 13955829760 51495 33554432000 1073741824 1073778376 140737165224976 18446744073709551615 46912505366496 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=3892/tid=3895] ppid=3890 vsize=13628740 CPUtime=0.48 cores=0,2,4,6 /proc/3892/task/3895/stat : 3895 (java) S 3890 3892 32714 0 -1 4202560 2206 0 0 0 48 0 0 0 15 0 19 0 808134158 13955829760 51495 33554432000 1073741824 1073778376 140737165224976 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170944 0 0 -1 0 0 0 0 [pid=3892/tid=3896] ppid=3890 vsize=13628740 CPUtime=0.52 cores=0,2,4,6 /proc/3892/task/3896/stat : 3896 (java) S 3890 3892 32714 0 -1 4202560 2328 0 0 0 52 0 0 0 15 0 19 0 808134158 13955829760 51495 33554432000 1073741824 1073778376 140737165224976 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170944 0 0 -1 2 0 0 0 [pid=3892/tid=3897] ppid=3890 vsize=13628740 CPUtime=0.43 cores=0,2,4,6 /proc/3892/task/3897/stat : 3897 (java) S 3890 3892 32714 0 -1 4202560 588 0 0 0 43 0 0 0 15 0 19 0 808134158 13955829760 51495 33554432000 1073741824 1073778376 140737165224976 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170944 0 0 -1 2 0 0 0 [pid=3892/tid=3898] ppid=3890 vsize=13628740 CPUtime=0.51 cores=0,2,4,6 /proc/3892/task/3898/stat : 3898 (java) S 3890 3892 32714 0 -1 4202560 1965 0 0 0 51 0 0 0 16 0 19 0 808134158 13955829760 51495 33554432000 1073741824 1073778376 140737165224976 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170944 0 0 -1 6 0 0 0 [pid=3892/tid=3899] ppid=3890 vsize=13628740 CPUtime=0.51 cores=0,2,4,6 /proc/3892/task/3899/stat : 3899 (java) S 3890 3892 32714 0 -1 4202560 1107 0 0 0 51 0 0 0 15 0 19 0 808134158 13955829760 51495 33554432000 1073741824 1073778376 140737165224976 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170944 0 0 -1 2 0 0 0 [pid=3892/tid=3900] ppid=3890 vsize=13628740 CPUtime=0.48 cores=0,2,4,6 /proc/3892/task/3900/stat : 3900 (java) S 3890 3892 32714 0 -1 4202560 1143 0 0 0 48 0 0 0 15 0 19 0 808134158 13955829760 51495 33554432000 1073741824 1073778376 140737165224976 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170944 0 0 -1 0 0 0 0 [pid=3892/tid=3901] ppid=3890 vsize=13628740 CPUtime=0.46 cores=0,2,4,6 /proc/3892/task/3901/stat : 3901 (java) S 3890 3892 32714 0 -1 4202560 1843 0 0 0 46 0 0 0 15 0 19 0 808134158 13955829760 51495 33554432000 1073741824 1073778376 140737165224976 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170944 0 0 -1 6 0 0 0 [pid=3892/tid=3902] ppid=3890 vsize=13628740 CPUtime=0.53 cores=0,2,4,6 /proc/3892/task/3902/stat : 3902 (java) S 3890 3892 32714 0 -1 4202560 3749 0 0 0 53 0 0 0 15 0 19 0 808134158 13955829760 51495 33554432000 1073741824 1073778376 140737165224976 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170944 0 0 -1 2 0 0 0 [pid=3892/tid=3903] ppid=3890 vsize=13628740 CPUtime=15.49 cores=0,2,4,6 /proc/3892/task/3903/stat : 3903 (java) S 3890 3892 32714 0 -1 4202560 7103 0 0 0 1545 4 0 0 15 0 19 0 808134159 13955829760 51495 33554432000 1073741824 1073778376 140737165224976 18446744073709551615 233522114048 0 0 0 16800975 18446604442208170944 0 0 -1 4 0 0 0 [pid=3892/tid=3904] ppid=3890 vsize=13628740 CPUtime=0 cores=0,2,4,6 /proc/3892/task/3904/stat : 3904 (java) S 3890 3892 32714 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 808134159 13955829760 51495 33554432000 1073741824 1073778376 140737165224976 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170944 0 0 -1 4 0 0 0 [pid=3892/tid=3905] ppid=3890 vsize=13628740 CPUtime=0 cores=0,2,4,6 /proc/3892/task/3905/stat : 3905 (java) S 3890 3892 32714 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 808134159 13955829760 51495 33554432000 1073741824 1073778376 140737165224976 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170944 0 0 -1 4 0 0 0 [pid=3892/tid=3906] ppid=3890 vsize=13628740 CPUtime=0 cores=0,2,4,6 /proc/3892/task/3906/stat : 3906 (java) S 3890 3892 32714 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808134162 13955829760 51495 33554432000 1073741824 1073778376 140737165224976 18446744073709551615 233522121137 0 4 0 16800975 18446604442208170944 0 0 -1 4 0 0 0 [pid=3892/tid=3907] ppid=3890 vsize=13628740 CPUtime=1.28 cores=0,2,4,6 /proc/3892/task/3907/stat : 3907 (java) S 3890 3892 32714 0 -1 4202560 10862 0 0 0 127 1 0 0 15 0 19 0 808134162 13955829760 51495 33554432000 1073741824 1073778376 140737165224976 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170944 0 0 -1 0 0 0 0 [pid=3892/tid=3908] ppid=3890 vsize=13628740 CPUtime=0.44 cores=0,2,4,6 /proc/3892/task/3908/stat : 3908 (java) S 3890 3892 32714 0 -1 4202560 2795 0 0 0 44 0 0 0 15 0 19 0 808134162 13955829760 51495 33554432000 1073741824 1073778376 140737165224976 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170944 0 0 -1 2 0 0 0 [pid=3892/tid=3909] ppid=3890 vsize=13628740 CPUtime=0 cores=0,2,4,6 /proc/3892/task/3909/stat : 3909 (java) S 3890 3892 32714 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808134162 13955829760 51495 33554432000 1073741824 1073778376 140737165224976 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170944 0 0 -1 4 0 0 0 [pid=3892/tid=3910] ppid=3890 vsize=13628740 CPUtime=0 cores=0,2,4,6 /proc/3892/task/3910/stat : 3910 (java) S 3890 3892 32714 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 808134162 13955829760 51495 33554432000 1073741824 1073778376 140737165224976 18446744073709551615 233522114048 0 4 0 16800975 18446604442208170944 0 0 -1 0 0 0 0 [pid=3892/tid=3911] ppid=3890 vsize=13628740 CPUtime=0 cores=0,2,4,6 /proc/3892/task/3911/stat : 3911 (java) S 3890 3892 32714 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 808134202 13955829760 51495 33554432000 1073741824 1073778376 140737165224976 18446744073709551615 233522114048 0 4 0 16800975 18446604442208170944 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 1786.48 Current children cumulated vsize (KiB) 13628740 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1795.9 s] /proc/loadavg: 2.07 2.03 2.00 3/563 4010 /proc/meminfo: memFree=22177148/32951124 swapFree=64303760/67111528 [pid=3892] ppid=3890 vsize=13628740 CPUtime=1800.09 cores=0,2,4,6 /proc/3892/stat : 3892 (java) S 3890 3892 32714 0 -1 4202496 62744 0 1 0 179994 15 0 0 25 0 19 0 808134155 13955829760 51511 33554432000 1073741824 1073778376 140737165224976 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/3892/statm: 3407185 51511 2265 9 0 3397919 0 [pid=3892/tid=3893] ppid=3890 vsize=13628740 CPUtime=1778.76 cores=0,2,4,6 /proc/3892/task/3893/stat : 3893 (java) R 3890 3892 32714 0 -1 4202560 25791 0 1 0 177872 4 0 0 25 0 19 0 808134156 13955829760 51511 33554432000 1073741824 1073778376 140737165224976 18446744073709551615 46912505864357 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=3892/tid=3895] ppid=3890 vsize=13628740 CPUtime=0.49 cores=0,2,4,6 /proc/3892/task/3895/stat : 3895 (java) S 3890 3892 32714 0 -1 4202560 2206 0 0 0 49 0 0 0 15 0 19 0 808134158 13955829760 51511 33554432000 1073741824 1073778376 140737165224976 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170944 0 0 -1 0 0 0 0 [pid=3892/tid=3896] ppid=3890 vsize=13628740 CPUtime=0.52 cores=0,2,4,6 /proc/3892/task/3896/stat : 3896 (java) S 3890 3892 32714 0 -1 4202560 2328 0 0 0 52 0 0 0 15 0 19 0 808134158 13955829760 51511 33554432000 1073741824 1073778376 140737165224976 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170944 0 0 -1 6 0 0 0 [pid=3892/tid=3897] ppid=3890 vsize=13628740 CPUtime=0.43 cores=0,2,4,6 /proc/3892/task/3897/stat : 3897 (java) S 3890 3892 32714 0 -1 4202560 588 0 0 0 43 0 0 0 16 0 19 0 808134158 13955829760 51511 33554432000 1073741824 1073778376 140737165224976 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170944 0 0 -1 4 0 0 0 [pid=3892/tid=3898] ppid=3890 vsize=13628740 CPUtime=0.51 cores=0,2,4,6 /proc/3892/task/3898/stat : 3898 (java) S 3890 3892 32714 0 -1 4202560 1965 0 0 0 51 0 0 0 16 0 19 0 808134158 13955829760 51511 33554432000 1073741824 1073778376 140737165224976 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170944 0 0 -1 6 0 0 0 [pid=3892/tid=3899] ppid=3890 vsize=13628740 CPUtime=0.51 cores=0,2,4,6 /proc/3892/task/3899/stat : 3899 (java) S 3890 3892 32714 0 -1 4202560 1107 0 0 0 51 0 0 0 15 0 19 0 808134158 13955829760 51511 33554432000 1073741824 1073778376 140737165224976 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170944 0 0 -1 4 0 0 0 [pid=3892/tid=3900] ppid=3890 vsize=13628740 CPUtime=0.48 cores=0,2,4,6 /proc/3892/task/3900/stat : 3900 (java) S 3890 3892 32714 0 -1 4202560 1143 0 0 0 48 0 0 0 15 0 19 0 808134158 13955829760 51511 33554432000 1073741824 1073778376 140737165224976 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170944 0 0 -1 0 0 0 0 [pid=3892/tid=3901] ppid=3890 vsize=13628740 CPUtime=0.46 cores=0,2,4,6 /proc/3892/task/3901/stat : 3901 (java) S 3890 3892 32714 0 -1 4202560 1843 0 0 0 46 0 0 0 16 0 19 0 808134158 13955829760 51511 33554432000 1073741824 1073778376 140737165224976 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170944 0 0 -1 6 0 0 0 [pid=3892/tid=3902] ppid=3890 vsize=13628740 CPUtime=0.53 cores=0,2,4,6 /proc/3892/task/3902/stat : 3902 (java) S 3890 3892 32714 0 -1 4202560 3749 0 0 0 53 0 0 0 15 0 19 0 808134158 13955829760 51511 33554432000 1073741824 1073778376 140737165224976 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170944 0 0 -1 4 0 0 0 [pid=3892/tid=3903] ppid=3890 vsize=13628740 CPUtime=15.58 cores=0,2,4,6 /proc/3892/task/3903/stat : 3903 (java) S 3890 3892 32714 0 -1 4202560 7119 0 0 0 1553 5 0 0 15 0 19 0 808134159 13955829760 51511 33554432000 1073741824 1073778376 140737165224976 18446744073709551615 233522114048 0 0 0 16800975 18446604442208170944 0 0 -1 2 0 0 0 [pid=3892/tid=3904] ppid=3890 vsize=13628740 CPUtime=0 cores=0,2,4,6 /proc/3892/task/3904/stat : 3904 (java) S 3890 3892 32714 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 808134159 13955829760 51511 33554432000 1073741824 1073778376 140737165224976 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170944 0 0 -1 4 0 0 0 [pid=3892/tid=3905] ppid=3890 vsize=13628740 CPUtime=0 cores=0,2,4,6 /proc/3892/task/3905/stat : 3905 (java) S 3890 3892 32714 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 808134159 13955829760 51511 33554432000 1073741824 1073778376 140737165224976 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170944 0 0 -1 4 0 0 0 [pid=3892/tid=3906] ppid=3890 vsize=13628740 CPUtime=0 cores=0,2,4,6 /proc/3892/task/3906/stat : 3906 (java) S 3890 3892 32714 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808134162 13955829760 51511 33554432000 1073741824 1073778376 140737165224976 18446744073709551615 233522121137 0 4 0 16800975 18446604442208170944 0 0 -1 4 0 0 0 [pid=3892/tid=3907] ppid=3890 vsize=13628740 CPUtime=1.28 cores=0,2,4,6 /proc/3892/task/3907/stat : 3907 (java) S 3890 3892 32714 0 -1 4202560 10862 0 0 0 127 1 0 0 15 0 19 0 808134162 13955829760 51511 33554432000 1073741824 1073778376 140737165224976 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170944 0 0 -1 0 0 0 0 [pid=3892/tid=3908] ppid=3890 vsize=13628740 CPUtime=0.44 cores=0,2,4,6 /proc/3892/task/3908/stat : 3908 (java) S 3890 3892 32714 0 -1 4202560 2795 0 0 0 44 0 0 0 15 0 19 0 808134162 13955829760 51511 33554432000 1073741824 1073778376 140737165224976 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170944 0 0 -1 2 0 0 0 [pid=3892/tid=3909] ppid=3890 vsize=13628740 CPUtime=0 cores=0,2,4,6 /proc/3892/task/3909/stat : 3909 (java) S 3890 3892 32714 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808134162 13955829760 51511 33554432000 1073741824 1073778376 140737165224976 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170944 0 0 -1 4 0 0 0 [pid=3892/tid=3910] ppid=3890 vsize=13628740 CPUtime=0 cores=0,2,4,6 /proc/3892/task/3910/stat : 3910 (java) S 3890 3892 32714 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 808134162 13955829760 51511 33554432000 1073741824 1073778376 140737165224976 18446744073709551615 233522114048 0 4 0 16800975 18446604442208170944 0 0 -1 0 0 0 0 [pid=3892/tid=3911] ppid=3890 vsize=13628740 CPUtime=0 cores=0,2,4,6 /proc/3892/task/3911/stat : 3911 (java) S 3890 3892 32714 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 808134202 13955829760 51511 33554432000 1073741824 1073778376 140737165224976 18446744073709551615 233522114048 0 4 0 16800975 18446604442208170944 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 13628740 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1795.9 s] /proc/loadavg: 2.07 2.03 2.00 3/563 4010 /proc/meminfo: memFree=22177148/32951124 swapFree=64303760/67111528 [pid=3892] ppid=3890 vsize=13628740 CPUtime=1800.09 cores=0,2,4,6 /proc/3892/stat : 3892 (java) S 3890 3892 32714 0 -1 4202496 62744 0 1 0 179994 15 0 0 25 0 19 0 808134155 13955829760 51511 33554432000 1073741824 1073778376 140737165224976 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/3892/statm: 3407185 51511 2265 9 0 3397919 0 [pid=3892/tid=3893] ppid=3890 vsize=13628740 CPUtime=1778.76 cores=0,2,4,6 /proc/3892/task/3893/stat : 3893 (java) R 3890 3892 32714 0 -1 4202560 25791 0 1 0 177872 4 0 0 25 0 19 0 808134156 13955829760 51511 33554432000 1073741824 1073778376 140737165224976 18446744073709551615 46912505864357 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=3892/tid=3895] ppid=3890 vsize=13628740 CPUtime=0.49 cores=0,2,4,6 /proc/3892/task/3895/stat : 3895 (java) S 3890 3892 32714 0 -1 4202560 2206 0 0 0 49 0 0 0 15 0 19 0 808134158 13955829760 51511 33554432000 1073741824 1073778376 140737165224976 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170944 0 0 -1 0 0 0 0 [pid=3892/tid=3896] ppid=3890 vsize=13628740 CPUtime=0.52 cores=0,2,4,6 /proc/3892/task/3896/stat : 3896 (java) S 3890 3892 32714 0 -1 4202560 2328 0 0 0 52 0 0 0 15 0 19 0 808134158 13955829760 51511 33554432000 1073741824 1073778376 140737165224976 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170944 0 0 -1 6 0 0 0 [pid=3892/tid=3897] ppid=3890 vsize=13628740 CPUtime=0.43 cores=0,2,4,6 /proc/3892/task/3897/stat : 3897 (java) S 3890 3892 32714 0 -1 4202560 588 0 0 0 43 0 0 0 16 0 19 0 808134158 13955829760 51511 33554432000 1073741824 1073778376 140737165224976 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170944 0 0 -1 4 0 0 0 [pid=3892/tid=3898] ppid=3890 vsize=13628740 CPUtime=0.51 cores=0,2,4,6 /proc/3892/task/3898/stat : 3898 (java) S 3890 3892 32714 0 -1 4202560 1965 0 0 0 51 0 0 0 16 0 19 0 808134158 13955829760 51511 33554432000 1073741824 1073778376 140737165224976 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170944 0 0 -1 6 0 0 0 [pid=3892/tid=3899] ppid=3890 vsize=13628740 CPUtime=0.51 cores=0,2,4,6 /proc/3892/task/3899/stat : 3899 (java) S 3890 3892 32714 0 -1 4202560 1107 0 0 0 51 0 0 0 15 0 19 0 808134158 13955829760 51511 33554432000 1073741824 1073778376 140737165224976 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170944 0 0 -1 4 0 0 0 [pid=3892/tid=3900] ppid=3890 vsize=13628740 CPUtime=0.48 cores=0,2,4,6 /proc/3892/task/3900/stat : 3900 (java) S 3890 3892 32714 0 -1 4202560 1143 0 0 0 48 0 0 0 15 0 19 0 808134158 13955829760 51511 33554432000 1073741824 1073778376 140737165224976 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170944 0 0 -1 0 0 0 0 [pid=3892/tid=3901] ppid=3890 vsize=13628740 CPUtime=0.46 cores=0,2,4,6 /proc/3892/task/3901/stat : 3901 (java) S 3890 3892 32714 0 -1 4202560 1843 0 0 0 46 0 0 0 16 0 19 0 808134158 13955829760 51511 33554432000 1073741824 1073778376 140737165224976 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170944 0 0 -1 6 0 0 0 [pid=3892/tid=3902] ppid=3890 vsize=13628740 CPUtime=0.53 cores=0,2,4,6 /proc/3892/task/3902/stat : 3902 (java) S 3890 3892 32714 0 -1 4202560 3749 0 0 0 53 0 0 0 15 0 19 0 808134158 13955829760 51511 33554432000 1073741824 1073778376 140737165224976 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170944 0 0 -1 4 0 0 0 [pid=3892/tid=3903] ppid=3890 vsize=13628740 CPUtime=15.58 cores=0,2,4,6 /proc/3892/task/3903/stat : 3903 (java) S 3890 3892 32714 0 -1 4202560 7119 0 0 0 1553 5 0 0 15 0 19 0 808134159 13955829760 51511 33554432000 1073741824 1073778376 140737165224976 18446744073709551615 233522114048 0 0 0 16800975 18446604442208170944 0 0 -1 2 0 0 0 [pid=3892/tid=3904] ppid=3890 vsize=13628740 CPUtime=0 cores=0,2,4,6 /proc/3892/task/3904/stat : 3904 (java) S 3890 3892 32714 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 808134159 13955829760 51511 33554432000 1073741824 1073778376 140737165224976 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170944 0 0 -1 4 0 0 0 [pid=3892/tid=3905] ppid=3890 vsize=13628740 CPUtime=0 cores=0,2,4,6 /proc/3892/task/3905/stat : 3905 (java) S 3890 3892 32714 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 808134159 13955829760 51511 33554432000 1073741824 1073778376 140737165224976 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170944 0 0 -1 4 0 0 0 [pid=3892/tid=3906] ppid=3890 vsize=13628740 CPUtime=0 cores=0,2,4,6 /proc/3892/task/3906/stat : 3906 (java) S 3890 3892 32714 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808134162 13955829760 51511 33554432000 1073741824 1073778376 140737165224976 18446744073709551615 233522121137 0 4 0 16800975 18446604442208170944 0 0 -1 4 0 0 0 [pid=3892/tid=3907] ppid=3890 vsize=13628740 CPUtime=1.28 cores=0,2,4,6 /proc/3892/task/3907/stat : 3907 (java) S 3890 3892 32714 0 -1 4202560 10862 0 0 0 127 1 0 0 15 0 19 0 808134162 13955829760 51511 33554432000 1073741824 1073778376 140737165224976 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170944 0 0 -1 0 0 0 0 [pid=3892/tid=3908] ppid=3890 vsize=13628740 CPUtime=0.44 cores=0,2,4,6 /proc/3892/task/3908/stat : 3908 (java) S 3890 3892 32714 0 -1 4202560 2795 0 0 0 44 0 0 0 15 0 19 0 808134162 13955829760 51511 33554432000 1073741824 1073778376 140737165224976 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170944 0 0 -1 2 0 0 0 [pid=3892/tid=3909] ppid=3890 vsize=13628740 CPUtime=0 cores=0,2,4,6 /proc/3892/task/3909/stat : 3909 (java) S 3890 3892 32714 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 808134162 13955829760 51511 33554432000 1073741824 1073778376 140737165224976 18446744073709551615 233522113433 0 4 0 16800975 18446604442208170944 0 0 -1 4 0 0 0 [pid=3892/tid=3910] ppid=3890 vsize=13628740 CPUtime=0 cores=0,2,4,6 /proc/3892/task/3910/stat : 3910 (java) S 3890 3892 32714 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 808134162 13955829760 51511 33554432000 1073741824 1073778376 140737165224976 18446744073709551615 233522114048 0 4 0 16800975 18446604442208170944 0 0 -1 0 0 0 0 [pid=3892/tid=3911] ppid=3890 vsize=13628740 CPUtime=0 cores=0,2,4,6 /proc/3892/task/3911/stat : 3911 (java) S 3890 3892 32714 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 808134202 13955829760 51511 33554432000 1073741824 1073778376 140737165224976 18446744073709551615 233522114048 0 4 0 16800975 18446604442208170944 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 13628740 Child status: 143 Real time (s): 1795.97 CPU time (s): 1800.24 CPU user time (s): 1800.07 CPU system time (s): 0.165974 CPU usage (%): 100.238 Max. virtual memory (cumulated for all children) (KiB): 13648620 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.07 system time used= 0.165974 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 62863 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 50172 involuntary context switches= 12878 runsolver used 10.1735 second user time and 20.9198 second system time The end
Begin job on node145 at 2011-06-04 05:13:03 IDJOB=3458513 IDBENCH=25015 IDSOLVER=1952 FILE ID=node145/3458513-1307157183 RUNJOBID= node145-1307155381-3611 PBS_JOBID= 13508771 Free space on /tmp= 73984 MiB SOLVER NAME= Sat4j Resolution 2.3.0 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_6.opb COMMAND LINE= java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3458513-1307157183/watcher-3458513-1307157183 -o /tmp/evaluation-result-3458513-1307157183/solver-3458513-1307157183 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458513-1307157183.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= d25f6086317f033c233c4700493f03d1 RANDOM SEED=158449067 node145.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /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.786 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.57 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.786 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.786 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.786 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.786 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.786 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.786 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.84 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.786 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.77 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 21122736 kB Buffers: 258420 kB Cached: 478452 kB SwapCached: 944 kB Active: 11183080 kB Inactive: 371596 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 21122736 kB SwapTotal: 67111528 kB SwapFree: 64303760 kB Dirty: 848 kB Writeback: 0 kB AnonPages: 10816320 kB Mapped: 42616 kB Slab: 134196 kB PageTables: 69232 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 166648580 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73988 MiB End job on node145 at 2011-06-04 05:43:01