Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SAT4J PB Resolution 2.2.1 | MSAT (TO) | 1800.14 | 1794.25 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-65-60--soft-33-100-0.wbo |
MD5SUM | 62825c7b78173675be8da33e26a62860 |
Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
Best result obtained on this benchmark | MOPT |
Best cost obtained on this benchmark | 1 |
Best CPU time to get the best result obtained on this benchmark | 0.112982 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 3900 |
Total number of constraints | 125 |
Number of soft constraints | 82 |
Number of constraints which are clauses | 65 |
Number of constraints which are cardinality constraints (but not clauses) | 60 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 60 |
Maximum length of a constraint | 65 |
Top cost | 4502 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 4501 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 66 |
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.04/0.07 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.04/0.07 c This is free software under the dual EPL/GNU LGPL licenses. 0.04/0.07 c See www.sat4j.org for details. 0.04/0.07 c version 2.2.1.v20100705 0.04/0.07 c java.runtime.name Java(TM) SE Runtime Environment 0.04/0.07 c java.vm.name Java HotSpot(TM) Server VM 0.04/0.07 c java.vm.version 11.2-b01 0.04/0.07 c java.vm.vendor Sun Microsystems Inc. 0.04/0.07 c sun.arch.data.model 32 0.04/0.07 c java.version 1.6.0_12 0.04/0.07 c os.name Linux 0.04/0.07 c os.version 2.6.18-164.el5 0.04/0.07 c os.arch i386 0.04/0.07 c Free memory 1393557488 0.04/0.07 c Max memory 1395916800 0.04/0.07 c Total memory 1395916800 0.04/0.07 c Number of processors 8 0.04/0.09 c Pseudo Boolean Optimization 0.04/0.09 c --- Begin Solver configuration --- 0.04/0.09 c Stops conflict analysis at the first Unique Implication Point 0.04/0.09 c org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure@15a3d6b 0.04/0.09 c Learn all clauses as in MiniSAT 0.04/0.09 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.04/0.09 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.04/0.09 c Expensive reason simplification 0.04/0.09 c Armin Biere (Picosat) restarts strategy 0.04/0.09 c Glucose learned constraints deletion strategy 0.04/0.09 c timeout=2147483s 0.04/0.09 c DB Simplification allowed=false 0.04/0.09 c --- End Solver configuration --- 0.04/0.09 c solving HOME/instance-2698278-1278325429.wbo 0.04/0.09 c reading problem ... 0.31/0.25 c ... done. Wall clock time 0.16s. 0.31/0.25 c #vars 3982 0.31/0.25 c #constraints 125 0.31/0.25 c constraints type 0.31/0.25 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 65 0.31/0.25 c org.sat4j.minisat.constraints.card.MinWatchCard => 22 0.31/0.25 c org.sat4j.pb.constraints.pb.MaxWatchPb => 38 1.16/0.52 c SATISFIABLE 1.16/0.52 c OPTIMIZING... 1.16/0.52 c Got one! Elapsed wall clock time (in seconds):0.427 1.16/0.52 o 244 1.16/0.59 c Got one! Elapsed wall clock time (in seconds):0.498 1.16/0.59 o 48 1.42/0.69 c Got one! Elapsed wall clock time (in seconds):0.595 1.42/0.69 o 44 1.64/0.81 c Got one! Elapsed wall clock time (in seconds):0.714 1.64/0.81 o 38 1.87/1.04 c Got one! Elapsed wall clock time (in seconds):0.941 1.87/1.04 o 29 2.07/1.27 c Got one! Elapsed wall clock time (in seconds):1.173 2.07/1.27 o 14 2.47/1.69 c Got one! Elapsed wall clock time (in seconds):1.594 2.47/1.69 o 4 3.08/2.29 c cleaning 2494 clauses out of 5000 with flag 5000/5000 3.81/2.90 c Got one! Elapsed wall clock time (in seconds):2.807 3.81/2.90 o 1 6.05/5.14 c cleaning 4247 clauses out of 8508 with flag 11002/11002 9.96/9.07 c cleaning 5621 clauses out of 11260 with flag 18001/18001 15.08/14.13 c cleaning 6796 clauses out of 13638 with flag 26000/26000 21.31/20.32 c cleaning 7902 clauses out of 15843 with flag 35001/35001 27.82/26.89 c cleaning 8969 clauses out of 17943 with flag 45003/45003 34.63/33.64 c cleaning 9483 clauses out of 18972 with flag 55001/55001 42.45/41.48 c cleaning 9724 clauses out of 19488 with flag 65000/65000 50.37/49.33 c cleaning 9853 clauses out of 19764 with flag 75000/75000 56.78/55.76 c cleaning 9934 clauses out of 19911 with flag 85000/85000 64.60/63.52 c cleaning 9966 clauses out of 19978 with flag 95001/95001 73.23/72.19 c cleaning 9982 clauses out of 20012 with flag 105001/105001 83.34/82.20 c cleaning 10001 clauses out of 20032 with flag 115003/115003 90.47/89.32 c cleaning 9997 clauses out of 20031 with flag 125003/125003 97.40/96.20 c cleaning 9985 clauses out of 20032 with flag 135001/135001 106.74/105.53 c cleaning 10005 clauses out of 20053 with flag 145007/145007 116.57/115.32 c cleaning 9989 clauses out of 20044 with flag 155003/155003 126.19/124.90 c cleaning 9990 clauses out of 20054 with flag 165002/165002 134.62/133.32 c cleaning 10011 clauses out of 20062 with flag 175000/175000 141.37/140.02 c cleaning 10018 clauses out of 20052 with flag 185001/185001 149.19/147.84 c cleaning 9992 clauses out of 20034 with flag 195001/195001 157.11/155.71 c cleaning 10004 clauses out of 20044 with flag 205003/205003 165.73/164.36 c cleaning 9991 clauses out of 20038 with flag 215001/215001 178.37/176.93 c cleaning 10006 clauses out of 20051 with flag 225005/225005 188.79/187.33 c cleaning 9972 clauses out of 20041 with flag 235001/235001 208.53/207.02 c cleaning 9984 clauses out of 20071 with flag 245003/245003 221.67/220.14 c cleaning 9996 clauses out of 20084 with flag 255000/255000 228.91/227.31 c cleaning 10023 clauses out of 20088 with flag 265000/265000 235.84/234.29 c cleaning 10010 clauses out of 20067 with flag 275002/275002 245.06/243.48 c cleaning 10007 clauses out of 20057 with flag 285002/285002 254.80/253.18 c cleaning 9999 clauses out of 20048 with flag 295000/295000 265.53/263.82 c cleaning 9993 clauses out of 20053 with flag 305004/305004 279.36/277.62 c cleaning 9995 clauses out of 20056 with flag 315000/315000 290.79/289.00 c cleaning 9978 clauses out of 20065 with flag 325004/325004 305.41/303.61 c cleaning 10021 clauses out of 20085 with flag 335002/335002 317.44/315.65 c cleaning 10009 clauses out of 20063 with flag 345001/345001 326.97/325.11 c cleaning 9947 clauses out of 20055 with flag 355002/355002 349.91/348.00 c cleaning 9954 clauses out of 20110 with flag 365004/365004 370.36/368.43 c cleaning 9983 clauses out of 20152 with flag 375000/375000 383.18/381.27 c cleaning 9982 clauses out of 20172 with flag 385003/385003 392.90/390.98 c cleaning 10080 clauses out of 20187 with flag 395000/395000 399.53/397.59 c cleaning 10047 clauses out of 20109 with flag 405002/405002 406.96/404.98 c cleaning 9988 clauses out of 20061 with flag 415001/415001 416.09/414.08 c cleaning 10013 clauses out of 20075 with flag 425003/425003 426.83/424.78 c cleaning 10012 clauses out of 20060 with flag 435001/435001 440.76/438.63 c cleaning 9982 clauses out of 20047 with flag 445000/445000 450.60/448.40 c cleaning 9997 clauses out of 20069 with flag 455004/455004 464.42/462.24 c cleaning 9980 clauses out of 20069 with flag 465001/465001 476.55/474.34 c cleaning 9994 clauses out of 20091 with flag 475003/475003 486.98/484.71 c cleaning 9999 clauses out of 20094 with flag 485000/485000 498.52/496.29 c cleaning 10024 clauses out of 20096 with flag 495001/495001 511.75/509.48 c cleaning 10014 clauses out of 20072 with flag 505001/505001 526.18/523.87 c cleaning 10008 clauses out of 20060 with flag 515003/515003 538.71/536.30 c cleaning 9981 clauses out of 20049 with flag 525000/525000 553.75/551.31 c cleaning 10003 clauses out of 20072 with flag 535004/535004 568.79/566.40 c cleaning 9994 clauses out of 20066 with flag 545001/545001 583.42/580.91 c cleaning 9994 clauses out of 20071 with flag 555000/555000 596.65/594.10 c cleaning 9990 clauses out of 20078 with flag 565001/565001 607.59/605.04 c cleaning 10012 clauses out of 20090 with flag 575003/575003 620.01/617.41 c cleaning 10004 clauses out of 20077 with flag 585002/585002 626.04/623.49 c cleaning 10001 clauses out of 20071 with flag 595000/595000 632.26/629.60 c cleaning 10002 clauses out of 20070 with flag 605000/605000 641.28/638.61 c cleaning 9998 clauses out of 20069 with flag 615001/615001 650.11/647.46 c cleaning 10000 clauses out of 20073 with flag 625003/625003 659.93/657.25 c cleaning 10014 clauses out of 20072 with flag 635002/635002 671.17/668.41 c cleaning 10005 clauses out of 20056 with flag 645000/645000 678.41/675.62 c cleaning 10010 clauses out of 20052 with flag 655001/655001 686.73/683.96 c cleaning 10007 clauses out of 20041 with flag 665000/665000 700.46/697.62 c cleaning 10003 clauses out of 20036 with flag 675002/675002 711.78/708.95 c cleaning 9991 clauses out of 20034 with flag 685003/685003 723.61/720.74 c cleaning 10001 clauses out of 20040 with flag 695000/695000 735.34/732.41 c cleaning 10003 clauses out of 20040 with flag 705001/705001 749.07/746.14 c cleaning 10003 clauses out of 20037 with flag 715001/715001 758.90/755.94 c cleaning 9994 clauses out of 20033 with flag 725000/725000 771.22/768.26 c cleaning 9997 clauses out of 20041 with flag 735002/735002 783.25/780.22 c cleaning 9994 clauses out of 20042 with flag 745000/745000 794.68/791.66 c cleaning 9994 clauses out of 20048 with flag 755000/755000 806.61/803.59 c cleaning 10005 clauses out of 20056 with flag 765002/765002 820.43/817.37 c cleaning 9998 clauses out of 20049 with flag 775000/775000 831.14/828.02 c cleaning 9999 clauses out of 20051 with flag 785000/785000 839.68/836.58 c cleaning 9996 clauses out of 20058 with flag 795006/795006 849.49/846.35 c cleaning 9998 clauses out of 20057 with flag 805001/805001 859.33/856.16 c cleaning 9994 clauses out of 20058 with flag 815000/815000 869.06/865.84 c cleaning 10004 clauses out of 20064 with flag 825000/825000 878.29/875.01 c cleaning 9988 clauses out of 20071 with flag 835011/835011 891.82/888.53 c cleaning 9971 clauses out of 20073 with flag 845001/845001 905.15/901.83 c cleaning 9996 clauses out of 20103 with flag 855002/855002 919.79/916.41 c cleaning 10026 clauses out of 20107 with flag 865002/865002 930.62/927.24 c cleaning 10012 clauses out of 20079 with flag 875000/875000 941.24/937.89 c cleaning 10002 clauses out of 20068 with flag 885001/885001 948.59/945.14 c cleaning 10027 clauses out of 20066 with flag 895001/895001 956.32/952.89 c cleaning 9993 clauses out of 20038 with flag 905000/905000 964.25/960.72 c cleaning 10005 clauses out of 20045 with flag 915000/915000 972.50/968.91 c cleaning 10002 clauses out of 20043 with flag 925003/925003 982.73/979.19 c cleaning 9985 clauses out of 20038 with flag 935000/935000 989.77/986.19 c cleaning 10005 clauses out of 20054 with flag 945001/945001 995.69/992.10 c cleaning 10004 clauses out of 20051 with flag 955003/955003 1001.61/997.92 c cleaning 9995 clauses out of 20044 with flag 965000/965000 1006.73/1003.10 c cleaning 9995 clauses out of 20051 with flag 975002/975002 1014.26/1010.51 c cleaning 9985 clauses out of 20054 with flag 985000/985000 1022.29/1018.59 c cleaning 10002 clauses out of 20069 with flag 995000/995000 1032.91/1029.11 c cleaning 10012 clauses out of 20071 with flag 1005004/1005004 1042.53/1038.77 c cleaning 10010 clauses out of 20057 with flag 1015002/1015002 1051.47/1047.68 c cleaning 10003 clauses out of 20047 with flag 1025002/1025002 1061.20/1057.34 c cleaning 10001 clauses out of 20044 with flag 1035002/1035002 1071.82/1067.96 c cleaning 9997 clauses out of 20042 with flag 1045001/1045001 1084.45/1080.54 c cleaning 10007 clauses out of 20048 with flag 1055004/1055004 1098.00/1094.00 c cleaning 9997 clauses out of 20037 with flag 1065000/1065000 1108.93/1104.90 c cleaning 9998 clauses out of 20044 with flag 1075004/1075004 1118.96/1114.98 c cleaning 9979 clauses out of 20044 with flag 1085002/1085002 1134.68/1130.65 c cleaning 10013 clauses out of 20063 with flag 1095000/1095000 1148.23/1144.16 c cleaning 10001 clauses out of 20056 with flag 1105006/1105006 1168.05/1164.00 c cleaning 10002 clauses out of 20049 with flag 1115000/1115000 1186.60/1182.49 c cleaning 10000 clauses out of 20049 with flag 1125002/1125002 1201.11/1196.94 c cleaning 9962 clauses out of 20048 with flag 1135001/1135001 1219.74/1215.59 c cleaning 10023 clauses out of 20087 with flag 1145002/1145002 1234.10/1229.85 c cleaning 10017 clauses out of 20068 with flag 1155006/1155006 1250.72/1246.41 c cleaning 10005 clauses out of 20048 with flag 1165003/1165003 1268.35/1264.07 c cleaning 9975 clauses out of 20045 with flag 1175005/1175005 1280.88/1276.50 c cleaning 9987 clauses out of 20065 with flag 1185000/1185000 1293.82/1289.46 c cleaning 10011 clauses out of 20078 with flag 1195000/1195000 1307.35/1302.97 c cleaning 10014 clauses out of 20069 with flag 1205002/1205002 1323.59/1319.17 c cleaning 10005 clauses out of 20054 with flag 1215001/1215001 1336.83/1332.34 c cleaning 9990 clauses out of 20049 with flag 1225001/1225001 1350.96/1346.42 c cleaning 10008 clauses out of 20060 with flag 1235002/1235002 1363.18/1358.68 c cleaning 10002 clauses out of 20050 with flag 1245000/1245000 1377.82/1373.25 c cleaning 10003 clauses out of 20048 with flag 1255000/1255000 1391.35/1386.76 c cleaning 10001 clauses out of 20045 with flag 1265000/1265000 1403.37/1398.75 c cleaning 9998 clauses out of 20044 with flag 1275000/1275000 1415.39/1410.74 c cleaning 9999 clauses out of 20048 with flag 1285002/1285002 1427.69/1423.04 c cleaning 10001 clauses out of 20047 with flag 1295000/1295000 1443.71/1439.04 c cleaning 10003 clauses out of 20048 with flag 1305002/1305002 1458.87/1454.16 c cleaning 9995 clauses out of 20043 with flag 1315000/1315000 1473.80/1469.05 c cleaning 10002 clauses out of 20050 with flag 1325002/1325002 1480.03/1475.27 c cleaning 10000 clauses out of 20046 with flag 1335000/1335000 1487.88/1483.03 c cleaning 9995 clauses out of 20046 with flag 1345000/1345000 1496.61/1491.73 c cleaning 10007 clauses out of 20056 with flag 1355005/1355005 1506.65/1501.76 c cleaning 9999 clauses out of 20047 with flag 1365003/1365003 1518.97/1514.05 c cleaning 10002 clauses out of 20048 with flag 1375003/1375003 1530.31/1525.37 c cleaning 9981 clauses out of 20043 with flag 1385000/1385000 1537.36/1532.39 c cleaning 10001 clauses out of 20063 with flag 1395001/1395001 1546.27/1541.20 c cleaning 10002 clauses out of 20062 with flag 1405001/1405001 1555.02/1549.97 c cleaning 10005 clauses out of 20063 with flag 1415004/1415004 1562.44/1557.37 c cleaning 10001 clauses out of 20054 with flag 1425000/1425000 1569.57/1564.49 c cleaning 10001 clauses out of 20054 with flag 1435001/1435001 1576.09/1570.96 c cleaning 10000 clauses out of 20052 with flag 1445000/1445000 1582.30/1577.19 c cleaning 10001 clauses out of 20053 with flag 1455001/1455001 1591.02/1585.89 c cleaning 9895 clauses out of 20051 with flag 1465000/1465000 1605.95/1600.79 c cleaning 10011 clauses out of 20156 with flag 1475000/1475000 1618.67/1613.44 c cleaning 9958 clauses out of 20145 with flag 1485000/1485000 1627.81/1622.53 c cleaning 10017 clauses out of 20188 with flag 1495001/1495001 1637.44/1632.17 c cleaning 9976 clauses out of 20172 with flag 1505002/1505002 1646.67/1641.36 c cleaning 10037 clauses out of 20195 with flag 1515001/1515001 1655.10/1649.74 c cleaning 10051 clauses out of 20158 with flag 1525001/1525001 1665.03/1659.67 c cleaning 10024 clauses out of 20107 with flag 1535001/1535001 1674.26/1668.87 c cleaning 10013 clauses out of 20084 with flag 1545002/1545002 1683.69/1678.21 c cleaning 10008 clauses out of 20070 with flag 1555001/1555001 1694.03/1688.54 c cleaning 10004 clauses out of 20065 with flag 1565004/1565004 1702.36/1696.89 c cleaning 9999 clauses out of 20059 with flag 1575002/1575002 1711.48/1705.92 c cleaning 10002 clauses out of 20060 with flag 1585002/1585002 1721.90/1716.36 c cleaning 9998 clauses out of 20056 with flag 1595000/1595000 1731.32/1725.76 c cleaning 10002 clauses out of 20059 with flag 1605001/1605001 1742.66/1737.08 c cleaning 9999 clauses out of 20057 with flag 1615001/1615001 1751.68/1746.01 c cleaning 10005 clauses out of 20061 with flag 1625004/1625004 1762.61/1756.92 c cleaning 9983 clauses out of 20052 with flag 1635000/1635000 1774.85/1769.16 c cleaning 10007 clauses out of 20069 with flag 1645000/1645000 1787.79/1782.09 c cleaning 10004 clauses out of 20062 with flag 1655000/1655000 1800.03/1794.21 c starts : 217 1800.03/1794.21 c conflicts : 1663995 1800.03/1794.21 c decisions : 2734507 1800.03/1794.21 c propagations : 70971193 1800.03/1794.21 c inspects : 2096950410 1800.03/1794.21 c learnt literals : 0 1800.03/1794.21 c learnt binary clauses : 0 1800.03/1794.21 c learnt ternary clauses : 0 1800.03/1794.21 c learnt clauses : 1663994 1800.03/1794.21 c ignored clauses : 0 1800.03/1794.21 c root simplifications : 0 1800.03/1794.21 c removed literals (reason simplification) : 7803897 1800.03/1794.21 c reason swapping (by a shorter reason) : 0 1800.03/1794.21 c Calls to reduceDB : 167 1800.03/1794.21 c number of reductions to clauses (during analyze) : 0 1800.03/1794.21 c number of learned constraints concerned by reduction : 0 1800.03/1794.21 c number of learning phase by resolution : 0 1800.03/1794.21 c number of learning phase by cutting planes : 0 1800.03/1794.21 c speed (assignments/second) : 39619.71573876102 1800.03/1794.21 c non guided choices 161013 1800.03/1794.22 c learnt constraints type 1800.03/1794.22 c org.sat4j.minisat.constraints.cnf.LearntHTClause => 19056 1800.03/1794.22 c constraints type 1800.03/1794.22 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 65 1800.03/1794.22 c org.sat4j.minisat.constraints.card.MinWatchCard => 22 1800.03/1794.22 c org.sat4j.pb.constraints.pb.MaxWatchPb => 39 1800.03/1794.22 s SATISFIABLE 1800.03/1794.23 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 1800.03/1794.24 c objective function=1 1800.03/1794.24 c Total wall clock time (in seconds): 1794.142
OK 1
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2698278-1278325429/watcher-2698278-1278325429 -o /tmp/evaluation-result-2698278-1278325429/solver-2698278-1278325429 -C 1800 -W 2000 -M 3800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar HOME/instance-2698278-1278325429.wbo 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): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.24 2.07 1.71 3/200 4080 /proc/meminfo: memFree=32229660/32951124 swapFree=67111528/67111528 [pid=4080] ppid=4078 vsize=13440 CPUtime=0 /proc/4080/stat : 4080 (java) S 4078 4080 3906 0 -1 4202496 1059 0 0 0 0 0 0 0 23 0 2 0 756249 13762560 543 4089446400 134512640 134550932 4294017328 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0 /proc/4080/statm: 3360 552 242 10 0 1203 0 [pid=4080/tid=4081] ppid=4078 vsize=13488 CPUtime=0 /proc/4080/task/4081/stat : 4081 (java) R 4078 4080 3906 0 -1 4202560 36 0 0 0 0 0 0 0 24 0 2 0 756250 13811712 559 4089446400 134512640 134550932 4294017328 18446744073709551615 3330644 0 0 4096 0 0 0 0 -1 1 0 0 0 [startup+0.0583161 s] /proc/loadavg: 2.24 2.07 1.71 3/200 4080 /proc/meminfo: memFree=32229660/32951124 swapFree=67111528/67111528 [pid=4080] ppid=4078 vsize=1527692 CPUtime=0.04 /proc/4080/stat : 4080 (java) S 4078 4080 3906 0 -1 4202496 4114 0 1 0 4 0 0 0 23 0 18 0 756249 1564356608 3554 4089446400 134512640 134550932 4294017328 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/4080/statm: 381923 3554 1080 10 0 379226 0 [pid=4080/tid=4081] ppid=4078 vsize=1527692 CPUtime=0.04 /proc/4080/task/4081/stat : 4081 (java) R 4078 4080 3906 0 -1 4202560 3032 0 1 0 4 0 0 0 25 0 18 0 756250 1564356608 3554 4089446400 134512640 134550932 4294017328 18446744073709551615 103394451 0 4 0 16800975 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 1527692 [startup+0.102337 s] /proc/loadavg: 2.24 2.07 1.71 3/200 4080 /proc/meminfo: memFree=32229660/32951124 swapFree=67111528/67111528 [pid=4080] ppid=4078 vsize=1530036 CPUtime=0.11 /proc/4080/stat : 4080 (java) S 4078 4080 3906 0 -1 4202496 5243 0 1 0 11 0 0 0 23 0 18 0 756249 1566756864 4681 4089446400 134512640 134550932 4294017328 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/4080/statm: 382509 4681 1347 10 0 379812 0 [pid=4080/tid=4081] ppid=4078 vsize=1530036 CPUtime=0.08 /proc/4080/task/4081/stat : 4081 (java) R 4078 4080 3906 0 -1 4202560 3598 0 1 0 8 0 0 0 18 0 18 0 756250 1566756864 4681 4089446400 134512640 134550932 4294017328 18446744073709551615 4109555556 0 4 0 16800975 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 0.11 Current children cumulated vsize (KiB) 1530036 [startup+0.300301 s] /proc/loadavg: 2.24 2.07 1.71 3/200 4080 /proc/meminfo: memFree=32229660/32951124 swapFree=67111528/67111528 [pid=4080] ppid=4078 vsize=1534520 CPUtime=0.57 /proc/4080/stat : 4080 (java) S 4078 4080 3906 0 -1 4202496 8576 0 1 0 56 1 0 0 23 0 19 0 756249 1571348480 7423 4089446400 134512640 134550932 4294017328 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/4080/statm: 383630 7423 1414 10 0 380933 0 [pid=4080/tid=4081] ppid=4078 vsize=1534520 CPUtime=0.28 /proc/4080/task/4081/stat : 4081 (java) R 4078 4080 3906 0 -1 4202560 5217 0 1 0 27 1 0 0 19 0 19 0 756250 1571348480 7423 4089446400 134512640 134550932 4294017328 18446744073709551615 4109547758 0 4 0 16800975 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 0.57 Current children cumulated vsize (KiB) 1534520 [startup+0.701207 s] /proc/loadavg: 2.24 2.07 1.71 3/200 4080 /proc/meminfo: memFree=32229660/32951124 swapFree=67111528/67111528 [pid=4080] ppid=4078 vsize=1539976 CPUtime=1.53 /proc/4080/stat : 4080 (java) S 4078 4080 3906 0 -1 4202496 11758 0 1 0 151 2 0 0 23 0 19 0 756249 1576935424 9678 4089446400 134512640 134550932 4294017328 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/4080/statm: 384994 9679 1427 10 0 382297 0 [pid=4080/tid=4081] ppid=4078 vsize=1539976 CPUtime=0.68 /proc/4080/task/4081/stat : 4081 (java) R 4078 4080 3906 0 -1 4202560 6117 0 1 0 67 1 0 0 18 0 19 0 756250 1576935424 9679 4089446400 134512640 134550932 4294017328 18446744073709551615 106834530 0 4 0 16800975 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 1.53 Current children cumulated vsize (KiB) 1539976 [startup+1.50109 s] /proc/loadavg: 2.24 2.07 1.71 3/219 4099 /proc/meminfo: memFree=32194612/32951124 swapFree=67111528/67111528 [pid=4080] ppid=4078 vsize=1539976 CPUtime=2.37 /proc/4080/stat : 4080 (java) S 4078 4080 3906 0 -1 4202496 13348 0 1 0 235 2 0 0 23 0 19 0 756249 1576935424 11267 4089446400 134512640 134550932 4294017328 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/4080/statm: 384994 11267 1427 10 0 382297 0 [pid=4080/tid=4081] ppid=4078 vsize=1539976 CPUtime=1.48 /proc/4080/task/4081/stat : 4081 (java) R 4078 4080 3906 0 -1 4202560 7702 0 1 0 147 1 0 0 18 0 19 0 756250 1576935424 11267 4089446400 134512640 134550932 4294017328 18446744073709551615 4109954335 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=4080/tid=4083] ppid=4078 vsize=1539976 CPUtime=0 /proc/4080/task/4083/stat : 4083 (java) S 4078 4080 3906 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 756250 1576935424 11267 4089446400 134512640 134550932 4294017328 18446744073709551615 4294960144 0 4 0 16800975 18446604453917112448 0 0 -1 2 0 0 0 [pid=4080/tid=4084] ppid=4078 vsize=1539976 CPUtime=0 /proc/4080/task/4084/stat : 4084 (java) S 4078 4080 3906 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 756250 1576935424 11267 4089446400 134512640 134550932 4294017328 18446744073709551615 4294960144 0 4 0 16800975 18446604453917112448 0 0 -1 2 0 0 0 [pid=4080/tid=4085] ppid=4078 vsize=1539976 CPUtime=0 /proc/4080/task/4085/stat : 4085 (java) S 4078 4080 3906 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 756250 1576935424 11267 4089446400 134512640 134550932 4294017328 18446744073709551615 4294960144 0 4 0 16800975 18446604453917112448 0 0 -1 2 0 0 0 [pid=4080/tid=4086] ppid=4078 vsize=1539976 CPUtime=0 /proc/4080/task/4086/stat : 4086 (java) S 4078 4080 3906 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 756250 1576935424 11267 4089446400 134512640 134550932 4294017328 18446744073709551615 4294960144 0 4 0 16800975 18446604453917112448 0 0 -1 2 0 0 0 [pid=4080/tid=4087] ppid=4078 vsize=1539976 CPUtime=0 /proc/4080/task/4087/stat : 4087 (java) S 4078 4080 3906 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 756250 1576935424 11267 4089446400 134512640 134550932 4294017328 18446744073709551615 4294960144 0 4 0 16800975 18446604453917112448 0 0 -1 2 0 0 0 [pid=4080/tid=4088] ppid=4078 vsize=1539976 CPUtime=0 /proc/4080/task/4088/stat : 4088 (java) S 4078 4080 3906 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 756250 1576935424 11267 4089446400 134512640 134550932 4294017328 18446744073709551615 4294960144 0 4 0 16800975 18446604453917112448 0 0 -1 2 0 0 0 [pid=4080/tid=4089] ppid=4078 vsize=1539976 CPUtime=0 /proc/4080/task/4089/stat : 4089 (java) S 4078 4080 3906 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 756250 1576935424 11267 4089446400 134512640 134550932 4294017328 18446744073709551615 4294960144 0 4 0 16800975 18446604453917112448 0 0 -1 2 0 0 0 [pid=4080/tid=4090] ppid=4078 vsize=1539976 CPUtime=0 /proc/4080/task/4090/stat : 4090 (java) S 4078 4080 3906 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 756250 1576935424 11267 4089446400 134512640 134550932 4294017328 18446744073709551615 4294960144 0 4 0 16800975 18446604453917112448 0 0 -1 2 0 0 0 [pid=4080/tid=4091] ppid=4078 vsize=1539976 CPUtime=0 /proc/4080/task/4091/stat : 4091 (java) S 4078 4080 3906 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 756251 1576935424 11267 4089446400 134512640 134550932 4294017328 18446744073709551615 4294960144 0 0 0 16800975 18446604453917112448 0 0 -1 0 0 0 0 [pid=4080/tid=4092] ppid=4078 vsize=1539976 CPUtime=0 /proc/4080/task/4092/stat : 4092 (java) S 4078 4080 3906 0 -1 4202560 10 0 0 0 0 0 0 0 25 0 19 0 756252 1576935424 11267 4089446400 134512640 134550932 4294017328 18446744073709551615 4294960144 0 4 0 16800975 18446604453917112448 0 0 -1 2 0 0 0 [pid=4080/tid=4093] ppid=4078 vsize=1539976 CPUtime=0 /proc/4080/task/4093/stat : 4093 (java) S 4078 4080 3906 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 19 0 756252 1576935424 11267 4089446400 134512640 134550932 4294017328 18446744073709551615 4294960144 0 4 0 16800975 18446604453917112448 0 0 -1 2 0 0 0 [pid=4080/tid=4094] ppid=4078 vsize=1539976 CPUtime=0 /proc/4080/task/4094/stat : 4094 (java) S 4078 4080 3906 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 756254 1576935424 11267 4089446400 134512640 134550932 4294017328 18446744073709551615 4294960144 0 4 0 16800975 18446604453917112448 0 0 -1 2 0 0 0 [pid=4080/tid=4095] ppid=4078 vsize=1539976 CPUtime=0.43 /proc/4080/task/4095/stat : 4095 (java) S 4078 4080 3906 0 -1 4202560 1159 0 0 0 43 0 0 0 15 0 19 0 756254 1576935424 11267 4089446400 134512640 134550932 4294017328 18446744073709551615 4294960144 0 4 0 16800975 18446604453917112448 0 0 -1 7 0 0 0 [pid=4080/tid=4096] ppid=4078 vsize=1539976 CPUtime=0.44 /proc/4080/task/4096/stat : 4096 (java) S 4078 4080 3906 0 -1 4202560 3414 0 0 0 44 0 0 0 15 0 19 0 756254 1576935424 11267 4089446400 134512640 134550932 4294017328 18446744073709551615 4294960144 0 4 0 16800975 18446604453917112448 0 0 -1 6 0 0 0 [pid=4080/tid=4097] ppid=4078 vsize=1539976 CPUtime=0 /proc/4080/task/4097/stat : 4097 (java) S 4078 4080 3906 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 756254 1576935424 11267 4089446400 134512640 134550932 4294017328 18446744073709551615 4294960144 0 4 0 16800975 18446604453917112448 0 0 -1 2 0 0 0 [pid=4080/tid=4098] ppid=4078 vsize=1539976 CPUtime=0 /proc/4080/task/4098/stat : 4098 (java) S 4078 4080 3906 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 756254 1576935424 11267 4089446400 134512640 134550932 4294017328 18446744073709551615 4294960144 0 4 0 16800975 18446604453917112448 0 0 -1 4 0 0 0 [pid=4080/tid=4099] ppid=4078 vsize=1539976 CPUtime=0 /proc/4080/task/4099/stat : 4099 (java) S 4078 4080 3906 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 19 0 756276 1576935424 11267 4089446400 134512640 134550932 4294017328 18446744073709551615 4294960144 0 4 0 16800975 18446604453917112448 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 2.37 Current children cumulated vsize (KiB) 1539976 [startup+3.10077 s] /proc/loadavg: 2.22 2.07 1.71 3/219 4099 /proc/meminfo: memFree=32185808/32951124 swapFree=67111528/67111528 [pid=4080] ppid=4078 vsize=1539976 CPUtime=4.01 /proc/4080/stat : 4080 (java) S 4078 4080 3906 0 -1 4202496 17975 0 1 0 398 3 0 0 23 0 19 0 756249 1576935424 15866 4089446400 134512640 134550932 4294017328 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/4080/statm: 384994 15866 1441 10 0 382297 0 [pid=4080/tid=4081] ppid=4078 vsize=1539976 CPUtime=3.07 /proc/4080/task/4081/stat : 4081 (java) R 4078 4080 3906 0 -1 4202560 9067 0 1 0 305 2 0 0 20 0 19 0 756250 1576935424 15866 4089446400 134512640 134550932 4294017328 18446744073709551615 4109990683 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=4080/tid=4083] ppid=4078 vsize=1539976 CPUtime=0 /proc/4080/task/4083/stat : 4083 (java) S 4078 4080 3906 0 -1 4202560 325 0 0 0 0 0 0 0 18 0 19 0 756250 1576935424 15866 4089446400 134512640 134550932 4294017328 18446744073709551615 4294960144 0 4 0 16800975 18446604453917112448 0 0 -1 6 0 0 0 [pid=4080/tid=4084] ppid=4078 vsize=1539976 CPUtime=0 /proc/4080/task/4084/stat : 4084 (java) S 4078 4080 3906 0 -1 4202560 606 0 0 0 0 0 0 0 18 0 19 0 756250 1576935424 15866 4089446400 134512640 134550932 4294017328 18446744073709551615 4294960144 0 4 0 16800975 18446604453917112448 0 0 -1 6 0 0 0 [pid=4080/tid=4085] ppid=4078 vsize=1539976 CPUtime=0 /proc/4080/task/4085/stat : 4085 (java) S 4078 4080 3906 0 -1 4202560 679 0 0 0 0 0 0 0 18 0 19 0 756250 1576935424 15866 4089446400 134512640 134550932 4294017328 18446744073709551615 4294960144 0 4 0 16800975 18446604453917112448 0 0 -1 4 0 0 0 [pid=4080/tid=4086] ppid=4078 vsize=1539976 CPUtime=0 /proc/4080/task/4086/stat : 4086 (java) S 4078 4080 3906 0 -1 4202560 69 0 0 0 0 0 0 0 18 0 19 0 756250 1576935424 15866 4089446400 134512640 134550932 4294017328 18446744073709551615 4294960144 0 4 0 16800975 18446604453917112448 0 0 -1 4 0 0 0 [pid=4080/tid=4087] ppid=4078 vsize=1539976 CPUtime=0 /proc/4080/task/4087/stat : 4087 (java) S 4078 4080 3906 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 756250 1576935424 15866 4089446400 134512640 134550932 4294017328 18446744073709551615 4294960144 0 4 0 16800975 18446604453917112448 0 0 -1 2 0 0 0 [pid=4080/tid=4088] ppid=4078 vsize=1539976 CPUtime=0 /proc/4080/task/4088/stat : 4088 (java) S 4078 4080 3906 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 756250 1576935424 15866 4089446400 134512640 134550932 4294017328 18446744073709551615 4294960144 0 4 0 16800975 18446604453917112448 0 0 -1 2 0 0 0 [pid=4080/tid=4089] ppid=4078 vsize=1539976 CPUtime=0 /proc/4080/task/4089/stat : 4089 (java) S 4078 4080 3906 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 756250 1576935424 15866 4089446400 134512640 134550932 4294017328 18446744073709551615 4294960144 0 4 0 16800975 18446604453917112448 0 0 -1 2 0 0 0 [pid=4080/tid=4090] ppid=4078 vsize=1539976 CPUtime=0 /proc/4080/task/4090/stat : 4090 (java) S 4078 4080 3906 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 756250 1576935424 15866 4089446400 134512640 134550932 4294017328 18446744073709551615 4294960144 0 4 0 16800975 18446604453917112448 0 0 -1 2 0 0 0 [pid=4080/tid=4091] ppid=4078 vsize=1539976 CPUtime=0.01 /proc/4080/task/4091/stat : 4091 (java) S 4078 4080 3906 0 -1 4202560 1578 0 0 0 1 0 0 0 15 0 19 0 756251 1576935424 15866 4089446400 134512640 134550932 4294017328 18446744073709551615 4294960144 0 0 0 16800975 18446604453917112448 0 0 -1 0 0 0 0 [pid=4080/tid=4092] ppid=4078 vsize=1539976 CPUtime=0 /proc/4080/task/4092/stat : 4092 (java) S 4078 4080 3906 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 756252 1576935424 15866 4089446400 134512640 134550932 4294017328 18446744073709551615 4294960144 0 4 0 16800975 18446604453917112448 0 0 -1 2 0 0 0 [pid=4080/tid=4093] ppid=4078 vsize=1539976 CPUtime=0 /proc/4080/task/4093/stat : 4093 (java) S 4078 4080 3906 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 756252 1576935424 15866 4089446400 134512640 134550932 4294017328 18446744073709551615 4294960144 0 4 0 16800975 18446604453917112448 0 0 -1 2 0 0 0 [pid=4080/tid=4094] ppid=4078 vsize=1539976 CPUtime=0 /proc/4080/task/4094/stat : 4094 (java) S 4078 4080 3906 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 756254 1576935424 15866 4089446400 134512640 134550932 4294017328 18446744073709551615 4294960144 0 4 0 16800975 18446604453917112448 0 0 -1 2 0 0 0 [pid=4080/tid=4095] ppid=4078 vsize=1539976 CPUtime=0.45 /proc/4080/task/4095/stat : 4095 (java) S 4078 4080 3906 0 -1 4202560 1162 0 0 0 45 0 0 0 15 0 19 0 756254 1576935424 15866 4089446400 134512640 134550932 4294017328 18446744073709551615 4294960144 0 4 0 16800975 18446604453917112448 0 0 -1 7 0 0 0 [pid=4080/tid=4096] ppid=4078 vsize=1539976 CPUtime=0.45 /proc/4080/task/4096/stat : 4096 (java) S 4078 4080 3906 0 -1 4202560 3420 0 0 0 45 0 0 0 15 0 19 0 756254 1576935424 15866 4089446400 134512640 134550932 4294017328 18446744073709551615 4294960144 0 4 0 16800975 18446604453917112448 0 0 -1 6 0 0 0 [pid=4080/tid=4097] ppid=4078 vsize=1539976 CPUtime=0 /proc/4080/task/4097/stat : 4097 (java) S 4078 4080 3906 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 756254 1576935424 15866 4089446400 134512640 134550932 4294017328 18446744073709551615 4294960144 0 4 0 16800975 18446604453917112448 0 0 -1 2 0 0 0 [pid=4080/tid=4098] ppid=4078 vsize=1539976 CPUtime=0 /proc/4080/task/4098/stat : 4098 (java) S 4078 4080 3906 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 756254 1576935424 15866 4089446400 134512640 134550932 4294017328 18446744073709551615 4294960144 0 4 0 16800975 18446604453917112448 0 0 -1 4 0 0 0 [pid=4080/tid=4099] ppid=4078 vsize=1539976 CPUtime=0 /proc/4080/task/4099/stat : 4099 (java) S 4078 4080 3906 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 19 0 756276 1576935424 15866 4089446400 134512640 134550932 4294017328 18446744073709551615 4294960144 0 4 0 16800975 18446604453917112448 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4.01 Current children cumulated vsize (KiB) 1539976 [startup+6.30122 s] /proc/loadavg: 2.22 2.07 1.71 3/219 4099 /proc/meminfo: memFree=32154880/32951124 swapFree=67111528/67111528 [pid=4080] ppid=4078 vsize=1539976 CPUtime=7.26 /proc/4080/stat : 4080 (java) S 4078 4080 3906 0 -1 4202496 22278 0 1 0 722 4 0 0 23 0 19 0 756249 1576935424 20153 4089446400 134512640 134550932 4294017328 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/4080/statm: 384994 20153 1441 10 0 382297 0 [pid=4080/tid=4081] ppid=4078 vsize=1539976 CPUtime=6.25 /proc/4080/task/4081/stat : 4081 (java) R 4078 4080 3906 0 -1 4202560 9073 0 1 0 623 2 0 0 25 0 19 0 756250 1576935424 20153 4089446400 134512640 134550932 4294017328 18446744073709551615 4109991341 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=4080/tid=4083] ppid=4078 vsize=1539976 CPUtime=0 /proc/4080/task/4083/stat : 4083 (java) S 4078 4080 3906 0 -1 4202560 403 0 0 0 0 0 0 0 18 0 19 0 756250 1576935424 20153 4089446400 134512640 134550932 4294017328 18446744073709551615 4294960144 0 4 0 16800975 18446604453917112448 0 0 -1 6 0 0 0 [pid=4080/tid=4084] ppid=4078 vsize=1539976 CPUtime=0 /proc/4080/task/4084/stat : 4084 (java) S 4078 4080 3906 0 -1 4202560 636 0 0 0 0 0 0 0 15 0 19 0 756250 1576935424 20153 4089446400 134512640 134550932 4294017328 18446744073709551615 4294960144 0 4 0 16800975 18446604453917112448 0 0 -1 6 0 0 0 [pid=4080/tid=4085] ppid=4078 vsize=1539976 CPUtime=0 /proc/4080/task/4085/stat : 4085 (java) S 4078 4080 3906 0 -1 4202560 762 0 0 0 0 0 0 0 18 0 19 0 756250 1576935424 20153 4089446400 134512640 134550932 4294017328 18446744073709551615 4294960144 0 4 0 16800975 18446604453917112448 0 0 -1 4 0 0 0 [pid=4080/tid=4086] ppid=4078 vsize=1539976 CPUtime=0 /proc/4080/task/4086/stat : 4086 (java) S 4078 4080 3906 0 -1 4202560 754 0 0 0 0 0 0 0 15 0 19 0 756250 1576935424 20153 4089446400 134512640 134550932 4294017328 18446744073709551615 4294960144 0 4 0 16800975 18446604453917112448 0 0 -1 4 0 0 0 [pid=4080/tid=4087] ppid=4078 vsize=1539976 CPUtime=0 /proc/4080/task/4087/stat : 4087 (java) S 4078 4080 3906 0 -1 4202560 528 0 0 0 0 0 0 0 15 0 19 0 756250 1576935424 20153 4089446400 134512640 134550932 4294017328 18446744073709551615 4294960144 0 4 0 16800975 18446604453917112448 0 0 -1 6 0 0 0 [pid=4080/tid=4088] ppid=4078 vsize=1539976 CPUtime=0 /proc/4080/task/4088/stat : 4088 (java) S 4078 4080 3906 0 -1 4202560 685 0 0 0 0 0 0 0 16 0 19 0 756250 1576935424 20153 4089446400 134512640 134550932 4294017328 18446744073709551615 4294960144 0 4 0 16800975 18446604453917112448 0 0 -1 4 0 0 0 [pid=4080/tid=4089] ppid=4078 vsize=1539976 CPUtime=0 /proc/4080/task/4089/stat : 4089 (java) S 4078 4080 3906 0 -1 4202560 94 0 0 0 0 0 0 0 16 0 19 0 756250 1576935424 20153 4089446400 134512640 134550932 4294017328 18446744073709551615 4294960144 0 4 0 16800975 18446604453917112448 0 0 -1 2 0 0 0 [pid=4080/tid=4090] ppid=4078 vsize=1539976 CPUtime=0 /proc/4080/task/4090/stat : 4090 (java) S 4078 4080 3906 0 -1 4202560 742 0 0 0 0 0 0 0 15 0 19 0 756250 1576935424 20153 4089446400 134512640 134550932 4294017328 18446744073709551615 4294960144 0 4 0 16800975 18446604453917112448 0 0 -1 2 0 0 0 [pid=4080/tid=4091] ppid=4078 vsize=1539976 CPUtime=0.02 /proc/4080/task/4091/stat : 4091 (java) S 4078 4080 3906 0 -1 4202560 2947 0 0 0 2 0 0 0 15 0 19 0 756251 1576935424 20153 4089446400 134512640 134550932 4294017328 18446744073709551615 4294960144 0 0 0 16800975 18446604453917112448 0 0 -1 0 0 0 0 [pid=4080/tid=4092] ppid=4078 vsize=1539976 CPUtime=0 /proc/4080/task/4092/stat : 4092 (java) S 4078 4080 3906 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 756252 1576935424 20153 4089446400 134512640 134550932 4294017328 18446744073709551615 4294960144 0 4 0 16800975 18446604453917112448 0 0 -1 2 0 0 0 [pid=4080/tid=4093] ppid=4078 vsize=1539976 CPUtime=0 /proc/4080/task/4093/stat : 4093 (java) S 4078 4080 3906 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 756252 1576935424 20153 4089446400 134512640 134550932 4294017328 18446744073709551615 4294960144 0 4 0 16800975 18446604453917112448 0 0 -1 2 0 0 0 [pid=4080/tid=4094] ppid=4078 vsize=1539976 CPUtime=0 /proc/4080/task/4094/stat : 4094 (java) S 4078 4080 3906 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 756254 1576935424 20153 4089446400 134512640 134550932 4294017328 18446744073709551615 4294960144 0 4 0 16800975 18446604453917112448 0 0 -1 2 0 0 0 [pid=4080/tid=4095] ppid=4078 vsize=1539976 CPUtime=0.48 /proc/4080/task/4095/stat : 4095 (java) S 4078 4080 3906 0 -1 4202560 1164 0 0 0 48 0 0 0 15 0 19 0 756254 1576935424 20153 4089446400 134512640 134550932 4294017328 18446744073709551615 4294960144 0 4 0 16800975 18446604453917112448 0 0 -1 7 0 0 0 [pid=4080/tid=4096] ppid=4078 vsize=1539976 CPUtime=0.46 /proc/4080/task/4096/stat : 4096 (java) S 4078 4080 3906 0 -1 4202560 3425 0 0 0 46 0 0 0 16 0 19 0 756254 1576935424 20153 4089446400 134512640 134550932 4294017328 18446744073709551615 4294960144 0 4 0 16800975 18446604453917112448 0 0 -1 6 0 0 0 [pid=4080/tid=4097] ppid=4078 vsize=1539976 CPUtime=0 /proc/4080/task/4097/stat : 4097 (java) S 4078 4080 3906 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 756254 1576935424 20153 4089446400 134512640 134550932 4294017328 18446744073709551615 4294960144 0 4 0 16800975 18446604453917112448 0 0 -1 2 0 0 0 [pid=4080/tid=4098] ppid=4078 vsize=1539976 CPUtime=0 /proc/4080/task/4098/stat : 4098 (java) S 4078 4080 3906 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 756254 1576935424 20153 4089446400 134512640 134550932 4294017328 18446744073709551615 4294960144 0 4 0 16800975 18446604453917112448 0 0 -1 4 0 0 0 [pid=4080/tid=4099] ppid=4078 vsize=1539976 CPUtime=0 /proc/4080/task/4099/stat : 4099 (java) S 4078 4080 3906 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 19 0 756276 1576935424 20153 4089446400 134512640 134550932 4294017328 18446744073709551615 4294960144 0 4 0 16800975 18446604453917112448 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 7.26 Current children cumulated vsize (KiB) 1539976 ################ # More data... # ################ [pid=4080/tid=4088] ppid=4078 vsize=1541000 CPUtime=0.66 /proc/4080/task/4088/stat : 4088 (java) S 4078 4080 3906 0 -1 4202560 4856 0 0 0 63 3 0 0 16 0 19 0 756250 1577984000 60381 4089446400 134512640 134550932 4294017328 18446744073709551615 4294960144 0 4 0 16800975 18446604453917112448 0 0 -1 2 0 0 0 [pid=4080/tid=4089] ppid=4078 vsize=1541000 CPUtime=0.67 /proc/4080/task/4089/stat : 4089 (java) S 4078 4080 3906 0 -1 4202560 4026 0 0 0 64 3 0 0 16 0 19 0 756250 1577984000 60381 4089446400 134512640 134550932 4294017328 18446744073709551615 4294960144 0 4 0 16800975 18446604453917112448 0 0 -1 5 0 0 0 [pid=4080/tid=4090] ppid=4078 vsize=1541000 CPUtime=0.69 /proc/4080/task/4090/stat : 4090 (java) S 4078 4080 3906 0 -1 4202560 3430 0 0 0 66 3 0 0 15 0 19 0 756250 1577984000 60381 4089446400 134512640 134550932 4294017328 18446744073709551615 4294960144 0 4 0 16800975 18446604453917112448 0 0 -1 7 0 0 0 [pid=4080/tid=4091] ppid=4078 vsize=1541000 CPUtime=5.51 /proc/4080/task/4091/stat : 4091 (java) S 4078 4080 3906 0 -1 4202560 10145 0 0 0 548 3 0 0 15 0 19 0 756251 1577984000 60381 4089446400 134512640 134550932 4294017328 18446744073709551615 4294960144 0 0 0 16800975 18446604453917112448 0 0 -1 6 0 0 0 [pid=4080/tid=4092] ppid=4078 vsize=1541000 CPUtime=0 /proc/4080/task/4092/stat : 4092 (java) S 4078 4080 3906 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 756252 1577984000 60381 4089446400 134512640 134550932 4294017328 18446744073709551615 4294960144 0 4 0 16800975 18446604453917112448 0 0 -1 2 0 0 0 [pid=4080/tid=4093] ppid=4078 vsize=1541000 CPUtime=0 /proc/4080/task/4093/stat : 4093 (java) S 4078 4080 3906 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 756252 1577984000 60381 4089446400 134512640 134550932 4294017328 18446744073709551615 4294960144 0 4 0 16800975 18446604453917112448 0 0 -1 2 0 0 0 [pid=4080/tid=4094] ppid=4078 vsize=1541000 CPUtime=0 /proc/4080/task/4094/stat : 4094 (java) S 4078 4080 3906 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 756254 1577984000 60381 4089446400 134512640 134550932 4294017328 18446744073709551615 4294960144 0 4 0 16800975 18446604453917112448 0 0 -1 2 0 0 0 [pid=4080/tid=4095] ppid=4078 vsize=1541000 CPUtime=0.5 /proc/4080/task/4095/stat : 4095 (java) S 4078 4080 3906 0 -1 4202560 1182 0 0 0 50 0 0 0 15 0 19 0 756254 1577984000 60381 4089446400 134512640 134550932 4294017328 18446744073709551615 4294960144 0 4 0 16800975 18446604453917112448 0 0 -1 7 0 0 0 [pid=4080/tid=4096] ppid=4078 vsize=1541000 CPUtime=0.48 /proc/4080/task/4096/stat : 4096 (java) S 4078 4080 3906 0 -1 4202560 3430 0 0 0 48 0 0 0 15 0 19 0 756254 1577984000 60381 4089446400 134512640 134550932 4294017328 18446744073709551615 4294960144 0 4 0 16800975 18446604453917112448 0 0 -1 6 0 0 0 [pid=4080/tid=4097] ppid=4078 vsize=1541000 CPUtime=0 /proc/4080/task/4097/stat : 4097 (java) S 4078 4080 3906 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 756254 1577984000 60381 4089446400 134512640 134550932 4294017328 18446744073709551615 4294960144 0 4 0 16800975 18446604453917112448 0 0 -1 2 0 0 0 [pid=4080/tid=4098] ppid=4078 vsize=1541000 CPUtime=0 /proc/4080/task/4098/stat : 4098 (java) S 4078 4080 3906 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 756254 1577984000 60381 4089446400 134512640 134550932 4294017328 18446744073709551615 4294960144 0 4 0 16800975 18446604453917112448 0 0 -1 4 0 0 0 [pid=4080/tid=4099] ppid=4078 vsize=1541000 CPUtime=0 /proc/4080/task/4099/stat : 4099 (java) S 4078 4080 3906 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 19 0 756276 1577984000 60381 4089446400 134512640 134550932 4294017328 18446744073709551615 4294960144 0 4 0 16800975 18446604453917112448 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1667.76 Current children cumulated vsize (KiB) 1541000 [startup+1722.3 s] /proc/loadavg: 2.02 2.03 1.95 3/219 4331 /proc/meminfo: memFree=32152400/32951124 swapFree=67111528/67111528 [pid=4080] ppid=4078 vsize=1541000 CPUtime=1727.92 /proc/4080/stat : 4080 (java) S 4078 4080 3906 0 -1 4202496 67409 0 1 0 172753 39 0 0 23 0 19 0 756249 1577984000 60381 4089446400 134512640 134550932 4294017328 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/4080/statm: 385250 60381 1441 10 0 382553 0 [pid=4080/tid=4081] ppid=4078 vsize=1541000 CPUtime=1715.42 /proc/4080/task/4081/stat : 4081 (java) R 4078 4080 3906 0 -1 4202560 19640 0 1 0 171538 4 0 0 25 0 19 0 756250 1577984000 60381 4089446400 134512640 134550932 4294017328 18446744073709551615 4110174416 0 4 0 16800975 0 0 0 -1 6 0 0 0 [pid=4080/tid=4083] ppid=4078 vsize=1541000 CPUtime=0.7 /proc/4080/task/4083/stat : 4083 (java) S 4078 4080 3906 0 -1 4202560 3974 0 0 0 66 4 0 0 15 0 19 0 756250 1577984000 60381 4089446400 134512640 134550932 4294017328 18446744073709551615 4294960144 0 4 0 16800975 18446604453917112448 0 0 -1 4 0 0 0 [pid=4080/tid=4084] ppid=4078 vsize=1541000 CPUtime=0.75 /proc/4080/task/4084/stat : 4084 (java) S 4078 4080 3906 0 -1 4202560 3236 0 0 0 72 3 0 0 15 0 19 0 756250 1577984000 60381 4089446400 134512640 134550932 4294017328 18446744073709551615 4294960144 0 4 0 16800975 18446604453917112448 0 0 -1 1 0 0 0 [pid=4080/tid=4085] ppid=4078 vsize=1541000 CPUtime=0.69 /proc/4080/task/4085/stat : 4085 (java) S 4078 4080 3906 0 -1 4202560 3676 0 0 0 66 3 0 0 15 0 19 0 756250 1577984000 60381 4089446400 134512640 134550932 4294017328 18446744073709551615 4294960144 0 4 0 16800975 18446604453917112448 0 0 -1 0 0 0 0 [pid=4080/tid=4086] ppid=4078 vsize=1541000 CPUtime=0.7 /proc/4080/task/4086/stat : 4086 (java) S 4078 4080 3906 0 -1 4202560 4542 0 0 0 67 3 0 0 15 0 19 0 756250 1577984000 60381 4089446400 134512640 134550932 4294017328 18446744073709551615 4294960144 0 4 0 16800975 18446604453917112448 0 0 -1 4 0 0 0 [pid=4080/tid=4087] ppid=4078 vsize=1541000 CPUtime=0.69 /proc/4080/task/4087/stat : 4087 (java) S 4078 4080 3906 0 -1 4202560 4107 0 0 0 66 3 0 0 16 0 19 0 756250 1577984000 60381 4089446400 134512640 134550932 4294017328 18446744073709551615 4294960144 0 4 0 16800975 18446604453917112448 0 0 -1 0 0 0 0 [pid=4080/tid=4088] ppid=4078 vsize=1541000 CPUtime=0.69 /proc/4080/task/4088/stat : 4088 (java) S 4078 4080 3906 0 -1 4202560 4856 0 0 0 66 3 0 0 16 0 19 0 756250 1577984000 60381 4089446400 134512640 134550932 4294017328 18446744073709551615 4294960144 0 4 0 16800975 18446604453917112448 0 0 -1 2 0 0 0 [pid=4080/tid=4089] ppid=4078 vsize=1541000 CPUtime=0.7 /proc/4080/task/4089/stat : 4089 (java) S 4078 4080 3906 0 -1 4202560 4026 0 0 0 67 3 0 0 16 0 19 0 756250 1577984000 60381 4089446400 134512640 134550932 4294017328 18446744073709551615 4294960144 0 4 0 16800975 18446604453917112448 0 0 -1 5 0 0 0 [pid=4080/tid=4090] ppid=4078 vsize=1541000 CPUtime=0.72 /proc/4080/task/4090/stat : 4090 (java) S 4078 4080 3906 0 -1 4202560 3430 0 0 0 68 4 0 0 16 0 19 0 756250 1577984000 60381 4089446400 134512640 134550932 4294017328 18446744073709551615 4294960144 0 4 0 16800975 18446604453917112448 0 0 -1 7 0 0 0 [pid=4080/tid=4091] ppid=4078 vsize=1541000 CPUtime=5.76 /proc/4080/task/4091/stat : 4091 (java) S 4078 4080 3906 0 -1 4202560 10147 0 0 0 573 3 0 0 15 0 19 0 756251 1577984000 60381 4089446400 134512640 134550932 4294017328 18446744073709551615 4294960144 0 0 0 16800975 18446604453917112448 0 0 -1 6 0 0 0 [pid=4080/tid=4092] ppid=4078 vsize=1541000 CPUtime=0 /proc/4080/task/4092/stat : 4092 (java) S 4078 4080 3906 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 756252 1577984000 60381 4089446400 134512640 134550932 4294017328 18446744073709551615 4294960144 0 4 0 16800975 18446604453917112448 0 0 -1 2 0 0 0 [pid=4080/tid=4093] ppid=4078 vsize=1541000 CPUtime=0 /proc/4080/task/4093/stat : 4093 (java) S 4078 4080 3906 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 756252 1577984000 60381 4089446400 134512640 134550932 4294017328 18446744073709551615 4294960144 0 4 0 16800975 18446604453917112448 0 0 -1 2 0 0 0 [pid=4080/tid=4094] ppid=4078 vsize=1541000 CPUtime=0 /proc/4080/task/4094/stat : 4094 (java) S 4078 4080 3906 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 756254 1577984000 60381 4089446400 134512640 134550932 4294017328 18446744073709551615 4294960144 0 4 0 16800975 18446604453917112448 0 0 -1 2 0 0 0 [pid=4080/tid=4095] ppid=4078 vsize=1541000 CPUtime=0.5 /proc/4080/task/4095/stat : 4095 (java) S 4078 4080 3906 0 -1 4202560 1182 0 0 0 50 0 0 0 15 0 19 0 756254 1577984000 60381 4089446400 134512640 134550932 4294017328 18446744073709551615 4294960144 0 4 0 16800975 18446604453917112448 0 0 -1 7 0 0 0 [pid=4080/tid=4096] ppid=4078 vsize=1541000 CPUtime=0.48 /proc/4080/task/4096/stat : 4096 (java) S 4078 4080 3906 0 -1 4202560 3430 0 0 0 48 0 0 0 15 0 19 0 756254 1577984000 60381 4089446400 134512640 134550932 4294017328 18446744073709551615 4294960144 0 4 0 16800975 18446604453917112448 0 0 -1 6 0 0 0 [pid=4080/tid=4097] ppid=4078 vsize=1541000 CPUtime=0 /proc/4080/task/4097/stat : 4097 (java) S 4078 4080 3906 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 756254 1577984000 60381 4089446400 134512640 134550932 4294017328 18446744073709551615 4294960144 0 4 0 16800975 18446604453917112448 0 0 -1 2 0 0 0 [pid=4080/tid=4098] ppid=4078 vsize=1541000 CPUtime=0 /proc/4080/task/4098/stat : 4098 (java) S 4078 4080 3906 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 756254 1577984000 60381 4089446400 134512640 134550932 4294017328 18446744073709551615 4294960144 0 4 0 16800975 18446604453917112448 0 0 -1 4 0 0 0 [pid=4080/tid=4099] ppid=4078 vsize=1541000 CPUtime=0 /proc/4080/task/4099/stat : 4099 (java) S 4078 4080 3906 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 19 0 756276 1577984000 60381 4089446400 134512640 134550932 4294017328 18446744073709551615 4294960144 0 4 0 16800975 18446604453917112448 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1727.92 Current children cumulated vsize (KiB) 1541000 [startup+1782.3 s] /proc/loadavg: 2.00 2.02 1.95 3/219 4333 /proc/meminfo: memFree=32151816/32951124 swapFree=67111528/67111528 [pid=4080] ppid=4078 vsize=1541000 CPUtime=1788.12 /proc/4080/stat : 4080 (java) S 4078 4080 3906 0 -1 4202496 67423 0 1 0 178771 41 0 0 23 0 19 0 756249 1577984000 60381 4089446400 134512640 134550932 4294017328 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/4080/statm: 385250 60381 1441 10 0 382553 0 [pid=4080/tid=4081] ppid=4078 vsize=1541000 CPUtime=1775.14 /proc/4080/task/4081/stat : 4081 (java) R 4078 4080 3906 0 -1 4202560 19646 0 1 0 177510 4 0 0 25 0 19 0 756250 1577984000 60381 4089446400 134512640 134550932 4294017328 18446744073709551615 4109990845 0 4 0 16800975 0 0 0 -1 6 0 0 0 [pid=4080/tid=4083] ppid=4078 vsize=1541000 CPUtime=0.71 /proc/4080/task/4083/stat : 4083 (java) S 4078 4080 3906 0 -1 4202560 3974 0 0 0 67 4 0 0 15 0 19 0 756250 1577984000 60381 4089446400 134512640 134550932 4294017328 18446744073709551615 4294960144 0 4 0 16800975 18446604453917112448 0 0 -1 0 0 0 0 [pid=4080/tid=4084] ppid=4078 vsize=1541000 CPUtime=0.78 /proc/4080/task/4084/stat : 4084 (java) S 4078 4080 3906 0 -1 4202560 3236 0 0 0 75 3 0 0 16 0 19 0 756250 1577984000 60381 4089446400 134512640 134550932 4294017328 18446744073709551615 4294960144 0 4 0 16800975 18446604453917112448 0 0 -1 1 0 0 0 [pid=4080/tid=4085] ppid=4078 vsize=1541000 CPUtime=0.71 /proc/4080/task/4085/stat : 4085 (java) S 4078 4080 3906 0 -1 4202560 3676 0 0 0 68 3 0 0 16 0 19 0 756250 1577984000 60381 4089446400 134512640 134550932 4294017328 18446744073709551615 4294960144 0 4 0 16800975 18446604453917112448 0 0 -1 2 0 0 0 [pid=4080/tid=4086] ppid=4078 vsize=1541000 CPUtime=0.73 /proc/4080/task/4086/stat : 4086 (java) S 4078 4080 3906 0 -1 4202560 4542 0 0 0 70 3 0 0 15 0 19 0 756250 1577984000 60381 4089446400 134512640 134550932 4294017328 18446744073709551615 4294960144 0 4 0 16800975 18446604453917112448 0 0 -1 4 0 0 0 [pid=4080/tid=4087] ppid=4078 vsize=1541000 CPUtime=0.72 /proc/4080/task/4087/stat : 4087 (java) S 4078 4080 3906 0 -1 4202560 4107 0 0 0 69 3 0 0 16 0 19 0 756250 1577984000 60381 4089446400 134512640 134550932 4294017328 18446744073709551615 4294960144 0 4 0 16800975 18446604453917112448 0 0 -1 0 0 0 0 [pid=4080/tid=4088] ppid=4078 vsize=1541000 CPUtime=0.73 /proc/4080/task/4088/stat : 4088 (java) S 4078 4080 3906 0 -1 4202560 4856 0 0 0 69 4 0 0 15 0 19 0 756250 1577984000 60381 4089446400 134512640 134550932 4294017328 18446744073709551615 4294960144 0 4 0 16800975 18446604453917112448 0 0 -1 2 0 0 0 [pid=4080/tid=4089] ppid=4078 vsize=1541000 CPUtime=0.74 /proc/4080/task/4089/stat : 4089 (java) S 4078 4080 3906 0 -1 4202560 4026 0 0 0 70 4 0 0 15 0 19 0 756250 1577984000 60381 4089446400 134512640 134550932 4294017328 18446744073709551615 4294960144 0 4 0 16800975 18446604453917112448 0 0 -1 5 0 0 0 [pid=4080/tid=4090] ppid=4078 vsize=1541000 CPUtime=0.75 /proc/4080/task/4090/stat : 4090 (java) S 4078 4080 3906 0 -1 4202560 3430 0 0 0 71 4 0 0 16 0 19 0 756250 1577984000 60381 4089446400 134512640 134550932 4294017328 18446744073709551615 4294960144 0 4 0 16800975 18446604453917112448 0 0 -1 7 0 0 0 [pid=4080/tid=4091] ppid=4078 vsize=1541000 CPUtime=6.01 /proc/4080/task/4091/stat : 4091 (java) S 4078 4080 3906 0 -1 4202560 10151 0 0 0 598 3 0 0 16 0 19 0 756251 1577984000 60381 4089446400 134512640 134550932 4294017328 18446744073709551615 4294960144 0 0 0 16800975 18446604453917112448 0 0 -1 6 0 0 0 [pid=4080/tid=4092] ppid=4078 vsize=1541000 CPUtime=0 /proc/4080/task/4092/stat : 4092 (java) S 4078 4080 3906 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 756252 1577984000 60381 4089446400 134512640 134550932 4294017328 18446744073709551615 4294960144 0 4 0 16800975 18446604453917112448 0 0 -1 2 0 0 0 [pid=4080/tid=4093] ppid=4078 vsize=1541000 CPUtime=0 /proc/4080/task/4093/stat : 4093 (java) S 4078 4080 3906 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 756252 1577984000 60381 4089446400 134512640 134550932 4294017328 18446744073709551615 4294960144 0 4 0 16800975 18446604453917112448 0 0 -1 2 0 0 0 [pid=4080/tid=4094] ppid=4078 vsize=1541000 CPUtime=0 /proc/4080/task/4094/stat : 4094 (java) S 4078 4080 3906 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 756254 1577984000 60381 4089446400 134512640 134550932 4294017328 18446744073709551615 4294960144 0 4 0 16800975 18446604453917112448 0 0 -1 2 0 0 0 [pid=4080/tid=4095] ppid=4078 vsize=1541000 CPUtime=0.5 /proc/4080/task/4095/stat : 4095 (java) S 4078 4080 3906 0 -1 4202560 1182 0 0 0 50 0 0 0 15 0 19 0 756254 1577984000 60381 4089446400 134512640 134550932 4294017328 18446744073709551615 4294960144 0 4 0 16800975 18446604453917112448 0 0 -1 7 0 0 0 [pid=4080/tid=4096] ppid=4078 vsize=1541000 CPUtime=0.48 /proc/4080/task/4096/stat : 4096 (java) S 4078 4080 3906 0 -1 4202560 3430 0 0 0 48 0 0 0 15 0 19 0 756254 1577984000 60381 4089446400 134512640 134550932 4294017328 18446744073709551615 4294960144 0 4 0 16800975 18446604453917112448 0 0 -1 6 0 0 0 [pid=4080/tid=4097] ppid=4078 vsize=1541000 CPUtime=0 /proc/4080/task/4097/stat : 4097 (java) S 4078 4080 3906 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 756254 1577984000 60381 4089446400 134512640 134550932 4294017328 18446744073709551615 4294960144 0 4 0 16800975 18446604453917112448 0 0 -1 2 0 0 0 [pid=4080/tid=4098] ppid=4078 vsize=1541000 CPUtime=0 /proc/4080/task/4098/stat : 4098 (java) S 4078 4080 3906 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 756254 1577984000 60381 4089446400 134512640 134550932 4294017328 18446744073709551615 4294960144 0 4 0 16800975 18446604453917112448 0 0 -1 4 0 0 0 [pid=4080/tid=4099] ppid=4078 vsize=1541000 CPUtime=0 /proc/4080/task/4099/stat : 4099 (java) S 4078 4080 3906 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 19 0 756276 1577984000 60381 4089446400 134512640 134550932 4294017328 18446744073709551615 4294960144 0 4 0 16800975 18446604453917112448 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1788.12 Current children cumulated vsize (KiB) 1541000 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1794.2 s] /proc/loadavg: 2.00 2.02 1.95 3/219 4333 /proc/meminfo: memFree=32151928/32951124 swapFree=67111528/67111528 [pid=4080] ppid=4078 vsize=1541000 CPUtime=1800.03 /proc/4080/stat : 4080 (java) S 4078 4080 3906 0 -1 4202496 67423 0 1 0 179962 41 0 0 23 0 19 0 756249 1577984000 60381 4089446400 134512640 134550932 4294017328 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/4080/statm: 385250 60381 1441 10 0 382553 0 [pid=4080/tid=4081] ppid=4078 vsize=1541000 CPUtime=1787.04 /proc/4080/task/4081/stat : 4081 (java) R 4078 4080 3906 0 -1 4202560 19646 0 1 0 178700 4 0 0 25 0 19 0 756250 1577984000 60381 4089446400 134512640 134550932 4294017328 18446744073709551615 4109955304 0 4 0 16800975 0 0 0 -1 6 0 0 0 [pid=4080/tid=4083] ppid=4078 vsize=1541000 CPUtime=0.71 /proc/4080/task/4083/stat : 4083 (java) S 4078 4080 3906 0 -1 4202560 3974 0 0 0 67 4 0 0 15 0 19 0 756250 1577984000 60381 4089446400 134512640 134550932 4294017328 18446744073709551615 4294960144 0 4 0 16800975 18446604453917112448 0 0 -1 0 0 0 0 [pid=4080/tid=4084] ppid=4078 vsize=1541000 CPUtime=0.78 /proc/4080/task/4084/stat : 4084 (java) S 4078 4080 3906 0 -1 4202560 3236 0 0 0 75 3 0 0 16 0 19 0 756250 1577984000 60381 4089446400 134512640 134550932 4294017328 18446744073709551615 4294960144 0 4 0 16800975 18446604453917112448 0 0 -1 1 0 0 0 [pid=4080/tid=4085] ppid=4078 vsize=1541000 CPUtime=0.71 /proc/4080/task/4085/stat : 4085 (java) S 4078 4080 3906 0 -1 4202560 3676 0 0 0 68 3 0 0 16 0 19 0 756250 1577984000 60381 4089446400 134512640 134550932 4294017328 18446744073709551615 4294960144 0 4 0 16800975 18446604453917112448 0 0 -1 2 0 0 0 [pid=4080/tid=4086] ppid=4078 vsize=1541000 CPUtime=0.73 /proc/4080/task/4086/stat : 4086 (java) S 4078 4080 3906 0 -1 4202560 4542 0 0 0 70 3 0 0 15 0 19 0 756250 1577984000 60381 4089446400 134512640 134550932 4294017328 18446744073709551615 4294960144 0 4 0 16800975 18446604453917112448 0 0 -1 4 0 0 0 [pid=4080/tid=4087] ppid=4078 vsize=1541000 CPUtime=0.72 /proc/4080/task/4087/stat : 4087 (java) S 4078 4080 3906 0 -1 4202560 4107 0 0 0 69 3 0 0 16 0 19 0 756250 1577984000 60381 4089446400 134512640 134550932 4294017328 18446744073709551615 4294960144 0 4 0 16800975 18446604453917112448 0 0 -1 0 0 0 0 [pid=4080/tid=4088] ppid=4078 vsize=1541000 CPUtime=0.73 /proc/4080/task/4088/stat : 4088 (java) S 4078 4080 3906 0 -1 4202560 4856 0 0 0 69 4 0 0 15 0 19 0 756250 1577984000 60381 4089446400 134512640 134550932 4294017328 18446744073709551615 4294960144 0 4 0 16800975 18446604453917112448 0 0 -1 2 0 0 0 [pid=4080/tid=4089] ppid=4078 vsize=1541000 CPUtime=0.74 /proc/4080/task/4089/stat : 4089 (java) S 4078 4080 3906 0 -1 4202560 4026 0 0 0 70 4 0 0 15 0 19 0 756250 1577984000 60381 4089446400 134512640 134550932 4294017328 18446744073709551615 4294960144 0 4 0 16800975 18446604453917112448 0 0 -1 5 0 0 0 [pid=4080/tid=4090] ppid=4078 vsize=1541000 CPUtime=0.75 /proc/4080/task/4090/stat : 4090 (java) S 4078 4080 3906 0 -1 4202560 3430 0 0 0 71 4 0 0 16 0 19 0 756250 1577984000 60381 4089446400 134512640 134550932 4294017328 18446744073709551615 4294960144 0 4 0 16800975 18446604453917112448 0 0 -1 7 0 0 0 [pid=4080/tid=4091] ppid=4078 vsize=1541000 CPUtime=6.01 /proc/4080/task/4091/stat : 4091 (java) S 4078 4080 3906 0 -1 4202560 10151 0 0 0 598 3 0 0 15 0 19 0 756251 1577984000 60381 4089446400 134512640 134550932 4294017328 18446744073709551615 4294960144 0 0 0 16800975 18446604453917112448 0 0 -1 6 0 0 0 [pid=4080/tid=4092] ppid=4078 vsize=1541000 CPUtime=0 /proc/4080/task/4092/stat : 4092 (java) S 4078 4080 3906 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 756252 1577984000 60381 4089446400 134512640 134550932 4294017328 18446744073709551615 4294960144 0 4 0 16800975 18446604453917112448 0 0 -1 2 0 0 0 [pid=4080/tid=4093] ppid=4078 vsize=1541000 CPUtime=0 /proc/4080/task/4093/stat : 4093 (java) S 4078 4080 3906 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 756252 1577984000 60381 4089446400 134512640 134550932 4294017328 18446744073709551615 4294960144 0 4 0 16800975 18446604453917112448 0 0 -1 2 0 0 0 [pid=4080/tid=4094] ppid=4078 vsize=1541000 CPUtime=0 /proc/4080/task/4094/stat : 4094 (java) S 4078 4080 3906 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 756254 1577984000 60381 4089446400 134512640 134550932 4294017328 18446744073709551615 4294960144 0 4 0 16800975 18446604453917112448 0 0 -1 2 0 0 0 [pid=4080/tid=4095] ppid=4078 vsize=1541000 CPUtime=0.5 /proc/4080/task/4095/stat : 4095 (java) S 4078 4080 3906 0 -1 4202560 1182 0 0 0 50 0 0 0 15 0 19 0 756254 1577984000 60381 4089446400 134512640 134550932 4294017328 18446744073709551615 4294960144 0 4 0 16800975 18446604453917112448 0 0 -1 7 0 0 0 [pid=4080/tid=4096] ppid=4078 vsize=1541000 CPUtime=0.48 /proc/4080/task/4096/stat : 4096 (java) S 4078 4080 3906 0 -1 4202560 3430 0 0 0 48 0 0 0 15 0 19 0 756254 1577984000 60381 4089446400 134512640 134550932 4294017328 18446744073709551615 4294960144 0 4 0 16800975 18446604453917112448 0 0 -1 6 0 0 0 [pid=4080/tid=4097] ppid=4078 vsize=1541000 CPUtime=0 /proc/4080/task/4097/stat : 4097 (java) S 4078 4080 3906 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 756254 1577984000 60381 4089446400 134512640 134550932 4294017328 18446744073709551615 4294960144 0 4 0 16800975 18446604453917112448 0 0 -1 2 0 0 0 [pid=4080/tid=4098] ppid=4078 vsize=1541000 CPUtime=0 /proc/4080/task/4098/stat : 4098 (java) S 4078 4080 3906 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 756254 1577984000 60381 4089446400 134512640 134550932 4294017328 18446744073709551615 4294960144 0 4 0 16800975 18446604453917112448 0 0 -1 1 0 0 0 [pid=4080/tid=4099] ppid=4078 vsize=1541000 CPUtime=0 /proc/4080/task/4099/stat : 4099 (java) S 4078 4080 3906 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 19 0 756276 1577984000 60381 4089446400 134512640 134550932 4294017328 18446744073709551615 4294960144 0 4 0 16800975 18446604453917112448 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 1541000 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 143 Real time (s): 1794.25 CPU time (s): 1800.14 CPU user time (s): 1799.72 CPU system time (s): 0.421935 CPU usage (%): 100.328 Max. virtual memory (cumulated for all children) (KiB): 1541000 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.72 system time used= 0.421935 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 67448 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 42047 involuntary context switches= 84039 runsolver used 3.55746 second user time and 7.12692 second system time The end
Begin job on node134 at 2010-07-05 12:23:49 IDJOB=2698278 IDBENCH=78724 IDSOLVER=1211 FILE ID=node134/2698278-1278325429 PBS_JOBID= 11207430 Free space on /tmp= 74176 MiB SOLVER NAME= SAT4J PB Resolution 2.2.1 BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-65-60--soft-33-100-0.wbo COMMAND LINE= java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2698278-1278325429/watcher-2698278-1278325429 -o /tmp/evaluation-result-2698278-1278325429/solver-2698278-1278325429 -C 1800 -W 2000 -M 3800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar HOME/instance-2698278-1278325429.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 62825c7b78173675be8da33e26a62860 RANDOM SEED=1472232476 node134.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.801 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.60 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.801 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.801 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.801 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.801 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.66 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.801 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.801 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.801 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 32229940 kB Buffers: 20904 kB Cached: 312672 kB SwapCached: 0 kB Active: 370080 kB Inactive: 250936 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 32229940 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 464 kB Writeback: 0 kB AnonPages: 287452 kB Mapped: 20384 kB Slab: 36616 kB PageTables: 5344 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1654316 kB VmallocTotal: 34359738367 kB VmallocUsed: 33868 kB VmallocChunk: 34359703231 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74176 MiB End job on node134 at 2010-07-05 12:53:46