Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4JPseudoResolution 2007-03-23 | ? (TO) | 1800.13 | 1789.5 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-fit1d.opb |
MD5SUM | ba437a46cdfe6ecad707b12b94061ac9 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 1783.19 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -20 |
Optimality of the best value was proved | NO |
Number of variables | 11514 |
Total number of constraints | 1050 |
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 | 1050 |
Minimum length of a constraint | 11 |
Maximum length of a constraint | 11514 |
Number of terms in the objective function | 11514 |
Biggest coefficient in the objective function | 3344 |
Number of bits for the biggest coefficient in the objective function | 12 |
Sum of the numbers in the objective function | 531132 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 15548 |
Number of bits of the biggest number in a constraint | 14 |
Biggest sum of numbers in a constraint | 531582 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.09/0.13 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.09/0.13 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.09/0.13 c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details. 0.09/0.14 c no version file found!!! 0.09/0.14 c sun.arch.data.model 32 0.09/0.14 c java.version 1.6.0 0.09/0.14 c os.name Linux 0.09/0.14 c os.version 2.6.9-22.EL.rootsmp 0.09/0.14 c os.arch i386 0.09/0.14 c Free memory 1651659224 0.09/0.14 c Max memory 1654456320 0.09/0.14 c Total memory 1654456320 0.09/0.14 c Number of processors 2 0.21/0.20 --- Begin Solver configuration --- 0.21/0.20 c Stops conflict analysis at the first Unique Implication Point 0.21/0.20 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@691f36 0.21/0.20 c Learn all clauses as in MiniSAT 0.21/0.20 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.21/0.20 c VSIDS like heuristics from MiniSAT using a heap 0.21/0.20 c No reason simplification 0.21/0.20 c --- End Solver configuration --- 0.21/0.20 c solving /tmp/evaluation/351274-1176593546/instance-351274-1176593546.opb 0.21/0.20 c reading problem ... 2.50/2.02 c ... done. Wall clock time 1.821s. 2.50/2.02 c CPU time (experimental) 1.63s. 2.50/2.02 c #vars 11514 2.50/2.02 c #constraints 1051 709.19/703.95 c cleaning 42242 clauses out of 84502 for limit 6.169456977802643E11 715.84/710.59 c cleaning 21368 clauses out of 42758 for limit 2.0067044260379932E12 726.17/720.86 c cleaning 10933 clauses out of 21890 for limit 6.464142428404608E12 733.42/728.06 c cleaning 5720 clauses out of 11458 for limit 2.038629288778337E13 739.55/734.15 c cleaning 3107 clauses out of 6237 for limit 6.1701071845443445E13 750.19/744.73 c cleaning 1805 clauses out of 3630 for limit 1.748307072757035E14 755.84/750.34 c cleaning 1160 clauses out of 2325 for limit 4.5015001538680556E14 759.92/754.38 c cleaning 832 clauses out of 1665 for limit 1.0366254710045134E15 764.19/758.60 c cleaning 667 clauses out of 1334 for limit 2.1358496738642155E15 767.93/762.30 c cleaning 583 clauses out of 1166 for limit 4.025773503702816E15 772.08/766.36 c cleaning 535 clauses out of 1084 for limit 7.148402600846043E15 776.31/770.56 c cleaning 517 clauses out of 1049 for limit 1.2182002524809422E16 780.53/774.77 c cleaning 515 clauses out of 1031 for limit 2.042005386338952E16 784.96/779.14 c cleaning 508 clauses out of 1017 for limit 3.4173148550939116E16 789.50/783.67 c cleaning 499 clauses out of 1008 for limit 5.680241369636149E-4 793.82/787.99 c cleaning 498 clauses out of 1009 for limit 9.358193985021282E-4 798.45/792.52 c cleaning 499 clauses out of 1012 for limit 0.0015402566620253213 802.88/796.94 c cleaning 498 clauses out of 1012 for limit 0.0025375491982420543 807.21/801.26 c cleaning 500 clauses out of 1014 for limit 0.004176504134419617 811.75/805.79 c cleaning 499 clauses out of 1014 for limit 0.006887614040385101 816.26/810.29 c cleaning 504 clauses out of 1016 for limit 0.011347585103383226 820.02/813.91 c cleaning 502 clauses out of 1012 for limit 0.01878765302615324 823.85/817.73 c cleaning 497 clauses out of 1010 for limit 0.031044706382050657 828.18/822.07 c cleaning 497 clauses out of 1013 for limit 0.05104525434316376 832.82/826.63 c cleaning 499 clauses out of 1016 for limit 0.08393188879374243 837.47/831.20 c cleaning 502 clauses out of 1017 for limit 0.13827881163552888 842.00/835.73 c cleaning 499 clauses out of 1015 for limit 0.22848959940726757 846.35/840.05 c cleaning 499 clauses out of 1015 for limit 0.37643310629811766 850.78/844.44 c cleaning 502 clauses out of 1016 for limit 0.6201775382526526 855.43/849.09 c cleaning 501 clauses out of 1014 for limit 1.0247729961227803 864.75/858.35 c cleaning 749 clauses out of 1513 for limit 1.8678348480910474 873.88/867.43 c cleaning 877 clauses out of 1764 for limit 4.35703044892219 883.00/876.51 c cleaning 935 clauses out of 1887 for limit 11.077175836189925 887.21/880.74 c cleaning 720 clauses out of 1453 for limit 23.74792858783571 891.62/885.18 c cleaning 611 clauses out of 1233 for limit 46.151323396603736 895.93/889.48 c cleaning 553 clauses out of 1121 for limit 83.63017358908404 900.43/893.99 c cleaning 527 clauses out of 1069 for limit 144.7709100382894 905.05/898.52 c cleaning 515 clauses out of 1042 for limit 244.93292994660578 909.56/903.01 c cleaning 506 clauses out of 1026 for limit 409.8160009463885 913.98/907.47 c cleaning 501 clauses out of 1021 for limit 679.8309439882877 918.58/912.01 c cleaning 500 clauses out of 1019 for limit 1122.2092958523244 923.19/916.61 c cleaning 504 clauses out of 1020 for limit 1850.7095793691344 927.61/921.06 c cleaning 500 clauses out of 1015 for limit 3064.0353935387884 932.22/925.61 c cleaning 502 clauses out of 1015 for limit 5053.004263267022 936.73/930.12 c cleaning 499 clauses out of 1013 for limit 8349.532289316945 941.24/934.67 c cleaning 501 clauses out of 1015 for limit 13756.11983408198 945.75/939.13 c cleaning 500 clauses out of 1014 for limit 22708.05433451371 950.38/943.72 c cleaning 498 clauses out of 1013 for limit 37448.101874283406 954.79/948.17 c cleaning 501 clauses out of 1016 for limit 61636.21278201475 959.10/952.46 c cleaning 500 clauses out of 1015 for limit 101746.50462003019 963.71/957.03 c cleaning 500 clauses out of 1015 for limit 167793.59752230023 968.23/961.50 c cleaning 499 clauses out of 1015 for limit 276714.08934015577 972.74/966.05 c cleaning 500 clauses out of 1016 for limit 455889.39935291756 977.35/970.69 c cleaning 500 clauses out of 1016 for limit 751822.6073256911 981.47/974.75 c cleaning 500 clauses out of 1016 for limit 1239856.0565090794 986.08/979.37 c cleaning 500 clauses out of 1015 for limit 2044656.2706163747 990.40/983.66 c cleaning 507 clauses out of 1015 for limit 3371911.719468653 995.03/988.22 c cleaning 504 clauses out of 1008 for limit 5599349.716625635 999.55/992.79 c cleaning 497 clauses out of 1004 for limit 9270865.90071909 1004.06/997.26 c cleaning 498 clauses out of 1007 for limit 1.5243350245238785E7 1008.58/1001.74 c cleaning 505 clauses out of 1010 for limit 2.5088744229105007E7 1012.91/1006.05 c cleaning 493 clauses out of 1004 for limit 4.1580332727996476E7 1017.53/1010.61 c cleaning 497 clauses out of 1011 for limit 6.80967530273042E7 1022.15/1015.22 c cleaning 499 clauses out of 1014 for limit 1.1196840510241915E8 1026.68/1019.78 c cleaning 508 clauses out of 1016 for limit 1.8447186476185787E8 1031.00/1024.06 c cleaning 504 clauses out of 1008 for limit 3.066332179841376E8 1035.53/1028.50 c cleaning 495 clauses out of 1003 for limit 5.0769183056837106E8 1040.25/1033.26 c cleaning 496 clauses out of 1009 for limit 8.331061503966376E8 1044.46/1037.46 c cleaning 506 clauses out of 1013 for limit 1.3684784051209023E9 1049.08/1042.04 c cleaning 503 clauses out of 1007 for limit 2.2702506587027316E9 1053.49/1046.49 c cleaning 501 clauses out of 1003 for limit 3.755119162054292E9 1058.21/1051.11 c cleaning 495 clauses out of 1002 for limit 6.198874182264323E9 1062.62/1055.52 c cleaning 497 clauses out of 1009 for limit 1.0172185877170006E10 1067.05/1059.97 c cleaning 505 clauses out of 1010 for limit 1.6725185505293276E10 1071.46/1064.34 c cleaning 502 clauses out of 1005 for limit 2.7719292574180084E10 1076.08/1068.93 c cleaning 496 clauses out of 1003 for limit 4.5803973862231384E10 1080.09/1072.97 c cleaning 493 clauses out of 1007 for limit 7.523683325337738E10 1084.50/1077.37 c cleaning 499 clauses out of 1014 for limit 1.2321906534474352E11 1088.91/1081.72 c cleaning 508 clauses out of 1016 for limit 2.0300772112960062E11 1093.24/1086.03 c cleaning 503 clauses out of 1007 for limit 3.374412480536008E11 1097.66/1090.49 c cleaning 498 clauses out of 1005 for limit 5.581513458172488E11 1101.70/1094.47 c cleaning 496 clauses out of 1006 for limit 9.186317097636664E11 1105.61/1098.37 c cleaning 496 clauses out of 1011 for limit 1.508963227562179E12 1110.03/1102.71 c cleaning 501 clauses out of 1014 for limit 2.4786387344299644E12 1114.25/1106.98 c cleaning 507 clauses out of 1014 for limit 4.0916985579905757E12 1118.67/1111.33 c cleaning 495 clauses out of 1007 for limit 6.794664266100594E12 1122.79/1115.46 c cleaning 506 clauses out of 1012 for limit 1.114994814344294E13 1127.11/1119.76 c cleaning 502 clauses out of 1005 for limit 1.849731419498691E13 1131.31/1123.90 c cleaning 492 clauses out of 1003 for limit 3.0565372245389066E13 1135.73/1128.38 c cleaning 496 clauses out of 1011 for limit 5.0007524192261195E13 1140.14/1132.78 c cleaning 500 clauses out of 1016 for limit 8.214539081405977E13 1143.77/1136.39 c cleaning 502 clauses out of 1015 for limit 1.3546660319836117E14 1145.27/1137.88 c cleaning 497 clauses out of 1013 for limit 2.238436222488958E14 1146.78/1139.35 c cleaning 504 clauses out of 1016 for limit 3.6805807418410794E14 1148.29/1140.84 c cleaning 506 clauses out of 1012 for limit 6.093761208438551E14 1149.79/1142.30 c cleaning 503 clauses out of 1006 for limit 1.0109364384496052E15 1151.20/1143.79 c cleaning 495 clauses out of 1003 for limit 1.672155976297653E15 1152.70/1145.28 c cleaning 497 clauses out of 1009 for limit 2.7439547859505285E15 1154.22/1146.79 c cleaning 498 clauses out of 1011 for limit 4.511680498094525E15 1155.72/1148.22 c cleaning 499 clauses out of 1013 for limit 7.425674940682818E15 1157.12/1149.62 c cleaning 507 clauses out of 1015 for limit 1.2234035487672702E16 1158.53/1151.03 c cleaning 504 clauses out of 1008 for limit 2.0315669222764428E16 1159.93/1152.44 c cleaning 502 clauses out of 1004 for limit 3.3636735438828416E16 1161.34/1153.81 c cleaning 500 clauses out of 1001 for limit 5.5582087037387672E16 1162.75/1155.28 c cleaning 495 clauses out of 1002 for limit 9.166248030504614E-4 1164.26/1156.71 c cleaning 496 clauses out of 1006 for limit 0.0015041208128755343 1165.66/1158.20 c cleaning 498 clauses out of 1011 for limit 0.0024706995984539034 1167.06/1159.59 c cleaning 500 clauses out of 1012 for limit 0.004066417474402134 1168.57/1161.05 c cleaning 498 clauses out of 1012 for limit 0.006706066410886368 1169.98/1162.48 c cleaning 498 clauses out of 1015 for limit 0.01103755089144585 1171.49/1163.90 c cleaning 500 clauses out of 1016 for limit 0.01816629776882419 1172.90/1165.30 c cleaning 498 clauses out of 1016 for limit 0.029958655264627803 1174.40/1166.81 c cleaning 501 clauses out of 1018 for limit 0.04930876582890708 1175.90/1168.31 c cleaning 502 clauses out of 1017 for limit 0.0813967087347449 1177.30/1169.74 c cleaning 500 clauses out of 1017 for limit 0.13450293312379047 1178.71/1171.15 c cleaning 502 clauses out of 1016 for limit 0.22180961875809044 1180.12/1172.53 c cleaning 503 clauses out of 1016 for limit 0.36652642080720854 1181.54/1173.94 c cleaning 498 clauses out of 1011 for limit 0.6062261998404085 1182.94/1175.36 c cleaning 494 clauses out of 1012 for limit 0.9977614494348372 1184.35/1176.72 c cleaning 498 clauses out of 1019 for limit 1.6357745513480246 1185.76/1178.12 c cleaning 504 clauses out of 1020 for limit 2.6922713820983373 1187.26/1179.66 c cleaning 500 clauses out of 1016 for limit 4.4573956576733025 1188.67/1181.03 c cleaning 500 clauses out of 1016 for limit 7.35084173922612 1190.08/1182.47 c cleaning 500 clauses out of 1016 for limit 12.122521405998397 1191.48/1183.84 c cleaning 502 clauses out of 1016 for limit 19.99165952039129 1192.88/1185.21 c cleaning 499 clauses out of 1014 for limit 33.03394844305336 1194.19/1186.55 c cleaning 498 clauses out of 1015 for limit 54.42372786970168 1195.49/1187.85 c cleaning 502 clauses out of 1017 for limit 89.57550447610015 1196.80/1189.20 c cleaning 501 clauses out of 1015 for limit 148.01306789065114 1199.91/1192.25 c cleaning 501 clauses out of 1018 for limit 244.34995240063893 1203.12/1195.46 c cleaning 498 clauses out of 1013 for limit 403.3373414027461 1206.94/1199.29 c cleaning 506 clauses out of 1028 for limit 664.0324485611845 1210.26/1202.59 c cleaning 489 clauses out of 1009 for limit 1101.281856830265 1213.77/1206.04 c cleaning 501 clauses out of 1020 for limit 1796.5750575911857 1216.68/1208.93 c cleaning 496 clauses out of 1021 for limit 2965.8194308373177 1219.60/1211.88 c cleaning 496 clauses out of 1026 for limit 4872.069627825745 1222.71/1214.92 c cleaning 493 clauses out of 1027 for limit 8002.814588159061 1226.42/1218.64 c cleaning 504 clauses out of 1041 for limit 13111.728221519708 1229.43/1221.62 c cleaning 506 clauses out of 1032 for limit 21702.726579153416 1232.75/1224.99 c cleaning 497 clauses out of 1030 for limit 36003.99607597146 1237.96/1230.14 c cleaning 504 clauses out of 1034 for limit 59204.918883517894 1241.28/1233.42 c cleaning 494 clauses out of 1024 for limit 98000.25120132207 1243.60/1235.76 c cleaning 506 clauses out of 1032 for limit 160683.8980592313 1248.41/1240.54 c cleaning 509 clauses out of 1036 for limit 266620.35690502415 1252.62/1244.74 c cleaning 490 clauses out of 1014 for limit 443427.2106319441 1254.14/1246.29 c cleaning 496 clauses out of 1031 for limit 724267.6690531939 1255.55/1247.63 c cleaning 496 clauses out of 1032 for limit 1189680.7067693584 1256.97/1249.04 c cleaning 499 clauses out of 1037 for limit 1954437.3713341856 1258.60/1250.69 c cleaning 518 clauses out of 1037 for limit 3219905.5565986237 1259.90/1251.94 c cleaning 511 clauses out of 1022 for limit 5404187.597916336 1263.71/1255.79 c cleaning 502 clauses out of 1005 for limit 9008740.288032308 1266.72/1258.76 c cleaning 481 clauses out of 1006 for limit 1.4886464642255368E7 1269.22/1261.26 c cleaning 510 clauses out of 1021 for limit 2.4092487858148452E7 1272.74/1264.73 c cleaning 506 clauses out of 1012 for limit 4.012520619357749E7 1276.65/1268.67 c cleaning 509 clauses out of 1018 for limit 6.6576358946063735E7 1279.76/1271.77 c cleaning 503 clauses out of 1006 for limit 1.1077000846974936E8 1284.17/1276.16 c cleaning 475 clauses out of 994 for limit 1.8322261039001662E8 1287.08/1279.09 c cleaning 487 clauses out of 1020 for limit 2.9475126503144526E8 1290.61/1282.57 c cleaning 498 clauses out of 1039 for limit 4.8006855434694463E8 1294.22/1286.16 c cleaning 493 clauses out of 1033 for limit 7.899475899009199E8 1299.12/1291.01 c cleaning 501 clauses out of 1043 for limit 1.2941175111634934E9 1302.85/1294.71 c cleaning 500 clauses out of 1045 for limit 2.1364914253550885E9 1306.76/1298.65 c cleaning 522 clauses out of 1044 for limit 3.523208306146933E9 1310.06/1301.94 c cleaning 509 clauses out of 1019 for limit 5.934948947648292E9 1313.87/1305.74 c cleaning 496 clauses out of 1018 for limit 9.875870232205217E9 1316.88/1308.77 c cleaning 486 clauses out of 1014 for limit 1.62205281330942E10 1320.49/1312.32 c cleaning 501 clauses out of 1028 for limit 2.638552366400079E10 1323.80/1315.67 c cleaning 515 clauses out of 1030 for limit 4.355931385761648E10 1326.81/1318.68 c cleaning 505 clauses out of 1010 for limit 7.289205752401736E10 1330.62/1322.42 c cleaning 503 clauses out of 1006 for limit 1.2080752892447417E11 1334.13/1325.96 c cleaning 504 clauses out of 1008 for limit 1.9982963520810748E11 1336.95/1328.72 c cleaning 494 clauses out of 1012 for limit 3.3088105085827045E11 1341.55/1333.30 c cleaning 495 clauses out of 1016 for limit 5.4243232747840424E11 1344.56/1336.33 c cleaning 495 clauses out of 1017 for limit 8.900945857525509E11 1346.68/1338.49 c cleaning 487 clauses out of 1016 for limit 1.4605358470663967E12 1349.39/1341.12 c cleaning 496 clauses out of 1027 for limit 2.3780574840649194E12 1351.91/1343.61 c cleaning 497 clauses out of 1033 for limit 3.906765834930505E12 1356.12/1347.81 c cleaning 517 clauses out of 1035 for limit 6.42389935444117E12 1358.72/1350.40 c cleaning 486 clauses out of 1017 for limit 1.077059015127141E13 1360.83/1352.60 c cleaning 499 clauses out of 1033 for limit 1.752205511830117E13 1364.64/1356.32 c cleaning 517 clauses out of 1035 for limit 2.8869244100121125E13 1366.36/1358.00 c cleaning 508 clauses out of 1016 for limit 4.8402625307068836E13 1368.17/1359.85 c cleaning 496 clauses out of 1016 for limit 8.046386676492295E13 1370.68/1362.35 c cleaning 506 clauses out of 1012 for limit 1.321581307732505E14 1374.10/1365.74 c cleaning 501 clauses out of 1005 for limit 2.1924500785885594E14 1376.11/1367.75 c cleaning 501 clauses out of 1004 for limit 3.619244718842895E14 1379.63/1371.25 c cleaning 485 clauses out of 1003 for limit 5.974569481684226E14 1382.94/1374.52 c cleaning 490 clauses out of 1018 for limit 9.707684608958601E14 1385.15/1376.76 c cleaning 499 clauses out of 1031 for limit 1.5854925045443395E15 1387.06/1378.64 c cleaning 499 clauses out of 1029 for limit 2.6119197868216325E15 1389.08/1380.62 c cleaning 517 clauses out of 1035 for limit 4.3039112403457605E15 1391.39/1382.96 c cleaning 508 clauses out of 1018 for limit 7.216253233157803E15 1394.61/1386.18 c cleaning 488 clauses out of 1010 for limit 1.1994828871035326E16 1397.62/1389.17 c cleaning 506 clauses out of 1021 for limit 1.954839307942364E-4 1400.53/1392.05 c cleaning 498 clauses out of 1015 for limit 3.2428484282796534E-4 1404.13/1395.60 c cleaning 497 clauses out of 1015 for limit 5.337200444867933E-4 1407.34/1398.84 c cleaning 501 clauses out of 1016 for limit 8.775516988637899E-4 1410.16/1401.69 c cleaning 487 clauses out of 1015 for limit 0.0014486259611462373 1414.68/1406.10 c cleaning 493 clauses out of 1029 for limit 0.0023588337352890157 1418.50/1409.98 c cleaning 493 clauses out of 1035 for limit 0.0038636139947490714 1422.12/1413.54 c cleaning 497 clauses out of 1043 for limit 0.006329073958289503 1425.93/1417.35 c cleaning 506 clauses out of 1053 for limit 0.010411027108676568 1429.16/1420.51 c cleaning 500 clauses out of 1039 for limit 0.01726180450376282 1432.47/1423.89 c cleaning 498 clauses out of 1043 for limit 0.02847156678795761 1436.08/1427.45 c cleaning 498 clauses out of 1043 for limit 0.04685956259984349 1439.99/1431.37 c cleaning 505 clauses out of 1046 for limit 0.07713318294319806 1442.31/1433.65 c cleaning 499 clauses out of 1038 for limit 0.12779914132666767 1444.82/1436.15 c cleaning 504 clauses out of 1041 for limit 0.21057144160855296 1448.04/1439.35 c cleaning 497 clauses out of 1036 for limit 0.3485875080643535 1451.05/1442.38 c cleaning 501 clauses out of 1040 for limit 0.5732296350433792 1453.26/1444.51 c cleaning 505 clauses out of 1045 for limit 0.9464738973576324 1456.08/1447.37 c cleaning 497 clauses out of 1032 for limit 1.5679240695102445 1459.49/1450.71 c cleaning 498 clauses out of 1035 for limit 2.5782217131901772 1462.51/1453.73 c cleaning 500 clauses out of 1039 for limit 4.243947222537382 1466.34/1457.55 c cleaning 497 clauses out of 1037 for limit 6.998317296095682 1470.36/1461.50 c cleaning 498 clauses out of 1043 for limit 11.509262602937604 1474.47/1465.65 c cleaning 498 clauses out of 1043 for limit 18.942372066735178 1478.09/1469.26 c cleaning 500 clauses out of 1044 for limit 31.177375079349112 1481.70/1472.84 c cleaning 501 clauses out of 1044 for limit 51.41566234046561 1484.72/1475.83 c cleaning 502 clauses out of 1044 for limit 84.87618164532402 1488.73/1479.89 c cleaning 498 clauses out of 1045 for limit 140.25858852764998 1492.24/1483.37 c cleaning 498 clauses out of 1045 for limit 230.84279689367153 1497.27/1488.35 c cleaning 521 clauses out of 1046 for limit 379.94637797017526 1498.67/1489.72 c cleaning 506 clauses out of 1025 for limit 639.4197036556534 1499.98/1491.03 c cleaning 504 clauses out of 1018 for limit 1060.6777959751967 1501.29/1492.30 c cleaning 500 clauses out of 1015 for limit 1756.1257542755006 1502.40/1493.41 c cleaning 500 clauses out of 1015 for limit 2896.086299100634 1503.72/1494.71 c cleaning 502 clauses out of 1014 for limit 4775.963087323944 1505.12/1496.12 c cleaning 502 clauses out of 1013 for limit 7891.869042368172 1506.43/1497.50 c cleaning 498 clauses out of 1010 for limit 13040.352067495547 1507.74/1498.77 c cleaning 501 clauses out of 1014 for limit 21463.356845060272 1509.15/1500.12 c cleaning 497 clauses out of 1012 for limit 35430.43331873598 1510.56/1501.58 c cleaning 500 clauses out of 1015 for limit 58256.82623966579 1511.86/1502.88 c cleaning 502 clauses out of 1015 for limit 96073.29992799266 1513.37/1504.34 c cleaning 498 clauses out of 1012 for limit 158748.49368384128 1514.78/1505.70 c cleaning 500 clauses out of 1016 for limit 261289.12120045774 1516.09/1507.08 c cleaning 501 clauses out of 1014 for limit 430887.54879877396 1517.49/1508.46 c cleaning 502 clauses out of 1017 for limit 711336.1512411648 1518.80/1509.71 c cleaning 499 clauses out of 1012 for limit 1175351.2482921327 1520.02/1511.00 c cleaning 500 clauses out of 1012 for limit 1936373.132666552 1521.33/1512.27 c cleaning 498 clauses out of 1012 for limit 3193338.339130364 1522.53/1513.47 c cleaning 507 clauses out of 1015 for limit 5255932.803549112 1523.75/1514.67 c cleaning 504 clauses out of 1008 for limit 8727928.932491057 1525.05/1515.94 c cleaning 496 clauses out of 1004 for limit 1.4450867121922418E7 1526.36/1517.23 c cleaning 497 clauses out of 1007 for limit 2.3736655412189007E7 1527.57/1518.43 c cleaning 505 clauses out of 1011 for limit 3.902907323654368E7 1528.87/1519.72 c cleaning 502 clauses out of 1005 for limit 6.468367821602445E7 1530.18/1521.00 c cleaning 499 clauses out of 1010 for limit 1.0688994789058244E8 1531.39/1522.29 c cleaning 493 clauses out of 1005 for limit 1.760925545456663E8 1532.70/1523.54 c cleaning 501 clauses out of 1012 for limit 2.8839148279123205E8 1534.00/1524.83 c cleaning 497 clauses out of 1010 for limit 4.760613720607432E8 1535.31/1526.15 c cleaning 500 clauses out of 1014 for limit 7.827746659558153E8 1536.62/1527.45 c cleaning 500 clauses out of 1014 for limit 1.2909001418824754E9 1538.02/1528.85 c cleaning 501 clauses out of 1014 for limit 2.1288670274955707E9 1539.23/1530.07 c cleaning 506 clauses out of 1012 for limit 3.5142071115262947E9 1540.43/1531.29 c cleaning 503 clauses out of 1007 for limit 5.830003211665391E9 1541.74/1532.53 c cleaning 502 clauses out of 1005 for limit 9.64323169582704E9 1543.05/1533.86 c cleaning 493 clauses out of 1002 for limit 1.593464223197511E10 1544.36/1535.14 c cleaning 501 clauses out of 1008 for limit 2.609581601076636E10 1545.65/1536.40 c cleaning 496 clauses out of 1007 for limit 4.3078227974839134E10 1546.97/1537.72 c cleaning 496 clauses out of 1011 for limit 7.076068561679024E10 1548.17/1538.98 c cleaning 502 clauses out of 1016 for limit 1.1623579187632681E11 1549.48/1540.29 c cleaning 506 clauses out of 1013 for limit 1.920637996983484E11 1550.79/1541.59 c cleaning 504 clauses out of 1008 for limit 3.186286536854452E11 1552.20/1542.91 c cleaning 494 clauses out of 1003 for limit 5.275526426150847E11 1553.40/1544.10 c cleaning 493 clauses out of 1009 for limit 8.648314143204934E11 1554.81/1545.53 c cleaning 508 clauses out of 1017 for limit 1.4164200597518408E12 1556.11/1546.88 c cleaning 499 clauses out of 1009 for limit 2.354386410903103E12 1557.51/1548.27 c cleaning 505 clauses out of 1010 for limit 3.8788539001585728E12 1558.92/1549.67 c cleaning 497 clauses out of 1004 for limit 6.428541592160565E12 1560.23/1550.98 c cleaning 504 clauses out of 1008 for limit 1.057002556197324E13 1561.53/1552.24 c cleaning 496 clauses out of 1003 for limit 1.7500764144184361E13 1562.94/1553.64 c cleaning 496 clauses out of 1008 for limit 2.8746687747225016E13 1564.24/1554.91 c cleaning 497 clauses out of 1011 for limit 4.721919331107502E13 1565.55/1556.24 c cleaning 501 clauses out of 1019 for limit 7.764687484808636E13 1566.87/1557.52 c cleaning 506 clauses out of 1013 for limit 1.2816576898548277E14 1568.17/1558.81 c cleaning 503 clauses out of 1007 for limit 2.1262185824315403E14 1569.48/1560.12 c cleaning 502 clauses out of 1004 for limit 3.516896230122276E14 1570.78/1561.44 c cleaning 501 clauses out of 1003 for limit 5.811426276619369E14 1572.09/1562.79 c cleaning 496 clauses out of 1001 for limit 9.593364891232044E14 1573.50/1564.13 c cleaning 495 clauses out of 1006 for limit 1.5757868032166652E15 1574.90/1565.59 c cleaning 498 clauses out of 1011 for limit 2.585831199755005E15 1576.31/1566.92 c cleaning 506 clauses out of 1013 for limit 4.2559622626128275E15 1577.63/1568.29 c cleaning 498 clauses out of 1006 for limit 7.060421167506201E15 1579.14/1569.71 c cleaning 497 clauses out of 1008 for limit 1.1620476692115106E16 1580.44/1571.03 c cleaning 506 clauses out of 1012 for limit 1.9107081775309288E16 1581.64/1572.27 c cleaning 502 clauses out of 1005 for limit 3.1697877909418736E16 1582.95/1573.55 c cleaning 499 clauses out of 1004 for limit 5.237848540230234E-4 1584.15/1574.78 c cleaning 494 clauses out of 1005 for limit 8.629318011422835E-4 1585.46/1576.02 c cleaning 499 clauses out of 1011 for limit 0.0014146443431650201 1586.66/1577.27 c cleaning 498 clauses out of 1011 for limit 0.0023306048318439626 1587.97/1578.57 c cleaning 502 clauses out of 1014 for limit 0.0038359438542112114 1589.37/1579.95 c cleaning 499 clauses out of 1011 for limit 0.006338411290529113 1590.78/1581.33 c cleaning 499 clauses out of 1013 for limit 0.010442693359979997 1592.09/1582.60 c cleaning 497 clauses out of 1013 for limit 0.017204176950782277 1593.40/1583.91 c cleaning 501 clauses out of 1017 for limit 0.02828868710075593 1594.61/1585.19 c cleaning 502 clauses out of 1016 for limit 0.0466977465769443 1596.01/1586.53 c cleaning 499 clauses out of 1015 for limit 0.0771638678260954 1597.33/1587.80 c cleaning 500 clauses out of 1014 for limit 0.1271244067355636 1598.73/1589.22 c cleaning 498 clauses out of 1014 for limit 0.20964515310582058 1599.93/1590.48 c cleaning 502 clauses out of 1016 for limit 0.34505232671702446 1601.34/1591.80 c cleaning 501 clauses out of 1014 for limit 0.5701598088592632 1602.55/1593.05 c cleaning 498 clauses out of 1013 for limit 0.9411980025819109 1603.75/1594.26 c cleaning 498 clauses out of 1015 for limit 1.5491029713309088 1605.07/1595.52 c cleaning 502 clauses out of 1018 for limit 2.549699213494216 1606.27/1596.78 c cleaning 499 clauses out of 1015 for limit 4.213005838448969 1607.58/1598.08 c cleaning 501 clauses out of 1016 for limit 6.940971837541054 1608.90/1599.37 c cleaning 499 clauses out of 1015 for limit 11.457868536367029 1610.11/1600.59 c cleaning 500 clauses out of 1016 for limit 18.876960032519168 1611.41/1601.86 c cleaning 498 clauses out of 1016 for limit 31.130632408157574 1612.82/1603.20 c cleaning 503 clauses out of 1018 for limit 51.23771577731712 1614.23/1604.62 c cleaning 501 clauses out of 1016 for limit 84.74893105284978 1615.43/1605.86 c cleaning 499 clauses out of 1014 for limit 139.8979521601006 1616.65/1607.08 c cleaning 502 clauses out of 1015 for limit 230.4831374007593 1617.95/1608.33 c cleaning 502 clauses out of 1014 for limit 380.8532299184643 1619.26/1609.64 c cleaning 498 clauses out of 1011 for limit 629.3117168280504 1620.57/1610.92 c cleaning 497 clauses out of 1014 for limit 1035.7845223549625 1621.98/1612.34 c cleaning 500 clauses out of 1016 for limit 1703.0799628190057 1623.29/1613.68 c cleaning 502 clauses out of 1017 for limit 2808.6536878395123 1624.70/1615.08 c cleaning 499 clauses out of 1015 for limit 4640.972455705632 1626.10/1616.40 c cleaning 502 clauses out of 1015 for limit 7645.930853208455 1627.41/1617.79 c cleaning 499 clauses out of 1014 for limit 12634.232135231627 1628.83/1619.11 c cleaning 498 clauses out of 1015 for limit 20815.011343734157 1630.03/1620.40 c cleaning 501 clauses out of 1016 for limit 34258.65917635605 1631.43/1621.74 c cleaning 502 clauses out of 1017 for limit 56554.6119767296 1632.74/1623.06 c cleaning 502 clauses out of 1014 for limit 93448.51410300778 1634.05/1624.34 c cleaning 498 clauses out of 1011 for limit 154411.83171213753 1635.36/1625.62 c cleaning 497 clauses out of 1013 for limit 254143.0116281541 1636.56/1626.89 c cleaning 500 clauses out of 1017 for limit 417885.27026663354 1637.87/1628.14 c cleaning 502 clauses out of 1018 for limit 689160.9118992416 1639.18/1629.46 c cleaning 501 clauses out of 1014 for limit 1138720.9831716288 1640.38/1630.68 c cleaning 499 clauses out of 1013 for limit 1879757.0404051372 1641.69/1631.91 c cleaning 507 clauses out of 1015 for limit 3096959.4715930745 1642.90/1633.16 c cleaning 504 clauses out of 1008 for limit 5142767.836875139 1644.10/1634.38 c cleaning 501 clauses out of 1003 for limit 8514867.483882148 1645.42/1635.65 c cleaning 501 clauses out of 1002 for limit 1.405616970683922E7 1646.72/1636.90 c cleaning 499 clauses out of 1001 for limit 2.320366159421995E7 1647.94/1638.20 c cleaning 494 clauses out of 1002 for limit 3.822775253620852E7 1649.34/1639.51 c cleaning 499 clauses out of 1009 for limit 6.266798344960182E7 1650.64/1640.89 c cleaning 499 clauses out of 1011 for limit 1.0324668810824881E8 1652.06/1642.28 c cleaning 505 clauses out of 1010 for limit 1.700954806393309E8 1653.36/1643.54 c cleaning 495 clauses out of 1005 for limit 2.8190577568752164E8 1654.77/1644.90 c cleaning 505 clauses out of 1010 for limit 4.625988499729024E8 1656.07/1646.28 c cleaning 503 clauses out of 1006 for limit 7.66687425857283E8 1657.58/1647.77 c cleaning 497 clauses out of 1002 for limit 1.2681480990828035E9 1658.89/1649.09 c cleaning 497 clauses out of 1006 for limit 2.0851154901775475E9 1660.19/1650.32 c cleaning 505 clauses out of 1010 for limit 3.4284444755378685E9 1661.40/1651.53 c cleaning 502 clauses out of 1004 for limit 5.682064464069465E9 1662.60/1652.76 c cleaning 500 clauses out of 1001 for limit 9.389169236363823E9 1663.91/1654.07 c cleaning 492 clauses out of 1005 for limit 1.5484212291868763E10 1665.43/1655.53 c cleaning 495 clauses out of 1009 for limit 2.5332721718113342E10 1666.73/1656.83 c cleaning 498 clauses out of 1015 for limit 4.1571660811181656E10 1668.33/1658.42 c cleaning 508 clauses out of 1016 for limit 6.8421262693861885E10 1669.64/1659.75 c cleaning 504 clauses out of 1009 for limit 1.1373235322694612E11 1671.04/1661.11 c cleaning 502 clauses out of 1005 for limit 1.883063722398644E11 1672.35/1662.45 c cleaning 493 clauses out of 1002 for limit 3.1116069449433984E11 1673.66/1663.79 c cleaning 497 clauses out of 1009 for limit 5.095856320884635E11 1675.07/1665.10 c cleaning 499 clauses out of 1014 for limit 8.379059921910609E11 1676.38/1666.48 c cleaning 506 clauses out of 1013 for limit 1.380418177000898E12 1677.78/1667.82 c cleaning 503 clauses out of 1007 for limit 2.2900582602504707E12 1679.08/1669.14 c cleaning 502 clauses out of 1005 for limit 3.7879159922845913E12 1680.29/1670.33 c cleaning 500 clauses out of 1002 for limit 6.259217661227765E12 1681.39/1671.45 c cleaning 492 clauses out of 1003 for limit 1.0322318171666865E13 1682.61/1672.67 c cleaning 494 clauses out of 1010 for limit 1.6887998275809875E13 1683.81/1673.82 c cleaning 502 clauses out of 1016 for limit 2.7686096532213023E13 1685.12/1675.10 c cleaning 507 clauses out of 1014 for limit 4.574813233997212E13 1686.53/1676.54 c cleaning 504 clauses out of 1009 for limit 7.597051458146852E13 1687.83/1677.86 c cleaning 502 clauses out of 1004 for limit 1.2578356420534711E14 1689.24/1679.29 c cleaning 497 clauses out of 1003 for limit 2.0784858646920512E14 1690.54/1680.52 c cleaning 494 clauses out of 1005 for limit 3.417459069780415E14 1691.65/1681.65 c cleaning 497 clauses out of 1011 for limit 5.6024000212569775E14 1692.86/1682.89 c cleaning 500 clauses out of 1013 for limit 9.211645164509299E14 1694.07/1684.07 c cleaning 507 clauses out of 1014 for limit 1.5191445138989652E15 1695.37/1685.38 c cleaning 503 clauses out of 1006 for limit 2.5226699801424635E15 1696.67/1686.68 c cleaning 501 clauses out of 1004 for limit 4.172680245635287E15 1697.98/1687.93 c cleaning 493 clauses out of 1003 for limit 6.888168661988001E15 1699.19/1689.15 c cleaning 505 clauses out of 1010 for limit 1.1280782317975096E16 1700.40/1690.37 c cleaning 502 clauses out of 1004 for limit 1.8695980872145712E16 1701.71/1691.62 c cleaning 501 clauses out of 1003 for limit 3.0893807322766292E16 1703.01/1692.94 c cleaning 500 clauses out of 1001 for limit 5.0998765607523432E16 1704.32/1694.25 c cleaning 495 clauses out of 1002 for limit 8.410395501948007E-4 1705.62/1695.57 c cleaning 498 clauses out of 1006 for limit 0.0013800904008811061 1706.93/1696.89 c cleaning 498 clauses out of 1009 for limit 0.0022714581959771044 1708.14/1698.08 c cleaning 497 clauses out of 1011 for limit 0.003738528072528105 1709.34/1699.23 c cleaning 499 clauses out of 1013 for limit 0.006147007338108491 1710.56/1700.50 c cleaning 501 clauses out of 1014 for limit 0.010127240156896058 1711.76/1701.70 c cleaning 499 clauses out of 1013 for limit 0.016717660661505315 1713.17/1703.06 c cleaning 500 clauses out of 1015 for limit 0.027542877305765674 1714.47/1704.39 c cleaning 502 clauses out of 1016 for limit 0.045422605318777655 1715.78/1705.69 c cleaning 498 clauses out of 1012 for limit 0.07505369870341634 1717.18/1707.04 c cleaning 498 clauses out of 1015 for limit 0.12353128768384901 1718.59/1708.40 c cleaning 501 clauses out of 1018 for limit 0.20332258918775034 1719.90/1709.74 c cleaning 504 clauses out of 1018 for limit 0.3356417913713256 1721.20/1711.04 c cleaning 499 clauses out of 1012 for limit 0.5556869007884085 1722.41/1712.28 c cleaning 498 clauses out of 1012 for limit 0.9154856358258419 1723.82/1713.61 c cleaning 500 clauses out of 1014 for limit 1.5067804579620534 1725.03/1714.89 c cleaning 500 clauses out of 1015 for limit 2.48491930782416 1726.43/1716.30 c cleaning 500 clauses out of 1014 for limit 4.097903744385056 1727.64/1717.43 c cleaning 498 clauses out of 1014 for limit 6.757991482246055 1728.94/1718.75 c cleaning 500 clauses out of 1016 for limit 11.122893376436927 1730.36/1720.12 c cleaning 500 clauses out of 1016 for limit 18.34313917179914 1731.67/1721.47 c cleaning 500 clauses out of 1016 for limit 30.250290395553154 1732.97/1722.79 c cleaning 500 clauses out of 1017 for limit 49.88761040735463 1734.38/1724.16 c cleaning 501 clauses out of 1016 for limit 82.26996681940923 1735.68/1725.44 c cleaning 500 clauses out of 1015 for limit 135.80785030846835 1737.00/1726.71 c cleaning 499 clauses out of 1016 for limit 223.9688437511888 1738.31/1728.02 c cleaning 501 clauses out of 1017 for limit 368.99140484500583 1739.52/1729.25 c cleaning 501 clauses out of 1016 for limit 609.11512263368 1740.83/1730.53 c cleaning 499 clauses out of 1014 for limit 1005.487116209886 1741.93/1731.69 c cleaning 498 clauses out of 1015 for limit 1656.5490886877424 1743.35/1733.05 c cleaning 498 clauses out of 1017 for limit 2726.4986452946932 1744.65/1734.36 c cleaning 503 clauses out of 1019 for limit 4487.53596440981 1745.97/1735.66 c cleaning 502 clauses out of 1017 for limit 7422.523342160505 1747.27/1736.95 c cleaning 500 clauses out of 1015 for limit 12264.853631455375 1748.48/1738.11 c cleaning 500 clauses out of 1016 for limit 20226.703245617493 1749.58/1739.26 c cleaning 498 clauses out of 1015 for limit 33356.013714601366 1750.79/1740.49 c cleaning 503 clauses out of 1016 for limit 54899.43226355135 1752.10/1741.73 c cleaning 498 clauses out of 1013 for limit 90804.63203072578 1753.41/1743.03 c cleaning 502 clauses out of 1017 for limit 149458.7706991421 1755.83/1745.47 c cleaning 504 clauses out of 1013 for limit 246956.1107193424 1759.75/1749.37 c cleaning 500 clauses out of 1009 for limit 408878.18771326635 1762.35/1751.96 c cleaning 498 clauses out of 1009 for limit 674294.8302845282 1765.05/1754.68 c cleaning 499 clauses out of 1012 for limit 1109815.7466893075 1767.87/1757.44 c cleaning 500 clauses out of 1013 for limit 1828427.8878602895 1770.69/1760.27 c cleaning 500 clauses out of 1013 for limit 3015322.1897883355 1773.80/1763.31 c cleaning 499 clauses out of 1012 for limit 4972605.795378964 1776.30/1765.89 c cleaning 507 clauses out of 1014 for limit 8192510.149242403 1778.92/1768.40 c cleaning 498 clauses out of 1006 for limit 1.3604366948910797E7 1781.34/1770.83 c cleaning 498 clauses out of 1009 for limit 2.2391106254673254E7 1784.15/1773.61 c cleaning 499 clauses out of 1011 for limit 3.685288131487989E7 1786.87/1776.30 c cleaning 499 clauses out of 1012 for limit 6.071527670322133E7 1789.48/1778.90 c cleaning 506 clauses out of 1013 for limit 1.0002877096895432E8 1792.09/1781.55 c cleaning 503 clauses out of 1006 for limit 1.6594255501580912E8 1794.70/1784.19 c cleaning 494 clauses out of 1003 for limit 2.744800014502785E8 1797.51/1786.94 c cleaning 505 clauses out of 1010 for limit 4.4996700105469596E8 1800.03/1789.41 c starts : 19 1800.03/1789.41 c conflicts : 303469 1800.03/1789.41 c decisions : 394887 1800.03/1789.41 c propagations : 19379024 1800.03/1789.41 c inspects : 164552475 1800.03/1789.41 c learnt literals : 0 1800.03/1789.41 c learnt binary clauses : 0 1800.03/1789.41 c learnt ternary clauses : 0 1800.03/1789.41 c learnt clauses : 303468 1800.03/1789.41 c root simplifications : 0 1800.03/1789.41 c removed literals (reason simplification) : 0 1800.03/1789.41 c reason swapping (by a shorter reason) : 0 1800.03/1789.41 c Calls to reduceDB : 435 1800.03/1789.41 c speed (decisions/second) : 220.96351995451886 1800.03/1789.41 c non guided choices 27581 1800.03/1789.41 s UNKNOWN 1800.03/1789.41 c Total wall clock time (ms): 1789.215
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node69/watcher-351274-1176593546 -o ROOT/results/node69/solver-351274-1176593546 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/351274-1176593546/sat4jPseudoResolution.jar /tmp/evaluation/351274-1176593546/instance-351274-1176593546.opb 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): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.99 1/64 3890 /proc/meminfo: memFree=1723292/2055920 swapFree=4184060/4192956 [pid=3890] ppid=3888 vsize=1800 CPUtime=0 /proc/3890/stat : 3890 (java) D 3888 3890 2808 0 -1 0 180 0 0 0 0 0 0 0 19 0 1 0 135344058 1843200 151 18446744073709551615 134512640 134550740 4294956592 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 0 0 0 /proc/3890/statm: 450 151 114 9 0 92 0 [startup+0.0274409 s] /proc/loadavg: 0.92 0.98 0.99 1/64 3890 /proc/meminfo: memFree=1723292/2055920 swapFree=4184060/4192956 [pid=3890] ppid=3888 vsize=1774248 CPUtime=0.01 /proc/3890/stat : 3890 (java) S 3888 3890 2808 0 -1 0 2613 0 1 0 0 1 0 0 19 0 4 0 135344058 1816829952 2361 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 0 0 0 /proc/3890/statm: 443562 2362 433 9 0 441576 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 1774248 [startup+0.10145 s] /proc/loadavg: 0.92 0.98 0.99 1/64 3890 /proc/meminfo: memFree=1723292/2055920 swapFree=4184060/4192956 [pid=3890] ppid=3888 vsize=1780404 CPUtime=0.09 /proc/3890/stat : 3890 (java) S 3888 3890 2808 0 -1 0 3992 0 1 0 7 2 0 0 19 0 12 0 135344058 1823133696 3733 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/3890/statm: 445101 3733 1124 9 0 442720 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1780404 [startup+0.301489 s] /proc/loadavg: 0.92 0.98 0.99 1/64 3890 /proc/meminfo: memFree=1723292/2055920 swapFree=4184060/4192956 [pid=3890] ppid=3888 vsize=1781464 CPUtime=0.33 /proc/3890/stat : 3890 (java) S 3888 3890 2808 0 -1 0 5158 0 1 0 30 3 0 0 19 0 12 0 135344058 1824219136 4896 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/3890/statm: 445366 4896 1264 9 0 442978 0 Current children cumulated CPU time (s) 0.33 Current children cumulated vsize (KiB) 1781464 [startup+0.701555 s] /proc/loadavg: 0.92 0.98 0.99 1/64 3890 /proc/meminfo: memFree=1723292/2055920 swapFree=4184060/4192956 [pid=3890] ppid=3888 vsize=1783704 CPUtime=0.91 /proc/3890/stat : 3890 (java) S 3888 3890 2808 0 -1 0 7753 0 1 0 87 4 0 0 19 0 12 0 135344058 1826512896 7227 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/3890/statm: 445926 7227 1298 9 0 443538 0 Current children cumulated CPU time (s) 0.91 Current children cumulated vsize (KiB) 1783704 [startup+1.50268 s] /proc/loadavg: 0.92 0.98 0.99 3/76 3902 /proc/meminfo: memFree=1690620/2055920 swapFree=4184060/4192956 [pid=3890] ppid=3888 vsize=1785696 CPUtime=2 /proc/3890/stat : 3890 (java) S 3888 3890 2808 0 -1 0 23482 0 1 0 190 10 0 0 19 0 12 0 135344058 1828552704 21762 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/3890/statm: 446424 21763 1303 9 0 444036 0 [pid=3890/tid=3892] ppid=3888 vsize=1785696 CPUtime=1.12 /proc/3890/task/3892/stat : 3892 (java) R 3888 3890 2808 0 -1 64 19930 0 1 0 104 8 0 0 25 0 12 0 135344059 1828552704 21764 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109500800 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3890/tid=3893] ppid=3888 vsize=1785696 CPUtime=0 /proc/3890/task/3893/stat : 3893 (java) S 3888 3890 2808 0 -1 64 3 0 0 0 0 0 0 0 21 0 12 0 135344061 1828552704 21765 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3890/tid=3894] ppid=3888 vsize=1785696 CPUtime=0 /proc/3890/task/3894/stat : 3894 (java) S 3888 3890 2808 0 -1 64 1 0 0 0 0 0 0 0 22 0 12 0 135344061 1828552704 21766 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=3890/tid=3895] ppid=3888 vsize=1785696 CPUtime=0 /proc/3890/task/3895/stat : 3895 (java) S 3888 3890 2808 0 -1 64 2 0 0 0 0 0 0 0 17 0 12 0 135344063 1828552704 21767 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=3890/tid=3896] ppid=3888 vsize=1785696 CPUtime=0 /proc/3890/task/3896/stat : 3896 (java) S 3888 3890 2808 0 -1 64 10 0 0 0 0 0 0 0 20 0 12 0 135344064 1828552704 21769 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3890/tid=3897] ppid=3888 vsize=1785696 CPUtime=0 /proc/3890/task/3897/stat : 3897 (java) S 3888 3890 2808 0 -1 64 4 0 0 0 0 0 0 0 21 0 12 0 135344064 1828552704 21770 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3890/tid=3898] ppid=3888 vsize=1785696 CPUtime=0 /proc/3890/task/3898/stat : 3898 (java) S 3888 3890 2808 0 -1 64 1 0 0 0 0 0 0 0 22 0 12 0 135344067 1828552704 21771 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3890/tid=3899] ppid=3888 vsize=1785696 CPUtime=0.46 /proc/3890/task/3899/stat : 3899 (java) S 3888 3890 2808 0 -1 64 1797 0 0 0 46 0 0 0 16 0 12 0 135344067 1828552704 21772 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=3890/tid=3900] ppid=3888 vsize=1785696 CPUtime=0.38 /proc/3890/task/3900/stat : 3900 (java) S 3888 3890 2808 0 -1 64 1036 0 0 0 38 0 0 0 16 0 12 0 135344068 1828552704 21773 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3890/tid=3901] ppid=3888 vsize=1785696 CPUtime=0 /proc/3890/task/3901/stat : 3901 (java) S 3888 3890 2808 0 -1 64 0 0 0 0 0 0 0 0 23 0 12 0 135344068 1828552704 21774 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3890/tid=3902] ppid=3888 vsize=1785696 CPUtime=0 /proc/3890/task/3902/stat : 3902 (java) R 3888 3890 2808 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 135344068 1828552704 21775 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2 Current children cumulated vsize (KiB) 1785696 [startup+3.10295 s] /proc/loadavg: 0.92 0.98 0.99 2/76 3902 /proc/meminfo: memFree=1583932/2055920 swapFree=4184060/4192956 [pid=3890] ppid=3888 vsize=1786020 CPUtime=4.19 /proc/3890/stat : 3890 (java) S 3888 3890 2808 0 -1 0 41656 0 1 0 401 18 0 0 19 0 13 0 135344058 1828884480 38711 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/3890/statm: 446505 38711 1318 9 0 444117 0 [pid=3890/tid=3892] ppid=3888 vsize=1786020 CPUtime=2.5 /proc/3890/task/3892/stat : 3892 (java) R 3888 3890 2808 0 -1 64 36770 0 1 0 234 16 0 0 18 0 13 0 135344059 1828884480 38711 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109909420 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3890/tid=3893] ppid=3888 vsize=1786020 CPUtime=0 /proc/3890/task/3893/stat : 3893 (java) S 3888 3890 2808 0 -1 64 3 0 0 0 0 0 0 0 21 0 13 0 135344061 1828884480 38711 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3890/tid=3894] ppid=3888 vsize=1786020 CPUtime=0 /proc/3890/task/3894/stat : 3894 (java) S 3888 3890 2808 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 135344061 1828884480 38711 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=3890/tid=3895] ppid=3888 vsize=1786020 CPUtime=0 /proc/3890/task/3895/stat : 3895 (java) S 3888 3890 2808 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 135344063 1828884480 38711 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=3890/tid=3896] ppid=3888 vsize=1786020 CPUtime=0 /proc/3890/task/3896/stat : 3896 (java) S 3888 3890 2808 0 -1 64 10 0 0 0 0 0 0 0 20 0 13 0 135344064 1828884480 38711 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3890/tid=3897] ppid=3888 vsize=1786020 CPUtime=0 /proc/3890/task/3897/stat : 3897 (java) S 3888 3890 2808 0 -1 64 4 0 0 0 0 0 0 0 21 0 13 0 135344064 1828884480 38711 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3890/tid=3898] ppid=3888 vsize=1786020 CPUtime=0 /proc/3890/task/3898/stat : 3898 (java) S 3888 3890 2808 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 135344067 1828884480 38711 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3890/tid=3899] ppid=3888 vsize=1786020 CPUtime=0.98 /proc/3890/task/3899/stat : 3899 (java) R 3888 3890 2808 0 -1 64 2318 0 0 0 98 0 0 0 17 0 13 0 135344067 1828884480 38711 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 105056055 0 4 0 23759 0 0 0 -1 1 0 0 [pid=3890/tid=3900] ppid=3888 vsize=1786020 CPUtime=0.69 /proc/3890/task/3900/stat : 3900 (java) S 3888 3890 2808 0 -1 64 1842 0 0 0 68 1 0 0 16 0 13 0 135344068 1828884480 38711 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3890/tid=3901] ppid=3888 vsize=1786020 CPUtime=0 /proc/3890/task/3901/stat : 3901 (java) S 3888 3890 2808 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 135344068 1828884480 38712 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3890/tid=3902] ppid=3888 vsize=1786020 CPUtime=0 /proc/3890/task/3902/stat : 3902 (java) S 3888 3890 2808 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 135344068 1828884480 38712 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 4.19 Current children cumulated vsize (KiB) 1786020 [startup+6.30246 s] /proc/loadavg: 0.93 0.98 0.99 2/77 3903 /proc/meminfo: memFree=1552500/2055920 swapFree=4184060/4192956 [pid=3890] ppid=3888 vsize=1786568 CPUtime=7.56 /proc/3890/stat : 3890 (java) S 3888 3890 2808 0 -1 0 46850 0 1 0 735 21 0 0 19 0 13 0 135344058 1829445632 43697 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/3890/statm: 446642 43697 1327 9 0 444254 0 [pid=3890/tid=3892] ppid=3888 vsize=1786568 CPUtime=5.56 /proc/3890/task/3892/stat : 3892 (java) R 3888 3890 2808 0 -1 64 37699 0 1 0 540 16 0 0 25 0 13 0 135344059 1829445632 43697 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109761831 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3890/tid=3893] ppid=3888 vsize=1786568 CPUtime=0.11 /proc/3890/task/3893/stat : 3893 (java) S 3888 3890 2808 0 -1 64 1960 0 0 0 11 0 0 0 16 0 13 0 135344061 1829445632 43697 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3890/tid=3894] ppid=3888 vsize=1786568 CPUtime=0.12 /proc/3890/task/3894/stat : 3894 (java) S 3888 3890 2808 0 -1 64 2300 0 0 0 11 1 0 0 16 0 13 0 135344061 1829445632 43697 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=3890/tid=3895] ppid=3888 vsize=1786568 CPUtime=0 /proc/3890/task/3895/stat : 3895 (java) S 3888 3890 2808 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 135344063 1829445632 43697 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=3890/tid=3896] ppid=3888 vsize=1786568 CPUtime=0 /proc/3890/task/3896/stat : 3896 (java) S 3888 3890 2808 0 -1 64 12 0 0 0 0 0 0 0 16 0 13 0 135344064 1829445632 43697 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3890/tid=3897] ppid=3888 vsize=1786568 CPUtime=0 /proc/3890/task/3897/stat : 3897 (java) S 3888 3890 2808 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 135344064 1829445632 43697 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3890/tid=3898] ppid=3888 vsize=1786568 CPUtime=0 /proc/3890/task/3898/stat : 3898 (java) S 3888 3890 2808 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 135344067 1829445632 43697 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3890/tid=3899] ppid=3888 vsize=1786568 CPUtime=1.01 /proc/3890/task/3899/stat : 3899 (java) S 3888 3890 2808 0 -1 64 2318 0 0 0 101 0 0 0 16 0 13 0 135344067 1829445632 43697 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=3890/tid=3900] ppid=3888 vsize=1786568 CPUtime=0.7 /proc/3890/task/3900/stat : 3900 (java) S 3888 3890 2808 0 -1 64 1842 0 0 0 69 1 0 0 16 0 13 0 135344068 1829445632 43697 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=3890/tid=3901] ppid=3888 vsize=1786568 CPUtime=0 /proc/3890/task/3901/stat : 3901 (java) S 3888 3890 2808 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 135344068 1829445632 43697 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3890/tid=3902] ppid=3888 vsize=1786568 CPUtime=0 /proc/3890/task/3902/stat : 3902 (java) S 3888 3890 2808 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 135344068 1829445632 43697 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=3890/tid=3903] ppid=3888 vsize=1786568 CPUtime=0 /proc/3890/task/3903/stat : 3903 (java) S 3888 3890 2808 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 135344289 1829445632 43697 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 7.56 Current children cumulated vsize (KiB) 1786568 [startup+12.7025 s] /proc/loadavg: 0.93 0.98 0.99 2/77 3903 /proc/meminfo: memFree=1552500/2055920 swapFree=4184060/4192956 [pid=3890] ppid=3888 vsize=1786568 CPUtime=14.05 /proc/3890/stat : 3890 (java) S 3888 3890 2808 0 -1 0 52038 0 1 0 1382 23 0 0 19 0 13 0 135344058 1829445632 48848 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/3890/statm: 446642 48848 1327 9 0 444254 0 [pid=3890/tid=3892] ppid=3888 vsize=1786568 CPUtime=11.86 /proc/3890/task/3892/stat : 3892 (java) R 3888 3890 2808 0 -1 64 37703 0 1 0 1170 16 0 0 25 0 13 0 135344059 1829445632 48848 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109761859 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3890/tid=3893] ppid=3888 vsize=1786568 CPUtime=0.21 /proc/3890/task/3893/stat : 3893 (java) S 3888 3890 2808 0 -1 64 4650 0 0 0 19 2 0 0 17 0 13 0 135344061 1829445632 48848 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3890/tid=3894] ppid=3888 vsize=1786568 CPUtime=0.21 /proc/3890/task/3894/stat : 3894 (java) S 3888 3890 2808 0 -1 64 4791 0 0 0 19 2 0 0 16 0 13 0 135344061 1829445632 48848 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=3890/tid=3895] ppid=3888 vsize=1786568 CPUtime=0 /proc/3890/task/3895/stat : 3895 (java) S 3888 3890 2808 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 135344063 1829445632 48848 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=3890/tid=3896] ppid=3888 vsize=1786568 CPUtime=0 /proc/3890/task/3896/stat : 3896 (java) S 3888 3890 2808 0 -1 64 12 0 0 0 0 0 0 0 16 0 13 0 135344064 1829445632 48848 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3890/tid=3897] ppid=3888 vsize=1786568 CPUtime=0 /proc/3890/task/3897/stat : 3897 (java) S 3888 3890 2808 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 135344064 1829445632 48848 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3890/tid=3898] ppid=3888 vsize=1786568 CPUtime=0 /proc/3890/task/3898/stat : 3898 (java) S 3888 3890 2808 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 135344067 1829445632 48848 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3890/tid=3899] ppid=3888 vsize=1786568 CPUtime=1.02 /proc/3890/task/3899/stat : 3899 (java) S 3888 3890 2808 0 -1 64 2318 0 0 0 102 0 0 0 17 0 13 0 135344067 1829445632 48848 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3890/tid=3900] ppid=3888 vsize=1786568 CPUtime=0.71 /proc/3890/task/3900/stat : 3900 (java) S 3888 3890 2808 0 -1 64 1843 0 0 0 70 1 0 0 16 0 13 0 135344068 1829445632 48848 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=3890/tid=3901] ppid=3888 vsize=1786568 CPUtime=0 /proc/3890/task/3901/stat : 3901 (java) S 3888 3890 2808 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 135344068 1829445632 48848 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3890/tid=3902] ppid=3888 vsize=1786568 CPUtime=0 /proc/3890/task/3902/stat : 3902 (java) S 3888 3890 2808 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 135344068 1829445632 48848 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=3890/tid=3903] ppid=3888 vsize=1786568 CPUtime=0 /proc/3890/task/3903/stat : 3903 (java) S 3888 3890 2808 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 135344289 1829445632 48848 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 14.05 Current children cumulated vsize (KiB) 1786568 [startup+25.5016 s] /proc/loadavg: 0.95 0.98 0.99 2/77 3903 /proc/meminfo: memFree=1532148/2055920 swapFree=4184060/4192956 [pid=3890] ppid=3888 vsize=1786184 CPUtime=26.9 /proc/3890/stat : 3890 (java) S 3888 3890 2808 0 -1 0 52081 0 1 0 2667 23 0 0 19 0 13 0 135344058 1829052416 48759 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/3890/statm: 446546 48759 1327 9 0 444158 0 [pid=3890/tid=3892] ppid=3888 vsize=1786184 CPUtime=24.65 /proc/3890/task/3892/stat : 3892 (java) R 3888 3890 2808 0 -1 64 37704 0 1 0 2449 16 0 0 25 0 13 0 135344059 1829052416 48759 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109909420 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3890/tid=3893] ppid=3888 vsize=1786184 CPUtime=0.21 /proc/3890/task/3893/stat : 3893 (java) S 3888 3890 2808 0 -1 64 4650 0 0 0 19 2 0 0 17 0 13 0 135344061 1829052416 48759 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3890/tid=3894] ppid=3888 vsize=1786184 CPUtime=0.21 /proc/3890/task/3894/stat : 3894 (java) S 3888 3890 2808 0 -1 64 4791 0 0 0 19 2 0 0 16 0 13 0 135344061 1829052416 48759 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=3890/tid=3895] ppid=3888 vsize=1786184 CPUtime=0 /proc/3890/task/3895/stat : 3895 (java) S 3888 3890 2808 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 135344063 1829052416 48759 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=3890/tid=3896] ppid=3888 vsize=1786184 CPUtime=0 /proc/3890/task/3896/stat : 3896 (java) S 3888 3890 2808 0 -1 64 12 0 0 0 0 0 0 0 16 0 13 0 135344064 1829052416 48759 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ [pid=3890] ppid=3888 vsize=1792328 CPUtime=1611.92 /proc/3890/stat : 3890 (java) S 3888 3890 2808 0 -1 0 463766 0 1 0 160884 308 0 0 19 0 13 0 135344058 1835343872 38923 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/3890/statm: 448082 38923 1332 9 0 445694 0 [pid=3890/tid=3892] ppid=3888 vsize=1792328 CPUtime=1590.13 /proc/3890/task/3892/stat : 3892 (java) R 3888 3890 2808 0 -1 64 45249 0 1 0 158987 26 0 0 18 0 13 0 135344059 1835343872 38923 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109797052 0 4 0 23759 0 0 0 -1 1 0 0 [pid=3890/tid=3893] ppid=3888 vsize=1792328 CPUtime=8.82 /proc/3890/task/3893/stat : 3893 (java) S 3888 3890 2808 0 -1 64 207229 0 0 0 761 121 0 0 16 0 13 0 135344061 1835343872 38923 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3890/tid=3894] ppid=3888 vsize=1792328 CPUtime=8.83 /proc/3890/task/3894/stat : 3894 (java) S 3888 3890 2808 0 -1 64 202712 0 0 0 764 119 0 0 16 0 13 0 135344061 1835343872 38923 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3890/tid=3895] ppid=3888 vsize=1792328 CPUtime=1.77 /proc/3890/task/3895/stat : 3895 (java) S 3888 3890 2808 0 -1 64 918 0 0 0 141 36 0 0 15 0 13 0 135344063 1835343872 38923 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=3890/tid=3896] ppid=3888 vsize=1792328 CPUtime=0 /proc/3890/task/3896/stat : 3896 (java) S 3888 3890 2808 0 -1 64 12 0 0 0 0 0 0 0 16 0 13 0 135344064 1835343872 38923 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3890/tid=3897] ppid=3888 vsize=1792328 CPUtime=0 /proc/3890/task/3897/stat : 3897 (java) S 3888 3890 2808 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 135344064 1835343872 38923 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3890/tid=3898] ppid=3888 vsize=1792328 CPUtime=0 /proc/3890/task/3898/stat : 3898 (java) S 3888 3890 2808 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 135344067 1835343872 38923 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3890/tid=3899] ppid=3888 vsize=1792328 CPUtime=1.43 /proc/3890/task/3899/stat : 3899 (java) S 3888 3890 2808 0 -1 64 5084 0 0 0 142 1 0 0 17 0 13 0 135344067 1835343872 38923 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3890/tid=3900] ppid=3888 vsize=1792328 CPUtime=0.86 /proc/3890/task/3900/stat : 3900 (java) S 3888 3890 2808 0 -1 64 1851 0 0 0 85 1 0 0 16 0 13 0 135344068 1835343872 38923 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=3890/tid=3901] ppid=3888 vsize=1792328 CPUtime=0 /proc/3890/task/3901/stat : 3901 (java) S 3888 3890 2808 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 135344068 1835343872 38923 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3890/tid=3902] ppid=3888 vsize=1792328 CPUtime=0 /proc/3890/task/3902/stat : 3902 (java) R 3888 3890 2808 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 135344068 1835343872 38923 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3890/tid=3903] ppid=3888 vsize=1792328 CPUtime=0 /proc/3890/task/3903/stat : 3903 (java) S 3888 3890 2808 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 135344289 1835343872 38923 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1611.92 Current children cumulated vsize (KiB) 1792328 [startup+1662.3 s] /proc/loadavg: 1.00 1.01 1.00 2/77 3905 /proc/meminfo: memFree=1570164/2055920 swapFree=4184060/4192956 [pid=3890] ppid=3888 vsize=1792328 CPUtime=1672.25 /proc/3890/stat : 3890 (java) S 3888 3890 2808 0 -1 0 464846 0 1 0 166916 309 0 0 19 0 13 0 135344058 1835343872 38376 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/3890/statm: 448082 38376 1332 9 0 445694 0 [pid=3890/tid=3892] ppid=3888 vsize=1792328 CPUtime=1649.5 /proc/3890/task/3892/stat : 3892 (java) R 3888 3890 2808 0 -1 64 45325 0 1 0 164923 27 0 0 23 0 13 0 135344059 1835343872 38376 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109910208 0 4 0 23759 0 0 0 -1 1 0 0 [pid=3890/tid=3893] ppid=3888 vsize=1792328 CPUtime=9.2 /proc/3890/task/3893/stat : 3893 (java) S 3888 3890 2808 0 -1 64 207868 0 0 0 798 122 0 0 16 0 13 0 135344061 1835343872 38376 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=3890/tid=3894] ppid=3888 vsize=1792328 CPUtime=9.2 /proc/3890/task/3894/stat : 3894 (java) S 3888 3890 2808 0 -1 64 203075 0 0 0 801 119 0 0 16 0 13 0 135344061 1835343872 38376 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3890/tid=3895] ppid=3888 vsize=1792328 CPUtime=2 /proc/3890/task/3895/stat : 3895 (java) S 3888 3890 2808 0 -1 64 920 0 0 0 164 36 0 0 15 0 13 0 135344063 1835343872 38376 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=3890/tid=3896] ppid=3888 vsize=1792328 CPUtime=0 /proc/3890/task/3896/stat : 3896 (java) S 3888 3890 2808 0 -1 64 12 0 0 0 0 0 0 0 16 0 13 0 135344064 1835343872 38376 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3890/tid=3897] ppid=3888 vsize=1792328 CPUtime=0 /proc/3890/task/3897/stat : 3897 (java) S 3888 3890 2808 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 135344064 1835343872 38376 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3890/tid=3898] ppid=3888 vsize=1792328 CPUtime=0 /proc/3890/task/3898/stat : 3898 (java) S 3888 3890 2808 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 135344067 1835343872 38376 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3890/tid=3899] ppid=3888 vsize=1792328 CPUtime=1.43 /proc/3890/task/3899/stat : 3899 (java) S 3888 3890 2808 0 -1 64 5084 0 0 0 142 1 0 0 17 0 13 0 135344067 1835343872 38376 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3890/tid=3900] ppid=3888 vsize=1792328 CPUtime=0.86 /proc/3890/task/3900/stat : 3900 (java) S 3888 3890 2808 0 -1 64 1851 0 0 0 85 1 0 0 16 0 13 0 135344068 1835343872 38376 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=3890/tid=3901] ppid=3888 vsize=1792328 CPUtime=0 /proc/3890/task/3901/stat : 3901 (java) S 3888 3890 2808 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 135344068 1835343872 38376 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3890/tid=3902] ppid=3888 vsize=1792328 CPUtime=0 /proc/3890/task/3902/stat : 3902 (java) S 3888 3890 2808 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 135344068 1835343872 38376 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3890/tid=3903] ppid=3888 vsize=1792328 CPUtime=0 /proc/3890/task/3903/stat : 3903 (java) S 3888 3890 2808 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 135344289 1835343872 38376 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1672.25 Current children cumulated vsize (KiB) 1792328 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/83 3977 /proc/meminfo: memFree=1572100/2055920 swapFree=4184060/4192956 [pid=3890] ppid=3888 vsize=1792328 CPUtime=1732.57 /proc/3890/stat : 3890 (java) S 3888 3890 2808 0 -1 0 466673 0 1 0 172941 316 0 0 19 0 13 0 135344058 1835343872 37525 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/3890/statm: 448082 37525 1332 9 0 445694 0 [pid=3890/tid=3892] ppid=3888 vsize=1792328 CPUtime=1708.98 /proc/3890/task/3892/stat : 3892 (java) R 3888 3890 2808 0 -1 64 45400 0 1 0 170867 31 0 0 18 0 13 0 135344059 1835343872 37525 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109909420 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3890/tid=3893] ppid=3888 vsize=1792328 CPUtime=9.55 /proc/3890/task/3893/stat : 3893 (java) S 3888 3890 2808 0 -1 64 208525 0 0 0 832 123 0 0 16 0 13 0 135344061 1835343872 37525 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=3890/tid=3894] ppid=3888 vsize=1792328 CPUtime=9.57 /proc/3890/task/3894/stat : 3894 (java) S 3888 3890 2808 0 -1 64 203748 0 0 0 837 120 0 0 16 0 13 0 135344061 1835343872 37525 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3890/tid=3895] ppid=3888 vsize=1792328 CPUtime=2.12 /proc/3890/task/3895/stat : 3895 (java) S 3888 3890 2808 0 -1 64 1342 0 0 0 175 37 0 0 16 0 13 0 135344063 1835343872 37525 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=3890/tid=3896] ppid=3888 vsize=1792328 CPUtime=0 /proc/3890/task/3896/stat : 3896 (java) S 3888 3890 2808 0 -1 64 12 0 0 0 0 0 0 0 16 0 13 0 135344064 1835343872 37525 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3890/tid=3897] ppid=3888 vsize=1792328 CPUtime=0 /proc/3890/task/3897/stat : 3897 (java) S 3888 3890 2808 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 135344064 1835343872 37525 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3890/tid=3898] ppid=3888 vsize=1792328 CPUtime=0 /proc/3890/task/3898/stat : 3898 (java) S 3888 3890 2808 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 135344067 1835343872 37525 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3890/tid=3899] ppid=3888 vsize=1792328 CPUtime=1.43 /proc/3890/task/3899/stat : 3899 (java) S 3888 3890 2808 0 -1 64 5084 0 0 0 142 1 0 0 17 0 13 0 135344067 1835343872 37525 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3890/tid=3900] ppid=3888 vsize=1792328 CPUtime=0.86 /proc/3890/task/3900/stat : 3900 (java) S 3888 3890 2808 0 -1 64 1851 0 0 0 85 1 0 0 16 0 13 0 135344068 1835343872 37525 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=3890/tid=3901] ppid=3888 vsize=1792328 CPUtime=0 /proc/3890/task/3901/stat : 3901 (java) S 3888 3890 2808 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 135344068 1835343872 37525 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3890/tid=3902] ppid=3888 vsize=1792328 CPUtime=0 /proc/3890/task/3902/stat : 3902 (java) S 3888 3890 2808 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 135344068 1835343872 37525 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3890/tid=3903] ppid=3888 vsize=1792328 CPUtime=0 /proc/3890/task/3903/stat : 3903 (java) S 3888 3890 2808 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 135344289 1835343872 37525 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1732.57 Current children cumulated vsize (KiB) 1792328 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/77 4103 /proc/meminfo: memFree=1580276/2055920 swapFree=4184060/4192956 [pid=3890] ppid=3888 vsize=1792328 CPUtime=1792.89 /proc/3890/stat : 3890 (java) S 3888 3890 2808 0 -1 0 466803 0 1 0 178965 324 0 0 19 0 13 0 135344058 1835343872 35769 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/3890/statm: 448082 35769 1332 9 0 445694 0 [pid=3890/tid=3892] ppid=3888 vsize=1792328 CPUtime=1768.48 /proc/3890/task/3892/stat : 3892 (java) R 3888 3890 2808 0 -1 64 45520 0 1 0 176810 38 0 0 25 0 13 0 135344059 1835343872 35769 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109825568 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3890/tid=3893] ppid=3888 vsize=1792328 CPUtime=9.9 /proc/3890/task/3893/stat : 3893 (java) S 3888 3890 2808 0 -1 64 208525 0 0 0 867 123 0 0 16 0 13 0 135344061 1835343872 35769 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=3890/tid=3894] ppid=3888 vsize=1792328 CPUtime=9.91 /proc/3890/task/3894/stat : 3894 (java) S 3888 3890 2808 0 -1 64 203748 0 0 0 871 120 0 0 16 0 13 0 135344061 1835343872 35769 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3890/tid=3895] ppid=3888 vsize=1792328 CPUtime=2.25 /proc/3890/task/3895/stat : 3895 (java) S 3888 3890 2808 0 -1 64 1352 0 0 0 187 38 0 0 16 0 13 0 135344063 1835343872 35769 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=3890/tid=3896] ppid=3888 vsize=1792328 CPUtime=0 /proc/3890/task/3896/stat : 3896 (java) S 3888 3890 2808 0 -1 64 12 0 0 0 0 0 0 0 16 0 13 0 135344064 1835343872 35769 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3890/tid=3897] ppid=3888 vsize=1792328 CPUtime=0 /proc/3890/task/3897/stat : 3897 (java) S 3888 3890 2808 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 135344064 1835343872 35769 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3890/tid=3898] ppid=3888 vsize=1792328 CPUtime=0 /proc/3890/task/3898/stat : 3898 (java) S 3888 3890 2808 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 135344067 1835343872 35769 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3890/tid=3899] ppid=3888 vsize=1792328 CPUtime=1.43 /proc/3890/task/3899/stat : 3899 (java) S 3888 3890 2808 0 -1 64 5084 0 0 0 142 1 0 0 17 0 13 0 135344067 1835343872 35769 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3890/tid=3900] ppid=3888 vsize=1792328 CPUtime=0.86 /proc/3890/task/3900/stat : 3900 (java) S 3888 3890 2808 0 -1 64 1851 0 0 0 85 1 0 0 16 0 13 0 135344068 1835343872 35769 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=3890/tid=3901] ppid=3888 vsize=1792328 CPUtime=0 /proc/3890/task/3901/stat : 3901 (java) S 3888 3890 2808 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 135344068 1835343872 35769 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3890/tid=3902] ppid=3888 vsize=1792328 CPUtime=0 /proc/3890/task/3902/stat : 3902 (java) S 3888 3890 2808 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 135344068 1835343872 35769 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3890/tid=3903] ppid=3888 vsize=1792328 CPUtime=0 /proc/3890/task/3903/stat : 3903 (java) S 3888 3890 2808 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 135344289 1835343872 35769 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1792.89 Current children cumulated vsize (KiB) 1792328 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1789.4 s] /proc/loadavg: 1.00 1.00 1.00 2/77 4103 /proc/meminfo: memFree=1580276/2055920 swapFree=4184060/4192956 [pid=3890] ppid=3888 vsize=1792328 CPUtime=1800.03 /proc/3890/stat : 3890 (java) S 3888 3890 2808 0 -1 0 466821 0 1 0 179679 324 0 0 19 0 13 0 135344058 1835343872 35769 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0 /proc/3890/statm: 448082 35769 1332 9 0 445694 0 [pid=3890/tid=3892] ppid=3888 vsize=1792328 CPUtime=1775.54 /proc/3890/task/3892/stat : 3892 (java) R 3888 3890 2808 0 -1 64 45538 0 1 0 177516 38 0 0 25 0 13 0 135344059 1835343872 35769 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109761831 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3890/tid=3893] ppid=3888 vsize=1792328 CPUtime=9.94 /proc/3890/task/3893/stat : 3893 (java) S 3888 3890 2808 0 -1 64 208525 0 0 0 871 123 0 0 16 0 13 0 135344061 1835343872 35769 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=3890/tid=3894] ppid=3888 vsize=1792328 CPUtime=9.95 /proc/3890/task/3894/stat : 3894 (java) S 3888 3890 2808 0 -1 64 203748 0 0 0 875 120 0 0 16 0 13 0 135344061 1835343872 35769 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3890/tid=3895] ppid=3888 vsize=1792328 CPUtime=2.25 /proc/3890/task/3895/stat : 3895 (java) S 3888 3890 2808 0 -1 64 1352 0 0 0 187 38 0 0 15 0 13 0 135344063 1835343872 35769 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=3890/tid=3896] ppid=3888 vsize=1792328 CPUtime=0 /proc/3890/task/3896/stat : 3896 (java) S 3888 3890 2808 0 -1 64 12 0 0 0 0 0 0 0 16 0 13 0 135344064 1835343872 35769 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3890/tid=3897] ppid=3888 vsize=1792328 CPUtime=0 /proc/3890/task/3897/stat : 3897 (java) S 3888 3890 2808 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 135344064 1835343872 35769 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3890/tid=3898] ppid=3888 vsize=1792328 CPUtime=0 /proc/3890/task/3898/stat : 3898 (java) S 3888 3890 2808 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 135344067 1835343872 35769 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3890/tid=3899] ppid=3888 vsize=1792328 CPUtime=1.43 /proc/3890/task/3899/stat : 3899 (java) S 3888 3890 2808 0 -1 64 5084 0 0 0 142 1 0 0 17 0 13 0 135344067 1835343872 35769 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3890/tid=3900] ppid=3888 vsize=1792328 CPUtime=0.86 /proc/3890/task/3900/stat : 3900 (java) S 3888 3890 2808 0 -1 64 1851 0 0 0 85 1 0 0 16 0 13 0 135344068 1835343872 35769 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=3890/tid=3901] ppid=3888 vsize=1792328 CPUtime=0 /proc/3890/task/3901/stat : 3901 (java) S 3888 3890 2808 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 135344068 1835343872 35769 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3890/tid=3902] ppid=3888 vsize=1792328 CPUtime=0 /proc/3890/task/3902/stat : 3902 (java) S 3888 3890 2808 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 135344068 1835343872 35769 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=3890/tid=3903] ppid=3888 vsize=1792328 CPUtime=0 /proc/3890/task/3903/stat : 3903 (java) S 3888 3890 2808 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 135344289 1835343872 35769 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 1792328 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): 1789.5 CPU time (s): 1800.13 CPU user time (s): 1796.86 CPU system time (s): 3.2755 CPU usage (%): 100.594 Max. virtual memory (cumulated for all children) (KiB): 1793616 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.86 system time used= 3.2755 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 466841 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= 49241 involuntary context switches= 36780 runsolver used 2.06069 second user time and 4.78727 second system time The end
Begin job on node69 on Sat Apr 14 23:32:26 UTC 2007 IDJOB= 351274 IDBENCH= 1715 IDSOLVER= 159 FILE ID= node69/351274-1176593546 PBS_JOBID= 4556966 Free space on /tmp= 66560 MiB SOLVER NAME= SAT4JPseudoResolution 2007-03-23 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-fit1d.opb COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/351274-1176593546/sat4jPseudoResolution.jar /tmp/evaluation/351274-1176593546/instance-351274-1176593546.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node69/watcher-351274-1176593546 -o ROOT/results/node69/solver-351274-1176593546 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/351274-1176593546/sat4jPseudoResolution.jar /tmp/evaluation/351274-1176593546/instance-351274-1176593546.opb META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30 MD5SUM BENCH= ba437a46cdfe6ecad707b12b94061ac9 RANDOM SEED= 99862177 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node69.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.264 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 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 lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5931.00 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.264 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 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 lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1723700 kB Buffers: 11148 kB Cached: 225984 kB SwapCached: 2976 kB Active: 60440 kB Inactive: 187148 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1723700 kB SwapTotal: 4192956 kB SwapFree: 4184060 kB Dirty: 5240 kB Writeback: 0 kB Mapped: 16448 kB Slab: 70628 kB Committed_AS: 771708 kB PageTables: 1472 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66560 MiB End job on node69 on Sun Apr 15 00:02:18 UTC 2007