Trace number 349322

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
SAT4JPseudoResolution 2007-03-23? (TO) 1800.2 1789.61

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-blp-ic97.opb
MD5SUMc6beff0c06c855c4098e361c6e1a2493
Bench CategoryOPT-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 FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables11503
Total number of constraints971
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)835
Number of constraints which are nor clauses,nor cardinality constraints136
Minimum length of a constraint4
Maximum length of a constraint9784
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 numbers49
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

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

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

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

Launcher Data (download as text)

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