Trace number 3263184

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.7 1300.07

General information on the benchmark

NameSAT03/handmade/anton/UNSAT/
SGI_30_70_26_60_1-dir.shuffled-as.sat03-167.cnf
MD5SUMb970e9358cd0cd1a9cfd3d4afb2e830d
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables780
Number of clauses65612
Sum of the clauses size131952
Maximum clause length30
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 265586
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 526

Solver Data 

0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.08	c no version file found!!!
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.18-164.el5
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		6997539544
0.00/0.08	c Max memory 		7034241024
0.00/0.08	c Total memory 		7034241024
0.00/0.08	c Number of processors 	8
0.00/0.10	c --- Begin Solver configuration ---
0.00/0.10	c org.sat4j.minisat.constraints.MixedDataStructureDanielWL@64578ceb
0.00/0.10	c Learn all clauses as in MiniSAT
0.00/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.1 initConflictBound=100 
0.00/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT
0.00/0.10	c Expensive reason simplification
0.00/0.10	c Armin Biere (Picosat) restarts strategy
0.00/0.10	c Glucose learned constraints deletion strategy
0.00/0.10	c timeout=2147483647s
0.00/0.10	c DB Simplification allowed=true
0.00/0.10	c --- End Solver configuration ---
0.00/0.10	c solving HOME/instance-3263184-1303563868.cnf
0.00/0.10	c reading problem ... 
0.26/0.23	c ... done. Wall clock time 0.133s.
0.26/0.23	c #vars     780
0.26/0.23	c #constraints  65612
0.26/0.23	c constraints type 
0.26/0.23	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 26
0.26/0.23	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 65586
1.28/1.02	c cleaning 2498 clauses out of 5003 with flag 5003/5003
1.99/1.76	c cleaning 4249 clauses out of 8502 with flag 11000/11000
2.89/2.69	c cleaning 5625 clauses out of 11254 with flag 18001/18001
4.10/3.87	c cleaning 6808 clauses out of 13632 with flag 26004/26004
5.52/5.20	c cleaning 7904 clauses out of 15822 with flag 35002/35002
7.02/6.79	c cleaning 8955 clauses out of 17916 with flag 45000/45000
8.82/8.57	c cleaning 9981 clauses out of 19961 with flag 56000/56000
10.92/10.64	c cleaning 10985 clauses out of 21980 with flag 68000/68000
13.32/13.00	c cleaning 11989 clauses out of 23995 with flag 81000/81000
15.83/15.55	c cleaning 12996 clauses out of 26008 with flag 95002/95002
18.84/18.50	c cleaning 13994 clauses out of 28010 with flag 110000/110000
22.04/21.72	c cleaning 15007 clauses out of 30017 with flag 126001/126001
25.44/25.14	c cleaning 15998 clauses out of 32010 with flag 143001/143001
29.24/28.90	c cleaning 16990 clauses out of 34011 with flag 161000/161000
33.35/33.07	c cleaning 18001 clauses out of 36022 with flag 180001/180001
37.65/37.36	c cleaning 18997 clauses out of 38021 with flag 200001/200001
42.34/42.03	c cleaning 19997 clauses out of 40023 with flag 221000/221000
47.45/47.10	c cleaning 21012 clauses out of 42028 with flag 243002/243002
52.85/52.54	c cleaning 22000 clauses out of 44014 with flag 266000/266000
58.85/58.58	c cleaning 22990 clauses out of 46014 with flag 290000/290000
65.55/65.23	c cleaning 24005 clauses out of 48026 with flag 315002/315002
72.86/72.51	c cleaning 25007 clauses out of 50020 with flag 341001/341001
80.77/80.44	c cleaning 26005 clauses out of 52012 with flag 368000/368000
88.57/88.24	c cleaning 27001 clauses out of 54009 with flag 396002/396002
97.57/97.23	c cleaning 27988 clauses out of 56006 with flag 425000/425000
106.68/106.30	c cleaning 28997 clauses out of 58018 with flag 455000/455000
116.68/116.31	c cleaning 30009 clauses out of 60021 with flag 486000/486000
126.89/126.55	c cleaning 30999 clauses out of 62013 with flag 518001/518001
138.19/137.80	c cleaning 31999 clauses out of 64013 with flag 551000/551000
150.10/149.71	c cleaning 32995 clauses out of 66015 with flag 585001/585001
163.22/162.81	c cleaning 33997 clauses out of 68019 with flag 620000/620000
176.33/175.95	c cleaning 35003 clauses out of 70022 with flag 656000/656000
190.82/190.46	c cleaning 35992 clauses out of 72019 with flag 693000/693000
205.53/205.13	c cleaning 37010 clauses out of 74027 with flag 731000/731000
220.63/220.25	c cleaning 38003 clauses out of 76018 with flag 770001/770001
236.85/236.46	c cleaning 39004 clauses out of 78015 with flag 810001/810001
254.05/253.67	c cleaning 40005 clauses out of 80014 with flag 851004/851004
271.75/271.39	c cleaning 41000 clauses out of 82005 with flag 893000/893000
290.46/290.09	c cleaning 41994 clauses out of 84005 with flag 936000/936000
310.37/309.61	c cleaning 43002 clauses out of 86011 with flag 980000/980000
330.55/329.78	c cleaning 44000 clauses out of 88011 with flag 1025002/1025002
350.96/349.92	c cleaning 44994 clauses out of 90009 with flag 1071000/1071000
372.07/370.81	c cleaning 45999 clauses out of 92015 with flag 1118000/1118000
394.57/393.33	c cleaning 47005 clauses out of 94017 with flag 1166001/1166001
417.98/416.73	c cleaning 48002 clauses out of 96011 with flag 1215000/1215000
442.09/440.81	c cleaning 48996 clauses out of 98010 with flag 1265001/1265001
466.50/465.30	c cleaning 50004 clauses out of 100013 with flag 1316000/1316000
493.81/492.57	c cleaning 51003 clauses out of 102012 with flag 1368003/1368003
519.92/518.65	c cleaning 51994 clauses out of 104006 with flag 1421000/1421000
548.53/547.26	c cleaning 52991 clauses out of 106014 with flag 1475002/1475002
577.00/575.63	c cleaning 54002 clauses out of 108021 with flag 1530000/1530000
606.31/604.95	c cleaning 54991 clauses out of 110019 with flag 1586000/1586000
639.51/638.18	c cleaning 56004 clauses out of 112028 with flag 1643000/1643000
672.33/670.99	c cleaning 57006 clauses out of 114025 with flag 1701001/1701001
707.33/705.96	c cleaning 57992 clauses out of 116018 with flag 1760000/1760000
741.44/740.08	c cleaning 59004 clauses out of 118026 with flag 1820000/1820000
776.55/775.16	c cleaning 60001 clauses out of 120023 with flag 1881001/1881001
813.17/811.77	c cleaning 61000 clauses out of 122023 with flag 1943002/1943002
852.48/851.08	c cleaning 62000 clauses out of 124023 with flag 2006002/2006002
892.18/890.74	c cleaning 62997 clauses out of 126021 with flag 2070000/2070000
933.79/932.34	c cleaning 64005 clauses out of 128025 with flag 2135001/2135001
978.21/976.72	c cleaning 64978 clauses out of 130019 with flag 2201000/2201000
1024.71/1023.30	c cleaning 65513 clauses out of 131041 with flag 2267000/2267000
1067.82/1066.38	c cleaning 65765 clauses out of 131529 with flag 2333001/2333001
1110.73/1109.27	c cleaning 65866 clauses out of 131765 with flag 2399002/2399002
1155.94/1154.42	c cleaning 65945 clauses out of 131897 with flag 2465000/2465000
1198.85/1197.30	c cleaning 65973 clauses out of 131953 with flag 2531001/2531001
1241.17/1239.63	c cleaning 65978 clauses out of 131980 with flag 2597001/2597001
1286.57/1285.04	c cleaning 65973 clauses out of 132001 with flag 2663000/2663000
1301.58/1300.01	c starts		: 1711
1301.58/1300.01	c conflicts		: 2690097
1301.58/1300.01	c decisions		: 3142323
1301.58/1300.01	c propagations		: 169058999
1301.58/1300.01	c inspects		: 16023053739
1301.58/1300.03	c shortcuts		: 0
1301.58/1300.03	c learnt literals	: 0
1301.58/1300.03	c learnt binary clauses	: 14
1301.58/1300.03	c learnt ternary clauses	: 199
1301.58/1300.03	c learnt constraints	: 2690126
1301.58/1300.03	c ignored constraints	: 0
1301.58/1300.03	c root simplifications	: 1711
1301.58/1300.03	c removed literals (reason simplification)	: 132067315
1301.58/1300.03	c reason swapping (by a shorter reason)	: 0
1301.58/1300.03	c Calls to reduceDB	: 69
1301.58/1300.03	c speed (assignments/second)	: 130066.81171439959
1301.58/1300.03	c non guided choices	22
1301.58/1300.06	c learnt constraints type 
1301.58/1300.06	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 14
1301.58/1300.06	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 93181
1301.58/1300.06	c constraints type 
1301.58/1300.06	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 26
1301.58/1300.06	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 65586
1301.58/1300.06	s UNKNOWN
1301.58/1300.06	c Total wall clock time (in seconds) : 1299.916

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

running on 2 cores: 1,3

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.68 3.93 4.01 10/220 14047
/proc/meminfo: memFree=14395676/32951124 swapFree=67111524/67111528
[pid=14047] ppid=14045 vsize=11800 CPUtime=0 cores=1,3
/proc/14047/stat : 14047 (runsolver) R 14045 14047 13486 0 -1 4202560 46 0 0 0 0 0 0 0 21 0 1 0 467984814 12083200 55 33554432000 4194304 5434984 140735550430848 18446744073709551615 5055495 0 2147483391 4096 24578 0 0 0 17 3 0 0 0
/proc/14047/statm: 2950 55 34 303 0 2644 0

[startup+0.021946 s]
/proc/loadavg: 3.68 3.93 4.01 10/220 14047
/proc/meminfo: memFree=14395676/32951124 swapFree=67111524/67111528
[pid=14047] ppid=14045 vsize=7540840 CPUtime=0 cores=1,3
/proc/14047/stat : 14047 (java) S 14045 14047 13486 0 -1 4202496 6474 0 1 0 0 0 0 0 21 0 2 0 467984814 7721820160 6175 33554432000 1073741824 1073778376 140735929419280 18446744073709551615 228256151525 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/14047/statm: 1885210 6175 919 9 0 1876366 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 7540840

[startup+0.100935 s]
/proc/loadavg: 3.68 3.93 4.01 10/220 14047
/proc/meminfo: memFree=14395676/32951124 swapFree=67111524/67111528
[pid=14047] ppid=14045 vsize=7636368 CPUtime=0.1 cores=1,3
/proc/14047/stat : 14047 (java) S 14045 14047 13486 0 -1 4202496 10381 0 1 0 9 1 0 0 21 0 18 0 467984814 7819640832 10077 33554432000 1073741824 1073778376 140735929419280 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/14047/statm: 1909092 10078 2093 9 0 1899830 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 7636368

[startup+0.300899 s]
/proc/loadavg: 3.68 3.93 4.01 10/220 14047
/proc/meminfo: memFree=14395676/32951124 swapFree=67111524/67111528
[pid=14047] ppid=14045 vsize=7641864 CPUtime=0.42 cores=1,3
/proc/14047/stat : 14047 (java) S 14045 14047 13486 0 -1 4202496 13330 0 1 0 41 1 0 0 21 0 19 0 467984814 7825268736 12480 33554432000 1073741824 1073778376 140735929419280 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/14047/statm: 1910466 12480 2204 9 0 1901204 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 7641864

[startup+0.70083 s]
/proc/loadavg: 3.68 3.93 4.01 10/220 14047
/proc/meminfo: memFree=14395676/32951124 swapFree=67111524/67111528
[pid=14047] ppid=14045 vsize=7641864 CPUtime=0.94 cores=1,3
/proc/14047/stat : 14047 (java) S 14045 14047 13486 0 -1 4202496 14714 0 1 0 92 2 0 0 21 0 19 0 467984814 7825268736 13499 33554432000 1073741824 1073778376 140735929419280 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/14047/statm: 1910466 13499 2219 9 0 1901204 0
Current children cumulated CPU time (s) 0.94
Current children cumulated vsize (KiB) 7641864

[startup+1.50072 s]
/proc/loadavg: 3.68 3.93 4.01 6/262 14092
/proc/meminfo: memFree=14206752/32951124 swapFree=67111524/67111528
[pid=14047] ppid=14045 vsize=7641864 CPUtime=1.78 cores=1,3
/proc/14047/stat : 14047 (java) S 14045 14047 13486 0 -1 4202496 17700 0 1 0 176 2 0 0 21 0 19 0 467984814 7825268736 16481 33554432000 1073741824 1073778376 140735929419280 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/14047/statm: 1910466 16481 2251 9 0 1901204 0
[pid=14047/tid=14049] ppid=14045 vsize=7641864 CPUtime=1.33 cores=1,3
/proc/14047/task/14049/stat : 14049 (java) R 14045 14047 13486 0 -1 4202560 10576 0 1 0 132 1 0 0 25 0 19 0 467984816 7825268736 16481 33554432000 1073741824 1073778376 140735929419280 18446744073709551615 46912505593097 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=14047/tid=14050] ppid=14045 vsize=7641864 CPUtime=0 cores=1,3
/proc/14047/task/14050/stat : 14050 (java) S 14045 14047 13486 0 -1 4202560 587 0 0 0 0 0 0 0 18 0 19 0 467984817 7825268736 16481 33554432000 1073741824 1073778376 140735929419280 18446744073709551615 228256164761 0 4 0 16800975 18446604471122073408 0 0 -1 1 0 0 0
[pid=14047/tid=14051] ppid=14045 vsize=7641864 CPUtime=0 cores=1,3
/proc/14047/task/14051/stat : 14051 (java) S 14045 14047 13486 0 -1 4202560 710 0 0 0 0 0 0 0 18 0 19 0 467984817 7825268736 16481 33554432000 1073741824 1073778376 140735929419280 18446744073709551615 228256164761 0 4 0 16800975 18446604471122073408 0 0 -1 1 0 0 0
[pid=14047/tid=14052] ppid=14045 vsize=7641864 CPUtime=0 cores=1,3
/proc/14047/task/14052/stat : 14052 (java) S 14045 14047 13486 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 467984817 7825268736 16481 33554432000 1073741824 1073778376 140735929419280 18446744073709551615 228256164761 0 4 0 16800975 18446604471122073408 0 0 -1 1 0 0 0
[pid=14047/tid=14053] ppid=14045 vsize=7641864 CPUtime=0 cores=1,3
/proc/14047/task/14053/stat : 14053 (java) S 14045 14047 13486 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 467984817 7825268736 16481 33554432000 1073741824 1073778376 140735929419280 18446744073709551615 228256164761 0 4 0 16800975 18446604471122073408 0 0 -1 1 0 0 0
[pid=14047/tid=14054] ppid=14045 vsize=7641864 CPUtime=0 cores=1,3
/proc/14047/task/14054/stat : 14054 (java) S 14045 14047 13486 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 467984817 7825268736 16481 33554432000 1073741824 1073778376 140735929419280 18446744073709551615 228256164761 0 4 0 16800975 18446604471122073408 0 0 -1 1 0 0 0
[pid=14047/tid=14055] ppid=14045 vsize=7641864 CPUtime=0 cores=1,3
/proc/14047/task/14055/stat : 14055 (java) S 14045 14047 13486 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 467984817 7825268736 16481 33554432000 1073741824 1073778376 140735929419280 18446744073709551615 228256164761 0 4 0 16800975 18446604471122073408 0 0 -1 1 0 0 0
[pid=14047/tid=14056] ppid=14045 vsize=7641864 CPUtime=0 cores=1,3
/proc/14047/task/14056/stat : 14056 (java) S 14045 14047 13486 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 467984817 7825268736 16481 33554432000 1073741824 1073778376 140735929419280 18446744073709551615 228256164761 0 4 0 16800975 18446604471122073408 0 0 -1 1 0 0 0
[pid=14047/tid=14057] ppid=14045 vsize=7641864 CPUtime=0 cores=1,3
/proc/14047/task/14057/stat : 14057 (java) S 14045 14047 13486 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 467984817 7825268736 16481 33554432000 1073741824 1073778376 140735929419280 18446744073709551615 228256164761 0 4 0 16800975 18446604471122073408 0 0 -1 1 0 0 0
[pid=14047/tid=14059] ppid=14045 vsize=7641864 CPUtime=0.02 cores=1,3
/proc/14047/task/14059/stat : 14059 (java) S 14045 14047 13486 0 -1 4202560 1294 0 0 0 2 0 0 0 17 0 19 0 467984818 7825268736 16481 33554432000 1073741824 1073778376 140735929419280 18446744073709551615 228256165376 0 0 0 16800975 18446604471122073408 0 0 -1 3 0 0 0
[pid=14047/tid=14064] ppid=14045 vsize=7641864 CPUtime=0 cores=1,3
/proc/14047/task/14064/stat : 14064 (java) S 14045 14047 13486 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 467984818 7825268736 16481 33554432000 1073741824 1073778376 140735929419280 18446744073709551615 228256164761 0 4 0 16800975 18446604471122073408 0 0 -1 3 0 0 0
[pid=14047/tid=14065] ppid=14045 vsize=7641864 CPUtime=0 cores=1,3
/proc/14047/task/14065/stat : 14065 (java) S 14045 14047 13486 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 467984818 7825268736 16481 33554432000 1073741824 1073778376 140735929419280 18446744073709551615 228256164761 0 4 0 16800975 18446604471122073408 0 0 -1 3 0 0 0
[pid=14047/tid=14068] ppid=14045 vsize=7641864 CPUtime=0 cores=1,3
/proc/14047/task/14068/stat : 14068 (java) S 14045 14047 13486 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 467984820 7825268736 16481 33554432000 1073741824 1073778376 140735929419280 18446744073709551615 228256172465 0 4 0 16800975 18446604471122073408 0 0 -1 3 0 0 0
[pid=14047/tid=14069] ppid=14045 vsize=7641864 CPUtime=0.12 cores=1,3
/proc/14047/task/14069/stat : 14069 (java) S 14045 14047 13486 0 -1 4202560 1022 0 0 0 12 0 0 0 15 0 19 0 467984820 7825268736 16481 33554432000 1073741824 1073778376 140735929419280 18446744073709551615 228256164761 0 4 0 16800975 18446604471122073408 0 0 -1 3 0 0 0
[pid=14047/tid=14070] ppid=14045 vsize=7641864 CPUtime=0.27 cores=1,3
/proc/14047/task/14070/stat : 14070 (java) S 14045 14047 13486 0 -1 4202560 2353 0 0 0 27 0 0 0 15 0 19 0 467984820 7825268736 16481 33554432000 1073741824 1073778376 140735929419280 18446744073709551615 228256164761 0 4 0 16800975 18446604471122073408 0 0 -1 1 0 0 0
[pid=14047/tid=14071] ppid=14045 vsize=7641864 CPUtime=0 cores=1,3
/proc/14047/task/14071/stat : 14071 (java) S 14045 14047 13486 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 467984820 7825268736 16481 33554432000 1073741824 1073778376 140735929419280 18446744073709551615 228256164761 0 4 0 16800975 18446604471122073408 0 0 -1 3 0 0 0
[pid=14047/tid=14072] ppid=14045 vsize=7641864 CPUtime=0 cores=1,3
/proc/14047/task/14072/stat : 14072 (java) S 14045 14047 13486 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 467984820 7825268736 16481 33554432000 1073741824 1073778376 140735929419280 18446744073709551615 228256165376 0 4 0 16800975 18446604471122073408 0 0 -1 3 0 0 0
[pid=14047/tid=14091] ppid=14045 vsize=7641864 CPUtime=0 cores=1,3
/proc/14047/task/14091/stat : 14091 (java) S 14045 14047 13486 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 467984838 7825268736 16481 33554432000 1073741824 1073778376 140735929419280 18446744073709551615 228256165376 0 4 0 16800975 18446604471122073408 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.78
Current children cumulated vsize (KiB) 7641864

[startup+3.1014 s]
/proc/loadavg: 3.68 3.93 4.01 5/262 14092
/proc/meminfo: memFree=14185548/32951124 swapFree=67111524/67111528
[pid=14047] ppid=14045 vsize=7641864 CPUtime=3.4 cores=1,3
/proc/14047/stat : 14047 (java) S 14045 14047 13486 0 -1 4202496 18915 0 1 0 338 2 0 0 21 0 19 0 467984814 7825268736 17694 33554432000 1073741824 1073778376 140735929419280 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/14047/statm: 1910466 17694 2253 9 0 1901204 0
[pid=14047/tid=14049] ppid=14045 vsize=7641864 CPUtime=2.87 cores=1,3
/proc/14047/task/14049/stat : 14049 (java) R 14045 14047 13486 0 -1 4202560 10578 0 1 0 286 1 0 0 19 0 19 0 467984816 7825268736 17694 33554432000 1073741824 1073778376 140735929419280 18446744073709551615 46912505524303 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=14047/tid=14050] ppid=14045 vsize=7641864 CPUtime=0 cores=1,3
/proc/14047/task/14050/stat : 14050 (java) S 14045 14047 13486 0 -1 4202560 587 0 0 0 0 0 0 0 15 0 19 0 467984817 7825268736 17694 33554432000 1073741824 1073778376 140735929419280 18446744073709551615 228256164761 0 4 0 16800975 18446604471122073408 0 0 -1 1 0 0 0
[pid=14047/tid=14051] ppid=14045 vsize=7641864 CPUtime=0 cores=1,3
/proc/14047/task/14051/stat : 14051 (java) S 14045 14047 13486 0 -1 4202560 710 0 0 0 0 0 0 0 15 0 19 0 467984817 7825268736 17694 33554432000 1073741824 1073778376 140735929419280 18446744073709551615 228256164761 0 4 0 16800975 18446604471122073408 0 0 -1 1 0 0 0
[pid=14047/tid=14052] ppid=14045 vsize=7641864 CPUtime=0 cores=1,3
/proc/14047/task/14052/stat : 14052 (java) S 14045 14047 13486 0 -1 4202560 8 0 0 0 0 0 0 0 16 0 19 0 467984817 7825268736 17694 33554432000 1073741824 1073778376 140735929419280 18446744073709551615 228256164761 0 4 0 16800975 18446604471122073408 0 0 -1 1 0 0 0
[pid=14047/tid=14053] ppid=14045 vsize=7641864 CPUtime=0 cores=1,3
/proc/14047/task/14053/stat : 14053 (java) S 14045 14047 13486 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 19 0 467984817 7825268736 17694 33554432000 1073741824 1073778376 140735929419280 18446744073709551615 228256164761 0 4 0 16800975 18446604471122073408 0 0 -1 1 0 0 0
[pid=14047/tid=14054] ppid=14045 vsize=7641864 CPUtime=0 cores=1,3
/proc/14047/task/14054/stat : 14054 (java) S 14045 14047 13486 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 467984817 7825268736 17694 33554432000 1073741824 1073778376 140735929419280 18446744073709551615 228256164761 0 4 0 16800975 18446604471122073408 0 0 -1 1 0 0 0
[pid=14047/tid=14055] ppid=14045 vsize=7641864 CPUtime=0 cores=1,3
/proc/14047/task/14055/stat : 14055 (java) S 14045 14047 13486 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 467984817 7825268736 17694 33554432000 1073741824 1073778376 140735929419280 18446744073709551615 228256164761 0 4 0 16800975 18446604471122073408 0 0 -1 1 0 0 0
[pid=14047/tid=14056] ppid=14045 vsize=7641864 CPUtime=0 cores=1,3
/proc/14047/task/14056/stat : 14056 (java) S 14045 14047 13486 0 -1 4202560 4 0 0 0 0 0 0 0 16 0 19 0 467984817 7825268736 17694 33554432000 1073741824 1073778376 140735929419280 18446744073709551615 228256164761 0 4 0 16800975 18446604471122073408 0 0 -1 1 0 0 0
[pid=14047/tid=14057] ppid=14045 vsize=7641864 CPUtime=0 cores=1,3
/proc/14047/task/14057/stat : 14057 (java) S 14045 14047 13486 0 -1 4202560 609 0 0 0 0 0 0 0 15 0 19 0 467984817 7825268736 17694 33554432000 1073741824 1073778376 140735929419280 18446744073709551615 228256164761 0 4 0 16800975 18446604471122073408 0 0 -1 1 0 0 0
[pid=14047/tid=14059] ppid=14045 vsize=7641864 CPUtime=0.06 cores=1,3
/proc/14047/task/14059/stat : 14059 (java) S 14045 14047 13486 0 -1 4202560 1879 0 0 0 6 0 0 0 16 0 19 0 467984818 7825268736 17694 33554432000 1073741824 1073778376 140735929419280 18446744073709551615 228256165376 0 0 0 16800975 18446604471122073408 0 0 -1 3 0 0 0
[pid=14047/tid=14064] ppid=14045 vsize=7641864 CPUtime=0 cores=1,3
/proc/14047/task/14064/stat : 14064 (java) S 14045 14047 13486 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 467984818 7825268736 17694 33554432000 1073741824 1073778376 140735929419280 18446744073709551615 228256164761 0 4 0 16800975 18446604471122073408 0 0 -1 3 0 0 0
[pid=14047/tid=14065] ppid=14045 vsize=7641864 CPUtime=0 cores=1,3
/proc/14047/task/14065/stat : 14065 (java) S 14045 14047 13486 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 467984818 7825268736 17694 33554432000 1073741824 1073778376 140735929419280 18446744073709551615 228256164761 0 4 0 16800975 18446604471122073408 0 0 -1 3 0 0 0
[pid=14047/tid=14068] ppid=14045 vsize=7641864 CPUtime=0 cores=1,3
/proc/14047/task/14068/stat : 14068 (java) S 14045 14047 13486 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 467984820 7825268736 17694 33554432000 1073741824 1073778376 140735929419280 18446744073709551615 228256172465 0 4 0 16800975 18446604471122073408 0 0 -1 3 0 0 0
[pid=14047/tid=14069] ppid=14045 vsize=7641864 CPUtime=0.14 cores=1,3
/proc/14047/task/14069/stat : 14069 (java) S 14045 14047 13486 0 -1 4202560 1025 0 0 0 14 0 0 0 15 0 19 0 467984820 7825268736 17694 33554432000 1073741824 1073778376 140735929419280 18446744073709551615 228256164761 0 4 0 16800975 18446604471122073408 0 0 -1 3 0 0 0
[pid=14047/tid=14070] ppid=14045 vsize=7641864 CPUtime=0.29 cores=1,3
/proc/14047/task/14070/stat : 14070 (java) S 14045 14047 13486 0 -1 4202560 2359 0 0 0 29 0 0 0 15 0 19 0 467984820 7825268736 17694 33554432000 1073741824 1073778376 140735929419280 18446744073709551615 228256164761 0 4 0 16800975 18446604471122073408 0 0 -1 1 0 0 0
[pid=14047/tid=14071] ppid=14045 vsize=7641864 CPUtime=0 cores=1,3
/proc/14047/task/14071/stat : 14071 (java) S 14045 14047 13486 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 467984820 7825268736 17694 33554432000 1073741824 1073778376 140735929419280 18446744073709551615 228256164761 0 4 0 16800975 18446604471122073408 0 0 -1 3 0 0 0
[pid=14047/tid=14072] ppid=14045 vsize=7641864 CPUtime=0 cores=1,3
/proc/14047/task/14072/stat : 14072 (java) S 14045 14047 13486 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 467984820 7825268736 17694 33554432000 1073741824 1073778376 140735929419280 18446744073709551615 228256165376 0 4 0 16800975 18446604471122073408 0 0 -1 3 0 0 0
[pid=14047/tid=14091] ppid=14045 vsize=7641864 CPUtime=0 cores=1,3
/proc/14047/task/14091/stat : 14091 (java) S 14045 14047 13486 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 467984838 7825268736 17694 33554432000 1073741824 1073778376 140735929419280 18446744073709551615 228256165376 0 4 0 16800975 18446604471122073408 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3.4
Current children cumulated vsize (KiB) 7641864

[startup+6.30088 s]
/proc/loadavg: 3.71 3.94 4.01 5/262 14092
/proc/meminfo: memFree=14184136/32951124 swapFree=67111524/67111528
[pid=14047] ppid=14045 vsize=7641864 CPUtime=6.62 cores=1,3
/proc/14047/stat : 14047 (java) S 14045 14047 13486 0 -1 4202496 19246 0 1 0 660 2 0 0 21 0 19 0 467984814 7825268736 17910 33554432000 1073741824 1073778376 140735929419280 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/14047/statm: 1910466 17910 2253 9 0 1901204 0
[pid=14047/tid=14049] ppid=14045 vsize=7641864 CPUtime=6 cores=1,3
/proc/14047/task/14049/stat : 14049 (java) R 14045 14047 13486 0 -1 4202560 10581 0 1 0 599 1 0 0 25 0 19 0 467984816 7825268736 17910 33554432000 1073741824 1073778376 140735929419280 18446744073709551615 46912505560740 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=14047/tid=14050] ppid=14045 vsize=7641864 CPUtime=0 cores=1,3
/proc/14047/task/14050/stat : 14050 (java) S 14045 14047 13486 0 -1 4202560 588 0 0 0 0 0 0 0 15 0 19 0 467984817 7825268736 17910 33554432000 1073741824 1073778376 140735929419280 18446744073709551615 228256164761 0 4 0 16800975 18446604471122073408 0 0 -1 1 0 0 0
[pid=14047/tid=14051] ppid=14045 vsize=7641864 CPUtime=0 cores=1,3
/proc/14047/task/14051/stat : 14051 (java) S 14045 14047 13486 0 -1 4202560 768 0 0 0 0 0 0 0 15 0 19 0 467984817 7825268736 17910 33554432000 1073741824 1073778376 140735929419280 18446744073709551615 228256164761 0 4 0 16800975 18446604471122073408 0 0 -1 1 0 0 0
[pid=14047/tid=14052] ppid=14045 vsize=7641864 CPUtime=0 cores=1,3
/proc/14047/task/14052/stat : 14052 (java) S 14045 14047 13486 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 19 0 467984817 7825268736 17910 33554432000 1073741824 1073778376 140735929419280 18446744073709551615 228256164761 0 4 0 16800975 18446604471122073408 0 0 -1 1 0 0 0
[pid=14047/tid=14053] ppid=14045 vsize=7641864 CPUtime=0 cores=1,3
/proc/14047/task/14053/stat : 14053 (java) S 14045 14047 13486 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 467984817 7825268736 17910 33554432000 1073741824 1073778376 140735929419280 18446744073709551615 228256164761 0 4 0 16800975 18446604471122073408 0 0 -1 1 0 0 0
[pid=14047/tid=14054] ppid=14045 vsize=7641864 CPUtime=0 cores=1,3
/proc/14047/task/14054/stat : 14054 (java) S 14045 14047 13486 0 -1 4202560 39 0 0 0 0 0 0 0 15 0 19 0 467984817 7825268736 17910 33554432000 1073741824 1073778376 140735929419280 18446744073709551615 228256164761 0 4 0 16800975 18446604471122073408 0 0 -1 1 0 0 0
[pid=14047/tid=14055] ppid=14045 vsize=7641864 CPUtime=0 cores=1,3
/proc/14047/task/14055/stat : 14055 (java) S 14045 14047 13486 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 467984817 7825268736 17910 33554432000 1073741824 1073778376 140735929419280 18446744073709551615 228256164761 0 4 0 16800975 18446604471122073408 0 0 -1 1 0 0 0
[pid=14047/tid=14056] ppid=14045 vsize=7641864 CPUtime=0 cores=1,3
/proc/14047/task/14056/stat : 14056 (java) S 14045 14047 13486 0 -1 4202560 64 0 0 0 0 0 0 0 16 0 19 0 467984817 7825268736 17910 33554432000 1073741824 1073778376 140735929419280 18446744073709551615 228256164761 0 4 0 16800975 18446604471122073408 0 0 -1 1 0 0 0
[pid=14047/tid=14057] ppid=14045 vsize=7641864 CPUtime=0 cores=1,3
/proc/14047/task/14057/stat : 14057 (java) S 14045 14047 13486 0 -1 4202560 672 0 0 0 0 0 0 0 15 0 19 0 467984817 7825268736 17910 33554432000 1073741824 1073778376 140735929419280 18446744073709551615 228256164761 0 4 0 16800975 18446604471122073408 0 0 -1 1 0 0 0
[pid=14047/tid=14059] ppid=14045 vsize=7641864 CPUtime=0.11 cores=1,3
/proc/14047/task/14059/stat : 14059 (java) S 14045 14047 13486 0 -1 4202560 1980 0 0 0 11 0 0 0 15 0 19 0 467984818 7825268736 17910 33554432000 1073741824 1073778376 140735929419280 18446744073709551615 228256165376 0 0 0 16800975 18446604471122073408 0 0 -1 3 0 0 0
[pid=14047/tid=14064] ppid=14045 vsize=7641864 CPUtime=0 cores=1,3
/proc/14047/task/14064/stat : 14064 (java) S 14045 14047 13486 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 467984818 7825268736 17910 33554432000 1073741824 1073778376 140735929419280 18446744073709551615 228256164761 0 4 0 16800975 18446604471122073408 0 0 -1 3 0 0 0
[pid=14047/tid=14065] ppid=14045 vsize=7641864 CPUtime=0 cores=1,3
/proc/14047/task/14065/stat : 14065 (java) S 14045 14047 13486 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 467984818 7825268736 17910 33554432000 1073741824 1073778376 140735929419280 18446744073709551615 228256164761 0 4 0 16800975 18446604471122073408 0 0 -1 3 0 0 0
[pid=14047/tid=14068] ppid=14045 vsize=7641864 CPUtime=0 cores=1,3
/proc/14047/task/14068/stat : 14068 (java) S 14045 14047 13486 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 467984820 7825268736 17910 33554432000 1073741824 1073778376 140735929419280 18446744073709551615 228256172465 0 4 0 16800975 18446604471122073408 0 0 -1 3 0 0 0
[pid=14047/tid=14069] ppid=14045 vsize=7641864 CPUtime=0.14 cores=1,3
/proc/14047/task/14069/stat : 14069 (java) S 14045 14047 13486 0 -1 4202560 1025 0 0 0 14 0 0 0 15 0 19 0 467984820 7825268736 17910 33554432000 1073741824 1073778376 140735929419280 18446744073709551615 228256164761 0 4 0 16800975 18446604471122073408 0 0 -1 3 0 0 0
[pid=14047/tid=14070] ppid=14045 vsize=7641864 CPUtime=0.31 cores=1,3
/proc/14047/task/14070/stat : 14070 (java) S 14045 14047 13486 0 -1 4202560 2365 0 0 0 31 0 0 0 15 0 19 0 467984820 7825268736 17910 33554432000 1073741824 1073778376 140735929419280 18446744073709551615 228256164761 0 4 0 16800975 18446604471122073408 0 0 -1 1 0 0 0
[pid=14047/tid=14071] ppid=14045 vsize=7641864 CPUtime=0 cores=1,3
/proc/14047/task/14071/stat : 14071 (java) S 14045 14047 13486 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 467984820 7825268736 17910 33554432000 1073741824 1073778376 140735929419280 18446744073709551615 228256164761 0 4 0 16800975 18446604471122073408 0 0 -1 3 0 0 0
[pid=14047/tid=14072] ppid=14045 vsize=7641864 CPUtime=0 cores=1,3
/proc/14047/task/14072/stat : 14072 (java) S 14045 14047 13486 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 467984820 7825268736 17910 33554432000 1073741824 1073778376 140735929419280 18446744073709551615 228256165376 0 4 0 16800975 18446604471122073408 0 0 -1 1 0 0 0
[pid=14047/tid=14091] ppid=14045 vsize=7641864 CPUtime=0 cores=1,3
/proc/14047/task/14091/stat : 14091 (java) S 14045 14047 13486 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 467984838 7825268736 17910 33554432000 1073741824 1073778376 140735929419280 18446744073709551615 228256165376 0 4 0 16800975 18446604471122073408 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 6.62
Current children cumulated vsize (KiB) 7641864

[startup+12.7008 s]

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

[pid=14047/tid=14055] ppid=14045 vsize=7655128 CPUtime=0.11 cores=1,3
/proc/14047/task/14055/stat : 14055 (java) S 14045 14047 13486 0 -1 4202560 974 0 0 0 11 0 0 0 15 0 19 0 467984817 7838851072 41963 33554432000 1073741824 1073778376 140735929419280 18446744073709551615 228256164761 0 4 0 16800975 18446604471122073408 0 0 -1 3 0 0 0
[pid=14047/tid=14056] ppid=14045 vsize=7655128 CPUtime=0.05 cores=1,3
/proc/14047/task/14056/stat : 14056 (java) S 14045 14047 13486 0 -1 4202560 893 0 0 0 5 0 0 0 15 0 19 0 467984817 7838851072 41963 33554432000 1073741824 1073778376 140735929419280 18446744073709551615 228256164761 0 4 0 16800975 18446604471122073408 0 0 -1 3 0 0 0
[pid=14047/tid=14057] ppid=14045 vsize=7655128 CPUtime=0.15 cores=1,3
/proc/14047/task/14057/stat : 14057 (java) S 14045 14047 13486 0 -1 4202560 2876 0 0 0 15 0 0 0 15 0 19 0 467984817 7838851072 41963 33554432000 1073741824 1073778376 140735929419280 18446744073709551615 228256164761 0 4 0 16800975 18446604471122073408 0 0 -1 3 0 0 0
[pid=14047/tid=14059] ppid=14045 vsize=7655128 CPUtime=2.61 cores=1,3
/proc/14047/task/14059/stat : 14059 (java) S 14045 14047 13486 0 -1 4202560 9698 0 0 0 260 1 0 0 15 0 19 0 467984818 7838851072 41963 33554432000 1073741824 1073778376 140735929419280 18446744073709551615 228256165376 0 0 0 16800975 18446604471122073408 0 0 -1 1 0 0 0
[pid=14047/tid=14064] ppid=14045 vsize=7655128 CPUtime=0 cores=1,3
/proc/14047/task/14064/stat : 14064 (java) S 14045 14047 13486 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 467984818 7838851072 41963 33554432000 1073741824 1073778376 140735929419280 18446744073709551615 228256164761 0 4 0 16800975 18446604471122073408 0 0 -1 3 0 0 0
[pid=14047/tid=14065] ppid=14045 vsize=7655128 CPUtime=0 cores=1,3
/proc/14047/task/14065/stat : 14065 (java) S 14045 14047 13486 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 467984818 7838851072 41963 33554432000 1073741824 1073778376 140735929419280 18446744073709551615 228256164761 0 4 0 16800975 18446604471122073408 0 0 -1 3 0 0 0
[pid=14047/tid=14068] ppid=14045 vsize=7655128 CPUtime=0 cores=1,3
/proc/14047/task/14068/stat : 14068 (java) S 14045 14047 13486 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 467984820 7838851072 41963 33554432000 1073741824 1073778376 140735929419280 18446744073709551615 228256172465 0 4 0 16800975 18446604471122073408 0 0 -1 3 0 0 0
[pid=14047/tid=14069] ppid=14045 vsize=7655128 CPUtime=0.61 cores=1,3
/proc/14047/task/14069/stat : 14069 (java) S 14045 14047 13486 0 -1 4202560 8312 0 0 0 60 1 0 0 15 0 19 0 467984820 7838851072 41963 33554432000 1073741824 1073778376 140735929419280 18446744073709551615 228256164761 0 4 0 16800975 18446604471122073408 0 0 -1 1 0 0 0
[pid=14047/tid=14070] ppid=14045 vsize=7655128 CPUtime=0.73 cores=1,3
/proc/14047/task/14070/stat : 14070 (java) S 14045 14047 13486 0 -1 4202560 7957 0 0 0 72 1 0 0 15 0 19 0 467984820 7838851072 41963 33554432000 1073741824 1073778376 140735929419280 18446744073709551615 228256164761 0 4 0 16800975 18446604471122073408 0 0 -1 3 0 0 0
[pid=14047/tid=14071] ppid=14045 vsize=7655128 CPUtime=0 cores=1,3
/proc/14047/task/14071/stat : 14071 (java) S 14045 14047 13486 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 467984820 7838851072 41963 33554432000 1073741824 1073778376 140735929419280 18446744073709551615 228256164761 0 4 0 16800975 18446604471122073408 0 0 -1 3 0 0 0
[pid=14047/tid=14072] ppid=14045 vsize=7655128 CPUtime=0 cores=1,3
/proc/14047/task/14072/stat : 14072 (java) S 14045 14047 13486 0 -1 4202560 67 0 0 0 0 0 0 0 15 0 19 0 467984820 7838851072 41963 33554432000 1073741824 1073778376 140735929419280 18446744073709551615 228256165376 0 4 0 16800975 18446604471122073408 0 0 -1 3 0 0 0
[pid=14047/tid=14091] ppid=14045 vsize=7655128 CPUtime=0 cores=1,3
/proc/14047/task/14091/stat : 14091 (java) S 14045 14047 13486 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 467984838 7838851072 41963 33554432000 1073741824 1073778376 140735929419280 18446744073709551615 228256165376 0 4 0 16800975 18446604471122073408 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1123.84
Current children cumulated vsize (KiB) 7655128

[startup+1182.3 s]
/proc/loadavg: 4.08 4.04 4.00 5/262 14123
/proc/meminfo: memFree=14047764/32951124 swapFree=67111524/67111528
[pid=14047] ppid=14045 vsize=7655128 CPUtime=1183.85 cores=1,3
/proc/14047/stat : 14047 (java) S 14045 14047 13486 0 -1 4202496 51147 0 1 0 118375 10 0 0 21 0 19 0 467984814 7838851072 41966 33554432000 1073741824 1073778376 140735929419280 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/14047/statm: 1913782 41966 2254 9 0 1904520 0
[pid=14047/tid=14049] ppid=14045 vsize=7655128 CPUtime=1178.93 cores=1,3
/proc/14047/task/14049/stat : 14049 (java) R 14045 14047 13486 0 -1 4202560 14876 0 1 0 117890 3 0 0 25 0 19 0 467984816 7838851072 41966 33554432000 1073741824 1073778376 140735929419280 18446744073709551615 46912505593158 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=14047/tid=14050] ppid=14045 vsize=7655128 CPUtime=0.15 cores=1,3
/proc/14047/task/14050/stat : 14050 (java) S 14045 14047 13486 0 -1 4202560 2078 0 0 0 15 0 0 0 15 0 19 0 467984817 7838851072 41966 33554432000 1073741824 1073778376 140735929419280 18446744073709551615 228256164761 0 4 0 16800975 18446604471122073408 0 0 -1 3 0 0 0
[pid=14047/tid=14051] ppid=14045 vsize=7655128 CPUtime=0.11 cores=1,3
/proc/14047/task/14051/stat : 14051 (java) S 14045 14047 13486 0 -1 4202560 1266 0 0 0 11 0 0 0 15 0 19 0 467984817 7838851072 41966 33554432000 1073741824 1073778376 140735929419280 18446744073709551615 228256164761 0 4 0 16800975 18446604471122073408 0 0 -1 3 0 0 0
[pid=14047/tid=14052] ppid=14045 vsize=7655128 CPUtime=0.1 cores=1,3
/proc/14047/task/14052/stat : 14052 (java) S 14045 14047 13486 0 -1 4202560 220 0 0 0 10 0 0 0 15 0 19 0 467984817 7838851072 41966 33554432000 1073741824 1073778376 140735929419280 18446744073709551615 228256164761 0 4 0 16800975 18446604471122073408 0 0 -1 3 0 0 0
[pid=14047/tid=14053] ppid=14045 vsize=7655128 CPUtime=0.07 cores=1,3
/proc/14047/task/14053/stat : 14053 (java) S 14045 14047 13486 0 -1 4202560 156 0 0 0 7 0 0 0 16 0 19 0 467984817 7838851072 41966 33554432000 1073741824 1073778376 140735929419280 18446744073709551615 228256164761 0 4 0 16800975 18446604471122073408 0 0 -1 3 0 0 0
[pid=14047/tid=14054] ppid=14045 vsize=7655128 CPUtime=0.08 cores=1,3
/proc/14047/task/14054/stat : 14054 (java) S 14045 14047 13486 0 -1 4202560 619 0 0 0 8 0 0 0 15 0 19 0 467984817 7838851072 41966 33554432000 1073741824 1073778376 140735929419280 18446744073709551615 228256164761 0 4 0 16800975 18446604471122073408 0 0 -1 3 0 0 0
[pid=14047/tid=14055] ppid=14045 vsize=7655128 CPUtime=0.11 cores=1,3
/proc/14047/task/14055/stat : 14055 (java) S 14045 14047 13486 0 -1 4202560 974 0 0 0 11 0 0 0 15 0 19 0 467984817 7838851072 41966 33554432000 1073741824 1073778376 140735929419280 18446744073709551615 228256164761 0 4 0 16800975 18446604471122073408 0 0 -1 3 0 0 0
[pid=14047/tid=14056] ppid=14045 vsize=7655128 CPUtime=0.05 cores=1,3
/proc/14047/task/14056/stat : 14056 (java) S 14045 14047 13486 0 -1 4202560 893 0 0 0 5 0 0 0 15 0 19 0 467984817 7838851072 41966 33554432000 1073741824 1073778376 140735929419280 18446744073709551615 228256164761 0 4 0 16800975 18446604471122073408 0 0 -1 3 0 0 0
[pid=14047/tid=14057] ppid=14045 vsize=7655128 CPUtime=0.15 cores=1,3
/proc/14047/task/14057/stat : 14057 (java) S 14045 14047 13486 0 -1 4202560 2876 0 0 0 15 0 0 0 15 0 19 0 467984817 7838851072 41966 33554432000 1073741824 1073778376 140735929419280 18446744073709551615 228256164761 0 4 0 16800975 18446604471122073408 0 0 -1 3 0 0 0
[pid=14047/tid=14059] ppid=14045 vsize=7655128 CPUtime=2.66 cores=1,3
/proc/14047/task/14059/stat : 14059 (java) S 14045 14047 13486 0 -1 4202560 9700 0 0 0 265 1 0 0 15 0 19 0 467984818 7838851072 41966 33554432000 1073741824 1073778376 140735929419280 18446744073709551615 228256165376 0 0 0 16800975 18446604471122073408 0 0 -1 1 0 0 0
[pid=14047/tid=14064] ppid=14045 vsize=7655128 CPUtime=0 cores=1,3
/proc/14047/task/14064/stat : 14064 (java) S 14045 14047 13486 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 467984818 7838851072 41966 33554432000 1073741824 1073778376 140735929419280 18446744073709551615 228256164761 0 4 0 16800975 18446604471122073408 0 0 -1 3 0 0 0
[pid=14047/tid=14065] ppid=14045 vsize=7655128 CPUtime=0 cores=1,3
/proc/14047/task/14065/stat : 14065 (java) S 14045 14047 13486 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 467984818 7838851072 41966 33554432000 1073741824 1073778376 140735929419280 18446744073709551615 228256164761 0 4 0 16800975 18446604471122073408 0 0 -1 3 0 0 0
[pid=14047/tid=14068] ppid=14045 vsize=7655128 CPUtime=0 cores=1,3
/proc/14047/task/14068/stat : 14068 (java) S 14045 14047 13486 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 467984820 7838851072 41966 33554432000 1073741824 1073778376 140735929419280 18446744073709551615 228256172465 0 4 0 16800975 18446604471122073408 0 0 -1 3 0 0 0
[pid=14047/tid=14069] ppid=14045 vsize=7655128 CPUtime=0.61 cores=1,3
/proc/14047/task/14069/stat : 14069 (java) S 14045 14047 13486 0 -1 4202560 8312 0 0 0 60 1 0 0 15 0 19 0 467984820 7838851072 41966 33554432000 1073741824 1073778376 140735929419280 18446744073709551615 228256164761 0 4 0 16800975 18446604471122073408 0 0 -1 1 0 0 0
[pid=14047/tid=14070] ppid=14045 vsize=7655128 CPUtime=0.73 cores=1,3
/proc/14047/task/14070/stat : 14070 (java) S 14045 14047 13486 0 -1 4202560 7957 0 0 0 72 1 0 0 15 0 19 0 467984820 7838851072 41966 33554432000 1073741824 1073778376 140735929419280 18446744073709551615 228256164761 0 4 0 16800975 18446604471122073408 0 0 -1 3 0 0 0
[pid=14047/tid=14071] ppid=14045 vsize=7655128 CPUtime=0 cores=1,3
/proc/14047/task/14071/stat : 14071 (java) S 14045 14047 13486 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 467984820 7838851072 41966 33554432000 1073741824 1073778376 140735929419280 18446744073709551615 228256164761 0 4 0 16800975 18446604471122073408 0 0 -1 3 0 0 0
[pid=14047/tid=14072] ppid=14045 vsize=7655128 CPUtime=0 cores=1,3
/proc/14047/task/14072/stat : 14072 (java) S 14045 14047 13486 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 19 0 467984820 7838851072 41966 33554432000 1073741824 1073778376 140735929419280 18446744073709551615 228256165376 0 4 0 16800975 18446604471122073408 0 0 -1 3 0 0 0
[pid=14047/tid=14091] ppid=14045 vsize=7655128 CPUtime=0 cores=1,3
/proc/14047/task/14091/stat : 14091 (java) S 14045 14047 13486 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 467984838 7838851072 41966 33554432000 1073741824 1073778376 140735929419280 18446744073709551615 228256165376 0 4 0 16800975 18446604471122073408 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1183.85
Current children cumulated vsize (KiB) 7655128

[startup+1242.3 s]
/proc/loadavg: 4.03 4.03 4.00 5/262 14125
/proc/meminfo: memFree=14045716/32951124 swapFree=67111524/67111528
[pid=14047] ppid=14045 vsize=7655128 CPUtime=1243.87 cores=1,3
/proc/14047/stat : 14047 (java) S 14045 14047 13486 0 -1 4202496 51411 0 1 0 124377 10 0 0 21 0 19 0 467984814 7838851072 42220 33554432000 1073741824 1073778376 140735929419280 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/14047/statm: 1913782 42220 2254 9 0 1904520 0
[pid=14047/tid=14049] ppid=14045 vsize=7655128 CPUtime=1238.79 cores=1,3
/proc/14047/task/14049/stat : 14049 (java) R 14045 14047 13486 0 -1 4202560 14878 0 1 0 123876 3 0 0 25 0 19 0 467984816 7838851072 42220 33554432000 1073741824 1073778376 140735929419280 18446744073709551615 46912505807389 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=14047/tid=14050] ppid=14045 vsize=7655128 CPUtime=0.16 cores=1,3
/proc/14047/task/14050/stat : 14050 (java) S 14045 14047 13486 0 -1 4202560 2078 0 0 0 16 0 0 0 16 0 19 0 467984817 7838851072 42220 33554432000 1073741824 1073778376 140735929419280 18446744073709551615 228256164761 0 4 0 16800975 18446604471122073408 0 0 -1 3 0 0 0
[pid=14047/tid=14051] ppid=14045 vsize=7655128 CPUtime=0.13 cores=1,3
/proc/14047/task/14051/stat : 14051 (java) S 14045 14047 13486 0 -1 4202560 1269 0 0 0 13 0 0 0 15 0 19 0 467984817 7838851072 42220 33554432000 1073741824 1073778376 140735929419280 18446744073709551615 228256164761 0 4 0 16800975 18446604471122073408 0 0 -1 3 0 0 0
[pid=14047/tid=14052] ppid=14045 vsize=7655128 CPUtime=0.1 cores=1,3
/proc/14047/task/14052/stat : 14052 (java) S 14045 14047 13486 0 -1 4202560 220 0 0 0 10 0 0 0 15 0 19 0 467984817 7838851072 42220 33554432000 1073741824 1073778376 140735929419280 18446744073709551615 228256164761 0 4 0 16800975 18446604471122073408 0 0 -1 3 0 0 0
[pid=14047/tid=14053] ppid=14045 vsize=7655128 CPUtime=0.07 cores=1,3
/proc/14047/task/14053/stat : 14053 (java) S 14045 14047 13486 0 -1 4202560 156 0 0 0 7 0 0 0 15 0 19 0 467984817 7838851072 42220 33554432000 1073741824 1073778376 140735929419280 18446744073709551615 228256164761 0 4 0 16800975 18446604471122073408 0 0 -1 3 0 0 0
[pid=14047/tid=14054] ppid=14045 vsize=7655128 CPUtime=0.08 cores=1,3
/proc/14047/task/14054/stat : 14054 (java) S 14045 14047 13486 0 -1 4202560 619 0 0 0 8 0 0 0 15 0 19 0 467984817 7838851072 42220 33554432000 1073741824 1073778376 140735929419280 18446744073709551615 228256164761 0 4 0 16800975 18446604471122073408 0 0 -1 3 0 0 0
[pid=14047/tid=14055] ppid=14045 vsize=7655128 CPUtime=0.12 cores=1,3
/proc/14047/task/14055/stat : 14055 (java) S 14045 14047 13486 0 -1 4202560 974 0 0 0 12 0 0 0 15 0 19 0 467984817 7838851072 42220 33554432000 1073741824 1073778376 140735929419280 18446744073709551615 228256164761 0 4 0 16800975 18446604471122073408 0 0 -1 3 0 0 0
[pid=14047/tid=14056] ppid=14045 vsize=7655128 CPUtime=0.05 cores=1,3
/proc/14047/task/14056/stat : 14056 (java) S 14045 14047 13486 0 -1 4202560 893 0 0 0 5 0 0 0 15 0 19 0 467984817 7838851072 42220 33554432000 1073741824 1073778376 140735929419280 18446744073709551615 228256164761 0 4 0 16800975 18446604471122073408 0 0 -1 3 0 0 0
[pid=14047/tid=14057] ppid=14045 vsize=7655128 CPUtime=0.15 cores=1,3
/proc/14047/task/14057/stat : 14057 (java) S 14045 14047 13486 0 -1 4202560 2876 0 0 0 15 0 0 0 15 0 19 0 467984817 7838851072 42220 33554432000 1073741824 1073778376 140735929419280 18446744073709551615 228256164761 0 4 0 16800975 18446604471122073408 0 0 -1 3 0 0 0
[pid=14047/tid=14059] ppid=14045 vsize=7655128 CPUtime=2.78 cores=1,3
/proc/14047/task/14059/stat : 14059 (java) S 14045 14047 13486 0 -1 4202560 9955 0 0 0 277 1 0 0 15 0 19 0 467984818 7838851072 42220 33554432000 1073741824 1073778376 140735929419280 18446744073709551615 228256165376 0 0 0 16800975 18446604471122073408 0 0 -1 1 0 0 0
[pid=14047/tid=14064] ppid=14045 vsize=7655128 CPUtime=0 cores=1,3
/proc/14047/task/14064/stat : 14064 (java) S 14045 14047 13486 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 467984818 7838851072 42220 33554432000 1073741824 1073778376 140735929419280 18446744073709551615 228256164761 0 4 0 16800975 18446604471122073408 0 0 -1 3 0 0 0
[pid=14047/tid=14065] ppid=14045 vsize=7655128 CPUtime=0 cores=1,3
/proc/14047/task/14065/stat : 14065 (java) S 14045 14047 13486 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 467984818 7838851072 42220 33554432000 1073741824 1073778376 140735929419280 18446744073709551615 228256164761 0 4 0 16800975 18446604471122073408 0 0 -1 3 0 0 0
[pid=14047/tid=14068] ppid=14045 vsize=7655128 CPUtime=0 cores=1,3
/proc/14047/task/14068/stat : 14068 (java) S 14045 14047 13486 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 467984820 7838851072 42220 33554432000 1073741824 1073778376 140735929419280 18446744073709551615 228256172465 0 4 0 16800975 18446604471122073408 0 0 -1 3 0 0 0
[pid=14047/tid=14069] ppid=14045 vsize=7655128 CPUtime=0.61 cores=1,3
/proc/14047/task/14069/stat : 14069 (java) S 14045 14047 13486 0 -1 4202560 8312 0 0 0 60 1 0 0 15 0 19 0 467984820 7838851072 42220 33554432000 1073741824 1073778376 140735929419280 18446744073709551615 228256164761 0 4 0 16800975 18446604471122073408 0 0 -1 1 0 0 0
[pid=14047/tid=14070] ppid=14045 vsize=7655128 CPUtime=0.73 cores=1,3
/proc/14047/task/14070/stat : 14070 (java) S 14045 14047 13486 0 -1 4202560 7957 0 0 0 72 1 0 0 15 0 19 0 467984820 7838851072 42220 33554432000 1073741824 1073778376 140735929419280 18446744073709551615 228256164761 0 4 0 16800975 18446604471122073408 0 0 -1 3 0 0 0
[pid=14047/tid=14071] ppid=14045 vsize=7655128 CPUtime=0 cores=1,3
/proc/14047/task/14071/stat : 14071 (java) S 14045 14047 13486 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 467984820 7838851072 42220 33554432000 1073741824 1073778376 140735929419280 18446744073709551615 228256164761 0 4 0 16800975 18446604471122073408 0 0 -1 3 0 0 0
[pid=14047/tid=14072] ppid=14045 vsize=7655128 CPUtime=0 cores=1,3
/proc/14047/task/14072/stat : 14072 (java) S 14045 14047 13486 0 -1 4202560 73 0 0 0 0 0 0 0 15 0 19 0 467984820 7838851072 42220 33554432000 1073741824 1073778376 140735929419280 18446744073709551615 228256165376 0 4 0 16800975 18446604471122073408 0 0 -1 3 0 0 0
[pid=14047/tid=14091] ppid=14045 vsize=7655128 CPUtime=0 cores=1,3
/proc/14047/task/14091/stat : 14091 (java) S 14045 14047 13486 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 467984838 7838851072 42220 33554432000 1073741824 1073778376 140735929419280 18446744073709551615 228256165376 0 4 0 16800975 18446604471122073408 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1243.87
Current children cumulated vsize (KiB) 7655128



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 4.01 4.02 4.00 4/223 14132
/proc/meminfo: memFree=14194764/32951124 swapFree=67111524/67111528
[pid=14047] ppid=14045 vsize=7655128 CPUtime=1301.58 cores=1,3
/proc/14047/stat : 14047 (java) S 14045 14047 13486 0 -1 4202496 51420 0 1 0 130148 10 0 0 21 0 19 0 467984814 7838851072 42222 33554432000 1073741824 1073778376 140735929419280 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/14047/statm: 1913782 42222 2254 9 0 1904520 0
[pid=14047/tid=14049] ppid=14045 vsize=7655128 CPUtime=1296.44 cores=1,3
/proc/14047/task/14049/stat : 14049 (java) R 14045 14047 13486 0 -1 4202560 14879 0 1 0 129641 3 0 0 25 0 19 0 467984816 7838851072 42222 33554432000 1073741824 1073778376 140735929419280 18446744073709551615 46912505593067 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=14047/tid=14050] ppid=14045 vsize=7655128 CPUtime=0.16 cores=1,3
/proc/14047/task/14050/stat : 14050 (java) S 14045 14047 13486 0 -1 4202560 2078 0 0 0 16 0 0 0 15 0 19 0 467984817 7838851072 42222 33554432000 1073741824 1073778376 140735929419280 18446744073709551615 228256164761 0 4 0 16800975 18446604471122073408 0 0 -1 3 0 0 0
[pid=14047/tid=14051] ppid=14045 vsize=7655128 CPUtime=0.13 cores=1,3
/proc/14047/task/14051/stat : 14051 (java) S 14045 14047 13486 0 -1 4202560 1269 0 0 0 13 0 0 0 15 0 19 0 467984817 7838851072 42222 33554432000 1073741824 1073778376 140735929419280 18446744073709551615 228256164761 0 4 0 16800975 18446604471122073408 0 0 -1 3 0 0 0
[pid=14047/tid=14052] ppid=14045 vsize=7655128 CPUtime=0.1 cores=1,3
/proc/14047/task/14052/stat : 14052 (java) S 14045 14047 13486 0 -1 4202560 222 0 0 0 10 0 0 0 15 0 19 0 467984817 7838851072 42222 33554432000 1073741824 1073778376 140735929419280 18446744073709551615 228256164761 0 4 0 16800975 18446604471122073408 0 0 -1 3 0 0 0
[pid=14047/tid=14053] ppid=14045 vsize=7655128 CPUtime=0.07 cores=1,3
/proc/14047/task/14053/stat : 14053 (java) S 14045 14047 13486 0 -1 4202560 156 0 0 0 7 0 0 0 15 0 19 0 467984817 7838851072 42222 33554432000 1073741824 1073778376 140735929419280 18446744073709551615 228256164761 0 4 0 16800975 18446604471122073408 0 0 -1 3 0 0 0
[pid=14047/tid=14054] ppid=14045 vsize=7655128 CPUtime=0.08 cores=1,3
/proc/14047/task/14054/stat : 14054 (java) S 14045 14047 13486 0 -1 4202560 619 0 0 0 8 0 0 0 15 0 19 0 467984817 7838851072 42222 33554432000 1073741824 1073778376 140735929419280 18446744073709551615 228256164761 0 4 0 16800975 18446604471122073408 0 0 -1 3 0 0 0
[pid=14047/tid=14055] ppid=14045 vsize=7655128 CPUtime=0.12 cores=1,3
/proc/14047/task/14055/stat : 14055 (java) S 14045 14047 13486 0 -1 4202560 974 0 0 0 12 0 0 0 15 0 19 0 467984817 7838851072 42222 33554432000 1073741824 1073778376 140735929419280 18446744073709551615 228256164761 0 4 0 16800975 18446604471122073408 0 0 -1 1 0 0 0
[pid=14047/tid=14056] ppid=14045 vsize=7655128 CPUtime=0.05 cores=1,3
/proc/14047/task/14056/stat : 14056 (java) S 14045 14047 13486 0 -1 4202560 893 0 0 0 5 0 0 0 15 0 19 0 467984817 7838851072 42222 33554432000 1073741824 1073778376 140735929419280 18446744073709551615 228256164761 0 4 0 16800975 18446604471122073408 0 0 -1 3 0 0 0
[pid=14047/tid=14057] ppid=14045 vsize=7655128 CPUtime=0.16 cores=1,3
/proc/14047/task/14057/stat : 14057 (java) S 14045 14047 13486 0 -1 4202560 2876 0 0 0 16 0 0 0 16 0 19 0 467984817 7838851072 42222 33554432000 1073741824 1073778376 140735929419280 18446744073709551615 228256164761 0 4 0 16800975 18446604471122073408 0 0 -1 3 0 0 0
[pid=14047/tid=14059] ppid=14045 vsize=7655128 CPUtime=2.83 cores=1,3
/proc/14047/task/14059/stat : 14059 (java) S 14045 14047 13486 0 -1 4202560 9957 0 0 0 282 1 0 0 15 0 19 0 467984818 7838851072 42222 33554432000 1073741824 1073778376 140735929419280 18446744073709551615 228256165376 0 0 0 16800975 18446604471122073408 0 0 -1 1 0 0 0
[pid=14047/tid=14064] ppid=14045 vsize=7655128 CPUtime=0 cores=1,3
/proc/14047/task/14064/stat : 14064 (java) S 14045 14047 13486 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 467984818 7838851072 42222 33554432000 1073741824 1073778376 140735929419280 18446744073709551615 228256164761 0 4 0 16800975 18446604471122073408 0 0 -1 3 0 0 0
[pid=14047/tid=14065] ppid=14045 vsize=7655128 CPUtime=0 cores=1,3
/proc/14047/task/14065/stat : 14065 (java) S 14045 14047 13486 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 467984818 7838851072 42222 33554432000 1073741824 1073778376 140735929419280 18446744073709551615 228256164761 0 4 0 16800975 18446604471122073408 0 0 -1 3 0 0 0
[pid=14047/tid=14068] ppid=14045 vsize=7655128 CPUtime=0 cores=1,3
/proc/14047/task/14068/stat : 14068 (java) S 14045 14047 13486 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 467984820 7838851072 42222 33554432000 1073741824 1073778376 140735929419280 18446744073709551615 228256172465 0 4 0 16800975 18446604471122073408 0 0 -1 3 0 0 0
[pid=14047/tid=14069] ppid=14045 vsize=7655128 CPUtime=0.61 cores=1,3
/proc/14047/task/14069/stat : 14069 (java) S 14045 14047 13486 0 -1 4202560 8312 0 0 0 60 1 0 0 15 0 19 0 467984820 7838851072 42222 33554432000 1073741824 1073778376 140735929419280 18446744073709551615 228256164761 0 4 0 16800975 18446604471122073408 0 0 -1 1 0 0 0
[pid=14047/tid=14070] ppid=14045 vsize=7655128 CPUtime=0.73 cores=1,3
/proc/14047/task/14070/stat : 14070 (java) S 14045 14047 13486 0 -1 4202560 7957 0 0 0 72 1 0 0 15 0 19 0 467984820 7838851072 42222 33554432000 1073741824 1073778376 140735929419280 18446744073709551615 228256164761 0 4 0 16800975 18446604471122073408 0 0 -1 3 0 0 0
[pid=14047/tid=14071] ppid=14045 vsize=7655128 CPUtime=0 cores=1,3
/proc/14047/task/14071/stat : 14071 (java) S 14045 14047 13486 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 467984820 7838851072 42222 33554432000 1073741824 1073778376 140735929419280 18446744073709551615 228256164761 0 4 0 16800975 18446604471122073408 0 0 -1 3 0 0 0
[pid=14047/tid=14072] ppid=14045 vsize=7655128 CPUtime=0 cores=1,3
/proc/14047/task/14072/stat : 14072 (java) S 14045 14047 13486 0 -1 4202560 77 0 0 0 0 0 0 0 15 0 19 0 467984820 7838851072 42222 33554432000 1073741824 1073778376 140735929419280 18446744073709551615 228256165376 0 4 0 16800975 18446604471122073408 0 0 -1 3 0 0 0
[pid=14047/tid=14091] ppid=14045 vsize=7655128 CPUtime=0 cores=1,3
/proc/14047/task/14091/stat : 14091 (java) S 14045 14047 13486 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 467984838 7838851072 42222 33554432000 1073741824 1073778376 140735929419280 18446744073709551615 228256165376 0 4 0 16800975 18446604471122073408 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1301.58
Current children cumulated vsize (KiB) 7655128

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.07
CPU time (s): 1301.7
CPU user time (s): 1301.59
CPU system time (s): 0.113982
CPU usage (%): 100.126
Max. virtual memory (cumulated for all children) (KiB): 7659156

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1301.59
system time used= 0.113982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51457
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= 28501
involuntary context switches= 5564

runsolver used 2.10468 second user time and 5.01224 second system time

The end

Launcher Data 

Begin job on node136 at 2011-04-23 15:04:29
IDJOB=3263184
IDBENCH=83934
IDSOLVER=1611
FILE ID=node136/3263184-1303563868
RUNJOBID= node136-1303563868-13979
PBS_JOBID= 13150284
Free space on /tmp= 71632 MiB

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

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

MD5SUM BENCH= b970e9358cd0cd1a9cfd3d4afb2e830d
RANDOM SEED=1060861181

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      14395956 kB
Buffers:       1699672 kB
Cached:       16157052 kB
SwapCached:          4 kB
Active:        9487156 kB
Inactive:      8502948 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      14395956 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:            6224 kB
Writeback:           0 kB
AnonPages:      133012 kB
Mapped:          22632 kB
Slab:           500916 kB
PageTables:       5796 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 14722928 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= 71632 MiB
End job on node136 at 2011-04-23 15:26:11