Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Sat4j Resolution 2.3.0 | SAT (TO) | 3538944 | 1800.19 | 1798.26 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-ran13x13.opb |
MD5SUM | f6afca2947f6ff68bd855d0ea2ea59a9 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 3492864 |
Best CPU time to get the best result obtained on this benchmark | 1800.23 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 3502080 |
Optimality of the best value was proved | NO |
Number of variables | 5239 |
Total number of constraints | 195 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 195 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 390 |
Number of terms in the objective function | 5239 |
Biggest coefficient in the objective function | 5368709120 |
Number of bits for the biggest coefficient in the objective function | 33 |
Sum of the numbers in the objective function | 968548072570 |
Number of bits of the sum of numbers in the objective function | 40 |
Biggest number in a constraint | 5368709120 |
Number of bits of the biggest number in a constraint | 33 |
Biggest sum of numbers in a constraint | 968548072570 |
Number of bits of the biggest sum of numbers | 40 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.00/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.08 c See www.sat4j.org for details. 0.00/0.09 c version 2.3.1.v20110525 0.00/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.09 c java.vm.version 19.1-b02 0.00/0.09 c java.vm.vendor Sun Microsystems Inc. 0.00/0.09 c sun.arch.data.model 64 0.00/0.09 c java.version 1.6.0_24 0.00/0.09 c os.name Linux 0.00/0.09 c os.version 2.6.18-164.el5 0.00/0.09 c os.arch amd64 0.00/0.09 c Free memory 12995394264 0.00/0.09 c Max memory 13063553024 0.00/0.09 c Total memory 13063553024 0.00/0.09 c Number of processors 8 0.10/0.11 c Pseudo Boolean Optimization 0.10/0.11 c --- Begin Solver configuration --- 0.10/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@38540408 0.10/0.11 c Learn all clauses as in MiniSAT 0.10/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.10/0.11 c Expensive reason simplification 0.10/0.11 c Armin Biere (Picosat) restarts strategy 0.10/0.11 c Glucose learned constraints deletion strategy 0.10/0.11 c timeout=2147483s 0.10/0.11 c DB Simplification allowed=false 0.10/0.11 c --- End Solver configuration --- 0.10/0.11 c solving HOME/instance-3458956-1307149268.opb 0.10/0.11 c reading problem ... 0.57/0.32 c ... done. Wall clock time 0.215s. 0.57/0.32 c #vars 5239 0.57/0.32 c #constraints 3039 0.57/0.32 c constraints type 0.57/0.33 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 221 1.13/0.52 c SATISFIABLE 1.13/0.52 c OPTIMIZING... 1.13/0.52 c Got one! Elapsed wall clock time (in seconds):0.411 1.13/0.52 o 3538944 5.07/4.34 c cleaning 2519 clauses out of 5058 with flag 5000/5058 9.03/8.21 c cleaning 4264 clauses out of 8540 with flag 11001/11059 13.53/12.72 c cleaning 5634 clauses out of 11277 with flag 18002/18060 18.94/18.11 c cleaning 6813 clauses out of 13641 with flag 26000/26058 24.99/24.18 c cleaning 7902 clauses out of 15829 with flag 35001/35059 31.29/30.48 c cleaning 8952 clauses out of 17927 with flag 45001/45059 37.59/36.72 c cleaning 9470 clauses out of 18975 with flag 55001/55059 43.70/42.88 c cleaning 9729 clauses out of 19506 with flag 65002/65060 49.60/48.79 c cleaning 9883 clauses out of 19775 with flag 75000/75058 56.10/55.27 c cleaning 9938 clauses out of 19892 with flag 85000/85058 61.80/60.95 c cleaning 9961 clauses out of 19956 with flag 95002/95060 67.30/66.46 c cleaning 9973 clauses out of 19994 with flag 105001/105059 73.11/72.22 c cleaning 10004 clauses out of 20021 with flag 115001/115059 78.41/77.51 c cleaning 10005 clauses out of 20017 with flag 125001/125059 83.82/82.98 c cleaning 9985 clauses out of 20011 with flag 135000/135058 89.42/88.55 c cleaning 10008 clauses out of 20027 with flag 145001/145059 95.02/94.11 c cleaning 9994 clauses out of 20018 with flag 155000/155058 101.73/100.86 c cleaning 10005 clauses out of 20035 with flag 165011/165069 107.93/107.01 c cleaning 9994 clauses out of 20020 with flag 175001/175059 113.93/113.00 c cleaning 9999 clauses out of 20027 with flag 185002/185060 119.14/118.21 c cleaning 9993 clauses out of 20027 with flag 195001/195059 124.44/123.59 c cleaning 10003 clauses out of 20033 with flag 205000/205058 129.84/128.91 c cleaning 10006 clauses out of 20033 with flag 215003/215061 136.15/135.26 c cleaning 10000 clauses out of 20024 with flag 225000/225058 142.35/141.44 c cleaning 9995 clauses out of 20024 with flag 235000/235058 148.65/147.75 c cleaning 9990 clauses out of 20031 with flag 245002/245060 154.76/153.82 c cleaning 10010 clauses out of 20040 with flag 255001/255059 160.06/159.11 c cleaning 9999 clauses out of 20029 with flag 265000/265058 166.46/165.51 c cleaning 9998 clauses out of 20030 with flag 275000/275058 172.26/171.37 c cleaning 10010 clauses out of 20032 with flag 285000/285058 178.77/177.86 c cleaning 9995 clauses out of 20023 with flag 295001/295059 184.37/183.47 c cleaning 9994 clauses out of 20027 with flag 305000/305058 191.87/190.92 c cleaning 9999 clauses out of 20034 with flag 315001/315059 197.97/197.02 c cleaning 10005 clauses out of 20035 with flag 325001/325059 203.98/203.05 c cleaning 10004 clauses out of 20029 with flag 335000/335058 208.48/207.58 c cleaning 9998 clauses out of 20026 with flag 345001/345059 214.98/214.05 c cleaning 9999 clauses out of 20028 with flag 355001/355059 220.49/219.53 c cleaning 10003 clauses out of 20028 with flag 365000/365058 225.89/224.94 c cleaning 9998 clauses out of 20025 with flag 375000/375058 230.91/229.93 c cleaning 9996 clauses out of 20028 with flag 385001/385059 237.09/236.11 c cleaning 10004 clauses out of 20031 with flag 395000/395058 244.00/243.02 c cleaning 10009 clauses out of 20028 with flag 405001/405059 250.01/249.07 c cleaning 9987 clauses out of 20018 with flag 415000/415058 255.02/254.05 c cleaning 9990 clauses out of 20031 with flag 425000/425058 260.41/259.45 c cleaning 9989 clauses out of 20041 with flag 435000/435058 267.23/266.23 c cleaning 10009 clauses out of 20054 with flag 445002/445060 272.52/271.59 c cleaning 9998 clauses out of 20043 with flag 455000/455058 279.53/278.53 c cleaning 9996 clauses out of 20045 with flag 465000/465058 286.13/285.10 c cleaning 10010 clauses out of 20050 with flag 475001/475059 291.24/290.28 c cleaning 10004 clauses out of 20040 with flag 485001/485059 297.64/296.62 c cleaning 9992 clauses out of 20040 with flag 495005/495063 301.84/300.87 c cleaning 9993 clauses out of 20044 with flag 505001/505059 304.34/303.38 c cleaning 9999 clauses out of 20051 with flag 515001/515059 307.74/306.71 c cleaning 10003 clauses out of 20052 with flag 525001/525059 312.95/311.94 c cleaning 9999 clauses out of 20048 with flag 535000/535058 317.45/316.45 c cleaning 9978 clauses out of 20051 with flag 545002/545060 321.06/320.08 c cleaning 9998 clauses out of 20071 with flag 555000/555058 325.96/324.98 c cleaning 10013 clauses out of 20075 with flag 565002/565060 330.66/329.63 c cleaning 9999 clauses out of 20061 with flag 575001/575059 336.16/335.15 c cleaning 10006 clauses out of 20061 with flag 585000/585058 341.66/340.63 c cleaning 10019 clauses out of 20057 with flag 595002/595060 346.77/345.70 c cleaning 10001 clauses out of 20036 with flag 605000/605058 352.67/351.62 c cleaning 9994 clauses out of 20036 with flag 615001/615059 358.77/357.74 c cleaning 9995 clauses out of 20041 with flag 625000/625058 364.28/363.21 c cleaning 9993 clauses out of 20047 with flag 635001/635059 369.59/368.55 c cleaning 10003 clauses out of 20054 with flag 645001/645059 376.28/375.20 c cleaning 10012 clauses out of 20052 with flag 655002/655060 381.78/380.78 c cleaning 9997 clauses out of 20039 with flag 665001/665059 386.89/385.81 c cleaning 10007 clauses out of 20041 with flag 675000/675058 391.39/390.32 c cleaning 9995 clauses out of 20034 with flag 685000/685058 394.82/393.80 c cleaning 9997 clauses out of 20041 with flag 695002/695060 398.23/397.13 c cleaning 9998 clauses out of 20045 with flag 705003/705061 401.43/400.35 c cleaning 10000 clauses out of 20044 with flag 715000/715058 405.63/404.50 c cleaning 10011 clauses out of 20044 with flag 725000/725058 410.03/408.91 c cleaning 10005 clauses out of 20033 with flag 735000/735058 414.53/413.44 c cleaning 10002 clauses out of 20028 with flag 745000/745058 419.44/418.34 c cleaning 9989 clauses out of 20027 with flag 755001/755059 423.64/422.54 c cleaning 10003 clauses out of 20039 with flag 765002/765060 428.34/427.28 c cleaning 9999 clauses out of 20036 with flag 775002/775060 433.85/432.77 c cleaning 10010 clauses out of 20036 with flag 785001/785059 439.35/438.26 c cleaning 9974 clauses out of 20028 with flag 795003/795061 445.15/444.08 c cleaning 9981 clauses out of 20051 with flag 805000/805058 450.55/449.47 c cleaning 9988 clauses out of 20070 with flag 815000/815058 455.86/454.73 c cleaning 10005 clauses out of 20082 with flag 825000/825058 460.87/459.72 c cleaning 9995 clauses out of 20078 with flag 835001/835059 465.86/464.76 c cleaning 10028 clauses out of 20082 with flag 845000/845058 471.26/470.14 c cleaning 10011 clauses out of 20054 with flag 855000/855058 476.77/475.68 c cleaning 10005 clauses out of 20044 with flag 865001/865059 482.77/481.64 c cleaning 9999 clauses out of 20039 with flag 875001/875059 489.48/488.40 c cleaning 10015 clauses out of 20042 with flag 885003/885061 495.27/494.17 c cleaning 10001 clauses out of 20026 with flag 895002/895060 500.38/499.29 c cleaning 9984 clauses out of 20024 with flag 905001/905059 507.20/506.06 c cleaning 10003 clauses out of 20039 with flag 915000/915058 514.69/513.52 c cleaning 10008 clauses out of 20038 with flag 925002/925060 520.09/518.90 c cleaning 9992 clauses out of 20028 with flag 935000/935058 525.70/524.55 c cleaning 9999 clauses out of 20036 with flag 945000/945058 532.10/530.92 c cleaning 9998 clauses out of 20037 with flag 955000/955058 540.71/539.54 c cleaning 9973 clauses out of 20039 with flag 965000/965058 547.21/546.00 c cleaning 10029 clauses out of 20067 with flag 975001/975059 553.52/552.33 c cleaning 10004 clauses out of 20037 with flag 985000/985058 560.32/559.11 c cleaning 10013 clauses out of 20037 with flag 995004/995062 567.13/565.93 c cleaning 9996 clauses out of 20021 with flag 1005001/1005059 573.63/572.41 c cleaning 9995 clauses out of 20024 with flag 1015000/1015058 579.76/578.52 c cleaning 9998 clauses out of 20030 with flag 1025001/1025059 586.36/585.13 c cleaning 9992 clauses out of 20033 with flag 1035002/1035060 591.97/590.77 c cleaning 9995 clauses out of 20040 with flag 1045001/1045059 597.26/596.09 c cleaning 10009 clauses out of 20045 with flag 1055001/1055059 603.46/602.21 c cleaning 9997 clauses out of 20036 with flag 1065001/1065059 609.66/608.45 c cleaning 10001 clauses out of 20039 with flag 1075001/1075059 616.46/615.28 c cleaning 10007 clauses out of 20039 with flag 1085002/1085060 623.37/622.13 c cleaning 9994 clauses out of 20030 with flag 1095000/1095058 630.77/629.55 c cleaning 10007 clauses out of 20038 with flag 1105002/1105060 637.98/636.71 c cleaning 9987 clauses out of 20029 with flag 1115000/1115058 645.48/644.23 c cleaning 10002 clauses out of 20043 with flag 1125001/1125059 653.08/651.83 c cleaning 10002 clauses out of 20040 with flag 1135000/1135058 660.68/659.47 c cleaning 9997 clauses out of 20038 with flag 1145000/1145058 668.19/666.99 c cleaning 10011 clauses out of 20041 with flag 1155000/1155058 675.50/674.21 c cleaning 10001 clauses out of 20031 with flag 1165001/1165059 682.40/681.14 c cleaning 9988 clauses out of 20029 with flag 1175000/1175058 688.90/687.60 c cleaning 10004 clauses out of 20043 with flag 1185002/1185060 694.50/693.24 c cleaning 9999 clauses out of 20037 with flag 1195000/1195058 700.01/698.77 c cleaning 10004 clauses out of 20039 with flag 1205001/1205059 706.61/705.30 c cleaning 10001 clauses out of 20034 with flag 1215000/1215058 714.02/712.73 c cleaning 10006 clauses out of 20034 with flag 1225001/1225059 720.63/719.36 c cleaning 9998 clauses out of 20028 with flag 1235001/1235059 727.62/726.38 c cleaning 9999 clauses out of 20029 with flag 1245000/1245058 733.62/732.38 c cleaning 9993 clauses out of 20031 with flag 1255001/1255059 740.43/739.20 c cleaning 9997 clauses out of 20038 with flag 1265001/1265059 746.83/745.56 c cleaning 10000 clauses out of 20040 with flag 1275000/1275058 753.74/752.49 c cleaning 10003 clauses out of 20040 with flag 1285000/1285058 761.04/759.72 c cleaning 10005 clauses out of 20037 with flag 1295000/1295058 768.34/767.03 c cleaning 10004 clauses out of 20034 with flag 1305002/1305060 775.44/774.18 c cleaning 9992 clauses out of 20029 with flag 1315001/1315059 782.84/781.55 c cleaning 9989 clauses out of 20036 with flag 1325000/1325058 790.74/789.41 c cleaning 10016 clauses out of 20047 with flag 1335000/1335058 797.55/796.21 c cleaning 10007 clauses out of 20032 with flag 1345001/1345059 804.55/803.25 c cleaning 9991 clauses out of 20024 with flag 1355000/1355058 811.97/810.66 c cleaning 10001 clauses out of 20033 with flag 1365000/1365058 816.97/815.62 c cleaning 9993 clauses out of 20032 with flag 1375000/1375058 822.68/821.30 c cleaning 10009 clauses out of 20041 with flag 1385002/1385060 830.48/829.18 c cleaning 10003 clauses out of 20030 with flag 1395000/1395058 837.78/836.44 c cleaning 10006 clauses out of 20034 with flag 1405007/1405065 845.10/843.76 c cleaning 9997 clauses out of 20023 with flag 1415002/1415060 850.50/849.14 c cleaning 10003 clauses out of 20024 with flag 1425000/1425058 855.49/854.13 c cleaning 9997 clauses out of 20021 with flag 1435000/1435058 860.09/858.78 c cleaning 9994 clauses out of 20025 with flag 1445001/1445059 864.81/863.41 c cleaning 9978 clauses out of 20030 with flag 1455000/1455058 870.50/869.10 c cleaning 10017 clauses out of 20054 with flag 1465002/1465060 875.60/874.25 c cleaning 10006 clauses out of 20036 with flag 1475001/1475059 881.31/879.94 c cleaning 10006 clauses out of 20035 with flag 1485006/1485064 886.71/885.33 c cleaning 10001 clauses out of 20025 with flag 1495002/1495060 892.21/890.82 c cleaning 9999 clauses out of 20022 with flag 1505000/1505058 897.62/896.23 c cleaning 9999 clauses out of 20025 with flag 1515002/1515060 903.33/901.94 c cleaning 9992 clauses out of 20024 with flag 1525000/1525058 912.42/911.04 c cleaning 10002 clauses out of 20033 with flag 1535001/1535059 919.94/918.59 c cleaning 9999 clauses out of 20030 with flag 1545000/1545058 926.44/925.02 c cleaning 9989 clauses out of 20031 with flag 1555000/1555058 932.83/931.41 c cleaning 9999 clauses out of 20043 with flag 1565001/1565059 939.24/937.82 c cleaning 9996 clauses out of 20044 with flag 1575001/1575059 945.64/944.21 c cleaning 9998 clauses out of 20048 with flag 1585001/1585059 952.04/950.68 c cleaning 10000 clauses out of 20050 with flag 1595001/1595059 958.54/957.16 c cleaning 9998 clauses out of 20049 with flag 1605000/1605058 965.06/963.65 c cleaning 9999 clauses out of 20052 with flag 1615001/1615059 972.05/970.65 c cleaning 10000 clauses out of 20054 with flag 1625002/1625060 979.65/978.22 c cleaning 9997 clauses out of 20053 with flag 1635001/1635059 987.46/986.04 c cleaning 10003 clauses out of 20055 with flag 1645000/1645058 995.46/994.04 c cleaning 9993 clauses out of 20053 with flag 1655001/1655059 1003.17/1001.75 c cleaning 9999 clauses out of 20059 with flag 1665000/1665058 1011.07/1009.60 c cleaning 10001 clauses out of 20061 with flag 1675001/1675059 1018.99/1017.54 c cleaning 9995 clauses out of 20059 with flag 1685000/1685058 1026.78/1025.38 c cleaning 10002 clauses out of 20065 with flag 1695001/1695059 1034.68/1033.20 c cleaning 10001 clauses out of 20062 with flag 1705000/1705058 1042.38/1040.93 c cleaning 10003 clauses out of 20061 with flag 1715000/1715058 1050.18/1048.70 c cleaning 9997 clauses out of 20059 with flag 1725001/1725059 1057.98/1056.55 c cleaning 9999 clauses out of 20062 with flag 1735001/1735059 1065.79/1064.33 c cleaning 10001 clauses out of 20063 with flag 1745001/1745059 1073.58/1072.16 c cleaning 10006 clauses out of 20061 with flag 1755000/1755058 1081.49/1080.07 c cleaning 9997 clauses out of 20056 with flag 1765001/1765059 1089.09/1087.60 c cleaning 10018 clauses out of 20058 with flag 1775000/1775058 1094.59/1093.17 c cleaning 9991 clauses out of 20040 with flag 1785000/1785058 1100.20/1098.73 c cleaning 10007 clauses out of 20052 with flag 1795003/1795061 1105.20/1103.70 c cleaning 10014 clauses out of 20047 with flag 1805005/1805063 1109.71/1108.20 c cleaning 9997 clauses out of 20032 with flag 1815004/1815062 1115.11/1113.68 c cleaning 9990 clauses out of 20031 with flag 1825000/1825058 1121.61/1120.14 c cleaning 10005 clauses out of 20042 with flag 1835001/1835059 1128.42/1126.98 c cleaning 10000 clauses out of 20037 with flag 1845001/1845059 1134.53/1133.03 c cleaning 9999 clauses out of 20036 with flag 1855000/1855058 1141.82/1140.30 c cleaning 9997 clauses out of 20039 with flag 1865002/1865060 1147.63/1146.17 c cleaning 10002 clauses out of 20041 with flag 1875001/1875059 1153.32/1151.82 c cleaning 9996 clauses out of 20038 with flag 1885000/1885058 1158.33/1156.89 c cleaning 10004 clauses out of 20043 with flag 1895001/1895059 1162.83/1161.34 c cleaning 10005 clauses out of 20042 with flag 1905004/1905062 1167.93/1166.40 c cleaning 10000 clauses out of 20035 with flag 1915002/1915060 1173.94/1172.40 c cleaning 9996 clauses out of 20033 with flag 1925000/1925058 1180.75/1179.28 c cleaning 10000 clauses out of 20038 with flag 1935001/1935059 1186.44/1184.93 c cleaning 9993 clauses out of 20037 with flag 1945000/1945058 1191.35/1189.80 c cleaning 10000 clauses out of 20048 with flag 1955004/1955062 1196.85/1195.31 c cleaning 10009 clauses out of 20044 with flag 1965000/1965058 1203.87/1202.32 c cleaning 9997 clauses out of 20038 with flag 1975003/1975061 1211.15/1209.62 c cleaning 9993 clauses out of 20043 with flag 1985005/1985063 1218.26/1216.71 c cleaning 10000 clauses out of 20045 with flag 1995000/1995058 1226.46/1224.91 c cleaning 10007 clauses out of 20046 with flag 2005001/2005059 1233.67/1232.18 c cleaning 10009 clauses out of 20041 with flag 2015003/2015061 1241.77/1240.27 c cleaning 9993 clauses out of 20029 with flag 2025000/2025058 1249.28/1247.80 c cleaning 9983 clauses out of 20038 with flag 2035002/2035060 1256.59/1255.04 c cleaning 10001 clauses out of 20054 with flag 2045001/2045059 1264.30/1262.80 c cleaning 10010 clauses out of 20053 with flag 2055001/2055059 1270.40/1268.87 c cleaning 9998 clauses out of 20043 with flag 2065001/2065059 1275.71/1274.19 c cleaning 10000 clauses out of 20044 with flag 2075000/2075058 1281.31/1279.73 c cleaning 10013 clauses out of 20045 with flag 2085001/2085059 1287.11/1285.54 c cleaning 9999 clauses out of 20031 with flag 2095000/2095058 1292.31/1290.73 c cleaning 9997 clauses out of 20034 with flag 2105002/2105060 1297.82/1296.25 c cleaning 9992 clauses out of 20036 with flag 2115001/2115059 1304.12/1302.57 c cleaning 10009 clauses out of 20045 with flag 2125002/2125060 1313.83/1312.31 c cleaning 10009 clauses out of 20035 with flag 2135001/2135059 1323.73/1322.17 c cleaning 9993 clauses out of 20026 with flag 2145001/2145059 1333.53/1331.93 c cleaning 10005 clauses out of 20032 with flag 2155000/2155058 1343.54/1341.97 c cleaning 9998 clauses out of 20027 with flag 2165000/2165058 1354.13/1352.53 c cleaning 9999 clauses out of 20030 with flag 2175001/2175059 1364.13/1362.57 c cleaning 10003 clauses out of 20030 with flag 2185000/2185058 1372.33/1370.74 c cleaning 10010 clauses out of 20032 with flag 2195005/2195063 1378.94/1377.37 c cleaning 9996 clauses out of 20017 with flag 2205000/2205058 1386.56/1384.97 c cleaning 9984 clauses out of 20023 with flag 2215002/2215060 1394.35/1392.71 c cleaning 9990 clauses out of 20037 with flag 2225000/2225058 1400.76/1399.17 c cleaning 10011 clauses out of 20047 with flag 2235000/2235058 1406.26/1404.71 c cleaning 10011 clauses out of 20038 with flag 2245002/2245060 1413.06/1411.41 c cleaning 10002 clauses out of 20025 with flag 2255000/2255058 1419.86/1418.25 c cleaning 10002 clauses out of 20025 with flag 2265002/2265060 1426.36/1424.74 c cleaning 9997 clauses out of 20022 with flag 2275001/2275059 1433.46/1431.80 c cleaning 9990 clauses out of 20024 with flag 2285000/2285058 1438.97/1437.33 c cleaning 10004 clauses out of 20035 with flag 2295001/2295059 1442.97/1441.30 c cleaning 10002 clauses out of 20030 with flag 2305000/2305058 1448.57/1446.96 c cleaning 9998 clauses out of 20028 with flag 2315000/2315058 1454.47/1452.81 c cleaning 9995 clauses out of 20030 with flag 2325000/2325058 1460.48/1458.88 c cleaning 9995 clauses out of 20036 with flag 2335001/2335059 1466.68/1465.11 c cleaning 10007 clauses out of 20044 with flag 2345004/2345062 1472.09/1470.44 c cleaning 9998 clauses out of 20033 with flag 2355000/2355058 1477.09/1475.43 c cleaning 9996 clauses out of 20036 with flag 2365001/2365059 1482.31/1480.64 c cleaning 9992 clauses out of 20040 with flag 2375001/2375059 1488.10/1486.41 c cleaning 10001 clauses out of 20047 with flag 2385000/2385058 1492.90/1491.21 c cleaning 10008 clauses out of 20047 with flag 2395001/2395059 1498.90/1497.22 c cleaning 10005 clauses out of 20039 with flag 2405001/2405059 1505.20/1503.54 c cleaning 10000 clauses out of 20034 with flag 2415001/2415059 1511.21/1509.60 c cleaning 10001 clauses out of 20037 with flag 2425004/2425062 1518.01/1516.33 c cleaning 10001 clauses out of 20035 with flag 2435003/2435061 1524.02/1522.38 c cleaning 10003 clauses out of 20031 with flag 2445000/2445058 1531.12/1529.48 c cleaning 10003 clauses out of 20030 with flag 2455002/2455060 1537.92/1536.29 c cleaning 9992 clauses out of 20025 with flag 2465000/2465058 1544.82/1543.13 c cleaning 9993 clauses out of 20034 with flag 2475001/2475059 1550.73/1549.01 c cleaning 9992 clauses out of 20040 with flag 2485000/2485058 1556.04/1554.37 c cleaning 9997 clauses out of 20048 with flag 2495000/2495058 1562.64/1560.99 c cleaning 10002 clauses out of 20051 with flag 2505000/2505058 1569.84/1568.12 c cleaning 9999 clauses out of 20049 with flag 2515000/2515058 1575.25/1573.56 c cleaning 9997 clauses out of 20051 with flag 2525001/2525059 1581.36/1579.67 c cleaning 9998 clauses out of 20053 with flag 2535000/2535058 1587.05/1585.38 c cleaning 10001 clauses out of 20056 with flag 2545001/2545059 1592.45/1590.79 c cleaning 10000 clauses out of 20055 with flag 2555001/2555059 1598.75/1597.00 c cleaning 9994 clauses out of 20054 with flag 2565000/2565058 1604.26/1602.58 c cleaning 10000 clauses out of 20060 with flag 2575000/2575058 1610.56/1608.87 c cleaning 10000 clauses out of 20061 with flag 2585001/2585059 1614.86/1613.16 c cleaning 10002 clauses out of 20060 with flag 2595000/2595058 1620.46/1618.71 c cleaning 10012 clauses out of 20061 with flag 2605003/2605061 1625.75/1624.01 c cleaning 9998 clauses out of 20046 with flag 2615000/2615058 1631.97/1630.23 c cleaning 9997 clauses out of 20048 with flag 2625000/2625058 1636.46/1634.79 c cleaning 10005 clauses out of 20051 with flag 2635000/2635058 1641.56/1639.83 c cleaning 10006 clauses out of 20047 with flag 2645001/2645059 1647.67/1645.95 c cleaning 9994 clauses out of 20041 with flag 2655001/2655059 1653.47/1651.78 c cleaning 10011 clauses out of 20046 with flag 2665000/2665058 1658.87/1657.18 c cleaning 10010 clauses out of 20037 with flag 2675002/2675060 1664.28/1662.59 c cleaning 10003 clauses out of 20026 with flag 2685001/2685059 1670.68/1668.94 c cleaning 10004 clauses out of 20022 with flag 2695000/2695058 1676.20/1674.41 c cleaning 9998 clauses out of 20019 with flag 2705001/2705059 1681.30/1679.59 c cleaning 9995 clauses out of 20021 with flag 2715001/2715059 1686.80/1685.04 c cleaning 9997 clauses out of 20025 with flag 2725000/2725058 1692.41/1690.66 c cleaning 9997 clauses out of 20030 with flag 2735002/2735060 1697.91/1696.20 c cleaning 10003 clauses out of 20031 with flag 2745000/2745058 1704.11/1702.34 c cleaning 9999 clauses out of 20029 with flag 2755001/2755059 1709.82/1708.09 c cleaning 10004 clauses out of 20032 with flag 2765003/2765061 1715.63/1713.83 c cleaning 9989 clauses out of 20026 with flag 2775001/2775059 1721.72/1719.95 c cleaning 9998 clauses out of 20036 with flag 2785000/2785058 1727.93/1726.13 c cleaning 10006 clauses out of 20041 with flag 2795003/2795061 1733.43/1731.66 c cleaning 10001 clauses out of 20033 with flag 2805001/2805059 1738.75/1736.92 c cleaning 9998 clauses out of 20032 with flag 2815001/2815059 1743.84/1742.02 c cleaning 9988 clauses out of 20033 with flag 2825000/2825058 1749.24/1747.48 c cleaning 9997 clauses out of 20045 with flag 2835000/2835058 1754.75/1752.99 c cleaning 9999 clauses out of 20049 with flag 2845001/2845059 1759.66/1757.81 c cleaning 10013 clauses out of 20050 with flag 2855001/2855059 1764.85/1763.09 c cleaning 10003 clauses out of 20037 with flag 2865001/2865059 1770.76/1768.97 c cleaning 10006 clauses out of 20035 with flag 2875002/2875060 1775.96/1774.18 c cleaning 9984 clauses out of 20028 with flag 2885001/2885059 1781.36/1779.54 c cleaning 9990 clauses out of 20043 with flag 2895000/2895058 1787.27/1785.40 c cleaning 10009 clauses out of 20053 with flag 2905000/2905058 1792.97/1791.15 c cleaning 10006 clauses out of 20044 with flag 2915000/2915058 1798.98/1797.19 c cleaning 9999 clauses out of 20039 with flag 2925001/2925059 1800.09/1798.22 c starts : 232 1800.09/1798.22 c conflicts : 2927180 1800.09/1798.22 c decisions : 5102066 1800.09/1798.22 c propagations : 242497580 1800.09/1798.22 c inspects : 1160008283 1800.09/1798.22 c shortcuts : 0 1800.09/1798.22 c learnt literals : 0 1800.09/1798.22 c learnt binary clauses : 0 1800.09/1798.22 c learnt ternary clauses : 0 1800.09/1798.22 c learnt constraints : 2927180 1800.09/1798.22 c ignored constraints : 0 1800.09/1798.22 c root simplifications : 0 1800.09/1798.22 c removed literals (reason simplification) : 137068439 1800.09/1798.22 c reason swapping (by a shorter reason) : 0 1800.09/1798.22 c Calls to reduceDB : 294 1800.09/1798.22 c number of reductions to clauses (during analyze) : 0 1800.09/1798.22 c number of learned constraints concerned by reduction : 0 1800.09/1798.22 c number of learning phase by resolution : 0 1800.09/1798.22 c number of learning phase by cutting planes : 0 1800.09/1798.22 c speed (assignments/second) : 134893.86613502202 1800.09/1798.22 c non guided choices 5308 1800.09/1798.23 c learnt constraints type 1800.09/1798.23 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 12186 1800.09/1798.23 c constraints type 1800.09/1798.23 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 222 1800.09/1798.23 s SATISFIABLE 1800.09/1798.24 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 x43 x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 x221 -x222 x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 x491 -x492 x493 x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 x943 x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 x1061 -x1062 x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 x1092 -x1093 x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 x1481 -x1482 x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 x1663 x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 x1991 x1992 -x1993 x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 x2291 -x2292 -x2293 x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 x2742 x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 x2801 x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 x3252 -x3253 x3254 x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 x3821 -x3822 x3823 x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 x4241 x4242 x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 x4631 -x4632 x4633 -x4634 x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 x4961 -x4962 x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 x5072 -x5073 -x5074 -x5075 -x5076 -x5077 x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 x5102 -x5103 -x5104 -x5105 x5106 x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 x5114 -x5115 -x5116 x5117 -x5118 -x5119 x5120 -x5121 -x5122 -x5123 -x5124 -x5125 x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 x5162 -x5163 x5164 -x5165 x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 x5179 -x5180 -x5181 -x5182 -x5183 x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 x5196 -x5197 x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 x5233 -x5234 -x5235 x5236 -x5237 -x5238 -x5239 1800.09/1798.25 c objective function=3538944 1800.09/1798.25 c Total wall clock time (in seconds): 1798.139
OK 3538944
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3458956-1307149268/watcher-3458956-1307149268 -o /tmp/evaluation-result-3458956-1307149268/solver-3458956-1307149268 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458956-1307149268.opb running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.10 2.06 1.95 2/418 6067 /proc/meminfo: memFree=29936424/32950904 swapFree=56615552/67111528 [pid=6067] ppid=6065 vsize=35788 CPUtime=0 cores=0,2,4,6 /proc/6067/stat : 6067 (java) S 6065 6067 31595 0 -1 4202496 1318 0 0 0 0 0 0 0 25 0 2 0 826526557 36646912 1020 33554432000 1073741824 1073778376 140734590425184 18446744073709551615 237290682341 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 /proc/6067/statm: 8947 1023 786 9 0 386 0 [pid=6067/tid=6068] ppid=6065 vsize=13526316 CPUtime=0 cores=0,2,4,6 /proc/6067/task/6068/stat : 6068 (java) R 6065 6067 31595 0 -1 4202560 3038 0 1 0 0 0 0 0 25 0 2 0 826526558 13850947584 3854 33554432000 1073741824 1073778376 140734590425184 18446744073709551615 237278573627 0 4 0 16784584 0 0 0 -1 2 0 0 0 [startup+0.0971749 s] /proc/loadavg: 2.10 2.06 1.95 2/418 6067 /proc/meminfo: memFree=29936424/32950904 swapFree=56615552/67111528 [pid=6067] ppid=6065 vsize=13621856 CPUtime=0.09 cores=0,2,4,6 /proc/6067/stat : 6067 (java) S 6065 6067 31595 0 -1 4202496 15431 0 1 0 8 1 0 0 25 0 18 0 826526557 13948780544 15128 33554432000 1073741824 1073778376 140734590425184 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/6067/statm: 3405464 15129 2085 9 0 3396198 0 [pid=6067/tid=6068] ppid=6065 vsize=13621856 CPUtime=0.08 cores=0,2,4,6 /proc/6067/task/6068/stat : 6068 (java) R 6065 6067 31595 0 -1 4202560 13544 0 1 0 7 1 0 0 25 0 18 0 826526558 13948780544 15133 33554432000 1073741824 1073778376 140734590425184 18446744073709551615 47787687980963 0 4 0 16800975 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13621856 [startup+0.100496 s] /proc/loadavg: 2.10 2.06 1.95 2/418 6067 /proc/meminfo: memFree=29936424/32950904 swapFree=56615552/67111528 [pid=6067] ppid=6065 vsize=13621856 CPUtime=0.1 cores=0,2,4,6 /proc/6067/stat : 6067 (java) S 6065 6067 31595 0 -1 4202496 15482 0 1 0 9 1 0 0 25 0 18 0 826526557 13948780544 15179 33554432000 1073741824 1073778376 140734590425184 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/6067/statm: 3405464 15179 2093 9 0 3396198 0 [pid=6067/tid=6068] ppid=6065 vsize=13621856 CPUtime=0.08 cores=0,2,4,6 /proc/6067/task/6068/stat : 6068 (java) R 6065 6067 31595 0 -1 4202560 13586 0 1 0 7 1 0 0 25 0 18 0 826526558 13948780544 15179 33554432000 1073741824 1073778376 140734590425184 18446744073709551615 47787688816212 0 4 0 16800975 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 13621856 [startup+0.300456 s] /proc/loadavg: 2.10 2.06 1.95 2/418 6067 /proc/meminfo: memFree=29936424/32950904 swapFree=56615552/67111528 [pid=6067] ppid=6065 vsize=13625076 CPUtime=0.57 cores=0,2,4,6 /proc/6067/stat : 6067 (java) S 6065 6067 31595 0 -1 4202496 23436 0 1 0 54 3 0 0 25 0 18 0 826526557 13952077824 21342 33554432000 1073741824 1073778376 140734590425184 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/6067/statm: 3406269 21342 2203 9 0 3397003 0 [pid=6067/tid=6068] ppid=6065 vsize=13625076 CPUtime=0.28 cores=0,2,4,6 /proc/6067/task/6068/stat : 6068 (java) R 6065 6067 31595 0 -1 4202560 16737 0 1 0 26 2 0 0 18 0 18 0 826526558 13952077824 21342 33554432000 1073741824 1073778376 140734590425184 18446744073709551615 46912505228255 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) 13625076 [startup+0.700442 s] /proc/loadavg: 2.10 2.06 1.95 2/418 6067 /proc/meminfo: memFree=29936424/32950904 swapFree=56615552/67111528 [pid=6067] ppid=6065 vsize=13627508 CPUtime=1.42 cores=0,2,4,6 /proc/6067/stat : 6067 (java) S 6065 6067 31595 0 -1 4202496 26643 0 1 0 139 3 0 0 25 0 19 0 826526557 13954568192 22973 33554432000 1073741824 1073778376 140734590425184 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/6067/statm: 3406877 22973 2223 9 0 3397611 0 [pid=6067/tid=6068] ppid=6065 vsize=13627508 CPUtime=0.68 cores=0,2,4,6 /proc/6067/task/6068/stat : 6068 (java) R 6065 6067 31595 0 -1 4202560 18404 0 1 0 66 2 0 0 19 0 19 0 826526558 13954568192 22973 33554432000 1073741824 1073778376 140734590425184 18446744073709551615 46912505781850 0 4 0 16800975 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 1.42 Current children cumulated vsize (KiB) 13627508 [startup+1.5013 s] /proc/loadavg: 2.10 2.06 1.95 3/437 6086 /proc/meminfo: memFree=29851464/32950904 swapFree=56615552/67111528 [pid=6067] ppid=6065 vsize=13627508 CPUtime=2.23 cores=0,2,4,6 /proc/6067/stat : 6067 (java) S 6065 6067 31595 0 -1 4202496 26930 0 1 0 220 3 0 0 25 0 19 0 826526557 13954568192 23259 33554432000 1073741824 1073778376 140734590425184 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/6067/statm: 3406877 23259 2225 9 0 3397611 0 [pid=6067/tid=6068] ppid=6065 vsize=13627508 CPUtime=1.48 cores=0,2,4,6 /proc/6067/task/6068/stat : 6068 (java) R 6065 6067 31595 0 -1 4202560 18686 0 1 0 146 2 0 0 20 0 19 0 826526558 13954568192 23259 33554432000 1073741824 1073778376 140734590425184 18446744073709551615 46912505781786 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=6067/tid=6070] ppid=6065 vsize=13627508 CPUtime=0 cores=0,2,4,6 /proc/6067/task/6070/stat : 6070 (java) S 6065 6067 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826526560 13954568192 23259 33554432000 1073741824 1073778376 140734590425184 18446744073709551615 237290695577 0 4 0 16800975 18446604448193029376 0 0 -1 2 0 0 0 [pid=6067/tid=6071] ppid=6065 vsize=13627508 CPUtime=0 cores=0,2,4,6 /proc/6067/task/6071/stat : 6071 (java) S 6065 6067 31595 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 826526560 13954568192 23259 33554432000 1073741824 1073778376 140734590425184 18446744073709551615 237290695577 0 4 0 16800975 18446604448193029376 0 0 -1 4 0 0 0 [pid=6067/tid=6072] ppid=6065 vsize=13627508 CPUtime=0 cores=0,2,4,6 /proc/6067/task/6072/stat : 6072 (java) S 6065 6067 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826526560 13954568192 23259 33554432000 1073741824 1073778376 140734590425184 18446744073709551615 237290695577 0 4 0 16800975 18446604448193029376 0 0 -1 4 0 0 0 [pid=6067/tid=6073] ppid=6065 vsize=13627508 CPUtime=0 cores=0,2,4,6 /proc/6067/task/6073/stat : 6073 (java) S 6065 6067 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826526560 13954568192 23259 33554432000 1073741824 1073778376 140734590425184 18446744073709551615 237290695577 0 4 0 16800975 18446604448193029376 0 0 -1 4 0 0 0 [pid=6067/tid=6074] ppid=6065 vsize=13627508 CPUtime=0 cores=0,2,4,6 /proc/6067/task/6074/stat : 6074 (java) S 6065 6067 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826526560 13954568192 23259 33554432000 1073741824 1073778376 140734590425184 18446744073709551615 237290695577 0 4 0 16800975 18446604448193029376 0 0 -1 4 0 0 0 [pid=6067/tid=6075] ppid=6065 vsize=13627508 CPUtime=0 cores=0,2,4,6 /proc/6067/task/6075/stat : 6075 (java) S 6065 6067 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826526560 13954568192 23259 33554432000 1073741824 1073778376 140734590425184 18446744073709551615 237290695577 0 4 0 16800975 18446604448193029376 0 0 -1 4 0 0 0 [pid=6067/tid=6076] ppid=6065 vsize=13627508 CPUtime=0 cores=0,2,4,6 /proc/6067/task/6076/stat : 6076 (java) S 6065 6067 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826526560 13954568192 23259 33554432000 1073741824 1073778376 140734590425184 18446744073709551615 237290695577 0 4 0 16800975 18446604448193029376 0 0 -1 4 0 0 0 [pid=6067/tid=6077] ppid=6065 vsize=13627508 CPUtime=0 cores=0,2,4,6 /proc/6067/task/6077/stat : 6077 (java) S 6065 6067 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826526560 13954568192 23259 33554432000 1073741824 1073778376 140734590425184 18446744073709551615 237290695577 0 4 0 16800975 18446604448193029376 0 0 -1 4 0 0 0 [pid=6067/tid=6078] ppid=6065 vsize=13627508 CPUtime=0 cores=0,2,4,6 /proc/6067/task/6078/stat : 6078 (java) S 6065 6067 31595 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 826526561 13954568192 23259 33554432000 1073741824 1073778376 140734590425184 18446744073709551615 237290696192 0 0 0 16800975 18446604448193029376 0 0 -1 2 0 0 0 [pid=6067/tid=6079] ppid=6065 vsize=13627508 CPUtime=0 cores=0,2,4,6 /proc/6067/task/6079/stat : 6079 (java) S 6065 6067 31595 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 826526561 13954568192 23259 33554432000 1073741824 1073778376 140734590425184 18446744073709551615 237290695577 0 4 0 16800975 18446604448193029376 0 0 -1 2 0 0 0 [pid=6067/tid=6080] ppid=6065 vsize=13627508 CPUtime=0 cores=0,2,4,6 /proc/6067/task/6080/stat : 6080 (java) S 6065 6067 31595 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826526561 13954568192 23259 33554432000 1073741824 1073778376 140734590425184 18446744073709551615 237290695577 0 4 0 16800975 18446604448193029376 0 0 -1 2 0 0 0 [pid=6067/tid=6081] ppid=6065 vsize=13627508 CPUtime=0 cores=0,2,4,6 /proc/6067/task/6081/stat : 6081 (java) S 6065 6067 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826526564 13954568192 23259 33554432000 1073741824 1073778376 140734590425184 18446744073709551615 237290703281 0 4 0 16800975 18446604448193029376 0 0 -1 2 0 0 0 [pid=6067/tid=6082] ppid=6065 vsize=13627508 CPUtime=0.36 cores=0,2,4,6 /proc/6067/task/6082/stat : 6082 (java) S 6065 6067 31595 0 -1 4202560 2600 0 0 0 36 0 0 0 22 0 19 0 826526564 13954568192 23259 33554432000 1073741824 1073778376 140734590425184 18446744073709551615 237290695577 0 4 0 16800975 18446604448193029376 0 0 -1 6 0 0 0 [pid=6067/tid=6083] ppid=6065 vsize=13627508 CPUtime=0.37 cores=0,2,4,6 /proc/6067/task/6083/stat : 6083 (java) S 6065 6067 31595 0 -1 4202560 4483 0 0 0 37 0 0 0 22 0 19 0 826526564 13954568192 23259 33554432000 1073741824 1073778376 140734590425184 18446744073709551615 237290695577 0 4 0 16800975 18446604448193029376 0 0 -1 4 0 0 0 [pid=6067/tid=6084] ppid=6065 vsize=13627508 CPUtime=0 cores=0,2,4,6 /proc/6067/task/6084/stat : 6084 (java) S 6065 6067 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826526564 13954568192 23259 33554432000 1073741824 1073778376 140734590425184 18446744073709551615 237290695577 0 4 0 16800975 18446604448193029376 0 0 -1 2 0 0 0 [pid=6067/tid=6085] ppid=6065 vsize=13627508 CPUtime=0 cores=0,2,4,6 /proc/6067/task/6085/stat : 6085 (java) S 6065 6067 31595 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826526564 13954568192 23259 33554432000 1073741824 1073778376 140734590425184 18446744073709551615 237290696192 0 4 0 16800975 18446604448193029376 0 0 -1 4 0 0 0 [pid=6067/tid=6086] ppid=6065 vsize=13627508 CPUtime=0 cores=0,2,4,6 /proc/6067/task/6086/stat : 6086 (java) S 6065 6067 31595 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 826526594 13954568192 23259 33554432000 1073741824 1073778376 140734590425184 18446744073709551615 237290696192 0 4 0 16800975 18446604448193029376 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 2.23 Current children cumulated vsize (KiB) 13627508 [startup+3.10097 s] /proc/loadavg: 2.10 2.06 1.95 3/437 6086 /proc/meminfo: memFree=29849716/32950904 swapFree=56615552/67111528 [pid=6067] ppid=6065 vsize=13627508 CPUtime=3.86 cores=0,2,4,6 /proc/6067/stat : 6067 (java) S 6065 6067 31595 0 -1 4202496 27437 0 1 0 383 3 0 0 25 0 19 0 826526557 13954568192 23765 33554432000 1073741824 1073778376 140734590425184 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/6067/statm: 3406877 23765 2227 9 0 3397611 0 [pid=6067/tid=6068] ppid=6065 vsize=13627508 CPUtime=3.08 cores=0,2,4,6 /proc/6067/task/6068/stat : 6068 (java) R 6065 6067 31595 0 -1 4202560 19185 0 1 0 306 2 0 0 25 0 19 0 826526558 13954568192 23765 33554432000 1073741824 1073778376 140734590425184 18446744073709551615 46912505708284 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=6067/tid=6070] ppid=6065 vsize=13627508 CPUtime=0 cores=0,2,4,6 /proc/6067/task/6070/stat : 6070 (java) S 6065 6067 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826526560 13954568192 23765 33554432000 1073741824 1073778376 140734590425184 18446744073709551615 237290695577 0 4 0 16800975 18446604448193029376 0 0 -1 2 0 0 0 [pid=6067/tid=6071] ppid=6065 vsize=13627508 CPUtime=0 cores=0,2,4,6 /proc/6067/task/6071/stat : 6071 (java) S 6065 6067 31595 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 826526560 13954568192 23765 33554432000 1073741824 1073778376 140734590425184 18446744073709551615 237290695577 0 4 0 16800975 18446604448193029376 0 0 -1 4 0 0 0 [pid=6067/tid=6072] ppid=6065 vsize=13627508 CPUtime=0 cores=0,2,4,6 /proc/6067/task/6072/stat : 6072 (java) S 6065 6067 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826526560 13954568192 23765 33554432000 1073741824 1073778376 140734590425184 18446744073709551615 237290695577 0 4 0 16800975 18446604448193029376 0 0 -1 4 0 0 0 [pid=6067/tid=6073] ppid=6065 vsize=13627508 CPUtime=0 cores=0,2,4,6 /proc/6067/task/6073/stat : 6073 (java) S 6065 6067 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826526560 13954568192 23765 33554432000 1073741824 1073778376 140734590425184 18446744073709551615 237290695577 0 4 0 16800975 18446604448193029376 0 0 -1 4 0 0 0 [pid=6067/tid=6074] ppid=6065 vsize=13627508 CPUtime=0 cores=0,2,4,6 /proc/6067/task/6074/stat : 6074 (java) S 6065 6067 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826526560 13954568192 23765 33554432000 1073741824 1073778376 140734590425184 18446744073709551615 237290695577 0 4 0 16800975 18446604448193029376 0 0 -1 4 0 0 0 [pid=6067/tid=6075] ppid=6065 vsize=13627508 CPUtime=0 cores=0,2,4,6 /proc/6067/task/6075/stat : 6075 (java) S 6065 6067 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826526560 13954568192 23765 33554432000 1073741824 1073778376 140734590425184 18446744073709551615 237290695577 0 4 0 16800975 18446604448193029376 0 0 -1 4 0 0 0 [pid=6067/tid=6076] ppid=6065 vsize=13627508 CPUtime=0 cores=0,2,4,6 /proc/6067/task/6076/stat : 6076 (java) S 6065 6067 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826526560 13954568192 23765 33554432000 1073741824 1073778376 140734590425184 18446744073709551615 237290695577 0 4 0 16800975 18446604448193029376 0 0 -1 4 0 0 0 [pid=6067/tid=6077] ppid=6065 vsize=13627508 CPUtime=0 cores=0,2,4,6 /proc/6067/task/6077/stat : 6077 (java) S 6065 6067 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826526560 13954568192 23765 33554432000 1073741824 1073778376 140734590425184 18446744073709551615 237290695577 0 4 0 16800975 18446604448193029376 0 0 -1 4 0 0 0 [pid=6067/tid=6078] ppid=6065 vsize=13627508 CPUtime=0 cores=0,2,4,6 /proc/6067/task/6078/stat : 6078 (java) S 6065 6067 31595 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 826526561 13954568192 23765 33554432000 1073741824 1073778376 140734590425184 18446744073709551615 237290696192 0 0 0 16800975 18446604448193029376 0 0 -1 2 0 0 0 [pid=6067/tid=6079] ppid=6065 vsize=13627508 CPUtime=0 cores=0,2,4,6 /proc/6067/task/6079/stat : 6079 (java) S 6065 6067 31595 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 826526561 13954568192 23765 33554432000 1073741824 1073778376 140734590425184 18446744073709551615 237290695577 0 4 0 16800975 18446604448193029376 0 0 -1 2 0 0 0 [pid=6067/tid=6080] ppid=6065 vsize=13627508 CPUtime=0 cores=0,2,4,6 /proc/6067/task/6080/stat : 6080 (java) S 6065 6067 31595 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826526561 13954568192 23765 33554432000 1073741824 1073778376 140734590425184 18446744073709551615 237290695577 0 4 0 16800975 18446604448193029376 0 0 -1 2 0 0 0 [pid=6067/tid=6081] ppid=6065 vsize=13627508 CPUtime=0 cores=0,2,4,6 /proc/6067/task/6081/stat : 6081 (java) S 6065 6067 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826526564 13954568192 23765 33554432000 1073741824 1073778376 140734590425184 18446744073709551615 237290703281 0 4 0 16800975 18446604448193029376 0 0 -1 2 0 0 0 [pid=6067/tid=6082] ppid=6065 vsize=13627508 CPUtime=0.39 cores=0,2,4,6 /proc/6067/task/6082/stat : 6082 (java) S 6065 6067 31595 0 -1 4202560 2608 0 0 0 39 0 0 0 18 0 19 0 826526564 13954568192 23765 33554432000 1073741824 1073778376 140734590425184 18446744073709551615 237290695577 0 4 0 16800975 18446604448193029376 0 0 -1 6 0 0 0 [pid=6067/tid=6083] ppid=6065 vsize=13627508 CPUtime=0.37 cores=0,2,4,6 /proc/6067/task/6083/stat : 6083 (java) S 6065 6067 31595 0 -1 4202560 4483 0 0 0 37 0 0 0 18 0 19 0 826526564 13954568192 23765 33554432000 1073741824 1073778376 140734590425184 18446744073709551615 237290695577 0 4 0 16800975 18446604448193029376 0 0 -1 4 0 0 0 [pid=6067/tid=6084] ppid=6065 vsize=13627508 CPUtime=0 cores=0,2,4,6 /proc/6067/task/6084/stat : 6084 (java) S 6065 6067 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826526564 13954568192 23765 33554432000 1073741824 1073778376 140734590425184 18446744073709551615 237290695577 0 4 0 16800975 18446604448193029376 0 0 -1 2 0 0 0 [pid=6067/tid=6085] ppid=6065 vsize=13627508 CPUtime=0 cores=0,2,4,6 /proc/6067/task/6085/stat : 6085 (java) S 6065 6067 31595 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826526564 13954568192 23765 33554432000 1073741824 1073778376 140734590425184 18446744073709551615 237290696192 0 4 0 16800975 18446604448193029376 0 0 -1 4 0 0 0 [pid=6067/tid=6086] ppid=6065 vsize=13627508 CPUtime=0 cores=0,2,4,6 /proc/6067/task/6086/stat : 6086 (java) S 6065 6067 31595 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 826526594 13954568192 23765 33554432000 1073741824 1073778376 140734590425184 18446744073709551615 237290696192 0 4 0 16800975 18446604448193029376 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 3.86 Current children cumulated vsize (KiB) 13627508 [startup+6.30144 s] /proc/loadavg: 2.10 2.06 1.95 3/437 6086 /proc/meminfo: memFree=29837316/32950904 swapFree=56615552/67111528 [pid=6067] ppid=6065 vsize=13627508 CPUtime=7.1 cores=0,2,4,6 /proc/6067/stat : 6067 (java) S 6065 6067 31595 0 -1 4202496 30206 0 1 0 706 4 0 0 25 0 19 0 826526557 13954568192 26477 33554432000 1073741824 1073778376 140734590425184 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/6067/statm: 3406877 26477 2253 9 0 3397611 0 [pid=6067/tid=6068] ppid=6065 vsize=13627508 CPUtime=6.26 cores=0,2,4,6 /proc/6067/task/6068/stat : 6068 (java) R 6065 6067 31595 0 -1 4202560 19586 0 1 0 624 2 0 0 25 0 19 0 826526558 13954568192 26477 33554432000 1073741824 1073778376 140734590425184 18446744073709551615 46912505781809 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=6067/tid=6070] ppid=6065 vsize=13627508 CPUtime=0 cores=0,2,4,6 /proc/6067/task/6070/stat : 6070 (java) S 6065 6067 31595 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 826526560 13954568192 26477 33554432000 1073741824 1073778376 140734590425184 18446744073709551615 237290695577 0 4 0 16800975 18446604448193029376 0 0 -1 6 0 0 0 [pid=6067/tid=6071] ppid=6065 vsize=13627508 CPUtime=0 cores=0,2,4,6 /proc/6067/task/6071/stat : 6071 (java) S 6065 6067 31595 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 826526560 13954568192 26477 33554432000 1073741824 1073778376 140734590425184 18446744073709551615 237290695577 0 4 0 16800975 18446604448193029376 0 0 -1 6 0 0 0 [pid=6067/tid=6072] ppid=6065 vsize=13627508 CPUtime=0 cores=0,2,4,6 /proc/6067/task/6072/stat : 6072 (java) S 6065 6067 31595 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 826526560 13954568192 26477 33554432000 1073741824 1073778376 140734590425184 18446744073709551615 237290695577 0 4 0 16800975 18446604448193029376 0 0 -1 4 0 0 0 [pid=6067/tid=6073] ppid=6065 vsize=13627508 CPUtime=0 cores=0,2,4,6 /proc/6067/task/6073/stat : 6073 (java) S 6065 6067 31595 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 826526560 13954568192 26477 33554432000 1073741824 1073778376 140734590425184 18446744073709551615 237290695577 0 4 0 16800975 18446604448193029376 0 0 -1 4 0 0 0 [pid=6067/tid=6074] ppid=6065 vsize=13627508 CPUtime=0 cores=0,2,4,6 /proc/6067/task/6074/stat : 6074 (java) S 6065 6067 31595 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 826526560 13954568192 26477 33554432000 1073741824 1073778376 140734590425184 18446744073709551615 237290695577 0 4 0 16800975 18446604448193029376 0 0 -1 4 0 0 0 [pid=6067/tid=6075] ppid=6065 vsize=13627508 CPUtime=0 cores=0,2,4,6 /proc/6067/task/6075/stat : 6075 (java) S 6065 6067 31595 0 -1 4202560 254 0 0 0 0 0 0 0 18 0 19 0 826526560 13954568192 26477 33554432000 1073741824 1073778376 140734590425184 18446744073709551615 237290695577 0 4 0 16800975 18446604448193029376 0 0 -1 6 0 0 0 [pid=6067/tid=6076] ppid=6065 vsize=13627508 CPUtime=0 cores=0,2,4,6 /proc/6067/task/6076/stat : 6076 (java) S 6065 6067 31595 0 -1 4202560 448 0 0 0 0 0 0 0 18 0 19 0 826526560 13954568192 26477 33554432000 1073741824 1073778376 140734590425184 18446744073709551615 237290695577 0 4 0 16800975 18446604448193029376 0 0 -1 6 0 0 0 [pid=6067/tid=6077] ppid=6065 vsize=13627508 CPUtime=0 cores=0,2,4,6 /proc/6067/task/6077/stat : 6077 (java) S 6065 6067 31595 0 -1 4202560 432 0 0 0 0 0 0 0 18 0 19 0 826526560 13954568192 26477 33554432000 1073741824 1073778376 140734590425184 18446744073709551615 237290695577 0 4 0 16800975 18446604448193029376 0 0 -1 4 0 0 0 [pid=6067/tid=6078] ppid=6065 vsize=13627508 CPUtime=0.01 cores=0,2,4,6 /proc/6067/task/6078/stat : 6078 (java) S 6065 6067 31595 0 -1 4202560 1228 0 0 0 1 0 0 0 15 0 19 0 826526561 13954568192 26477 33554432000 1073741824 1073778376 140734590425184 18446744073709551615 237290696192 0 0 0 16800975 18446604448193029376 0 0 -1 2 0 0 0 [pid=6067/tid=6079] ppid=6065 vsize=13627508 CPUtime=0 cores=0,2,4,6 /proc/6067/task/6079/stat : 6079 (java) S 6065 6067 31595 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826526561 13954568192 26477 33554432000 1073741824 1073778376 140734590425184 18446744073709551615 237290695577 0 4 0 16800975 18446604448193029376 0 0 -1 2 0 0 0 [pid=6067/tid=6080] ppid=6065 vsize=13627508 CPUtime=0 cores=0,2,4,6 /proc/6067/task/6080/stat : 6080 (java) S 6065 6067 31595 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 826526561 13954568192 26477 33554432000 1073741824 1073778376 140734590425184 18446744073709551615 237290695577 0 4 0 16800975 18446604448193029376 0 0 -1 2 0 0 0 [pid=6067/tid=6081] ppid=6065 vsize=13627508 CPUtime=0 cores=0,2,4,6 /proc/6067/task/6081/stat : 6081 (java) S 6065 6067 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826526564 13954568192 26477 33554432000 1073741824 1073778376 140734590425184 18446744073709551615 237290703281 0 4 0 16800975 18446604448193029376 0 0 -1 2 0 0 0 [pid=6067/tid=6082] ppid=6065 vsize=13627508 CPUtime=0.4 cores=0,2,4,6 /proc/6067/task/6082/stat : 6082 (java) S 6065 6067 31595 0 -1 4202560 2613 0 0 0 40 0 0 0 17 0 19 0 826526564 13954568192 26477 33554432000 1073741824 1073778376 140734590425184 18446744073709551615 237290695577 0 4 0 16800975 18446604448193029376 0 0 -1 6 0 0 0 [pid=6067/tid=6083] ppid=6065 vsize=13627508 CPUtime=0.38 cores=0,2,4,6 /proc/6067/task/6083/stat : 6083 (java) S 6065 6067 31595 0 -1 4202560 4488 0 0 0 38 0 0 0 18 0 19 0 826526564 13954568192 26477 33554432000 1073741824 1073778376 140734590425184 18446744073709551615 237290695577 0 4 0 16800975 18446604448193029376 0 0 -1 4 0 0 0 ################ # More data... # ################ [pid=6067/tid=6075] ppid=6065 vsize=13627508 CPUtime=0.19 cores=0,2,4,6 /proc/6067/task/6075/stat : 6075 (java) S 6065 6067 31595 0 -1 4202560 969 0 0 0 19 0 0 0 16 0 19 0 826526560 13954568192 35508 33554432000 1073741824 1073778376 140734590425184 18446744073709551615 237290695577 0 4 0 16800975 18446604448193029376 0 0 -1 0 0 0 0 [pid=6067/tid=6076] ppid=6065 vsize=13627508 CPUtime=0.2 cores=0,2,4,6 /proc/6067/task/6076/stat : 6076 (java) S 6065 6067 31595 0 -1 4202560 708 0 0 0 20 0 0 0 15 0 19 0 826526560 13954568192 35508 33554432000 1073741824 1073778376 140734590425184 18446744073709551615 237290695577 0 4 0 16800975 18446604448193029376 0 0 -1 2 0 0 0 [pid=6067/tid=6077] ppid=6065 vsize=13627508 CPUtime=0.24 cores=0,2,4,6 /proc/6067/task/6077/stat : 6077 (java) S 6065 6067 31595 0 -1 4202560 663 0 0 0 24 0 0 0 15 0 19 0 826526560 13954568192 35508 33554432000 1073741824 1073778376 140734590425184 18446744073709551615 237290695577 0 4 0 16800975 18446604448193029376 0 0 -1 6 0 0 0 [pid=6067/tid=6078] ppid=6065 vsize=13627508 CPUtime=7.14 cores=0,2,4,6 /proc/6067/task/6078/stat : 6078 (java) S 6065 6067 31595 0 -1 4202560 7021 0 0 0 711 3 0 0 15 0 19 0 826526561 13954568192 35508 33554432000 1073741824 1073778376 140734590425184 18446744073709551615 237290696192 0 0 0 16800975 18446604448193029376 0 0 -1 4 0 0 0 [pid=6067/tid=6079] ppid=6065 vsize=13627508 CPUtime=0 cores=0,2,4,6 /proc/6067/task/6079/stat : 6079 (java) S 6065 6067 31595 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826526561 13954568192 35508 33554432000 1073741824 1073778376 140734590425184 18446744073709551615 237290695577 0 4 0 16800975 18446604448193029376 0 0 -1 2 0 0 0 [pid=6067/tid=6080] ppid=6065 vsize=13627508 CPUtime=0 cores=0,2,4,6 /proc/6067/task/6080/stat : 6080 (java) S 6065 6067 31595 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 826526561 13954568192 35508 33554432000 1073741824 1073778376 140734590425184 18446744073709551615 237290695577 0 4 0 16800975 18446604448193029376 0 0 -1 2 0 0 0 [pid=6067/tid=6081] ppid=6065 vsize=13627508 CPUtime=0 cores=0,2,4,6 /proc/6067/task/6081/stat : 6081 (java) S 6065 6067 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826526564 13954568192 35508 33554432000 1073741824 1073778376 140734590425184 18446744073709551615 237290703281 0 4 0 16800975 18446604448193029376 0 0 -1 2 0 0 0 [pid=6067/tid=6082] ppid=6065 vsize=13627508 CPUtime=0.48 cores=0,2,4,6 /proc/6067/task/6082/stat : 6082 (java) S 6065 6067 31595 0 -1 4202560 2631 0 0 0 48 0 0 0 15 0 19 0 826526564 13954568192 35508 33554432000 1073741824 1073778376 140734590425184 18446744073709551615 237290695577 0 4 0 16800975 18446604448193029376 0 0 -1 6 0 0 0 [pid=6067/tid=6083] ppid=6065 vsize=13627508 CPUtime=0.41 cores=0,2,4,6 /proc/6067/task/6083/stat : 6083 (java) S 6065 6067 31595 0 -1 4202560 4491 0 0 0 41 0 0 0 15 0 19 0 826526564 13954568192 35508 33554432000 1073741824 1073778376 140734590425184 18446744073709551615 237290695577 0 4 0 16800975 18446604448193029376 0 0 -1 4 0 0 0 [pid=6067/tid=6084] ppid=6065 vsize=13627508 CPUtime=0 cores=0,2,4,6 /proc/6067/task/6084/stat : 6084 (java) S 6065 6067 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826526564 13954568192 35508 33554432000 1073741824 1073778376 140734590425184 18446744073709551615 237290695577 0 4 0 16800975 18446604448193029376 0 0 -1 2 0 0 0 [pid=6067/tid=6085] ppid=6065 vsize=13627508 CPUtime=0 cores=0,2,4,6 /proc/6067/task/6085/stat : 6085 (java) S 6065 6067 31595 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 19 0 826526564 13954568192 35508 33554432000 1073741824 1073778376 140734590425184 18446744073709551615 237290696192 0 4 0 16800975 18446604448193029376 0 0 -1 2 0 0 0 [pid=6067/tid=6086] ppid=6065 vsize=13627508 CPUtime=0 cores=0,2,4,6 /proc/6067/task/6086/stat : 6086 (java) S 6065 6067 31595 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 826526594 13954568192 35508 33554432000 1073741824 1073778376 140734590425184 18446744073709551615 237290696192 0 4 0 16800975 18446604448193029376 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 1664.08 Current children cumulated vsize (KiB) 13627508 [startup+1722.3 s] /proc/loadavg: 2.01 2.00 1.99 3/437 6183 /proc/meminfo: memFree=28738984/32950904 swapFree=56615552/67111528 [pid=6067] ppid=6065 vsize=13627508 CPUtime=1724.13 cores=0,2,4,6 /proc/6067/stat : 6067 (java) S 6065 6067 31595 0 -1 4202496 39724 0 1 0 172402 11 0 0 25 0 19 0 826526557 13954568192 35518 33554432000 1073741824 1073778376 140734590425184 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/6067/statm: 3406877 35518 2254 9 0 3397611 0 [pid=6067/tid=6068] ppid=6065 vsize=13627508 CPUtime=1714 cores=0,2,4,6 /proc/6067/task/6068/stat : 6068 (java) R 6065 6067 31595 0 -1 4202560 19865 0 1 0 171395 5 0 0 25 0 19 0 826526558 13954568192 35518 33554432000 1073741824 1073778376 140734590425184 18446744073709551615 46912505823619 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=6067/tid=6070] ppid=6065 vsize=13627508 CPUtime=0.19 cores=0,2,4,6 /proc/6067/task/6070/stat : 6070 (java) S 6065 6067 31595 0 -1 4202560 187 0 0 0 19 0 0 0 15 0 19 0 826526560 13954568192 35518 33554432000 1073741824 1073778376 140734590425184 18446744073709551615 237290695577 0 4 0 16800975 18446604448193029376 0 0 -1 0 0 0 0 [pid=6067/tid=6071] ppid=6065 vsize=13627508 CPUtime=0.2 cores=0,2,4,6 /proc/6067/task/6071/stat : 6071 (java) S 6065 6067 31595 0 -1 4202560 973 0 0 0 20 0 0 0 15 0 19 0 826526560 13954568192 35518 33554432000 1073741824 1073778376 140734590425184 18446744073709551615 237290695577 0 4 0 16800975 18446604448193029376 0 0 -1 6 0 0 0 [pid=6067/tid=6072] ppid=6065 vsize=13627508 CPUtime=0.2 cores=0,2,4,6 /proc/6067/task/6072/stat : 6072 (java) S 6065 6067 31595 0 -1 4202560 53 0 0 0 20 0 0 0 16 0 19 0 826526560 13954568192 35518 33554432000 1073741824 1073778376 140734590425184 18446744073709551615 237290695577 0 4 0 16800975 18446604448193029376 0 0 -1 2 0 0 0 [pid=6067/tid=6073] ppid=6065 vsize=13627508 CPUtime=0.2 cores=0,2,4,6 /proc/6067/task/6073/stat : 6073 (java) S 6065 6067 31595 0 -1 4202560 322 0 0 0 20 0 0 0 16 0 19 0 826526560 13954568192 35518 33554432000 1073741824 1073778376 140734590425184 18446744073709551615 237290695577 0 4 0 16800975 18446604448193029376 0 0 -1 0 0 0 0 [pid=6067/tid=6074] ppid=6065 vsize=13627508 CPUtime=0.24 cores=0,2,4,6 /proc/6067/task/6074/stat : 6074 (java) S 6065 6067 31595 0 -1 4202560 587 0 0 0 24 0 0 0 15 0 19 0 826526560 13954568192 35518 33554432000 1073741824 1073778376 140734590425184 18446744073709551615 237290695577 0 4 0 16800975 18446604448193029376 0 0 -1 6 0 0 0 [pid=6067/tid=6075] ppid=6065 vsize=13627508 CPUtime=0.19 cores=0,2,4,6 /proc/6067/task/6075/stat : 6075 (java) S 6065 6067 31595 0 -1 4202560 969 0 0 0 19 0 0 0 15 0 19 0 826526560 13954568192 35518 33554432000 1073741824 1073778376 140734590425184 18446744073709551615 237290695577 0 4 0 16800975 18446604448193029376 0 0 -1 0 0 0 0 [pid=6067/tid=6076] ppid=6065 vsize=13627508 CPUtime=0.21 cores=0,2,4,6 /proc/6067/task/6076/stat : 6076 (java) S 6065 6067 31595 0 -1 4202560 710 0 0 0 21 0 0 0 15 0 19 0 826526560 13954568192 35518 33554432000 1073741824 1073778376 140734590425184 18446744073709551615 237290695577 0 4 0 16800975 18446604448193029376 0 0 -1 0 0 0 0 [pid=6067/tid=6077] ppid=6065 vsize=13627508 CPUtime=0.25 cores=0,2,4,6 /proc/6067/task/6077/stat : 6077 (java) S 6065 6067 31595 0 -1 4202560 663 0 0 0 25 0 0 0 16 0 19 0 826526560 13954568192 35518 33554432000 1073741824 1073778376 140734590425184 18446744073709551615 237290695577 0 4 0 16800975 18446604448193029376 0 0 -1 6 0 0 0 [pid=6067/tid=6078] ppid=6065 vsize=13627508 CPUtime=7.47 cores=0,2,4,6 /proc/6067/task/6078/stat : 6078 (java) S 6065 6067 31595 0 -1 4202560 7025 0 0 0 744 3 0 0 15 0 19 0 826526561 13954568192 35518 33554432000 1073741824 1073778376 140734590425184 18446744073709551615 237290696192 0 0 0 16800975 18446604448193029376 0 0 -1 4 0 0 0 [pid=6067/tid=6079] ppid=6065 vsize=13627508 CPUtime=0 cores=0,2,4,6 /proc/6067/task/6079/stat : 6079 (java) S 6065 6067 31595 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826526561 13954568192 35518 33554432000 1073741824 1073778376 140734590425184 18446744073709551615 237290695577 0 4 0 16800975 18446604448193029376 0 0 -1 2 0 0 0 [pid=6067/tid=6080] ppid=6065 vsize=13627508 CPUtime=0 cores=0,2,4,6 /proc/6067/task/6080/stat : 6080 (java) S 6065 6067 31595 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 826526561 13954568192 35518 33554432000 1073741824 1073778376 140734590425184 18446744073709551615 237290695577 0 4 0 16800975 18446604448193029376 0 0 -1 2 0 0 0 [pid=6067/tid=6081] ppid=6065 vsize=13627508 CPUtime=0 cores=0,2,4,6 /proc/6067/task/6081/stat : 6081 (java) S 6065 6067 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826526564 13954568192 35518 33554432000 1073741824 1073778376 140734590425184 18446744073709551615 237290703281 0 4 0 16800975 18446604448193029376 0 0 -1 2 0 0 0 [pid=6067/tid=6082] ppid=6065 vsize=13627508 CPUtime=0.48 cores=0,2,4,6 /proc/6067/task/6082/stat : 6082 (java) S 6065 6067 31595 0 -1 4202560 2631 0 0 0 48 0 0 0 15 0 19 0 826526564 13954568192 35518 33554432000 1073741824 1073778376 140734590425184 18446744073709551615 237290695577 0 4 0 16800975 18446604448193029376 0 0 -1 6 0 0 0 [pid=6067/tid=6083] ppid=6065 vsize=13627508 CPUtime=0.41 cores=0,2,4,6 /proc/6067/task/6083/stat : 6083 (java) S 6065 6067 31595 0 -1 4202560 4491 0 0 0 41 0 0 0 15 0 19 0 826526564 13954568192 35518 33554432000 1073741824 1073778376 140734590425184 18446744073709551615 237290695577 0 4 0 16800975 18446604448193029376 0 0 -1 4 0 0 0 [pid=6067/tid=6084] ppid=6065 vsize=13627508 CPUtime=0 cores=0,2,4,6 /proc/6067/task/6084/stat : 6084 (java) S 6065 6067 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826526564 13954568192 35518 33554432000 1073741824 1073778376 140734590425184 18446744073709551615 237290695577 0 4 0 16800975 18446604448193029376 0 0 -1 2 0 0 0 [pid=6067/tid=6085] ppid=6065 vsize=13627508 CPUtime=0 cores=0,2,4,6 /proc/6067/task/6085/stat : 6085 (java) S 6065 6067 31595 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 826526564 13954568192 35518 33554432000 1073741824 1073778376 140734590425184 18446744073709551615 237290696192 0 4 0 16800975 18446604448193029376 0 0 -1 2 0 0 0 [pid=6067/tid=6086] ppid=6065 vsize=13627508 CPUtime=0 cores=0,2,4,6 /proc/6067/task/6086/stat : 6086 (java) S 6065 6067 31595 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 826526594 13954568192 35518 33554432000 1073741824 1073778376 140734590425184 18446744073709551615 237290696192 0 4 0 16800975 18446604448193029376 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 1724.13 Current children cumulated vsize (KiB) 13627508 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 1.99 3/437 6184 /proc/meminfo: memFree=28737336/32950904 swapFree=56615552/67111528 [pid=6067] ppid=6065 vsize=13627508 CPUtime=1784.17 cores=0,2,4,6 /proc/6067/stat : 6067 (java) S 6065 6067 31595 0 -1 4202496 39743 0 1 0 178406 11 0 0 25 0 19 0 826526557 13954568192 35518 33554432000 1073741824 1073778376 140734590425184 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/6067/statm: 3406877 35518 2254 9 0 3397611 0 [pid=6067/tid=6068] ppid=6065 vsize=13627508 CPUtime=1773.64 cores=0,2,4,6 /proc/6067/task/6068/stat : 6068 (java) R 6065 6067 31595 0 -1 4202560 19876 0 1 0 177359 5 0 0 25 0 19 0 826526558 13954568192 35518 33554432000 1073741824 1073778376 140734590425184 18446744073709551615 46912505730592 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=6067/tid=6070] ppid=6065 vsize=13627508 CPUtime=0.19 cores=0,2,4,6 /proc/6067/task/6070/stat : 6070 (java) S 6065 6067 31595 0 -1 4202560 187 0 0 0 19 0 0 0 15 0 19 0 826526560 13954568192 35518 33554432000 1073741824 1073778376 140734590425184 18446744073709551615 237290695577 0 4 0 16800975 18446604448193029376 0 0 -1 6 0 0 0 [pid=6067/tid=6071] ppid=6065 vsize=13627508 CPUtime=0.22 cores=0,2,4,6 /proc/6067/task/6071/stat : 6071 (java) S 6065 6067 31595 0 -1 4202560 973 0 0 0 22 0 0 0 16 0 19 0 826526560 13954568192 35518 33554432000 1073741824 1073778376 140734590425184 18446744073709551615 237290695577 0 4 0 16800975 18446604448193029376 0 0 -1 0 0 0 0 [pid=6067/tid=6072] ppid=6065 vsize=13627508 CPUtime=0.21 cores=0,2,4,6 /proc/6067/task/6072/stat : 6072 (java) S 6065 6067 31595 0 -1 4202560 53 0 0 0 21 0 0 0 15 0 19 0 826526560 13954568192 35518 33554432000 1073741824 1073778376 140734590425184 18446744073709551615 237290695577 0 4 0 16800975 18446604448193029376 0 0 -1 2 0 0 0 [pid=6067/tid=6073] ppid=6065 vsize=13627508 CPUtime=0.21 cores=0,2,4,6 /proc/6067/task/6073/stat : 6073 (java) S 6065 6067 31595 0 -1 4202560 322 0 0 0 21 0 0 0 16 0 19 0 826526560 13954568192 35518 33554432000 1073741824 1073778376 140734590425184 18446744073709551615 237290695577 0 4 0 16800975 18446604448193029376 0 0 -1 6 0 0 0 [pid=6067/tid=6074] ppid=6065 vsize=13627508 CPUtime=0.24 cores=0,2,4,6 /proc/6067/task/6074/stat : 6074 (java) S 6065 6067 31595 0 -1 4202560 587 0 0 0 24 0 0 0 15 0 19 0 826526560 13954568192 35518 33554432000 1073741824 1073778376 140734590425184 18446744073709551615 237290695577 0 4 0 16800975 18446604448193029376 0 0 -1 0 0 0 0 [pid=6067/tid=6075] ppid=6065 vsize=13627508 CPUtime=0.2 cores=0,2,4,6 /proc/6067/task/6075/stat : 6075 (java) S 6065 6067 31595 0 -1 4202560 969 0 0 0 20 0 0 0 16 0 19 0 826526560 13954568192 35518 33554432000 1073741824 1073778376 140734590425184 18446744073709551615 237290695577 0 4 0 16800975 18446604448193029376 0 0 -1 2 0 0 0 [pid=6067/tid=6076] ppid=6065 vsize=13627508 CPUtime=0.21 cores=0,2,4,6 /proc/6067/task/6076/stat : 6076 (java) S 6065 6067 31595 0 -1 4202560 710 0 0 0 21 0 0 0 15 0 19 0 826526560 13954568192 35518 33554432000 1073741824 1073778376 140734590425184 18446744073709551615 237290695577 0 4 0 16800975 18446604448193029376 0 0 -1 6 0 0 0 [pid=6067/tid=6077] ppid=6065 vsize=13627508 CPUtime=0.26 cores=0,2,4,6 /proc/6067/task/6077/stat : 6077 (java) S 6065 6067 31595 0 -1 4202560 663 0 0 0 26 0 0 0 15 0 19 0 826526560 13954568192 35518 33554432000 1073741824 1073778376 140734590425184 18446744073709551615 237290695577 0 4 0 16800975 18446604448193029376 0 0 -1 0 0 0 0 [pid=6067/tid=6078] ppid=6065 vsize=13627508 CPUtime=7.81 cores=0,2,4,6 /proc/6067/task/6078/stat : 6078 (java) S 6065 6067 31595 0 -1 4202560 7029 0 0 0 778 3 0 0 15 0 19 0 826526561 13954568192 35518 33554432000 1073741824 1073778376 140734590425184 18446744073709551615 237290696192 0 0 0 16800975 18446604448193029376 0 0 -1 4 0 0 0 [pid=6067/tid=6079] ppid=6065 vsize=13627508 CPUtime=0 cores=0,2,4,6 /proc/6067/task/6079/stat : 6079 (java) S 6065 6067 31595 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826526561 13954568192 35518 33554432000 1073741824 1073778376 140734590425184 18446744073709551615 237290695577 0 4 0 16800975 18446604448193029376 0 0 -1 2 0 0 0 [pid=6067/tid=6080] ppid=6065 vsize=13627508 CPUtime=0 cores=0,2,4,6 /proc/6067/task/6080/stat : 6080 (java) S 6065 6067 31595 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 826526561 13954568192 35518 33554432000 1073741824 1073778376 140734590425184 18446744073709551615 237290695577 0 4 0 16800975 18446604448193029376 0 0 -1 2 0 0 0 [pid=6067/tid=6081] ppid=6065 vsize=13627508 CPUtime=0 cores=0,2,4,6 /proc/6067/task/6081/stat : 6081 (java) S 6065 6067 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826526564 13954568192 35518 33554432000 1073741824 1073778376 140734590425184 18446744073709551615 237290703281 0 4 0 16800975 18446604448193029376 0 0 -1 2 0 0 0 [pid=6067/tid=6082] ppid=6065 vsize=13627508 CPUtime=0.48 cores=0,2,4,6 /proc/6067/task/6082/stat : 6082 (java) S 6065 6067 31595 0 -1 4202560 2631 0 0 0 48 0 0 0 15 0 19 0 826526564 13954568192 35518 33554432000 1073741824 1073778376 140734590425184 18446744073709551615 237290695577 0 4 0 16800975 18446604448193029376 0 0 -1 6 0 0 0 [pid=6067/tid=6083] ppid=6065 vsize=13627508 CPUtime=0.41 cores=0,2,4,6 /proc/6067/task/6083/stat : 6083 (java) S 6065 6067 31595 0 -1 4202560 4491 0 0 0 41 0 0 0 15 0 19 0 826526564 13954568192 35518 33554432000 1073741824 1073778376 140734590425184 18446744073709551615 237290695577 0 4 0 16800975 18446604448193029376 0 0 -1 4 0 0 0 [pid=6067/tid=6084] ppid=6065 vsize=13627508 CPUtime=0 cores=0,2,4,6 /proc/6067/task/6084/stat : 6084 (java) S 6065 6067 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826526564 13954568192 35518 33554432000 1073741824 1073778376 140734590425184 18446744073709551615 237290695577 0 4 0 16800975 18446604448193029376 0 0 -1 2 0 0 0 [pid=6067/tid=6085] ppid=6065 vsize=13627508 CPUtime=0 cores=0,2,4,6 /proc/6067/task/6085/stat : 6085 (java) S 6065 6067 31595 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 826526564 13954568192 35518 33554432000 1073741824 1073778376 140734590425184 18446744073709551615 237290696192 0 4 0 16800975 18446604448193029376 0 0 -1 2 0 0 0 [pid=6067/tid=6086] ppid=6065 vsize=13627508 CPUtime=0 cores=0,2,4,6 /proc/6067/task/6086/stat : 6086 (java) S 6065 6067 31595 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 826526594 13954568192 35518 33554432000 1073741824 1073778376 140734590425184 18446744073709551615 237290696192 0 4 0 16800975 18446604448193029376 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 1784.17 Current children cumulated vsize (KiB) 13627508 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1798.2 s] /proc/loadavg: 2.07 2.02 1.99 3/437 6185 /proc/meminfo: memFree=28737320/32950904 swapFree=56615552/67111528 [pid=6067] ppid=6065 vsize=13627508 CPUtime=1800.09 cores=0,2,4,6 /proc/6067/stat : 6067 (java) S 6065 6067 31595 0 -1 4202496 39748 0 1 0 179998 11 0 0 25 0 19 0 826526557 13954568192 35518 33554432000 1073741824 1073778376 140734590425184 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/6067/statm: 3406877 35518 2254 9 0 3397611 0 [pid=6067/tid=6068] ppid=6065 vsize=13627508 CPUtime=1789.45 cores=0,2,4,6 /proc/6067/task/6068/stat : 6068 (java) R 6065 6067 31595 0 -1 4202560 19879 0 1 0 178940 5 0 0 25 0 19 0 826526558 13954568192 35518 33554432000 1073741824 1073778376 140734590425184 18446744073709551615 46912505730664 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=6067/tid=6070] ppid=6065 vsize=13627508 CPUtime=0.19 cores=0,2,4,6 /proc/6067/task/6070/stat : 6070 (java) S 6065 6067 31595 0 -1 4202560 187 0 0 0 19 0 0 0 16 0 19 0 826526560 13954568192 35518 33554432000 1073741824 1073778376 140734590425184 18446744073709551615 237290695577 0 4 0 16800975 18446604448193029376 0 0 -1 6 0 0 0 [pid=6067/tid=6071] ppid=6065 vsize=13627508 CPUtime=0.22 cores=0,2,4,6 /proc/6067/task/6071/stat : 6071 (java) S 6065 6067 31595 0 -1 4202560 973 0 0 0 22 0 0 0 15 0 19 0 826526560 13954568192 35518 33554432000 1073741824 1073778376 140734590425184 18446744073709551615 237290695577 0 4 0 16800975 18446604448193029376 0 0 -1 2 0 0 0 [pid=6067/tid=6072] ppid=6065 vsize=13627508 CPUtime=0.21 cores=0,2,4,6 /proc/6067/task/6072/stat : 6072 (java) S 6065 6067 31595 0 -1 4202560 53 0 0 0 21 0 0 0 16 0 19 0 826526560 13954568192 35518 33554432000 1073741824 1073778376 140734590425184 18446744073709551615 237290695577 0 4 0 16800975 18446604448193029376 0 0 -1 2 0 0 0 [pid=6067/tid=6073] ppid=6065 vsize=13627508 CPUtime=0.21 cores=0,2,4,6 /proc/6067/task/6073/stat : 6073 (java) S 6065 6067 31595 0 -1 4202560 322 0 0 0 21 0 0 0 15 0 19 0 826526560 13954568192 35518 33554432000 1073741824 1073778376 140734590425184 18446744073709551615 237290695577 0 4 0 16800975 18446604448193029376 0 0 -1 6 0 0 0 [pid=6067/tid=6074] ppid=6065 vsize=13627508 CPUtime=0.25 cores=0,2,4,6 /proc/6067/task/6074/stat : 6074 (java) S 6065 6067 31595 0 -1 4202560 587 0 0 0 25 0 0 0 15 0 19 0 826526560 13954568192 35518 33554432000 1073741824 1073778376 140734590425184 18446744073709551615 237290695577 0 4 0 16800975 18446604448193029376 0 0 -1 0 0 0 0 [pid=6067/tid=6075] ppid=6065 vsize=13627508 CPUtime=0.21 cores=0,2,4,6 /proc/6067/task/6075/stat : 6075 (java) S 6065 6067 31595 0 -1 4202560 969 0 0 0 21 0 0 0 15 0 19 0 826526560 13954568192 35518 33554432000 1073741824 1073778376 140734590425184 18446744073709551615 237290695577 0 4 0 16800975 18446604448193029376 0 0 -1 2 0 0 0 [pid=6067/tid=6076] ppid=6065 vsize=13627508 CPUtime=0.22 cores=0,2,4,6 /proc/6067/task/6076/stat : 6076 (java) S 6065 6067 31595 0 -1 4202560 710 0 0 0 22 0 0 0 16 0 19 0 826526560 13954568192 35518 33554432000 1073741824 1073778376 140734590425184 18446744073709551615 237290695577 0 4 0 16800975 18446604448193029376 0 0 -1 0 0 0 0 [pid=6067/tid=6077] ppid=6065 vsize=13627508 CPUtime=0.26 cores=0,2,4,6 /proc/6067/task/6077/stat : 6077 (java) S 6065 6067 31595 0 -1 4202560 663 0 0 0 26 0 0 0 15 0 19 0 826526560 13954568192 35518 33554432000 1073741824 1073778376 140734590425184 18446744073709551615 237290695577 0 4 0 16800975 18446604448193029376 0 0 -1 0 0 0 0 [pid=6067/tid=6078] ppid=6065 vsize=13627508 CPUtime=7.9 cores=0,2,4,6 /proc/6067/task/6078/stat : 6078 (java) S 6065 6067 31595 0 -1 4202560 7029 0 0 0 787 3 0 0 15 0 19 0 826526561 13954568192 35518 33554432000 1073741824 1073778376 140734590425184 18446744073709551615 237290696192 0 0 0 16800975 18446604448193029376 0 0 -1 4 0 0 0 [pid=6067/tid=6079] ppid=6065 vsize=13627508 CPUtime=0 cores=0,2,4,6 /proc/6067/task/6079/stat : 6079 (java) S 6065 6067 31595 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826526561 13954568192 35518 33554432000 1073741824 1073778376 140734590425184 18446744073709551615 237290695577 0 4 0 16800975 18446604448193029376 0 0 -1 2 0 0 0 [pid=6067/tid=6080] ppid=6065 vsize=13627508 CPUtime=0 cores=0,2,4,6 /proc/6067/task/6080/stat : 6080 (java) S 6065 6067 31595 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 826526561 13954568192 35518 33554432000 1073741824 1073778376 140734590425184 18446744073709551615 237290695577 0 4 0 16800975 18446604448193029376 0 0 -1 2 0 0 0 [pid=6067/tid=6081] ppid=6065 vsize=13627508 CPUtime=0 cores=0,2,4,6 /proc/6067/task/6081/stat : 6081 (java) S 6065 6067 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826526564 13954568192 35518 33554432000 1073741824 1073778376 140734590425184 18446744073709551615 237290703281 0 4 0 16800975 18446604448193029376 0 0 -1 2 0 0 0 [pid=6067/tid=6082] ppid=6065 vsize=13627508 CPUtime=0.48 cores=0,2,4,6 /proc/6067/task/6082/stat : 6082 (java) S 6065 6067 31595 0 -1 4202560 2631 0 0 0 48 0 0 0 15 0 19 0 826526564 13954568192 35518 33554432000 1073741824 1073778376 140734590425184 18446744073709551615 237290695577 0 4 0 16800975 18446604448193029376 0 0 -1 6 0 0 0 [pid=6067/tid=6083] ppid=6065 vsize=13627508 CPUtime=0.41 cores=0,2,4,6 /proc/6067/task/6083/stat : 6083 (java) S 6065 6067 31595 0 -1 4202560 4491 0 0 0 41 0 0 0 15 0 19 0 826526564 13954568192 35518 33554432000 1073741824 1073778376 140734590425184 18446744073709551615 237290695577 0 4 0 16800975 18446604448193029376 0 0 -1 4 0 0 0 [pid=6067/tid=6084] ppid=6065 vsize=13627508 CPUtime=0 cores=0,2,4,6 /proc/6067/task/6084/stat : 6084 (java) S 6065 6067 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826526564 13954568192 35518 33554432000 1073741824 1073778376 140734590425184 18446744073709551615 237290695577 0 4 0 16800975 18446604448193029376 0 0 -1 2 0 0 0 [pid=6067/tid=6085] ppid=6065 vsize=13627508 CPUtime=0 cores=0,2,4,6 /proc/6067/task/6085/stat : 6085 (java) S 6065 6067 31595 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 826526564 13954568192 35518 33554432000 1073741824 1073778376 140734590425184 18446744073709551615 237290696192 0 4 0 16800975 18446604448193029376 0 0 -1 2 0 0 0 [pid=6067/tid=6086] ppid=6065 vsize=13627508 CPUtime=0 cores=0,2,4,6 /proc/6067/task/6086/stat : 6086 (java) S 6065 6067 31595 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 826526594 13954568192 35518 33554432000 1073741824 1073778376 140734590425184 18446744073709551615 237290696192 0 4 0 16800975 18446604448193029376 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 13627508 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): 1798.26 CPU time (s): 1800.19 CPU user time (s): 1800.07 CPU system time (s): 0.121981 CPU usage (%): 100.107 Max. virtual memory (cumulated for all children) (KiB): 13627508 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.07 system time used= 0.121981 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 39865 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= 44599 involuntary context switches= 16938 runsolver used 7.53285 second user time and 15.3707 second system time The end
Begin job on node121 at 2011-06-04 03:01:08 IDJOB=3458956 IDBENCH=2296 IDSOLVER=1952 FILE ID=node121/3458956-1307149268 RUNJOBID= node121-1307147468-5824 PBS_JOBID= 13508795 Free space on /tmp= 73952 MiB SOLVER NAME= Sat4j Resolution 2.3.0 BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran13x13.opb COMMAND LINE= java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3458956-1307149268/watcher-3458956-1307149268 -o /tmp/evaluation-result-3458956-1307149268/solver-3458956-1307149268 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458956-1307149268.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= f6afca2947f6ff68bd855d0ea2ea59a9 RANDOM SEED=1942858293 node121.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.817 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.63 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.817 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 : 5226.07 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.817 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.84 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.817 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.77 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.817 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.82 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.817 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.74 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.817 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.75 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.817 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.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950904 kB MemFree: 29936704 kB Buffers: 312480 kB Cached: 444508 kB SwapCached: 9896 kB Active: 2342676 kB Inactive: 410660 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950904 kB LowFree: 29936704 kB SwapTotal: 67111528 kB SwapFree: 56615552 kB Dirty: 620 kB Writeback: 8 kB AnonPages: 1993396 kB Mapped: 21352 kB Slab: 141432 kB PageTables: 52028 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586980 kB Committed_AS: 96953612 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73944 MiB End job on node121 at 2011-06-04 03:31:08