Trace number 3282405

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) 1300.85 1300.05

General information on the benchmark

NameAPPLICATIONS/bitverif/countbitsarray/
countbitsarray04_32.cnf
MD5SUM2fe3650d4a602f63086e937176360ebb
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables8750
Number of clauses25865
Sum of the clauses size60349
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 217242
Number of clauses of size 38621
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.08	c no version file found!!!
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.18-164.el5
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		6997539544
0.00/0.08	c Max memory 		7034241024
0.00/0.08	c Total memory 		7034241024
0.00/0.08	c Number of processors 	8
0.00/0.10	c --- Begin Solver configuration ---
0.00/0.10	c org.sat4j.minisat.constraints.MixedDataStructureDanielWL@50337d0f
0.00/0.10	c Learn all clauses as in MiniSAT
0.00/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.1 initConflictBound=100 
0.00/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT
0.00/0.10	c Expensive reason simplification
0.00/0.10	c Armin Biere (Picosat) restarts strategy
0.00/0.10	c Glucose learned constraints deletion strategy
0.00/0.10	c timeout=2147483647s
0.00/0.10	c DB Simplification allowed=true
0.00/0.10	c --- End Solver configuration ---
0.00/0.10	c solving HOME/instance-3282405-1303756618.cnf
0.00/0.10	c reading problem ... 
0.29/0.22	c ... done. Wall clock time 0.124s.
0.29/0.22	c #vars     8750
0.29/0.22	c #constraints  25865
0.29/0.22	c constraints type 
0.29/0.22	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 8621
0.29/0.22	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 17242
1.28/1.08	c cleaning 1904 clauses out of 3907 with flag 5001/5001
2.02/1.72	c cleaning 3704 clauses out of 7487 with flag 11000/11000
2.72/2.49	c cleaning 5342 clauses out of 10724 with flag 18000/18000
3.73/3.47	c cleaning 6660 clauses out of 13367 with flag 26000/26000
4.83/4.53	c cleaning 7795 clauses out of 15676 with flag 35001/35001
6.23/5.90	c cleaning 8915 clauses out of 17877 with flag 45000/45000
7.73/7.46	c cleaning 9956 clauses out of 19955 with flag 56002/56002
9.43/9.16	c cleaning 10969 clauses out of 21988 with flag 68004/68004
11.34/11.08	c cleaning 11964 clauses out of 23983 with flag 81000/81000
13.64/13.36	c cleaning 12972 clauses out of 26020 with flag 95001/95001
16.04/15.76	c cleaning 13978 clauses out of 28033 with flag 110000/110000
19.05/18.77	c cleaning 15005 clauses out of 30056 with flag 126001/126001
22.25/21.91	c cleaning 15977 clauses out of 32038 with flag 143002/143002
25.85/25.51	c cleaning 16995 clauses out of 34049 with flag 161001/161001
30.16/29.88	c cleaning 18001 clauses out of 36050 with flag 180000/180000
35.16/34.83	c cleaning 18987 clauses out of 38036 with flag 200001/200001
39.46/39.11	c cleaning 19993 clauses out of 40043 with flag 221000/221000
45.16/44.83	c cleaning 20986 clauses out of 42050 with flag 243000/243000
50.97/50.65	c cleaning 22016 clauses out of 44064 with flag 266000/266000
56.77/56.47	c cleaning 22997 clauses out of 46048 with flag 290000/290000
63.18/62.83	c cleaning 23997 clauses out of 48052 with flag 315001/315001
70.07/69.71	c cleaning 25012 clauses out of 50054 with flag 341000/341000
78.48/78.11	c cleaning 25494 clauses out of 51042 with flag 367000/367000
86.38/86.07	c cleaning 25753 clauses out of 51539 with flag 393000/393000
93.28/92.90	c cleaning 25879 clauses out of 51786 with flag 419000/419000
100.19/99.82	c cleaning 25937 clauses out of 51902 with flag 445000/445000
106.79/106.45	c cleaning 25966 clauses out of 51966 with flag 471001/471001
115.19/114.89	c cleaning 25978 clauses out of 52000 with flag 497001/497001
122.70/122.37	c cleaning 26002 clauses out of 52021 with flag 523000/523000
131.30/131.00	c cleaning 25982 clauses out of 52020 with flag 549001/549001
138.40/138.06	c cleaning 25981 clauses out of 52037 with flag 575000/575000
146.00/145.67	c cleaning 25996 clauses out of 52056 with flag 601000/601000
153.61/153.24	c cleaning 26006 clauses out of 52060 with flag 627000/627000
161.61/161.28	c cleaning 25991 clauses out of 52052 with flag 653002/653002
171.11/170.77	c cleaning 26012 clauses out of 52061 with flag 679002/679002
179.41/179.09	c cleaning 25998 clauses out of 52049 with flag 705002/705002
188.22/187.80	c cleaning 25988 clauses out of 52050 with flag 731001/731001
195.82/195.43	c cleaning 25999 clauses out of 52061 with flag 757000/757000
202.93/202.56	c cleaning 25998 clauses out of 52062 with flag 783000/783000
213.32/212.97	c cleaning 26006 clauses out of 52064 with flag 809000/809000
222.03/221.67	c cleaning 26005 clauses out of 52060 with flag 835002/835002
229.43/229.03	c cleaning 26001 clauses out of 52053 with flag 861000/861000
238.23/237.86	c cleaning 25988 clauses out of 52052 with flag 887000/887000
246.73/246.39	c cleaning 25993 clauses out of 52064 with flag 913000/913000
256.13/255.72	c cleaning 26002 clauses out of 52071 with flag 939000/939000
264.14/263.70	c cleaning 26017 clauses out of 52069 with flag 965000/965000
272.05/271.66	c cleaning 26011 clauses out of 52052 with flag 991000/991000
281.35/280.98	c cleaning 25975 clauses out of 52041 with flag 1017000/1017000
288.76/288.39	c cleaning 26021 clauses out of 52069 with flag 1043003/1043003
296.26/295.85	c cleaning 25990 clauses out of 52046 with flag 1069001/1069001
303.86/303.49	c cleaning 25987 clauses out of 52055 with flag 1095000/1095000
310.67/310.27	c cleaning 26016 clauses out of 52071 with flag 1121003/1121003
317.86/317.48	c cleaning 26002 clauses out of 52053 with flag 1147001/1147001
327.47/327.06	c cleaning 25997 clauses out of 52052 with flag 1173002/1173002
337.57/337.14	c cleaning 26019 clauses out of 52053 with flag 1199000/1199000
346.07/345.69	c cleaning 26004 clauses out of 52034 with flag 1225000/1225000
354.27/353.81	c cleaning 25996 clauses out of 52031 with flag 1251001/1251001
361.98/361.54	c cleaning 25988 clauses out of 52034 with flag 1277000/1277000
368.48/368.00	c cleaning 25997 clauses out of 52044 with flag 1303000/1303000
376.98/376.54	c cleaning 26008 clauses out of 52047 with flag 1329000/1329000
384.58/384.13	c cleaning 25995 clauses out of 52040 with flag 1355001/1355001
391.48/391.05	c cleaning 26002 clauses out of 52045 with flag 1381001/1381001
398.89/398.49	c cleaning 26008 clauses out of 52043 with flag 1407001/1407001
407.09/406.64	c cleaning 25989 clauses out of 52036 with flag 1433002/1433002
414.49/414.04	c cleaning 26009 clauses out of 52045 with flag 1459000/1459000
422.79/422.38	c cleaning 25994 clauses out of 52037 with flag 1485001/1485001
432.00/431.52	c cleaning 25989 clauses out of 52042 with flag 1511000/1511000
440.50/440.01	c cleaning 25998 clauses out of 52053 with flag 1537000/1537000
449.20/448.71	c cleaning 25997 clauses out of 52055 with flag 1563000/1563000
456.70/456.21	c cleaning 25988 clauses out of 52057 with flag 1589001/1589001
465.71/465.23	c cleaning 25984 clauses out of 52068 with flag 1615000/1615000
474.91/474.41	c cleaning 26016 clauses out of 52085 with flag 1641001/1641001
485.23/484.71	c cleaning 25985 clauses out of 52068 with flag 1667000/1667000
492.73/492.21	c cleaning 26009 clauses out of 52085 with flag 1693002/1693002
500.23/499.72	c cleaning 26010 clauses out of 52077 with flag 1719003/1719003
507.74/507.26	c cleaning 26018 clauses out of 52060 with flag 1745000/1745000
517.93/517.49	c cleaning 25981 clauses out of 52042 with flag 1771000/1771000
526.23/525.80	c cleaning 26009 clauses out of 52061 with flag 1797000/1797000
535.33/534.89	c cleaning 25998 clauses out of 52052 with flag 1823000/1823000
545.04/544.56	c cleaning 26004 clauses out of 52056 with flag 1849002/1849002
552.85/552.34	c cleaning 25990 clauses out of 52053 with flag 1875003/1875003
560.44/559.96	c cleaning 25988 clauses out of 52060 with flag 1901000/1901000
568.34/567.90	c cleaning 26004 clauses out of 52073 with flag 1927001/1927001
578.74/578.22	c cleaning 26011 clauses out of 52068 with flag 1953000/1953000
586.95/586.48	c cleaning 25981 clauses out of 52057 with flag 1979000/1979000
596.25/595.72	c cleaning 26001 clauses out of 52078 with flag 2005002/2005002
604.96/604.42	c cleaning 25997 clauses out of 52076 with flag 2031001/2031001
612.86/612.30	c cleaning 26008 clauses out of 52078 with flag 2057000/2057000
620.56/620.06	c cleaning 26013 clauses out of 52070 with flag 2083000/2083000
629.87/629.38	c cleaning 26005 clauses out of 52058 with flag 2109002/2109002
639.87/639.36	c cleaning 25994 clauses out of 52051 with flag 2135000/2135000
649.67/649.13	c cleaning 25999 clauses out of 52058 with flag 2161001/2161001
658.77/658.23	c cleaning 26002 clauses out of 52059 with flag 2187001/2187001
669.17/668.69	c cleaning 25995 clauses out of 52057 with flag 2213001/2213001
677.68/677.15	c cleaning 26008 clauses out of 52061 with flag 2239000/2239000
685.38/684.82	c cleaning 25993 clauses out of 52053 with flag 2265000/2265000
693.08/692.53	c cleaning 25992 clauses out of 52060 with flag 2291000/2291000
700.78/700.22	c cleaning 26005 clauses out of 52069 with flag 2317001/2317001
709.79/709.22	c cleaning 25995 clauses out of 52063 with flag 2343000/2343000
719.59/719.00	c cleaning 26026 clauses out of 52069 with flag 2369001/2369001
728.29/727.80	c cleaning 26008 clauses out of 52042 with flag 2395000/2395000
738.19/737.67	c cleaning 25987 clauses out of 52034 with flag 2421000/2421000
747.30/746.79	c cleaning 26008 clauses out of 52047 with flag 2447000/2447000
757.60/757.09	c cleaning 25977 clauses out of 52040 with flag 2473001/2473001
765.50/764.97	c cleaning 26013 clauses out of 52063 with flag 2499001/2499001
774.61/774.02	c cleaning 25994 clauses out of 52049 with flag 2525000/2525000
782.72/782.18	c cleaning 26013 clauses out of 52056 with flag 2551001/2551001
792.72/792.14	c cleaning 25994 clauses out of 52044 with flag 2577002/2577002
801.81/801.23	c cleaning 25997 clauses out of 52049 with flag 2603001/2603001
810.81/810.20	c cleaning 26000 clauses out of 52051 with flag 2629000/2629000
819.32/818.73	c cleaning 25993 clauses out of 52053 with flag 2655002/2655002
827.22/826.64	c cleaning 26004 clauses out of 52060 with flag 2681002/2681002
837.22/836.62	c cleaning 26012 clauses out of 52054 with flag 2707000/2707000
847.53/846.98	c cleaning 26002 clauses out of 52044 with flag 2733002/2733002
855.63/855.04	c cleaning 25994 clauses out of 52041 with flag 2759001/2759001
863.33/862.70	c cleaning 26005 clauses out of 52046 with flag 2785000/2785000
870.93/870.31	c cleaning 25987 clauses out of 52042 with flag 2811001/2811001
879.54/878.92	c cleaning 25991 clauses out of 52055 with flag 2837001/2837001
890.64/890.05	c cleaning 25987 clauses out of 52064 with flag 2863001/2863001
900.34/899.78	c cleaning 26029 clauses out of 52078 with flag 2889002/2889002
910.24/909.66	c cleaning 25992 clauses out of 52049 with flag 2915002/2915002
920.05/919.50	c cleaning 26006 clauses out of 52055 with flag 2941000/2941000
928.85/928.29	c cleaning 26006 clauses out of 52049 with flag 2967000/2967000
937.05/936.42	c cleaning 26001 clauses out of 52044 with flag 2993001/2993001
944.75/944.13	c cleaning 26007 clauses out of 52042 with flag 3019000/3019000
952.56/951.95	c cleaning 26001 clauses out of 52039 with flag 3045004/3045004
962.06/961.49	c cleaning 25989 clauses out of 52035 with flag 3071001/3071001
971.56/970.95	c cleaning 26005 clauses out of 52046 with flag 3097001/3097001
982.36/981.79	c cleaning 25989 clauses out of 52040 with flag 3123000/3123000
990.37/989.73	c cleaning 25985 clauses out of 52051 with flag 3149000/3149000
1000.97/1000.31	c cleaning 25993 clauses out of 52066 with flag 3175000/3175000
1011.07/1010.45	c cleaning 25990 clauses out of 52075 with flag 3201002/3201002
1020.08/1019.43	c cleaning 26025 clauses out of 52085 with flag 3227002/3227002
1028.98/1028.30	c cleaning 26005 clauses out of 52058 with flag 3253000/3253000
1039.49/1038.88	c cleaning 26018 clauses out of 52053 with flag 3279000/3279000
1049.80/1049.17	c cleaning 25999 clauses out of 52035 with flag 3305000/3305000
1057.30/1056.65	c cleaning 25976 clauses out of 52030 with flag 3331000/3331000
1067.40/1066.74	c cleaning 26002 clauses out of 52054 with flag 3357000/3357000
1077.50/1076.89	c cleaning 25967 clauses out of 52052 with flag 3383000/3383000
1085.90/1085.25	c cleaning 26013 clauses out of 52085 with flag 3409000/3409000
1094.91/1094.27	c cleaning 26017 clauses out of 52067 with flag 3435000/3435000
1104.02/1103.39	c cleaning 25981 clauses out of 52051 with flag 3461001/3461001
1112.92/1112.28	c cleaning 26011 clauses out of 52070 with flag 3487001/3487001
1120.81/1120.10	c cleaning 26000 clauses out of 52060 with flag 3513002/3513002
1129.12/1128.40	c cleaning 26007 clauses out of 52058 with flag 3539000/3539000
1138.12/1137.44	c cleaning 26008 clauses out of 52051 with flag 3565000/3565000
1147.92/1147.29	c cleaning 25986 clauses out of 52044 with flag 3591001/3591001
1157.72/1157.07	c cleaning 25987 clauses out of 52057 with flag 3617000/3617000
1168.13/1167.43	c cleaning 26029 clauses out of 52071 with flag 3643001/3643001
1177.23/1176.54	c cleaning 25998 clauses out of 52041 with flag 3669000/3669000
1186.33/1185.62	c cleaning 25999 clauses out of 52043 with flag 3695000/3695000
1196.23/1195.56	c cleaning 25999 clauses out of 52045 with flag 3721001/3721001
1207.04/1206.37	c cleaning 25994 clauses out of 52045 with flag 3747000/3747000
1216.74/1216.05	c cleaning 26001 clauses out of 52051 with flag 3773000/3773000
1226.34/1225.60	c cleaning 26005 clauses out of 52050 with flag 3799000/3799000
1235.85/1235.10	c cleaning 25982 clauses out of 52045 with flag 3825000/3825000
1244.45/1243.78	c cleaning 26012 clauses out of 52064 with flag 3851001/3851001
1254.15/1253.45	c cleaning 25998 clauses out of 52052 with flag 3877001/3877001
1266.25/1265.52	c cleaning 25995 clauses out of 52054 with flag 3903001/3903001
1275.76/1275.03	c cleaning 26002 clauses out of 52059 with flag 3929001/3929001
1284.96/1284.26	c cleaning 25992 clauses out of 52057 with flag 3955001/3955001
1294.66/1293.93	c cleaning 25997 clauses out of 52064 with flag 3981000/3981000
1300.77/1300.01	c starts		: 1953
1300.77/1300.01	c conflicts		: 3997315
1300.77/1300.01	c decisions		: 5227318
1300.77/1300.01	c propagations		: 1169059129
1300.77/1300.01	c inspects		: 14009874942
1300.77/1300.01	c shortcuts		: 0
1300.77/1300.01	c learnt literals	: 256
1300.77/1300.01	c learnt binary clauses	: 1673
1300.77/1300.01	c learnt ternary clauses	: 2641
1300.77/1300.01	c learnt constraints	: 3997058
1300.77/1300.01	c ignored constraints	: 0
1300.77/1300.01	c root simplifications	: 2209
1300.77/1300.01	c removed literals (reason simplification)	: 110999324
1300.77/1300.01	c reason swapping (by a shorter reason)	: 0
1300.77/1300.01	c Calls to reduceDB	: 162
1300.77/1300.01	c speed (assignments/second)	: 899419.4683307266
1300.77/1300.01	c non guided choices	1587
1300.77/1300.04	c learnt constraints type 
1300.77/1300.04	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 1160
1300.77/1300.04	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 41273
1300.77/1300.04	c constraints type 
1300.77/1300.04	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 8621
1300.77/1300.04	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 17242
1300.77/1300.04	s UNKNOWN
1300.77/1300.04	c Total wall clock time (in seconds) : 1299.917

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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-3282405-1303756618/watcher-3282405-1303756618 -o /tmp/evaluation-result-3282405-1303756618/solver-3282405-1303756618 -C 2400 -W 1300 -M 7680 java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3282405-1303756618.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: 0.92 1.17 1.91 2/176 29467
/proc/meminfo: memFree=20929536/32950928 swapFree=67111528/67111528
[pid=29467] ppid=29465 vsize=23028 CPUtime=0 cores=5,7
/proc/29467/stat : 29467 (java) R 29465 29467 27831 0 -1 4202496 952 0 0 0 0 0 0 0 23 0 1 0 487258532 23580672 696 33554432000 1073741824 1073778376 140733865834880 18446744073709551615 254495729553 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/29467/statm: 5757 697 514 9 0 124 0

[startup+0.102269 s]
/proc/loadavg: 0.92 1.17 1.91 2/176 29467
/proc/meminfo: memFree=20929536/32950928 swapFree=67111528/67111528
[pid=29467] ppid=29465 vsize=7636332 CPUtime=0.09 cores=5,7
/proc/29467/stat : 29467 (java) S 29465 29467 27831 0 -1 4202496 10455 0 1 0 8 1 0 0 23 0 18 0 487258532 7819603968 10152 33554432000 1073741824 1073778376 140733865834880 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/29467/statm: 1909083 10152 2093 9 0 1899821 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7636332

[startup+0.205482 s]
/proc/loadavg: 0.92 1.17 1.91 2/176 29467
/proc/meminfo: memFree=20929536/32950928 swapFree=67111528/67111528
[pid=29467] ppid=29465 vsize=7637340 CPUtime=0.29 cores=5,7
/proc/29467/stat : 29467 (java) S 29465 29467 27831 0 -1 4202496 12229 0 1 0 27 2 0 0 23 0 18 0 487258532 7820636160 11563 33554432000 1073741824 1073778376 140733865834880 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/29467/statm: 1909335 11563 2196 9 0 1900073 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7637340

[startup+0.30023 s]
/proc/loadavg: 0.92 1.17 1.91 2/176 29467
/proc/meminfo: memFree=20929536/32950928 swapFree=67111528/67111528
[pid=29467] ppid=29465 vsize=7638368 CPUtime=0.45 cores=5,7
/proc/29467/stat : 29467 (java) S 29465 29467 27831 0 -1 4202496 13035 0 1 0 43 2 0 0 23 0 19 0 487258532 7821688832 12216 33554432000 1073741824 1073778376 140733865834880 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/29467/statm: 1909592 12216 2209 9 0 1900330 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 7638368

[startup+0.70015 s]
/proc/loadavg: 0.92 1.17 1.91 2/176 29467
/proc/meminfo: memFree=20929536/32950928 swapFree=67111528/67111528
[pid=29467] ppid=29465 vsize=7639000 CPUtime=0.98 cores=5,7
/proc/29467/stat : 29467 (java) S 29465 29467 27831 0 -1 4202496 13736 0 1 0 96 2 0 0 23 0 19 0 487258532 7822336000 12520 33554432000 1073741824 1073778376 140733865834880 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/29467/statm: 1909750 12520 2225 9 0 1900488 0
Current children cumulated CPU time (s) 0.98
Current children cumulated vsize (KiB) 7639000

[startup+1.50105 s]
/proc/loadavg: 0.92 1.17 1.91 6/261 29565
/proc/meminfo: memFree=20653016/32950928 swapFree=67111528/67111528
[pid=29467] ppid=29465 vsize=7639000 CPUtime=1.8 cores=5,7
/proc/29467/stat : 29467 (java) S 29465 29467 27831 0 -1 4202496 15727 0 1 0 178 2 0 0 23 0 19 0 487258532 7822336000 14421 33554432000 1073741824 1073778376 140733865834880 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/29467/statm: 1909750 14421 2251 9 0 1900488 0
[pid=29467/tid=29469] ppid=29465 vsize=7639000 CPUtime=1.23 cores=5,7
/proc/29467/task/29469/stat : 29469 (java) R 29465 29467 27831 0 -1 4202560 9776 0 1 0 122 1 0 0 25 0 19 0 487258533 7822336000 14421 33554432000 1073741824 1073778376 140733865834880 18446744073709551615 46912505628174 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=29467/tid=29470] ppid=29465 vsize=7639000 CPUtime=0 cores=5,7
/proc/29467/task/29470/stat : 29470 (java) S 29465 29467 27831 0 -1 4202560 410 0 0 0 0 0 0 0 18 0 19 0 487258535 7822336000 14421 33554432000 1073741824 1073778376 140733865834880 18446744073709551615 254512507801 0 4 0 16800975 18446604454223280256 0 0 -1 7 0 0 0
[pid=29467/tid=29471] ppid=29465 vsize=7639000 CPUtime=0 cores=5,7
/proc/29467/task/29471/stat : 29471 (java) S 29465 29467 27831 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 487258535 7822336000 14421 33554432000 1073741824 1073778376 140733865834880 18446744073709551615 254512507801 0 4 0 16800975 18446604454223280256 0 0 -1 7 0 0 0
[pid=29467/tid=29472] ppid=29465 vsize=7639000 CPUtime=0 cores=5,7
/proc/29467/task/29472/stat : 29472 (java) S 29465 29467 27831 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 487258535 7822336000 14421 33554432000 1073741824 1073778376 140733865834880 18446744073709551615 254512507801 0 4 0 16800975 18446604454223280256 0 0 -1 7 0 0 0
[pid=29467/tid=29473] ppid=29465 vsize=7639000 CPUtime=0 cores=5,7
/proc/29467/task/29473/stat : 29473 (java) S 29465 29467 27831 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 487258535 7822336000 14421 33554432000 1073741824 1073778376 140733865834880 18446744073709551615 254512507801 0 4 0 16800975 18446604454223280256 0 0 -1 7 0 0 0
[pid=29467/tid=29474] ppid=29465 vsize=7639000 CPUtime=0 cores=5,7
/proc/29467/task/29474/stat : 29474 (java) S 29465 29467 27831 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 487258535 7822336000 14421 33554432000 1073741824 1073778376 140733865834880 18446744073709551615 254512507801 0 4 0 16800975 18446604454223280256 0 0 -1 7 0 0 0
[pid=29467/tid=29475] ppid=29465 vsize=7639000 CPUtime=0 cores=5,7
/proc/29467/task/29475/stat : 29475 (java) S 29465 29467 27831 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 487258535 7822336000 14421 33554432000 1073741824 1073778376 140733865834880 18446744073709551615 254512507801 0 4 0 16800975 18446604454223280256 0 0 -1 7 0 0 0
[pid=29467/tid=29476] ppid=29465 vsize=7639000 CPUtime=0 cores=5,7
/proc/29467/task/29476/stat : 29476 (java) S 29465 29467 27831 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 487258535 7822336000 14421 33554432000 1073741824 1073778376 140733865834880 18446744073709551615 254512507801 0 4 0 16800975 18446604454223280256 0 0 -1 7 0 0 0
[pid=29467/tid=29477] ppid=29465 vsize=7639000 CPUtime=0 cores=5,7
/proc/29467/task/29477/stat : 29477 (java) S 29465 29467 27831 0 -1 4202560 466 0 0 0 0 0 0 0 18 0 19 0 487258535 7822336000 14421 33554432000 1073741824 1073778376 140733865834880 18446744073709551615 254512507801 0 4 0 16800975 18446604454223280256 0 0 -1 7 0 0 0
[pid=29467/tid=29478] ppid=29465 vsize=7639000 CPUtime=0.01 cores=5,7
/proc/29467/task/29478/stat : 29478 (java) S 29465 29467 27831 0 -1 4202560 884 0 0 0 1 0 0 0 16 0 19 0 487258536 7822336000 14421 33554432000 1073741824 1073778376 140733865834880 18446744073709551615 254512508416 0 0 0 16800975 18446604454223280256 0 0 -1 5 0 0 0
[pid=29467/tid=29479] ppid=29465 vsize=7639000 CPUtime=0 cores=5,7
/proc/29467/task/29479/stat : 29479 (java) S 29465 29467 27831 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 487258536 7822336000 14421 33554432000 1073741824 1073778376 140733865834880 18446744073709551615 254512507801 0 4 0 16800975 18446604454223280256 0 0 -1 5 0 0 0
[pid=29467/tid=29480] ppid=29465 vsize=7639000 CPUtime=0 cores=5,7
/proc/29467/task/29480/stat : 29480 (java) S 29465 29467 27831 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 487258536 7822336000 14421 33554432000 1073741824 1073778376 140733865834880 18446744073709551615 254512507801 0 4 0 16800975 18446604454223280256 0 0 -1 5 0 0 0
[pid=29467/tid=29481] ppid=29465 vsize=7639000 CPUtime=0 cores=5,7
/proc/29467/task/29481/stat : 29481 (java) S 29465 29467 27831 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 487258538 7822336000 14421 33554432000 1073741824 1073778376 140733865834880 18446744073709551615 254512515505 0 4 0 16800975 18446604454223280256 0 0 -1 5 0 0 0
[pid=29467/tid=29482] ppid=29465 vsize=7639000 CPUtime=0.21 cores=5,7
/proc/29467/task/29482/stat : 29482 (java) S 29465 29467 27831 0 -1 4202560 957 0 0 0 21 0 0 0 15 0 19 0 487258538 7822336000 14421 33554432000 1073741824 1073778376 140733865834880 18446744073709551615 254512507801 0 4 0 16800975 18446604454223280256 0 0 -1 5 0 0 0
[pid=29467/tid=29483] ppid=29465 vsize=7639000 CPUtime=0.31 cores=5,7
/proc/29467/task/29483/stat : 29483 (java) S 29465 29467 27831 0 -1 4202560 2078 0 0 0 31 0 0 0 15 0 19 0 487258538 7822336000 14421 33554432000 1073741824 1073778376 140733865834880 18446744073709551615 254512507801 0 4 0 16800975 18446604454223280256 0 0 -1 7 0 0 0
[pid=29467/tid=29484] ppid=29465 vsize=7639000 CPUtime=0 cores=5,7
/proc/29467/task/29484/stat : 29484 (java) S 29465 29467 27831 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 487258538 7822336000 14421 33554432000 1073741824 1073778376 140733865834880 18446744073709551615 254512507801 0 4 0 16800975 18446604454223280256 0 0 -1 5 0 0 0
[pid=29467/tid=29485] ppid=29465 vsize=7639000 CPUtime=0 cores=5,7
/proc/29467/task/29485/stat : 29485 (java) S 29465 29467 27831 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 487258539 7822336000 14421 33554432000 1073741824 1073778376 140733865834880 18446744073709551615 254512508416 0 4 0 16800975 18446604454223280256 0 0 -1 5 0 0 0
[pid=29467/tid=29490] ppid=29465 vsize=7639000 CPUtime=0 cores=5,7
/proc/29467/task/29490/stat : 29490 (java) S 29465 29467 27831 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 487258558 7822336000 14421 33554432000 1073741824 1073778376 140733865834880 18446744073709551615 254512508416 0 4 0 16800975 18446604454223280256 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.8
Current children cumulated vsize (KiB) 7639000

[startup+3.10073 s]
/proc/loadavg: 1.17 1.22 1.92 5/262 29566
/proc/meminfo: memFree=20625136/32950928 swapFree=67111528/67111528
[pid=29467] ppid=29465 vsize=7639000 CPUtime=3.42 cores=5,7
/proc/29467/stat : 29467 (java) S 29465 29467 27831 0 -1 4202496 16196 0 1 0 340 2 0 0 23 0 19 0 487258532 7822336000 14888 33554432000 1073741824 1073778376 140733865834880 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/29467/statm: 1909750 14888 2253 9 0 1900488 0
[pid=29467/tid=29469] ppid=29465 vsize=7639000 CPUtime=2.77 cores=5,7
/proc/29467/task/29469/stat : 29469 (java) R 29465 29467 27831 0 -1 4202560 9779 0 1 0 276 1 0 0 19 0 19 0 487258533 7822336000 14888 33554432000 1073741824 1073778376 140733865834880 18446744073709551615 46912505662262 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=29467/tid=29470] ppid=29465 vsize=7639000 CPUtime=0 cores=5,7
/proc/29467/task/29470/stat : 29470 (java) S 29465 29467 27831 0 -1 4202560 413 0 0 0 0 0 0 0 16 0 19 0 487258535 7822336000 14888 33554432000 1073741824 1073778376 140733865834880 18446744073709551615 254512507801 0 4 0 16800975 18446604454223280256 0 0 -1 7 0 0 0
[pid=29467/tid=29471] ppid=29465 vsize=7639000 CPUtime=0 cores=5,7
/proc/29467/task/29471/stat : 29471 (java) S 29465 29467 27831 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 487258535 7822336000 14888 33554432000 1073741824 1073778376 140733865834880 18446744073709551615 254512507801 0 4 0 16800975 18446604454223280256 0 0 -1 7 0 0 0
[pid=29467/tid=29472] ppid=29465 vsize=7639000 CPUtime=0 cores=5,7
/proc/29467/task/29472/stat : 29472 (java) S 29465 29467 27831 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 487258535 7822336000 14888 33554432000 1073741824 1073778376 140733865834880 18446744073709551615 254512507801 0 4 0 16800975 18446604454223280256 0 0 -1 7 0 0 0
[pid=29467/tid=29473] ppid=29465 vsize=7639000 CPUtime=0 cores=5,7
/proc/29467/task/29473/stat : 29473 (java) S 29465 29467 27831 0 -1 4202560 79 0 0 0 0 0 0 0 15 0 19 0 487258535 7822336000 14888 33554432000 1073741824 1073778376 140733865834880 18446744073709551615 254512507801 0 4 0 16800975 18446604454223280256 0 0 -1 7 0 0 0
[pid=29467/tid=29474] ppid=29465 vsize=7639000 CPUtime=0 cores=5,7
/proc/29467/task/29474/stat : 29474 (java) S 29465 29467 27831 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 487258535 7822336000 14888 33554432000 1073741824 1073778376 140733865834880 18446744073709551615 254512507801 0 4 0 16800975 18446604454223280256 0 0 -1 7 0 0 0
[pid=29467/tid=29475] ppid=29465 vsize=7639000 CPUtime=0 cores=5,7
/proc/29467/task/29475/stat : 29475 (java) S 29465 29467 27831 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 487258535 7822336000 14888 33554432000 1073741824 1073778376 140733865834880 18446744073709551615 254512507801 0 4 0 16800975 18446604454223280256 0 0 -1 7 0 0 0
[pid=29467/tid=29476] ppid=29465 vsize=7639000 CPUtime=0 cores=5,7
/proc/29467/task/29476/stat : 29476 (java) S 29465 29467 27831 0 -1 4202560 145 0 0 0 0 0 0 0 16 0 19 0 487258535 7822336000 14888 33554432000 1073741824 1073778376 140733865834880 18446744073709551615 254512507801 0 4 0 16800975 18446604454223280256 0 0 -1 7 0 0 0
[pid=29467/tid=29477] ppid=29465 vsize=7639000 CPUtime=0 cores=5,7
/proc/29467/task/29477/stat : 29477 (java) S 29465 29467 27831 0 -1 4202560 470 0 0 0 0 0 0 0 15 0 19 0 487258535 7822336000 14888 33554432000 1073741824 1073778376 140733865834880 18446744073709551615 254512507801 0 4 0 16800975 18446604454223280256 0 0 -1 7 0 0 0
[pid=29467/tid=29478] ppid=29465 vsize=7639000 CPUtime=0.04 cores=5,7
/proc/29467/task/29478/stat : 29478 (java) S 29465 29467 27831 0 -1 4202560 1095 0 0 0 4 0 0 0 16 0 19 0 487258536 7822336000 14888 33554432000 1073741824 1073778376 140733865834880 18446744073709551615 254512508416 0 0 0 16800975 18446604454223280256 0 0 -1 5 0 0 0
[pid=29467/tid=29479] ppid=29465 vsize=7639000 CPUtime=0 cores=5,7
/proc/29467/task/29479/stat : 29479 (java) S 29465 29467 27831 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 487258536 7822336000 14888 33554432000 1073741824 1073778376 140733865834880 18446744073709551615 254512507801 0 4 0 16800975 18446604454223280256 0 0 -1 5 0 0 0
[pid=29467/tid=29480] ppid=29465 vsize=7639000 CPUtime=0 cores=5,7
/proc/29467/task/29480/stat : 29480 (java) S 29465 29467 27831 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 487258536 7822336000 14888 33554432000 1073741824 1073778376 140733865834880 18446744073709551615 254512507801 0 4 0 16800975 18446604454223280256 0 0 -1 5 0 0 0
[pid=29467/tid=29481] ppid=29465 vsize=7639000 CPUtime=0 cores=5,7
/proc/29467/task/29481/stat : 29481 (java) S 29465 29467 27831 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 487258538 7822336000 14888 33554432000 1073741824 1073778376 140733865834880 18446744073709551615 254512515505 0 4 0 16800975 18446604454223280256 0 0 -1 5 0 0 0
[pid=29467/tid=29482] ppid=29465 vsize=7639000 CPUtime=0.23 cores=5,7
/proc/29467/task/29482/stat : 29482 (java) S 29465 29467 27831 0 -1 4202560 980 0 0 0 23 0 0 0 15 0 19 0 487258538 7822336000 14888 33554432000 1073741824 1073778376 140733865834880 18446744073709551615 254512507801 0 4 0 16800975 18446604454223280256 0 0 -1 5 0 0 0
[pid=29467/tid=29483] ppid=29465 vsize=7639000 CPUtime=0.33 cores=5,7
/proc/29467/task/29483/stat : 29483 (java) S 29465 29467 27831 0 -1 4202560 2081 0 0 0 33 0 0 0 15 0 19 0 487258538 7822336000 14888 33554432000 1073741824 1073778376 140733865834880 18446744073709551615 254512507801 0 4 0 16800975 18446604454223280256 0 0 -1 7 0 0 0
[pid=29467/tid=29484] ppid=29465 vsize=7639000 CPUtime=0 cores=5,7
/proc/29467/task/29484/stat : 29484 (java) S 29465 29467 27831 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 487258538 7822336000 14888 33554432000 1073741824 1073778376 140733865834880 18446744073709551615 254512507801 0 4 0 16800975 18446604454223280256 0 0 -1 5 0 0 0
[pid=29467/tid=29485] ppid=29465 vsize=7639000 CPUtime=0 cores=5,7
/proc/29467/task/29485/stat : 29485 (java) S 29465 29467 27831 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 487258539 7822336000 14888 33554432000 1073741824 1073778376 140733865834880 18446744073709551615 254512508416 0 4 0 16800975 18446604454223280256 0 0 -1 5 0 0 0
[pid=29467/tid=29490] ppid=29465 vsize=7639000 CPUtime=0 cores=5,7
/proc/29467/task/29490/stat : 29490 (java) S 29465 29467 27831 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 487258558 7822336000 14888 33554432000 1073741824 1073778376 140733865834880 18446744073709551615 254512508416 0 4 0 16800975 18446604454223280256 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.42
Current children cumulated vsize (KiB) 7639000

[startup+6.30109 s]
/proc/loadavg: 1.17 1.22 1.92 6/262 29566
/proc/meminfo: memFree=20589552/32950928 swapFree=67111528/67111528
[pid=29467] ppid=29465 vsize=7639000 CPUtime=6.63 cores=5,7
/proc/29467/stat : 29467 (java) S 29465 29467 27831 0 -1 4202496 16531 0 1 0 661 2 0 0 23 0 19 0 487258532 7822336000 15219 33554432000 1073741824 1073778376 140733865834880 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/29467/statm: 1909750 15219 2253 9 0 1900488 0
[pid=29467/tid=29469] ppid=29465 vsize=7639000 CPUtime=5.89 cores=5,7
/proc/29467/task/29469/stat : 29469 (java) R 29465 29467 27831 0 -1 4202560 9783 0 1 0 588 1 0 0 25 0 19 0 487258533 7822336000 15219 33554432000 1073741824 1073778376 140733865834880 18446744073709551615 46912505628491 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=29467/tid=29470] ppid=29465 vsize=7639000 CPUtime=0 cores=5,7
/proc/29467/task/29470/stat : 29470 (java) S 29465 29467 27831 0 -1 4202560 413 0 0 0 0 0 0 0 16 0 19 0 487258535 7822336000 15219 33554432000 1073741824 1073778376 140733865834880 18446744073709551615 254512507801 0 4 0 16800975 18446604454223280256 0 0 -1 7 0 0 0
[pid=29467/tid=29471] ppid=29465 vsize=7639000 CPUtime=0 cores=5,7
/proc/29467/task/29471/stat : 29471 (java) S 29465 29467 27831 0 -1 4202560 41 0 0 0 0 0 0 0 15 0 19 0 487258535 7822336000 15219 33554432000 1073741824 1073778376 140733865834880 18446744073709551615 254512507801 0 4 0 16800975 18446604454223280256 0 0 -1 7 0 0 0
[pid=29467/tid=29472] ppid=29465 vsize=7639000 CPUtime=0 cores=5,7
/proc/29467/task/29472/stat : 29472 (java) S 29465 29467 27831 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 487258535 7822336000 15219 33554432000 1073741824 1073778376 140733865834880 18446744073709551615 254512507801 0 4 0 16800975 18446604454223280256 0 0 -1 7 0 0 0
[pid=29467/tid=29473] ppid=29465 vsize=7639000 CPUtime=0 cores=5,7
/proc/29467/task/29473/stat : 29473 (java) S 29465 29467 27831 0 -1 4202560 81 0 0 0 0 0 0 0 15 0 19 0 487258535 7822336000 15219 33554432000 1073741824 1073778376 140733865834880 18446744073709551615 254512507801 0 4 0 16800975 18446604454223280256 0 0 -1 5 0 0 0
[pid=29467/tid=29474] ppid=29465 vsize=7639000 CPUtime=0 cores=5,7
/proc/29467/task/29474/stat : 29474 (java) S 29465 29467 27831 0 -1 4202560 30 0 0 0 0 0 0 0 16 0 19 0 487258535 7822336000 15219 33554432000 1073741824 1073778376 140733865834880 18446744073709551615 254512507801 0 4 0 16800975 18446604454223280256 0 0 -1 7 0 0 0
[pid=29467/tid=29475] ppid=29465 vsize=7639000 CPUtime=0 cores=5,7
/proc/29467/task/29475/stat : 29475 (java) S 29465 29467 27831 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 487258535 7822336000 15219 33554432000 1073741824 1073778376 140733865834880 18446744073709551615 254512507801 0 4 0 16800975 18446604454223280256 0 0 -1 7 0 0 0
[pid=29467/tid=29476] ppid=29465 vsize=7639000 CPUtime=0 cores=5,7
/proc/29467/task/29476/stat : 29476 (java) S 29465 29467 27831 0 -1 4202560 221 0 0 0 0 0 0 0 16 0 19 0 487258535 7822336000 15219 33554432000 1073741824 1073778376 140733865834880 18446744073709551615 254512507801 0 4 0 16800975 18446604454223280256 0 0 -1 7 0 0 0
[pid=29467/tid=29477] ppid=29465 vsize=7639000 CPUtime=0 cores=5,7
/proc/29467/task/29477/stat : 29477 (java) S 29465 29467 27831 0 -1 4202560 495 0 0 0 0 0 0 0 15 0 19 0 487258535 7822336000 15219 33554432000 1073741824 1073778376 140733865834880 18446744073709551615 254512507801 0 4 0 16800975 18446604454223280256 0 0 -1 7 0 0 0
[pid=29467/tid=29478] ppid=29465 vsize=7639000 CPUtime=0.1 cores=5,7
/proc/29467/task/29478/stat : 29478 (java) S 29465 29467 27831 0 -1 4202560 1239 0 0 0 10 0 0 0 16 0 19 0 487258536 7822336000 15219 33554432000 1073741824 1073778376 140733865834880 18446744073709551615 254512508416 0 0 0 16800975 18446604454223280256 0 0 -1 5 0 0 0
[pid=29467/tid=29479] ppid=29465 vsize=7639000 CPUtime=0 cores=5,7
/proc/29467/task/29479/stat : 29479 (java) S 29465 29467 27831 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 487258536 7822336000 15219 33554432000 1073741824 1073778376 140733865834880 18446744073709551615 254512507801 0 4 0 16800975 18446604454223280256 0 0 -1 5 0 0 0
[pid=29467/tid=29480] ppid=29465 vsize=7639000 CPUtime=0 cores=5,7
/proc/29467/task/29480/stat : 29480 (java) S 29465 29467 27831 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 487258536 7822336000 15219 33554432000 1073741824 1073778376 140733865834880 18446744073709551615 254512507801 0 4 0 16800975 18446604454223280256 0 0 -1 5 0 0 0
[pid=29467/tid=29481] ppid=29465 vsize=7639000 CPUtime=0 cores=5,7
/proc/29467/task/29481/stat : 29481 (java) S 29465 29467 27831 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 487258538 7822336000 15219 33554432000 1073741824 1073778376 140733865834880 18446744073709551615 254512515505 0 4 0 16800975 18446604454223280256 0 0 -1 5 0 0 0
[pid=29467/tid=29482] ppid=29465 vsize=7639000 CPUtime=0.25 cores=5,7
/proc/29467/task/29482/stat : 29482 (java) S 29465 29467 27831 0 -1 4202560 993 0 0 0 25 0 0 0 15 0 19 0 487258538 7822336000 15219 33554432000 1073741824 1073778376 140733865834880 18446744073709551615 254512507801 0 4 0 16800975 18446604454223280256 0 0 -1 5 0 0 0
[pid=29467/tid=29483] ppid=29465 vsize=7639000 CPUtime=0.33 cores=5,7
/proc/29467/task/29483/stat : 29483 (java) S 29465 29467 27831 0 -1 4202560 2081 0 0 0 33 0 0 0 15 0 19 0 487258538 7822336000 15219 33554432000 1073741824 1073778376 140733865834880 18446744073709551615 254512507801 0 4 0 16800975 18446604454223280256 0 0 -1 7 0 0 0
[pid=29467/tid=29484] ppid=29465 vsize=7639000 CPUtime=0 cores=5,7
/proc/29467/task/29484/stat : 29484 (java) S 29465 29467 27831 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 487258538 7822336000 15219 33554432000 1073741824 1073778376 140733865834880 18446744073709551615 254512507801 0 4 0 16800975 18446604454223280256 0 0 -1 5 0 0 0
[pid=29467/tid=29485] ppid=29465 vsize=7639000 CPUtime=0 cores=5,7
/proc/29467/task/29485/stat : 29485 (java) S 29465 29467 27831 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 487258539 7822336000 15219 33554432000 1073741824 1073778376 140733865834880 18446744073709551615 254512508416 0 4 0 16800975 18446604454223280256 0 0 -1 7 0 0 0
[pid=29467/tid=29490] ppid=29465 vsize=7639000 CPUtime=0 cores=5,7
/proc/29467/task/29490/stat : 29490 (java) S 29465 29467 27831 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 487258558 7822336000 15219 33554432000 1073741824 1073778376 140733865834880 18446744073709551615 254512508416 0 4 0 16800975 18446604454223280256 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6.63
Current children cumulated vsize (KiB) 7639000

[startup+12.7008 s]

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

[pid=29467/tid=29475] ppid=29465 vsize=7638708 CPUtime=0.12 cores=5,7
/proc/29467/task/29475/stat : 29475 (java) S 29465 29467 27831 0 -1 4202560 641 0 0 0 12 0 0 0 15 0 19 0 487258535 7822036992 19377 33554432000 1073741824 1073778376 140733865834880 18446744073709551615 254512507801 0 4 0 16800975 18446604454223280256 0 0 -1 7 0 0 0
[pid=29467/tid=29476] ppid=29465 vsize=7638708 CPUtime=0.1 cores=5,7
/proc/29467/task/29476/stat : 29476 (java) S 29465 29467 27831 0 -1 4202560 236 0 0 0 10 0 0 0 15 0 19 0 487258535 7822036992 19377 33554432000 1073741824 1073778376 140733865834880 18446744073709551615 254512507801 0 4 0 16800975 18446604454223280256 0 0 -1 7 0 0 0
[pid=29467/tid=29477] ppid=29465 vsize=7638708 CPUtime=0.11 cores=5,7
/proc/29467/task/29477/stat : 29477 (java) S 29465 29467 27831 0 -1 4202560 518 0 0 0 11 0 0 0 15 0 19 0 487258535 7822036992 19377 33554432000 1073741824 1073778376 140733865834880 18446744073709551615 254512507801 0 4 0 16800975 18446604454223280256 0 0 -1 7 0 0 0
[pid=29467/tid=29478] ppid=29465 vsize=7638708 CPUtime=3.89 cores=5,7
/proc/29467/task/29478/stat : 29478 (java) S 29465 29467 27831 0 -1 4202560 3538 0 0 0 388 1 0 0 15 0 19 0 487258536 7822036992 19377 33554432000 1073741824 1073778376 140733865834880 18446744073709551615 254512508416 0 0 0 16800975 18446604454223280256 0 0 -1 5 0 0 0
[pid=29467/tid=29479] ppid=29465 vsize=7638708 CPUtime=0 cores=5,7
/proc/29467/task/29479/stat : 29479 (java) S 29465 29467 27831 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 487258536 7822036992 19377 33554432000 1073741824 1073778376 140733865834880 18446744073709551615 254512507801 0 4 0 16800975 18446604454223280256 0 0 -1 5 0 0 0
[pid=29467/tid=29480] ppid=29465 vsize=7638708 CPUtime=0 cores=5,7
/proc/29467/task/29480/stat : 29480 (java) S 29465 29467 27831 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 487258536 7822036992 19377 33554432000 1073741824 1073778376 140733865834880 18446744073709551615 254512507801 0 4 0 16800975 18446604454223280256 0 0 -1 5 0 0 0
[pid=29467/tid=29481] ppid=29465 vsize=7638708 CPUtime=0 cores=5,7
/proc/29467/task/29481/stat : 29481 (java) S 29465 29467 27831 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 487258538 7822036992 19377 33554432000 1073741824 1073778376 140733865834880 18446744073709551615 254512515505 0 4 0 16800975 18446604454223280256 0 0 -1 5 0 0 0
[pid=29467/tid=29482] ppid=29465 vsize=7638708 CPUtime=0.27 cores=5,7
/proc/29467/task/29482/stat : 29482 (java) S 29465 29467 27831 0 -1 4202560 1281 0 0 0 27 0 0 0 15 0 19 0 487258538 7822036992 19377 33554432000 1073741824 1073778376 140733865834880 18446744073709551615 254512507801 0 4 0 16800975 18446604454223280256 0 0 -1 5 0 0 0
[pid=29467/tid=29483] ppid=29465 vsize=7638708 CPUtime=0.33 cores=5,7
/proc/29467/task/29483/stat : 29483 (java) S 29465 29467 27831 0 -1 4202560 2081 0 0 0 33 0 0 0 15 0 19 0 487258538 7822036992 19377 33554432000 1073741824 1073778376 140733865834880 18446744073709551615 254512507801 0 4 0 16800975 18446604454223280256 0 0 -1 7 0 0 0
[pid=29467/tid=29484] ppid=29465 vsize=7638708 CPUtime=0 cores=5,7
/proc/29467/task/29484/stat : 29484 (java) S 29465 29467 27831 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 487258538 7822036992 19377 33554432000 1073741824 1073778376 140733865834880 18446744073709551615 254512507801 0 4 0 16800975 18446604454223280256 0 0 -1 5 0 0 0
[pid=29467/tid=29485] ppid=29465 vsize=7638708 CPUtime=0 cores=5,7
/proc/29467/task/29485/stat : 29485 (java) S 29465 29467 27831 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 19 0 487258539 7822036992 19377 33554432000 1073741824 1073778376 140733865834880 18446744073709551615 254512508416 0 4 0 16800975 18446604454223280256 0 0 -1 7 0 0 0
[pid=29467/tid=29490] ppid=29465 vsize=7638708 CPUtime=0 cores=5,7
/proc/29467/task/29490/stat : 29490 (java) S 29465 29467 27831 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 487258558 7822036992 19377 33554432000 1073741824 1073778376 140733865834880 18446744073709551615 254512508416 0 4 0 16800975 18446604454223280256 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1183.03
Current children cumulated vsize (KiB) 7638708

[startup+1242.3 s]
/proc/loadavg: 4.00 3.96 3.44 6/262 29599
/proc/meminfo: memFree=20226996/32950928 swapFree=67111528/67111528
[pid=29467] ppid=29465 vsize=7638708 CPUtime=1243.05 cores=5,7
/proc/29467/stat : 29467 (java) S 29465 29467 27831 0 -1 4202496 21645 0 1 0 124299 6 0 0 23 0 19 0 487258532 7822036992 19405 33554432000 1073741824 1073778376 140733865834880 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/29467/statm: 1909677 19405 2254 9 0 1900415 0
[pid=29467/tid=29469] ppid=29465 vsize=7638708 CPUtime=1237.41 cores=5,7
/proc/29467/task/29469/stat : 29469 (java) R 29465 29467 27831 0 -1 4202560 10434 0 1 0 123740 1 0 0 25 0 19 0 487258533 7822036992 19405 33554432000 1073741824 1073778376 140733865834880 18446744073709551615 46912505664670 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=29467/tid=29470] ppid=29465 vsize=7638708 CPUtime=0.13 cores=5,7
/proc/29467/task/29470/stat : 29470 (java) S 29465 29467 27831 0 -1 4202560 918 0 0 0 13 0 0 0 15 0 19 0 487258535 7822036992 19405 33554432000 1073741824 1073778376 140733865834880 18446744073709551615 254512507801 0 4 0 16800975 18446604454223280256 0 0 -1 7 0 0 0
[pid=29467/tid=29471] ppid=29465 vsize=7638708 CPUtime=0.11 cores=5,7
/proc/29467/task/29471/stat : 29471 (java) S 29465 29467 27831 0 -1 4202560 80 0 0 0 11 0 0 0 15 0 19 0 487258535 7822036992 19405 33554432000 1073741824 1073778376 140733865834880 18446744073709551615 254512507801 0 4 0 16800975 18446604454223280256 0 0 -1 7 0 0 0
[pid=29467/tid=29472] ppid=29465 vsize=7638708 CPUtime=0.08 cores=5,7
/proc/29467/task/29472/stat : 29472 (java) S 29465 29467 27831 0 -1 4202560 136 0 0 0 8 0 0 0 15 0 19 0 487258535 7822036992 19405 33554432000 1073741824 1073778376 140733865834880 18446744073709551615 254512507801 0 4 0 16800975 18446604454223280256 0 0 -1 7 0 0 0
[pid=29467/tid=29473] ppid=29465 vsize=7638708 CPUtime=0.09 cores=5,7
/proc/29467/task/29473/stat : 29473 (java) S 29465 29467 27831 0 -1 4202560 498 0 0 0 9 0 0 0 15 0 19 0 487258535 7822036992 19405 33554432000 1073741824 1073778376 140733865834880 18446744073709551615 254512507801 0 4 0 16800975 18446604454223280256 0 0 -1 7 0 0 0
[pid=29467/tid=29474] ppid=29465 vsize=7638708 CPUtime=0.11 cores=5,7
/proc/29467/task/29474/stat : 29474 (java) S 29465 29467 27831 0 -1 4202560 31 0 0 0 11 0 0 0 15 0 19 0 487258535 7822036992 19405 33554432000 1073741824 1073778376 140733865834880 18446744073709551615 254512507801 0 4 0 16800975 18446604454223280256 0 0 -1 7 0 0 0
[pid=29467/tid=29475] ppid=29465 vsize=7638708 CPUtime=0.13 cores=5,7
/proc/29467/task/29475/stat : 29475 (java) S 29465 29467 27831 0 -1 4202560 641 0 0 0 13 0 0 0 15 0 19 0 487258535 7822036992 19405 33554432000 1073741824 1073778376 140733865834880 18446744073709551615 254512507801 0 4 0 16800975 18446604454223280256 0 0 -1 7 0 0 0
[pid=29467/tid=29476] ppid=29465 vsize=7638708 CPUtime=0.11 cores=5,7
/proc/29467/task/29476/stat : 29476 (java) S 29465 29467 27831 0 -1 4202560 238 0 0 0 11 0 0 0 16 0 19 0 487258535 7822036992 19405 33554432000 1073741824 1073778376 140733865834880 18446744073709551615 254512507801 0 4 0 16800975 18446604454223280256 0 0 -1 7 0 0 0
[pid=29467/tid=29477] ppid=29465 vsize=7638708 CPUtime=0.11 cores=5,7
/proc/29467/task/29477/stat : 29477 (java) S 29465 29467 27831 0 -1 4202560 518 0 0 0 11 0 0 0 15 0 19 0 487258535 7822036992 19405 33554432000 1073741824 1073778376 140733865834880 18446744073709551615 254512507801 0 4 0 16800975 18446604454223280256 0 0 -1 7 0 0 0
[pid=29467/tid=29478] ppid=29465 vsize=7638708 CPUtime=4.06 cores=5,7
/proc/29467/task/29478/stat : 29478 (java) S 29465 29467 27831 0 -1 4202560 3567 0 0 0 405 1 0 0 15 0 19 0 487258536 7822036992 19405 33554432000 1073741824 1073778376 140733865834880 18446744073709551615 254512508416 0 0 0 16800975 18446604454223280256 0 0 -1 5 0 0 0
[pid=29467/tid=29479] ppid=29465 vsize=7638708 CPUtime=0 cores=5,7
/proc/29467/task/29479/stat : 29479 (java) S 29465 29467 27831 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 487258536 7822036992 19405 33554432000 1073741824 1073778376 140733865834880 18446744073709551615 254512507801 0 4 0 16800975 18446604454223280256 0 0 -1 5 0 0 0
[pid=29467/tid=29480] ppid=29465 vsize=7638708 CPUtime=0 cores=5,7
/proc/29467/task/29480/stat : 29480 (java) S 29465 29467 27831 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 487258536 7822036992 19405 33554432000 1073741824 1073778376 140733865834880 18446744073709551615 254512507801 0 4 0 16800975 18446604454223280256 0 0 -1 5 0 0 0
[pid=29467/tid=29481] ppid=29465 vsize=7638708 CPUtime=0 cores=5,7
/proc/29467/task/29481/stat : 29481 (java) S 29465 29467 27831 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 487258538 7822036992 19405 33554432000 1073741824 1073778376 140733865834880 18446744073709551615 254512515505 0 4 0 16800975 18446604454223280256 0 0 -1 5 0 0 0
[pid=29467/tid=29482] ppid=29465 vsize=7638708 CPUtime=0.27 cores=5,7
/proc/29467/task/29482/stat : 29482 (java) S 29465 29467 27831 0 -1 4202560 1281 0 0 0 27 0 0 0 15 0 19 0 487258538 7822036992 19405 33554432000 1073741824 1073778376 140733865834880 18446744073709551615 254512507801 0 4 0 16800975 18446604454223280256 0 0 -1 5 0 0 0
[pid=29467/tid=29483] ppid=29465 vsize=7638708 CPUtime=0.33 cores=5,7
/proc/29467/task/29483/stat : 29483 (java) S 29465 29467 27831 0 -1 4202560 2081 0 0 0 33 0 0 0 15 0 19 0 487258538 7822036992 19405 33554432000 1073741824 1073778376 140733865834880 18446744073709551615 254512507801 0 4 0 16800975 18446604454223280256 0 0 -1 7 0 0 0
[pid=29467/tid=29484] ppid=29465 vsize=7638708 CPUtime=0 cores=5,7
/proc/29467/task/29484/stat : 29484 (java) S 29465 29467 27831 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 487258538 7822036992 19405 33554432000 1073741824 1073778376 140733865834880 18446744073709551615 254512507801 0 4 0 16800975 18446604454223280256 0 0 -1 5 0 0 0
[pid=29467/tid=29485] ppid=29465 vsize=7638708 CPUtime=0 cores=5,7
/proc/29467/task/29485/stat : 29485 (java) S 29465 29467 27831 0 -1 4202560 73 0 0 0 0 0 0 0 15 0 19 0 487258539 7822036992 19405 33554432000 1073741824 1073778376 140733865834880 18446744073709551615 254512508416 0 4 0 16800975 18446604454223280256 0 0 -1 7 0 0 0
[pid=29467/tid=29490] ppid=29465 vsize=7638708 CPUtime=0 cores=5,7
/proc/29467/task/29490/stat : 29490 (java) S 29465 29467 27831 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 487258558 7822036992 19405 33554432000 1073741824 1073778376 140733865834880 18446744073709551615 254512508416 0 4 0 16800975 18446604454223280256 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1243.05
Current children cumulated vsize (KiB) 7638708



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 4.16 4.00 3.48 5/262 29601
/proc/meminfo: memFree=20224088/32950928 swapFree=67111528/67111528
[pid=29467] ppid=29465 vsize=7638708 CPUtime=1300.77 cores=5,7
/proc/29467/stat : 29467 (java) S 29465 29467 27831 0 -1 4202496 21728 0 1 0 130071 6 0 0 23 0 19 0 487258532 7822036992 19476 33554432000 1073741824 1073778376 140733865834880 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/29467/statm: 1909677 19476 2254 9 0 1900415 0
[pid=29467/tid=29469] ppid=29465 vsize=7638708 CPUtime=1294.93 cores=5,7
/proc/29467/task/29469/stat : 29469 (java) R 29465 29467 27831 0 -1 4202560 10440 0 1 0 129492 1 0 0 25 0 19 0 487258533 7822036992 19476 33554432000 1073741824 1073778376 140733865834880 18446744073709551615 46912505690731 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=29467/tid=29470] ppid=29465 vsize=7638708 CPUtime=0.13 cores=5,7
/proc/29467/task/29470/stat : 29470 (java) S 29465 29467 27831 0 -1 4202560 918 0 0 0 13 0 0 0 15 0 19 0 487258535 7822036992 19476 33554432000 1073741824 1073778376 140733865834880 18446744073709551615 254512507801 0 4 0 16800975 18446604454223280256 0 0 -1 7 0 0 0
[pid=29467/tid=29471] ppid=29465 vsize=7638708 CPUtime=0.11 cores=5,7
/proc/29467/task/29471/stat : 29471 (java) S 29465 29467 27831 0 -1 4202560 80 0 0 0 11 0 0 0 15 0 19 0 487258535 7822036992 19476 33554432000 1073741824 1073778376 140733865834880 18446744073709551615 254512507801 0 4 0 16800975 18446604454223280256 0 0 -1 7 0 0 0
[pid=29467/tid=29472] ppid=29465 vsize=7638708 CPUtime=0.09 cores=5,7
/proc/29467/task/29472/stat : 29472 (java) S 29465 29467 27831 0 -1 4202560 136 0 0 0 9 0 0 0 16 0 19 0 487258535 7822036992 19476 33554432000 1073741824 1073778376 140733865834880 18446744073709551615 254512507801 0 4 0 16800975 18446604454223280256 0 0 -1 7 0 0 0
[pid=29467/tid=29473] ppid=29465 vsize=7638708 CPUtime=0.09 cores=5,7
/proc/29467/task/29473/stat : 29473 (java) S 29465 29467 27831 0 -1 4202560 498 0 0 0 9 0 0 0 15 0 19 0 487258535 7822036992 19476 33554432000 1073741824 1073778376 140733865834880 18446744073709551615 254512507801 0 4 0 16800975 18446604454223280256 0 0 -1 7 0 0 0
[pid=29467/tid=29474] ppid=29465 vsize=7638708 CPUtime=0.12 cores=5,7
/proc/29467/task/29474/stat : 29474 (java) S 29465 29467 27831 0 -1 4202560 32 0 0 0 12 0 0 0 15 0 19 0 487258535 7822036992 19476 33554432000 1073741824 1073778376 140733865834880 18446744073709551615 254512507801 0 4 0 16800975 18446604454223280256 0 0 -1 7 0 0 0
[pid=29467/tid=29475] ppid=29465 vsize=7638708 CPUtime=0.13 cores=5,7
/proc/29467/task/29475/stat : 29475 (java) S 29465 29467 27831 0 -1 4202560 641 0 0 0 13 0 0 0 15 0 19 0 487258535 7822036992 19476 33554432000 1073741824 1073778376 140733865834880 18446744073709551615 254512507801 0 4 0 16800975 18446604454223280256 0 0 -1 7 0 0 0
[pid=29467/tid=29476] ppid=29465 vsize=7638708 CPUtime=0.11 cores=5,7
/proc/29467/task/29476/stat : 29476 (java) S 29465 29467 27831 0 -1 4202560 238 0 0 0 11 0 0 0 15 0 19 0 487258535 7822036992 19476 33554432000 1073741824 1073778376 140733865834880 18446744073709551615 254512507801 0 4 0 16800975 18446604454223280256 0 0 -1 7 0 0 0
[pid=29467/tid=29477] ppid=29465 vsize=7638708 CPUtime=0.12 cores=5,7
/proc/29467/task/29477/stat : 29477 (java) S 29465 29467 27831 0 -1 4202560 518 0 0 0 12 0 0 0 15 0 19 0 487258535 7822036992 19476 33554432000 1073741824 1073778376 140733865834880 18446744073709551615 254512507801 0 4 0 16800975 18446604454223280256 0 0 -1 5 0 0 0
[pid=29467/tid=29478] ppid=29465 vsize=7638708 CPUtime=4.23 cores=5,7
/proc/29467/task/29478/stat : 29478 (java) S 29465 29467 27831 0 -1 4202560 3639 0 0 0 422 1 0 0 15 0 19 0 487258536 7822036992 19476 33554432000 1073741824 1073778376 140733865834880 18446744073709551615 254512508416 0 0 0 16800975 18446604454223280256 0 0 -1 5 0 0 0
[pid=29467/tid=29479] ppid=29465 vsize=7638708 CPUtime=0 cores=5,7
/proc/29467/task/29479/stat : 29479 (java) S 29465 29467 27831 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 487258536 7822036992 19476 33554432000 1073741824 1073778376 140733865834880 18446744073709551615 254512507801 0 4 0 16800975 18446604454223280256 0 0 -1 5 0 0 0
[pid=29467/tid=29480] ppid=29465 vsize=7638708 CPUtime=0 cores=5,7
/proc/29467/task/29480/stat : 29480 (java) S 29465 29467 27831 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 487258536 7822036992 19476 33554432000 1073741824 1073778376 140733865834880 18446744073709551615 254512507801 0 4 0 16800975 18446604454223280256 0 0 -1 5 0 0 0
[pid=29467/tid=29481] ppid=29465 vsize=7638708 CPUtime=0 cores=5,7
/proc/29467/task/29481/stat : 29481 (java) S 29465 29467 27831 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 487258538 7822036992 19476 33554432000 1073741824 1073778376 140733865834880 18446744073709551615 254512515505 0 4 0 16800975 18446604454223280256 0 0 -1 5 0 0 0
[pid=29467/tid=29482] ppid=29465 vsize=7638708 CPUtime=0.27 cores=5,7
/proc/29467/task/29482/stat : 29482 (java) S 29465 29467 27831 0 -1 4202560 1281 0 0 0 27 0 0 0 15 0 19 0 487258538 7822036992 19476 33554432000 1073741824 1073778376 140733865834880 18446744073709551615 254512507801 0 4 0 16800975 18446604454223280256 0 0 -1 5 0 0 0
[pid=29467/tid=29483] ppid=29465 vsize=7638708 CPUtime=0.33 cores=5,7
/proc/29467/task/29483/stat : 29483 (java) S 29465 29467 27831 0 -1 4202560 2081 0 0 0 33 0 0 0 15 0 19 0 487258538 7822036992 19476 33554432000 1073741824 1073778376 140733865834880 18446744073709551615 254512507801 0 4 0 16800975 18446604454223280256 0 0 -1 7 0 0 0
[pid=29467/tid=29484] ppid=29465 vsize=7638708 CPUtime=0 cores=5,7
/proc/29467/task/29484/stat : 29484 (java) S 29465 29467 27831 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 487258538 7822036992 19476 33554432000 1073741824 1073778376 140733865834880 18446744073709551615 254512507801 0 4 0 16800975 18446604454223280256 0 0 -1 5 0 0 0
[pid=29467/tid=29485] ppid=29465 vsize=7638708 CPUtime=0 cores=5,7
/proc/29467/task/29485/stat : 29485 (java) S 29465 29467 27831 0 -1 4202560 77 0 0 0 0 0 0 0 15 0 19 0 487258539 7822036992 19476 33554432000 1073741824 1073778376 140733865834880 18446744073709551615 254512508416 0 4 0 16800975 18446604454223280256 0 0 -1 7 0 0 0
[pid=29467/tid=29490] ppid=29465 vsize=7638708 CPUtime=0 cores=5,7
/proc/29467/task/29490/stat : 29490 (java) S 29465 29467 27831 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 487258558 7822036992 19476 33554432000 1073741824 1073778376 140733865834880 18446744073709551615 254512508416 0 4 0 16800975 18446604454223280256 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1300.77
Current children cumulated vsize (KiB) 7638708

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

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

[startup+1300 s]
/proc/loadavg: 4.16 4.00 3.48 5/262 29601
/proc/meminfo: memFree=20224088/32950928 swapFree=67111528/67111528
[pid=29467] ppid=29465 vsize=7638708 CPUtime=1300.77 cores=5,7
/proc/29467/stat : 29467 (java) S 29465 29467 27831 0 -1 4202496 21728 0 1 0 130071 6 0 0 23 0 19 0 487258532 7822036992 19476 33554432000 1073741824 1073778376 140733865834880 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/29467/statm: 1909677 19476 2254 9 0 1900415 0
[pid=29467/tid=29469] ppid=29465 vsize=7638708 CPUtime=1294.93 cores=5,7
/proc/29467/task/29469/stat : 29469 (java) R 29465 29467 27831 0 -1 4202560 10440 0 1 0 129492 1 0 0 25 0 19 0 487258533 7822036992 19476 33554432000 1073741824 1073778376 140733865834880 18446744073709551615 46912505690731 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=29467/tid=29470] ppid=29465 vsize=7638708 CPUtime=0.13 cores=5,7
/proc/29467/task/29470/stat : 29470 (java) S 29465 29467 27831 0 -1 4202560 918 0 0 0 13 0 0 0 15 0 19 0 487258535 7822036992 19476 33554432000 1073741824 1073778376 140733865834880 18446744073709551615 254512507801 0 4 0 16800975 18446604454223280256 0 0 -1 7 0 0 0
[pid=29467/tid=29471] ppid=29465 vsize=7638708 CPUtime=0.11 cores=5,7
/proc/29467/task/29471/stat : 29471 (java) S 29465 29467 27831 0 -1 4202560 80 0 0 0 11 0 0 0 15 0 19 0 487258535 7822036992 19476 33554432000 1073741824 1073778376 140733865834880 18446744073709551615 254512507801 0 4 0 16800975 18446604454223280256 0 0 -1 7 0 0 0
[pid=29467/tid=29472] ppid=29465 vsize=7638708 CPUtime=0.09 cores=5,7
/proc/29467/task/29472/stat : 29472 (java) S 29465 29467 27831 0 -1 4202560 136 0 0 0 9 0 0 0 16 0 19 0 487258535 7822036992 19476 33554432000 1073741824 1073778376 140733865834880 18446744073709551615 254512507801 0 4 0 16800975 18446604454223280256 0 0 -1 7 0 0 0
[pid=29467/tid=29473] ppid=29465 vsize=7638708 CPUtime=0.09 cores=5,7
/proc/29467/task/29473/stat : 29473 (java) S 29465 29467 27831 0 -1 4202560 498 0 0 0 9 0 0 0 15 0 19 0 487258535 7822036992 19476 33554432000 1073741824 1073778376 140733865834880 18446744073709551615 254512507801 0 4 0 16800975 18446604454223280256 0 0 -1 7 0 0 0
[pid=29467/tid=29474] ppid=29465 vsize=7638708 CPUtime=0.12 cores=5,7
/proc/29467/task/29474/stat : 29474 (java) S 29465 29467 27831 0 -1 4202560 32 0 0 0 12 0 0 0 15 0 19 0 487258535 7822036992 19476 33554432000 1073741824 1073778376 140733865834880 18446744073709551615 254512507801 0 4 0 16800975 18446604454223280256 0 0 -1 7 0 0 0
[pid=29467/tid=29475] ppid=29465 vsize=7638708 CPUtime=0.13 cores=5,7
/proc/29467/task/29475/stat : 29475 (java) S 29465 29467 27831 0 -1 4202560 641 0 0 0 13 0 0 0 15 0 19 0 487258535 7822036992 19476 33554432000 1073741824 1073778376 140733865834880 18446744073709551615 254512507801 0 4 0 16800975 18446604454223280256 0 0 -1 7 0 0 0
[pid=29467/tid=29476] ppid=29465 vsize=7638708 CPUtime=0.11 cores=5,7
/proc/29467/task/29476/stat : 29476 (java) S 29465 29467 27831 0 -1 4202560 238 0 0 0 11 0 0 0 15 0 19 0 487258535 7822036992 19476 33554432000 1073741824 1073778376 140733865834880 18446744073709551615 254512507801 0 4 0 16800975 18446604454223280256 0 0 -1 7 0 0 0
[pid=29467/tid=29477] ppid=29465 vsize=7638708 CPUtime=0.12 cores=5,7
/proc/29467/task/29477/stat : 29477 (java) S 29465 29467 27831 0 -1 4202560 518 0 0 0 12 0 0 0 15 0 19 0 487258535 7822036992 19476 33554432000 1073741824 1073778376 140733865834880 18446744073709551615 254512507801 0 4 0 16800975 18446604454223280256 0 0 -1 5 0 0 0
[pid=29467/tid=29478] ppid=29465 vsize=7638708 CPUtime=4.23 cores=5,7
/proc/29467/task/29478/stat : 29478 (java) S 29465 29467 27831 0 -1 4202560 3639 0 0 0 422 1 0 0 15 0 19 0 487258536 7822036992 19476 33554432000 1073741824 1073778376 140733865834880 18446744073709551615 254512508416 0 0 0 16800975 18446604454223280256 0 0 -1 5 0 0 0
[pid=29467/tid=29479] ppid=29465 vsize=7638708 CPUtime=0 cores=5,7
/proc/29467/task/29479/stat : 29479 (java) S 29465 29467 27831 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 487258536 7822036992 19476 33554432000 1073741824 1073778376 140733865834880 18446744073709551615 254512507801 0 4 0 16800975 18446604454223280256 0 0 -1 5 0 0 0
[pid=29467/tid=29480] ppid=29465 vsize=7638708 CPUtime=0 cores=5,7
/proc/29467/task/29480/stat : 29480 (java) S 29465 29467 27831 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 487258536 7822036992 19476 33554432000 1073741824 1073778376 140733865834880 18446744073709551615 254512507801 0 4 0 16800975 18446604454223280256 0 0 -1 5 0 0 0
[pid=29467/tid=29481] ppid=29465 vsize=7638708 CPUtime=0 cores=5,7
/proc/29467/task/29481/stat : 29481 (java) S 29465 29467 27831 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 487258538 7822036992 19476 33554432000 1073741824 1073778376 140733865834880 18446744073709551615 254512515505 0 4 0 16800975 18446604454223280256 0 0 -1 5 0 0 0
[pid=29467/tid=29482] ppid=29465 vsize=7638708 CPUtime=0.27 cores=5,7
/proc/29467/task/29482/stat : 29482 (java) S 29465 29467 27831 0 -1 4202560 1281 0 0 0 27 0 0 0 15 0 19 0 487258538 7822036992 19476 33554432000 1073741824 1073778376 140733865834880 18446744073709551615 254512507801 0 4 0 16800975 18446604454223280256 0 0 -1 5 0 0 0
[pid=29467/tid=29483] ppid=29465 vsize=7638708 CPUtime=0.33 cores=5,7
/proc/29467/task/29483/stat : 29483 (java) S 29465 29467 27831 0 -1 4202560 2081 0 0 0 33 0 0 0 15 0 19 0 487258538 7822036992 19476 33554432000 1073741824 1073778376 140733865834880 18446744073709551615 254512507801 0 4 0 16800975 18446604454223280256 0 0 -1 7 0 0 0
[pid=29467/tid=29484] ppid=29465 vsize=7638708 CPUtime=0 cores=5,7
/proc/29467/task/29484/stat : 29484 (java) S 29465 29467 27831 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 487258538 7822036992 19476 33554432000 1073741824 1073778376 140733865834880 18446744073709551615 254512507801 0 4 0 16800975 18446604454223280256 0 0 -1 5 0 0 0
[pid=29467/tid=29485] ppid=29465 vsize=7638708 CPUtime=0 cores=5,7
/proc/29467/task/29485/stat : 29485 (java) S 29465 29467 27831 0 -1 4202560 77 0 0 0 0 0 0 0 15 0 19 0 487258539 7822036992 19476 33554432000 1073741824 1073778376 140733865834880 18446744073709551615 254512508416 0 4 0 16800975 18446604454223280256 0 0 -1 7 0 0 0
[pid=29467/tid=29490] ppid=29465 vsize=7638708 CPUtime=0 cores=5,7
/proc/29467/task/29490/stat : 29490 (java) S 29465 29467 27831 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 487258558 7822036992 19476 33554432000 1073741824 1073778376 140733865834880 18446744073709551615 254512508416 0 4 0 16800975 18446604454223280256 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1300.77
Current children cumulated vsize (KiB) 7638708

Child status: 143
Real time (s): 1300.05
CPU time (s): 1300.85
CPU user time (s): 1300.78
CPU system time (s): 0.075988
CPU usage (%): 100.062
Max. virtual memory (cumulated for all children) (KiB): 7640468

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1300.78
system time used= 0.075988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21968
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 31493
involuntary context switches= 8080

runsolver used 2.05469 second user time and 5.06123 second system time

The end

Launcher Data 

Begin job on node149 at 2011-04-25 20:36:58
IDJOB=3282405
IDBENCH=70810
IDSOLVER=1611
FILE ID=node149/3282405-1303756618
RUNJOBID= node149-1303756618-29454
PBS_JOBID= 13154013
Free space on /tmp= 72184 MiB

SOLVER NAME= SAT4J core 2.3.0 SNAPSHOT 2011-02-06
BENCH NAME= SAT09/APPLICATIONS/bitverif/countbitsarray/countbitsarray04_32.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-3282405-1303756618/watcher-3282405-1303756618 -o /tmp/evaluation-result-3282405-1303756618/solver-3282405-1303756618 -C 2400 -W 1300 -M 7680  java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3282405-1303756618.cnf

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

MD5SUM BENCH= 2fe3650d4a602f63086e937176360ebb
RANDOM SEED=391229105

node149.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.806
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.61
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.806
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.83
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.806
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.83
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.806
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.73
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.806
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.82
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.806
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.806
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.806
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:     32950928 kB
MemFree:      20930064 kB
Buffers:       2159308 kB
Cached:        9264824 kB
SwapCached:          0 kB
Active:        1140484 kB
Inactive:     10350372 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      20930064 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:             400 kB
Writeback:           0 kB
AnonPages:       66484 kB
Mapped:          14512 kB
Slab:           467336 kB
PageTables:       4748 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   192384 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= 72172 MiB
End job on node149 at 2011-04-25 20:58:41