Trace number 2659039

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.18 1792.42

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/
MIPLIB/miplib2003/normalized-mps-v2-20-10-mod011.opb
MD5SUM7946286f4c1a7ac44cf771db2f48f590
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
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 0
Optimality of the best value was proved NO
Number of variables309773
Total number of constraints5980
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)16
Number of constraints which are nor clauses,nor cardinality constraints5964
Minimum length of a constraint6
Maximum length of a constraint24690
Number of terms in the objective function 212680
Biggest coefficient in the objective function 38252041742581760
Number of bits for the biggest coefficient in the objective function 56
Sum of the numbers in the objective function 82366741301042726133
Number of bits of the sum of numbers in the objective function 67
Biggest number in a constraint 38252041742581760
Number of bits of the biggest number in a constraint 56
Biggest sum of numbers in a constraint 82366741301042726133
Number of bits of the biggest sum of numbers67
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-2659039-1276567148.opb
0.22/0.21	c reading problem ... 
9.92/7.61	c ... done. Wall clock time 7.395s.
9.92/7.61	c #vars     309773
9.92/7.61	c #constraints  99284
9.92/7.61	c constraints type 
9.92/7.61	c org.sat4j.minisat.constraints.card.MinWatchCard => 16
9.92/7.61	c org.sat4j.pb.constraints.pb.MaxWatchPb => 10331
115.57/111.20	c cleaning 2494 clauses out of 4999 with flag 5000/5000
146.08/141.51	c cleaning 4249 clauses out of 8505 with flag 11001/11001
160.04/155.44	c cleaning 5614 clauses out of 11254 with flag 18001/18001
170.73/166.11	c cleaning 6816 clauses out of 13640 with flag 26001/26001
177.56/172.96	c cleaning 7897 clauses out of 15822 with flag 35001/35001
183.82/179.29	c cleaning 8961 clauses out of 17924 with flag 45000/45000
191.72/187.10	c cleaning 9981 clauses out of 19964 with flag 56001/56001
199.36/194.77	c cleaning 10485 clauses out of 20983 with flag 67001/67001
215.42/210.79	c cleaning 10745 clauses out of 21496 with flag 78000/78000
234.91/230.10	c cleaning 10869 clauses out of 21750 with flag 89000/89000
239.23/234.41	c cleaning 10936 clauses out of 21881 with flag 100000/100000
251.77/246.99	c cleaning 10946 clauses out of 21945 with flag 111000/111000
257.53/252.65	c cleaning 10998 clauses out of 22000 with flag 122001/122001
262.95/258.03	c cleaning 10998 clauses out of 22002 with flag 133001/133001
271.50/266.50	c cleaning 10986 clauses out of 22005 with flag 144002/144002
279.94/274.99	c cleaning 11004 clauses out of 22017 with flag 155000/155000
283.24/278.25	c cleaning 11000 clauses out of 22013 with flag 166000/166000
292.09/287.04	c cleaning 11005 clauses out of 22013 with flag 177000/177000
294.60/289.59	c cleaning 11004 clauses out of 22008 with flag 188000/188000
297.50/292.43	c cleaning 11002 clauses out of 22004 with flag 199000/199000
310.44/305.38	c cleaning 10975 clauses out of 22003 with flag 210001/210001
321.50/316.36	c cleaning 10982 clauses out of 22028 with flag 221001/221001
335.26/330.09	c cleaning 11012 clauses out of 22045 with flag 232000/232000
345.31/340.04	c cleaning 10987 clauses out of 22034 with flag 243001/243001
350.82/345.55	c cleaning 10998 clauses out of 22047 with flag 254001/254001
368.56/363.29	c cleaning 11006 clauses out of 22049 with flag 265001/265001
382.93/377.56	c cleaning 10997 clauses out of 22042 with flag 276000/276000
399.54/394.04	c cleaning 10998 clauses out of 22046 with flag 287001/287001
413.85/408.37	c cleaning 10999 clauses out of 22047 with flag 298000/298000
420.87/415.39	c cleaning 11020 clauses out of 22049 with flag 309001/309001
427.07/421.50	c cleaning 11009 clauses out of 22028 with flag 320000/320000
432.67/427.18	c cleaning 11002 clauses out of 22020 with flag 331001/331001
437.88/432.31	c cleaning 11000 clauses out of 22017 with flag 342000/342000
443.38/437.89	c cleaning 11002 clauses out of 22018 with flag 353001/353001
448.18/442.68	c cleaning 11000 clauses out of 22015 with flag 364000/364000
454.18/448.70	c cleaning 11000 clauses out of 22015 with flag 375000/375000
459.08/453.58	c cleaning 11001 clauses out of 22016 with flag 386001/386001
471.18/465.68	c cleaning 11003 clauses out of 22015 with flag 397001/397001
476.79/471.24	c cleaning 10999 clauses out of 22012 with flag 408001/408001
485.94/480.34	c cleaning 11000 clauses out of 22012 with flag 419000/419000
491.54/485.96	c cleaning 10998 clauses out of 22012 with flag 430000/430000
497.76/492.17	c cleaning 10999 clauses out of 22014 with flag 441000/441000
505.17/499.56	c cleaning 10997 clauses out of 22015 with flag 452000/452000
509.87/504.20	c cleaning 10989 clauses out of 22019 with flag 463001/463001
514.58/508.92	c cleaning 10995 clauses out of 22029 with flag 474000/474000
546.35/540.68	c cleaning 10989 clauses out of 22034 with flag 485000/485000
601.47/595.78	c cleaning 11007 clauses out of 22045 with flag 496000/496000
655.31/649.55	c cleaning 10997 clauses out of 22038 with flag 507000/507000
711.12/705.30	c cleaning 10999 clauses out of 22041 with flag 518000/518000
733.09/727.25	c cleaning 11017 clauses out of 22043 with flag 529001/529001
745.50/739.62	c cleaning 11000 clauses out of 22025 with flag 540000/540000
756.71/750.80	c cleaning 11000 clauses out of 22025 with flag 551000/551000
768.12/762.24	c cleaning 11001 clauses out of 22025 with flag 562000/562000
778.83/772.94	c cleaning 11003 clauses out of 22025 with flag 573001/573001
789.75/783.88	c cleaning 10996 clauses out of 22022 with flag 584001/584001
813.04/807.09	c cleaning 11008 clauses out of 22026 with flag 595001/595001
828.06/822.01	c cleaning 11008 clauses out of 22017 with flag 606000/606000
842.92/836.80	c cleaning 10994 clauses out of 22010 with flag 617001/617001
859.14/853.05	c cleaning 10999 clauses out of 22015 with flag 628000/628000
867.57/861.41	c cleaning 10998 clauses out of 22016 with flag 639000/639000
875.67/869.55	c cleaning 11001 clauses out of 22019 with flag 650001/650001
880.89/874.71	c cleaning 11002 clauses out of 22018 with flag 661001/661001
886.89/880.79	c cleaning 11001 clauses out of 22016 with flag 672001/672001
892.29/886.15	c cleaning 11003 clauses out of 22015 with flag 683001/683001
897.88/891.76	c cleaning 10998 clauses out of 22011 with flag 694000/694000
903.19/897.04	c cleaning 11001 clauses out of 22013 with flag 705000/705000
908.29/902.13	c cleaning 10997 clauses out of 22012 with flag 716000/716000
913.40/907.28	c cleaning 10998 clauses out of 22016 with flag 727001/727001
919.39/913.21	c cleaning 11001 clauses out of 22017 with flag 738000/738000
924.90/918.75	c cleaning 11002 clauses out of 22016 with flag 749000/749000
930.30/924.18	c cleaning 10999 clauses out of 22014 with flag 760000/760000
936.21/930.01	c cleaning 11000 clauses out of 22017 with flag 771002/771002
941.71/935.54	c cleaning 11002 clauses out of 22016 with flag 782001/782001
946.41/940.23	c cleaning 10997 clauses out of 22014 with flag 793001/793001
955.76/949.53	c cleaning 10985 clauses out of 22018 with flag 804002/804002
965.39/959.15	c cleaning 10999 clauses out of 22031 with flag 815000/815000
974.53/968.26	c cleaning 10993 clauses out of 22032 with flag 826000/826000
986.55/980.24	c cleaning 10991 clauses out of 22040 with flag 837001/837001
994.96/988.62	c cleaning 10997 clauses out of 22048 with flag 848000/848000
1002.78/996.45	c cleaning 10997 clauses out of 22051 with flag 859000/859000
1010.89/1004.56	c cleaning 10998 clauses out of 22054 with flag 870000/870000
1018.79/1012.47	c cleaning 10998 clauses out of 22056 with flag 881000/881000
1031.18/1024.78	c cleaning 11018 clauses out of 22059 with flag 892001/892001
1040.53/1034.02	c cleaning 10984 clauses out of 22039 with flag 903001/903001
1051.39/1044.83	c cleaning 10993 clauses out of 22055 with flag 914001/914001
1057.53/1050.98	c cleaning 10988 clauses out of 22061 with flag 925000/925000
1065.54/1058.99	c cleaning 11022 clauses out of 22074 with flag 936001/936001
1076.05/1069.49	c cleaning 11020 clauses out of 22052 with flag 947001/947001
1080.95/1074.33	c cleaning 11010 clauses out of 22032 with flag 958001/958001
1085.16/1078.52	c cleaning 11005 clauses out of 22021 with flag 969000/969000
1089.17/1082.56	c cleaning 11006 clauses out of 22017 with flag 980001/980001
1093.16/1086.51	c cleaning 10999 clauses out of 22010 with flag 991000/991000
1097.17/1090.56	c cleaning 10998 clauses out of 22012 with flag 1002001/1002001
1101.47/1094.89	c cleaning 10999 clauses out of 22013 with flag 1013000/1013000
1104.68/1098.02	c cleaning 10994 clauses out of 22014 with flag 1024000/1024000
1108.38/1101.77	c cleaning 10998 clauses out of 22020 with flag 1035000/1035000
1112.48/1105.82	c cleaning 10999 clauses out of 22022 with flag 1046000/1046000
1116.09/1109.49	c cleaning 11000 clauses out of 22024 with flag 1057001/1057001
1120.09/1113.47	c cleaning 10999 clauses out of 22023 with flag 1068000/1068000
1123.90/1117.21	c cleaning 10999 clauses out of 22024 with flag 1079000/1079000
1127.90/1121.25	c cleaning 11004 clauses out of 22025 with flag 1090000/1090000
1147.73/1141.00	c cleaning 10993 clauses out of 22022 with flag 1101001/1101001
1165.84/1159.16	c cleaning 10998 clauses out of 22028 with flag 1112000/1112000
1186.14/1179.46	c cleaning 10999 clauses out of 22030 with flag 1123000/1123000
1200.97/1194.24	c cleaning 10998 clauses out of 22032 with flag 1134001/1134001
1219.18/1212.48	c cleaning 10999 clauses out of 22034 with flag 1145001/1145001
1246.19/1239.41	c cleaning 10994 clauses out of 22034 with flag 1156000/1156000
1257.61/1250.86	c cleaning 11004 clauses out of 22040 with flag 1167000/1167000
1264.93/1258.12	c cleaning 11003 clauses out of 22036 with flag 1178000/1178000
1280.70/1273.86	c cleaning 11001 clauses out of 22034 with flag 1189001/1189001
1289.53/1282.65	c cleaning 10998 clauses out of 22033 with flag 1200001/1200001
1294.72/1287.81	c cleaning 11001 clauses out of 22034 with flag 1211000/1211000
1300.03/1293.10	c cleaning 10999 clauses out of 22033 with flag 1222000/1222000
1305.34/1298.49	c cleaning 11001 clauses out of 22034 with flag 1233000/1233000
1311.44/1304.55	c cleaning 10998 clauses out of 22034 with flag 1244001/1244001
1317.44/1310.58	c cleaning 10998 clauses out of 22036 with flag 1255001/1255001
1323.34/1316.47	c cleaning 11002 clauses out of 22038 with flag 1266001/1266001
1330.57/1323.63	c cleaning 10993 clauses out of 22036 with flag 1277001/1277001
1337.48/1330.53	c cleaning 11004 clauses out of 22043 with flag 1288001/1288001
1345.40/1338.43	c cleaning 11001 clauses out of 22038 with flag 1299000/1299000
1353.41/1346.41	c cleaning 10998 clauses out of 22038 with flag 1310001/1310001
1361.22/1354.20	c cleaning 10999 clauses out of 22042 with flag 1321003/1321003
1377.82/1370.70	c cleaning 11014 clauses out of 22040 with flag 1332000/1332000
1390.05/1382.92	c cleaning 11006 clauses out of 22027 with flag 1343001/1343001
1402.53/1395.32	c cleaning 10994 clauses out of 22021 with flag 1354001/1354001
1412.08/1404.82	c cleaning 10993 clauses out of 22026 with flag 1365000/1365000
1423.16/1415.87	c cleaning 10998 clauses out of 22034 with flag 1376001/1376001
1429.48/1422.20	c cleaning 11000 clauses out of 22035 with flag 1387000/1387000
1435.49/1428.19	c cleaning 11004 clauses out of 22035 with flag 1398000/1398000
1440.61/1433.21	c cleaning 11004 clauses out of 22031 with flag 1409000/1409000
1446.53/1439.12	c cleaning 11003 clauses out of 22028 with flag 1420001/1420001
1453.45/1446.01	c cleaning 10998 clauses out of 22024 with flag 1431000/1431000
1461.96/1454.51	c cleaning 11000 clauses out of 22026 with flag 1442000/1442000
1470.07/1462.70	c cleaning 10999 clauses out of 22028 with flag 1453002/1453002
1482.97/1475.60	c cleaning 11004 clauses out of 22027 with flag 1464000/1464000
1522.51/1515.01	c cleaning 10997 clauses out of 22024 with flag 1475001/1475001
1584.03/1576.56	c cleaning 11000 clauses out of 22027 with flag 1486001/1486001
1624.66/1617.11	c cleaning 10998 clauses out of 22026 with flag 1497000/1497000
1664.19/1656.69	c cleaning 11001 clauses out of 22028 with flag 1508000/1508000
1719.11/1711.53	c cleaning 11003 clauses out of 22028 with flag 1519001/1519001
1761.06/1753.41	c cleaning 10981 clauses out of 22024 with flag 1530000/1530000
1766.27/1758.65	c cleaning 10997 clauses out of 22043 with flag 1541000/1541000
1774.88/1767.20	c cleaning 10984 clauses out of 22046 with flag 1552000/1552000
1780.99/1773.32	c cleaning 10998 clauses out of 22063 with flag 1563001/1563001
1787.51/1779.88	c cleaning 10993 clauses out of 22064 with flag 1574000/1574000
1794.59/1786.93	c cleaning 10998 clauses out of 22071 with flag 1585000/1585000
1800.01/1792.32	c starts		: 208
1800.01/1792.32	c conflicts		: 1593213
1800.01/1792.32	c decisions		: 3591464
1800.01/1792.32	c propagations		: 73715083
1800.01/1792.32	c inspects		: 560192892
1800.01/1792.32	c learnt literals	: 10
1800.01/1792.32	c learnt binary clauses	: 97
1800.01/1792.32	c learnt ternary clauses	: 141
1800.01/1792.32	c learnt clauses	: 1593202
1800.01/1792.32	c ignored clauses	: 0
1800.01/1792.32	c root simplifications	: 0
1800.01/1792.32	c removed literals (reason simplification)	: 34616791
1800.01/1792.32	c reason swapping (by a shorter reason)	: 0
1800.01/1792.32	c Calls to reduceDB	: 146
1800.01/1792.32	c number of reductions to clauses (during analyze)	: 0
1800.01/1792.32	c number of learned constraints concerned by reduction	: 0
1800.01/1792.32	c number of learning phase by resolution	: 0
1800.01/1792.32	c number of learning phase by cutting planes	: 0
1800.01/1792.32	c speed (assignments/second)	: 41303.76823969887
1800.01/1792.32	c non guided choices	1801344
1800.01/1792.37	c learnt constraints type 
1800.01/1792.37	c org.sat4j.minisat.constraints.cnf.LearntHTClause => 19233
1800.01/1792.37	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 97
1800.01/1792.37	c constraints type 
1800.01/1792.37	c org.sat4j.minisat.constraints.card.MinWatchCard => 16
1800.01/1792.37	c org.sat4j.pb.constraints.pb.MaxWatchPb => 10331
1800.01/1792.37	s UNKNOWN
1800.01/1792.37	c Total wall clock time (in seconds): 1792.158

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-2659039-1276567148/watcher-2659039-1276567148 -o /tmp/evaluation-result-2659039-1276567148/solver-2659039-1276567148 -C 1800 -W 2000 -M 1800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar HOME/instance-2659039-1276567148.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: 0.85 0.95 0.98 3/106 32161
/proc/meminfo: memFree=1722616/2059040 swapFree=4140228/4192956
[pid=32161] ppid=32159 vsize=1700 CPUtime=0
/proc/32161/stat : 32161 (java6) R 32159 32161 32109 0 -1 4194304 171 0 0 0 0 0 0 0 19 0 1 0 32316658 1740800 75 1992294400 134512640 134550932 4291227392 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/32161/statm: 425 90 68 10 0 30 0

[startup+0.076172 s]
/proc/loadavg: 0.85 0.95 0.98 3/106 32161
/proc/meminfo: memFree=1722616/2059040 swapFree=4140228/4192956
[pid=32161] ppid=32159 vsize=1521796 CPUtime=0.06
/proc/32161/stat : 32161 (java) S 32159 32161 32109 0 -1 4202496 3730 0 1 0 4 2 0 0 15 0 7 0 32316658 1558319104 3171 1992294400 134512640 134550932 4294935392 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/32161/statm: 380449 3171 1036 10 0 377759 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 1521796

[startup+0.100172 s]
/proc/loadavg: 0.85 0.95 0.98 3/106 32161
/proc/meminfo: memFree=1722616/2059040 swapFree=4140228/4192956
[pid=32161] ppid=32159 vsize=1524184 CPUtime=0.08
/proc/32161/stat : 32161 (java) S 32159 32161 32109 0 -1 4202496 3946 0 1 0 6 2 0 0 15 0 12 0 32316658 1560764416 3385 1992294400 134512640 134550932 4294935392 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32161/statm: 381046 3386 1076 10 0 378348 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1524184

[startup+0.30017 s]
/proc/loadavg: 0.85 0.95 0.98 3/106 32161
/proc/meminfo: memFree=1722616/2059040 swapFree=4140228/4192956
[pid=32161] ppid=32159 vsize=1526936 CPUtime=0.36
/proc/32161/stat : 32161 (java) S 32159 32161 32109 0 -1 4202496 7124 0 1 0 32 4 0 0 15 0 12 0 32316658 1563582464 6561 1992294400 134512640 134550932 4294935392 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32161/statm: 381734 6561 1356 10 0 379036 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 1526936

[startup+0.700168 s]
/proc/loadavg: 0.85 0.95 0.98 3/106 32161
/proc/meminfo: memFree=1722616/2059040 swapFree=4140228/4192956
[pid=32161] ppid=32159 vsize=1528352 CPUtime=1.03
/proc/32161/stat : 32161 (java) S 32159 32161 32109 0 -1 4202496 10688 0 1 0 98 5 0 0 15 0 12 0 32316658 1565032448 10125 1992294400 134512640 134550932 4294935392 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32161/statm: 382088 10125 1400 10 0 379390 0
Current children cumulated CPU time (s) 1.03
Current children cumulated vsize (KiB) 1528352

[startup+1.50116 s]
/proc/loadavg: 0.85 0.95 0.98 2/118 32173
/proc/meminfo: memFree=1669324/2059040 swapFree=4140228/4192956
[pid=32161] ppid=32159 vsize=1528352 CPUtime=1.82
/proc/32161/stat : 32161 (java) S 32159 32161 32109 0 -1 4202496 23235 0 1 0 171 11 0 0 15 0 12 0 32316658 1565032448 22672 1992294400 134512640 134550932 4294935392 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32161/statm: 382088 22673 1400 10 0 379390 0
[pid=32161/tid=32163] ppid=32159 vsize=1528352 CPUtime=1.45
/proc/32161/task/32163/stat : 32163 (java) R 32159 32161 32109 0 -1 4202560 21048 0 1 0 135 10 0 0 25 0 12 0 32316660 1565032448 22673 1992294400 134512640 134550932 4294935392 18446744073709551615 4109424199 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=32161/tid=32164] ppid=32159 vsize=1528352 CPUtime=0
/proc/32161/task/32164/stat : 32164 (java) S 32159 32161 32109 0 -1 4202560 3 0 0 0 0 0 0 0 17 0 12 0 32316661 1565032448 22674 1992294400 134512640 134550932 4294935392 18446744073709551615 4294960144 0 4 0 16800975 18446604437841062016 0 0 -1 1 0 0 0
[pid=32161/tid=32165] ppid=32159 vsize=1528352 CPUtime=0
/proc/32161/task/32165/stat : 32165 (java) S 32159 32161 32109 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 12 0 32316661 1565032448 22675 1992294400 134512640 134550932 4294935392 18446744073709551615 4294960144 0 4 0 16800975 18446604437841062016 0 0 -1 1 0 0 0
[pid=32161/tid=32166] ppid=32159 vsize=1528352 CPUtime=0
/proc/32161/task/32166/stat : 32166 (java) S 32159 32161 32109 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 12 0 32316663 1565032448 22676 1992294400 134512640 134550932 4294935392 18446744073709551615 4294960144 0 0 0 16800975 18446604437841062016 0 0 -1 0 0 0 0
[pid=32161/tid=32167] ppid=32159 vsize=1528352 CPUtime=0
/proc/32161/task/32167/stat : 32167 (java) S 32159 32161 32109 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 12 0 32316664 1565032448 22677 1992294400 134512640 134550932 4294935392 18446744073709551615 4294960144 0 4 0 16800975 18446604437841062016 0 0 -1 0 0 0 0
[pid=32161/tid=32168] ppid=32159 vsize=1528352 CPUtime=0
/proc/32161/task/32168/stat : 32168 (java) S 32159 32161 32109 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 12 0 32316664 1565032448 22677 1992294400 134512640 134550932 4294935392 18446744073709551615 4294960144 0 4 0 16800975 18446604437841062016 0 0 -1 0 0 0 0
[pid=32161/tid=32169] ppid=32159 vsize=1528352 CPUtime=0
/proc/32161/task/32169/stat : 32169 (java) S 32159 32161 32109 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 12 0 32316668 1565032448 22678 1992294400 134512640 134550932 4294935392 18446744073709551615 4294960144 0 4 0 16800975 18446604437841062016 0 0 -1 0 0 0 0
[pid=32161/tid=32170] ppid=32159 vsize=1528352 CPUtime=0.03
/proc/32161/task/32170/stat : 32170 (java) S 32159 32161 32109 0 -1 4202560 31 0 0 0 3 0 0 0 22 0 12 0 32316668 1565032448 22679 1992294400 134512640 134550932 4294935392 18446744073709551615 4294960144 0 4 0 16800975 18446604437841062016 0 0 -1 0 0 0 0
[pid=32161/tid=32171] ppid=32159 vsize=1528352 CPUtime=0.31
/proc/32161/task/32171/stat : 32171 (java) S 32159 32161 32109 0 -1 4202560 1095 0 0 0 31 0 0 0 17 0 12 0 32316668 1565032448 22680 1992294400 134512640 134550932 4294935392 18446744073709551615 4294960144 0 4 0 16800975 18446604437841062016 0 0 -1 0 0 0 0
[pid=32161/tid=32172] ppid=32159 vsize=1528352 CPUtime=0
/proc/32161/task/32172/stat : 32172 (java) S 32159 32161 32109 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 12 0 32316668 1565032448 22681 1992294400 134512640 134550932 4294935392 18446744073709551615 4294960144 0 4 0 16800975 18446604437841062016 0 0 -1 0 0 0 0
[pid=32161/tid=32173] ppid=32159 vsize=1528352 CPUtime=0
/proc/32161/task/32173/stat : 32173 (java) S 32159 32161 32109 0 -1 4202560 0 0 0 0 0 0 0 0 15 0 12 0 32316668 1565032448 22681 1992294400 134512640 134550932 4294935392 18446744073709551615 4294960144 0 4 0 16800975 18446604437841062016 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.82
Current children cumulated vsize (KiB) 1528352

[startup+3.10115 s]
/proc/loadavg: 0.87 0.95 0.98 3/118 32173
/proc/meminfo: memFree=1597528/2059040 swapFree=4140228/4192956
[pid=32161] ppid=32159 vsize=1541332 CPUtime=4.36
/proc/32161/stat : 32161 (java) S 32159 32161 32109 0 -1 4202496 45502 0 1 0 414 22 0 0 15 0 12 0 32316658 1578323968 43182 1992294400 134512640 134550932 4294935392 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32161/statm: 385333 43182 1417 10 0 382635 0
[pid=32161/tid=32163] ppid=32159 vsize=1541332 CPUtime=2.73
/proc/32161/task/32163/stat : 32163 (java) R 32159 32161 32109 0 -1 4202560 32001 0 1 0 258 15 0 0 25 0 12 0 32316660 1578323968 43182 1992294400 134512640 134550932 4294935392 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=32161/tid=32164] ppid=32159 vsize=1541332 CPUtime=0.08
/proc/32161/task/32164/stat : 32164 (java) S 32159 32161 32109 0 -1 4202560 4297 0 0 0 7 1 0 0 16 0 12 0 32316661 1578323968 43182 1992294400 134512640 134550932 4294935392 18446744073709551615 4294960144 0 4 0 16800975 18446604437841062016 0 0 -1 1 0 0 0
[pid=32161/tid=32165] ppid=32159 vsize=1541332 CPUtime=0.08
/proc/32161/task/32165/stat : 32165 (java) S 32159 32161 32109 0 -1 4202560 2267 0 0 0 7 1 0 0 18 0 12 0 32316661 1578323968 43182 1992294400 134512640 134550932 4294935392 18446744073709551615 4294960144 0 4 0 16800975 18446604437841062016 0 0 -1 0 0 0 0
[pid=32161/tid=32166] ppid=32159 vsize=1541332 CPUtime=0
/proc/32161/task/32166/stat : 32166 (java) S 32159 32161 32109 0 -1 4202560 7 0 0 0 0 0 0 0 16 0 12 0 32316663 1578323968 43182 1992294400 134512640 134550932 4294935392 18446744073709551615 4294960144 0 0 0 16800975 18446604437841062016 0 0 -1 0 0 0 0
[pid=32161/tid=32167] ppid=32159 vsize=1541332 CPUtime=0
/proc/32161/task/32167/stat : 32167 (java) S 32159 32161 32109 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 12 0 32316664 1578323968 43182 1992294400 134512640 134550932 4294935392 18446744073709551615 4294960144 0 4 0 16800975 18446604437841062016 0 0 -1 0 0 0 0
[pid=32161/tid=32168] ppid=32159 vsize=1541332 CPUtime=0
/proc/32161/task/32168/stat : 32168 (java) S 32159 32161 32109 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 12 0 32316664 1578323968 43184 1992294400 134512640 134550932 4294935392 18446744073709551615 4294960144 0 4 0 16800975 18446604437841062016 0 0 -1 0 0 0 0
[pid=32161/tid=32169] ppid=32159 vsize=1541332 CPUtime=0
/proc/32161/task/32169/stat : 32169 (java) S 32159 32161 32109 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 12 0 32316668 1578323968 43184 1992294400 134512640 134550932 4294935392 18446744073709551615 4294960144 0 4 0 16800975 18446604437841062016 0 0 -1 0 0 0 0
[pid=32161/tid=32170] ppid=32159 vsize=1541332 CPUtime=0.71
/proc/32161/task/32170/stat : 32170 (java) R 32159 32161 32109 0 -1 4202560 2972 0 0 0 69 2 0 0 17 0 12 0 32316668 1578323968 43184 1992294400 134512640 134550932 4294935392 18446744073709551615 104138825 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=32161/tid=32171] ppid=32159 vsize=1541332 CPUtime=0.7
/proc/32161/task/32171/stat : 32171 (java) R 32159 32161 32109 0 -1 4202560 2899 0 0 0 70 0 0 0 15 0 12 0 32316668 1578323968 43184 1992294400 134512640 134550932 4294935392 18446744073709551615 104161253 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=32161/tid=32172] ppid=32159 vsize=1541332 CPUtime=0
/proc/32161/task/32172/stat : 32172 (java) S 32159 32161 32109 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 12 0 32316668 1578323968 43184 1992294400 134512640 134550932 4294935392 18446744073709551615 4294960144 0 4 0 16800975 18446604437841062016 0 0 -1 0 0 0 0
[pid=32161/tid=32173] ppid=32159 vsize=1541332 CPUtime=0
/proc/32161/task/32173/stat : 32173 (java) S 32159 32161 32109 0 -1 4202560 0 0 0 0 0 0 0 0 15 0 12 0 32316668 1578323968 43184 1992294400 134512640 134550932 4294935392 18446744073709551615 4294960144 0 4 0 16800975 18446604437841062016 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.36
Current children cumulated vsize (KiB) 1541332

[startup+6.30013 s]
/proc/loadavg: 0.87 0.95 0.98 2/118 32173
/proc/meminfo: memFree=1485060/2059040 swapFree=4140228/4192956
[pid=32161] ppid=32159 vsize=1539996 CPUtime=8.32
/proc/32161/stat : 32161 (java) S 32159 32161 32109 0 -1 4202496 72417 0 1 0 795 37 0 0 15 0 12 0 32316658 1576955904 67060 1992294400 134512640 134550932 4294935392 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32161/statm: 384999 67060 1417 10 0 382301 0
[pid=32161/tid=32163] ppid=32159 vsize=1539996 CPUtime=5.28
/proc/32161/task/32163/stat : 32163 (java) R 32159 32161 32109 0 -1 4202560 32013 0 1 0 512 16 0 0 25 0 12 0 32316660 1576955904 67060 1992294400 134512640 134550932 4294935392 18446744073709551615 4109384810 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=32161/tid=32164] ppid=32159 vsize=1539996 CPUtime=0.66
/proc/32161/task/32164/stat : 32164 (java) S 32159 32161 32109 0 -1 4202560 18254 0 0 0 58 8 0 0 16 0 12 0 32316661 1576955904 67060 1992294400 134512640 134550932 4294935392 18446744073709551615 4294960144 0 4 0 16800975 18446604437841062016 0 0 -1 1 0 0 0
[pid=32161/tid=32165] ppid=32159 vsize=1539996 CPUtime=0.66
/proc/32161/task/32165/stat : 32165 (java) S 32159 32161 32109 0 -1 4202560 14320 0 0 0 59 7 0 0 18 0 12 0 32316661 1576955904 67060 1992294400 134512640 134550932 4294935392 18446744073709551615 4294960144 0 4 0 16800975 18446604437841062016 0 0 -1 0 0 0 0
[pid=32161/tid=32166] ppid=32159 vsize=1539996 CPUtime=0
/proc/32161/task/32166/stat : 32166 (java) S 32159 32161 32109 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 12 0 32316663 1576955904 67060 1992294400 134512640 134550932 4294935392 18446744073709551615 4294960144 0 0 0 16800975 18446604437841062016 0 0 -1 0 0 0 0
[pid=32161/tid=32167] ppid=32159 vsize=1539996 CPUtime=0
/proc/32161/task/32167/stat : 32167 (java) S 32159 32161 32109 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 12 0 32316664 1576955904 67060 1992294400 134512640 134550932 4294935392 18446744073709551615 4294960144 0 4 0 16800975 18446604437841062016 0 0 -1 0 0 0 0
[pid=32161/tid=32168] ppid=32159 vsize=1539996 CPUtime=0
/proc/32161/task/32168/stat : 32168 (java) S 32159 32161 32109 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 12 0 32316664 1576955904 67060 1992294400 134512640 134550932 4294935392 18446744073709551615 4294960144 0 4 0 16800975 18446604437841062016 0 0 -1 0 0 0 0
[pid=32161/tid=32169] ppid=32159 vsize=1539996 CPUtime=0
/proc/32161/task/32169/stat : 32169 (java) S 32159 32161 32109 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 12 0 32316668 1576955904 67060 1992294400 134512640 134550932 4294935392 18446744073709551615 4294960144 0 4 0 16800975 18446604437841062016 0 0 -1 0 0 0 0
[pid=32161/tid=32170] ppid=32159 vsize=1539996 CPUtime=0.89
/proc/32161/task/32170/stat : 32170 (java) S 32159 32161 32109 0 -1 4202560 3788 0 0 0 87 2 0 0 15 0 12 0 32316668 1576955904 67060 1992294400 134512640 134550932 4294935392 18446744073709551615 4294960144 0 4 0 16800975 18446604437841062016 0 0 -1 1 0 0 0
[pid=32161/tid=32171] ppid=32159 vsize=1539996 CPUtime=0.76
/proc/32161/task/32171/stat : 32171 (java) S 32159 32161 32109 0 -1 4202560 2974 0 0 0 76 0 0 0 15 0 12 0 32316668 1576955904 67060 1992294400 134512640 134550932 4294935392 18446744073709551615 4294960144 0 4 0 16800975 18446604437841062016 0 0 -1 0 0 0 0
[pid=32161/tid=32172] ppid=32159 vsize=1539996 CPUtime=0
/proc/32161/task/32172/stat : 32172 (java) S 32159 32161 32109 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 12 0 32316668 1576955904 67060 1992294400 134512640 134550932 4294935392 18446744073709551615 4294960144 0 4 0 16800975 18446604437841062016 0 0 -1 0 0 0 0
[pid=32161/tid=32173] ppid=32159 vsize=1539996 CPUtime=0
/proc/32161/task/32173/stat : 32173 (java) S 32159 32161 32109 0 -1 4202560 0 0 0 0 0 0 0 0 15 0 12 0 32316668 1576955904 67060 1992294400 134512640 134550932 4294935392 18446744073709551615 4294960144 0 4 0 16800975 18446604437841062016 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 8.32
Current children cumulated vsize (KiB) 1539996

[startup+12.7011 s]
/proc/loadavg: 0.89 0.95 0.98 2/119 32174
/proc/meminfo: memFree=1381888/2059040 swapFree=4140228/4192956
[pid=32161] ppid=32159 vsize=1540320 CPUtime=16.11
/proc/32161/stat : 32161 (java) S 32159 32161 32109 0 -1 4202496 93418 0 2 0 1562 49 0 0 15 0 13 0 32316658 1577287680 86284 1992294400 134512640 134550932 4294935392 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32161/statm: 385080 86284 1442 10 0 382382 0
[pid=32161/tid=32163] ppid=32159 vsize=1540320 CPUtime=10.66
/proc/32161/task/32163/stat : 32163 (java) R 32159 32161 32109 0 -1 4202560 32065 0 1 0 1050 16 0 0 25 0 13 0 32316660 1577287680 86284 1992294400 134512640 134550932 4294935392 18446744073709551615 4109906445 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=32161/tid=32164] ppid=32159 vsize=1540320 CPUtime=1.34
/proc/32161/task/32164/stat : 32164 (java) S 32159 32161 32109 0 -1 4202560 25966 0 0 0 120 14 0 0 16 0 13 0 32316661 1577287680 86284 1992294400 134512640 134550932 4294935392 18446744073709551615 4294960144 0 4 0 16800975 18446604437841062016 0 0 -1 1 0 0 0
[pid=32161/tid=32165] ppid=32159 vsize=1540320 CPUtime=1.32
/proc/32161/task/32165/stat : 32165 (java) S 32159 32161 32109 0 -1 4202560 27463 0 0 0 119 13 0 0 16 0 13 0 32316661 1577287680 86284 1992294400 134512640 134550932 4294935392 18446744073709551615 4294960144 0 4 0 16800975 18446604437841062016 0 0 -1 0 0 0 0
[pid=32161/tid=32166] ppid=32159 vsize=1540320 CPUtime=0
/proc/32161/task/32166/stat : 32166 (java) S 32159 32161 32109 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 13 0 32316663 1577287680 86284 1992294400 134512640 134550932 4294935392 18446744073709551615 4294960144 0 0 0 16800975 18446604437841062016 0 0 -1 1 0 0 0
[pid=32161/tid=32167] ppid=32159 vsize=1540320 CPUtime=0
/proc/32161/task/32167/stat : 32167 (java) S 32159 32161 32109 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 13 0 32316664 1577287680 86284 1992294400 134512640 134550932 4294935392 18446744073709551615 4294960144 0 4 0 16800975 18446604437841062016 0 0 -1 0 0 0 0
[pid=32161/tid=32168] ppid=32159 vsize=1540320 CPUtime=0
/proc/32161/task/32168/stat : 32168 (java) S 32159 32161 32109 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 32316664 1577287680 86284 1992294400 134512640 134550932 4294935392 18446744073709551615 4294960144 0 4 0 16800975 18446604437841062016 0 0 -1 0 0 0 0
[pid=32161/tid=32169] ppid=32159 vsize=1540320 CPUtime=0
/proc/32161/task/32169/stat : 32169 (java) S 32159 32161 32109 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 13 0 32316668 1577287680 86284 1992294400 134512640 134550932 4294935392 18446744073709551615 4294960144 0 4 0 16800975 18446604437841062016 0 0 -1 0 0 0 0
[pid=32161/tid=32170] ppid=32159 vsize=1540320 CPUtime=1.42
/proc/32161/task/32170/stat : 32170 (java) S 32159 32161 32109 0 -1 4202560 3827 0 1 0 140 2 0 0 16 0 13 0 32316668 1577287680 86284 1992294400 134512640 134550932 4294935392 18446744073709551615 4294960144 0 4 0 16800975 18446604437841062016 0 0 -1 1 0 0 0
[pid=32161/tid=32171] ppid=32159 vsize=1540320 CPUtime=1.31
/proc/32161/task/32171/stat : 32171 (java) S 32159 32161 32109 0 -1 4202560 3025 0 0 0 131 0 0 0 16 0 13 0 32316668 1577287680 86284 1992294400 134512640 134550932 4294935392 18446744073709551615 4294960144 0 4 0 16800975 18446604437841062016 0 0 -1 0 0 0 0
[pid=32161/tid=32172] ppid=32159 vsize=1540320 CPUtime=0
/proc/32161/task/32172/stat : 32172 (java) S 32159 32161 32109 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 13 0 32316668 1577287680 86284 1992294400 134512640 134550932 4294935392 18446744073709551615 4294960144 0 4 0 16800975 18446604437841062016 0 0 -1 0 0 0 0
[pid=32161/tid=32173] ppid=32159 vsize=1540320 CPUtime=0
/proc/32161/task/32173/stat : 32173 (java) S 32159 32161 32109 0 -1 4202560 0 0 0 0 0 0 0 0 15 0 13 0 32316668 1577287680 86284 1992294400 134512640 134550932 4294935392 18446744073709551615 4294960144 0 4 0 16800975 18446604437841062016 0 0 -1 0 0 0 0
[pid=32161/tid=32174] ppid=32159 vsize=1540320 CPUtime=0
/proc/32161/task/32174/stat : 32174 (java) S 32159 32161 32109 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 32317598 1577287680 86284 1992294400 134512640 134550932 4294935392 18446744073709551615 4294960144 0 4 0 16800975 18446604437841062016 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 16.11
Current children cumulated vsize (KiB) 1540320

[startup+25.501 s]
/proc/loadavg: 0.98 0.97 0.99 2/119 32174
/proc/meminfo: memFree=1381640/2059040 swapFree=4140228/4192956
[pid=32161] ppid=32159 vsize=1540320 CPUtime=29.2
/proc/32161/stat : 32161 (java) S 32159 32161 32109 0 -1 4202496 93514 0 2 0 2870 50 0 0 15 0 13 0 32316658 1577287680 86373 1992294400 134512640 134550932 4294935392 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32161/statm: 385080 86373 1444 10 0 382382 0
[pid=32161/tid=32163] ppid=32159 vsize=1540320 CPUtime=23.32
/proc/32161/task/32163/stat : 32163 (java) R 32159 32161 32109 0 -1 4202560 32074 0 1 0 2315 17 0 0 25 0 13 0 32316660 1577287680 86373 1992294400 134512640 134550932 4294935392 18446744073709551615 4109906028 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=32161/tid=32164] ppid=32159 vsize=1540320 CPUtime=1.41
/proc/32161/task/32164/stat : 32164 (java) S 32159 32161 32109 0 -1 4202560 25966 0 0 0 127 14 0 0 16 0 13 0 32316661 1577287680 86373 1992294400 134512640 134550932 4294935392 18446744073709551615 4294960144 0 4 0 16800975 18446604437841062016 0 0 -1 1 0 0 0
[pid=32161/tid=32165] ppid=32159 vsize=1540320 CPUtime=1.4
/proc/32161/task/32165/stat : 32165 (java) S 32159 32161 32109 0 -1 4202560 27529 0 0 0 126 14 0 0 16 0 13 0 32316661 1577287680 86373 1992294400 134512640 134550932 4294935392 18446744073709551615 4294960144 0 4 0 16800975 18446604437841062016 0 0 -1 0 0 0 0
[pid=32161/tid=32166] ppid=32159 vsize=1540320 CPUtime=0
/proc/32161/task/32166/stat : 32166 (java) S 32159 32161 32109 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 13 0 32316663 1577287680 86373 1992294400 134512640 134550932 4294935392 18446744073709551615 4294960144 0 0 0 16800975 18446604437841062016 0 0 -1 1 0 0 0
[pid=32161/tid=32167] ppid=32159 vsize=1540320 CPUtime=0
/proc/32161/task/32167/stat : 32167 (java) S 32159 32161 32109 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 13 0 32316664 1577287680 86373 1992294400 134512640 134550932 4294935392 18446744073709551615 4294960144 0 4 0 16800975 18446604437841062016 0 0 -1 0 0 0 0
[pid=32161/tid=32168] ppid=32159 vsize=1540320 CPUtime=0
/proc/32161/task/32168/stat : 32168 (java) S 32159 32161 32109 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 32316664 1577287680 86373 1992294400 134512640 134550932 4294935392 18446744073709551615 4294960144 0 4 0 16800975 18446604437841062016 0 0 -1 0 0 0 0
[pid=32161/tid=32169] ppid=32159 vsize=1540320 CPUtime=0

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

[pid=32161/tid=32167] ppid=32159 vsize=1540320 CPUtime=0
/proc/32161/task/32167/stat : 32167 (java) S 32159 32161 32109 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 13 0 32316664 1577287680 93214 1992294400 134512640 134550932 4294935392 18446744073709551615 4294960144 0 4 0 16800975 18446604437841062016 0 0 -1 1 0 0 0
[pid=32161/tid=32168] ppid=32159 vsize=1540320 CPUtime=0
/proc/32161/task/32168/stat : 32168 (java) S 32159 32161 32109 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 32316664 1577287680 93214 1992294400 134512640 134550932 4294935392 18446744073709551615 4294960144 0 4 0 16800975 18446604437841062016 0 0 -1 0 0 0 0
[pid=32161/tid=32169] ppid=32159 vsize=1540320 CPUtime=0
/proc/32161/task/32169/stat : 32169 (java) S 32159 32161 32109 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 13 0 32316668 1577287680 93214 1992294400 134512640 134550932 4294935392 18446744073709551615 4294960144 0 4 0 16800975 18446604437841062016 0 0 -1 0 0 0 0
[pid=32161/tid=32170] ppid=32159 vsize=1540320 CPUtime=1.59
/proc/32161/task/32170/stat : 32170 (java) S 32159 32161 32109 0 -1 4202560 3837 0 1 0 157 2 0 0 15 0 13 0 32316668 1577287680 93214 1992294400 134512640 134550932 4294935392 18446744073709551615 4294960144 0 4 0 16800975 18446604437841062016 0 0 -1 1 0 0 0
[pid=32161/tid=32171] ppid=32159 vsize=1540320 CPUtime=1.84
/proc/32161/task/32171/stat : 32171 (java) S 32159 32161 32109 0 -1 4202560 3059 0 0 0 183 1 0 0 15 0 13 0 32316668 1577287680 93214 1992294400 134512640 134550932 4294935392 18446744073709551615 4294960144 0 4 0 16800975 18446604437841062016 0 0 -1 0 0 0 0
[pid=32161/tid=32172] ppid=32159 vsize=1540320 CPUtime=0
/proc/32161/task/32172/stat : 32172 (java) S 32159 32161 32109 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 13 0 32316668 1577287680 93214 1992294400 134512640 134550932 4294935392 18446744073709551615 4294960144 0 4 0 16800975 18446604437841062016 0 0 -1 0 0 0 0
[pid=32161/tid=32173] ppid=32159 vsize=1540320 CPUtime=0
/proc/32161/task/32173/stat : 32173 (java) S 32159 32161 32109 0 -1 4202560 90 0 0 0 0 0 0 0 15 0 13 0 32316668 1577287680 93214 1992294400 134512640 134550932 4294935392 18446744073709551615 4294960144 0 4 0 16800975 18446604437841062016 0 0 -1 1 0 0 0
[pid=32161/tid=32174] ppid=32159 vsize=1540320 CPUtime=0
/proc/32161/task/32174/stat : 32174 (java) S 32159 32161 32109 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 32317598 1577287680 93214 1992294400 134512640 134550932 4294935392 18446744073709551615 4294960144 0 4 0 16800975 18446604437841062016 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1609.85
Current children cumulated vsize (KiB) 1540320

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/119 32702
/proc/meminfo: memFree=1339016/2059040 swapFree=4140228/4192956
[pid=32161] ppid=32159 vsize=1540320 CPUtime=1669.88
/proc/32161/stat : 32161 (java) S 32159 32161 32109 0 -1 4202496 290530 0 2 0 166846 142 0 0 15 0 13 0 32316658 1577287680 93214 1992294400 134512640 134550932 4294935392 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32161/statm: 385080 93214 1449 10 0 382382 0
[pid=32161/tid=32163] ppid=32159 vsize=1540320 CPUtime=1560.56
/proc/32161/task/32163/stat : 32163 (java) R 32159 32161 32109 0 -1 4202560 32368 0 1 0 156031 25 0 0 25 0 13 0 32316660 1577287680 93214 1992294400 134512640 134550932 4294935392 18446744073709551615 4109906458 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=32161/tid=32164] ppid=32159 vsize=1540320 CPUtime=5.96
/proc/32161/task/32164/stat : 32164 (java) S 32159 32161 32109 0 -1 4202560 29471 0 0 0 574 22 0 0 15 0 13 0 32316661 1577287680 93214 1992294400 134512640 134550932 4294935392 18446744073709551615 4294960144 0 4 0 16800975 18446604437841062016 0 0 -1 0 0 0 0
[pid=32161/tid=32165] ppid=32159 vsize=1540320 CPUtime=5.98
/proc/32161/task/32165/stat : 32165 (java) S 32159 32161 32109 0 -1 4202560 31378 0 0 0 578 20 0 0 16 0 13 0 32316661 1577287680 93214 1992294400 134512640 134550932 4294935392 18446744073709551615 4294960144 0 4 0 16800975 18446604437841062016 0 0 -1 1 0 0 0
[pid=32161/tid=32166] ppid=32159 vsize=1540320 CPUtime=93.88
/proc/32161/task/32166/stat : 32166 (java) S 32159 32161 32109 0 -1 4202560 189258 0 0 0 9319 69 0 0 15 0 13 0 32316663 1577287680 93214 1992294400 134512640 134550932 4294935392 18446744073709551615 4294960144 0 0 0 16800975 18446604437841062016 0 0 -1 0 0 0 0
[pid=32161/tid=32167] ppid=32159 vsize=1540320 CPUtime=0
/proc/32161/task/32167/stat : 32167 (java) S 32159 32161 32109 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 13 0 32316664 1577287680 93214 1992294400 134512640 134550932 4294935392 18446744073709551615 4294960144 0 4 0 16800975 18446604437841062016 0 0 -1 1 0 0 0
[pid=32161/tid=32168] ppid=32159 vsize=1540320 CPUtime=0
/proc/32161/task/32168/stat : 32168 (java) S 32159 32161 32109 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 32316664 1577287680 93214 1992294400 134512640 134550932 4294935392 18446744073709551615 4294960144 0 4 0 16800975 18446604437841062016 0 0 -1 0 0 0 0
[pid=32161/tid=32169] ppid=32159 vsize=1540320 CPUtime=0
/proc/32161/task/32169/stat : 32169 (java) S 32159 32161 32109 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 13 0 32316668 1577287680 93214 1992294400 134512640 134550932 4294935392 18446744073709551615 4294960144 0 4 0 16800975 18446604437841062016 0 0 -1 0 0 0 0
[pid=32161/tid=32170] ppid=32159 vsize=1540320 CPUtime=1.59
/proc/32161/task/32170/stat : 32170 (java) S 32159 32161 32109 0 -1 4202560 3837 0 1 0 157 2 0 0 15 0 13 0 32316668 1577287680 93214 1992294400 134512640 134550932 4294935392 18446744073709551615 4294960144 0 4 0 16800975 18446604437841062016 0 0 -1 1 0 0 0
[pid=32161/tid=32171] ppid=32159 vsize=1540320 CPUtime=1.84
/proc/32161/task/32171/stat : 32171 (java) S 32159 32161 32109 0 -1 4202560 3059 0 0 0 183 1 0 0 15 0 13 0 32316668 1577287680 93214 1992294400 134512640 134550932 4294935392 18446744073709551615 4294960144 0 4 0 16800975 18446604437841062016 0 0 -1 0 0 0 0
[pid=32161/tid=32172] ppid=32159 vsize=1540320 CPUtime=0
/proc/32161/task/32172/stat : 32172 (java) S 32159 32161 32109 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 13 0 32316668 1577287680 93214 1992294400 134512640 134550932 4294935392 18446744073709551615 4294960144 0 4 0 16800975 18446604437841062016 0 0 -1 0 0 0 0
[pid=32161/tid=32173] ppid=32159 vsize=1540320 CPUtime=0
/proc/32161/task/32173/stat : 32173 (java) S 32159 32161 32109 0 -1 4202560 94 0 0 0 0 0 0 0 15 0 13 0 32316668 1577287680 93214 1992294400 134512640 134550932 4294935392 18446744073709551615 4294960144 0 4 0 16800975 18446604437841062016 0 0 -1 1 0 0 0
[pid=32161/tid=32174] ppid=32159 vsize=1540320 CPUtime=0
/proc/32161/task/32174/stat : 32174 (java) S 32159 32161 32109 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 32317598 1577287680 93214 1992294400 134512640 134550932 4294935392 18446744073709551615 4294960144 0 4 0 16800975 18446604437841062016 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1669.88
Current children cumulated vsize (KiB) 1540320

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/119 32704
/proc/meminfo: memFree=1337280/2059040 swapFree=4140228/4192956
[pid=32161] ppid=32159 vsize=1540320 CPUtime=1729.9
/proc/32161/stat : 32161 (java) S 32159 32161 32109 0 -1 4202496 294798 0 2 0 172846 144 0 0 15 0 13 0 32316658 1577287680 93612 1992294400 134512640 134550932 4294935392 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32161/statm: 385080 93612 1449 10 0 382382 0
[pid=32161/tid=32163] ppid=32159 vsize=1540320 CPUtime=1619.68
/proc/32161/task/32163/stat : 32163 (java) R 32159 32161 32109 0 -1 4202560 32373 0 1 0 161943 25 0 0 25 0 13 0 32316660 1577287680 93612 1992294400 134512640 134550932 4294935392 18446744073709551615 4109906987 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=32161/tid=32164] ppid=32159 vsize=1540320 CPUtime=6
/proc/32161/task/32164/stat : 32164 (java) S 32159 32161 32109 0 -1 4202560 29810 0 0 0 578 22 0 0 16 0 13 0 32316661 1577287680 93612 1992294400 134512640 134550932 4294935392 18446744073709551615 4294960144 0 4 0 16800975 18446604437841062016 0 0 -1 1 0 0 0
[pid=32161/tid=32165] ppid=32159 vsize=1540320 CPUtime=6.02
/proc/32161/task/32165/stat : 32165 (java) S 32159 32161 32109 0 -1 4202560 31452 0 0 0 582 20 0 0 15 0 13 0 32316661 1577287680 93612 1992294400 134512640 134550932 4294935392 18446744073709551615 4294960144 0 4 0 16800975 18446604437841062016 0 0 -1 1 0 0 0
[pid=32161/tid=32166] ppid=32159 vsize=1540320 CPUtime=94.7
/proc/32161/task/32166/stat : 32166 (java) S 32159 32161 32109 0 -1 4202560 193104 0 0 0 9400 70 0 0 15 0 13 0 32316663 1577287680 93612 1992294400 134512640 134550932 4294935392 18446744073709551615 4294960144 0 0 0 16800975 18446604437841062016 0 0 -1 0 0 0 0
[pid=32161/tid=32167] ppid=32159 vsize=1540320 CPUtime=0
/proc/32161/task/32167/stat : 32167 (java) S 32159 32161 32109 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 13 0 32316664 1577287680 93612 1992294400 134512640 134550932 4294935392 18446744073709551615 4294960144 0 4 0 16800975 18446604437841062016 0 0 -1 1 0 0 0
[pid=32161/tid=32168] ppid=32159 vsize=1540320 CPUtime=0
/proc/32161/task/32168/stat : 32168 (java) S 32159 32161 32109 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 32316664 1577287680 93612 1992294400 134512640 134550932 4294935392 18446744073709551615 4294960144 0 4 0 16800975 18446604437841062016 0 0 -1 0 0 0 0
[pid=32161/tid=32169] ppid=32159 vsize=1540320 CPUtime=0
/proc/32161/task/32169/stat : 32169 (java) S 32159 32161 32109 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 13 0 32316668 1577287680 93612 1992294400 134512640 134550932 4294935392 18446744073709551615 4294960144 0 4 0 16800975 18446604437841062016 0 0 -1 0 0 0 0
[pid=32161/tid=32170] ppid=32159 vsize=1540320 CPUtime=1.59
/proc/32161/task/32170/stat : 32170 (java) S 32159 32161 32109 0 -1 4202560 3837 0 1 0 157 2 0 0 15 0 13 0 32316668 1577287680 93612 1992294400 134512640 134550932 4294935392 18446744073709551615 4294960144 0 4 0 16800975 18446604437841062016 0 0 -1 1 0 0 0
[pid=32161/tid=32171] ppid=32159 vsize=1540320 CPUtime=1.84
/proc/32161/task/32171/stat : 32171 (java) S 32159 32161 32109 0 -1 4202560 3059 0 0 0 183 1 0 0 15 0 13 0 32316668 1577287680 93612 1992294400 134512640 134550932 4294935392 18446744073709551615 4294960144 0 4 0 16800975 18446604437841062016 0 0 -1 0 0 0 0
[pid=32161/tid=32172] ppid=32159 vsize=1540320 CPUtime=0
/proc/32161/task/32172/stat : 32172 (java) S 32159 32161 32109 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 13 0 32316668 1577287680 93612 1992294400 134512640 134550932 4294935392 18446744073709551615 4294960144 0 4 0 16800975 18446604437841062016 0 0 -1 0 0 0 0
[pid=32161/tid=32173] ppid=32159 vsize=1540320 CPUtime=0
/proc/32161/task/32173/stat : 32173 (java) S 32159 32161 32109 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 13 0 32316668 1577287680 93612 1992294400 134512640 134550932 4294935392 18446744073709551615 4294960144 0 4 0 16800975 18446604437841062016 0 0 -1 1 0 0 0
[pid=32161/tid=32174] ppid=32159 vsize=1540320 CPUtime=0
/proc/32161/task/32174/stat : 32174 (java) S 32159 32161 32109 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 32317598 1577287680 93612 1992294400 134512640 134550932 4294935392 18446744073709551615 4294960144 0 4 0 16800975 18446604437841062016 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1729.9
Current children cumulated vsize (KiB) 1540320

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 3/119 32706
/proc/meminfo: memFree=1337156/2059040 swapFree=4140228/4192956
[pid=32161] ppid=32159 vsize=1540320 CPUtime=1790
/proc/32161/stat : 32161 (java) S 32159 32161 32109 0 -1 4202496 307066 0 2 0 178852 148 0 0 15 0 13 0 32316658 1577287680 93612 1992294400 134512640 134550932 4294935392 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32161/statm: 385080 93612 1449 10 0 382382 0
[pid=32161/tid=32163] ppid=32159 vsize=1540320 CPUtime=1676.09
/proc/32161/task/32163/stat : 32163 (java) R 32159 32161 32109 0 -1 4202560 32381 0 1 0 167584 25 0 0 23 0 13 0 32316660 1577287680 93612 1992294400 134512640 134550932 4294935392 18446744073709551615 4110063520 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=32161/tid=32164] ppid=32159 vsize=1540320 CPUtime=6.12
/proc/32161/task/32164/stat : 32164 (java) S 32159 32161 32109 0 -1 4202560 29810 0 0 0 590 22 0 0 16 0 13 0 32316661 1577287680 93612 1992294400 134512640 134550932 4294935392 18446744073709551615 4294960144 0 4 0 16800975 18446604437841062016 0 0 -1 1 0 0 0
[pid=32161/tid=32165] ppid=32159 vsize=1540320 CPUtime=6.14
/proc/32161/task/32165/stat : 32165 (java) S 32159 32161 32109 0 -1 4202560 31452 0 0 0 594 20 0 0 16 0 13 0 32316661 1577287680 93612 1992294400 134512640 134550932 4294935392 18446744073709551615 4294960144 0 4 0 16800975 18446604437841062016 0 0 -1 1 0 0 0
[pid=32161/tid=32166] ppid=32159 vsize=1540320 CPUtime=98.15
/proc/32161/task/32166/stat : 32166 (java) S 32159 32161 32109 0 -1 4202560 205362 0 0 0 9741 74 0 0 15 0 13 0 32316663 1577287680 93612 1992294400 134512640 134550932 4294935392 18446744073709551615 4294960144 0 0 0 16800975 18446604437841062016 0 0 -1 0 0 0 0
[pid=32161/tid=32167] ppid=32159 vsize=1540320 CPUtime=0
/proc/32161/task/32167/stat : 32167 (java) S 32159 32161 32109 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 13 0 32316664 1577287680 93612 1992294400 134512640 134550932 4294935392 18446744073709551615 4294960144 0 4 0 16800975 18446604437841062016 0 0 -1 1 0 0 0
[pid=32161/tid=32168] ppid=32159 vsize=1540320 CPUtime=0
/proc/32161/task/32168/stat : 32168 (java) S 32159 32161 32109 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 32316664 1577287680 93612 1992294400 134512640 134550932 4294935392 18446744073709551615 4294960144 0 4 0 16800975 18446604437841062016 0 0 -1 0 0 0 0
[pid=32161/tid=32169] ppid=32159 vsize=1540320 CPUtime=0
/proc/32161/task/32169/stat : 32169 (java) S 32159 32161 32109 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 13 0 32316668 1577287680 93612 1992294400 134512640 134550932 4294935392 18446744073709551615 4294960144 0 4 0 16800975 18446604437841062016 0 0 -1 0 0 0 0
[pid=32161/tid=32170] ppid=32159 vsize=1540320 CPUtime=1.59
/proc/32161/task/32170/stat : 32170 (java) S 32159 32161 32109 0 -1 4202560 3837 0 1 0 157 2 0 0 15 0 13 0 32316668 1577287680 93612 1992294400 134512640 134550932 4294935392 18446744073709551615 4294960144 0 4 0 16800975 18446604437841062016 0 0 -1 1 0 0 0
[pid=32161/tid=32171] ppid=32159 vsize=1540320 CPUtime=1.84
/proc/32161/task/32171/stat : 32171 (java) S 32159 32161 32109 0 -1 4202560 3059 0 0 0 183 1 0 0 15 0 13 0 32316668 1577287680 93612 1992294400 134512640 134550932 4294935392 18446744073709551615 4294960144 0 4 0 16800975 18446604437841062016 0 0 -1 0 0 0 0
[pid=32161/tid=32172] ppid=32159 vsize=1540320 CPUtime=0
/proc/32161/task/32172/stat : 32172 (java) S 32159 32161 32109 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 13 0 32316668 1577287680 93612 1992294400 134512640 134550932 4294935392 18446744073709551615 4294960144 0 4 0 16800975 18446604437841062016 0 0 -1 0 0 0 0
[pid=32161/tid=32173] ppid=32159 vsize=1540320 CPUtime=0
/proc/32161/task/32173/stat : 32173 (java) S 32159 32161 32109 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 13 0 32316668 1577287680 93612 1992294400 134512640 134550932 4294935392 18446744073709551615 4294960144 0 4 0 16800975 18446604437841062016 0 0 -1 1 0 0 0
[pid=32161/tid=32174] ppid=32159 vsize=1540320 CPUtime=0
/proc/32161/task/32174/stat : 32174 (java) S 32159 32161 32109 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 32317598 1577287680 93612 1992294400 134512640 134550932 4294935392 18446744073709551615 4294960144 0 4 0 16800975 18446604437841062016 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1790
Current children cumulated vsize (KiB) 1540320



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1792.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/119 32706
/proc/meminfo: memFree=1337156/2059040 swapFree=4140228/4192956
[pid=32161] ppid=32159 vsize=1540320 CPUtime=1800.01
/proc/32161/stat : 32161 (java) S 32159 32161 32109 0 -1 4202496 308713 0 2 0 179852 149 0 0 15 0 13 0 32316658 1577287680 93612 1992294400 134512640 134550932 4294935392 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32161/statm: 385080 93612 1449 10 0 382382 0
[pid=32161/tid=32163] ppid=32159 vsize=1540320 CPUtime=1685.44
/proc/32161/task/32163/stat : 32163 (java) R 32159 32161 32109 0 -1 4202560 32382 0 1 0 168519 25 0 0 25 0 13 0 32316660 1577287680 93612 1992294400 134512640 134550932 4294935392 18446744073709551615 4109973315 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=32161/tid=32164] ppid=32159 vsize=1540320 CPUtime=6.13
/proc/32161/task/32164/stat : 32164 (java) S 32159 32161 32109 0 -1 4202560 29810 0 0 0 591 22 0 0 15 0 13 0 32316661 1577287680 93612 1992294400 134512640 134550932 4294935392 18446744073709551615 4294960144 0 4 0 16800975 18446604437841062016 0 0 -1 0 0 0 0
[pid=32161/tid=32165] ppid=32159 vsize=1540320 CPUtime=6.15
/proc/32161/task/32165/stat : 32165 (java) S 32159 32161 32109 0 -1 4202560 31452 0 0 0 595 20 0 0 16 0 13 0 32316661 1577287680 93612 1992294400 134512640 134550932 4294935392 18446744073709551615 4294960144 0 4 0 16800975 18446604437841062016 0 0 -1 1 0 0 0
[pid=32161/tid=32166] ppid=32159 vsize=1540320 CPUtime=98.8
/proc/32161/task/32166/stat : 32166 (java) S 32159 32161 32109 0 -1 4202560 207006 0 0 0 9805 75 0 0 15 0 13 0 32316663 1577287680 93612 1992294400 134512640 134550932 4294935392 18446744073709551615 4294960144 0 0 0 16800975 18446604437841062016 0 0 -1 0 0 0 0
[pid=32161/tid=32167] ppid=32159 vsize=1540320 CPUtime=0
/proc/32161/task/32167/stat : 32167 (java) S 32159 32161 32109 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 13 0 32316664 1577287680 93612 1992294400 134512640 134550932 4294935392 18446744073709551615 4294960144 0 4 0 16800975 18446604437841062016 0 0 -1 1 0 0 0
[pid=32161/tid=32168] ppid=32159 vsize=1540320 CPUtime=0
/proc/32161/task/32168/stat : 32168 (java) S 32159 32161 32109 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 32316664 1577287680 93612 1992294400 134512640 134550932 4294935392 18446744073709551615 4294960144 0 4 0 16800975 18446604437841062016 0 0 -1 0 0 0 0
[pid=32161/tid=32169] ppid=32159 vsize=1540320 CPUtime=0
/proc/32161/task/32169/stat : 32169 (java) S 32159 32161 32109 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 13 0 32316668 1577287680 93612 1992294400 134512640 134550932 4294935392 18446744073709551615 4294960144 0 4 0 16800975 18446604437841062016 0 0 -1 0 0 0 0
[pid=32161/tid=32170] ppid=32159 vsize=1540320 CPUtime=1.59
/proc/32161/task/32170/stat : 32170 (java) S 32159 32161 32109 0 -1 4202560 3837 0 1 0 157 2 0 0 15 0 13 0 32316668 1577287680 93612 1992294400 134512640 134550932 4294935392 18446744073709551615 4294960144 0 4 0 16800975 18446604437841062016 0 0 -1 1 0 0 0
[pid=32161/tid=32171] ppid=32159 vsize=1540320 CPUtime=1.84
/proc/32161/task/32171/stat : 32171 (java) S 32159 32161 32109 0 -1 4202560 3059 0 0 0 183 1 0 0 15 0 13 0 32316668 1577287680 93612 1992294400 134512640 134550932 4294935392 18446744073709551615 4294960144 0 4 0 16800975 18446604437841062016 0 0 -1 0 0 0 0
[pid=32161/tid=32172] ppid=32159 vsize=1540320 CPUtime=0
/proc/32161/task/32172/stat : 32172 (java) S 32159 32161 32109 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 13 0 32316668 1577287680 93612 1992294400 134512640 134550932 4294935392 18446744073709551615 4294960144 0 4 0 16800975 18446604437841062016 0 0 -1 0 0 0 0
[pid=32161/tid=32173] ppid=32159 vsize=1540320 CPUtime=0
/proc/32161/task/32173/stat : 32173 (java) S 32159 32161 32109 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 13 0 32316668 1577287680 93612 1992294400 134512640 134550932 4294935392 18446744073709551615 4294960144 0 4 0 16800975 18446604437841062016 0 0 -1 1 0 0 0
[pid=32161/tid=32174] ppid=32159 vsize=1540320 CPUtime=0
/proc/32161/task/32174/stat : 32174 (java) S 32159 32161 32109 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 32317598 1577287680 93612 1992294400 134512640 134550932 4294935392 18446744073709551615 4294960144 0 4 0 16800975 18446604437841062016 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1540320

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

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

[startup+1792.42 s]
/proc/loadavg: 1.00 1.00 1.00 2/119 32706
/proc/meminfo: memFree=1337156/2059040 swapFree=4140228/4192956
[pid=32161] ppid=32159 vsize=0 CPUtime=1800.17
/proc/32161/stat : 32161 (java) Z 32159 32161 32109 0 -1 4203548 308736 0 2 0 179864 153 0 0 15 0 2 0 32316658 0 0 1992294400 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32161/statm: 0 0 0 0 0 0 0
[pid=32161/tid=32174] ppid=32159 vsize=0 CPUtime=0.03
/proc/32161/task/32174/stat : 32174 (java) R 32159 32161 32109 0 -1 4203588 4 0 0 0 0 3 0 0 18 0 2 0 32317598 0 0 1992294400 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 1792.42
CPU time (s): 1800.18
CPU user time (s): 1798.65
CPU system time (s): 1.53377
CPU usage (%): 100.433
Max. virtual memory (cumulated for all children) (KiB): 1550568

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.65
system time used= 1.53377
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 308736
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 40013
involuntary context switches= 19117

runsolver used 3.76443 second user time and 9.52855 second system time

The end

Launcher Data 

Begin job on node009 at 2010-06-15 03:59:09
IDJOB=2659039
IDBENCH=2509
IDSOLVER=1164
FILE ID=node009/2659039-1276567148
PBS_JOBID= 11173515
Free space on /tmp= 62436 MiB

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

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

MD5SUM BENCH= 7946286f4c1a7ac44cf771db2f48f590
RANDOM SEED=715628011

node009.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.199
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.39
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.199
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.44
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1723012 kB
Buffers:         65144 kB
Cached:         190680 kB
SwapCached:       6120 kB
Active:          95932 kB
Inactive:       172488 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1723012 kB
SwapTotal:     4192956 kB
SwapFree:      4140228 kB
Dirty:           15044 kB
Writeback:           0 kB
AnonPages:       10900 kB
Mapped:          12964 kB
Slab:            45728 kB
PageTables:       3980 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   179688 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= 62540 MiB
End job on node009 at 2010-06-15 04:29:03