Trace number 3263668

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SAT4J core 2.3.0 SNAPSHOT 2011-02-06? (TO) 1301.13 1300.05

General information on the benchmark

NameSAT03/handmade/anton/UNSAT/
SGI_30_50_30_20_3-log.shuffled-as.sat03-109.cnf
MD5SUMf19999592ac4a0c798533d80c1c7f2d7
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark4244.96
Satisfiable
(Un)Satisfiability was proved
Number of variables150
Number of clauses58358
Sum of the clauses size583280
Maximum clause length10
Minimum clause length5
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 560
Number of clauses of size over 558298

Solver Data 

0.01/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.01/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.01/0.07	c See www.sat4j.org for details.
0.01/0.07	c no version file found!!!
0.01/0.07	c java.runtime.name	Java(TM) SE Runtime Environment
0.01/0.07	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.01/0.07	c java.vm.version	19.1-b02
0.01/0.07	c java.vm.vendor	Sun Microsystems Inc.
0.01/0.07	c sun.arch.data.model	64
0.01/0.07	c java.version		1.6.0_24
0.01/0.07	c os.name		Linux
0.01/0.07	c os.version		2.6.18-164.el5
0.01/0.07	c os.arch		amd64
0.01/0.07	c Free memory 		6997539544
0.01/0.07	c Max memory 		7034241024
0.01/0.07	c Total memory 		7034241024
0.01/0.07	c Number of processors 	8
0.01/0.09	c --- Begin Solver configuration ---
0.01/0.09	c org.sat4j.minisat.constraints.MixedDataStructureDanielWL@664741d6
0.01/0.09	c Learn all clauses as in MiniSAT
0.01/0.09	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.1 initConflictBound=100 
0.01/0.09	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT
0.01/0.09	c Expensive reason simplification
0.01/0.09	c Armin Biere (Picosat) restarts strategy
0.01/0.09	c Glucose learned constraints deletion strategy
0.01/0.09	c timeout=2147483647s
0.01/0.09	c DB Simplification allowed=true
0.01/0.09	c --- End Solver configuration ---
0.01/0.09	c solving HOME/instance-3263668-1303571926.cnf
0.01/0.09	c reading problem ... 
0.26/0.29	c ... done. Wall clock time 0.204s.
0.26/0.29	c #vars     150
0.26/0.29	c #constraints  58358
0.26/0.29	c constraints type 
0.26/0.29	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 58358
1.36/0.94	c cleaning 2497 clauses out of 5000 with flag 5000/5000
1.98/1.39	c cleaning 4246 clauses out of 8504 with flag 11001/11001
2.49/1.88	c cleaning 5627 clauses out of 11257 with flag 18000/18000
3.10/2.47	c cleaning 6795 clauses out of 13630 with flag 26000/26000
3.80/3.14	c cleaning 7908 clauses out of 15836 with flag 35001/35001
4.60/3.93	c cleaning 8946 clauses out of 17927 with flag 45000/45000
5.40/4.73	c cleaning 9983 clauses out of 19981 with flag 56000/56000
6.40/5.72	c cleaning 10977 clauses out of 21998 with flag 68000/68000
7.50/6.88	c cleaning 11997 clauses out of 24021 with flag 81000/81000
8.71/8.05	c cleaning 12987 clauses out of 26026 with flag 95002/95002
10.21/9.50	c cleaning 14014 clauses out of 28039 with flag 110002/110002
11.62/10.95	c cleaning 14990 clauses out of 30027 with flag 126004/126004
13.21/12.56	c cleaning 15998 clauses out of 32034 with flag 143001/143001
15.22/14.50	c cleaning 17005 clauses out of 34036 with flag 161001/161001
17.22/16.51	c cleaning 17995 clauses out of 36031 with flag 180001/180001
20.12/19.40	c cleaning 18998 clauses out of 38035 with flag 200000/200000
22.63/21.93	c cleaning 19992 clauses out of 40037 with flag 221000/221000
25.32/24.63	c cleaning 21001 clauses out of 42045 with flag 243000/243000
28.42/27.77	c cleaning 22005 clauses out of 44044 with flag 266000/266000
32.32/31.63	c cleaning 23012 clauses out of 46039 with flag 290000/290000
35.02/34.38	c cleaning 24007 clauses out of 48027 with flag 315000/315000
38.03/37.38	c cleaning 25002 clauses out of 50020 with flag 341000/341000
41.12/40.47	c cleaning 26003 clauses out of 52018 with flag 368000/368000
44.52/43.88	c cleaning 26989 clauses out of 54016 with flag 396001/396001
48.82/48.10	c cleaning 27994 clauses out of 56029 with flag 425003/425003
52.43/51.74	c cleaning 29011 clauses out of 58033 with flag 455001/455001
56.63/55.94	c cleaning 29992 clauses out of 60021 with flag 486000/486000
61.44/60.74	c cleaning 30994 clauses out of 62029 with flag 518000/518000
65.65/64.92	c cleaning 32003 clauses out of 64036 with flag 551001/551001
70.54/69.86	c cleaning 32984 clauses out of 66032 with flag 585000/585000
77.44/76.71	c cleaning 33991 clauses out of 68048 with flag 620000/620000
83.95/83.27	c cleaning 34996 clauses out of 70057 with flag 656000/656000
91.55/90.88	c cleaning 35994 clauses out of 72062 with flag 693001/693001
99.05/98.37	c cleaning 37025 clauses out of 74068 with flag 731001/731001
107.36/106.66	c cleaning 38004 clauses out of 76042 with flag 770000/770000
113.66/112.90	c cleaning 39004 clauses out of 78038 with flag 810000/810000
121.16/120.48	c cleaning 39992 clauses out of 80034 with flag 851000/851000
128.27/127.60	c cleaning 40997 clauses out of 82042 with flag 893000/893000
136.17/135.43	c cleaning 42001 clauses out of 84047 with flag 936002/936002
144.07/143.34	c cleaning 42994 clauses out of 86045 with flag 980001/980001
152.87/152.14	c cleaning 44017 clauses out of 88050 with flag 1025000/1025000
164.18/163.46	c cleaning 45003 clauses out of 90033 with flag 1071000/1071000
175.38/174.64	c cleaning 46003 clauses out of 92031 with flag 1118001/1118001
185.79/185.03	c cleaning 46996 clauses out of 94029 with flag 1166002/1166002
197.39/196.64	c cleaning 48005 clauses out of 96031 with flag 1215000/1215000
208.60/207.88	c cleaning 48996 clauses out of 98026 with flag 1265000/1265000
216.90/216.18	c cleaning 49994 clauses out of 100030 with flag 1316000/1316000
228.20/227.49	c cleaning 51010 clauses out of 102036 with flag 1368000/1368000
238.91/238.16	c cleaning 51990 clauses out of 104027 with flag 1421001/1421001
251.81/251.08	c cleaning 53000 clauses out of 106037 with flag 1475001/1475001
262.11/261.37	c cleaning 54002 clauses out of 108036 with flag 1530000/1530000
273.92/273.10	c cleaning 54989 clauses out of 110034 with flag 1586000/1586000
290.92/290.13	c cleaning 56017 clauses out of 112046 with flag 1643001/1643001
305.63/304.86	c cleaning 56996 clauses out of 114028 with flag 1701000/1701000
322.83/322.09	c cleaning 57992 clauses out of 116033 with flag 1760001/1760001
338.64/337.82	c cleaning 58509 clauses out of 117041 with flag 1819001/1819001
351.75/350.98	c cleaning 58750 clauses out of 117531 with flag 1878000/1878000
366.45/365.64	c cleaning 58878 clauses out of 117782 with flag 1937001/1937001
381.46/380.68	c cleaning 58910 clauses out of 117905 with flag 1996002/1996002
396.66/395.87	c cleaning 58989 clauses out of 117994 with flag 2055001/2055001
409.36/408.60	c cleaning 58974 clauses out of 118004 with flag 2114000/2114000
426.58/425.77	c cleaning 58991 clauses out of 118032 with flag 2173002/2173002
443.67/442.86	c cleaning 59016 clauses out of 118041 with flag 2232002/2232002
459.28/458.41	c cleaning 59008 clauses out of 118026 with flag 2291003/2291003
476.48/475.69	c cleaning 58998 clauses out of 118015 with flag 2350000/2350000
491.68/490.81	c cleaning 58970 clauses out of 118017 with flag 2409000/2409000
505.39/504.50	c cleaning 58996 clauses out of 118047 with flag 2468000/2468000
518.19/517.38	c cleaning 58996 clauses out of 118051 with flag 2527000/2527000
536.39/535.50	c cleaning 58987 clauses out of 118055 with flag 2586000/2586000
552.80/551.90	c cleaning 59018 clauses out of 118068 with flag 2645000/2645000
570.00/569.10	c cleaning 58997 clauses out of 118050 with flag 2704000/2704000
586.70/585.81	c cleaning 59002 clauses out of 118053 with flag 2763000/2763000
600.00/599.11	c cleaning 59000 clauses out of 118051 with flag 2822000/2822000
612.61/611.74	c cleaning 59004 clauses out of 118051 with flag 2881000/2881000
627.01/626.11	c cleaning 59016 clauses out of 118047 with flag 2940000/2940000
639.61/638.74	c cleaning 58993 clauses out of 118033 with flag 2999002/2999002
654.72/653.83	c cleaning 59004 clauses out of 118038 with flag 3058000/3058000
668.32/667.41	c cleaning 58992 clauses out of 118034 with flag 3117000/3117000
685.22/684.31	c cleaning 59003 clauses out of 118044 with flag 3176002/3176002
702.52/701.63	c cleaning 58980 clauses out of 118040 with flag 3235001/3235001
716.13/715.21	c cleaning 59009 clauses out of 118060 with flag 3294001/3294001
729.83/728.91	c cleaning 59014 clauses out of 118051 with flag 3353001/3353001
744.63/743.70	c cleaning 58997 clauses out of 118036 with flag 3412000/3412000
757.33/756.48	c cleaning 59012 clauses out of 118039 with flag 3471000/3471000
773.64/772.78	c cleaning 58986 clauses out of 118028 with flag 3530001/3530001
791.75/790.82	c cleaning 59000 clauses out of 118046 with flag 3589005/3589005
807.64/806.71	c cleaning 59011 clauses out of 118041 with flag 3648000/3648000
824.16/823.24	c cleaning 58997 clauses out of 118031 with flag 3707001/3707001
841.56/840.66	c cleaning 58987 clauses out of 118035 with flag 3766002/3766002
858.27/857.33	c cleaning 59015 clauses out of 118048 with flag 3825002/3825002
875.37/874.50	c cleaning 58995 clauses out of 118032 with flag 3884001/3884001
893.17/892.25	c cleaning 59006 clauses out of 118038 with flag 3943002/3943002
910.08/909.19	c cleaning 58988 clauses out of 118031 with flag 4002001/4002001
925.28/924.38	c cleaning 59011 clauses out of 118043 with flag 4061001/4061001
941.49/940.53	c cleaning 58973 clauses out of 118031 with flag 4120000/4120000
955.09/954.18	c cleaning 59014 clauses out of 118058 with flag 4179000/4179000
973.30/972.31	c cleaning 58987 clauses out of 118044 with flag 4238000/4238000
991.30/990.37	c cleaning 59004 clauses out of 118058 with flag 4297001/4297001
1004.20/1003.22	c cleaning 58998 clauses out of 118053 with flag 4356000/4356000
1018.90/1017.91	c cleaning 59005 clauses out of 118055 with flag 4415000/4415000
1033.91/1032.98	c cleaning 59020 clauses out of 118051 with flag 4474001/4474001
1046.60/1045.63	c cleaning 58991 clauses out of 118033 with flag 4533003/4533003
1061.41/1060.45	c cleaning 58996 clauses out of 118041 with flag 4592002/4592002
1076.91/1075.94	c cleaning 58986 clauses out of 118043 with flag 4651000/4651000
1090.81/1089.84	c cleaning 58995 clauses out of 118057 with flag 4710000/4710000
1105.51/1104.51	c cleaning 59016 clauses out of 118063 with flag 4769001/4769001
1120.52/1119.51	c cleaning 58992 clauses out of 118047 with flag 4828001/4828001
1134.42/1133.42	c cleaning 59019 clauses out of 118054 with flag 4887000/4887000
1149.82/1148.86	c cleaning 59006 clauses out of 118036 with flag 4946001/4946001
1166.13/1165.18	c cleaning 58987 clauses out of 118030 with flag 5005001/5005001
1184.33/1183.33	c cleaning 58986 clauses out of 118042 with flag 5064000/5064000
1201.83/1200.82	c cleaning 58994 clauses out of 118056 with flag 5123000/5123000
1218.14/1217.19	c cleaning 58988 clauses out of 118064 with flag 5182002/5182002
1234.44/1233.44	c cleaning 59027 clauses out of 118075 with flag 5241001/5241001
1247.35/1246.34	c cleaning 59007 clauses out of 118047 with flag 5300000/5300000
1260.05/1259.05	c cleaning 58998 clauses out of 118042 with flag 5359002/5359002
1273.66/1272.63	c cleaning 58986 clauses out of 118042 with flag 5418000/5418000
1291.36/1290.38	c cleaning 59016 clauses out of 118056 with flag 5477000/5477000
1301.06/1300.01	c starts		: 2201
1301.06/1300.01	c conflicts		: 5513434
1301.06/1300.01	c decisions		: 8477542
1301.06/1300.01	c propagations		: 45911875
1301.06/1300.01	c inspects		: 15913645121
1301.06/1300.01	c shortcuts		: 0
1301.06/1300.01	c learnt literals	: 0
1301.06/1300.01	c learnt binary clauses	: 0
1301.06/1300.01	c learnt ternary clauses	: 0
1301.06/1300.01	c learnt constraints	: 5513434
1301.06/1300.01	c ignored constraints	: 0
1301.06/1300.01	c root simplifications	: 2201
1301.06/1300.01	c removed literals (reason simplification)	: 28003764
1301.06/1300.01	c reason swapping (by a shorter reason)	: 0
1301.06/1300.01	c Calls to reduceDB	: 118
1301.06/1300.01	c speed (assignments/second)	: 35324.462441496966
1301.06/1300.01	c non guided choices	9124
1301.06/1300.04	c learnt constraints type 
1301.06/1300.04	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 95527
1301.06/1300.04	c constraints type 
1301.06/1300.04	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 58358
1301.06/1300.04	s UNKNOWN
1301.06/1300.04	c Total wall clock time (in seconds) : 1299.923

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-3263668-1303571926/watcher-3263668-1303571926 -o /tmp/evaluation-result-3263668-1303571926/solver-3263668-1303571926 -C 2400 -W 1300 -M 7680 java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3263668-1303571926.cnf 

running on 2 cores: 4,6

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.01 1.68 7/218 28494
/proc/meminfo: memFree=19832948/32951124 swapFree=67111524/67111528
[pid=28494] ppid=28492 vsize=31608 CPUtime=0 cores=4,6
/proc/28494/stat : 28494 (java) S 28492 28494 27965 0 -1 4202496 1282 0 0 0 0 0 0 0 22 0 2 0 449608775 32366592 1000 33554432000 1073741824 1073778376 140734638701744 18446744073709551615 255118571493 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/28494/statm: 7901 1001 771 9 0 386 0
[pid=28494/tid=28495] ppid=28492 vsize=33740 CPUtime=0 cores=4,6
/proc/28494/task/28495/stat : 28495 (java) R 28492 28494 27965 0 -1 4202560 176 0 0 0 0 0 0 0 25 0 2 0 449608775 34549760 1007 33554432000 1073741824 1073778376 140734638701744 18446744073709551615 255101845514 0 0 0 16784584 0 0 0 -1 4 0 0 0

[startup+0.016438 s]
/proc/loadavg: 0.92 1.01 1.68 7/218 28494
/proc/meminfo: memFree=19832948/32951124 swapFree=67111524/67111528
[pid=28494] ppid=28492 vsize=7540840 CPUtime=0.01 cores=4,6
/proc/28494/stat : 28494 (java) S 28492 28494 27965 0 -1 4202496 7209 0 1 0 0 1 0 0 22 0 2 0 449608775 7721820160 6911 33554432000 1073741824 1073778376 140734638701744 18446744073709551615 255118571493 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/28494/statm: 1885210 6932 919 9 0 1876366 0
[pid=28494/tid=28495] ppid=28492 vsize=7540840 CPUtime=0 cores=4,6
/proc/28494/task/28495/stat : 28495 (java) R 28492 28494 27965 0 -1 4202560 6128 0 1 0 0 0 0 0 25 0 2 0 449608775 7721820160 6944 33554432000 1073741824 1073778376 140734638701744 18446744073709551615 255106462779 0 4 0 16784584 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 7540840

[startup+0.10045 s]
/proc/loadavg: 0.92 1.01 1.68 7/218 28494
/proc/meminfo: memFree=19832948/32951124 swapFree=67111524/67111528
[pid=28494] ppid=28492 vsize=7570556 CPUtime=0.09 cores=4,6
/proc/28494/stat : 28494 (java) S 28492 28494 27965 0 -1 4202496 9803 0 1 0 7 2 0 0 22 0 18 0 449608775 7752249344 9500 33554432000 1073741824 1073778376 140734638701744 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/28494/statm: 1892639 9500 1757 9 0 1883377 0
[pid=28494/tid=28495] ppid=28492 vsize=7570556 CPUtime=0.08 cores=4,6
/proc/28494/task/28495/stat : 28495 (java) R 28492 28494 27965 0 -1 4202560 8630 0 1 0 7 1 0 0 25 0 18 0 449608775 7752249344 9500 33554432000 1073741824 1073778376 140734638701744 18446744073709551615 46912505179184 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7570556

[startup+0.300341 s]
/proc/loadavg: 0.92 1.01 1.68 7/218 28494
/proc/meminfo: memFree=19832948/32951124 swapFree=67111524/67111528
[pid=28494] ppid=28492 vsize=7640192 CPUtime=0.4 cores=4,6
/proc/28494/stat : 28494 (java) S 28492 28494 27965 0 -1 4202496 13674 0 1 0 38 2 0 0 22 0 19 0 449608775 7823556608 13322 33554432000 1073741824 1073778376 140734638701744 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/28494/statm: 1910048 13322 2203 9 0 1900786 0
[pid=28494/tid=28495] ppid=28492 vsize=7640192 CPUtime=0.27 cores=4,6
/proc/28494/task/28495/stat : 28495 (java) R 28492 28494 27965 0 -1 4202560 11170 0 1 0 25 2 0 0 25 0 19 0 449608775 7823556608 13322 33554432000 1073741824 1073778376 140734638701744 18446744073709551615 46912505175407 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 7640192

[startup+0.700305 s]
/proc/loadavg: 0.92 1.01 1.68 7/218 28494
/proc/meminfo: memFree=19832948/32951124 swapFree=67111524/67111528
[pid=28494] ppid=28492 vsize=7641216 CPUtime=1.09 cores=4,6
/proc/28494/stat : 28494 (java) S 28492 28494 27965 0 -1 4202496 16764 0 1 0 106 3 0 0 22 0 19 0 449608775 7824605184 15441 33554432000 1073741824 1073778376 140734638701744 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/28494/statm: 1910304 15441 2223 9 0 1901042 0
[pid=28494/tid=28495] ppid=28492 vsize=7641216 CPUtime=0.67 cores=4,6
/proc/28494/task/28495/stat : 28495 (java) R 28492 28494 27965 0 -1 4202560 11704 0 1 0 65 2 0 0 25 0 19 0 449608775 7824605184 15441 33554432000 1073741824 1073778376 140734638701744 18446744073709551615 46912505650591 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.09
Current children cumulated vsize (KiB) 7641216

[startup+1.50118 s]
/proc/loadavg: 0.92 1.01 1.68 15/262 28543
/proc/meminfo: memFree=19624400/32951124 swapFree=67111524/67111528
[pid=28494] ppid=28492 vsize=7641216 CPUtime=2.19 cores=4,6
/proc/28494/stat : 28494 (java) S 28492 28494 27965 0 -1 4202496 27397 0 1 0 215 4 0 0 22 0 19 0 449608775 7824605184 24129 33554432000 1073741824 1073778376 140734638701744 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/28494/statm: 1910304 24129 2254 9 0 1901042 0
[pid=28494/tid=28495] ppid=28492 vsize=7641216 CPUtime=1.4 cores=4,6
/proc/28494/task/28495/stat : 28495 (java) R 28492 28494 27965 0 -1 4202560 11840 0 1 0 138 2 0 0 17 0 19 0 449608775 7824605184 24129 33554432000 1073741824 1073778376 140734638701744 18446744073709551615 46912505676010 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=28494/tid=28497] ppid=28492 vsize=7641216 CPUtime=0 cores=4,6
/proc/28494/task/28497/stat : 28497 (java) S 28492 28494 27965 0 -1 4202560 934 0 0 0 0 0 0 0 15 0 19 0 449608777 7824605184 24129 33554432000 1073741824 1073778376 140734638701744 18446744073709551615 255118584729 0 4 0 16800975 18446604453922609920 0 0 -1 4 0 0 0
[pid=28494/tid=28498] ppid=28492 vsize=7641216 CPUtime=0 cores=4,6
/proc/28494/task/28498/stat : 28498 (java) S 28492 28494 27965 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 449608777 7824605184 24129 33554432000 1073741824 1073778376 140734638701744 18446744073709551615 255118584729 0 4 0 16800975 18446604453922609920 0 0 -1 6 0 0 0
[pid=28494/tid=28499] ppid=28492 vsize=7641216 CPUtime=0 cores=4,6
/proc/28494/task/28499/stat : 28499 (java) S 28492 28494 27965 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 449608777 7824605184 24129 33554432000 1073741824 1073778376 140734638701744 18446744073709551615 255118584729 0 4 0 16800975 18446604453922609920 0 0 -1 6 0 0 0
[pid=28494/tid=28500] ppid=28492 vsize=7641216 CPUtime=0 cores=4,6
/proc/28494/task/28500/stat : 28500 (java) S 28492 28494 27965 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 449608777 7824605184 24129 33554432000 1073741824 1073778376 140734638701744 18446744073709551615 255118584729 0 4 0 16800975 18446604453922609920 0 0 -1 6 0 0 0
[pid=28494/tid=28501] ppid=28492 vsize=7641216 CPUtime=0 cores=4,6
/proc/28494/task/28501/stat : 28501 (java) S 28492 28494 27965 0 -1 4202560 18 0 0 0 0 0 0 0 15 0 19 0 449608777 7824605184 24129 33554432000 1073741824 1073778376 140734638701744 18446744073709551615 255118584729 0 4 0 16800975 18446604453922609920 0 0 -1 6 0 0 0
[pid=28494/tid=28502] ppid=28492 vsize=7641216 CPUtime=0 cores=4,6
/proc/28494/task/28502/stat : 28502 (java) S 28492 28494 27965 0 -1 4202560 306 0 0 0 0 0 0 0 15 0 19 0 449608777 7824605184 24129 33554432000 1073741824 1073778376 140734638701744 18446744073709551615 255118584729 0 4 0 16800975 18446604453922609920 0 0 -1 6 0 0 0
[pid=28494/tid=28503] ppid=28492 vsize=7641216 CPUtime=0 cores=4,6
/proc/28494/task/28503/stat : 28503 (java) S 28492 28494 27965 0 -1 4202560 949 0 0 0 0 0 0 0 15 0 19 0 449608777 7824605184 24129 33554432000 1073741824 1073778376 140734638701744 18446744073709551615 255118584729 0 4 0 16800975 18446604453922609920 0 0 -1 6 0 0 0
[pid=28494/tid=28504] ppid=28492 vsize=7641216 CPUtime=0 cores=4,6
/proc/28494/task/28504/stat : 28504 (java) S 28492 28494 27965 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 449608777 7824605184 24129 33554432000 1073741824 1073778376 140734638701744 18446744073709551615 255118584729 0 4 0 16800975 18446604453922609920 0 0 -1 6 0 0 0
[pid=28494/tid=28505] ppid=28492 vsize=7641216 CPUtime=0.05 cores=4,6
/proc/28494/task/28505/stat : 28505 (java) S 28492 28494 27965 0 -1 4202560 2073 0 0 0 5 0 0 0 16 0 19 0 449608778 7824605184 24129 33554432000 1073741824 1073778376 140734638701744 18446744073709551615 255118585344 0 0 0 16800975 18446604453922609920 0 0 -1 4 0 0 0
[pid=28494/tid=28506] ppid=28492 vsize=7641216 CPUtime=0 cores=4,6
/proc/28494/task/28506/stat : 28506 (java) S 28492 28494 27965 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 449608778 7824605184 24129 33554432000 1073741824 1073778376 140734638701744 18446744073709551615 255118584729 0 4 0 16800975 18446604453922609920 0 0 -1 4 0 0 0
[pid=28494/tid=28507] ppid=28492 vsize=7641216 CPUtime=0 cores=4,6
/proc/28494/task/28507/stat : 28507 (java) S 28492 28494 27965 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 449608778 7824605184 24129 33554432000 1073741824 1073778376 140734638701744 18446744073709551615 255118584729 0 4 0 16800975 18446604453922609920 0 0 -1 4 0 0 0
[pid=28494/tid=28509] ppid=28492 vsize=7641216 CPUtime=0 cores=4,6
/proc/28494/task/28509/stat : 28509 (java) S 28492 28494 27965 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 449608780 7824605184 24129 33554432000 1073741824 1073778376 140734638701744 18446744073709551615 255118592433 0 4 0 16800975 18446604453922609920 0 0 -1 4 0 0 0
[pid=28494/tid=28510] ppid=28492 vsize=7641216 CPUtime=0.45 cores=4,6
/proc/28494/task/28510/stat : 28510 (java) S 28492 28494 27965 0 -1 4202560 8592 0 0 0 44 1 0 0 22 0 19 0 449608780 7824605184 24129 33554432000 1073741824 1073778376 140734638701744 18446744073709551615 255118584729 0 4 0 16800975 18446604453922609920 0 0 -1 6 0 0 0
[pid=28494/tid=28511] ppid=28492 vsize=7641216 CPUtime=0.25 cores=4,6
/proc/28494/task/28511/stat : 28511 (java) S 28492 28494 27965 0 -1 4202560 1524 0 0 0 25 0 0 0 19 0 19 0 449608780 7824605184 24129 33554432000 1073741824 1073778376 140734638701744 18446744073709551615 255118584729 0 4 0 16800975 18446604453922609920 0 0 -1 6 0 0 0
[pid=28494/tid=28512] ppid=28492 vsize=7641216 CPUtime=0 cores=4,6
/proc/28494/task/28512/stat : 28512 (java) S 28492 28494 27965 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 449608780 7824605184 24129 33554432000 1073741824 1073778376 140734638701744 18446744073709551615 255118584729 0 4 0 16800975 18446604453922609920 0 0 -1 4 0 0 0
[pid=28494/tid=28513] ppid=28492 vsize=7641216 CPUtime=0 cores=4,6
/proc/28494/task/28513/stat : 28513 (java) S 28492 28494 27965 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 449608780 7824605184 24129 33554432000 1073741824 1073778376 140734638701744 18446744073709551615 255118585344 0 4 0 16800975 18446604453922609920 0 0 -1 4 0 0 0
[pid=28494/tid=28542] ppid=28492 vsize=7641216 CPUtime=0 cores=4,6
/proc/28494/task/28542/stat : 28542 (java) S 28492 28494 27965 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 449608805 7824605184 24129 33554432000 1073741824 1073778376 140734638701744 18446744073709551615 255118585344 0 4 0 16800975 18446604453922609920 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.19
Current children cumulated vsize (KiB) 7641216

[startup+3.10093 s]
/proc/loadavg: 0.92 1.01 1.68 5/262 28543
/proc/meminfo: memFree=19574428/32951124 swapFree=67111524/67111528
[pid=28494] ppid=28492 vsize=7641216 CPUtime=3.8 cores=4,6
/proc/28494/stat : 28494 (java) S 28492 28494 27965 0 -1 4202496 27646 0 1 0 376 4 0 0 22 0 19 0 449608775 7824605184 24376 33554432000 1073741824 1073778376 140734638701744 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/28494/statm: 1910304 24376 2254 9 0 1901042 0
[pid=28494/tid=28495] ppid=28492 vsize=7641216 CPUtime=2.91 cores=4,6
/proc/28494/task/28495/stat : 28495 (java) R 28492 28494 27965 0 -1 4202560 11842 0 1 0 289 2 0 0 19 0 19 0 449608775 7824605184 24376 33554432000 1073741824 1073778376 140734638701744 18446744073709551615 46912505650586 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=28494/tid=28497] ppid=28492 vsize=7641216 CPUtime=0.01 cores=4,6
/proc/28494/task/28497/stat : 28497 (java) S 28492 28494 27965 0 -1 4202560 961 0 0 0 1 0 0 0 15 0 19 0 449608777 7824605184 24376 33554432000 1073741824 1073778376 140734638701744 18446744073709551615 255118584729 0 4 0 16800975 18446604453922609920 0 0 -1 6 0 0 0
[pid=28494/tid=28498] ppid=28492 vsize=7641216 CPUtime=0 cores=4,6
/proc/28494/task/28498/stat : 28498 (java) S 28492 28494 27965 0 -1 4202560 20 0 0 0 0 0 0 0 15 0 19 0 449608777 7824605184 24376 33554432000 1073741824 1073778376 140734638701744 18446744073709551615 255118584729 0 4 0 16800975 18446604453922609920 0 0 -1 6 0 0 0
[pid=28494/tid=28499] ppid=28492 vsize=7641216 CPUtime=0 cores=4,6
/proc/28494/task/28499/stat : 28499 (java) S 28492 28494 27965 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 449608777 7824605184 24376 33554432000 1073741824 1073778376 140734638701744 18446744073709551615 255118584729 0 4 0 16800975 18446604453922609920 0 0 -1 6 0 0 0
[pid=28494/tid=28500] ppid=28492 vsize=7641216 CPUtime=0 cores=4,6
/proc/28494/task/28500/stat : 28500 (java) S 28492 28494 27965 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 449608777 7824605184 24376 33554432000 1073741824 1073778376 140734638701744 18446744073709551615 255118584729 0 4 0 16800975 18446604453922609920 0 0 -1 6 0 0 0
[pid=28494/tid=28501] ppid=28492 vsize=7641216 CPUtime=0 cores=4,6
/proc/28494/task/28501/stat : 28501 (java) S 28492 28494 27965 0 -1 4202560 18 0 0 0 0 0 0 0 15 0 19 0 449608777 7824605184 24376 33554432000 1073741824 1073778376 140734638701744 18446744073709551615 255118584729 0 4 0 16800975 18446604453922609920 0 0 -1 4 0 0 0
[pid=28494/tid=28502] ppid=28492 vsize=7641216 CPUtime=0 cores=4,6
/proc/28494/task/28502/stat : 28502 (java) S 28492 28494 27965 0 -1 4202560 306 0 0 0 0 0 0 0 15 0 19 0 449608777 7824605184 24376 33554432000 1073741824 1073778376 140734638701744 18446744073709551615 255118584729 0 4 0 16800975 18446604453922609920 0 0 -1 6 0 0 0
[pid=28494/tid=28503] ppid=28492 vsize=7641216 CPUtime=0 cores=4,6
/proc/28494/task/28503/stat : 28503 (java) S 28492 28494 27965 0 -1 4202560 999 0 0 0 0 0 0 0 16 0 19 0 449608777 7824605184 24376 33554432000 1073741824 1073778376 140734638701744 18446744073709551615 255118584729 0 4 0 16800975 18446604453922609920 0 0 -1 6 0 0 0
[pid=28494/tid=28504] ppid=28492 vsize=7641216 CPUtime=0 cores=4,6
/proc/28494/task/28504/stat : 28504 (java) S 28492 28494 27965 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 449608777 7824605184 24376 33554432000 1073741824 1073778376 140734638701744 18446744073709551615 255118584729 0 4 0 16800975 18446604453922609920 0 0 -1 6 0 0 0
[pid=28494/tid=28505] ppid=28492 vsize=7641216 CPUtime=0.1 cores=4,6
/proc/28494/task/28505/stat : 28505 (java) S 28492 28494 27965 0 -1 4202560 2222 0 0 0 10 0 0 0 16 0 19 0 449608778 7824605184 24376 33554432000 1073741824 1073778376 140734638701744 18446744073709551615 255118585344 0 0 0 16800975 18446604453922609920 0 0 -1 4 0 0 0
[pid=28494/tid=28506] ppid=28492 vsize=7641216 CPUtime=0 cores=4,6
/proc/28494/task/28506/stat : 28506 (java) S 28492 28494 27965 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 449608778 7824605184 24376 33554432000 1073741824 1073778376 140734638701744 18446744073709551615 255118584729 0 4 0 16800975 18446604453922609920 0 0 -1 4 0 0 0
[pid=28494/tid=28507] ppid=28492 vsize=7641216 CPUtime=0 cores=4,6
/proc/28494/task/28507/stat : 28507 (java) S 28492 28494 27965 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 449608778 7824605184 24376 33554432000 1073741824 1073778376 140734638701744 18446744073709551615 255118584729 0 4 0 16800975 18446604453922609920 0 0 -1 4 0 0 0
[pid=28494/tid=28509] ppid=28492 vsize=7641216 CPUtime=0 cores=4,6
/proc/28494/task/28509/stat : 28509 (java) S 28492 28494 27965 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 449608780 7824605184 24376 33554432000 1073741824 1073778376 140734638701744 18446744073709551615 255118592433 0 4 0 16800975 18446604453922609920 0 0 -1 4 0 0 0
[pid=28494/tid=28510] ppid=28492 vsize=7641216 CPUtime=0.48 cores=4,6
/proc/28494/task/28510/stat : 28510 (java) S 28492 28494 27965 0 -1 4202560 8596 0 0 0 47 1 0 0 15 0 19 0 449608780 7824605184 24376 33554432000 1073741824 1073778376 140734638701744 18446744073709551615 255118584729 0 4 0 16800975 18446604453922609920 0 0 -1 4 0 0 0
[pid=28494/tid=28511] ppid=28492 vsize=7641216 CPUtime=0.26 cores=4,6
/proc/28494/task/28511/stat : 28511 (java) S 28492 28494 27965 0 -1 4202560 1524 0 0 0 26 0 0 0 15 0 19 0 449608780 7824605184 24376 33554432000 1073741824 1073778376 140734638701744 18446744073709551615 255118584729 0 4 0 16800975 18446604453922609920 0 0 -1 6 0 0 0
[pid=28494/tid=28512] ppid=28492 vsize=7641216 CPUtime=0 cores=4,6
/proc/28494/task/28512/stat : 28512 (java) S 28492 28494 27965 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 449608780 7824605184 24376 33554432000 1073741824 1073778376 140734638701744 18446744073709551615 255118584729 0 4 0 16800975 18446604453922609920 0 0 -1 4 0 0 0
[pid=28494/tid=28513] ppid=28492 vsize=7641216 CPUtime=0 cores=4,6
/proc/28494/task/28513/stat : 28513 (java) S 28492 28494 27965 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 449608780 7824605184 24376 33554432000 1073741824 1073778376 140734638701744 18446744073709551615 255118585344 0 4 0 16800975 18446604453922609920 0 0 -1 4 0 0 0
[pid=28494/tid=28542] ppid=28492 vsize=7641216 CPUtime=0 cores=4,6
/proc/28494/task/28542/stat : 28542 (java) S 28492 28494 27965 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 449608805 7824605184 24376 33554432000 1073741824 1073778376 140734638701744 18446744073709551615 255118585344 0 4 0 16800975 18446604453922609920 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.8
Current children cumulated vsize (KiB) 7641216

[startup+6.30135 s]
/proc/loadavg: 1.17 1.06 1.70 5/262 28543
/proc/meminfo: memFree=19564136/32951124 swapFree=67111524/67111528
[pid=28494] ppid=28492 vsize=7641216 CPUtime=7 cores=4,6
/proc/28494/stat : 28494 (java) S 28492 28494 27965 0 -1 4202496 27877 0 1 0 696 4 0 0 22 0 19 0 449608775 7824605184 24143 33554432000 1073741824 1073778376 140734638701744 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/28494/statm: 1910304 24143 2254 9 0 1901042 0
[pid=28494/tid=28495] ppid=28492 vsize=7641216 CPUtime=5.99 cores=4,6
/proc/28494/task/28495/stat : 28495 (java) R 28492 28494 27965 0 -1 4202560 11847 0 1 0 597 2 0 0 25 0 19 0 449608775 7824605184 24143 33554432000 1073741824 1073778376 140734638701744 18446744073709551615 46912505588202 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=28494/tid=28497] ppid=28492 vsize=7641216 CPUtime=0.01 cores=4,6
/proc/28494/task/28497/stat : 28497 (java) S 28492 28494 27965 0 -1 4202560 961 0 0 0 1 0 0 0 15 0 19 0 449608777 7824605184 24143 33554432000 1073741824 1073778376 140734638701744 18446744073709551615 255118584729 0 4 0 16800975 18446604453922609920 0 0 -1 4 0 0 0
[pid=28494/tid=28498] ppid=28492 vsize=7641216 CPUtime=0 cores=4,6
/proc/28494/task/28498/stat : 28498 (java) S 28492 28494 27965 0 -1 4202560 20 0 0 0 0 0 0 0 15 0 19 0 449608777 7824605184 24143 33554432000 1073741824 1073778376 140734638701744 18446744073709551615 255118584729 0 4 0 16800975 18446604453922609920 0 0 -1 4 0 0 0
[pid=28494/tid=28499] ppid=28492 vsize=7641216 CPUtime=0 cores=4,6
/proc/28494/task/28499/stat : 28499 (java) S 28492 28494 27965 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 449608777 7824605184 24143 33554432000 1073741824 1073778376 140734638701744 18446744073709551615 255118584729 0 4 0 16800975 18446604453922609920 0 0 -1 4 0 0 0
[pid=28494/tid=28500] ppid=28492 vsize=7641216 CPUtime=0 cores=4,6
/proc/28494/task/28500/stat : 28500 (java) S 28492 28494 27965 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 449608777 7824605184 24143 33554432000 1073741824 1073778376 140734638701744 18446744073709551615 255118584729 0 4 0 16800975 18446604453922609920 0 0 -1 6 0 0 0
[pid=28494/tid=28501] ppid=28492 vsize=7641216 CPUtime=0 cores=4,6
/proc/28494/task/28501/stat : 28501 (java) S 28492 28494 27965 0 -1 4202560 19 0 0 0 0 0 0 0 16 0 19 0 449608777 7824605184 24143 33554432000 1073741824 1073778376 140734638701744 18446744073709551615 255118584729 0 4 0 16800975 18446604453922609920 0 0 -1 4 0 0 0
[pid=28494/tid=28502] ppid=28492 vsize=7641216 CPUtime=0 cores=4,6
/proc/28494/task/28502/stat : 28502 (java) S 28492 28494 27965 0 -1 4202560 306 0 0 0 0 0 0 0 15 0 19 0 449608777 7824605184 24143 33554432000 1073741824 1073778376 140734638701744 18446744073709551615 255118584729 0 4 0 16800975 18446604453922609920 0 0 -1 4 0 0 0
[pid=28494/tid=28503] ppid=28492 vsize=7641216 CPUtime=0.01 cores=4,6
/proc/28494/task/28503/stat : 28503 (java) S 28492 28494 27965 0 -1 4202560 999 0 0 0 1 0 0 0 15 0 19 0 449608777 7824605184 24143 33554432000 1073741824 1073778376 140734638701744 18446744073709551615 255118584729 0 4 0 16800975 18446604453922609920 0 0 -1 4 0 0 0
[pid=28494/tid=28504] ppid=28492 vsize=7641216 CPUtime=0 cores=4,6
/proc/28494/task/28504/stat : 28504 (java) S 28492 28494 27965 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 449608777 7824605184 24143 33554432000 1073741824 1073778376 140734638701744 18446744073709551615 255118584729 0 4 0 16800975 18446604453922609920 0 0 -1 4 0 0 0
[pid=28494/tid=28505] ppid=28492 vsize=7641216 CPUtime=0.21 cores=4,6
/proc/28494/task/28505/stat : 28505 (java) S 28492 28494 27965 0 -1 4202560 2446 0 0 0 21 0 0 0 16 0 19 0 449608778 7824605184 24143 33554432000 1073741824 1073778376 140734638701744 18446744073709551615 255118585344 0 0 0 16800975 18446604453922609920 0 0 -1 6 0 0 0
[pid=28494/tid=28506] ppid=28492 vsize=7641216 CPUtime=0 cores=4,6
/proc/28494/task/28506/stat : 28506 (java) S 28492 28494 27965 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 449608778 7824605184 24143 33554432000 1073741824 1073778376 140734638701744 18446744073709551615 255118584729 0 4 0 16800975 18446604453922609920 0 0 -1 4 0 0 0
[pid=28494/tid=28507] ppid=28492 vsize=7641216 CPUtime=0 cores=4,6
/proc/28494/task/28507/stat : 28507 (java) S 28492 28494 27965 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 449608778 7824605184 24143 33554432000 1073741824 1073778376 140734638701744 18446744073709551615 255118584729 0 4 0 16800975 18446604453922609920 0 0 -1 4 0 0 0
[pid=28494/tid=28509] ppid=28492 vsize=7641216 CPUtime=0 cores=4,6
/proc/28494/task/28509/stat : 28509 (java) S 28492 28494 27965 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 449608780 7824605184 24143 33554432000 1073741824 1073778376 140734638701744 18446744073709551615 255118592433 0 4 0 16800975 18446604453922609920 0 0 -1 4 0 0 0
[pid=28494/tid=28510] ppid=28492 vsize=7641216 CPUtime=0.48 cores=4,6
/proc/28494/task/28510/stat : 28510 (java) S 28492 28494 27965 0 -1 4202560 8596 0 0 0 47 1 0 0 15 0 19 0 449608780 7824605184 24143 33554432000 1073741824 1073778376 140734638701744 18446744073709551615 255118584729 0 4 0 16800975 18446604453922609920 0 0 -1 4 0 0 0
[pid=28494/tid=28511] ppid=28492 vsize=7641216 CPUtime=0.26 cores=4,6
/proc/28494/task/28511/stat : 28511 (java) S 28492 28494 27965 0 -1 4202560 1524 0 0 0 26 0 0 0 15 0 19 0 449608780 7824605184 24143 33554432000 1073741824 1073778376 140734638701744 18446744073709551615 255118584729 0 4 0 16800975 18446604453922609920 0 0 -1 6 0 0 0

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

[pid=28494/tid=28502] ppid=28492 vsize=7641216 CPUtime=0.1 cores=4,6
/proc/28494/task/28502/stat : 28502 (java) S 28492 28494 27965 0 -1 4202560 329 0 0 0 10 0 0 0 15 0 19 0 449608777 7824605184 28595 33554432000 1073741824 1073778376 140734638701744 18446744073709551615 255118584729 0 4 0 16800975 18446604453922609920 0 0 -1 6 0 0 0
[pid=28494/tid=28503] ppid=28492 vsize=7641216 CPUtime=0.09 cores=4,6
/proc/28494/task/28503/stat : 28503 (java) S 28492 28494 27965 0 -1 4202560 1224 0 0 0 9 0 0 0 15 0 19 0 449608777 7824605184 28595 33554432000 1073741824 1073778376 140734638701744 18446744073709551615 255118584729 0 4 0 16800975 18446604453922609920 0 0 -1 6 0 0 0
[pid=28494/tid=28504] ppid=28492 vsize=7641216 CPUtime=0.08 cores=4,6
/proc/28494/task/28504/stat : 28504 (java) S 28492 28494 27965 0 -1 4202560 91 0 0 0 8 0 0 0 15 0 19 0 449608777 7824605184 28595 33554432000 1073741824 1073778376 140734638701744 18446744073709551615 255118584729 0 4 0 16800975 18446604453922609920 0 0 -1 6 0 0 0
[pid=28494/tid=28505] ppid=28492 vsize=7641216 CPUtime=4.6 cores=4,6
/proc/28494/task/28505/stat : 28505 (java) S 28492 28494 27965 0 -1 4202560 5938 0 0 0 459 1 0 0 15 0 19 0 449608778 7824605184 28595 33554432000 1073741824 1073778376 140734638701744 18446744073709551615 255118585344 0 0 0 16800975 18446604453922609920 0 0 -1 4 0 0 0
[pid=28494/tid=28506] ppid=28492 vsize=7641216 CPUtime=0 cores=4,6
/proc/28494/task/28506/stat : 28506 (java) S 28492 28494 27965 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 449608778 7824605184 28595 33554432000 1073741824 1073778376 140734638701744 18446744073709551615 255118584729 0 4 0 16800975 18446604453922609920 0 0 -1 4 0 0 0
[pid=28494/tid=28507] ppid=28492 vsize=7641216 CPUtime=0 cores=4,6
/proc/28494/task/28507/stat : 28507 (java) S 28492 28494 27965 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 449608778 7824605184 28595 33554432000 1073741824 1073778376 140734638701744 18446744073709551615 255118584729 0 4 0 16800975 18446604453922609920 0 0 -1 4 0 0 0
[pid=28494/tid=28509] ppid=28492 vsize=7641216 CPUtime=0 cores=4,6
/proc/28494/task/28509/stat : 28509 (java) S 28492 28494 27965 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 449608780 7824605184 28595 33554432000 1073741824 1073778376 140734638701744 18446744073709551615 255118592433 0 4 0 16800975 18446604453922609920 0 0 -1 4 0 0 0
[pid=28494/tid=28510] ppid=28492 vsize=7641216 CPUtime=0.5 cores=4,6
/proc/28494/task/28510/stat : 28510 (java) S 28492 28494 27965 0 -1 4202560 8634 0 0 0 49 1 0 0 15 0 19 0 449608780 7824605184 28595 33554432000 1073741824 1073778376 140734638701744 18446744073709551615 255118584729 0 4 0 16800975 18446604453922609920 0 0 -1 4 0 0 0
[pid=28494/tid=28511] ppid=28492 vsize=7641216 CPUtime=0.26 cores=4,6
/proc/28494/task/28511/stat : 28511 (java) S 28492 28494 27965 0 -1 4202560 1524 0 0 0 26 0 0 0 15 0 19 0 449608780 7824605184 28595 33554432000 1073741824 1073778376 140734638701744 18446744073709551615 255118584729 0 4 0 16800975 18446604453922609920 0 0 -1 6 0 0 0
[pid=28494/tid=28512] ppid=28492 vsize=7641216 CPUtime=0 cores=4,6
/proc/28494/task/28512/stat : 28512 (java) S 28492 28494 27965 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 449608780 7824605184 28595 33554432000 1073741824 1073778376 140734638701744 18446744073709551615 255118584729 0 4 0 16800975 18446604453922609920 0 0 -1 4 0 0 0
[pid=28494/tid=28513] ppid=28492 vsize=7641216 CPUtime=0 cores=4,6
/proc/28494/task/28513/stat : 28513 (java) S 28492 28494 27965 0 -1 4202560 64 0 0 0 0 0 0 0 15 0 19 0 449608780 7824605184 28595 33554432000 1073741824 1073778376 140734638701744 18446744073709551615 255118585344 0 4 0 16800975 18446604453922609920 0 0 -1 6 0 0 0
[pid=28494/tid=28542] ppid=28492 vsize=7641216 CPUtime=0 cores=4,6
/proc/28494/task/28542/stat : 28542 (java) S 28492 28494 27965 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 449608805 7824605184 28595 33554432000 1073741824 1073778376 140734638701744 18446744073709551615 255118585344 0 4 0 16800975 18446604453922609920 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1123.32
Current children cumulated vsize (KiB) 7641216

[startup+1182.3 s]
/proc/loadavg: 4.00 3.94 3.33 5/262 28578
/proc/meminfo: memFree=19350568/32951124 swapFree=67111524/67111528
[pid=28494] ppid=28492 vsize=7641216 CPUtime=1183.33 cores=4,6
/proc/28494/stat : 28494 (java) S 28492 28494 27965 0 -1 4202496 32569 0 1 0 118327 6 0 0 22 0 19 0 449608775 7824605184 28596 33554432000 1073741824 1073778376 140734638701744 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/28494/statm: 1910304 28596 2255 9 0 1901042 0
[pid=28494/tid=28495] ppid=28492 vsize=7641216 CPUtime=1177.01 cores=4,6
/proc/28494/task/28495/stat : 28495 (java) R 28492 28494 27965 0 -1 4202560 11949 0 1 0 117699 2 0 0 25 0 19 0 449608775 7824605184 28596 33554432000 1073741824 1073778376 140734638701744 18446744073709551615 46912505588172 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=28494/tid=28497] ppid=28492 vsize=7641216 CPUtime=0.11 cores=4,6
/proc/28494/task/28497/stat : 28497 (java) S 28492 28494 27965 0 -1 4202560 1060 0 0 0 11 0 0 0 15 0 19 0 449608777 7824605184 28596 33554432000 1073741824 1073778376 140734638701744 18446744073709551615 255118584729 0 4 0 16800975 18446604453922609920 0 0 -1 6 0 0 0
[pid=28494/tid=28498] ppid=28492 vsize=7641216 CPUtime=0.08 cores=4,6
/proc/28494/task/28498/stat : 28498 (java) S 28492 28494 27965 0 -1 4202560 385 0 0 0 8 0 0 0 15 0 19 0 449608777 7824605184 28596 33554432000 1073741824 1073778376 140734638701744 18446744073709551615 255118584729 0 4 0 16800975 18446604453922609920 0 0 -1 6 0 0 0
[pid=28494/tid=28499] ppid=28492 vsize=7641216 CPUtime=0.08 cores=4,6
/proc/28494/task/28499/stat : 28499 (java) S 28492 28494 27965 0 -1 4202560 32 0 0 0 8 0 0 0 15 0 19 0 449608777 7824605184 28596 33554432000 1073741824 1073778376 140734638701744 18446744073709551615 255118584729 0 4 0 16800975 18446604453922609920 0 0 -1 6 0 0 0
[pid=28494/tid=28500] ppid=28492 vsize=7641216 CPUtime=0.1 cores=4,6
/proc/28494/task/28500/stat : 28500 (java) S 28492 28494 27965 0 -1 4202560 118 0 0 0 10 0 0 0 16 0 19 0 449608777 7824605184 28596 33554432000 1073741824 1073778376 140734638701744 18446744073709551615 255118584729 0 4 0 16800975 18446604453922609920 0 0 -1 6 0 0 0
[pid=28494/tid=28501] ppid=28492 vsize=7641216 CPUtime=0.09 cores=4,6
/proc/28494/task/28501/stat : 28501 (java) S 28492 28494 27965 0 -1 4202560 63 0 0 0 9 0 0 0 15 0 19 0 449608777 7824605184 28596 33554432000 1073741824 1073778376 140734638701744 18446744073709551615 255118584729 0 4 0 16800975 18446604453922609920 0 0 -1 6 0 0 0
[pid=28494/tid=28502] ppid=28492 vsize=7641216 CPUtime=0.1 cores=4,6
/proc/28494/task/28502/stat : 28502 (java) S 28492 28494 27965 0 -1 4202560 329 0 0 0 10 0 0 0 15 0 19 0 449608777 7824605184 28596 33554432000 1073741824 1073778376 140734638701744 18446744073709551615 255118584729 0 4 0 16800975 18446604453922609920 0 0 -1 6 0 0 0
[pid=28494/tid=28503] ppid=28492 vsize=7641216 CPUtime=0.09 cores=4,6
/proc/28494/task/28503/stat : 28503 (java) S 28492 28494 27965 0 -1 4202560 1224 0 0 0 9 0 0 0 15 0 19 0 449608777 7824605184 28596 33554432000 1073741824 1073778376 140734638701744 18446744073709551615 255118584729 0 4 0 16800975 18446604453922609920 0 0 -1 6 0 0 0
[pid=28494/tid=28504] ppid=28492 vsize=7641216 CPUtime=0.08 cores=4,6
/proc/28494/task/28504/stat : 28504 (java) S 28492 28494 27965 0 -1 4202560 91 0 0 0 8 0 0 0 15 0 19 0 449608777 7824605184 28596 33554432000 1073741824 1073778376 140734638701744 18446744073709551615 255118584729 0 4 0 16800975 18446604453922609920 0 0 -1 6 0 0 0
[pid=28494/tid=28505] ppid=28492 vsize=7641216 CPUtime=4.75 cores=4,6
/proc/28494/task/28505/stat : 28505 (java) S 28492 28494 27965 0 -1 4202560 5943 0 0 0 474 1 0 0 15 0 19 0 449608778 7824605184 28596 33554432000 1073741824 1073778376 140734638701744 18446744073709551615 255118585344 0 0 0 16800975 18446604453922609920 0 0 -1 4 0 0 0
[pid=28494/tid=28506] ppid=28492 vsize=7641216 CPUtime=0 cores=4,6
/proc/28494/task/28506/stat : 28506 (java) S 28492 28494 27965 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 449608778 7824605184 28596 33554432000 1073741824 1073778376 140734638701744 18446744073709551615 255118584729 0 4 0 16800975 18446604453922609920 0 0 -1 4 0 0 0
[pid=28494/tid=28507] ppid=28492 vsize=7641216 CPUtime=0 cores=4,6
/proc/28494/task/28507/stat : 28507 (java) S 28492 28494 27965 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 449608778 7824605184 28596 33554432000 1073741824 1073778376 140734638701744 18446744073709551615 255118584729 0 4 0 16800975 18446604453922609920 0 0 -1 4 0 0 0
[pid=28494/tid=28509] ppid=28492 vsize=7641216 CPUtime=0 cores=4,6
/proc/28494/task/28509/stat : 28509 (java) S 28492 28494 27965 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 449608780 7824605184 28596 33554432000 1073741824 1073778376 140734638701744 18446744073709551615 255118592433 0 4 0 16800975 18446604453922609920 0 0 -1 4 0 0 0
[pid=28494/tid=28510] ppid=28492 vsize=7641216 CPUtime=0.5 cores=4,6
/proc/28494/task/28510/stat : 28510 (java) S 28492 28494 27965 0 -1 4202560 8634 0 0 0 49 1 0 0 15 0 19 0 449608780 7824605184 28596 33554432000 1073741824 1073778376 140734638701744 18446744073709551615 255118584729 0 4 0 16800975 18446604453922609920 0 0 -1 4 0 0 0
[pid=28494/tid=28511] ppid=28492 vsize=7641216 CPUtime=0.26 cores=4,6
/proc/28494/task/28511/stat : 28511 (java) S 28492 28494 27965 0 -1 4202560 1524 0 0 0 26 0 0 0 15 0 19 0 449608780 7824605184 28596 33554432000 1073741824 1073778376 140734638701744 18446744073709551615 255118584729 0 4 0 16800975 18446604453922609920 0 0 -1 6 0 0 0
[pid=28494/tid=28512] ppid=28492 vsize=7641216 CPUtime=0 cores=4,6
/proc/28494/task/28512/stat : 28512 (java) S 28492 28494 27965 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 449608780 7824605184 28596 33554432000 1073741824 1073778376 140734638701744 18446744073709551615 255118584729 0 4 0 16800975 18446604453922609920 0 0 -1 4 0 0 0
[pid=28494/tid=28513] ppid=28492 vsize=7641216 CPUtime=0 cores=4,6
/proc/28494/task/28513/stat : 28513 (java) S 28492 28494 27965 0 -1 4202560 68 0 0 0 0 0 0 0 15 0 19 0 449608780 7824605184 28596 33554432000 1073741824 1073778376 140734638701744 18446744073709551615 255118585344 0 4 0 16800975 18446604453922609920 0 0 -1 6 0 0 0
[pid=28494/tid=28542] ppid=28492 vsize=7641216 CPUtime=0 cores=4,6
/proc/28494/task/28542/stat : 28542 (java) S 28492 28494 27965 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 449608805 7824605184 28596 33554432000 1073741824 1073778376 140734638701744 18446744073709551615 255118585344 0 4 0 16800975 18446604453922609920 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1183.33
Current children cumulated vsize (KiB) 7641216

[startup+1242.3 s]
/proc/loadavg: 4.00 3.95 3.37 6/262 28580
/proc/meminfo: memFree=19349292/32951124 swapFree=67111524/67111528
[pid=28494] ppid=28492 vsize=7641216 CPUtime=1243.34 cores=4,6
/proc/28494/stat : 28494 (java) S 28492 28494 27965 0 -1 4202496 32622 0 1 0 124328 6 0 0 22 0 19 0 449608775 7824605184 28637 33554432000 1073741824 1073778376 140734638701744 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/28494/statm: 1910304 28637 2255 9 0 1901042 0
[pid=28494/tid=28495] ppid=28492 vsize=7641216 CPUtime=1236.8 cores=4,6
/proc/28494/task/28495/stat : 28495 (java) R 28492 28494 27965 0 -1 4202560 11953 0 1 0 123678 2 0 0 25 0 19 0 449608775 7824605184 28637 33554432000 1073741824 1073778376 140734638701744 18446744073709551615 46912505588132 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=28494/tid=28497] ppid=28492 vsize=7641216 CPUtime=0.12 cores=4,6
/proc/28494/task/28497/stat : 28497 (java) S 28492 28494 27965 0 -1 4202560 1060 0 0 0 12 0 0 0 15 0 19 0 449608777 7824605184 28637 33554432000 1073741824 1073778376 140734638701744 18446744073709551615 255118584729 0 4 0 16800975 18446604453922609920 0 0 -1 6 0 0 0
[pid=28494/tid=28498] ppid=28492 vsize=7641216 CPUtime=0.09 cores=4,6
/proc/28494/task/28498/stat : 28498 (java) S 28492 28494 27965 0 -1 4202560 385 0 0 0 9 0 0 0 16 0 19 0 449608777 7824605184 28637 33554432000 1073741824 1073778376 140734638701744 18446744073709551615 255118584729 0 4 0 16800975 18446604453922609920 0 0 -1 6 0 0 0
[pid=28494/tid=28499] ppid=28492 vsize=7641216 CPUtime=0.08 cores=4,6
/proc/28494/task/28499/stat : 28499 (java) S 28492 28494 27965 0 -1 4202560 32 0 0 0 8 0 0 0 15 0 19 0 449608777 7824605184 28637 33554432000 1073741824 1073778376 140734638701744 18446744073709551615 255118584729 0 4 0 16800975 18446604453922609920 0 0 -1 6 0 0 0
[pid=28494/tid=28500] ppid=28492 vsize=7641216 CPUtime=0.1 cores=4,6
/proc/28494/task/28500/stat : 28500 (java) S 28492 28494 27965 0 -1 4202560 118 0 0 0 10 0 0 0 15 0 19 0 449608777 7824605184 28637 33554432000 1073741824 1073778376 140734638701744 18446744073709551615 255118584729 0 4 0 16800975 18446604453922609920 0 0 -1 6 0 0 0
[pid=28494/tid=28501] ppid=28492 vsize=7641216 CPUtime=0.09 cores=4,6
/proc/28494/task/28501/stat : 28501 (java) S 28492 28494 27965 0 -1 4202560 63 0 0 0 9 0 0 0 15 0 19 0 449608777 7824605184 28637 33554432000 1073741824 1073778376 140734638701744 18446744073709551615 255118584729 0 4 0 16800975 18446604453922609920 0 0 -1 6 0 0 0
[pid=28494/tid=28502] ppid=28492 vsize=7641216 CPUtime=0.1 cores=4,6
/proc/28494/task/28502/stat : 28502 (java) S 28492 28494 27965 0 -1 4202560 329 0 0 0 10 0 0 0 15 0 19 0 449608777 7824605184 28637 33554432000 1073741824 1073778376 140734638701744 18446744073709551615 255118584729 0 4 0 16800975 18446604453922609920 0 0 -1 6 0 0 0
[pid=28494/tid=28503] ppid=28492 vsize=7641216 CPUtime=0.1 cores=4,6
/proc/28494/task/28503/stat : 28503 (java) S 28492 28494 27965 0 -1 4202560 1224 0 0 0 10 0 0 0 15 0 19 0 449608777 7824605184 28637 33554432000 1073741824 1073778376 140734638701744 18446744073709551615 255118584729 0 4 0 16800975 18446604453922609920 0 0 -1 6 0 0 0
[pid=28494/tid=28504] ppid=28492 vsize=7641216 CPUtime=0.09 cores=4,6
/proc/28494/task/28504/stat : 28504 (java) S 28492 28494 27965 0 -1 4202560 91 0 0 0 9 0 0 0 15 0 19 0 449608777 7824605184 28637 33554432000 1073741824 1073778376 140734638701744 18446744073709551615 255118584729 0 4 0 16800975 18446604453922609920 0 0 -1 6 0 0 0
[pid=28494/tid=28505] ppid=28492 vsize=7641216 CPUtime=4.95 cores=4,6
/proc/28494/task/28505/stat : 28505 (java) S 28492 28494 27965 0 -1 4202560 5988 0 0 0 494 1 0 0 15 0 19 0 449608778 7824605184 28637 33554432000 1073741824 1073778376 140734638701744 18446744073709551615 255118585344 0 0 0 16800975 18446604453922609920 0 0 -1 4 0 0 0
[pid=28494/tid=28506] ppid=28492 vsize=7641216 CPUtime=0 cores=4,6
/proc/28494/task/28506/stat : 28506 (java) S 28492 28494 27965 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 449608778 7824605184 28637 33554432000 1073741824 1073778376 140734638701744 18446744073709551615 255118584729 0 4 0 16800975 18446604453922609920 0 0 -1 4 0 0 0
[pid=28494/tid=28507] ppid=28492 vsize=7641216 CPUtime=0 cores=4,6
/proc/28494/task/28507/stat : 28507 (java) S 28492 28494 27965 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 449608778 7824605184 28637 33554432000 1073741824 1073778376 140734638701744 18446744073709551615 255118584729 0 4 0 16800975 18446604453922609920 0 0 -1 4 0 0 0
[pid=28494/tid=28509] ppid=28492 vsize=7641216 CPUtime=0 cores=4,6
/proc/28494/task/28509/stat : 28509 (java) S 28492 28494 27965 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 449608780 7824605184 28637 33554432000 1073741824 1073778376 140734638701744 18446744073709551615 255118592433 0 4 0 16800975 18446604453922609920 0 0 -1 4 0 0 0
[pid=28494/tid=28510] ppid=28492 vsize=7641216 CPUtime=0.5 cores=4,6
/proc/28494/task/28510/stat : 28510 (java) S 28492 28494 27965 0 -1 4202560 8634 0 0 0 49 1 0 0 15 0 19 0 449608780 7824605184 28637 33554432000 1073741824 1073778376 140734638701744 18446744073709551615 255118584729 0 4 0 16800975 18446604453922609920 0 0 -1 4 0 0 0
[pid=28494/tid=28511] ppid=28492 vsize=7641216 CPUtime=0.26 cores=4,6
/proc/28494/task/28511/stat : 28511 (java) S 28492 28494 27965 0 -1 4202560 1524 0 0 0 26 0 0 0 15 0 19 0 449608780 7824605184 28637 33554432000 1073741824 1073778376 140734638701744 18446744073709551615 255118584729 0 4 0 16800975 18446604453922609920 0 0 -1 6 0 0 0
[pid=28494/tid=28512] ppid=28492 vsize=7641216 CPUtime=0 cores=4,6
/proc/28494/task/28512/stat : 28512 (java) S 28492 28494 27965 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 449608780 7824605184 28637 33554432000 1073741824 1073778376 140734638701744 18446744073709551615 255118584729 0 4 0 16800975 18446604453922609920 0 0 -1 4 0 0 0
[pid=28494/tid=28513] ppid=28492 vsize=7641216 CPUtime=0 cores=4,6
/proc/28494/task/28513/stat : 28513 (java) S 28492 28494 27965 0 -1 4202560 72 0 0 0 0 0 0 0 15 0 19 0 449608780 7824605184 28637 33554432000 1073741824 1073778376 140734638701744 18446744073709551615 255118585344 0 4 0 16800975 18446604453922609920 0 0 -1 6 0 0 0
[pid=28494/tid=28542] ppid=28492 vsize=7641216 CPUtime=0 cores=4,6
/proc/28494/task/28542/stat : 28542 (java) S 28492 28494 27965 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 449608805 7824605184 28637 33554432000 1073741824 1073778376 140734638701744 18446744073709551615 255118585344 0 4 0 16800975 18446604453922609920 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1243.34
Current children cumulated vsize (KiB) 7641216



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 4.11 3.99 3.42 3/222 28587
/proc/meminfo: memFree=19646060/32951124 swapFree=67111524/67111528
[pid=28494] ppid=28492 vsize=7641216 CPUtime=1301.06 cores=4,6
/proc/28494/stat : 28494 (java) S 28492 28494 27965 0 -1 4202496 32632 0 1 0 130100 6 0 0 22 0 19 0 449608775 7824605184 28637 33554432000 1073741824 1073778376 140734638701744 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/28494/statm: 1910304 28637 2255 9 0 1901042 0
[pid=28494/tid=28495] ppid=28492 vsize=7641216 CPUtime=1294.3 cores=4,6
/proc/28494/task/28495/stat : 28495 (java) R 28492 28494 27965 0 -1 4202560 11957 0 1 0 129428 2 0 0 25 0 19 0 449608775 7824605184 28637 33554432000 1073741824 1073778376 140734638701744 18446744073709551615 46912505588093 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=28494/tid=28497] ppid=28492 vsize=7641216 CPUtime=0.12 cores=4,6
/proc/28494/task/28497/stat : 28497 (java) S 28492 28494 27965 0 -1 4202560 1060 0 0 0 12 0 0 0 15 0 19 0 449608777 7824605184 28637 33554432000 1073741824 1073778376 140734638701744 18446744073709551615 255118584729 0 4 0 16800975 18446604453922609920 0 0 -1 6 0 0 0
[pid=28494/tid=28498] ppid=28492 vsize=7641216 CPUtime=0.09 cores=4,6
/proc/28494/task/28498/stat : 28498 (java) S 28492 28494 27965 0 -1 4202560 385 0 0 0 9 0 0 0 15 0 19 0 449608777 7824605184 28637 33554432000 1073741824 1073778376 140734638701744 18446744073709551615 255118584729 0 4 0 16800975 18446604453922609920 0 0 -1 6 0 0 0
[pid=28494/tid=28499] ppid=28492 vsize=7641216 CPUtime=0.09 cores=4,6
/proc/28494/task/28499/stat : 28499 (java) S 28492 28494 27965 0 -1 4202560 32 0 0 0 9 0 0 0 16 0 19 0 449608777 7824605184 28637 33554432000 1073741824 1073778376 140734638701744 18446744073709551615 255118584729 0 4 0 16800975 18446604453922609920 0 0 -1 6 0 0 0
[pid=28494/tid=28500] ppid=28492 vsize=7641216 CPUtime=0.1 cores=4,6
/proc/28494/task/28500/stat : 28500 (java) S 28492 28494 27965 0 -1 4202560 118 0 0 0 10 0 0 0 15 0 19 0 449608777 7824605184 28637 33554432000 1073741824 1073778376 140734638701744 18446744073709551615 255118584729 0 4 0 16800975 18446604453922609920 0 0 -1 6 0 0 0
[pid=28494/tid=28501] ppid=28492 vsize=7641216 CPUtime=0.09 cores=4,6
/proc/28494/task/28501/stat : 28501 (java) S 28492 28494 27965 0 -1 4202560 63 0 0 0 9 0 0 0 15 0 19 0 449608777 7824605184 28637 33554432000 1073741824 1073778376 140734638701744 18446744073709551615 255118584729 0 4 0 16800975 18446604453922609920 0 0 -1 6 0 0 0
[pid=28494/tid=28502] ppid=28492 vsize=7641216 CPUtime=0.11 cores=4,6
/proc/28494/task/28502/stat : 28502 (java) S 28492 28494 27965 0 -1 4202560 329 0 0 0 11 0 0 0 16 0 19 0 449608777 7824605184 28637 33554432000 1073741824 1073778376 140734638701744 18446744073709551615 255118584729 0 4 0 16800975 18446604453922609920 0 0 -1 6 0 0 0
[pid=28494/tid=28503] ppid=28492 vsize=7641216 CPUtime=0.1 cores=4,6
/proc/28494/task/28503/stat : 28503 (java) S 28492 28494 27965 0 -1 4202560 1224 0 0 0 10 0 0 0 15 0 19 0 449608777 7824605184 28637 33554432000 1073741824 1073778376 140734638701744 18446744073709551615 255118584729 0 4 0 16800975 18446604453922609920 0 0 -1 6 0 0 0
[pid=28494/tid=28504] ppid=28492 vsize=7641216 CPUtime=0.09 cores=4,6
/proc/28494/task/28504/stat : 28504 (java) S 28492 28494 27965 0 -1 4202560 91 0 0 0 9 0 0 0 15 0 19 0 449608777 7824605184 28637 33554432000 1073741824 1073778376 140734638701744 18446744073709551615 255118584729 0 4 0 16800975 18446604453922609920 0 0 -1 6 0 0 0
[pid=28494/tid=28505] ppid=28492 vsize=7641216 CPUtime=5.14 cores=4,6
/proc/28494/task/28505/stat : 28505 (java) S 28492 28494 27965 0 -1 4202560 5990 0 0 0 513 1 0 0 15 0 19 0 449608778 7824605184 28637 33554432000 1073741824 1073778376 140734638701744 18446744073709551615 255118585344 0 0 0 16800975 18446604453922609920 0 0 -1 4 0 0 0
[pid=28494/tid=28506] ppid=28492 vsize=7641216 CPUtime=0 cores=4,6
/proc/28494/task/28506/stat : 28506 (java) S 28492 28494 27965 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 449608778 7824605184 28637 33554432000 1073741824 1073778376 140734638701744 18446744073709551615 255118584729 0 4 0 16800975 18446604453922609920 0 0 -1 4 0 0 0
[pid=28494/tid=28507] ppid=28492 vsize=7641216 CPUtime=0 cores=4,6
/proc/28494/task/28507/stat : 28507 (java) S 28492 28494 27965 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 449608778 7824605184 28637 33554432000 1073741824 1073778376 140734638701744 18446744073709551615 255118584729 0 4 0 16800975 18446604453922609920 0 0 -1 4 0 0 0
[pid=28494/tid=28509] ppid=28492 vsize=7641216 CPUtime=0 cores=4,6
/proc/28494/task/28509/stat : 28509 (java) S 28492 28494 27965 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 449608780 7824605184 28637 33554432000 1073741824 1073778376 140734638701744 18446744073709551615 255118592433 0 4 0 16800975 18446604453922609920 0 0 -1 4 0 0 0
[pid=28494/tid=28510] ppid=28492 vsize=7641216 CPUtime=0.5 cores=4,6
/proc/28494/task/28510/stat : 28510 (java) S 28492 28494 27965 0 -1 4202560 8634 0 0 0 49 1 0 0 15 0 19 0 449608780 7824605184 28637 33554432000 1073741824 1073778376 140734638701744 18446744073709551615 255118584729 0 4 0 16800975 18446604453922609920 0 0 -1 4 0 0 0
[pid=28494/tid=28511] ppid=28492 vsize=7641216 CPUtime=0.26 cores=4,6
/proc/28494/task/28511/stat : 28511 (java) S 28492 28494 27965 0 -1 4202560 1524 0 0 0 26 0 0 0 15 0 19 0 449608780 7824605184 28637 33554432000 1073741824 1073778376 140734638701744 18446744073709551615 255118584729 0 4 0 16800975 18446604453922609920 0 0 -1 6 0 0 0
[pid=28494/tid=28512] ppid=28492 vsize=7641216 CPUtime=0 cores=4,6
/proc/28494/task/28512/stat : 28512 (java) S 28492 28494 27965 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 449608780 7824605184 28637 33554432000 1073741824 1073778376 140734638701744 18446744073709551615 255118584729 0 4 0 16800975 18446604453922609920 0 0 -1 4 0 0 0
[pid=28494/tid=28513] ppid=28492 vsize=7641216 CPUtime=0 cores=4,6
/proc/28494/task/28513/stat : 28513 (java) S 28492 28494 27965 0 -1 4202560 76 0 0 0 0 0 0 0 15 0 19 0 449608780 7824605184 28637 33554432000 1073741824 1073778376 140734638701744 18446744073709551615 255118585344 0 4 0 16800975 18446604453922609920 0 0 -1 6 0 0 0
[pid=28494/tid=28542] ppid=28492 vsize=7641216 CPUtime=0 cores=4,6
/proc/28494/task/28542/stat : 28542 (java) S 28492 28494 27965 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 449608805 7824605184 28637 33554432000 1073741824 1073778376 140734638701744 18446744073709551615 255118585344 0 4 0 16800975 18446604453922609920 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1301.06
Current children cumulated vsize (KiB) 7641216

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

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

Child status: 143
Real time (s): 1300.05
CPU time (s): 1301.13
CPU user time (s): 1301.06
CPU system time (s): 0.069989
CPU usage (%): 100.083
Max. virtual memory (cumulated for all children) (KiB): 7641216

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1301.06
system time used= 0.069989
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32672
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= 29864
involuntary context switches= 7589

runsolver used 2.31165 second user time and 4.79827 second system time

The end

Launcher Data 

Begin job on node144 at 2011-04-23 17:18:47
IDJOB=3263668
IDBENCH=84004
IDSOLVER=1611
FILE ID=node144/3263668-1303571926
RUNJOBID= node144-1303571926-28429
PBS_JOBID= 13150287
Free space on /tmp= 72180 MiB

SOLVER NAME= SAT4J core 2.3.0 SNAPSHOT 2011-02-06
BENCH NAME= SAT03/handmade/anton/UNSAT/SGI_30_50_30_20_3-log.shuffled-as.sat03-109.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-3263668-1303571926/watcher-3263668-1303571926 -o /tmp/evaluation-result-3263668-1303571926/solver-3263668-1303571926 -C 2400 -W 1300 -M 7680  java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3263668-1303571926.cnf

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

MD5SUM BENCH= f19999592ac4a0c798533d80c1c7f2d7
RANDOM SEED=687724383

node144.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.850
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.70
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.850
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	: 5226.16
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.850
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.75
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.850
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.850
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.75
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.850
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.82
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.850
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.75
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.850
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.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      19833352 kB
Buffers:       2154936 kB
Cached:       10297420 kB
SwapCached:          4 kB
Active:        3371012 kB
Inactive:      9213496 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      19833352 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:            4008 kB
Writeback:           0 kB
AnonPages:      131056 kB
Mapped:          23080 kB
Slab:           468852 kB
PageTables:       5552 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 14723436 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= 72180 MiB
End job on node144 at 2011-04-23 17:40:29