Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4JPseudoResolution 2007-03-23 | ? (TO) | 1800.2 | 1789.61 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-blp-ic97.opb |
MD5SUM | c6beff0c06c855c4098e361c6e1a2493 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 11503 |
Total number of constraints | 971 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 835 |
Number of constraints which are nor clauses,nor cardinality constraints | 136 |
Minimum length of a constraint | 4 |
Maximum length of a constraint | 9784 |
Number of terms in the objective function | 31 |
Biggest coefficient in the objective function | 1073741824 |
Number of bits for the biggest coefficient in the objective function | 31 |
Sum of the numbers in the objective function | 2147483647 |
Number of bits of the sum of numbers in the objective function | 31 |
Biggest number in a constraint | 83886080000000 |
Number of bits of the biggest number in a constraint | 47 |
Biggest sum of numbers in a constraint | 508832629179091 |
Number of bits of the biggest sum of numbers | 49 |
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.14 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre 0.08/0.14 c This is free software under the GNU LGPL licence. See www.sat4j.org for details. 0.08/0.14 c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details. 0.08/0.14 c no version file found!!! 0.08/0.15 c sun.arch.data.model 32 0.08/0.15 c java.version 1.6.0 0.08/0.15 c os.name Linux 0.08/0.15 c os.version 2.6.9-22.EL.rootsmp 0.08/0.15 c os.arch i386 0.08/0.15 c Free memory 1651659224 0.08/0.15 c Max memory 1654456320 0.08/0.15 c Total memory 1654456320 0.08/0.15 c Number of processors 2 0.20/0.20 --- Begin Solver configuration --- 0.20/0.20 c Stops conflict analysis at the first Unique Implication Point 0.20/0.20 c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@691f36 0.20/0.20 c Learn all clauses as in MiniSAT 0.20/0.20 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.20/0.20 c VSIDS like heuristics from MiniSAT using a heap 0.20/0.20 c No reason simplification 0.20/0.20 c --- End Solver configuration --- 0.20/0.20 c solving /tmp/evaluation/349322-1176695501/instance-349322-1176695501.opb 0.20/0.20 c reading problem ... 2.81/2.05 c ... done. Wall clock time 1.85s. 2.81/2.05 c CPU time (experimental) 1.54s. 2.81/2.05 c #vars 11503 2.81/2.05 c #constraints 932 1136.41/1129.24 c cleaning 35472 clauses out of 71003 for limit 1001837.5454957319 1146.30/1139.08 c cleaning 18018 clauses out of 36051 for limit 3319730.350199169 1159.45/1152.18 c cleaning 9238 clauses out of 18509 for limit 1.041033664706279E7 1172.93/1165.62 c cleaning 4865 clauses out of 9773 for limit 3.2579524469759226E7 1181.98/1174.66 c cleaning 2682 clauses out of 5406 for limit 9.693563552070306E7 1190.14/1182.76 c cleaning 1584 clauses out of 3225 for limit 2.682379263778223E8 1199.04/1191.64 c cleaning 1038 clauses out of 2144 for limit 6.673974506497856E8 1245.77/1238.20 c cleaning 2049 clauses out of 4103 for limit 6.994224919198691E9 1255.19/1247.67 c cleaning 1276 clauses out of 2553 for limit 1.851875011707814E10 1261.52/1253.93 c cleaning 874 clauses out of 1778 for limit 4.389561403287049E10 1269.61/1262.00 c cleaning 684 clauses out of 1405 for limit 9.169949832203279E10 1274.63/1267.10 c cleaning 597 clauses out of 1220 for limit 1.7398220413277448E11 1280.13/1272.52 c cleaning 548 clauses out of 1125 for limit 3.117719557271671E11 1285.66/1278.08 c cleaning 537 clauses out of 1074 for limit 5.3695469000455634E11 1290.68/1283.08 c cleaning 518 clauses out of 1038 for limit 9.171385884336042E11 1296.18/1288.59 c cleaning 508 clauses out of 1021 for limit 1.5392068125713813E12 1301.99/1294.37 c cleaning 491 clauses out of 1011 for limit 2.558340976186735E12 1306.63/1298.96 c cleaning 510 clauses out of 1020 for limit 4.181819637419372E12 1311.93/1304.23 c cleaning 488 clauses out of 1010 for limit 6.96466100618367E12 1317.04/1309.39 c cleaning 498 clauses out of 1023 for limit 1.1351052217443232E13 1323.57/1315.84 c cleaning 500 clauses out of 1026 for limit 1.8683351876725574E13 1352.34/1344.52 c cleaning 1511 clauses out of 3026 for limit 7.727031192071844E13 1358.28/1350.48 c cleaning 1007 clauses out of 2015 for limit 1.9136496292815438E14 1364.41/1356.55 c cleaning 747 clauses out of 1506 for limit 4.2140469283585906E14 1370.31/1362.42 c cleaning 608 clauses out of 1259 for limit 8.312937138795258E14 1374.64/1366.78 c cleaning 558 clauses out of 1151 for limit 1.4995494432862855E15 1379.86/1371.92 c cleaning 546 clauses out of 1093 for limit 2.6041850333668145E15 1386.09/1378.11 c cleaning 524 clauses out of 1049 for limit 4.4837503432636235E15 1390.48/1382.51 c cleaning 497 clauses out of 1023 for limit 7.567076784846327E15 1396.63/1388.67 c cleaning 602 clauses out of 1205 for limit 1.267214758466126E16 1402.15/1394.15 c cleaning 620 clauses out of 1240 for limit 2.3291613993375888E16 1404.85/1396.88 c cleaning 468 clauses out of 937 for limit 4.2327431024259992E16 1410.27/1402.26 c cleaning 550 clauses out of 1101 for limit 6.7793120333244696E16 1412.99/1404.92 c cleaning 425 clauses out of 866 for limit 0.0011812076732774714 1418.31/1410.23 c cleaning 524 clauses out of 1068 for limit 0.0017935429499013945 1420.92/1412.86 c cleaning 417 clauses out of 856 for limit 0.003057573760369155 1426.25/1418.10 c cleaning 517 clauses out of 1061 for limit 0.00459622887603705 1431.37/1423.25 c cleaning 566 clauses out of 1163 for limit 0.007789330014116113 1433.98/1425.81 c cleaning 436 clauses out of 905 for limit 0.013622627021975283 1439.02/1430.89 c cleaning 523 clauses out of 1082 for limit 0.021039620500041947 1444.24/1436.02 c cleaning 565 clauses out of 1170 for limit 0.035856343108144305 1446.75/1438.51 c cleaning 433 clauses out of 909 for limit 0.06255752422807477 1451.68/1443.43 c cleaning 517 clauses out of 1081 for limit 0.09636012735950489 1454.10/1445.87 c cleaning 408 clauses out of 865 for limit 0.16274025636426373 1459.02/1450.76 c cleaning 503 clauses out of 1058 for limit 0.24275434487375155 1463.85/1455.59 c cleaning 548 clauses out of 1152 for limit 0.40513869929625845 1468.70/1460.36 c cleaning 568 clauses out of 1197 for limit 0.7057120614915637 1471.11/1462.71 c cleaning 431 clauses out of 925 for limit 1.2279917324789018 1475.75/1467.39 c cleaning 508 clauses out of 1083 for limit 1.8907589024876947 1480.58/1472.12 c cleaning 545 clauses out of 1160 for limit 3.1695383368885213 1482.90/1474.43 c cleaning 417 clauses out of 906 for limit 5.429611135878269 1487.43/1478.92 c cleaning 494 clauses out of 1064 for limit 8.218632603692692 1491.96/1483.41 c cleaning 533 clauses out of 1147 for limit 13.579727974059553 1496.39/1487.84 c cleaning 551 clauses out of 1187 for limit 23.279787719133978 1498.60/1490.05 c cleaning 417 clauses out of 921 for limit 39.903037852569774 1502.93/1494.35 c cleaning 488 clauses out of 1067 for limit 60.49664629831279 1507.26/1498.67 c cleaning 525 clauses out of 1144 for limit 99.30448123209322 1511.59/1502.91 c cleaning 541 clauses out of 1180 for limit 168.76173024028665 1513.70/1505.00 c cleaning 409 clauses out of 918 for limit 286.77552296723985 1517.73/1509.09 c cleaning 477 clauses out of 1059 for limit 430.99306016592044 1521.86/1513.18 c cleaning 510 clauses out of 1129 for limit 698.79571911749 1525.98/1517.30 c cleaning 528 clauses out of 1168 for limit 1169.8988090871428 1530.02/1521.30 c cleaning 534 clauses out of 1185 for limit 1989.2149207929845 1533.94/1525.19 c cleaning 533 clauses out of 1187 for limit 3395.0615365670424 1535.85/1527.07 c cleaning 398 clauses out of 918 for limit 5716.98162710927 1539.78/1530.98 c cleaning 465 clauses out of 1057 for limit 8497.03315884728 1543.71/1534.83 c cleaning 497 clauses out of 1125 for limit 13607.694590512909 1547.55/1538.64 c cleaning 512 clauses out of 1158 for limit 22465.68973655661 1551.08/1542.14 c cleaning 509 clauses out of 1156 for limit 37486.2059434066 1554.70/1545.73 c cleaning 511 clauses out of 1164 for limit 62448.05662552014 1558.33/1549.36 c cleaning 513 clauses out of 1172 for limit 104245.16164105684 1561.96/1552.95 c cleaning 512 clauses out of 1174 for limit 174216.38003149553 1565.39/1556.34 c cleaning 505 clauses out of 1164 for limit 290354.80178034754 1568.61/1559.59 c cleaning 496 clauses out of 1151 for limit 480381.70819196716 1572.04/1562.92 c cleaning 496 clauses out of 1154 for limit 789364.0658781907 1575.37/1566.26 c cleaning 496 clauses out of 1159 for limit 1297448.4866440168 1578.70/1569.57 c cleaning 495 clauses out of 1160 for limit 2131414.530841277 1581.81/1572.61 c cleaning 569 clauses out of 1139 for limit 3487873.8448681603 1584.83/1575.68 c cleaning 435 clauses out of 1048 for limit 6115329.154503513 1588.05/1578.86 c cleaning 550 clauses out of 1100 for limit 9484090.055079222 1591.17/1581.97 c cleaning 516 clauses out of 1033 for limit 1.6374091751408283E7 1594.29/1585.03 c cleaning 403 clauses out of 996 for limit 2.7423907946738165E7 1597.03/1587.75 c cleaning 455 clauses out of 1046 for limit 4.108571317735815E7 1601.26/1591.96 c cleaning 638 clauses out of 1276 for limit 6.683630086346029E7 1603.88/1594.57 c cleaning 438 clauses out of 1080 for limit 1.22883487490903E8 1606.61/1597.22 c cleaning 439 clauses out of 1086 for limit 1.905507604267139E8 1609.22/1599.89 c cleaning 441 clauses out of 1095 for limit 2.9586096338989866E8 1613.05/1603.62 c cleaning 651 clauses out of 1303 for limit 4.759436226072048E8 1615.57/1606.16 c cleaning 544 clauses out of 1088 for limit 8.816945690748945E8 1618.08/1608.62 c cleaning 374 clauses out of 974 for limit 1.5143566430255578E9 1621.71/1612.23 c cleaning 501 clauses out of 1235 for limit 2.2544216309441743E9 1624.23/1614.73 c cleaning 463 clauses out of 1162 for limit 3.676774640673509E9 1626.46/1616.94 c cleaning 432 clauses out of 1104 for limit 5.803384357009144E9 1629.78/1620.28 c cleaning 642 clauses out of 1285 for limit 9.2066789289174E9 1632.10/1622.56 c cleaning 527 clauses out of 1055 for limit 1.6934505399992428E10 1635.32/1625.72 c cleaning 431 clauses out of 1119 for limit 2.883974050996154E10 1637.43/1627.83 c cleaning 412 clauses out of 1085 for limit 4.424792110056806E10 1640.55/1630.98 c cleaning 499 clauses out of 1264 for limit 6.860756310424608E10 1642.57/1632.95 c cleaning 573 clauses out of 1147 for limit 1.1079984362597108E11 1645.60/1635.95 c cleaning 576 clauses out of 1152 for limit 1.9669707042789737E11 1648.52/1638.80 c cleaning 570 clauses out of 1140 for limit 3.494702091955199E11 1650.33/1640.64 c cleaning 328 clauses out of 942 for limit 6.136242134649583E11 1653.26/1643.50 c cleaning 441 clauses out of 1175 for limit 8.62336224063573E11 1655.77/1646.07 c cleaning 486 clauses out of 1271 for limit 1.3642745215066755E12 1658.49/1648.73 c cleaning 511 clauses out of 1327 for limit 2.2474072511137266E12 1660.30/1650.58 c cleaning 428 clauses out of 1165 for limit 3.629705457082715E12 1662.70/1652.96 c cleaning 469 clauses out of 1253 for limit 5.655282628976127E12 1665.11/1655.40 c cleaning 492 clauses out of 1305 for limit 9.144827289266E12 1667.32/1657.54 c cleaning 487 clauses out of 1300 for limit 1.494341649497017E13 1669.52/1659.72 c cleaning 488 clauses out of 1309 for limit 2.4376505464282727E13 1671.64/1661.81 c cleaning 480 clauses out of 1298 for limit 3.961854455072303E13 1674.34/1664.54 c cleaning 727 clauses out of 1455 for limit 6.6848892437200375E13 1676.14/1666.32 c cleaning 496 clauses out of 1174 for limit 1.2944383280310964E14 1677.95/1668.19 c cleaning 389 clauses out of 1137 for limit 2.115582180547261E14 1680.26/1670.48 c cleaning 665 clauses out of 1330 for limit 3.237610325990088E14 1682.06/1672.22 c cleaning 367 clauses out of 1106 for limit 6.052583406353358E14 1684.09/1674.23 c cleaning 576 clauses out of 1158 for limit 8.791192376143871E14 1685.90/1676.06 c cleaning 578 clauses out of 1156 for limit 1.5638974349859655E15 1688.82/1678.94 c cleaning 546 clauses out of 1092 for limit 2.768742166933304E15 1690.93/1681.04 c cleaning 482 clauses out of 965 for limit 4.764729752778753E15 1693.45/1683.51 c cleaning 492 clauses out of 1002 for limit 7.712753930828639E15 1695.66/1685.76 c cleaning 487 clauses out of 1001 for limit 1.2617938341545832E16 1698.38/1688.42 c cleaning 552 clauses out of 1104 for limit 2.0645022076614888E16 1700.38/1690.48 c cleaning 507 clauses out of 1014 for limit 3.5685427974926204E16 1702.29/1692.37 c cleaning 474 clauses out of 948 for limit 5.9338999513913712E16 1704.70/1694.70 c cleaning 505 clauses out of 1010 for limit 9.5219411727331088E16 1706.81/1696.81 c cleaning 472 clauses out of 1017 for limit 0.0015783232104629177 1708.72/1698.78 c cleaning 477 clauses out of 1037 for limit 0.0025323161955547973 1710.53/1700.60 c cleaning 469 clauses out of 1031 for limit 0.004080309149886551 1712.54/1702.57 c cleaning 494 clauses out of 1093 for limit 0.006547225882538707 1714.36/1704.37 c cleaning 493 clauses out of 1102 for limit 0.010741262107122777 1715.96/1705.99 c cleaning 476 clauses out of 1081 for limit 0.017559040163695243 1717.77/1707.73 c cleaning 488 clauses out of 1118 for limit 0.028365418971312114 1719.48/1709.44 c cleaning 496 clauses out of 1151 for limit 0.046401959093056624 1720.78/1710.79 c cleaning 465 clauses out of 1105 for limit 0.07581928084832065 1722.18/1712.17 c cleaning 473 clauses out of 1143 for limit 0.12124256920183475 1723.49/1713.41 c cleaning 474 clauses out of 1173 for limit 0.1954171932855486 1725.00/1714.93 c cleaning 613 clauses out of 1243 for limit 0.3178074399280353 1727.62/1717.56 c cleaning 579 clauses out of 1174 for limit 0.5798844949931294 1729.53/1719.47 c cleaning 493 clauses out of 1003 for limit 1.0209147168878188 1732.06/1721.98 c cleaning 523 clauses out of 1052 for limit 1.6740947679730316 1734.88/1724.74 c cleaning 545 clauses out of 1098 for limit 2.8342009431819633 1736.79/1726.61 c cleaning 469 clauses out of 952 for limit 4.8726613368611265 1739.10/1728.91 c cleaning 480 clauses out of 983 for limit 7.78225658024176 1741.53/1731.34 c cleaning 488 clauses out of 1004 for limit 12.578120446348692 1743.84/1733.61 c cleaning 490 clauses out of 1017 for limit 20.49835016927019 1746.15/1735.91 c cleaning 496 clauses out of 1037 for limit 33.48591026668959 1748.27/1738.06 c cleaning 481 clauses out of 1014 for limit 54.97015728563743 1750.79/1740.57 c cleaning 518 clauses out of 1098 for limit 89.34325005180868 1752.71/1742.47 c cleaning 475 clauses out of 1020 for limit 149.36508684894312 1754.92/1744.61 c cleaning 494 clauses out of 1068 for limit 240.72859029293605 1756.93/1746.64 c cleaning 495 clauses out of 1080 for limit 394.94637086044827 1757.94/1747.67 c cleaning 477 clauses out of 1050 for limit 646.8752854914504 1759.25/1748.98 c cleaning 507 clauses out of 1110 for limit 1047.176052042367 1760.67/1750.34 c cleaning 503 clauses out of 1102 for limit 1737.7306499900876 1762.17/1751.80 c cleaning 501 clauses out of 1099 for limit 2873.573105579275 1763.68/1753.32 c cleaning 487 clauses out of 1070 for limit 4732.882497247695 1765.30/1754.97 c cleaning 495 clauses out of 1087 for limit 7713.897967730408 1767.22/1756.90 c cleaning 524 clauses out of 1144 for limit 12732.917026079298 1768.93/1758.54 c cleaning 481 clauses out of 1059 for limit 21340.699089170594 1771.05/1760.64 c cleaning 517 clauses out of 1130 for limit 34743.74733230792 1773.57/1763.17 c cleaning 589 clauses out of 1182 for limit 58691.44801266503 1775.89/1765.45 c cleaning 516 clauses out of 1037 for limit 104312.60044388221 1778.21/1767.72 c cleaning 480 clauses out of 965 for limit 174787.93154553606 1781.43/1770.99 c cleaning 536 clauses out of 1077 for limit 283174.4222991731 1783.74/1773.25 c cleaning 489 clauses out of 990 for limit 482758.9326466542 1786.04/1775.51 c cleaning 486 clauses out of 992 for limit 787406.7290948533 1788.15/1777.65 c cleaning 476 clauses out of 980 for limit 1280687.8791892317 1790.56/1780.05 c cleaning 519 clauses out of 1076 for limit 2067273.0279082183 1792.47/1781.91 c cleaning 476 clauses out of 1003 for limit 3464985.5504478086 1794.66/1784.13 c cleaning 529 clauses out of 1059 for limit 5588132.107025531 1796.37/1785.80 c cleaning 447 clauses out of 958 for limit 9479122.917347247 1798.17/1787.69 c cleaning 471 clauses out of 1016 for limit 1.4813865658674723E7 1800.08/1789.51 c starts : 17 1800.08/1789.51 c conflicts : 162010 1800.08/1789.51 c decisions : 204902 1800.08/1789.51 c propagations : 16719916 1800.08/1789.51 c inspects : 184241956 1800.08/1789.51 c learnt literals : 1 1800.08/1789.51 c learnt binary clauses : 0 1800.08/1789.51 c learnt ternary clauses : 0 1800.08/1789.51 c learnt clauses : 162008 1800.08/1789.51 c root simplifications : 0 1800.08/1789.51 c removed literals (reason simplification) : 0 1800.08/1789.51 c reason swapping (by a shorter reason) : 0 1800.08/1789.51 c Calls to reduceDB : 173 1800.08/1789.51 c speed (decisions/second) : 114.63491457852079 1800.08/1789.51 c non guided choices 4222 1800.08/1789.51 s UNKNOWN 1800.08/1789.51 c Total wall clock time (ms): 1789.311
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node42/watcher-349322-1176695501 -o ROOT/results/node42/solver-349322-1176695501 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/349322-1176695501/sat4jPseudoResolution.jar /tmp/evaluation/349322-1176695501/instance-349322-1176695501.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.02 1.01 1.00 2/64 12207 /proc/meminfo: memFree=1751592/2055920 swapFree=4184540/4192956 [pid=12207] ppid=12205 vsize=152 CPUtime=0 /proc/12207/stat : 12207 (java) R 12205 12207 11816 0 -1 0 42 0 0 0 0 0 0 0 18 0 1 0 117462018 155648 26 18446744073709551615 134512640 134550740 4294956592 18446744073709551615 12407588 0 0 4096 0 0 0 0 17 1 0 0 /proc/12207/statm: 38 26 19 9 0 4 0 [startup+0.0369411 s] /proc/loadavg: 1.02 1.01 1.00 2/64 12207 /proc/meminfo: memFree=1751592/2055920 swapFree=4184540/4192956 [pid=12207] ppid=12205 vsize=1776088 CPUtime=0.02 /proc/12207/stat : 12207 (java) S 12205 12207 11816 0 -1 0 3160 0 1 0 1 1 0 0 18 0 4 0 117462018 1818714112 2907 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 1 0 0 /proc/12207/statm: 444022 2907 887 9 0 441658 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 1776088 [startup+0.102952 s] /proc/loadavg: 1.02 1.01 1.00 2/64 12207 /proc/meminfo: memFree=1751592/2055920 swapFree=4184540/4192956 [pid=12207] ppid=12205 vsize=1780108 CPUtime=0.08 /proc/12207/stat : 12207 (java) S 12205 12207 11816 0 -1 0 3981 0 1 0 6 2 0 0 18 0 12 0 117462018 1822830592 3722 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/12207/statm: 445027 3722 1123 9 0 442646 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1780108 [startup+0.302987 s] /proc/loadavg: 1.02 1.01 1.00 2/64 12207 /proc/meminfo: memFree=1751592/2055920 swapFree=4184540/4192956 [pid=12207] ppid=12205 vsize=1782012 CPUtime=0.32 /proc/12207/stat : 12207 (java) S 12205 12207 11816 0 -1 0 5225 0 1 0 29 3 0 0 18 0 12 0 117462018 1824780288 4963 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/12207/statm: 445503 4963 1264 9 0 443115 0 Current children cumulated CPU time (s) 0.32 Current children cumulated vsize (KiB) 1782012 [startup+0.701066 s] /proc/loadavg: 1.02 1.01 1.00 2/64 12207 /proc/meminfo: memFree=1751592/2055920 swapFree=4184540/4192956 [pid=12207] ppid=12205 vsize=1792520 CPUtime=1.08 /proc/12207/stat : 12207 (java) S 12205 12207 11816 0 -1 0 9460 0 1 0 101 7 0 0 18 0 12 0 117462018 1835540480 8410 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/12207/statm: 448130 8410 1302 9 0 445742 0 Current children cumulated CPU time (s) 1.08 Current children cumulated vsize (KiB) 1792520 [startup+1.50122 s] /proc/loadavg: 1.02 1.01 1.00 3/76 12219 /proc/meminfo: memFree=1715976/2055920 swapFree=4184540/4192956 [pid=12207] ppid=12205 vsize=1792864 CPUtime=2.29 /proc/12207/stat : 12207 (java) S 12205 12207 11816 0 -1 0 26368 0 1 0 216 13 0 0 18 0 12 0 117462018 1835892736 23230 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/12207/statm: 448216 23230 1303 9 0 445828 0 [pid=12207/tid=12209] ppid=12205 vsize=1792864 CPUtime=1 /proc/12207/task/12209/stat : 12209 (java) R 12205 12207 11816 0 -1 64 19471 0 1 0 92 8 0 0 21 0 12 0 117462020 1835892736 23230 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12207/tid=12210] ppid=12205 vsize=1792864 CPUtime=0 /proc/12207/task/12210/stat : 12210 (java) S 12205 12207 11816 0 -1 64 3 0 0 0 0 0 0 0 19 0 12 0 117462021 1835892736 23230 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12207/tid=12211] ppid=12205 vsize=1792864 CPUtime=0 /proc/12207/task/12211/stat : 12211 (java) S 12205 12207 11816 0 -1 64 1 0 0 0 0 0 0 0 20 0 12 0 117462021 1835892736 23230 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12207/tid=12212] ppid=12205 vsize=1792864 CPUtime=0 /proc/12207/task/12212/stat : 12212 (java) S 12205 12207 11816 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 117462023 1835892736 23230 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=12207/tid=12213] ppid=12205 vsize=1792864 CPUtime=0 /proc/12207/task/12213/stat : 12213 (java) S 12205 12207 11816 0 -1 64 10 0 0 0 0 0 0 0 22 0 12 0 117462024 1835892736 23230 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12207/tid=12214] ppid=12205 vsize=1792864 CPUtime=0 /proc/12207/task/12214/stat : 12214 (java) S 12205 12207 11816 0 -1 64 4 0 0 0 0 0 0 0 23 0 12 0 117462024 1835892736 23230 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12207/tid=12215] ppid=12205 vsize=1792864 CPUtime=0 /proc/12207/task/12215/stat : 12215 (java) S 12205 12207 11816 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 117462028 1835892736 23230 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12207/tid=12216] ppid=12205 vsize=1792864 CPUtime=0.56 /proc/12207/task/12216/stat : 12216 (java) S 12205 12207 11816 0 -1 64 1669 0 0 0 55 1 0 0 16 0 12 0 117462028 1835892736 23230 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12207/tid=12217] ppid=12205 vsize=1792864 CPUtime=0.7 /proc/12207/task/12217/stat : 12217 (java) R 12205 12207 11816 0 -1 64 4505 0 0 0 68 2 0 0 16 0 12 0 117462028 1835892736 23230 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 105043924 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12207/tid=12218] ppid=12205 vsize=1792864 CPUtime=0 /proc/12207/task/12218/stat : 12218 (java) S 12205 12207 11816 0 -1 64 2 0 0 0 0 0 0 0 25 0 12 0 117462028 1835892736 23230 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12207/tid=12219] ppid=12205 vsize=1792864 CPUtime=0 /proc/12207/task/12219/stat : 12219 (java) S 12205 12207 11816 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 117462028 1835892736 23230 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2.29 Current children cumulated vsize (KiB) 1792864 [startup+3.10252 s] /proc/loadavg: 1.02 1.01 1.00 3/76 12219 /proc/meminfo: memFree=1607112/2055920 swapFree=4184540/4192956 [pid=12207] ppid=12205 vsize=1793832 CPUtime=4.18 /proc/12207/stat : 12207 (java) S 12205 12207 11816 0 -1 0 49355 0 1 0 395 23 0 0 18 0 13 0 117462018 1836883968 46193 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/12207/statm: 448458 46193 1321 9 0 446070 0 [pid=12207/tid=12209] ppid=12205 vsize=1793832 CPUtime=2.39 /proc/12207/task/12209/stat : 12209 (java) R 12205 12207 11816 0 -1 64 37706 0 1 0 223 16 0 0 25 0 13 0 117462020 1836883968 46193 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109774202 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12207/tid=12210] ppid=12205 vsize=1793832 CPUtime=0.13 /proc/12207/task/12210/stat : 12210 (java) S 12205 12207 11816 0 -1 64 2149 0 0 0 12 1 0 0 16 0 13 0 117462021 1836883968 46193 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12207/tid=12211] ppid=12205 vsize=1793832 CPUtime=0.12 /proc/12207/task/12211/stat : 12211 (java) S 12205 12207 11816 0 -1 64 2571 0 0 0 12 0 0 0 16 0 13 0 117462021 1836883968 46193 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12207/tid=12212] ppid=12205 vsize=1793832 CPUtime=0 /proc/12207/task/12212/stat : 12212 (java) S 12205 12207 11816 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 117462023 1836883968 46193 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=12207/tid=12213] ppid=12205 vsize=1793832 CPUtime=0 /proc/12207/task/12213/stat : 12213 (java) S 12205 12207 11816 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 117462024 1836883968 46193 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12207/tid=12214] ppid=12205 vsize=1793832 CPUtime=0 /proc/12207/task/12214/stat : 12214 (java) S 12205 12207 11816 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 117462024 1836883968 46193 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12207/tid=12215] ppid=12205 vsize=1793832 CPUtime=0 /proc/12207/task/12215/stat : 12215 (java) S 12205 12207 11816 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 117462028 1836883968 46193 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12207/tid=12216] ppid=12205 vsize=1793832 CPUtime=0.69 /proc/12207/task/12216/stat : 12216 (java) S 12205 12207 11816 0 -1 64 1681 0 0 0 68 1 0 0 16 0 13 0 117462028 1836883968 46193 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12207/tid=12217] ppid=12205 vsize=1793832 CPUtime=0.79 /proc/12207/task/12217/stat : 12217 (java) S 12205 12207 11816 0 -1 64 4515 0 0 0 77 2 0 0 16 0 13 0 117462028 1836883968 46193 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12207/tid=12218] ppid=12205 vsize=1793832 CPUtime=0 /proc/12207/task/12218/stat : 12218 (java) S 12205 12207 11816 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 117462028 1836883968 46193 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12207/tid=12219] ppid=12205 vsize=1793832 CPUtime=0 /proc/12207/task/12219/stat : 12219 (java) S 12205 12207 11816 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 117462028 1836883968 46193 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 4.18 Current children cumulated vsize (KiB) 1793832 [startup+6.30112 s] /proc/loadavg: 1.09 1.03 1.01 2/77 12220 /proc/meminfo: memFree=1570560/2055920 swapFree=4184540/4192956 [pid=12207] ppid=12205 vsize=1793732 CPUtime=7.6 /proc/12207/stat : 12207 (java) S 12205 12207 11816 0 -1 0 49499 0 1 0 737 23 0 0 18 0 13 0 117462018 1836781568 46229 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/12207/statm: 448433 46229 1325 9 0 446045 0 [pid=12207/tid=12209] ppid=12205 vsize=1793732 CPUtime=5.52 /proc/12207/task/12209/stat : 12209 (java) R 12205 12207 11816 0 -1 64 37710 0 1 0 536 16 0 0 25 0 13 0 117462020 1836781568 46229 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109791899 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12207/tid=12210] ppid=12205 vsize=1793732 CPUtime=0.13 /proc/12207/task/12210/stat : 12210 (java) S 12205 12207 11816 0 -1 64 2149 0 0 0 12 1 0 0 16 0 13 0 117462021 1836781568 46229 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12207/tid=12211] ppid=12205 vsize=1793732 CPUtime=0.12 /proc/12207/task/12211/stat : 12211 (java) S 12205 12207 11816 0 -1 64 2571 0 0 0 12 0 0 0 16 0 13 0 117462021 1836781568 46229 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12207/tid=12212] ppid=12205 vsize=1793732 CPUtime=0 /proc/12207/task/12212/stat : 12212 (java) S 12205 12207 11816 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 117462023 1836781568 46229 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=12207/tid=12213] ppid=12205 vsize=1793732 CPUtime=0 /proc/12207/task/12213/stat : 12213 (java) S 12205 12207 11816 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 117462024 1836781568 46229 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12207/tid=12214] ppid=12205 vsize=1793732 CPUtime=0 /proc/12207/task/12214/stat : 12214 (java) S 12205 12207 11816 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 117462024 1836781568 46229 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12207/tid=12215] ppid=12205 vsize=1793732 CPUtime=0 /proc/12207/task/12215/stat : 12215 (java) S 12205 12207 11816 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 117462028 1836781568 46229 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12207/tid=12216] ppid=12205 vsize=1793732 CPUtime=0.84 /proc/12207/task/12216/stat : 12216 (java) S 12205 12207 11816 0 -1 64 1800 0 0 0 83 1 0 0 16 0 13 0 117462028 1836781568 46229 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12207/tid=12217] ppid=12205 vsize=1793732 CPUtime=0.93 /proc/12207/task/12217/stat : 12217 (java) S 12205 12207 11816 0 -1 64 4536 0 0 0 91 2 0 0 16 0 13 0 117462028 1836781568 46229 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12207/tid=12218] ppid=12205 vsize=1793732 CPUtime=0 /proc/12207/task/12218/stat : 12218 (java) S 12205 12207 11816 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 117462028 1836781568 46229 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12207/tid=12219] ppid=12205 vsize=1793732 CPUtime=0 /proc/12207/task/12219/stat : 12219 (java) S 12205 12207 11816 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 117462028 1836781568 46229 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12207/tid=12220] ppid=12205 vsize=1793732 CPUtime=0 /proc/12207/task/12220/stat : 12220 (java) S 12205 12207 11816 0 -1 64 5 0 0 0 0 0 0 0 25 0 13 0 117462234 1836781568 46229 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 7.6 Current children cumulated vsize (KiB) 1793732 [startup+12.7013 s] /proc/loadavg: 1.09 1.02 1.00 2/77 12220 /proc/meminfo: memFree=1550208/2055920 swapFree=4184540/4192956 [pid=12207] ppid=12205 vsize=1793732 CPUtime=14.13 /proc/12207/stat : 12207 (java) S 12205 12207 11816 0 -1 0 54689 0 1 0 1387 26 0 0 18 0 13 0 117462018 1836781568 51370 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/12207/statm: 448433 51370 1325 9 0 446045 0 [pid=12207/tid=12209] ppid=12205 vsize=1793732 CPUtime=11.8 /proc/12207/task/12209/stat : 12209 (java) R 12205 12207 11816 0 -1 64 37712 0 1 0 1164 16 0 0 25 0 13 0 117462020 1836781568 51370 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109792031 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12207/tid=12210] ppid=12205 vsize=1793732 CPUtime=0.25 /proc/12207/task/12210/stat : 12210 (java) S 12205 12207 11816 0 -1 64 5069 0 0 0 23 2 0 0 16 0 13 0 117462021 1836781568 51370 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12207/tid=12211] ppid=12205 vsize=1793732 CPUtime=0.25 /proc/12207/task/12211/stat : 12211 (java) S 12205 12207 11816 0 -1 64 4837 0 0 0 24 1 0 0 16 0 13 0 117462021 1836781568 51370 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12207/tid=12212] ppid=12205 vsize=1793732 CPUtime=0 /proc/12207/task/12212/stat : 12212 (java) S 12205 12207 11816 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 117462023 1836781568 51370 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=12207/tid=12213] ppid=12205 vsize=1793732 CPUtime=0 /proc/12207/task/12213/stat : 12213 (java) S 12205 12207 11816 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 117462024 1836781568 51370 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12207/tid=12214] ppid=12205 vsize=1793732 CPUtime=0 /proc/12207/task/12214/stat : 12214 (java) S 12205 12207 11816 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 117462024 1836781568 51370 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12207/tid=12215] ppid=12205 vsize=1793732 CPUtime=0 /proc/12207/task/12215/stat : 12215 (java) S 12205 12207 11816 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 117462028 1836781568 51370 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12207/tid=12216] ppid=12205 vsize=1793732 CPUtime=0.84 /proc/12207/task/12216/stat : 12216 (java) S 12205 12207 11816 0 -1 64 1800 0 0 0 83 1 0 0 16 0 13 0 117462028 1836781568 51370 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12207/tid=12217] ppid=12205 vsize=1793732 CPUtime=0.94 /proc/12207/task/12217/stat : 12217 (java) S 12205 12207 11816 0 -1 64 4536 0 0 0 92 2 0 0 16 0 13 0 117462028 1836781568 51370 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12207/tid=12218] ppid=12205 vsize=1793732 CPUtime=0 /proc/12207/task/12218/stat : 12218 (java) S 12205 12207 11816 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 117462028 1836781568 51370 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12207/tid=12219] ppid=12205 vsize=1793732 CPUtime=0 /proc/12207/task/12219/stat : 12219 (java) S 12205 12207 11816 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 117462028 1836781568 51370 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12207/tid=12220] ppid=12205 vsize=1793732 CPUtime=0 /proc/12207/task/12220/stat : 12220 (java) S 12205 12207 11816 0 -1 64 5 0 0 0 0 0 0 0 25 0 13 0 117462234 1836781568 51370 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 14.13 Current children cumulated vsize (KiB) 1793732 [startup+25.5028 s] /proc/loadavg: 1.07 1.02 1.00 2/77 12220 /proc/meminfo: memFree=1542400/2055920 swapFree=4184540/4192956 [pid=12207] ppid=12205 vsize=1793732 CPUtime=27.16 /proc/12207/stat : 12207 (java) S 12205 12207 11816 0 -1 0 56681 0 1 0 2689 27 0 0 18 0 13 0 117462018 1836781568 53348 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/12207/statm: 448433 53348 1325 9 0 446045 0 [pid=12207/tid=12209] ppid=12205 vsize=1793732 CPUtime=24.37 /proc/12207/task/12209/stat : 12209 (java) R 12205 12207 11816 0 -1 64 37714 0 1 0 2421 16 0 0 25 0 13 0 117462020 1836781568 53348 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109774400 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12207/tid=12210] ppid=12205 vsize=1793732 CPUtime=0.47 /proc/12207/task/12210/stat : 12210 (java) S 12205 12207 11816 0 -1 64 5844 0 0 0 45 2 0 0 17 0 13 0 117462021 1836781568 53348 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12207/tid=12211] ppid=12205 vsize=1793732 CPUtime=0.47 /proc/12207/task/12211/stat : 12211 (java) S 12205 12207 11816 0 -1 64 6050 0 0 0 45 2 0 0 17 0 13 0 117462021 1836781568 53348 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12207/tid=12212] ppid=12205 vsize=1793732 CPUtime=0 /proc/12207/task/12212/stat : 12212 (java) S 12205 12207 11816 0 -1 64 12 0 0 0 0 0 0 0 16 0 13 0 117462023 1836781568 53348 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=12207/tid=12213] ppid=12205 vsize=1793732 CPUtime=0 /proc/12207/task/12213/stat : 12213 (java) S 12205 12207 11816 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 117462024 1836781568 53348 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 ################ # More data... # ################ [pid=12207] ppid=12205 vsize=1793732 CPUtime=1672.13 /proc/12207/stat : 12207 (java) S 12205 12207 11816 0 -1 0 462537 0 1 0 166881 332 0 0 18 0 13 0 117462018 1836781568 54468 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/12207/statm: 448433 54468 1332 9 0 446045 0 [pid=12207/tid=12209] ppid=12205 vsize=1793732 CPUtime=1649.77 /proc/12207/task/12209/stat : 12209 (java) R 12205 12207 11816 0 -1 64 45391 0 1 0 164937 40 0 0 17 0 13 0 117462020 1836781568 54468 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109792590 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12207/tid=12210] ppid=12205 vsize=1793732 CPUtime=9.52 /proc/12207/task/12210/stat : 12210 (java) S 12205 12207 11816 0 -1 64 215576 0 0 0 821 131 0 0 16 0 13 0 117462021 1836781568 54468 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12207/tid=12211] ppid=12205 vsize=1793732 CPUtime=9.53 /proc/12207/task/12211/stat : 12211 (java) S 12205 12207 11816 0 -1 64 194002 0 0 0 833 120 0 0 16 0 13 0 117462021 1836781568 54468 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12207/tid=12212] ppid=12205 vsize=1793732 CPUtime=1.07 /proc/12207/task/12212/stat : 12212 (java) S 12205 12207 11816 0 -1 64 476 0 0 0 73 34 0 0 15 0 13 0 117462023 1836781568 54468 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=12207/tid=12213] ppid=12205 vsize=1793732 CPUtime=0 /proc/12207/task/12213/stat : 12213 (java) S 12205 12207 11816 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 117462024 1836781568 54468 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12207/tid=12214] ppid=12205 vsize=1793732 CPUtime=0 /proc/12207/task/12214/stat : 12214 (java) S 12205 12207 11816 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 117462024 1836781568 54468 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12207/tid=12215] ppid=12205 vsize=1793732 CPUtime=0 /proc/12207/task/12215/stat : 12215 (java) S 12205 12207 11816 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 117462028 1836781568 54468 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12207/tid=12216] ppid=12205 vsize=1793732 CPUtime=1.06 /proc/12207/task/12216/stat : 12216 (java) S 12205 12207 11816 0 -1 64 1814 0 0 0 105 1 0 0 17 0 13 0 117462028 1836781568 54468 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12207/tid=12217] ppid=12205 vsize=1793732 CPUtime=1.11 /proc/12207/task/12217/stat : 12217 (java) S 12205 12207 11816 0 -1 64 4553 0 0 0 109 2 0 0 16 0 13 0 117462028 1836781568 54468 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12207/tid=12218] ppid=12205 vsize=1793732 CPUtime=0 /proc/12207/task/12218/stat : 12218 (java) S 12205 12207 11816 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 117462028 1836781568 54468 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12207/tid=12219] ppid=12205 vsize=1793732 CPUtime=0 /proc/12207/task/12219/stat : 12219 (java) S 12205 12207 11816 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 117462028 1836781568 54468 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12207/tid=12220] ppid=12205 vsize=1793732 CPUtime=0 /proc/12207/task/12220/stat : 12220 (java) S 12205 12207 11816 0 -1 64 5 0 0 0 0 0 0 0 25 0 13 0 117462234 1836781568 54468 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1672.13 Current children cumulated vsize (KiB) 1793732 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/77 12418 /proc/meminfo: memFree=1527296/2055920 swapFree=4184540/4192956 [pid=12207] ppid=12205 vsize=1793732 CPUtime=1732.46 /proc/12207/stat : 12207 (java) S 12205 12207 11816 0 -1 0 465444 0 1 0 172911 335 0 0 18 0 13 0 117462018 1836781568 55975 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/12207/statm: 448433 55975 1332 9 0 446045 0 [pid=12207/tid=12209] ppid=12205 vsize=1793732 CPUtime=1709.32 /proc/12207/task/12209/stat : 12209 (java) R 12205 12207 11816 0 -1 64 46469 0 1 0 170892 40 0 0 25 0 13 0 117462020 1836781568 55975 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109791975 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12207/tid=12210] ppid=12205 vsize=1793732 CPUtime=9.91 /proc/12207/task/12210/stat : 12210 (java) S 12205 12207 11816 0 -1 64 216729 0 0 0 858 133 0 0 16 0 13 0 117462021 1836781568 55975 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12207/tid=12211] ppid=12205 vsize=1793732 CPUtime=9.91 /proc/12207/task/12211/stat : 12211 (java) S 12205 12207 11816 0 -1 64 194671 0 0 0 870 121 0 0 16 0 13 0 117462021 1836781568 55975 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12207/tid=12212] ppid=12205 vsize=1793732 CPUtime=1.08 /proc/12207/task/12212/stat : 12212 (java) S 12205 12207 11816 0 -1 64 483 0 0 0 74 34 0 0 16 0 13 0 117462023 1836781568 55975 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0 [pid=12207/tid=12213] ppid=12205 vsize=1793732 CPUtime=0 /proc/12207/task/12213/stat : 12213 (java) S 12205 12207 11816 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 117462024 1836781568 55975 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12207/tid=12214] ppid=12205 vsize=1793732 CPUtime=0 /proc/12207/task/12214/stat : 12214 (java) S 12205 12207 11816 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 117462024 1836781568 55975 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12207/tid=12215] ppid=12205 vsize=1793732 CPUtime=0 /proc/12207/task/12215/stat : 12215 (java) S 12205 12207 11816 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 117462028 1836781568 55975 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12207/tid=12216] ppid=12205 vsize=1793732 CPUtime=1.06 /proc/12207/task/12216/stat : 12216 (java) S 12205 12207 11816 0 -1 64 1814 0 0 0 105 1 0 0 17 0 13 0 117462028 1836781568 55975 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12207/tid=12217] ppid=12205 vsize=1793732 CPUtime=1.11 /proc/12207/task/12217/stat : 12217 (java) S 12205 12207 11816 0 -1 64 4553 0 0 0 109 2 0 0 16 0 13 0 117462028 1836781568 55975 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12207/tid=12218] ppid=12205 vsize=1793732 CPUtime=0 /proc/12207/task/12218/stat : 12218 (java) S 12205 12207 11816 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 117462028 1836781568 55975 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12207/tid=12219] ppid=12205 vsize=1793732 CPUtime=0 /proc/12207/task/12219/stat : 12219 (java) S 12205 12207 11816 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 117462028 1836781568 55975 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12207/tid=12220] ppid=12205 vsize=1793732 CPUtime=0 /proc/12207/task/12220/stat : 12220 (java) S 12205 12207 11816 0 -1 64 5 0 0 0 0 0 0 0 25 0 13 0 117462234 1836781568 55975 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1732.46 Current children cumulated vsize (KiB) 1793732 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/77 12418 /proc/meminfo: memFree=1530432/2055920 swapFree=4184540/4192956 [pid=12207] ppid=12205 vsize=1793732 CPUtime=1792.86 /proc/12207/stat : 12207 (java) S 12205 12207 11816 0 -1 0 467356 0 1 0 178949 337 0 0 18 0 13 0 117462018 1836781568 55335 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/12207/statm: 448433 55335 1332 9 0 446045 0 [pid=12207/tid=12209] ppid=12205 vsize=1793732 CPUtime=1768.61 /proc/12207/task/12209/stat : 12209 (java) R 12205 12207 11816 0 -1 64 46548 0 1 0 176820 41 0 0 25 0 13 0 117462020 1836781568 55335 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109775015 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12207/tid=12210] ppid=12205 vsize=1793732 CPUtime=10.36 /proc/12207/task/12210/stat : 12210 (java) S 12205 12207 11816 0 -1 64 217504 0 0 0 903 133 0 0 16 0 13 0 117462021 1836781568 55335 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12207/tid=12211] ppid=12205 vsize=1793732 CPUtime=10.37 /proc/12207/task/12211/stat : 12211 (java) S 12205 12207 11816 0 -1 64 195633 0 0 0 915 122 0 0 16 0 13 0 117462021 1836781568 55335 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12207/tid=12212] ppid=12205 vsize=1793732 CPUtime=1.29 /proc/12207/task/12212/stat : 12212 (java) S 12205 12207 11816 0 -1 64 579 0 0 0 94 35 0 0 16 0 13 0 117462023 1836781568 55335 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=12207/tid=12213] ppid=12205 vsize=1793732 CPUtime=0 /proc/12207/task/12213/stat : 12213 (java) S 12205 12207 11816 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 117462024 1836781568 55335 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12207/tid=12214] ppid=12205 vsize=1793732 CPUtime=0 /proc/12207/task/12214/stat : 12214 (java) S 12205 12207 11816 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 117462024 1836781568 55335 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12207/tid=12215] ppid=12205 vsize=1793732 CPUtime=0 /proc/12207/task/12215/stat : 12215 (java) S 12205 12207 11816 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 117462028 1836781568 55335 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12207/tid=12216] ppid=12205 vsize=1793732 CPUtime=1.06 /proc/12207/task/12216/stat : 12216 (java) S 12205 12207 11816 0 -1 64 1814 0 0 0 105 1 0 0 17 0 13 0 117462028 1836781568 55335 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12207/tid=12217] ppid=12205 vsize=1793732 CPUtime=1.11 /proc/12207/task/12217/stat : 12217 (java) S 12205 12207 11816 0 -1 64 4553 0 0 0 109 2 0 0 16 0 13 0 117462028 1836781568 55335 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12207/tid=12218] ppid=12205 vsize=1793732 CPUtime=0 /proc/12207/task/12218/stat : 12218 (java) S 12205 12207 11816 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 117462028 1836781568 55335 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12207/tid=12219] ppid=12205 vsize=1793732 CPUtime=0 /proc/12207/task/12219/stat : 12219 (java) S 12205 12207 11816 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 117462028 1836781568 55335 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12207/tid=12220] ppid=12205 vsize=1793732 CPUtime=0 /proc/12207/task/12220/stat : 12220 (java) S 12205 12207 11816 0 -1 64 5 0 0 0 0 0 0 0 25 0 13 0 117462234 1836781568 55335 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1792.86 Current children cumulated vsize (KiB) 1793732 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1789.5 s] /proc/loadavg: 1.00 1.00 1.00 2/77 12418 /proc/meminfo: memFree=1530944/2055920 swapFree=4184540/4192956 [pid=12207] ppid=12205 vsize=1793732 CPUtime=1800.08 /proc/12207/stat : 12207 (java) S 12205 12207 11816 0 -1 0 467364 0 1 0 179671 337 0 0 18 0 13 0 117462018 1836781568 55223 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/12207/statm: 448433 55223 1332 9 0 446045 0 [pid=12207/tid=12209] ppid=12205 vsize=1793732 CPUtime=1775.77 /proc/12207/task/12209/stat : 12209 (java) R 12205 12207 11816 0 -1 64 46556 0 1 0 177536 41 0 0 25 0 13 0 117462020 1836781568 55223 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109864819 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12207/tid=12210] ppid=12205 vsize=1793732 CPUtime=10.39 /proc/12207/task/12210/stat : 12210 (java) S 12205 12207 11816 0 -1 64 217504 0 0 0 906 133 0 0 16 0 13 0 117462021 1836781568 55223 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12207/tid=12211] ppid=12205 vsize=1793732 CPUtime=10.4 /proc/12207/task/12211/stat : 12211 (java) S 12205 12207 11816 0 -1 64 195633 0 0 0 918 122 0 0 16 0 13 0 117462021 1836781568 55223 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12207/tid=12212] ppid=12205 vsize=1793732 CPUtime=1.29 /proc/12207/task/12212/stat : 12212 (java) S 12205 12207 11816 0 -1 64 579 0 0 0 94 35 0 0 16 0 13 0 117462023 1836781568 55223 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=12207/tid=12213] ppid=12205 vsize=1793732 CPUtime=0 /proc/12207/task/12213/stat : 12213 (java) S 12205 12207 11816 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 117462024 1836781568 55223 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12207/tid=12214] ppid=12205 vsize=1793732 CPUtime=0 /proc/12207/task/12214/stat : 12214 (java) S 12205 12207 11816 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 117462024 1836781568 55223 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12207/tid=12215] ppid=12205 vsize=1793732 CPUtime=0 /proc/12207/task/12215/stat : 12215 (java) S 12205 12207 11816 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 117462028 1836781568 55223 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12207/tid=12216] ppid=12205 vsize=1793732 CPUtime=1.06 /proc/12207/task/12216/stat : 12216 (java) S 12205 12207 11816 0 -1 64 1814 0 0 0 105 1 0 0 17 0 13 0 117462028 1836781568 55223 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12207/tid=12217] ppid=12205 vsize=1793732 CPUtime=1.11 /proc/12207/task/12217/stat : 12217 (java) S 12205 12207 11816 0 -1 64 4553 0 0 0 109 2 0 0 16 0 13 0 117462028 1836781568 55223 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12207/tid=12218] ppid=12205 vsize=1793732 CPUtime=0 /proc/12207/task/12218/stat : 12218 (java) S 12205 12207 11816 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 117462028 1836781568 55223 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12207/tid=12219] ppid=12205 vsize=1793732 CPUtime=0 /proc/12207/task/12219/stat : 12219 (java) S 12205 12207 11816 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 117462028 1836781568 55223 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12207/tid=12220] ppid=12205 vsize=1793732 CPUtime=0 /proc/12207/task/12220/stat : 12220 (java) S 12205 12207 11816 0 -1 64 5 0 0 0 0 0 0 0 25 0 13 0 117462234 1836781568 55223 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 1793732 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1789.5 s] /proc/loadavg: 1.00 1.00 1.00 2/77 12418 /proc/meminfo: memFree=1530944/2055920 swapFree=4184540/4192956 [pid=12207] ppid=12205 vsize=1793732 CPUtime=1800.08 /proc/12207/stat : 12207 (java) S 12205 12207 11816 0 -1 0 467364 0 1 0 179671 337 0 0 18 0 13 0 117462018 1836781568 55223 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/12207/statm: 448433 55223 1332 9 0 446045 0 [pid=12207/tid=12209] ppid=12205 vsize=1793732 CPUtime=1775.77 /proc/12207/task/12209/stat : 12209 (java) R 12205 12207 11816 0 -1 64 46556 0 1 0 177536 41 0 0 25 0 13 0 117462020 1836781568 55223 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109864819 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12207/tid=12210] ppid=12205 vsize=1793732 CPUtime=10.39 /proc/12207/task/12210/stat : 12210 (java) S 12205 12207 11816 0 -1 64 217504 0 0 0 906 133 0 0 16 0 13 0 117462021 1836781568 55223 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12207/tid=12211] ppid=12205 vsize=1793732 CPUtime=10.4 /proc/12207/task/12211/stat : 12211 (java) S 12205 12207 11816 0 -1 64 195633 0 0 0 918 122 0 0 16 0 13 0 117462021 1836781568 55223 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12207/tid=12212] ppid=12205 vsize=1793732 CPUtime=1.29 /proc/12207/task/12212/stat : 12212 (java) S 12205 12207 11816 0 -1 64 579 0 0 0 94 35 0 0 16 0 13 0 117462023 1836781568 55223 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=12207/tid=12213] ppid=12205 vsize=1793732 CPUtime=0 /proc/12207/task/12213/stat : 12213 (java) S 12205 12207 11816 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 117462024 1836781568 55223 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12207/tid=12214] ppid=12205 vsize=1793732 CPUtime=0 /proc/12207/task/12214/stat : 12214 (java) S 12205 12207 11816 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 117462024 1836781568 55223 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12207/tid=12215] ppid=12205 vsize=1793732 CPUtime=0 /proc/12207/task/12215/stat : 12215 (java) S 12205 12207 11816 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 117462028 1836781568 55223 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12207/tid=12216] ppid=12205 vsize=1793732 CPUtime=1.06 /proc/12207/task/12216/stat : 12216 (java) S 12205 12207 11816 0 -1 64 1814 0 0 0 105 1 0 0 17 0 13 0 117462028 1836781568 55223 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=12207/tid=12217] ppid=12205 vsize=1793732 CPUtime=1.11 /proc/12207/task/12217/stat : 12217 (java) S 12205 12207 11816 0 -1 64 4553 0 0 0 109 2 0 0 16 0 13 0 117462028 1836781568 55223 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12207/tid=12218] ppid=12205 vsize=1793732 CPUtime=0 /proc/12207/task/12218/stat : 12218 (java) S 12205 12207 11816 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 117462028 1836781568 55223 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12207/tid=12219] ppid=12205 vsize=1793732 CPUtime=0 /proc/12207/task/12219/stat : 12219 (java) S 12205 12207 11816 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 117462028 1836781568 55223 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0 [pid=12207/tid=12220] ppid=12205 vsize=1793732 CPUtime=0 /proc/12207/task/12220/stat : 12220 (java) S 12205 12207 11816 0 -1 64 5 0 0 0 0 0 0 0 25 0 13 0 117462234 1836781568 55223 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 1793732 Child status: 143 Real time (s): 1789.61 CPU time (s): 1800.2 CPU user time (s): 1796.78 CPU system time (s): 3.41848 CPU usage (%): 100.592 Max. virtual memory (cumulated for all children) (KiB): 1795016 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.78 system time used= 3.41848 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 467383 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= 47300 involuntary context switches= 41250 runsolver used 2.04869 second user time and 4.76527 second system time The end
Begin job on node42 on Mon Apr 16 03:51:41 UTC 2007 IDJOB= 349322 IDBENCH= 2353 IDSOLVER= 159 FILE ID= node42/349322-1176695501 PBS_JOBID= 4560022 Free space on /tmp= 66535 MiB SOLVER NAME= SAT4JPseudoResolution 2007-03-23 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-blp-ic97.opb COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/349322-1176695501/sat4jPseudoResolution.jar /tmp/evaluation/349322-1176695501/instance-349322-1176695501.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node42/watcher-349322-1176695501 -o ROOT/results/node42/solver-349322-1176695501 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/349322-1176695501/sat4jPseudoResolution.jar /tmp/evaluation/349322-1176695501/instance-349322-1176695501.opb META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30 MD5SUM BENCH= c6beff0c06c855c4098e361c6e1a2493 RANDOM SEED= 38680207 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node42.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.277 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.277 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: 1752000 kB Buffers: 41624 kB Cached: 180140 kB SwapCached: 2568 kB Active: 77812 kB Inactive: 155752 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1752000 kB SwapTotal: 4192956 kB SwapFree: 4184540 kB Dirty: 5116 kB Writeback: 0 kB Mapped: 17040 kB Slab: 56428 kB Committed_AS: 2744512 kB PageTables: 1412 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= 66535 MiB End job on node42 on Mon Apr 16 04:21:33 UTC 2007