Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB10: SAT4J PB RES // CP 2.2.0 2010-05-31 | SAT | 1398.93 | 719.946 |
Name | /DEC-SMALLINT-LIN/sroussel/ShortestPathBA/ normalized-BeauxArts_K68.opb |
MD5SUM | 506a6fce450974b6f48fc0e3b77d8777 |
Bench Category | DEC-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 15.9726 |
Has Objective Function | NO |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 3740 |
Total number of constraints | 3878 |
Number of constraints which are clauses | 3810 |
Number of constraints which are cardinality constraints (but not clauses) | 68 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 68 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 69 |
Number of bits of the biggest sum of numbers | 7 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.00/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.08 c See www.sat4j.org for details. 0.00/0.08 c version 2.2.0.v20100531 0.00/0.08 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.08 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.08 c java.vm.version 19.1-b02 0.00/0.08 c java.vm.vendor Sun Microsystems Inc. 0.00/0.08 c sun.arch.data.model 64 0.00/0.08 c java.version 1.6.0_24 0.00/0.08 c os.name Linux 0.00/0.08 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.08 c os.arch amd64 0.00/0.08 c Free memory 1349517296 0.00/0.08 c Max memory 1356595200 0.00/0.08 c Total memory 1356595200 0.00/0.08 c Number of processors 8 0.09/0.11 c Pseudo Boolean Optimization 0.09/0.11 c ManyCore solver with 2 solvers running in parallel 0.09/0.11 c --- Begin Solver configuration --- 0.09/0.11 c Stops conflict analysis at the first Unique Implication Point 0.09/0.11 c org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure@5495fd19 0.09/0.11 c Learn all clauses as in MiniSAT 0.09/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.09/0.11 c Expensive reason simplification 0.09/0.11 c Armin Biere (Picosat) restarts strategy 0.09/0.11 c Glucose learned constraints deletion strategy 0.09/0.11 c timeout=2147483s 0.09/0.11 c DB Simplification allowed=false 0.09/0.11 c --- End Solver configuration --- 0.09/0.11 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.09/0.11 c --- Begin Solver configuration --- 0.09/0.11 c Stops conflict analysis at the first Unique Implication Point 0.09/0.11 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@ae94e92 0.09/0.11 c Learn all clauses as in MiniSAT 0.09/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.11 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.09/0.11 c No reason simplification 0.09/0.11 c Armin Biere (Picosat) restarts strategy 0.09/0.11 c Glucose learned constraints deletion strategy 0.09/0.11 c timeout=2147483s 0.09/0.11 c DB Simplification allowed=false 0.09/0.11 c --- End Solver configuration --- 0.09/0.11 0.09/0.11 c solving HOME/instance-3742769-1338788198.opb 0.09/0.11 c reading problem ... 0.54/0.37 c ... done. Wall clock time 0.257s. 0.54/0.37 c #vars 3740 0.54/0.37 c #constraints 3878 0.54/0.37 c constraints type 0.54/0.37 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3138 0.54/0.37 c org.sat4j.minisat.constraints.card.MinWatchCard => 68 0.54/0.37 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 670 0.54/0.37 c constraints type 0.54/0.37 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 670 0.54/0.37 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 3138 0.54/0.37 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 68 3.84/1.45 c cleaning 2479 clauses out of 4980 with flag 5000/5000 6.36/2.62 c cleaning 4232 clauses out of 8489 with flag 11000/11000 9.48/4.15 c cleaning 5579 clauses out of 11248 with flag 18000/18000 13.49/6.14 c cleaning 6791 clauses out of 13662 with flag 26000/26000 18.73/8.75 c cleaning 7891 clauses out of 15867 with flag 35000/35000 24.47/11.67 c cleaning 8849 clauses out of 17975 with flag 45000/45000 30.28/14.59 c cleaning 9453 clauses out of 19127 with flag 55001/55001 35.68/17.25 c cleaning 9703 clauses out of 19670 with flag 65001/65001 41.39/20.18 c cleaning 9850 clauses out of 19967 with flag 75002/75002 47.57/23.25 c cleaning 9932 clauses out of 20111 with flag 85001/85001 53.76/26.38 c cleaning 9917 clauses out of 20176 with flag 95000/95000 60.53/29.78 c cleaning 10055 clauses out of 20260 with flag 105001/105001 67.48/33.28 c cleaning 9949 clauses out of 20204 with flag 115001/115001 76.46/37.72 c cleaning 9938 clauses out of 20253 with flag 125000/125000 83.01/41.03 c cleaning 10031 clauses out of 20313 with flag 135000/135000 91.20/45.12 c cleaning 10089 clauses out of 20282 with flag 145000/145000 96.87/48.05 c cleaning 10005 clauses out of 20193 with flag 155001/155001 105.02/52.10 c cleaning 9906 clauses out of 20190 with flag 165003/165003 112.18/55.76 c cleaning 10014 clauses out of 20279 with flag 175000/175000 121.72/60.52 c cleaning 9987 clauses out of 20265 with flag 185000/185000 130.19/64.84 c cleaning 10022 clauses out of 20280 with flag 195002/195002 137.51/68.52 c cleaning 10120 clauses out of 20261 with flag 205005/205005 143.83/71.79 c cleaning 9891 clauses out of 20138 with flag 215002/215002 150.36/75.02 c cleaning 10014 clauses out of 20245 with flag 225001/225001 156.82/78.33 c cleaning 10044 clauses out of 20229 with flag 235000/235000 164.35/82.16 c cleaning 9846 clauses out of 20185 with flag 245000/245000 171.69/85.80 c cleaning 9823 clauses out of 20341 with flag 255002/255002 179.39/89.71 c cleaning 9698 clauses out of 20523 with flag 265007/265007 186.42/93.35 c cleaning 9725 clauses out of 20818 with flag 275001/275001 194.53/97.44 c cleaning 9802 clauses out of 21095 with flag 285004/285004 202.09/101.26 c cleaning 9613 clauses out of 21289 with flag 295003/295003 209.96/105.27 c cleaning 9853 clauses out of 21673 with flag 305002/305002 216.56/108.68 c cleaning 9680 clauses out of 21820 with flag 315002/315002 226.47/113.63 c cleaning 9564 clauses out of 22138 with flag 325000/325000 234.76/117.85 c cleaning 9670 clauses out of 22575 with flag 335003/335003 242.06/121.54 c cleaning 9790 clauses out of 22901 with flag 345000/345000 249.26/125.21 c cleaning 9675 clauses out of 23111 with flag 355000/355000 257.37/129.35 c cleaning 9700 clauses out of 23436 with flag 365000/365000 264.26/132.81 c cleaning 9852 clauses out of 23738 with flag 375002/375002 270.14/135.84 c cleaning 9632 clauses out of 23884 with flag 385000/385000 277.34/139.55 c cleaning 9786 clauses out of 24252 with flag 395000/395000 284.62/143.23 c cleaning 9701 clauses out of 24468 with flag 405003/405003 291.89/146.96 c cleaning 9639 clauses out of 24763 with flag 415000/415000 298.58/150.30 c cleaning 9856 clauses out of 25124 with flag 425000/425000 308.16/155.29 c cleaning 9726 clauses out of 25268 with flag 435000/435000 316.03/159.28 c cleaning 9685 clauses out of 25545 with flag 445003/445003 323.49/163.05 c cleaning 9820 clauses out of 25857 with flag 455000/455000 331.34/167.09 c cleaning 9747 clauses out of 26037 with flag 465000/465000 337.86/170.42 c cleaning 9704 clauses out of 26291 with flag 475001/475001 344.72/173.94 c cleaning 9715 clauses out of 26588 with flag 485002/485002 352.57/177.93 c cleaning 9660 clauses out of 26871 with flag 495000/495000 360.81/182.13 c cleaning 9640 clauses out of 27211 with flag 505000/505000 367.35/185.54 c cleaning 9724 clauses out of 27569 with flag 515001/515001 375.83/189.82 c cleaning 9785 clauses out of 27843 with flag 525000/525000 384.12/194.08 c cleaning 9835 clauses out of 28060 with flag 535002/535002 392.38/198.28 c cleaning 9810 clauses out of 28223 with flag 545000/545000 399.30/201.84 c cleaning 9626 clauses out of 28413 with flag 555000/555000 410.58/207.51 c cleaning 9915 clauses out of 28788 with flag 565001/565001 418.41/211.53 c cleaning 9718 clauses out of 28872 with flag 575000/575000 427.86/216.31 c cleaning 9915 clauses out of 29154 with flag 585000/585000 436.00/220.52 c cleaning 9791 clauses out of 29239 with flag 595000/595000 444.46/224.86 c cleaning 9695 clauses out of 29448 with flag 605000/605000 453.87/229.68 c cleaning 9658 clauses out of 29753 with flag 615000/615000 461.49/233.60 c cleaning 9764 clauses out of 30096 with flag 625001/625001 469.98/237.99 c cleaning 9664 clauses out of 30331 with flag 635000/635000 478.00/242.06 c cleaning 9908 clauses out of 30669 with flag 645002/645002 486.99/246.61 c cleaning 9887 clauses out of 30759 with flag 655000/655000 495.39/250.92 c cleaning 9768 clauses out of 30872 with flag 665001/665001 503.47/255.15 c cleaning 9870 clauses out of 31103 with flag 675000/675000 510.88/258.98 c cleaning 9803 clauses out of 31234 with flag 685001/685001 519.70/263.40 c cleaning 9789 clauses out of 31430 with flag 695000/695000 527.88/267.68 c cleaning 9808 clauses out of 31647 with flag 705006/705006 536.37/272.04 c cleaning 9852 clauses out of 31834 with flag 715001/715001 537.35/272.70 c cleaning 0 clauses out of 5000 with flag 0/5000 545.58/276.76 c cleaning 9826 clauses out of 31981 with flag 725000/725000 553.02/280.45 c cleaning 9931 clauses out of 32156 with flag 735001/735001 562.48/285.35 c cleaning 9732 clauses out of 32224 with flag 745000/745000 572.51/290.44 c cleaning 9798 clauses out of 32497 with flag 755005/755005 579.89/294.21 c cleaning 9719 clauses out of 32693 with flag 765000/765000 588.73/298.77 c cleaning 9792 clauses out of 32976 with flag 775002/775002 597.36/303.24 c cleaning 9825 clauses out of 33182 with flag 785000/785000 606.37/307.86 c cleaning 9779 clauses out of 33358 with flag 795004/795004 616.39/312.93 c cleaning 9626 clauses out of 33575 with flag 805001/805001 626.21/317.95 c cleaning 9653 clauses out of 33952 with flag 815004/815004 634.82/322.49 c cleaning 9846 clauses out of 34295 with flag 825000/825000 643.80/327.03 c cleaning 9785 clauses out of 34450 with flag 835001/835001 652.18/331.30 c cleaning 9747 clauses out of 34664 with flag 845000/845000 659.72/335.28 c cleaning 9723 clauses out of 34919 with flag 855002/855002 668.77/339.93 c cleaning 9691 clauses out of 35196 with flag 865002/865002 677.54/344.41 c cleaning 9755 clauses out of 35503 with flag 875000/875000 685.72/348.61 c cleaning 9705 clauses out of 35749 with flag 885001/885001 693.69/352.79 c cleaning 9863 clauses out of 36043 with flag 895000/895000 701.89/357.04 c cleaning 9850 clauses out of 36181 with flag 905001/905001 710.46/361.44 c cleaning 9845 clauses out of 36331 with flag 915001/915001 718.65/365.66 c cleaning 9829 clauses out of 36487 with flag 925002/925002 726.41/369.66 c cleaning 9888 clauses out of 36657 with flag 935001/935001 734.20/373.73 c cleaning 9743 clauses out of 36770 with flag 945002/945002 742.14/377.89 c cleaning 9803 clauses out of 37024 with flag 955000/955000 752.10/382.92 c cleaning 9796 clauses out of 37223 with flag 965002/965002 760.12/387.10 c cleaning 9761 clauses out of 37427 with flag 975002/975002 768.06/391.25 c cleaning 9779 clauses out of 37664 with flag 985000/985000 777.43/396.09 c cleaning 9816 clauses out of 37885 with flag 995000/995000 786.36/400.69 c cleaning 9708 clauses out of 38069 with flag 1005000/1005000 794.99/405.04 c cleaning 9835 clauses out of 38365 with flag 1015004/1015004 803.10/409.38 c cleaning 9878 clauses out of 38526 with flag 1025000/1025000 811.66/413.78 c cleaning 9769 clauses out of 38653 with flag 1035005/1035005 820.82/418.41 c cleaning 9737 clauses out of 38879 with flag 1045001/1045001 830.56/423.47 c cleaning 9738 clauses out of 39142 with flag 1055001/1055001 839.70/428.26 c cleaning 9916 clauses out of 39402 with flag 1065000/1065000 847.24/432.18 c cleaning 9770 clauses out of 39487 with flag 1075001/1075001 856.00/436.68 c cleaning 9856 clauses out of 39717 with flag 1085001/1085001 864.11/440.81 c cleaning 9809 clauses out of 39860 with flag 1095000/1095000 873.31/445.64 c cleaning 9675 clauses out of 40051 with flag 1105000/1105000 883.22/450.77 c cleaning 9892 clauses out of 40376 with flag 1115000/1115000 893.36/455.95 c cleaning 9838 clauses out of 40488 with flag 1125004/1125004 903.47/461.19 c cleaning 9947 clauses out of 40646 with flag 1135000/1135000 913.00/466.13 c cleaning 9843 clauses out of 40699 with flag 1145000/1145000 921.32/470.46 c cleaning 9916 clauses out of 40858 with flag 1155002/1155002 928.61/474.23 c cleaning 9797 clauses out of 40939 with flag 1165002/1165002 935.33/477.73 c cleaning 9748 clauses out of 41140 with flag 1175001/1175001 942.87/481.75 c cleaning 9742 clauses out of 41390 with flag 1185002/1185002 954.18/487.50 c cleaning 9834 clauses out of 41645 with flag 1195000/1195000 965.52/493.30 c cleaning 9712 clauses out of 41814 with flag 1205003/1205003 972.82/497.19 c cleaning 9782 clauses out of 42100 with flag 1215001/1215001 981.11/501.57 c cleaning 9770 clauses out of 42318 with flag 1225001/1225001 989.88/506.05 c cleaning 9763 clauses out of 42548 with flag 1235002/1235002 999.87/511.11 c cleaning 9853 clauses out of 42783 with flag 1245000/1245000 1010.79/516.71 c cleaning 9884 clauses out of 42934 with flag 1255004/1255004 1019.08/521.11 c cleaning 9915 clauses out of 43048 with flag 1265002/1265002 1028.64/526.08 c cleaning 9803 clauses out of 43132 with flag 1275001/1275001 1037.16/530.46 c cleaning 9762 clauses out of 43328 with flag 1285000/1285000 1048.46/536.20 c cleaning 9784 clauses out of 43567 with flag 1295001/1295001 1057.72/541.18 c cleaning 9880 clauses out of 43782 with flag 1305000/1305000 1065.21/545.04 c cleaning 9783 clauses out of 43904 with flag 1315002/1315002 1074.50/549.87 c cleaning 9825 clauses out of 44119 with flag 1325000/1325000 1084.02/554.79 c cleaning 9862 clauses out of 44295 with flag 1335001/1335001 1092.89/559.47 c cleaning 9831 clauses out of 44433 with flag 1345001/1345001 1102.42/564.31 c cleaning 9820 clauses out of 44601 with flag 1355000/1355000 1110.70/568.63 c cleaning 9752 clauses out of 44782 with flag 1365001/1365001 1119.01/572.98 c cleaning 9708 clauses out of 45029 with flag 1375000/1375000 1128.21/577.89 c cleaning 9897 clauses out of 45323 with flag 1385002/1385002 1142.15/584.95 c cleaning 9833 clauses out of 45424 with flag 1395000/1395000 1157.85/592.93 c cleaning 9723 clauses out of 45591 with flag 1405000/1405000 1169.73/599.05 c cleaning 9809 clauses out of 45868 with flag 1415000/1415000 1181.55/605.22 c cleaning 9772 clauses out of 46059 with flag 1425000/1425000 1191.85/610.52 c cleaning 9806 clauses out of 46287 with flag 1435000/1435000 1202.56/616.06 c cleaning 9810 clauses out of 46481 with flag 1445000/1445000 1215.28/622.51 c cleaning 9776 clauses out of 46674 with flag 1455003/1455003 1226.16/628.25 c cleaning 9889 clauses out of 46895 with flag 1465000/1465000 1235.81/633.20 c cleaning 9726 clauses out of 47007 with flag 1475001/1475001 1245.30/638.15 c cleaning 9767 clauses out of 47280 with flag 1485000/1485000 1260.39/645.80 c cleaning 9907 clauses out of 47513 with flag 1495001/1495001 1268.18/650.03 c cleaning 9808 clauses out of 47606 with flag 1505001/1505001 1279.25/655.78 c cleaning 9901 clauses out of 47797 with flag 1515000/1515000 1288.15/660.37 c cleaning 9850 clauses out of 47896 with flag 1525000/1525000 1298.22/665.52 c cleaning 9896 clauses out of 48047 with flag 1535001/1535001 1308.00/670.71 c cleaning 9821 clauses out of 48154 with flag 1545004/1545004 1317.66/675.73 c cleaning 9959 clauses out of 48334 with flag 1555005/1555005 1326.71/680.46 c cleaning 9887 clauses out of 48370 with flag 1565000/1565000 1335.41/685.00 c cleaning 9843 clauses out of 48483 with flag 1575000/1575000 1344.42/689.74 c cleaning 9899 clauses out of 48643 with flag 1585003/1585003 1354.32/694.84 c cleaning 9967 clauses out of 48744 with flag 1595003/1595003 1361.39/698.55 c cleaning 9820 clauses out of 48774 with flag 1605000/1605000 1369.65/702.83 c cleaning 9733 clauses out of 48954 with flag 1615000/1615000 1378.26/707.46 c cleaning 9976 clauses out of 49221 with flag 1625000/1625000 1386.92/711.97 c cleaning 9875 clauses out of 49247 with flag 1635002/1635002 1395.18/716.29 c cleaning 9774 clauses out of 49368 with flag 1645000/1645000 1397.41/717.52 c And the winner is Resolution 1395.71/719.89 c starts : 199 1395.71/719.89 c conflicts : 1647724 1395.71/719.89 c decisions : 7181864 1395.71/719.89 c propagations : 547087639 1395.71/719.89 c inspects : 2312388077 1395.71/719.89 c learnt literals : 111 1395.71/719.89 c learnt binary clauses : 31155 1395.71/719.89 c learnt ternary clauses : 52482 1395.71/719.89 c learnt clauses : 1647613 1395.71/719.89 c ignored clauses : 0 1395.71/719.89 c root simplifications : 0 1395.71/719.89 c removed literals (reason simplification) : 49297570 1395.71/719.89 c reason swapping (by a shorter reason) : 0 1395.71/719.89 c Calls to reduceDB : 166 1395.71/719.89 c number of reductions to clauses (during analyze) : 0 1395.71/719.89 c number of learned constraints concerned by reduction : 0 1395.71/719.89 c number of learning phase by resolution : 0 1395.71/719.89 c number of learning phase by cutting planes : 0 1395.71/719.89 c speed (assignments/second) : 760349.7868720996 1395.71/719.89 c non guided choices 298 1395.72/719.91 c learnt constraints type 1395.72/719.91 c org.sat4j.minisat.constraints.cnf.LearntHTClause => 11163 1395.72/719.91 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 31155 1395.72/719.91 c constraints type 1395.72/719.91 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3138 1395.72/719.91 c org.sat4j.minisat.constraints.card.MinWatchCard => 68 1395.72/719.91 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 670 1395.72/719.91 c constraints type 1395.72/719.91 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 670 1395.72/719.91 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 3138 1395.72/719.91 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 68 1395.72/719.91 s SATISFIABLE 1395.72/719.92 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 1395.72/719.93 c Total wall clock time (in seconds): 719.811
OK 0
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3742769-1338788198/watcher-3742769-1338788198 -o /tmp/evaluation-result-3742769-1338788198/solver-3742769-1338788198 -C 1800 -W 1900 -M 15500 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3742769-1338788198.opb running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 3.76 3.97 3.91 4/197 16254 /proc/meminfo: memFree=24748388/32873648 swapFree=6852/6852 [pid=16254] ppid=16252 vsize=9292 CPUtime=0 cores=0,2,4,6 /proc/16254/stat : 16254 (java6) D 16252 16254 15509 0 -1 4202496 248 0 0 0 0 0 0 0 20 0 1 0 344947109 9515008 182 33554432000 1073741824 1073778376 140734234081312 140734234072344 213866331829 0 0 4096 0 18446744072100609316 0 0 17 0 0 0 0 0 0 /proc/16254/statm: 2323 182 140 9 0 71 0 [startup+0.08961 s] /proc/loadavg: 3.76 3.97 3.91 4/197 16254 /proc/meminfo: memFree=24748388/32873648 swapFree=6852/6852 [pid=16254] ppid=16252 vsize=2699928 CPUtime=0.06 cores=0,2,4,6 /proc/16254/stat : 16254 (java) S 16252 16254 15509 0 -1 4202496 3919 0 1 0 6 0 0 0 20 0 18 0 344947109 2764726272 5639 33554432000 1073741824 1073778376 140734313783728 140734313774864 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16254/statm: 674982 5639 1772 9 0 665676 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 2699928 [startup+0.100244 s] /proc/loadavg: 3.76 3.97 3.91 4/197 16254 /proc/meminfo: memFree=24748388/32873648 swapFree=6852/6852 [pid=16254] ppid=16252 vsize=2699928 CPUtime=0.09 cores=0,2,4,6 /proc/16254/stat : 16254 (java) S 16252 16254 15509 0 -1 4202496 4698 0 1 0 8 1 0 0 20 0 18 0 344947109 2764726272 6411 33554432000 1073741824 1073778376 140734313783728 140734313774864 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16254/statm: 674982 6411 2109 9 0 665676 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2699928 [startup+0.300243 s] /proc/loadavg: 3.76 3.97 3.91 4/197 16254 /proc/meminfo: memFree=24748388/32873648 swapFree=6852/6852 [pid=16254] ppid=16252 vsize=2699928 CPUtime=0.54 cores=0,2,4,6 /proc/16254/stat : 16254 (java) S 16252 16254 15509 0 -1 4202496 7651 0 1 0 53 1 0 0 20 0 18 0 344947109 2764726272 10300 33554432000 1073741824 1073778376 140734313783728 140734313774864 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16254/statm: 674982 10300 2217 9 0 665676 0 Current children cumulated CPU time (s) 0.54 Current children cumulated vsize (KiB) 2699928 [startup+0.700178 s] /proc/loadavg: 3.76 3.97 3.91 4/197 16254 /proc/meminfo: memFree=24748388/32873648 swapFree=6852/6852 [pid=16254] ppid=16252 vsize=2966184 CPUtime=2.02 cores=0,2,4,6 /proc/16254/stat : 16254 (java) S 16252 16254 15509 0 -1 4202496 14660 0 1 0 200 2 0 0 20 0 22 0 344947109 3037372416 19242 33554432000 1073741824 1073778376 140734313783728 140734313774864 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16254/statm: 741546 19242 2251 9 0 732240 0 Current children cumulated CPU time (s) 2.02 Current children cumulated vsize (KiB) 2966184 [startup+1.50071 s] /proc/loadavg: 3.76 3.97 3.91 5/219 16276 /proc/meminfo: memFree=24625836/32873648 swapFree=6852/6852 [pid=16254] ppid=16252 vsize=2966184 CPUtime=4.08 cores=0,2,4,6 /proc/16254/stat : 16254 (java) S 16252 16254 15509 0 -1 4202496 17266 0 1 0 399 9 0 0 20 0 22 0 344947109 3037372416 75615 33554432000 1073741824 1073778376 140734313783728 140734313774864 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16254/statm: 741546 75615 2281 9 0 732240 0 [pid=16254/tid=16256] ppid=16252 vsize=2966184 CPUtime=0.34 cores=0,2,4,6 /proc/16254/task/16256/stat : 16256 (java) S 16252 16254 15509 0 -1 4202560 2817 0 1 0 34 0 0 0 20 0 22 0 344947110 3037372416 75615 33554432000 1073741824 1073778376 140734313783728 140126000850072 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16254/tid=16257] ppid=16252 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16254/task/16257/stat : 16257 (java) S 16252 16254 15509 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 344947111 3037372416 75615 33554432000 1073741824 1073778376 140734313783728 140125867231528 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=16254/tid=16258] ppid=16252 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16254/task/16258/stat : 16258 (java) S 16252 16254 15509 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 344947111 3037372416 75615 33554432000 1073741824 1073778376 140734313783728 140125866178728 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16254/tid=16259] ppid=16252 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16254/task/16259/stat : 16259 (java) S 16252 16254 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344947111 3037372416 75615 33554432000 1073741824 1073778376 140734313783728 140125865126440 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=16254/tid=16260] ppid=16252 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16254/task/16260/stat : 16260 (java) S 16252 16254 15509 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 344947111 3037372416 75615 33554432000 1073741824 1073778376 140734313783728 140125864073640 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16254/tid=16261] ppid=16252 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16254/task/16261/stat : 16261 (java) S 16252 16254 15509 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 344947111 3037372416 75615 33554432000 1073741824 1073778376 140734313783728 140125863021352 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=16254/tid=16262] ppid=16252 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16254/task/16262/stat : 16262 (java) S 16252 16254 15509 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 344947111 3037372416 75615 33554432000 1073741824 1073778376 140734313783728 140125861968552 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=16254/tid=16263] ppid=16252 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16254/task/16263/stat : 16263 (java) S 16252 16254 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344947111 3037372416 75615 33554432000 1073741824 1073778376 140734313783728 140125860916264 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16254/tid=16264] ppid=16252 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16254/task/16264/stat : 16264 (java) S 16252 16254 15509 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 344947111 3037372416 75615 33554432000 1073741824 1073778376 140734313783728 140125859863464 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16254/tid=16265] ppid=16252 vsize=2966184 CPUtime=0.01 cores=0,2,4,6 /proc/16254/task/16265/stat : 16265 (java) S 16252 16254 15509 0 -1 4202560 32 0 0 0 1 0 0 0 20 0 22 0 344947112 3037372416 75615 33554432000 1073741824 1073778376 140734313783728 140125377255656 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=16254/tid=16266] ppid=16252 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16254/task/16266/stat : 16266 (java) S 16252 16254 15509 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 344947113 3037372416 75615 33554432000 1073741824 1073778376 140734313783728 140125376201720 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16254/tid=16267] ppid=16252 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16254/task/16267/stat : 16267 (java) S 16252 16254 15509 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 344947113 3037372416 75615 33554432000 1073741824 1073778376 140734313783728 140125375149320 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16254/tid=16268] ppid=16252 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16254/task/16268/stat : 16268 (java) S 16252 16254 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344947115 3037372416 75615 33554432000 1073741824 1073778376 140734313783728 140125374097808 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16254/tid=16269] ppid=16252 vsize=2966184 CPUtime=0.71 cores=0,2,4,6 /proc/16254/task/16269/stat : 16269 (java) S 16252 16254 15509 0 -1 4202560 6765 0 0 0 70 1 0 0 20 0 22 0 344947115 3037372416 75615 33554432000 1073741824 1073778376 140734313783728 140125373045432 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16254/tid=16270] ppid=16252 vsize=2966184 CPUtime=0.76 cores=0,2,4,6 /proc/16254/task/16270/stat : 16270 (java) S 16252 16254 15509 0 -1 4202560 6191 0 0 0 76 0 0 0 20 0 22 0 344947115 3037372416 75615 33554432000 1073741824 1073778376 140734313783728 140125371992632 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16254/tid=16271] ppid=16252 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16254/task/16271/stat : 16271 (java) S 16252 16254 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344947115 3037372416 75615 33554432000 1073741824 1073778376 140734313783728 140125370940536 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=16254/tid=16272] ppid=16252 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16254/task/16272/stat : 16272 (java) S 16252 16254 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344947115 3037372416 75615 33554432000 1073741824 1073778376 140734313783728 140125369887944 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16254/tid=16273] ppid=16252 vsize=2966184 CPUtime=1.07 cores=0,2,4,6 /proc/16254/task/16273/stat : 16273 (java) R 16252 16254 15509 0 -1 4202560 38 0 0 0 107 0 0 0 20 0 22 0 344947147 3037372416 75615 33554432000 1073741824 1073778376 140734313783728 140125368832280 140125873536089 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 [pid=16254/tid=16274] ppid=16252 vsize=2966184 CPUtime=1.08 cores=0,2,4,6 /proc/16254/task/16274/stat : 16274 (java) R 16252 16254 15509 0 -1 4202560 192 0 0 0 103 5 0 0 20 0 22 0 344947147 3037372416 75615 33554432000 1073741824 1073778376 140734313783728 140125367777400 140125873833000 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=16254/tid=16275] ppid=16252 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16254/task/16275/stat : 16275 (java) S 16252 16254 15509 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 344947148 3037372416 75615 33554432000 1073741824 1073778376 140734313783728 140125366727848 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=16254/tid=16276] ppid=16252 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16254/task/16276/stat : 16276 (java) S 16252 16254 15509 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 344947148 3037372416 75615 33554432000 1073741824 1073778376 140734313783728 140125365675048 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 4.08 Current children cumulated vsize (KiB) 2966184 [startup+3.10071 s] /proc/loadavg: 3.76 3.97 3.91 5/219 16276 /proc/meminfo: memFree=24436428/32873648 swapFree=6852/6852 [pid=16254] ppid=16252 vsize=2966184 CPUtime=7.49 cores=0,2,4,6 /proc/16254/stat : 16254 (java) S 16252 16254 15509 0 -1 4202496 18945 0 1 0 738 11 0 0 20 0 22 0 344947109 3037372416 103787 33554432000 1073741824 1073778376 140734313783728 140734313774864 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16254/statm: 741546 103787 2281 9 0 732240 0 [pid=16254/tid=16256] ppid=16252 vsize=2966184 CPUtime=0.34 cores=0,2,4,6 /proc/16254/task/16256/stat : 16256 (java) S 16252 16254 15509 0 -1 4202560 2817 0 1 0 34 0 0 0 20 0 22 0 344947110 3037372416 103787 33554432000 1073741824 1073778376 140734313783728 140126000850072 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16254/tid=16257] ppid=16252 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16254/task/16257/stat : 16257 (java) S 16252 16254 15509 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 344947111 3037372416 103787 33554432000 1073741824 1073778376 140734313783728 140125867231528 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16254/tid=16258] ppid=16252 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16254/task/16258/stat : 16258 (java) S 16252 16254 15509 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 344947111 3037372416 103787 33554432000 1073741824 1073778376 140734313783728 140125866178728 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16254/tid=16259] ppid=16252 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16254/task/16259/stat : 16259 (java) S 16252 16254 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344947111 3037372416 103787 33554432000 1073741824 1073778376 140734313783728 140125865126440 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=16254/tid=16260] ppid=16252 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16254/task/16260/stat : 16260 (java) S 16252 16254 15509 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 344947111 3037372416 103787 33554432000 1073741824 1073778376 140734313783728 140125864073640 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16254/tid=16261] ppid=16252 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16254/task/16261/stat : 16261 (java) S 16252 16254 15509 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 344947111 3037372416 103787 33554432000 1073741824 1073778376 140734313783728 140125863021352 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=16254/tid=16262] ppid=16252 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16254/task/16262/stat : 16262 (java) S 16252 16254 15509 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 344947111 3037372416 103787 33554432000 1073741824 1073778376 140734313783728 140125861968552 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=16254/tid=16263] ppid=16252 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16254/task/16263/stat : 16263 (java) S 16252 16254 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344947111 3037372416 103787 33554432000 1073741824 1073778376 140734313783728 140125860916264 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16254/tid=16264] ppid=16252 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16254/task/16264/stat : 16264 (java) S 16252 16254 15509 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 344947111 3037372416 103787 33554432000 1073741824 1073778376 140734313783728 140125859863464 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16254/tid=16265] ppid=16252 vsize=2966184 CPUtime=0.03 cores=0,2,4,6 /proc/16254/task/16265/stat : 16265 (java) S 16252 16254 15509 0 -1 4202560 34 0 0 0 3 0 0 0 20 0 22 0 344947112 3037372416 103787 33554432000 1073741824 1073778376 140734313783728 140125377255656 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=16254/tid=16266] ppid=16252 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16254/task/16266/stat : 16266 (java) S 16252 16254 15509 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 344947113 3037372416 103787 33554432000 1073741824 1073778376 140734313783728 140125376201720 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16254/tid=16267] ppid=16252 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16254/task/16267/stat : 16267 (java) S 16252 16254 15509 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 344947113 3037372416 103787 33554432000 1073741824 1073778376 140734313783728 140125375149320 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16254/tid=16268] ppid=16252 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16254/task/16268/stat : 16268 (java) S 16252 16254 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344947115 3037372416 103787 33554432000 1073741824 1073778376 140734313783728 140125374097808 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16254/tid=16269] ppid=16252 vsize=2966184 CPUtime=0.84 cores=0,2,4,6 /proc/16254/task/16269/stat : 16269 (java) S 16252 16254 15509 0 -1 4202560 8371 0 0 0 83 1 0 0 20 0 22 0 344947115 3037372416 103787 33554432000 1073741824 1073778376 140734313783728 140125373045432 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16254/tid=16270] ppid=16252 vsize=2966184 CPUtime=0.88 cores=0,2,4,6 /proc/16254/task/16270/stat : 16270 (java) S 16252 16254 15509 0 -1 4202560 6198 0 0 0 88 0 0 0 20 0 22 0 344947115 3037372416 103787 33554432000 1073741824 1073778376 140734313783728 140125371992632 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=16254/tid=16271] ppid=16252 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16254/task/16271/stat : 16271 (java) S 16252 16254 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344947115 3037372416 103787 33554432000 1073741824 1073778376 140734313783728 140125370940536 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=16254/tid=16272] ppid=16252 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16254/task/16272/stat : 16272 (java) S 16252 16254 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344947115 3037372416 103787 33554432000 1073741824 1073778376 140734313783728 140125369887944 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16254/tid=16273] ppid=16252 vsize=2966184 CPUtime=2.61 cores=0,2,4,6 /proc/16254/task/16273/stat : 16273 (java) R 16252 16254 15509 0 -1 4202560 39 0 0 0 261 0 0 0 20 0 22 0 344947147 3037372416 103787 33554432000 1073741824 1073778376 140734313783728 140125368832192 140125873500336 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 [pid=16254/tid=16274] ppid=16252 vsize=2966184 CPUtime=2.64 cores=0,2,4,6 /proc/16254/task/16274/stat : 16274 (java) R 16252 16254 15509 0 -1 4202560 244 0 0 0 258 6 0 0 20 0 22 0 344947147 3037372416 103787 33554432000 1073741824 1073778376 140734313783728 140125367777400 140125873499447 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=16254/tid=16275] ppid=16252 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16254/task/16275/stat : 16275 (java) S 16252 16254 15509 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 344947148 3037372416 103787 33554432000 1073741824 1073778376 140734313783728 140125366727848 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=16254/tid=16276] ppid=16252 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16254/task/16276/stat : 16276 (java) S 16252 16254 15509 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 344947148 3037372416 103787 33554432000 1073741824 1073778376 140734313783728 140125365675048 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 7.49 Current children cumulated vsize (KiB) 2966184 [startup+6.30073 s] /proc/loadavg: 3.78 3.97 3.91 5/219 16276 /proc/meminfo: memFree=24321248/32873648 swapFree=6852/6852 [pid=16254] ppid=16252 vsize=2966184 CPUtime=13.91 cores=0,2,4,6 /proc/16254/stat : 16254 (java) S 16252 16254 15509 0 -1 4202496 18998 0 1 0 1378 13 0 0 20 0 22 0 344947109 3037372416 106341 33554432000 1073741824 1073778376 140734313783728 140734313774864 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16254/statm: 741546 106341 2281 9 0 732240 0 [pid=16254/tid=16256] ppid=16252 vsize=2966184 CPUtime=0.34 cores=0,2,4,6 /proc/16254/task/16256/stat : 16256 (java) S 16252 16254 15509 0 -1 4202560 2817 0 1 0 34 0 0 0 20 0 22 0 344947110 3037372416 106341 33554432000 1073741824 1073778376 140734313783728 140126000850072 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16254/tid=16257] ppid=16252 vsize=2966184 CPUtime=0.01 cores=0,2,4,6 /proc/16254/task/16257/stat : 16257 (java) S 16252 16254 15509 0 -1 4202560 21 0 0 0 1 0 0 0 20 0 22 0 344947111 3037372416 106341 33554432000 1073741824 1073778376 140734313783728 140125867231528 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=16254/tid=16258] ppid=16252 vsize=2966184 CPUtime=0.01 cores=0,2,4,6 /proc/16254/task/16258/stat : 16258 (java) S 16252 16254 15509 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 22 0 344947111 3037372416 106341 33554432000 1073741824 1073778376 140734313783728 140125866178728 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=16254/tid=16259] ppid=16252 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16254/task/16259/stat : 16259 (java) S 16252 16254 15509 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 344947111 3037372416 106341 33554432000 1073741824 1073778376 140734313783728 140125865126440 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16254/tid=16260] ppid=16252 vsize=2966184 CPUtime=0.01 cores=0,2,4,6 /proc/16254/task/16260/stat : 16260 (java) S 16252 16254 15509 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 22 0 344947111 3037372416 106341 33554432000 1073741824 1073778376 140734313783728 140125864073640 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16254/tid=16261] ppid=16252 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16254/task/16261/stat : 16261 (java) S 16252 16254 15509 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 344947111 3037372416 106341 33554432000 1073741824 1073778376 140734313783728 140125863021352 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=16254/tid=16262] ppid=16252 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16254/task/16262/stat : 16262 (java) S 16252 16254 15509 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 344947111 3037372416 106341 33554432000 1073741824 1073778376 140734313783728 140125861968552 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16254/tid=16263] ppid=16252 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16254/task/16263/stat : 16263 (java) S 16252 16254 15509 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 344947111 3037372416 106341 33554432000 1073741824 1073778376 140734313783728 140125860916264 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16254/tid=16264] ppid=16252 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16254/task/16264/stat : 16264 (java) S 16252 16254 15509 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 344947111 3037372416 106341 33554432000 1073741824 1073778376 140734313783728 140125859863464 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=16254/tid=16265] ppid=16252 vsize=2966184 CPUtime=0.12 cores=0,2,4,6 /proc/16254/task/16265/stat : 16265 (java) S 16252 16254 15509 0 -1 4202560 43 0 0 0 11 1 0 0 20 0 22 0 344947112 3037372416 106341 33554432000 1073741824 1073778376 140734313783728 140125377255656 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16254/tid=16266] ppid=16252 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16254/task/16266/stat : 16266 (java) S 16252 16254 15509 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 344947113 3037372416 106341 33554432000 1073741824 1073778376 140734313783728 140125376201720 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16254/tid=16267] ppid=16252 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16254/task/16267/stat : 16267 (java) S 16252 16254 15509 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 344947113 3037372416 106341 33554432000 1073741824 1073778376 140734313783728 140125375149320 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16254/tid=16268] ppid=16252 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16254/task/16268/stat : 16268 (java) S 16252 16254 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344947115 3037372416 106341 33554432000 1073741824 1073778376 140734313783728 140125374097808 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16254/tid=16269] ppid=16252 vsize=2966184 CPUtime=0.85 cores=0,2,4,6 /proc/16254/task/16269/stat : 16269 (java) S 16252 16254 15509 0 -1 4202560 8371 0 0 0 84 1 0 0 20 0 22 0 344947115 3037372416 106341 33554432000 1073741824 1073778376 140734313783728 140125373045432 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 ################ # More data... # ################ [pid=16254/tid=16267] ppid=16252 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16254/task/16267/stat : 16267 (java) S 16252 16254 15509 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 21 0 344947113 3037372416 204566 33554432000 1073741824 1073778376 140734313783728 140125375149320 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16254/tid=16268] ppid=16252 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16254/task/16268/stat : 16268 (java) S 16252 16254 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 344947115 3037372416 204566 33554432000 1073741824 1073778376 140734313783728 140125374097808 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16254/tid=16269] ppid=16252 vsize=2966184 CPUtime=0.88 cores=0,2,4,6 /proc/16254/task/16269/stat : 16269 (java) S 16252 16254 15509 0 -1 4202560 8371 0 0 0 87 1 0 0 20 0 21 0 344947115 3037372416 204566 33554432000 1073741824 1073778376 140734313783728 140125373045432 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=16254/tid=16270] ppid=16252 vsize=2966184 CPUtime=1.58 cores=0,2,4,6 /proc/16254/task/16270/stat : 16270 (java) S 16252 16254 15509 0 -1 4202560 8339 0 0 0 157 1 0 0 20 0 21 0 344947115 3037372416 204566 33554432000 1073741824 1073778376 140734313783728 140125371992632 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16254/tid=16271] ppid=16252 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16254/task/16271/stat : 16271 (java) S 16252 16254 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 344947115 3037372416 204566 33554432000 1073741824 1073778376 140734313783728 140125370940536 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=16254/tid=16272] ppid=16252 vsize=2966184 CPUtime=0.23 cores=0,2,4,6 /proc/16254/task/16272/stat : 16272 (java) S 16252 16254 15509 0 -1 4202560 40 0 0 0 9 14 0 0 20 0 21 0 344947115 3037372416 204566 33554432000 1073741824 1073778376 140734313783728 140125369887944 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16254/tid=16274] ppid=16252 vsize=2966184 CPUtime=660.65 cores=0,2,4,6 /proc/16254/task/16274/stat : 16274 (java) R 16252 16254 15509 0 -1 4202560 445 0 0 0 66046 19 0 0 20 0 21 0 344947147 3037372416 204566 33554432000 1073741824 1073778376 140734313783728 140125367777832 140125873518184 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=16254/tid=16275] ppid=16252 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16254/task/16275/stat : 16275 (java) S 16252 16254 15509 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 344947148 3037372416 204566 33554432000 1073741824 1073778376 140734313783728 140125366727848 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=16254/tid=16276] ppid=16252 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16254/task/16276/stat : 16276 (java) S 16252 16254 15509 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 344947148 3037372416 204566 33554432000 1073741824 1073778376 140734313783728 140125365675048 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1396.68 Current children cumulated vsize (KiB) 2966184 [startup+719.101 s] /proc/loadavg: 3.96 3.89 3.84 4/218 16349 /proc/meminfo: memFree=23960636/32873648 swapFree=6852/6852 [pid=16254] ppid=16252 vsize=2966184 CPUtime=1395.71 cores=0,2,4,6 /proc/16254/stat : 16254 (java) S 16252 16254 15509 0 -1 4202496 23029 0 1 0 139462 109 0 0 20 0 20 0 344947109 3037372416 204559 33554432000 1073741824 1073778376 140734313783728 140734313774864 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16254/statm: 741546 204559 2283 9 0 732240 0 [pid=16254/tid=16256] ppid=16252 vsize=2966184 CPUtime=0.36 cores=0,2,4,6 /proc/16254/task/16256/stat : 16256 (java) S 16252 16254 15509 0 -1 4202560 2847 0 1 0 34 2 0 0 20 0 20 0 344947110 3037372416 204559 33554432000 1073741824 1073778376 140734313783728 140126000850072 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16254/tid=16257] ppid=16252 vsize=2966184 CPUtime=2.83 cores=0,2,4,6 /proc/16254/task/16257/stat : 16257 (java) S 16252 16254 15509 0 -1 4202560 177 0 0 0 278 5 0 0 20 0 20 0 344947111 3037372416 204559 33554432000 1073741824 1073778376 140734313783728 140125867231528 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16254/tid=16258] ppid=16252 vsize=2966184 CPUtime=2.89 cores=0,2,4,6 /proc/16254/task/16258/stat : 16258 (java) S 16252 16254 15509 0 -1 4202560 189 0 0 0 283 6 0 0 20 0 20 0 344947111 3037372416 204559 33554432000 1073741824 1073778376 140734313783728 140125866178728 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=16254/tid=16259] ppid=16252 vsize=2966184 CPUtime=2.75 cores=0,2,4,6 /proc/16254/task/16259/stat : 16259 (java) S 16252 16254 15509 0 -1 4202560 149 0 0 0 271 4 0 0 20 0 20 0 344947111 3037372416 204559 33554432000 1073741824 1073778376 140734313783728 140125865126440 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16254/tid=16260] ppid=16252 vsize=2966184 CPUtime=2.87 cores=0,2,4,6 /proc/16254/task/16260/stat : 16260 (java) S 16252 16254 15509 0 -1 4202560 185 0 0 0 281 6 0 0 20 0 20 0 344947111 3037372416 204559 33554432000 1073741824 1073778376 140734313783728 140125864073640 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16254/tid=16261] ppid=16252 vsize=2966184 CPUtime=2.88 cores=0,2,4,6 /proc/16254/task/16261/stat : 16261 (java) S 16252 16254 15509 0 -1 4202560 157 0 0 0 284 4 0 0 20 0 20 0 344947111 3037372416 204559 33554432000 1073741824 1073778376 140734313783728 140125863021352 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16254/tid=16262] ppid=16252 vsize=2966184 CPUtime=2.95 cores=0,2,4,6 /proc/16254/task/16262/stat : 16262 (java) S 16252 16254 15509 0 -1 4202560 181 0 0 0 290 5 0 0 20 0 20 0 344947111 3037372416 204559 33554432000 1073741824 1073778376 140734313783728 140125861968552 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16254/tid=16263] ppid=16252 vsize=2966184 CPUtime=2.81 cores=0,2,4,6 /proc/16254/task/16263/stat : 16263 (java) S 16252 16254 15509 0 -1 4202560 173 0 0 0 278 3 0 0 20 0 20 0 344947111 3037372416 204559 33554432000 1073741824 1073778376 140734313783728 140125860916264 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=16254/tid=16264] ppid=16252 vsize=2966184 CPUtime=2.81 cores=0,2,4,6 /proc/16254/task/16264/stat : 16264 (java) S 16252 16254 15509 0 -1 4202560 176 0 0 0 275 6 0 0 20 0 20 0 344947111 3037372416 204559 33554432000 1073741824 1073778376 140734313783728 140125859863464 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16254/tid=16265] ppid=16252 vsize=2966184 CPUtime=48.64 cores=0,2,4,6 /proc/16254/task/16265/stat : 16265 (java) S 16252 16254 15509 0 -1 4202560 119 0 0 0 4841 23 0 0 20 0 20 0 344947112 3037372416 204559 33554432000 1073741824 1073778376 140734313783728 140125377255656 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16254/tid=16266] ppid=16252 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16254/task/16266/stat : 16266 (java) S 16252 16254 15509 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 344947113 3037372416 204559 33554432000 1073741824 1073778376 140734313783728 140125376201720 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16254/tid=16267] ppid=16252 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16254/task/16267/stat : 16267 (java) S 16252 16254 15509 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 344947113 3037372416 204559 33554432000 1073741824 1073778376 140734313783728 140125375149320 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16254/tid=16268] ppid=16252 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16254/task/16268/stat : 16268 (java) S 16252 16254 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 344947115 3037372416 204559 33554432000 1073741824 1073778376 140734313783728 140125374097808 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16254/tid=16269] ppid=16252 vsize=2966184 CPUtime=0.88 cores=0,2,4,6 /proc/16254/task/16269/stat : 16269 (java) S 16252 16254 15509 0 -1 4202560 8371 0 0 0 87 1 0 0 20 0 20 0 344947115 3037372416 204559 33554432000 1073741824 1073778376 140734313783728 140125373045432 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=16254/tid=16270] ppid=16252 vsize=2966184 CPUtime=1.58 cores=0,2,4,6 /proc/16254/task/16270/stat : 16270 (java) S 16252 16254 15509 0 -1 4202560 8339 0 0 0 157 1 0 0 20 0 20 0 344947115 3037372416 204559 33554432000 1073741824 1073778376 140734313783728 140125371992632 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16254/tid=16271] ppid=16252 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16254/task/16271/stat : 16271 (java) S 16252 16254 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 344947115 3037372416 204559 33554432000 1073741824 1073778376 140734313783728 140125370940536 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=16254/tid=16272] ppid=16252 vsize=2966184 CPUtime=0.23 cores=0,2,4,6 /proc/16254/task/16272/stat : 16272 (java) S 16252 16254 15509 0 -1 4202560 40 0 0 0 9 14 0 0 20 0 20 0 344947115 3037372416 204559 33554432000 1073741824 1073778376 140734313783728 140125369887944 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16254/tid=16275] ppid=16252 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16254/task/16275/stat : 16275 (java) S 16252 16254 15509 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 344947148 3037372416 204559 33554432000 1073741824 1073778376 140734313783728 140125366727848 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=16254/tid=16276] ppid=16252 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16254/task/16276/stat : 16276 (java) S 16252 16254 15509 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 344947148 3037372416 204559 33554432000 1073741824 1073778376 140734313783728 140125365675048 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1395.71 Current children cumulated vsize (KiB) 2966184 [startup+719.501 s] /proc/loadavg: 3.88 3.87 3.83 3/217 16349 /proc/meminfo: memFree=23960644/32873648 swapFree=6852/6852 [pid=16254] ppid=16252 vsize=2966184 CPUtime=1395.71 cores=0,2,4,6 /proc/16254/stat : 16254 (java) S 16252 16254 15509 0 -1 4202496 23029 0 1 0 139462 109 0 0 20 0 20 0 344947109 3037372416 204559 33554432000 1073741824 1073778376 140734313783728 140734313774864 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16254/statm: 741546 204559 2283 9 0 732240 0 [pid=16254/tid=16256] ppid=16252 vsize=2966184 CPUtime=0.36 cores=0,2,4,6 /proc/16254/task/16256/stat : 16256 (java) S 16252 16254 15509 0 -1 4202560 2847 0 1 0 34 2 0 0 20 0 20 0 344947110 3037372416 204559 33554432000 1073741824 1073778376 140734313783728 140126000850072 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16254/tid=16257] ppid=16252 vsize=2966184 CPUtime=2.83 cores=0,2,4,6 /proc/16254/task/16257/stat : 16257 (java) S 16252 16254 15509 0 -1 4202560 177 0 0 0 278 5 0 0 20 0 20 0 344947111 3037372416 204559 33554432000 1073741824 1073778376 140734313783728 140125867231528 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16254/tid=16258] ppid=16252 vsize=2966184 CPUtime=2.89 cores=0,2,4,6 /proc/16254/task/16258/stat : 16258 (java) S 16252 16254 15509 0 -1 4202560 189 0 0 0 283 6 0 0 20 0 20 0 344947111 3037372416 204559 33554432000 1073741824 1073778376 140734313783728 140125866178728 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=16254/tid=16259] ppid=16252 vsize=2966184 CPUtime=2.75 cores=0,2,4,6 /proc/16254/task/16259/stat : 16259 (java) S 16252 16254 15509 0 -1 4202560 149 0 0 0 271 4 0 0 20 0 20 0 344947111 3037372416 204559 33554432000 1073741824 1073778376 140734313783728 140125865126440 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16254/tid=16260] ppid=16252 vsize=2966184 CPUtime=2.87 cores=0,2,4,6 /proc/16254/task/16260/stat : 16260 (java) S 16252 16254 15509 0 -1 4202560 185 0 0 0 281 6 0 0 20 0 20 0 344947111 3037372416 204559 33554432000 1073741824 1073778376 140734313783728 140125864073640 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16254/tid=16261] ppid=16252 vsize=2966184 CPUtime=2.88 cores=0,2,4,6 /proc/16254/task/16261/stat : 16261 (java) S 16252 16254 15509 0 -1 4202560 157 0 0 0 284 4 0 0 20 0 20 0 344947111 3037372416 204559 33554432000 1073741824 1073778376 140734313783728 140125863021352 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16254/tid=16262] ppid=16252 vsize=2966184 CPUtime=2.95 cores=0,2,4,6 /proc/16254/task/16262/stat : 16262 (java) S 16252 16254 15509 0 -1 4202560 181 0 0 0 290 5 0 0 20 0 20 0 344947111 3037372416 204559 33554432000 1073741824 1073778376 140734313783728 140125861968552 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16254/tid=16263] ppid=16252 vsize=2966184 CPUtime=2.81 cores=0,2,4,6 /proc/16254/task/16263/stat : 16263 (java) S 16252 16254 15509 0 -1 4202560 173 0 0 0 278 3 0 0 20 0 20 0 344947111 3037372416 204559 33554432000 1073741824 1073778376 140734313783728 140125860916264 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=16254/tid=16264] ppid=16252 vsize=2966184 CPUtime=2.81 cores=0,2,4,6 /proc/16254/task/16264/stat : 16264 (java) S 16252 16254 15509 0 -1 4202560 176 0 0 0 275 6 0 0 20 0 20 0 344947111 3037372416 204559 33554432000 1073741824 1073778376 140734313783728 140125859863464 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16254/tid=16265] ppid=16252 vsize=2966184 CPUtime=48.64 cores=0,2,4,6 /proc/16254/task/16265/stat : 16265 (java) S 16252 16254 15509 0 -1 4202560 119 0 0 0 4841 23 0 0 20 0 20 0 344947112 3037372416 204559 33554432000 1073741824 1073778376 140734313783728 140125377255656 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16254/tid=16266] ppid=16252 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16254/task/16266/stat : 16266 (java) S 16252 16254 15509 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 344947113 3037372416 204559 33554432000 1073741824 1073778376 140734313783728 140125376201720 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16254/tid=16267] ppid=16252 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16254/task/16267/stat : 16267 (java) S 16252 16254 15509 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 344947113 3037372416 204559 33554432000 1073741824 1073778376 140734313783728 140125375149320 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16254/tid=16268] ppid=16252 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16254/task/16268/stat : 16268 (java) S 16252 16254 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 344947115 3037372416 204559 33554432000 1073741824 1073778376 140734313783728 140125374097808 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16254/tid=16269] ppid=16252 vsize=2966184 CPUtime=0.88 cores=0,2,4,6 /proc/16254/task/16269/stat : 16269 (java) S 16252 16254 15509 0 -1 4202560 8371 0 0 0 87 1 0 0 20 0 20 0 344947115 3037372416 204559 33554432000 1073741824 1073778376 140734313783728 140125373045432 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=16254/tid=16270] ppid=16252 vsize=2966184 CPUtime=1.58 cores=0,2,4,6 /proc/16254/task/16270/stat : 16270 (java) S 16252 16254 15509 0 -1 4202560 8339 0 0 0 157 1 0 0 20 0 20 0 344947115 3037372416 204559 33554432000 1073741824 1073778376 140734313783728 140125371992632 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16254/tid=16271] ppid=16252 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16254/task/16271/stat : 16271 (java) S 16252 16254 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 344947115 3037372416 204559 33554432000 1073741824 1073778376 140734313783728 140125370940536 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=16254/tid=16272] ppid=16252 vsize=2966184 CPUtime=0.23 cores=0,2,4,6 /proc/16254/task/16272/stat : 16272 (java) S 16252 16254 15509 0 -1 4202560 40 0 0 0 9 14 0 0 20 0 20 0 344947115 3037372416 204559 33554432000 1073741824 1073778376 140734313783728 140125369887944 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16254/tid=16275] ppid=16252 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16254/task/16275/stat : 16275 (java) S 16252 16254 15509 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 344947148 3037372416 204559 33554432000 1073741824 1073778376 140734313783728 140125366727848 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=16254/tid=16276] ppid=16252 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16254/task/16276/stat : 16276 (java) S 16252 16254 15509 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 344947148 3037372416 204559 33554432000 1073741824 1073778376 140734313783728 140125365675048 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1395.71 Current children cumulated vsize (KiB) 2966184 [startup+719.901 s] /proc/loadavg: 3.88 3.87 3.83 3/217 16349 /proc/meminfo: memFree=23960644/32873648 swapFree=6852/6852 [pid=16254] ppid=16252 vsize=2966184 CPUtime=1395.72 cores=0,2,4,6 /proc/16254/stat : 16254 (java) S 16252 16254 15509 0 -1 4202496 23031 0 1 0 139463 109 0 0 20 0 21 0 344947109 3037372416 204561 33554432000 1073741824 1073778376 140734313783728 140734313774864 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/16254/statm: 741546 204561 2283 9 0 732240 0 [pid=16254/tid=16256] ppid=16252 vsize=2966184 CPUtime=0.36 cores=0,2,4,6 /proc/16254/task/16256/stat : 16256 (java) S 16252 16254 15509 0 -1 4202560 2847 0 1 0 34 2 0 0 20 0 21 0 344947110 3037372416 204561 33554432000 1073741824 1073778376 140734313783728 140126000849624 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16254/tid=16257] ppid=16252 vsize=2966184 CPUtime=2.83 cores=0,2,4,6 /proc/16254/task/16257/stat : 16257 (java) S 16252 16254 15509 0 -1 4202560 177 0 0 0 278 5 0 0 20 0 21 0 344947111 3037372416 204561 33554432000 1073741824 1073778376 140734313783728 140125867231528 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16254/tid=16258] ppid=16252 vsize=2966184 CPUtime=2.89 cores=0,2,4,6 /proc/16254/task/16258/stat : 16258 (java) S 16252 16254 15509 0 -1 4202560 189 0 0 0 283 6 0 0 20 0 21 0 344947111 3037372416 204561 33554432000 1073741824 1073778376 140734313783728 140125866178728 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=16254/tid=16259] ppid=16252 vsize=2966184 CPUtime=2.75 cores=0,2,4,6 /proc/16254/task/16259/stat : 16259 (java) S 16252 16254 15509 0 -1 4202560 149 0 0 0 271 4 0 0 20 0 21 0 344947111 3037372416 204561 33554432000 1073741824 1073778376 140734313783728 140125865126440 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16254/tid=16260] ppid=16252 vsize=2966184 CPUtime=2.87 cores=0,2,4,6 /proc/16254/task/16260/stat : 16260 (java) S 16252 16254 15509 0 -1 4202560 185 0 0 0 281 6 0 0 20 0 21 0 344947111 3037372416 204561 33554432000 1073741824 1073778376 140734313783728 140125864073640 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16254/tid=16261] ppid=16252 vsize=2966184 CPUtime=2.88 cores=0,2,4,6 /proc/16254/task/16261/stat : 16261 (java) S 16252 16254 15509 0 -1 4202560 157 0 0 0 284 4 0 0 20 0 21 0 344947111 3037372416 204561 33554432000 1073741824 1073778376 140734313783728 140125863021352 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16254/tid=16262] ppid=16252 vsize=2966184 CPUtime=2.95 cores=0,2,4,6 /proc/16254/task/16262/stat : 16262 (java) S 16252 16254 15509 0 -1 4202560 181 0 0 0 290 5 0 0 20 0 21 0 344947111 3037372416 204561 33554432000 1073741824 1073778376 140734313783728 140125861968552 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16254/tid=16263] ppid=16252 vsize=2966184 CPUtime=2.81 cores=0,2,4,6 /proc/16254/task/16263/stat : 16263 (java) S 16252 16254 15509 0 -1 4202560 173 0 0 0 278 3 0 0 20 0 21 0 344947111 3037372416 204561 33554432000 1073741824 1073778376 140734313783728 140125860916264 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=16254/tid=16264] ppid=16252 vsize=2966184 CPUtime=2.81 cores=0,2,4,6 /proc/16254/task/16264/stat : 16264 (java) S 16252 16254 15509 0 -1 4202560 176 0 0 0 275 6 0 0 20 0 21 0 344947111 3037372416 204561 33554432000 1073741824 1073778376 140734313783728 140125859863464 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16254/tid=16265] ppid=16252 vsize=2966184 CPUtime=48.64 cores=0,2,4,6 /proc/16254/task/16265/stat : 16265 (java) S 16252 16254 15509 0 -1 4202560 119 0 0 0 4841 23 0 0 20 0 21 0 344947112 3037372416 204561 33554432000 1073741824 1073778376 140734313783728 140125377255656 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16254/tid=16266] ppid=16252 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16254/task/16266/stat : 16266 (java) S 16252 16254 15509 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 344947113 3037372416 204561 33554432000 1073741824 1073778376 140734313783728 140125376201720 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16254/tid=16267] ppid=16252 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16254/task/16267/stat : 16267 (java) S 16252 16254 15509 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 21 0 344947113 3037372416 204561 33554432000 1073741824 1073778376 140734313783728 140125375149320 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16254/tid=16268] ppid=16252 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16254/task/16268/stat : 16268 (java) S 16252 16254 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 344947115 3037372416 204561 33554432000 1073741824 1073778376 140734313783728 140125374097808 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=16254/tid=16269] ppid=16252 vsize=2966184 CPUtime=0.88 cores=0,2,4,6 /proc/16254/task/16269/stat : 16269 (java) S 16252 16254 15509 0 -1 4202560 8371 0 0 0 87 1 0 0 20 0 21 0 344947115 3037372416 204561 33554432000 1073741824 1073778376 140734313783728 140125373045432 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=16254/tid=16270] ppid=16252 vsize=2966184 CPUtime=1.58 cores=0,2,4,6 /proc/16254/task/16270/stat : 16270 (java) S 16252 16254 15509 0 -1 4202560 8339 0 0 0 157 1 0 0 20 0 21 0 344947115 3037372416 204561 33554432000 1073741824 1073778376 140734313783728 140125371992632 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16254/tid=16271] ppid=16252 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16254/task/16271/stat : 16271 (java) S 16252 16254 15509 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 344947115 3037372416 204561 33554432000 1073741824 1073778376 140734313783728 140125370940536 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=16254/tid=16272] ppid=16252 vsize=2966184 CPUtime=0.23 cores=0,2,4,6 /proc/16254/task/16272/stat : 16272 (java) S 16252 16254 15509 0 -1 4202560 40 0 0 0 9 14 0 0 20 0 21 0 344947115 3037372416 204561 33554432000 1073741824 1073778376 140734313783728 140125369887944 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=16254/tid=16275] ppid=16252 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16254/task/16275/stat : 16275 (java) S 16252 16254 15509 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 344947148 3037372416 204561 33554432000 1073741824 1073778376 140734313783728 140125366727848 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=16254/tid=16276] ppid=16252 vsize=2966184 CPUtime=0 cores=0,2,4,6 /proc/16254/task/16276/stat : 16276 (java) S 16252 16254 15509 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 344947148 3037372416 204561 33554432000 1073741824 1073778376 140734313783728 140125365675048 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1395.72 Current children cumulated vsize (KiB) 2966184 Child status: 10 # WARNING: # The CPU time of some children was not reported to their father # (probably because of a missing or aborted wait()). # This 'lost CPU time' is added to the watched process CPU time. # lost CPU time (s): 3.01013 # lost CPU user time (s): 3.22009 # lost CPU system time (s): -0.21 Real time (s): 719.946 CPU time (s): 1398.93 CPU user time (s): 1397.87 CPU system time (s): 1.05981 CPU usage (%): 194.311 Max. virtual memory (cumulated for all children) (KiB): 2967476 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1394.65 system time used= 1.26981 maximum resident set size= 818284 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 23045 page faults= 1 swaps= 0 block input operations= 0 block output operations= 744 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 29618 involuntary context switches= 45218 runsolver used 2.54061 second user time and 6.42502 second system time The end
Begin job on node112 at 2012-06-04 07:36:38 IDJOB=3742769 IDBENCH=90229 IDSOLVER=2324 FILE ID=node112/3742769-1338788198 RUNJOBID= node112-1338783624-15525 PBS_JOBID= 14636841 Free space on /tmp= 71228 MiB SOLVER NAME= PB10: SAT4J PB RES // CP 2.2.0 2010-05-31 BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/normalized-BeauxArts_K68.opb COMMAND LINE= java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3742769-1338788198/watcher-3742769-1338788198 -o /tmp/evaluation-result-3742769-1338788198/solver-3742769-1338788198 -C 1800 -W 1900 -M 15500 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3742769-1338788198.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 506a6fce450974b6f48fc0e3b77d8777 RANDOM SEED=1425041876 node112.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.763 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.52 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.763 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.763 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.763 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.763 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.763 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.763 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.763 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873648 kB MemFree: 24748280 kB Buffers: 557688 kB Cached: 5975316 kB SwapCached: 0 kB Active: 2475760 kB Inactive: 4767944 kB Active(anon): 699548 kB Inactive(anon): 10920 kB Active(file): 1776212 kB Inactive(file): 4757024 kB Unevictable: 6852 kB Mlocked: 6852 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 92 kB Writeback: 0 kB AnonPages: 726976 kB Mapped: 22536 kB Shmem: 200 kB Slab: 731540 kB SReclaimable: 175284 kB SUnreclaim: 556256 kB KernelStack: 1624 kB PageTables: 5828 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 1571392 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 655360 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7680 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71224 MiB End job on node112 at 2012-06-04 07:48:38