Trace number 3259752

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.74 1300.09

General information on the benchmark

NameCRAFTED/parity-games/
instance_n8_i8_pp_ci_ce.cnf
MD5SUM68c51e190d82ac762156471d1f7373da
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark43.0175
Satisfiable
(Un)Satisfiability was proved
Number of variables21640
Number of clauses257551
Sum of the clauses size850944
Maximum clause length56
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 244056
Number of clauses of size 3125040
Number of clauses of size 468272
Number of clauses of size 515680
Number of clauses of size over 54503

Solver Data 

0.03/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.03/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.03/0.08	c See www.sat4j.org for details.
0.03/0.08	c no version file found!!!
0.03/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.03/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.03/0.08	c java.vm.version	19.1-b02
0.03/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.03/0.08	c sun.arch.data.model	64
0.03/0.08	c java.version		1.6.0_24
0.03/0.08	c os.name		Linux
0.03/0.08	c os.version		2.6.18-164.el5
0.03/0.08	c os.arch		amd64
0.03/0.08	c Free memory 		6997539544
0.03/0.08	c Max memory 		7034241024
0.03/0.08	c Total memory 		7034241024
0.03/0.08	c Number of processors 	8
0.09/0.11	c --- Begin Solver configuration ---
0.09/0.11	c org.sat4j.minisat.constraints.MixedDataStructureDanielWL@2fe4cbc4
0.09/0.11	c Learn all clauses as in MiniSAT
0.09/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.1 initConflictBound=100 
0.09/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT
0.09/0.11	c Expensive reason simplification
0.09/0.11	c Armin Biere (Picosat) restarts strategy
0.09/0.11	c Glucose learned constraints deletion strategy
0.09/0.11	c timeout=2147483647s
0.09/0.11	c DB Simplification allowed=true
0.09/0.11	c --- End Solver configuration ---
0.09/0.11	c solving HOME/instance-3259752-1303509894.cnf
0.09/0.11	c reading problem ... 
0.49/0.41	c ... done. Wall clock time 0.304s.
0.49/0.41	c #vars     21640
0.49/0.41	c #constraints  257551
0.49/0.41	c constraints type 
0.49/0.41	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 213495
0.49/0.41	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 44056
3.84/3.38	c cleaning 2436 clauses out of 4887 with flag 5001/5001
6.82/5.86	c cleaning 4212 clauses out of 8429 with flag 11000/11000
10.04/9.03	c cleaning 5584 clauses out of 11200 with flag 18003/18003
13.27/12.21	c cleaning 6777 clauses out of 13594 with flag 26000/26000
16.67/15.61	c cleaning 7865 clauses out of 15788 with flag 35001/35001
20.58/19.50	c cleaning 8925 clauses out of 17922 with flag 45000/45000
24.59/23.56	c cleaning 9986 clauses out of 19995 with flag 56000/56000
29.60/28.57	c cleaning 10968 clauses out of 21962 with flag 68000/68000
35.50/34.43	c cleaning 11942 clauses out of 23985 with flag 81001/81001
41.40/40.36	c cleaning 12922 clauses out of 26042 with flag 95000/95000
47.51/46.42	c cleaning 13911 clauses out of 28111 with flag 110000/110000
54.32/53.26	c cleaning 15069 clauses out of 30191 with flag 126002/126002
60.82/59.76	c cleaning 15952 clauses out of 32087 with flag 143000/143000
67.73/66.65	c cleaning 17042 clauses out of 34107 with flag 161002/161002
75.63/74.58	c cleaning 17925 clauses out of 36062 with flag 180000/180000
84.54/83.43	c cleaning 19033 clauses out of 38137 with flag 200000/200000
93.95/92.82	c cleaning 19982 clauses out of 40104 with flag 221001/221001
104.05/102.93	c cleaning 21011 clauses out of 42121 with flag 243000/243000
114.86/113.75	c cleaning 21941 clauses out of 44111 with flag 266001/266001
125.37/124.30	c cleaning 23036 clauses out of 46169 with flag 290001/290001
135.47/134.32	c cleaning 23953 clauses out of 48132 with flag 315001/315001
147.18/146.09	c cleaning 24934 clauses out of 50164 with flag 341000/341000
159.09/157.99	c cleaning 26049 clauses out of 52231 with flag 368001/368001
173.90/172.75	c cleaning 26967 clauses out of 54175 with flag 396001/396001
186.41/185.25	c cleaning 27968 clauses out of 56207 with flag 425000/425000
200.12/198.91	c cleaning 28967 clauses out of 58239 with flag 455000/455000
215.63/214.44	c cleaning 29944 clauses out of 60276 with flag 486004/486004
230.44/229.20	c cleaning 31060 clauses out of 62329 with flag 518001/518001
246.45/245.25	c cleaning 32105 clauses out of 64260 with flag 551000/551000
262.55/261.34	c cleaning 33034 clauses out of 66157 with flag 585002/585002
281.46/280.20	c cleaning 34015 clauses out of 68121 with flag 620000/620000
298.67/297.50	c cleaning 35013 clauses out of 70106 with flag 656000/656000
318.38/317.11	c cleaning 36020 clauses out of 72093 with flag 693000/693000
338.38/337.14	c cleaning 36887 clauses out of 74072 with flag 731000/731000
361.69/360.46	c cleaning 38063 clauses out of 76177 with flag 770001/770001
381.80/380.52	c cleaning 38914 clauses out of 78113 with flag 810000/810000
407.61/406.35	c cleaning 40067 clauses out of 80199 with flag 851001/851001
432.02/430.75	c cleaning 40951 clauses out of 82123 with flag 893000/893000
456.93/455.61	c cleaning 41914 clauses out of 84171 with flag 936000/936000
482.84/481.58	c cleaning 43067 clauses out of 86262 with flag 980006/980006
509.74/508.44	c cleaning 44033 clauses out of 88189 with flag 1025000/1025000
537.46/536.19	c cleaning 44982 clauses out of 90139 with flag 1071000/1071000
564.67/563.33	c cleaning 45977 clauses out of 92153 with flag 1118000/1118000
594.68/593.35	c cleaning 46912 clauses out of 94151 with flag 1166004/1166004
627.98/626.68	c cleaning 47993 clauses out of 96228 with flag 1215002/1215002
660.89/659.53	c cleaning 48934 clauses out of 98235 with flag 1265002/1265002
694.31/692.99	c cleaning 49991 clauses out of 100293 with flag 1316000/1316000
729.72/728.33	c cleaning 51106 clauses out of 102302 with flag 1368000/1368000
763.43/762.01	c cleaning 52069 clauses out of 104196 with flag 1421000/1421000
802.14/800.73	c cleaning 52894 clauses out of 106127 with flag 1475000/1475000
841.45/840.00	c cleaning 54002 clauses out of 108225 with flag 1530000/1530000
879.57/878.10	c cleaning 55024 clauses out of 110223 with flag 1586000/1586000
919.57/918.16	c cleaning 55904 clauses out of 112199 with flag 1643000/1643000
962.49/961.01	c cleaning 57085 clauses out of 114265 with flag 1701001/1701001
1002.40/1000.95	c cleaning 58012 clauses out of 116179 with flag 1760000/1760000
1045.71/1044.29	c cleaning 58996 clauses out of 118167 with flag 1820000/1820000
1094.72/1093.22	c cleaning 60071 clauses out of 120174 with flag 1881003/1881003
1137.83/1136.39	c cleaning 60954 clauses out of 122105 with flag 1943005/1943005
1188.83/1187.37	c cleaning 61933 clauses out of 124146 with flag 2006000/2006000
1234.55/1233.10	c cleaning 63040 clauses out of 126213 with flag 2070000/2070000
1285.16/1283.70	c cleaning 63970 clauses out of 128173 with flag 2135000/2135000
1301.57/1300.01	c starts		: 1590
1301.57/1300.01	c conflicts		: 2160093
1301.57/1300.01	c decisions		: 5264096
1301.57/1300.01	c propagations		: 1303904743
1301.57/1300.01	c inspects		: 8607493582
1301.57/1300.01	c shortcuts		: 0
1301.57/1300.01	c learnt literals	: 185
1301.57/1300.01	c learnt binary clauses	: 1442
1301.57/1300.01	c learnt ternary clauses	: 6706
1301.57/1300.01	c learnt constraints	: 2159908
1301.57/1300.01	c ignored constraints	: 0
1301.57/1300.01	c root simplifications	: 1775
1301.57/1300.01	c removed literals (reason simplification)	: 66957229
1301.57/1300.01	c reason swapping (by a shorter reason)	: 0
1301.57/1300.01	c Calls to reduceDB	: 61
1301.57/1300.01	c speed (assignments/second)	: 1003313.9386179419
1301.57/1300.01	c non guided choices	5715
1301.57/1300.06	c learnt constraints type 
1301.57/1300.06	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 1312
1301.57/1300.06	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 88035
1301.57/1300.08	c constraints type 
1301.57/1300.08	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 213495
1301.57/1300.08	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 44056
1301.57/1300.08	s UNKNOWN
1301.57/1300.08	c Total wall clock time (in seconds) : 1299.902

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

running on 2 cores: 0,2

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: 3.20 3.83 3.87 4/176 2536
/proc/meminfo: memFree=12928332/32951124 swapFree=67111528/67111528
[pid=2536] ppid=2534 vsize=9100 CPUtime=0 cores=0,2
/proc/2536/stat : 2536 (java) R 2534 2536 1417 0 -1 4202496 225 0 0 0 0 0 0 0 21 0 1 0 443404997 9318400 161 33554432000 1073741824 1073778376 140737371897184 18446744073709551615 270338383863 0 2147483391 4096 0 0 0 0 17 0 0 0 0
/proc/2536/statm: 2275 161 122 9 0 67 0

[startup+0.0478909 s]
/proc/loadavg: 3.20 3.83 3.87 4/176 2536
/proc/meminfo: memFree=12928332/32951124 swapFree=67111528/67111528
[pid=2536] ppid=2534 vsize=7629888 CPUtime=0.03 cores=0,2
/proc/2536/stat : 2536 (java) S 2534 2536 1417 0 -1 4202496 8738 0 1 0 2 1 0 0 21 0 13 0 443404997 7813005312 8434 33554432000 1073741824 1073778376 140734490989024 18446744073709551615 270350186469 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/2536/statm: 1907472 8437 1671 9 0 1898220 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 7629888

[startup+0.102029 s]
/proc/loadavg: 3.20 3.83 3.87 4/176 2536
/proc/meminfo: memFree=12928332/32951124 swapFree=67111528/67111528
[pid=2536] ppid=2534 vsize=7637260 CPUtime=0.09 cores=0,2
/proc/2536/stat : 2536 (java) S 2534 2536 1417 0 -1 4202496 10352 0 1 0 8 1 0 0 21 0 18 0 443404997 7820554240 10019 33554432000 1073741824 1073778376 140734490989024 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2536/statm: 1909315 10020 2090 9 0 1900053 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7637260

[startup+0.300774 s]
/proc/loadavg: 3.20 3.83 3.87 4/176 2536
/proc/meminfo: memFree=12928332/32951124 swapFree=67111528/67111528
[pid=2536] ppid=2534 vsize=7637672 CPUtime=0.39 cores=0,2
/proc/2536/stat : 2536 (java) S 2534 2536 1417 0 -1 4202496 14447 0 1 0 37 2 0 0 21 0 18 0 443404997 7820976128 13907 33554432000 1073741824 1073778376 140734490989024 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2536/statm: 1909418 13908 2197 9 0 1900156 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 7637672

[startup+0.700728 s]
/proc/loadavg: 3.20 3.83 3.87 4/176 2536
/proc/meminfo: memFree=12928332/32951124 swapFree=67111528/67111528
[pid=2536] ppid=2534 vsize=7645384 CPUtime=1.05 cores=0,2
/proc/2536/stat : 2536 (java) S 2534 2536 1417 0 -1 4202496 21213 0 1 0 102 3 0 0 21 0 19 0 443404997 7828873216 19664 33554432000 1073741824 1073778376 140734490989024 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2536/statm: 1911346 19664 2219 9 0 1902084 0
Current children cumulated CPU time (s) 1.05
Current children cumulated vsize (KiB) 7645384

[startup+1.5016 s]
/proc/loadavg: 3.20 3.83 3.87 5/262 2636
/proc/meminfo: memFree=12671568/32951124 swapFree=67111528/67111528
[pid=2536] ppid=2534 vsize=7645384 CPUtime=2.02 cores=0,2
/proc/2536/stat : 2536 (java) S 2534 2536 1417 0 -1 4202496 21661 0 1 0 199 3 0 0 21 0 19 0 443404997 7828873216 20112 33554432000 1073741824 1073778376 140734490989024 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2536/statm: 1911346 20112 2225 9 0 1902084 0
[pid=2536/tid=2538] ppid=2534 vsize=7645384 CPUtime=1.46 cores=0,2
/proc/2536/task/2538/stat : 2538 (java) R 2534 2536 1417 0 -1 4202560 16595 0 1 0 144 2 0 0 25 0 19 0 443404998 7828873216 20112 33554432000 1073741824 1073778376 140734490989024 18446744073709551615 46912505715862 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2536/tid=2539] ppid=2534 vsize=7645384 CPUtime=0 cores=0,2
/proc/2536/task/2539/stat : 2539 (java) S 2534 2536 1417 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 443405000 7828873216 20112 33554432000 1073741824 1073778376 140734490989024 18446744073709551615 270350199705 0 4 0 16800975 18446604453965197632 0 0 -1 2 0 0 0
[pid=2536/tid=2540] ppid=2534 vsize=7645384 CPUtime=0 cores=0,2
/proc/2536/task/2540/stat : 2540 (java) S 2534 2536 1417 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 443405000 7828873216 20112 33554432000 1073741824 1073778376 140734490989024 18446744073709551615 270350199705 0 4 0 16800975 18446604453965197632 0 0 -1 2 0 0 0
[pid=2536/tid=2542] ppid=2534 vsize=7645384 CPUtime=0 cores=0,2
/proc/2536/task/2542/stat : 2542 (java) S 2534 2536 1417 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 443405000 7828873216 20112 33554432000 1073741824 1073778376 140734490989024 18446744073709551615 270350199705 0 4 0 16800975 18446604453965197632 0 0 -1 2 0 0 0
[pid=2536/tid=2543] ppid=2534 vsize=7645384 CPUtime=0 cores=0,2
/proc/2536/task/2543/stat : 2543 (java) S 2534 2536 1417 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 443405000 7828873216 20112 33554432000 1073741824 1073778376 140734490989024 18446744073709551615 270350199705 0 4 0 16800975 18446604453965197632 0 0 -1 2 0 0 0
[pid=2536/tid=2544] ppid=2534 vsize=7645384 CPUtime=0 cores=0,2
/proc/2536/task/2544/stat : 2544 (java) S 2534 2536 1417 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 443405000 7828873216 20112 33554432000 1073741824 1073778376 140734490989024 18446744073709551615 270350199705 0 4 0 16800975 18446604453965197632 0 0 -1 2 0 0 0
[pid=2536/tid=2545] ppid=2534 vsize=7645384 CPUtime=0 cores=0,2
/proc/2536/task/2545/stat : 2545 (java) S 2534 2536 1417 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 443405000 7828873216 20112 33554432000 1073741824 1073778376 140734490989024 18446744073709551615 270350199705 0 4 0 16800975 18446604453965197632 0 0 -1 2 0 0 0
[pid=2536/tid=2546] ppid=2534 vsize=7645384 CPUtime=0 cores=0,2
/proc/2536/task/2546/stat : 2546 (java) S 2534 2536 1417 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 443405000 7828873216 20112 33554432000 1073741824 1073778376 140734490989024 18446744073709551615 270350199705 0 4 0 16800975 18446604453965197632 0 0 -1 2 0 0 0
[pid=2536/tid=2547] ppid=2534 vsize=7645384 CPUtime=0 cores=0,2
/proc/2536/task/2547/stat : 2547 (java) S 2534 2536 1417 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 443405000 7828873216 20112 33554432000 1073741824 1073778376 140734490989024 18446744073709551615 270350199705 0 4 0 16800975 18446604453965197632 0 0 -1 0 0 0 0
[pid=2536/tid=2548] ppid=2534 vsize=7645384 CPUtime=0 cores=0,2
/proc/2536/task/2548/stat : 2548 (java) S 2534 2536 1417 0 -1 4202560 5 0 0 0 0 0 0 0 21 0 19 0 443405001 7828873216 20112 33554432000 1073741824 1073778376 140734490989024 18446744073709551615 270350200320 0 0 0 16800975 18446604453965197632 0 0 -1 0 0 0 0
[pid=2536/tid=2549] ppid=2534 vsize=7645384 CPUtime=0 cores=0,2
/proc/2536/task/2549/stat : 2549 (java) S 2534 2536 1417 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 443405002 7828873216 20112 33554432000 1073741824 1073778376 140734490989024 18446744073709551615 270350199705 0 4 0 16800975 18446604453965197632 0 0 -1 0 0 0 0
[pid=2536/tid=2550] ppid=2534 vsize=7645384 CPUtime=0 cores=0,2
/proc/2536/task/2550/stat : 2550 (java) S 2534 2536 1417 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 443405002 7828873216 20112 33554432000 1073741824 1073778376 140734490989024 18446744073709551615 270350199705 0 4 0 16800975 18446604453965197632 0 0 -1 2 0 0 0
[pid=2536/tid=2554] ppid=2534 vsize=7645384 CPUtime=0 cores=0,2
/proc/2536/task/2554/stat : 2554 (java) S 2534 2536 1417 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 443405004 7828873216 20112 33554432000 1073741824 1073778376 140734490989024 18446744073709551615 270350207409 0 4 0 16800975 18446604453965197632 0 0 -1 2 0 0 0
[pid=2536/tid=2555] ppid=2534 vsize=7645384 CPUtime=0.37 cores=0,2
/proc/2536/task/2555/stat : 2555 (java) S 2534 2536 1417 0 -1 4202560 3338 0 0 0 37 0 0 0 15 0 19 0 443405004 7828873216 20112 33554432000 1073741824 1073778376 140734490989024 18446744073709551615 270350199705 0 4 0 16800975 18446604453965197632 0 0 -1 2 0 0 0
[pid=2536/tid=2556] ppid=2534 vsize=7645384 CPUtime=0.16 cores=0,2
/proc/2536/task/2556/stat : 2556 (java) S 2534 2536 1417 0 -1 4202560 567 0 0 0 16 0 0 0 15 0 19 0 443405004 7828873216 20112 33554432000 1073741824 1073778376 140734490989024 18446744073709551615 270350199705 0 4 0 16800975 18446604453965197632 0 0 -1 2 0 0 0
[pid=2536/tid=2557] ppid=2534 vsize=7645384 CPUtime=0 cores=0,2
/proc/2536/task/2557/stat : 2557 (java) S 2534 2536 1417 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 443405004 7828873216 20112 33554432000 1073741824 1073778376 140734490989024 18446744073709551615 270350199705 0 4 0 16800975 18446604453965197632 0 0 -1 0 0 0 0
[pid=2536/tid=2559] ppid=2534 vsize=7645384 CPUtime=0 cores=0,2
/proc/2536/task/2559/stat : 2559 (java) S 2534 2536 1417 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 443405004 7828873216 20112 33554432000 1073741824 1073778376 140734490989024 18446744073709551615 270350200320 0 4 0 16800975 18446604453965197632 0 0 -1 0 0 0 0
[pid=2536/tid=2612] ppid=2534 vsize=7645384 CPUtime=0 cores=0,2
/proc/2536/task/2612/stat : 2612 (java) S 2534 2536 1417 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 443405042 7828873216 20112 33554432000 1073741824 1073778376 140734490989024 18446744073709551615 270350200320 0 4 0 16800975 18446604453965197632 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.02
Current children cumulated vsize (KiB) 7645384

[startup+3.10131 s]
/proc/loadavg: 3.20 3.83 3.87 5/262 2636
/proc/meminfo: memFree=12605600/32951124 swapFree=67111528/67111528
[pid=2536] ppid=2534 vsize=7645384 CPUtime=3.63 cores=0,2
/proc/2536/stat : 2536 (java) S 2534 2536 1417 0 -1 4202496 21983 0 1 0 360 3 0 0 21 0 19 0 443404997 7828873216 20432 33554432000 1073741824 1073778376 140734490989024 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2536/statm: 1911346 20432 2225 9 0 1902084 0
[pid=2536/tid=2538] ppid=2534 vsize=7645384 CPUtime=3.06 cores=0,2
/proc/2536/task/2538/stat : 2538 (java) R 2534 2536 1417 0 -1 4202560 16915 0 1 0 304 2 0 0 25 0 19 0 443404998 7828873216 20432 33554432000 1073741824 1073778376 140734490989024 18446744073709551615 46912505615778 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2536/tid=2539] ppid=2534 vsize=7645384 CPUtime=0 cores=0,2
/proc/2536/task/2539/stat : 2539 (java) S 2534 2536 1417 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 443405000 7828873216 20432 33554432000 1073741824 1073778376 140734490989024 18446744073709551615 270350199705 0 4 0 16800975 18446604453965197632 0 0 -1 2 0 0 0
[pid=2536/tid=2540] ppid=2534 vsize=7645384 CPUtime=0 cores=0,2
/proc/2536/task/2540/stat : 2540 (java) S 2534 2536 1417 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 443405000 7828873216 20432 33554432000 1073741824 1073778376 140734490989024 18446744073709551615 270350199705 0 4 0 16800975 18446604453965197632 0 0 -1 2 0 0 0
[pid=2536/tid=2542] ppid=2534 vsize=7645384 CPUtime=0 cores=0,2
/proc/2536/task/2542/stat : 2542 (java) S 2534 2536 1417 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 443405000 7828873216 20432 33554432000 1073741824 1073778376 140734490989024 18446744073709551615 270350199705 0 4 0 16800975 18446604453965197632 0 0 -1 2 0 0 0
[pid=2536/tid=2543] ppid=2534 vsize=7645384 CPUtime=0 cores=0,2
/proc/2536/task/2543/stat : 2543 (java) S 2534 2536 1417 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 443405000 7828873216 20432 33554432000 1073741824 1073778376 140734490989024 18446744073709551615 270350199705 0 4 0 16800975 18446604453965197632 0 0 -1 2 0 0 0
[pid=2536/tid=2544] ppid=2534 vsize=7645384 CPUtime=0 cores=0,2
/proc/2536/task/2544/stat : 2544 (java) S 2534 2536 1417 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 443405000 7828873216 20432 33554432000 1073741824 1073778376 140734490989024 18446744073709551615 270350199705 0 4 0 16800975 18446604453965197632 0 0 -1 2 0 0 0
[pid=2536/tid=2545] ppid=2534 vsize=7645384 CPUtime=0 cores=0,2
/proc/2536/task/2545/stat : 2545 (java) S 2534 2536 1417 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 443405000 7828873216 20432 33554432000 1073741824 1073778376 140734490989024 18446744073709551615 270350199705 0 4 0 16800975 18446604453965197632 0 0 -1 2 0 0 0
[pid=2536/tid=2546] ppid=2534 vsize=7645384 CPUtime=0 cores=0,2
/proc/2536/task/2546/stat : 2546 (java) S 2534 2536 1417 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 443405000 7828873216 20432 33554432000 1073741824 1073778376 140734490989024 18446744073709551615 270350199705 0 4 0 16800975 18446604453965197632 0 0 -1 2 0 0 0
[pid=2536/tid=2547] ppid=2534 vsize=7645384 CPUtime=0 cores=0,2
/proc/2536/task/2547/stat : 2547 (java) S 2534 2536 1417 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 443405000 7828873216 20432 33554432000 1073741824 1073778376 140734490989024 18446744073709551615 270350199705 0 4 0 16800975 18446604453965197632 0 0 -1 0 0 0 0
[pid=2536/tid=2548] ppid=2534 vsize=7645384 CPUtime=0 cores=0,2
/proc/2536/task/2548/stat : 2548 (java) S 2534 2536 1417 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 19 0 443405001 7828873216 20432 33554432000 1073741824 1073778376 140734490989024 18446744073709551615 270350200320 0 0 0 16800975 18446604453965197632 0 0 -1 0 0 0 0
[pid=2536/tid=2549] ppid=2534 vsize=7645384 CPUtime=0 cores=0,2
/proc/2536/task/2549/stat : 2549 (java) S 2534 2536 1417 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 443405002 7828873216 20432 33554432000 1073741824 1073778376 140734490989024 18446744073709551615 270350199705 0 4 0 16800975 18446604453965197632 0 0 -1 0 0 0 0
[pid=2536/tid=2550] ppid=2534 vsize=7645384 CPUtime=0 cores=0,2
/proc/2536/task/2550/stat : 2550 (java) S 2534 2536 1417 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 443405002 7828873216 20432 33554432000 1073741824 1073778376 140734490989024 18446744073709551615 270350199705 0 4 0 16800975 18446604453965197632 0 0 -1 2 0 0 0
[pid=2536/tid=2554] ppid=2534 vsize=7645384 CPUtime=0 cores=0,2
/proc/2536/task/2554/stat : 2554 (java) S 2534 2536 1417 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 443405004 7828873216 20432 33554432000 1073741824 1073778376 140734490989024 18446744073709551615 270350207409 0 4 0 16800975 18446604453965197632 0 0 -1 2 0 0 0
[pid=2536/tid=2555] ppid=2534 vsize=7645384 CPUtime=0.37 cores=0,2
/proc/2536/task/2555/stat : 2555 (java) S 2534 2536 1417 0 -1 4202560 3338 0 0 0 37 0 0 0 15 0 19 0 443405004 7828873216 20432 33554432000 1073741824 1073778376 140734490989024 18446744073709551615 270350199705 0 4 0 16800975 18446604453965197632 0 0 -1 2 0 0 0
[pid=2536/tid=2556] ppid=2534 vsize=7645384 CPUtime=0.17 cores=0,2
/proc/2536/task/2556/stat : 2556 (java) S 2534 2536 1417 0 -1 4202560 568 0 0 0 17 0 0 0 15 0 19 0 443405004 7828873216 20432 33554432000 1073741824 1073778376 140734490989024 18446744073709551615 270350199705 0 4 0 16800975 18446604453965197632 0 0 -1 2 0 0 0
[pid=2536/tid=2557] ppid=2534 vsize=7645384 CPUtime=0 cores=0,2
/proc/2536/task/2557/stat : 2557 (java) S 2534 2536 1417 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 443405004 7828873216 20432 33554432000 1073741824 1073778376 140734490989024 18446744073709551615 270350199705 0 4 0 16800975 18446604453965197632 0 0 -1 0 0 0 0
[pid=2536/tid=2559] ppid=2534 vsize=7645384 CPUtime=0 cores=0,2
/proc/2536/task/2559/stat : 2559 (java) S 2534 2536 1417 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 443405004 7828873216 20432 33554432000 1073741824 1073778376 140734490989024 18446744073709551615 270350200320 0 4 0 16800975 18446604453965197632 0 0 -1 0 0 0 0
[pid=2536/tid=2612] ppid=2534 vsize=7645384 CPUtime=0 cores=0,2
/proc/2536/task/2612/stat : 2612 (java) S 2534 2536 1417 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 443405042 7828873216 20432 33554432000 1073741824 1073778376 140734490989024 18446744073709551615 270350200320 0 4 0 16800975 18446604453965197632 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.63
Current children cumulated vsize (KiB) 7645384

[startup+6.30068 s]
/proc/loadavg: 3.26 3.83 3.87 5/262 2636
/proc/meminfo: memFree=12443676/32951124 swapFree=67111528/67111528
[pid=2536] ppid=2534 vsize=7649788 CPUtime=7.33 cores=0,2
/proc/2536/stat : 2536 (java) S 2534 2536 1417 0 -1 4202496 41870 0 1 0 727 6 0 0 21 0 19 0 443404997 7833382912 35374 33554432000 1073741824 1073778376 140734490989024 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2536/statm: 1912447 35374 2253 9 0 1903185 0
[pid=2536/tid=2538] ppid=2534 vsize=7649788 CPUtime=6.02 cores=0,2
/proc/2536/task/2538/stat : 2538 (java) R 2534 2536 1417 0 -1 4202560 16961 0 1 0 600 2 0 0 25 0 19 0 443404998 7833382912 35374 33554432000 1073741824 1073778376 140734490989024 18446744073709551615 46912505715862 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2536/tid=2539] ppid=2534 vsize=7649788 CPUtime=0.03 cores=0,2
/proc/2536/task/2539/stat : 2539 (java) S 2534 2536 1417 0 -1 4202560 3328 0 0 0 3 0 0 0 15 0 19 0 443405000 7833382912 35374 33554432000 1073741824 1073778376 140734490989024 18446744073709551615 270350199705 0 4 0 16800975 18446604453965197632 0 0 -1 2 0 0 0
[pid=2536/tid=2540] ppid=2534 vsize=7649788 CPUtime=0.03 cores=0,2
/proc/2536/task/2540/stat : 2540 (java) S 2534 2536 1417 0 -1 4202560 2871 0 0 0 3 0 0 0 16 0 19 0 443405000 7833382912 35374 33554432000 1073741824 1073778376 140734490989024 18446744073709551615 270350199705 0 4 0 16800975 18446604453965197632 0 0 -1 2 0 0 0
[pid=2536/tid=2542] ppid=2534 vsize=7649788 CPUtime=0 cores=0,2
/proc/2536/task/2542/stat : 2542 (java) S 2534 2536 1417 0 -1 4202560 492 0 0 0 0 0 0 0 15 0 19 0 443405000 7833382912 35374 33554432000 1073741824 1073778376 140734490989024 18446744073709551615 270350199705 0 4 0 16800975 18446604453965197632 0 0 -1 2 0 0 0
[pid=2536/tid=2543] ppid=2534 vsize=7649788 CPUtime=0 cores=0,2
/proc/2536/task/2543/stat : 2543 (java) S 2534 2536 1417 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 443405000 7833382912 35374 33554432000 1073741824 1073778376 140734490989024 18446744073709551615 270350199705 0 4 0 16800975 18446604453965197632 0 0 -1 2 0 0 0
[pid=2536/tid=2544] ppid=2534 vsize=7649788 CPUtime=0 cores=0,2
/proc/2536/task/2544/stat : 2544 (java) S 2534 2536 1417 0 -1 4202560 15 0 0 0 0 0 0 0 15 0 19 0 443405000 7833382912 35374 33554432000 1073741824 1073778376 140734490989024 18446744073709551615 270350199705 0 4 0 16800975 18446604453965197632 0 0 -1 2 0 0 0
[pid=2536/tid=2545] ppid=2534 vsize=7649788 CPUtime=0 cores=0,2
/proc/2536/task/2545/stat : 2545 (java) S 2534 2536 1417 0 -1 4202560 23 0 0 0 0 0 0 0 15 0 19 0 443405000 7833382912 35374 33554432000 1073741824 1073778376 140734490989024 18446744073709551615 270350199705 0 4 0 16800975 18446604453965197632 0 0 -1 2 0 0 0
[pid=2536/tid=2546] ppid=2534 vsize=7649788 CPUtime=0 cores=0,2
/proc/2536/task/2546/stat : 2546 (java) S 2534 2536 1417 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 443405000 7833382912 35374 33554432000 1073741824 1073778376 140734490989024 18446744073709551615 270350199705 0 4 0 16800975 18446604453965197632 0 0 -1 2 0 0 0
[pid=2536/tid=2547] ppid=2534 vsize=7649788 CPUtime=0 cores=0,2
/proc/2536/task/2547/stat : 2547 (java) S 2534 2536 1417 0 -1 4202560 130 0 0 0 0 0 0 0 15 0 19 0 443405000 7833382912 35374 33554432000 1073741824 1073778376 140734490989024 18446744073709551615 270350199705 0 4 0 16800975 18446604453965197632 0 0 -1 2 0 0 0
[pid=2536/tid=2548] ppid=2534 vsize=7649788 CPUtime=0.18 cores=0,2
/proc/2536/task/2548/stat : 2548 (java) S 2534 2536 1417 0 -1 4202560 6668 0 0 0 18 0 0 0 16 0 19 0 443405001 7833382912 35374 33554432000 1073741824 1073778376 140734490989024 18446744073709551615 270350200320 0 0 0 16800975 18446604453965197632 0 0 -1 0 0 0 0
[pid=2536/tid=2549] ppid=2534 vsize=7649788 CPUtime=0 cores=0,2
/proc/2536/task/2549/stat : 2549 (java) S 2534 2536 1417 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 443405002 7833382912 35374 33554432000 1073741824 1073778376 140734490989024 18446744073709551615 270350199705 0 4 0 16800975 18446604453965197632 0 0 -1 0 0 0 0
[pid=2536/tid=2550] ppid=2534 vsize=7649788 CPUtime=0 cores=0,2
/proc/2536/task/2550/stat : 2550 (java) S 2534 2536 1417 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 443405002 7833382912 35374 33554432000 1073741824 1073778376 140734490989024 18446744073709551615 270350199705 0 4 0 16800975 18446604453965197632 0 0 -1 2 0 0 0
[pid=2536/tid=2554] ppid=2534 vsize=7649788 CPUtime=0 cores=0,2
/proc/2536/task/2554/stat : 2554 (java) S 2534 2536 1417 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 443405004 7833382912 35374 33554432000 1073741824 1073778376 140734490989024 18446744073709551615 270350207409 0 4 0 16800975 18446604453965197632 0 0 -1 2 0 0 0
[pid=2536/tid=2555] ppid=2534 vsize=7649788 CPUtime=0.4 cores=0,2
/proc/2536/task/2555/stat : 2555 (java) S 2534 2536 1417 0 -1 4202560 3443 0 0 0 40 0 0 0 15 0 19 0 443405004 7833382912 35374 33554432000 1073741824 1073778376 140734490989024 18446744073709551615 270350199705 0 4 0 16800975 18446604453965197632 0 0 -1 2 0 0 0
[pid=2536/tid=2556] ppid=2534 vsize=7649788 CPUtime=0.6 cores=0,2
/proc/2536/task/2556/stat : 2556 (java) S 2534 2536 1417 0 -1 4202560 6786 0 0 0 60 0 0 0 16 0 19 0 443405004 7833382912 35374 33554432000 1073741824 1073778376 140734490989024 18446744073709551615 270350199705 0 4 0 16800975 18446604453965197632 0 0 -1 0 0 0 0
[pid=2536/tid=2557] ppid=2534 vsize=7649788 CPUtime=0 cores=0,2
/proc/2536/task/2557/stat : 2557 (java) S 2534 2536 1417 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 443405004 7833382912 35374 33554432000 1073741824 1073778376 140734490989024 18446744073709551615 270350199705 0 4 0 16800975 18446604453965197632 0 0 -1 0 0 0 0
[pid=2536/tid=2559] ppid=2534 vsize=7649788 CPUtime=0 cores=0,2
/proc/2536/task/2559/stat : 2559 (java) S 2534 2536 1417 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 443405004 7833382912 35374 33554432000 1073741824 1073778376 140734490989024 18446744073709551615 270350200320 0 4 0 16800975 18446604453965197632 0 0 -1 2 0 0 0
[pid=2536/tid=2612] ppid=2534 vsize=7649788 CPUtime=0 cores=0,2
/proc/2536/task/2612/stat : 2612 (java) S 2534 2536 1417 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 443405042 7833382912 35374 33554432000 1073741824 1073778376 140734490989024 18446744073709551615 270350200320 0 4 0 16800975 18446604453965197632 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 7.33
Current children cumulated vsize (KiB) 7649788

[startup+12.7014 s]

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

[pid=2536/tid=2545] ppid=2534 vsize=7649788 CPUtime=0.1 cores=0,2
/proc/2536/task/2545/stat : 2545 (java) S 2534 2536 1417 0 -1 4202560 40 0 0 0 10 0 0 0 15 0 19 0 443405000 7833382912 41147 33554432000 1073741824 1073778376 140734490989024 18446744073709551615 270350199705 0 4 0 16800975 18446604453965197632 0 0 -1 2 0 0 0
[pid=2536/tid=2546] ppid=2534 vsize=7649788 CPUtime=0.14 cores=0,2
/proc/2536/task/2546/stat : 2546 (java) S 2534 2536 1417 0 -1 4202560 18 0 0 0 14 0 0 0 15 0 19 0 443405000 7833382912 41147 33554432000 1073741824 1073778376 140734490989024 18446744073709551615 270350199705 0 4 0 16800975 18446604453965197632 0 0 -1 2 0 0 0
[pid=2536/tid=2547] ppid=2534 vsize=7649788 CPUtime=0.09 cores=0,2
/proc/2536/task/2547/stat : 2547 (java) S 2534 2536 1417 0 -1 4202560 182 0 0 0 9 0 0 0 15 0 19 0 443405000 7833382912 41147 33554432000 1073741824 1073778376 140734490989024 18446744073709551615 270350199705 0 4 0 16800975 18446604453965197632 0 0 -1 2 0 0 0
[pid=2536/tid=2548] ppid=2534 vsize=7649788 CPUtime=5.99 cores=0,2
/proc/2536/task/2548/stat : 2548 (java) S 2534 2536 1417 0 -1 4202560 10738 0 0 0 598 1 0 0 15 0 19 0 443405001 7833382912 41147 33554432000 1073741824 1073778376 140734490989024 18446744073709551615 270350200320 0 0 0 16800975 18446604453965197632 0 0 -1 0 0 0 0
[pid=2536/tid=2549] ppid=2534 vsize=7649788 CPUtime=0 cores=0,2
/proc/2536/task/2549/stat : 2549 (java) S 2534 2536 1417 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 443405002 7833382912 41147 33554432000 1073741824 1073778376 140734490989024 18446744073709551615 270350199705 0 4 0 16800975 18446604453965197632 0 0 -1 0 0 0 0
[pid=2536/tid=2550] ppid=2534 vsize=7649788 CPUtime=0 cores=0,2
/proc/2536/task/2550/stat : 2550 (java) S 2534 2536 1417 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 443405002 7833382912 41147 33554432000 1073741824 1073778376 140734490989024 18446744073709551615 270350199705 0 4 0 16800975 18446604453965197632 0 0 -1 2 0 0 0
[pid=2536/tid=2554] ppid=2534 vsize=7649788 CPUtime=0 cores=0,2
/proc/2536/task/2554/stat : 2554 (java) S 2534 2536 1417 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 443405004 7833382912 41147 33554432000 1073741824 1073778376 140734490989024 18446744073709551615 270350207409 0 4 0 16800975 18446604453965197632 0 0 -1 2 0 0 0
[pid=2536/tid=2555] ppid=2534 vsize=7649788 CPUtime=0.43 cores=0,2
/proc/2536/task/2555/stat : 2555 (java) S 2534 2536 1417 0 -1 4202560 3782 0 0 0 43 0 0 0 15 0 19 0 443405004 7833382912 41147 33554432000 1073741824 1073778376 140734490989024 18446744073709551615 270350199705 0 4 0 16800975 18446604453965197632 0 0 -1 2 0 0 0
[pid=2536/tid=2556] ppid=2534 vsize=7649788 CPUtime=0.6 cores=0,2
/proc/2536/task/2556/stat : 2556 (java) S 2534 2536 1417 0 -1 4202560 6786 0 0 0 60 0 0 0 15 0 19 0 443405004 7833382912 41147 33554432000 1073741824 1073778376 140734490989024 18446744073709551615 270350199705 0 4 0 16800975 18446604453965197632 0 0 -1 0 0 0 0
[pid=2536/tid=2557] ppid=2534 vsize=7649788 CPUtime=0 cores=0,2
/proc/2536/task/2557/stat : 2557 (java) S 2534 2536 1417 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 443405004 7833382912 41147 33554432000 1073741824 1073778376 140734490989024 18446744073709551615 270350199705 0 4 0 16800975 18446604453965197632 0 0 -1 0 0 0 0
[pid=2536/tid=2559] ppid=2534 vsize=7649788 CPUtime=0 cores=0,2
/proc/2536/task/2559/stat : 2559 (java) S 2534 2536 1417 0 -1 4202560 65 0 0 0 0 0 0 0 15 0 19 0 443405004 7833382912 41147 33554432000 1073741824 1073778376 140734490989024 18446744073709551615 270350200320 0 4 0 16800975 18446604453965197632 0 0 -1 2 0 0 0
[pid=2536/tid=2612] ppid=2534 vsize=7649788 CPUtime=0 cores=0,2
/proc/2536/task/2612/stat : 2612 (java) S 2534 2536 1417 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 443405042 7833382912 41147 33554432000 1073741824 1073778376 140734490989024 18446744073709551615 270350200320 0 4 0 16800975 18446604453965197632 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1123.83
Current children cumulated vsize (KiB) 7649788

[startup+1182.3 s]
/proc/loadavg: 4.02 4.02 3.94 5/262 2667
/proc/meminfo: memFree=12239724/32951124 swapFree=67111528/67111528
[pid=2536] ppid=2534 vsize=7649788 CPUtime=1183.83 cores=0,2
/proc/2536/stat : 2536 (java) S 2534 2536 1417 0 -1 4202496 48013 0 1 0 118375 8 0 0 21 0 19 0 443404997 7833382912 41225 33554432000 1073741824 1073778376 140734490989024 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2536/statm: 1912447 41225 2253 9 0 1903185 0
[pid=2536/tid=2538] ppid=2534 vsize=7649788 CPUtime=1175.67 cores=0,2
/proc/2536/task/2538/stat : 2538 (java) R 2534 2536 1417 0 -1 4202560 17017 0 1 0 117564 3 0 0 25 0 19 0 443404998 7833382912 41225 33554432000 1073741824 1073778376 140734490989024 18446744073709551615 46912505605915 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2536/tid=2539] ppid=2534 vsize=7649788 CPUtime=0.16 cores=0,2
/proc/2536/task/2539/stat : 2539 (java) S 2534 2536 1417 0 -1 4202560 4495 0 0 0 16 0 0 0 15 0 19 0 443405000 7833382912 41225 33554432000 1073741824 1073778376 140734490989024 18446744073709551615 270350199705 0 4 0 16800975 18446604453965197632 0 0 -1 2 0 0 0
[pid=2536/tid=2540] ppid=2534 vsize=7649788 CPUtime=0.16 cores=0,2
/proc/2536/task/2540/stat : 2540 (java) S 2534 2536 1417 0 -1 4202560 3051 0 0 0 16 0 0 0 15 0 19 0 443405000 7833382912 41225 33554432000 1073741824 1073778376 140734490989024 18446744073709551615 270350199705 0 4 0 16800975 18446604453965197632 0 0 -1 2 0 0 0
[pid=2536/tid=2542] ppid=2534 vsize=7649788 CPUtime=0.1 cores=0,2
/proc/2536/task/2542/stat : 2542 (java) S 2534 2536 1417 0 -1 4202560 569 0 0 0 10 0 0 0 15 0 19 0 443405000 7833382912 41225 33554432000 1073741824 1073778376 140734490989024 18446744073709551615 270350199705 0 4 0 16800975 18446604453965197632 0 0 -1 2 0 0 0
[pid=2536/tid=2543] ppid=2534 vsize=7649788 CPUtime=0.1 cores=0,2
/proc/2536/task/2543/stat : 2543 (java) S 2534 2536 1417 0 -1 4202560 14 0 0 0 10 0 0 0 16 0 19 0 443405000 7833382912 41225 33554432000 1073741824 1073778376 140734490989024 18446744073709551615 270350199705 0 4 0 16800975 18446604453965197632 0 0 -1 2 0 0 0
[pid=2536/tid=2544] ppid=2534 vsize=7649788 CPUtime=0.09 cores=0,2
/proc/2536/task/2544/stat : 2544 (java) S 2534 2536 1417 0 -1 4202560 23 0 0 0 9 0 0 0 16 0 19 0 443405000 7833382912 41225 33554432000 1073741824 1073778376 140734490989024 18446744073709551615 270350199705 0 4 0 16800975 18446604453965197632 0 0 -1 2 0 0 0
[pid=2536/tid=2545] ppid=2534 vsize=7649788 CPUtime=0.1 cores=0,2
/proc/2536/task/2545/stat : 2545 (java) S 2534 2536 1417 0 -1 4202560 40 0 0 0 10 0 0 0 15 0 19 0 443405000 7833382912 41225 33554432000 1073741824 1073778376 140734490989024 18446744073709551615 270350199705 0 4 0 16800975 18446604453965197632 0 0 -1 2 0 0 0
[pid=2536/tid=2546] ppid=2534 vsize=7649788 CPUtime=0.14 cores=0,2
/proc/2536/task/2546/stat : 2546 (java) S 2534 2536 1417 0 -1 4202560 18 0 0 0 14 0 0 0 15 0 19 0 443405000 7833382912 41225 33554432000 1073741824 1073778376 140734490989024 18446744073709551615 270350199705 0 4 0 16800975 18446604453965197632 0 0 -1 0 0 0 0
[pid=2536/tid=2547] ppid=2534 vsize=7649788 CPUtime=0.09 cores=0,2
/proc/2536/task/2547/stat : 2547 (java) S 2534 2536 1417 0 -1 4202560 182 0 0 0 9 0 0 0 15 0 19 0 443405000 7833382912 41225 33554432000 1073741824 1073778376 140734490989024 18446744073709551615 270350199705 0 4 0 16800975 18446604453965197632 0 0 -1 2 0 0 0
[pid=2536/tid=2548] ppid=2534 vsize=7649788 CPUtime=6.1 cores=0,2
/proc/2536/task/2548/stat : 2548 (java) S 2534 2536 1417 0 -1 4202560 10817 0 0 0 609 1 0 0 15 0 19 0 443405001 7833382912 41225 33554432000 1073741824 1073778376 140734490989024 18446744073709551615 270350200320 0 0 0 16800975 18446604453965197632 0 0 -1 0 0 0 0
[pid=2536/tid=2549] ppid=2534 vsize=7649788 CPUtime=0 cores=0,2
/proc/2536/task/2549/stat : 2549 (java) S 2534 2536 1417 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 443405002 7833382912 41225 33554432000 1073741824 1073778376 140734490989024 18446744073709551615 270350199705 0 4 0 16800975 18446604453965197632 0 0 -1 0 0 0 0
[pid=2536/tid=2550] ppid=2534 vsize=7649788 CPUtime=0 cores=0,2
/proc/2536/task/2550/stat : 2550 (java) S 2534 2536 1417 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 443405002 7833382912 41225 33554432000 1073741824 1073778376 140734490989024 18446744073709551615 270350199705 0 4 0 16800975 18446604453965197632 0 0 -1 2 0 0 0
[pid=2536/tid=2554] ppid=2534 vsize=7649788 CPUtime=0 cores=0,2
/proc/2536/task/2554/stat : 2554 (java) S 2534 2536 1417 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 443405004 7833382912 41225 33554432000 1073741824 1073778376 140734490989024 18446744073709551615 270350207409 0 4 0 16800975 18446604453965197632 0 0 -1 2 0 0 0
[pid=2536/tid=2555] ppid=2534 vsize=7649788 CPUtime=0.43 cores=0,2
/proc/2536/task/2555/stat : 2555 (java) S 2534 2536 1417 0 -1 4202560 3782 0 0 0 43 0 0 0 15 0 19 0 443405004 7833382912 41225 33554432000 1073741824 1073778376 140734490989024 18446744073709551615 270350199705 0 4 0 16800975 18446604453965197632 0 0 -1 2 0 0 0
[pid=2536/tid=2556] ppid=2534 vsize=7649788 CPUtime=0.6 cores=0,2
/proc/2536/task/2556/stat : 2556 (java) S 2534 2536 1417 0 -1 4202560 6786 0 0 0 60 0 0 0 15 0 19 0 443405004 7833382912 41225 33554432000 1073741824 1073778376 140734490989024 18446744073709551615 270350199705 0 4 0 16800975 18446604453965197632 0 0 -1 0 0 0 0
[pid=2536/tid=2557] ppid=2534 vsize=7649788 CPUtime=0 cores=0,2
/proc/2536/task/2557/stat : 2557 (java) S 2534 2536 1417 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 443405004 7833382912 41225 33554432000 1073741824 1073778376 140734490989024 18446744073709551615 270350199705 0 4 0 16800975 18446604453965197632 0 0 -1 0 0 0 0
[pid=2536/tid=2559] ppid=2534 vsize=7649788 CPUtime=0 cores=0,2
/proc/2536/task/2559/stat : 2559 (java) S 2534 2536 1417 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 19 0 443405004 7833382912 41225 33554432000 1073741824 1073778376 140734490989024 18446744073709551615 270350200320 0 4 0 16800975 18446604453965197632 0 0 -1 2 0 0 0
[pid=2536/tid=2612] ppid=2534 vsize=7649788 CPUtime=0 cores=0,2
/proc/2536/task/2612/stat : 2612 (java) S 2534 2536 1417 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 443405042 7833382912 41225 33554432000 1073741824 1073778376 140734490989024 18446744073709551615 270350200320 0 4 0 16800975 18446604453965197632 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1183.83
Current children cumulated vsize (KiB) 7649788

[startup+1242.3 s]
/proc/loadavg: 4.06 4.03 3.95 5/262 2672
/proc/meminfo: memFree=12236800/32951124 swapFree=67111528/67111528
[pid=2536] ppid=2534 vsize=7649788 CPUtime=1243.85 cores=0,2
/proc/2536/stat : 2536 (java) S 2534 2536 1417 0 -1 4202496 48133 0 1 0 124377 8 0 0 21 0 19 0 443404997 7833382912 41335 33554432000 1073741824 1073778376 140734490989024 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2536/statm: 1912447 41335 2253 9 0 1903185 0
[pid=2536/tid=2538] ppid=2534 vsize=7649788 CPUtime=1235.39 cores=0,2
/proc/2536/task/2538/stat : 2538 (java) R 2534 2536 1417 0 -1 4202560 17019 0 1 0 123536 3 0 0 25 0 19 0 443404998 7833382912 41335 33554432000 1073741824 1073778376 140734490989024 18446744073709551615 46912505605505 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2536/tid=2539] ppid=2534 vsize=7649788 CPUtime=0.16 cores=0,2
/proc/2536/task/2539/stat : 2539 (java) S 2534 2536 1417 0 -1 4202560 4495 0 0 0 16 0 0 0 15 0 19 0 443405000 7833382912 41335 33554432000 1073741824 1073778376 140734490989024 18446744073709551615 270350199705 0 4 0 16800975 18446604453965197632 0 0 -1 2 0 0 0
[pid=2536/tid=2540] ppid=2534 vsize=7649788 CPUtime=0.16 cores=0,2
/proc/2536/task/2540/stat : 2540 (java) S 2534 2536 1417 0 -1 4202560 3051 0 0 0 16 0 0 0 15 0 19 0 443405000 7833382912 41335 33554432000 1073741824 1073778376 140734490989024 18446744073709551615 270350199705 0 4 0 16800975 18446604453965197632 0 0 -1 2 0 0 0
[pid=2536/tid=2542] ppid=2534 vsize=7649788 CPUtime=0.1 cores=0,2
/proc/2536/task/2542/stat : 2542 (java) S 2534 2536 1417 0 -1 4202560 569 0 0 0 10 0 0 0 15 0 19 0 443405000 7833382912 41335 33554432000 1073741824 1073778376 140734490989024 18446744073709551615 270350199705 0 4 0 16800975 18446604453965197632 0 0 -1 2 0 0 0
[pid=2536/tid=2543] ppid=2534 vsize=7649788 CPUtime=0.1 cores=0,2
/proc/2536/task/2543/stat : 2543 (java) S 2534 2536 1417 0 -1 4202560 14 0 0 0 10 0 0 0 15 0 19 0 443405000 7833382912 41335 33554432000 1073741824 1073778376 140734490989024 18446744073709551615 270350199705 0 4 0 16800975 18446604453965197632 0 0 -1 2 0 0 0
[pid=2536/tid=2544] ppid=2534 vsize=7649788 CPUtime=0.09 cores=0,2
/proc/2536/task/2544/stat : 2544 (java) S 2534 2536 1417 0 -1 4202560 23 0 0 0 9 0 0 0 15 0 19 0 443405000 7833382912 41335 33554432000 1073741824 1073778376 140734490989024 18446744073709551615 270350199705 0 4 0 16800975 18446604453965197632 0 0 -1 2 0 0 0
[pid=2536/tid=2545] ppid=2534 vsize=7649788 CPUtime=0.12 cores=0,2
/proc/2536/task/2545/stat : 2545 (java) S 2534 2536 1417 0 -1 4202560 42 0 0 0 12 0 0 0 15 0 19 0 443405000 7833382912 41335 33554432000 1073741824 1073778376 140734490989024 18446744073709551615 270350199705 0 4 0 16800975 18446604453965197632 0 0 -1 2 0 0 0
[pid=2536/tid=2546] ppid=2534 vsize=7649788 CPUtime=0.14 cores=0,2
/proc/2536/task/2546/stat : 2546 (java) S 2534 2536 1417 0 -1 4202560 18 0 0 0 14 0 0 0 15 0 19 0 443405000 7833382912 41335 33554432000 1073741824 1073778376 140734490989024 18446744073709551615 270350199705 0 4 0 16800975 18446604453965197632 0 0 -1 2 0 0 0
[pid=2536/tid=2547] ppid=2534 vsize=7649788 CPUtime=0.1 cores=0,2
/proc/2536/task/2547/stat : 2547 (java) S 2534 2536 1417 0 -1 4202560 186 0 0 0 10 0 0 0 15 0 19 0 443405000 7833382912 41335 33554432000 1073741824 1073778376 140734490989024 18446744073709551615 270350199705 0 4 0 16800975 18446604453965197632 0 0 -1 2 0 0 0
[pid=2536/tid=2548] ppid=2534 vsize=7649788 CPUtime=6.36 cores=0,2
/proc/2536/task/2548/stat : 2548 (java) S 2534 2536 1417 0 -1 4202560 10925 0 0 0 635 1 0 0 15 0 19 0 443405001 7833382912 41335 33554432000 1073741824 1073778376 140734490989024 18446744073709551615 270350200320 0 0 0 16800975 18446604453965197632 0 0 -1 0 0 0 0
[pid=2536/tid=2549] ppid=2534 vsize=7649788 CPUtime=0 cores=0,2
/proc/2536/task/2549/stat : 2549 (java) S 2534 2536 1417 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 443405002 7833382912 41335 33554432000 1073741824 1073778376 140734490989024 18446744073709551615 270350199705 0 4 0 16800975 18446604453965197632 0 0 -1 0 0 0 0
[pid=2536/tid=2550] ppid=2534 vsize=7649788 CPUtime=0 cores=0,2
/proc/2536/task/2550/stat : 2550 (java) S 2534 2536 1417 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 443405002 7833382912 41335 33554432000 1073741824 1073778376 140734490989024 18446744073709551615 270350199705 0 4 0 16800975 18446604453965197632 0 0 -1 2 0 0 0
[pid=2536/tid=2554] ppid=2534 vsize=7649788 CPUtime=0 cores=0,2
/proc/2536/task/2554/stat : 2554 (java) S 2534 2536 1417 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 443405004 7833382912 41335 33554432000 1073741824 1073778376 140734490989024 18446744073709551615 270350207409 0 4 0 16800975 18446604453965197632 0 0 -1 2 0 0 0
[pid=2536/tid=2555] ppid=2534 vsize=7649788 CPUtime=0.43 cores=0,2
/proc/2536/task/2555/stat : 2555 (java) S 2534 2536 1417 0 -1 4202560 3782 0 0 0 43 0 0 0 15 0 19 0 443405004 7833382912 41335 33554432000 1073741824 1073778376 140734490989024 18446744073709551615 270350199705 0 4 0 16800975 18446604453965197632 0 0 -1 2 0 0 0
[pid=2536/tid=2556] ppid=2534 vsize=7649788 CPUtime=0.6 cores=0,2
/proc/2536/task/2556/stat : 2556 (java) S 2534 2536 1417 0 -1 4202560 6786 0 0 0 60 0 0 0 15 0 19 0 443405004 7833382912 41335 33554432000 1073741824 1073778376 140734490989024 18446744073709551615 270350199705 0 4 0 16800975 18446604453965197632 0 0 -1 0 0 0 0
[pid=2536/tid=2557] ppid=2534 vsize=7649788 CPUtime=0 cores=0,2
/proc/2536/task/2557/stat : 2557 (java) S 2534 2536 1417 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 443405004 7833382912 41335 33554432000 1073741824 1073778376 140734490989024 18446744073709551615 270350199705 0 4 0 16800975 18446604453965197632 0 0 -1 0 0 0 0
[pid=2536/tid=2559] ppid=2534 vsize=7649788 CPUtime=0 cores=0,2
/proc/2536/task/2559/stat : 2559 (java) S 2534 2536 1417 0 -1 4202560 73 0 0 0 0 0 0 0 15 0 19 0 443405004 7833382912 41335 33554432000 1073741824 1073778376 140734490989024 18446744073709551615 270350200320 0 4 0 16800975 18446604453965197632 0 0 -1 2 0 0 0
[pid=2536/tid=2612] ppid=2534 vsize=7649788 CPUtime=0 cores=0,2
/proc/2536/task/2612/stat : 2612 (java) S 2534 2536 1417 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 443405042 7833382912 41335 33554432000 1073741824 1073778376 140734490989024 18446744073709551615 270350200320 0 4 0 16800975 18446604453965197632 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1243.85
Current children cumulated vsize (KiB) 7649788



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 4.02 4.02 3.95 5/262 2673
/proc/meminfo: memFree=12235868/32951124 swapFree=67111528/67111528
[pid=2536] ppid=2534 vsize=7649788 CPUtime=1301.57 cores=0,2
/proc/2536/stat : 2536 (java) S 2534 2536 1417 0 -1 4202496 48172 0 1 0 130149 8 0 0 21 0 19 0 443404997 7833382912 41367 33554432000 1073741824 1073778376 140734490989024 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2536/statm: 1912447 41367 2253 9 0 1903185 0
[pid=2536/tid=2538] ppid=2534 vsize=7649788 CPUtime=1292.98 cores=0,2
/proc/2536/task/2538/stat : 2538 (java) R 2534 2536 1417 0 -1 4202560 17020 0 1 0 129295 3 0 0 25 0 19 0 443404998 7833382912 41367 33554432000 1073741824 1073778376 140734490989024 18446744073709551615 46912505731971 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2536/tid=2539] ppid=2534 vsize=7649788 CPUtime=0.16 cores=0,2
/proc/2536/task/2539/stat : 2539 (java) S 2534 2536 1417 0 -1 4202560 4495 0 0 0 16 0 0 0 15 0 19 0 443405000 7833382912 41367 33554432000 1073741824 1073778376 140734490989024 18446744073709551615 270350199705 0 4 0 16800975 18446604453965197632 0 0 -1 2 0 0 0
[pid=2536/tid=2540] ppid=2534 vsize=7649788 CPUtime=0.17 cores=0,2
/proc/2536/task/2540/stat : 2540 (java) S 2534 2536 1417 0 -1 4202560 3051 0 0 0 17 0 0 0 15 0 19 0 443405000 7833382912 41367 33554432000 1073741824 1073778376 140734490989024 18446744073709551615 270350199705 0 4 0 16800975 18446604453965197632 0 0 -1 2 0 0 0
[pid=2536/tid=2542] ppid=2534 vsize=7649788 CPUtime=0.1 cores=0,2
/proc/2536/task/2542/stat : 2542 (java) S 2534 2536 1417 0 -1 4202560 569 0 0 0 10 0 0 0 15 0 19 0 443405000 7833382912 41367 33554432000 1073741824 1073778376 140734490989024 18446744073709551615 270350199705 0 4 0 16800975 18446604453965197632 0 0 -1 2 0 0 0
[pid=2536/tid=2543] ppid=2534 vsize=7649788 CPUtime=0.1 cores=0,2
/proc/2536/task/2543/stat : 2543 (java) S 2534 2536 1417 0 -1 4202560 14 0 0 0 10 0 0 0 15 0 19 0 443405000 7833382912 41367 33554432000 1073741824 1073778376 140734490989024 18446744073709551615 270350199705 0 4 0 16800975 18446604453965197632 0 0 -1 2 0 0 0
[pid=2536/tid=2544] ppid=2534 vsize=7649788 CPUtime=0.09 cores=0,2
/proc/2536/task/2544/stat : 2544 (java) S 2534 2536 1417 0 -1 4202560 23 0 0 0 9 0 0 0 16 0 19 0 443405000 7833382912 41367 33554432000 1073741824 1073778376 140734490989024 18446744073709551615 270350199705 0 4 0 16800975 18446604453965197632 0 0 -1 2 0 0 0
[pid=2536/tid=2545] ppid=2534 vsize=7649788 CPUtime=0.12 cores=0,2
/proc/2536/task/2545/stat : 2545 (java) S 2534 2536 1417 0 -1 4202560 42 0 0 0 12 0 0 0 15 0 19 0 443405000 7833382912 41367 33554432000 1073741824 1073778376 140734490989024 18446744073709551615 270350199705 0 4 0 16800975 18446604453965197632 0 0 -1 2 0 0 0
[pid=2536/tid=2546] ppid=2534 vsize=7649788 CPUtime=0.14 cores=0,2
/proc/2536/task/2546/stat : 2546 (java) S 2534 2536 1417 0 -1 4202560 18 0 0 0 14 0 0 0 16 0 19 0 443405000 7833382912 41367 33554432000 1073741824 1073778376 140734490989024 18446744073709551615 270350199705 0 4 0 16800975 18446604453965197632 0 0 -1 2 0 0 0
[pid=2536/tid=2547] ppid=2534 vsize=7649788 CPUtime=0.1 cores=0,2
/proc/2536/task/2547/stat : 2547 (java) S 2534 2536 1417 0 -1 4202560 186 0 0 0 10 0 0 0 15 0 19 0 443405000 7833382912 41367 33554432000 1073741824 1073778376 140734490989024 18446744073709551615 270350199705 0 4 0 16800975 18446604453965197632 0 0 -1 2 0 0 0
[pid=2536/tid=2548] ppid=2534 vsize=7649788 CPUtime=6.47 cores=0,2
/proc/2536/task/2548/stat : 2548 (java) S 2534 2536 1417 0 -1 4202560 10959 0 0 0 646 1 0 0 15 0 19 0 443405001 7833382912 41367 33554432000 1073741824 1073778376 140734490989024 18446744073709551615 270350200320 0 0 0 16800975 18446604453965197632 0 0 -1 0 0 0 0
[pid=2536/tid=2549] ppid=2534 vsize=7649788 CPUtime=0 cores=0,2
/proc/2536/task/2549/stat : 2549 (java) S 2534 2536 1417 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 443405002 7833382912 41367 33554432000 1073741824 1073778376 140734490989024 18446744073709551615 270350199705 0 4 0 16800975 18446604453965197632 0 0 -1 0 0 0 0
[pid=2536/tid=2550] ppid=2534 vsize=7649788 CPUtime=0 cores=0,2
/proc/2536/task/2550/stat : 2550 (java) S 2534 2536 1417 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 443405002 7833382912 41367 33554432000 1073741824 1073778376 140734490989024 18446744073709551615 270350199705 0 4 0 16800975 18446604453965197632 0 0 -1 2 0 0 0
[pid=2536/tid=2554] ppid=2534 vsize=7649788 CPUtime=0 cores=0,2
/proc/2536/task/2554/stat : 2554 (java) S 2534 2536 1417 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 443405004 7833382912 41367 33554432000 1073741824 1073778376 140734490989024 18446744073709551615 270350207409 0 4 0 16800975 18446604453965197632 0 0 -1 2 0 0 0
[pid=2536/tid=2555] ppid=2534 vsize=7649788 CPUtime=0.43 cores=0,2
/proc/2536/task/2555/stat : 2555 (java) S 2534 2536 1417 0 -1 4202560 3782 0 0 0 43 0 0 0 15 0 19 0 443405004 7833382912 41367 33554432000 1073741824 1073778376 140734490989024 18446744073709551615 270350199705 0 4 0 16800975 18446604453965197632 0 0 -1 2 0 0 0
[pid=2536/tid=2556] ppid=2534 vsize=7649788 CPUtime=0.6 cores=0,2
/proc/2536/task/2556/stat : 2556 (java) S 2534 2536 1417 0 -1 4202560 6786 0 0 0 60 0 0 0 15 0 19 0 443405004 7833382912 41367 33554432000 1073741824 1073778376 140734490989024 18446744073709551615 270350199705 0 4 0 16800975 18446604453965197632 0 0 -1 0 0 0 0
[pid=2536/tid=2557] ppid=2534 vsize=7649788 CPUtime=0 cores=0,2
/proc/2536/task/2557/stat : 2557 (java) S 2534 2536 1417 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 443405004 7833382912 41367 33554432000 1073741824 1073778376 140734490989024 18446744073709551615 270350199705 0 4 0 16800975 18446604453965197632 0 0 -1 0 0 0 0
[pid=2536/tid=2559] ppid=2534 vsize=7649788 CPUtime=0 cores=0,2
/proc/2536/task/2559/stat : 2559 (java) S 2534 2536 1417 0 -1 4202560 77 0 0 0 0 0 0 0 15 0 19 0 443405004 7833382912 41367 33554432000 1073741824 1073778376 140734490989024 18446744073709551615 270350200320 0 4 0 16800975 18446604453965197632 0 0 -1 2 0 0 0
[pid=2536/tid=2612] ppid=2534 vsize=7649788 CPUtime=0 cores=0,2
/proc/2536/task/2612/stat : 2612 (java) S 2534 2536 1417 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 443405042 7833382912 41367 33554432000 1073741824 1073778376 140734490989024 18446744073709551615 270350200320 0 4 0 16800975 18446604453965197632 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1301.57
Current children cumulated vsize (KiB) 7649788

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.09
CPU time (s): 1301.74
CPU user time (s): 1301.64
CPU system time (s): 0.101984
CPU usage (%): 100.127
Max. virtual memory (cumulated for all children) (KiB): 7664676

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1301.64
system time used= 0.101984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48950
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= 28314
involuntary context switches= 6073

runsolver used 2.25366 second user time and 4.86126 second system time

The end

Launcher Data 

Begin job on node143 at 2011-04-23 00:04:54
IDJOB=3259752
IDBENCH=71794
IDSOLVER=1611
FILE ID=node143/3259752-1303509894
RUNJOBID= node143-1303509894-2520
PBS_JOBID= 13134235
Free space on /tmp= 72116 MiB

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

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

MD5SUM BENCH= 68c51e190d82ac762156471d1f7373da
RANDOM SEED=1736990984

node143.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.846
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.69
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.846
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.15
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.846
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.846
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.846
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.846
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.846
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.846
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:      12928488 kB
Buffers:       1818760 kB
Cached:       17588668 kB
SwapCached:          0 kB
Active:        9188864 kB
Inactive:     10286308 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      12928488 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            7184 kB
Writeback:           8 kB
AnonPages:       67416 kB
Mapped:          14604 kB
Slab:           484956 kB
PageTables:       5000 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   190752 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= 72104 MiB
End job on node143 at 2011-04-23 00:26:36