Trace number 3262216

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-06UNSAT 266.897 265.384

General information on the benchmark

Namecrafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-21_401.cnf
MD5SUM4e87573be2b7b7324c13131d6c6896b8
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark194.97
Satisfiable
(Un)Satisfiability was proved
Number of variables201
Number of clauses21509
Sum of the clauses size94265
Maximum clause length21
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2266
Number of clauses of size 319560
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 51683

Solver Data 

0.03/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.03/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.03/0.07	c See www.sat4j.org for details.
0.03/0.07	c no version file found!!!
0.03/0.07	c java.runtime.name	Java(TM) SE Runtime Environment
0.03/0.07	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.03/0.07	c java.vm.version	19.1-b02
0.03/0.07	c java.vm.vendor	Sun Microsystems Inc.
0.03/0.07	c sun.arch.data.model	64
0.03/0.07	c java.version		1.6.0_24
0.03/0.07	c os.name		Linux
0.03/0.07	c os.version		2.6.18-164.el5
0.03/0.07	c os.arch		amd64
0.03/0.07	c Free memory 		6997539544
0.03/0.07	c Max memory 		7034241024
0.03/0.07	c Total memory 		7034241024
0.03/0.07	c Number of processors 	8
0.03/0.09	c --- Begin Solver configuration ---
0.03/0.09	c org.sat4j.minisat.constraints.MixedDataStructureDanielWL@664741d6
0.03/0.09	c Learn all clauses as in MiniSAT
0.03/0.09	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.1 initConflictBound=100 
0.03/0.09	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT
0.03/0.09	c Expensive reason simplification
0.03/0.09	c Armin Biere (Picosat) restarts strategy
0.03/0.09	c Glucose learned constraints deletion strategy
0.03/0.09	c timeout=2147483647s
0.03/0.09	c DB Simplification allowed=true
0.03/0.09	c --- End Solver configuration ---
0.03/0.09	c solving HOME/instance-3262216-1303546801.cnf
0.03/0.09	c reading problem ... 
0.09/0.19	c ... done. Wall clock time 0.106s.
0.09/0.19	c #vars     201
0.09/0.19	c #constraints  21509
0.09/0.19	c constraints type 
0.29/0.44	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 21243
0.29/0.44	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 266
1.07/1.05	c cleaning 2501 clauses out of 5001 with flag 5001/5001
1.80/1.54	c cleaning 4249 clauses out of 8499 with flag 11000/11000
2.40/2.12	c cleaning 5625 clauses out of 11250 with flag 18000/18000
3.01/2.79	c cleaning 6813 clauses out of 13625 with flag 26000/26000
3.84/3.55	c cleaning 7900 clauses out of 15812 with flag 35000/35000
4.75/4.45	c cleaning 8954 clauses out of 17914 with flag 45002/45002
5.76/5.44	c cleaning 9979 clauses out of 19959 with flag 56001/56001
6.87/6.56	c cleaning 10990 clauses out of 21980 with flag 68001/68001
8.17/7.83	c cleaning 11992 clauses out of 23990 with flag 81001/81001
9.48/9.16	c cleaning 12999 clauses out of 25997 with flag 95000/95000
10.98/10.63	c cleaning 13999 clauses out of 27998 with flag 110000/110000
12.58/12.25	c cleaning 14994 clauses out of 29999 with flag 126000/126000
14.38/14.00	c cleaning 15995 clauses out of 32006 with flag 143001/143001
16.18/15.83	c cleaning 17003 clauses out of 34011 with flag 161001/161001
18.08/17.72	c cleaning 18004 clauses out of 36008 with flag 180001/180001
20.19/19.83	c cleaning 18999 clauses out of 38003 with flag 200000/200000
22.39/22.09	c cleaning 20000 clauses out of 40004 with flag 221000/221000
24.69/24.34	c cleaning 20993 clauses out of 42004 with flag 243000/243000
26.99/26.70	c cleaning 21496 clauses out of 43011 with flag 265000/265000
29.39/29.06	c cleaning 21756 clauses out of 43516 with flag 287001/287001
31.79/31.47	c cleaning 21875 clauses out of 43760 with flag 309001/309001
34.19/33.89	c cleaning 21931 clauses out of 43884 with flag 331000/331000
36.60/36.28	c cleaning 21972 clauses out of 43953 with flag 353000/353000
39.00/38.63	c cleaning 21988 clauses out of 43981 with flag 375000/375000
41.30/40.98	c cleaning 21996 clauses out of 43993 with flag 397000/397000
43.70/43.34	c cleaning 21997 clauses out of 43997 with flag 419000/419000
46.00/45.62	c cleaning 21995 clauses out of 44000 with flag 441000/441000
48.40/48.09	c cleaning 22003 clauses out of 44005 with flag 463000/463000
50.81/50.49	c cleaning 21998 clauses out of 44002 with flag 485000/485000
53.21/52.82	c cleaning 21997 clauses out of 44004 with flag 507000/507000
55.51/55.15	c cleaning 21995 clauses out of 44007 with flag 529000/529000
58.01/57.62	c cleaning 22004 clauses out of 44012 with flag 551000/551000
60.51/60.12	c cleaning 22003 clauses out of 44009 with flag 573001/573001
62.91/62.56	c cleaning 22002 clauses out of 44005 with flag 595000/595000
65.41/65.02	c cleaning 22001 clauses out of 44003 with flag 617000/617000
67.91/67.50	c cleaning 21995 clauses out of 44002 with flag 639000/639000
70.22/69.95	c cleaning 21998 clauses out of 44008 with flag 661001/661001
73.11/72.44	c cleaning 21999 clauses out of 44009 with flag 683000/683000
75.74/74.93	c cleaning 21993 clauses out of 44010 with flag 705000/705000
78.41/77.33	c cleaning 21993 clauses out of 44018 with flag 727001/727001
81.06/79.73	c cleaning 22010 clauses out of 44024 with flag 749000/749000
83.46/82.14	c cleaning 21999 clauses out of 44015 with flag 771001/771001
85.76/84.46	c cleaning 22003 clauses out of 44015 with flag 793000/793000
88.06/86.75	c cleaning 22001 clauses out of 44012 with flag 815000/815000
90.47/89.12	c cleaning 21999 clauses out of 44012 with flag 837001/837001
92.67/91.39	c cleaning 21998 clauses out of 44012 with flag 859000/859000
94.97/93.63	c cleaning 22003 clauses out of 44016 with flag 881002/881002
97.27/95.96	c cleaning 22004 clauses out of 44012 with flag 903001/903001
99.57/98.24	c cleaning 22001 clauses out of 44007 with flag 925000/925000
101.87/100.55	c cleaning 21994 clauses out of 44008 with flag 947002/947002
104.07/102.79	c cleaning 22005 clauses out of 44013 with flag 969001/969001
106.47/105.17	c cleaning 21999 clauses out of 44007 with flag 991000/991000
108.87/107.55	c cleaning 21999 clauses out of 44008 with flag 1013000/1013000
111.17/109.83	c cleaning 21996 clauses out of 44010 with flag 1035001/1035001
113.48/112.17	c cleaning 22001 clauses out of 44013 with flag 1057000/1057000
115.87/114.55	c cleaning 21994 clauses out of 44012 with flag 1079000/1079000
118.19/116.87	c cleaning 22004 clauses out of 44018 with flag 1101000/1101000
120.59/119.28	c cleaning 21995 clauses out of 44014 with flag 1123000/1123000
122.90/121.54	c cleaning 22001 clauses out of 44020 with flag 1145001/1145001
125.10/123.77	c cleaning 22010 clauses out of 44019 with flag 1167001/1167001
127.50/126.15	c cleaning 22005 clauses out of 44009 with flag 1189001/1189001
129.80/128.48	c cleaning 22001 clauses out of 44003 with flag 1211000/1211000
132.30/130.91	c cleaning 21993 clauses out of 44003 with flag 1233001/1233001
134.60/133.25	c cleaning 21999 clauses out of 44009 with flag 1255000/1255000
137.00/135.64	c cleaning 22001 clauses out of 44010 with flag 1277000/1277000
139.30/137.98	c cleaning 22000 clauses out of 44009 with flag 1299000/1299000
141.80/140.40	c cleaning 22002 clauses out of 44009 with flag 1321000/1321000
144.10/142.74	c cleaning 22002 clauses out of 44008 with flag 1343001/1343001
146.51/145.12	c cleaning 21994 clauses out of 44005 with flag 1365000/1365000
148.71/147.37	c cleaning 21996 clauses out of 44011 with flag 1387000/1387000
151.11/149.72	c cleaning 21997 clauses out of 44015 with flag 1409000/1409000
153.41/152.08	c cleaning 22006 clauses out of 44018 with flag 1431000/1431000
155.83/154.46	c cleaning 21999 clauses out of 44013 with flag 1453001/1453001
158.23/156.85	c cleaning 22006 clauses out of 44014 with flag 1475001/1475001
160.53/159.14	c cleaning 21997 clauses out of 44007 with flag 1497000/1497000
162.83/161.46	c cleaning 21999 clauses out of 44012 with flag 1519002/1519002
165.24/163.86	c cleaning 22000 clauses out of 44011 with flag 1541000/1541000
167.63/166.25	c cleaning 22001 clauses out of 44011 with flag 1563000/1563000
169.83/168.48	c cleaning 22001 clauses out of 44011 with flag 1585001/1585001
172.13/170.79	c cleaning 22004 clauses out of 44009 with flag 1607000/1607000
174.53/173.19	c cleaning 22002 clauses out of 44005 with flag 1629000/1629000
176.94/175.56	c cleaning 21995 clauses out of 44003 with flag 1651000/1651000
179.34/177.91	c cleaning 22002 clauses out of 44009 with flag 1673001/1673001
181.64/180.20	c cleaning 22003 clauses out of 44007 with flag 1695001/1695001
183.94/182.56	c cleaning 21996 clauses out of 44003 with flag 1717000/1717000
186.34/184.99	c cleaning 22002 clauses out of 44008 with flag 1739001/1739001
188.84/187.45	c cleaning 21995 clauses out of 44005 with flag 1761000/1761000
191.24/189.89	c cleaning 22002 clauses out of 44010 with flag 1783000/1783000
193.64/192.25	c cleaning 22001 clauses out of 44008 with flag 1805000/1805000
196.05/194.62	c cleaning 22000 clauses out of 44007 with flag 1827000/1827000
198.54/197.11	c cleaning 22003 clauses out of 44009 with flag 1849002/1849002
200.85/199.50	c cleaning 21996 clauses out of 44004 with flag 1871000/1871000
203.25/201.88	c cleaning 22003 clauses out of 44008 with flag 1893000/1893000
205.75/204.34	c cleaning 21999 clauses out of 44006 with flag 1915001/1915001
208.26/206.82	c cleaning 22004 clauses out of 44007 with flag 1937001/1937001
210.66/209.26	c cleaning 22000 clauses out of 44002 with flag 1959000/1959000
213.06/211.68	c cleaning 21990 clauses out of 44003 with flag 1981001/1981001
215.56/214.15	c cleaning 22004 clauses out of 44012 with flag 2003000/2003000
217.96/216.58	c cleaning 22003 clauses out of 44009 with flag 2025001/2025001
220.46/219.03	c cleaning 21997 clauses out of 44005 with flag 2047000/2047000
222.86/221.49	c cleaning 21997 clauses out of 44008 with flag 2069000/2069000
225.36/223.92	c cleaning 22002 clauses out of 44011 with flag 2091000/2091000
227.76/226.40	c cleaning 21998 clauses out of 44009 with flag 2113000/2113000
230.27/228.88	c cleaning 22006 clauses out of 44012 with flag 2135001/2135001
232.66/231.25	c cleaning 21992 clauses out of 44005 with flag 2157000/2157000
235.16/233.78	c cleaning 21999 clauses out of 44013 with flag 2179000/2179000
237.66/236.22	c cleaning 21996 clauses out of 44014 with flag 2201000/2201000
240.07/238.69	c cleaning 22004 clauses out of 44018 with flag 2223000/2223000
242.67/241.20	c cleaning 22000 clauses out of 44014 with flag 2245000/2245000
245.07/243.62	c cleaning 21997 clauses out of 44014 with flag 2267000/2267000
247.37/245.99	c cleaning 14411 clauses out of 28840 with flag 2289002/2289002
249.67/248.21	c cleaning 18200 clauses out of 36427 with flag 2311000/2311000
251.87/250.48	c cleaning 20112 clauses out of 40227 with flag 2333000/2333000
254.28/252.81	c cleaning 21055 clauses out of 42115 with flag 2355000/2355000
256.68/255.23	c cleaning 21528 clauses out of 43062 with flag 2377002/2377002
258.88/257.45	c cleaning 12152 clauses out of 24311 with flag 2399001/2399001
260.90/259.48	c cleaning 7692 clauses out of 15403 with flag 2421000/2421000
263.10/261.68	c cleaning 14856 clauses out of 29711 with flag 2443000/2443000
265.10/263.67	c cleaning 5272 clauses out of 10545 with flag 2465000/2465000
266.80/265.37	c starts		: 1651
266.80/265.37	c conflicts		: 2484635
266.80/265.37	c decisions		: 2598276
266.80/265.37	c propagations		: 74670023
266.80/265.37	c inspects		: 3527714054
266.80/265.37	c shortcuts		: 0
266.80/265.37	c learnt literals	: 16
266.80/265.37	c learnt binary clauses	: 316
266.80/265.37	c learnt ternary clauses	: 3056
266.80/265.37	c learnt constraints	: 2484618
266.80/265.37	c ignored constraints	: 0
266.80/265.37	c root simplifications	: 1666
266.80/265.37	c removed literals (reason simplification)	: 53676863
266.80/265.37	c reason swapping (by a shorter reason)	: 0
266.80/265.37	c Calls to reduceDB	: 119
266.80/265.37	c speed (assignments/second)	: 281845.9944438573
266.80/265.37	c non guided choices	7
266.80/265.37	c learnt constraints type 
266.80/265.37	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 28
266.80/265.37	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 5465
266.80/265.37	c constraints type 
266.80/265.37	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 21243
266.80/265.37	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 266
266.80/265.37	s UNSATISFIABLE
266.80/265.37	c Total wall clock time (in seconds) : 265.286

Verifier Data 

No possible verification on an UNSAT instance

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-3262216-1303546801/watcher-3262216-1303546801 -o /tmp/evaluation-result-3262216-1303546801/solver-3262216-1303546801 -C 2400 -W 1300 -M 7680 java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3262216-1303546801.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.05 2.44 3.17 8/240 5084
/proc/meminfo: memFree=13661196/32951124 swapFree=67102140/67111528
[pid=5084] ppid=5082 vsize=30528 CPUtime=0 cores=5,7
/proc/5084/stat : 5084 (java) S 5082 5084 3806 0 -1 4202496 1220 0 0 0 0 0 0 0 17 0 2 0 544910759 31260672 938 33554432000 1073741824 1073778376 140734443472880 18446744073709551615 216746981349 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/5084/statm: 7632 945 720 9 0 383 0
[pid=5084/tid=5085] ppid=5082 vsize=30528 CPUtime=0 cores=5,7
/proc/5084/task/5085/stat : 5085 (java) R 5082 5084 3806 0 -1 4202560 126 0 0 0 0 0 0 0 19 0 2 0 544910760 31260672 960 33554432000 1073741824 1073778376 140734443472880 18446744073709551615 216735176704 0 0 4096 0 0 0 0 -1 5 0 0 0

[startup+0.0471049 s]
/proc/loadavg: 1.05 2.44 3.17 8/240 5084
/proc/meminfo: memFree=13661196/32951124 swapFree=67102140/67111528
[pid=5084] ppid=5082 vsize=7564488 CPUtime=0.03 cores=5,7
/proc/5084/stat : 5084 (java) S 5082 5084 3806 0 -1 4202496 8942 0 1 0 2 1 0 0 17 0 13 0 544910759 7746035712 8637 33554432000 1073741824 1073778376 140734443472880 18446744073709551615 216746981349 0 0 0 16800971 18446744073709551615 0 0 17 5 0 0 0
/proc/5084/statm: 1891122 8637 1686 9 0 1881870 0
[pid=5084/tid=5085] ppid=5082 vsize=7564488 CPUtime=0.03 cores=5,7
/proc/5084/task/5085/stat : 5085 (java) R 5082 5084 3806 0 -1 4202560 7793 0 1 0 2 1 0 0 25 0 13 0 544910760 7746035712 8637 33554432000 1073741824 1073778376 140734443472880 18446744073709551615 46912505170474 0 4 0 16800971 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 7564488

[startup+0.101095 s]
/proc/loadavg: 1.05 2.44 3.17 8/240 5084
/proc/meminfo: memFree=13661196/32951124 swapFree=67102140/67111528
[pid=5084] ppid=5082 vsize=7569940 CPUtime=0.09 cores=5,7
/proc/5084/stat : 5084 (java) S 5082 5084 3806 0 -1 4202496 9768 0 1 0 7 2 0 0 17 0 18 0 544910759 7751618560 9463 33554432000 1073741824 1073778376 140734443472880 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/5084/statm: 1892485 9463 1757 9 0 1883223 0
[pid=5084/tid=5085] ppid=5082 vsize=7569940 CPUtime=0.09 cores=5,7
/proc/5084/task/5085/stat : 5085 (java) R 5082 5084 3806 0 -1 4202560 8592 0 1 0 7 2 0 0 25 0 18 0 544910760 7751618560 9463 33554432000 1073741824 1073778376 140734443472880 18446744073709551615 46912505205122 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7569940

[startup+0.301081 s]
/proc/loadavg: 1.05 2.44 3.17 8/240 5084
/proc/meminfo: memFree=13661196/32951124 swapFree=67102140/67111528
[pid=5084] ppid=5082 vsize=7638452 CPUtime=0.29 cores=5,7
/proc/5084/stat : 5084 (java) S 5082 5084 3806 0 -1 4202496 11715 0 1 0 27 2 0 0 17 0 18 0 544910759 7821774848 11332 33554432000 1073741824 1073778376 140734443472880 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/5084/statm: 1909613 11332 2197 9 0 1900351 0
[pid=5084/tid=5085] ppid=5082 vsize=7638452 CPUtime=0.18 cores=5,7
/proc/5084/task/5085/stat : 5085 (java) D 5082 5084 3806 0 -1 4202560 9202 0 1 0 16 2 0 0 25 0 18 0 544910760 7821774848 11332 33554432000 1073741824 1073778376 140734443472880 18446744073709551615 216747005387 0 4 0 16800975 18446744071562234166 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7638452

[startup+0.700997 s]
/proc/loadavg: 1.05 2.44 3.17 8/240 5084
/proc/meminfo: memFree=13661196/32951124 swapFree=67102140/67111528
[pid=5084] ppid=5082 vsize=7641608 CPUtime=0.72 cores=5,7
/proc/5084/stat : 5084 (java) S 5082 5084 3806 0 -1 4202496 13512 0 1 0 70 2 0 0 17 0 19 0 544910759 7825006592 12459 33554432000 1073741824 1073778376 140734443472880 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/5084/statm: 1910402 12459 2223 9 0 1901140 0
[pid=5084/tid=5085] ppid=5082 vsize=7641608 CPUtime=0.38 cores=5,7
/proc/5084/task/5085/stat : 5085 (java) R 5082 5084 3806 0 -1 4202560 9405 0 1 0 36 2 0 0 25 0 19 0 544910760 7825006592 12459 33554432000 1073741824 1073778376 140734443472880 18446744073709551615 46912505582098 0 4 0 16800975 0 0 0 -1 5 0 0 24
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 7641608

[startup+1.50085 s]
/proc/loadavg: 1.05 2.44 3.17 11/262 5106
/proc/meminfo: memFree=13578108/32951124 swapFree=67102140/67111528
[pid=5084] ppid=5082 vsize=7641608 CPUtime=1.8 cores=5,7
/proc/5084/stat : 5084 (java) S 5082 5084 3806 0 -1 4202496 22578 0 1 0 177 3 0 0 17 0 19 0 544910759 7825006592 18892 33554432000 1073741824 1073778376 140734443472880 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/5084/statm: 1910402 18892 2254 9 0 1901140 0
[pid=5084/tid=5085] ppid=5082 vsize=7641608 CPUtime=1.16 cores=5,7
/proc/5084/task/5085/stat : 5085 (java) R 5082 5084 3806 0 -1 4202560 9588 0 1 0 114 2 0 0 25 0 19 0 544910760 7825006592 18892 33554432000 1073741824 1073778376 140734443472880 18446744073709551615 46912505630144 0 4 0 16800975 0 0 0 -1 5 0 0 24
[pid=5084/tid=5087] ppid=5082 vsize=7641608 CPUtime=0 cores=5,7
/proc/5084/task/5087/stat : 5087 (java) S 5082 5084 3806 0 -1 4202560 388 0 0 0 0 0 0 0 17 0 19 0 544910761 7825006592 18892 33554432000 1073741824 1073778376 140734443472880 18446744073709551615 216746994585 0 4 0 16800975 18446604463712678976 0 0 -1 7 0 0 0
[pid=5084/tid=5088] ppid=5082 vsize=7641608 CPUtime=0 cores=5,7
/proc/5084/task/5088/stat : 5088 (java) S 5082 5084 3806 0 -1 4202560 314 0 0 0 0 0 0 0 17 0 19 0 544910761 7825006592 18892 33554432000 1073741824 1073778376 140734443472880 18446744073709551615 216746994585 0 4 0 16800975 18446604463712678976 0 0 -1 7 0 0 0
[pid=5084/tid=5089] ppid=5082 vsize=7641608 CPUtime=0 cores=5,7
/proc/5084/task/5089/stat : 5089 (java) S 5082 5084 3806 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 544910761 7825006592 18892 33554432000 1073741824 1073778376 140734443472880 18446744073709551615 216746994585 0 4 0 16800975 18446604463712678976 0 0 -1 7 0 0 0
[pid=5084/tid=5090] ppid=5082 vsize=7641608 CPUtime=0 cores=5,7
/proc/5084/task/5090/stat : 5090 (java) S 5082 5084 3806 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 544910761 7825006592 18892 33554432000 1073741824 1073778376 140734443472880 18446744073709551615 216746994585 0 4 0 16800975 18446604463712678976 0 0 -1 7 0 0 0
[pid=5084/tid=5091] ppid=5082 vsize=7641608 CPUtime=0 cores=5,7
/proc/5084/task/5091/stat : 5091 (java) S 5082 5084 3806 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 544910761 7825006592 18892 33554432000 1073741824 1073778376 140734443472880 18446744073709551615 216746994585 0 4 0 16800975 18446604463712678976 0 0 -1 7 0 0 0
[pid=5084/tid=5092] ppid=5082 vsize=7641608 CPUtime=0 cores=5,7
/proc/5084/task/5092/stat : 5092 (java) S 5082 5084 3806 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 544910761 7825006592 18892 33554432000 1073741824 1073778376 140734443472880 18446744073709551615 216746994585 0 4 0 16800975 18446604463712678976 0 0 -1 7 0 0 0
[pid=5084/tid=5093] ppid=5082 vsize=7641608 CPUtime=0 cores=5,7
/proc/5084/task/5093/stat : 5093 (java) S 5082 5084 3806 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 544910761 7825006592 18892 33554432000 1073741824 1073778376 140734443472880 18446744073709551615 216746994585 0 4 0 16800975 18446604463712678976 0 0 -1 7 0 0 0
[pid=5084/tid=5094] ppid=5082 vsize=7641608 CPUtime=0 cores=5,7
/proc/5084/task/5094/stat : 5094 (java) S 5082 5084 3806 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 544910761 7825006592 18892 33554432000 1073741824 1073778376 140734443472880 18446744073709551615 216746994585 0 4 0 16800975 18446604463712678976 0 0 -1 7 0 0 0
[pid=5084/tid=5095] ppid=5082 vsize=7641608 CPUtime=0.01 cores=5,7
/proc/5084/task/5095/stat : 5095 (java) S 5082 5084 3806 0 -1 4202560 708 0 0 0 1 0 0 0 16 0 19 0 544910762 7825006592 18892 33554432000 1073741824 1073778376 140734443472880 18446744073709551615 216746995200 0 0 0 16800975 18446604463712678976 0 0 -1 5 0 0 0
[pid=5084/tid=5096] ppid=5082 vsize=7641608 CPUtime=0 cores=5,7
/proc/5084/task/5096/stat : 5096 (java) S 5082 5084 3806 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 544910762 7825006592 18892 33554432000 1073741824 1073778376 140734443472880 18446744073709551615 216746994585 0 4 0 16800975 18446604463712678976 0 0 -1 5 0 0 0
[pid=5084/tid=5097] ppid=5082 vsize=7641608 CPUtime=0 cores=5,7
/proc/5084/task/5097/stat : 5097 (java) S 5082 5084 3806 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 544910762 7825006592 18892 33554432000 1073741824 1073778376 140734443472880 18446744073709551615 216746994585 0 4 0 16800975 18446604463712678976 0 0 -1 5 0 0 0
[pid=5084/tid=5098] ppid=5082 vsize=7641608 CPUtime=0 cores=5,7
/proc/5084/task/5098/stat : 5098 (java) S 5082 5084 3806 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 544910764 7825006592 18892 33554432000 1073741824 1073778376 140734443472880 18446744073709551615 216747002289 0 4 0 16800975 18446604463712678976 0 0 -1 5 0 0 0
[pid=5084/tid=5099] ppid=5082 vsize=7641608 CPUtime=0.36 cores=5,7
/proc/5084/task/5099/stat : 5099 (java) S 5082 5084 3806 0 -1 4202560 8106 0 0 0 36 0 0 0 18 0 19 0 544910764 7825006592 18892 33554432000 1073741824 1073778376 140734443472880 18446744073709551615 216746994585 0 4 0 16800975 18446604463712678976 0 0 -1 7 0 0 0
[pid=5084/tid=5100] ppid=5082 vsize=7641608 CPUtime=0.24 cores=5,7
/proc/5084/task/5100/stat : 5100 (java) S 5082 5084 3806 0 -1 4202560 2316 0 0 0 24 0 0 0 17 0 19 0 544910764 7825006592 18892 33554432000 1073741824 1073778376 140734443472880 18446744073709551615 216746994585 0 4 0 16800975 18446604463712678976 0 0 -1 7 0 0 0
[pid=5084/tid=5101] ppid=5082 vsize=7641608 CPUtime=0 cores=5,7
/proc/5084/task/5101/stat : 5101 (java) S 5082 5084 3806 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 544910764 7825006592 18892 33554432000 1073741824 1073778376 140734443472880 18446744073709551615 216746994585 0 4 0 16800975 18446604463712678976 0 0 -1 5 0 0 0
[pid=5084/tid=5102] ppid=5082 vsize=7641608 CPUtime=0 cores=5,7
/proc/5084/task/5102/stat : 5102 (java) S 5082 5084 3806 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 544910764 7825006592 18892 33554432000 1073741824 1073778376 140734443472880 18446744073709551615 216746995200 0 4 0 16800975 18446604463712678976 0 0 -1 5 0 0 0
[pid=5084/tid=5104] ppid=5082 vsize=7641608 CPUtime=0 cores=5,7
/proc/5084/task/5104/stat : 5104 (java) S 5082 5084 3806 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 544910804 7825006592 18892 33554432000 1073741824 1073778376 140734443472880 18446744073709551615 216746995200 0 4 0 16800975 18446604463712678976 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.8
Current children cumulated vsize (KiB) 7641608

[startup+3.10057 s]
/proc/loadavg: 1.45 2.50 3.18 5/262 5106
/proc/meminfo: memFree=13505940/32951124 swapFree=67102140/67111528
[pid=5084] ppid=5082 vsize=7641608 CPUtime=3.44 cores=5,7
/proc/5084/stat : 5084 (java) S 5082 5084 3806 0 -1 4202496 23096 0 1 0 340 4 0 0 17 0 19 0 544910759 7825006592 19407 33554432000 1073741824 1073778376 140734443472880 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/5084/statm: 1910402 19407 2254 9 0 1901140 0
[pid=5084/tid=5085] ppid=5082 vsize=7641608 CPUtime=2.71 cores=5,7
/proc/5084/task/5085/stat : 5085 (java) R 5082 5084 3806 0 -1 4202560 9592 0 1 0 269 2 0 0 25 0 19 0 544910760 7825006592 19407 33554432000 1073741824 1073778376 140734443472880 18446744073709551615 46912505636456 0 4 0 16800975 0 0 0 -1 5 0 0 24
[pid=5084/tid=5087] ppid=5082 vsize=7641608 CPUtime=0 cores=5,7
/proc/5084/task/5087/stat : 5087 (java) S 5082 5084 3806 0 -1 4202560 390 0 0 0 0 0 0 0 15 0 19 0 544910761 7825006592 19407 33554432000 1073741824 1073778376 140734443472880 18446744073709551615 216746994585 0 4 0 16800975 18446604463712678976 0 0 -1 7 0 0 0
[pid=5084/tid=5088] ppid=5082 vsize=7641608 CPUtime=0 cores=5,7
/proc/5084/task/5088/stat : 5088 (java) S 5082 5084 3806 0 -1 4202560 417 0 0 0 0 0 0 0 15 0 19 0 544910761 7825006592 19407 33554432000 1073741824 1073778376 140734443472880 18446744073709551615 216746994585 0 4 0 16800975 18446604463712678976 0 0 -1 7 0 0 0
[pid=5084/tid=5089] ppid=5082 vsize=7641608 CPUtime=0 cores=5,7
/proc/5084/task/5089/stat : 5089 (java) S 5082 5084 3806 0 -1 4202560 66 0 0 0 0 0 0 0 15 0 19 0 544910761 7825006592 19407 33554432000 1073741824 1073778376 140734443472880 18446744073709551615 216746994585 0 4 0 16800975 18446604463712678976 0 0 -1 7 0 0 0
[pid=5084/tid=5090] ppid=5082 vsize=7641608 CPUtime=0 cores=5,7
/proc/5084/task/5090/stat : 5090 (java) S 5082 5084 3806 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 544910761 7825006592 19407 33554432000 1073741824 1073778376 140734443472880 18446744073709551615 216746994585 0 4 0 16800975 18446604463712678976 0 0 -1 7 0 0 0
[pid=5084/tid=5091] ppid=5082 vsize=7641608 CPUtime=0 cores=5,7
/proc/5084/task/5091/stat : 5091 (java) S 5082 5084 3806 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 544910761 7825006592 19407 33554432000 1073741824 1073778376 140734443472880 18446744073709551615 216746994585 0 4 0 16800975 18446604463712678976 0 0 -1 7 0 0 0
[pid=5084/tid=5092] ppid=5082 vsize=7641608 CPUtime=0 cores=5,7
/proc/5084/task/5092/stat : 5092 (java) S 5082 5084 3806 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 544910761 7825006592 19407 33554432000 1073741824 1073778376 140734443472880 18446744073709551615 216746994585 0 4 0 16800975 18446604463712678976 0 0 -1 7 0 0 0
[pid=5084/tid=5093] ppid=5082 vsize=7641608 CPUtime=0 cores=5,7
/proc/5084/task/5093/stat : 5093 (java) S 5082 5084 3806 0 -1 4202560 146 0 0 0 0 0 0 0 15 0 19 0 544910761 7825006592 19407 33554432000 1073741824 1073778376 140734443472880 18446744073709551615 216746994585 0 4 0 16800975 18446604463712678976 0 0 -1 7 0 0 0
[pid=5084/tid=5094] ppid=5082 vsize=7641608 CPUtime=0 cores=5,7
/proc/5084/task/5094/stat : 5094 (java) S 5082 5084 3806 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 544910761 7825006592 19407 33554432000 1073741824 1073778376 140734443472880 18446744073709551615 216746994585 0 4 0 16800975 18446604463712678976 0 0 -1 7 0 0 0
[pid=5084/tid=5095] ppid=5082 vsize=7641608 CPUtime=0.05 cores=5,7
/proc/5084/task/5095/stat : 5095 (java) S 5082 5084 3806 0 -1 4202560 904 0 0 0 5 0 0 0 16 0 19 0 544910762 7825006592 19407 33554432000 1073741824 1073778376 140734443472880 18446744073709551615 216746995200 0 0 0 16800975 18446604463712678976 0 0 -1 5 0 0 0
[pid=5084/tid=5096] ppid=5082 vsize=7641608 CPUtime=0 cores=5,7
/proc/5084/task/5096/stat : 5096 (java) S 5082 5084 3806 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 544910762 7825006592 19407 33554432000 1073741824 1073778376 140734443472880 18446744073709551615 216746994585 0 4 0 16800975 18446604463712678976 0 0 -1 5 0 0 0
[pid=5084/tid=5097] ppid=5082 vsize=7641608 CPUtime=0 cores=5,7
/proc/5084/task/5097/stat : 5097 (java) S 5082 5084 3806 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 544910762 7825006592 19407 33554432000 1073741824 1073778376 140734443472880 18446744073709551615 216746994585 0 4 0 16800975 18446604463712678976 0 0 -1 5 0 0 0
[pid=5084/tid=5098] ppid=5082 vsize=7641608 CPUtime=0 cores=5,7
/proc/5084/task/5098/stat : 5098 (java) S 5082 5084 3806 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 544910764 7825006592 19407 33554432000 1073741824 1073778376 140734443472880 18446744073709551615 216747002289 0 4 0 16800975 18446604463712678976 0 0 -1 5 0 0 0
[pid=5084/tid=5099] ppid=5082 vsize=7641608 CPUtime=0.39 cores=5,7
/proc/5084/task/5099/stat : 5099 (java) S 5082 5084 3806 0 -1 4202560 8109 0 0 0 39 0 0 0 15 0 19 0 544910764 7825006592 19407 33554432000 1073741824 1073778376 140734443472880 18446744073709551615 216746994585 0 4 0 16800975 18446604463712678976 0 0 -1 7 0 0 0
[pid=5084/tid=5100] ppid=5082 vsize=7641608 CPUtime=0.24 cores=5,7
/proc/5084/task/5100/stat : 5100 (java) S 5082 5084 3806 0 -1 4202560 2316 0 0 0 24 0 0 0 15 0 19 0 544910764 7825006592 19407 33554432000 1073741824 1073778376 140734443472880 18446744073709551615 216746994585 0 4 0 16800975 18446604463712678976 0 0 -1 7 0 0 0
[pid=5084/tid=5101] ppid=5082 vsize=7641608 CPUtime=0 cores=5,7
/proc/5084/task/5101/stat : 5101 (java) S 5082 5084 3806 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 544910764 7825006592 19407 33554432000 1073741824 1073778376 140734443472880 18446744073709551615 216746994585 0 4 0 16800975 18446604463712678976 0 0 -1 5 0 0 0
[pid=5084/tid=5102] ppid=5082 vsize=7641608 CPUtime=0 cores=5,7
/proc/5084/task/5102/stat : 5102 (java) S 5082 5084 3806 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 544910764 7825006592 19407 33554432000 1073741824 1073778376 140734443472880 18446744073709551615 216746995200 0 4 0 16800975 18446604463712678976 0 0 -1 5 0 0 0
[pid=5084/tid=5104] ppid=5082 vsize=7641608 CPUtime=0 cores=5,7
/proc/5084/task/5104/stat : 5104 (java) S 5082 5084 3806 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 544910804 7825006592 19407 33554432000 1073741824 1073778376 140734443472880 18446744073709551615 216746995200 0 4 0 16800975 18446604463712678976 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.44
Current children cumulated vsize (KiB) 7641608

[startup+6.30102 s]
/proc/loadavg: 1.45 2.50 3.18 5/262 5106
/proc/meminfo: memFree=13505524/32951124 swapFree=67102140/67111528
[pid=5084] ppid=5082 vsize=7641608 CPUtime=6.67 cores=5,7
/proc/5084/stat : 5084 (java) S 5082 5084 3806 0 -1 4202496 23355 0 1 0 663 4 0 0 17 0 19 0 544910759 7825006592 19193 33554432000 1073741824 1073778376 140734443472880 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/5084/statm: 1910402 19193 2254 9 0 1901140 0
[pid=5084/tid=5085] ppid=5082 vsize=7641608 CPUtime=5.85 cores=5,7
/proc/5084/task/5085/stat : 5085 (java) R 5082 5084 3806 0 -1 4202560 9596 0 1 0 583 2 0 0 25 0 19 0 544910760 7825006592 19193 33554432000 1073741824 1073778376 140734443472880 18446744073709551615 46912505614556 0 4 0 16800975 0 0 0 -1 5 0 0 24
[pid=5084/tid=5087] ppid=5082 vsize=7641608 CPUtime=0 cores=5,7
/proc/5084/task/5087/stat : 5087 (java) S 5082 5084 3806 0 -1 4202560 391 0 0 0 0 0 0 0 15 0 19 0 544910761 7825006592 19193 33554432000 1073741824 1073778376 140734443472880 18446744073709551615 216746994585 0 4 0 16800975 18446604463712678976 0 0 -1 7 0 0 0
[pid=5084/tid=5088] ppid=5082 vsize=7641608 CPUtime=0 cores=5,7
/proc/5084/task/5088/stat : 5088 (java) S 5082 5084 3806 0 -1 4202560 417 0 0 0 0 0 0 0 15 0 19 0 544910761 7825006592 19193 33554432000 1073741824 1073778376 140734443472880 18446744073709551615 216746994585 0 4 0 16800975 18446604463712678976 0 0 -1 7 0 0 0
[pid=5084/tid=5089] ppid=5082 vsize=7641608 CPUtime=0 cores=5,7
/proc/5084/task/5089/stat : 5089 (java) S 5082 5084 3806 0 -1 4202560 66 0 0 0 0 0 0 0 15 0 19 0 544910761 7825006592 19193 33554432000 1073741824 1073778376 140734443472880 18446744073709551615 216746994585 0 4 0 16800975 18446604463712678976 0 0 -1 7 0 0 0
[pid=5084/tid=5090] ppid=5082 vsize=7641608 CPUtime=0 cores=5,7
/proc/5084/task/5090/stat : 5090 (java) S 5082 5084 3806 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 544910761 7825006592 19193 33554432000 1073741824 1073778376 140734443472880 18446744073709551615 216746994585 0 4 0 16800975 18446604463712678976 0 0 -1 7 0 0 0
[pid=5084/tid=5091] ppid=5082 vsize=7641608 CPUtime=0 cores=5,7
/proc/5084/task/5091/stat : 5091 (java) S 5082 5084 3806 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 544910761 7825006592 19193 33554432000 1073741824 1073778376 140734443472880 18446744073709551615 216746994585 0 4 0 16800975 18446604463712678976 0 0 -1 7 0 0 0
[pid=5084/tid=5092] ppid=5082 vsize=7641608 CPUtime=0 cores=5,7
/proc/5084/task/5092/stat : 5092 (java) S 5082 5084 3806 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 544910761 7825006592 19193 33554432000 1073741824 1073778376 140734443472880 18446744073709551615 216746994585 0 4 0 16800975 18446604463712678976 0 0 -1 5 0 0 0
[pid=5084/tid=5093] ppid=5082 vsize=7641608 CPUtime=0 cores=5,7
/proc/5084/task/5093/stat : 5093 (java) S 5082 5084 3806 0 -1 4202560 149 0 0 0 0 0 0 0 15 0 19 0 544910761 7825006592 19193 33554432000 1073741824 1073778376 140734443472880 18446744073709551615 216746994585 0 4 0 16800975 18446604463712678976 0 0 -1 7 0 0 0
[pid=5084/tid=5094] ppid=5082 vsize=7641608 CPUtime=0 cores=5,7
/proc/5084/task/5094/stat : 5094 (java) S 5082 5084 3806 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 544910761 7825006592 19193 33554432000 1073741824 1073778376 140734443472880 18446744073709551615 216746994585 0 4 0 16800975 18446604463712678976 0 0 -1 7 0 0 0
[pid=5084/tid=5095] ppid=5082 vsize=7641608 CPUtime=0.1 cores=5,7
/proc/5084/task/5095/stat : 5095 (java) S 5082 5084 3806 0 -1 4202560 1144 0 0 0 10 0 0 0 16 0 19 0 544910762 7825006592 19193 33554432000 1073741824 1073778376 140734443472880 18446744073709551615 216746995200 0 0 0 16800975 18446604463712678976 0 0 -1 5 0 0 0
[pid=5084/tid=5096] ppid=5082 vsize=7641608 CPUtime=0 cores=5,7
/proc/5084/task/5096/stat : 5096 (java) S 5082 5084 3806 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 544910762 7825006592 19193 33554432000 1073741824 1073778376 140734443472880 18446744073709551615 216746994585 0 4 0 16800975 18446604463712678976 0 0 -1 5 0 0 0
[pid=5084/tid=5097] ppid=5082 vsize=7641608 CPUtime=0 cores=5,7
/proc/5084/task/5097/stat : 5097 (java) S 5082 5084 3806 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 544910762 7825006592 19193 33554432000 1073741824 1073778376 140734443472880 18446744073709551615 216746994585 0 4 0 16800975 18446604463712678976 0 0 -1 5 0 0 0
[pid=5084/tid=5098] ppid=5082 vsize=7641608 CPUtime=0 cores=5,7
/proc/5084/task/5098/stat : 5098 (java) S 5082 5084 3806 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 544910764 7825006592 19193 33554432000 1073741824 1073778376 140734443472880 18446744073709551615 216747002289 0 4 0 16800975 18446604463712678976 0 0 -1 5 0 0 0
[pid=5084/tid=5099] ppid=5082 vsize=7641608 CPUtime=0.41 cores=5,7
/proc/5084/task/5099/stat : 5099 (java) S 5082 5084 3806 0 -1 4202560 8113 0 0 0 41 0 0 0 15 0 19 0 544910764 7825006592 19193 33554432000 1073741824 1073778376 140734443472880 18446744073709551615 216746994585 0 4 0 16800975 18446604463712678976 0 0 -1 7 0 0 0
[pid=5084/tid=5100] ppid=5082 vsize=7641608 CPUtime=0.24 cores=5,7
/proc/5084/task/5100/stat : 5100 (java) S 5082 5084 3806 0 -1 4202560 2316 0 0 0 24 0 0 0 15 0 19 0 544910764 7825006592 19193 33554432000 1073741824 1073778376 140734443472880 18446744073709551615 216746994585 0 4 0 16800975 18446604463712678976 0 0 -1 7 0 0 0

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

/proc/5084/task/5087/stat : 5087 (java) S 5082 5084 3806 0 -1 4202560 398 0 0 0 5 0 0 0 15 0 19 0 544910761 7825006592 19620 33554432000 1073741824 1073778376 140734443472880 18446744073709551615 216746994585 0 4 0 16800975 18446604463712678976 0 0 -1 7 0 0 0
[pid=5084/tid=5088] ppid=5082 vsize=7641608 CPUtime=0.05 cores=5,7
/proc/5084/task/5088/stat : 5088 (java) S 5082 5084 3806 0 -1 4202560 424 0 0 0 5 0 0 0 15 0 19 0 544910761 7825006592 19620 33554432000 1073741824 1073778376 140734443472880 18446744073709551615 216746994585 0 4 0 16800975 18446604463712678976 0 0 -1 7 0 0 0
[pid=5084/tid=5089] ppid=5082 vsize=7641608 CPUtime=0.04 cores=5,7
/proc/5084/task/5089/stat : 5089 (java) S 5082 5084 3806 0 -1 4202560 180 0 0 0 4 0 0 0 16 0 19 0 544910761 7825006592 19620 33554432000 1073741824 1073778376 140734443472880 18446744073709551615 216746994585 0 4 0 16800975 18446604463712678976 0 0 -1 7 0 0 0
[pid=5084/tid=5090] ppid=5082 vsize=7641608 CPUtime=0.05 cores=5,7
/proc/5084/task/5090/stat : 5090 (java) S 5082 5084 3806 0 -1 4202560 17 0 0 0 5 0 0 0 15 0 19 0 544910761 7825006592 19620 33554432000 1073741824 1073778376 140734443472880 18446744073709551615 216746994585 0 4 0 16800975 18446604463712678976 0 0 -1 7 0 0 0
[pid=5084/tid=5091] ppid=5082 vsize=7641608 CPUtime=0.06 cores=5,7
/proc/5084/task/5091/stat : 5091 (java) S 5082 5084 3806 0 -1 4202560 22 0 0 0 6 0 0 0 15 0 19 0 544910761 7825006592 19620 33554432000 1073741824 1073778376 140734443472880 18446744073709551615 216746994585 0 4 0 16800975 18446604463712678976 0 0 -1 7 0 0 0
[pid=5084/tid=5092] ppid=5082 vsize=7641608 CPUtime=0.03 cores=5,7
/proc/5084/task/5092/stat : 5092 (java) S 5082 5084 3806 0 -1 4202560 12 0 0 0 3 0 0 0 15 0 19 0 544910761 7825006592 19620 33554432000 1073741824 1073778376 140734443472880 18446744073709551615 216746994585 0 4 0 16800975 18446604463712678976 0 0 -1 7 0 0 0
[pid=5084/tid=5093] ppid=5082 vsize=7641608 CPUtime=0.04 cores=5,7
/proc/5084/task/5093/stat : 5093 (java) S 5082 5084 3806 0 -1 4202560 241 0 0 0 4 0 0 0 15 0 19 0 544910761 7825006592 19620 33554432000 1073741824 1073778376 140734443472880 18446744073709551615 216746994585 0 4 0 16800975 18446604463712678976 0 0 -1 7 0 0 0
[pid=5084/tid=5094] ppid=5082 vsize=7641608 CPUtime=0.04 cores=5,7
/proc/5084/task/5094/stat : 5094 (java) S 5082 5084 3806 0 -1 4202560 14 0 0 0 4 0 0 0 16 0 19 0 544910761 7825006592 19620 33554432000 1073741824 1073778376 140734443472880 18446744073709551615 216746994585 0 4 0 16800975 18446604463712678976 0 0 -1 7 0 0 0
[pid=5084/tid=5095] ppid=5082 vsize=7641608 CPUtime=2.46 cores=5,7
/proc/5084/task/5095/stat : 5095 (java) S 5082 5084 3806 0 -1 4202560 1945 0 0 0 246 0 0 0 16 0 19 0 544910762 7825006592 19620 33554432000 1073741824 1073778376 140734443472880 18446744073709551615 216746995200 0 0 0 16800975 18446604463712678976 0 0 -1 5 0 0 0
[pid=5084/tid=5096] ppid=5082 vsize=7641608 CPUtime=0 cores=5,7
/proc/5084/task/5096/stat : 5096 (java) S 5082 5084 3806 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 544910762 7825006592 19620 33554432000 1073741824 1073778376 140734443472880 18446744073709551615 216746994585 0 4 0 16800975 18446604463712678976 0 0 -1 5 0 0 0
[pid=5084/tid=5097] ppid=5082 vsize=7641608 CPUtime=0 cores=5,7
/proc/5084/task/5097/stat : 5097 (java) S 5082 5084 3806 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 544910762 7825006592 19620 33554432000 1073741824 1073778376 140734443472880 18446744073709551615 216746994585 0 4 0 16800975 18446604463712678976 0 0 -1 5 0 0 0
[pid=5084/tid=5098] ppid=5082 vsize=7641608 CPUtime=0 cores=5,7
/proc/5084/task/5098/stat : 5098 (java) S 5082 5084 3806 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 544910764 7825006592 19620 33554432000 1073741824 1073778376 140734443472880 18446744073709551615 216747002289 0 4 0 16800975 18446604463712678976 0 0 -1 5 0 0 0
[pid=5084/tid=5099] ppid=5082 vsize=7641608 CPUtime=1.37 cores=5,7
/proc/5084/task/5099/stat : 5099 (java) S 5082 5084 3806 0 -1 4202560 15214 0 0 0 136 1 0 0 15 0 19 0 544910764 7825006592 19620 33554432000 1073741824 1073778376 140734443472880 18446744073709551615 216746994585 0 4 0 16800975 18446604463712678976 0 0 -1 7 0 0 0
[pid=5084/tid=5100] ppid=5082 vsize=7641608 CPUtime=0.31 cores=5,7
/proc/5084/task/5100/stat : 5100 (java) S 5082 5084 3806 0 -1 4202560 2350 0 0 0 31 0 0 0 15 0 19 0 544910764 7825006592 19620 33554432000 1073741824 1073778376 140734443472880 18446744073709551615 216746994585 0 4 0 16800975 18446604463712678976 0 0 -1 7 0 0 0
[pid=5084/tid=5101] ppid=5082 vsize=7641608 CPUtime=0 cores=5,7
/proc/5084/task/5101/stat : 5101 (java) S 5082 5084 3806 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 544910764 7825006592 19620 33554432000 1073741824 1073778376 140734443472880 18446744073709551615 216746994585 0 4 0 16800975 18446604463712678976 0 0 -1 5 0 0 0
[pid=5084/tid=5102] ppid=5082 vsize=7641608 CPUtime=0 cores=5,7
/proc/5084/task/5102/stat : 5102 (java) S 5082 5084 3806 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 544910764 7825006592 19620 33554432000 1073741824 1073778376 140734443472880 18446744073709551615 216746995200 0 4 0 16800975 18446604463712678976 0 0 -1 7 0 0 0
[pid=5084/tid=5104] ppid=5082 vsize=7641608 CPUtime=0 cores=5,7
/proc/5084/task/5104/stat : 5104 (java) S 5082 5084 3806 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 544910804 7825006592 19620 33554432000 1073741824 1073778376 140734443472880 18446744073709551615 216746995200 0 4 0 16800975 18446604463712678976 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 265.41
Current children cumulated vsize (KiB) 7641608

[startup+264.701 s]
/proc/loadavg: 3.97 3.39 3.39 5/262 5205
/proc/meminfo: memFree=13470868/32951124 swapFree=67102140/67111528
[pid=5084] ppid=5082 vsize=7641608 CPUtime=266.2 cores=5,7
/proc/5084/stat : 5084 (java) S 5082 5084 3806 0 -1 4202496 31701 0 1 0 26614 6 0 0 17 0 19 0 544910759 7825006592 19620 33554432000 1073741824 1073778376 140734443472880 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/5084/statm: 1910402 19620 2256 9 0 1901140 0
[pid=5084/tid=5085] ppid=5082 vsize=7641608 CPUtime=261.62 cores=5,7
/proc/5084/task/5085/stat : 5085 (java) R 5082 5084 3806 0 -1 4202560 9716 0 1 0 26160 2 0 0 25 0 19 0 544910760 7825006592 19620 33554432000 1073741824 1073778376 140734443472880 18446744073709551615 46912505581757 0 4 0 16800975 0 0 0 -1 5 0 0 24
[pid=5084/tid=5087] ppid=5082 vsize=7641608 CPUtime=0.05 cores=5,7
/proc/5084/task/5087/stat : 5087 (java) S 5082 5084 3806 0 -1 4202560 398 0 0 0 5 0 0 0 15 0 19 0 544910761 7825006592 19620 33554432000 1073741824 1073778376 140734443472880 18446744073709551615 216746994585 0 4 0 16800975 18446604463712678976 0 0 -1 7 0 0 0
[pid=5084/tid=5088] ppid=5082 vsize=7641608 CPUtime=0.05 cores=5,7
/proc/5084/task/5088/stat : 5088 (java) S 5082 5084 3806 0 -1 4202560 424 0 0 0 5 0 0 0 15 0 19 0 544910761 7825006592 19620 33554432000 1073741824 1073778376 140734443472880 18446744073709551615 216746994585 0 4 0 16800975 18446604463712678976 0 0 -1 7 0 0 0
[pid=5084/tid=5089] ppid=5082 vsize=7641608 CPUtime=0.04 cores=5,7
/proc/5084/task/5089/stat : 5089 (java) S 5082 5084 3806 0 -1 4202560 180 0 0 0 4 0 0 0 16 0 19 0 544910761 7825006592 19620 33554432000 1073741824 1073778376 140734443472880 18446744073709551615 216746994585 0 4 0 16800975 18446604463712678976 0 0 -1 7 0 0 0
[pid=5084/tid=5090] ppid=5082 vsize=7641608 CPUtime=0.05 cores=5,7
/proc/5084/task/5090/stat : 5090 (java) S 5082 5084 3806 0 -1 4202560 17 0 0 0 5 0 0 0 15 0 19 0 544910761 7825006592 19620 33554432000 1073741824 1073778376 140734443472880 18446744073709551615 216746994585 0 4 0 16800975 18446604463712678976 0 0 -1 7 0 0 0
[pid=5084/tid=5091] ppid=5082 vsize=7641608 CPUtime=0.06 cores=5,7
/proc/5084/task/5091/stat : 5091 (java) S 5082 5084 3806 0 -1 4202560 22 0 0 0 6 0 0 0 15 0 19 0 544910761 7825006592 19620 33554432000 1073741824 1073778376 140734443472880 18446744073709551615 216746994585 0 4 0 16800975 18446604463712678976 0 0 -1 7 0 0 0
[pid=5084/tid=5092] ppid=5082 vsize=7641608 CPUtime=0.03 cores=5,7
/proc/5084/task/5092/stat : 5092 (java) S 5082 5084 3806 0 -1 4202560 12 0 0 0 3 0 0 0 15 0 19 0 544910761 7825006592 19620 33554432000 1073741824 1073778376 140734443472880 18446744073709551615 216746994585 0 4 0 16800975 18446604463712678976 0 0 -1 7 0 0 0
[pid=5084/tid=5093] ppid=5082 vsize=7641608 CPUtime=0.04 cores=5,7
/proc/5084/task/5093/stat : 5093 (java) S 5082 5084 3806 0 -1 4202560 241 0 0 0 4 0 0 0 15 0 19 0 544910761 7825006592 19620 33554432000 1073741824 1073778376 140734443472880 18446744073709551615 216746994585 0 4 0 16800975 18446604463712678976 0 0 -1 7 0 0 0
[pid=5084/tid=5094] ppid=5082 vsize=7641608 CPUtime=0.04 cores=5,7
/proc/5084/task/5094/stat : 5094 (java) S 5082 5084 3806 0 -1 4202560 14 0 0 0 4 0 0 0 16 0 19 0 544910761 7825006592 19620 33554432000 1073741824 1073778376 140734443472880 18446744073709551615 216746994585 0 4 0 16800975 18446604463712678976 0 0 -1 7 0 0 0
[pid=5084/tid=5095] ppid=5082 vsize=7641608 CPUtime=2.46 cores=5,7
/proc/5084/task/5095/stat : 5095 (java) S 5082 5084 3806 0 -1 4202560 1945 0 0 0 246 0 0 0 15 0 19 0 544910762 7825006592 19620 33554432000 1073741824 1073778376 140734443472880 18446744073709551615 216746995200 0 0 0 16800975 18446604463712678976 0 0 -1 5 0 0 0
[pid=5084/tid=5096] ppid=5082 vsize=7641608 CPUtime=0 cores=5,7
/proc/5084/task/5096/stat : 5096 (java) S 5082 5084 3806 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 544910762 7825006592 19620 33554432000 1073741824 1073778376 140734443472880 18446744073709551615 216746994585 0 4 0 16800975 18446604463712678976 0 0 -1 5 0 0 0
[pid=5084/tid=5097] ppid=5082 vsize=7641608 CPUtime=0 cores=5,7
/proc/5084/task/5097/stat : 5097 (java) S 5082 5084 3806 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 544910762 7825006592 19620 33554432000 1073741824 1073778376 140734443472880 18446744073709551615 216746994585 0 4 0 16800975 18446604463712678976 0 0 -1 5 0 0 0
[pid=5084/tid=5098] ppid=5082 vsize=7641608 CPUtime=0 cores=5,7
/proc/5084/task/5098/stat : 5098 (java) S 5082 5084 3806 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 544910764 7825006592 19620 33554432000 1073741824 1073778376 140734443472880 18446744073709551615 216747002289 0 4 0 16800975 18446604463712678976 0 0 -1 5 0 0 0
[pid=5084/tid=5099] ppid=5082 vsize=7641608 CPUtime=1.37 cores=5,7
/proc/5084/task/5099/stat : 5099 (java) S 5082 5084 3806 0 -1 4202560 15214 0 0 0 136 1 0 0 15 0 19 0 544910764 7825006592 19620 33554432000 1073741824 1073778376 140734443472880 18446744073709551615 216746994585 0 4 0 16800975 18446604463712678976 0 0 -1 7 0 0 0
[pid=5084/tid=5100] ppid=5082 vsize=7641608 CPUtime=0.31 cores=5,7
/proc/5084/task/5100/stat : 5100 (java) S 5082 5084 3806 0 -1 4202560 2350 0 0 0 31 0 0 0 15 0 19 0 544910764 7825006592 19620 33554432000 1073741824 1073778376 140734443472880 18446744073709551615 216746994585 0 4 0 16800975 18446604463712678976 0 0 -1 7 0 0 0
[pid=5084/tid=5101] ppid=5082 vsize=7641608 CPUtime=0 cores=5,7
/proc/5084/task/5101/stat : 5101 (java) S 5082 5084 3806 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 544910764 7825006592 19620 33554432000 1073741824 1073778376 140734443472880 18446744073709551615 216746994585 0 4 0 16800975 18446604463712678976 0 0 -1 5 0 0 0
[pid=5084/tid=5102] ppid=5082 vsize=7641608 CPUtime=0 cores=5,7
/proc/5084/task/5102/stat : 5102 (java) S 5082 5084 3806 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 544910764 7825006592 19620 33554432000 1073741824 1073778376 140734443472880 18446744073709551615 216746995200 0 4 0 16800975 18446604463712678976 0 0 -1 7 0 0 0
[pid=5084/tid=5104] ppid=5082 vsize=7641608 CPUtime=0 cores=5,7
/proc/5084/task/5104/stat : 5104 (java) S 5082 5084 3806 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 544910804 7825006592 19620 33554432000 1073741824 1073778376 140734443472880 18446744073709551615 216746995200 0 4 0 16800975 18446604463712678976 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 266.2
Current children cumulated vsize (KiB) 7641608

[startup+265.107 s]
/proc/loadavg: 3.97 3.39 3.39 5/262 5205
/proc/meminfo: memFree=13470868/32951124 swapFree=67102140/67111528
[pid=5084] ppid=5082 vsize=7641608 CPUtime=266.61 cores=5,7
/proc/5084/stat : 5084 (java) S 5082 5084 3806 0 -1 4202496 31701 0 1 0 26655 6 0 0 17 0 19 0 544910759 7825006592 19620 33554432000 1073741824 1073778376 140734443472880 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/5084/statm: 1910402 19620 2256 9 0 1901140 0
[pid=5084/tid=5085] ppid=5082 vsize=7641608 CPUtime=262.03 cores=5,7
/proc/5084/task/5085/stat : 5085 (java) R 5082 5084 3806 0 -1 4202560 9716 0 1 0 26201 2 0 0 25 0 19 0 544910760 7825006592 19620 33554432000 1073741824 1073778376 140734443472880 18446744073709551615 46912505630144 0 4 0 16800975 0 0 0 -1 5 0 0 24
[pid=5084/tid=5087] ppid=5082 vsize=7641608 CPUtime=0.05 cores=5,7
/proc/5084/task/5087/stat : 5087 (java) S 5082 5084 3806 0 -1 4202560 398 0 0 0 5 0 0 0 15 0 19 0 544910761 7825006592 19620 33554432000 1073741824 1073778376 140734443472880 18446744073709551615 216746994585 0 4 0 16800975 18446604463712678976 0 0 -1 7 0 0 0
[pid=5084/tid=5088] ppid=5082 vsize=7641608 CPUtime=0.05 cores=5,7
/proc/5084/task/5088/stat : 5088 (java) S 5082 5084 3806 0 -1 4202560 424 0 0 0 5 0 0 0 15 0 19 0 544910761 7825006592 19620 33554432000 1073741824 1073778376 140734443472880 18446744073709551615 216746994585 0 4 0 16800975 18446604463712678976 0 0 -1 7 0 0 0
[pid=5084/tid=5089] ppid=5082 vsize=7641608 CPUtime=0.04 cores=5,7
/proc/5084/task/5089/stat : 5089 (java) S 5082 5084 3806 0 -1 4202560 180 0 0 0 4 0 0 0 16 0 19 0 544910761 7825006592 19620 33554432000 1073741824 1073778376 140734443472880 18446744073709551615 216746994585 0 4 0 16800975 18446604463712678976 0 0 -1 7 0 0 0
[pid=5084/tid=5090] ppid=5082 vsize=7641608 CPUtime=0.05 cores=5,7
/proc/5084/task/5090/stat : 5090 (java) S 5082 5084 3806 0 -1 4202560 17 0 0 0 5 0 0 0 15 0 19 0 544910761 7825006592 19620 33554432000 1073741824 1073778376 140734443472880 18446744073709551615 216746994585 0 4 0 16800975 18446604463712678976 0 0 -1 7 0 0 0
[pid=5084/tid=5091] ppid=5082 vsize=7641608 CPUtime=0.06 cores=5,7
/proc/5084/task/5091/stat : 5091 (java) S 5082 5084 3806 0 -1 4202560 22 0 0 0 6 0 0 0 15 0 19 0 544910761 7825006592 19620 33554432000 1073741824 1073778376 140734443472880 18446744073709551615 216746994585 0 4 0 16800975 18446604463712678976 0 0 -1 7 0 0 0
[pid=5084/tid=5092] ppid=5082 vsize=7641608 CPUtime=0.03 cores=5,7
/proc/5084/task/5092/stat : 5092 (java) S 5082 5084 3806 0 -1 4202560 12 0 0 0 3 0 0 0 15 0 19 0 544910761 7825006592 19620 33554432000 1073741824 1073778376 140734443472880 18446744073709551615 216746994585 0 4 0 16800975 18446604463712678976 0 0 -1 7 0 0 0
[pid=5084/tid=5093] ppid=5082 vsize=7641608 CPUtime=0.04 cores=5,7
/proc/5084/task/5093/stat : 5093 (java) S 5082 5084 3806 0 -1 4202560 241 0 0 0 4 0 0 0 15 0 19 0 544910761 7825006592 19620 33554432000 1073741824 1073778376 140734443472880 18446744073709551615 216746994585 0 4 0 16800975 18446604463712678976 0 0 -1 7 0 0 0
[pid=5084/tid=5094] ppid=5082 vsize=7641608 CPUtime=0.04 cores=5,7
/proc/5084/task/5094/stat : 5094 (java) S 5082 5084 3806 0 -1 4202560 14 0 0 0 4 0 0 0 16 0 19 0 544910761 7825006592 19620 33554432000 1073741824 1073778376 140734443472880 18446744073709551615 216746994585 0 4 0 16800975 18446604463712678976 0 0 -1 7 0 0 0
[pid=5084/tid=5095] ppid=5082 vsize=7641608 CPUtime=2.46 cores=5,7
/proc/5084/task/5095/stat : 5095 (java) S 5082 5084 3806 0 -1 4202560 1945 0 0 0 246 0 0 0 15 0 19 0 544910762 7825006592 19620 33554432000 1073741824 1073778376 140734443472880 18446744073709551615 216746995200 0 0 0 16800975 18446604463712678976 0 0 -1 5 0 0 0
[pid=5084/tid=5096] ppid=5082 vsize=7641608 CPUtime=0 cores=5,7
/proc/5084/task/5096/stat : 5096 (java) S 5082 5084 3806 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 544910762 7825006592 19620 33554432000 1073741824 1073778376 140734443472880 18446744073709551615 216746994585 0 4 0 16800975 18446604463712678976 0 0 -1 5 0 0 0
[pid=5084/tid=5097] ppid=5082 vsize=7641608 CPUtime=0 cores=5,7
/proc/5084/task/5097/stat : 5097 (java) S 5082 5084 3806 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 544910762 7825006592 19620 33554432000 1073741824 1073778376 140734443472880 18446744073709551615 216746994585 0 4 0 16800975 18446604463712678976 0 0 -1 5 0 0 0
[pid=5084/tid=5098] ppid=5082 vsize=7641608 CPUtime=0 cores=5,7
/proc/5084/task/5098/stat : 5098 (java) S 5082 5084 3806 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 544910764 7825006592 19620 33554432000 1073741824 1073778376 140734443472880 18446744073709551615 216747002289 0 4 0 16800975 18446604463712678976 0 0 -1 5 0 0 0
[pid=5084/tid=5099] ppid=5082 vsize=7641608 CPUtime=1.37 cores=5,7
/proc/5084/task/5099/stat : 5099 (java) S 5082 5084 3806 0 -1 4202560 15214 0 0 0 136 1 0 0 15 0 19 0 544910764 7825006592 19620 33554432000 1073741824 1073778376 140734443472880 18446744073709551615 216746994585 0 4 0 16800975 18446604463712678976 0 0 -1 7 0 0 0
[pid=5084/tid=5100] ppid=5082 vsize=7641608 CPUtime=0.31 cores=5,7
/proc/5084/task/5100/stat : 5100 (java) S 5082 5084 3806 0 -1 4202560 2350 0 0 0 31 0 0 0 15 0 19 0 544910764 7825006592 19620 33554432000 1073741824 1073778376 140734443472880 18446744073709551615 216746994585 0 4 0 16800975 18446604463712678976 0 0 -1 7 0 0 0
[pid=5084/tid=5101] ppid=5082 vsize=7641608 CPUtime=0 cores=5,7
/proc/5084/task/5101/stat : 5101 (java) S 5082 5084 3806 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 544910764 7825006592 19620 33554432000 1073741824 1073778376 140734443472880 18446744073709551615 216746994585 0 4 0 16800975 18446604463712678976 0 0 -1 5 0 0 0
[pid=5084/tid=5102] ppid=5082 vsize=7641608 CPUtime=0 cores=5,7
/proc/5084/task/5102/stat : 5102 (java) S 5082 5084 3806 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 544910764 7825006592 19620 33554432000 1073741824 1073778376 140734443472880 18446744073709551615 216746995200 0 4 0 16800975 18446604463712678976 0 0 -1 7 0 0 0
[pid=5084/tid=5104] ppid=5082 vsize=7641608 CPUtime=0 cores=5,7
/proc/5084/task/5104/stat : 5104 (java) S 5082 5084 3806 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 544910804 7825006592 19620 33554432000 1073741824 1073778376 140734443472880 18446744073709551615 216746995200 0 4 0 16800975 18446604463712678976 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 266.61
Current children cumulated vsize (KiB) 7641608

[startup+265.301 s]
/proc/loadavg: 3.97 3.39 3.39 5/262 5205
/proc/meminfo: memFree=13470868/32951124 swapFree=67102140/67111528
[pid=5084] ppid=5082 vsize=7641608 CPUtime=266.8 cores=5,7
/proc/5084/stat : 5084 (java) S 5082 5084 3806 0 -1 4202496 31701 0 1 0 26674 6 0 0 17 0 19 0 544910759 7825006592 19620 33554432000 1073741824 1073778376 140734443472880 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/5084/statm: 1910402 19620 2256 9 0 1901140 0
[pid=5084/tid=5085] ppid=5082 vsize=7641608 CPUtime=262.22 cores=5,7
/proc/5084/task/5085/stat : 5085 (java) R 5082 5084 3806 0 -1 4202560 9716 0 1 0 26220 2 0 0 25 0 19 0 544910760 7825006592 19620 33554432000 1073741824 1073778376 140734443472880 18446744073709551615 46912505582098 0 4 0 16800975 0 0 0 -1 5 0 0 24
[pid=5084/tid=5087] ppid=5082 vsize=7641608 CPUtime=0.05 cores=5,7
/proc/5084/task/5087/stat : 5087 (java) S 5082 5084 3806 0 -1 4202560 398 0 0 0 5 0 0 0 15 0 19 0 544910761 7825006592 19620 33554432000 1073741824 1073778376 140734443472880 18446744073709551615 216746994585 0 4 0 16800975 18446604463712678976 0 0 -1 7 0 0 0
[pid=5084/tid=5088] ppid=5082 vsize=7641608 CPUtime=0.05 cores=5,7
/proc/5084/task/5088/stat : 5088 (java) S 5082 5084 3806 0 -1 4202560 424 0 0 0 5 0 0 0 15 0 19 0 544910761 7825006592 19620 33554432000 1073741824 1073778376 140734443472880 18446744073709551615 216746994585 0 4 0 16800975 18446604463712678976 0 0 -1 7 0 0 0
[pid=5084/tid=5089] ppid=5082 vsize=7641608 CPUtime=0.04 cores=5,7
/proc/5084/task/5089/stat : 5089 (java) S 5082 5084 3806 0 -1 4202560 180 0 0 0 4 0 0 0 16 0 19 0 544910761 7825006592 19620 33554432000 1073741824 1073778376 140734443472880 18446744073709551615 216746994585 0 4 0 16800975 18446604463712678976 0 0 -1 7 0 0 0
[pid=5084/tid=5090] ppid=5082 vsize=7641608 CPUtime=0.05 cores=5,7
/proc/5084/task/5090/stat : 5090 (java) S 5082 5084 3806 0 -1 4202560 17 0 0 0 5 0 0 0 15 0 19 0 544910761 7825006592 19620 33554432000 1073741824 1073778376 140734443472880 18446744073709551615 216746994585 0 4 0 16800975 18446604463712678976 0 0 -1 7 0 0 0
[pid=5084/tid=5091] ppid=5082 vsize=7641608 CPUtime=0.06 cores=5,7
/proc/5084/task/5091/stat : 5091 (java) S 5082 5084 3806 0 -1 4202560 22 0 0 0 6 0 0 0 15 0 19 0 544910761 7825006592 19620 33554432000 1073741824 1073778376 140734443472880 18446744073709551615 216746994585 0 4 0 16800975 18446604463712678976 0 0 -1 7 0 0 0
[pid=5084/tid=5092] ppid=5082 vsize=7641608 CPUtime=0.03 cores=5,7
/proc/5084/task/5092/stat : 5092 (java) S 5082 5084 3806 0 -1 4202560 12 0 0 0 3 0 0 0 15 0 19 0 544910761 7825006592 19620 33554432000 1073741824 1073778376 140734443472880 18446744073709551615 216746994585 0 4 0 16800975 18446604463712678976 0 0 -1 7 0 0 0
[pid=5084/tid=5093] ppid=5082 vsize=7641608 CPUtime=0.04 cores=5,7
/proc/5084/task/5093/stat : 5093 (java) S 5082 5084 3806 0 -1 4202560 241 0 0 0 4 0 0 0 15 0 19 0 544910761 7825006592 19620 33554432000 1073741824 1073778376 140734443472880 18446744073709551615 216746994585 0 4 0 16800975 18446604463712678976 0 0 -1 7 0 0 0
[pid=5084/tid=5094] ppid=5082 vsize=7641608 CPUtime=0.04 cores=5,7
/proc/5084/task/5094/stat : 5094 (java) S 5082 5084 3806 0 -1 4202560 14 0 0 0 4 0 0 0 16 0 19 0 544910761 7825006592 19620 33554432000 1073741824 1073778376 140734443472880 18446744073709551615 216746994585 0 4 0 16800975 18446604463712678976 0 0 -1 7 0 0 0
[pid=5084/tid=5095] ppid=5082 vsize=7641608 CPUtime=2.46 cores=5,7
/proc/5084/task/5095/stat : 5095 (java) S 5082 5084 3806 0 -1 4202560 1945 0 0 0 246 0 0 0 15 0 19 0 544910762 7825006592 19620 33554432000 1073741824 1073778376 140734443472880 18446744073709551615 216746995200 0 0 0 16800975 18446604463712678976 0 0 -1 5 0 0 0
[pid=5084/tid=5096] ppid=5082 vsize=7641608 CPUtime=0 cores=5,7
/proc/5084/task/5096/stat : 5096 (java) S 5082 5084 3806 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 544910762 7825006592 19620 33554432000 1073741824 1073778376 140734443472880 18446744073709551615 216746994585 0 4 0 16800975 18446604463712678976 0 0 -1 5 0 0 0
[pid=5084/tid=5097] ppid=5082 vsize=7641608 CPUtime=0 cores=5,7
/proc/5084/task/5097/stat : 5097 (java) S 5082 5084 3806 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 544910762 7825006592 19620 33554432000 1073741824 1073778376 140734443472880 18446744073709551615 216746994585 0 4 0 16800975 18446604463712678976 0 0 -1 5 0 0 0
[pid=5084/tid=5098] ppid=5082 vsize=7641608 CPUtime=0 cores=5,7
/proc/5084/task/5098/stat : 5098 (java) S 5082 5084 3806 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 544910764 7825006592 19620 33554432000 1073741824 1073778376 140734443472880 18446744073709551615 216747002289 0 4 0 16800975 18446604463712678976 0 0 -1 5 0 0 0
[pid=5084/tid=5099] ppid=5082 vsize=7641608 CPUtime=1.37 cores=5,7
/proc/5084/task/5099/stat : 5099 (java) S 5082 5084 3806 0 -1 4202560 15214 0 0 0 136 1 0 0 15 0 19 0 544910764 7825006592 19620 33554432000 1073741824 1073778376 140734443472880 18446744073709551615 216746994585 0 4 0 16800975 18446604463712678976 0 0 -1 7 0 0 0
[pid=5084/tid=5100] ppid=5082 vsize=7641608 CPUtime=0.31 cores=5,7
/proc/5084/task/5100/stat : 5100 (java) S 5082 5084 3806 0 -1 4202560 2350 0 0 0 31 0 0 0 15 0 19 0 544910764 7825006592 19620 33554432000 1073741824 1073778376 140734443472880 18446744073709551615 216746994585 0 4 0 16800975 18446604463712678976 0 0 -1 7 0 0 0
[pid=5084/tid=5101] ppid=5082 vsize=7641608 CPUtime=0 cores=5,7
/proc/5084/task/5101/stat : 5101 (java) S 5082 5084 3806 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 544910764 7825006592 19620 33554432000 1073741824 1073778376 140734443472880 18446744073709551615 216746994585 0 4 0 16800975 18446604463712678976 0 0 -1 5 0 0 0
[pid=5084/tid=5102] ppid=5082 vsize=7641608 CPUtime=0 cores=5,7
/proc/5084/task/5102/stat : 5102 (java) S 5082 5084 3806 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 544910764 7825006592 19620 33554432000 1073741824 1073778376 140734443472880 18446744073709551615 216746995200 0 4 0 16800975 18446604463712678976 0 0 -1 7 0 0 0
[pid=5084/tid=5104] ppid=5082 vsize=7641608 CPUtime=0 cores=5,7
/proc/5084/task/5104/stat : 5104 (java) S 5082 5084 3806 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 544910804 7825006592 19620 33554432000 1073741824 1073778376 140734443472880 18446744073709551615 216746995200 0 4 0 16800975 18446604463712678976 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 266.8
Current children cumulated vsize (KiB) 7641608

Child status: 20
Real time (s): 265.384
CPU time (s): 266.897
CPU user time (s): 266.826
CPU system time (s): 0.070989
CPU usage (%): 100.57
Max. virtual memory (cumulated for all children) (KiB): 7641608

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 266.826
system time used= 0.070989
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31710
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= 8976
involuntary context switches= 4495

runsolver used 0.444932 second user time and 1.01784 second system time

The end

Launcher Data 

Begin job on node119 at 2011-04-23 10:20:01
IDJOB=3262216
IDBENCH=83285
IDSOLVER=1611
FILE ID=node119/3262216-1303546801
RUNJOBID= node119-1303546801-4994
PBS_JOBID= 13143119
Free space on /tmp= 71920 MiB

SOLVER NAME= SAT4J core 2.3.0 SNAPSHOT 2011-02-06
BENCH NAME= SAT11/crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/VanDerWaerden_pd_2-3-21_401.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-3262216-1303546801/watcher-3262216-1303546801 -o /tmp/evaluation-result-3262216-1303546801/solver-3262216-1303546801 -C 2400 -W 1300 -M 7680  java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3262216-1303546801.cnf

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

MD5SUM BENCH= 4e87573be2b7b7324c13131d6c6896b8
RANDOM SEED=1137755552

node119.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.815
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.63
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.815
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.815
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.74
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.815
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.83
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.815
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.67
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.815
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.83
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.815
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.74
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.815
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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      13661732 kB
Buffers:       2209220 kB
Cached:       16345792 kB
SwapCached:       5504 kB
Active:        7528420 kB
Inactive:     11181980 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      13661732 kB
SwapTotal:    67111528 kB
SwapFree:     67102140 kB
Dirty:            2360 kB
Writeback:           0 kB
AnonPages:      151664 kB
Mapped:          21712 kB
Slab:           513944 kB
PageTables:       6288 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 21986372 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= 71920 MiB
End job on node119 at 2011-04-23 10:24:26