Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| PB11: Sat4j Res//CP 2.3.0 | SAT (TO) | 21 | 1800.07 | 947.06 |
| 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 | OPT |
| Best value of the objective obtained on this benchmark | 20 |
| Best CPU time to get the best result obtained on this benchmark | 97.9001 |
| 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.07/0.10 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.07/0.10 c This is free software under the dual EPL/GNU LGPL licenses. 0.07/0.10 c See www.sat4j.org for details. 0.07/0.11 c version 2.3.1.v20110525 0.07/0.11 c java.runtime.name Java(TM) SE Runtime Environment 0.07/0.11 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.07/0.11 c java.vm.version 19.1-b02 0.07/0.11 c java.vm.vendor Sun Microsystems Inc. 0.07/0.11 c sun.arch.data.model 64 0.07/0.11 c java.version 1.6.0_24 0.07/0.11 c os.name Linux 0.07/0.11 c os.version 2.6.32-71.29.1.el6.x86_64 0.07/0.11 c os.arch amd64 0.07/0.11 c Free memory 9996466904 0.07/0.11 c Max memory 10048897024 0.07/0.11 c Total memory 10048897024 0.07/0.11 c Number of processors 8 0.07/0.13 c Pseudo Boolean Optimization 0.07/0.13 c ManyCore solver with 2 solvers running in parallel 0.07/0.13 c --- Begin Solver configuration --- 0.07/0.13 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@48e5855a 0.07/0.13 c Learn all clauses as in MiniSAT 0.07/0.13 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.07/0.13 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.07/0.13 c Expensive reason simplification 0.07/0.13 c Armin Biere (Picosat) restarts strategy 0.07/0.13 c Glucose learned constraints deletion strategy 0.07/0.13 c timeout=2147483s 0.07/0.13 c DB Simplification allowed=false 0.07/0.13 c --- End Solver configuration --- 0.07/0.13 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.07/0.13 c --- Begin Solver configuration --- 0.07/0.13 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@398020cc 0.07/0.13 c Learn all clauses as in MiniSAT 0.07/0.13 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.07/0.13 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.07/0.13 c No reason simplification 0.07/0.13 c Armin Biere (Picosat) restarts strategy 0.07/0.13 c Glucose learned constraints deletion strategy 0.07/0.13 c timeout=2147483s 0.07/0.13 c DB Simplification allowed=false 0.07/0.13 c --- End Solver configuration --- 0.07/0.13 c solving HOME/instance-3736015-1338714345.opb 0.07/0.13 c reading problem ... 0.95/0.50 c ... done. Wall clock time 0.363s. 0.95/0.50 c #vars 6027 0.95/0.50 c #constraints 21278 0.95/0.50 c constraints type 0.95/0.50 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 5373 0.95/0.50 c org.sat4j.minisat.constraints.card.MinWatchCard => 1 0.95/0.50 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 15899 0.95/0.50 c constraints type 0.95/0.50 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 15899 0.95/0.50 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 5373 0.95/0.50 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1 0.95/0.56 c And the winner is Resolution 1.25/1.01 c SATISFIABLE 1.25/1.01 c OPTIMIZING... 1.25/1.01 c Got one! Elapsed wall clock time (in seconds):0.872 1.25/1.01 o 28 1.25/1.03 c And the winner is Resolution 1.36/1.51 c Got one! Elapsed wall clock time (in seconds):1.38 1.36/1.51 o 27 1.69/1.66 c And the winner is Resolution 2.16/2.02 c Got one! Elapsed wall clock time (in seconds):1.888 2.16/2.02 o 26 3.46/2.52 c And the winner is Resolution 3.46/2.58 c Got one! Elapsed wall clock time (in seconds):2.442 3.46/2.58 o 25 4.19/2.98 c cleaning 2748 clauses out of 5506 with flag 2000/5506 6.06/3.88 c cleaning 4371 clauses out of 8758 with flag 8000/11506 8.03/4.82 c cleaning 5678 clauses out of 11387 with flag 15000/18506 10.64/6.13 c cleaning 6845 clauses out of 13709 with flag 23000/26506 13.64/7.66 c cleaning 7920 clauses out of 15864 with flag 32000/35506 17.03/9.32 c cleaning 8962 clauses out of 17946 with flag 42002/45508 20.41/11.05 c cleaning 9970 clauses out of 19982 with flag 53000/56506 23.97/12.81 c cleaning 10994 clauses out of 22014 with flag 65002/68508 27.71/14.75 c cleaning 12007 clauses out of 24021 with flag 78003/81509 32.28/17.01 c cleaning 12981 clauses out of 26011 with flag 92000/95506 37.25/19.57 c cleaning 14009 clauses out of 28030 with flag 107000/110506 43.13/22.48 c cleaning 14999 clauses out of 30022 with flag 123001/126507 48.44/25.17 c cleaning 15999 clauses out of 32023 with flag 140001/143507 51.21/26.53 c And the winner is CuttingPlanes 51.19/26.64 c Got one! Elapsed wall clock time (in seconds):26.502 51.19/26.64 o 24 52.76/27.50 c cleaning 14664 clauses out of 29340 with flag 5001/156823 54.70/28.47 c cleaning 10310 clauses out of 20675 with flag 11000/162822 57.03/29.69 c cleaning 8655 clauses out of 17367 with flag 18002/169824 59.57/30.96 c cleaning 8331 clauses out of 16710 with flag 26000/177822 62.29/32.33 c cleaning 8664 clauses out of 17380 with flag 35001/186823 66.04/34.27 c cleaning 9347 clauses out of 18715 with flag 45000/196822 69.97/36.29 c cleaning 10167 clauses out of 20368 with flag 56000/207822 71.07/36.80 c And the winner is CuttingPlanes 71.04/37.14 c Got one! Elapsed wall clock time (in seconds):37.007 71.04/37.14 o 23 71.97/37.66 c cleaning 7914 clauses out of 15919 with flag 3001/213540 73.93/38.69 c cleaning 6965 clauses out of 14005 with flag 9001/219540 76.25/39.86 c cleaning 6991 clauses out of 14039 with flag 16000/226539 78.77/41.18 c cleaning 7518 clauses out of 15049 with flag 24001/234540 82.09/42.85 c cleaning 8241 clauses out of 16531 with flag 33001/243540 85.20/44.46 c cleaning 9133 clauses out of 18289 with flag 43000/253539 89.14/46.50 c cleaning 10070 clauses out of 20160 with flag 54004/264543 93.26/48.54 c cleaning 11032 clauses out of 22088 with flag 66002/276541 100.15/52.03 c cleaning 12009 clauses out of 24055 with flag 79001/289540 105.66/54.84 c cleaning 13015 clauses out of 26046 with flag 93001/303540 112.34/58.29 c cleaning 14010 clauses out of 28030 with flag 108000/318539 118.83/61.56 c cleaning 14988 clauses out of 30020 with flag 124000/334539 124.45/64.44 c cleaning 15999 clauses out of 32035 with flag 141003/351542 130.33/67.40 c cleaning 16981 clauses out of 34033 with flag 159000/369539 130.62/67.64 c And the winner is CuttingPlanes 130.57/67.76 c Got one! Elapsed wall clock time (in seconds):67.628 130.57/67.76 o 22 132.44/68.73 c cleaning 11251 clauses out of 22556 with flag 5002/375043 134.52/69.89 c cleaning 8609 clauses out of 17305 with flag 11002/381043 136.95/71.13 c cleaning 7824 clauses out of 15694 with flag 18000/388041 140.04/72.72 c cleaning 7920 clauses out of 15872 with flag 26002/396043 143.31/74.47 c cleaning 8460 clauses out of 16951 with flag 35001/405042 146.99/76.38 c cleaning 9232 clauses out of 18490 with flag 45000/415041 150.98/78.43 c cleaning 10124 clauses out of 20259 with flag 56001/426042 156.05/81.10 c cleaning 11060 clauses out of 22137 with flag 68003/438044 161.52/83.83 c cleaning 12025 clauses out of 24074 with flag 81000/451041 167.80/87.04 c cleaning 13010 clauses out of 26050 with flag 95001/465042 173.18/89.82 c cleaning 14011 clauses out of 28039 with flag 110000/480041 178.84/92.72 c cleaning 14995 clauses out of 30029 with flag 126001/496042 185.69/96.28 c cleaning 15996 clauses out of 32034 with flag 143001/513042 192.95/99.96 c cleaning 17007 clauses out of 34039 with flag 161002/531043 201.10/104.13 c cleaning 17996 clauses out of 36030 with flag 180000/550041 208.74/108.05 c cleaning 18997 clauses out of 38036 with flag 200002/570043 217.18/112.37 c cleaning 20001 clauses out of 40037 with flag 221000/591041 225.63/116.67 c cleaning 21004 clauses out of 42037 with flag 243001/613042 233.53/120.74 c cleaning 21506 clauses out of 43033 with flag 265001/635042 241.77/124.94 c cleaning 21746 clauses out of 43528 with flag 287002/657043 251.62/129.99 c cleaning 21873 clauses out of 43781 with flag 309001/679042 260.22/134.34 c cleaning 21934 clauses out of 43908 with flag 331001/701042 267.70/138.25 c cleaning 21962 clauses out of 43973 with flag 353000/723041 275.49/142.28 c cleaning 21977 clauses out of 44012 with flag 375001/745042 284.29/146.73 c cleaning 22000 clauses out of 44035 with flag 397001/767042 288.68/149.06 c And the winner is CuttingPlanes 288.46/149.22 c Got one! Elapsed wall clock time (in seconds):149.086 288.46/149.22 o 21 290.22/150.18 c cleaning 18937 clauses out of 37944 with flag 5001/782951 293.28/151.89 c cleaning 12475 clauses out of 25006 with flag 11000/788950 295.88/153.29 c cleaning 9752 clauses out of 19533 with flag 18002/795952 299.50/155.13 c cleaning 8863 clauses out of 17779 with flag 26000/803950 302.89/156.92 c cleaning 8945 clauses out of 17919 with flag 35003/812953 307.76/159.52 c cleaning 9469 clauses out of 18972 with flag 45001/822951 311.52/161.58 c cleaning 10242 clauses out of 20502 with flag 56000/833950 316.50/164.13 c cleaning 11119 clauses out of 22260 with flag 68000/845950 322.72/167.38 c cleaning 12054 clauses out of 24141 with flag 81000/858950 328.15/170.22 c cleaning 13029 clauses out of 26088 with flag 95001/872951 333.74/173.14 c cleaning 13999 clauses out of 28058 with flag 110000/887950 339.73/176.24 c cleaning 15013 clauses out of 30061 with flag 126002/903952 345.70/179.36 c cleaning 15998 clauses out of 32050 with flag 143004/920954 351.72/182.59 c cleaning 17009 clauses out of 34049 with flag 161001/938951 358.67/186.19 c cleaning 18012 clauses out of 36040 with flag 180001/957951 365.86/189.83 c cleaning 19000 clauses out of 38027 with flag 200000/977950 373.24/193.63 c cleaning 19996 clauses out of 40028 with flag 221001/998951 381.46/197.98 c cleaning 20999 clauses out of 42031 with flag 243000/1020950 390.62/202.60 c cleaning 21501 clauses out of 43033 with flag 265001/1042951 398.79/206.86 c cleaning 21745 clauses out of 43533 with flag 287002/1064952 407.36/211.26 c cleaning 21881 clauses out of 43786 with flag 309000/1086950 416.35/215.99 c cleaning 21938 clauses out of 43906 with flag 331001/1108951 425.28/220.50 c cleaning 21972 clauses out of 43967 with flag 353000/1130950 434.82/225.48 c cleaning 21974 clauses out of 43995 with flag 375000/1152950 444.77/230.51 c cleaning 21998 clauses out of 44021 with flag 397000/1174950 453.94/235.35 c cleaning 21992 clauses out of 44025 with flag 419002/1196952 466.94/241.94 c cleaning 22002 clauses out of 44032 with flag 441001/1218951 479.44/248.39 c cleaning 21999 clauses out of 44029 with flag 463000/1240950 490.35/253.96 c cleaning 21997 clauses out of 44030 with flag 485000/1262950 500.28/259.14 c cleaning 21992 clauses out of 44034 with flag 507001/1284951 509.21/263.80 c cleaning 21996 clauses out of 44042 with flag 529001/1306951 518.54/268.54 c cleaning 22000 clauses out of 44048 with flag 551003/1328953 527.83/273.34 c cleaning 21996 clauses out of 44045 with flag 573000/1350950 537.14/278.30 c cleaning 21996 clauses out of 44050 with flag 595001/1372951 546.63/283.10 c cleaning 22003 clauses out of 44053 with flag 617000/1394950 556.14/288.07 c cleaning 22011 clauses out of 44054 with flag 639004/1416954 564.62/292.50 c cleaning 21999 clauses out of 44040 with flag 661001/1438951 573.30/297.10 c cleaning 21998 clauses out of 44040 with flag 683000/1460950 582.56/301.83 c cleaning 22003 clauses out of 44043 with flag 705001/1482951 592.65/307.09 c cleaning 22004 clauses out of 44043 with flag 727004/1504954 603.37/312.52 c cleaning 21989 clauses out of 44036 with flag 749001/1526951 614.85/318.57 c cleaning 21992 clauses out of 44046 with flag 771000/1548950 625.74/324.15 c cleaning 22007 clauses out of 44056 with flag 793002/1570952 637.66/330.23 c cleaning 22006 clauses out of 44048 with flag 815001/1592951 646.94/335.07 c cleaning 22000 clauses out of 44041 with flag 837000/1614950 656.43/340.07 c cleaning 21998 clauses out of 44042 with flag 859001/1636951 665.26/344.65 c cleaning 21990 clauses out of 44043 with flag 881000/1658950 674.13/349.23 c cleaning 22004 clauses out of 44055 with flag 903002/1680952 684.21/354.43 c cleaning 21995 clauses out of 44051 with flag 925002/1702952 694.83/360.05 c cleaning 21996 clauses out of 44054 with flag 947000/1724950 703.09/364.39 c cleaning 21992 clauses out of 44059 with flag 969001/1746951 715.33/370.61 c cleaning 22014 clauses out of 44067 with flag 991001/1768951 727.41/376.83 c cleaning 22001 clauses out of 44053 with flag 1013001/1790951 735.86/381.32 c cleaning 22012 clauses out of 44051 with flag 1035000/1812950 743.90/385.52 c cleaning 21996 clauses out of 44042 with flag 1057003/1834953 751.94/389.76 c cleaning 22006 clauses out of 44045 with flag 1079002/1856952 762.79/395.38 c cleaning 22007 clauses out of 44037 with flag 1101000/1878950 774.99/401.76 c cleaning 21997 clauses out of 44031 with flag 1123001/1900951 785.60/407.27 c cleaning 22005 clauses out of 44033 with flag 1145000/1922950 796.43/412.86 c cleaning 22004 clauses out of 44030 with flag 1167002/1944952 808.03/418.88 c cleaning 22000 clauses out of 44025 with flag 1189001/1966951 820.59/425.46 c cleaning 22001 clauses out of 44027 with flag 1211003/1988953 832.21/431.45 c cleaning 22005 clauses out of 44027 with flag 1233004/2010954 846.84/439.00 c cleaning 22000 clauses out of 44021 with flag 1255003/2032953 858.82/445.17 c cleaning 22000 clauses out of 44021 with flag 1277003/2054953 870.98/451.50 c cleaning 21990 clauses out of 44020 with flag 1299002/2076952 882.59/457.57 c cleaning 21997 clauses out of 44028 with flag 1321000/2098950 894.00/463.46 c cleaning 22016 clauses out of 44031 with flag 1343000/2120950 904.81/469.05 c cleaning 21984 clauses out of 44016 with flag 1365001/2142951 914.15/474.00 c cleaning 21989 clauses out of 44032 with flag 1387001/2164951 922.54/478.43 c cleaning 21990 clauses out of 44043 with flag 1409001/2186951 932.35/483.58 c cleaning 22007 clauses out of 44056 with flag 1431004/2208954 943.55/489.37 c cleaning 21994 clauses out of 44045 with flag 1453000/2230950 955.03/495.45 c cleaning 22005 clauses out of 44052 with flag 1475001/2252951 966.58/501.47 c cleaning 22007 clauses out of 44047 with flag 1497001/2274951 978.17/507.44 c cleaning 22000 clauses out of 44039 with flag 1519000/2296950 986.18/511.64 c cleaning 22000 clauses out of 44039 with flag 1541000/2318950 993.69/515.71 c cleaning 22009 clauses out of 44044 with flag 1563005/2340955 1000.66/519.40 c cleaning 21997 clauses out of 44031 with flag 1585001/2362951 1007.81/523.24 c cleaning 22007 clauses out of 44035 with flag 1607002/2384952 1015.16/527.18 c cleaning 21976 clauses out of 44026 with flag 1629000/2406950 1024.39/532.16 c cleaning 22007 clauses out of 44050 with flag 1651000/2428950 1034.53/537.48 c cleaning 21995 clauses out of 44043 with flag 1673000/2450950 1044.88/542.84 c cleaning 21995 clauses out of 44049 with flag 1695001/2472951 1056.42/548.82 c cleaning 22007 clauses out of 44055 with flag 1717002/2494952 1068.42/555.24 c cleaning 21996 clauses out of 44046 with flag 1739000/2516950 1078.97/560.72 c cleaning 22001 clauses out of 44050 with flag 1761000/2538950 1087.52/565.29 c cleaning 22003 clauses out of 44049 with flag 1783000/2560950 1095.84/569.69 c cleaning 22004 clauses out of 44047 with flag 1805001/2582951 1105.81/575.08 c cleaning 21995 clauses out of 44044 with flag 1827002/2604952 1116.54/580.63 c cleaning 22004 clauses out of 44048 with flag 1849001/2626951 1127.24/586.27 c cleaning 22005 clauses out of 44045 with flag 1871002/2648952 1137.31/591.54 c cleaning 21994 clauses out of 44038 with flag 1893000/2670950 1147.67/597.14 c cleaning 21998 clauses out of 44044 with flag 1915000/2692950 1157.36/602.26 c cleaning 21996 clauses out of 44046 with flag 1937000/2714950 1166.90/607.23 c cleaning 21996 clauses out of 44051 with flag 1959001/2736951 1176.38/612.26 c cleaning 22013 clauses out of 44056 with flag 1981002/2758952 1185.71/617.30 c cleaning 21993 clauses out of 44042 with flag 2003001/2780951 1194.21/621.84 c cleaning 21994 clauses out of 44048 with flag 2025000/2802950 1204.11/627.06 c cleaning 22018 clauses out of 44054 with flag 2047000/2824950 1213.18/631.88 c cleaning 21995 clauses out of 44036 with flag 2069000/2846950 1222.28/636.82 c cleaning 21977 clauses out of 44041 with flag 2091000/2868950 1230.54/641.30 c cleaning 21999 clauses out of 44064 with flag 2113000/2890950 1239.61/646.02 c cleaning 22009 clauses out of 44067 with flag 2135002/2912952 1251.06/652.01 c cleaning 22007 clauses out of 44057 with flag 2157001/2934951 1262.56/658.26 c cleaning 22007 clauses out of 44049 with flag 2179000/2956950 1272.62/663.59 c cleaning 22004 clauses out of 44045 with flag 2201003/2978953 1282.49/668.75 c cleaning 22000 clauses out of 44038 with flag 2223000/3000950 1292.93/674.30 c cleaning 21977 clauses out of 44038 with flag 2245000/3022950 1303.21/679.82 c cleaning 22004 clauses out of 44061 with flag 2267000/3044950 1311.63/684.33 c cleaning 22014 clauses out of 44059 with flag 2289002/3066952 1320.08/688.83 c cleaning 21995 clauses out of 44043 with flag 2311000/3088950 1328.97/693.56 c cleaning 22004 clauses out of 44048 with flag 2333000/3110950 1337.44/698.20 c cleaning 22002 clauses out of 44044 with flag 2355000/3132950 1345.87/702.74 c cleaning 21996 clauses out of 44042 with flag 2377000/3154950 1354.11/707.10 c cleaning 21983 clauses out of 44046 with flag 2399000/3176950 1362.33/711.50 c cleaning 22002 clauses out of 44063 with flag 2421000/3198950 1371.14/716.48 c cleaning 22012 clauses out of 44062 with flag 2443001/3220951 1380.17/721.28 c cleaning 22000 clauses out of 44049 with flag 2465000/3242950 1386.38/724.64 c cleaning 0 clauses out of 6175 with flag 0/6177 1392.14/727.63 c cleaning 22008 clauses out of 44050 with flag 2487001/3264951 1403.41/733.78 c cleaning 22003 clauses out of 44044 with flag 2509003/3286953 1414.07/739.38 c cleaning 21995 clauses out of 44038 with flag 2531000/3308950 1424.10/744.65 c cleaning 22004 clauses out of 44044 with flag 2553001/3330951 1433.93/749.83 c cleaning 21999 clauses out of 44039 with flag 2575000/3352950 1444.78/755.80 c cleaning 21995 clauses out of 44040 with flag 2597000/3374950 1456.17/761.79 c cleaning 22006 clauses out of 44045 with flag 2619000/3396950 1467.58/767.79 c cleaning 22003 clauses out of 44042 with flag 2641003/3418953 1476.60/772.51 c cleaning 22002 clauses out of 44037 with flag 2663001/3440951 1484.75/777.16 c cleaning 21995 clauses out of 44034 with flag 2685000/3462950 1493.16/781.69 c cleaning 21995 clauses out of 44039 with flag 2707000/3484950 1502.35/786.53 c cleaning 21999 clauses out of 44046 with flag 2729002/3506952 1510.93/791.18 c cleaning 22004 clauses out of 44045 with flag 2751000/3528950 1520.49/796.43 c cleaning 22003 clauses out of 44045 with flag 2773004/3550954 1529.05/801.07 c cleaning 22001 clauses out of 44039 with flag 2795001/3572951 1537.83/805.76 c cleaning 21998 clauses out of 44038 with flag 2817001/3594951 1547.22/810.73 c cleaning 22001 clauses out of 44040 with flag 2839001/3616951 1557.42/816.36 c cleaning 22001 clauses out of 44038 with flag 2861000/3638950 1566.53/821.21 c cleaning 21997 clauses out of 44037 with flag 2883000/3660950 1575.52/826.01 c cleaning 21998 clauses out of 44044 with flag 2905004/3682954 1584.90/831.02 c cleaning 21977 clauses out of 44042 with flag 2927000/3704950 1594.59/836.43 c cleaning 22013 clauses out of 44068 with flag 2949003/3726953 1604.16/841.53 c cleaning 22000 clauses out of 44052 with flag 2971000/3748950 1612.95/846.26 c cleaning 21992 clauses out of 44053 with flag 2993001/3770951 1622.31/851.24 c cleaning 22012 clauses out of 44060 with flag 3015000/3792950 1633.38/857.33 c cleaning 22006 clauses out of 44048 with flag 3037000/3814950 1642.95/862.42 c cleaning 22009 clauses out of 44042 with flag 3059000/3836950 1653.70/868.12 c cleaning 21998 clauses out of 44036 with flag 3081003/3858953 1665.63/874.45 c cleaning 21992 clauses out of 44035 with flag 3103000/3880950 1675.57/879.99 c cleaning 22001 clauses out of 44044 with flag 3125001/3902951 1684.34/884.67 c cleaning 21998 clauses out of 44042 with flag 3147000/3924950 1692.90/889.27 c cleaning 21999 clauses out of 44045 with flag 3169001/3946951 1702.03/894.19 c cleaning 22003 clauses out of 44047 with flag 3191002/3968952 1711.53/899.49 c cleaning 21991 clauses out of 44046 with flag 3213004/3990954 1720.65/904.37 c cleaning 21992 clauses out of 44052 with flag 3235001/4012951 1730.16/909.42 c cleaning 22000 clauses out of 44062 with flag 3257003/4034953 1739.14/914.21 c cleaning 22002 clauses out of 44059 with flag 3279000/4056950 1751.14/920.81 c cleaning 22012 clauses out of 44057 with flag 3301000/4078950 1763.48/927.36 c cleaning 22000 clauses out of 44046 with flag 3323001/4100951 1773.44/932.66 c cleaning 22002 clauses out of 44047 with flag 3345002/4122952 1782.57/937.56 c cleaning 21993 clauses out of 44044 with flag 3367001/4144951 1795.65/944.69 c cleaning 22014 clauses out of 44050 with flag 3389000/4166950 1799.75/947.01 c starts : 36 1799.75/947.01 c conflicts : 7302 1799.75/947.01 c decisions : 78350 1799.75/947.01 c propagations : 1368276 1799.75/947.01 c inspects : 220596702 1799.75/947.01 c shortcuts : 0 1799.75/947.01 c learnt literals : 0 1799.75/947.01 c learnt binary clauses : 0 1799.75/947.01 c learnt ternary clauses : 0 1799.75/947.01 c learnt constraints : 7299 1799.75/947.01 c ignored constraints : 0 1799.75/947.01 c root simplifications : 0 1799.75/947.01 c removed literals (reason simplification) : 0 1799.75/947.01 c reason swapping (by a shorter reason) : 0 1799.75/947.01 c Calls to reduceDB : 1 1799.75/947.01 c number of reductions to clauses (during analyze) : 0 1799.75/947.01 c number of learned constraints concerned by reduction : 0 1799.75/947.01 c number of learning phase by resolution : 0 1799.75/947.01 c number of learning phase by cutting planes : 0 1799.75/947.01 c speed (assignments/second) : 1715.089365958583 1799.75/947.01 c non guided choices 0 1799.75/947.01 c learnt constraints type 1799.75/947.01 c org.sat4j.pb.constraints.pb.LearntHTClausePB => 69 1799.75/947.01 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 18 1799.75/947.01 c org.sat4j.pb.constraints.pb.MaxWatchPb => 7212 1799.75/947.01 c constraints type 1799.75/947.01 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 5373 1799.75/947.01 c org.sat4j.minisat.constraints.card.MinWatchCard => 2 1799.75/947.01 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 15899 1799.75/947.01 c constraints type 1799.75/947.01 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 15899 1799.75/947.01 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 5373 1799.75/947.01 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 2 1799.75/947.01 s SATISFIABLE 1799.75/947.03 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 1799.75/947.03 c objective function=21 1799.75/947.03 c Total wall clock time (in seconds): 946.899
OK 21
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) 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-3736015-1338714345/watcher-3736015-1338714345 -o /tmp/evaluation-result-3736015-1338714345/solver-3736015-1338714345 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3736015-1338714345.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: 3.91 3.85 3.16 3/171 25434 /proc/meminfo: memFree=28490532/32873648 swapFree=7388/7388 [pid=25434] ppid=25432 vsize=9292 CPUtime=0 cores=0,2,4,6 /proc/25434/stat : 25434 (java) D 25432 25434 25219 0 -1 4202496 247 0 0 0 0 0 0 0 20 0 1 0 337558982 9515008 182 33554432000 1073741824 1073778376 140735192000912 140735191991944 212073266869 0 0 4096 0 18446744072100609316 0 0 17 0 0 0 0 0 0 /proc/25434/statm: 2323 182 140 9 0 71 0 [startup+0.103534 s] /proc/loadavg: 3.91 3.85 3.16 3/171 25434 /proc/meminfo: memFree=28490532/32873648 swapFree=7388/7388 [pid=25434] ppid=25432 vsize=11586392 CPUtime=0.07 cores=0,2,4,6 /proc/25434/stat : 25434 (java) S 25432 25434 25219 0 -1 4202496 4525 0 1 0 6 1 0 0 20 0 18 0 337558982 11864465408 12378 33554432000 1073741824 1073778376 140736715644768 140736715635904 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/25434/statm: 2896598 12378 1779 9 0 2887285 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 11586392 [startup+0.200262 s] /proc/loadavg: 3.91 3.85 3.16 3/171 25434 /proc/meminfo: memFree=28490532/32873648 swapFree=7388/7388 [pid=25434] ppid=25432 vsize=11586392 CPUtime=0.23 cores=0,2,4,6 /proc/25434/stat : 25434 (java) S 25432 25434 25219 0 -1 4202496 5610 0 1 0 21 2 0 0 20 0 18 0 337558982 11864465408 13882 33554432000 1073741824 1073778376 140736715644768 140736715635904 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/25434/statm: 2896598 13882 2189 9 0 2887285 0 Current children cumulated CPU time (s) 0.23 Current children cumulated vsize (KiB) 11586392 [startup+0.300266 s] /proc/loadavg: 3.91 3.85 3.16 3/171 25434 /proc/meminfo: memFree=28490532/32873648 swapFree=7388/7388 [pid=25434] ppid=25432 vsize=11586392 CPUtime=0.44 cores=0,2,4,6 /proc/25434/stat : 25434 (java) S 25432 25434 25219 0 -1 4202496 6489 0 1 0 42 2 0 0 20 0 18 0 337558982 11864465408 15437 33554432000 1073741824 1073778376 140736715644768 140736715635904 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/25434/statm: 2896598 15437 2222 9 0 2887285 0 Current children cumulated CPU time (s) 0.44 Current children cumulated vsize (KiB) 11586392 [startup+0.700267 s] /proc/loadavg: 3.91 3.85 3.16 3/171 25434 /proc/meminfo: memFree=28490532/32873648 swapFree=7388/7388 [pid=25434] ppid=25432 vsize=11852648 CPUtime=1.25 cores=0,2,4,6 /proc/25434/stat : 25434 (java) S 25432 25434 25219 0 -1 4202496 11387 0 1 0 119 6 0 0 20 0 19 0 337558982 12137111552 30754 33554432000 1073741824 1073778376 140736715644768 140736715635904 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/25434/statm: 2963162 30754 2257 9 0 2953849 0 Current children cumulated CPU time (s) 1.25 Current children cumulated vsize (KiB) 11852648 [startup+1.50069 s] /proc/loadavg: 3.76 3.82 3.16 1/213 25489 /proc/meminfo: memFree=28182568/32873648 swapFree=7388/7388 [pid=25434] ppid=25432 vsize=11852648 CPUtime=1.36 cores=0,2,4,6 /proc/25434/stat : 25434 (java) S 25432 25434 25219 0 -1 4202496 11411 0 1 0 128 8 0 0 20 0 19 0 337558982 12137111552 31794 33554432000 1073741824 1073778376 140736715644768 140736715635904 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/25434/statm: 2963162 31794 2259 9 0 2953849 0 [pid=25434/tid=25440] ppid=25432 vsize=11852648 CPUtime=0.47 cores=0,2,4,6 /proc/25434/task/25440/stat : 25440 (java) S 25432 25434 25219 0 -1 4202560 3455 0 1 0 45 2 0 0 20 0 19 0 337558983 12137111552 31794 33554432000 1073741824 1073778376 140736715644768 139642332431512 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25434/tid=25447] ppid=25432 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/25434/task/25447/stat : 25447 (java) S 25432 25434 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337558986 12137111552 31794 33554432000 1073741824 1073778376 140736715644768 139642169486120 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25434/tid=25448] ppid=25432 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/25434/task/25448/stat : 25448 (java) S 25432 25434 25219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 337558986 12137111552 31794 33554432000 1073741824 1073778376 140736715644768 139642168433320 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25434/tid=25449] ppid=25432 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/25434/task/25449/stat : 25449 (java) S 25432 25434 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337558986 12137111552 31794 33554432000 1073741824 1073778376 140736715644768 139642167381032 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=25434/tid=25450] ppid=25432 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/25434/task/25450/stat : 25450 (java) S 25432 25434 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337558986 12137111552 31794 33554432000 1073741824 1073778376 140736715644768 139642166328232 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25434/tid=25451] ppid=25432 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/25434/task/25451/stat : 25451 (java) S 25432 25434 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337558986 12137111552 31794 33554432000 1073741824 1073778376 140736715644768 139642165274920 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25434/tid=25452] ppid=25432 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/25434/task/25452/stat : 25452 (java) S 25432 25434 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337558986 12137111552 31794 33554432000 1073741824 1073778376 140736715644768 139642164222120 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25434/tid=25453] ppid=25432 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/25434/task/25453/stat : 25453 (java) S 25432 25434 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337558986 12137111552 31794 33554432000 1073741824 1073778376 140736715644768 139642163169832 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25434/tid=25454] ppid=25432 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/25434/task/25454/stat : 25454 (java) S 25432 25434 25219 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 337558986 12137111552 31794 33554432000 1073741824 1073778376 140736715644768 139642162117032 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25434/tid=25463] ppid=25432 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/25434/task/25463/stat : 25463 (java) S 25432 25434 25219 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 337558987 12137111552 31794 33554432000 1073741824 1073778376 140736715644768 139642149919464 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25434/tid=25464] ppid=25432 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/25434/task/25464/stat : 25464 (java) S 25432 25434 25219 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 337558988 12137111552 31794 33554432000 1073741824 1073778376 140736715644768 139642148865528 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25434/tid=25465] ppid=25432 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/25434/task/25465/stat : 25465 (java) S 25432 25434 25219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 337558988 12137111552 31794 33554432000 1073741824 1073778376 140736715644768 139642147813128 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25434/tid=25469] ppid=25432 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/25434/task/25469/stat : 25469 (java) S 25432 25434 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337558990 12137111552 31794 33554432000 1073741824 1073778376 140736715644768 139642146761616 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25434/tid=25470] ppid=25432 vsize=11852648 CPUtime=0.35 cores=0,2,4,6 /proc/25434/task/25470/stat : 25470 (java) S 25432 25434 25219 0 -1 4202560 3588 0 0 0 35 0 0 0 20 0 19 0 337558990 12137111552 31794 33554432000 1073741824 1073778376 140736715644768 139642145708216 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25434/tid=25471] ppid=25432 vsize=11852648 CPUtime=0.33 cores=0,2,4,6 /proc/25434/task/25471/stat : 25471 (java) S 25432 25434 25219 0 -1 4202560 3063 0 0 0 33 0 0 0 20 0 19 0 337558990 12137111552 31794 33554432000 1073741824 1073778376 140736715644768 139642144655416 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25434/tid=25473] ppid=25432 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/25434/task/25473/stat : 25473 (java) S 25432 25434 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337558990 12137111552 31794 33554432000 1073741824 1073778376 140736715644768 139642143603320 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25434/tid=25475] ppid=25432 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/25434/task/25475/stat : 25475 (java) S 25432 25434 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337558990 12137111552 31794 33554432000 1073741824 1073778376 140736715644768 139642142550728 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25434/tid=25481] ppid=25432 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/25434/task/25481/stat : 25481 (java) S 25432 25434 25219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 337559034 12137111552 31794 33554432000 1073741824 1073778376 140736715644768 139642139391656 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1.36 Current children cumulated vsize (KiB) 11852648 [startup+3.10068 s] /proc/loadavg: 3.76 3.82 3.16 6/219 25498 /proc/meminfo: memFree=27595068/32873648 swapFree=7388/7388 [pid=25434] ppid=25432 vsize=11852648 CPUtime=4.61 cores=0,2,4,6 /proc/25434/stat : 25434 (java) S 25432 25434 25219 0 -1 4202496 20911 0 1 0 440 21 0 0 20 0 22 0 337558982 12137111552 142602 33554432000 1073741824 1073778376 140736715644768 140736715635904 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/25434/statm: 2963162 142602 2290 9 0 2953849 0 [pid=25434/tid=25440] ppid=25432 vsize=11852648 CPUtime=0.49 cores=0,2,4,6 /proc/25434/task/25440/stat : 25440 (java) S 25432 25434 25219 0 -1 4202560 3456 0 1 0 46 3 0 0 20 0 22 0 337558983 12137111552 142602 33554432000 1073741824 1073778376 140736715644768 139642332431528 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25434/tid=25447] ppid=25432 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/25434/task/25447/stat : 25447 (java) S 25432 25434 25219 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 337558986 12137111552 142602 33554432000 1073741824 1073778376 140736715644768 139642169486120 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25434/tid=25448] ppid=25432 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/25434/task/25448/stat : 25448 (java) S 25432 25434 25219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 337558986 12137111552 142602 33554432000 1073741824 1073778376 140736715644768 139642168433320 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25434/tid=25449] ppid=25432 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/25434/task/25449/stat : 25449 (java) S 25432 25434 25219 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 337558986 12137111552 142602 33554432000 1073741824 1073778376 140736715644768 139642167381032 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25434/tid=25450] ppid=25432 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/25434/task/25450/stat : 25450 (java) S 25432 25434 25219 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 337558986 12137111552 142602 33554432000 1073741824 1073778376 140736715644768 139642166328232 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25434/tid=25451] ppid=25432 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/25434/task/25451/stat : 25451 (java) S 25432 25434 25219 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 337558986 12137111552 142602 33554432000 1073741824 1073778376 140736715644768 139642165274920 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25434/tid=25452] ppid=25432 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/25434/task/25452/stat : 25452 (java) S 25432 25434 25219 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 337558986 12137111552 142602 33554432000 1073741824 1073778376 140736715644768 139642164222120 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=25434/tid=25453] ppid=25432 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/25434/task/25453/stat : 25453 (java) S 25432 25434 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337558986 12137111552 142602 33554432000 1073741824 1073778376 140736715644768 139642163169832 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25434/tid=25454] ppid=25432 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/25434/task/25454/stat : 25454 (java) S 25432 25434 25219 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 337558986 12137111552 142602 33554432000 1073741824 1073778376 140736715644768 139642162117032 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25434/tid=25463] ppid=25432 vsize=11852648 CPUtime=0.02 cores=0,2,4,6 /proc/25434/task/25463/stat : 25463 (java) S 25432 25434 25219 0 -1 4202560 34 0 0 0 2 0 0 0 20 0 22 0 337558987 12137111552 142602 33554432000 1073741824 1073778376 140736715644768 139642149919464 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25434/tid=25464] ppid=25432 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/25434/task/25464/stat : 25464 (java) S 25432 25434 25219 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 337558988 12137111552 142602 33554432000 1073741824 1073778376 140736715644768 139642148865528 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25434/tid=25465] ppid=25432 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/25434/task/25465/stat : 25465 (java) S 25432 25434 25219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 337558988 12137111552 142602 33554432000 1073741824 1073778376 140736715644768 139642147813128 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25434/tid=25469] ppid=25432 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/25434/task/25469/stat : 25469 (java) S 25432 25434 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337558990 12137111552 142602 33554432000 1073741824 1073778376 140736715644768 139642146761616 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25434/tid=25470] ppid=25432 vsize=11852648 CPUtime=0.85 cores=0,2,4,6 /proc/25434/task/25470/stat : 25470 (java) S 25432 25434 25219 0 -1 4202560 8115 0 0 0 83 2 0 0 20 0 22 0 337558990 12137111552 142602 33554432000 1073741824 1073778376 140736715644768 139642145708216 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25434/tid=25471] ppid=25432 vsize=11852648 CPUtime=0.73 cores=0,2,4,6 /proc/25434/task/25471/stat : 25471 (java) S 25432 25434 25219 0 -1 4202560 7737 0 0 0 71 2 0 0 20 0 22 0 337558990 12137111552 142602 33554432000 1073741824 1073778376 140736715644768 139642144655416 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25434/tid=25473] ppid=25432 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/25434/task/25473/stat : 25473 (java) S 25432 25434 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337558990 12137111552 142602 33554432000 1073741824 1073778376 140736715644768 139642143603320 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25434/tid=25475] ppid=25432 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/25434/task/25475/stat : 25475 (java) S 25432 25434 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337558990 12137111552 142602 33554432000 1073741824 1073778376 140736715644768 139642142550728 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25434/tid=25481] ppid=25432 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/25434/task/25481/stat : 25481 (java) S 25432 25434 25219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 337559034 12137111552 142602 33554432000 1073741824 1073778376 140736715644768 139642139391656 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 4.61 Current children cumulated vsize (KiB) 11852648 [startup+6.30083 s] /proc/loadavg: 3.78 3.82 3.16 5/219 25501 /proc/meminfo: memFree=26307188/32873648 swapFree=7388/7388 [pid=25434] ppid=25432 vsize=11852648 CPUtime=11.04 cores=0,2,4,6 /proc/25434/stat : 25434 (java) S 25432 25434 25219 0 -1 4202496 21123 0 1 0 1077 27 0 0 20 0 22 0 337558982 12137111552 224523 33554432000 1073741824 1073778376 140736715644768 140736715635904 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/25434/statm: 2963162 224523 2291 9 0 2953849 0 [pid=25434/tid=25440] ppid=25432 vsize=11852648 CPUtime=0.49 cores=0,2,4,6 /proc/25434/task/25440/stat : 25440 (java) S 25432 25434 25219 0 -1 4202560 3456 0 1 0 46 3 0 0 20 0 22 0 337558983 12137111552 224523 33554432000 1073741824 1073778376 140736715644768 139642332431528 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25434/tid=25447] ppid=25432 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/25434/task/25447/stat : 25447 (java) S 25432 25434 25219 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 337558986 12137111552 224523 33554432000 1073741824 1073778376 140736715644768 139642169486120 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25434/tid=25448] ppid=25432 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/25434/task/25448/stat : 25448 (java) S 25432 25434 25219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 337558986 12137111552 224523 33554432000 1073741824 1073778376 140736715644768 139642168433320 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25434/tid=25449] ppid=25432 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/25434/task/25449/stat : 25449 (java) S 25432 25434 25219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 337558986 12137111552 224523 33554432000 1073741824 1073778376 140736715644768 139642167381032 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=25434/tid=25450] ppid=25432 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/25434/task/25450/stat : 25450 (java) S 25432 25434 25219 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 22 0 337558986 12137111552 224523 33554432000 1073741824 1073778376 140736715644768 139642166328232 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25434/tid=25451] ppid=25432 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/25434/task/25451/stat : 25451 (java) S 25432 25434 25219 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 337558986 12137111552 224523 33554432000 1073741824 1073778376 140736715644768 139642165274920 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25434/tid=25452] ppid=25432 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/25434/task/25452/stat : 25452 (java) S 25432 25434 25219 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 337558986 12137111552 224523 33554432000 1073741824 1073778376 140736715644768 139642164222120 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=25434/tid=25453] ppid=25432 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/25434/task/25453/stat : 25453 (java) S 25432 25434 25219 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 337558986 12137111552 224523 33554432000 1073741824 1073778376 140736715644768 139642163169832 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25434/tid=25454] ppid=25432 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/25434/task/25454/stat : 25454 (java) S 25432 25434 25219 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 337558986 12137111552 224523 33554432000 1073741824 1073778376 140736715644768 139642162117032 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25434/tid=25463] ppid=25432 vsize=11852648 CPUtime=0.14 cores=0,2,4,6 /proc/25434/task/25463/stat : 25463 (java) S 25432 25434 25219 0 -1 4202560 36 0 0 0 14 0 0 0 20 0 22 0 337558987 12137111552 224523 33554432000 1073741824 1073778376 140736715644768 139642149919464 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25434/tid=25464] ppid=25432 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/25434/task/25464/stat : 25464 (java) S 25432 25434 25219 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 337558988 12137111552 224523 33554432000 1073741824 1073778376 140736715644768 139642148865528 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25434/tid=25465] ppid=25432 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/25434/task/25465/stat : 25465 (java) S 25432 25434 25219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 337558988 12137111552 224523 33554432000 1073741824 1073778376 140736715644768 139642147813128 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25434/tid=25469] ppid=25432 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/25434/task/25469/stat : 25469 (java) S 25432 25434 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337558990 12137111552 224523 33554432000 1073741824 1073778376 140736715644768 139642146761616 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25434/tid=25470] ppid=25432 vsize=11852648 CPUtime=0.92 cores=0,2,4,6 /proc/25434/task/25470/stat : 25470 (java) S 25432 25434 25219 0 -1 4202560 8120 0 0 0 90 2 0 0 20 0 22 0 337558990 12137111552 224523 33554432000 1073741824 1073778376 140736715644768 139642145708216 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25434/tid=25471] ppid=25432 vsize=11852648 CPUtime=0.84 cores=0,2,4,6 /proc/25434/task/25471/stat : 25471 (java) S 25432 25434 25219 0 -1 4202560 7752 0 0 0 82 2 0 0 20 0 22 0 337558990 12137111552 224523 33554432000 1073741824 1073778376 140736715644768 139642144655416 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=25434/tid=25473] ppid=25432 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/25434/task/25473/stat : 25473 (java) S 25432 25434 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337558990 12137111552 224523 33554432000 1073741824 1073778376 140736715644768 139642143603320 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25434/tid=25475] ppid=25432 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/25434/task/25475/stat : 25475 (java) S 25432 25434 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337558990 12137111552 224523 33554432000 1073741824 1073778376 140736715644768 139642142550728 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25434/tid=25481] ppid=25432 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/25434/task/25481/stat : 25481 (java) S 25432 25434 25219 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 337559034 12137111552 224523 33554432000 1073741824 1073778376 140736715644768 139642139391656 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25434/tid=25499] ppid=25432 vsize=11852648 CPUtime=3.51 cores=0,2,4,6 /proc/25434/task/25499/stat : 25499 (java) R 25432 25434 25219 0 -1 4202560 8 0 0 0 351 0 0 0 20 0 22 0 337559240 12137111552 224523 33554432000 1073741824 1073778376 140736715644768 139642141495480 139642272862976 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=25434/tid=25500] ppid=25432 vsize=11852648 CPUtime=3.51 cores=0,2,4,6 /proc/25434/task/25500/stat : 25500 (java) R 25432 25434 25219 0 -1 4202560 241 0 0 0 343 8 0 0 20 0 22 0 337559240 12137111552 224523 33554432000 1073741824 1073778376 140736715644768 139640996616352 139642273011284 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 ################ # More data... # ################ [pid=25434/tid=25450] ppid=25432 vsize=11852648 CPUtime=2.11 cores=0,2,4,6 /proc/25434/task/25450/stat : 25450 (java) S 25432 25434 25219 0 -1 4202560 115 0 0 0 209 2 0 0 20 0 22 0 337558986 12137111552 803932 33554432000 1073741824 1073778376 140736715644768 139642166328232 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25434/tid=25451] ppid=25432 vsize=11852648 CPUtime=2.16 cores=0,2,4,6 /proc/25434/task/25451/stat : 25451 (java) S 25432 25434 25219 0 -1 4202560 101 0 0 0 214 2 0 0 20 0 22 0 337558986 12137111552 803932 33554432000 1073741824 1073778376 140736715644768 139642165274920 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25434/tid=25452] ppid=25432 vsize=11852648 CPUtime=2.32 cores=0,2,4,6 /proc/25434/task/25452/stat : 25452 (java) S 25432 25434 25219 0 -1 4202560 95 0 0 0 229 3 0 0 20 0 22 0 337558986 12137111552 803932 33554432000 1073741824 1073778376 140736715644768 139642164222120 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=25434/tid=25453] ppid=25432 vsize=11852648 CPUtime=2.12 cores=0,2,4,6 /proc/25434/task/25453/stat : 25453 (java) S 25432 25434 25219 0 -1 4202560 101 0 0 0 210 2 0 0 20 0 22 0 337558986 12137111552 803932 33554432000 1073741824 1073778376 140736715644768 139642163169832 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25434/tid=25454] ppid=25432 vsize=11852648 CPUtime=2.08 cores=0,2,4,6 /proc/25434/task/25454/stat : 25454 (java) S 25432 25434 25219 0 -1 4202560 95 0 0 0 207 1 0 0 20 0 22 0 337558986 12137111552 803932 33554432000 1073741824 1073778376 140736715644768 139642162117032 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25434/tid=25463] ppid=25432 vsize=11852648 CPUtime=98.02 cores=0,2,4,6 /proc/25434/task/25463/stat : 25463 (java) S 25432 25434 25219 0 -1 4202560 367 0 0 0 9789 13 0 0 20 0 22 0 337558987 12137111552 803932 33554432000 1073741824 1073778376 140736715644768 139642149919464 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25434/tid=25464] ppid=25432 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/25434/task/25464/stat : 25464 (java) S 25432 25434 25219 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 337558988 12137111552 803932 33554432000 1073741824 1073778376 140736715644768 139642148865528 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25434/tid=25465] ppid=25432 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/25434/task/25465/stat : 25465 (java) S 25432 25434 25219 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 337558988 12137111552 803932 33554432000 1073741824 1073778376 140736715644768 139642147813128 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25434/tid=25469] ppid=25432 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/25434/task/25469/stat : 25469 (java) S 25432 25434 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337558990 12137111552 803932 33554432000 1073741824 1073778376 140736715644768 139642146761616 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25434/tid=25470] ppid=25432 vsize=11852648 CPUtime=1.45 cores=0,2,4,6 /proc/25434/task/25470/stat : 25470 (java) S 25432 25434 25219 0 -1 4202560 8245 0 0 0 143 2 0 0 20 0 22 0 337558990 12137111552 803932 33554432000 1073741824 1073778376 140736715644768 139642145708216 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25434/tid=25471] ppid=25432 vsize=11852648 CPUtime=1.1 cores=0,2,4,6 /proc/25434/task/25471/stat : 25471 (java) S 25432 25434 25219 0 -1 4202560 8701 0 0 0 108 2 0 0 20 0 22 0 337558990 12137111552 803932 33554432000 1073741824 1073778376 140736715644768 139642144655416 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25434/tid=25473] ppid=25432 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/25434/task/25473/stat : 25473 (java) S 25432 25434 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337558990 12137111552 803932 33554432000 1073741824 1073778376 140736715644768 139642143603320 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25434/tid=25475] ppid=25432 vsize=11852648 CPUtime=0.36 cores=0,2,4,6 /proc/25434/task/25475/stat : 25475 (java) S 25432 25434 25219 0 -1 4202560 55 0 0 0 17 19 0 0 20 0 22 0 337558990 12137111552 803932 33554432000 1073741824 1073778376 140736715644768 139642142550728 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25434/tid=25501] ppid=25432 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/25434/task/25501/stat : 25501 (java) S 25432 25434 25219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 337559240 12137111552 803932 33554432000 1073741824 1073778376 140736715644768 139642140443688 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25434/tid=25511] ppid=25432 vsize=11852648 CPUtime=696.16 cores=0,2,4,6 /proc/25434/task/25511/stat : 25511 (java) R 25432 25434 25219 0 -1 4202560 43 0 0 0 69605 11 0 0 20 0 22 0 337573905 12137111552 803932 33554432000 1073741824 1073778376 140736715644768 139642141495872 139642272817591 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=25434/tid=25512] ppid=25432 vsize=11852648 CPUtime=696.21 cores=0,2,4,6 /proc/25434/task/25512/stat : 25512 (java) R 25432 25434 25219 0 -1 4202560 242 0 0 0 69602 19 0 0 20 0 22 0 337573905 12137111552 803932 33554432000 1073741824 1073778376 140736715644768 139642139389152 139642273001807 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=25434/tid=25513] ppid=25432 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/25434/task/25513/stat : 25513 (java) S 25432 25434 25219 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 337573905 12137111552 803932 33554432000 1073741824 1073778376 140736715644768 139640996619816 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1791.05 Current children cumulated vsize (KiB) 11852648 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+947.001 s] /proc/loadavg: 3.45 3.74 3.55 4/219 25802 /proc/meminfo: memFree=24378920/32873648 swapFree=7388/7388 [pid=25434] ppid=25432 vsize=11852648 CPUtime=1799.75 cores=0,2,4,6 /proc/25434/stat : 25434 (java) S 25432 25434 25219 0 -1 4202496 24458 0 1 0 179870 105 0 0 20 0 22 0 337558982 12137111552 804449 33554432000 1073741824 1073778376 140736715644768 140736715635904 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/25434/statm: 2963162 804449 2292 9 0 2953849 0 [pid=25434/tid=25440] ppid=25432 vsize=11852648 CPUtime=0.54 cores=0,2,4,6 /proc/25434/task/25440/stat : 25440 (java) S 25432 25434 25219 0 -1 4202560 3595 0 1 0 50 4 0 0 20 0 22 0 337558983 12137111552 804449 33554432000 1073741824 1073778376 140736715644768 139642332431496 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25434/tid=25447] ppid=25432 vsize=11852648 CPUtime=2.04 cores=0,2,4,6 /proc/25434/task/25447/stat : 25447 (java) S 25432 25434 25219 0 -1 4202560 114 0 0 0 201 3 0 0 20 0 22 0 337558986 12137111552 804449 33554432000 1073741824 1073778376 140736715644768 139642169486120 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=25434/tid=25448] ppid=25432 vsize=11852648 CPUtime=2.14 cores=0,2,4,6 /proc/25434/task/25448/stat : 25448 (java) S 25432 25434 25219 0 -1 4202560 86 0 0 0 214 0 0 0 20 0 22 0 337558986 12137111552 804449 33554432000 1073741824 1073778376 140736715644768 139642168433320 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25434/tid=25449] ppid=25432 vsize=11852648 CPUtime=2.13 cores=0,2,4,6 /proc/25434/task/25449/stat : 25449 (java) S 25432 25434 25219 0 -1 4202560 117 0 0 0 210 3 0 0 20 0 22 0 337558986 12137111552 804449 33554432000 1073741824 1073778376 140736715644768 139642167381032 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25434/tid=25450] ppid=25432 vsize=11852648 CPUtime=2.12 cores=0,2,4,6 /proc/25434/task/25450/stat : 25450 (java) S 25432 25434 25219 0 -1 4202560 116 0 0 0 210 2 0 0 20 0 22 0 337558986 12137111552 804449 33554432000 1073741824 1073778376 140736715644768 139642166328232 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25434/tid=25451] ppid=25432 vsize=11852648 CPUtime=2.19 cores=0,2,4,6 /proc/25434/task/25451/stat : 25451 (java) S 25432 25434 25219 0 -1 4202560 101 0 0 0 217 2 0 0 20 0 22 0 337558986 12137111552 804449 33554432000 1073741824 1073778376 140736715644768 139642165274920 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25434/tid=25452] ppid=25432 vsize=11852648 CPUtime=2.35 cores=0,2,4,6 /proc/25434/task/25452/stat : 25452 (java) S 25432 25434 25219 0 -1 4202560 98 0 0 0 232 3 0 0 20 0 22 0 337558986 12137111552 804449 33554432000 1073741824 1073778376 140736715644768 139642164222120 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=25434/tid=25453] ppid=25432 vsize=11852648 CPUtime=2.13 cores=0,2,4,6 /proc/25434/task/25453/stat : 25453 (java) S 25432 25434 25219 0 -1 4202560 101 0 0 0 211 2 0 0 20 0 22 0 337558986 12137111552 804449 33554432000 1073741824 1073778376 140736715644768 139642163169832 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=25434/tid=25454] ppid=25432 vsize=11852648 CPUtime=2.1 cores=0,2,4,6 /proc/25434/task/25454/stat : 25454 (java) S 25432 25434 25219 0 -1 4202560 95 0 0 0 208 2 0 0 20 0 22 0 337558986 12137111552 804449 33554432000 1073741824 1073778376 140736715644768 139642162117032 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25434/tid=25463] ppid=25432 vsize=11852648 CPUtime=98.78 cores=0,2,4,6 /proc/25434/task/25463/stat : 25463 (java) S 25432 25434 25219 0 -1 4202560 370 0 0 0 9865 13 0 0 20 0 22 0 337558987 12137111552 804449 33554432000 1073741824 1073778376 140736715644768 139642149919464 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25434/tid=25464] ppid=25432 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/25434/task/25464/stat : 25464 (java) S 25432 25434 25219 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 337558988 12137111552 804449 33554432000 1073741824 1073778376 140736715644768 139642148865528 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25434/tid=25465] ppid=25432 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/25434/task/25465/stat : 25465 (java) S 25432 25434 25219 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 337558988 12137111552 804449 33554432000 1073741824 1073778376 140736715644768 139642147813128 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25434/tid=25469] ppid=25432 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/25434/task/25469/stat : 25469 (java) S 25432 25434 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337558990 12137111552 804449 33554432000 1073741824 1073778376 140736715644768 139642146761616 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25434/tid=25470] ppid=25432 vsize=11852648 CPUtime=1.45 cores=0,2,4,6 /proc/25434/task/25470/stat : 25470 (java) S 25432 25434 25219 0 -1 4202560 8245 0 0 0 143 2 0 0 20 0 22 0 337558990 12137111552 804449 33554432000 1073741824 1073778376 140736715644768 139642145708216 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25434/tid=25471] ppid=25432 vsize=11852648 CPUtime=1.1 cores=0,2,4,6 /proc/25434/task/25471/stat : 25471 (java) S 25432 25434 25219 0 -1 4202560 8701 0 0 0 108 2 0 0 20 0 22 0 337558990 12137111552 804449 33554432000 1073741824 1073778376 140736715644768 139642144655416 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25434/tid=25473] ppid=25432 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/25434/task/25473/stat : 25473 (java) S 25432 25434 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337558990 12137111552 804449 33554432000 1073741824 1073778376 140736715644768 139642143603320 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25434/tid=25475] ppid=25432 vsize=11852648 CPUtime=0.37 cores=0,2,4,6 /proc/25434/task/25475/stat : 25475 (java) S 25432 25434 25219 0 -1 4202560 55 0 0 0 18 19 0 0 20 0 22 0 337558990 12137111552 804449 33554432000 1073741824 1073778376 140736715644768 139642142550728 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25434/tid=25501] ppid=25432 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/25434/task/25501/stat : 25501 (java) S 25432 25434 25219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 337559240 12137111552 804449 33554432000 1073741824 1073778376 140736715644768 139642140443688 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25434/tid=25511] ppid=25432 vsize=11852648 CPUtime=700.05 cores=0,2,4,6 /proc/25434/task/25511/stat : 25511 (java) R 25432 25434 25219 0 -1 4202560 43 0 0 0 69994 11 0 0 20 0 22 0 337573905 12137111552 804449 33554432000 1073741824 1073778376 140736715644768 139642141495872 139642272851744 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=25434/tid=25512] ppid=25432 vsize=11852648 CPUtime=700.11 cores=0,2,4,6 /proc/25434/task/25512/stat : 25512 (java) R 25432 25434 25219 0 -1 4202560 242 0 0 0 69992 19 0 0 20 0 22 0 337573905 12137111552 804449 33554432000 1073741824 1073778376 140736715644768 139642139388912 139642273011054 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=25434/tid=25513] ppid=25432 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/25434/task/25513/stat : 25513 (java) S 25432 25434 25219 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 337573905 12137111552 804449 33554432000 1073741824 1073778376 140736715644768 139640996619816 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1799.75 Current children cumulated vsize (KiB) 11852648 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+947.001 s] /proc/loadavg: 3.45 3.74 3.55 4/219 25802 /proc/meminfo: memFree=24378920/32873648 swapFree=7388/7388 [pid=25434] ppid=25432 vsize=11852648 CPUtime=1799.75 cores=0,2,4,6 /proc/25434/stat : 25434 (java) S 25432 25434 25219 0 -1 4202496 24458 0 1 0 179870 105 0 0 20 0 22 0 337558982 12137111552 804449 33554432000 1073741824 1073778376 140736715644768 140736715635904 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 /proc/25434/statm: 2963162 804449 2292 9 0 2953849 0 [pid=25434/tid=25440] ppid=25432 vsize=11852648 CPUtime=0.54 cores=0,2,4,6 /proc/25434/task/25440/stat : 25440 (java) S 25432 25434 25219 0 -1 4202560 3595 0 1 0 50 4 0 0 20 0 22 0 337558983 12137111552 804449 33554432000 1073741824 1073778376 140736715644768 139642332431496 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25434/tid=25447] ppid=25432 vsize=11852648 CPUtime=2.04 cores=0,2,4,6 /proc/25434/task/25447/stat : 25447 (java) S 25432 25434 25219 0 -1 4202560 114 0 0 0 201 3 0 0 20 0 22 0 337558986 12137111552 804449 33554432000 1073741824 1073778376 140736715644768 139642169486120 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=25434/tid=25448] ppid=25432 vsize=11852648 CPUtime=2.14 cores=0,2,4,6 /proc/25434/task/25448/stat : 25448 (java) S 25432 25434 25219 0 -1 4202560 86 0 0 0 214 0 0 0 20 0 22 0 337558986 12137111552 804449 33554432000 1073741824 1073778376 140736715644768 139642168433320 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25434/tid=25449] ppid=25432 vsize=11852648 CPUtime=2.13 cores=0,2,4,6 /proc/25434/task/25449/stat : 25449 (java) S 25432 25434 25219 0 -1 4202560 117 0 0 0 210 3 0 0 20 0 22 0 337558986 12137111552 804449 33554432000 1073741824 1073778376 140736715644768 139642167381032 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25434/tid=25450] ppid=25432 vsize=11852648 CPUtime=2.12 cores=0,2,4,6 /proc/25434/task/25450/stat : 25450 (java) S 25432 25434 25219 0 -1 4202560 116 0 0 0 210 2 0 0 20 0 22 0 337558986 12137111552 804449 33554432000 1073741824 1073778376 140736715644768 139642166328232 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25434/tid=25451] ppid=25432 vsize=11852648 CPUtime=2.19 cores=0,2,4,6 /proc/25434/task/25451/stat : 25451 (java) S 25432 25434 25219 0 -1 4202560 101 0 0 0 217 2 0 0 20 0 22 0 337558986 12137111552 804449 33554432000 1073741824 1073778376 140736715644768 139642165274920 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25434/tid=25452] ppid=25432 vsize=11852648 CPUtime=2.35 cores=0,2,4,6 /proc/25434/task/25452/stat : 25452 (java) S 25432 25434 25219 0 -1 4202560 98 0 0 0 232 3 0 0 20 0 22 0 337558986 12137111552 804449 33554432000 1073741824 1073778376 140736715644768 139642164222120 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=25434/tid=25453] ppid=25432 vsize=11852648 CPUtime=2.13 cores=0,2,4,6 /proc/25434/task/25453/stat : 25453 (java) S 25432 25434 25219 0 -1 4202560 101 0 0 0 211 2 0 0 20 0 22 0 337558986 12137111552 804449 33554432000 1073741824 1073778376 140736715644768 139642163169832 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=25434/tid=25454] ppid=25432 vsize=11852648 CPUtime=2.1 cores=0,2,4,6 /proc/25434/task/25454/stat : 25454 (java) S 25432 25434 25219 0 -1 4202560 95 0 0 0 208 2 0 0 20 0 22 0 337558986 12137111552 804449 33554432000 1073741824 1073778376 140736715644768 139642162117032 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25434/tid=25463] ppid=25432 vsize=11852648 CPUtime=98.78 cores=0,2,4,6 /proc/25434/task/25463/stat : 25463 (java) S 25432 25434 25219 0 -1 4202560 370 0 0 0 9865 13 0 0 20 0 22 0 337558987 12137111552 804449 33554432000 1073741824 1073778376 140736715644768 139642149919464 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25434/tid=25464] ppid=25432 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/25434/task/25464/stat : 25464 (java) S 25432 25434 25219 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 337558988 12137111552 804449 33554432000 1073741824 1073778376 140736715644768 139642148865528 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25434/tid=25465] ppid=25432 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/25434/task/25465/stat : 25465 (java) S 25432 25434 25219 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 337558988 12137111552 804449 33554432000 1073741824 1073778376 140736715644768 139642147813128 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25434/tid=25469] ppid=25432 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/25434/task/25469/stat : 25469 (java) S 25432 25434 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337558990 12137111552 804449 33554432000 1073741824 1073778376 140736715644768 139642146761616 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=25434/tid=25470] ppid=25432 vsize=11852648 CPUtime=1.45 cores=0,2,4,6 /proc/25434/task/25470/stat : 25470 (java) S 25432 25434 25219 0 -1 4202560 8245 0 0 0 143 2 0 0 20 0 22 0 337558990 12137111552 804449 33554432000 1073741824 1073778376 140736715644768 139642145708216 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25434/tid=25471] ppid=25432 vsize=11852648 CPUtime=1.1 cores=0,2,4,6 /proc/25434/task/25471/stat : 25471 (java) S 25432 25434 25219 0 -1 4202560 8701 0 0 0 108 2 0 0 20 0 22 0 337558990 12137111552 804449 33554432000 1073741824 1073778376 140736715644768 139642144655416 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25434/tid=25473] ppid=25432 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/25434/task/25473/stat : 25473 (java) S 25432 25434 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 337558990 12137111552 804449 33554432000 1073741824 1073778376 140736715644768 139642143603320 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=25434/tid=25475] ppid=25432 vsize=11852648 CPUtime=0.37 cores=0,2,4,6 /proc/25434/task/25475/stat : 25475 (java) S 25432 25434 25219 0 -1 4202560 55 0 0 0 18 19 0 0 20 0 22 0 337558990 12137111552 804449 33554432000 1073741824 1073778376 140736715644768 139642142550728 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25434/tid=25501] ppid=25432 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/25434/task/25501/stat : 25501 (java) S 25432 25434 25219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 337559240 12137111552 804449 33554432000 1073741824 1073778376 140736715644768 139642140443688 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=25434/tid=25511] ppid=25432 vsize=11852648 CPUtime=700.05 cores=0,2,4,6 /proc/25434/task/25511/stat : 25511 (java) R 25432 25434 25219 0 -1 4202560 43 0 0 0 69994 11 0 0 20 0 22 0 337573905 12137111552 804449 33554432000 1073741824 1073778376 140736715644768 139642141495872 139642272851744 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=25434/tid=25512] ppid=25432 vsize=11852648 CPUtime=700.11 cores=0,2,4,6 /proc/25434/task/25512/stat : 25512 (java) R 25432 25434 25219 0 -1 4202560 242 0 0 0 69992 19 0 0 20 0 22 0 337573905 12137111552 804449 33554432000 1073741824 1073778376 140736715644768 139642139388912 139642273011054 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=25434/tid=25513] ppid=25432 vsize=11852648 CPUtime=0 cores=0,2,4,6 /proc/25434/task/25513/stat : 25513 (java) S 25432 25434 25219 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 337573905 12137111552 804449 33554432000 1073741824 1073778376 140736715644768 139640996619816 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1799.75 Current children cumulated vsize (KiB) 11852648 Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 25434 and gives # childrusage.ru_utime.tv_sec=1794 # childrusage.ru_utime.tv_usec=949126 # childrusage.ru_stime.tv_sec=1 # childrusage.ru_stime.tv_usec=502771 # CPU time returned by wait4() is 1796.45 # while last known CPU time is 1799.75 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... # WARNING: # The CPU time of some children was not reported to their father # (probably because of a missing or aborted wait()). # This 'lost CPU time' is added to the watched process CPU time. # lost CPU time (s): 0.319992 # lost CPU user time (s): 0.410011 # lost CPU system time (s): -0.0899999 Real time (s): 947.06 CPU time (s): 1800.07 CPU user time (s): 1799.11 CPU system time (s): 0.96 CPU usage (%): 190.069 Max. virtual memory (cumulated for all children) (KiB): 11852648 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.95 system time used= 1.50277 maximum resident set size= 3217920 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 24491 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1008 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 28956 involuntary context switches= 42885 runsolver used 3.48047 second user time and 8.73367 second system time The end
Begin job on node148 at 2012-06-03 11:05:45 IDJOB=3736015 IDBENCH=25015 IDSOLVER=2328 FILE ID=node148/3736015-1338714345 RUNJOBID= node148-1338713436-25235 PBS_JOBID= 14636734 Free space on /tmp= 71332 MiB SOLVER NAME= PB11: Sat4j Res//CP 2.3.0 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_6.opb COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3736015-1338714345/watcher-3736015-1338714345 -o /tmp/evaluation-result-3736015-1338714345/solver-3736015-1338714345 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3736015-1338714345.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= d25f6086317f033c233c4700493f03d1 RANDOM SEED=935222450 node148.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.284 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.284 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.94 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.284 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.284 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.284 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.284 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.284 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.284 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873648 kB MemFree: 28489060 kB Buffers: 593252 kB Cached: 2872004 kB SwapCached: 628 kB Active: 1418084 kB Inactive: 2063764 kB Active(anon): 6336 kB Inactive(anon): 10660 kB Active(file): 1411748 kB Inactive(file): 2053104 kB Unevictable: 7388 kB Mlocked: 7388 kB SwapTotal: 67108856 kB SwapFree: 67107564 kB Dirty: 1600 kB Writeback: 0 kB AnonPages: 21292 kB Mapped: 10220 kB Shmem: 36 kB Slab: 766456 kB SReclaimable: 210404 kB SUnreclaim: 556052 kB KernelStack: 1416 kB PageTables: 4120 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 109772 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7680 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71332 MiB End job on node148 at 2012-06-03 11:21:34