| Solver Name | Answer | Objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SAT4JPseudoResolution 2007-03-23 | ? (TO) | 1800.21 | 1786.51 |
| Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-reduced-mps-v2-20-10-n3700.opb |
| MD5SUM | 5e0d90a4cb8c7b885a60ac97183595d3 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | UNSAT |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | 10.4344 |
| Has Objective Function | YES |
| Satisfiable | NO |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 155000 |
| Total number of constraints | 5150 |
| 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 | 5150 |
| Minimum length of a constraint | 31 |
| Maximum length of a constraint | 3000 |
| Number of terms in the objective function | 155000 |
| Biggest coefficient in the objective function | 76 |
| Number of bits for the biggest coefficient in the objective function | 7 |
| Sum of the numbers in the objective function | 653701 |
| Number of bits of the sum of numbers in the objective function | 20 |
| Biggest number in a constraint | 262144 |
| Number of bits of the biggest number in a constraint | 19 |
| Biggest sum of numbers in a constraint | 653701 |
| 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.08/0.18 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.08/0.18 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.08/0.18 c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details. 0.08/0.19 c no version file found!!! 0.08/0.19 c sun.arch.data.model 32 0.08/0.19 c java.version 1.6.0 0.08/0.19 c os.name Linux 0.08/0.19 c os.version 2.6.9-22.EL.rootsmp 0.08/0.19 c os.arch i386 0.08/0.19 c Free memory 1651659224 0.08/0.19 c Max memory 1654456320 0.08/0.19 c Total memory 1654456320 0.08/0.19 c Number of processors 2 0.14/0.24 --- Begin Solver configuration --- 0.14/0.24 c Stops conflict analysis at the first Unique Implication Point 0.14/0.24 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@691f36 0.14/0.24 c Learn all clauses as in MiniSAT 0.14/0.24 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.14/0.24 c VSIDS like heuristics from MiniSAT using a heap 0.14/0.24 c No reason simplification 0.14/0.24 c --- End Solver configuration --- 0.14/0.24 c solving /tmp/evaluation/362403-1177011920/instance-362403-1177011920.opb 0.14/0.24 c reading problem ... 6.46/5.23 c ... done. Wall clock time 4.989s. 6.46/5.23 c CPU time (experimental) 4.05s. 6.46/5.23 c #vars 155000 6.46/5.23 c #constraints 5300 991.54/982.40 c cleaning 73485 clauses out of 147001 for limit 0.05085632844805076 1000.61/991.31 c cleaning 39002 clauses out of 78015 for limit 8.636855444626383 1001.52/992.20 c cleaning 19744 clauses out of 39513 for limit 28.122222902379864 1002.41/993.19 c cleaning 10127 clauses out of 20270 for limit 90.49535765380604 1003.41/994.15 c cleaning 5314 clauses out of 10642 for limit 283.973732729634 1008.56/999.26 c cleaning 4402 clauses out of 8828 for limit 11356.12879167687 1009.27/999.95 c cleaning 2454 clauses out of 4926 for limit 33562.48533500966 1009.96/1000.61 c cleaning 1477 clauses out of 2974 for limit 91861.2746164062 1010.56/1001.24 c cleaning 984 clauses out of 1995 for limit 225381.04841142407 1011.06/1001.79 c cleaning 743 clauses out of 1513 for limit 491073.2496338889 1011.66/1002.36 c cleaning 622 clauses out of 1270 for limit 964800.1702029083 1012.26/1002.94 c cleaning 562 clauses out of 1149 for limit 1760400.4157675852 1016.21/1006.85 c cleaning 1779 clauses out of 3585 for limit 1.132683644850777E7 1016.81/1007.47 c cleaning 1152 clauses out of 2305 for limit 2.9023396514882587E7 1017.41/1008.04 c cleaning 826 clauses out of 1653 for limit 6.674245822435765E7 1017.91/1008.59 c cleaning 664 clauses out of 1329 for limit 1.3717500399396873E8 1018.51/1009.18 c cleaning 575 clauses out of 1164 for limit 2.5802890381592944E8 1019.11/1009.73 c cleaning 535 clauses out of 1090 for limit 4.5486784632912844E8 1019.61/1010.25 c cleaning 527 clauses out of 1054 for limit 7.749835797539947E8 1020.26/1010.86 c cleaning 514 clauses out of 1028 for limit 1.3116875482289684E9 1020.86/1011.47 c cleaning 506 clauses out of 1013 for limit 2.1929838853097787E9 1021.46/1012.10 c cleaning 491 clauses out of 1006 for limit 3.638046789055783E9 1022.16/1012.71 c cleaning 493 clauses out of 1016 for limit 5.946520929799164E9 1023.05/1013.64 c cleaning 499 clauses out of 1023 for limit 9.739505631446507E9 1024.25/1014.85 c cleaning 495 clauses out of 1024 for limit 1.6046062413506393E10 1025.89/1016.46 c cleaning 754 clauses out of 1528 for limit 2.9216106688137608E10 1026.39/1016.97 c cleaning 626 clauses out of 1275 for limit 5.779974335061138E10 1026.89/1017.46 c cleaning 564 clauses out of 1149 for limit 1.0577230121672844E11 1027.39/1017.95 c cleaning 543 clauses out of 1086 for limit 1.8473643366918524E11 1027.89/1018.46 c cleaning 521 clauses out of 1042 for limit 3.172020875830447E11 1028.39/1018.98 c cleaning 500 clauses out of 1022 for limit 5.3387951688760754E11 1028.99/1019.51 c cleaning 497 clauses out of 1021 for limit 8.804197732156572E11 1029.49/1020.04 c cleaning 512 clauses out of 1024 for limit 1.447676285350429E12 1029.99/1020.55 c cleaning 495 clauses out of 1013 for limit 2.4157521251563047E12 1030.49/1021.05 c cleaning 495 clauses out of 1016 for limit 3.964194650548574E12 1031.02/1021.58 c cleaning 511 clauses out of 1023 for limit 6.505758771329107E12 1031.62/1022.10 c cleaning 495 clauses out of 1013 for limit 1.0845623974567709E13 1032.12/1022.64 c cleaning 496 clauses out of 1015 for limit 1.7797143321786812E13 1032.72/1023.22 c cleaning 498 clauses out of 1021 for limit 2.9235835431911574E13 1033.22/1023.79 c cleaning 500 clauses out of 1021 for limit 4.811742433366299E13 1033.82/1024.33 c cleaning 499 clauses out of 1024 for limit 7.935742728212127E13 1034.32/1024.83 c cleaning 511 clauses out of 1023 for limit 1.307370756036455E14 1034.82/1025.31 c cleaning 507 clauses out of 1014 for limit 2.1795224935992506E14 1035.32/1025.81 c cleaning 486 clauses out of 1004 for limit 3.6192447188428925E14 1035.82/1026.31 c cleaning 492 clauses out of 1019 for limit 5.886645418852881E14 1036.31/1026.81 c cleaning 500 clauses out of 1026 for limit 9.631991161715255E14 1036.81/1027.30 c cleaning 509 clauses out of 1026 for limit 1.5884441970393085E15 1039.14/1029.70 c cleaning 1008 clauses out of 2017 for limit 3.623940729018855E15 1040.13/1030.68 c cleaning 748 clauses out of 1514 for limit 8.001834319514959E-5 1041.03/1031.53 c cleaning 625 clauses out of 1261 for limit 1.5764625987625233E-4 1041.95/1032.47 c cleaning 553 clauses out of 1138 for limit 2.886565433994361E-4 1042.85/1033.39 c cleaning 533 clauses out of 1083 for limit 4.992086197503511E-4 1044.05/1034.53 c cleaning 498 clauses out of 1052 for limit 8.492190013746299E-4 1045.57/1036.01 c cleaning 765 clauses out of 1553 for limit 0.0015629361967884016 1046.27/1036.76 c cleaning 628 clauses out of 1287 for limit 0.003107102163609382 1047.07/1037.54 c cleaning 566 clauses out of 1159 for limit 0.0056899248613955355 1047.77/1038.26 c cleaning 531 clauses out of 1093 for limit 0.00995005983407638 1048.47/1038.91 c cleaning 519 clauses out of 1062 for limit 0.016887961280046583 1049.27/1039.70 c cleaning 502 clauses out of 1043 for limit 0.028357851236348524 1050.20/1040.67 c cleaning 502 clauses out of 1041 for limit 0.046855738346375506 1051.20/1041.69 c cleaning 509 clauses out of 1049 for limit 0.07745314050997827 1052.20/1042.69 c cleaning 486 clauses out of 1030 for limit 0.1287917560165827 1053.32/1043.79 c cleaning 500 clauses out of 1046 for limit 0.20956488596032724 1054.31/1044.74 c cleaning 513 clauses out of 1045 for limit 0.3455853189996821 1055.01/1045.49 c cleaning 501 clauses out of 1031 for limit 0.5770776905558099 1055.72/1046.16 c cleaning 507 clauses out of 1030 for limit 0.9526022713248261 1056.31/1046.72 c cleaning 502 clauses out of 1023 for limit 1.5817181229076833 1056.82/1047.28 c cleaning 502 clauses out of 1021 for limit 2.6135744105306733 1057.41/1047.81 c cleaning 500 clauses out of 1022 for limit 4.318860116688426 1057.92/1048.37 c cleaning 501 clauses out of 1022 for limit 7.12237809918896 1058.51/1048.93 c cleaning 499 clauses out of 1018 for limit 11.756566220685421 1059.14/1049.52 c cleaning 502 clauses out of 1021 for limit 19.36990277800292 1059.64/1050.07 c cleaning 496 clauses out of 1019 for limit 32.006256839945344 1060.24/1050.62 c cleaning 503 clauses out of 1022 for limit 52.5750324526539 1060.74/1051.15 c cleaning 497 clauses out of 1018 for limit 86.95689872699387 1061.34/1051.75 c cleaning 498 clauses out of 1021 for limit 142.98219681347987 1062.63/1053.04 c cleaning 496 clauses out of 1023 for limit 235.33577960811297 1065.45/1055.80 c cleaning 493 clauses out of 1027 for limit 386.58859537044106 1067.80/1058.18 c cleaning 502 clauses out of 1035 for limit 633.2417355043855 1070.26/1060.54 c cleaning 506 clauses out of 1037 for limit 1046.465844456962 1072.57/1062.86 c cleaning 508 clauses out of 1028 for limit 1735.653591908658 1074.99/1065.26 c cleaning 506 clauses out of 1021 for limit 2884.8339658471064 1077.72/1067.95 c cleaning 504 clauses out of 1013 for limit 4785.463222893605 1082.03/1072.24 c cleaning 501 clauses out of 1008 for limit 7923.084202955318 1086.47/1076.64 c cleaning 499 clauses out of 1007 for limit 13079.201179911002 1091.01/1081.12 c cleaning 486 clauses out of 1009 for limit 21548.146676957404 1095.83/1085.99 c cleaning 510 clauses out of 1026 for limit 35052.02807680495 1099.17/1089.27 c cleaning 488 clauses out of 1013 for limit 58371.8446527742 1102.30/1092.31 c cleaning 503 clauses out of 1029 for limit 95146.19448233252 1105.32/1095.39 c cleaning 506 clauses out of 1025 for limit 157363.60903798614 1108.43/1098.49 c cleaning 505 clauses out of 1019 for limit 261041.6919591676 1111.38/1101.32 c cleaning 501 clauses out of 1011 for limit 432598.74561203487 1113.70/1103.62 c cleaning 504 clauses out of 1019 for limit 714214.5943245013 1116.21/1106.17 c cleaning 499 clauses out of 1010 for limit 1182401.1915942149 1118.83/1108.71 c cleaning 476 clauses out of 1006 for limit 1947922.0777917875 1121.36/1111.29 c cleaning 518 clauses out of 1036 for limit 3138143.2391914744 1124.08/1113.94 c cleaning 508 clauses out of 1016 for limit 5266543.477409205 1126.40/1116.29 c cleaning 504 clauses out of 1009 for limit 8754243.337159406 1128.43/1118.27 c cleaning 500 clauses out of 1001 for limit 1.4494176413996015E7 1130.74/1120.55 c cleaning 486 clauses out of 1000 for limit 2.3902812000074144E7 1134.58/1124.36 c cleaning 495 clauses out of 1016 for limit 3.887587690263625E7 1137.92/1127.63 c cleaning 505 clauses out of 1020 for limit 6.379624389792157E7 1140.53/1130.26 c cleaning 502 clauses out of 1019 for limit 1.0573408992502043E8 1143.06/1132.75 c cleaning 497 clauses out of 1016 for limit 1.7470964565043405E8 1145.49/1135.13 c cleaning 509 clauses out of 1019 for limit 2.872713357825988E8 1148.31/1137.96 c cleaning 504 clauses out of 1009 for limit 4.779656506303751E8 1151.83/1141.40 c cleaning 501 clauses out of 1003 for limit 7.91359432980251E8 1155.44/1145.06 c cleaning 496 clauses out of 1002 for limit 1.3063600238211808E9 1158.17/1147.73 c cleaning 498 clauses out of 1009 for limit 2.1458475252966022E9 1160.69/1150.26 c cleaning 503 clauses out of 1007 for limit 3.531656004830777E9 1163.10/1152.63 c cleaning 504 clauses out of 1009 for limit 5.841779299145707E9 1165.42/1155.00 c cleaning 495 clauses out of 1000 for limit 9.672074650045355E9 1167.84/1157.35 c cleaning 497 clauses out of 1007 for limit 1.5871394250694561E10 1170.27/1159.72 c cleaning 497 clauses out of 1009 for limit 2.6096049011203857E10 1172.69/1162.10 c cleaning 502 clauses out of 1016 for limit 4.2910754592995995E10 1175.21/1164.62 c cleaning 508 clauses out of 1016 for limit 7.090731855168303E10 1177.53/1166.99 c cleaning 504 clauses out of 1008 for limit 1.1786371484994318E11 1179.86/1169.23 c cleaning 490 clauses out of 999 for limit 1.9514548029401288E11 1182.38/1171.77 c cleaning 505 clauses out of 1010 for limit 3.186346565347772E11 1185.19/1174.56 c cleaning 485 clauses out of 1005 for limit 5.280854592593646E11 1188.71/1178.08 c cleaning 494 clauses out of 1021 for limit 8.580941236723126E11 1190.83/1180.18 c cleaning 506 clauses out of 1025 for limit 1.406771845765391E12 1192.95/1182.25 c cleaning 500 clauses out of 1019 for limit 2.3336151545080107E12 1195.06/1184.36 c cleaning 508 clauses out of 1017 for limit 3.848303634927215E12 1208.03/1197.27 c cleaning 1244 clauses out of 2512 for limit 1.1558400325532066E13 1214.63/1203.83 c cleaning 1125 clauses out of 2271 for limit 3.4875106489227957E13 1220.85/1210.09 c cleaning 1071 clauses out of 2142 for limit 1.001582982546701E14 1224.35/1213.50 c cleaning 786 clauses out of 1572 for limit 2.2529121677057575E14 1230.96/1220.19 c cleaning 883 clauses out of 1783 for limit 5.385843104948534E14 1236.08/1225.28 c cleaning 945 clauses out of 1902 for limit 1.3758634254403202E15 1238.38/1227.60 c cleaning 707 clauses out of 1455 for limit 2.9601226682163255E15 1240.88/1230.01 c cleaning 615 clauses out of 1250 for limit 5.693608478958411E15 1243.39/1232.54 c cleaning 571 clauses out of 1143 for limit 1.0351025140237852E16 1245.60/1234.78 c cleaning 534 clauses out of 1069 for limit 1.819718625456718E16 1248.10/1237.27 c cleaning 516 clauses out of 1032 for limit 3.0992356560153712E16 1250.50/1239.68 c cleaning 507 clauses out of 1014 for limit 5.1913846137963704E16 1253.21/1242.39 c cleaning 483 clauses out of 1008 for limit 8.620868633740025E-4 1257.12/1246.28 c cleaning 506 clauses out of 1022 for limit 0.0013980188116525323 1260.62/1249.75 c cleaning 500 clauses out of 1019 for limit 0.002319258459760485 1264.03/1253.15 c cleaning 500 clauses out of 1018 for limit 0.003824696079350614 1267.24/1256.33 c cleaning 505 clauses out of 1023 for limit 0.006308084769117006 1269.54/1258.65 c cleaning 503 clauses out of 1018 for limit 0.010453970338945118 1272.04/1261.17 c cleaning 502 clauses out of 1014 for limit 0.01729069546475771 1274.55/1263.63 c cleaning 499 clauses out of 1014 for limit 0.028571784927311276 1277.06/1266.18 c cleaning 494 clauses out of 1010 for limit 0.047069250364324834 1279.77/1268.85 c cleaning 488 clauses out of 1013 for limit 0.07716165993398325 1283.48/1272.51 c cleaning 498 clauses out of 1026 for limit 0.12576333490396877 1285.49/1274.59 c cleaning 510 clauses out of 1031 for limit 0.20701516590805638 1288.80/1277.85 c cleaning 501 clauses out of 1019 for limit 0.34472557742485055 1292.31/1281.35 c cleaning 495 clauses out of 1017 for limit 0.5690469684859776 1296.02/1285.04 c cleaning 497 clauses out of 1021 for limit 0.9338232875763651 1298.62/1287.65 c cleaning 497 clauses out of 1029 for limit 1.5356898481197778 1301.34/1290.37 c cleaning 510 clauses out of 1033 for limit 2.525276663377129 1304.04/1293.04 c cleaning 495 clauses out of 1021 for limit 4.205042681109667 1306.75/1295.75 c cleaning 505 clauses out of 1022 for limit 6.900222492115133 1309.96/1298.91 c cleaning 505 clauses out of 1023 for limit 11.436715406647448 1312.66/1301.66 c cleaning 502 clauses out of 1015 for limit 18.95235825935454 1315.18/1304.20 c cleaning 497 clauses out of 1011 for limit 31.315907922450553 1317.69/1306.69 c cleaning 498 clauses out of 1018 for limit 51.494674718853304 1320.40/1309.35 c cleaning 492 clauses out of 1016 for limit 84.74893105284936 1323.51/1312.41 c cleaning 488 clauses out of 1024 for limit 138.67043165268888 1327.02/1315.93 c cleaning 516 clauses out of 1036 for limit 226.0372191320368 1329.83/1318.75 c cleaning 503 clauses out of 1022 for limit 378.62887044011205 1333.14/1322.01 c cleaning 501 clauses out of 1018 for limit 626.2362723527904 1336.05/1324.91 c cleaning 496 clauses out of 1017 for limit 1033.7628736582458 1339.26/1328.12 c cleaning 506 clauses out of 1021 for limit 1698.1342787720394 1342.38/1331.24 c cleaning 504 clauses out of 1015 for limit 2817.0049858062657 1345.50/1334.40 c cleaning 498 clauses out of 1010 for limit 4663.947566872457 1348.60/1337.40 c cleaning 505 clauses out of 1017 for limit 7676.840652402375 1351.91/1340.76 c cleaning 498 clauses out of 1007 for limit 12722.056986221209 1354.84/1343.65 c cleaning 499 clauses out of 1012 for limit 20939.471539960916 1358.14/1346.98 c cleaning 501 clauses out of 1010 for limit 34496.6726361782 1361.16/1349.94 c cleaning 497 clauses out of 1010 for limit 56946.574633993565 1364.37/1353.19 c cleaning 499 clauses out of 1013 for limit 93634.39777432836 1367.69/1356.43 c cleaning 495 clauses out of 1015 for limit 154265.64647504681 1370.40/1359.13 c cleaning 503 clauses out of 1017 for limit 253143.43242804144 1372.81/1361.58 c cleaning 503 clauses out of 1017 for limit 418722.29613660753 1375.43/1364.12 c cleaning 495 clauses out of 1012 for limit 692553.5993133493 1379.04/1367.76 c cleaning 498 clauses out of 1016 for limit 1136479.4064330948 1381.95/1370.63 c cleaning 506 clauses out of 1022 for limit 1870674.8899682644 1385.06/1373.72 c cleaning 508 clauses out of 1017 for limit 3103263.5361246145 1387.68/1376.39 c cleaning 502 clauses out of 1004 for limit 5158093.694811298 1391.09/1379.80 c cleaning 501 clauses out of 1002 for limit 8523365.355622502 1394.41/1383.09 c cleaning 501 clauses out of 1002 for limit 1.407023994678593E7 1396.82/1385.42 c cleaning 496 clauses out of 1008 for limit 2.3227697559441384E7 1399.33/1387.99 c cleaning 502 clauses out of 1010 for limit 3.8153306760167256E7 1402.24/1390.85 c cleaning 501 clauses out of 1002 for limit 6.3042677949448325E7 1404.85/1393.46 c cleaning 500 clauses out of 1001 for limit 1.0406967158490078E8 1407.66/1396.21 c cleaning 499 clauses out of 1007 for limit 1.716294254476982E8 1409.89/1398.46 c cleaning 506 clauses out of 1013 for limit 2.82774484737328E8 1412.40/1400.98 c cleaning 498 clauses out of 996 for limit 4.6910124344641364E8 1414.91/1403.41 c cleaning 489 clauses out of 999 for limit 7.720596100224435E8 1417.73/1406.29 c cleaning 490 clauses out of 1013 for limit 1.2594075667959235E9 1421.44/1409.96 c cleaning 483 clauses out of 1019 for limit 2.0564558949317732E9 1424.06/1412.54 c cleaning 518 clauses out of 1036 for limit 3.335720970252466E9 1426.47/1414.97 c cleaning 509 clauses out of 1022 for limit 5.598768479433881E9 1428.58/1417.04 c cleaning 497 clauses out of 1014 for limit 9.315278605140852E9 1430.78/1419.23 c cleaning 505 clauses out of 1012 for limit 1.5315691825576876E10 1434.70/1423.19 c cleaning 505 clauses out of 1010 for limit 2.538371483416363E10 1437.92/1426.34 c cleaning 497 clauses out of 1004 for limit 4.2069196410901985E10 1440.63/1429.09 c cleaning 502 clauses out of 1005 for limit 6.917015213628177E10 1443.43/1431.88 c cleaning 494 clauses out of 1006 for limit 1.1430000101613454E11 1446.64/1435.00 c cleaning 506 clauses out of 1012 for limit 1.873784272835137E11 1449.75/1438.10 c cleaning 496 clauses out of 1006 for limit 3.1085510810296716E11 1452.47/1440.80 c cleaning 496 clauses out of 1009 for limit 5.106063341504264E11 1455.38/1443.73 c cleaning 506 clauses out of 1012 for limit 8.387223709541976E11 1458.59/1446.94 c cleaning 495 clauses out of 1012 for limit 1.3914935084318516E12 1461.31/1449.69 c cleaning 509 clauses out of 1018 for limit 2.283517361593634E12 1464.12/1452.46 c cleaning 503 clauses out of 1007 for limit 3.7993516250722026E12 1467.03/1455.33 c cleaning 500 clauses out of 1000 for limit 6.284298409069908E12 1470.05/1458.36 c cleaning 478 clauses out of 999 for limit 1.0363648774956746E13 1473.16/1461.47 c cleaning 502 clauses out of 1021 for limit 1.6722773957667617E13 1475.98/1464.21 c cleaning 509 clauses out of 1018 for limit 2.763170341525366E13 1478.98/1467.24 c cleaning 504 clauses out of 1009 for limit 4.5974832698445414E13 1482.30/1470.56 c cleaning 502 clauses out of 1005 for limit 7.612041529206475E13 1485.12/1473.33 c cleaning 502 clauses out of 1005 for limit 1.2578419062063833E14 1487.83/1476.07 c cleaning 481 clauses out of 1003 for limit 2.0784858646920412E14 1491.04/1479.28 c cleaning 501 clauses out of 1020 for limit 3.363835116435463E14 1494.05/1482.28 c cleaning 502 clauses out of 1022 for limit 5.5532010656531175E14 1496.77/1484.98 c cleaning 511 clauses out of 1023 for limit 9.176521421331055E14 1500.08/1488.26 c cleaning 505 clauses out of 1010 for limit 1.5297455768389208E15 1502.99/1491.11 c cleaning 500 clauses out of 1001 for limit 2.5352707292940095E15 1505.60/1493.78 c cleaning 502 clauses out of 1005 for limit 4.181058962885666E15 1508.42/1496.56 c cleaning 487 clauses out of 1006 for limit 6.908977773603598E15 1511.64/1499.77 c cleaning 498 clauses out of 1012 for limit 1.1247229793491716E16 1514.35/1502.50 c cleaning 502 clauses out of 1014 for limit 1.8511602362558344E16 1517.16/1505.28 c cleaning 506 clauses out of 1013 for limit 3.058883390398254E16 1520.37/1508.43 c cleaning 503 clauses out of 1006 for limit 5.0745292617425952E16 1523.09/1511.17 c cleaning 504 clauses out of 1009 for limit 8.3939336751283776E16 1525.71/1513.77 c cleaning 493 clauses out of 1003 for limit 0.001389769031490581 1528.82/1516.89 c cleaning 496 clauses out of 1006 for limit 0.0022759536962436793 1531.53/1519.58 c cleaning 488 clauses out of 1012 for limit 0.0037385724472752246 1534.94/1522.91 c cleaning 500 clauses out of 1026 for limit 0.006093458578147039 1537.65/1525.65 c cleaning 499 clauses out of 1022 for limit 0.010047966261342961 1540.58/1528.55 c cleaning 498 clauses out of 1027 for limit 0.016555890847420776 1544.09/1532.03 c cleaning 504 clauses out of 1027 for limit 0.027248300360099034 1546.91/1534.86 c cleaning 504 clauses out of 1021 for limit 0.045109808441955786 1549.72/1537.61 c cleaning 507 clauses out of 1027 for limit 0.07470114972932837 1552.84/1540.70 c cleaning 485 clauses out of 1013 for limit 0.12402310184406644 1556.05/1543.93 c cleaning 509 clauses out of 1027 for limit 0.2015407943457911 1558.78/1546.70 c cleaning 492 clauses out of 1018 for limit 0.33530614957995003 1561.67/1549.56 c cleaning 498 clauses out of 1024 for limit 0.5486257699748676 1564.79/1552.63 c cleaning 506 clauses out of 1026 for limit 0.9029936290991621 1567.51/1555.30 c cleaning 503 clauses out of 1022 for limit 1.4979801613381145 1570.22/1558.05 c cleaning 496 clauses out of 1017 for limit 2.477552511646067 1573.25/1561.00 c cleaning 507 clauses out of 1031 for limit 4.070859939870048 1575.95/1563.77 c cleaning 491 clauses out of 1015 for limit 6.758091454013057 1578.96/1566.75 c cleaning 500 clauses out of 1025 for limit 11.047312524526589 1581.58/1569.37 c cleaning 501 clauses out of 1023 for limit 18.217624045501196 1584.49/1572.24 c cleaning 495 clauses out of 1022 for limit 30.072695735696353 1587.71/1575.42 c cleaning 504 clauses out of 1030 for limit 49.35662484868326 1590.32/1578.06 c cleaning 507 clauses out of 1024 for limit 81.70894164527692 1592.84/1580.57 c cleaning 488 clauses out of 1016 for limit 135.67418116446237 1595.86/1583.57 c cleaning 498 clauses out of 1034 for limit 221.17362499316232 1598.88/1586.50 c cleaning 515 clauses out of 1038 for limit 364.06709782165717 1601.59/1589.29 c cleaning 508 clauses out of 1024 for limit 609.2130915774756 1603.81/1591.46 c cleaning 497 clauses out of 1008 for limit 1012.484643211478 1606.33/1593.95 c cleaning 498 clauses out of 1016 for limit 1664.8829849237245 1608.84/1596.47 c cleaning 492 clauses out of 1012 for limit 2739.9694884038286 1611.55/1599.19 c cleaning 489 clauses out of 1022 for limit 4483.325325577836 1614.87/1602.43 c cleaning 502 clauses out of 1034 for limit 7315.112502714163 1617.60/1605.13 c cleaning 511 clauses out of 1029 for limit 12085.886889690128 1620.11/1607.65 c cleaning 510 clauses out of 1029 for limit 20151.809171915385 1622.32/1609.83 c cleaning 498 clauses out of 1012 for limit 33555.46092813893 1624.84/1612.35 c cleaning 493 clauses out of 1011 for limit 55226.16897784785 1628.56/1616.01 c cleaning 489 clauses out of 1021 for limit 90454.41166499682 1631.46/1618.97 c cleaning 505 clauses out of 1029 for limit 147568.09546280347 1635.31/1622.72 c cleaning 507 clauses out of 1023 for limit 244542.07249138888 1638.04/1625.46 c cleaning 494 clauses out of 1017 for limit 406067.90802865906 1641.56/1628.93 c cleaning 502 clauses out of 1024 for limit 665748.2954491279 1644.47/1631.82 c cleaning 505 clauses out of 1020 for limit 1100010.198150899 1646.89/1634.25 c cleaning 499 clauses out of 1015 for limit 1823000.2492138406 1649.60/1636.95 c cleaning 490 clauses out of 1018 for limit 3003515.6750616566 1652.22/1639.58 c cleaning 508 clauses out of 1026 for limit 4904753.474584274 1655.53/1642.86 c cleaning 505 clauses out of 1021 for limit 8152639.232909571 1658.57/1645.90 c cleaning 510 clauses out of 1020 for limit 1.3511940649971014E7 1660.98/1648.25 c cleaning 501 clauses out of 1004 for limit 2.2502615747973252E7 1663.89/1651.15 c cleaning 502 clauses out of 1005 for limit 3.714715568096578E7 1666.50/1653.73 c cleaning 501 clauses out of 1002 for limit 6.138260018867123E7 1669.23/1656.46 c cleaning 495 clauses out of 1003 for limit 1.0132975215972899E8 1672.14/1659.32 c cleaning 502 clauses out of 1004 for limit 1.6627311787440526E8 1675.16/1662.37 c cleaning 494 clauses out of 1003 for limit 2.7475475620648324E8 1677.97/1665.12 c cleaning 504 clauses out of 1008 for limit 4.504089329307285E8 1680.28/1667.43 c cleaning 498 clauses out of 1006 for limit 7.457520523009341E8 1683.30/1670.50 c cleaning 503 clauses out of 1006 for limit 1.2273864392154922E9 1686.93/1674.04 c cleaning 501 clauses out of 1003 for limit 2.0301786457598271E9 1690.05/1677.16 c cleaning 488 clauses out of 1002 for limit 3.351377532770559E9 1693.58/1680.63 c cleaning 507 clauses out of 1015 for limit 5.4615439386040945E9 1696.90/1683.93 c cleaning 506 clauses out of 1013 for limit 9.069857728934103E9 1700.23/1687.23 c cleaning 499 clauses out of 1009 for limit 1.5046783229762589E10 1703.55/1690.57 c cleaning 493 clauses out of 1004 for limit 2.4788482112837307E10 1706.68/1693.64 c cleaning 504 clauses out of 1009 for limit 4.0595635481694176E10 1709.80/1696.75 c cleaning 502 clauses out of 1005 for limit 6.721409193983515E10 1712.92/1699.85 c cleaning 505 clauses out of 1011 for limit 1.110726729077891E11 1716.45/1703.32 c cleaning 493 clauses out of 1000 for limit 1.8408024980872794E11 1719.37/1706.28 c cleaning 496 clauses out of 1006 for limit 3.0146062106569403E11 1722.38/1709.25 c cleaning 500 clauses out of 1012 for limit 4.9519125706062506E11 1725.92/1712.75 c cleaning 502 clauses out of 1011 for limit 8.166269353778014E11 1728.72/1715.57 c cleaning 499 clauses out of 1008 for limit 1.349384443914256E12 1732.54/1719.30 c cleaning 499 clauses out of 1012 for limit 2.223182632707221E12 1735.57/1722.35 c cleaning 507 clauses out of 1014 for limit 3.662756918917462E12 1738.19/1724.96 c cleaning 498 clauses out of 1003 for limit 6.082231684726696E12 1739.79/1726.58 c cleaning 496 clauses out of 1004 for limit 1.001040283934253E13 1742.00/1728.79 c cleaning 499 clauses out of 1014 for limit 1.6444106098118262E13 1744.32/1731.00 c cleaning 497 clauses out of 1012 for limit 2.7090689858330918E13 1746.03/1732.73 c cleaning 506 clauses out of 1012 for limit 4.454227717276543E13 1748.85/1735.54 c cleaning 499 clauses out of 1007 for limit 7.389479638817519E13 1751.26/1737.94 c cleaning 506 clauses out of 1012 for limit 1.217465740368636E14 1753.18/1739.80 c cleaning 500 clauses out of 1001 for limit 2.019698356722172E14 1756.08/1742.74 c cleaning 500 clauses out of 1001 for limit 3.330752780647123E14 1759.31/1745.91 c cleaning 495 clauses out of 1005 for limit 5.4929335970991075E14 1760.72/1747.32 c cleaning 503 clauses out of 1014 for limit 9.014183399329659E14 1762.93/1749.54 c cleaning 487 clauses out of 1003 for limit 1.4908817708494598E15 1765.05/1751.62 c cleaning 510 clauses out of 1020 for limit 2.4273807302909375E15 1767.87/1754.48 c cleaning 506 clauses out of 1013 for limit 4.0428539145227035E15 1770.89/1757.45 c cleaning 494 clauses out of 1007 for limit 6.706932113900028E15 1773.21/1759.71 c cleaning 496 clauses out of 1007 for limit 1.0994430211765908E16 1775.42/1761.92 c cleaning 498 clauses out of 1011 for limit 1.805955017938304E16 1776.84/1763.39 c cleaning 499 clauses out of 1013 for limit 2.9723813391415154E-4 1780.15/1766.60 c cleaning 500 clauses out of 1013 for limit 4.896952611839571E-4 1781.86/1768.35 c cleaning 499 clauses out of 1016 for limit 8.076088345040484E-4 1783.17/1769.62 c cleaning 502 clauses out of 1014 for limit 0.0013304824973171799 1785.30/1771.72 c cleaning 498 clauses out of 1013 for limit 0.0021985081207722425 1787.11/1773.53 c cleaning 498 clauses out of 1014 for limit 0.0036184363679424374 1789.63/1776.08 c cleaning 502 clauses out of 1017 for limit 0.0059556386626597214 1792.35/1778.72 c cleaning 502 clauses out of 1016 for limit 0.00984115301213701 1794.36/1780.76 c cleaning 499 clauses out of 1012 for limit 0.016260954823782578 1796.27/1782.60 c cleaning 498 clauses out of 1013 for limit 0.026790017506720266 1799.19/1785.52 c cleaning 497 clauses out of 1015 for limit 0.044093267949807086 1800.10/1786.42 c starts : 19 1800.10/1786.42 c conflicts : 326106 1800.10/1786.42 c decisions : 645256 1800.10/1786.42 c propagations : 88292768 1800.10/1786.42 c inspects : 300126362 1800.10/1786.42 c learnt literals : 0 1800.10/1786.42 c learnt binary clauses : 0 1800.10/1786.42 c learnt ternary clauses : 0 1800.10/1786.42 c learnt clauses : 326105 1800.10/1786.42 c root simplifications : 0 1800.10/1786.42 c removed literals (reason simplification) : 0 1800.10/1786.42 c reason swapping (by a shorter reason) : 0 1800.10/1786.42 c Calls to reduceDB : 329 1800.10/1786.42 c speed (decisions/second) : 362.3922100299571 1800.10/1786.42 c non guided choices 81721 1800.10/1786.42 s UNKNOWN 1800.10/1786.42 c Total wall clock time (ms): 1786.175
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node1/watcher-362403-1177011920 -o ROOT/results/node1/solver-362403-1177011920 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/362403-1177011920/sat4jPseudoResolution.jar /tmp/evaluation/362403-1177011920/instance-362403-1177011920.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: 1.00 1.00 0.98 3/77 6794 /proc/meminfo: memFree=1754864/2055920 swapFree=4145780/4192956 [pid=6794] ppid=6792 vsize=18568 CPUtime=0 /proc/6794/stat : 6794 (runsolver) D 6792 6794 5512 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 177229891 19013632 292 18446744073709551615 4194304 4296420 548682068880 18446744073709551615 259353275687 0 2147483391 4096 24578 18446744072099781622 0 0 17 1 0 0 /proc/6794/statm: 4642 292 257 24 0 2626 0 [startup+0.10344 s] /proc/loadavg: 1.00 1.00 0.98 3/77 6794 /proc/meminfo: memFree=1754864/2055920 swapFree=4145780/4192956 [pid=6794] ppid=6792 vsize=1780108 CPUtime=0.08 /proc/6794/stat : 6794 (java) S 6792 6794 5512 0 -1 0 3970 0 1 0 6 2 0 0 18 0 12 0 177229891 1822830592 3711 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/6794/statm: 445027 3711 1122 9 0 442646 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1780108 [startup+0.202452 s] /proc/loadavg: 1.00 1.00 0.98 3/77 6794 /proc/meminfo: memFree=1754864/2055920 swapFree=4145780/4192956 [pid=6794] ppid=6792 vsize=1781452 CPUtime=0.14 /proc/6794/stat : 6794 (java) S 6792 6794 5512 0 -1 0 4479 0 1 0 11 3 0 0 18 0 12 0 177229891 1824206848 4217 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/6794/statm: 445363 4218 1233 9 0 442975 0 Current children cumulated CPU time (s) 0.14 Current children cumulated vsize (KiB) 1781452 [startup+0.301473 s] /proc/loadavg: 1.00 1.00 0.98 3/77 6794 /proc/meminfo: memFree=1754864/2055920 swapFree=4145780/4192956 [pid=6794] ppid=6792 vsize=1782284 CPUtime=0.25 /proc/6794/stat : 6794 (java) S 6792 6794 5512 0 -1 0 6323 0 1 0 22 3 0 0 18 0 12 0 177229891 1825058816 6061 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/6794/statm: 445571 6061 1260 9 0 443183 0 Current children cumulated CPU time (s) 0.25 Current children cumulated vsize (KiB) 1782284 [startup+0.701512 s] /proc/loadavg: 1.00 1.00 0.98 3/77 6794 /proc/meminfo: memFree=1754864/2055920 swapFree=4145780/4192956 [pid=6794] ppid=6792 vsize=1783992 CPUtime=0.87 /proc/6794/stat : 6794 (java) S 6792 6794 5512 0 -1 0 9908 0 1 0 82 5 0 0 18 0 12 0 177229891 1826807808 9182 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/6794/statm: 445998 9184 1296 9 0 443610 0 Current children cumulated CPU time (s) 0.87 Current children cumulated vsize (KiB) 1783992 [startup+1.50161 s] /proc/loadavg: 1.00 1.00 0.98 2/89 6806 /proc/meminfo: memFree=1685264/2055920 swapFree=4145780/4192956 [pid=6794] ppid=6792 vsize=1783992 CPUtime=1.78 /proc/6794/stat : 6794 (java) S 6792 6794 5512 0 -1 0 24429 0 1 0 166 12 0 0 18 0 12 0 177229891 1826807808 23703 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/6794/statm: 445998 23703 1302 9 0 443610 0 [pid=6794/tid=6796] ppid=6792 vsize=1783992 CPUtime=1.22 /proc/6794/task/6796/stat : 6796 (java) R 6792 6794 5512 0 -1 64 22346 0 1 0 111 11 0 0 25 0 12 0 177229893 1826807808 23703 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109191364 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6794/tid=6797] ppid=6792 vsize=1783992 CPUtime=0 /proc/6794/task/6797/stat : 6797 (java) S 6792 6794 5512 0 -1 64 3 0 0 0 0 0 0 0 19 0 12 0 177229894 1826807808 23703 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6794/tid=6798] ppid=6792 vsize=1783992 CPUtime=0 /proc/6794/task/6798/stat : 6798 (java) S 6792 6794 5512 0 -1 64 1 0 0 0 0 0 0 0 20 0 12 0 177229894 1826807808 23703 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6794/tid=6799] ppid=6792 vsize=1783992 CPUtime=0 /proc/6794/task/6799/stat : 6799 (java) S 6792 6794 5512 0 -1 64 1 0 0 0 0 0 0 0 16 0 12 0 177229897 1826807808 23703 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=6794/tid=6800] ppid=6792 vsize=1783992 CPUtime=0 /proc/6794/task/6800/stat : 6800 (java) S 6792 6794 5512 0 -1 64 9 0 0 0 0 0 0 0 22 0 12 0 177229897 1826807808 23703 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6794/tid=6801] ppid=6792 vsize=1783992 CPUtime=0 /proc/6794/task/6801/stat : 6801 (java) S 6792 6794 5512 0 -1 64 4 0 0 0 0 0 0 0 23 0 12 0 177229897 1826807808 23703 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6794/tid=6802] ppid=6792 vsize=1783992 CPUtime=0 /proc/6794/task/6802/stat : 6802 (java) S 6792 6794 5512 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 177229901 1826807808 23703 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6794/tid=6803] ppid=6792 vsize=1783992 CPUtime=0.31 /proc/6794/task/6803/stat : 6803 (java) S 6792 6794 5512 0 -1 64 1069 0 0 0 31 0 0 0 16 0 12 0 177229901 1826807808 23703 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6794/tid=6804] ppid=6792 vsize=1783992 CPUtime=0.23 /proc/6794/task/6804/stat : 6804 (java) S 6792 6794 5512 0 -1 64 294 0 0 0 23 0 0 0 16 0 12 0 177229901 1826807808 23703 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6794/tid=6805] ppid=6792 vsize=1783992 CPUtime=0 /proc/6794/task/6805/stat : 6805 (java) S 6792 6794 5512 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 177229901 1826807808 23703 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6794/tid=6806] ppid=6792 vsize=1783992 CPUtime=0 /proc/6794/task/6806/stat : 6806 (java) S 6792 6794 5512 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 177229901 1826807808 23703 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1.78 Current children cumulated vsize (KiB) 1783992 [startup+3.10279 s] /proc/loadavg: 1.08 1.02 0.99 3/89 6806 /proc/meminfo: memFree=1595600/2055920 swapFree=4145780/4192956 [pid=6794] ppid=6792 vsize=1785280 CPUtime=3.84 /proc/6794/stat : 6794 (java) S 6792 6794 5512 0 -1 0 49037 0 1 0 360 24 0 0 18 0 12 0 177229891 1828126720 47345 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/6794/statm: 446320 47345 1313 9 0 443932 0 [pid=6794/tid=6796] ppid=6792 vsize=1785280 CPUtime=2.45 /proc/6794/task/6796/stat : 6796 (java) R 6792 6794 5512 0 -1 64 37683 0 1 0 227 18 0 0 23 0 12 0 177229893 1828126720 47345 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109551271 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6794/tid=6797] ppid=6792 vsize=1785280 CPUtime=0.18 /proc/6794/task/6797/stat : 6797 (java) S 6792 6794 5512 0 -1 64 3429 0 0 0 17 1 0 0 16 0 12 0 177229894 1828126720 47345 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6794/tid=6798] ppid=6792 vsize=1785280 CPUtime=0.18 /proc/6794/task/6798/stat : 6798 (java) S 6792 6794 5512 0 -1 64 5428 0 0 0 16 2 0 0 16 0 12 0 177229894 1828126720 47345 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6794/tid=6799] ppid=6792 vsize=1785280 CPUtime=0 /proc/6794/task/6799/stat : 6799 (java) S 6792 6794 5512 0 -1 64 7 0 0 0 0 0 0 0 15 0 12 0 177229897 1828126720 47345 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=6794/tid=6800] ppid=6792 vsize=1785280 CPUtime=0 /proc/6794/task/6800/stat : 6800 (java) S 6792 6794 5512 0 -1 64 11 0 0 0 0 0 0 0 16 0 12 0 177229897 1828126720 47345 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6794/tid=6801] ppid=6792 vsize=1785280 CPUtime=0 /proc/6794/task/6801/stat : 6801 (java) S 6792 6794 5512 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 177229897 1828126720 47345 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6794/tid=6802] ppid=6792 vsize=1785280 CPUtime=0 /proc/6794/task/6802/stat : 6802 (java) S 6792 6794 5512 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 177229901 1828126720 47345 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6794/tid=6803] ppid=6792 vsize=1785280 CPUtime=0.55 /proc/6794/task/6803/stat : 6803 (java) S 6792 6794 5512 0 -1 64 1313 0 0 0 55 0 0 0 16 0 12 0 177229901 1828126720 47345 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6794/tid=6804] ppid=6792 vsize=1785280 CPUtime=0.43 /proc/6794/task/6804/stat : 6804 (java) S 6792 6794 5512 0 -1 64 458 0 0 0 43 0 0 0 16 0 12 0 177229901 1828126720 47345 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6794/tid=6805] ppid=6792 vsize=1785280 CPUtime=0 /proc/6794/task/6805/stat : 6805 (java) S 6792 6794 5512 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 177229901 1828126720 47345 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6794/tid=6806] ppid=6792 vsize=1785280 CPUtime=0 /proc/6794/task/6806/stat : 6806 (java) S 6792 6794 5512 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 177229901 1828126720 47345 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 3.84 Current children cumulated vsize (KiB) 1785280 [startup+6.30217 s] /proc/loadavg: 1.08 1.02 0.99 2/89 6806 /proc/meminfo: memFree=1504144/2055920 swapFree=4145780/4192956 [pid=6794] ppid=6792 vsize=1788284 CPUtime=8.28 /proc/6794/stat : 6794 (java) S 6792 6794 5512 0 -1 0 73108 0 2 0 792 36 0 0 18 0 13 0 177229891 1831202816 67339 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/6794/statm: 447071 67339 1334 9 0 444683 0 [pid=6794/tid=6796] ppid=6792 vsize=1788284 CPUtime=4.68 /proc/6794/task/6796/stat : 6796 (java) R 6792 6794 5512 0 -1 64 37724 0 2 0 449 19 0 0 19 0 13 0 177229893 1831202816 67339 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109865066 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6794/tid=6797] ppid=6792 vsize=1788284 CPUtime=0.9 /proc/6794/task/6797/stat : 6797 (java) S 6792 6794 5512 0 -1 64 15791 0 0 0 84 6 0 0 18 0 13 0 177229894 1831202816 67339 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6794/tid=6798] ppid=6792 vsize=1788284 CPUtime=0.9 /proc/6794/task/6798/stat : 6798 (java) S 6792 6794 5512 0 -1 64 15499 0 0 0 83 7 0 0 16 0 13 0 177229894 1831202816 67339 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6794/tid=6799] ppid=6792 vsize=1788284 CPUtime=0 /proc/6794/task/6799/stat : 6799 (java) S 6792 6794 5512 0 -1 64 7 0 0 0 0 0 0 0 17 0 13 0 177229897 1831202816 67339 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=6794/tid=6800] ppid=6792 vsize=1788284 CPUtime=0 /proc/6794/task/6800/stat : 6800 (java) S 6792 6794 5512 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 177229897 1831202816 67339 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6794/tid=6801] ppid=6792 vsize=1788284 CPUtime=0 /proc/6794/task/6801/stat : 6801 (java) S 6792 6794 5512 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 177229897 1831202816 67339 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6794/tid=6802] ppid=6792 vsize=1788284 CPUtime=0 /proc/6794/task/6802/stat : 6802 (java) S 6792 6794 5512 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 177229901 1831202816 67339 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6794/tid=6803] ppid=6792 vsize=1788284 CPUtime=0.95 /proc/6794/task/6803/stat : 6803 (java) S 6792 6794 5512 0 -1 64 2326 0 0 0 94 1 0 0 16 0 13 0 177229901 1831202816 67339 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6794/tid=6804] ppid=6792 vsize=1788284 CPUtime=0.8 /proc/6794/task/6804/stat : 6804 (java) R 6792 6794 5512 0 -1 64 1039 0 0 0 80 0 0 0 16 0 13 0 177229901 1831202816 67339 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 105243314 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6794/tid=6805] ppid=6792 vsize=1788284 CPUtime=0 /proc/6794/task/6805/stat : 6805 (java) S 6792 6794 5512 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 177229901 1831202816 67339 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6794/tid=6806] ppid=6792 vsize=1788284 CPUtime=0 /proc/6794/task/6806/stat : 6806 (java) S 6792 6794 5512 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 177229901 1831202816 67339 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 8.28 Current children cumulated vsize (KiB) 1788284 [startup+12.7029 s] /proc/loadavg: 1.14 1.03 1.00 2/90 6807 /proc/meminfo: memFree=1477904/2055920 swapFree=4145780/4192956 [pid=6794] ppid=6792 vsize=1788220 CPUtime=14.95 /proc/6794/stat : 6794 (java) S 6792 6794 5512 0 -1 0 76945 0 2 0 1458 37 0 0 18 0 13 0 177229891 1831137280 70295 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/6794/statm: 447055 70295 1334 9 0 444667 0 [pid=6794/tid=6796] ppid=6792 vsize=1788220 CPUtime=10.88 /proc/6794/task/6796/stat : 6796 (java) R 6792 6794 5512 0 -1 64 37729 0 2 0 1069 19 0 0 22 0 13 0 177229893 1831137280 70295 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109864331 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6794/tid=6797] ppid=6792 vsize=1788220 CPUtime=1.06 /proc/6794/task/6797/stat : 6797 (java) S 6792 6794 5512 0 -1 64 17767 0 0 0 99 7 0 0 16 0 13 0 177229894 1831137280 70295 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6794/tid=6798] ppid=6792 vsize=1788220 CPUtime=1.07 /proc/6794/task/6798/stat : 6798 (java) S 6792 6794 5512 0 -1 64 17340 0 0 0 99 8 0 0 16 0 13 0 177229894 1831137280 70295 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6794/tid=6799] ppid=6792 vsize=1788220 CPUtime=0 /proc/6794/task/6799/stat : 6799 (java) S 6792 6794 5512 0 -1 64 7 0 0 0 0 0 0 0 15 0 13 0 177229897 1831137280 70295 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=6794/tid=6800] ppid=6792 vsize=1788220 CPUtime=0 /proc/6794/task/6800/stat : 6800 (java) S 6792 6794 5512 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 177229897 1831137280 70295 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6794/tid=6801] ppid=6792 vsize=1788220 CPUtime=0 /proc/6794/task/6801/stat : 6801 (java) S 6792 6794 5512 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 177229897 1831137280 70295 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6794/tid=6802] ppid=6792 vsize=1788220 CPUtime=0 /proc/6794/task/6802/stat : 6802 (java) S 6792 6794 5512 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 177229901 1831137280 70295 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6794/tid=6803] ppid=6792 vsize=1788220 CPUtime=1.02 /proc/6794/task/6803/stat : 6803 (java) S 6792 6794 5512 0 -1 64 2335 0 0 0 101 1 0 0 17 0 13 0 177229901 1831137280 70295 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6794/tid=6804] ppid=6792 vsize=1788220 CPUtime=0.87 /proc/6794/task/6804/stat : 6804 (java) S 6792 6794 5512 0 -1 64 1045 0 0 0 87 0 0 0 16 0 13 0 177229901 1831137280 70295 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6794/tid=6805] ppid=6792 vsize=1788220 CPUtime=0 /proc/6794/task/6805/stat : 6805 (java) S 6792 6794 5512 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 177229901 1831137280 70295 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6794/tid=6806] ppid=6792 vsize=1788220 CPUtime=0 /proc/6794/task/6806/stat : 6806 (java) S 6792 6794 5512 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 177229901 1831137280 70295 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6794/tid=6807] ppid=6792 vsize=1788220 CPUtime=0 /proc/6794/task/6807/stat : 6807 (java) S 6792 6794 5512 0 -1 64 3 0 0 0 0 0 0 0 18 0 13 0 177230493 1831137280 70295 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 14.95 Current children cumulated vsize (KiB) 1788220 [startup+25.5024 s] /proc/loadavg: 1.12 1.03 1.00 2/90 6807 /proc/meminfo: memFree=1464208/2055920 swapFree=4145780/4192956 [pid=6794] ppid=6792 vsize=1788220 CPUtime=28.07 /proc/6794/stat : 6794 (java) S 6792 6794 5512 0 -1 0 80900 0 2 0 2768 39 0 0 18 0 13 0 177229891 1831137280 73757 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/6794/statm: 447055 73757 1334 9 0 444667 0 [pid=6794/tid=6796] ppid=6792 vsize=1788220 CPUtime=23.35 /proc/6794/task/6796/stat : 6796 (java) R 6792 6794 5512 0 -1 64 37732 0 2 0 2316 19 0 0 25 0 13 0 177229893 1831137280 73757 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109898129 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6794/tid=6797] ppid=6792 vsize=1788220 CPUtime=1.37 /proc/6794/task/6797/stat : 6797 (java) S 6792 6794 5512 0 -1 64 20673 0 0 0 129 8 0 0 18 0 13 0 177229894 1831137280 73757 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6794/tid=6798] ppid=6792 vsize=1788220 CPUtime=1.39 /proc/6794/task/6798/stat : 6798 (java) S 6792 6794 5512 0 -1 64 18386 0 0 0 130 9 0 0 16 0 13 0 177229894 1831137280 73757 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6794/tid=6799] ppid=6792 vsize=1788220 CPUtime=0 /proc/6794/task/6799/stat : 6799 (java) S 6792 6794 5512 0 -1 64 7 0 0 0 0 0 0 0 17 0 13 0 177229897 1831137280 73757 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=6794/tid=6800] ppid=6792 vsize=1788220 CPUtime=0 /proc/6794/task/6800/stat : 6800 (java) S 6792 6794 5512 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 177229897 1831137280 73757 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6794/tid=6801] ppid=6792 vsize=1788220 CPUtime=0 /proc/6794/task/6801/stat : 6801 (java) S 6792 6794 5512 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 177229897 1831137280 73757 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ [pid=6794] ppid=6792 vsize=1787640 CPUtime=1675.16 /proc/6794/stat : 6794 (java) S 6792 6794 5512 0 -1 0 536589 0 4 0 167192 324 0 0 18 0 13 0 177229891 1830543360 71162 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/6794/statm: 446910 71162 1336 9 0 444522 0 [pid=6794/tid=6796] ppid=6792 vsize=1787640 CPUtime=1646.11 /proc/6794/task/6796/stat : 6796 (java) R 6792 6794 5512 0 -1 64 45253 0 2 0 164574 37 0 0 25 0 13 0 177229893 1830543360 71162 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109956609 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6794/tid=6797] ppid=6792 vsize=1787640 CPUtime=12.32 /proc/6794/task/6797/stat : 6797 (java) S 6792 6794 5512 0 -1 64 238164 0 0 0 1112 120 0 0 16 0 13 0 177229894 1830543360 71162 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6794/tid=6798] ppid=6792 vsize=1787640 CPUtime=12.32 /proc/6794/task/6798/stat : 6798 (java) S 6792 6794 5512 0 -1 64 232055 0 0 0 1111 121 0 0 16 0 13 0 177229894 1830543360 71162 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6794/tid=6799] ppid=6792 vsize=1787640 CPUtime=2.07 /proc/6794/task/6799/stat : 6799 (java) S 6792 6794 5512 0 -1 64 16764 0 2 0 166 41 0 0 16 0 13 0 177229897 1830543360 71162 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=6794/tid=6800] ppid=6792 vsize=1787640 CPUtime=0 /proc/6794/task/6800/stat : 6800 (java) S 6792 6794 5512 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 177229897 1830543360 71162 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6794/tid=6801] ppid=6792 vsize=1787640 CPUtime=0 /proc/6794/task/6801/stat : 6801 (java) S 6792 6794 5512 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 177229897 1830543360 71162 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6794/tid=6802] ppid=6792 vsize=1787640 CPUtime=0 /proc/6794/task/6802/stat : 6802 (java) S 6792 6794 5512 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 177229901 1830543360 71162 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6794/tid=6803] ppid=6792 vsize=1787640 CPUtime=1.17 /proc/6794/task/6803/stat : 6803 (java) S 6792 6794 5512 0 -1 64 2565 0 0 0 116 1 0 0 17 0 13 0 177229901 1830543360 71162 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6794/tid=6804] ppid=6792 vsize=1787640 CPUtime=1.09 /proc/6794/task/6804/stat : 6804 (java) S 6792 6794 5512 0 -1 64 1066 0 0 0 109 0 0 0 17 0 13 0 177229901 1830543360 71162 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6794/tid=6805] ppid=6792 vsize=1787640 CPUtime=0 /proc/6794/task/6805/stat : 6805 (java) S 6792 6794 5512 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 177229901 1830543360 71162 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6794/tid=6806] ppid=6792 vsize=1787640 CPUtime=0 /proc/6794/task/6806/stat : 6806 (java) S 6792 6794 5512 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 177229901 1830543360 71162 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6794/tid=6807] ppid=6792 vsize=1787640 CPUtime=0 /proc/6794/task/6807/stat : 6807 (java) S 6792 6794 5512 0 -1 64 3 0 0 0 0 0 0 0 18 0 13 0 177230493 1830543360 71162 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1675.16 Current children cumulated vsize (KiB) 1787640 [startup+1722.3 s] /proc/loadavg: 1.05 1.01 1.00 2/90 7005 /proc/meminfo: memFree=1471888/2055920 swapFree=4145780/4192956 [pid=6794] ppid=6792 vsize=1787640 CPUtime=1735.57 /proc/6794/stat : 6794 (java) S 6792 6794 5512 0 -1 0 538216 0 4 0 173230 327 0 0 18 0 13 0 177229891 1830543360 70922 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/6794/statm: 446910 70922 1336 9 0 444522 0 [pid=6794/tid=6796] ppid=6792 vsize=1787640 CPUtime=1705.61 /proc/6794/task/6796/stat : 6796 (java) S 6792 6794 5512 0 -1 64 46131 0 2 0 170523 38 0 0 25 0 13 0 177229893 1830543360 70922 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6794/tid=6797] ppid=6792 vsize=1787640 CPUtime=12.76 /proc/6794/task/6797/stat : 6797 (java) R 6792 6794 5512 0 -1 64 238574 0 0 0 1156 120 0 0 16 0 13 0 177229894 1830543360 70922 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 102354369 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6794/tid=6798] ppid=6792 vsize=1787640 CPUtime=12.78 /proc/6794/task/6798/stat : 6798 (java) R 6792 6794 5512 0 -1 64 232389 0 0 0 1156 122 0 0 16 0 13 0 177229894 1830543360 70922 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 105369186 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6794/tid=6799] ppid=6792 vsize=1787640 CPUtime=2.09 /proc/6794/task/6799/stat : 6799 (java) S 6792 6794 5512 0 -1 64 16769 0 2 0 167 42 0 0 15 0 13 0 177229897 1830543360 70922 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=6794/tid=6800] ppid=6792 vsize=1787640 CPUtime=0 /proc/6794/task/6800/stat : 6800 (java) S 6792 6794 5512 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 177229897 1830543360 70922 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6794/tid=6801] ppid=6792 vsize=1787640 CPUtime=0 /proc/6794/task/6801/stat : 6801 (java) S 6792 6794 5512 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 177229897 1830543360 70922 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6794/tid=6802] ppid=6792 vsize=1787640 CPUtime=0 /proc/6794/task/6802/stat : 6802 (java) S 6792 6794 5512 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 177229901 1830543360 70922 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6794/tid=6803] ppid=6792 vsize=1787640 CPUtime=1.17 /proc/6794/task/6803/stat : 6803 (java) S 6792 6794 5512 0 -1 64 2565 0 0 0 116 1 0 0 17 0 13 0 177229901 1830543360 70922 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6794/tid=6804] ppid=6792 vsize=1787640 CPUtime=1.09 /proc/6794/task/6804/stat : 6804 (java) S 6792 6794 5512 0 -1 64 1066 0 0 0 109 0 0 0 17 0 13 0 177229901 1830543360 70922 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6794/tid=6805] ppid=6792 vsize=1787640 CPUtime=0 /proc/6794/task/6805/stat : 6805 (java) S 6792 6794 5512 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 177229901 1830543360 70922 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6794/tid=6806] ppid=6792 vsize=1787640 CPUtime=0 /proc/6794/task/6806/stat : 6806 (java) S 6792 6794 5512 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 177229901 1830543360 70922 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6794/tid=6807] ppid=6792 vsize=1787640 CPUtime=0 /proc/6794/task/6807/stat : 6807 (java) S 6792 6794 5512 0 -1 64 3 0 0 0 0 0 0 0 18 0 13 0 177230493 1830543360 70922 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1735.57 Current children cumulated vsize (KiB) 1787640 [startup+1782.3 s] /proc/loadavg: 1.02 1.01 1.00 2/90 7005 /proc/meminfo: memFree=1470992/2055920 swapFree=4145780/4192956 [pid=6794] ppid=6792 vsize=1787640 CPUtime=1795.97 /proc/6794/stat : 6794 (java) S 6792 6794 5512 0 -1 0 540069 0 4 0 179268 329 0 0 18 0 13 0 177229891 1830543360 71184 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/6794/statm: 446910 71184 1336 9 0 444522 0 [pid=6794/tid=6796] ppid=6792 vsize=1787640 CPUtime=1765.1 /proc/6794/task/6796/stat : 6796 (java) R 6792 6794 5512 0 -1 64 46385 0 2 0 176472 38 0 0 25 0 13 0 177229893 1830543360 71184 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109890840 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6794/tid=6797] ppid=6792 vsize=1787640 CPUtime=13.22 /proc/6794/task/6797/stat : 6797 (java) S 6792 6794 5512 0 -1 64 239548 0 0 0 1201 121 0 0 16 0 13 0 177229894 1830543360 71184 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6794/tid=6798] ppid=6792 vsize=1787640 CPUtime=13.23 /proc/6794/task/6798/stat : 6798 (java) S 6792 6794 5512 0 -1 64 233006 0 0 0 1200 123 0 0 16 0 13 0 177229894 1830543360 71184 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6794/tid=6799] ppid=6792 vsize=1787640 CPUtime=2.1 /proc/6794/task/6799/stat : 6799 (java) S 6792 6794 5512 0 -1 64 16777 0 2 0 167 43 0 0 15 0 13 0 177229897 1830543360 71184 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=6794/tid=6800] ppid=6792 vsize=1787640 CPUtime=0 /proc/6794/task/6800/stat : 6800 (java) S 6792 6794 5512 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 177229897 1830543360 71184 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6794/tid=6801] ppid=6792 vsize=1787640 CPUtime=0 /proc/6794/task/6801/stat : 6801 (java) S 6792 6794 5512 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 177229897 1830543360 71184 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6794/tid=6802] ppid=6792 vsize=1787640 CPUtime=0 /proc/6794/task/6802/stat : 6802 (java) S 6792 6794 5512 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 177229901 1830543360 71184 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6794/tid=6803] ppid=6792 vsize=1787640 CPUtime=1.17 /proc/6794/task/6803/stat : 6803 (java) S 6792 6794 5512 0 -1 64 2565 0 0 0 116 1 0 0 17 0 13 0 177229901 1830543360 71184 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6794/tid=6804] ppid=6792 vsize=1787640 CPUtime=1.09 /proc/6794/task/6804/stat : 6804 (java) S 6792 6794 5512 0 -1 64 1066 0 0 0 109 0 0 0 17 0 13 0 177229901 1830543360 71184 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6794/tid=6805] ppid=6792 vsize=1787640 CPUtime=0 /proc/6794/task/6805/stat : 6805 (java) S 6792 6794 5512 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 177229901 1830543360 71184 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6794/tid=6806] ppid=6792 vsize=1787640 CPUtime=0 /proc/6794/task/6806/stat : 6806 (java) S 6792 6794 5512 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 177229901 1830543360 71184 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6794/tid=6807] ppid=6792 vsize=1787640 CPUtime=0 /proc/6794/task/6807/stat : 6807 (java) S 6792 6794 5512 0 -1 64 3 0 0 0 0 0 0 0 18 0 13 0 177230493 1830543360 71184 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1795.97 Current children cumulated vsize (KiB) 1787640 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1786.4 s] /proc/loadavg: 1.02 1.01 1.00 3/90 7005 /proc/meminfo: memFree=1470864/2055920 swapFree=4145780/4192956 [pid=6794] ppid=6792 vsize=1787640 CPUtime=1800.1 /proc/6794/stat : 6794 (java) S 6792 6794 5512 0 -1 0 540105 0 4 0 179681 329 0 0 18 0 13 0 177229891 1830543360 71194 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/6794/statm: 446910 71194 1336 9 0 444522 0 [pid=6794/tid=6796] ppid=6792 vsize=1787640 CPUtime=1769.18 /proc/6794/task/6796/stat : 6796 (java) R 6792 6794 5512 0 -1 64 46389 0 2 0 176880 38 0 0 25 0 13 0 177229893 1830543360 71194 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6794/tid=6797] ppid=6792 vsize=1787640 CPUtime=13.24 /proc/6794/task/6797/stat : 6797 (java) R 6792 6794 5512 0 -1 64 239580 0 0 0 1203 121 0 0 16 0 13 0 177229894 1830543360 71194 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6794/tid=6798] ppid=6792 vsize=1787640 CPUtime=13.25 /proc/6794/task/6798/stat : 6798 (java) R 6792 6794 5512 0 -1 64 233006 0 0 0 1202 123 0 0 16 0 13 0 177229894 1830543360 71194 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 105070741 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6794/tid=6799] ppid=6792 vsize=1787640 CPUtime=2.1 /proc/6794/task/6799/stat : 6799 (java) S 6792 6794 5512 0 -1 64 16777 0 2 0 167 43 0 0 16 0 13 0 177229897 1830543360 71194 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=6794/tid=6800] ppid=6792 vsize=1787640 CPUtime=0 /proc/6794/task/6800/stat : 6800 (java) S 6792 6794 5512 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 177229897 1830543360 71194 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6794/tid=6801] ppid=6792 vsize=1787640 CPUtime=0 /proc/6794/task/6801/stat : 6801 (java) S 6792 6794 5512 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 177229897 1830543360 71194 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6794/tid=6802] ppid=6792 vsize=1787640 CPUtime=0 /proc/6794/task/6802/stat : 6802 (java) S 6792 6794 5512 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 177229901 1830543360 71194 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6794/tid=6803] ppid=6792 vsize=1787640 CPUtime=1.17 /proc/6794/task/6803/stat : 6803 (java) S 6792 6794 5512 0 -1 64 2565 0 0 0 116 1 0 0 17 0 13 0 177229901 1830543360 71194 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6794/tid=6804] ppid=6792 vsize=1787640 CPUtime=1.09 /proc/6794/task/6804/stat : 6804 (java) S 6792 6794 5512 0 -1 64 1066 0 0 0 109 0 0 0 17 0 13 0 177229901 1830543360 71194 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6794/tid=6805] ppid=6792 vsize=1787640 CPUtime=0 /proc/6794/task/6805/stat : 6805 (java) S 6792 6794 5512 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 177229901 1830543360 71194 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6794/tid=6806] ppid=6792 vsize=1787640 CPUtime=0 /proc/6794/task/6806/stat : 6806 (java) R 6792 6794 5512 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 177229901 1830543360 71194 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6794/tid=6807] ppid=6792 vsize=1787640 CPUtime=0 /proc/6794/task/6807/stat : 6807 (java) S 6792 6794 5512 0 -1 64 3 0 0 0 0 0 0 0 18 0 13 0 177230493 1830543360 71194 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 1787640 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1786.4 s] /proc/loadavg: 1.02 1.01 1.00 3/90 7005 /proc/meminfo: memFree=1470864/2055920 swapFree=4145780/4192956 [pid=6794] ppid=6792 vsize=1787640 CPUtime=1800.1 /proc/6794/stat : 6794 (java) S 6792 6794 5512 0 -1 0 540105 0 4 0 179681 329 0 0 18 0 13 0 177229891 1830543360 71194 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/6794/statm: 446910 71194 1336 9 0 444522 0 [pid=6794/tid=6796] ppid=6792 vsize=1787640 CPUtime=1769.18 /proc/6794/task/6796/stat : 6796 (java) R 6792 6794 5512 0 -1 64 46389 0 2 0 176880 38 0 0 25 0 13 0 177229893 1830543360 71194 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6794/tid=6797] ppid=6792 vsize=1787640 CPUtime=13.24 /proc/6794/task/6797/stat : 6797 (java) R 6792 6794 5512 0 -1 64 239580 0 0 0 1203 121 0 0 16 0 13 0 177229894 1830543360 71194 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6794/tid=6798] ppid=6792 vsize=1787640 CPUtime=13.25 /proc/6794/task/6798/stat : 6798 (java) R 6792 6794 5512 0 -1 64 233006 0 0 0 1202 123 0 0 16 0 13 0 177229894 1830543360 71194 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 105070741 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6794/tid=6799] ppid=6792 vsize=1787640 CPUtime=2.1 /proc/6794/task/6799/stat : 6799 (java) S 6792 6794 5512 0 -1 64 16777 0 2 0 167 43 0 0 16 0 13 0 177229897 1830543360 71194 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=6794/tid=6800] ppid=6792 vsize=1787640 CPUtime=0 /proc/6794/task/6800/stat : 6800 (java) S 6792 6794 5512 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 177229897 1830543360 71194 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6794/tid=6801] ppid=6792 vsize=1787640 CPUtime=0 /proc/6794/task/6801/stat : 6801 (java) S 6792 6794 5512 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 177229897 1830543360 71194 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6794/tid=6802] ppid=6792 vsize=1787640 CPUtime=0 /proc/6794/task/6802/stat : 6802 (java) S 6792 6794 5512 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 177229901 1830543360 71194 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6794/tid=6803] ppid=6792 vsize=1787640 CPUtime=1.17 /proc/6794/task/6803/stat : 6803 (java) S 6792 6794 5512 0 -1 64 2565 0 0 0 116 1 0 0 17 0 13 0 177229901 1830543360 71194 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6794/tid=6804] ppid=6792 vsize=1787640 CPUtime=1.09 /proc/6794/task/6804/stat : 6804 (java) S 6792 6794 5512 0 -1 64 1066 0 0 0 109 0 0 0 17 0 13 0 177229901 1830543360 71194 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6794/tid=6805] ppid=6792 vsize=1787640 CPUtime=0 /proc/6794/task/6805/stat : 6805 (java) S 6792 6794 5512 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 177229901 1830543360 71194 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=6794/tid=6806] ppid=6792 vsize=1787640 CPUtime=0 /proc/6794/task/6806/stat : 6806 (java) R 6792 6794 5512 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 177229901 1830543360 71194 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=6794/tid=6807] ppid=6792 vsize=1787640 CPUtime=0 /proc/6794/task/6807/stat : 6807 (java) S 6792 6794 5512 0 -1 64 3 0 0 0 0 0 0 0 18 0 13 0 177230493 1830543360 71194 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 1787640 Child status: 143 Real time (s): 1786.51 CPU time (s): 1800.21 CPU user time (s): 1796.87 CPU system time (s): 3.34349 CPU usage (%): 100.767 Max. virtual memory (cumulated for all children) (KiB): 1799892 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.87 system time used= 3.34349 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 540125 page faults= 4 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 48422 involuntary context switches= 47172 runsolver used 1.85272 second user time and 5.01124 second system time The end
Begin job on node1 on Thu Apr 19 19:45:21 UTC 2007 IDJOB= 362403 IDBENCH= 1557 IDSOLVER= 159 FILE ID= node1/362403-1177011920 PBS_JOBID= 4630505 Free space on /tmp= 66348 MiB SOLVER NAME= SAT4JPseudoResolution 2007-03-23 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-n3700.opb COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/362403-1177011920/sat4jPseudoResolution.jar /tmp/evaluation/362403-1177011920/instance-362403-1177011920.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node1/watcher-362403-1177011920 -o ROOT/results/node1/solver-362403-1177011920 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/362403-1177011920/sat4jPseudoResolution.jar /tmp/evaluation/362403-1177011920/instance-362403-1177011920.opb META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30 MD5SUM BENCH= 5e0d90a4cb8c7b885a60ac97183595d3 RANDOM SEED= 805885672 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node1.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.234 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 : 5914.62 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.234 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: 1755464 kB Buffers: 25552 kB Cached: 199920 kB SwapCached: 14160 kB Active: 70512 kB Inactive: 177792 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1755464 kB SwapTotal: 4192956 kB SwapFree: 4145780 kB Dirty: 10260 kB Writeback: 0 kB Mapped: 29868 kB Slab: 37656 kB Committed_AS: 5029616 kB PageTables: 1832 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= 66348 MiB End job on node1 on Thu Apr 19 20:15:09 UTC 2007