Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j Res//CP 2.3.0 | SAT (TO) | 916 | 1800.29 | 951.626 |
| Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-10teams.opb |
| MD5SUM | 6db31fd4066996ff4f309d723fc2c237 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 904 |
| Best CPU time to get the best result obtained on this benchmark | 8.87865 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 904 |
| Optimality of the best value was proved | YES |
| Number of variables | 1800 |
| Total number of constraints | 215 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 215 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 40 |
| Maximum length of a constraint | 72 |
| Number of terms in the objective function | 1800 |
| Biggest coefficient in the objective function | 86 |
| Number of bits for the biggest coefficient in the objective function | 7 |
| Sum of the numbers in the objective function | 41700 |
| Number of bits of the sum of numbers in the objective function | 16 |
| Biggest number in a constraint | 86 |
| Number of bits of the biggest number in a constraint | 7 |
| Biggest sum of numbers in a constraint | 41700 |
| Number of bits of the biggest sum of numbers | 16 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.06/0.09 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.06/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.06/0.09 c See www.sat4j.org for details. 0.06/0.09 c version 2.3.1.v20110525 0.06/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.06/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.06/0.09 c java.vm.version 19.1-b02 0.06/0.09 c java.vm.vendor Sun Microsystems Inc. 0.06/0.09 c sun.arch.data.model 64 0.06/0.09 c java.version 1.6.0_24 0.06/0.09 c os.name Linux 0.06/0.09 c os.version 2.6.18-164.el5 0.06/0.09 c os.arch amd64 0.06/0.09 c Free memory 9996466904 0.06/0.09 c Max memory 10048897024 0.06/0.09 c Total memory 10048897024 0.06/0.09 c Number of processors 8 0.10/0.12 c Pseudo Boolean Optimization 0.10/0.12 c ManyCore solver with 2 solvers running in parallel 0.10/0.12 c --- Begin Solver configuration --- 0.10/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@67ee3914 0.10/0.12 c Learn all clauses as in MiniSAT 0.10/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.10/0.12 c Expensive reason simplification 0.10/0.12 c Armin Biere (Picosat) restarts strategy 0.10/0.12 c Glucose learned constraints deletion strategy 0.10/0.12 c timeout=2147483s 0.10/0.12 c DB Simplification allowed=false 0.10/0.12 c --- End Solver configuration --- 0.10/0.12 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.10/0.12 c --- Begin Solver configuration --- 0.10/0.12 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@1c691f36 0.10/0.12 c Learn all clauses as in MiniSAT 0.10/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.10/0.12 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.10/0.12 c No reason simplification 0.10/0.12 c Armin Biere (Picosat) restarts strategy 0.10/0.12 c Glucose learned constraints deletion strategy 0.10/0.12 c timeout=2147483s 0.10/0.12 c DB Simplification allowed=false 0.10/0.12 c --- End Solver configuration --- 0.10/0.12 c solving HOME/instance-3454511-1307187972.opb 0.10/0.12 c reading problem ... 0.26/0.32 c ... done. Wall clock time 0.204s. 0.26/0.32 c #vars 1800 0.26/0.32 c #constraints 535 0.26/0.32 c constraints type 0.26/0.32 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 120 0.26/0.32 c org.sat4j.minisat.constraints.cnf.UnitClauses => 5 0.26/0.32 c org.sat4j.minisat.constraints.card.MinWatchCard => 210 0.26/0.32 c constraints type 0.26/0.32 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 120 0.26/0.32 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 210 0.26/0.32 c org.sat4j.pb.constraints.pb.UnitClausesPB => 5 0.70/0.60 c And the winner is Resolution 2.08/0.85 c SATISFIABLE 2.08/0.85 c OPTIMIZING... 2.08/0.85 c Got one! Elapsed wall clock time (in seconds):0.729 2.08/0.85 o 1020 4.71/1.92 c cleaning 2818 clauses out of 5646 with flag 5001/5646 7.17/3.18 c cleaning 4408 clauses out of 8828 with flag 11001/11646 10.22/4.69 c And the winner is Resolution 10.41/4.87 c Got one! Elapsed wall clock time (in seconds):4.754 10.41/4.87 o 984 12.25/5.87 c cleaning 8118 clauses out of 16265 with flag 5000/23491 16.04/7.72 c cleaning 7066 clauses out of 14149 with flag 11002/29493 18.81/9.13 c And the winner is Resolution 18.91/9.45 c Got one! Elapsed wall clock time (in seconds):9.329 18.91/9.45 o 958 19.23/9.60 c cleaning 6305 clauses out of 12689 with flag 1000/35099 22.59/11.38 c cleaning 6155 clauses out of 12385 with flag 7001/41100 26.70/13.33 c cleaning 6572 clauses out of 13229 with flag 14000/48099 30.62/15.37 c cleaning 7280 clauses out of 14657 with flag 22000/56099 35.94/18.09 c cleaning 8127 clauses out of 16377 with flag 31000/65099 43.09/21.62 c cleaning 9056 clauses out of 18250 with flag 41000/75099 48.66/24.49 c cleaning 9560 clauses out of 19194 with flag 51000/85099 55.35/27.83 c cleaning 9778 clauses out of 19634 with flag 61000/95099 62.63/31.53 c cleaning 9879 clauses out of 19856 with flag 71000/105099 69.94/35.26 c cleaning 9952 clauses out of 19977 with flag 81000/115099 76.07/38.30 c cleaning 9976 clauses out of 20026 with flag 91001/125100 82.57/41.65 c cleaning 9963 clauses out of 20049 with flag 101000/135099 88.42/44.67 c cleaning 9979 clauses out of 20087 with flag 111001/145100 95.71/48.34 c cleaning 9987 clauses out of 20107 with flag 121000/155099 103.79/52.47 c cleaning 9974 clauses out of 20120 with flag 131000/165099 111.67/56.41 c cleaning 10059 clauses out of 20148 with flag 141002/175101 117.47/59.41 c cleaning 10015 clauses out of 20088 with flag 151001/185100 124.16/62.91 c cleaning 9955 clauses out of 20072 with flag 161000/195099 132.18/66.93 c cleaning 10005 clauses out of 20118 with flag 171001/205100 139.03/70.48 c cleaning 9974 clauses out of 20112 with flag 181000/215099 145.63/73.83 c cleaning 9944 clauses out of 20138 with flag 191000/225099 152.07/77.21 c cleaning 10001 clauses out of 20194 with flag 201000/235099 160.27/81.33 c cleaning 10012 clauses out of 20193 with flag 211000/245099 168.29/85.48 c cleaning 9980 clauses out of 20181 with flag 221000/255099 175.03/88.94 c cleaning 10060 clauses out of 20201 with flag 231000/265099 180.65/91.88 c cleaning 10000 clauses out of 20142 with flag 241001/275100 187.27/95.29 c cleaning 9921 clauses out of 20141 with flag 251000/285099 195.10/99.28 c cleaning 9993 clauses out of 20222 with flag 261002/295101 201.98/102.83 c cleaning 9987 clauses out of 20229 with flag 271002/305101 211.58/107.76 c cleaning 10057 clauses out of 20241 with flag 281001/315100 214.77/109.44 c And the winner is Resolution 215.30/109.93 c Got one! Elapsed wall clock time (in seconds):109.818 215.30/109.93 o 938 215.42/110.08 c cleaning 8026 clauses out of 16127 with flag 1001/321043 217.41/111.16 c cleaning 7005 clauses out of 14100 with flag 7000/327042 219.75/112.47 c And the winner is Resolution 220.14/112.98 c Got one! Elapsed wall clock time (in seconds):112.86 220.14/112.98 o 916 222.16/114.10 c cleaning 8526 clauses out of 17175 with flag 5001/337122 226.56/116.35 c cleaning 7184 clauses out of 14650 with flag 11002/343123 232.75/119.50 c cleaning 7086 clauses out of 14465 with flag 18001/350122 239.35/122.98 c cleaning 7603 clauses out of 15378 with flag 26000/358121 244.64/125.72 c cleaning 8301 clauses out of 16777 with flag 35002/367123 251.83/129.46 c cleaning 9116 clauses out of 18475 with flag 45001/377122 260.42/133.80 c cleaning 9509 clauses out of 19359 with flag 55001/387122 270.81/139.19 c cleaning 9794 clauses out of 19850 with flag 65001/397122 279.48/143.61 c cleaning 10000 clauses out of 20057 with flag 75002/407123 285.24/146.67 c cleaning 9985 clauses out of 20057 with flag 85002/417123 291.61/149.92 c cleaning 9959 clauses out of 20072 with flag 95002/427123 298.57/153.60 c cleaning 9976 clauses out of 20111 with flag 105000/437121 306.06/157.42 c cleaning 10022 clauses out of 20135 with flag 115000/447121 314.39/161.73 c cleaning 9986 clauses out of 20113 with flag 125000/457121 321.55/165.43 c cleaning 9944 clauses out of 20128 with flag 135001/467122 329.29/169.41 c cleaning 9995 clauses out of 20185 with flag 145002/477123 337.52/173.74 c cleaning 10046 clauses out of 20188 with flag 155000/487121 344.29/177.25 c cleaning 10003 clauses out of 20145 with flag 165003/497124 352.19/181.34 c cleaning 10022 clauses out of 20139 with flag 175000/507121 359.92/185.31 c cleaning 9957 clauses out of 20117 with flag 185000/517121 367.32/189.21 c cleaning 9986 clauses out of 20165 with flag 195005/527126 374.64/193.09 c cleaning 10050 clauses out of 20175 with flag 205001/537122 381.15/196.46 c cleaning 9979 clauses out of 20125 with flag 215001/547122 388.46/200.26 c cleaning 9976 clauses out of 20145 with flag 225000/557121 394.63/203.51 c cleaning 9884 clauses out of 20169 with flag 235000/567121 402.35/207.51 c cleaning 9927 clauses out of 20286 with flag 245001/577122 409.27/211.14 c cleaning 9981 clauses out of 20358 with flag 255000/587121 417.58/215.49 c cleaning 9975 clauses out of 20378 with flag 265001/597122 424.39/219.07 c cleaning 10159 clauses out of 20402 with flag 275000/607121 431.25/222.64 c cleaning 10084 clauses out of 20243 with flag 285000/617121 439.55/226.90 c cleaning 10064 clauses out of 20160 with flag 295001/627122 446.24/230.50 c cleaning 9971 clauses out of 20096 with flag 305001/637122 453.59/234.35 c cleaning 10012 clauses out of 20125 with flag 315001/647122 461.47/238.41 c cleaning 9996 clauses out of 20113 with flag 325001/657122 469.15/242.40 c cleaning 9950 clauses out of 20116 with flag 335000/667121 479.03/247.51 c cleaning 9986 clauses out of 20168 with flag 345002/677123 489.35/252.95 c cleaning 9992 clauses out of 20180 with flag 355000/687121 497.22/257.02 c cleaning 10016 clauses out of 20189 with flag 365001/697122 505.48/261.30 c cleaning 10032 clauses out of 20173 with flag 375001/707122 514.33/265.96 c cleaning 9998 clauses out of 20140 with flag 385000/717121 523.23/270.68 c cleaning 10005 clauses out of 20142 with flag 395000/727121 531.08/274.78 c cleaning 9959 clauses out of 20137 with flag 405000/737121 539.53/279.11 c cleaning 10000 clauses out of 20179 with flag 415001/747122 546.38/282.72 c cleaning 10010 clauses out of 20179 with flag 425001/757122 554.26/286.91 c cleaning 9971 clauses out of 20168 with flag 435000/767121 561.50/290.76 c cleaning 9983 clauses out of 20197 with flag 445000/777121 569.13/294.71 c cleaning 9976 clauses out of 20214 with flag 455000/787121 576.96/298.85 c cleaning 10002 clauses out of 20239 with flag 465001/797122 585.02/303.15 c cleaning 10073 clauses out of 20238 with flag 475002/807123 593.44/307.55 c cleaning 9964 clauses out of 20163 with flag 485000/817121 602.26/312.19 c cleaning 9936 clauses out of 20199 with flag 495000/827121 610.48/316.46 c cleaning 9954 clauses out of 20263 with flag 505000/837121 619.51/321.21 c cleaning 9994 clauses out of 20310 with flag 515001/847122 627.92/325.65 c cleaning 10035 clauses out of 20317 with flag 525002/857123 637.12/330.44 c cleaning 9995 clauses out of 20281 with flag 535001/867122 646.73/335.47 c cleaning 9957 clauses out of 20286 with flag 545001/877122 655.74/340.21 c cleaning 9951 clauses out of 20330 with flag 555002/887123 665.53/345.38 c cleaning 9933 clauses out of 20377 with flag 565000/897121 672.15/348.88 c cleaning 10180 clauses out of 20446 with flag 575002/907123 678.91/352.48 c cleaning 10074 clauses out of 20264 with flag 585000/917121 686.55/356.57 c cleaning 10044 clauses out of 20192 with flag 595002/927123 694.30/360.67 c cleaning 10033 clauses out of 20146 with flag 605000/937121 703.08/365.28 c cleaning 9987 clauses out of 20113 with flag 615000/947121 711.25/369.53 c cleaning 10015 clauses out of 20126 with flag 625000/957121 718.83/373.63 c cleaning 9975 clauses out of 20111 with flag 635000/967121 728.79/378.87 c cleaning 9961 clauses out of 20136 with flag 645000/977121 736.62/382.95 c cleaning 10010 clauses out of 20175 with flag 655000/987121 744.35/387.03 c cleaning 9961 clauses out of 20166 with flag 665001/997122 754.71/392.54 c cleaning 9964 clauses out of 20205 with flag 675001/1007122 764.86/397.81 c cleaning 9970 clauses out of 20240 with flag 685000/1017121 773.22/402.20 c cleaning 9955 clauses out of 20270 with flag 695000/1027121 780.60/406.15 c cleaning 10055 clauses out of 20316 with flag 705001/1037122 791.51/411.95 c cleaning 9998 clauses out of 20260 with flag 715000/1047121 801.05/417.00 c cleaning 9960 clauses out of 20264 with flag 725002/1057123 810.98/422.16 c cleaning 10020 clauses out of 20306 with flag 735004/1067125 819.51/426.67 c cleaning 10022 clauses out of 20282 with flag 745000/1077121 827.24/430.87 c cleaning 10059 clauses out of 20260 with flag 755000/1087121 834.78/434.81 c cleaning 10046 clauses out of 20205 with flag 765004/1097125 841.70/438.53 c cleaning 9973 clauses out of 20157 with flag 775002/1107123 850.22/443.02 c cleaning 9984 clauses out of 20183 with flag 785001/1117122 859.17/447.90 c cleaning 10010 clauses out of 20201 with flag 795003/1127124 866.67/451.84 c cleaning 9999 clauses out of 20189 with flag 805001/1137122 871.04/454.21 c cleaning 0 clauses out of 5783 with flag 0/5787 876.79/457.27 c cleaning 9999 clauses out of 20189 with flag 815000/1147121 887.24/462.72 c cleaning 9985 clauses out of 20191 with flag 825001/1157122 896.16/467.45 c cleaning 10018 clauses out of 20206 with flag 835001/1167122 904.47/471.87 c cleaning 9983 clauses out of 20187 with flag 845000/1177121 913.76/476.74 c cleaning 9995 clauses out of 20204 with flag 855000/1187121 921.85/481.19 c cleaning 10061 clauses out of 20209 with flag 865000/1197121 930.75/485.83 c cleaning 10021 clauses out of 20149 with flag 875001/1207122 939.26/490.34 c cleaning 10021 clauses out of 20128 with flag 885001/1217122 947.95/494.92 c cleaning 10013 clauses out of 20106 with flag 895000/1227121 958.03/500.31 c cleaning 9969 clauses out of 20098 with flag 905005/1237126 967.52/505.35 c cleaning 9988 clauses out of 20126 with flag 915002/1247123 977.81/510.71 c cleaning 10029 clauses out of 20137 with flag 925001/1257122 987.91/516.02 c cleaning 9968 clauses out of 20107 with flag 935000/1267121 998.17/521.54 c cleaning 9960 clauses out of 20139 with flag 945000/1277121 1008.64/527.03 c cleaning 9999 clauses out of 20180 with flag 955001/1287122 1018.87/532.40 c cleaning 9992 clauses out of 20180 with flag 965000/1297121 1029.94/538.26 c cleaning 9989 clauses out of 20188 with flag 975000/1307121 1040.77/544.00 c cleaning 10011 clauses out of 20200 with flag 985001/1317122 1051.42/549.67 c cleaning 9973 clauses out of 20188 with flag 995000/1327121 1062.90/555.66 c cleaning 9990 clauses out of 20215 with flag 1005000/1337121 1070.31/559.67 c cleaning 10050 clauses out of 20226 with flag 1015001/1347122 1078.72/564.28 c cleaning 10019 clauses out of 20177 with flag 1025002/1357123 1086.36/568.30 c cleaning 9952 clauses out of 20156 with flag 1035000/1367121 1093.64/572.25 c cleaning 9947 clauses out of 20204 with flag 1045000/1377121 1101.45/576.41 c cleaning 10032 clauses out of 20257 with flag 1055000/1387121 1109.67/580.96 c cleaning 10051 clauses out of 20225 with flag 1065000/1397121 1118.27/585.59 c cleaning 10048 clauses out of 20175 with flag 1075001/1407122 1129.10/591.30 c cleaning 9999 clauses out of 20126 with flag 1085000/1417121 1140.12/597.09 c cleaning 9997 clauses out of 20128 with flag 1095001/1427122 1148.96/601.84 c cleaning 9959 clauses out of 20132 with flag 1105002/1437123 1157.95/606.66 c cleaning 9984 clauses out of 20171 with flag 1115000/1447121 1166.57/611.21 c cleaning 10031 clauses out of 20187 with flag 1125000/1457121 1175.38/615.99 c cleaning 10002 clauses out of 20156 with flag 1135000/1467121 1184.34/620.89 c cleaning 10019 clauses out of 20154 with flag 1145000/1477121 1194.55/626.26 c cleaning 10003 clauses out of 20137 with flag 1155002/1487123 1203.95/631.25 c cleaning 9969 clauses out of 20133 with flag 1165001/1497122 1212.55/635.89 c cleaning 9978 clauses out of 20163 with flag 1175000/1507121 1222.09/641.02 c cleaning 10000 clauses out of 20186 with flag 1185001/1517122 1230.88/645.76 c cleaning 10035 clauses out of 20185 with flag 1195000/1527121 1241.07/651.13 c cleaning 10038 clauses out of 20151 with flag 1205001/1537122 1251.07/656.44 c cleaning 9987 clauses out of 20113 with flag 1215001/1547122 1261.59/662.16 c cleaning 9971 clauses out of 20127 with flag 1225002/1557123 1271.55/667.41 c cleaning 10045 clauses out of 20154 with flag 1235000/1567121 1281.53/672.73 c cleaning 10024 clauses out of 20111 with flag 1245002/1577123 1291.30/677.92 c cleaning 9994 clauses out of 20085 with flag 1255000/1587121 1302.39/683.99 c cleaning 10008 clauses out of 20092 with flag 1265001/1597122 1312.74/689.48 c cleaning 10000 clauses out of 20084 with flag 1275001/1607122 1323.29/695.04 c cleaning 10009 clauses out of 20083 with flag 1285000/1617121 1333.48/700.41 c cleaning 9999 clauses out of 20075 with flag 1295001/1627122 1343.36/705.89 c cleaning 9993 clauses out of 20077 with flag 1305002/1637123 1353.11/711.02 c cleaning 9979 clauses out of 20083 with flag 1315001/1647122 1363.27/716.47 c cleaning 10006 clauses out of 20103 with flag 1325000/1657121 1373.45/721.86 c cleaning 9978 clauses out of 20098 with flag 1335001/1667122 1383.69/727.48 c cleaning 10006 clauses out of 20119 with flag 1345000/1677121 1393.66/732.75 c cleaning 9990 clauses out of 20115 with flag 1355002/1687123 1404.00/738.24 c cleaning 9974 clauses out of 20125 with flag 1365002/1697123 1414.34/743.79 c cleaning 10005 clauses out of 20150 with flag 1375001/1707122 1424.75/749.42 c cleaning 9975 clauses out of 20144 with flag 1385000/1717121 1434.71/754.78 c cleaning 10006 clauses out of 20169 with flag 1395000/1727121 1445.60/760.54 c cleaning 10001 clauses out of 20164 with flag 1405001/1737122 1456.91/766.52 c cleaning 9995 clauses out of 20162 with flag 1415000/1747121 1468.13/772.62 c cleaning 10006 clauses out of 20167 with flag 1425000/1757121 1478.66/778.28 c cleaning 10000 clauses out of 20163 with flag 1435002/1767123 1488.78/783.61 c cleaning 10000 clauses out of 20161 with flag 1445000/1777121 1497.69/788.48 c cleaning 10028 clauses out of 20161 with flag 1455000/1787121 1506.11/793.17 c cleaning 9979 clauses out of 20134 with flag 1465001/1797122 1515.61/798.26 c cleaning 9892 clauses out of 20156 with flag 1475002/1807123 1526.32/803.98 c cleaning 9941 clauses out of 20262 with flag 1485000/1817121 1537.81/810.05 c cleaning 9938 clauses out of 20321 with flag 1495000/1827121 1549.79/816.59 c cleaning 9912 clauses out of 20385 with flag 1505002/1837123 1561.68/822.90 c cleaning 9960 clauses out of 20471 with flag 1515000/1847121 1572.55/828.65 c cleaning 9950 clauses out of 20512 with flag 1525001/1857122 1583.64/834.54 c cleaning 10015 clauses out of 20565 with flag 1535004/1867125 1594.63/840.56 c cleaning 9980 clauses out of 20546 with flag 1545000/1877121 1606.28/846.78 c cleaning 9951 clauses out of 20566 with flag 1555000/1887121 1618.55/853.21 c cleaning 9902 clauses out of 20616 with flag 1565001/1897122 1631.22/859.93 c cleaning 9955 clauses out of 20717 with flag 1575004/1907125 1643.37/866.57 c cleaning 10107 clauses out of 20758 with flag 1585000/1917121 1653.43/871.96 c cleaning 10052 clauses out of 20652 with flag 1595001/1927122 1664.29/877.72 c cleaning 10040 clauses out of 20602 with flag 1605003/1937124 1676.75/884.31 c cleaning 10028 clauses out of 20562 with flag 1615003/1947124 1688.49/890.76 c cleaning 9974 clauses out of 20531 with flag 1625000/1957121 1699.34/896.50 c cleaning 9998 clauses out of 20557 with flag 1635000/1967121 1709.83/902.19 c cleaning 10003 clauses out of 20561 with flag 1645002/1977123 1721.25/908.27 c cleaning 9965 clauses out of 20559 with flag 1655003/1987124 1733.38/914.87 c cleaning 9974 clauses out of 20593 with flag 1665002/1997123 1744.25/920.69 c cleaning 10275 clauses out of 20619 with flag 1675002/2007123 1752.30/925.07 c cleaning 10116 clauses out of 20343 with flag 1685001/2017122 1761.14/929.83 c cleaning 10037 clauses out of 20226 with flag 1695000/2027121 1769.45/934.58 c cleaning 10016 clauses out of 20190 with flag 1705001/2037122 1777.70/939.08 c cleaning 9996 clauses out of 20173 with flag 1715000/2047121 1787.73/944.47 c cleaning 9996 clauses out of 20177 with flag 1725000/2057121 1795.77/948.89 c cleaning 10066 clauses out of 20183 with flag 1735002/2067123 1800.12/951.52 c starts : 230 1800.12/951.52 c conflicts : 2071266 1800.12/951.52 c decisions : 4035710 1800.12/951.52 c propagations : 174841523 1800.12/951.52 c inspects : 3520061379 1800.12/951.52 c shortcuts : 0 1800.12/951.52 c learnt literals : 0 1800.12/951.52 c learnt binary clauses : 0 1800.12/951.52 c learnt ternary clauses : 0 1800.12/951.52 c learnt constraints : 2071266 1800.12/951.52 c ignored constraints : 0 1800.12/951.52 c root simplifications : 0 1800.12/951.52 c removed literals (reason simplification) : 132331014 1800.12/951.52 c reason swapping (by a shorter reason) : 0 1800.12/951.52 c Calls to reduceDB : 211 1800.12/951.52 c number of reductions to clauses (during analyze) : 0 1800.12/951.52 c number of learned constraints concerned by reduction : 0 1800.12/951.52 c number of learning phase by resolution : 0 1800.12/951.52 c number of learning phase by cutting planes : 0 1800.12/951.52 c speed (assignments/second) : 208506.73907806646 1800.12/951.52 c non guided choices 3 1800.12/951.54 c learnt constraints type 1800.12/951.54 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 14285 1800.12/951.54 c constraints type 1800.12/951.54 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 120 1800.12/951.54 c org.sat4j.minisat.constraints.cnf.UnitClauses => 5 1800.12/951.54 c org.sat4j.minisat.constraints.card.MinWatchCard => 210 1800.12/951.54 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1 1800.12/951.54 c constraints type 1800.12/951.54 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 120 1800.12/951.54 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 210 1800.12/951.54 c org.sat4j.pb.constraints.pb.UnitClausesPB => 5 1800.12/951.54 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1 1800.12/951.54 s SATISFIABLE 1800.12/951.54 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 1800.12/951.54 c objective function=916 1800.12/951.54 c Total wall clock time (in seconds): 951.427
OK 916
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-3454511-1307187972/watcher-3454511-1307187972 -o /tmp/evaluation-result-3454511-1307187972/solver-3454511-1307187972 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454511-1307187972.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: 1.00 1.29 1.66 2/521 28530 /proc/meminfo: memFree=23886644/32951124 swapFree=56930356/67111528 [pid=28530] ppid=28528 vsize=10444316 CPUtime=0 cores=0,2,4,6 /proc/28530/stat : 28530 (java) S 28528 28530 25956 0 -1 4202496 4099 0 1 0 0 0 0 0 18 0 2 0 830394947 10694979584 3802 33554432000 1073741824 1073778376 140733415975072 18446744073709551615 218917533669 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0 /proc/28530/statm: 2611079 3816 917 9 0 2602235 0 [pid=28530/tid=28532] ppid=28528 vsize=10444316 CPUtime=0 cores=0,2,4,6 /proc/28530/task/28532/stat : 28532 (java) R 28528 28530 25956 0 -1 4202560 5177 0 1 0 0 0 0 0 17 0 2 0 830394948 10694979584 5993 33554432000 1073741824 1073778376 140733415975072 18446744073709551615 218905424955 0 4 0 16784584 0 0 0 -1 4 0 0 0 [startup+0.0837441 s] /proc/loadavg: 1.00 1.29 1.66 2/521 28530 /proc/meminfo: memFree=23886644/32951124 swapFree=56930356/67111528 [pid=28530] ppid=28528 vsize=10538624 CPUtime=0.06 cores=0,2,4,6 /proc/28530/stat : 28530 (java) S 28528 28530 25956 0 -1 4202496 11958 0 1 0 5 1 0 0 18 0 18 0 830394947 10791550976 11656 33554432000 1073741824 1073778376 140733415975072 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/28530/statm: 2634656 11657 1755 9 0 2625390 0 [pid=28530/tid=28532] ppid=28528 vsize=10538624 CPUtime=0.06 cores=0,2,4,6 /proc/28530/task/28532/stat : 28532 (java) R 28528 28530 25956 0 -1 4202560 10784 0 1 0 5 1 0 0 25 0 18 0 830394948 10791550976 11657 33554432000 1073741824 1073778376 140733415975072 18446744073709551615 47479164160851 0 4 0 16800975 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 10538624 [startup+0.100702 s] /proc/loadavg: 1.00 1.29 1.66 2/521 28530 /proc/meminfo: memFree=23886644/32951124 swapFree=56930356/67111528 [pid=28530] ppid=28528 vsize=10539980 CPUtime=0.1 cores=0,2,4,6 /proc/28530/stat : 28530 (java) S 28528 28530 25956 0 -1 4202496 12961 0 1 0 8 2 0 0 18 0 18 0 830394947 10792939520 12634 33554432000 1073741824 1073778376 140733415975072 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/28530/statm: 2634995 12634 2092 9 0 2625729 0 [pid=28530/tid=28532] ppid=28528 vsize=10539980 CPUtime=0.07 cores=0,2,4,6 /proc/28530/task/28532/stat : 28532 (java) R 28528 28530 25956 0 -1 4202560 11018 0 1 0 6 1 0 0 25 0 18 0 830394948 10792939520 12634 33554432000 1073741824 1073778376 140733415975072 18446744073709551615 47479160681851 0 4 0 16800975 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 10539980 [startup+0.35466 s] /proc/loadavg: 1.00 1.29 1.66 2/521 28530 /proc/meminfo: memFree=23886644/32951124 swapFree=56930356/67111528 [pid=28530] ppid=28528 vsize=10545660 CPUtime=0.7 cores=0,2,4,6 /proc/28530/stat : 28530 (java) S 28528 28530 25956 0 -1 4202496 20014 0 1 0 67 3 0 0 18 0 21 0 830394947 10798755840 18416 33554432000 1073741824 1073778376 140733415975072 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/28530/statm: 2636415 18416 2214 9 0 2627149 0 [pid=28530/tid=28532] ppid=28528 vsize=10545660 CPUtime=0.29 cores=0,2,4,6 /proc/28530/task/28532/stat : 28532 (java) S 28528 28530 25956 0 -1 4202560 14881 0 1 0 27 2 0 0 19 0 21 0 830394948 10798755840 18416 33554432000 1073741824 1073778376 140733415975072 18446744073709551615 218917547520 0 4 0 16800975 18446604445590178496 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 10545660 [startup+0.702639 s] /proc/loadavg: 1.00 1.29 1.66 2/521 28530 /proc/meminfo: memFree=23886644/32951124 swapFree=56930356/67111528 [pid=28530] ppid=28528 vsize=10560132 CPUtime=1.9 cores=0,2,4,6 /proc/28530/stat : 28530 (java) S 28528 28530 25956 0 -1 4202496 31083 0 1 0 185 5 0 0 18 0 19 0 830394947 10813575168 27033 33554432000 1073741824 1073778376 140733415975072 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/28530/statm: 2640033 27034 2228 9 0 2630767 0 [pid=28530/tid=28532] ppid=28528 vsize=10560132 CPUtime=0.29 cores=0,2,4,6 /proc/28530/task/28532/stat : 28532 (java) S 28528 28530 25956 0 -1 4202560 14881 0 1 0 27 2 0 0 19 0 19 0 830394948 10813575168 27034 33554432000 1073741824 1073778376 140733415975072 18446744073709551615 218917547520 0 4 0 16800975 18446604445590178496 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 1.9 Current children cumulated vsize (KiB) 10560132 [startup+1.50145 s] /proc/loadavg: 1.00 1.29 1.66 7/567 28585 /proc/meminfo: memFree=23610124/32951124 swapFree=56930356/67111528 [pid=28530] ppid=28528 vsize=10562248 CPUtime=3.91 cores=0,2,4,6 /proc/28530/stat : 28530 (java) S 28528 28530 25956 0 -1 4202496 73715 0 1 0 381 10 0 0 18 0 22 0 830394947 10815741952 68871 33554432000 1073741824 1073778376 140733415975072 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/28530/statm: 2640562 68875 2231 9 0 2631296 0 [pid=28530/tid=28532] ppid=28528 vsize=10562248 CPUtime=0.3 cores=0,2,4,6 /proc/28530/task/28532/stat : 28532 (java) S 28528 28530 25956 0 -1 4202560 15106 0 1 0 28 2 0 0 15 0 22 0 830394948 10815741952 68876 33554432000 1073741824 1073778376 140733415975072 18446744073709551615 218917547520 0 4 0 16800975 18446604445590178496 0 0 -1 6 0 0 0 [pid=28530/tid=28539] ppid=28528 vsize=10562248 CPUtime=0 cores=0,2,4,6 /proc/28530/task/28539/stat : 28539 (java) S 28528 28530 25956 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830394950 10815741952 68878 33554432000 1073741824 1073778376 140733415975072 18446744073709551615 218917546905 0 4 0 16800975 18446604445590178496 0 0 -1 0 0 0 0 [pid=28530/tid=28540] ppid=28528 vsize=10562248 CPUtime=0 cores=0,2,4,6 /proc/28530/task/28540/stat : 28540 (java) S 28528 28530 25956 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830394950 10815741952 68880 33554432000 1073741824 1073778376 140733415975072 18446744073709551615 218917546905 0 4 0 16800975 18446604445590178496 0 0 -1 6 0 0 0 [pid=28530/tid=28541] ppid=28528 vsize=10562248 CPUtime=0 cores=0,2,4,6 /proc/28530/task/28541/stat : 28541 (java) S 28528 28530 25956 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830394950 10815741952 68881 33554432000 1073741824 1073778376 140733415975072 18446744073709551615 218917546905 0 4 0 16800975 18446604445590178496 0 0 -1 0 0 0 0 [pid=28530/tid=28542] ppid=28528 vsize=10562248 CPUtime=0 cores=0,2,4,6 /proc/28530/task/28542/stat : 28542 (java) S 28528 28530 25956 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830394950 10815741952 68883 33554432000 1073741824 1073778376 140733415975072 18446744073709551615 218917546905 0 4 0 16800975 18446604445590178496 0 0 -1 6 0 0 0 [pid=28530/tid=28543] ppid=28528 vsize=10562248 CPUtime=0 cores=0,2,4,6 /proc/28530/task/28543/stat : 28543 (java) S 28528 28530 25956 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830394950 10815741952 68885 33554432000 1073741824 1073778376 140733415975072 18446744073709551615 218917546905 0 4 0 16800975 18446604445590178496 0 0 -1 0 0 0 0 [pid=28530/tid=28544] ppid=28528 vsize=10562248 CPUtime=0 cores=0,2,4,6 /proc/28530/task/28544/stat : 28544 (java) S 28528 28530 25956 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830394950 10815741952 68887 33554432000 1073741824 1073778376 140733415975072 18446744073709551615 218917546905 0 4 0 16800975 18446604445590178496 0 0 -1 6 0 0 0 [pid=28530/tid=28545] ppid=28528 vsize=10562248 CPUtime=0 cores=0,2,4,6 /proc/28530/task/28545/stat : 28545 (java) S 28528 28530 25956 0 -1 4202560 2 0 0 0 0 0 0 0 19 0 22 0 830394950 10815741952 68889 33554432000 1073741824 1073778376 140733415975072 18446744073709551615 218917546905 0 4 0 16800975 18446604445590178496 0 0 -1 0 0 0 0 [pid=28530/tid=28546] ppid=28528 vsize=10562248 CPUtime=0 cores=0,2,4,6 /proc/28530/task/28546/stat : 28546 (java) S 28528 28530 25956 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830394950 10815741952 68891 33554432000 1073741824 1073778376 140733415975072 18446744073709551615 218917546905 0 4 0 16800975 18446604445590178496 0 0 -1 0 0 0 0 [pid=28530/tid=28556] ppid=28528 vsize=10562248 CPUtime=0 cores=0,2,4,6 /proc/28530/task/28556/stat : 28556 (java) S 28528 28530 25956 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 22 0 830394951 10815741952 68893 33554432000 1073741824 1073778376 140733415975072 18446744073709551615 218917547520 0 0 0 16800975 18446604445590178496 0 0 -1 4 0 0 0 [pid=28530/tid=28557] ppid=28528 vsize=10562248 CPUtime=0 cores=0,2,4,6 /proc/28530/task/28557/stat : 28557 (java) S 28528 28530 25956 0 -1 4202560 16 0 0 0 0 0 0 0 21 0 22 0 830394951 10815741952 68895 33554432000 1073741824 1073778376 140733415975072 18446744073709551615 218917546905 0 4 0 16800975 18446604445590178496 0 0 -1 4 0 0 0 [pid=28530/tid=28558] ppid=28528 vsize=10562248 CPUtime=0 cores=0,2,4,6 /proc/28530/task/28558/stat : 28558 (java) S 28528 28530 25956 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 830394951 10815741952 68897 33554432000 1073741824 1073778376 140733415975072 18446744073709551615 218917546905 0 4 0 16800975 18446604445590178496 0 0 -1 0 0 0 0 [pid=28530/tid=28562] ppid=28528 vsize=10562248 CPUtime=0 cores=0,2,4,6 /proc/28530/task/28562/stat : 28562 (java) S 28528 28530 25956 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 22 0 830394954 10815741952 68898 33554432000 1073741824 1073778376 140733415975072 18446744073709551615 218917554609 0 4 0 16800975 18446604445590178496 0 0 -1 4 0 0 0 [pid=28530/tid=28563] ppid=28528 vsize=10562248 CPUtime=0.96 cores=0,2,4,6 /proc/28530/task/28563/stat : 28563 (java) S 28528 28530 25956 0 -1 4202560 8652 0 0 0 95 1 0 0 15 0 22 0 830394954 10815741952 68900 33554432000 1073741824 1073778376 140733415975072 18446744073709551615 218917546905 0 4 0 16800975 18446604445590178496 0 0 -1 4 0 0 0 [pid=28530/tid=28564] ppid=28528 vsize=10562248 CPUtime=0.79 cores=0,2,4,6 /proc/28530/task/28564/stat : 28564 (java) S 28528 28530 25956 0 -1 4202560 5147 0 0 0 79 0 0 0 22 0 22 0 830394954 10815741952 68902 33554432000 1073741824 1073778376 140733415975072 18446744073709551615 218917546905 0 4 0 16800975 18446604445590178496 0 0 -1 2 0 0 0 [pid=28530/tid=28565] ppid=28528 vsize=10562248 CPUtime=0 cores=0,2,4,6 /proc/28530/task/28565/stat : 28565 (java) S 28528 28530 25956 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830394954 10815741952 68904 33554432000 1073741824 1073778376 140733415975072 18446744073709551615 218917546905 0 4 0 16800975 18446604445590178496 0 0 -1 4 0 0 0 [pid=28530/tid=28566] ppid=28528 vsize=10562248 CPUtime=0 cores=0,2,4,6 /proc/28530/task/28566/stat : 28566 (java) S 28528 28530 25956 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 22 0 830394954 10815741952 68906 33554432000 1073741824 1073778376 140733415975072 18446744073709551615 218917547520 0 4 0 16800975 18446604445590178496 0 0 -1 6 0 0 0 [pid=28530/tid=28574] ppid=28528 vsize=10562248 CPUtime=0 cores=0,2,4,6 /proc/28530/task/28574/stat : 28574 (java) S 28528 28530 25956 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 830394982 10815741952 68908 33554432000 1073741824 1073778376 140733415975072 18446744073709551615 218917547520 0 4 0 16800975 18446604445590178496 0 0 -1 0 0 0 0 [pid=28530/tid=28580] ppid=28528 vsize=10562248 CPUtime=0.61 cores=0,2,4,6 /proc/28530/task/28580/stat : 28580 (java) R 28528 28530 25956 0 -1 4202560 826 0 0 0 61 0 0 0 18 0 22 0 830395033 10815741952 68909 33554432000 1073741824 1073778376 140733415975072 18446744073709551615 46912505784512 0 4 0 16800975 0 0 0 -1 6 0 0 0 [pid=28530/tid=28581] ppid=28528 vsize=10562248 CPUtime=0.63 cores=0,2,4,6 /proc/28530/task/28581/stat : 28581 (java) R 28528 28530 25956 0 -1 4202560 40656 0 0 0 59 4 0 0 21 0 22 0 830395033 10815741952 68911 33554432000 1073741824 1073778376 140733415975072 18446744073709551615 46912505564209 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=28530/tid=28582] ppid=28528 vsize=10562248 CPUtime=0 cores=0,2,4,6 /proc/28530/task/28582/stat : 28582 (java) S 28528 28530 25956 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 22 0 830395034 10815741952 68912 33554432000 1073741824 1073778376 140733415975072 18446744073709551615 218917547520 0 4 0 16800975 18446604445590178496 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3.91 Current children cumulated vsize (KiB) 10562248 [startup+3.10116 s] /proc/loadavg: 1.08 1.30 1.66 5/567 28588 /proc/meminfo: memFree=23274332/32951124 swapFree=56930356/67111528 [pid=28530] ppid=28528 vsize=10562248 CPUtime=7.17 cores=0,2,4,6 /proc/28530/stat : 28530 (java) S 28528 28530 25956 0 -1 4202496 141459 0 1 0 698 19 0 0 18 0 22 0 830394947 10815741952 136611 33554432000 1073741824 1073778376 140733415975072 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/28530/statm: 2640562 136611 2256 9 0 2631296 0 [pid=28530/tid=28532] ppid=28528 vsize=10562248 CPUtime=0.3 cores=0,2,4,6 /proc/28530/task/28532/stat : 28532 (java) S 28528 28530 25956 0 -1 4202560 15106 0 1 0 28 2 0 0 15 0 22 0 830394948 10815741952 136611 33554432000 1073741824 1073778376 140733415975072 18446744073709551615 218917547520 0 4 0 16800975 18446604445590178496 0 0 -1 6 0 0 0 [pid=28530/tid=28539] ppid=28528 vsize=10562248 CPUtime=0 cores=0,2,4,6 /proc/28530/task/28539/stat : 28539 (java) S 28528 28530 25956 0 -1 4202560 496 0 0 0 0 0 0 0 18 0 22 0 830394950 10815741952 136611 33554432000 1073741824 1073778376 140733415975072 18446744073709551615 218917546905 0 4 0 16800975 18446604445590178496 0 0 -1 0 0 0 0 [pid=28530/tid=28540] ppid=28528 vsize=10562248 CPUtime=0 cores=0,2,4,6 /proc/28530/task/28540/stat : 28540 (java) S 28528 28530 25956 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830394950 10815741952 136611 33554432000 1073741824 1073778376 140733415975072 18446744073709551615 218917546905 0 4 0 16800975 18446604445590178496 0 0 -1 6 0 0 0 [pid=28530/tid=28541] ppid=28528 vsize=10562248 CPUtime=0 cores=0,2,4,6 /proc/28530/task/28541/stat : 28541 (java) S 28528 28530 25956 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830394950 10815741952 136611 33554432000 1073741824 1073778376 140733415975072 18446744073709551615 218917546905 0 4 0 16800975 18446604445590178496 0 0 -1 0 0 0 0 [pid=28530/tid=28542] ppid=28528 vsize=10562248 CPUtime=0 cores=0,2,4,6 /proc/28530/task/28542/stat : 28542 (java) S 28528 28530 25956 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830394950 10815741952 136611 33554432000 1073741824 1073778376 140733415975072 18446744073709551615 218917546905 0 4 0 16800975 18446604445590178496 0 0 -1 6 0 0 0 [pid=28530/tid=28543] ppid=28528 vsize=10562248 CPUtime=0 cores=0,2,4,6 /proc/28530/task/28543/stat : 28543 (java) S 28528 28530 25956 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830394950 10815741952 136611 33554432000 1073741824 1073778376 140733415975072 18446744073709551615 218917546905 0 4 0 16800975 18446604445590178496 0 0 -1 0 0 0 0 [pid=28530/tid=28544] ppid=28528 vsize=10562248 CPUtime=0 cores=0,2,4,6 /proc/28530/task/28544/stat : 28544 (java) S 28528 28530 25956 0 -1 4202560 416 0 0 0 0 0 0 0 18 0 22 0 830394950 10815741952 136611 33554432000 1073741824 1073778376 140733415975072 18446744073709551615 218917546905 0 4 0 16800975 18446604445590178496 0 0 -1 6 0 0 0 [pid=28530/tid=28545] ppid=28528 vsize=10562248 CPUtime=0 cores=0,2,4,6 /proc/28530/task/28545/stat : 28545 (java) S 28528 28530 25956 0 -1 4202560 506 0 0 0 0 0 0 0 18 0 22 0 830394950 10815741952 136611 33554432000 1073741824 1073778376 140733415975072 18446744073709551615 218917546905 0 4 0 16800975 18446604445590178496 0 0 -1 0 0 0 0 [pid=28530/tid=28546] ppid=28528 vsize=10562248 CPUtime=0 cores=0,2,4,6 /proc/28530/task/28546/stat : 28546 (java) S 28528 28530 25956 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830394950 10815741952 136611 33554432000 1073741824 1073778376 140733415975072 18446744073709551615 218917546905 0 4 0 16800975 18446604445590178496 0 0 -1 0 0 0 0 [pid=28530/tid=28556] ppid=28528 vsize=10562248 CPUtime=0.02 cores=0,2,4,6 /proc/28530/task/28556/stat : 28556 (java) S 28528 28530 25956 0 -1 4202560 1405 0 0 0 2 0 0 0 15 0 22 0 830394951 10815741952 136611 33554432000 1073741824 1073778376 140733415975072 18446744073709551615 218917547520 0 0 0 16800975 18446604445590178496 0 0 -1 4 0 0 0 [pid=28530/tid=28557] ppid=28528 vsize=10562248 CPUtime=0 cores=0,2,4,6 /proc/28530/task/28557/stat : 28557 (java) S 28528 28530 25956 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830394951 10815741952 136611 33554432000 1073741824 1073778376 140733415975072 18446744073709551615 218917546905 0 4 0 16800975 18446604445590178496 0 0 -1 4 0 0 0 [pid=28530/tid=28558] ppid=28528 vsize=10562248 CPUtime=0 cores=0,2,4,6 /proc/28530/task/28558/stat : 28558 (java) S 28528 28530 25956 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 830394951 10815741952 136611 33554432000 1073741824 1073778376 140733415975072 18446744073709551615 218917546905 0 4 0 16800975 18446604445590178496 0 0 -1 4 0 0 0 [pid=28530/tid=28562] ppid=28528 vsize=10562248 CPUtime=0 cores=0,2,4,6 /proc/28530/task/28562/stat : 28562 (java) S 28528 28530 25956 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 22 0 830394954 10815741952 136611 33554432000 1073741824 1073778376 140733415975072 18446744073709551615 218917554609 0 4 0 16800975 18446604445590178496 0 0 -1 4 0 0 0 [pid=28530/tid=28563] ppid=28528 vsize=10562248 CPUtime=1 cores=0,2,4,6 /proc/28530/task/28563/stat : 28563 (java) S 28528 28530 25956 0 -1 4202560 8661 0 0 0 99 1 0 0 15 0 22 0 830394954 10815741952 136611 33554432000 1073741824 1073778376 140733415975072 18446744073709551615 218917546905 0 4 0 16800975 18446604445590178496 0 0 -1 4 0 0 0 [pid=28530/tid=28564] ppid=28528 vsize=10562248 CPUtime=0.84 cores=0,2,4,6 /proc/28530/task/28564/stat : 28564 (java) S 28528 28530 25956 0 -1 4202560 5155 0 0 0 84 0 0 0 16 0 22 0 830394954 10815741952 136611 33554432000 1073741824 1073778376 140733415975072 18446744073709551615 218917546905 0 4 0 16800975 18446604445590178496 0 0 -1 2 0 0 0 [pid=28530/tid=28565] ppid=28528 vsize=10562248 CPUtime=0 cores=0,2,4,6 /proc/28530/task/28565/stat : 28565 (java) S 28528 28530 25956 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830394954 10815741952 136611 33554432000 1073741824 1073778376 140733415975072 18446744073709551615 218917546905 0 4 0 16800975 18446604445590178496 0 0 -1 4 0 0 0 [pid=28530/tid=28566] ppid=28528 vsize=10562248 CPUtime=0 cores=0,2,4,6 /proc/28530/task/28566/stat : 28566 (java) S 28528 28530 25956 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 22 0 830394954 10815741952 136611 33554432000 1073741824 1073778376 140733415975072 18446744073709551615 218917547520 0 4 0 16800975 18446604445590178496 0 0 -1 6 0 0 0 [pid=28530/tid=28574] ppid=28528 vsize=10562248 CPUtime=0 cores=0,2,4,6 /proc/28530/task/28574/stat : 28574 (java) S 28528 28530 25956 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 830394982 10815741952 136611 33554432000 1073741824 1073778376 140733415975072 18446744073709551615 218917547520 0 4 0 16800975 18446604445590178496 0 0 -1 0 0 0 0 [pid=28530/tid=28580] ppid=28528 vsize=10562248 CPUtime=2.17 cores=0,2,4,6 /proc/28530/task/28580/stat : 28580 (java) R 28528 28530 25956 0 -1 4202560 2513 0 0 0 217 0 0 0 20 0 22 0 830395033 10815741952 136611 33554432000 1073741824 1073778376 140733415975072 18446744073709551615 46912505725924 0 4 0 16800975 0 0 0 -1 6 0 0 0 [pid=28530/tid=28581] ppid=28528 vsize=10562248 CPUtime=2.2 cores=0,2,4,6 /proc/28530/task/28581/stat : 28581 (java) R 28528 28530 25956 0 -1 4202560 103836 0 0 0 208 12 0 0 19 0 22 0 830395033 10815741952 136611 33554432000 1073741824 1073778376 140733415975072 18446744073709551615 46912505905436 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=28530/tid=28582] ppid=28528 vsize=10562248 CPUtime=0 cores=0,2,4,6 /proc/28530/task/28582/stat : 28582 (java) S 28528 28530 25956 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 22 0 830395034 10815741952 136611 33554432000 1073741824 1073778376 140733415975072 18446744073709551615 218917547520 0 4 0 16800975 18446604445590178496 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 7.17 Current children cumulated vsize (KiB) 10562248 [startup+6.30159 s] /proc/loadavg: 1.08 1.30 1.66 5/567 28591 /proc/meminfo: memFree=22475860/32951124 swapFree=56930356/67111528 [pid=28530] ppid=28528 vsize=10562248 CPUtime=13.25 cores=0,2,4,6 /proc/28530/stat : 28530 (java) S 28528 28530 25956 0 -1 4202496 251286 0 1 0 1294 31 0 0 18 0 22 0 830394947 10815741952 246300 33554432000 1073741824 1073778376 140733415975072 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/28530/statm: 2640562 246300 2257 9 0 2631296 0 [pid=28530/tid=28532] ppid=28528 vsize=10562248 CPUtime=0.31 cores=0,2,4,6 /proc/28530/task/28532/stat : 28532 (java) S 28528 28530 25956 0 -1 4202560 15323 0 1 0 29 2 0 0 15 0 22 0 830394948 10815741952 246300 33554432000 1073741824 1073778376 140733415975072 18446744073709551615 218917547520 0 4 0 16800975 18446604445590178496 0 0 -1 4 0 0 0 [pid=28530/tid=28539] ppid=28528 vsize=10562248 CPUtime=0.01 cores=0,2,4,6 /proc/28530/task/28539/stat : 28539 (java) S 28528 28530 25956 0 -1 4202560 1120 0 0 0 1 0 0 0 15 0 22 0 830394950 10815741952 246300 33554432000 1073741824 1073778376 140733415975072 18446744073709551615 218917546905 0 4 0 16800975 18446604445590178496 0 0 -1 4 0 0 0 [pid=28530/tid=28540] ppid=28528 vsize=10562248 CPUtime=0.01 cores=0,2,4,6 /proc/28530/task/28540/stat : 28540 (java) S 28528 28530 25956 0 -1 4202560 1483 0 0 0 1 0 0 0 16 0 22 0 830394950 10815741952 246300 33554432000 1073741824 1073778376 140733415975072 18446744073709551615 218917546905 0 4 0 16800975 18446604445590178496 0 0 -1 6 0 0 0 [pid=28530/tid=28541] ppid=28528 vsize=10562248 CPUtime=0 cores=0,2,4,6 /proc/28530/task/28541/stat : 28541 (java) S 28528 28530 25956 0 -1 4202560 71 0 0 0 0 0 0 0 15 0 22 0 830394950 10815741952 246300 33554432000 1073741824 1073778376 140733415975072 18446744073709551615 218917546905 0 4 0 16800975 18446604445590178496 0 0 -1 6 0 0 0 [pid=28530/tid=28542] ppid=28528 vsize=10562248 CPUtime=0 cores=0,2,4,6 /proc/28530/task/28542/stat : 28542 (java) S 28528 28530 25956 0 -1 4202560 38 0 0 0 0 0 0 0 15 0 22 0 830394950 10815741952 246300 33554432000 1073741824 1073778376 140733415975072 18446744073709551615 218917546905 0 4 0 16800975 18446604445590178496 0 0 -1 6 0 0 0 [pid=28530/tid=28543] ppid=28528 vsize=10562248 CPUtime=0 cores=0,2,4,6 /proc/28530/task/28543/stat : 28543 (java) S 28528 28530 25956 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830394950 10815741952 246300 33554432000 1073741824 1073778376 140733415975072 18446744073709551615 218917546905 0 4 0 16800975 18446604445590178496 0 0 -1 4 0 0 0 [pid=28530/tid=28544] ppid=28528 vsize=10562248 CPUtime=0.01 cores=0,2,4,6 /proc/28530/task/28544/stat : 28544 (java) S 28528 28530 25956 0 -1 4202560 2341 0 0 0 1 0 0 0 16 0 22 0 830394950 10815741952 246300 33554432000 1073741824 1073778376 140733415975072 18446744073709551615 218917546905 0 4 0 16800975 18446604445590178496 0 0 -1 4 0 0 0 [pid=28530/tid=28545] ppid=28528 vsize=10562248 CPUtime=0.01 cores=0,2,4,6 /proc/28530/task/28545/stat : 28545 (java) S 28528 28530 25956 0 -1 4202560 1344 0 0 0 1 0 0 0 18 0 22 0 830394950 10815741952 246300 33554432000 1073741824 1073778376 140733415975072 18446744073709551615 218917546905 0 4 0 16800975 18446604445590178496 0 0 -1 4 0 0 0 [pid=28530/tid=28546] ppid=28528 vsize=10562248 CPUtime=0 cores=0,2,4,6 /proc/28530/task/28546/stat : 28546 (java) S 28528 28530 25956 0 -1 4202560 38 0 0 0 0 0 0 0 15 0 22 0 830394950 10815741952 246300 33554432000 1073741824 1073778376 140733415975072 18446744073709551615 218917546905 0 4 0 16800975 18446604445590178496 0 0 -1 0 0 0 0 ################ # More data... # ################ [pid=28530/tid=28613] ppid=28528 vsize=10562248 CPUtime=677.77 cores=0,2,4,6 /proc/28530/task/28613/stat : 28613 (java) R 28528 28530 25956 0 -1 4202560 81 0 0 0 67776 1 0 0 25 0 22 0 830406246 10815741952 447280 33554432000 1073741824 1073778376 140733415975072 18446744073709551615 46912505752406 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=28530/tid=28614] ppid=28528 vsize=10562248 CPUtime=677.78 cores=0,2,4,6 /proc/28530/task/28614/stat : 28614 (java) R 28528 28530 25956 0 -1 4202560 30125 0 0 0 67775 3 0 0 25 0 22 0 830406246 10815741952 447280 33554432000 1073741824 1073778376 140733415975072 18446744073709551615 46912505904605 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=28530/tid=28615] ppid=28528 vsize=10562248 CPUtime=0 cores=0,2,4,6 /proc/28530/task/28615/stat : 28615 (java) S 28528 28530 25956 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830406246 10815741952 447280 33554432000 1073741824 1073778376 140733415975072 18446744073709551615 218917547520 0 4 0 16800975 18446604445590178496 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 1672.79 Current children cumulated vsize (KiB) 10562248 [startup+942.302 s] /proc/loadavg: 3.40 3.44 2.86 5/567 28658 /proc/meminfo: memFree=20654016/32951124 swapFree=56930356/67111528 [pid=28530] ppid=28528 vsize=10562248 CPUtime=1783.53 cores=0,2,4,6 /proc/28530/stat : 28530 (java) S 28528 28530 25956 0 -1 4202496 456262 0 1 0 178292 61 0 0 18 0 22 0 830394947 10815741952 449249 33554432000 1073741824 1073778376 140733415975072 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/28530/statm: 2640562 449249 2258 9 0 2631296 0 [pid=28530/tid=28532] ppid=28528 vsize=10562248 CPUtime=0.33 cores=0,2,4,6 /proc/28530/task/28532/stat : 28532 (java) S 28528 28530 25956 0 -1 4202560 15427 0 1 0 31 2 0 0 15 0 22 0 830394948 10815741952 449249 33554432000 1073741824 1073778376 140733415975072 18446744073709551615 218917547520 0 4 0 16800975 18446604445590178496 0 0 -1 2 0 0 0 [pid=28530/tid=28539] ppid=28528 vsize=10562248 CPUtime=1.21 cores=0,2,4,6 /proc/28530/task/28539/stat : 28539 (java) S 28528 28530 25956 0 -1 4202560 1172 0 0 0 121 0 0 0 16 0 22 0 830394950 10815741952 449249 33554432000 1073741824 1073778376 140733415975072 18446744073709551615 218917546905 0 4 0 16800975 18446604445590178496 0 0 -1 0 0 0 0 [pid=28530/tid=28540] ppid=28528 vsize=10562248 CPUtime=1.24 cores=0,2,4,6 /proc/28530/task/28540/stat : 28540 (java) S 28528 28530 25956 0 -1 4202560 1673 0 0 0 124 0 0 0 15 0 22 0 830394950 10815741952 449249 33554432000 1073741824 1073778376 140733415975072 18446744073709551615 218917546905 0 4 0 16800975 18446604445590178496 0 0 -1 0 0 0 0 [pid=28530/tid=28541] ppid=28528 vsize=10562248 CPUtime=0.95 cores=0,2,4,6 /proc/28530/task/28541/stat : 28541 (java) S 28528 28530 25956 0 -1 4202560 341 0 0 0 95 0 0 0 16 0 22 0 830394950 10815741952 449249 33554432000 1073741824 1073778376 140733415975072 18446744073709551615 218917546905 0 4 0 16800975 18446604445590178496 0 0 -1 0 0 0 0 [pid=28530/tid=28542] ppid=28528 vsize=10562248 CPUtime=1.12 cores=0,2,4,6 /proc/28530/task/28542/stat : 28542 (java) S 28528 28530 25956 0 -1 4202560 333 0 0 0 112 0 0 0 15 0 22 0 830394950 10815741952 449249 33554432000 1073741824 1073778376 140733415975072 18446744073709551615 218917546905 0 4 0 16800975 18446604445590178496 0 0 -1 2 0 0 0 [pid=28530/tid=28543] ppid=28528 vsize=10562248 CPUtime=1.17 cores=0,2,4,6 /proc/28530/task/28543/stat : 28543 (java) S 28528 28530 25956 0 -1 4202560 105 0 0 0 117 0 0 0 16 0 22 0 830394950 10815741952 449249 33554432000 1073741824 1073778376 140733415975072 18446744073709551615 218917546905 0 4 0 16800975 18446604445590178496 0 0 -1 2 0 0 0 [pid=28530/tid=28544] ppid=28528 vsize=10562248 CPUtime=1.09 cores=0,2,4,6 /proc/28530/task/28544/stat : 28544 (java) S 28528 28530 25956 0 -1 4202560 2385 0 0 0 109 0 0 0 15 0 22 0 830394950 10815741952 449249 33554432000 1073741824 1073778376 140733415975072 18446744073709551615 218917546905 0 4 0 16800975 18446604445590178496 0 0 -1 2 0 0 0 [pid=28530/tid=28545] ppid=28528 vsize=10562248 CPUtime=1.07 cores=0,2,4,6 /proc/28530/task/28545/stat : 28545 (java) S 28528 28530 25956 0 -1 4202560 1601 0 0 0 107 0 0 0 15 0 22 0 830394950 10815741952 449249 33554432000 1073741824 1073778376 140733415975072 18446744073709551615 218917546905 0 4 0 16800975 18446604445590178496 0 0 -1 2 0 0 0 [pid=28530/tid=28546] ppid=28528 vsize=10562248 CPUtime=1.09 cores=0,2,4,6 /proc/28530/task/28546/stat : 28546 (java) S 28528 28530 25956 0 -1 4202560 457 0 0 0 109 0 0 0 16 0 22 0 830394950 10815741952 449249 33554432000 1073741824 1073778376 140733415975072 18446744073709551615 218917546905 0 4 0 16800975 18446604445590178496 0 0 -1 2 0 0 0 [pid=28530/tid=28556] ppid=28528 vsize=10562248 CPUtime=103.71 cores=0,2,4,6 /proc/28530/task/28556/stat : 28556 (java) S 28528 28530 25956 0 -1 4202560 99819 0 0 0 10359 12 0 0 15 0 22 0 830394951 10815741952 449249 33554432000 1073741824 1073778376 140733415975072 18446744073709551615 218917547520 0 0 0 16800975 18446604445590178496 0 0 -1 4 0 0 0 [pid=28530/tid=28557] ppid=28528 vsize=10562248 CPUtime=0 cores=0,2,4,6 /proc/28530/task/28557/stat : 28557 (java) S 28528 28530 25956 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830394951 10815741952 449249 33554432000 1073741824 1073778376 140733415975072 18446744073709551615 218917546905 0 4 0 16800975 18446604445590178496 0 0 -1 6 0 0 0 [pid=28530/tid=28558] ppid=28528 vsize=10562248 CPUtime=0 cores=0,2,4,6 /proc/28530/task/28558/stat : 28558 (java) S 28528 28530 25956 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 22 0 830394951 10815741952 449249 33554432000 1073741824 1073778376 140733415975072 18446744073709551615 218917546905 0 4 0 16800975 18446604445590178496 0 0 -1 4 0 0 0 [pid=28530/tid=28562] ppid=28528 vsize=10562248 CPUtime=0 cores=0,2,4,6 /proc/28530/task/28562/stat : 28562 (java) S 28528 28530 25956 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 22 0 830394954 10815741952 449249 33554432000 1073741824 1073778376 140733415975072 18446744073709551615 218917554609 0 4 0 16800975 18446604445590178496 0 0 -1 4 0 0 0 [pid=28530/tid=28563] ppid=28528 vsize=10562248 CPUtime=1.54 cores=0,2,4,6 /proc/28530/task/28563/stat : 28563 (java) S 28528 28530 25956 0 -1 4202560 10200 0 0 0 153 1 0 0 15 0 22 0 830394954 10815741952 449249 33554432000 1073741824 1073778376 140733415975072 18446744073709551615 218917546905 0 4 0 16800975 18446604445590178496 0 0 -1 0 0 0 0 [pid=28530/tid=28564] ppid=28528 vsize=10562248 CPUtime=1.1 cores=0,2,4,6 /proc/28530/task/28564/stat : 28564 (java) S 28528 28530 25956 0 -1 4202560 5181 0 0 0 110 0 0 0 15 0 22 0 830394954 10815741952 449249 33554432000 1073741824 1073778376 140733415975072 18446744073709551615 218917546905 0 4 0 16800975 18446604445590178496 0 0 -1 2 0 0 0 [pid=28530/tid=28565] ppid=28528 vsize=10562248 CPUtime=0 cores=0,2,4,6 /proc/28530/task/28565/stat : 28565 (java) S 28528 28530 25956 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830394954 10815741952 449249 33554432000 1073741824 1073778376 140733415975072 18446744073709551615 218917546905 0 4 0 16800975 18446604445590178496 0 0 -1 4 0 0 0 [pid=28530/tid=28566] ppid=28528 vsize=10562248 CPUtime=0 cores=0,2,4,6 /proc/28530/task/28566/stat : 28566 (java) S 28528 28530 25956 0 -1 4202560 56 0 0 0 0 0 0 0 15 0 22 0 830394954 10815741952 449249 33554432000 1073741824 1073778376 140733415975072 18446744073709551615 218917547520 0 4 0 16800975 18446604445590178496 0 0 -1 0 0 0 0 [pid=28530/tid=28574] ppid=28528 vsize=10562248 CPUtime=0 cores=0,2,4,6 /proc/28530/task/28574/stat : 28574 (java) S 28528 28530 25956 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 830394982 10815741952 449249 33554432000 1073741824 1073778376 140733415975072 18446744073709551615 218917547520 0 4 0 16800975 18446604445590178496 0 0 -1 0 0 0 0 [pid=28530/tid=28613] ppid=28528 vsize=10562248 CPUtime=728.12 cores=0,2,4,6 /proc/28530/task/28613/stat : 28613 (java) R 28528 28530 25956 0 -1 4202560 81 0 0 0 72810 2 0 0 22 0 22 0 830406246 10815741952 449249 33554432000 1073741824 1073778376 140733415975072 18446744073709551615 46912505884834 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=28530/tid=28614] ppid=28528 vsize=10562248 CPUtime=728.12 cores=0,2,4,6 /proc/28530/task/28614/stat : 28614 (java) R 28528 28530 25956 0 -1 4202560 30125 0 0 0 72809 3 0 0 22 0 22 0 830406246 10815741952 449249 33554432000 1073741824 1073778376 140733415975072 18446744073709551615 46912505889779 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=28530/tid=28615] ppid=28528 vsize=10562248 CPUtime=0 cores=0,2,4,6 /proc/28530/task/28615/stat : 28615 (java) S 28528 28530 25956 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830406246 10815741952 449249 33554432000 1073741824 1073778376 140733415975072 18446744073709551615 218917547520 0 4 0 16800975 18446604445590178496 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 1783.53 Current children cumulated vsize (KiB) 10562248 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+951.501 s] /proc/loadavg: 3.45 3.45 2.86 5/567 28658 /proc/meminfo: memFree=20652404/32951124 swapFree=56930356/67111528 [pid=28530] ppid=28528 vsize=10562248 CPUtime=1800.12 cores=0,2,4,6 /proc/28530/stat : 28530 (java) S 28528 28530 25956 0 -1 4202496 456691 0 1 0 179951 61 0 0 18 0 22 0 830394947 10815741952 449672 33554432000 1073741824 1073778376 140733415975072 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/28530/statm: 2640562 449672 2258 9 0 2631296 0 [pid=28530/tid=28532] ppid=28528 vsize=10562248 CPUtime=0.33 cores=0,2,4,6 /proc/28530/task/28532/stat : 28532 (java) S 28528 28530 25956 0 -1 4202560 15429 0 1 0 31 2 0 0 15 0 22 0 830394948 10815741952 449672 33554432000 1073741824 1073778376 140733415975072 18446744073709551615 218917547520 0 4 0 16800975 18446604445590178496 0 0 -1 2 0 0 0 [pid=28530/tid=28539] ppid=28528 vsize=10562248 CPUtime=1.23 cores=0,2,4,6 /proc/28530/task/28539/stat : 28539 (java) S 28528 28530 25956 0 -1 4202560 1173 0 0 0 123 0 0 0 16 0 22 0 830394950 10815741952 449672 33554432000 1073741824 1073778376 140733415975072 18446744073709551615 218917546905 0 4 0 16800975 18446604445590178496 0 0 -1 0 0 0 0 [pid=28530/tid=28540] ppid=28528 vsize=10562248 CPUtime=1.24 cores=0,2,4,6 /proc/28530/task/28540/stat : 28540 (java) S 28528 28530 25956 0 -1 4202560 1673 0 0 0 124 0 0 0 15 0 22 0 830394950 10815741952 449672 33554432000 1073741824 1073778376 140733415975072 18446744073709551615 218917546905 0 4 0 16800975 18446604445590178496 0 0 -1 0 0 0 0 [pid=28530/tid=28541] ppid=28528 vsize=10562248 CPUtime=0.95 cores=0,2,4,6 /proc/28530/task/28541/stat : 28541 (java) S 28528 28530 25956 0 -1 4202560 341 0 0 0 95 0 0 0 15 0 22 0 830394950 10815741952 449672 33554432000 1073741824 1073778376 140733415975072 18446744073709551615 218917546905 0 4 0 16800975 18446604445590178496 0 0 -1 0 0 0 0 [pid=28530/tid=28542] ppid=28528 vsize=10562248 CPUtime=1.12 cores=0,2,4,6 /proc/28530/task/28542/stat : 28542 (java) S 28528 28530 25956 0 -1 4202560 333 0 0 0 112 0 0 0 15 0 22 0 830394950 10815741952 449672 33554432000 1073741824 1073778376 140733415975072 18446744073709551615 218917546905 0 4 0 16800975 18446604445590178496 0 0 -1 2 0 0 0 [pid=28530/tid=28543] ppid=28528 vsize=10562248 CPUtime=1.17 cores=0,2,4,6 /proc/28530/task/28543/stat : 28543 (java) S 28528 28530 25956 0 -1 4202560 105 0 0 0 117 0 0 0 15 0 22 0 830394950 10815741952 449672 33554432000 1073741824 1073778376 140733415975072 18446744073709551615 218917546905 0 4 0 16800975 18446604445590178496 0 0 -1 2 0 0 0 [pid=28530/tid=28544] ppid=28528 vsize=10562248 CPUtime=1.13 cores=0,2,4,6 /proc/28530/task/28544/stat : 28544 (java) S 28528 28530 25956 0 -1 4202560 2388 0 0 0 113 0 0 0 16 0 22 0 830394950 10815741952 449672 33554432000 1073741824 1073778376 140733415975072 18446744073709551615 218917546905 0 4 0 16800975 18446604445590178496 0 0 -1 2 0 0 0 [pid=28530/tid=28545] ppid=28528 vsize=10562248 CPUtime=1.09 cores=0,2,4,6 /proc/28530/task/28545/stat : 28545 (java) S 28528 28530 25956 0 -1 4202560 1603 0 0 0 109 0 0 0 15 0 22 0 830394950 10815741952 449672 33554432000 1073741824 1073778376 140733415975072 18446744073709551615 218917546905 0 4 0 16800975 18446604445590178496 0 0 -1 0 0 0 0 [pid=28530/tid=28546] ppid=28528 vsize=10562248 CPUtime=1.13 cores=0,2,4,6 /proc/28530/task/28546/stat : 28546 (java) S 28528 28530 25956 0 -1 4202560 461 0 0 0 113 0 0 0 16 0 22 0 830394950 10815741952 449672 33554432000 1073741824 1073778376 140733415975072 18446744073709551615 218917546905 0 4 0 16800975 18446604445590178496 0 0 -1 6 0 0 0 [pid=28530/tid=28556] ppid=28528 vsize=10562248 CPUtime=105.6 cores=0,2,4,6 /proc/28530/task/28556/stat : 28556 (java) S 28528 28530 25956 0 -1 4202560 100234 0 0 0 10548 12 0 0 15 0 22 0 830394951 10815741952 449672 33554432000 1073741824 1073778376 140733415975072 18446744073709551615 218917547520 0 0 0 16800975 18446604445590178496 0 0 -1 4 0 0 0 [pid=28530/tid=28557] ppid=28528 vsize=10562248 CPUtime=0 cores=0,2,4,6 /proc/28530/task/28557/stat : 28557 (java) S 28528 28530 25956 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830394951 10815741952 449672 33554432000 1073741824 1073778376 140733415975072 18446744073709551615 218917546905 0 4 0 16800975 18446604445590178496 0 0 -1 6 0 0 0 [pid=28530/tid=28558] ppid=28528 vsize=10562248 CPUtime=0 cores=0,2,4,6 /proc/28530/task/28558/stat : 28558 (java) S 28528 28530 25956 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 22 0 830394951 10815741952 449672 33554432000 1073741824 1073778376 140733415975072 18446744073709551615 218917546905 0 4 0 16800975 18446604445590178496 0 0 -1 4 0 0 0 [pid=28530/tid=28562] ppid=28528 vsize=10562248 CPUtime=0 cores=0,2,4,6 /proc/28530/task/28562/stat : 28562 (java) S 28528 28530 25956 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 22 0 830394954 10815741952 449672 33554432000 1073741824 1073778376 140733415975072 18446744073709551615 218917554609 0 4 0 16800975 18446604445590178496 0 0 -1 4 0 0 0 [pid=28530/tid=28563] ppid=28528 vsize=10562248 CPUtime=1.54 cores=0,2,4,6 /proc/28530/task/28563/stat : 28563 (java) S 28528 28530 25956 0 -1 4202560 10200 0 0 0 153 1 0 0 15 0 22 0 830394954 10815741952 449672 33554432000 1073741824 1073778376 140733415975072 18446744073709551615 218917546905 0 4 0 16800975 18446604445590178496 0 0 -1 0 0 0 0 [pid=28530/tid=28564] ppid=28528 vsize=10562248 CPUtime=1.1 cores=0,2,4,6 /proc/28530/task/28564/stat : 28564 (java) S 28528 28530 25956 0 -1 4202560 5181 0 0 0 110 0 0 0 15 0 22 0 830394954 10815741952 449672 33554432000 1073741824 1073778376 140733415975072 18446744073709551615 218917546905 0 4 0 16800975 18446604445590178496 0 0 -1 2 0 0 0 [pid=28530/tid=28565] ppid=28528 vsize=10562248 CPUtime=0 cores=0,2,4,6 /proc/28530/task/28565/stat : 28565 (java) S 28528 28530 25956 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830394954 10815741952 449672 33554432000 1073741824 1073778376 140733415975072 18446744073709551615 218917546905 0 4 0 16800975 18446604445590178496 0 0 -1 4 0 0 0 [pid=28530/tid=28566] ppid=28528 vsize=10562248 CPUtime=0 cores=0,2,4,6 /proc/28530/task/28566/stat : 28566 (java) S 28528 28530 25956 0 -1 4202560 58 0 0 0 0 0 0 0 15 0 22 0 830394954 10815741952 449672 33554432000 1073741824 1073778376 140733415975072 18446744073709551615 218917547520 0 4 0 16800975 18446604445590178496 0 0 -1 0 0 0 0 [pid=28530/tid=28574] ppid=28528 vsize=10562248 CPUtime=0 cores=0,2,4,6 /proc/28530/task/28574/stat : 28574 (java) S 28528 28530 25956 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 830394982 10815741952 449672 33554432000 1073741824 1073778376 140733415975072 18446744073709551615 218917547520 0 4 0 16800975 18446604445590178496 0 0 -1 0 0 0 0 [pid=28530/tid=28613] ppid=28528 vsize=10562248 CPUtime=735.41 cores=0,2,4,6 /proc/28530/task/28613/stat : 28613 (java) R 28528 28530 25956 0 -1 4202560 81 0 0 0 73539 2 0 0 20 0 22 0 830406246 10815741952 449672 33554432000 1073741824 1073778376 140733415975072 18446744073709551615 46912505806904 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=28530/tid=28614] ppid=28528 vsize=10562248 CPUtime=735.41 cores=0,2,4,6 /proc/28530/task/28614/stat : 28614 (java) R 28528 28530 25956 0 -1 4202560 30125 0 0 0 73538 3 0 0 20 0 22 0 830406246 10815741952 449672 33554432000 1073741824 1073778376 140733415975072 18446744073709551615 46912505366576 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=28530/tid=28615] ppid=28528 vsize=10562248 CPUtime=0 cores=0,2,4,6 /proc/28530/task/28615/stat : 28615 (java) S 28528 28530 25956 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830406246 10815741952 449672 33554432000 1073741824 1073778376 140733415975072 18446744073709551615 218917547520 0 4 0 16800975 18446604445590178496 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 1800.12 Current children cumulated vsize (KiB) 10562248 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+951.501 s] /proc/loadavg: 3.45 3.45 2.86 5/567 28658 /proc/meminfo: memFree=20652404/32951124 swapFree=56930356/67111528 [pid=28530] ppid=28528 vsize=10562248 CPUtime=1800.12 cores=0,2,4,6 /proc/28530/stat : 28530 (java) S 28528 28530 25956 0 -1 4202496 456691 0 1 0 179951 61 0 0 18 0 22 0 830394947 10815741952 449672 33554432000 1073741824 1073778376 140733415975072 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/28530/statm: 2640562 449672 2258 9 0 2631296 0 [pid=28530/tid=28532] ppid=28528 vsize=10562248 CPUtime=0.33 cores=0,2,4,6 /proc/28530/task/28532/stat : 28532 (java) S 28528 28530 25956 0 -1 4202560 15429 0 1 0 31 2 0 0 15 0 22 0 830394948 10815741952 449672 33554432000 1073741824 1073778376 140733415975072 18446744073709551615 218917547520 0 4 0 16800975 18446604445590178496 0 0 -1 2 0 0 0 [pid=28530/tid=28539] ppid=28528 vsize=10562248 CPUtime=1.23 cores=0,2,4,6 /proc/28530/task/28539/stat : 28539 (java) S 28528 28530 25956 0 -1 4202560 1173 0 0 0 123 0 0 0 16 0 22 0 830394950 10815741952 449672 33554432000 1073741824 1073778376 140733415975072 18446744073709551615 218917546905 0 4 0 16800975 18446604445590178496 0 0 -1 0 0 0 0 [pid=28530/tid=28540] ppid=28528 vsize=10562248 CPUtime=1.24 cores=0,2,4,6 /proc/28530/task/28540/stat : 28540 (java) S 28528 28530 25956 0 -1 4202560 1673 0 0 0 124 0 0 0 15 0 22 0 830394950 10815741952 449672 33554432000 1073741824 1073778376 140733415975072 18446744073709551615 218917546905 0 4 0 16800975 18446604445590178496 0 0 -1 0 0 0 0 [pid=28530/tid=28541] ppid=28528 vsize=10562248 CPUtime=0.95 cores=0,2,4,6 /proc/28530/task/28541/stat : 28541 (java) S 28528 28530 25956 0 -1 4202560 341 0 0 0 95 0 0 0 15 0 22 0 830394950 10815741952 449672 33554432000 1073741824 1073778376 140733415975072 18446744073709551615 218917546905 0 4 0 16800975 18446604445590178496 0 0 -1 0 0 0 0 [pid=28530/tid=28542] ppid=28528 vsize=10562248 CPUtime=1.12 cores=0,2,4,6 /proc/28530/task/28542/stat : 28542 (java) S 28528 28530 25956 0 -1 4202560 333 0 0 0 112 0 0 0 15 0 22 0 830394950 10815741952 449672 33554432000 1073741824 1073778376 140733415975072 18446744073709551615 218917546905 0 4 0 16800975 18446604445590178496 0 0 -1 2 0 0 0 [pid=28530/tid=28543] ppid=28528 vsize=10562248 CPUtime=1.17 cores=0,2,4,6 /proc/28530/task/28543/stat : 28543 (java) S 28528 28530 25956 0 -1 4202560 105 0 0 0 117 0 0 0 15 0 22 0 830394950 10815741952 449672 33554432000 1073741824 1073778376 140733415975072 18446744073709551615 218917546905 0 4 0 16800975 18446604445590178496 0 0 -1 2 0 0 0 [pid=28530/tid=28544] ppid=28528 vsize=10562248 CPUtime=1.13 cores=0,2,4,6 /proc/28530/task/28544/stat : 28544 (java) S 28528 28530 25956 0 -1 4202560 2388 0 0 0 113 0 0 0 16 0 22 0 830394950 10815741952 449672 33554432000 1073741824 1073778376 140733415975072 18446744073709551615 218917546905 0 4 0 16800975 18446604445590178496 0 0 -1 2 0 0 0 [pid=28530/tid=28545] ppid=28528 vsize=10562248 CPUtime=1.09 cores=0,2,4,6 /proc/28530/task/28545/stat : 28545 (java) S 28528 28530 25956 0 -1 4202560 1603 0 0 0 109 0 0 0 15 0 22 0 830394950 10815741952 449672 33554432000 1073741824 1073778376 140733415975072 18446744073709551615 218917546905 0 4 0 16800975 18446604445590178496 0 0 -1 0 0 0 0 [pid=28530/tid=28546] ppid=28528 vsize=10562248 CPUtime=1.13 cores=0,2,4,6 /proc/28530/task/28546/stat : 28546 (java) S 28528 28530 25956 0 -1 4202560 461 0 0 0 113 0 0 0 16 0 22 0 830394950 10815741952 449672 33554432000 1073741824 1073778376 140733415975072 18446744073709551615 218917546905 0 4 0 16800975 18446604445590178496 0 0 -1 6 0 0 0 [pid=28530/tid=28556] ppid=28528 vsize=10562248 CPUtime=105.6 cores=0,2,4,6 /proc/28530/task/28556/stat : 28556 (java) S 28528 28530 25956 0 -1 4202560 100234 0 0 0 10548 12 0 0 15 0 22 0 830394951 10815741952 449672 33554432000 1073741824 1073778376 140733415975072 18446744073709551615 218917547520 0 0 0 16800975 18446604445590178496 0 0 -1 4 0 0 0 [pid=28530/tid=28557] ppid=28528 vsize=10562248 CPUtime=0 cores=0,2,4,6 /proc/28530/task/28557/stat : 28557 (java) S 28528 28530 25956 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830394951 10815741952 449672 33554432000 1073741824 1073778376 140733415975072 18446744073709551615 218917546905 0 4 0 16800975 18446604445590178496 0 0 -1 6 0 0 0 [pid=28530/tid=28558] ppid=28528 vsize=10562248 CPUtime=0 cores=0,2,4,6 /proc/28530/task/28558/stat : 28558 (java) S 28528 28530 25956 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 22 0 830394951 10815741952 449672 33554432000 1073741824 1073778376 140733415975072 18446744073709551615 218917546905 0 4 0 16800975 18446604445590178496 0 0 -1 4 0 0 0 [pid=28530/tid=28562] ppid=28528 vsize=10562248 CPUtime=0 cores=0,2,4,6 /proc/28530/task/28562/stat : 28562 (java) S 28528 28530 25956 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 22 0 830394954 10815741952 449672 33554432000 1073741824 1073778376 140733415975072 18446744073709551615 218917554609 0 4 0 16800975 18446604445590178496 0 0 -1 4 0 0 0 [pid=28530/tid=28563] ppid=28528 vsize=10562248 CPUtime=1.54 cores=0,2,4,6 /proc/28530/task/28563/stat : 28563 (java) S 28528 28530 25956 0 -1 4202560 10200 0 0 0 153 1 0 0 15 0 22 0 830394954 10815741952 449672 33554432000 1073741824 1073778376 140733415975072 18446744073709551615 218917546905 0 4 0 16800975 18446604445590178496 0 0 -1 0 0 0 0 [pid=28530/tid=28564] ppid=28528 vsize=10562248 CPUtime=1.1 cores=0,2,4,6 /proc/28530/task/28564/stat : 28564 (java) S 28528 28530 25956 0 -1 4202560 5181 0 0 0 110 0 0 0 15 0 22 0 830394954 10815741952 449672 33554432000 1073741824 1073778376 140733415975072 18446744073709551615 218917546905 0 4 0 16800975 18446604445590178496 0 0 -1 2 0 0 0 [pid=28530/tid=28565] ppid=28528 vsize=10562248 CPUtime=0 cores=0,2,4,6 /proc/28530/task/28565/stat : 28565 (java) S 28528 28530 25956 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830394954 10815741952 449672 33554432000 1073741824 1073778376 140733415975072 18446744073709551615 218917546905 0 4 0 16800975 18446604445590178496 0 0 -1 4 0 0 0 [pid=28530/tid=28566] ppid=28528 vsize=10562248 CPUtime=0 cores=0,2,4,6 /proc/28530/task/28566/stat : 28566 (java) S 28528 28530 25956 0 -1 4202560 58 0 0 0 0 0 0 0 15 0 22 0 830394954 10815741952 449672 33554432000 1073741824 1073778376 140733415975072 18446744073709551615 218917547520 0 4 0 16800975 18446604445590178496 0 0 -1 0 0 0 0 [pid=28530/tid=28574] ppid=28528 vsize=10562248 CPUtime=0 cores=0,2,4,6 /proc/28530/task/28574/stat : 28574 (java) S 28528 28530 25956 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 830394982 10815741952 449672 33554432000 1073741824 1073778376 140733415975072 18446744073709551615 218917547520 0 4 0 16800975 18446604445590178496 0 0 -1 0 0 0 0 [pid=28530/tid=28613] ppid=28528 vsize=10562248 CPUtime=735.41 cores=0,2,4,6 /proc/28530/task/28613/stat : 28613 (java) R 28528 28530 25956 0 -1 4202560 81 0 0 0 73539 2 0 0 20 0 22 0 830406246 10815741952 449672 33554432000 1073741824 1073778376 140733415975072 18446744073709551615 46912505806904 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=28530/tid=28614] ppid=28528 vsize=10562248 CPUtime=735.41 cores=0,2,4,6 /proc/28530/task/28614/stat : 28614 (java) R 28528 28530 25956 0 -1 4202560 30125 0 0 0 73538 3 0 0 20 0 22 0 830406246 10815741952 449672 33554432000 1073741824 1073778376 140733415975072 18446744073709551615 46912505366576 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=28530/tid=28615] ppid=28528 vsize=10562248 CPUtime=0 cores=0,2,4,6 /proc/28530/task/28615/stat : 28615 (java) S 28528 28530 25956 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830406246 10815741952 449672 33554432000 1073741824 1073778376 140733415975072 18446744073709551615 218917547520 0 4 0 16800975 18446604445590178496 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 1800.12 Current children cumulated vsize (KiB) 10562248 Child status: 143 Real time (s): 951.626 CPU time (s): 1800.29 CPU user time (s): 1799.59 CPU system time (s): 0.691894 CPU usage (%): 189.18 Max. virtual memory (cumulated for all children) (KiB): 10562248 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.59 system time used= 0.691894 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 456725 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= 27827 involuntary context switches= 25337 runsolver used 5.62914 second user time and 11.5942 second system time The end
Begin job on node137 at 2011-06-04 13:46:12 IDJOB=3454511 IDBENCH=1872 IDSOLVER=1950 FILE ID=node137/3454511-1307187972 RUNJOBID= node137-1307187972-28516 PBS_JOBID= 13508854 Free space on /tmp= 73732 MiB SOLVER NAME= Sat4j Res//CP 2.3.0 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-10teams.opb COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3454511-1307187972/watcher-3454511-1307187972 -o /tmp/evaluation-result-3454511-1307187972/solver-3454511-1307187972 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454511-1307187972.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 6db31fd4066996ff4f309d723fc2c237 RANDOM SEED=1810564531 node137.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.844 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.68 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.844 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.844 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.74 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.844 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.74 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.844 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.844 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.75 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.844 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.83 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.844 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.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 23887064 kB Buffers: 284580 kB Cached: 511284 kB SwapCached: 12312 kB Active: 8335888 kB Inactive: 467056 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 23887064 kB SwapTotal: 67111528 kB SwapFree: 56930356 kB Dirty: 572 kB Writeback: 0 kB AnonPages: 8004608 kB Mapped: 20880 kB Slab: 117260 kB PageTables: 74208 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 162520132 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= 73732 MiB End job on node137 at 2011-06-04 14:02:06