Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4JPseudoResolution 2007-03-23 | ? (TO) | 1800.11 | 1784.4 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-reduced-mps-v2-20-10-n370a.opb |
MD5SUM | d7a28c2ec06d645af4379f015212128c |
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 | 8.33173 |
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 | 653755 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262143 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 653755 |
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.14 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.09/0.14 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.09/0.14 c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details. 0.09/0.15 c no version file found!!! 0.09/0.15 c sun.arch.data.model 32 0.09/0.15 c java.version 1.6.0 0.09/0.15 c os.name Linux 0.09/0.15 c os.version 2.6.9-22.EL.rootsmp 0.09/0.15 c os.arch i386 0.09/0.15 c Free memory 1651659224 0.09/0.15 c Max memory 1654456320 0.09/0.15 c Total memory 1654456320 0.09/0.15 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/362319-1177010234/instance-362319-1177010234.opb 0.21/0.20 c reading problem ... 6.50/5.26 c ... done. Wall clock time 5.054s. 6.50/5.26 c CPU time (experimental) 4.12s. 6.50/5.26 c #vars 155000 6.50/5.26 c #constraints 5300 1285.80/1273.51 c cleaning 85995 clauses out of 172000 for limit 3.165896291578388E9 1290.46/1278.12 c cleaning 43240 clauses out of 86506 for limit 1.0391286020081682E10 1294.61/1282.29 c cleaning 21877 clauses out of 43766 for limit 3.3871510217950905E10 1303.18/1290.77 c cleaning 11440 clauses out of 22895 for limit 1.77153449656666E11 1306.72/1294.24 c cleaning 5957 clauses out of 11949 for limit 5.564261303746428E11 1310.16/1297.67 c cleaning 3221 clauses out of 6491 for limit 1.687519670904794E12 1312.98/1300.43 c cleaning 1833 clauses out of 3771 for limit 4.795063021550752E12 1315.30/1302.73 c cleaning 1209 clauses out of 2437 for limit 1.2224094480844367E13 1318.44/1305.89 c cleaning 863 clauses out of 1738 for limit 2.855114040531704E13 1320.86/1308.26 c cleaning 683 clauses out of 1366 for limit 5.937010452988574E13 1323.18/1310.52 c cleaning 593 clauses out of 1187 for limit 1.1312581682877172E14 1325.70/1313.08 c cleaning 546 clauses out of 1092 for limit 2.0238423154850184E14 1329.01/1316.37 c cleaning 524 clauses out of 1049 for limit 3.484843222123364E14 1332.05/1319.34 c cleaning 498 clauses out of 1020 for limit 5.880874197854006E14 1335.27/1322.51 c cleaning 505 clauses out of 1027 for limit 9.680550686520264E14 1337.39/1324.69 c cleaning 462 clauses out of 1025 for limit 1.6043756566467452E15 1340.43/1327.68 c cleaning 502 clauses out of 1054 for limit 2.549967230208213E15 1344.07/1331.26 c cleaning 523 clauses out of 1054 for limit 4.2136601978618914E-5 1346.38/1333.52 c cleaning 506 clauses out of 1031 for limit 7.103908229943544E-5 1349.42/1336.60 c cleaning 495 clauses out of 1028 for limit 1.178480268457749E-4 1352.33/1339.44 c cleaning 489 clauses out of 1031 for limit 1.9339428152044023E-4 1355.77/1342.81 c cleaning 508 clauses out of 1039 for limit 3.1552886678241367E-4 1360.00/1347.00 c cleaning 501 clauses out of 1041 for limit 5.24571776399667E-4 1364.36/1351.32 c cleaning 490 clauses out of 1030 for limit 8.656238116947655E-4 1367.69/1354.62 c cleaning 477 clauses out of 1040 for limit 0.0014138032216956021 1370.51/1357.46 c cleaning 501 clauses out of 1063 for limit 0.002281103173752377 1373.66/1360.55 c cleaning 514 clauses out of 1063 for limit 0.003765609903944659 1376.57/1363.42 c cleaning 499 clauses out of 1050 for limit 0.006293173305206092 1379.69/1366.57 c cleaning 486 clauses out of 1050 for limit 0.010367906381281752 1382.72/1369.52 c cleaning 513 clauses out of 1063 for limit 0.016872074204524454 1387.64/1374.50 c cleaning 479 clauses out of 1050 for limit 0.028168798894772917 1393.99/1380.78 c cleaning 516 clauses out of 1082 for limit 0.04557911455442165 1398.03/1384.79 c cleaning 507 clauses out of 1055 for limit 0.07624597857228028 1401.55/1388.24 c cleaning 504 clauses out of 1049 for limit 0.1265856024729022 1406.50/1393.13 c cleaning 497 clauses out of 1048 for limit 0.20958391121036307 1411.33/1397.95 c cleaning 500 clauses out of 1053 for limit 0.3446797448826448 1417.79/1404.33 c cleaning 510 clauses out of 1054 for limit 0.5684521611356811 1422.65/1409.15 c cleaning 488 clauses out of 1037 for limit 0.9461719763399918 1426.68/1413.15 c cleaning 500 clauses out of 1049 for limit 1.5425144325400975 1433.14/1419.52 c cleaning 503 clauses out of 1049 for limit 2.543812653147589 1436.68/1423.09 c cleaning 502 clauses out of 1055 for limit 4.208958510522465 1440.69/1427.08 c cleaning 503 clauses out of 1044 for limit 6.951393712692712 1443.83/1430.12 c cleaning 486 clauses out of 1041 for limit 11.49681499775003 1446.85/1433.15 c cleaning 512 clauses out of 1055 for limit 18.708186892454084 1449.50/1435.72 c cleaning 508 clauses out of 1043 for limit 31.20726709764167 1457.63/1443.85 c cleaning 757 clauses out of 1535 for limit 57.66913544239738 1459.54/1445.73 c cleaning 615 clauses out of 1278 for limit 114.22912593627801 1465.07/1451.23 c cleaning 822 clauses out of 1667 for limit 239.1233183050678 1468.91/1455.08 c cleaning 647 clauses out of 1343 for limit 488.5042870473155 1474.23/1460.34 c cleaning 585 clauses out of 1194 for limit 904.3299801530507 1479.05/1465.19 c cleaning 540 clauses out of 1112 for limit 1606.1492179968664 1487.48/1473.54 c cleaning 762 clauses out of 1574 for limit 3092.194101420755 1491.30/1477.32 c cleaning 629 clauses out of 1308 for limit 6111.975030519029 1495.00/1481.04 c cleaning 560 clauses out of 1178 for limit 11180.607460246518 1499.62/1485.64 c cleaning 542 clauses out of 1129 for limit 19451.462719457253 1503.84/1489.88 c cleaning 521 clauses out of 1087 for limit 33317.511017116 1507.66/1493.68 c cleaning 481 clauses out of 1056 for limit 55994.96082695109 1512.88/1498.81 c cleaning 501 clauses out of 1074 for limit 90704.7346624627 1518.61/1504.52 c cleaning 493 clauses out of 1073 for limit 149723.64921532734 1522.72/1508.69 c cleaning 501 clauses out of 1081 for limit 245332.35651482295 1526.95/1512.87 c cleaning 514 clauses out of 1080 for limit 404960.4924201555 1529.77/1515.66 c cleaning 494 clauses out of 1066 for limit 676604.8299981167 1534.19/1520.02 c cleaning 512 clauses out of 1072 for limit 1109566.663499657 1536.90/1522.79 c cleaning 503 clauses out of 1070 for limit 1851677.7688051232 1540.22/1526.05 c cleaning 495 clauses out of 1060 for limit 3060959.8246482667 1544.14/1529.95 c cleaning 534 clauses out of 1069 for limit 5025505.164663632 1548.27/1534.08 c cleaning 485 clauses out of 1027 for limit 8557891.540006809 1552.39/1538.17 c cleaning 522 clauses out of 1045 for limit 1.3911704799722431E7 1557.01/1542.75 c cleaning 481 clauses out of 1023 for limit 2.343564427403088E7 1560.73/1546.50 c cleaning 497 clauses out of 1044 for limit 3.79469559279651E7 1564.66/1550.37 c cleaning 520 clauses out of 1042 for limit 6.238684895115567E7 1569.38/1555.09 c cleaning 513 clauses out of 1028 for limit 1.0491331568299423E8 1574.30/1559.93 c cleaning 504 clauses out of 1013 for limit 1.752270483522618E8 1579.22/1564.85 c cleaning 504 clauses out of 1008 for limit 2.901158349913752E8 1583.25/1568.88 c cleaning 476 clauses out of 1001 for limit 4.803416441372108E8 1587.88/1573.47 c cleaning 476 clauses out of 1026 for limit 7.736194067048658E8 1592.11/1577.61 c cleaning 527 clauses out of 1062 for limit 1.247441614809636E9 1596.33/1581.81 c cleaning 479 clauses out of 1025 for limit 2.1102390174353645E9 1599.85/1585.32 c cleaning 483 clauses out of 1047 for limit 3.4103521893794146E9 1604.40/1589.88 c cleaning 529 clauses out of 1060 for limit 5.53296454803101E9 1608.83/1594.22 c cleaning 519 clauses out of 1039 for limit 9.38383118939514E9 1612.78/1598.17 c cleaning 479 clauses out of 1016 for limit 1.5762310049175537E10 1617.31/1602.69 c cleaning 492 clauses out of 1040 for limit 2.5470628230823593E10 1620.43/1605.70 c cleaning 521 clauses out of 1042 for limit 4.167293547930161E10 1624.57/1609.88 c cleaning 475 clauses out of 1021 for limit 7.01377706389785E10 1629.20/1614.40 c cleaning 491 clauses out of 1046 for limit 1.1290206935597287E11 1634.64/1619.86 c cleaning 527 clauses out of 1054 for limit 1.8459262722431326E11 1639.37/1624.52 c cleaning 513 clauses out of 1027 for limit 3.1242113459787036E11 1642.59/1627.79 c cleaning 509 clauses out of 1018 for limit 5.218635989188221E11 1646.32/1631.50 c cleaning 477 clauses out of 1006 for limit 8.68278713155874E11 1650.85/1635.98 c cleaning 484 clauses out of 1028 for limit 1.399862550162304E12 1653.98/1639.02 c cleaning 481 clauses out of 1047 for limit 2.2734805889400986E12 1658.49/1643.52 c cleaning 484 clauses out of 1066 for limit 3.682447929320786E12 1662.74/1647.79 c cleaning 536 clauses out of 1079 for limit 5.98170135174159E12 1667.17/1652.18 c cleaning 519 clauses out of 1043 for limit 1.0205111390894068E13 1671.59/1656.51 c cleaning 513 clauses out of 1027 for limit 1.7143166242766965E13 1675.92/1660.88 c cleaning 470 clauses out of 1011 for limit 2.8632724617164676E13 1680.94/1665.84 c cleaning 522 clauses out of 1044 for limit 4.58640873185239E13 1685.57/1670.48 c cleaning 458 clauses out of 1019 for limit 7.725941616651344E13 1690.11/1674.93 c cleaning 505 clauses out of 1061 for limit 1.2236750610960733E14 1693.64/1678.43 c cleaning 525 clauses out of 1056 for limit 2.027558818663401E14 1697.37/1682.18 c cleaning 515 clauses out of 1031 for limit 3.424795164929927E14 1701.70/1686.41 c cleaning 475 clauses out of 1023 for limit 5.732117743896059E14 1706.95/1691.68 c cleaning 489 clauses out of 1043 for limit 9.225496663442145E14 1711.96/1696.64 c cleaning 499 clauses out of 1056 for limit 1.5056882347854535E15 1717.79/1702.47 c cleaning 511 clauses out of 1053 for limit 2.480209940749622E-5 1722.90/1707.57 c cleaning 521 clauses out of 1052 for limit 4.1352529482103026E-5 1727.62/1712.28 c cleaning 507 clauses out of 1021 for limit 6.956693138600633E-5 1732.45/1717.04 c cleaning 477 clauses out of 1014 for limit 1.155171647500203E-4 1736.25/1720.84 c cleaning 512 clauses out of 1037 for limit 1.8627801725994606E-4 1740.97/1725.52 c cleaning 502 clauses out of 1026 for limit 3.1080171105770353E-4 1744.69/1729.29 c cleaning 484 clauses out of 1023 for limit 5.135426328892241E-4 1750.39/1734.90 c cleaning 488 clauses out of 1043 for limit 8.339917657648045E-4 1755.71/1740.27 c cleaning 498 clauses out of 1052 for limit 0.0013595108659123906 1760.72/1745.28 c cleaning 475 clauses out of 1053 for limit 0.0022376462345624357 1765.56/1750.07 c cleaning 505 clauses out of 1078 for limit 0.003604598720873836 1770.37/1754.82 c cleaning 506 clauses out of 1076 for limit 0.00597341703452564 1776.10/1760.55 c cleaning 508 clauses out of 1073 for limit 0.009908200990905084 1780.11/1764.51 c cleaning 502 clauses out of 1060 for limit 0.016457808044971798 1784.83/1769.29 c cleaning 508 clauses out of 1066 for limit 0.02720524456566684 1788.55/1772.98 c cleaning 497 clauses out of 1059 for limit 0.045206853248163544 1792.07/1776.44 c cleaning 493 clauses out of 1052 for limit 0.07430110409992935 1795.29/1779.63 c cleaning 502 clauses out of 1060 for limit 0.12172941661459709 1798.40/1782.71 c cleaning 497 clauses out of 1059 for limit 0.2011387952896518 1800.01/1784.31 c starts : 18 1800.01/1784.31 c conflicts : 235737 1800.01/1784.31 c decisions : 618127 1800.01/1784.31 c propagations : 92507818 1800.01/1784.31 c inspects : 280022058 1800.01/1784.31 c learnt literals : 0 1800.01/1784.31 c learnt binary clauses : 0 1800.01/1784.31 c learnt ternary clauses : 0 1800.01/1784.31 c learnt clauses : 235736 1800.01/1784.31 c root simplifications : 0 1800.01/1784.31 c removed literals (reason simplification) : 0 1800.01/1784.31 c reason swapping (by a shorter reason) : 0 1800.01/1784.31 c Calls to reduceDB : 124 1800.01/1784.31 c speed (decisions/second) : 347.5718547133262 1800.01/1784.31 c non guided choices 20005 1800.01/1784.31 s UNKNOWN 1800.01/1784.31 c Total wall clock time (ms): 1784.11
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node24/watcher-362319-1177010234 -o ROOT/results/node24/solver-362319-1177010234 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/362319-1177010234/sat4jPseudoResolution.jar /tmp/evaluation/362319-1177010234/instance-362319-1177010234.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 3/77 28084 /proc/meminfo: memFree=1574424/2055920 swapFree=4133640/4192956 [pid=28084] ppid=28082 vsize=308 CPUtime=0 /proc/28084/stat : 28084 (java) R 28082 28084 27760 0 -1 0 55 0 0 0 0 0 0 0 18 0 1 0 148941424 315392 39 18446744073709551615 134512640 134550740 4294956592 18446744073709551615 2605860 0 0 4096 0 0 0 0 17 1 0 0 /proc/28084/statm: 81 41 31 9 0 6 0 [startup+0.04152 s] /proc/loadavg: 0.92 0.98 0.99 3/77 28084 /proc/meminfo: memFree=1574424/2055920 swapFree=4133640/4192956 [pid=28084] ppid=28082 vsize=1776088 CPUtime=0.03 /proc/28084/stat : 28084 (java) S 28082 28084 27760 0 -1 0 3243 0 1 0 2 1 0 0 18 0 4 0 148941424 1818714112 2991 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 1 0 0 /proc/28084/statm: 444022 2991 887 9 0 441658 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 1776088 [startup+0.102526 s] /proc/loadavg: 0.92 0.98 0.99 3/77 28084 /proc/meminfo: memFree=1574424/2055920 swapFree=4133640/4192956 [pid=28084] ppid=28082 vsize=1780108 CPUtime=0.09 /proc/28084/stat : 28084 (java) S 28082 28084 27760 0 -1 0 3979 0 1 0 7 2 0 0 18 0 12 0 148941424 1822830592 3721 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/28084/statm: 445027 3721 1123 9 0 442646 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1780108 [startup+0.302548 s] /proc/loadavg: 0.92 0.98 0.99 3/77 28084 /proc/meminfo: memFree=1574424/2055920 swapFree=4133640/4192956 [pid=28084] ppid=28082 vsize=1781632 CPUtime=0.33 /proc/28084/stat : 28084 (java) S 28082 28084 27760 0 -1 0 6427 0 1 0 30 3 0 0 18 0 12 0 148941424 1824391168 6166 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/28084/statm: 445408 6166 1267 9 0 443020 0 Current children cumulated CPU time (s) 0.33 Current children cumulated vsize (KiB) 1781632 [startup+0.701587 s] /proc/loadavg: 0.92 0.98 0.99 3/77 28084 /proc/meminfo: memFree=1574424/2055920 swapFree=4133640/4192956 [pid=28084] ppid=28082 vsize=1783012 CPUtime=0.91 /proc/28084/stat : 28084 (java) S 28082 28084 27760 0 -1 0 10690 0 1 0 86 5 0 0 18 0 12 0 148941424 1825804288 9965 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/28084/statm: 445753 9966 1296 9 0 443365 0 Current children cumulated CPU time (s) 0.91 Current children cumulated vsize (KiB) 1783012 [startup+1.50168 s] /proc/loadavg: 0.92 0.98 0.99 2/89 28096 /proc/meminfo: memFree=1510648/2055920 swapFree=4133640/4192956 [pid=28084] ppid=28082 vsize=1783012 CPUtime=1.82 /proc/28084/stat : 28084 (java) S 28082 28084 27760 0 -1 0 24719 0 1 0 171 11 0 0 18 0 12 0 148941424 1825804288 23995 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/28084/statm: 445753 23996 1302 9 0 443365 0 [pid=28084/tid=28086] ppid=28082 vsize=1783012 CPUtime=1.24 /proc/28084/task/28086/stat : 28086 (java) R 28082 28084 27760 0 -1 64 22645 0 1 0 114 10 0 0 25 0 12 0 148941425 1825804288 23996 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109519782 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28084/tid=28087] ppid=28082 vsize=1783012 CPUtime=0 /proc/28084/task/28087/stat : 28087 (java) S 28082 28084 27760 0 -1 64 3 0 0 0 0 0 0 0 19 0 12 0 148941427 1825804288 23997 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28084/tid=28088] ppid=28082 vsize=1783012 CPUtime=0 /proc/28084/task/28088/stat : 28088 (java) S 28082 28084 27760 0 -1 64 1 0 0 0 0 0 0 0 20 0 12 0 148941427 1825804288 23998 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28084/tid=28089] ppid=28082 vsize=1783012 CPUtime=0 /proc/28084/task/28089/stat : 28089 (java) S 28082 28084 27760 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 148941429 1825804288 23999 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=28084/tid=28090] ppid=28082 vsize=1783012 CPUtime=0 /proc/28084/task/28090/stat : 28090 (java) S 28082 28084 27760 0 -1 64 10 0 0 0 0 0 0 0 22 0 12 0 148941429 1825804288 24000 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28084/tid=28091] ppid=28082 vsize=1783012 CPUtime=0 /proc/28084/task/28091/stat : 28091 (java) S 28082 28084 27760 0 -1 64 3 0 0 0 0 0 0 0 23 0 12 0 148941429 1825804288 24000 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28084/tid=28092] ppid=28082 vsize=1783012 CPUtime=0 /proc/28084/task/28092/stat : 28092 (java) S 28082 28084 27760 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 148941433 1825804288 24001 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28084/tid=28093] ppid=28082 vsize=1783012 CPUtime=0.32 /proc/28084/task/28093/stat : 28093 (java) S 28082 28084 27760 0 -1 64 1072 0 0 0 32 0 0 0 16 0 12 0 148941433 1825804288 24002 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28084/tid=28094] ppid=28082 vsize=1783012 CPUtime=0.24 /proc/28084/task/28094/stat : 28094 (java) R 28082 28084 27760 0 -1 64 284 0 0 0 24 0 0 0 16 0 12 0 148941433 1825804288 24003 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 103315553 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28084/tid=28095] ppid=28082 vsize=1783012 CPUtime=0 /proc/28084/task/28095/stat : 28095 (java) S 28082 28084 27760 0 -1 64 2 0 0 0 0 0 0 0 25 0 12 0 148941433 1825804288 24004 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28084/tid=28096] ppid=28082 vsize=1783012 CPUtime=0 /proc/28084/task/28096/stat : 28096 (java) S 28082 28084 27760 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 148941433 1825804288 24004 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1.82 Current children cumulated vsize (KiB) 1783012 [startup+3.10184 s] /proc/loadavg: 0.92 0.98 0.99 2/89 28096 /proc/meminfo: memFree=1429112/2055920 swapFree=4133640/4192956 [pid=28084] ppid=28082 vsize=1785324 CPUtime=3.84 /proc/28084/stat : 28084 (java) S 28082 28084 27760 0 -1 0 49021 0 1 0 362 22 0 0 18 0 12 0 148941424 1828171776 47324 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/28084/statm: 446331 47324 1313 9 0 443943 0 [pid=28084/tid=28086] ppid=28082 vsize=1785324 CPUtime=2.49 /proc/28084/task/28086/stat : 28086 (java) R 28082 28084 27760 0 -1 64 37672 0 1 0 233 16 0 0 23 0 12 0 148941425 1828171776 47324 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109547103 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28084/tid=28087] ppid=28082 vsize=1785324 CPUtime=0.18 /proc/28084/task/28087/stat : 28087 (java) S 28082 28084 27760 0 -1 64 3444 0 0 0 17 1 0 0 16 0 12 0 148941427 1828171776 47324 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28084/tid=28088] ppid=28082 vsize=1785324 CPUtime=0.18 /proc/28084/task/28088/stat : 28088 (java) S 28082 28084 27760 0 -1 64 5496 0 0 0 16 2 0 0 18 0 12 0 148941427 1828171776 47324 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28084/tid=28089] ppid=28082 vsize=1785324 CPUtime=0 /proc/28084/task/28089/stat : 28089 (java) S 28082 28084 27760 0 -1 64 7 0 0 0 0 0 0 0 16 0 12 0 148941429 1828171776 47324 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=28084/tid=28090] ppid=28082 vsize=1785324 CPUtime=0 /proc/28084/task/28090/stat : 28090 (java) S 28082 28084 27760 0 -1 64 11 0 0 0 0 0 0 0 16 0 12 0 148941429 1828171776 47324 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28084/tid=28091] ppid=28082 vsize=1785324 CPUtime=0 /proc/28084/task/28091/stat : 28091 (java) S 28082 28084 27760 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 148941429 1828171776 47324 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28084/tid=28092] ppid=28082 vsize=1785324 CPUtime=0 /proc/28084/task/28092/stat : 28092 (java) S 28082 28084 27760 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 148941433 1828171776 47324 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28084/tid=28093] ppid=28082 vsize=1785324 CPUtime=0.51 /proc/28084/task/28093/stat : 28093 (java) S 28082 28084 27760 0 -1 64 1248 0 0 0 51 0 0 0 16 0 12 0 148941433 1828171776 47324 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28084/tid=28094] ppid=28082 vsize=1785324 CPUtime=0.43 /proc/28084/task/28094/stat : 28094 (java) S 28082 28084 27760 0 -1 64 436 0 0 0 43 0 0 0 16 0 12 0 148941433 1828171776 47324 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28084/tid=28095] ppid=28082 vsize=1785324 CPUtime=0 /proc/28084/task/28095/stat : 28095 (java) S 28082 28084 27760 0 -1 64 2 0 0 0 0 0 0 0 25 0 12 0 148941433 1828171776 47324 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28084/tid=28096] ppid=28082 vsize=1785324 CPUtime=0 /proc/28084/task/28096/stat : 28096 (java) S 28082 28084 27760 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 148941433 1828171776 47324 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 3.84 Current children cumulated vsize (KiB) 1785324 [startup+6.3022 s] /proc/loadavg: 0.93 0.98 0.99 2/89 28096 /proc/meminfo: memFree=1324408/2055920 swapFree=4133640/4192956 [pid=28084] ppid=28082 vsize=1788492 CPUtime=8.3 /proc/28084/stat : 28084 (java) S 28082 28084 27760 0 -1 0 73208 0 1 0 796 34 0 0 18 0 13 0 148941424 1831415808 67725 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/28084/statm: 447123 67725 1334 9 0 444735 0 [pid=28084/tid=28086] ppid=28082 vsize=1788492 CPUtime=4.75 /proc/28084/task/28086/stat : 28086 (java) R 28082 28084 27760 0 -1 64 37715 0 1 0 459 16 0 0 19 0 13 0 148941425 1831415808 67725 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28084/tid=28087] ppid=28082 vsize=1788492 CPUtime=0.91 /proc/28084/task/28087/stat : 28087 (java) S 28082 28084 27760 0 -1 64 16118 0 0 0 84 7 0 0 19 0 13 0 148941427 1831415808 67725 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28084/tid=28088] ppid=28082 vsize=1788492 CPUtime=0.91 /proc/28084/task/28088/stat : 28088 (java) S 28082 28084 27760 0 -1 64 16083 0 0 0 83 8 0 0 18 0 13 0 148941427 1831415808 67725 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28084/tid=28089] ppid=28082 vsize=1788492 CPUtime=0 /proc/28084/task/28089/stat : 28089 (java) S 28082 28084 27760 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 148941429 1831415808 67725 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=28084/tid=28090] ppid=28082 vsize=1788492 CPUtime=0 /proc/28084/task/28090/stat : 28090 (java) S 28082 28084 27760 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 148941429 1831415808 67725 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28084/tid=28091] ppid=28082 vsize=1788492 CPUtime=0 /proc/28084/task/28091/stat : 28091 (java) S 28082 28084 27760 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 148941429 1831415808 67725 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28084/tid=28092] ppid=28082 vsize=1788492 CPUtime=0 /proc/28084/task/28092/stat : 28092 (java) S 28082 28084 27760 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 148941433 1831415808 67725 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28084/tid=28093] ppid=28082 vsize=1788492 CPUtime=0.91 /proc/28084/task/28093/stat : 28093 (java) R 28082 28084 27760 0 -1 64 1879 0 0 0 91 0 0 0 17 0 13 0 148941433 1831415808 67725 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 102087169 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28084/tid=28094] ppid=28082 vsize=1788492 CPUtime=0.77 /proc/28084/task/28094/stat : 28094 (java) R 28082 28084 27760 0 -1 64 683 0 0 0 77 0 0 0 16 0 13 0 148941433 1831415808 67725 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 105420296 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28084/tid=28095] ppid=28082 vsize=1788492 CPUtime=0 /proc/28084/task/28095/stat : 28095 (java) S 28082 28084 27760 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 148941433 1831415808 67725 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28084/tid=28096] ppid=28082 vsize=1788492 CPUtime=0 /proc/28084/task/28096/stat : 28096 (java) S 28082 28084 27760 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 148941433 1831415808 67725 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 8.3 Current children cumulated vsize (KiB) 1788492 [startup+12.7029 s] /proc/loadavg: 0.93 0.98 0.99 2/90 28097 /proc/meminfo: memFree=1301616/2055920 swapFree=4133640/4192956 [pid=28084] ppid=28082 vsize=1788372 CPUtime=14.99 /proc/28084/stat : 28084 (java) S 28082 28084 27760 0 -1 0 74954 0 1 0 1463 36 0 0 18 0 13 0 148941424 1831292928 69266 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/28084/statm: 447093 69266 1334 9 0 444705 0 [pid=28084/tid=28086] ppid=28082 vsize=1788372 CPUtime=10.94 /proc/28084/task/28086/stat : 28086 (java) R 28082 28084 27760 0 -1 64 37720 0 1 0 1078 16 0 0 25 0 13 0 148941425 1831292928 69266 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109908899 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28084/tid=28087] ppid=28082 vsize=1788372 CPUtime=1.07 /proc/28084/task/28087/stat : 28087 (java) S 28082 28084 27760 0 -1 64 16677 0 0 0 100 7 0 0 16 0 13 0 148941427 1831292928 69266 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28084/tid=28088] ppid=28082 vsize=1788372 CPUtime=1.08 /proc/28084/task/28088/stat : 28088 (java) S 28082 28084 27760 0 -1 64 17251 0 0 0 99 9 0 0 16 0 13 0 148941427 1831292928 69266 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28084/tid=28089] ppid=28082 vsize=1788372 CPUtime=0 /proc/28084/task/28089/stat : 28089 (java) S 28082 28084 27760 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 148941429 1831292928 69266 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=28084/tid=28090] ppid=28082 vsize=1788372 CPUtime=0 /proc/28084/task/28090/stat : 28090 (java) S 28082 28084 27760 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 148941429 1831292928 69266 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28084/tid=28091] ppid=28082 vsize=1788372 CPUtime=0 /proc/28084/task/28091/stat : 28091 (java) S 28082 28084 27760 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 148941429 1831292928 69266 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28084/tid=28092] ppid=28082 vsize=1788372 CPUtime=0 /proc/28084/task/28092/stat : 28092 (java) S 28082 28084 27760 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 148941433 1831292928 69266 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28084/tid=28093] ppid=28082 vsize=1788372 CPUtime=0.98 /proc/28084/task/28093/stat : 28093 (java) S 28082 28084 27760 0 -1 64 1884 0 0 0 98 0 0 0 16 0 13 0 148941433 1831292928 69266 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28084/tid=28094] ppid=28082 vsize=1788372 CPUtime=0.85 /proc/28084/task/28094/stat : 28094 (java) S 28082 28084 27760 0 -1 64 692 0 0 0 85 0 0 0 17 0 13 0 148941433 1831292928 69266 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28084/tid=28095] ppid=28082 vsize=1788372 CPUtime=0 /proc/28084/task/28095/stat : 28095 (java) S 28082 28084 27760 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 148941433 1831292928 69266 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28084/tid=28096] ppid=28082 vsize=1788372 CPUtime=0 /proc/28084/task/28096/stat : 28096 (java) S 28082 28084 27760 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 148941433 1831292928 69266 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28084/tid=28097] ppid=28082 vsize=1788372 CPUtime=0 /proc/28084/task/28097/stat : 28097 (java) S 28082 28084 27760 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 148942026 1831292928 69266 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 14.99 Current children cumulated vsize (KiB) 1788372 [startup+25.5023 s] /proc/loadavg: 0.95 0.98 0.99 2/90 28097 /proc/meminfo: memFree=1288112/2055920 swapFree=4133640/4192956 [pid=28084] ppid=28082 vsize=1788372 CPUtime=28.06 /proc/28084/stat : 28084 (java) S 28082 28084 27760 0 -1 0 79296 0 1 0 2768 38 0 0 18 0 13 0 148941424 1831292928 72632 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/28084/statm: 447093 72632 1334 9 0 444705 0 [pid=28084/tid=28086] ppid=28082 vsize=1788372 CPUtime=23.55 /proc/28084/task/28086/stat : 28086 (java) R 28082 28084 27760 0 -1 64 37724 0 1 0 2339 16 0 0 25 0 13 0 148941425 1831292928 72632 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109877064 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28084/tid=28087] ppid=28082 vsize=1788372 CPUtime=1.25 /proc/28084/task/28087/stat : 28087 (java) S 28082 28084 27760 0 -1 64 19409 0 0 0 116 9 0 0 16 0 13 0 148941427 1831292928 72632 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28084/tid=28088] ppid=28082 vsize=1788372 CPUtime=1.26 /proc/28084/task/28088/stat : 28088 (java) S 28082 28084 27760 0 -1 64 18849 0 0 0 116 10 0 0 16 0 13 0 148941427 1831292928 72632 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28084/tid=28089] ppid=28082 vsize=1788372 CPUtime=0 /proc/28084/task/28089/stat : 28089 (java) S 28082 28084 27760 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 148941429 1831292928 72632 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=28084/tid=28090] ppid=28082 vsize=1788372 CPUtime=0 /proc/28084/task/28090/stat : 28090 (java) S 28082 28084 27760 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 148941429 1831292928 72632 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28084/tid=28091] ppid=28082 vsize=1788372 CPUtime=0 /proc/28084/task/28091/stat : 28091 (java) S 28082 28084 27760 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 148941429 1831292928 72632 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ [pid=28084] ppid=28082 vsize=1788372 CPUtime=1677.42 /proc/28084/stat : 28084 (java) S 28082 28084 27760 0 -1 0 508323 0 1 0 167436 306 0 0 18 0 13 0 148941424 1831292928 78830 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/28084/statm: 447093 78830 1336 9 0 444705 0 [pid=28084/tid=28086] ppid=28082 vsize=1788372 CPUtime=1645.31 /proc/28084/task/28086/stat : 28086 (java) R 28082 28084 27760 0 -1 64 45488 0 1 0 164495 36 0 0 25 0 13 0 148941425 1831292928 78830 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109876752 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28084/tid=28087] ppid=28082 vsize=1788372 CPUtime=14.42 /proc/28084/task/28087/stat : 28087 (java) S 28082 28084 27760 0 -1 64 230588 0 0 0 1327 115 0 0 16 0 13 0 148941427 1831292928 78830 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28084/tid=28088] ppid=28082 vsize=1788372 CPUtime=14.49 /proc/28084/task/28088/stat : 28088 (java) S 28082 28084 27760 0 -1 64 226053 0 0 0 1331 118 0 0 16 0 13 0 148941427 1831292928 78830 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28084/tid=28089] ppid=28082 vsize=1788372 CPUtime=0.96 /proc/28084/task/28089/stat : 28089 (java) S 28082 28084 27760 0 -1 64 2875 0 0 0 63 33 0 0 16 0 13 0 148941429 1831292928 78830 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=28084/tid=28090] ppid=28082 vsize=1788372 CPUtime=0 /proc/28084/task/28090/stat : 28090 (java) S 28082 28084 27760 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 148941429 1831292928 78830 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28084/tid=28091] ppid=28082 vsize=1788372 CPUtime=0 /proc/28084/task/28091/stat : 28091 (java) S 28082 28084 27760 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 148941429 1831292928 78830 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28084/tid=28092] ppid=28082 vsize=1788372 CPUtime=0 /proc/28084/task/28092/stat : 28092 (java) S 28082 28084 27760 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 148941433 1831292928 78830 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28084/tid=28093] ppid=28082 vsize=1788372 CPUtime=1.13 /proc/28084/task/28093/stat : 28093 (java) S 28082 28084 27760 0 -1 64 1891 0 0 0 113 0 0 0 16 0 13 0 148941433 1831292928 78830 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28084/tid=28094] ppid=28082 vsize=1788372 CPUtime=1.03 /proc/28084/task/28094/stat : 28094 (java) S 28082 28084 27760 0 -1 64 705 0 0 0 103 0 0 0 17 0 13 0 148941433 1831292928 78830 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28084/tid=28095] ppid=28082 vsize=1788372 CPUtime=0 /proc/28084/task/28095/stat : 28095 (java) S 28082 28084 27760 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 148941433 1831292928 78830 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28084/tid=28096] ppid=28082 vsize=1788372 CPUtime=0 /proc/28084/task/28096/stat : 28096 (java) S 28082 28084 27760 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 148941433 1831292928 78830 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28084/tid=28097] ppid=28082 vsize=1788372 CPUtime=0 /proc/28084/task/28097/stat : 28097 (java) S 28082 28084 27760 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 148942026 1831292928 78830 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1677.42 Current children cumulated vsize (KiB) 1788372 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/90 28099 /proc/meminfo: memFree=1283248/2055920 swapFree=4133640/4192956 [pid=28084] ppid=28082 vsize=1788372 CPUtime=1737.76 /proc/28084/stat : 28084 (java) S 28082 28084 27760 0 -1 0 515770 0 1 0 173464 312 0 0 18 0 13 0 148941424 1831292928 72984 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/28084/statm: 447093 72984 1336 9 0 444705 0 [pid=28084/tid=28086] ppid=28082 vsize=1788372 CPUtime=1704.36 /proc/28084/task/28086/stat : 28086 (java) R 28082 28084 27760 0 -1 64 46686 0 1 0 170398 38 0 0 19 0 13 0 148941425 1831292928 72984 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109849172 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28084/tid=28087] ppid=28082 vsize=1788372 CPUtime=14.81 /proc/28084/task/28087/stat : 28087 (java) S 28082 28084 27760 0 -1 64 231525 0 0 0 1364 117 0 0 16 0 13 0 148941427 1831292928 72984 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28084/tid=28088] ppid=28082 vsize=1788372 CPUtime=14.88 /proc/28084/task/28088/stat : 28088 (java) S 28082 28084 27760 0 -1 64 226053 0 0 0 1370 118 0 0 16 0 13 0 148941427 1831292928 72984 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28084/tid=28089] ppid=28082 vsize=1788372 CPUtime=1.48 /proc/28084/task/28089/stat : 28089 (java) S 28082 28084 27760 0 -1 64 8187 0 0 0 112 36 0 0 16 0 13 0 148941429 1831292928 72984 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=28084/tid=28090] ppid=28082 vsize=1788372 CPUtime=0 /proc/28084/task/28090/stat : 28090 (java) S 28082 28084 27760 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 148941429 1831292928 72984 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28084/tid=28091] ppid=28082 vsize=1788372 CPUtime=0 /proc/28084/task/28091/stat : 28091 (java) S 28082 28084 27760 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 148941429 1831292928 72984 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28084/tid=28092] ppid=28082 vsize=1788372 CPUtime=0 /proc/28084/task/28092/stat : 28092 (java) S 28082 28084 27760 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 148941433 1831292928 72984 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28084/tid=28093] ppid=28082 vsize=1788372 CPUtime=1.13 /proc/28084/task/28093/stat : 28093 (java) S 28082 28084 27760 0 -1 64 1891 0 0 0 113 0 0 0 16 0 13 0 148941433 1831292928 72984 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28084/tid=28094] ppid=28082 vsize=1788372 CPUtime=1.03 /proc/28084/task/28094/stat : 28094 (java) S 28082 28084 27760 0 -1 64 705 0 0 0 103 0 0 0 17 0 13 0 148941433 1831292928 72984 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28084/tid=28095] ppid=28082 vsize=1788372 CPUtime=0 /proc/28084/task/28095/stat : 28095 (java) S 28082 28084 27760 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 148941433 1831292928 72984 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28084/tid=28096] ppid=28082 vsize=1788372 CPUtime=0 /proc/28084/task/28096/stat : 28096 (java) S 28082 28084 27760 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 148941433 1831292928 72984 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28084/tid=28097] ppid=28082 vsize=1788372 CPUtime=0 /proc/28084/task/28097/stat : 28097 (java) S 28082 28084 27760 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 148942026 1831292928 72984 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1737.76 Current children cumulated vsize (KiB) 1788372 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/90 28099 /proc/meminfo: memFree=1288112/2055920 swapFree=4133640/4192956 [pid=28084] ppid=28082 vsize=1788372 CPUtime=1798 /proc/28084/stat : 28084 (java) S 28082 28084 27760 0 -1 0 515903 0 1 0 179485 315 0 0 18 0 13 0 148941424 1831292928 71813 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/28084/statm: 447093 71813 1336 9 0 444705 0 [pid=28084/tid=28086] ppid=28082 vsize=1788372 CPUtime=1764.01 /proc/28084/task/28086/stat : 28086 (java) R 28082 28084 27760 0 -1 64 46756 0 1 0 176363 38 0 0 20 0 13 0 148941425 1831292928 71813 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109876575 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28084/tid=28087] ppid=28082 vsize=1788372 CPUtime=15.08 /proc/28084/task/28087/stat : 28087 (java) S 28082 28084 27760 0 -1 64 231544 0 0 0 1391 117 0 0 16 0 13 0 148941427 1831292928 71813 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28084/tid=28088] ppid=28082 vsize=1788372 CPUtime=15.15 /proc/28084/task/28088/stat : 28088 (java) S 28082 28084 27760 0 -1 64 226096 0 0 0 1397 118 0 0 16 0 13 0 148941427 1831292928 71813 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28084/tid=28089] ppid=28082 vsize=1788372 CPUtime=1.51 /proc/28084/task/28089/stat : 28089 (java) S 28082 28084 27760 0 -1 64 8188 0 0 0 114 37 0 0 16 0 13 0 148941429 1831292928 71813 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=28084/tid=28090] ppid=28082 vsize=1788372 CPUtime=0 /proc/28084/task/28090/stat : 28090 (java) S 28082 28084 27760 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 148941429 1831292928 71813 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28084/tid=28091] ppid=28082 vsize=1788372 CPUtime=0 /proc/28084/task/28091/stat : 28091 (java) S 28082 28084 27760 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 148941429 1831292928 71813 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28084/tid=28092] ppid=28082 vsize=1788372 CPUtime=0 /proc/28084/task/28092/stat : 28092 (java) S 28082 28084 27760 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 148941433 1831292928 71813 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28084/tid=28093] ppid=28082 vsize=1788372 CPUtime=1.13 /proc/28084/task/28093/stat : 28093 (java) S 28082 28084 27760 0 -1 64 1891 0 0 0 113 0 0 0 16 0 13 0 148941433 1831292928 71813 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28084/tid=28094] ppid=28082 vsize=1788372 CPUtime=1.03 /proc/28084/task/28094/stat : 28094 (java) S 28082 28084 27760 0 -1 64 705 0 0 0 103 0 0 0 17 0 13 0 148941433 1831292928 71813 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28084/tid=28095] ppid=28082 vsize=1788372 CPUtime=0 /proc/28084/task/28095/stat : 28095 (java) S 28082 28084 27760 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 148941433 1831292928 71813 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28084/tid=28096] ppid=28082 vsize=1788372 CPUtime=0 /proc/28084/task/28096/stat : 28096 (java) S 28082 28084 27760 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 148941433 1831292928 71813 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28084/tid=28097] ppid=28082 vsize=1788372 CPUtime=0 /proc/28084/task/28097/stat : 28097 (java) S 28082 28084 27760 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 148942026 1831292928 71813 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1798 Current children cumulated vsize (KiB) 1788372 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1784.3 s] /proc/loadavg: 1.00 1.00 1.00 2/90 28099 /proc/meminfo: memFree=1288304/2055920 swapFree=4133640/4192956 [pid=28084] ppid=28082 vsize=1788372 CPUtime=1800.01 /proc/28084/stat : 28084 (java) S 28082 28084 27760 0 -1 0 515906 0 1 0 179686 315 0 0 18 0 13 0 148941424 1831292928 71765 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/28084/statm: 447093 71765 1336 9 0 444705 0 [pid=28084/tid=28086] ppid=28082 vsize=1788372 CPUtime=1766.01 /proc/28084/task/28086/stat : 28086 (java) R 28082 28084 27760 0 -1 64 46759 0 1 0 176562 39 0 0 18 0 13 0 148941425 1831292928 71765 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109883978 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28084/tid=28087] ppid=28082 vsize=1788372 CPUtime=15.09 /proc/28084/task/28087/stat : 28087 (java) S 28082 28084 27760 0 -1 64 231544 0 0 0 1392 117 0 0 16 0 13 0 148941427 1831292928 71765 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28084/tid=28088] ppid=28082 vsize=1788372 CPUtime=15.17 /proc/28084/task/28088/stat : 28088 (java) S 28082 28084 27760 0 -1 64 226096 0 0 0 1399 118 0 0 16 0 13 0 148941427 1831292928 71765 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28084/tid=28089] ppid=28082 vsize=1788372 CPUtime=1.51 /proc/28084/task/28089/stat : 28089 (java) S 28082 28084 27760 0 -1 64 8188 0 0 0 114 37 0 0 16 0 13 0 148941429 1831292928 71765 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=28084/tid=28090] ppid=28082 vsize=1788372 CPUtime=0 /proc/28084/task/28090/stat : 28090 (java) S 28082 28084 27760 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 148941429 1831292928 71765 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28084/tid=28091] ppid=28082 vsize=1788372 CPUtime=0 /proc/28084/task/28091/stat : 28091 (java) S 28082 28084 27760 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 148941429 1831292928 71765 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28084/tid=28092] ppid=28082 vsize=1788372 CPUtime=0 /proc/28084/task/28092/stat : 28092 (java) S 28082 28084 27760 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 148941433 1831292928 71765 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28084/tid=28093] ppid=28082 vsize=1788372 CPUtime=1.13 /proc/28084/task/28093/stat : 28093 (java) S 28082 28084 27760 0 -1 64 1891 0 0 0 113 0 0 0 16 0 13 0 148941433 1831292928 71765 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28084/tid=28094] ppid=28082 vsize=1788372 CPUtime=1.03 /proc/28084/task/28094/stat : 28094 (java) S 28082 28084 27760 0 -1 64 705 0 0 0 103 0 0 0 17 0 13 0 148941433 1831292928 71765 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28084/tid=28095] ppid=28082 vsize=1788372 CPUtime=0 /proc/28084/task/28095/stat : 28095 (java) S 28082 28084 27760 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 148941433 1831292928 71765 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28084/tid=28096] ppid=28082 vsize=1788372 CPUtime=0 /proc/28084/task/28096/stat : 28096 (java) S 28082 28084 27760 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 148941433 1831292928 71765 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28084/tid=28097] ppid=28082 vsize=1788372 CPUtime=0 /proc/28084/task/28097/stat : 28097 (java) S 28082 28084 27760 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 148942026 1831292928 71765 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1788372 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1784.3 s] /proc/loadavg: 1.00 1.00 1.00 2/90 28099 /proc/meminfo: memFree=1288304/2055920 swapFree=4133640/4192956 [pid=28084] ppid=28082 vsize=1788372 CPUtime=1800.01 /proc/28084/stat : 28084 (java) S 28082 28084 27760 0 -1 0 515906 0 1 0 179686 315 0 0 18 0 13 0 148941424 1831292928 71765 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/28084/statm: 447093 71765 1336 9 0 444705 0 [pid=28084/tid=28086] ppid=28082 vsize=1788372 CPUtime=1766.01 /proc/28084/task/28086/stat : 28086 (java) R 28082 28084 27760 0 -1 64 46759 0 1 0 176562 39 0 0 18 0 13 0 148941425 1831292928 71765 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109883978 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28084/tid=28087] ppid=28082 vsize=1788372 CPUtime=15.09 /proc/28084/task/28087/stat : 28087 (java) S 28082 28084 27760 0 -1 64 231544 0 0 0 1392 117 0 0 16 0 13 0 148941427 1831292928 71765 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28084/tid=28088] ppid=28082 vsize=1788372 CPUtime=15.17 /proc/28084/task/28088/stat : 28088 (java) S 28082 28084 27760 0 -1 64 226096 0 0 0 1399 118 0 0 16 0 13 0 148941427 1831292928 71765 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=28084/tid=28089] ppid=28082 vsize=1788372 CPUtime=1.51 /proc/28084/task/28089/stat : 28089 (java) S 28082 28084 27760 0 -1 64 8188 0 0 0 114 37 0 0 16 0 13 0 148941429 1831292928 71765 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=28084/tid=28090] ppid=28082 vsize=1788372 CPUtime=0 /proc/28084/task/28090/stat : 28090 (java) S 28082 28084 27760 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 148941429 1831292928 71765 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28084/tid=28091] ppid=28082 vsize=1788372 CPUtime=0 /proc/28084/task/28091/stat : 28091 (java) S 28082 28084 27760 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 148941429 1831292928 71765 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28084/tid=28092] ppid=28082 vsize=1788372 CPUtime=0 /proc/28084/task/28092/stat : 28092 (java) S 28082 28084 27760 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 148941433 1831292928 71765 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28084/tid=28093] ppid=28082 vsize=1788372 CPUtime=1.13 /proc/28084/task/28093/stat : 28093 (java) S 28082 28084 27760 0 -1 64 1891 0 0 0 113 0 0 0 16 0 13 0 148941433 1831292928 71765 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28084/tid=28094] ppid=28082 vsize=1788372 CPUtime=1.03 /proc/28084/task/28094/stat : 28094 (java) S 28082 28084 27760 0 -1 64 705 0 0 0 103 0 0 0 17 0 13 0 148941433 1831292928 71765 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28084/tid=28095] ppid=28082 vsize=1788372 CPUtime=0 /proc/28084/task/28095/stat : 28095 (java) S 28082 28084 27760 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 148941433 1831292928 71765 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28084/tid=28096] ppid=28082 vsize=1788372 CPUtime=0 /proc/28084/task/28096/stat : 28096 (java) S 28082 28084 27760 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 148941433 1831292928 71765 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=28084/tid=28097] ppid=28082 vsize=1788372 CPUtime=0 /proc/28084/task/28097/stat : 28097 (java) S 28082 28084 27760 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 148942026 1831292928 71765 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1788372 Child status: 143 Real time (s): 1784.4 CPU time (s): 1800.11 CPU user time (s): 1796.91 CPU system time (s): 3.19751 CPU usage (%): 100.881 Max. virtual memory (cumulated for all children) (KiB): 1801184 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.91 system time used= 3.19751 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 515927 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= 48525 involuntary context switches= 52870 runsolver used 1.68774 second user time and 4.86726 second system time The end
Begin job on node24 on Thu Apr 19 19:17:14 UTC 2007 IDJOB= 362319 IDBENCH= 1550 IDSOLVER= 159 FILE ID= node24/362319-1177010234 PBS_JOBID= 4630539 Free space on /tmp= 66225 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-n370a.opb COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/362319-1177010234/sat4jPseudoResolution.jar /tmp/evaluation/362319-1177010234/instance-362319-1177010234.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node24/watcher-362319-1177010234 -o ROOT/results/node24/solver-362319-1177010234 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/362319-1177010234/sat4jPseudoResolution.jar /tmp/evaluation/362319-1177010234/instance-362319-1177010234.opb META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30 MD5SUM BENCH= d7a28c2ec06d645af4379f015212128c RANDOM SEED= 850611892 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node24.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.238 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.238 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: 1574896 kB Buffers: 38156 kB Cached: 346448 kB SwapCached: 27340 kB Active: 140536 kB Inactive: 279312 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1574896 kB SwapTotal: 4192956 kB SwapFree: 4133640 kB Dirty: 10156 kB Writeback: 0 kB Mapped: 42340 kB Slab: 46748 kB Committed_AS: 1881440 kB PageTables: 1808 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= 66225 MiB End job on node24 on Thu Apr 19 19:47:00 UTC 2007