Trace number 3190185

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 NameAnswerCPU timeWall clock time
SAT4J core 2.3.0 SNAPSHOT 2011-02-06? (TO) 1301.13 1300.04

General information on the benchmark

Namerandom/large/
unif-k5-r20-v1500-c30000-S976428817-077-UNKNOWN.cnf
MD5SUM4d2cfd51677809bb15d90c916352e4e2
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark353.72
Satisfiable
(Un)Satisfiability was proved
Number of variables1500
Number of clauses30000
Sum of the clauses size150000
Maximum clause length5
Minimum clause length5
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 530000
Number of clauses of size over 50

Solver Data 

0.06/0.20	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.06/0.20	c This is free software under the dual EPL/GNU LGPL licenses.
0.06/0.20	c See www.sat4j.org for details.
0.06/0.21	c no version file found!!!
0.06/0.21	c java.runtime.name	Java(TM) SE Runtime Environment
0.06/0.21	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.06/0.21	c java.vm.version	19.1-b02
0.06/0.21	c java.vm.vendor	Sun Microsystems Inc.
0.06/0.21	c sun.arch.data.model	64
0.06/0.21	c java.version		1.6.0_24
0.06/0.21	c os.name		Linux
0.06/0.21	c os.version		2.6.18-164.el5
0.06/0.21	c os.arch		amd64
0.06/0.21	c Free memory 		6997539544
0.06/0.21	c Max memory 		7034241024
0.06/0.21	c Total memory 		7034241024
0.06/0.21	c Number of processors 	8
0.06/0.23	c --- Begin Solver configuration ---
0.06/0.23	c org.sat4j.minisat.constraints.MixedDataStructureDanielWL@50337d0f
0.06/0.23	c Learn all clauses as in MiniSAT
0.06/0.23	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.1 initConflictBound=100 
0.06/0.23	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT
0.06/0.23	c Expensive reason simplification
0.06/0.23	c Armin Biere (Picosat) restarts strategy
0.06/0.23	c Glucose learned constraints deletion strategy
0.06/0.23	c timeout=2147483647s
0.06/0.23	c DB Simplification allowed=true
0.06/0.23	c --- End Solver configuration ---
0.06/0.23	c solving HOME/instance-3190185-1302596725.cnf
0.06/0.23	c reading problem ... 
0.22/0.35	c ... done. Wall clock time 0.122s.
0.22/0.35	c #vars     1500
0.22/0.35	c #constraints  30000
0.22/0.35	c constraints type 
0.22/0.35	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 30000
1.64/1.51	c cleaning 2499 clauses out of 5000 with flag 5000/5000
3.09/2.62	c cleaning 4250 clauses out of 8504 with flag 11003/11003
4.39/3.95	c cleaning 5624 clauses out of 11253 with flag 18002/18002
5.90/5.47	c cleaning 6809 clauses out of 13627 with flag 26000/26000
7.71/7.21	c cleaning 7904 clauses out of 15818 with flag 35000/35000
9.61/9.19	c cleaning 8955 clauses out of 17915 with flag 45001/45001
11.82/11.37	c cleaning 9975 clauses out of 19959 with flag 56000/56000
14.32/13.89	c cleaning 10990 clauses out of 21985 with flag 68001/68001
17.02/16.53	c cleaning 11992 clauses out of 23995 with flag 81001/81001
20.02/19.53	c cleaning 12998 clauses out of 26002 with flag 95000/95000
23.33/22.80	c cleaning 13996 clauses out of 28005 with flag 110001/110001
26.84/26.34	c cleaning 15000 clauses out of 30009 with flag 126001/126001
30.63/30.15	c cleaning 15995 clauses out of 32009 with flag 143001/143001
34.73/34.22	c cleaning 16997 clauses out of 34013 with flag 161000/161000
39.14/38.61	c cleaning 17996 clauses out of 36016 with flag 180000/180000
43.85/43.38	c cleaning 19000 clauses out of 38020 with flag 200000/200000
48.85/48.37	c cleaning 20009 clauses out of 40021 with flag 221001/221001
54.25/53.70	c cleaning 21003 clauses out of 42012 with flag 243001/243001
59.75/59.27	c cleaning 22002 clauses out of 44010 with flag 266002/266002
65.46/64.96	c cleaning 22997 clauses out of 46006 with flag 290000/290000
71.76/71.21	c cleaning 23993 clauses out of 48009 with flag 315000/315000
78.36/77.80	c cleaning 24999 clauses out of 50017 with flag 341001/341001
85.27/84.77	c cleaning 26006 clauses out of 52020 with flag 368003/368003
92.48/91.97	c cleaning 27001 clauses out of 54011 with flag 396000/396000
100.28/99.76	c cleaning 27999 clauses out of 56010 with flag 425000/425000
108.58/108.01	c cleaning 28997 clauses out of 58011 with flag 455000/455000
116.39/115.82	c cleaning 29498 clauses out of 59014 with flag 485000/485000
124.69/124.16	c cleaning 29754 clauses out of 59516 with flag 515000/515000
132.50/131.98	c cleaning 29880 clauses out of 59763 with flag 545001/545001
140.80/140.26	c cleaning 29935 clauses out of 59883 with flag 575001/575001
148.80/148.26	c cleaning 29969 clauses out of 59949 with flag 605002/605002
157.21/156.65	c cleaning 29984 clauses out of 59978 with flag 635000/635000
165.21/164.70	c cleaning 29987 clauses out of 59995 with flag 665001/665001
173.61/173.01	c cleaning 29999 clauses out of 60009 with flag 695002/695002
181.61/181.00	c cleaning 30001 clauses out of 60012 with flag 725004/725004
190.02/189.45	c cleaning 29998 clauses out of 60008 with flag 755001/755001
197.92/197.37	c cleaning 29996 clauses out of 60010 with flag 785001/785001
205.82/205.27	c cleaning 30003 clauses out of 60014 with flag 815001/815001
214.13/213.59	c cleaning 29992 clauses out of 60010 with flag 845000/845000
222.03/221.44	c cleaning 30004 clauses out of 60018 with flag 875000/875000
230.13/229.55	c cleaning 30006 clauses out of 60015 with flag 905001/905001
238.54/237.91	c cleaning 29998 clauses out of 60008 with flag 935000/935000
246.44/245.86	c cleaning 29999 clauses out of 60010 with flag 965000/965000
254.54/253.91	c cleaning 29995 clauses out of 60011 with flag 995000/995000
262.95/262.33	c cleaning 29998 clauses out of 60016 with flag 1025000/1025000
270.85/270.26	c cleaning 30000 clauses out of 60018 with flag 1055000/1055000
278.75/278.18	c cleaning 29997 clauses out of 60018 with flag 1085000/1085000
287.15/286.52	c cleaning 30008 clauses out of 60021 with flag 1115000/1115000
295.36/294.74	c cleaning 30000 clauses out of 60013 with flag 1145000/1145000
303.26/302.64	c cleaning 29999 clauses out of 60013 with flag 1175000/1175000
311.36/310.77	c cleaning 29997 clauses out of 60014 with flag 1205000/1205000
319.97/319.36	c cleaning 30001 clauses out of 60017 with flag 1235000/1235000
328.07/327.44	c cleaning 30001 clauses out of 60016 with flag 1265000/1265000
335.87/335.27	c cleaning 29995 clauses out of 60015 with flag 1295000/1295000
343.98/343.30	c cleaning 30006 clauses out of 60022 with flag 1325002/1325002
351.98/351.39	c cleaning 30000 clauses out of 60014 with flag 1355000/1355000
360.18/359.55	c cleaning 30002 clauses out of 60015 with flag 1385001/1385001
368.18/367.51	c cleaning 29995 clauses out of 60012 with flag 1415000/1415000
376.20/375.54	c cleaning 30000 clauses out of 60018 with flag 1445001/1445001
384.30/383.70	c cleaning 29998 clauses out of 60017 with flag 1475000/1475000
393.10/392.41	c cleaning 30005 clauses out of 60019 with flag 1505000/1505000
401.21/400.50	c cleaning 30000 clauses out of 60014 with flag 1535000/1535000
409.21/408.53	c cleaning 30002 clauses out of 60015 with flag 1565001/1565001
417.41/416.73	c cleaning 29999 clauses out of 60012 with flag 1595000/1595000
425.61/424.92	c cleaning 29993 clauses out of 60013 with flag 1625000/1625000
433.92/433.28	c cleaning 29997 clauses out of 60023 with flag 1655003/1655003
442.12/441.48	c cleaning 30002 clauses out of 60026 with flag 1685003/1685003
450.12/449.42	c cleaning 30007 clauses out of 60023 with flag 1715002/1715002
458.22/457.52	c cleaning 30003 clauses out of 60014 with flag 1745000/1745000
466.42/465.71	c cleaning 29997 clauses out of 60013 with flag 1775002/1775002
474.62/473.90	c cleaning 30001 clauses out of 60014 with flag 1805000/1805000
483.23/482.51	c cleaning 30003 clauses out of 60016 with flag 1835003/1835003
491.34/490.63	c cleaning 29997 clauses out of 60011 with flag 1865001/1865001
499.35/498.64	c cleaning 30002 clauses out of 60015 with flag 1895002/1895002
507.45/506.79	c cleaning 30000 clauses out of 60013 with flag 1925002/1925002
515.56/514.81	c cleaning 29999 clauses out of 60011 with flag 1955000/1955000
523.96/523.24	c cleaning 29998 clauses out of 60012 with flag 1985000/1985000
532.66/531.94	c cleaning 30001 clauses out of 60014 with flag 2015000/2015000
540.97/540.24	c cleaning 29999 clauses out of 60013 with flag 2045000/2045000
548.87/548.19	c cleaning 29997 clauses out of 60014 with flag 2075000/2075000
557.07/556.36	c cleaning 30007 clauses out of 60019 with flag 2105002/2105002
565.27/564.52	c cleaning 29993 clauses out of 60010 with flag 2135000/2135000
573.68/572.94	c cleaning 30003 clauses out of 60017 with flag 2165000/2165000
582.08/581.37	c cleaning 30004 clauses out of 60016 with flag 2195002/2195002
590.99/590.23	c cleaning 30002 clauses out of 60011 with flag 2225001/2225001
599.10/598.40	c cleaning 29991 clauses out of 60008 with flag 2255000/2255000
607.30/606.53	c cleaning 29997 clauses out of 60017 with flag 2285000/2285000
615.50/614.72	c cleaning 30004 clauses out of 60021 with flag 2315001/2315001
623.70/622.90	c cleaning 29999 clauses out of 60017 with flag 2345001/2345001
632.00/631.22	c cleaning 30000 clauses out of 60017 with flag 2375000/2375000
640.41/639.67	c cleaning 29997 clauses out of 60018 with flag 2405001/2405001
649.01/648.20	c cleaning 29993 clauses out of 60020 with flag 2435000/2435000
657.72/656.98	c cleaning 30012 clauses out of 60028 with flag 2465001/2465001
665.82/665.06	c cleaning 30002 clauses out of 60015 with flag 2495000/2495000
674.03/673.21	c cleaning 29994 clauses out of 60014 with flag 2525001/2525001
682.32/681.55	c cleaning 30000 clauses out of 60019 with flag 2555000/2555000
690.82/690.01	c cleaning 29991 clauses out of 60020 with flag 2585001/2585001
699.03/698.26	c cleaning 30004 clauses out of 60032 with flag 2615004/2615004
707.23/706.45	c cleaning 30001 clauses out of 60025 with flag 2645001/2645001
716.04/715.21	c cleaning 29996 clauses out of 60023 with flag 2675000/2675000
725.34/724.56	c cleaning 30009 clauses out of 60027 with flag 2705000/2705000
733.45/732.67	c cleaning 30006 clauses out of 60020 with flag 2735002/2735002
741.44/740.68	c cleaning 29997 clauses out of 60013 with flag 2765001/2765001
749.55/748.76	c cleaning 30000 clauses out of 60016 with flag 2795001/2795001
758.05/757.25	c cleaning 29997 clauses out of 60015 with flag 2825000/2825000
766.55/765.75	c cleaning 29986 clauses out of 60018 with flag 2855000/2855000
775.16/774.31	c cleaning 30006 clauses out of 60032 with flag 2885000/2885000
783.66/782.82	c cleaning 30001 clauses out of 60026 with flag 2915000/2915000
792.26/791.41	c cleaning 30003 clauses out of 60025 with flag 2945000/2945000
801.36/800.55	c cleaning 29991 clauses out of 60022 with flag 2975000/2975000
809.67/808.86	c cleaning 30008 clauses out of 60031 with flag 3005000/3005000
817.67/816.84	c cleaning 30005 clauses out of 60024 with flag 3035001/3035001
825.77/824.97	c cleaning 29997 clauses out of 60018 with flag 3065000/3065000
834.17/833.32	c cleaning 30003 clauses out of 60023 with flag 3095002/3095002
842.38/841.52	c cleaning 29995 clauses out of 60018 with flag 3125000/3125000
850.78/849.92	c cleaning 30000 clauses out of 60024 with flag 3155001/3155001
859.68/858.81	c cleaning 30001 clauses out of 60023 with flag 3185000/3185000
868.28/867.48	c cleaning 29996 clauses out of 60022 with flag 3215000/3215000
876.99/876.11	c cleaning 30006 clauses out of 60026 with flag 3245000/3245000
885.49/884.60	c cleaning 29994 clauses out of 60021 with flag 3275001/3275001
893.79/892.96	c cleaning 30005 clauses out of 60026 with flag 3305000/3305000
901.80/901.00	c cleaning 30000 clauses out of 60022 with flag 3335001/3335001
909.80/908.96	c cleaning 30004 clauses out of 60021 with flag 3365000/3365000
918.10/917.28	c cleaning 29999 clauses out of 60017 with flag 3395000/3395000
926.60/925.72	c cleaning 30000 clauses out of 60020 with flag 3425002/3425002
934.91/934.09	c cleaning 30008 clauses out of 60019 with flag 3455001/3455001
943.71/942.83	c cleaning 29996 clauses out of 60010 with flag 3485000/3485000
952.62/951.75	c cleaning 29996 clauses out of 60014 with flag 3515000/3515000
961.32/960.41	c cleaning 29998 clauses out of 60018 with flag 3545000/3545000
970.12/969.21	c cleaning 29991 clauses out of 60020 with flag 3575000/3575000
979.13/978.21	c cleaning 29997 clauses out of 60029 with flag 3605000/3605000
987.64/986.70	c cleaning 30008 clauses out of 60033 with flag 3635001/3635001
995.63/994.76	c cleaning 30007 clauses out of 60028 with flag 3665004/3665004
1003.74/1002.85	c cleaning 29990 clauses out of 60017 with flag 3695000/3695000
1012.04/1011.17	c cleaning 30005 clauses out of 60028 with flag 3725001/3725001
1020.84/1019.90	c cleaning 29998 clauses out of 60022 with flag 3755000/3755000
1029.54/1028.61	c cleaning 30003 clauses out of 60027 with flag 3785003/3785003
1038.26/1037.33	c cleaning 29996 clauses out of 60021 with flag 3815000/3815000
1047.06/1046.13	c cleaning 30003 clauses out of 60025 with flag 3845000/3845000
1055.96/1055.04	c cleaning 30008 clauses out of 60022 with flag 3875000/3875000
1064.77/1063.86	c cleaning 29989 clauses out of 60014 with flag 3905000/3905000
1073.48/1072.53	c cleaning 30001 clauses out of 60027 with flag 3935002/3935002
1082.48/1081.51	c cleaning 29990 clauses out of 60024 with flag 3965000/3965000
1091.38/1090.43	c cleaning 30009 clauses out of 60035 with flag 3995001/3995001
1099.38/1098.44	c cleaning 29998 clauses out of 60025 with flag 4025000/4025000
1107.59/1106.69	c cleaning 30006 clauses out of 60027 with flag 4055000/4055000
1115.79/1114.88	c cleaning 29991 clauses out of 60021 with flag 4085000/4085000
1124.29/1123.37	c cleaning 30010 clauses out of 60031 with flag 4115001/4115001
1132.99/1132.07	c cleaning 29996 clauses out of 60020 with flag 4145000/4145000
1141.50/1140.57	c cleaning 30001 clauses out of 60024 with flag 4175000/4175000
1150.20/1149.21	c cleaning 29999 clauses out of 60023 with flag 4205000/4205000
1159.21/1158.29	c cleaning 29993 clauses out of 60024 with flag 4235000/4235000
1168.11/1167.19	c cleaning 30004 clauses out of 60031 with flag 4265000/4265000
1176.81/1175.84	c cleaning 30005 clauses out of 60028 with flag 4295001/4295001
1185.31/1184.34	c cleaning 30001 clauses out of 60022 with flag 4325000/4325000
1194.52/1193.52	c cleaning 29998 clauses out of 60022 with flag 4355001/4355001
1204.33/1203.32	c cleaning 30004 clauses out of 60023 with flag 4385000/4385000
1212.53/1211.57	c cleaning 30001 clauses out of 60019 with flag 4415000/4415000
1220.43/1219.46	c cleaning 29993 clauses out of 60018 with flag 4445000/4445000
1228.54/1227.57	c cleaning 30006 clauses out of 60025 with flag 4475000/4475000
1236.93/1235.96	c cleaning 30005 clauses out of 60020 with flag 4505001/4505001
1245.34/1244.37	c cleaning 29998 clauses out of 60014 with flag 4535000/4535000
1254.04/1253.01	c cleaning 29993 clauses out of 60017 with flag 4565001/4565001
1262.84/1261.87	c cleaning 29999 clauses out of 60023 with flag 4595000/4595000
1271.85/1270.87	c cleaning 30004 clauses out of 60024 with flag 4625000/4625000
1280.85/1279.88	c cleaning 30006 clauses out of 60023 with flag 4655003/4655003
1290.16/1289.11	c cleaning 30000 clauses out of 60015 with flag 4685001/4685001
1299.26/1298.26	c cleaning 29987 clauses out of 60014 with flag 4715000/4715000
1301.07/1300.01	c starts		: 2078
1301.07/1300.01	c conflicts		: 4722592
1301.07/1300.01	c decisions		: 6817810
1301.07/1300.01	c propagations		: 513011815
1301.07/1300.01	c inspects		: 9937180605
1301.07/1300.01	c shortcuts		: 0
1301.07/1300.01	c learnt literals	: 0
1301.07/1300.01	c learnt binary clauses	: 0
1301.07/1300.01	c learnt ternary clauses	: 0
1301.07/1300.01	c learnt constraints	: 4722592
1301.07/1300.01	c ignored constraints	: 0
1301.07/1300.01	c root simplifications	: 2078
1301.07/1300.01	c removed literals (reason simplification)	: 62605248
1301.07/1300.01	c reason swapping (by a shorter reason)	: 0
1301.07/1300.01	c Calls to reduceDB	: 168
1301.07/1300.01	c speed (assignments/second)	: 394728.31698800763
1301.07/1300.01	c non guided choices	443
1301.07/1300.03	c learnt constraints type 
1301.07/1300.03	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 37639
1301.07/1300.03	c constraints type 
1301.07/1300.03	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 30000
1301.07/1300.03	s UNKNOWN
1301.07/1300.03	c Total wall clock time (in seconds) : 1299.78

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: UNKNOWN

Watcher Data 

runsolver Copyright (C) 2010 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 893)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3190185-1302596725/watcher-3190185-1302596725 -o /tmp/evaluation-result-3190185-1302596725/solver-3190185-1302596725 -C 2400 -W 1300 -M 7680 java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3190185-1302596725.cnf 

running on 2 cores: 5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.05 1.44 2/181 28972
/proc/meminfo: memFree=16371528/32951124 swapFree=67111528/67111528
[pid=28972] ppid=28970 vsize=11760 CPUtime=0 cores=5,7
/proc/28972/stat : 28972 (runsolver) S 28970 28972 28928 0 -1 4202560 47 0 0 0 0 0 0 0 19 0 1 0 371270443 12042240 55 33554432000 4194304 5392636 140734676915824 18446744073709551615 5012135 0 2147483391 4096 24578 18446744071699207358 0 0 17 5 0 0 0
/proc/28972/statm: 2940 55 36 293 0 2644 0

[startup+0.029454 s]
/proc/loadavg: 1.00 1.05 1.44 2/181 28972
/proc/meminfo: memFree=16371528/32951124 swapFree=67111528/67111528
[pid=28972] ppid=28970 vsize=9100 CPUtime=0 cores=5,7
/proc/28972/stat : 28972 (java) R 28970 28972 28928 0 -1 4202496 426 0 0 0 0 0 0 0 17 0 1 0 371270443 9318400 170 33554432000 1073741824 1073778376 140735481310000 18446744073709551615 228122709861 0 2147483391 4096 0 0 0 0 17 5 0 0 0
/proc/28972/statm: 2275 171 131 9 0 67 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9100

[startup+0.100443 s]
/proc/loadavg: 1.00 1.05 1.44 2/181 28972
/proc/meminfo: memFree=16371528/32951124 swapFree=67111528/67111528
[pid=28972] ppid=28970 vsize=7562296 CPUtime=0.02 cores=5,7
/proc/28972/stat : 28972 (java) S 28970 28972 28928 0 -1 4202496 8399 0 46 0 1 1 0 0 17 0 11 0 371270443 7743791104 8141 33554432000 1073741824 1073778376 140735481310000 18446744073709551615 228134516709 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/28972/statm: 1890574 8141 1595 9 0 1881322 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 7562296

[startup+0.300373 s]
/proc/loadavg: 1.00 1.05 1.44 2/181 28972
/proc/meminfo: memFree=16371528/32951124 swapFree=67111528/67111528
[pid=28972] ppid=28970 vsize=7638376 CPUtime=0.22 cores=5,7
/proc/28972/stat : 28972 (java) S 28970 28972 28928 0 -1 4202496 11221 0 46 0 20 2 0 0 17 0 18 0 371270443 7821697024 10902 33554432000 1073741824 1073778376 140735481310000 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/28972/statm: 1909594 10903 2182 9 0 1900332 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 7638376

[startup+0.700333 s]
/proc/loadavg: 1.00 1.05 1.44 2/181 28972
/proc/meminfo: memFree=16371528/32951124 swapFree=67111528/67111528
[pid=28972] ppid=28970 vsize=7641496 CPUtime=0.89 cores=5,7
/proc/28972/stat : 28972 (java) S 28970 28972 28928 0 -1 4202496 13676 0 46 0 87 2 0 0 17 0 19 0 371270443 7824891904 12831 33554432000 1073741824 1073778376 140735481310000 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/28972/statm: 1910374 12831 2223 9 0 1901112 0
Current children cumulated CPU time (s) 0.89
Current children cumulated vsize (KiB) 7641496

[startup+1.51771 s]
/proc/loadavg: 1.24 1.10 1.46 6/262 29061
/proc/meminfo: memFree=16161936/32951124 swapFree=67111528/67111528
[pid=28972] ppid=28970 vsize=7641124 CPUtime=1.78 cores=5,7
/proc/28972/stat : 28972 (java) S 28970 28972 28928 0 -1 4202496 14511 0 46 0 176 2 0 0 17 0 19 0 371270443 7824510976 13578 33554432000 1073741824 1073778376 140735481310000 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/28972/statm: 1910281 13578 2233 9 0 1901019 0
[pid=28972/tid=28975] ppid=28970 vsize=7641124 CPUtime=1.37 cores=5,7
/proc/28972/task/28975/stat : 28975 (java) S 28970 28972 28928 0 -1 4202560 10916 0 46 0 135 2 0 0 20 0 19 0 371270446 7824510976 13578 33554432000 1073741824 1073778376 140735481310000 18446744073709551615 228134529945 0 4 0 16800975 18446604468622714944 0 0 -1 5 0 0 8
[pid=28972/tid=28983] ppid=28970 vsize=7641124 CPUtime=0 cores=5,7
/proc/28972/task/28983/stat : 28983 (java) R 28970 28972 28928 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 371270450 7824510976 13578 33554432000 1073741824 1073778376 140735481310000 18446744073709551615 228134529945 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=28972/tid=28986] ppid=28970 vsize=7641124 CPUtime=0 cores=5,7
/proc/28972/task/28986/stat : 28986 (java) S 28970 28972 28928 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 371270450 7824510976 13578 33554432000 1073741824 1073778376 140735481310000 18446744073709551615 228134529945 0 4 0 16800975 18446604468622714944 0 0 -1 7 0 0 0
[pid=28972/tid=28988] ppid=28970 vsize=7641124 CPUtime=0 cores=5,7
/proc/28972/task/28988/stat : 28988 (java) S 28970 28972 28928 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 371270450 7824510976 13578 33554432000 1073741824 1073778376 140735481310000 18446744073709551615 228134529945 0 4 0 16800975 18446604468622714944 0 0 -1 7 0 0 0
[pid=28972/tid=28990] ppid=28970 vsize=7641124 CPUtime=0 cores=5,7
/proc/28972/task/28990/stat : 28990 (java) S 28970 28972 28928 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 371270450 7824510976 13578 33554432000 1073741824 1073778376 140735481310000 18446744073709551615 228134529945 0 4 0 16800975 18446604468622714944 0 0 -1 7 0 0 0
[pid=28972/tid=28992] ppid=28970 vsize=7641124 CPUtime=0 cores=5,7
/proc/28972/task/28992/stat : 28992 (java) S 28970 28972 28928 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 371270450 7824510976 13578 33554432000 1073741824 1073778376 140735481310000 18446744073709551615 228134529945 0 4 0 16800975 18446604468622714944 0 0 -1 7 0 0 0
[pid=28972/tid=28993] ppid=28970 vsize=7641124 CPUtime=0 cores=5,7
/proc/28972/task/28993/stat : 28993 (java) S 28970 28972 28928 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 371270450 7824510976 13578 33554432000 1073741824 1073778376 140735481310000 18446744073709551615 228134529945 0 4 0 16800975 18446604468622714944 0 0 -1 7 0 0 0
[pid=28972/tid=28994] ppid=28970 vsize=7641124 CPUtime=0 cores=5,7
/proc/28972/task/28994/stat : 28994 (java) S 28970 28972 28928 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 371270450 7824510976 13578 33554432000 1073741824 1073778376 140735481310000 18446744073709551615 228134529945 0 4 0 16800975 18446604468622714944 0 0 -1 7 0 0 0
[pid=28972/tid=28995] ppid=28970 vsize=7641124 CPUtime=0 cores=5,7
/proc/28972/task/28995/stat : 28995 (java) S 28970 28972 28928 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 371270450 7824510976 13578 33554432000 1073741824 1073778376 140735481310000 18446744073709551615 228134529945 0 4 0 16800975 18446604468622714944 0 0 -1 7 0 0 0
[pid=28972/tid=28997] ppid=28970 vsize=7641124 CPUtime=0 cores=5,7
/proc/28972/task/28997/stat : 28997 (java) S 28970 28972 28928 0 -1 4202560 7 0 0 0 0 0 0 0 16 0 19 0 371270453 7824510976 13578 33554432000 1073741824 1073778376 140735481310000 18446744073709551615 228134529945 0 0 0 16800975 18446604468622714944 0 0 -1 5 0 0 0
[pid=28972/tid=29004] ppid=28970 vsize=7641124 CPUtime=0 cores=5,7
/proc/28972/task/29004/stat : 29004 (java) S 28970 28972 28928 0 -1 4202560 16 0 0 0 0 0 0 0 19 0 19 0 371270454 7824510976 13578 33554432000 1073741824 1073778376 140735481310000 18446744073709551615 228134529945 0 4 0 16800975 18446604468622714944 0 0 -1 5 0 0 0
[pid=28972/tid=29006] ppid=28970 vsize=7641124 CPUtime=0 cores=5,7
/proc/28972/task/29006/stat : 29006 (java) S 28970 28972 28928 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 371270454 7824510976 13578 33554432000 1073741824 1073778376 140735481310000 18446744073709551615 228134529945 0 4 0 16800975 18446604468622714944 0 0 -1 5 0 0 0
[pid=28972/tid=29027] ppid=28970 vsize=7641124 CPUtime=0 cores=5,7
/proc/28972/task/29027/stat : 29027 (java) S 28970 28972 28928 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 371270460 7824510976 13578 33554432000 1073741824 1073778376 140735481310000 18446744073709551615 228134537649 0 4 0 16800975 18446604468622714944 0 0 -1 5 0 0 0
[pid=28972/tid=29029] ppid=28970 vsize=7641124 CPUtime=0.19 cores=5,7
/proc/28972/task/29029/stat : 29029 (java) S 28970 28972 28928 0 -1 4202560 746 0 0 0 19 0 0 0 15 0 19 0 371270460 7824510976 13578 33554432000 1073741824 1073778376 140735481310000 18446744073709551615 228134529945 0 4 0 16800975 18446604468622714944 0 0 -1 7 0 0 0
[pid=28972/tid=29033] ppid=28970 vsize=7641124 CPUtime=0.21 cores=5,7
/proc/28972/task/29033/stat : 29033 (java) S 28970 28972 28928 0 -1 4202560 1684 0 0 0 21 0 0 0 15 0 19 0 371270460 7824510976 13579 33554432000 1073741824 1073778376 140735481310000 18446744073709551615 228134529945 0 4 0 16800975 18446604468622714944 0 0 -1 7 0 0 0
[pid=28972/tid=29035] ppid=28970 vsize=7641124 CPUtime=0 cores=5,7
/proc/28972/task/29035/stat : 29035 (java) S 28970 28972 28928 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 371270460 7824510976 13580 33554432000 1073741824 1073778376 140735481310000 18446744073709551615 228134529945 0 4 0 16800975 18446604468622714944 0 0 -1 5 0 0 0
[pid=28972/tid=29037] ppid=28970 vsize=7641124 CPUtime=0 cores=5,7
/proc/28972/task/29037/stat : 29037 (java) S 28970 28972 28928 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371270460 7824510976 13580 33554432000 1073741824 1073778376 140735481310000 18446744073709551615 228134530560 0 4 0 16800975 18446604468622714944 0 0 -1 5 0 0 0
[pid=28972/tid=29059] ppid=28970 vsize=7641124 CPUtime=0 cores=5,7
/proc/28972/task/29059/stat : 29059 (java) S 28970 28972 28928 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 371270479 7824510976 13580 33554432000 1073741824 1073778376 140735481310000 18446744073709551615 228134530560 0 4 0 16800975 18446604468622714944 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.78
Current children cumulated vsize (KiB) 7641124

[startup+3.1009 s]
/proc/loadavg: 1.24 1.10 1.46 5/262 29061
/proc/meminfo: memFree=16093240/32951124 swapFree=67111528/67111528
[pid=28972] ppid=28970 vsize=7664724 CPUtime=3.59 cores=5,7
/proc/28972/stat : 28972 (java) S 28970 28972 28928 0 -1 4202496 25182 0 46 0 356 3 0 0 17 0 19 0 371270443 7848677376 22312 33554432000 1073741824 1073778376 140735481310000 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/28972/statm: 1916181 22312 2254 9 0 1906919 0
[pid=28972/tid=28975] ppid=28970 vsize=7664724 CPUtime=2.9 cores=5,7
/proc/28972/task/28975/stat : 28975 (java) R 28970 28972 28928 0 -1 4202560 10920 0 46 0 288 2 0 0 25 0 19 0 371270446 7848677376 22312 33554432000 1073741824 1073778376 140735481310000 18446744073709551615 46912505588465 0 4 0 16800975 0 0 0 -1 5 0 0 8
[pid=28972/tid=28983] ppid=28970 vsize=7664724 CPUtime=0 cores=5,7
/proc/28972/task/28983/stat : 28983 (java) S 28970 28972 28928 0 -1 4202560 641 0 0 0 0 0 0 0 15 0 19 0 371270450 7848677376 22312 33554432000 1073741824 1073778376 140735481310000 18446744073709551615 228134529945 0 4 0 16800975 18446604468622714944 0 0 -1 7 0 0 0
[pid=28972/tid=28986] ppid=28970 vsize=7664724 CPUtime=0 cores=5,7
/proc/28972/task/28986/stat : 28986 (java) S 28970 28972 28928 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371270450 7848677376 22312 33554432000 1073741824 1073778376 140735481310000 18446744073709551615 228134529945 0 4 0 16800975 18446604468622714944 0 0 -1 7 0 0 0
[pid=28972/tid=28988] ppid=28970 vsize=7664724 CPUtime=0 cores=5,7
/proc/28972/task/28988/stat : 28988 (java) S 28970 28972 28928 0 -1 4202560 314 0 0 0 0 0 0 0 15 0 19 0 371270450 7848677376 22312 33554432000 1073741824 1073778376 140735481310000 18446744073709551615 228134529945 0 4 0 16800975 18446604468622714944 0 0 -1 5 0 0 0
[pid=28972/tid=28990] ppid=28970 vsize=7664724 CPUtime=0 cores=5,7
/proc/28972/task/28990/stat : 28990 (java) S 28970 28972 28928 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371270450 7848677376 22312 33554432000 1073741824 1073778376 140735481310000 18446744073709551615 228134529945 0 4 0 16800975 18446604468622714944 0 0 -1 7 0 0 0
[pid=28972/tid=28992] ppid=28970 vsize=7664724 CPUtime=0 cores=5,7
/proc/28972/task/28992/stat : 28992 (java) S 28970 28972 28928 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371270450 7848677376 22312 33554432000 1073741824 1073778376 140735481310000 18446744073709551615 228134529945 0 4 0 16800975 18446604468622714944 0 0 -1 7 0 0 0
[pid=28972/tid=28993] ppid=28970 vsize=7664724 CPUtime=0 cores=5,7
/proc/28972/task/28993/stat : 28993 (java) S 28970 28972 28928 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371270450 7848677376 22312 33554432000 1073741824 1073778376 140735481310000 18446744073709551615 228134529945 0 4 0 16800975 18446604468622714944 0 0 -1 7 0 0 0
[pid=28972/tid=28994] ppid=28970 vsize=7664724 CPUtime=0 cores=5,7
/proc/28972/task/28994/stat : 28994 (java) S 28970 28972 28928 0 -1 4202560 506 0 0 0 0 0 0 0 15 0 19 0 371270450 7848677376 22312 33554432000 1073741824 1073778376 140735481310000 18446744073709551615 228134529945 0 4 0 16800975 18446604468622714944 0 0 -1 7 0 0 0
[pid=28972/tid=28995] ppid=28970 vsize=7664724 CPUtime=0 cores=5,7
/proc/28972/task/28995/stat : 28995 (java) S 28970 28972 28928 0 -1 4202560 546 0 0 0 0 0 0 0 15 0 19 0 371270450 7848677376 22312 33554432000 1073741824 1073778376 140735481310000 18446744073709551615 228134529945 0 4 0 16800975 18446604468622714944 0 0 -1 7 0 0 0
[pid=28972/tid=28997] ppid=28970 vsize=7664724 CPUtime=0.03 cores=5,7
/proc/28972/task/28997/stat : 28997 (java) S 28970 28972 28928 0 -1 4202560 1359 0 0 0 3 0 0 0 16 0 19 0 371270453 7848677376 22312 33554432000 1073741824 1073778376 140735481310000 18446744073709551615 228134530560 0 0 0 16800975 18446604468622714944 0 0 -1 5 0 0 0
[pid=28972/tid=29004] ppid=28970 vsize=7664724 CPUtime=0 cores=5,7
/proc/28972/task/29004/stat : 29004 (java) S 28970 28972 28928 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 371270454 7848677376 22312 33554432000 1073741824 1073778376 140735481310000 18446744073709551615 228134529945 0 4 0 16800975 18446604468622714944 0 0 -1 5 0 0 0
[pid=28972/tid=29006] ppid=28970 vsize=7664724 CPUtime=0 cores=5,7
/proc/28972/task/29006/stat : 29006 (java) S 28970 28972 28928 0 -1 4202560 13 0 0 0 0 0 0 0 18 0 19 0 371270454 7848677376 22312 33554432000 1073741824 1073778376 140735481310000 18446744073709551615 228134529945 0 4 0 16800975 18446604468622714944 0 0 -1 5 0 0 0
[pid=28972/tid=29027] ppid=28970 vsize=7664724 CPUtime=0 cores=5,7
/proc/28972/task/29027/stat : 29027 (java) S 28970 28972 28928 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 371270460 7848677376 22312 33554432000 1073741824 1073778376 140735481310000 18446744073709551615 228134537649 0 4 0 16800975 18446604468622714944 0 0 -1 5 0 0 0
[pid=28972/tid=29029] ppid=28970 vsize=7664724 CPUtime=0.2 cores=5,7
/proc/28972/task/29029/stat : 29029 (java) S 28970 28972 28928 0 -1 4202560 920 0 0 0 20 0 0 0 15 0 19 0 371270460 7848677376 22312 33554432000 1073741824 1073778376 140735481310000 18446744073709551615 228134529945 0 4 0 16800975 18446604468622714944 0 0 -1 7 0 0 0
[pid=28972/tid=29033] ppid=28970 vsize=7664724 CPUtime=0.41 cores=5,7
/proc/28972/task/29033/stat : 29033 (java) S 28970 28972 28928 0 -1 4202560 8816 0 0 0 41 0 0 0 15 0 19 0 371270460 7848677376 22312 33554432000 1073741824 1073778376 140735481310000 18446744073709551615 228134529945 0 4 0 16800975 18446604468622714944 0 0 -1 7 0 0 0
[pid=28972/tid=29035] ppid=28970 vsize=7664724 CPUtime=0 cores=5,7
/proc/28972/task/29035/stat : 29035 (java) S 28970 28972 28928 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 371270460 7848677376 22312 33554432000 1073741824 1073778376 140735481310000 18446744073709551615 228134529945 0 4 0 16800975 18446604468622714944 0 0 -1 5 0 0 0
[pid=28972/tid=29037] ppid=28970 vsize=7664724 CPUtime=0 cores=5,7
/proc/28972/task/29037/stat : 29037 (java) S 28970 28972 28928 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371270460 7848677376 22312 33554432000 1073741824 1073778376 140735481310000 18446744073709551615 228134530560 0 4 0 16800975 18446604468622714944 0 0 -1 5 0 0 0
[pid=28972/tid=29059] ppid=28970 vsize=7664724 CPUtime=0 cores=5,7
/proc/28972/task/29059/stat : 29059 (java) S 28970 28972 28928 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 371270479 7848677376 22312 33554432000 1073741824 1073778376 140735481310000 18446744073709551615 228134530560 0 4 0 16800975 18446604468622714944 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.59
Current children cumulated vsize (KiB) 7664724

[startup+6.30132 s]
/proc/loadavg: 1.46 1.15 1.47 5/262 29061
/proc/meminfo: memFree=16024640/32951124 swapFree=67111528/67111528
[pid=28972] ppid=28970 vsize=7660212 CPUtime=6.81 cores=5,7
/proc/28972/stat : 28972 (java) S 28970 28972 28928 0 -1 4202496 25744 0 46 0 678 3 0 0 17 0 19 0 371270443 7844057088 22163 33554432000 1073741824 1073778376 140735481310000 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/28972/statm: 1915053 22163 2254 9 0 1905791 0
[pid=28972/tid=28975] ppid=28970 vsize=7660212 CPUtime=6.05 cores=5,7
/proc/28972/task/28975/stat : 28975 (java) R 28970 28972 28928 0 -1 4202560 10923 0 46 0 603 2 0 0 25 0 19 0 371270446 7844057088 22163 33554432000 1073741824 1073778376 140735481310000 18446744073709551615 46912505632715 0 4 0 16800975 0 0 0 -1 5 0 0 8
[pid=28972/tid=28983] ppid=28970 vsize=7660212 CPUtime=0 cores=5,7
/proc/28972/task/28983/stat : 28983 (java) S 28970 28972 28928 0 -1 4202560 641 0 0 0 0 0 0 0 15 0 19 0 371270450 7844057088 22163 33554432000 1073741824 1073778376 140735481310000 18446744073709551615 228134529945 0 4 0 16800975 18446604468622714944 0 0 -1 7 0 0 0
[pid=28972/tid=28986] ppid=28970 vsize=7660212 CPUtime=0 cores=5,7
/proc/28972/task/28986/stat : 28986 (java) S 28970 28972 28928 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 371270450 7844057088 22163 33554432000 1073741824 1073778376 140735481310000 18446744073709551615 228134529945 0 4 0 16800975 18446604468622714944 0 0 -1 7 0 0 0
[pid=28972/tid=28988] ppid=28970 vsize=7660212 CPUtime=0 cores=5,7
/proc/28972/task/28988/stat : 28988 (java) S 28970 28972 28928 0 -1 4202560 314 0 0 0 0 0 0 0 15 0 19 0 371270450 7844057088 22163 33554432000 1073741824 1073778376 140735481310000 18446744073709551615 228134529945 0 4 0 16800975 18446604468622714944 0 0 -1 7 0 0 0
[pid=28972/tid=28990] ppid=28970 vsize=7660212 CPUtime=0 cores=5,7
/proc/28972/task/28990/stat : 28990 (java) S 28970 28972 28928 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371270450 7844057088 22163 33554432000 1073741824 1073778376 140735481310000 18446744073709551615 228134529945 0 4 0 16800975 18446604468622714944 0 0 -1 7 0 0 0
[pid=28972/tid=28992] ppid=28970 vsize=7660212 CPUtime=0 cores=5,7
/proc/28972/task/28992/stat : 28992 (java) S 28970 28972 28928 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371270450 7844057088 22163 33554432000 1073741824 1073778376 140735481310000 18446744073709551615 228134529945 0 4 0 16800975 18446604468622714944 0 0 -1 7 0 0 0
[pid=28972/tid=28993] ppid=28970 vsize=7660212 CPUtime=0 cores=5,7
/proc/28972/task/28993/stat : 28993 (java) S 28970 28972 28928 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 371270450 7844057088 22163 33554432000 1073741824 1073778376 140735481310000 18446744073709551615 228134529945 0 4 0 16800975 18446604468622714944 0 0 -1 7 0 0 0
[pid=28972/tid=28994] ppid=28970 vsize=7660212 CPUtime=0 cores=5,7
/proc/28972/task/28994/stat : 28994 (java) S 28970 28972 28928 0 -1 4202560 895 0 0 0 0 0 0 0 15 0 19 0 371270450 7844057088 22163 33554432000 1073741824 1073778376 140735481310000 18446744073709551615 228134529945 0 4 0 16800975 18446604468622714944 0 0 -1 7 0 0 0
[pid=28972/tid=28995] ppid=28970 vsize=7660212 CPUtime=0 cores=5,7
/proc/28972/task/28995/stat : 28995 (java) S 28970 28972 28928 0 -1 4202560 546 0 0 0 0 0 0 0 15 0 19 0 371270450 7844057088 22163 33554432000 1073741824 1073778376 140735481310000 18446744073709551615 228134529945 0 4 0 16800975 18446604468622714944 0 0 -1 7 0 0 0
[pid=28972/tid=28997] ppid=28970 vsize=7660212 CPUtime=0.08 cores=5,7
/proc/28972/task/28997/stat : 28997 (java) S 28970 28972 28928 0 -1 4202560 1519 0 0 0 8 0 0 0 16 0 19 0 371270453 7844057088 22163 33554432000 1073741824 1073778376 140735481310000 18446744073709551615 228134530560 0 0 0 16800975 18446604468622714944 0 0 -1 5 0 0 0
[pid=28972/tid=29004] ppid=28970 vsize=7660212 CPUtime=0 cores=5,7
/proc/28972/task/29004/stat : 29004 (java) S 28970 28972 28928 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 371270454 7844057088 22163 33554432000 1073741824 1073778376 140735481310000 18446744073709551615 228134529945 0 4 0 16800975 18446604468622714944 0 0 -1 5 0 0 0
[pid=28972/tid=29006] ppid=28970 vsize=7660212 CPUtime=0 cores=5,7
/proc/28972/task/29006/stat : 29006 (java) S 28970 28972 28928 0 -1 4202560 13 0 0 0 0 0 0 0 18 0 19 0 371270454 7844057088 22163 33554432000 1073741824 1073778376 140735481310000 18446744073709551615 228134529945 0 4 0 16800975 18446604468622714944 0 0 -1 5 0 0 0
[pid=28972/tid=29027] ppid=28970 vsize=7660212 CPUtime=0 cores=5,7
/proc/28972/task/29027/stat : 29027 (java) S 28970 28972 28928 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 371270460 7844057088 22163 33554432000 1073741824 1073778376 140735481310000 18446744073709551615 228134537649 0 4 0 16800975 18446604468622714944 0 0 -1 5 0 0 0
[pid=28972/tid=29029] ppid=28970 vsize=7660212 CPUtime=0.2 cores=5,7
/proc/28972/task/29029/stat : 29029 (java) S 28970 28972 28928 0 -1 4202560 921 0 0 0 20 0 0 0 15 0 19 0 371270460 7844057088 22163 33554432000 1073741824 1073778376 140735481310000 18446744073709551615 228134529945 0 4 0 16800975 18446604468622714944 0 0 -1 7 0 0 0
[pid=28972/tid=29033] ppid=28970 vsize=7660212 CPUtime=0.43 cores=5,7
/proc/28972/task/29033/stat : 29033 (java) S 28970 28972 28928 0 -1 4202560 8818 0 0 0 43 0 0 0 15 0 19 0 371270460 7844057088 22163 33554432000 1073741824 1073778376 140735481310000 18446744073709551615 228134529945 0 4 0 16800975 18446604468622714944 0 0 -1 7 0 0 0
[pid=28972/tid=29035] ppid=28970 vsize=7660212 CPUtime=0 cores=5,7
/proc/28972/task/29035/stat : 29035 (java) S 28970 28972 28928 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 371270460 7844057088 22163 33554432000 1073741824 1073778376 140735481310000 18446744073709551615 228134529945 0 4 0 16800975 18446604468622714944 0 0 -1 5 0 0 0
[pid=28972/tid=29037] ppid=28970 vsize=7660212 CPUtime=0 cores=5,7
/proc/28972/task/29037/stat : 29037 (java) S 28970 28972 28928 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371270460 7844057088 22163 33554432000 1073741824 1073778376 140735481310000 18446744073709551615 228134530560 0 4 0 16800975 18446604468622714944 0 0 -1 7 0 0 0
[pid=28972/tid=29059] ppid=28970 vsize=7660212 CPUtime=0 cores=5,7
/proc/28972/task/29059/stat : 29059 (java) S 28970 28972 28928 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 371270479 7844057088 22163 33554432000 1073741824 1073778376 140735481310000 18446744073709551615 228134530560 0 4 0 16800975 18446604468622714944 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6.81
Current children cumulated vsize (KiB) 7660212

[startup+12.7012 s]

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

[pid=28972/tid=28993] ppid=28970 vsize=7660212 CPUtime=0.13 cores=5,7
/proc/28972/task/28993/stat : 28993 (java) S 28970 28972 28928 0 -1 4202560 305 0 0 0 13 0 0 0 15 0 19 0 371270450 7844057088 34012 33554432000 1073741824 1073778376 140735481310000 18446744073709551615 228134529945 0 4 0 16800975 18446604468622714944 0 0 -1 7 0 0 0
[pid=28972/tid=28994] ppid=28970 vsize=7660212 CPUtime=0.12 cores=5,7
/proc/28972/task/28994/stat : 28994 (java) S 28970 28972 28928 0 -1 4202560 907 0 0 0 12 0 0 0 15 0 19 0 371270450 7844057088 34012 33554432000 1073741824 1073778376 140735481310000 18446744073709551615 228134529945 0 4 0 16800975 18446604468622714944 0 0 -1 7 0 0 0
[pid=28972/tid=28995] ppid=28970 vsize=7660212 CPUtime=0.14 cores=5,7
/proc/28972/task/28995/stat : 28995 (java) S 28970 28972 28928 0 -1 4202560 1872 0 0 0 14 0 0 0 15 0 19 0 371270450 7844057088 34012 33554432000 1073741824 1073778376 140735481310000 18446744073709551615 228134529945 0 4 0 16800975 18446604468622714944 0 0 -1 7 0 0 0
[pid=28972/tid=28997] ppid=28970 vsize=7660212 CPUtime=4.61 cores=5,7
/proc/28972/task/28997/stat : 28997 (java) S 28970 28972 28928 0 -1 4202560 3876 0 0 0 460 1 0 0 15 0 19 0 371270453 7844057088 34012 33554432000 1073741824 1073778376 140735481310000 18446744073709551615 228134530560 0 0 0 16800975 18446604468622714944 0 0 -1 5 0 0 0
[pid=28972/tid=29004] ppid=28970 vsize=7660212 CPUtime=0 cores=5,7
/proc/28972/task/29004/stat : 29004 (java) S 28970 28972 28928 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 371270454 7844057088 34012 33554432000 1073741824 1073778376 140735481310000 18446744073709551615 228134529945 0 4 0 16800975 18446604468622714944 0 0 -1 5 0 0 0
[pid=28972/tid=29006] ppid=28970 vsize=7660212 CPUtime=0 cores=5,7
/proc/28972/task/29006/stat : 29006 (java) S 28970 28972 28928 0 -1 4202560 13 0 0 0 0 0 0 0 18 0 19 0 371270454 7844057088 34012 33554432000 1073741824 1073778376 140735481310000 18446744073709551615 228134529945 0 4 0 16800975 18446604468622714944 0 0 -1 5 0 0 0
[pid=28972/tid=29027] ppid=28970 vsize=7660212 CPUtime=0 cores=5,7
/proc/28972/task/29027/stat : 29027 (java) S 28970 28972 28928 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 371270460 7844057088 34012 33554432000 1073741824 1073778376 140735481310000 18446744073709551615 228134537649 0 4 0 16800975 18446604468622714944 0 0 -1 5 0 0 0
[pid=28972/tid=29029] ppid=28970 vsize=7660212 CPUtime=0.2 cores=5,7
/proc/28972/task/29029/stat : 29029 (java) S 28970 28972 28928 0 -1 4202560 921 0 0 0 20 0 0 0 15 0 19 0 371270460 7844057088 34012 33554432000 1073741824 1073778376 140735481310000 18446744073709551615 228134529945 0 4 0 16800975 18446604468622714944 0 0 -1 7 0 0 0
[pid=28972/tid=29033] ppid=28970 vsize=7660212 CPUtime=0.46 cores=5,7
/proc/28972/task/29033/stat : 29033 (java) S 28970 28972 28928 0 -1 4202560 8820 0 0 0 46 0 0 0 15 0 19 0 371270460 7844057088 34012 33554432000 1073741824 1073778376 140735481310000 18446744073709551615 228134529945 0 4 0 16800975 18446604468622714944 0 0 -1 7 0 0 0
[pid=28972/tid=29035] ppid=28970 vsize=7660212 CPUtime=0 cores=5,7
/proc/28972/task/29035/stat : 29035 (java) S 28970 28972 28928 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 371270460 7844057088 34012 33554432000 1073741824 1073778376 140735481310000 18446744073709551615 228134529945 0 4 0 16800975 18446604468622714944 0 0 -1 5 0 0 0
[pid=28972/tid=29037] ppid=28970 vsize=7660212 CPUtime=0 cores=5,7
/proc/28972/task/29037/stat : 29037 (java) S 28970 28972 28928 0 -1 4202560 67 0 0 0 0 0 0 0 15 0 19 0 371270460 7844057088 34012 33554432000 1073741824 1073778376 140735481310000 18446744073709551615 228134530560 0 4 0 16800975 18446604468622714944 0 0 -1 7 0 0 0
[pid=28972/tid=29059] ppid=28970 vsize=7660212 CPUtime=0 cores=5,7
/proc/28972/task/29059/stat : 29059 (java) S 28970 28972 28928 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 371270479 7844057088 34012 33554432000 1073741824 1073778376 140735481310000 18446744073709551615 228134530560 0 4 0 16800975 18446604468622714944 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1123.29
Current children cumulated vsize (KiB) 7660212

[startup+1182.3 s]
/proc/loadavg: 4.06 3.95 3.27 5/262 29093
/proc/meminfo: memFree=15554900/32951124 swapFree=67111528/67111528
[pid=28972] ppid=28970 vsize=7660212 CPUtime=1183.31 cores=5,7
/proc/28972/stat : 28972 (java) S 28970 28972 28928 0 -1 4202496 37935 0 46 0 118322 9 0 0 17 0 19 0 371270443 7844057088 34067 33554432000 1073741824 1073778376 140735481310000 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/28972/statm: 1915053 34067 2255 9 0 1905791 0
[pid=28972/tid=28975] ppid=28970 vsize=7660212 CPUtime=1176.58 cores=5,7
/proc/28972/task/28975/stat : 28975 (java) R 28970 28972 28928 0 -1 4202560 14801 0 46 0 117655 3 0 0 25 0 19 0 371270446 7844057088 34067 33554432000 1073741824 1073778376 140735481310000 18446744073709551615 46912505647158 0 4 0 16800975 0 0 0 -1 5 0 0 8
[pid=28972/tid=28983] ppid=28970 vsize=7660212 CPUtime=0.13 cores=5,7
/proc/28972/task/28983/stat : 28983 (java) S 28970 28972 28928 0 -1 4202560 979 0 0 0 13 0 0 0 15 0 19 0 371270450 7844057088 34067 33554432000 1073741824 1073778376 140735481310000 18446744073709551615 228134529945 0 4 0 16800975 18446604468622714944 0 0 -1 7 0 0 0
[pid=28972/tid=28986] ppid=28970 vsize=7660212 CPUtime=0.16 cores=5,7
/proc/28972/task/28986/stat : 28986 (java) S 28970 28972 28928 0 -1 4202560 1238 0 0 0 16 0 0 0 15 0 19 0 371270450 7844057088 34067 33554432000 1073741824 1073778376 140735481310000 18446744073709551615 228134529945 0 4 0 16800975 18446604468622714944 0 0 -1 7 0 0 0
[pid=28972/tid=28988] ppid=28970 vsize=7660212 CPUtime=0.16 cores=5,7
/proc/28972/task/28988/stat : 28988 (java) S 28970 28972 28928 0 -1 4202560 424 0 0 0 16 0 0 0 15 0 19 0 371270450 7844057088 34067 33554432000 1073741824 1073778376 140735481310000 18446744073709551615 228134529945 0 4 0 16800975 18446604468622714944 0 0 -1 7 0 0 0
[pid=28972/tid=28990] ppid=28970 vsize=7660212 CPUtime=0.11 cores=5,7
/proc/28972/task/28990/stat : 28990 (java) S 28970 28972 28928 0 -1 4202560 316 0 0 0 11 0 0 0 15 0 19 0 371270450 7844057088 34067 33554432000 1073741824 1073778376 140735481310000 18446744073709551615 228134529945 0 4 0 16800975 18446604468622714944 0 0 -1 7 0 0 0
[pid=28972/tid=28992] ppid=28970 vsize=7660212 CPUtime=0.13 cores=5,7
/proc/28972/task/28992/stat : 28992 (java) S 28970 28972 28928 0 -1 4202560 2196 0 0 0 13 0 0 0 15 0 19 0 371270450 7844057088 34067 33554432000 1073741824 1073778376 140735481310000 18446744073709551615 228134529945 0 4 0 16800975 18446604468622714944 0 0 -1 7 0 0 0
[pid=28972/tid=28993] ppid=28970 vsize=7660212 CPUtime=0.13 cores=5,7
/proc/28972/task/28993/stat : 28993 (java) S 28970 28972 28928 0 -1 4202560 305 0 0 0 13 0 0 0 15 0 19 0 371270450 7844057088 34067 33554432000 1073741824 1073778376 140735481310000 18446744073709551615 228134529945 0 4 0 16800975 18446604468622714944 0 0 -1 7 0 0 0
[pid=28972/tid=28994] ppid=28970 vsize=7660212 CPUtime=0.14 cores=5,7
/proc/28972/task/28994/stat : 28994 (java) S 28970 28972 28928 0 -1 4202560 907 0 0 0 14 0 0 0 16 0 19 0 371270450 7844057088 34067 33554432000 1073741824 1073778376 140735481310000 18446744073709551615 228134529945 0 4 0 16800975 18446604468622714944 0 0 -1 7 0 0 0
[pid=28972/tid=28995] ppid=28970 vsize=7660212 CPUtime=0.15 cores=5,7
/proc/28972/task/28995/stat : 28995 (java) S 28970 28972 28928 0 -1 4202560 1874 0 0 0 15 0 0 0 16 0 19 0 371270450 7844057088 34067 33554432000 1073741824 1073778376 140735481310000 18446744073709551615 228134529945 0 4 0 16800975 18446604468622714944 0 0 -1 7 0 0 0
[pid=28972/tid=28997] ppid=28970 vsize=7660212 CPUtime=4.86 cores=5,7
/proc/28972/task/28997/stat : 28997 (java) S 28970 28972 28928 0 -1 4202560 3930 0 0 0 484 2 0 0 15 0 19 0 371270453 7844057088 34067 33554432000 1073741824 1073778376 140735481310000 18446744073709551615 228134530560 0 0 0 16800975 18446604468622714944 0 0 -1 5 0 0 0
[pid=28972/tid=29004] ppid=28970 vsize=7660212 CPUtime=0 cores=5,7
/proc/28972/task/29004/stat : 29004 (java) S 28970 28972 28928 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 371270454 7844057088 34067 33554432000 1073741824 1073778376 140735481310000 18446744073709551615 228134529945 0 4 0 16800975 18446604468622714944 0 0 -1 5 0 0 0
[pid=28972/tid=29006] ppid=28970 vsize=7660212 CPUtime=0 cores=5,7
/proc/28972/task/29006/stat : 29006 (java) S 28970 28972 28928 0 -1 4202560 13 0 0 0 0 0 0 0 18 0 19 0 371270454 7844057088 34067 33554432000 1073741824 1073778376 140735481310000 18446744073709551615 228134529945 0 4 0 16800975 18446604468622714944 0 0 -1 5 0 0 0
[pid=28972/tid=29027] ppid=28970 vsize=7660212 CPUtime=0 cores=5,7
/proc/28972/task/29027/stat : 29027 (java) S 28970 28972 28928 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 371270460 7844057088 34067 33554432000 1073741824 1073778376 140735481310000 18446744073709551615 228134537649 0 4 0 16800975 18446604468622714944 0 0 -1 5 0 0 0
[pid=28972/tid=29029] ppid=28970 vsize=7660212 CPUtime=0.2 cores=5,7
/proc/28972/task/29029/stat : 29029 (java) S 28970 28972 28928 0 -1 4202560 921 0 0 0 20 0 0 0 15 0 19 0 371270460 7844057088 34067 33554432000 1073741824 1073778376 140735481310000 18446744073709551615 228134529945 0 4 0 16800975 18446604468622714944 0 0 -1 7 0 0 0
[pid=28972/tid=29033] ppid=28970 vsize=7660212 CPUtime=0.46 cores=5,7
/proc/28972/task/29033/stat : 29033 (java) S 28970 28972 28928 0 -1 4202560 8820 0 0 0 46 0 0 0 15 0 19 0 371270460 7844057088 34067 33554432000 1073741824 1073778376 140735481310000 18446744073709551615 228134529945 0 4 0 16800975 18446604468622714944 0 0 -1 7 0 0 0
[pid=28972/tid=29035] ppid=28970 vsize=7660212 CPUtime=0 cores=5,7
/proc/28972/task/29035/stat : 29035 (java) S 28970 28972 28928 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 371270460 7844057088 34067 33554432000 1073741824 1073778376 140735481310000 18446744073709551615 228134529945 0 4 0 16800975 18446604468622714944 0 0 -1 5 0 0 0
[pid=28972/tid=29037] ppid=28970 vsize=7660212 CPUtime=0 cores=5,7
/proc/28972/task/29037/stat : 29037 (java) S 28970 28972 28928 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 19 0 371270460 7844057088 34067 33554432000 1073741824 1073778376 140735481310000 18446744073709551615 228134530560 0 4 0 16800975 18446604468622714944 0 0 -1 7 0 0 0
[pid=28972/tid=29059] ppid=28970 vsize=7660212 CPUtime=0 cores=5,7
/proc/28972/task/29059/stat : 29059 (java) S 28970 28972 28928 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 371270479 7844057088 34067 33554432000 1073741824 1073778376 140735481310000 18446744073709551615 228134530560 0 4 0 16800975 18446604468622714944 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1183.31
Current children cumulated vsize (KiB) 7660212

[startup+1242.3 s]
/proc/loadavg: 4.02 3.96 3.31 5/262 29094
/proc/meminfo: memFree=15538584/32951124 swapFree=67111528/67111528
[pid=28972] ppid=28970 vsize=7660212 CPUtime=1243.34 cores=5,7
/proc/28972/stat : 28972 (java) S 28970 28972 28928 0 -1 4202496 38030 0 46 0 124325 9 0 0 17 0 19 0 371270443 7844057088 34147 33554432000 1073741824 1073778376 140735481310000 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/28972/statm: 1915053 34147 2255 9 0 1905791 0
[pid=28972/tid=28975] ppid=28970 vsize=7660212 CPUtime=1236.31 cores=5,7
/proc/28972/task/28975/stat : 28975 (java) R 28970 28972 28928 0 -1 4202560 14808 0 46 0 123628 3 0 0 25 0 19 0 371270446 7844057088 34147 33554432000 1073741824 1073778376 140735481310000 18446744073709551615 46912505605288 0 4 0 16800975 0 0 0 -1 5 0 0 8
[pid=28972/tid=28983] ppid=28970 vsize=7660212 CPUtime=0.13 cores=5,7
/proc/28972/task/28983/stat : 28983 (java) S 28970 28972 28928 0 -1 4202560 979 0 0 0 13 0 0 0 15 0 19 0 371270450 7844057088 34147 33554432000 1073741824 1073778376 140735481310000 18446744073709551615 228134529945 0 4 0 16800975 18446604468622714944 0 0 -1 7 0 0 0
[pid=28972/tid=28986] ppid=28970 vsize=7660212 CPUtime=0.16 cores=5,7
/proc/28972/task/28986/stat : 28986 (java) S 28970 28972 28928 0 -1 4202560 1238 0 0 0 16 0 0 0 15 0 19 0 371270450 7844057088 34147 33554432000 1073741824 1073778376 140735481310000 18446744073709551615 228134529945 0 4 0 16800975 18446604468622714944 0 0 -1 7 0 0 0
[pid=28972/tid=28988] ppid=28970 vsize=7660212 CPUtime=0.17 cores=5,7
/proc/28972/task/28988/stat : 28988 (java) S 28970 28972 28928 0 -1 4202560 424 0 0 0 17 0 0 0 15 0 19 0 371270450 7844057088 34147 33554432000 1073741824 1073778376 140735481310000 18446744073709551615 228134529945 0 4 0 16800975 18446604468622714944 0 0 -1 7 0 0 0
[pid=28972/tid=28990] ppid=28970 vsize=7660212 CPUtime=0.12 cores=5,7
/proc/28972/task/28990/stat : 28990 (java) S 28970 28972 28928 0 -1 4202560 317 0 0 0 12 0 0 0 16 0 19 0 371270450 7844057088 34147 33554432000 1073741824 1073778376 140735481310000 18446744073709551615 228134529945 0 4 0 16800975 18446604468622714944 0 0 -1 7 0 0 0
[pid=28972/tid=28992] ppid=28970 vsize=7660212 CPUtime=0.14 cores=5,7
/proc/28972/task/28992/stat : 28992 (java) S 28970 28972 28928 0 -1 4202560 2196 0 0 0 14 0 0 0 15 0 19 0 371270450 7844057088 34147 33554432000 1073741824 1073778376 140735481310000 18446744073709551615 228134529945 0 4 0 16800975 18446604468622714944 0 0 -1 7 0 0 0
[pid=28972/tid=28993] ppid=28970 vsize=7660212 CPUtime=0.14 cores=5,7
/proc/28972/task/28993/stat : 28993 (java) S 28970 28972 28928 0 -1 4202560 305 0 0 0 14 0 0 0 15 0 19 0 371270450 7844057088 34147 33554432000 1073741824 1073778376 140735481310000 18446744073709551615 228134529945 0 4 0 16800975 18446604468622714944 0 0 -1 7 0 0 0
[pid=28972/tid=28994] ppid=28970 vsize=7660212 CPUtime=0.15 cores=5,7
/proc/28972/task/28994/stat : 28994 (java) S 28970 28972 28928 0 -1 4202560 907 0 0 0 15 0 0 0 15 0 19 0 371270450 7844057088 34147 33554432000 1073741824 1073778376 140735481310000 18446744073709551615 228134529945 0 4 0 16800975 18446604468622714944 0 0 -1 7 0 0 0
[pid=28972/tid=28995] ppid=28970 vsize=7660212 CPUtime=0.16 cores=5,7
/proc/28972/task/28995/stat : 28995 (java) S 28970 28972 28928 0 -1 4202560 1875 0 0 0 16 0 0 0 15 0 19 0 371270450 7844057088 34147 33554432000 1073741824 1073778376 140735481310000 18446744073709551615 228134529945 0 4 0 16800975 18446604468622714944 0 0 -1 7 0 0 0
[pid=28972/tid=28997] ppid=28970 vsize=7660212 CPUtime=5.09 cores=5,7
/proc/28972/task/28997/stat : 28997 (java) S 28970 28972 28928 0 -1 4202560 4012 0 0 0 507 2 0 0 15 0 19 0 371270453 7844057088 34147 33554432000 1073741824 1073778376 140735481310000 18446744073709551615 228134530560 0 0 0 16800975 18446604468622714944 0 0 -1 5 0 0 0
[pid=28972/tid=29004] ppid=28970 vsize=7660212 CPUtime=0 cores=5,7
/proc/28972/task/29004/stat : 29004 (java) S 28970 28972 28928 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 371270454 7844057088 34147 33554432000 1073741824 1073778376 140735481310000 18446744073709551615 228134529945 0 4 0 16800975 18446604468622714944 0 0 -1 5 0 0 0
[pid=28972/tid=29006] ppid=28970 vsize=7660212 CPUtime=0 cores=5,7
/proc/28972/task/29006/stat : 29006 (java) S 28970 28972 28928 0 -1 4202560 13 0 0 0 0 0 0 0 18 0 19 0 371270454 7844057088 34147 33554432000 1073741824 1073778376 140735481310000 18446744073709551615 228134529945 0 4 0 16800975 18446604468622714944 0 0 -1 5 0 0 0
[pid=28972/tid=29027] ppid=28970 vsize=7660212 CPUtime=0 cores=5,7
/proc/28972/task/29027/stat : 29027 (java) S 28970 28972 28928 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 371270460 7844057088 34147 33554432000 1073741824 1073778376 140735481310000 18446744073709551615 228134537649 0 4 0 16800975 18446604468622714944 0 0 -1 5 0 0 0
[pid=28972/tid=29029] ppid=28970 vsize=7660212 CPUtime=0.2 cores=5,7
/proc/28972/task/29029/stat : 29029 (java) S 28970 28972 28928 0 -1 4202560 921 0 0 0 20 0 0 0 15 0 19 0 371270460 7844057088 34147 33554432000 1073741824 1073778376 140735481310000 18446744073709551615 228134529945 0 4 0 16800975 18446604468622714944 0 0 -1 7 0 0 0
[pid=28972/tid=29033] ppid=28970 vsize=7660212 CPUtime=0.46 cores=5,7
/proc/28972/task/29033/stat : 29033 (java) S 28970 28972 28928 0 -1 4202560 8820 0 0 0 46 0 0 0 15 0 19 0 371270460 7844057088 34147 33554432000 1073741824 1073778376 140735481310000 18446744073709551615 228134529945 0 4 0 16800975 18446604468622714944 0 0 -1 7 0 0 0
[pid=28972/tid=29035] ppid=28970 vsize=7660212 CPUtime=0 cores=5,7
/proc/28972/task/29035/stat : 29035 (java) S 28970 28972 28928 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 371270460 7844057088 34147 33554432000 1073741824 1073778376 140735481310000 18446744073709551615 228134529945 0 4 0 16800975 18446604468622714944 0 0 -1 5 0 0 0
[pid=28972/tid=29037] ppid=28970 vsize=7660212 CPUtime=0 cores=5,7
/proc/28972/task/29037/stat : 29037 (java) S 28970 28972 28928 0 -1 4202560 73 0 0 0 0 0 0 0 15 0 19 0 371270460 7844057088 34147 33554432000 1073741824 1073778376 140735481310000 18446744073709551615 228134530560 0 4 0 16800975 18446604468622714944 0 0 -1 7 0 0 0
[pid=28972/tid=29059] ppid=28970 vsize=7660212 CPUtime=0 cores=5,7
/proc/28972/task/29059/stat : 29059 (java) S 28970 28972 28928 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 371270479 7844057088 34147 33554432000 1073741824 1073778376 140735481310000 18446744073709551615 228134530560 0 4 0 16800975 18446604468622714944 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1243.34
Current children cumulated vsize (KiB) 7660212



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 4.09 3.98 3.36 4/243 29099
/proc/meminfo: memFree=15611356/32951124 swapFree=67111528/67111528
[pid=28972] ppid=28970 vsize=7660212 CPUtime=1301.07 cores=5,7
/proc/28972/stat : 28972 (java) S 28970 28972 28928 0 -1 4202496 38132 0 46 0 130098 9 0 0 17 0 19 0 371270443 7844057088 34234 33554432000 1073741824 1073778376 140735481310000 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/28972/statm: 1915053 34234 2255 9 0 1905791 0
[pid=28972/tid=28975] ppid=28970 vsize=7660212 CPUtime=1293.74 cores=5,7
/proc/28972/task/28975/stat : 28975 (java) R 28970 28972 28928 0 -1 4202560 14815 0 46 0 129371 3 0 0 25 0 19 0 371270446 7844057088 34234 33554432000 1073741824 1073778376 140735481310000 18446744073709551615 46912505647158 0 4 0 16800975 0 0 0 -1 5 0 0 8
[pid=28972/tid=28983] ppid=28970 vsize=7660212 CPUtime=0.15 cores=5,7
/proc/28972/task/28983/stat : 28983 (java) S 28970 28972 28928 0 -1 4202560 979 0 0 0 15 0 0 0 15 0 19 0 371270450 7844057088 34234 33554432000 1073741824 1073778376 140735481310000 18446744073709551615 228134529945 0 4 0 16800975 18446604468622714944 0 0 -1 7 0 0 0
[pid=28972/tid=28986] ppid=28970 vsize=7660212 CPUtime=0.17 cores=5,7
/proc/28972/task/28986/stat : 28986 (java) S 28970 28972 28928 0 -1 4202560 1238 0 0 0 17 0 0 0 16 0 19 0 371270450 7844057088 34234 33554432000 1073741824 1073778376 140735481310000 18446744073709551615 228134529945 0 4 0 16800975 18446604468622714944 0 0 -1 7 0 0 0
[pid=28972/tid=28988] ppid=28970 vsize=7660212 CPUtime=0.17 cores=5,7
/proc/28972/task/28988/stat : 28988 (java) S 28970 28972 28928 0 -1 4202560 424 0 0 0 17 0 0 0 15 0 19 0 371270450 7844057088 34234 33554432000 1073741824 1073778376 140735481310000 18446744073709551615 228134529945 0 4 0 16800975 18446604468622714944 0 0 -1 7 0 0 0
[pid=28972/tid=28990] ppid=28970 vsize=7660212 CPUtime=0.13 cores=5,7
/proc/28972/task/28990/stat : 28990 (java) S 28970 28972 28928 0 -1 4202560 318 0 0 0 13 0 0 0 15 0 19 0 371270450 7844057088 34234 33554432000 1073741824 1073778376 140735481310000 18446744073709551615 228134529945 0 4 0 16800975 18446604468622714944 0 0 -1 7 0 0 0
[pid=28972/tid=28992] ppid=28970 vsize=7660212 CPUtime=0.15 cores=5,7
/proc/28972/task/28992/stat : 28992 (java) S 28970 28972 28928 0 -1 4202560 2196 0 0 0 15 0 0 0 16 0 19 0 371270450 7844057088 34234 33554432000 1073741824 1073778376 140735481310000 18446744073709551615 228134529945 0 4 0 16800975 18446604468622714944 0 0 -1 7 0 0 0
[pid=28972/tid=28993] ppid=28970 vsize=7660212 CPUtime=0.15 cores=5,7
/proc/28972/task/28993/stat : 28993 (java) S 28970 28972 28928 0 -1 4202560 305 0 0 0 15 0 0 0 15 0 19 0 371270450 7844057088 34234 33554432000 1073741824 1073778376 140735481310000 18446744073709551615 228134529945 0 4 0 16800975 18446604468622714944 0 0 -1 7 0 0 0
[pid=28972/tid=28994] ppid=28970 vsize=7660212 CPUtime=0.15 cores=5,7
/proc/28972/task/28994/stat : 28994 (java) S 28970 28972 28928 0 -1 4202560 907 0 0 0 15 0 0 0 15 0 19 0 371270450 7844057088 34234 33554432000 1073741824 1073778376 140735481310000 18446744073709551615 228134529945 0 4 0 16800975 18446604468622714944 0 0 -1 7 0 0 0
[pid=28972/tid=28995] ppid=28970 vsize=7660212 CPUtime=0.17 cores=5,7
/proc/28972/task/28995/stat : 28995 (java) S 28970 28972 28928 0 -1 4202560 1875 0 0 0 17 0 0 0 15 0 19 0 371270450 7844057088 34234 33554432000 1073741824 1073778376 140735481310000 18446744073709551615 228134529945 0 4 0 16800975 18446604468622714944 0 0 -1 7 0 0 0
[pid=28972/tid=28997] ppid=28970 vsize=7660212 CPUtime=5.33 cores=5,7
/proc/28972/task/28997/stat : 28997 (java) S 28970 28972 28928 0 -1 4202560 4102 0 0 0 531 2 0 0 15 0 19 0 371270453 7844057088 34234 33554432000 1073741824 1073778376 140735481310000 18446744073709551615 228134530560 0 0 0 16800975 18446604468622714944 0 0 -1 5 0 0 0
[pid=28972/tid=29004] ppid=28970 vsize=7660212 CPUtime=0 cores=5,7
/proc/28972/task/29004/stat : 29004 (java) S 28970 28972 28928 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 371270454 7844057088 34234 33554432000 1073741824 1073778376 140735481310000 18446744073709551615 228134529945 0 4 0 16800975 18446604468622714944 0 0 -1 5 0 0 0
[pid=28972/tid=29006] ppid=28970 vsize=7660212 CPUtime=0 cores=5,7
/proc/28972/task/29006/stat : 29006 (java) S 28970 28972 28928 0 -1 4202560 13 0 0 0 0 0 0 0 18 0 19 0 371270454 7844057088 34234 33554432000 1073741824 1073778376 140735481310000 18446744073709551615 228134529945 0 4 0 16800975 18446604468622714944 0 0 -1 5 0 0 0
[pid=28972/tid=29027] ppid=28970 vsize=7660212 CPUtime=0 cores=5,7
/proc/28972/task/29027/stat : 29027 (java) S 28970 28972 28928 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 371270460 7844057088 34234 33554432000 1073741824 1073778376 140735481310000 18446744073709551615 228134537649 0 4 0 16800975 18446604468622714944 0 0 -1 5 0 0 0
[pid=28972/tid=29029] ppid=28970 vsize=7660212 CPUtime=0.2 cores=5,7
/proc/28972/task/29029/stat : 29029 (java) S 28970 28972 28928 0 -1 4202560 921 0 0 0 20 0 0 0 15 0 19 0 371270460 7844057088 34234 33554432000 1073741824 1073778376 140735481310000 18446744073709551615 228134529945 0 4 0 16800975 18446604468622714944 0 0 -1 7 0 0 0
[pid=28972/tid=29033] ppid=28970 vsize=7660212 CPUtime=0.46 cores=5,7
/proc/28972/task/29033/stat : 29033 (java) S 28970 28972 28928 0 -1 4202560 8820 0 0 0 46 0 0 0 15 0 19 0 371270460 7844057088 34234 33554432000 1073741824 1073778376 140735481310000 18446744073709551615 228134529945 0 4 0 16800975 18446604468622714944 0 0 -1 7 0 0 0
[pid=28972/tid=29035] ppid=28970 vsize=7660212 CPUtime=0 cores=5,7
/proc/28972/task/29035/stat : 29035 (java) S 28970 28972 28928 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 371270460 7844057088 34234 33554432000 1073741824 1073778376 140735481310000 18446744073709551615 228134529945 0 4 0 16800975 18446604468622714944 0 0 -1 5 0 0 0
[pid=28972/tid=29037] ppid=28970 vsize=7660212 CPUtime=0 cores=5,7
/proc/28972/task/29037/stat : 29037 (java) S 28970 28972 28928 0 -1 4202560 77 0 0 0 0 0 0 0 15 0 19 0 371270460 7844057088 34234 33554432000 1073741824 1073778376 140735481310000 18446744073709551615 228134530560 0 4 0 16800975 18446604468622714944 0 0 -1 7 0 0 0
[pid=28972/tid=29059] ppid=28970 vsize=7660212 CPUtime=0 cores=5,7
/proc/28972/task/29059/stat : 29059 (java) S 28970 28972 28928 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 371270479 7844057088 34234 33554432000 1073741824 1073778376 140735481310000 18446744073709551615 228134530560 0 4 0 16800975 18446604468622714944 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1301.07
Current children cumulated vsize (KiB) 7660212

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

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

Child status: 143
Real time (s): 1300.04
CPU time (s): 1301.13
CPU user time (s): 1301.03
CPU system time (s): 0.101984
CPU usage (%): 100.084
Max. virtual memory (cumulated for all children) (KiB): 7664724

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1301.03
system time used= 0.101984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38167
page faults= 46
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 31954
involuntary context switches= 6991

runsolver used 2.11968 second user time and 5.00224 second system time

The end

Launcher Data 

Begin job on node138 at 2011-04-12 10:25:25
IDJOB=3190185
IDBENCH=82516
IDSOLVER=1611
FILE ID=node138/3190185-1302596725
RUNJOBID= node138-1302596724-28949
PBS_JOBID= 12958089
Free space on /tmp= 71500 MiB

SOLVER NAME= SAT4J core 2.3.0 SNAPSHOT 2011-02-06
BENCH NAME= SAT11/random/large/unif-k5-r20-v1500-c30000-S976428817-077-UNKNOWN.cnf
COMMAND LINE= java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3190185-1302596725/watcher-3190185-1302596725 -o /tmp/evaluation-result-3190185-1302596725/solver-3190185-1302596725 -C 2400 -W 1300 -M 7680  java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3190185-1302596725.cnf

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2

MD5SUM BENCH= 4d2cfd51677809bb15d90c916352e4e2
RANDOM SEED=1517792099

node138.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	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.854
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.70
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.854
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.854
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.854
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.854
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.80
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.854
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.854
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.854
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      16372908 kB
Buffers:        668864 kB
Cached:       15436180 kB
SwapCached:          0 kB
Active:        7589068 kB
Inactive:      8583372 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      16372908 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            1600 kB
Writeback:           0 kB
AnonPages:       67156 kB
Mapped:          16652 kB
Slab:           340324 kB
PageTables:       5420 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   215056 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71492 MiB
End job on node138 at 2011-04-12 10:47:07