Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| Sat 4j PB Resolution 2.3.2 Snapshot | OPT | 680.72 | 676.392 |
| Name | /OPT-BIGINT-LIN/zahidi/MH+IC/ normalized-minisat15_4_4_1_mh_ic.opb |
| MD5SUM | f4c34ee83da7e36be7881d34beece196 |
| Bench Category | OPT-BIGINT-LIN (optimisation, big integers, linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 1396365 |
| Best CPU time to get the best result obtained on this benchmark | 680.72 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 9765 |
| Total number of constraints | 21293 |
| Number of constraints which are clauses | 14520 |
| Number of constraints which are cardinality constraints (but not clauses) | 23 |
| Number of constraints which are nor clauses,nor cardinality constraints | 6750 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 330 |
| Number of terms in the objective function | 4005 |
| Biggest coefficient in the objective function | 57066625 |
| Number of bits for the biggest coefficient in the objective function | 26 |
| Sum of the numbers in the objective function | 2537601947 |
| Number of bits of the sum of numbers in the objective function | 32 |
| Biggest number in a constraint | 57066625 |
| Number of bits of the biggest number in a constraint | 26 |
| Biggest sum of numbers in a constraint | 2537601947 |
| Number of bits of the biggest sum of numbers | 32 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.07/0.10 c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS 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.10 c version 2.3.2.v20120418 0.07/0.10 c java.runtime.name Java(TM) SE Runtime Environment 0.07/0.10 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.07/0.10 c java.vm.version 19.1-b02 0.07/0.10 c java.vm.vendor Sun Microsystems Inc. 0.07/0.10 c sun.arch.data.model 64 0.07/0.10 c java.version 1.6.0_24 0.07/0.10 c os.name Linux 0.07/0.10 c os.version 2.6.32-71.29.1.el6.x86_64 0.07/0.10 c os.arch amd64 0.07/0.10 c Free memory 501472288 0.07/0.10 c Max memory 7480803328 0.07/0.10 c Total memory 504102912 0.07/0.10 c Number of processors 8 0.07/0.13 c Pseudo Boolean Optimization by upper bound 0.07/0.13 c --- Begin Solver configuration --- 0.07/0.13 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@431b9fb1 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 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 c --- End Solver configuration --- 0.07/0.13 c solving HOME/instance-3690041-1337895375.opb 0.07/0.13 c reading problem ... 0.67/0.47 c ... done. Wall clock time 0.347s. 0.67/0.47 c declared #vars 9765 0.67/0.47 c #constraints 21927 0.67/0.47 c constraints type 0.67/0.48 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6001 0.67/0.48 c org.sat4j.minisat.constraints.cnf.UnitClauses => 4 0.67/0.48 c org.sat4j.minisat.constraints.card.MinWatchCard => 22 0.67/0.48 c ignored satisfied constraints => 4 0.67/0.48 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9885 0.67/0.48 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6015 0.67/0.48 c 21931 constraints processed. 0.67/0.48 c objective function length is 4005 literals 2.69/2.10 c cleaning 2501 clauses out of 5001 with flag 5001/5001 4.29/3.16 c SATISFIABLE 4.29/3.16 c OPTIMIZING... 4.29/3.16 c Got one! Elapsed wall clock time (in seconds):3.031 4.29/3.16 o 139039182 4.47/3.27 c Got one! Elapsed wall clock time (in seconds):3.144 4.47/3.27 o 57448004 4.95/3.50 c cleaning 4061 clauses out of 8123 with flag 1000/10624 6.07/4.62 c cleaning 5023 clauses out of 10063 with flag 7001/16625 7.08/5.65 c Got one! Elapsed wall clock time (in seconds):5.525 7.08/5.65 o 4199276 7.33/5.86 c cleaning 5364 clauses out of 10729 with flag 1001/22318 8.48/6.93 c cleaning 5676 clauses out of 11362 with flag 7000/28317 9.49/7.94 c cleaning 6343 clauses out of 12687 with flag 14001/35318 10.79/9.20 c cleaning 7173 clauses out of 14345 with flag 22002/43319 11.60/10.04 c Got one! Elapsed wall clock time (in seconds):9.914 11.60/10.04 o 4047602 11.81/10.21 c cleaning 6332 clauses out of 12682 with flag 1000/48829 12.72/11.10 c cleaning 6168 clauses out of 12350 with flag 7000/54829 13.63/12.08 c cleaning 6577 clauses out of 13181 with flag 14000/61829 13.93/12.39 c Got one! Elapsed wall clock time (in seconds):12.262 13.93/12.39 o 3375616 14.46/12.87 c cleaning 5865 clauses out of 11754 with flag 3001/66979 15.27/13.60 c cleaning 5946 clauses out of 11891 with flag 9003/72981 16.18/14.55 c cleaning 6458 clauses out of 12942 with flag 16000/79978 17.58/15.96 c cleaning 7242 clauses out of 14484 with flag 24001/87979 19.58/17.94 c Got one! Elapsed wall clock time (in seconds):17.814 19.58/17.94 o 3129684 19.88/18.25 c Got one! Elapsed wall clock time (in seconds):18.127 19.88/18.25 o 2016268 20.08/18.45 c Got one! Elapsed wall clock time (in seconds):18.318 20.08/18.45 o 2011194 20.29/18.65 c cleaning 10891 clauses out of 21788 with flag 1001/102528 20.69/19.05 c Got one! Elapsed wall clock time (in seconds):18.923 20.69/19.05 o 1983934 21.29/19.63 c cleaning 8002 clauses out of 16026 with flag 3000/107666 22.31/20.67 c cleaning 7006 clauses out of 14024 with flag 9000/113666 23.72/22.08 c cleaning 7002 clauses out of 14018 with flag 16000/120666 25.52/23.83 c cleaning 7507 clauses out of 15017 with flag 24001/128667 27.34/25.63 c cleaning 8238 clauses out of 16510 with flag 33001/137667 28.44/26.79 c Got one! Elapsed wall clock time (in seconds):26.659 28.44/26.79 o 1966787 29.34/27.65 c cleaning 9171 clauses out of 18380 with flag 5000/147775 30.35/28.68 c cleaning 7603 clauses out of 15209 with flag 11000/153775 31.75/30.06 c cleaning 7303 clauses out of 14608 with flag 18002/160777 32.37/30.70 c Got one! Elapsed wall clock time (in seconds):30.575 32.37/30.70 o 1959467 32.90/31.16 c cleaning 6511 clauses out of 13037 with flag 3000/166509 33.22/31.41 c Got one! Elapsed wall clock time (in seconds):31.283 33.22/31.41 o 1901075 33.82/32.04 c cleaning 5952 clauses out of 11925 with flag 4000/171908 34.73/32.99 c Got one! Elapsed wall clock time (in seconds):32.865 34.73/32.99 o 1895028 35.53/33.78 c cleaning 8009 clauses out of 16027 with flag 5000/181964 36.35/34.54 c Got one! Elapsed wall clock time (in seconds):34.414 36.35/34.54 o 1874954 36.56/34.74 c Got one! Elapsed wall clock time (in seconds):34.618 36.56/34.74 o 1824575 36.66/34.89 c Got one! Elapsed wall clock time (in seconds):34.765 36.66/34.89 o 1715425 36.76/34.94 c Got one! Elapsed wall clock time (in seconds):34.813 36.76/34.94 o 1609701 36.76/34.96 c Got one! Elapsed wall clock time (in seconds):34.833 36.76/34.96 o 1598547 37.66/35.80 c cleaning 9668 clauses out of 19345 with flag 4000/193296 38.77/36.99 c cleaning 7830 clauses out of 15677 with flag 10000/199296 40.28/38.40 c cleaning 7406 clauses out of 14847 with flag 17000/206296 41.99/40.17 c cleaning 7718 clauses out of 15442 with flag 25001/214297 44.09/42.29 c cleaning 8350 clauses out of 16723 with flag 34000/223296 46.50/44.60 c cleaning 9181 clauses out of 18375 with flag 44002/233298 49.00/47.11 c cleaning 10088 clauses out of 20192 with flag 55000/244296 51.52/49.66 c cleaning 11043 clauses out of 22104 with flag 67000/256296 53.32/51.48 c Got one! Elapsed wall clock time (in seconds):51.351 53.32/51.48 o 1591688 54.52/52.68 c cleaning 12085 clauses out of 24192 with flag 5002/269428 55.92/54.01 c cleaning 9028 clauses out of 18105 with flag 11000/275426 57.52/55.62 c cleaning 8029 clauses out of 16077 with flag 18000/282426 59.22/57.32 c cleaning 8005 clauses out of 16049 with flag 26001/290427 60.93/59.05 c cleaning 8512 clauses out of 17043 with flag 35000/299426 63.13/61.20 c cleaning 9247 clauses out of 18534 with flag 45003/309429 65.75/63.89 c cleaning 10144 clauses out of 20287 with flag 56003/320429 66.66/64.73 c Got one! Elapsed wall clock time (in seconds):64.601 66.66/64.73 o 1579606 67.06/65.17 c cleaning 7689 clauses out of 15424 with flag 2001/325710 68.56/66.67 c cleaning 6858 clauses out of 13734 with flag 8000/331709 70.31/68.31 c cleaning 6922 clauses out of 13876 with flag 15000/338709 72.02/70.07 c cleaning 7474 clauses out of 14955 with flag 23001/346710 73.92/71.99 c cleaning 8239 clauses out of 16481 with flag 32001/355710 76.05/74.03 c cleaning 9103 clauses out of 18241 with flag 42000/365709 76.36/74.32 c Got one! Elapsed wall clock time (in seconds):74.193 76.36/74.32 o 1537729 77.46/75.41 c cleaning 7525 clauses out of 15095 with flag 5000/371666 78.88/76.83 c cleaning 6756 clauses out of 13570 with flag 11000/377666 80.38/78.38 c cleaning 6894 clauses out of 13815 with flag 18001/384667 82.10/80.02 c cleaning 7449 clauses out of 14920 with flag 26000/392666 84.10/82.07 c cleaning 8227 clauses out of 16472 with flag 35001/401667 86.40/84.37 c cleaning 9118 clauses out of 18244 with flag 45000/411666 89.01/86.93 c cleaning 10062 clauses out of 20126 with flag 56000/422666 91.71/89.67 c cleaning 11017 clauses out of 22064 with flag 68000/434666 94.92/92.81 c cleaning 12012 clauses out of 24047 with flag 81000/447666 98.24/96.15 c cleaning 13015 clauses out of 26035 with flag 95000/461666 101.76/99.60 c cleaning 14009 clauses out of 28020 with flag 110000/476666 105.17/103.03 c Got one! Elapsed wall clock time (in seconds):102.908 105.17/103.03 o 1524449 106.17/104.05 c cleaning 17019 clauses out of 34052 with flag 5000/496707 106.49/104.32 c Got one! Elapsed wall clock time (in seconds):104.191 106.49/104.32 o 1515309 107.29/105.12 c Got one! Elapsed wall clock time (in seconds):104.996 107.29/105.12 o 1513233 107.59/105.40 c cleaning 11328 clauses out of 22703 with flag 1002/502377 109.10/106.91 c cleaning 8651 clauses out of 17374 with flag 7001/508376 110.70/108.54 c cleaning 7836 clauses out of 15723 with flag 14001/515376 112.40/110.23 c cleaning 7926 clauses out of 15886 with flag 22000/523375 114.41/112.29 c cleaning 8476 clauses out of 16960 with flag 31000/532375 116.63/114.47 c cleaning 9227 clauses out of 18484 with flag 41000/542375 119.13/116.95 c cleaning 10126 clauses out of 20257 with flag 52000/553375 121.85/119.69 c cleaning 11055 clauses out of 22131 with flag 64000/565375 124.86/122.65 c cleaning 12027 clauses out of 24076 with flag 77000/578375 128.17/125.98 c cleaning 13019 clauses out of 26050 with flag 91001/592376 131.28/129.09 c cleaning 14009 clauses out of 28030 with flag 106000/607375 134.52/132.27 c cleaning 14997 clauses out of 30021 with flag 122000/623375 138.24/135.98 c cleaning 16000 clauses out of 32024 with flag 139000/640375 142.64/140.39 c cleaning 17010 clauses out of 34024 with flag 157000/658375 145.94/143.68 c Got one! Elapsed wall clock time (in seconds):143.551 145.94/143.68 o 1495106 147.04/144.76 c cleaning 17839 clauses out of 35694 with flag 5001/677055 148.36/146.06 c cleaning 11911 clauses out of 23855 with flag 11001/683055 149.87/147.53 c cleaning 9456 clauses out of 18943 with flag 18000/690054 151.69/149.34 c cleaning 8720 clauses out of 17487 with flag 26000/698054 153.80/151.42 c cleaning 8864 clauses out of 17768 with flag 35001/707055 155.94/153.55 c cleaning 9435 clauses out of 18903 with flag 45000/717054 158.56/156.15 c cleaning 10228 clauses out of 20471 with flag 56003/728057 161.26/158.80 c cleaning 11121 clauses out of 22243 with flag 68003/740057 164.36/161.95 c cleaning 12053 clauses out of 24124 with flag 81005/753059 167.67/165.20 c cleaning 13019 clauses out of 26067 with flag 95001/767055 171.28/168.88 c cleaning 14003 clauses out of 28047 with flag 110000/782054 175.10/172.61 c cleaning 15010 clauses out of 30045 with flag 126001/798055 178.99/176.59 c cleaning 16011 clauses out of 32035 with flag 143001/815055 183.22/180.77 c cleaning 16999 clauses out of 34023 with flag 161000/833054 187.34/184.88 c cleaning 17997 clauses out of 36024 with flag 180000/852054 191.14/188.67 c cleaning 19010 clauses out of 38027 with flag 200000/872054 195.54/193.03 c cleaning 20004 clauses out of 40017 with flag 221000/893054 199.94/197.42 c cleaning 20995 clauses out of 42014 with flag 243001/915055 204.36/201.80 c cleaning 21999 clauses out of 44020 with flag 266002/938056 209.49/206.96 c cleaning 23000 clauses out of 46019 with flag 290000/962054 215.31/212.74 c cleaning 24008 clauses out of 48023 with flag 315004/987058 221.24/218.64 c cleaning 25005 clauses out of 50013 with flag 341002/1013056 227.28/224.65 c cleaning 25997 clauses out of 52006 with flag 368000/1040054 233.34/230.64 c cleaning 26992 clauses out of 54009 with flag 396000/1068054 233.55/230.88 c Got one! Elapsed wall clock time (in seconds):230.75 233.55/230.88 o 1479476 234.85/232.13 c cleaning 16419 clauses out of 32874 with flag 5001/1073911 235.97/233.24 c cleaning 11215 clauses out of 22454 with flag 11000/1079910 237.38/234.69 c cleaning 9091 clauses out of 18239 with flag 18000/1086910 238.98/236.22 c cleaning 8560 clauses out of 17148 with flag 26000/1094910 240.58/237.88 c cleaning 8779 clauses out of 17588 with flag 35000/1103910 242.29/239.59 c cleaning 9378 clauses out of 18809 with flag 45000/1113910 244.59/241.83 c cleaning 10207 clauses out of 20433 with flag 56002/1124912 247.09/244.31 c cleaning 11086 clauses out of 22225 with flag 68001/1136911 250.00/247.25 c cleaning 12064 clauses out of 24141 with flag 81003/1149913 253.40/250.60 c cleaning 13036 clauses out of 26076 with flag 95002/1163912 256.81/254.10 c cleaning 14008 clauses out of 28039 with flag 110001/1178911 260.31/257.57 c cleaning 15010 clauses out of 30031 with flag 126001/1194911 264.21/261.49 c cleaning 15998 clauses out of 32024 with flag 143004/1211914 268.33/265.57 c cleaning 17010 clauses out of 34024 with flag 161002/1229912 269.74/266.94 c Got one! Elapsed wall clock time (in seconds):266.812 269.74/266.94 o 1474638 270.84/268.05 c cleaning 14042 clauses out of 28114 with flag 5000/1241012 272.06/269.22 c cleaning 10026 clauses out of 20073 with flag 11001/1247013 273.49/270.61 c cleaning 8505 clauses out of 17046 with flag 18000/1254012 274.99/272.13 c cleaning 8263 clauses out of 16543 with flag 26002/1262014 275.99/273.14 c Got one! Elapsed wall clock time (in seconds):273.017 275.99/273.14 o 1470983 277.09/274.20 c cleaning 9398 clauses out of 18808 with flag 5000/1272542 278.29/275.45 c cleaning 7688 clauses out of 15410 with flag 11000/1278542 279.59/276.79 c cleaning 7346 clauses out of 14722 with flag 18000/1285542 281.10/278.21 c cleaning 7673 clauses out of 15379 with flag 26003/1293545 282.82/279.99 c cleaning 8337 clauses out of 16704 with flag 35001/1302543 284.82/281.90 c cleaning 9165 clauses out of 18367 with flag 45001/1312543 286.13/283.22 c Got one! Elapsed wall clock time (in seconds):283.098 286.13/283.23 o 1469953 287.03/284.15 c cleaning 10542 clauses out of 21116 with flag 5000/1324457 287.64/284.73 c Got one! Elapsed wall clock time (in seconds):284.605 287.64/284.73 o 1462927 288.03/285.18 c cleaning 7933 clauses out of 15900 with flag 2001/1329783 289.14/286.26 c cleaning 6959 clauses out of 13966 with flag 8000/1335782 290.46/287.56 c cleaning 6983 clauses out of 14008 with flag 15001/1342783 291.98/289.05 c cleaning 7492 clauses out of 15024 with flag 23000/1350782 293.78/290.83 c cleaning 8259 clauses out of 16533 with flag 32002/1359784 295.68/292.79 c cleaning 9137 clauses out of 18273 with flag 42001/1369783 297.88/294.96 c cleaning 10064 clauses out of 20136 with flag 53001/1380783 300.19/297.21 c cleaning 11034 clauses out of 22072 with flag 65001/1392783 302.59/299.64 c cleaning 12014 clauses out of 24038 with flag 78001/1405783 305.50/302.54 c cleaning 12999 clauses out of 26022 with flag 92000/1419782 308.82/305.85 c cleaning 13996 clauses out of 28023 with flag 107000/1434782 312.34/309.31 c cleaning 15003 clauses out of 30028 with flag 123001/1450783 316.24/313.20 c cleaning 15998 clauses out of 32024 with flag 140000/1467782 320.58/317.54 c cleaning 16999 clauses out of 34026 with flag 158000/1485782 324.72/321.63 c cleaning 17994 clauses out of 36029 with flag 177002/1504784 328.92/325.83 c cleaning 19002 clauses out of 38034 with flag 197001/1524783 333.43/330.31 c cleaning 20008 clauses out of 40031 with flag 218000/1545782 339.23/336.14 c cleaning 21005 clauses out of 42023 with flag 240000/1567782 344.65/341.53 c cleaning 22004 clauses out of 44018 with flag 263000/1590782 349.76/346.65 c cleaning 22989 clauses out of 46014 with flag 287000/1614782 355.20/352.00 c cleaning 24009 clauses out of 48025 with flag 312000/1639782 360.61/357.50 c cleaning 24990 clauses out of 50017 with flag 338001/1665783 366.71/363.57 c cleaning 25995 clauses out of 52026 with flag 365000/1692782 373.34/370.17 c cleaning 26999 clauses out of 54031 with flag 393000/1720782 379.77/376.51 c cleaning 28004 clauses out of 56032 with flag 422000/1749782 386.19/382.99 c cleaning 29005 clauses out of 58030 with flag 452002/1779784 392.63/389.35 c cleaning 29982 clauses out of 60023 with flag 483000/1810782 400.25/396.90 c cleaning 31004 clauses out of 62042 with flag 515001/1842783 407.96/404.69 c cleaning 32009 clauses out of 64037 with flag 548000/1875782 416.50/413.10 c cleaning 33004 clauses out of 66028 with flag 582000/1909782 425.74/422.39 c cleaning 33997 clauses out of 68024 with flag 617000/1944782 435.30/431.89 c cleaning 34972 clauses out of 70029 with flag 653002/1980784 444.66/441.12 c cleaning 36020 clauses out of 72057 with flag 690002/2017784 453.49/449.94 c cleaning 37013 clauses out of 74035 with flag 728000/2055782 461.81/458.25 c cleaning 37993 clauses out of 76022 with flag 767000/2094782 471.31/467.80 c cleaning 39007 clauses out of 78030 with flag 807001/2134783 481.14/477.57 c cleaning 40004 clauses out of 80022 with flag 848000/2175782 491.38/487.76 c cleaning 41001 clauses out of 82020 with flag 890002/2217784 501.80/498.17 c cleaning 42002 clauses out of 84017 with flag 933000/2260782 512.15/508.48 c cleaning 43000 clauses out of 86016 with flag 977001/2304783 522.78/519.07 c cleaning 43988 clauses out of 88014 with flag 1022000/2349782 534.01/530.27 c cleaning 44998 clauses out of 90026 with flag 1068000/2395782 544.85/541.00 c cleaning 45999 clauses out of 92027 with flag 1115000/2442782 549.48/545.68 c Got one! Elapsed wall clock time (in seconds):545.549 549.48/545.68 o 1452429 550.77/546.94 c cleaning 37312 clauses out of 74658 with flag 5000/2471412 552.09/548.26 c cleaning 21663 clauses out of 43346 with flag 11000/2477412 553.52/549.66 c cleaning 14320 clauses out of 28684 with flag 18001/2484413 553.82/549.92 c Got one! Elapsed wall clock time (in seconds):549.792 553.82/549.92 o 1437866 554.62/550.70 c Got one! Elapsed wall clock time (in seconds):550.576 554.62/550.70 o 1427919 554.82/550.99 c cleaning 9883 clauses out of 19819 with flag 1002/2489869 556.24/552.30 c cleaning 7950 clauses out of 15934 with flag 7000/2495867 557.76/553.84 c cleaning 7448 clauses out of 14984 with flag 14000/2502867 559.47/555.51 c cleaning 7742 clauses out of 15536 with flag 22000/2510867 561.38/557.43 c cleaning 8388 clauses out of 16794 with flag 31000/2519867 561.70/557.79 c Got one! Elapsed wall clock time (in seconds):557.662 561.70/557.79 o 1422781 562.59/558.61 c cleaning 6844 clauses out of 13714 with flag 4001/2525175 562.90/558.93 c Got one! Elapsed wall clock time (in seconds):558.804 562.90/558.93 o 1419021 563.80/559.88 c cleaning 6095 clauses out of 12229 with flag 4001/2530535 565.10/561.18 c cleaning 6022 clauses out of 12133 with flag 10000/2536534 566.53/562.57 c cleaning 6533 clauses out of 13112 with flag 17001/2543535 568.36/564.31 c cleaning 7276 clauses out of 14578 with flag 25000/2551534 570.15/566.19 c cleaning 8128 clauses out of 16303 with flag 34001/2560535 572.49/568.44 c cleaning 9074 clauses out of 18177 with flag 44003/2570537 573.20/569.18 c Got one! Elapsed wall clock time (in seconds):569.048 573.20/569.18 o 1411712 573.70/569.70 c cleaning 7122 clauses out of 14263 with flag 2000/2575697 575.01/570.98 c cleaning 6556 clauses out of 13143 with flag 8002/2581699 576.51/572.46 c cleaning 6772 clauses out of 13587 with flag 15002/2588699 578.12/574.08 c cleaning 7397 clauses out of 14814 with flag 23001/2596698 579.53/575.41 c Got one! Elapsed wall clock time (in seconds):575.282 579.53/575.41 o 1403492 579.73/575.63 c Got one! Elapsed wall clock time (in seconds):575.507 579.73/575.63 o 1396365 580.54/576.49 c cleaning 9536 clauses out of 19098 with flag 4001/2608379 581.85/577.74 c cleaning 7777 clauses out of 15562 with flag 10001/2614379 583.35/579.25 c cleaning 7377 clauses out of 14784 with flag 17000/2621378 585.15/581.07 c cleaning 7693 clauses out of 15407 with flag 25000/2629378 586.86/582.78 c cleaning 8357 clauses out of 16718 with flag 34004/2638382 589.07/584.93 c cleaning 9171 clauses out of 18357 with flag 44000/2648378 591.29/587.14 c cleaning 10082 clauses out of 20188 with flag 55002/2659380 593.90/589.71 c cleaning 11036 clauses out of 22104 with flag 67000/2671378 596.80/592.66 c cleaning 12017 clauses out of 24068 with flag 80000/2684378 599.83/595.64 c cleaning 13016 clauses out of 26051 with flag 94000/2698378 603.05/598.82 c cleaning 14012 clauses out of 28036 with flag 109001/2713379 606.25/602.02 c cleaning 15005 clauses out of 30026 with flag 125003/2729381 610.05/605.80 c cleaning 16000 clauses out of 32020 with flag 142002/2746380 613.97/609.72 c cleaning 16998 clauses out of 34018 with flag 160000/2764378 617.87/613.68 c cleaning 18010 clauses out of 36019 with flag 179000/2783378 621.68/617.42 c cleaning 18992 clauses out of 38011 with flag 199002/2803380 625.50/621.27 c cleaning 20002 clauses out of 40018 with flag 220001/2824379 629.91/625.68 c cleaning 20992 clauses out of 42016 with flag 242001/2846379 634.52/630.26 c cleaning 22000 clauses out of 44023 with flag 265000/2869378 639.72/635.44 c cleaning 23013 clauses out of 46025 with flag 289002/2893380 645.34/641.02 c cleaning 23992 clauses out of 48010 with flag 314000/2918378 651.15/646.89 c cleaning 25005 clauses out of 50018 with flag 340000/2944378 657.25/652.94 c cleaning 26007 clauses out of 52017 with flag 367004/2971382 663.68/659.30 c cleaning 26998 clauses out of 54007 with flag 395001/2999379 670.18/665.82 c cleaning 27990 clauses out of 56010 with flag 424002/3028380 675.60/671.22 c cleaning 29000 clauses out of 58018 with flag 454000/3058378 680.72/676.36 c starts : 269 680.72/676.36 c conflicts : 3084423 680.72/676.36 c decisions : 6793583 680.72/676.36 c propagations : 873714876 680.72/676.36 c inspects : 3631548321 680.72/676.36 c shortcuts : 0 680.72/676.36 c learnt literals : 38 680.72/676.36 c learnt binary clauses : 189 680.72/676.36 c learnt ternary clauses : 139 680.72/676.36 c learnt constraints : 3084384 680.72/676.36 c ignored constraints : 0 680.72/676.36 c root simplifications : 0 680.72/676.36 c removed literals (reason simplification) : 0 680.72/676.36 c reason swapping (by a shorter reason) : 0 680.72/676.36 c Calls to reduceDB : 210 680.72/676.36 c number of reductions to clauses (during analyze) : 0 680.72/676.36 c number of learned constraints concerned by reduction : 0 680.72/676.36 c number of learning phase by resolution : 0 680.72/676.36 c number of learning phase by cutting planes : 0 680.72/676.36 c speed (assignments/second) : 1292743.4428085065 680.72/676.36 c non guided choices 10808 680.72/676.36 c learnt constraints type 680.72/676.36 c constraints type 680.72/676.36 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6001 680.72/676.36 c org.sat4j.minisat.constraints.cnf.UnitClauses => 4 680.72/676.36 c org.sat4j.minisat.constraints.card.MinWatchCard => 22 680.72/676.36 c ignored satisfied constraints => 4 680.72/676.36 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9885 680.72/676.36 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6015 680.72/676.36 c 21931 constraints processed. 680.72/676.36 s OPTIMUM FOUND 680.72/676.37 v -x1 -x2 -x3 -x4 -x5 -x6 x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 x237 -x238 -x239 x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 x288 -x289 x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 x1024 -x1025 x1026 -x1027 x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 x6168 -x6169 x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 x6229 -x6230 x6231 -x6232 x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 x6342 -x6343 -x6344 x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8549 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x8560 -x8561 -x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 -x8581 -x8582 -x8583 -x8584 -x8585 -x8586 -x8587 -x8588 -x8589 -x8590 -x8591 -x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 -x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 -x8650 -x8651 -x8652 -x8653 -x8654 -x8655 -x8656 -x8657 -x8658 -x8659 -x8660 -x8661 -x8662 -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 -x8670 -x8671 -x8672 -x8673 -x8674 -x8675 -x8676 -x8677 -x8678 -x8679 -x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 -x8689 -x8690 -x8691 -x8692 -x8693 -x8694 -x8695 -x8696 -x8697 -x8698 -x8699 -x8700 -x8701 -x8702 -x8703 -x8704 -x8705 -x8706 -x8707 -x8708 -x8709 -x8710 -x8711 -x8712 -x8713 -x8714 -x8715 -x8716 -x8717 -x8718 -x8719 -x8720 -x8721 -x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8728 -x8729 -x8730 -x8731 -x8732 -x8733 -x8734 -x8735 -x8736 -x8737 -x8738 -x8739 -x8740 -x8741 -x8742 -x8743 -x8744 -x8745 -x8746 -x8747 -x8748 -x8749 -x8750 -x8751 -x8752 -x8753 -x8754 -x8755 -x8756 -x8757 -x8758 -x8759 -x8760 -x8761 -x8762 -x8763 -x8764 -x8765 -x8766 -x8767 -x8768 -x8769 -x8770 -x8771 -x8772 -x8773 -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 -x8780 -x8781 -x8782 -x8783 -x8784 -x8785 -x8786 -x8787 -x8788 -x8789 -x8790 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8799 -x8800 -x8801 -x8802 -x8803 -x8804 -x8805 -x8806 -x8807 -x8808 -x8809 -x8810 -x8811 -x8812 -x8813 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 -x8820 -x8821 -x8822 -x8823 -x8824 -x8825 -x8826 -x8827 -x8828 -x8829 -x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 -x8839 -x8840 -x8841 -x8842 -x8843 -x8844 -x8845 -x8846 -x8847 -x8848 -x8849 -x8850 -x8851 -x8852 -x8853 -x8854 -x8855 -x8856 -x8857 -x8858 -x8859 -x8860 -x8861 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 -x8868 -x8869 -x8870 -x8871 -x8872 -x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x8880 -x8881 -x8882 -x8883 -x8884 -x8885 -x8886 -x8887 -x8888 -x8889 -x8890 -x8891 -x8892 -x8893 -x8894 -x8895 -x8896 -x8897 -x8898 -x8899 -x8900 -x8901 -x8902 -x8903 -x8904 -x8905 -x8906 -x8907 -x8908 -x8909 -x8910 -x8911 -x8912 -x8913 -x8914 -x8915 -x8916 -x8917 -x8918 -x8919 -x8920 -x8921 -x8922 -x8923 -x8924 -x8925 -x8926 -x8927 x8928 -x8929 -x8930 -x8931 -x8932 -x8933 -x8934 -x8935 -x8936 -x8937 -x8938 -x8939 -x8940 -x8941 -x8942 -x8943 -x8944 -x8945 -x8946 -x8947 -x8948 -x8949 -x8950 -x8951 -x8952 -x8953 -x8954 -x8955 -x8956 -x8957 -x8958 -x8959 -x8960 -x8961 -x8962 -x8963 -x8964 -x8965 -x8966 x8967 -x8968 -x8969 -x8970 -x8971 -x8972 -x8973 -x8974 -x8975 -x8976 -x8977 -x8978 x8979 -x8980 -x8981 -x8982 -x8983 -x8984 -x8985 -x8986 -x8987 -x8988 -x8989 -x8990 -x8991 -x8992 -x8993 -x8994 -x8995 -x8996 -x8997 -x8998 -x8999 -x9000 -x9001 -x9002 -x9003 -x9004 -x9005 -x9006 -x9007 -x9008 -x9009 -x9010 -x9011 -x9012 -x9013 -x9014 -x9015 -x9016 -x9017 -x9018 -x9019 -x9020 -x9021 -x9022 -x9023 -x9024 -x9025 -x9026 -x9027 -x9028 -x9029 -x9030 -x9031 -x9032 -x9033 -x9034 -x9035 -x9036 -x9037 -x9038 -x9039 -x9040 -x9041 -x9042 -x9043 -x9044 -x9045 -x9046 -x9047 -x9048 -x9049 -x9050 -x9051 -x9052 -x9053 -x9054 -x9055 -x9056 -x9057 -x9058 -x9059 -x9060 -x9061 -x9062 -x9063 -x9064 -x9065 -x9066 -x9067 -x9068 -x9069 -x9070 -x9071 -x9072 -x9073 -x9074 -x9075 -x9076 -x9077 -x9078 -x9079 -x9080 -x9081 -x9082 -x9083 -x9084 -x9085 -x9086 -x9087 -x9088 -x9089 -x9090 -x9091 -x9092 -x9093 -x9094 -x9095 -x9096 -x9097 -x9098 -x9099 -x9100 -x9101 -x9102 -x9103 -x9104 -x9105 -x9106 -x9107 -x9108 -x9109 -x9110 -x9111 -x9112 -x9113 -x9114 -x9115 -x9116 -x9117 -x9118 -x9119 -x9120 -x9121 -x9122 -x9123 -x9124 -x9125 -x9126 -x9127 -x9128 -x9129 -x9130 -x9131 -x9132 -x9133 -x9134 -x9135 -x9136 -x9137 -x9138 -x9139 -x9140 -x9141 -x9142 -x9143 -x9144 -x9145 -x9146 -x9147 -x9148 -x9149 -x9150 -x9151 -x9152 -x9153 -x9154 -x9155 -x9156 -x9157 -x9158 -x9159 -x9160 -x9161 -x9162 -x9163 -x9164 -x9165 -x9166 -x9167 -x9168 -x9169 -x9170 -x9171 -x9172 -x9173 -x9174 -x9175 -x9176 -x9177 -x9178 -x9179 -x9180 -x9181 -x9182 -x9183 -x9184 -x9185 -x9186 -x9187 -x9188 -x9189 -x9190 -x9191 -x9192 -x9193 -x9194 -x9195 -x9196 -x9197 -x9198 -x9199 -x9200 -x9201 -x9202 -x9203 -x9204 -x9205 -x9206 -x9207 -x9208 -x9209 -x9210 -x9211 -x9212 -x9213 -x9214 -x9215 -x9216 -x9217 -x9218 -x9219 -x9220 -x9221 -x9222 -x9223 -x9224 -x9225 -x9226 -x9227 -x9228 -x9229 -x9230 -x9231 -x9232 -x9233 -x9234 -x9235 -x9236 -x9237 -x9238 -x9239 -x9240 -x9241 -x9242 -x9243 -x9244 -x9245 -x9246 -x9247 -x9248 -x9249 -x9250 -x9251 -x9252 -x9253 -x9254 -x9255 -x9256 -x9257 -x9258 -x9259 -x9260 -x9261 -x9262 -x9263 -x9264 -x9265 -x9266 -x9267 -x9268 -x9269 -x9270 -x9271 -x9272 -x9273 -x9274 -x9275 -x9276 -x9277 -x9278 -x9279 -x9280 -x9281 -x9282 -x9283 -x9284 -x9285 -x9286 -x9287 -x9288 -x9289 -x9290 -x9291 -x9292 -x9293 -x9294 -x9295 -x9296 -x9297 -x9298 -x9299 -x9300 -x9301 -x9302 -x9303 -x9304 -x9305 -x9306 -x9307 -x9308 x9309 -x9310 -x9311 -x9312 -x9313 -x9314 -x9315 -x9316 -x9317 -x9318 -x9319 -x9320 -x9321 -x9322 -x9323 -x9324 -x9325 -x9326 -x9327 x9328 -x9329 -x9330 -x9331 -x9332 -x9333 -x9334 -x9335 -x9336 -x9337 -x9338 -x9339 -x9340 -x9341 -x9342 -x9343 -x9344 -x9345 -x9346 -x9347 -x9348 -x9349 -x9350 -x9351 -x9352 -x9353 -x9354 -x9355 x9356 -x9357 -x9358 -x9359 -x9360 -x9361 x9362 -x9363 -x9364 -x9365 -x9366 -x9367 -x9368 -x9369 -x9370 -x9371 -x9372 -x9373 -x9374 -x9375 -x9376 -x9377 -x9378 -x9379 -x9380 -x9381 -x9382 -x9383 -x9384 -x9385 -x9386 -x9387 -x9388 -x9389 -x9390 -x9391 -x9392 -x9393 -x9394 -x9395 -x9396 -x9397 -x9398 -x9399 -x9400 -x9401 -x9402 -x9403 -x9404 -x9405 -x9406 -x9407 -x9408 -x9409 -x9410 -x9411 -x9412 -x9413 -x9414 -x9415 -x9416 -x9417 -x9418 x9419 -x9420 -x9421 -x9422 -x9423 -x9424 -x9425 -x9426 -x9427 -x9428 -x9429 -x9430 -x9431 -x9432 -x9433 -x9434 -x9435 -x9436 -x9437 -x9438 -x9439 -x9440 -x9441 -x9442 -x9443 -x9444 -x9445 -x9446 -x9447 -x9448 -x9449 -x9450 -x9451 -x9452 -x9453 -x9454 -x9455 -x9456 -x9457 -x9458 -x9459 -x9460 -x9461 -x9462 -x9463 -x9464 -x9465 -x9466 -x9467 -x9468 -x9469 -x9470 -x9471 -x9472 -x9473 -x9474 -x9475 -x9476 -x9477 -x9478 -x9479 -x9480 -x9481 -x9482 -x9483 -x9484 -x9485 -x9486 -x9487 -x9488 -x9489 -x9490 -x9491 -x9492 -x9493 -x9494 -x9495 -x9496 -x9497 -x9498 -x9499 -x9500 -x9501 -x9502 -x9503 -x9504 -x9505 -x9506 -x9507 -x9508 -x9509 -x9510 -x9511 -x9512 -x9513 -x9514 -x9515 -x9516 -x9517 -x9518 -x9519 x9520 -x9521 -x9522 -x9523 -x9524 -x9525 -x9526 -x9527 -x9528 -x9529 -x9530 -x9531 -x9532 -x9533 -x9534 x9535 x9536 -x9537 -x9538 x9539 -x9540 -x9541 -x9542 -x9543 -x9544 -x9545 -x9546 x9547 -x9548 -x9549 -x9550 -x9551 -x9552 -x9553 x9554 -x9555 -x9556 -x9557 -x9558 -x9559 -x9560 -x9561 x9562 -x9563 -x9564 -x9565 -x9566 -x9567 -x9568 x9569 -x9570 -x9571 -x9572 -x9573 -x9574 -x9575 -x9576 -x9577 -x9578 -x9579 -x9580 -x9581 -x9582 -x9583 -x9584 -x9585 -x9586 -x9587 -x9588 -x9589 -x9590 -x9591 -x9592 -x9593 -x9594 -x9595 -x9596 -x9597 -x9598 -x9599 -x9600 -x9601 -x9602 -x9603 -x9604 -x9605 -x9606 x9607 -x9608 -x9609 x9610 x9611 -x9612 -x9613 -x9614 -x9615 -x9616 -x9617 -x9618 -x9619 -x9620 -x9621 -x9622 -x9623 -x9624 -x9625 -x9626 -x9627 -x9628 -x9629 -x9630 -x9631 -x9632 -x9633 -x9634 -x9635 -x9636 -x9637 -x9638 -x9639 -x9640 -x9641 -x9642 -x9643 -x9644 -x9645 -x9646 -x9647 -x9648 -x9649 -x9650 -x9651 -x9652 -x9653 -x9654 -x9655 -x9656 -x9657 -x9658 -x9659 -x9660 -x9661 -x9662 -x9663 -x9664 -x9665 -x9666 -x9667 -x9668 -x9669 -x9670 -x9671 -x9672 -x9673 -x9674 -x9675 -x9676 -x9677 -x9678 -x9679 -x9680 -x9681 -x9682 -x9683 -x9684 -x9685 -x9686 -x9687 -x9688 -x9689 -x9690 -x9691 -x9692 -x9693 -x9694 -x9695 -x9696 -x9697 -x9698 -x9699 -x9700 -x9701 -x9702 -x9703 -x9704 -x9705 -x9706 -x9707 -x9708 -x9709 -x9710 -x9711 -x9712 -x9713 -x9714 -x9715 -x9716 -x9717 -x9718 -x9719 -x9720 -x9721 -x9722 -x9723 -x9724 -x9725 -x9726 -x9727 -x9728 -x9729 x9730 x9731 -x9732 -x9733 x9734 -x9735 -x9736 -x9737 -x9738 -x9739 -x9740 -x9741 -x9742 -x9743 -x9744 -x9745 -x9746 -x9747 -x9748 -x9749 -x9750 -x9751 -x9752 -x9753 -x9754 -x9755 -x9756 -x9757 -x9758 -x9759 -x9760 -x9761 -x9762 -x9763 -x9764 -x9765 680.72/676.38 c objective function=1396365 680.72/676.38 c Total wall clock time (in seconds): 676.257
OK 1396365
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-3690041-1337895375/watcher-3690041-1337895375 -o /tmp/evaluation-result-3690041-1337895375/solver-3690041-1337895375 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3690041-1337895375.opb running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.36 1.71 3/173 27972 /proc/meminfo: memFree=28927772/32873844 swapFree=6856/6856 [pid=27972] ppid=27970 vsize=9292 CPUtime=0 cores=1,3,5,7 /proc/27972/stat : 27972 (java) D 27970 27972 20503 0 -1 4202496 241 0 0 0 0 0 0 0 20 0 1 0 255666031 9515008 176 33554432000 1073741824 1073778376 140735522497504 140735522480232 270118241168 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0 /proc/27972/statm: 2323 176 133 9 0 71 0 [startup+0.021712 s] /proc/loadavg: 1.00 1.36 1.71 3/173 27972 /proc/meminfo: memFree=28927772/32873844 swapFree=6856/6856 [pid=27972] ppid=27970 vsize=97336 CPUtime=0 cores=1,3,5,7 /proc/27972/stat : 27972 (java) S 27970 27972 20503 0 -1 4202496 1322 0 0 0 0 0 0 0 20 0 2 0 255666031 99672064 1021 33554432000 1073741824 1073778376 140734395800608 140734395791744 270121599037 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/27972/statm: 24875 1028 788 9 0 16774 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 97336 [startup+0.100242 s] /proc/loadavg: 1.00 1.36 1.71 3/173 27972 /proc/meminfo: memFree=28927772/32873844 swapFree=6856/6856 [pid=27972] ppid=27970 vsize=9558412 CPUtime=0.07 cores=1,3,5,7 /proc/27972/stat : 27972 (java) S 27970 27972 20503 0 -1 4202496 3641 0 1 0 6 1 0 0 20 0 18 0 255666031 9787813888 4849 33554432000 1073741824 1073778376 140734395800608 140734395791744 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/27972/statm: 2389603 4851 1932 9 0 2380296 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 9558412 [startup+0.300251 s] /proc/loadavg: 1.00 1.36 1.71 3/173 27972 /proc/meminfo: memFree=28927772/32873844 swapFree=6856/6856 [pid=27972] ppid=27970 vsize=9558412 CPUtime=0.47 cores=1,3,5,7 /proc/27972/stat : 27972 (java) S 27970 27972 20503 0 -1 4202496 5389 0 1 0 46 1 0 0 20 0 18 0 255666031 9787813888 9137 33554432000 1073741824 1073778376 140734395800608 140734395791744 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/27972/statm: 2389603 9137 2218 9 0 2380296 0 Current children cumulated CPU time (s) 0.47 Current children cumulated vsize (KiB) 9558412 [startup+0.700257 s] /proc/loadavg: 1.00 1.36 1.71 3/173 27972 /proc/meminfo: memFree=28927772/32873844 swapFree=6856/6856 [pid=27972] ppid=27970 vsize=9624976 CPUtime=1.34 cores=1,3,5,7 /proc/27972/stat : 27972 (java) S 27970 27972 20503 0 -1 4202496 8131 0 1 0 132 2 0 0 20 0 19 0 255666031 9855975424 22043 33554432000 1073741824 1073778376 140734395800608 140734395791744 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/27972/statm: 2406244 22043 2251 9 0 2396937 0 Current children cumulated CPU time (s) 1.34 Current children cumulated vsize (KiB) 9624976 [startup+1.50071 s] /proc/loadavg: 1.08 1.37 1.71 3/190 27991 /proc/meminfo: memFree=28812336/32873844 swapFree=6856/6856 [pid=27972] ppid=27970 vsize=9624976 CPUtime=2.19 cores=1,3,5,7 /proc/27972/stat : 27972 (java) S 27970 27972 20503 0 -1 4202496 8158 0 1 0 217 2 0 0 20 0 19 0 255666031 9855975424 22046 33554432000 1073741824 1073778376 140734395800608 140734395791744 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/27972/statm: 2406244 22046 2254 9 0 2396937 0 [pid=27972/tid=27974] ppid=27970 vsize=9624976 CPUtime=1.45 cores=1,3,5,7 /proc/27972/task/27974/stat : 27974 (java) R 27970 27972 20503 0 -1 4202560 2481 0 1 0 144 1 0 0 20 0 19 0 255666033 9855975424 22046 33554432000 1073741824 1073778376 140734395800608 140474720510600 140474573294778 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=27972/tid=27975] ppid=27970 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/27972/task/27975/stat : 27975 (java) S 27970 27972 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255666034 9855975424 22046 33554432000 1073741824 1073778376 140734395800608 140474692962856 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27972/tid=27976] ppid=27970 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/27972/task/27976/stat : 27976 (java) S 27970 27972 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255666034 9855975424 22046 33554432000 1073741824 1073778376 140734395800608 140474691910056 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=27972/tid=27977] ppid=27970 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/27972/task/27977/stat : 27977 (java) S 27970 27972 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255666034 9855975424 22046 33554432000 1073741824 1073778376 140734395800608 140474561636648 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=27972/tid=27978] ppid=27970 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/27972/task/27978/stat : 27978 (java) S 27970 27972 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255666034 9855975424 22046 33554432000 1073741824 1073778376 140734395800608 140474560583848 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27972/tid=27979] ppid=27970 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/27972/task/27979/stat : 27979 (java) S 27970 27972 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255666034 9855975424 22046 33554432000 1073741824 1073778376 140734395800608 140474559532072 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27972/tid=27980] ppid=27970 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/27972/task/27980/stat : 27980 (java) S 27970 27972 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255666034 9855975424 22046 33554432000 1073741824 1073778376 140734395800608 140474558479272 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27972/tid=27981] ppid=27970 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/27972/task/27981/stat : 27981 (java) S 27970 27972 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255666034 9855975424 22046 33554432000 1073741824 1073778376 140734395800608 140474557426472 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27972/tid=27982] ppid=27970 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/27972/task/27982/stat : 27982 (java) S 27970 27972 20503 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255666034 9855975424 22046 33554432000 1073741824 1073778376 140734395800608 140474086058664 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27972/tid=27983] ppid=27970 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/27972/task/27983/stat : 27983 (java) S 27970 27972 20503 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 255666036 9855975424 22046 33554432000 1073741824 1073778376 140734395800608 140474073860584 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27972/tid=27984] ppid=27970 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/27972/task/27984/stat : 27984 (java) S 27970 27972 20503 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 255666036 9855975424 22046 33554432000 1073741824 1073778376 140734395800608 140474072806648 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27972/tid=27985] ppid=27970 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/27972/task/27985/stat : 27985 (java) S 27970 27972 20503 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255666036 9855975424 22046 33554432000 1073741824 1073778376 140734395800608 140474071753736 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27972/tid=27986] ppid=27970 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/27972/task/27986/stat : 27986 (java) S 27970 27972 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255666039 9855975424 22046 33554432000 1073741824 1073778376 140734395800608 140474070702224 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27972/tid=27987] ppid=27970 vsize=9624976 CPUtime=0.39 cores=1,3,5,7 /proc/27972/task/27987/stat : 27987 (java) S 27970 27972 20503 0 -1 4202560 2511 0 0 0 39 0 0 0 20 0 19 0 255666039 9855975424 22046 33554432000 1073741824 1073778376 140734395800608 140474069650360 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27972/tid=27988] ppid=27970 vsize=9624976 CPUtime=0.3 cores=1,3,5,7 /proc/27972/task/27988/stat : 27988 (java) S 27970 27972 20503 0 -1 4202560 1966 0 0 0 30 0 0 0 20 0 19 0 255666039 9855975424 22046 33554432000 1073741824 1073778376 140734395800608 140474068597560 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=27972/tid=27989] ppid=27970 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/27972/task/27989/stat : 27989 (java) S 27970 27972 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255666039 9855975424 22046 33554432000 1073741824 1073778376 140734395800608 140474067544952 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=27972/tid=27990] ppid=27970 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/27972/task/27990/stat : 27990 (java) S 27970 27972 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255666039 9855975424 22046 33554432000 1073741824 1073778376 140734395800608 140474066492360 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27972/tid=27991] ppid=27970 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/27972/task/27991/stat : 27991 (java) S 27970 27972 20503 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255666082 9855975424 22046 33554432000 1073741824 1073778376 140734395800608 140474065405096 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 2.19 Current children cumulated vsize (KiB) 9624976 [startup+3.10067 s] /proc/loadavg: 1.08 1.37 1.71 4/212 28018 /proc/meminfo: memFree=28558976/32873844 swapFree=6856/6856 [pid=27972] ppid=27970 vsize=9624976 CPUtime=4.29 cores=1,3,5,7 /proc/27972/stat : 27972 (java) S 27970 27972 20503 0 -1 4202496 15791 0 1 0 424 5 0 0 20 0 19 0 255666031 9855975424 31632 33554432000 1073741824 1073778376 140734395800608 140734395791744 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/27972/statm: 2406244 31632 2279 9 0 2396937 0 [pid=27972/tid=27974] ppid=27970 vsize=9624976 CPUtime=3.01 cores=1,3,5,7 /proc/27972/task/27974/stat : 27974 (java) R 27970 27972 20503 0 -1 4202560 2485 0 1 0 300 1 0 0 20 0 19 0 255666033 9855975424 31632 33554432000 1073741824 1073778376 140734395800608 140474720509384 140474573259138 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=27972/tid=27975] ppid=27970 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/27972/task/27975/stat : 27975 (java) S 27970 27972 20503 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255666034 9855975424 31632 33554432000 1073741824 1073778376 140734395800608 140474692962856 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27972/tid=27976] ppid=27970 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/27972/task/27976/stat : 27976 (java) S 27970 27972 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255666034 9855975424 31632 33554432000 1073741824 1073778376 140734395800608 140474691910056 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=27972/tid=27977] ppid=27970 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/27972/task/27977/stat : 27977 (java) S 27970 27972 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255666034 9855975424 31632 33554432000 1073741824 1073778376 140734395800608 140474561636648 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=27972/tid=27978] ppid=27970 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/27972/task/27978/stat : 27978 (java) S 27970 27972 20503 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 255666034 9855975424 31632 33554432000 1073741824 1073778376 140734395800608 140474560583848 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27972/tid=27979] ppid=27970 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/27972/task/27979/stat : 27979 (java) S 27970 27972 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255666034 9855975424 31632 33554432000 1073741824 1073778376 140734395800608 140474559532072 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=27972/tid=27980] ppid=27970 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/27972/task/27980/stat : 27980 (java) S 27970 27972 20503 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255666034 9855975424 31632 33554432000 1073741824 1073778376 140734395800608 140474558479272 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=27972/tid=27981] ppid=27970 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/27972/task/27981/stat : 27981 (java) S 27970 27972 20503 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 255666034 9855975424 31632 33554432000 1073741824 1073778376 140734395800608 140474557426472 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=27972/tid=27982] ppid=27970 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/27972/task/27982/stat : 27982 (java) S 27970 27972 20503 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255666034 9855975424 31632 33554432000 1073741824 1073778376 140734395800608 140474086058664 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27972/tid=27983] ppid=27970 vsize=9624976 CPUtime=0.01 cores=1,3,5,7 /proc/27972/task/27983/stat : 27983 (java) S 27970 27972 20503 0 -1 4202560 33 0 0 0 1 0 0 0 20 0 19 0 255666036 9855975424 31632 33554432000 1073741824 1073778376 140734395800608 140474073860584 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27972/tid=27984] ppid=27970 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/27972/task/27984/stat : 27984 (java) S 27970 27972 20503 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255666036 9855975424 31632 33554432000 1073741824 1073778376 140734395800608 140474072806648 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27972/tid=27985] ppid=27970 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/27972/task/27985/stat : 27985 (java) S 27970 27972 20503 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255666036 9855975424 31632 33554432000 1073741824 1073778376 140734395800608 140474071753736 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27972/tid=27986] ppid=27970 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/27972/task/27986/stat : 27986 (java) S 27970 27972 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255666039 9855975424 31632 33554432000 1073741824 1073778376 140734395800608 140474070702224 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27972/tid=27987] ppid=27970 vsize=9624976 CPUtime=0.83 cores=1,3,5,7 /proc/27972/task/27987/stat : 27987 (java) S 27970 27972 20503 0 -1 4202560 10080 0 0 0 81 2 0 0 20 0 19 0 255666039 9855975424 31632 33554432000 1073741824 1073778376 140734395800608 140474069650360 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=27972/tid=27988] ppid=27970 vsize=9624976 CPUtime=0.33 cores=1,3,5,7 /proc/27972/task/27988/stat : 27988 (java) S 27970 27972 20503 0 -1 4202560 1972 0 0 0 33 0 0 0 20 0 19 0 255666039 9855975424 31632 33554432000 1073741824 1073778376 140734395800608 140474068597560 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=27972/tid=27989] ppid=27970 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/27972/task/27989/stat : 27989 (java) S 27970 27972 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255666039 9855975424 31632 33554432000 1073741824 1073778376 140734395800608 140474067544952 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=27972/tid=27990] ppid=27970 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/27972/task/27990/stat : 27990 (java) S 27970 27972 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255666039 9855975424 31632 33554432000 1073741824 1073778376 140734395800608 140474066492360 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27972/tid=27991] ppid=27970 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/27972/task/27991/stat : 27991 (java) S 27970 27972 20503 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255666082 9855975424 31632 33554432000 1073741824 1073778376 140734395800608 140474065405096 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 4.29 Current children cumulated vsize (KiB) 9624976 [startup+6.30062 s] /proc/loadavg: 1.08 1.37 1.71 3/212 28018 /proc/meminfo: memFree=28046560/32873844 swapFree=6856/6856 [pid=27972] ppid=27970 vsize=9624976 CPUtime=7.88 cores=1,3,5,7 /proc/27972/stat : 27972 (java) S 27970 27972 20503 0 -1 4202496 16454 0 1 0 782 6 0 0 20 0 19 0 255666031 9855975424 32283 33554432000 1073741824 1073778376 140734395800608 140734395791744 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/27972/statm: 2406244 32283 2281 9 0 2396937 0 [pid=27972/tid=27974] ppid=27970 vsize=9624976 CPUtime=6.12 cores=1,3,5,7 /proc/27972/task/27974/stat : 27974 (java) R 27970 27972 20503 0 -1 4202560 2488 0 1 0 611 1 0 0 20 0 19 0 255666033 9855975424 32283 33554432000 1073741824 1073778376 140734395800608 140474720510240 140474573549509 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=27972/tid=27975] ppid=27970 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/27972/task/27975/stat : 27975 (java) S 27970 27972 20503 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 255666034 9855975424 32283 33554432000 1073741824 1073778376 140734395800608 140474692962856 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27972/tid=27976] ppid=27970 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/27972/task/27976/stat : 27976 (java) S 27970 27972 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255666034 9855975424 32283 33554432000 1073741824 1073778376 140734395800608 140474691910056 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=27972/tid=27977] ppid=27970 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/27972/task/27977/stat : 27977 (java) S 27970 27972 20503 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 255666034 9855975424 32283 33554432000 1073741824 1073778376 140734395800608 140474561636648 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=27972/tid=27978] ppid=27970 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/27972/task/27978/stat : 27978 (java) S 27970 27972 20503 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 255666034 9855975424 32283 33554432000 1073741824 1073778376 140734395800608 140474560583848 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27972/tid=27979] ppid=27970 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/27972/task/27979/stat : 27979 (java) S 27970 27972 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255666034 9855975424 32283 33554432000 1073741824 1073778376 140734395800608 140474559532072 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27972/tid=27980] ppid=27970 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/27972/task/27980/stat : 27980 (java) S 27970 27972 20503 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 255666034 9855975424 32283 33554432000 1073741824 1073778376 140734395800608 140474558479272 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27972/tid=27981] ppid=27970 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/27972/task/27981/stat : 27981 (java) S 27970 27972 20503 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255666034 9855975424 32283 33554432000 1073741824 1073778376 140734395800608 140474557426472 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=27972/tid=27982] ppid=27970 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/27972/task/27982/stat : 27982 (java) S 27970 27972 20503 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 255666034 9855975424 32283 33554432000 1073741824 1073778376 140734395800608 140474086058664 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27972/tid=27983] ppid=27970 vsize=9624976 CPUtime=0.09 cores=1,3,5,7 /proc/27972/task/27983/stat : 27983 (java) S 27970 27972 20503 0 -1 4202560 35 0 0 0 9 0 0 0 20 0 19 0 255666036 9855975424 32283 33554432000 1073741824 1073778376 140734395800608 140474073860584 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=27972/tid=27984] ppid=27970 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/27972/task/27984/stat : 27984 (java) S 27970 27972 20503 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255666036 9855975424 32283 33554432000 1073741824 1073778376 140734395800608 140474072806648 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27972/tid=27985] ppid=27970 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/27972/task/27985/stat : 27985 (java) S 27970 27972 20503 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255666036 9855975424 32283 33554432000 1073741824 1073778376 140734395800608 140474071753736 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27972/tid=27986] ppid=27970 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/27972/task/27986/stat : 27986 (java) S 27970 27972 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255666039 9855975424 32283 33554432000 1073741824 1073778376 140734395800608 140474070702224 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27972/tid=27987] ppid=27970 vsize=9624976 CPUtime=1.04 cores=1,3,5,7 /proc/27972/task/27987/stat : 27987 (java) S 27970 27972 20503 0 -1 4202560 10095 0 0 0 102 2 0 0 20 0 19 0 255666039 9855975424 32283 33554432000 1073741824 1073778376 140734395800608 140474069650360 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27972/tid=27988] ppid=27970 vsize=9624976 CPUtime=0.5 cores=1,3,5,7 /proc/27972/task/27988/stat : 27988 (java) S 27970 27972 20503 0 -1 4202560 2601 0 0 0 50 0 0 0 20 0 19 0 255666039 9855975424 32283 33554432000 1073741824 1073778376 140734395800608 140474068597560 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=27972/tid=27989] ppid=27970 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/27972/task/27989/stat : 27989 (java) S 27970 27972 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255666039 9855975424 32283 33554432000 1073741824 1073778376 140734395800608 140474067544952 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=27972/tid=27990] ppid=27970 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/27972/task/27990/stat : 27990 (java) S 27970 27972 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255666039 9855975424 32283 33554432000 1073741824 1073778376 140734395800608 140474066492360 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27972/tid=27991] ppid=27970 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/27972/task/27991/stat : 27991 (java) S 27970 27972 20503 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255666082 9855975424 32283 33554432000 1073741824 1073778376 140734395800608 140474065405096 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 7.88 Current children cumulated vsize (KiB) 9624976 [startup+12.7006 s] ################ # More data... # ################ /proc/27972/task/27982/stat : 27982 (java) S 27970 27972 20503 0 -1 4202560 36 0 0 0 48 2 0 0 20 0 19 0 255666034 9855975424 63844 33554432000 1073741824 1073778376 140734395800608 140474086058664 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27972/tid=27983] ppid=27970 vsize=9624976 CPUtime=7.58 cores=1,3,5,7 /proc/27972/task/27983/stat : 27983 (java) S 27970 27972 20503 0 -1 4202560 81 0 0 0 756 2 0 0 20 0 19 0 255666036 9855975424 63844 33554432000 1073741824 1073778376 140734395800608 140474073860584 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27972/tid=27984] ppid=27970 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/27972/task/27984/stat : 27984 (java) S 27970 27972 20503 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255666036 9855975424 63844 33554432000 1073741824 1073778376 140734395800608 140474072806648 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27972/tid=27985] ppid=27970 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/27972/task/27985/stat : 27985 (java) S 27970 27972 20503 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255666036 9855975424 63844 33554432000 1073741824 1073778376 140734395800608 140474071753736 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27972/tid=27986] ppid=27970 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/27972/task/27986/stat : 27986 (java) S 27970 27972 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255666039 9855975424 63844 33554432000 1073741824 1073778376 140734395800608 140474070702224 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27972/tid=27987] ppid=27970 vsize=9624976 CPUtime=1.06 cores=1,3,5,7 /proc/27972/task/27987/stat : 27987 (java) S 27970 27972 20503 0 -1 4202560 10095 0 0 0 104 2 0 0 20 0 19 0 255666039 9855975424 63844 33554432000 1073741824 1073778376 140734395800608 140474069650360 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27972/tid=27988] ppid=27970 vsize=9624976 CPUtime=0.61 cores=1,3,5,7 /proc/27972/task/27988/stat : 27988 (java) S 27970 27972 20503 0 -1 4202560 3305 0 0 0 61 0 0 0 20 0 19 0 255666039 9855975424 63844 33554432000 1073741824 1073778376 140734395800608 140474068597560 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=27972/tid=27989] ppid=27970 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/27972/task/27989/stat : 27989 (java) S 27970 27972 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255666039 9855975424 63844 33554432000 1073741824 1073778376 140734395800608 140474067544952 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=27972/tid=27990] ppid=27970 vsize=9624976 CPUtime=0.13 cores=1,3,5,7 /proc/27972/task/27990/stat : 27990 (java) S 27970 27972 20503 0 -1 4202560 39 0 0 0 7 6 0 0 20 0 19 0 255666039 9855975424 63844 33554432000 1073741824 1073778376 140734395800608 140474066492360 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27972/tid=27991] ppid=27970 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/27972/task/27991/stat : 27991 (java) S 27970 27972 20503 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255666082 9855975424 63844 33554432000 1073741824 1073778376 140734395800608 140474065405096 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 677.92 Current children cumulated vsize (KiB) 9624976 [startup+675.101 s] /proc/loadavg: 2.04 1.94 1.84 3/213 28024 /proc/meminfo: memFree=27553536/32873844 swapFree=6856/6856 [pid=27972] ppid=27970 vsize=9624976 CPUtime=679.52 cores=1,3,5,7 /proc/27972/stat : 27972 (java) S 27970 27972 20503 0 -1 4202496 18277 0 1 0 67925 27 0 0 20 0 19 0 255666031 9855975424 63844 33554432000 1073741824 1073778376 140734395800608 140734395791744 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/27972/statm: 2406244 63844 2282 9 0 2396937 0 [pid=27972/tid=27974] ppid=27970 vsize=9624976 CPUtime=664.37 cores=1,3,5,7 /proc/27972/task/27974/stat : 27974 (java) R 27970 27972 20503 0 -1 4202560 2718 0 1 0 66424 13 0 0 20 0 19 0 255666033 9855975424 63844 33554432000 1073741824 1073778376 140734395800608 140474720510272 140474573549294 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=27972/tid=27975] ppid=27970 vsize=9624976 CPUtime=0.5 cores=1,3,5,7 /proc/27972/task/27975/stat : 27975 (java) S 27970 27972 20503 0 -1 4202560 170 0 0 0 48 2 0 0 20 0 19 0 255666034 9855975424 63844 33554432000 1073741824 1073778376 140734395800608 140474692962856 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27972/tid=27976] ppid=27970 vsize=9624976 CPUtime=0.51 cores=1,3,5,7 /proc/27972/task/27976/stat : 27976 (java) S 27970 27972 20503 0 -1 4202560 157 0 0 0 49 2 0 0 20 0 19 0 255666034 9855975424 63844 33554432000 1073741824 1073778376 140734395800608 140474691910056 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27972/tid=27977] ppid=27970 vsize=9624976 CPUtime=0.49 cores=1,3,5,7 /proc/27972/task/27977/stat : 27977 (java) S 27970 27972 20503 0 -1 4202560 159 0 0 0 47 2 0 0 20 0 19 0 255666034 9855975424 63844 33554432000 1073741824 1073778376 140734395800608 140474561636648 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=27972/tid=27978] ppid=27970 vsize=9624976 CPUtime=0.48 cores=1,3,5,7 /proc/27972/task/27978/stat : 27978 (java) S 27970 27972 20503 0 -1 4202560 69 0 0 0 46 2 0 0 20 0 19 0 255666034 9855975424 63844 33554432000 1073741824 1073778376 140734395800608 140474560583848 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27972/tid=27979] ppid=27970 vsize=9624976 CPUtime=0.49 cores=1,3,5,7 /proc/27972/task/27979/stat : 27979 (java) S 27970 27972 20503 0 -1 4202560 30 0 0 0 47 2 0 0 20 0 19 0 255666034 9855975424 63844 33554432000 1073741824 1073778376 140734395800608 140474559532072 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27972/tid=27980] ppid=27970 vsize=9624976 CPUtime=0.54 cores=1,3,5,7 /proc/27972/task/27980/stat : 27980 (java) S 27970 27972 20503 0 -1 4202560 64 0 0 0 52 2 0 0 20 0 19 0 255666034 9855975424 63844 33554432000 1073741824 1073778376 140734395800608 140474558479272 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27972/tid=27981] ppid=27970 vsize=9624976 CPUtime=0.5 cores=1,3,5,7 /proc/27972/task/27981/stat : 27981 (java) S 27970 27972 20503 0 -1 4202560 168 0 0 0 48 2 0 0 20 0 19 0 255666034 9855975424 63844 33554432000 1073741824 1073778376 140734395800608 140474557426472 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=27972/tid=27982] ppid=27970 vsize=9624976 CPUtime=0.5 cores=1,3,5,7 /proc/27972/task/27982/stat : 27982 (java) S 27970 27972 20503 0 -1 4202560 36 0 0 0 48 2 0 0 20 0 19 0 255666034 9855975424 63844 33554432000 1073741824 1073778376 140734395800608 140474086058664 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27972/tid=27983] ppid=27970 vsize=9624976 CPUtime=7.58 cores=1,3,5,7 /proc/27972/task/27983/stat : 27983 (java) S 27970 27972 20503 0 -1 4202560 81 0 0 0 756 2 0 0 20 0 19 0 255666036 9855975424 63844 33554432000 1073741824 1073778376 140734395800608 140474073860584 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27972/tid=27984] ppid=27970 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/27972/task/27984/stat : 27984 (java) S 27970 27972 20503 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255666036 9855975424 63844 33554432000 1073741824 1073778376 140734395800608 140474072806648 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27972/tid=27985] ppid=27970 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/27972/task/27985/stat : 27985 (java) S 27970 27972 20503 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255666036 9855975424 63844 33554432000 1073741824 1073778376 140734395800608 140474071753736 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27972/tid=27986] ppid=27970 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/27972/task/27986/stat : 27986 (java) S 27970 27972 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255666039 9855975424 63844 33554432000 1073741824 1073778376 140734395800608 140474070702224 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27972/tid=27987] ppid=27970 vsize=9624976 CPUtime=1.06 cores=1,3,5,7 /proc/27972/task/27987/stat : 27987 (java) S 27970 27972 20503 0 -1 4202560 10095 0 0 0 104 2 0 0 20 0 19 0 255666039 9855975424 63844 33554432000 1073741824 1073778376 140734395800608 140474069650360 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27972/tid=27988] ppid=27970 vsize=9624976 CPUtime=0.61 cores=1,3,5,7 /proc/27972/task/27988/stat : 27988 (java) S 27970 27972 20503 0 -1 4202560 3305 0 0 0 61 0 0 0 20 0 19 0 255666039 9855975424 63844 33554432000 1073741824 1073778376 140734395800608 140474068597560 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=27972/tid=27989] ppid=27970 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/27972/task/27989/stat : 27989 (java) S 27970 27972 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255666039 9855975424 63844 33554432000 1073741824 1073778376 140734395800608 140474067544952 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=27972/tid=27990] ppid=27970 vsize=9624976 CPUtime=0.13 cores=1,3,5,7 /proc/27972/task/27990/stat : 27990 (java) S 27970 27972 20503 0 -1 4202560 39 0 0 0 7 6 0 0 20 0 19 0 255666039 9855975424 63844 33554432000 1073741824 1073778376 140734395800608 140474066492360 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27972/tid=27991] ppid=27970 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/27972/task/27991/stat : 27991 (java) S 27970 27972 20503 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255666082 9855975424 63844 33554432000 1073741824 1073778376 140734395800608 140474065405096 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 679.52 Current children cumulated vsize (KiB) 9624976 [startup+675.901 s] /proc/loadavg: 2.04 1.94 1.84 3/213 28024 /proc/meminfo: memFree=27553536/32873844 swapFree=6856/6856 [pid=27972] ppid=27970 vsize=9624976 CPUtime=680.32 cores=1,3,5,7 /proc/27972/stat : 27972 (java) S 27970 27972 20503 0 -1 4202496 18277 0 1 0 68005 27 0 0 20 0 19 0 255666031 9855975424 63844 33554432000 1073741824 1073778376 140734395800608 140734395791744 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/27972/statm: 2406244 63844 2282 9 0 2396937 0 [pid=27972/tid=27974] ppid=27970 vsize=9624976 CPUtime=665.17 cores=1,3,5,7 /proc/27972/task/27974/stat : 27974 (java) R 27970 27972 20503 0 -1 4202560 2718 0 1 0 66504 13 0 0 20 0 19 0 255666033 9855975424 63844 33554432000 1073741824 1073778376 140734395800608 140474720510272 140474573549308 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=27972/tid=27975] ppid=27970 vsize=9624976 CPUtime=0.5 cores=1,3,5,7 /proc/27972/task/27975/stat : 27975 (java) S 27970 27972 20503 0 -1 4202560 170 0 0 0 48 2 0 0 20 0 19 0 255666034 9855975424 63844 33554432000 1073741824 1073778376 140734395800608 140474692962856 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27972/tid=27976] ppid=27970 vsize=9624976 CPUtime=0.51 cores=1,3,5,7 /proc/27972/task/27976/stat : 27976 (java) S 27970 27972 20503 0 -1 4202560 157 0 0 0 49 2 0 0 20 0 19 0 255666034 9855975424 63844 33554432000 1073741824 1073778376 140734395800608 140474691910056 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27972/tid=27977] ppid=27970 vsize=9624976 CPUtime=0.49 cores=1,3,5,7 /proc/27972/task/27977/stat : 27977 (java) S 27970 27972 20503 0 -1 4202560 159 0 0 0 47 2 0 0 20 0 19 0 255666034 9855975424 63844 33554432000 1073741824 1073778376 140734395800608 140474561636648 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=27972/tid=27978] ppid=27970 vsize=9624976 CPUtime=0.48 cores=1,3,5,7 /proc/27972/task/27978/stat : 27978 (java) S 27970 27972 20503 0 -1 4202560 69 0 0 0 46 2 0 0 20 0 19 0 255666034 9855975424 63844 33554432000 1073741824 1073778376 140734395800608 140474560583848 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27972/tid=27979] ppid=27970 vsize=9624976 CPUtime=0.49 cores=1,3,5,7 /proc/27972/task/27979/stat : 27979 (java) S 27970 27972 20503 0 -1 4202560 30 0 0 0 47 2 0 0 20 0 19 0 255666034 9855975424 63844 33554432000 1073741824 1073778376 140734395800608 140474559532072 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27972/tid=27980] ppid=27970 vsize=9624976 CPUtime=0.54 cores=1,3,5,7 /proc/27972/task/27980/stat : 27980 (java) S 27970 27972 20503 0 -1 4202560 64 0 0 0 52 2 0 0 20 0 19 0 255666034 9855975424 63844 33554432000 1073741824 1073778376 140734395800608 140474558479272 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27972/tid=27981] ppid=27970 vsize=9624976 CPUtime=0.5 cores=1,3,5,7 /proc/27972/task/27981/stat : 27981 (java) S 27970 27972 20503 0 -1 4202560 168 0 0 0 48 2 0 0 20 0 19 0 255666034 9855975424 63844 33554432000 1073741824 1073778376 140734395800608 140474557426472 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=27972/tid=27982] ppid=27970 vsize=9624976 CPUtime=0.5 cores=1,3,5,7 /proc/27972/task/27982/stat : 27982 (java) S 27970 27972 20503 0 -1 4202560 36 0 0 0 48 2 0 0 20 0 19 0 255666034 9855975424 63844 33554432000 1073741824 1073778376 140734395800608 140474086058664 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27972/tid=27983] ppid=27970 vsize=9624976 CPUtime=7.58 cores=1,3,5,7 /proc/27972/task/27983/stat : 27983 (java) S 27970 27972 20503 0 -1 4202560 81 0 0 0 756 2 0 0 20 0 19 0 255666036 9855975424 63844 33554432000 1073741824 1073778376 140734395800608 140474073860584 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27972/tid=27984] ppid=27970 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/27972/task/27984/stat : 27984 (java) S 27970 27972 20503 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255666036 9855975424 63844 33554432000 1073741824 1073778376 140734395800608 140474072806648 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27972/tid=27985] ppid=27970 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/27972/task/27985/stat : 27985 (java) S 27970 27972 20503 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255666036 9855975424 63844 33554432000 1073741824 1073778376 140734395800608 140474071753736 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27972/tid=27986] ppid=27970 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/27972/task/27986/stat : 27986 (java) S 27970 27972 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255666039 9855975424 63844 33554432000 1073741824 1073778376 140734395800608 140474070702224 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27972/tid=27987] ppid=27970 vsize=9624976 CPUtime=1.06 cores=1,3,5,7 /proc/27972/task/27987/stat : 27987 (java) S 27970 27972 20503 0 -1 4202560 10095 0 0 0 104 2 0 0 20 0 19 0 255666039 9855975424 63844 33554432000 1073741824 1073778376 140734395800608 140474069650360 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27972/tid=27988] ppid=27970 vsize=9624976 CPUtime=0.61 cores=1,3,5,7 /proc/27972/task/27988/stat : 27988 (java) S 27970 27972 20503 0 -1 4202560 3305 0 0 0 61 0 0 0 20 0 19 0 255666039 9855975424 63844 33554432000 1073741824 1073778376 140734395800608 140474068597560 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=27972/tid=27989] ppid=27970 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/27972/task/27989/stat : 27989 (java) S 27970 27972 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255666039 9855975424 63844 33554432000 1073741824 1073778376 140734395800608 140474067544952 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=27972/tid=27990] ppid=27970 vsize=9624976 CPUtime=0.13 cores=1,3,5,7 /proc/27972/task/27990/stat : 27990 (java) S 27970 27972 20503 0 -1 4202560 39 0 0 0 7 6 0 0 20 0 19 0 255666039 9855975424 63844 33554432000 1073741824 1073778376 140734395800608 140474066492360 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27972/tid=27991] ppid=27970 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/27972/task/27991/stat : 27991 (java) S 27970 27972 20503 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255666082 9855975424 63844 33554432000 1073741824 1073778376 140734395800608 140474065405096 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 680.32 Current children cumulated vsize (KiB) 9624976 [startup+676.301 s] /proc/loadavg: 2.04 1.94 1.84 3/213 28024 /proc/meminfo: memFree=27553536/32873844 swapFree=6856/6856 [pid=27972] ppid=27970 vsize=9624976 CPUtime=680.72 cores=1,3,5,7 /proc/27972/stat : 27972 (java) S 27970 27972 20503 0 -1 4202496 18277 0 1 0 68045 27 0 0 20 0 19 0 255666031 9855975424 63844 33554432000 1073741824 1073778376 140734395800608 140734395791744 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 /proc/27972/statm: 2406244 63844 2282 9 0 2396937 0 [pid=27972/tid=27974] ppid=27970 vsize=9624976 CPUtime=665.57 cores=1,3,5,7 /proc/27972/task/27974/stat : 27974 (java) R 27970 27972 20503 0 -1 4202560 2718 0 1 0 66544 13 0 0 20 0 19 0 255666033 9855975424 63844 33554432000 1073741824 1073778376 140734395800608 140474720510272 140474573556832 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=27972/tid=27975] ppid=27970 vsize=9624976 CPUtime=0.5 cores=1,3,5,7 /proc/27972/task/27975/stat : 27975 (java) S 27970 27972 20503 0 -1 4202560 170 0 0 0 48 2 0 0 20 0 19 0 255666034 9855975424 63844 33554432000 1073741824 1073778376 140734395800608 140474692962856 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27972/tid=27976] ppid=27970 vsize=9624976 CPUtime=0.51 cores=1,3,5,7 /proc/27972/task/27976/stat : 27976 (java) S 27970 27972 20503 0 -1 4202560 157 0 0 0 49 2 0 0 20 0 19 0 255666034 9855975424 63844 33554432000 1073741824 1073778376 140734395800608 140474691910056 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27972/tid=27977] ppid=27970 vsize=9624976 CPUtime=0.49 cores=1,3,5,7 /proc/27972/task/27977/stat : 27977 (java) S 27970 27972 20503 0 -1 4202560 159 0 0 0 47 2 0 0 20 0 19 0 255666034 9855975424 63844 33554432000 1073741824 1073778376 140734395800608 140474561636648 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=27972/tid=27978] ppid=27970 vsize=9624976 CPUtime=0.48 cores=1,3,5,7 /proc/27972/task/27978/stat : 27978 (java) S 27970 27972 20503 0 -1 4202560 69 0 0 0 46 2 0 0 20 0 19 0 255666034 9855975424 63844 33554432000 1073741824 1073778376 140734395800608 140474560583848 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27972/tid=27979] ppid=27970 vsize=9624976 CPUtime=0.49 cores=1,3,5,7 /proc/27972/task/27979/stat : 27979 (java) S 27970 27972 20503 0 -1 4202560 30 0 0 0 47 2 0 0 20 0 19 0 255666034 9855975424 63844 33554432000 1073741824 1073778376 140734395800608 140474559532072 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27972/tid=27980] ppid=27970 vsize=9624976 CPUtime=0.54 cores=1,3,5,7 /proc/27972/task/27980/stat : 27980 (java) S 27970 27972 20503 0 -1 4202560 64 0 0 0 52 2 0 0 20 0 19 0 255666034 9855975424 63844 33554432000 1073741824 1073778376 140734395800608 140474558479272 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27972/tid=27981] ppid=27970 vsize=9624976 CPUtime=0.5 cores=1,3,5,7 /proc/27972/task/27981/stat : 27981 (java) S 27970 27972 20503 0 -1 4202560 168 0 0 0 48 2 0 0 20 0 19 0 255666034 9855975424 63844 33554432000 1073741824 1073778376 140734395800608 140474557426472 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=27972/tid=27982] ppid=27970 vsize=9624976 CPUtime=0.5 cores=1,3,5,7 /proc/27972/task/27982/stat : 27982 (java) S 27970 27972 20503 0 -1 4202560 36 0 0 0 48 2 0 0 20 0 19 0 255666034 9855975424 63844 33554432000 1073741824 1073778376 140734395800608 140474086058664 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27972/tid=27983] ppid=27970 vsize=9624976 CPUtime=7.58 cores=1,3,5,7 /proc/27972/task/27983/stat : 27983 (java) S 27970 27972 20503 0 -1 4202560 81 0 0 0 756 2 0 0 20 0 19 0 255666036 9855975424 63844 33554432000 1073741824 1073778376 140734395800608 140474073860584 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27972/tid=27984] ppid=27970 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/27972/task/27984/stat : 27984 (java) S 27970 27972 20503 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255666036 9855975424 63844 33554432000 1073741824 1073778376 140734395800608 140474072806648 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27972/tid=27985] ppid=27970 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/27972/task/27985/stat : 27985 (java) S 27970 27972 20503 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255666036 9855975424 63844 33554432000 1073741824 1073778376 140734395800608 140474071753736 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27972/tid=27986] ppid=27970 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/27972/task/27986/stat : 27986 (java) S 27970 27972 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255666039 9855975424 63844 33554432000 1073741824 1073778376 140734395800608 140474070702224 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27972/tid=27987] ppid=27970 vsize=9624976 CPUtime=1.06 cores=1,3,5,7 /proc/27972/task/27987/stat : 27987 (java) S 27970 27972 20503 0 -1 4202560 10095 0 0 0 104 2 0 0 20 0 19 0 255666039 9855975424 63844 33554432000 1073741824 1073778376 140734395800608 140474069650360 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=27972/tid=27988] ppid=27970 vsize=9624976 CPUtime=0.61 cores=1,3,5,7 /proc/27972/task/27988/stat : 27988 (java) S 27970 27972 20503 0 -1 4202560 3305 0 0 0 61 0 0 0 20 0 19 0 255666039 9855975424 63844 33554432000 1073741824 1073778376 140734395800608 140474068597560 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=27972/tid=27989] ppid=27970 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/27972/task/27989/stat : 27989 (java) S 27970 27972 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255666039 9855975424 63844 33554432000 1073741824 1073778376 140734395800608 140474067544952 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=27972/tid=27990] ppid=27970 vsize=9624976 CPUtime=0.13 cores=1,3,5,7 /proc/27972/task/27990/stat : 27990 (java) S 27970 27972 20503 0 -1 4202560 39 0 0 0 7 6 0 0 20 0 19 0 255666039 9855975424 63844 33554432000 1073741824 1073778376 140734395800608 140474066492360 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=27972/tid=27991] ppid=27970 vsize=9624976 CPUtime=0 cores=1,3,5,7 /proc/27972/task/27991/stat : 27991 (java) S 27970 27972 20503 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255666082 9855975424 63844 33554432000 1073741824 1073778376 140734395800608 140474065405096 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 680.72 Current children cumulated vsize (KiB) 9624976 Child status: 30 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 27972 and gives # childrusage.ru_utime.tv_sec=678 # childrusage.ru_utime.tv_usec=781809 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=531919 # CPU time returned by wait4() is 679.314 # while last known CPU time is 680.72 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 676.392 CPU time (s): 680.72 CPU user time (s): 680.45 CPU system time (s): 0.27 CPU usage (%): 100.64 Max. virtual memory (cumulated for all children) (KiB): 9624976 getrusage(RUSAGE_CHILDREN,...) data: user time used= 678.782 system time used= 0.531919 maximum resident set size= 255436 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 18297 page faults= 1 swaps= 0 block input operations= 0 block output operations= 696 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 20101 involuntary context switches= 13305 runsolver used 2.91656 second user time and 6.96794 second system time The end
Begin job on node106 at 2012-05-24 23:36:15 IDJOB=3690041 IDBENCH=92667 IDSOLVER=2269 FILE ID=node106/3690041-1337895375 RUNJOBID= node106-1337895375-27955 PBS_JOBID= 14620098 Free space on /tmp= 71660 MiB SOLVER NAME= Sat 4j PB Resolution 2.3.2 Snapshot BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/MH+IC/normalized-minisat15_4_4_1_mh_ic.opb COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3690041-1337895375/watcher-3690041-1337895375 -o /tmp/evaluation-result-3690041-1337895375/solver-3690041-1337895375 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3690041-1337895375.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= f4c34ee83da7e36be7881d34beece196 RANDOM SEED=1219885087 node106.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.065 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.13 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.065 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.91 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.065 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.91 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.065 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.92 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.065 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.91 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.065 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.065 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.91 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.065 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.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 28929316 kB Buffers: 221104 kB Cached: 2943660 kB SwapCached: 0 kB Active: 722156 kB Inactive: 2457080 kB Active(anon): 17012 kB Inactive(anon): 0 kB Active(file): 705144 kB Inactive(file): 2457080 kB Unevictable: 6856 kB Mlocked: 6856 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 2720 kB Writeback: 0 kB AnonPages: 21584 kB Mapped: 13676 kB Shmem: 200 kB Slab: 627632 kB SReclaimable: 70236 kB SUnreclaim: 557396 kB KernelStack: 1408 kB PageTables: 3692 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 108104 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71624 MiB End job on node106 at 2012-05-24 23:47:32