Trace number 2658817

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. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock 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
SAT4J PB Resolution 2.2.0 2010-05-26? (TO) 1800.19 1797.02

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-bnl1.opb
MD5SUM6c2572528741ab95a20df4da6c9423f7
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 variables35250
Total number of constraints624
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints624
Minimum length of a constraint30
Maximum length of a constraint2280
Number of terms in the objective function 29490
Biggest coefficient in the objective function 12938266856652800
Number of bits for the biggest coefficient in the objective function 54
Sum of the numbers in the objective function 1063579760735919966
Number of bits of the sum of numbers in the objective function 60
Biggest number in a constraint 12938266856652800
Number of bits of the biggest number in a constraint 54
Biggest sum of numbers in a constraint 1063579760735919966
Number of bits of the biggest sum of numbers60
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

0.08/0.14	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.08/0.14	c This is free software under the dual EPL/GNU LGPL licenses.
0.08/0.14	c See www.sat4j.org for details.
0.08/0.15	c version 2.2.0.v20100526
0.08/0.15	c java.runtime.name	Java(TM) SE Runtime Environment
0.08/0.15	c java.vm.name		Java HotSpot(TM) Server VM
0.08/0.15	c java.vm.version	11.2-b01
0.08/0.15	c java.vm.vendor	Sun Microsystems Inc.
0.08/0.15	c sun.arch.data.model	32
0.08/0.15	c java.version		1.6.0_12
0.08/0.15	c os.name		Linux
0.08/0.15	c os.version		2.6.18-164.el5
0.08/0.15	c os.arch		i386
0.08/0.15	c Free memory 		1393557488
0.08/0.15	c Max memory 		1395916800
0.08/0.15	c Total memory 		1395916800
0.08/0.15	c Number of processors 	2
0.22/0.21	c Pseudo Boolean Optimization
0.22/0.21	c --- Begin Solver configuration ---
0.22/0.21	c Stops conflict analysis at the first Unique Implication Point
0.22/0.21	c org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure@1ac1fe4
0.22/0.21	c Learn all clauses as in MiniSAT
0.22/0.21	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.22/0.21	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.22/0.21	c Expensive reason simplification
0.22/0.21	c Armin Biere (Picosat) restarts strategy
0.22/0.21	c Glucose learned constraints deletion strategy
0.22/0.21	c timeout=2147483s
0.22/0.21	c DB Simplification allowed=false
0.22/0.21	c --- End Solver configuration ---
0.22/0.21	c solving HOME/instance-2658817-1276550512.opb
0.22/0.21	c reading problem ... 
3.72/2.42	c ... done. Wall clock time 2.211s.
3.72/2.42	c #vars     35250
3.72/2.42	c #constraints  14423
3.72/2.42	c constraints type 
3.72/2.42	c org.sat4j.pb.constraints.pb.MaxWatchPb => 855
18.37/16.14	c cleaning 2482 clauses out of 5000 with flag 5000/5000
31.78/29.41	c cleaning 4257 clauses out of 8518 with flag 11000/11000
46.48/44.16	c cleaning 5611 clauses out of 11261 with flag 18000/18000
63.72/61.33	c cleaning 6822 clauses out of 13650 with flag 26000/26000
83.23/80.87	c cleaning 7894 clauses out of 15828 with flag 35000/35000
103.03/100.60	c cleaning 8958 clauses out of 17934 with flag 45000/45000
123.13/120.75	c cleaning 9482 clauses out of 18977 with flag 55001/55001
143.13/140.73	c cleaning 9747 clauses out of 19494 with flag 65000/65000
162.23/159.80	c cleaning 9874 clauses out of 19748 with flag 75001/75001
182.24/179.87	c cleaning 9928 clauses out of 19873 with flag 85000/85000
201.44/199.08	c cleaning 9966 clauses out of 19945 with flag 95000/95000
219.95/217.57	c cleaning 9976 clauses out of 19979 with flag 105000/105000
238.95/236.57	c cleaning 9998 clauses out of 20004 with flag 115001/115001
258.94/256.50	c cleaning 9981 clauses out of 20005 with flag 125000/125000
278.69/276.24	c cleaning 10007 clauses out of 20024 with flag 135000/135000
298.79/296.39	c cleaning 10001 clauses out of 20017 with flag 145000/145000
318.80/316.34	c cleaning 9988 clauses out of 20016 with flag 155000/155000
337.90/335.43	c cleaning 10003 clauses out of 20028 with flag 165000/165000
357.10/354.60	c cleaning 9995 clauses out of 20025 with flag 175000/175000
378.89/376.49	c cleaning 10007 clauses out of 20030 with flag 185000/185000
399.30/396.80	c cleaning 9997 clauses out of 20023 with flag 195000/195000
418.90/416.47	c cleaning 9999 clauses out of 20026 with flag 205000/205000
439.01/436.52	c cleaning 10002 clauses out of 20027 with flag 215000/215000
457.59/455.10	c cleaning 9990 clauses out of 20025 with flag 225000/225000
476.40/474.00	c cleaning 10002 clauses out of 20035 with flag 235000/235000
494.79/492.32	c cleaning 10010 clauses out of 20033 with flag 245000/245000
511.88/509.40	c cleaning 9998 clauses out of 20023 with flag 255000/255000
531.10/528.68	c cleaning 10003 clauses out of 20025 with flag 265000/265000
551.79/549.36	c cleaning 10002 clauses out of 20022 with flag 275000/275000
571.80/569.33	c cleaning 10000 clauses out of 20020 with flag 285000/285000
591.60/589.12	c cleaning 9990 clauses out of 20021 with flag 295001/295001
612.39/609.94	c cleaning 10003 clauses out of 20031 with flag 305001/305001
633.49/631.07	c cleaning 10005 clauses out of 20027 with flag 315000/315000
654.59/652.10	c cleaning 9978 clauses out of 20022 with flag 325000/325000
666.16/663.44	c cleaning 10018 clauses out of 20045 with flag 335001/335001
678.95/675.84	c cleaning 10008 clauses out of 20026 with flag 345000/345000
692.15/689.03	c cleaning 10006 clauses out of 20019 with flag 355001/355001
703.85/700.71	c cleaning 9992 clauses out of 20012 with flag 365000/365000
716.55/713.47	c cleaning 9994 clauses out of 20020 with flag 375000/375000
728.84/725.76	c cleaning 10011 clauses out of 20027 with flag 385001/385001
741.54/738.43	c cleaning 9998 clauses out of 20016 with flag 395001/395001
753.64/750.54	c cleaning 9992 clauses out of 20017 with flag 405000/405000
766.13/763.08	c cleaning 10000 clauses out of 20025 with flag 415000/415000
778.73/775.64	c cleaning 10001 clauses out of 20025 with flag 425000/425000
790.73/787.67	c cleaning 10004 clauses out of 20025 with flag 435001/435001
804.62/801.51	c cleaning 10003 clauses out of 20020 with flag 445000/445000
817.13/814.09	c cleaning 9998 clauses out of 20018 with flag 455001/455001
830.52/827.49	c cleaning 9993 clauses out of 20019 with flag 465000/465000
842.82/839.75	c cleaning 10004 clauses out of 20027 with flag 475001/475001
856.82/853.75	c cleaning 9996 clauses out of 20022 with flag 485000/485000
869.51/866.45	c cleaning 10006 clauses out of 20027 with flag 495001/495001
880.21/877.15	c cleaning 9989 clauses out of 20020 with flag 505000/505000
889.81/886.72	c cleaning 10007 clauses out of 20031 with flag 515000/515000
898.91/895.87	c cleaning 10003 clauses out of 20024 with flag 525000/525000
908.51/905.44	c cleaning 9993 clauses out of 20021 with flag 535000/535000
918.02/914.93	c cleaning 10007 clauses out of 20030 with flag 545002/545002
927.92/924.82	c cleaning 9996 clauses out of 20021 with flag 555000/555000
939.62/936.50	c cleaning 9996 clauses out of 20025 with flag 565000/565000
950.92/947.82	c cleaning 10001 clauses out of 20029 with flag 575000/575000
962.33/959.27	c cleaning 9993 clauses out of 20028 with flag 585000/585000
973.82/970.70	c cleaning 10011 clauses out of 20035 with flag 595000/595000
982.32/979.25	c cleaning 10004 clauses out of 20024 with flag 605000/605000
991.12/988.05	c cleaning 10005 clauses out of 20021 with flag 615001/615001
999.63/996.52	c cleaning 9999 clauses out of 20016 with flag 625001/625001
1008.32/1005.28	c cleaning 9993 clauses out of 20017 with flag 635001/635001
1017.53/1014.46	c cleaning 10004 clauses out of 20023 with flag 645000/645000
1026.93/1023.85	c cleaning 10004 clauses out of 20019 with flag 655000/655000
1036.43/1033.38	c cleaning 9999 clauses out of 20016 with flag 665001/665001
1045.63/1042.58	c cleaning 10003 clauses out of 20017 with flag 675001/675001
1054.93/1051.82	c cleaning 9998 clauses out of 20014 with flag 685001/685001
1063.24/1060.14	c cleaning 9997 clauses out of 20015 with flag 695000/695000
1071.44/1068.33	c cleaning 10002 clauses out of 20019 with flag 705001/705001
1079.84/1076.71	c cleaning 10000 clauses out of 20016 with flag 715000/715000
1088.54/1085.41	c cleaning 9996 clauses out of 20016 with flag 725000/725000
1097.24/1094.19	c cleaning 10003 clauses out of 20020 with flag 735000/735000
1105.34/1102.26	c cleaning 10001 clauses out of 20019 with flag 745002/745002
1113.34/1110.25	c cleaning 10001 clauses out of 20017 with flag 755001/755001
1122.27/1119.16	c cleaning 9995 clauses out of 20016 with flag 765001/765001
1131.47/1128.32	c cleaning 9998 clauses out of 20020 with flag 775000/775000
1139.47/1136.34	c cleaning 10003 clauses out of 20022 with flag 785000/785000
1147.67/1144.53	c cleaning 10006 clauses out of 20020 with flag 795001/795001
1155.78/1152.60	c cleaning 9997 clauses out of 20014 with flag 805001/805001
1163.69/1160.55	c cleaning 9999 clauses out of 20017 with flag 815001/815001
1171.98/1168.86	c cleaning 10001 clauses out of 20018 with flag 825001/825001
1180.18/1177.04	c cleaning 10000 clauses out of 20016 with flag 835000/835000
1188.28/1185.15	c cleaning 10002 clauses out of 20016 with flag 845000/845000
1195.89/1192.74	c cleaning 10001 clauses out of 20014 with flag 855000/855000
1203.48/1200.37	c cleaning 9997 clauses out of 20013 with flag 865000/865000
1211.18/1208.03	c cleaning 10002 clauses out of 20017 with flag 875001/875001
1219.28/1216.10	c cleaning 10003 clauses out of 20015 with flag 885001/885001
1227.39/1224.26	c cleaning 10000 clauses out of 20011 with flag 895000/895000
1235.28/1232.17	c cleaning 9999 clauses out of 20012 with flag 905001/905001
1244.18/1241.05	c cleaning 9996 clauses out of 20012 with flag 915000/915000
1252.48/1249.33	c cleaning 10001 clauses out of 20017 with flag 925001/925001
1260.88/1257.78	c cleaning 9998 clauses out of 20015 with flag 935000/935000
1268.98/1265.88	c cleaning 10001 clauses out of 20017 with flag 945000/945000
1277.08/1273.93	c cleaning 10003 clauses out of 20016 with flag 955000/955000
1285.07/1281.98	c cleaning 10000 clauses out of 20014 with flag 965001/965001
1293.28/1290.17	c cleaning 10000 clauses out of 20014 with flag 975001/975001
1301.47/1298.31	c cleaning 9994 clauses out of 20013 with flag 985000/985000
1309.99/1306.89	c cleaning 10002 clauses out of 20019 with flag 995000/995000
1318.28/1315.17	c cleaning 10001 clauses out of 20018 with flag 1005001/1005001
1326.87/1323.72	c cleaning 9999 clauses out of 20017 with flag 1015001/1015001
1335.28/1332.12	c cleaning 10000 clauses out of 20017 with flag 1025000/1025000
1343.08/1339.94	c cleaning 10002 clauses out of 20018 with flag 1035001/1035001
1350.88/1347.75	c cleaning 10000 clauses out of 20017 with flag 1045002/1045002
1358.59/1355.43	c cleaning 9998 clauses out of 20015 with flag 1055000/1055000
1366.48/1363.35	c cleaning 9999 clauses out of 20017 with flag 1065000/1065000
1375.18/1372.00	c cleaning 10000 clauses out of 20018 with flag 1075000/1075000
1383.38/1380.21	c cleaning 9996 clauses out of 20018 with flag 1085000/1085000
1391.78/1388.68	c cleaning 10002 clauses out of 20023 with flag 1095001/1095001
1400.57/1397.46	c cleaning 10002 clauses out of 20021 with flag 1105001/1105001
1409.47/1406.33	c cleaning 10000 clauses out of 20018 with flag 1115000/1115000
1418.48/1415.35	c cleaning 10001 clauses out of 20018 with flag 1125000/1125000
1426.78/1423.68	c cleaning 9996 clauses out of 20018 with flag 1135001/1135001
1434.97/1431.80	c cleaning 10000 clauses out of 20022 with flag 1145001/1145001
1443.77/1440.69	c cleaning 10000 clauses out of 20021 with flag 1155000/1155000
1452.46/1449.35	c cleaning 10001 clauses out of 20022 with flag 1165001/1165001
1460.76/1457.60	c cleaning 10003 clauses out of 20021 with flag 1175001/1175001
1469.66/1466.59	c cleaning 10003 clauses out of 20020 with flag 1185003/1185003
1478.16/1475.09	c cleaning 9996 clauses out of 20014 with flag 1195000/1195000
1486.86/1483.72	c cleaning 10002 clauses out of 20019 with flag 1205001/1205001
1495.56/1492.42	c cleaning 9999 clauses out of 20016 with flag 1215000/1215000
1503.96/1500.87	c cleaning 10000 clauses out of 20017 with flag 1225000/1225000
1512.76/1509.65	c cleaning 9999 clauses out of 20017 with flag 1235000/1235000
1521.35/1518.25	c cleaning 9995 clauses out of 20018 with flag 1245000/1245000
1529.97/1526.86	c cleaning 10002 clauses out of 20024 with flag 1255001/1255001
1538.85/1535.74	c cleaning 10003 clauses out of 20021 with flag 1265000/1265000
1547.25/1544.15	c cleaning 9997 clauses out of 20018 with flag 1275000/1275000
1555.45/1552.38	c cleaning 10002 clauses out of 20021 with flag 1285000/1285000
1564.06/1560.91	c cleaning 9999 clauses out of 20020 with flag 1295001/1295001
1572.46/1569.37	c cleaning 10001 clauses out of 20020 with flag 1305000/1305000
1581.35/1578.26	c cleaning 10000 clauses out of 20019 with flag 1315000/1315000
1589.15/1586.05	c cleaning 9999 clauses out of 20020 with flag 1325001/1325001
1597.76/1594.61	c cleaning 10003 clauses out of 20020 with flag 1335000/1335000
1606.05/1602.95	c cleaning 10000 clauses out of 20018 with flag 1345001/1345001
1614.56/1611.45	c cleaning 10001 clauses out of 20018 with flag 1355001/1355001
1622.96/1619.83	c cleaning 10002 clauses out of 20016 with flag 1365000/1365000
1631.56/1628.47	c cleaning 9998 clauses out of 20015 with flag 1375001/1375001
1640.97/1637.84	c cleaning 10002 clauses out of 20018 with flag 1385002/1385002
1649.16/1646.05	c cleaning 10001 clauses out of 20014 with flag 1395000/1395000
1657.46/1654.38	c cleaning 9998 clauses out of 20014 with flag 1405001/1405001
1666.15/1663.01	c cleaning 10000 clauses out of 20015 with flag 1415000/1415000
1674.75/1671.66	c cleaning 10000 clauses out of 20015 with flag 1425000/1425000
1683.35/1680.24	c cleaning 9996 clauses out of 20015 with flag 1435000/1435000
1691.76/1688.66	c cleaning 10003 clauses out of 20019 with flag 1445000/1445000
1700.15/1697.07	c cleaning 10005 clauses out of 20016 with flag 1455000/1455000
1709.16/1706.10	c cleaning 9998 clauses out of 20011 with flag 1465000/1465000
1718.06/1714.95	c cleaning 10002 clauses out of 20013 with flag 1475000/1475000
1727.45/1724.30	c cleaning 9999 clauses out of 20013 with flag 1485002/1485002
1736.35/1733.24	c cleaning 9998 clauses out of 20013 with flag 1495001/1495001
1745.15/1742.08	c cleaning 9999 clauses out of 20015 with flag 1505001/1505001
1754.36/1751.25	c cleaning 9999 clauses out of 20015 with flag 1515000/1515000
1762.95/1759.80	c cleaning 10000 clauses out of 20016 with flag 1525000/1525000
1771.25/1768.14	c cleaning 9997 clauses out of 20016 with flag 1535000/1535000
1780.14/1777.02	c cleaning 9999 clauses out of 20019 with flag 1545000/1545000
1789.14/1786.00	c cleaning 10000 clauses out of 20021 with flag 1555001/1555001
1797.74/1794.61	c cleaning 10002 clauses out of 20020 with flag 1565000/1565000
1800.05/1796.92	c starts		: 208
1800.05/1796.92	c conflicts		: 1568077
1800.05/1796.92	c decisions		: 1608096
1800.05/1796.92	c propagations		: 17878767
1800.05/1796.92	c inspects		: 552626836
1800.05/1796.92	c learnt literals	: 0
1800.05/1796.92	c learnt binary clauses	: 5
1800.05/1796.92	c learnt ternary clauses	: 5
1800.05/1796.92	c learnt clauses	: 1568077
1800.05/1796.92	c ignored clauses	: 0
1800.05/1796.92	c root simplifications	: 0
1800.05/1796.92	c removed literals (reason simplification)	: 125177290
1800.05/1796.92	c reason swapping (by a shorter reason)	: 0
1800.05/1796.92	c Calls to reduceDB	: 158
1800.05/1796.92	c number of reductions to clauses (during analyze)	: 0
1800.05/1796.92	c number of learned constraints concerned by reduction	: 0
1800.05/1796.92	c number of learning phase by resolution	: 0
1800.05/1796.92	c number of learning phase by cutting planes	: 0
1800.05/1796.92	c speed (assignments/second)	: 9963.169397810849
1800.05/1796.92	c non guided choices	381
1800.05/1796.94	c learnt constraints type 
1800.05/1796.94	c org.sat4j.minisat.constraints.cnf.LearntHTClause => 13119
1800.05/1796.94	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 5
1800.05/1796.94	c constraints type 
1800.05/1796.94	c org.sat4j.pb.constraints.pb.MaxWatchPb => 855
1800.05/1796.94	s UNKNOWN
1800.05/1796.94	c Total wall clock time (in seconds): 1796.729

Verifier Data

ERROR: no interpretation found !

Watcher Data

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2658817-1276550512/watcher-2658817-1276550512 -o /tmp/evaluation-result-2658817-1276550512/solver-2658817-1276550512 -C 1800 -W 2000 -M 1800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar HOME/instance-2658817-1276550512.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): 2000 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
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.03 1.03 3/106 32461
/proc/meminfo: memFree=1818716/2059040 swapFree=4140012/4192956
[pid=32461] ppid=32459 vsize=1832 CPUtime=0
/proc/32461/stat : 32461 (java6) R 32459 32461 32258 0 -1 4194304 219 0 0 0 0 0 0 0 16 0 1 0 30654849 1875968 122 1992294400 134512640 134550932 4294625056 18446744073709551615 3179271 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/32461/statm: 458 128 92 10 0 63 0

[startup+0.069362 s]
/proc/loadavg: 1.00 1.03 1.03 3/106 32461
/proc/meminfo: memFree=1818716/2059040 swapFree=4140012/4192956
[pid=32461] ppid=32459 vsize=1521796 CPUtime=0.05
/proc/32461/stat : 32461 (java) S 32459 32461 32258 0 -1 4202496 3681 0 1 0 4 1 0 0 15 0 7 0 30654849 1558319104 3122 1992294400 134512640 134550932 4294310144 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/32461/statm: 380449 3122 1033 10 0 377759 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 1521796

[startup+0.101365 s]
/proc/loadavg: 1.00 1.03 1.03 3/106 32461
/proc/meminfo: memFree=1818716/2059040 swapFree=4140012/4192956
[pid=32461] ppid=32459 vsize=1524184 CPUtime=0.08
/proc/32461/stat : 32461 (java) S 32459 32461 32258 0 -1 4202496 3953 0 1 0 6 2 0 0 15 0 12 0 30654849 1560764416 3392 1992294400 134512640 134550932 4294310144 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32461/statm: 381046 3392 1076 10 0 378348 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1524184

[startup+0.301392 s]
/proc/loadavg: 1.00 1.03 1.03 3/106 32461
/proc/meminfo: memFree=1818716/2059040 swapFree=4140012/4192956
[pid=32461] ppid=32459 vsize=1526892 CPUtime=0.36
/proc/32461/stat : 32461 (java) S 32459 32461 32258 0 -1 4202496 5587 0 1 0 34 2 0 0 15 0 12 0 30654849 1563537408 5024 1992294400 134512640 134550932 4294310144 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32461/statm: 381723 5024 1362 10 0 379025 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 1526892

[startup+0.711877 s]
/proc/loadavg: 1.00 1.03 1.03 3/106 32461
/proc/meminfo: memFree=1818716/2059040 swapFree=4140012/4192956
[pid=32461] ppid=32459 vsize=1528276 CPUtime=1.04
/proc/32461/stat : 32461 (java) S 32459 32461 32258 0 -1 4202496 9587 0 1 0 100 4 0 0 15 0 12 0 30654849 1564954624 8908 1992294400 134512640 134550932 4294310144 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32461/statm: 382069 8908 1400 10 0 379371 0
Current children cumulated CPU time (s) 1.04
Current children cumulated vsize (KiB) 1528276

[startup+1.50153 s]
/proc/loadavg: 1.00 1.03 1.03 4/118 32473
/proc/meminfo: memFree=1771368/2059040 swapFree=4140012/4192956
[pid=32461] ppid=32459 vsize=1542516 CPUtime=2.57
/proc/32461/stat : 32461 (java) S 32459 32461 32258 0 -1 4202496 24229 0 1 0 244 13 0 0 15 0 12 0 30654849 1579536384 21826 1992294400 134512640 134550932 4294310144 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32461/statm: 385629 21826 1406 10 0 382931 0
[pid=32461/tid=32463] ppid=32459 vsize=1542516 CPUtime=1.33
/proc/32461/task/32463/stat : 32463 (java) R 32459 32461 32258 0 -1 4202560 16746 0 1 0 124 9 0 0 25 0 12 0 30654850 1579536384 21826 1992294400 134512640 134550932 4294310144 18446744073709551615 4109374222 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=32461/tid=32464] ppid=32459 vsize=1542516 CPUtime=0
/proc/32461/task/32464/stat : 32464 (java) S 32459 32461 32258 0 -1 4202560 4 0 0 0 0 0 0 0 17 0 12 0 30654852 1579536384 21826 1992294400 134512640 134550932 4294310144 18446744073709551615 4294960144 0 4 0 16800975 18446604435773864832 0 0 -1 0 0 0 0
[pid=32461/tid=32465] ppid=32459 vsize=1542516 CPUtime=0
/proc/32461/task/32465/stat : 32465 (java) S 32459 32461 32258 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 12 0 30654852 1579536384 21826 1992294400 134512640 134550932 4294310144 18446744073709551615 4294960144 0 4 0 16800975 18446604435773864832 0 0 -1 0 0 0 0
[pid=32461/tid=32466] ppid=32459 vsize=1542516 CPUtime=0
/proc/32461/task/32466/stat : 32466 (java) S 32459 32461 32258 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 12 0 30654854 1579536384 21826 1992294400 134512640 134550932 4294310144 18446744073709551615 4294960144 0 0 0 16800975 18446604435773864832 0 0 -1 0 0 0 0
[pid=32461/tid=32467] ppid=32459 vsize=1542516 CPUtime=0
/proc/32461/task/32467/stat : 32467 (java) S 32459 32461 32258 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 12 0 30654854 1579536384 21826 1992294400 134512640 134550932 4294310144 18446744073709551615 4294960144 0 4 0 16800975 18446604435773864832 0 0 -1 0 0 0 0
[pid=32461/tid=32468] ppid=32459 vsize=1542516 CPUtime=0
/proc/32461/task/32468/stat : 32468 (java) S 32459 32461 32258 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 12 0 30654854 1579536384 21826 1992294400 134512640 134550932 4294310144 18446744073709551615 4294960144 0 4 0 16800975 18446604435773864832 0 0 -1 0 0 0 0
[pid=32461/tid=32469] ppid=32459 vsize=1542516 CPUtime=0
/proc/32461/task/32469/stat : 32469 (java) S 32459 32461 32258 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 12 0 30654858 1579536384 21826 1992294400 134512640 134550932 4294310144 18446744073709551615 4294960144 0 4 0 16800975 18446604435773864832 0 0 -1 0 0 0 0
[pid=32461/tid=32470] ppid=32459 vsize=1542516 CPUtime=0.75
/proc/32461/task/32470/stat : 32470 (java) R 32459 32461 32258 0 -1 4202560 4735 0 0 0 73 2 0 0 16 0 12 0 30654858 1579536384 21826 1992294400 134512640 134550932 4294310144 18446744073709551615 104163913 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=32461/tid=32471] ppid=32459 vsize=1542516 CPUtime=0.45
/proc/32461/task/32471/stat : 32471 (java) S 32459 32461 32258 0 -1 4202560 1684 0 0 0 45 0 0 0 16 0 12 0 30654858 1579536384 21826 1992294400 134512640 134550932 4294310144 18446744073709551615 4294960144 0 4 0 16800975 18446604435773864832 0 0 -1 1 0 0 0
[pid=32461/tid=32472] ppid=32459 vsize=1542516 CPUtime=0
/proc/32461/task/32472/stat : 32472 (java) S 32459 32461 32258 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 12 0 30654858 1579536384 21826 1992294400 134512640 134550932 4294310144 18446744073709551615 4294960144 0 4 0 16800975 18446604435773864832 0 0 -1 0 0 0 0
[pid=32461/tid=32473] ppid=32459 vsize=1542516 CPUtime=0
/proc/32461/task/32473/stat : 32473 (java) S 32459 32461 32258 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 12 0 30654858 1579536384 21826 1992294400 134512640 134550932 4294310144 18446744073709551615 4294960144 0 4 0 16800975 18446604435773864832 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.57
Current children cumulated vsize (KiB) 1542516

[startup+3.10671 s]
/proc/loadavg: 1.24 1.08 1.04 2/118 32473
/proc/meminfo: memFree=1688288/2059040 swapFree=4140012/4192956
[pid=32461] ppid=32459 vsize=1541480 CPUtime=4.84
/proc/32461/stat : 32461 (java) S 32459 32461 32258 0 -1 4202496 46029 0 1 0 461 23 0 0 15 0 13 0 30654849 1578475520 42386 1992294400 134512640 134550932 4294310144 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32461/statm: 385370 42386 1437 10 0 382672 0
[pid=32461/tid=32463] ppid=32459 vsize=1541480 CPUtime=2.62
/proc/32461/task/32463/stat : 32463 (java) R 32459 32461 32258 0 -1 4202560 32047 0 1 0 246 16 0 0 19 0 13 0 30654850 1578475520 42386 1992294400 134512640 134550932 4294310144 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=32461/tid=32464] ppid=32459 vsize=1541480 CPUtime=0.09
/proc/32461/task/32464/stat : 32464 (java) S 32459 32461 32258 0 -1 4202560 2592 0 0 0 8 1 0 0 16 0 13 0 30654852 1578475520 42386 1992294400 134512640 134550932 4294310144 18446744073709551615 4294960144 0 4 0 16800975 18446604435773864832 0 0 -1 0 0 0 0
[pid=32461/tid=32465] ppid=32459 vsize=1541480 CPUtime=0.09
/proc/32461/task/32465/stat : 32465 (java) S 32459 32461 32258 0 -1 4202560 2787 0 0 0 8 1 0 0 18 0 13 0 30654852 1578475520 42386 1992294400 134512640 134550932 4294310144 18446744073709551615 4294960144 0 4 0 16800975 18446604435773864832 0 0 -1 0 0 0 0
[pid=32461/tid=32466] ppid=32459 vsize=1541480 CPUtime=0
/proc/32461/task/32466/stat : 32466 (java) S 32459 32461 32258 0 -1 4202560 7 0 0 0 0 0 0 0 16 0 13 0 30654854 1578475520 42386 1992294400 134512640 134550932 4294310144 18446744073709551615 4294960144 0 0 0 16800975 18446604435773864832 0 0 -1 1 0 0 0
[pid=32461/tid=32467] ppid=32459 vsize=1541480 CPUtime=0
/proc/32461/task/32467/stat : 32467 (java) S 32459 32461 32258 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 13 0 30654854 1578475520 42386 1992294400 134512640 134550932 4294310144 18446744073709551615 4294960144 0 4 0 16800975 18446604435773864832 0 0 -1 0 0 0 0
[pid=32461/tid=32468] ppid=32459 vsize=1541480 CPUtime=0
/proc/32461/task/32468/stat : 32468 (java) S 32459 32461 32258 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 30654854 1578475520 42386 1992294400 134512640 134550932 4294310144 18446744073709551615 4294960144 0 4 0 16800975 18446604435773864832 0 0 -1 0 0 0 0
[pid=32461/tid=32469] ppid=32459 vsize=1541480 CPUtime=0
/proc/32461/task/32469/stat : 32469 (java) S 32459 32461 32258 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 13 0 30654858 1578475520 42386 1992294400 134512640 134550932 4294310144 18446744073709551615 4294960144 0 4 0 16800975 18446604435773864832 0 0 -1 0 0 0 0
[pid=32461/tid=32470] ppid=32459 vsize=1541480 CPUtime=1.17
/proc/32461/task/32470/stat : 32470 (java) R 32459 32461 32258 0 -1 4202560 5379 0 0 0 115 2 0 0 15 0 13 0 30654858 1578475520 42386 1992294400 134512640 134550932 4294310144 18446744073709551615 102095231 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=32461/tid=32471] ppid=32459 vsize=1541480 CPUtime=0.82
/proc/32461/task/32471/stat : 32471 (java) R 32459 32461 32258 0 -1 4202560 2152 0 0 0 82 0 0 0 15 0 13 0 30654858 1578475520 42386 1992294400 134512640 134550932 4294310144 18446744073709551615 105869508 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=32461/tid=32472] ppid=32459 vsize=1541480 CPUtime=0
/proc/32461/task/32472/stat : 32472 (java) S 32459 32461 32258 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 13 0 30654858 1578475520 42386 1992294400 134512640 134550932 4294310144 18446744073709551615 4294960144 0 4 0 16800975 18446604435773864832 0 0 -1 0 0 0 0
[pid=32461/tid=32473] ppid=32459 vsize=1541480 CPUtime=0
/proc/32461/task/32473/stat : 32473 (java) S 32459 32461 32258 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 13 0 30654858 1578475520 42386 1992294400 134512640 134550932 4294310144 18446744073709551615 4294960144 0 4 0 16800975 18446604435773864832 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.84
Current children cumulated vsize (KiB) 1541480

[startup+6.30207 s]
/proc/loadavg: 1.24 1.08 1.04 2/119 32474
/proc/meminfo: memFree=1653932/2059040 swapFree=4140012/4192956
[pid=32461] ppid=32459 vsize=1540424 CPUtime=8.49
/proc/32461/stat : 32461 (java) S 32459 32461 32258 0 -1 4202496 46620 0 1 0 826 23 0 0 15 0 13 0 30654849 1577394176 42195 1992294400 134512640 134550932 4294310144 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32461/statm: 385106 42195 1440 10 0 382408 0
[pid=32461/tid=32463] ppid=32459 vsize=1540424 CPUtime=5.7
/proc/32461/task/32463/stat : 32463 (java) R 32459 32461 32258 0 -1 4202560 32056 0 1 0 554 16 0 0 25 0 13 0 30654850 1577394176 42195 1992294400 134512640 134550932 4294310144 18446744073709551615 4110018778 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=32461/tid=32464] ppid=32459 vsize=1540424 CPUtime=0.09
/proc/32461/task/32464/stat : 32464 (java) S 32459 32461 32258 0 -1 4202560 2592 0 0 0 8 1 0 0 16 0 13 0 30654852 1577394176 42195 1992294400 134512640 134550932 4294310144 18446744073709551615 4294960144 0 4 0 16800975 18446604435773864832 0 0 -1 0 0 0 0
[pid=32461/tid=32465] ppid=32459 vsize=1540424 CPUtime=0.09
/proc/32461/task/32465/stat : 32465 (java) S 32459 32461 32258 0 -1 4202560 2787 0 0 0 8 1 0 0 18 0 13 0 30654852 1577394176 42195 1992294400 134512640 134550932 4294310144 18446744073709551615 4294960144 0 4 0 16800975 18446604435773864832 0 0 -1 0 0 0 0
[pid=32461/tid=32466] ppid=32459 vsize=1540424 CPUtime=0
/proc/32461/task/32466/stat : 32466 (java) S 32459 32461 32258 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 13 0 30654854 1577394176 42195 1992294400 134512640 134550932 4294310144 18446744073709551615 4294960144 0 0 0 16800975 18446604435773864832 0 0 -1 1 0 0 0
[pid=32461/tid=32467] ppid=32459 vsize=1540424 CPUtime=0
/proc/32461/task/32467/stat : 32467 (java) S 32459 32461 32258 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 13 0 30654854 1577394176 42195 1992294400 134512640 134550932 4294310144 18446744073709551615 4294960144 0 4 0 16800975 18446604435773864832 0 0 -1 0 0 0 0
[pid=32461/tid=32468] ppid=32459 vsize=1540424 CPUtime=0
/proc/32461/task/32468/stat : 32468 (java) S 32459 32461 32258 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 30654854 1577394176 42195 1992294400 134512640 134550932 4294310144 18446744073709551615 4294960144 0 4 0 16800975 18446604435773864832 0 0 -1 0 0 0 0
[pid=32461/tid=32469] ppid=32459 vsize=1540424 CPUtime=0
/proc/32461/task/32469/stat : 32469 (java) S 32459 32461 32258 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 13 0 30654858 1577394176 42195 1992294400 134512640 134550932 4294310144 18446744073709551615 4294960144 0 4 0 16800975 18446604435773864832 0 0 -1 0 0 0 0
[pid=32461/tid=32470] ppid=32459 vsize=1540424 CPUtime=1.39
/proc/32461/task/32470/stat : 32470 (java) S 32459 32461 32258 0 -1 4202560 5399 0 0 0 137 2 0 0 15 0 13 0 30654858 1577394176 42195 1992294400 134512640 134550932 4294310144 18446744073709551615 4294960144 0 4 0 16800975 18446604435773864832 0 0 -1 0 0 0 0
[pid=32461/tid=32471] ppid=32459 vsize=1540424 CPUtime=1.17
/proc/32461/task/32471/stat : 32471 (java) S 32459 32461 32258 0 -1 4202560 2714 0 0 0 116 1 0 0 15 0 13 0 30654858 1577394176 42195 1992294400 134512640 134550932 4294310144 18446744073709551615 4294960144 0 4 0 16800975 18446604435773864832 0 0 -1 1 0 0 0
[pid=32461/tid=32472] ppid=32459 vsize=1540424 CPUtime=0
/proc/32461/task/32472/stat : 32472 (java) S 32459 32461 32258 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 13 0 30654858 1577394176 42195 1992294400 134512640 134550932 4294310144 18446744073709551615 4294960144 0 4 0 16800975 18446604435773864832 0 0 -1 0 0 0 0
[pid=32461/tid=32473] ppid=32459 vsize=1540424 CPUtime=0
/proc/32461/task/32473/stat : 32473 (java) S 32459 32461 32258 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 13 0 30654858 1577394176 42195 1992294400 134512640 134550932 4294310144 18446744073709551615 4294960144 0 4 0 16800975 18446604435773864832 0 0 -1 1 0 0 0
[pid=32461/tid=32474] ppid=32459 vsize=1540424 CPUtime=0
/proc/32461/task/32474/stat : 32474 (java) S 32459 32461 32258 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 13 0 30655152 1577394176 42195 1992294400 134512640 134550932 4294310144 18446744073709551615 4294960144 0 4 0 16800975 18446604435773864832 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 8.49
Current children cumulated vsize (KiB) 1540424

[startup+12.7018 s]
/proc/loadavg: 1.20 1.07 1.04 2/119 32474
/proc/meminfo: memFree=1632612/2059040 swapFree=4140012/4192956
[pid=32461] ppid=32459 vsize=1540424 CPUtime=14.97
/proc/32461/stat : 32461 (java) S 32459 32461 32258 0 -1 4202496 52141 0 1 0 1472 25 0 0 15 0 13 0 30654849 1577394176 47623 1992294400 134512640 134550932 4294310144 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32461/statm: 385106 47623 1440 10 0 382408 0
[pid=32461/tid=32463] ppid=32459 vsize=1540424 CPUtime=12.01
/proc/32461/task/32463/stat : 32463 (java) R 32459 32461 32258 0 -1 4202560 32058 0 1 0 1185 16 0 0 25 0 13 0 30654850 1577394176 47623 1992294400 134512640 134550932 4294310144 18446744073709551615 4110160107 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=32461/tid=32464] ppid=32459 vsize=1540424 CPUtime=0.17
/proc/32461/task/32464/stat : 32464 (java) S 32459 32461 32258 0 -1 4202560 5239 0 0 0 15 2 0 0 16 0 13 0 30654852 1577394176 47623 1992294400 134512640 134550932 4294310144 18446744073709551615 4294960144 0 4 0 16800975 18446604435773864832 0 0 -1 0 0 0 0
[pid=32461/tid=32465] ppid=32459 vsize=1540424 CPUtime=0.16
/proc/32461/task/32465/stat : 32465 (java) S 32459 32461 32258 0 -1 4202560 5659 0 0 0 14 2 0 0 18 0 13 0 30654852 1577394176 47623 1992294400 134512640 134550932 4294310144 18446744073709551615 4294960144 0 4 0 16800975 18446604435773864832 0 0 -1 1 0 0 0
[pid=32461/tid=32466] ppid=32459 vsize=1540424 CPUtime=0
/proc/32461/task/32466/stat : 32466 (java) S 32459 32461 32258 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 13 0 30654854 1577394176 47623 1992294400 134512640 134550932 4294310144 18446744073709551615 4294960144 0 0 0 16800975 18446604435773864832 0 0 -1 1 0 0 0
[pid=32461/tid=32467] ppid=32459 vsize=1540424 CPUtime=0
/proc/32461/task/32467/stat : 32467 (java) S 32459 32461 32258 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 13 0 30654854 1577394176 47623 1992294400 134512640 134550932 4294310144 18446744073709551615 4294960144 0 4 0 16800975 18446604435773864832 0 0 -1 0 0 0 0
[pid=32461/tid=32468] ppid=32459 vsize=1540424 CPUtime=0
/proc/32461/task/32468/stat : 32468 (java) S 32459 32461 32258 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 30654854 1577394176 47623 1992294400 134512640 134550932 4294310144 18446744073709551615 4294960144 0 4 0 16800975 18446604435773864832 0 0 -1 0 0 0 0
[pid=32461/tid=32469] ppid=32459 vsize=1540424 CPUtime=0
/proc/32461/task/32469/stat : 32469 (java) S 32459 32461 32258 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 13 0 30654858 1577394176 47623 1992294400 134512640 134550932 4294310144 18446744073709551615 4294960144 0 4 0 16800975 18446604435773864832 0 0 -1 0 0 0 0
[pid=32461/tid=32470] ppid=32459 vsize=1540424 CPUtime=1.39
/proc/32461/task/32470/stat : 32470 (java) S 32459 32461 32258 0 -1 4202560 5399 0 0 0 137 2 0 0 16 0 13 0 30654858 1577394176 47623 1992294400 134512640 134550932 4294310144 18446744073709551615 4294960144 0 4 0 16800975 18446604435773864832 0 0 -1 0 0 0 0
[pid=32461/tid=32471] ppid=32459 vsize=1540424 CPUtime=1.19
/proc/32461/task/32471/stat : 32471 (java) S 32459 32461 32258 0 -1 4202560 2714 0 0 0 118 1 0 0 15 0 13 0 30654858 1577394176 47623 1992294400 134512640 134550932 4294310144 18446744073709551615 4294960144 0 4 0 16800975 18446604435773864832 0 0 -1 1 0 0 0
[pid=32461/tid=32472] ppid=32459 vsize=1540424 CPUtime=0
/proc/32461/task/32472/stat : 32472 (java) S 32459 32461 32258 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 13 0 30654858 1577394176 47623 1992294400 134512640 134550932 4294310144 18446744073709551615 4294960144 0 4 0 16800975 18446604435773864832 0 0 -1 0 0 0 0
[pid=32461/tid=32473] ppid=32459 vsize=1540424 CPUtime=0
/proc/32461/task/32473/stat : 32473 (java) S 32459 32461 32258 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 13 0 30654858 1577394176 47623 1992294400 134512640 134550932 4294310144 18446744073709551615 4294960144 0 4 0 16800975 18446604435773864832 0 0 -1 1 0 0 0
[pid=32461/tid=32474] ppid=32459 vsize=1540424 CPUtime=0
/proc/32461/task/32474/stat : 32474 (java) S 32459 32461 32258 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 13 0 30655152 1577394176 47623 1992294400 134512640 134550932 4294310144 18446744073709551615 4294960144 0 4 0 16800975 18446604435773864832 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 14.97
Current children cumulated vsize (KiB) 1540424

[startup+25.5023 s]
/proc/loadavg: 1.17 1.07 1.04 2/119 32476
/proc/meminfo: memFree=1612524/2059040 swapFree=4140012/4192956
[pid=32461] ppid=32459 vsize=1541448 CPUtime=27.86
/proc/32461/stat : 32461 (java) S 32459 32461 32258 0 -1 4202496 57248 0 1 0 2759 27 0 0 15 0 13 0 30654849 1578442752 52526 1992294400 134512640 134550932 4294310144 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32461/statm: 385362 52526 1445 10 0 382664 0
[pid=32461/tid=32463] ppid=32459 vsize=1541448 CPUtime=24.56
/proc/32461/task/32463/stat : 32463 (java) R 32459 32461 32258 0 -1 4202560 32060 0 1 0 2440 16 0 0 25 0 13 0 30654850 1578442752 52526 1992294400 134512640 134550932 4294310144 18446744073709551615 4110160747 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=32461/tid=32464] ppid=32459 vsize=1541448 CPUtime=0.23
/proc/32461/task/32464/stat : 32464 (java) S 32459 32461 32258 0 -1 4202560 5310 0 0 0 21 2 0 0 16 0 13 0 30654852 1578442752 52526 1992294400 134512640 134550932 4294310144 18446744073709551615 4294960144 0 4 0 16800975 18446604435773864832 0 0 -1 0 0 0 0
[pid=32461/tid=32465] ppid=32459 vsize=1541448 CPUtime=0.22
/proc/32461/task/32465/stat : 32465 (java) S 32459 32461 32258 0 -1 4202560 5693 0 0 0 20 2 0 0 18 0 13 0 30654852 1578442752 52526 1992294400 134512640 134550932 4294310144 18446744073709551615 4294960144 0 4 0 16800975 18446604435773864832 0 0 -1 0 0 0 0
[pid=32461/tid=32466] ppid=32459 vsize=1541448 CPUtime=0.15
/proc/32461/task/32466/stat : 32466 (java) S 32459 32461 32258 0 -1 4202560 4951 0 0 0 14 1 0 0 15 0 13 0 30654854 1578442752 52526 1992294400 134512640 134550932 4294310144 18446744073709551615 4294960144 0 0 0 16800975 18446604435773864832 0 0 -1 1 0 0 0
[pid=32461/tid=32467] ppid=32459 vsize=1541448 CPUtime=0
/proc/32461/task/32467/stat : 32467 (java) S 32459 32461 32258 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 13 0 30654854 1578442752 52526 1992294400 134512640 134550932 4294310144 18446744073709551615 4294960144 0 4 0 16800975 18446604435773864832 0 0 -1 0 0 0 0
[pid=32461/tid=32468] ppid=32459 vsize=1541448 CPUtime=0

################
# More data... #
################

[pid=32461] ppid=32459 vsize=1546568 CPUtime=1665.45
/proc/32461/stat : 32461 (java) S 32459 32461 32258 0 -1 4202496 72033 0 1 0 166487 58 0 0 15 0 13 0 30654849 1583685632 56117 1992294400 134512640 134550932 4294310144 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32461/statm: 386642 56117 1445 10 0 383944 0
[pid=32461/tid=32463] ppid=32459 vsize=1546568 CPUtime=1641.98
/proc/32461/task/32463/stat : 32463 (java) R 32459 32461 32258 0 -1 4202560 32222 0 1 0 164163 35 0 0 25 0 13 0 30654850 1583685632 56117 1992294400 134512640 134550932 4294310144 18446744073709551615 4110070783 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=32461/tid=32464] ppid=32459 vsize=1546568 CPUtime=0.85
/proc/32461/task/32464/stat : 32464 (java) S 32459 32461 32258 0 -1 4202560 5683 0 0 0 81 4 0 0 15 0 13 0 30654852 1583685632 56117 1992294400 134512640 134550932 4294310144 18446744073709551615 4294960144 0 4 0 16800975 18446604435773864832 0 0 -1 1 0 0 0
[pid=32461/tid=32465] ppid=32459 vsize=1546568 CPUtime=0.8
/proc/32461/task/32465/stat : 32465 (java) S 32459 32461 32258 0 -1 4202560 6029 0 0 0 77 3 0 0 16 0 13 0 30654852 1583685632 56117 1992294400 134512640 134550932 4294310144 18446744073709551615 4294960144 0 4 0 16800975 18446604435773864832 0 0 -1 1 0 0 0
[pid=32461/tid=32466] ppid=32459 vsize=1546568 CPUtime=18.23
/proc/32461/task/32466/stat : 32466 (java) S 32459 32461 32258 0 -1 4202560 14973 0 0 0 1816 7 0 0 15 0 13 0 30654854 1583685632 56117 1992294400 134512640 134550932 4294310144 18446744073709551615 4294960144 0 0 0 16800975 18446604435773864832 0 0 -1 0 0 0 0
[pid=32461/tid=32467] ppid=32459 vsize=1546568 CPUtime=0
/proc/32461/task/32467/stat : 32467 (java) S 32459 32461 32258 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 13 0 30654854 1583685632 56117 1992294400 134512640 134550932 4294310144 18446744073709551615 4294960144 0 4 0 16800975 18446604435773864832 0 0 -1 0 0 0 0
[pid=32461/tid=32468] ppid=32459 vsize=1546568 CPUtime=0
/proc/32461/task/32468/stat : 32468 (java) S 32459 32461 32258 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 30654854 1583685632 56117 1992294400 134512640 134550932 4294310144 18446744073709551615 4294960144 0 4 0 16800975 18446604435773864832 0 0 -1 0 0 0 0
[pid=32461/tid=32469] ppid=32459 vsize=1546568 CPUtime=0
/proc/32461/task/32469/stat : 32469 (java) S 32459 32461 32258 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 13 0 30654858 1583685632 56117 1992294400 134512640 134550932 4294310144 18446744073709551615 4294960144 0 4 0 16800975 18446604435773864832 0 0 -1 0 0 0 0
[pid=32461/tid=32470] ppid=32459 vsize=1546568 CPUtime=1.43
/proc/32461/task/32470/stat : 32470 (java) S 32459 32461 32258 0 -1 4202560 5408 0 0 0 141 2 0 0 16 0 13 0 30654858 1583685632 56117 1992294400 134512640 134550932 4294310144 18446744073709551615 4294960144 0 4 0 16800975 18446604435773864832 0 0 -1 0 0 0 0
[pid=32461/tid=32471] ppid=32459 vsize=1546568 CPUtime=2.09
/proc/32461/task/32471/stat : 32471 (java) S 32459 32461 32258 0 -1 4202560 6553 0 0 0 207 2 0 0 15 0 13 0 30654858 1583685632 56117 1992294400 134512640 134550932 4294310144 18446744073709551615 4294960144 0 4 0 16800975 18446604435773864832 0 0 -1 1 0 0 0
[pid=32461/tid=32472] ppid=32459 vsize=1546568 CPUtime=0
/proc/32461/task/32472/stat : 32472 (java) S 32459 32461 32258 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 13 0 30654858 1583685632 56117 1992294400 134512640 134550932 4294310144 18446744073709551615 4294960144 0 4 0 16800975 18446604435773864832 0 0 -1 0 0 0 0
[pid=32461/tid=32473] ppid=32459 vsize=1546568 CPUtime=0
/proc/32461/task/32473/stat : 32473 (java) S 32459 32461 32258 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 13 0 30654858 1583685632 56117 1992294400 134512640 134550932 4294310144 18446744073709551615 4294960144 0 4 0 16800975 18446604435773864832 0 0 -1 1 0 0 0
[pid=32461/tid=32474] ppid=32459 vsize=1546568 CPUtime=0
/proc/32461/task/32474/stat : 32474 (java) S 32459 32461 32258 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 13 0 30655152 1583685632 56117 1992294400 134512640 134550932 4294310144 18446744073709551615 4294960144 0 4 0 16800975 18446604435773864832 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1665.45
Current children cumulated vsize (KiB) 1546568

[startup+1722.3 s]
/proc/loadavg: 1.10 1.10 1.07 2/119 32520
/proc/meminfo: memFree=1595660/2059040 swapFree=4140012/4192956
[pid=32461] ppid=32459 vsize=1546568 CPUtime=1725.45
/proc/32461/stat : 32461 (java) S 32459 32461 32258 0 -1 4202496 72044 0 1 0 172486 59 0 0 15 0 13 0 30654849 1583685632 56117 1992294400 134512640 134550932 4294310144 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32461/statm: 386642 56117 1445 10 0 383944 0
[pid=32461/tid=32463] ppid=32459 vsize=1546568 CPUtime=1701.07
/proc/32461/task/32463/stat : 32463 (java) R 32459 32461 32258 0 -1 4202560 32229 0 1 0 170071 36 0 0 25 0 13 0 30654850 1583685632 56117 1992294400 134512640 134550932 4294310144 18446744073709551615 4110153726 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=32461/tid=32464] ppid=32459 vsize=1546568 CPUtime=0.87
/proc/32461/task/32464/stat : 32464 (java) S 32459 32461 32258 0 -1 4202560 5683 0 0 0 83 4 0 0 15 0 13 0 30654852 1583685632 56117 1992294400 134512640 134550932 4294310144 18446744073709551615 4294960144 0 4 0 16800975 18446604435773864832 0 0 -1 1 0 0 0
[pid=32461/tid=32465] ppid=32459 vsize=1546568 CPUtime=0.81
/proc/32461/task/32465/stat : 32465 (java) S 32459 32461 32258 0 -1 4202560 6029 0 0 0 78 3 0 0 16 0 13 0 30654852 1583685632 56117 1992294400 134512640 134550932 4294310144 18446744073709551615 4294960144 0 4 0 16800975 18446604435773864832 0 0 -1 1 0 0 0
[pid=32461/tid=32466] ppid=32459 vsize=1546568 CPUtime=19.11
/proc/32461/task/32466/stat : 32466 (java) S 32459 32461 32258 0 -1 4202560 14975 0 0 0 1903 8 0 0 15 0 13 0 30654854 1583685632 56117 1992294400 134512640 134550932 4294310144 18446744073709551615 4294960144 0 0 0 16800975 18446604435773864832 0 0 -1 0 0 0 0
[pid=32461/tid=32467] ppid=32459 vsize=1546568 CPUtime=0
/proc/32461/task/32467/stat : 32467 (java) S 32459 32461 32258 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 13 0 30654854 1583685632 56117 1992294400 134512640 134550932 4294310144 18446744073709551615 4294960144 0 4 0 16800975 18446604435773864832 0 0 -1 0 0 0 0
[pid=32461/tid=32468] ppid=32459 vsize=1546568 CPUtime=0
/proc/32461/task/32468/stat : 32468 (java) S 32459 32461 32258 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 30654854 1583685632 56117 1992294400 134512640 134550932 4294310144 18446744073709551615 4294960144 0 4 0 16800975 18446604435773864832 0 0 -1 0 0 0 0
[pid=32461/tid=32469] ppid=32459 vsize=1546568 CPUtime=0
/proc/32461/task/32469/stat : 32469 (java) S 32459 32461 32258 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 13 0 30654858 1583685632 56117 1992294400 134512640 134550932 4294310144 18446744073709551615 4294960144 0 4 0 16800975 18446604435773864832 0 0 -1 0 0 0 0
[pid=32461/tid=32470] ppid=32459 vsize=1546568 CPUtime=1.43
/proc/32461/task/32470/stat : 32470 (java) S 32459 32461 32258 0 -1 4202560 5408 0 0 0 141 2 0 0 16 0 13 0 30654858 1583685632 56117 1992294400 134512640 134550932 4294310144 18446744073709551615 4294960144 0 4 0 16800975 18446604435773864832 0 0 -1 0 0 0 0
[pid=32461/tid=32471] ppid=32459 vsize=1546568 CPUtime=2.09
/proc/32461/task/32471/stat : 32471 (java) S 32459 32461 32258 0 -1 4202560 6553 0 0 0 207 2 0 0 15 0 13 0 30654858 1583685632 56117 1992294400 134512640 134550932 4294310144 18446744073709551615 4294960144 0 4 0 16800975 18446604435773864832 0 0 -1 1 0 0 0
[pid=32461/tid=32472] ppid=32459 vsize=1546568 CPUtime=0
/proc/32461/task/32472/stat : 32472 (java) S 32459 32461 32258 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 13 0 30654858 1583685632 56117 1992294400 134512640 134550932 4294310144 18446744073709551615 4294960144 0 4 0 16800975 18446604435773864832 0 0 -1 0 0 0 0
[pid=32461/tid=32473] ppid=32459 vsize=1546568 CPUtime=0
/proc/32461/task/32473/stat : 32473 (java) S 32459 32461 32258 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 13 0 30654858 1583685632 56117 1992294400 134512640 134550932 4294310144 18446744073709551615 4294960144 0 4 0 16800975 18446604435773864832 0 0 -1 1 0 0 0
[pid=32461/tid=32474] ppid=32459 vsize=1546568 CPUtime=0
/proc/32461/task/32474/stat : 32474 (java) S 32459 32461 32258 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 13 0 30655152 1583685632 56117 1992294400 134512640 134550932 4294310144 18446744073709551615 4294960144 0 4 0 16800975 18446604435773864832 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1725.45
Current children cumulated vsize (KiB) 1546568

[startup+1782.3 s]
/proc/loadavg: 1.09 1.09 1.07 3/119 32522
/proc/meminfo: memFree=1595536/2059040 swapFree=4140012/4192956
[pid=32461] ppid=32459 vsize=1546568 CPUtime=1785.44
/proc/32461/stat : 32461 (java) S 32459 32461 32258 0 -1 4202496 72059 0 1 0 178484 60 0 0 15 0 13 0 30654849 1583685632 56117 1992294400 134512640 134550932 4294310144 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32461/statm: 386642 56117 1445 10 0 383944 0
[pid=32461/tid=32463] ppid=32459 vsize=1546568 CPUtime=1760.17
/proc/32461/task/32463/stat : 32463 (java) R 32459 32461 32258 0 -1 4202560 32236 0 1 0 175980 37 0 0 25 0 13 0 30654850 1583685632 56117 1992294400 134512640 134550932 4294310144 18446744073709551615 4110160064 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=32461/tid=32464] ppid=32459 vsize=1546568 CPUtime=0.89
/proc/32461/task/32464/stat : 32464 (java) S 32459 32461 32258 0 -1 4202560 5683 0 0 0 84 5 0 0 15 0 13 0 30654852 1583685632 56117 1992294400 134512640 134550932 4294310144 18446744073709551615 4294960144 0 4 0 16800975 18446604435773864832 0 0 -1 1 0 0 0
[pid=32461/tid=32465] ppid=32459 vsize=1546568 CPUtime=0.82
/proc/32461/task/32465/stat : 32465 (java) S 32459 32461 32258 0 -1 4202560 6029 0 0 0 79 3 0 0 16 0 13 0 30654852 1583685632 56117 1992294400 134512640 134550932 4294310144 18446744073709551615 4294960144 0 4 0 16800975 18446604435773864832 0 0 -1 1 0 0 0
[pid=32461/tid=32466] ppid=32459 vsize=1546568 CPUtime=19.98
/proc/32461/task/32466/stat : 32466 (java) S 32459 32461 32258 0 -1 4202560 14979 0 0 0 1990 8 0 0 15 0 13 0 30654854 1583685632 56117 1992294400 134512640 134550932 4294310144 18446744073709551615 4294960144 0 0 0 16800975 18446604435773864832 0 0 -1 0 0 0 0
[pid=32461/tid=32467] ppid=32459 vsize=1546568 CPUtime=0
/proc/32461/task/32467/stat : 32467 (java) S 32459 32461 32258 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 13 0 30654854 1583685632 56117 1992294400 134512640 134550932 4294310144 18446744073709551615 4294960144 0 4 0 16800975 18446604435773864832 0 0 -1 0 0 0 0
[pid=32461/tid=32468] ppid=32459 vsize=1546568 CPUtime=0
/proc/32461/task/32468/stat : 32468 (java) S 32459 32461 32258 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 30654854 1583685632 56117 1992294400 134512640 134550932 4294310144 18446744073709551615 4294960144 0 4 0 16800975 18446604435773864832 0 0 -1 0 0 0 0
[pid=32461/tid=32469] ppid=32459 vsize=1546568 CPUtime=0
/proc/32461/task/32469/stat : 32469 (java) S 32459 32461 32258 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 13 0 30654858 1583685632 56117 1992294400 134512640 134550932 4294310144 18446744073709551615 4294960144 0 4 0 16800975 18446604435773864832 0 0 -1 0 0 0 0
[pid=32461/tid=32470] ppid=32459 vsize=1546568 CPUtime=1.43
/proc/32461/task/32470/stat : 32470 (java) S 32459 32461 32258 0 -1 4202560 5408 0 0 0 141 2 0 0 16 0 13 0 30654858 1583685632 56117 1992294400 134512640 134550932 4294310144 18446744073709551615 4294960144 0 4 0 16800975 18446604435773864832 0 0 -1 0 0 0 0
[pid=32461/tid=32471] ppid=32459 vsize=1546568 CPUtime=2.09
/proc/32461/task/32471/stat : 32471 (java) S 32459 32461 32258 0 -1 4202560 6553 0 0 0 207 2 0 0 15 0 13 0 30654858 1583685632 56117 1992294400 134512640 134550932 4294310144 18446744073709551615 4294960144 0 4 0 16800975 18446604435773864832 0 0 -1 1 0 0 0
[pid=32461/tid=32472] ppid=32459 vsize=1546568 CPUtime=0
/proc/32461/task/32472/stat : 32472 (java) S 32459 32461 32258 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 13 0 30654858 1583685632 56117 1992294400 134512640 134550932 4294310144 18446744073709551615 4294960144 0 4 0 16800975 18446604435773864832 0 0 -1 0 0 0 0
[pid=32461/tid=32473] ppid=32459 vsize=1546568 CPUtime=0
/proc/32461/task/32473/stat : 32473 (java) S 32459 32461 32258 0 -1 4202560 107 0 0 0 0 0 0 0 15 0 13 0 30654858 1583685632 56117 1992294400 134512640 134550932 4294310144 18446744073709551615 4294960144 0 4 0 16800975 18446604435773864832 0 0 -1 1 0 0 0
[pid=32461/tid=32474] ppid=32459 vsize=1546568 CPUtime=0
/proc/32461/task/32474/stat : 32474 (java) S 32459 32461 32258 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 13 0 30655152 1583685632 56117 1992294400 134512640 134550932 4294310144 18446744073709551615 4294960144 0 4 0 16800975 18446604435773864832 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1785.44
Current children cumulated vsize (KiB) 1546568



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1796.9 s]
/proc/loadavg: 1.07 1.09 1.07 2/119 32522
/proc/meminfo: memFree=1595536/2059040 swapFree=4140012/4192956
[pid=32461] ppid=32459 vsize=1546568 CPUtime=1800.05
/proc/32461/stat : 32461 (java) S 32459 32461 32258 0 -1 4202496 72065 0 1 0 179945 60 0 0 15 0 13 0 30654849 1583685632 56117 1992294400 134512640 134550932 4294310144 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32461/statm: 386642 56117 1445 10 0 383944 0
[pid=32461/tid=32463] ppid=32459 vsize=1546568 CPUtime=1774.51
/proc/32461/task/32463/stat : 32463 (java) R 32459 32461 32258 0 -1 4202560 32238 0 1 0 177414 37 0 0 25 0 13 0 30654850 1583685632 56117 1992294400 134512640 134550932 4294310144 18446744073709551615 4110070597 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=32461/tid=32464] ppid=32459 vsize=1546568 CPUtime=0.9
/proc/32461/task/32464/stat : 32464 (java) S 32459 32461 32258 0 -1 4202560 5683 0 0 0 85 5 0 0 16 0 13 0 30654852 1583685632 56117 1992294400 134512640 134550932 4294310144 18446744073709551615 4294960144 0 4 0 16800975 18446604435773864832 0 0 -1 1 0 0 0
[pid=32461/tid=32465] ppid=32459 vsize=1546568 CPUtime=0.83
/proc/32461/task/32465/stat : 32465 (java) S 32459 32461 32258 0 -1 4202560 6029 0 0 0 80 3 0 0 16 0 13 0 30654852 1583685632 56117 1992294400 134512640 134550932 4294310144 18446744073709551615 4294960144 0 4 0 16800975 18446604435773864832 0 0 -1 1 0 0 0
[pid=32461/tid=32466] ppid=32459 vsize=1546568 CPUtime=20.23
/proc/32461/task/32466/stat : 32466 (java) S 32459 32461 32258 0 -1 4202560 14981 0 0 0 2015 8 0 0 15 0 13 0 30654854 1583685632 56117 1992294400 134512640 134550932 4294310144 18446744073709551615 4294960144 0 0 0 16800975 18446604435773864832 0 0 -1 0 0 0 0
[pid=32461/tid=32467] ppid=32459 vsize=1546568 CPUtime=0
/proc/32461/task/32467/stat : 32467 (java) S 32459 32461 32258 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 13 0 30654854 1583685632 56117 1992294400 134512640 134550932 4294310144 18446744073709551615 4294960144 0 4 0 16800975 18446604435773864832 0 0 -1 0 0 0 0
[pid=32461/tid=32468] ppid=32459 vsize=1546568 CPUtime=0
/proc/32461/task/32468/stat : 32468 (java) S 32459 32461 32258 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 30654854 1583685632 56117 1992294400 134512640 134550932 4294310144 18446744073709551615 4294960144 0 4 0 16800975 18446604435773864832 0 0 -1 0 0 0 0
[pid=32461/tid=32469] ppid=32459 vsize=1546568 CPUtime=0
/proc/32461/task/32469/stat : 32469 (java) S 32459 32461 32258 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 13 0 30654858 1583685632 56117 1992294400 134512640 134550932 4294310144 18446744073709551615 4294960144 0 4 0 16800975 18446604435773864832 0 0 -1 0 0 0 0
[pid=32461/tid=32470] ppid=32459 vsize=1546568 CPUtime=1.43
/proc/32461/task/32470/stat : 32470 (java) S 32459 32461 32258 0 -1 4202560 5408 0 0 0 141 2 0 0 16 0 13 0 30654858 1583685632 56117 1992294400 134512640 134550932 4294310144 18446744073709551615 4294960144 0 4 0 16800975 18446604435773864832 0 0 -1 0 0 0 0
[pid=32461/tid=32471] ppid=32459 vsize=1546568 CPUtime=2.09
/proc/32461/task/32471/stat : 32471 (java) S 32459 32461 32258 0 -1 4202560 6553 0 0 0 207 2 0 0 15 0 13 0 30654858 1583685632 56117 1992294400 134512640 134550932 4294310144 18446744073709551615 4294960144 0 4 0 16800975 18446604435773864832 0 0 -1 1 0 0 0
[pid=32461/tid=32472] ppid=32459 vsize=1546568 CPUtime=0
/proc/32461/task/32472/stat : 32472 (java) S 32459 32461 32258 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 13 0 30654858 1583685632 56117 1992294400 134512640 134550932 4294310144 18446744073709551615 4294960144 0 4 0 16800975 18446604435773864832 0 0 -1 0 0 0 0
[pid=32461/tid=32473] ppid=32459 vsize=1546568 CPUtime=0
/proc/32461/task/32473/stat : 32473 (java) S 32459 32461 32258 0 -1 4202560 109 0 0 0 0 0 0 0 15 0 13 0 30654858 1583685632 56117 1992294400 134512640 134550932 4294310144 18446744073709551615 4294960144 0 4 0 16800975 18446604435773864832 0 0 -1 1 0 0 0
[pid=32461/tid=32474] ppid=32459 vsize=1546568 CPUtime=0
/proc/32461/task/32474/stat : 32474 (java) S 32459 32461 32258 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 13 0 30655152 1583685632 56117 1992294400 134512640 134550932 4294310144 18446744073709551615 4294960144 0 4 0 16800975 18446604435773864832 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1546568

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

[startup+1796.9 s]
/proc/loadavg: 1.07 1.09 1.07 2/119 32522
/proc/meminfo: memFree=1595536/2059040 swapFree=4140012/4192956
[pid=32461] ppid=32459 vsize=1546568 CPUtime=1800.05
/proc/32461/stat : 32461 (java) S 32459 32461 32258 0 -1 4202496 72065 0 1 0 179945 60 0 0 15 0 13 0 30654849 1583685632 56117 1992294400 134512640 134550932 4294310144 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32461/statm: 386642 56117 1445 10 0 383944 0
[pid=32461/tid=32463] ppid=32459 vsize=1546568 CPUtime=1774.51
/proc/32461/task/32463/stat : 32463 (java) R 32459 32461 32258 0 -1 4202560 32238 0 1 0 177414 37 0 0 25 0 13 0 30654850 1583685632 56117 1992294400 134512640 134550932 4294310144 18446744073709551615 4110070597 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=32461/tid=32464] ppid=32459 vsize=1546568 CPUtime=0.9
/proc/32461/task/32464/stat : 32464 (java) S 32459 32461 32258 0 -1 4202560 5683 0 0 0 85 5 0 0 16 0 13 0 30654852 1583685632 56117 1992294400 134512640 134550932 4294310144 18446744073709551615 4294960144 0 4 0 16800975 18446604435773864832 0 0 -1 1 0 0 0
[pid=32461/tid=32465] ppid=32459 vsize=1546568 CPUtime=0.83
/proc/32461/task/32465/stat : 32465 (java) S 32459 32461 32258 0 -1 4202560 6029 0 0 0 80 3 0 0 16 0 13 0 30654852 1583685632 56117 1992294400 134512640 134550932 4294310144 18446744073709551615 4294960144 0 4 0 16800975 18446604435773864832 0 0 -1 1 0 0 0
[pid=32461/tid=32466] ppid=32459 vsize=1546568 CPUtime=20.23
/proc/32461/task/32466/stat : 32466 (java) S 32459 32461 32258 0 -1 4202560 14981 0 0 0 2015 8 0 0 15 0 13 0 30654854 1583685632 56117 1992294400 134512640 134550932 4294310144 18446744073709551615 4294960144 0 0 0 16800975 18446604435773864832 0 0 -1 0 0 0 0
[pid=32461/tid=32467] ppid=32459 vsize=1546568 CPUtime=0
/proc/32461/task/32467/stat : 32467 (java) S 32459 32461 32258 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 13 0 30654854 1583685632 56117 1992294400 134512640 134550932 4294310144 18446744073709551615 4294960144 0 4 0 16800975 18446604435773864832 0 0 -1 0 0 0 0
[pid=32461/tid=32468] ppid=32459 vsize=1546568 CPUtime=0
/proc/32461/task/32468/stat : 32468 (java) S 32459 32461 32258 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 30654854 1583685632 56117 1992294400 134512640 134550932 4294310144 18446744073709551615 4294960144 0 4 0 16800975 18446604435773864832 0 0 -1 0 0 0 0
[pid=32461/tid=32469] ppid=32459 vsize=1546568 CPUtime=0
/proc/32461/task/32469/stat : 32469 (java) S 32459 32461 32258 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 13 0 30654858 1583685632 56117 1992294400 134512640 134550932 4294310144 18446744073709551615 4294960144 0 4 0 16800975 18446604435773864832 0 0 -1 0 0 0 0
[pid=32461/tid=32470] ppid=32459 vsize=1546568 CPUtime=1.43
/proc/32461/task/32470/stat : 32470 (java) S 32459 32461 32258 0 -1 4202560 5408 0 0 0 141 2 0 0 16 0 13 0 30654858 1583685632 56117 1992294400 134512640 134550932 4294310144 18446744073709551615 4294960144 0 4 0 16800975 18446604435773864832 0 0 -1 0 0 0 0
[pid=32461/tid=32471] ppid=32459 vsize=1546568 CPUtime=2.09
/proc/32461/task/32471/stat : 32471 (java) S 32459 32461 32258 0 -1 4202560 6553 0 0 0 207 2 0 0 15 0 13 0 30654858 1583685632 56117 1992294400 134512640 134550932 4294310144 18446744073709551615 4294960144 0 4 0 16800975 18446604435773864832 0 0 -1 1 0 0 0
[pid=32461/tid=32472] ppid=32459 vsize=1546568 CPUtime=0
/proc/32461/task/32472/stat : 32472 (java) S 32459 32461 32258 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 13 0 30654858 1583685632 56117 1992294400 134512640 134550932 4294310144 18446744073709551615 4294960144 0 4 0 16800975 18446604435773864832 0 0 -1 0 0 0 0
[pid=32461/tid=32473] ppid=32459 vsize=1546568 CPUtime=0
/proc/32461/task/32473/stat : 32473 (java) S 32459 32461 32258 0 -1 4202560 109 0 0 0 0 0 0 0 15 0 13 0 30654858 1583685632 56117 1992294400 134512640 134550932 4294310144 18446744073709551615 4294960144 0 4 0 16800975 18446604435773864832 0 0 -1 1 0 0 0
[pid=32461/tid=32474] ppid=32459 vsize=1546568 CPUtime=0
/proc/32461/task/32474/stat : 32474 (java) S 32459 32461 32258 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 13 0 30655152 1583685632 56117 1992294400 134512640 134550932 4294310144 18446744073709551615 4294960144 0 4 0 16800975 18446604435773864832 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1546568

Child status: 143
Real time (s): 1797.02
CPU time (s): 1800.19
CPU user time (s): 1799.56
CPU system time (s): 0.633903
CPU usage (%): 100.177
Max. virtual memory (cumulated for all children) (KiB): 1552712

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.56
system time used= 0.633903
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 72089
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= 38800
involuntary context switches= 13373

runsolver used 3.71643 second user time and 9.52655 second system time

The end

Launcher Data

Begin job on node006 at 2010-06-14 23:21:52
IDJOB=2658817
IDBENCH=2421
IDSOLVER=1164
FILE ID=node006/2658817-1276550512
PBS_JOBID= 11173484
Free space on /tmp= 62472 MiB

SOLVER NAME= SAT4J PB Resolution 2.2.0 2010-05-26
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-bnl1.opb
COMMAND LINE= java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2658817-1276550512/watcher-2658817-1276550512 -o /tmp/evaluation-result-2658817-1276550512/solver-2658817-1276550512 -C 1800 -W 2000 -M 1800  java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar HOME/instance-2658817-1276550512.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 6c2572528741ab95a20df4da6c9423f7
RANDOM SEED=406661295

node006.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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.204
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
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 constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.40
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.204
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
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 constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.45
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1819112 kB
Buffers:         36056 kB
Cached:         124024 kB
SwapCached:       6612 kB
Active:          85708 kB
Inactive:        88004 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1819112 kB
SwapTotal:     4192956 kB
SwapFree:      4140012 kB
Dirty:            3236 kB
Writeback:           0 kB
AnonPages:       12040 kB
Mapped:          13128 kB
Slab:            44244 kB
PageTables:       3904 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182836 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62472 MiB
End job on node006 at 2010-06-14 23:51:51