Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Sat4j Res//CP 2.3.0 | SAT (TO) | 36 | 1800.38 | 920.09 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/area_opers/normalized-fir05_area_opers.opb |
MD5SUM | fb30dc68ef00299e3d850b79fb8a2728 |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 35 |
Best CPU time to get the best result obtained on this benchmark | 0.25596 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 35 |
Optimality of the best value was proved | YES |
Number of variables | 6033 |
Total number of constraints | 11966 |
Number of constraints which are clauses | 11966 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 127 |
Number of terms in the objective function | 3140 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 3140 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 2 |
Number of bits of the biggest number in a constraint | 2 |
Biggest sum of numbers in a constraint | 3140 |
Number of bits of the biggest sum of numbers | 12 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.05/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.05/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.05/0.08 c See www.sat4j.org for details. 0.05/0.09 c version 2.3.1.v20110525 0.05/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.05/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.05/0.09 c java.vm.version 19.1-b02 0.05/0.09 c java.vm.vendor Sun Microsystems Inc. 0.05/0.09 c sun.arch.data.model 64 0.05/0.09 c java.version 1.6.0_24 0.05/0.09 c os.name Linux 0.05/0.09 c os.version 2.6.18-164.el5 0.05/0.09 c os.arch amd64 0.05/0.09 c Free memory 9996466904 0.05/0.09 c Max memory 10048897024 0.05/0.09 c Total memory 10048897024 0.05/0.09 c Number of processors 8 0.10/0.11 c Pseudo Boolean Optimization 0.10/0.11 c ManyCore solver with 2 solvers running in parallel 0.10/0.11 c --- Begin Solver configuration --- 0.10/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@67ee3914 0.10/0.11 c Learn all clauses as in MiniSAT 0.10/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.10/0.11 c Expensive reason simplification 0.10/0.11 c Armin Biere (Picosat) restarts strategy 0.10/0.11 c Glucose learned constraints deletion strategy 0.10/0.11 c timeout=2147483s 0.10/0.11 c DB Simplification allowed=false 0.10/0.11 c --- End Solver configuration --- 0.10/0.11 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.10/0.11 c --- Begin Solver configuration --- 0.10/0.11 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@1c691f36 0.10/0.11 c Learn all clauses as in MiniSAT 0.10/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.11 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.10/0.11 c No reason simplification 0.10/0.11 c Armin Biere (Picosat) restarts strategy 0.10/0.11 c Glucose learned constraints deletion strategy 0.10/0.11 c timeout=2147483s 0.10/0.11 c DB Simplification allowed=false 0.10/0.11 c --- End Solver configuration --- 0.10/0.11 c solving HOME/instance-3454150-1307193725.opb 0.10/0.11 c reading problem ... 0.81/0.44 c ... done. Wall clock time 0.329s. 0.81/0.44 c #vars 6033 0.81/0.44 c #constraints 11966 0.81/0.44 c constraints type 0.81/0.44 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2914 0.81/0.44 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9048 0.81/0.44 c constraints type 0.81/0.44 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 9048 0.81/0.44 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2914 1.10/0.54 c And the winner is CuttingPlanes 1.26/0.97 c SATISFIABLE 1.26/0.97 c OPTIMIZING... 1.26/0.97 c Got one! Elapsed wall clock time (in seconds):0.854 1.26/0.97 o 45 1.36/1.02 c And the winner is Resolution 1.50/1.50 c Got one! Elapsed wall clock time (in seconds):1.387 1.50/1.50 o 44 1.78/1.64 c And the winner is Resolution 1.93/2.07 c Got one! Elapsed wall clock time (in seconds):1.961 1.93/2.07 o 43 2.45/2.34 c And the winner is Resolution 2.71/2.62 c Got one! Elapsed wall clock time (in seconds):2.51 2.71/2.62 o 42 2.71/2.67 c And the winner is Resolution 2.88/3.14 c Got one! Elapsed wall clock time (in seconds):3.025 2.88/3.14 o 41 3.05/3.24 c And the winner is Resolution 3.14/3.65 c Got one! Elapsed wall clock time (in seconds):3.539 3.14/3.65 o 40 4.28/4.25 c And the winner is Resolution 4.41/4.67 c Got one! Elapsed wall clock time (in seconds):4.554 4.41/4.67 o 39 8.81/6.80 c cleaning 3297 clauses out of 6605 with flag 4002/6605 15.83/10.34 c cleaning 4648 clauses out of 9306 with flag 10000/12603 23.86/14.32 c cleaning 5825 clauses out of 11658 with flag 17000/19603 26.60/15.71 c And the winner is Resolution 26.60/15.77 c Got one! Elapsed wall clock time (in seconds):15.659 26.60/15.77 o 38 28.71/16.80 c cleaning 5695 clauses out of 11405 with flag 3000/25175 33.71/19.33 c cleaning 5852 clauses out of 11710 with flag 9000/31175 40.68/22.84 c cleaning 6427 clauses out of 12858 with flag 16000/38175 48.44/26.73 c cleaning 7213 clauses out of 14431 with flag 24000/46175 57.80/31.40 c cleaning 8103 clauses out of 16220 with flag 33002/55177 66.35/35.71 c cleaning 9051 clauses out of 18118 with flag 43003/65178 79.71/42.41 c cleaning 10030 clauses out of 20064 with flag 54000/76175 93.47/49.35 c cleaning 11011 clauses out of 22034 with flag 66000/88175 105.03/55.12 c cleaning 11505 clauses out of 23024 with flag 78001/100176 116.17/60.70 c cleaning 11752 clauses out of 23520 with flag 90002/112177 129.73/67.58 c cleaning 11864 clauses out of 23766 with flag 102000/124175 138.29/71.84 c cleaning 11938 clauses out of 23902 with flag 114000/136175 152.44/78.97 c cleaning 11977 clauses out of 23964 with flag 126000/148175 163.38/84.47 c cleaning 11984 clauses out of 23987 with flag 138000/160175 169.54/87.58 c cleaning 12000 clauses out of 24004 with flag 150001/172176 180.30/92.91 c cleaning 11997 clauses out of 24004 with flag 162001/184176 190.45/98.09 c cleaning 11999 clauses out of 24008 with flag 174002/196177 200.57/103.13 c cleaning 11996 clauses out of 24007 with flag 186000/208175 209.73/107.80 c cleaning 11998 clauses out of 24011 with flag 198000/220175 220.66/113.24 c cleaning 12001 clauses out of 24015 with flag 210002/232177 230.39/118.14 c cleaning 12000 clauses out of 24014 with flag 222002/244177 242.90/124.47 c cleaning 11993 clauses out of 24012 with flag 234000/256175 256.64/131.32 c cleaning 12004 clauses out of 24019 with flag 246000/268175 275.78/140.93 c cleaning 12000 clauses out of 24015 with flag 258000/280175 296.31/151.23 c cleaning 12004 clauses out of 24015 with flag 270000/292175 309.62/157.92 c cleaning 11999 clauses out of 24011 with flag 282000/304175 324.13/165.25 c cleaning 12000 clauses out of 24013 with flag 294001/316176 329.65/168.01 c cleaning 11998 clauses out of 24012 with flag 306000/328175 334.36/170.47 c cleaning 11997 clauses out of 24015 with flag 318001/340176 342.22/174.40 c cleaning 12002 clauses out of 24018 with flag 330001/352176 353.73/180.29 c cleaning 12000 clauses out of 24015 with flag 342000/364175 364.43/185.65 c cleaning 12002 clauses out of 24016 with flag 354001/376176 376.35/191.65 c cleaning 11996 clauses out of 24013 with flag 366000/388175 389.61/198.33 c cleaning 11998 clauses out of 24017 with flag 378000/400175 401.93/204.60 c cleaning 12006 clauses out of 24019 with flag 390000/412175 414.63/210.94 c cleaning 11995 clauses out of 24013 with flag 402000/424175 424.32/215.83 c cleaning 12003 clauses out of 24018 with flag 414000/436175 434.14/220.83 c cleaning 12005 clauses out of 24018 with flag 426003/448178 448.62/228.17 c cleaning 11997 clauses out of 24010 with flag 438000/460175 463.69/235.74 c cleaning 11997 clauses out of 24013 with flag 450000/472175 473.34/240.65 c cleaning 12000 clauses out of 24017 with flag 462001/484176 477.93/243.08 c cleaning 12003 clauses out of 24019 with flag 474003/496178 482.43/245.39 c cleaning 11998 clauses out of 24013 with flag 486000/508175 487.05/247.76 c cleaning 12003 clauses out of 24018 with flag 498003/520178 494.10/251.36 c cleaning 12002 clauses out of 24013 with flag 510001/532176 496.68/252.78 c And the winner is CuttingPlanes 496.85/253.28 c Got one! Elapsed wall clock time (in seconds):253.171 496.85/253.28 o 37 498.68/254.27 c cleaning 8844 clauses out of 17703 with flag 2000/537868 507.33/258.68 c cleaning 7427 clauses out of 14861 with flag 8002/543870 514.98/262.58 c cleaning 7205 clauses out of 14432 with flag 15000/550868 525.23/267.76 c cleaning 7601 clauses out of 15227 with flag 23000/558868 533.61/272.09 c cleaning 8306 clauses out of 16626 with flag 32000/567868 543.46/277.04 c cleaning 9156 clauses out of 18321 with flag 42001/577869 553.11/281.94 c cleaning 10074 clauses out of 20164 with flag 53000/588868 565.36/288.16 c cleaning 11037 clauses out of 22090 with flag 65000/600868 578.70/294.90 c cleaning 11523 clauses out of 23053 with flag 77000/612868 593.77/302.52 c cleaning 11757 clauses out of 23534 with flag 89004/624872 604.77/308.13 c cleaning 11874 clauses out of 23773 with flag 101000/636868 619.40/315.50 c cleaning 11940 clauses out of 23900 with flag 113001/648869 632.94/322.47 c cleaning 11976 clauses out of 23959 with flag 125000/660868 644.37/328.25 c cleaning 11989 clauses out of 23987 with flag 137004/672872 656.20/334.21 c cleaning 11993 clauses out of 23995 with flag 149001/684869 668.44/340.43 c cleaning 11994 clauses out of 24001 with flag 161000/696868 683.36/348.06 c cleaning 11998 clauses out of 24007 with flag 173000/708868 699.58/356.21 c cleaning 11996 clauses out of 24009 with flag 185000/720868 712.59/362.87 c cleaning 11994 clauses out of 24013 with flag 197000/732868 725.61/369.50 c cleaning 12005 clauses out of 24020 with flag 209001/744869 739.38/376.47 c cleaning 11997 clauses out of 24014 with flag 221000/756868 751.20/382.44 c cleaning 12003 clauses out of 24018 with flag 233001/768869 760.01/386.99 c cleaning 12000 clauses out of 24015 with flag 245001/780869 769.61/391.84 c cleaning 11999 clauses out of 24015 with flag 257001/792869 782.73/398.54 c cleaning 12004 clauses out of 24015 with flag 269000/804868 794.55/404.52 c cleaning 11997 clauses out of 24012 with flag 281001/816869 832.57/423.68 c cleaning 12000 clauses out of 24014 with flag 293000/828868 857.76/436.39 c cleaning 11991 clauses out of 24014 with flag 305000/840868 872.04/443.67 c cleaning 12008 clauses out of 24024 with flag 317001/852869 878.24/446.87 c cleaning 11998 clauses out of 24015 with flag 329000/864868 884.27/449.98 c cleaning 11998 clauses out of 24017 with flag 341000/876868 896.43/456.11 c cleaning 12003 clauses out of 24019 with flag 353000/888868 913.52/464.85 c cleaning 11992 clauses out of 24016 with flag 365000/900868 933.73/475.02 c cleaning 12004 clauses out of 24024 with flag 377000/912868 953.33/484.95 c cleaning 12002 clauses out of 24020 with flag 389000/924868 966.91/491.80 c cleaning 12000 clauses out of 24019 with flag 401001/936869 978.60/497.81 c cleaning 12006 clauses out of 24019 with flag 413001/948869 989.82/503.54 c cleaning 11999 clauses out of 24012 with flag 425000/960868 1002.84/510.14 c cleaning 12004 clauses out of 24015 with flag 437002/972870 1014.65/516.10 c cleaning 12002 clauses out of 24011 with flag 449002/984870 1018.97/518.42 c cleaning 11994 clauses out of 24007 with flag 461000/996868 1023.18/520.69 c cleaning 11999 clauses out of 24013 with flag 473000/1008868 1032.78/525.58 c cleaning 11999 clauses out of 24014 with flag 485000/1020868 1048.79/533.64 c cleaning 11998 clauses out of 24016 with flag 497001/1032869 1063.30/541.11 c cleaning 12004 clauses out of 24018 with flag 509001/1044869 1079.10/549.09 c cleaning 12000 clauses out of 24013 with flag 521000/1056868 1083.13/551.13 c cleaning 11999 clauses out of 24014 with flag 533001/1068869 1086.68/553.06 c cleaning 12001 clauses out of 24015 with flag 545001/1080869 1090.76/555.23 c cleaning 11999 clauses out of 24013 with flag 557000/1092868 1094.75/557.31 c cleaning 11998 clauses out of 24016 with flag 569002/1104870 1098.73/559.43 c cleaning 12003 clauses out of 24016 with flag 581000/1116868 1106.72/563.54 c cleaning 12003 clauses out of 24017 with flag 593004/1128872 1117.99/569.35 c cleaning 12001 clauses out of 24011 with flag 605001/1140869 1130.58/575.70 c cleaning 12000 clauses out of 24012 with flag 617003/1152871 1144.37/582.77 c cleaning 11993 clauses out of 24009 with flag 629000/1164868 1173.40/597.35 c cleaning 11998 clauses out of 24017 with flag 641001/1176869 1186.06/603.90 c cleaning 11999 clauses out of 24019 with flag 653001/1188869 1191.83/606.86 c cleaning 11999 clauses out of 24019 with flag 665000/1200868 1199.03/610.58 c cleaning 12004 clauses out of 24021 with flag 677001/1212869 1212.56/617.50 c cleaning 12001 clauses out of 24016 with flag 689000/1224868 1225.21/623.92 c cleaning 12002 clauses out of 24016 with flag 701001/1236869 1241.00/631.92 c cleaning 11988 clauses out of 24013 with flag 713000/1248868 1249.38/636.27 c cleaning 12006 clauses out of 24025 with flag 725000/1260868 1255.93/639.61 c cleaning 12002 clauses out of 24019 with flag 737000/1272868 1262.37/643.01 c cleaning 12000 clauses out of 24017 with flag 749000/1284868 1267.92/645.98 c cleaning 12002 clauses out of 24018 with flag 761001/1296869 1274.07/649.15 c cleaning 12001 clauses out of 24016 with flag 773001/1308869 1280.63/652.52 c cleaning 12004 clauses out of 24015 with flag 785001/1320869 1292.27/658.59 c cleaning 11997 clauses out of 24011 with flag 797001/1332869 1303.85/664.48 c cleaning 11997 clauses out of 24013 with flag 809000/1344868 1315.77/670.50 c cleaning 12000 clauses out of 24016 with flag 821000/1356868 1327.93/676.71 c cleaning 11999 clauses out of 24017 with flag 833001/1368869 1335.97/680.91 c And the winner is CuttingPlanes 1335.98/681.14 c Got one! Elapsed wall clock time (in seconds):681.024 1335.98/681.14 o 36 1341.91/684.18 c cleaning 12373 clauses out of 24750 with flag 5001/1381601 1351.84/689.28 c cleaning 9181 clauses out of 18376 with flag 11000/1387600 1360.96/693.90 c cleaning 8093 clauses out of 16195 with flag 18000/1394600 1370.09/698.66 c cleaning 8049 clauses out of 16104 with flag 26002/1402602 1378.67/703.17 c cleaning 8522 clauses out of 17055 with flag 35002/1411602 1390.39/709.13 c cleaning 9260 clauses out of 18531 with flag 45000/1421600 1408.71/718.41 c cleaning 10126 clauses out of 20272 with flag 56001/1432601 1422.25/725.35 c cleaning 11068 clauses out of 22145 with flag 68000/1444600 1436.00/732.45 c cleaning 11536 clauses out of 23078 with flag 80001/1456601 1448.30/738.75 c cleaning 11769 clauses out of 23541 with flag 92000/1468600 1468.98/749.29 c cleaning 11883 clauses out of 23773 with flag 104001/1480601 1481.27/755.56 c cleaning 11945 clauses out of 23893 with flag 116004/1492604 1494.00/762.14 c cleaning 11964 clauses out of 23944 with flag 128000/1504600 1505.90/768.20 c cleaning 11989 clauses out of 23986 with flag 140006/1516606 1524.18/777.51 c cleaning 11994 clauses out of 23991 with flag 152000/1528600 1533.66/782.42 c cleaning 11994 clauses out of 24000 with flag 164003/1540603 1543.99/787.80 c cleaning 11999 clauses out of 24005 with flag 176002/1552602 1557.28/794.63 c cleaning 11996 clauses out of 24004 with flag 188000/1564600 1569.96/801.14 c cleaning 12000 clauses out of 24009 with flag 200001/1576601 1583.64/808.19 c cleaning 12002 clauses out of 24009 with flag 212001/1588601 1595.37/814.26 c cleaning 11995 clauses out of 24006 with flag 224000/1600600 1605.69/819.59 c cleaning 12000 clauses out of 24013 with flag 236002/1612602 1615.74/824.77 c cleaning 11998 clauses out of 24012 with flag 248001/1624601 1626.02/830.05 c cleaning 12000 clauses out of 24013 with flag 260000/1636600 1638.36/836.46 c cleaning 12000 clauses out of 24013 with flag 272000/1648600 1650.30/842.59 c cleaning 11996 clauses out of 24014 with flag 284001/1660601 1661.81/848.45 c cleaning 12000 clauses out of 24017 with flag 296000/1672600 1672.13/853.72 c cleaning 12002 clauses out of 24017 with flag 308000/1684600 1681.49/858.67 c cleaning 11997 clauses out of 24016 with flag 320001/1696601 1692.61/864.39 c cleaning 11999 clauses out of 24018 with flag 332000/1708600 1704.12/870.23 c cleaning 11987 clauses out of 24019 with flag 344000/1720600 1713.03/874.86 c cleaning 12007 clauses out of 24032 with flag 356000/1732600 1721.59/879.40 c cleaning 12005 clauses out of 24027 with flag 368002/1744602 1730.70/884.06 c cleaning 12004 clauses out of 24021 with flag 380001/1756601 1740.40/889.00 c cleaning 12001 clauses out of 24016 with flag 392000/1768600 1756.70/897.31 c cleaning 12001 clauses out of 24018 with flag 404003/1780603 1766.26/902.40 c cleaning 12003 clauses out of 24017 with flag 416003/1792603 1783.37/911.06 c cleaning 11993 clauses out of 24011 with flag 428000/1804600 1790.47/914.71 c cleaning 12002 clauses out of 24018 with flag 440000/1816600 1797.16/918.20 c cleaning 11997 clauses out of 24016 with flag 452000/1828600 1800.11/919.92 c starts : 19 1800.11/919.92 c conflicts : 1231 1800.11/919.92 c decisions : 106625 1800.11/919.92 c propagations : 730895 1800.11/919.92 c inspects : 9323977 1800.11/919.92 c shortcuts : 0 1800.11/919.92 c learnt literals : 0 1800.11/919.92 c learnt binary clauses : 0 1800.11/919.92 c learnt ternary clauses : 0 1800.11/919.92 c learnt constraints : 1227 1800.11/919.92 c ignored constraints : 0 1800.11/919.92 c root simplifications : 0 1800.11/919.92 c removed literals (reason simplification) : 0 1800.11/919.92 c reason swapping (by a shorter reason) : 0 1800.11/919.92 c Calls to reduceDB : 0 1800.11/919.92 c number of reductions to clauses (during analyze) : 0 1800.11/919.92 c number of learned constraints concerned by reduction : 0 1800.11/919.92 c number of learning phase by resolution : 0 1800.11/919.92 c number of learning phase by cutting planes : 0 1800.11/919.92 c speed (assignments/second) : 3060.981329938269 1800.11/919.92 c non guided choices 0 1800.11/919.92 c learnt constraints type 1800.11/919.92 c org.sat4j.pb.constraints.pb.LearntHTClausePB => 1 1800.11/919.92 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 239 1800.11/919.92 c org.sat4j.pb.constraints.pb.MaxWatchPb => 987 1800.11/919.92 c constraints type 1800.11/919.92 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2914 1800.11/919.92 c org.sat4j.minisat.constraints.card.MinWatchCard => 1 1800.11/919.92 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9048 1800.11/919.92 c constraints type 1800.11/919.92 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 9048 1800.11/919.92 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2914 1800.11/919.92 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1 1800.11/919.92 s SATISFIABLE 1800.11/919.94 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 1800.11/919.95 c objective function=36 1800.11/919.95 c Total wall clock time (in seconds): 919.834
OK 36
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3454150-1307193725/watcher-3454150-1307193725 -o /tmp/evaluation-result-3454150-1307193725/solver-3454150-1307193725 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454150-1307193725.opb running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 4.00 3.95 3.72 2/467 17080 /proc/meminfo: memFree=24076652/32951124 swapFree=56297244/67111528 [pid=17080] ppid=17078 vsize=9100 CPUtime=0 cores=0,2,4,6 /proc/17080/stat : 17080 (java) R 17078 17080 13385 0 -1 4202496 427 0 0 0 0 0 0 0 25 0 1 0 909603007 9318400 172 33554432000 1073741824 1073778376 140735619923024 18446744073709551615 252453142151 0 2147483391 4096 0 0 0 0 17 2 0 0 0 /proc/17080/statm: 2275 172 132 9 0 67 0 [pid=17080/tid=17081] ppid=17078 vsize=10444316 CPUtime=0 cores=0,2,4,6 /proc/17080/task/17081/stat : 17081 (java) R 17078 17080 13385 0 -1 4202560 3473 0 1 0 0 0 0 0 25 0 2 0 909603008 10694979584 4289 33554432000 1073741824 1073778376 140735619923024 18446744073709551615 252457759803 0 4 0 16784584 0 0 0 -1 2 0 0 0 [startup+0.071631 s] /proc/loadavg: 4.00 3.95 3.72 2/467 17080 /proc/meminfo: memFree=24076652/32951124 swapFree=56297244/67111528 [pid=17080] ppid=17078 vsize=10473088 CPUtime=0.05 cores=0,2,4,6 /proc/17080/stat : 17080 (java) S 17078 17080 13385 0 -1 4202496 11804 0 1 0 4 1 0 0 25 0 18 0 909603007 10724442112 11500 33554432000 1073741824 1073778376 140735619923024 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/17080/statm: 2618272 11500 1742 9 0 2609006 0 [pid=17080/tid=17081] ppid=17078 vsize=10473088 CPUtime=0.05 cores=0,2,4,6 /proc/17080/task/17081/stat : 17081 (java) R 17078 17080 13385 0 -1 4202560 10630 0 1 0 4 1 0 0 25 0 18 0 909603008 10724442112 11502 33554432000 1073741824 1073778376 140735619923024 18446744073709551615 47977937293219 0 4 0 16800975 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 10473088 [startup+0.10061 s] /proc/loadavg: 4.00 3.95 3.72 2/467 17080 /proc/meminfo: memFree=24076652/32951124 swapFree=56297244/67111528 [pid=17080] ppid=17078 vsize=10540264 CPUtime=0.1 cores=0,2,4,6 /proc/17080/stat : 17080 (java) S 17078 17080 13385 0 -1 4202496 13031 0 1 0 8 2 0 0 25 0 18 0 909603007 10793230336 12713 33554432000 1073741824 1073778376 140735619923024 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/17080/statm: 2635066 12713 2093 9 0 2625800 0 [pid=17080/tid=17081] ppid=17078 vsize=10540264 CPUtime=0.07 cores=0,2,4,6 /proc/17080/task/17081/stat : 17081 (java) R 17078 17080 13385 0 -1 4202560 11095 0 1 0 6 1 0 0 18 0 18 0 909603008 10793230336 12714 33554432000 1073741824 1073778376 140735619923024 18446744073709551615 47977941760851 0 4 0 16800975 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 10540264 [startup+0.302549 s] /proc/loadavg: 4.00 3.95 3.72 2/467 17080 /proc/meminfo: memFree=24076652/32951124 swapFree=56297244/67111528 [pid=17080] ppid=17078 vsize=10542208 CPUtime=0.51 cores=0,2,4,6 /proc/17080/stat : 17080 (java) S 17078 17080 13385 0 -1 4202496 17088 0 1 0 49 2 0 0 25 0 18 0 909603007 10795220992 16003 33554432000 1073741824 1073778376 140735619923024 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/17080/statm: 2635552 16011 2201 9 0 2626286 0 [pid=17080/tid=17081] ppid=17078 vsize=10542208 CPUtime=0.27 cores=0,2,4,6 /proc/17080/task/17081/stat : 17081 (java) R 17078 17080 13385 0 -1 4202560 13285 0 1 0 26 1 0 0 18 0 18 0 909603008 10795220992 16027 33554432000 1073741824 1073778376 140735619923024 18446744073709551615 46912505121134 0 4 0 16800975 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 0.51 Current children cumulated vsize (KiB) 10542208 [startup+0.700491 s] /proc/loadavg: 4.00 3.95 3.72 2/467 17080 /proc/meminfo: memFree=24076652/32951124 swapFree=56297244/67111528 [pid=17080] ppid=17078 vsize=10550168 CPUtime=1.26 cores=0,2,4,6 /proc/17080/stat : 17080 (java) S 17078 17080 13385 0 -1 4202496 26763 0 1 0 123 3 0 0 25 0 19 0 909603007 10803372032 24497 33554432000 1073741824 1073778376 140735619923024 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/17080/statm: 2637542 24497 2232 9 0 2628276 0 [pid=17080/tid=17081] ppid=17078 vsize=10550168 CPUtime=0.42 cores=0,2,4,6 /proc/17080/task/17081/stat : 17081 (java) S 17078 17080 13385 0 -1 4202560 19244 0 1 0 40 2 0 0 19 0 19 0 909603008 10803372032 24497 33554432000 1073741824 1073778376 140735619923024 18446744073709551615 252469882368 0 4 0 16800975 18446604453829407104 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 1.26 Current children cumulated vsize (KiB) 10550168 [startup+1.50136 s] /proc/loadavg: 3.76 3.90 3.71 6/509 17153 /proc/meminfo: memFree=23948048/32951124 swapFree=56297244/67111528 [pid=17080] ppid=17078 vsize=10550168 CPUtime=1.5 cores=0,2,4,6 /proc/17080/stat : 17080 (java) S 17078 17080 13385 0 -1 4202496 27420 0 1 0 146 4 0 0 25 0 19 0 909603007 10803372032 25153 33554432000 1073741824 1073778376 140735619923024 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/17080/statm: 2637542 25153 2236 9 0 2628276 0 [pid=17080/tid=17081] ppid=17078 vsize=10550168 CPUtime=0.46 cores=0,2,4,6 /proc/17080/task/17081/stat : 17081 (java) R 17078 17080 13385 0 -1 4202560 19567 0 1 0 44 2 0 0 15 0 19 0 909603008 10803372032 25153 33554432000 1073741824 1073778376 140735619923024 18446744073709551615 46912505856946 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=17080/tid=17083] ppid=17078 vsize=10550168 CPUtime=0 cores=0,2,4,6 /proc/17080/task/17083/stat : 17083 (java) S 17078 17080 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909603010 10803372032 25153 33554432000 1073741824 1073778376 140735619923024 18446744073709551615 252469881753 0 4 0 16800975 18446604453829407104 0 0 -1 2 0 0 0 [pid=17080/tid=17084] ppid=17078 vsize=10550168 CPUtime=0 cores=0,2,4,6 /proc/17080/task/17084/stat : 17084 (java) S 17078 17080 13385 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 909603010 10803372032 25153 33554432000 1073741824 1073778376 140735619923024 18446744073709551615 252469881753 0 4 0 16800975 18446604453829407104 0 0 -1 2 0 0 0 [pid=17080/tid=17085] ppid=17078 vsize=10550168 CPUtime=0 cores=0,2,4,6 /proc/17080/task/17085/stat : 17085 (java) S 17078 17080 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909603010 10803372032 25153 33554432000 1073741824 1073778376 140735619923024 18446744073709551615 252469881753 0 4 0 16800975 18446604453829407104 0 0 -1 2 0 0 0 [pid=17080/tid=17086] ppid=17078 vsize=10550168 CPUtime=0 cores=0,2,4,6 /proc/17080/task/17086/stat : 17086 (java) S 17078 17080 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909603010 10803372032 25153 33554432000 1073741824 1073778376 140735619923024 18446744073709551615 252469881753 0 4 0 16800975 18446604453829407104 0 0 -1 2 0 0 0 [pid=17080/tid=17087] ppid=17078 vsize=10550168 CPUtime=0 cores=0,2,4,6 /proc/17080/task/17087/stat : 17087 (java) S 17078 17080 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909603010 10803372032 25153 33554432000 1073741824 1073778376 140735619923024 18446744073709551615 252469881753 0 4 0 16800975 18446604453829407104 0 0 -1 2 0 0 0 [pid=17080/tid=17088] ppid=17078 vsize=10550168 CPUtime=0 cores=0,2,4,6 /proc/17080/task/17088/stat : 17088 (java) S 17078 17080 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909603010 10803372032 25153 33554432000 1073741824 1073778376 140735619923024 18446744073709551615 252469881753 0 4 0 16800975 18446604453829407104 0 0 -1 2 0 0 0 [pid=17080/tid=17089] ppid=17078 vsize=10550168 CPUtime=0 cores=0,2,4,6 /proc/17080/task/17089/stat : 17089 (java) S 17078 17080 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909603010 10803372032 25153 33554432000 1073741824 1073778376 140735619923024 18446744073709551615 252469881753 0 4 0 16800975 18446604453829407104 0 0 -1 2 0 0 0 [pid=17080/tid=17090] ppid=17078 vsize=10550168 CPUtime=0 cores=0,2,4,6 /proc/17080/task/17090/stat : 17090 (java) S 17078 17080 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909603010 10803372032 25153 33554432000 1073741824 1073778376 140735619923024 18446744073709551615 252469881753 0 4 0 16800975 18446604453829407104 0 0 -1 2 0 0 0 [pid=17080/tid=17091] ppid=17078 vsize=10550168 CPUtime=0 cores=0,2,4,6 /proc/17080/task/17091/stat : 17091 (java) S 17078 17080 13385 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 19 0 909603011 10803372032 25153 33554432000 1073741824 1073778376 140735619923024 18446744073709551615 252469882368 0 0 0 16800975 18446604453829407104 0 0 -1 0 0 0 0 [pid=17080/tid=17092] ppid=17078 vsize=10550168 CPUtime=0 cores=0,2,4,6 /proc/17080/task/17092/stat : 17092 (java) S 17078 17080 13385 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 909603011 10803372032 25153 33554432000 1073741824 1073778376 140735619923024 18446744073709551615 252469881753 0 4 0 16800975 18446604453829407104 0 0 -1 2 0 0 0 [pid=17080/tid=17093] ppid=17078 vsize=10550168 CPUtime=0 cores=0,2,4,6 /proc/17080/task/17093/stat : 17093 (java) S 17078 17080 13385 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 909603011 10803372032 25153 33554432000 1073741824 1073778376 140735619923024 18446744073709551615 252469881753 0 4 0 16800975 18446604453829407104 0 0 -1 2 0 0 0 [pid=17080/tid=17094] ppid=17078 vsize=10550168 CPUtime=0 cores=0,2,4,6 /proc/17080/task/17094/stat : 17094 (java) S 17078 17080 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909603013 10803372032 25153 33554432000 1073741824 1073778376 140735619923024 18446744073709551615 252469889457 0 4 0 16800975 18446604453829407104 0 0 -1 2 0 0 0 [pid=17080/tid=17095] ppid=17078 vsize=10550168 CPUtime=0.44 cores=0,2,4,6 /proc/17080/task/17095/stat : 17095 (java) S 17078 17080 13385 0 -1 4202560 2342 0 0 0 44 0 0 0 15 0 19 0 909603013 10803372032 25153 33554432000 1073741824 1073778376 140735619923024 18446744073709551615 252469881753 0 4 0 16800975 18446604453829407104 0 0 -1 0 0 0 0 [pid=17080/tid=17096] ppid=17078 vsize=10550168 CPUtime=0.36 cores=0,2,4,6 /proc/17080/task/17096/stat : 17096 (java) S 17078 17080 13385 0 -1 4202560 3793 0 0 0 36 0 0 0 17 0 19 0 909603013 10803372032 25153 33554432000 1073741824 1073778376 140735619923024 18446744073709551615 252469881753 0 4 0 16800975 18446604453829407104 0 0 -1 6 0 0 0 [pid=17080/tid=17097] ppid=17078 vsize=10550168 CPUtime=0 cores=0,2,4,6 /proc/17080/task/17097/stat : 17097 (java) S 17078 17080 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909603013 10803372032 25153 33554432000 1073741824 1073778376 140735619923024 18446744073709551615 252469881753 0 4 0 16800975 18446604453829407104 0 0 -1 2 0 0 0 [pid=17080/tid=17098] ppid=17078 vsize=10550168 CPUtime=0 cores=0,2,4,6 /proc/17080/task/17098/stat : 17098 (java) S 17078 17080 13385 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 909603013 10803372032 25153 33554432000 1073741824 1073778376 140735619923024 18446744073709551615 252469882368 0 4 0 16800975 18446604453829407104 0 0 -1 0 0 0 0 [pid=17080/tid=17153] ppid=17078 vsize=10550168 CPUtime=0 cores=0,2,4,6 /proc/17080/task/17153/stat : 17153 (java) S 17078 17080 13385 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 19 0 909603107 10803372032 25153 33554432000 1073741824 1073778376 140735619923024 18446744073709551615 252469882368 0 4 0 16800975 18446604453829407104 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 10550168 [startup+3.10109 s] /proc/loadavg: 3.76 3.90 3.71 4/508 17164 /proc/meminfo: memFree=23932928/32951124 swapFree=56297244/67111528 [pid=17080] ppid=17078 vsize=10550168 CPUtime=2.88 cores=0,2,4,6 /proc/17080/stat : 17080 (java) S 17078 17080 13385 0 -1 4202496 29798 0 1 0 284 4 0 0 25 0 19 0 909603007 10803372032 27530 33554432000 1073741824 1073778376 140735619923024 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/17080/statm: 2637542 27530 2243 9 0 2628276 0 [pid=17080/tid=17081] ppid=17078 vsize=10550168 CPUtime=0.5 cores=0,2,4,6 /proc/17080/task/17081/stat : 17081 (java) S 17078 17080 13385 0 -1 4202560 20433 0 1 0 48 2 0 0 16 0 19 0 909603008 10803372032 27530 33554432000 1073741824 1073778376 140735619923024 18446744073709551615 252469882368 0 4 0 16800975 18446604453829407104 0 0 -1 6 0 0 0 [pid=17080/tid=17083] ppid=17078 vsize=10550168 CPUtime=0 cores=0,2,4,6 /proc/17080/task/17083/stat : 17083 (java) S 17078 17080 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909603010 10803372032 27530 33554432000 1073741824 1073778376 140735619923024 18446744073709551615 252469881753 0 4 0 16800975 18446604453829407104 0 0 -1 2 0 0 0 [pid=17080/tid=17084] ppid=17078 vsize=10550168 CPUtime=0 cores=0,2,4,6 /proc/17080/task/17084/stat : 17084 (java) S 17078 17080 13385 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 909603010 10803372032 27530 33554432000 1073741824 1073778376 140735619923024 18446744073709551615 252469881753 0 4 0 16800975 18446604453829407104 0 0 -1 2 0 0 0 [pid=17080/tid=17085] ppid=17078 vsize=10550168 CPUtime=0 cores=0,2,4,6 /proc/17080/task/17085/stat : 17085 (java) S 17078 17080 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909603010 10803372032 27530 33554432000 1073741824 1073778376 140735619923024 18446744073709551615 252469881753 0 4 0 16800975 18446604453829407104 0 0 -1 2 0 0 0 [pid=17080/tid=17086] ppid=17078 vsize=10550168 CPUtime=0 cores=0,2,4,6 /proc/17080/task/17086/stat : 17086 (java) S 17078 17080 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909603010 10803372032 27530 33554432000 1073741824 1073778376 140735619923024 18446744073709551615 252469881753 0 4 0 16800975 18446604453829407104 0 0 -1 2 0 0 0 [pid=17080/tid=17087] ppid=17078 vsize=10550168 CPUtime=0 cores=0,2,4,6 /proc/17080/task/17087/stat : 17087 (java) S 17078 17080 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909603010 10803372032 27530 33554432000 1073741824 1073778376 140735619923024 18446744073709551615 252469881753 0 4 0 16800975 18446604453829407104 0 0 -1 2 0 0 0 [pid=17080/tid=17088] ppid=17078 vsize=10550168 CPUtime=0 cores=0,2,4,6 /proc/17080/task/17088/stat : 17088 (java) S 17078 17080 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909603010 10803372032 27530 33554432000 1073741824 1073778376 140735619923024 18446744073709551615 252469881753 0 4 0 16800975 18446604453829407104 0 0 -1 2 0 0 0 [pid=17080/tid=17089] ppid=17078 vsize=10550168 CPUtime=0 cores=0,2,4,6 /proc/17080/task/17089/stat : 17089 (java) S 17078 17080 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909603010 10803372032 27530 33554432000 1073741824 1073778376 140735619923024 18446744073709551615 252469881753 0 4 0 16800975 18446604453829407104 0 0 -1 2 0 0 0 [pid=17080/tid=17090] ppid=17078 vsize=10550168 CPUtime=0 cores=0,2,4,6 /proc/17080/task/17090/stat : 17090 (java) S 17078 17080 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909603010 10803372032 27530 33554432000 1073741824 1073778376 140735619923024 18446744073709551615 252469881753 0 4 0 16800975 18446604453829407104 0 0 -1 2 0 0 0 [pid=17080/tid=17091] ppid=17078 vsize=10550168 CPUtime=0 cores=0,2,4,6 /proc/17080/task/17091/stat : 17091 (java) S 17078 17080 13385 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 19 0 909603011 10803372032 27530 33554432000 1073741824 1073778376 140735619923024 18446744073709551615 252469882368 0 0 0 16800975 18446604453829407104 0 0 -1 0 0 0 0 [pid=17080/tid=17092] ppid=17078 vsize=10550168 CPUtime=0 cores=0,2,4,6 /proc/17080/task/17092/stat : 17092 (java) S 17078 17080 13385 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 909603011 10803372032 27530 33554432000 1073741824 1073778376 140735619923024 18446744073709551615 252469881753 0 4 0 16800975 18446604453829407104 0 0 -1 2 0 0 0 [pid=17080/tid=17093] ppid=17078 vsize=10550168 CPUtime=0 cores=0,2,4,6 /proc/17080/task/17093/stat : 17093 (java) S 17078 17080 13385 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 909603011 10803372032 27530 33554432000 1073741824 1073778376 140735619923024 18446744073709551615 252469881753 0 4 0 16800975 18446604453829407104 0 0 -1 2 0 0 0 [pid=17080/tid=17094] ppid=17078 vsize=10550168 CPUtime=0 cores=0,2,4,6 /proc/17080/task/17094/stat : 17094 (java) S 17078 17080 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909603013 10803372032 27530 33554432000 1073741824 1073778376 140735619923024 18446744073709551615 252469889457 0 4 0 16800975 18446604453829407104 0 0 -1 2 0 0 0 [pid=17080/tid=17095] ppid=17078 vsize=10550168 CPUtime=0.67 cores=0,2,4,6 /proc/17080/task/17095/stat : 17095 (java) S 17078 17080 13385 0 -1 4202560 2368 0 0 0 67 0 0 0 15 0 19 0 909603013 10803372032 27530 33554432000 1073741824 1073778376 140735619923024 18446744073709551615 252469881753 0 4 0 16800975 18446604453829407104 0 0 -1 0 0 0 0 [pid=17080/tid=17096] ppid=17078 vsize=10550168 CPUtime=0.64 cores=0,2,4,6 /proc/17080/task/17096/stat : 17096 (java) S 17078 17080 13385 0 -1 4202560 3852 0 0 0 64 0 0 0 15 0 19 0 909603013 10803372032 27530 33554432000 1073741824 1073778376 140735619923024 18446744073709551615 252469881753 0 4 0 16800975 18446604453829407104 0 0 -1 2 0 0 0 [pid=17080/tid=17097] ppid=17078 vsize=10550168 CPUtime=0 cores=0,2,4,6 /proc/17080/task/17097/stat : 17097 (java) S 17078 17080 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909603013 10803372032 27530 33554432000 1073741824 1073778376 140735619923024 18446744073709551615 252469881753 0 4 0 16800975 18446604453829407104 0 0 -1 2 0 0 0 [pid=17080/tid=17098] ppid=17078 vsize=10550168 CPUtime=0 cores=0,2,4,6 /proc/17080/task/17098/stat : 17098 (java) S 17078 17080 13385 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 909603013 10803372032 27530 33554432000 1073741824 1073778376 140735619923024 18446744073709551615 252469882368 0 4 0 16800975 18446604453829407104 0 0 -1 0 0 0 0 [pid=17080/tid=17153] ppid=17078 vsize=10550168 CPUtime=0 cores=0,2,4,6 /proc/17080/task/17153/stat : 17153 (java) S 17078 17080 13385 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 19 0 909603107 10803372032 27530 33554432000 1073741824 1073778376 140735619923024 18446744073709551615 252469882368 0 4 0 16800975 18446604453829407104 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 2.88 Current children cumulated vsize (KiB) 10550168 [startup+6.30144 s] /proc/loadavg: 3.76 3.90 3.71 4/510 17238 /proc/meminfo: memFree=23828660/32951124 swapFree=56297244/67111528 [pid=17080] ppid=17078 vsize=10550168 CPUtime=7.8 cores=0,2,4,6 /proc/17080/stat : 17080 (java) S 17078 17080 13385 0 -1 4202496 90830 0 1 0 769 11 0 0 25 0 22 0 909603007 10803372032 88557 33554432000 1073741824 1073778376 140735619923024 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/17080/statm: 2637542 88557 2244 9 0 2628276 0 [pid=17080/tid=17081] ppid=17078 vsize=10550168 CPUtime=0.53 cores=0,2,4,6 /proc/17080/task/17081/stat : 17081 (java) S 17078 17080 13385 0 -1 4202560 21307 0 1 0 51 2 0 0 15 0 22 0 909603008 10803372032 88557 33554432000 1073741824 1073778376 140735619923024 18446744073709551615 252469882368 0 4 0 16800975 18446604453829407104 0 0 -1 0 0 0 0 [pid=17080/tid=17083] ppid=17078 vsize=10550168 CPUtime=0 cores=0,2,4,6 /proc/17080/task/17083/stat : 17083 (java) S 17078 17080 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909603010 10803372032 88557 33554432000 1073741824 1073778376 140735619923024 18446744073709551615 252469881753 0 4 0 16800975 18446604453829407104 0 0 -1 2 0 0 0 [pid=17080/tid=17084] ppid=17078 vsize=10550168 CPUtime=0 cores=0,2,4,6 /proc/17080/task/17084/stat : 17084 (java) S 17078 17080 13385 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 909603010 10803372032 88557 33554432000 1073741824 1073778376 140735619923024 18446744073709551615 252469881753 0 4 0 16800975 18446604453829407104 0 0 -1 2 0 0 0 [pid=17080/tid=17085] ppid=17078 vsize=10550168 CPUtime=0 cores=0,2,4,6 /proc/17080/task/17085/stat : 17085 (java) S 17078 17080 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909603010 10803372032 88557 33554432000 1073741824 1073778376 140735619923024 18446744073709551615 252469881753 0 4 0 16800975 18446604453829407104 0 0 -1 2 0 0 0 [pid=17080/tid=17086] ppid=17078 vsize=10550168 CPUtime=0 cores=0,2,4,6 /proc/17080/task/17086/stat : 17086 (java) S 17078 17080 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909603010 10803372032 88557 33554432000 1073741824 1073778376 140735619923024 18446744073709551615 252469881753 0 4 0 16800975 18446604453829407104 0 0 -1 2 0 0 0 [pid=17080/tid=17087] ppid=17078 vsize=10550168 CPUtime=0 cores=0,2,4,6 /proc/17080/task/17087/stat : 17087 (java) S 17078 17080 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909603010 10803372032 88557 33554432000 1073741824 1073778376 140735619923024 18446744073709551615 252469881753 0 4 0 16800975 18446604453829407104 0 0 -1 2 0 0 0 [pid=17080/tid=17088] ppid=17078 vsize=10550168 CPUtime=0 cores=0,2,4,6 /proc/17080/task/17088/stat : 17088 (java) S 17078 17080 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909603010 10803372032 88557 33554432000 1073741824 1073778376 140735619923024 18446744073709551615 252469881753 0 4 0 16800975 18446604453829407104 0 0 -1 2 0 0 0 [pid=17080/tid=17089] ppid=17078 vsize=10550168 CPUtime=0 cores=0,2,4,6 /proc/17080/task/17089/stat : 17089 (java) S 17078 17080 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909603010 10803372032 88557 33554432000 1073741824 1073778376 140735619923024 18446744073709551615 252469881753 0 4 0 16800975 18446604453829407104 0 0 -1 2 0 0 0 [pid=17080/tid=17090] ppid=17078 vsize=10550168 CPUtime=0 cores=0,2,4,6 /proc/17080/task/17090/stat : 17090 (java) S 17078 17080 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909603010 10803372032 88557 33554432000 1073741824 1073778376 140735619923024 18446744073709551615 252469881753 0 4 0 16800975 18446604453829407104 0 0 -1 2 0 0 0 [pid=17080/tid=17091] ppid=17078 vsize=10550168 CPUtime=0 cores=0,2,4,6 /proc/17080/task/17091/stat : 17091 (java) S 17078 17080 13385 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 22 0 909603011 10803372032 88557 33554432000 1073741824 1073778376 140735619923024 18446744073709551615 252469882368 0 0 0 16800975 18446604453829407104 0 0 -1 0 0 0 0 [pid=17080/tid=17092] ppid=17078 vsize=10550168 CPUtime=0 cores=0,2,4,6 /proc/17080/task/17092/stat : 17092 (java) S 17078 17080 13385 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 909603011 10803372032 88557 33554432000 1073741824 1073778376 140735619923024 18446744073709551615 252469881753 0 4 0 16800975 18446604453829407104 0 0 -1 2 0 0 0 [pid=17080/tid=17093] ppid=17078 vsize=10550168 CPUtime=0 cores=0,2,4,6 /proc/17080/task/17093/stat : 17093 (java) S 17078 17080 13385 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 909603011 10803372032 88557 33554432000 1073741824 1073778376 140735619923024 18446744073709551615 252469881753 0 4 0 16800975 18446604453829407104 0 0 -1 2 0 0 0 [pid=17080/tid=17094] ppid=17078 vsize=10550168 CPUtime=0 cores=0,2,4,6 /proc/17080/task/17094/stat : 17094 (java) S 17078 17080 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909603013 10803372032 88557 33554432000 1073741824 1073778376 140735619923024 18446744073709551615 252469889457 0 4 0 16800975 18446604453829407104 0 0 -1 2 0 0 0 [pid=17080/tid=17095] ppid=17078 vsize=10550168 CPUtime=0.87 cores=0,2,4,6 /proc/17080/task/17095/stat : 17095 (java) S 17078 17080 13385 0 -1 4202560 2378 0 0 0 87 0 0 0 15 0 22 0 909603013 10803372032 88557 33554432000 1073741824 1073778376 140735619923024 18446744073709551615 252469881753 0 4 0 16800975 18446604453829407104 0 0 -1 0 0 0 0 [pid=17080/tid=17096] ppid=17078 vsize=10550168 CPUtime=0.75 cores=0,2,4,6 /proc/17080/task/17096/stat : 17096 (java) S 17078 17080 13385 0 -1 4202560 3863 0 0 0 75 0 0 0 15 0 22 0 909603013 10803372032 88557 33554432000 1073741824 1073778376 140735619923024 18446744073709551615 252469881753 0 4 0 16800975 18446604453829407104 0 0 -1 2 0 0 0 ################ # More data... # ################ /proc/meminfo: memFree=16672736/32951124 swapFree=56297244/67111528 [pid=17080] ppid=17078 vsize=10550168 CPUtime=1610.94 cores=0,2,4,6 /proc/17080/stat : 17080 (java) S 17078 17080 13385 0 -1 4202496 919941 0 1 0 160986 108 0 0 25 0 22 0 909603007 10803372032 915625 33554432000 1073741824 1073778376 140735619923024 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/17080/statm: 2637542 915625 2270 9 0 2628276 0 [pid=17080/tid=17081] ppid=17078 vsize=10550168 CPUtime=0.57 cores=0,2,4,6 /proc/17080/task/17081/stat : 17081 (java) S 17078 17080 13385 0 -1 4202560 21325 0 1 0 55 2 0 0 15 0 22 0 909603008 10803372032 915625 33554432000 1073741824 1073778376 140735619923024 18446744073709551615 252469882368 0 4 0 16800975 18446604453829407104 0 0 -1 2 0 0 0 [pid=17080/tid=17083] ppid=17078 vsize=10550168 CPUtime=0.47 cores=0,2,4,6 /proc/17080/task/17083/stat : 17083 (java) S 17078 17080 13385 0 -1 4202560 3973 0 0 0 47 0 0 0 16 0 22 0 909603010 10803372032 915625 33554432000 1073741824 1073778376 140735619923024 18446744073709551615 252469881753 0 4 0 16800975 18446604453829407104 0 0 -1 6 0 0 0 [pid=17080/tid=17084] ppid=17078 vsize=10550168 CPUtime=0.49 cores=0,2,4,6 /proc/17080/task/17084/stat : 17084 (java) S 17078 17080 13385 0 -1 4202560 5068 0 0 0 48 1 0 0 15 0 22 0 909603010 10803372032 915625 33554432000 1073741824 1073778376 140735619923024 18446744073709551615 252469881753 0 4 0 16800975 18446604453829407104 0 0 -1 6 0 0 0 [pid=17080/tid=17085] ppid=17078 vsize=10550168 CPUtime=0.45 cores=0,2,4,6 /proc/17080/task/17085/stat : 17085 (java) S 17078 17080 13385 0 -1 4202560 3421 0 0 0 45 0 0 0 15 0 22 0 909603010 10803372032 915625 33554432000 1073741824 1073778376 140735619923024 18446744073709551615 252469881753 0 4 0 16800975 18446604453829407104 0 0 -1 6 0 0 0 [pid=17080/tid=17086] ppid=17078 vsize=10550168 CPUtime=0.39 cores=0,2,4,6 /proc/17080/task/17086/stat : 17086 (java) S 17078 17080 13385 0 -1 4202560 2907 0 0 0 39 0 0 0 15 0 22 0 909603010 10803372032 915625 33554432000 1073741824 1073778376 140735619923024 18446744073709551615 252469881753 0 4 0 16800975 18446604453829407104 0 0 -1 6 0 0 0 [pid=17080/tid=17087] ppid=17078 vsize=10550168 CPUtime=0.45 cores=0,2,4,6 /proc/17080/task/17087/stat : 17087 (java) S 17078 17080 13385 0 -1 4202560 2846 0 0 0 44 1 0 0 15 0 22 0 909603010 10803372032 915625 33554432000 1073741824 1073778376 140735619923024 18446744073709551615 252469881753 0 4 0 16800975 18446604453829407104 0 0 -1 4 0 0 0 [pid=17080/tid=17088] ppid=17078 vsize=10550168 CPUtime=0.51 cores=0,2,4,6 /proc/17080/task/17088/stat : 17088 (java) S 17078 17080 13385 0 -1 4202560 5588 0 0 0 51 0 0 0 15 0 22 0 909603010 10803372032 915625 33554432000 1073741824 1073778376 140735619923024 18446744073709551615 252469881753 0 4 0 16800975 18446604453829407104 0 0 -1 4 0 0 0 [pid=17080/tid=17089] ppid=17078 vsize=10550168 CPUtime=0.43 cores=0,2,4,6 /proc/17080/task/17089/stat : 17089 (java) S 17078 17080 13385 0 -1 4202560 6412 0 0 0 42 1 0 0 16 0 22 0 909603010 10803372032 915625 33554432000 1073741824 1073778376 140735619923024 18446744073709551615 252469881753 0 4 0 16800975 18446604453829407104 0 0 -1 4 0 0 0 [pid=17080/tid=17090] ppid=17078 vsize=10550168 CPUtime=0.46 cores=0,2,4,6 /proc/17080/task/17090/stat : 17090 (java) S 17078 17080 13385 0 -1 4202560 3578 0 0 0 46 0 0 0 15 0 22 0 909603010 10803372032 915625 33554432000 1073741824 1073778376 140735619923024 18446744073709551615 252469881753 0 4 0 16800975 18446604453829407104 0 0 -1 2 0 0 0 [pid=17080/tid=17091] ppid=17078 vsize=10550168 CPUtime=28.86 cores=0,2,4,6 /proc/17080/task/17091/stat : 17091 (java) S 17078 17080 13385 0 -1 4202560 21355 0 0 0 2883 3 0 0 15 0 22 0 909603011 10803372032 915625 33554432000 1073741824 1073778376 140735619923024 18446744073709551615 252469882368 0 0 0 16800975 18446604453829407104 0 0 -1 0 0 0 0 [pid=17080/tid=17092] ppid=17078 vsize=10550168 CPUtime=0 cores=0,2,4,6 /proc/17080/task/17092/stat : 17092 (java) S 17078 17080 13385 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 909603011 10803372032 915625 33554432000 1073741824 1073778376 140735619923024 18446744073709551615 252469881753 0 4 0 16800975 18446604453829407104 0 0 -1 4 0 0 0 [pid=17080/tid=17093] ppid=17078 vsize=10550168 CPUtime=0 cores=0,2,4,6 /proc/17080/task/17093/stat : 17093 (java) S 17078 17080 13385 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 22 0 909603011 10803372032 915625 33554432000 1073741824 1073778376 140735619923024 18446744073709551615 252469881753 0 4 0 16800975 18446604453829407104 0 0 -1 2 0 0 0 [pid=17080/tid=17094] ppid=17078 vsize=10550168 CPUtime=0 cores=0,2,4,6 /proc/17080/task/17094/stat : 17094 (java) S 17078 17080 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909603013 10803372032 915625 33554432000 1073741824 1073778376 140735619923024 18446744073709551615 252469889457 0 4 0 16800975 18446604453829407104 0 0 -1 2 0 0 0 [pid=17080/tid=17095] ppid=17078 vsize=10550168 CPUtime=1.04 cores=0,2,4,6 /proc/17080/task/17095/stat : 17095 (java) S 17078 17080 13385 0 -1 4202560 2405 0 0 0 104 0 0 0 15 0 22 0 909603013 10803372032 915625 33554432000 1073741824 1073778376 140735619923024 18446744073709551615 252469881753 0 4 0 16800975 18446604453829407104 0 0 -1 0 0 0 0 [pid=17080/tid=17096] ppid=17078 vsize=10550168 CPUtime=1.07 cores=0,2,4,6 /proc/17080/task/17096/stat : 17096 (java) S 17078 17080 13385 0 -1 4202560 3911 0 0 0 107 0 0 0 15 0 22 0 909603013 10803372032 915625 33554432000 1073741824 1073778376 140735619923024 18446744073709551615 252469881753 0 4 0 16800975 18446604453829407104 0 0 -1 2 0 0 0 [pid=17080/tid=17097] ppid=17078 vsize=10550168 CPUtime=0 cores=0,2,4,6 /proc/17080/task/17097/stat : 17097 (java) S 17078 17080 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909603013 10803372032 915625 33554432000 1073741824 1073778376 140735619923024 18446744073709551615 252469881753 0 4 0 16800975 18446604453829407104 0 0 -1 2 0 0 0 [pid=17080/tid=17098] ppid=17078 vsize=10550168 CPUtime=0 cores=0,2,4,6 /proc/17080/task/17098/stat : 17098 (java) S 17078 17080 13385 0 -1 4202560 48 0 0 0 0 0 0 0 15 0 22 0 909603013 10803372032 915625 33554432000 1073741824 1073778376 140735619923024 18446744073709551615 252469882368 0 4 0 16800975 18446604453829407104 0 0 -1 2 0 0 0 [pid=17080/tid=17251] ppid=17078 vsize=10550168 CPUtime=0 cores=0,2,4,6 /proc/17080/task/17251/stat : 17251 (java) S 17078 17080 13385 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 909604585 10803372032 915625 33554432000 1073741824 1073778376 140735619923024 18446744073709551615 252469882368 0 4 0 16800975 18446604453829407104 0 0 -1 6 0 0 0 [pid=17080/tid=17284] ppid=17078 vsize=10550168 CPUtime=133.4 cores=0,2,4,6 /proc/17080/task/17284/stat : 17284 (java) R 17078 17080 13385 0 -1 4202560 20 0 0 0 13340 0 0 0 25 0 22 0 909671122 10803372032 915625 33554432000 1073741824 1073778376 140735619923024 18446744073709551615 46912505637344 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=17080/tid=17285] ppid=17078 vsize=10550168 CPUtime=133.4 cores=0,2,4,6 /proc/17080/task/17285/stat : 17285 (java) R 17078 17080 13385 0 -1 4202560 13 0 0 0 13340 0 0 0 25 0 22 0 909671122 10803372032 915625 33554432000 1073741824 1073778376 140735619923024 18446744073709551615 46912505880227 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=17080/tid=17286] ppid=17078 vsize=10550168 CPUtime=0 cores=0,2,4,6 /proc/17080/task/17286/stat : 17286 (java) S 17078 17080 13385 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 909671122 10803372032 915625 33554432000 1073741824 1073778376 140735619923024 18446744073709551615 252469882368 0 4 0 16800975 18446604453829407104 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 1610.94 Current children cumulated vsize (KiB) 10550168 [startup+882.302 s] /proc/loadavg: 4.07 3.96 3.84 5/512 17292 /proc/meminfo: memFree=16654092/32951124 swapFree=56297244/67111528 [pid=17080] ppid=17078 vsize=10550168 CPUtime=1727.3 cores=0,2,4,6 /proc/17080/stat : 17080 (java) S 17078 17080 13385 0 -1 4202496 921317 0 1 0 172621 109 0 0 25 0 22 0 909603007 10803372032 916948 33554432000 1073741824 1073778376 140735619923024 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/17080/statm: 2637542 916948 2270 9 0 2628276 0 [pid=17080/tid=17081] ppid=17078 vsize=10550168 CPUtime=0.57 cores=0,2,4,6 /proc/17080/task/17081/stat : 17081 (java) S 17078 17080 13385 0 -1 4202560 21328 0 1 0 55 2 0 0 15 0 22 0 909603008 10803372032 916948 33554432000 1073741824 1073778376 140735619923024 18446744073709551615 252469882368 0 4 0 16800975 18446604453829407104 0 0 -1 2 0 0 0 [pid=17080/tid=17083] ppid=17078 vsize=10550168 CPUtime=0.53 cores=0,2,4,6 /proc/17080/task/17083/stat : 17083 (java) S 17078 17080 13385 0 -1 4202560 4163 0 0 0 53 0 0 0 15 0 22 0 909603010 10803372032 916948 33554432000 1073741824 1073778376 140735619923024 18446744073709551615 252469881753 0 4 0 16800975 18446604453829407104 0 0 -1 2 0 0 0 [pid=17080/tid=17084] ppid=17078 vsize=10550168 CPUtime=0.53 cores=0,2,4,6 /proc/17080/task/17084/stat : 17084 (java) S 17078 17080 13385 0 -1 4202560 5548 0 0 0 52 1 0 0 15 0 22 0 909603010 10803372032 916948 33554432000 1073741824 1073778376 140735619923024 18446744073709551615 252469881753 0 4 0 16800975 18446604453829407104 0 0 -1 0 0 0 0 [pid=17080/tid=17085] ppid=17078 vsize=10550168 CPUtime=0.5 cores=0,2,4,6 /proc/17080/task/17085/stat : 17085 (java) S 17078 17080 13385 0 -1 4202560 3564 0 0 0 50 0 0 0 15 0 22 0 909603010 10803372032 916948 33554432000 1073741824 1073778376 140735619923024 18446744073709551615 252469881753 0 4 0 16800975 18446604453829407104 0 0 -1 2 0 0 0 [pid=17080/tid=17086] ppid=17078 vsize=10550168 CPUtime=0.43 cores=0,2,4,6 /proc/17080/task/17086/stat : 17086 (java) S 17078 17080 13385 0 -1 4202560 2987 0 0 0 43 0 0 0 16 0 22 0 909603010 10803372032 916948 33554432000 1073741824 1073778376 140735619923024 18446744073709551615 252469881753 0 4 0 16800975 18446604453829407104 0 0 -1 6 0 0 0 [pid=17080/tid=17087] ppid=17078 vsize=10550168 CPUtime=0.51 cores=0,2,4,6 /proc/17080/task/17087/stat : 17087 (java) S 17078 17080 13385 0 -1 4202560 2932 0 0 0 50 1 0 0 16 0 22 0 909603010 10803372032 916948 33554432000 1073741824 1073778376 140735619923024 18446744073709551615 252469881753 0 4 0 16800975 18446604453829407104 0 0 -1 0 0 0 0 [pid=17080/tid=17088] ppid=17078 vsize=10550168 CPUtime=0.53 cores=0,2,4,6 /proc/17080/task/17088/stat : 17088 (java) S 17078 17080 13385 0 -1 4202560 5659 0 0 0 53 0 0 0 15 0 22 0 909603010 10803372032 916948 33554432000 1073741824 1073778376 140735619923024 18446744073709551615 252469881753 0 4 0 16800975 18446604453829407104 0 0 -1 2 0 0 0 [pid=17080/tid=17089] ppid=17078 vsize=10550168 CPUtime=0.5 cores=0,2,4,6 /proc/17080/task/17089/stat : 17089 (java) S 17078 17080 13385 0 -1 4202560 6620 0 0 0 49 1 0 0 16 0 22 0 909603010 10803372032 916948 33554432000 1073741824 1073778376 140735619923024 18446744073709551615 252469881753 0 4 0 16800975 18446604453829407104 0 0 -1 2 0 0 0 [pid=17080/tid=17090] ppid=17078 vsize=10550168 CPUtime=0.5 cores=0,2,4,6 /proc/17080/task/17090/stat : 17090 (java) S 17078 17080 13385 0 -1 4202560 3578 0 0 0 50 0 0 0 16 0 22 0 909603010 10803372032 916948 33554432000 1073741824 1073778376 140735619923024 18446744073709551615 252469881753 0 4 0 16800975 18446604453829407104 0 0 -1 0 0 0 0 [pid=17080/tid=17091] ppid=17078 vsize=10550168 CPUtime=32.66 cores=0,2,4,6 /proc/17080/task/17091/stat : 17091 (java) S 17078 17080 13385 0 -1 4202560 21451 0 0 0 3262 4 0 0 15 0 22 0 909603011 10803372032 916948 33554432000 1073741824 1073778376 140735619923024 18446744073709551615 252469882368 0 0 0 16800975 18446604453829407104 0 0 -1 4 0 0 0 [pid=17080/tid=17092] ppid=17078 vsize=10550168 CPUtime=0 cores=0,2,4,6 /proc/17080/task/17092/stat : 17092 (java) S 17078 17080 13385 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 909603011 10803372032 916948 33554432000 1073741824 1073778376 140735619923024 18446744073709551615 252469881753 0 4 0 16800975 18446604453829407104 0 0 -1 4 0 0 0 [pid=17080/tid=17093] ppid=17078 vsize=10550168 CPUtime=0 cores=0,2,4,6 /proc/17080/task/17093/stat : 17093 (java) S 17078 17080 13385 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 22 0 909603011 10803372032 916948 33554432000 1073741824 1073778376 140735619923024 18446744073709551615 252469881753 0 4 0 16800975 18446604453829407104 0 0 -1 2 0 0 0 [pid=17080/tid=17094] ppid=17078 vsize=10550168 CPUtime=0 cores=0,2,4,6 /proc/17080/task/17094/stat : 17094 (java) S 17078 17080 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909603013 10803372032 916948 33554432000 1073741824 1073778376 140735619923024 18446744073709551615 252469889457 0 4 0 16800975 18446604453829407104 0 0 -1 2 0 0 0 [pid=17080/tid=17095] ppid=17078 vsize=10550168 CPUtime=1.04 cores=0,2,4,6 /proc/17080/task/17095/stat : 17095 (java) S 17078 17080 13385 0 -1 4202560 2405 0 0 0 104 0 0 0 15 0 22 0 909603013 10803372032 916948 33554432000 1073741824 1073778376 140735619923024 18446744073709551615 252469881753 0 4 0 16800975 18446604453829407104 0 0 -1 0 0 0 0 [pid=17080/tid=17096] ppid=17078 vsize=10550168 CPUtime=1.07 cores=0,2,4,6 /proc/17080/task/17096/stat : 17096 (java) S 17078 17080 13385 0 -1 4202560 3912 0 0 0 107 0 0 0 15 0 22 0 909603013 10803372032 916948 33554432000 1073741824 1073778376 140735619923024 18446744073709551615 252469881753 0 4 0 16800975 18446604453829407104 0 0 -1 2 0 0 0 [pid=17080/tid=17097] ppid=17078 vsize=10550168 CPUtime=0 cores=0,2,4,6 /proc/17080/task/17097/stat : 17097 (java) S 17078 17080 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909603013 10803372032 916948 33554432000 1073741824 1073778376 140735619923024 18446744073709551615 252469881753 0 4 0 16800975 18446604453829407104 0 0 -1 2 0 0 0 [pid=17080/tid=17098] ppid=17078 vsize=10550168 CPUtime=0 cores=0,2,4,6 /proc/17080/task/17098/stat : 17098 (java) S 17078 17080 13385 0 -1 4202560 52 0 0 0 0 0 0 0 15 0 22 0 909603013 10803372032 916948 33554432000 1073741824 1073778376 140735619923024 18446744073709551615 252469882368 0 4 0 16800975 18446604453829407104 0 0 -1 2 0 0 0 [pid=17080/tid=17251] ppid=17078 vsize=10550168 CPUtime=0 cores=0,2,4,6 /proc/17080/task/17251/stat : 17251 (java) S 17078 17080 13385 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 909604585 10803372032 916948 33554432000 1073741824 1073778376 140735619923024 18446744073709551615 252469882368 0 4 0 16800975 18446604453829407104 0 0 -1 6 0 0 0 [pid=17080/tid=17284] ppid=17078 vsize=10550168 CPUtime=189.49 cores=0,2,4,6 /proc/17080/task/17284/stat : 17284 (java) R 17078 17080 13385 0 -1 4202560 34 0 0 0 18949 0 0 0 25 0 22 0 909671122 10803372032 916948 33554432000 1073741824 1073778376 140735619923024 18446744073709551615 46912505711853 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=17080/tid=17285] ppid=17078 vsize=10550168 CPUtime=189.48 cores=0,2,4,6 /proc/17080/task/17285/stat : 17285 (java) R 17078 17080 13385 0 -1 4202560 13 0 0 0 18948 0 0 0 25 0 22 0 909671122 10803372032 916948 33554432000 1073741824 1073778376 140735619923024 18446744073709551615 46912505888852 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=17080/tid=17286] ppid=17078 vsize=10550168 CPUtime=0 cores=0,2,4,6 /proc/17080/task/17286/stat : 17286 (java) S 17078 17080 13385 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 909671122 10803372032 916948 33554432000 1073741824 1073778376 140735619923024 18446744073709551615 252469882368 0 4 0 16800975 18446604453829407104 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 1727.3 Current children cumulated vsize (KiB) 10550168 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+919.901 s] /proc/loadavg: 3.88 3.93 3.83 3/485 17313 /proc/meminfo: memFree=20410308/32951124 swapFree=56297244/67111528 [pid=17080] ppid=17078 vsize=10550168 CPUtime=1800.11 cores=0,2,4,6 /proc/17080/stat : 17080 (java) S 17078 17080 13385 0 -1 4202496 922842 0 1 0 179902 109 0 0 25 0 22 0 909603007 10803372032 918431 33554432000 1073741824 1073778376 140735619923024 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/17080/statm: 2637542 918431 2270 9 0 2628276 0 [pid=17080/tid=17081] ppid=17078 vsize=10550168 CPUtime=0.57 cores=0,2,4,6 /proc/17080/task/17081/stat : 17081 (java) S 17078 17080 13385 0 -1 4202560 21328 0 1 0 55 2 0 0 15 0 22 0 909603008 10803372032 918431 33554432000 1073741824 1073778376 140735619923024 18446744073709551615 252469882368 0 4 0 16800975 18446604453829407104 0 0 -1 2 0 0 0 [pid=17080/tid=17083] ppid=17078 vsize=10550168 CPUtime=0.55 cores=0,2,4,6 /proc/17080/task/17083/stat : 17083 (java) S 17078 17080 13385 0 -1 4202560 4366 0 0 0 55 0 0 0 15 0 22 0 909603010 10803372032 918431 33554432000 1073741824 1073778376 140735619923024 18446744073709551615 252469881753 0 4 0 16800975 18446604453829407104 0 0 -1 0 0 0 0 [pid=17080/tid=17084] ppid=17078 vsize=10550168 CPUtime=0.55 cores=0,2,4,6 /proc/17080/task/17084/stat : 17084 (java) S 17078 17080 13385 0 -1 4202560 5777 0 0 0 54 1 0 0 15 0 22 0 909603010 10803372032 918431 33554432000 1073741824 1073778376 140735619923024 18446744073709551615 252469881753 0 4 0 16800975 18446604453829407104 0 0 -1 6 0 0 0 [pid=17080/tid=17085] ppid=17078 vsize=10550168 CPUtime=0.51 cores=0,2,4,6 /proc/17080/task/17085/stat : 17085 (java) S 17078 17080 13385 0 -1 4202560 3564 0 0 0 51 0 0 0 15 0 22 0 909603010 10803372032 918431 33554432000 1073741824 1073778376 140735619923024 18446744073709551615 252469881753 0 4 0 16800975 18446604453829407104 0 0 -1 2 0 0 0 [pid=17080/tid=17086] ppid=17078 vsize=10550168 CPUtime=0.47 cores=0,2,4,6 /proc/17080/task/17086/stat : 17086 (java) S 17078 17080 13385 0 -1 4202560 3273 0 0 0 47 0 0 0 16 0 22 0 909603010 10803372032 918431 33554432000 1073741824 1073778376 140735619923024 18446744073709551615 252469881753 0 4 0 16800975 18446604453829407104 0 0 -1 6 0 0 0 [pid=17080/tid=17087] ppid=17078 vsize=10550168 CPUtime=0.54 cores=0,2,4,6 /proc/17080/task/17087/stat : 17087 (java) S 17078 17080 13385 0 -1 4202560 2945 0 0 0 53 1 0 0 15 0 22 0 909603010 10803372032 918431 33554432000 1073741824 1073778376 140735619923024 18446744073709551615 252469881753 0 4 0 16800975 18446604453829407104 0 0 -1 0 0 0 0 [pid=17080/tid=17088] ppid=17078 vsize=10550168 CPUtime=0.57 cores=0,2,4,6 /proc/17080/task/17088/stat : 17088 (java) S 17078 17080 13385 0 -1 4202560 5760 0 0 0 57 0 0 0 16 0 22 0 909603010 10803372032 918431 33554432000 1073741824 1073778376 140735619923024 18446744073709551615 252469881753 0 4 0 16800975 18446604453829407104 0 0 -1 6 0 0 0 [pid=17080/tid=17089] ppid=17078 vsize=10550168 CPUtime=0.53 cores=0,2,4,6 /proc/17080/task/17089/stat : 17089 (java) S 17078 17080 13385 0 -1 4202560 6898 0 0 0 52 1 0 0 15 0 22 0 909603010 10803372032 918431 33554432000 1073741824 1073778376 140735619923024 18446744073709551615 252469881753 0 4 0 16800975 18446604453829407104 0 0 -1 0 0 0 0 [pid=17080/tid=17090] ppid=17078 vsize=10550168 CPUtime=0.52 cores=0,2,4,6 /proc/17080/task/17090/stat : 17090 (java) S 17078 17080 13385 0 -1 4202560 3808 0 0 0 52 0 0 0 16 0 22 0 909603010 10803372032 918431 33554432000 1073741824 1073778376 140735619923024 18446744073709551615 252469881753 0 4 0 16800975 18446604453829407104 0 0 -1 2 0 0 0 [pid=17080/tid=17091] ppid=17078 vsize=10550168 CPUtime=35.13 cores=0,2,4,6 /proc/17080/task/17091/stat : 17091 (java) S 17078 17080 13385 0 -1 4202560 21625 0 0 0 3509 4 0 0 15 0 22 0 909603011 10803372032 918431 33554432000 1073741824 1073778376 140735619923024 18446744073709551615 252469882368 0 0 0 16800975 18446604453829407104 0 0 -1 4 0 0 0 [pid=17080/tid=17092] ppid=17078 vsize=10550168 CPUtime=0 cores=0,2,4,6 /proc/17080/task/17092/stat : 17092 (java) S 17078 17080 13385 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 909603011 10803372032 918431 33554432000 1073741824 1073778376 140735619923024 18446744073709551615 252469881753 0 4 0 16800975 18446604453829407104 0 0 -1 4 0 0 0 [pid=17080/tid=17093] ppid=17078 vsize=10550168 CPUtime=0 cores=0,2,4,6 /proc/17080/task/17093/stat : 17093 (java) S 17078 17080 13385 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 22 0 909603011 10803372032 918431 33554432000 1073741824 1073778376 140735619923024 18446744073709551615 252469881753 0 4 0 16800975 18446604453829407104 0 0 -1 2 0 0 0 [pid=17080/tid=17094] ppid=17078 vsize=10550168 CPUtime=0 cores=0,2,4,6 /proc/17080/task/17094/stat : 17094 (java) S 17078 17080 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909603013 10803372032 918431 33554432000 1073741824 1073778376 140735619923024 18446744073709551615 252469889457 0 4 0 16800975 18446604453829407104 0 0 -1 2 0 0 0 [pid=17080/tid=17095] ppid=17078 vsize=10550168 CPUtime=1.04 cores=0,2,4,6 /proc/17080/task/17095/stat : 17095 (java) S 17078 17080 13385 0 -1 4202560 2405 0 0 0 104 0 0 0 15 0 22 0 909603013 10803372032 918431 33554432000 1073741824 1073778376 140735619923024 18446744073709551615 252469881753 0 4 0 16800975 18446604453829407104 0 0 -1 0 0 0 0 [pid=17080/tid=17096] ppid=17078 vsize=10550168 CPUtime=1.07 cores=0,2,4,6 /proc/17080/task/17096/stat : 17096 (java) S 17078 17080 13385 0 -1 4202560 3912 0 0 0 107 0 0 0 15 0 22 0 909603013 10803372032 918431 33554432000 1073741824 1073778376 140735619923024 18446744073709551615 252469881753 0 4 0 16800975 18446604453829407104 0 0 -1 2 0 0 0 [pid=17080/tid=17097] ppid=17078 vsize=10550168 CPUtime=0 cores=0,2,4,6 /proc/17080/task/17097/stat : 17097 (java) S 17078 17080 13385 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909603013 10803372032 918431 33554432000 1073741824 1073778376 140735619923024 18446744073709551615 252469881753 0 4 0 16800975 18446604453829407104 0 0 -1 2 0 0 0 [pid=17080/tid=17098] ppid=17078 vsize=10550168 CPUtime=0 cores=0,2,4,6 /proc/17080/task/17098/stat : 17098 (java) S 17078 17080 13385 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 22 0 909603013 10803372032 918431 33554432000 1073741824 1073778376 140735619923024 18446744073709551615 252469882368 0 4 0 16800975 18446604453829407104 0 0 -1 2 0 0 0 [pid=17080/tid=17251] ppid=17078 vsize=10550168 CPUtime=0 cores=0,2,4,6 /proc/17080/task/17251/stat : 17251 (java) S 17078 17080 13385 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 909604585 10803372032 918431 33554432000 1073741824 1073778376 140735619923024 18446744073709551615 252469882368 0 4 0 16800975 18446604453829407104 0 0 -1 6 0 0 0 [pid=17080/tid=17284] ppid=17078 vsize=10550168 CPUtime=224.57 cores=0,2,4,6 /proc/17080/task/17284/stat : 17284 (java) R 17078 17080 13385 0 -1 4202560 41 0 0 0 22457 0 0 0 25 0 22 0 909671122 10803372032 918431 33554432000 1073741824 1073778376 140735619923024 18446744073709551615 46912505637200 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=17080/tid=17285] ppid=17078 vsize=10550168 CPUtime=224.55 cores=0,2,4,6 /proc/17080/task/17285/stat : 17285 (java) R 17078 17080 13385 0 -1 4202560 15 0 0 0 22455 0 0 0 25 0 22 0 909671122 10803372032 918431 33554432000 1073741824 1073778376 140735619923024 18446744073709551615 46912505620947 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=17080/tid=17286] ppid=17078 vsize=10550168 CPUtime=0 cores=0,2,4,6 /proc/17080/task/17286/stat : 17286 (java) S 17078 17080 13385 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 909671122 10803372032 918431 33554432000 1073741824 1073778376 140735619923024 18446744073709551615 252469882368 0 4 0 16800975 18446604453829407104 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 1800.11 Current children cumulated vsize (KiB) 10550168 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+920.024 s] /proc/loadavg: 3.88 3.93 3.83 3/485 17313 /proc/meminfo: memFree=20410308/32951124 swapFree=56297244/67111528 [pid=17080] ppid=17078 vsize=0 CPUtime=1800.3 cores=0,2,4,6 /proc/17080/stat : 17080 (java) Z 17078 17080 13385 0 -1 4203548 922873 0 1 0 179913 117 0 0 17 0 2 0 909603007 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/17080/statm: 0 0 0 0 0 0 0 [pid=17080/tid=17285] ppid=17078 vsize=0 CPUtime=224.65 cores=0,2,4,6 /proc/17080/task/17285/stat : 17285 (java) R 17078 17080 13385 0 -1 4203588 15 0 0 0 22458 7 0 0 25 0 2 0 909671122 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 1800.3 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 920.09 CPU time (s): 1800.38 CPU user time (s): 1799.14 CPU system time (s): 1.23881 CPU usage (%): 195.674 Max. virtual memory (cumulated for all children) (KiB): 10550168 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.14 system time used= 1.23881 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 922873 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 28427 involuntary context switches= 16740 runsolver used 4.65329 second user time and 9.60154 second system time The end
Begin job on node111 at 2011-06-04 15:22:05 IDJOB=3454150 IDBENCH=25036 IDSOLVER=1950 FILE ID=node111/3454150-1307193725 RUNJOBID= node111-1307192822-16910 PBS_JOBID= 13508842 Free space on /tmp= 73864 MiB SOLVER NAME= Sat4j Res//CP 2.3.0 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_opers/normalized-fir05_area_opers.opb COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3454150-1307193725/watcher-3454150-1307193725 -o /tmp/evaluation-result-3454150-1307193725/solver-3454150-1307193725 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454150-1307193725.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= fb30dc68ef00299e3d850b79fb8a2728 RANDOM SEED=1156715109 node111.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.849 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.849 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5428.12 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.849 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.849 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.86 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.849 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.849 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.849 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.67 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.849 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 24076932 kB Buffers: 329428 kB Cached: 868880 kB SwapCached: 11784 kB Active: 7800980 kB Inactive: 795080 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 24076932 kB SwapTotal: 67111528 kB SwapFree: 56297244 kB Dirty: 872 kB Writeback: 0 kB AnonPages: 7395060 kB Mapped: 27868 kB Slab: 143928 kB PageTables: 65868 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 149096176 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73868 MiB End job on node111 at 2011-06-04 15:37:27