Trace number 3265120

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) 1302.18 1300.11

General information on the benchmark

NameSAT05/crafted/sabharwal05/counting/php/unsat/
easier/php-045-035.shuffled-as.sat05-1181.cnf
MD5SUM057b78ff24cc0773c9c67e770a7b9de2
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark44.4072
Satisfiable
(Un)Satisfiability was proved
Number of variables1575
Number of clauses34695
Sum of the clauses size70875
Maximum clause length35
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 234650
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 545

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.07	c no version file found!!!
0.00/0.07	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.07	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.07	c java.vm.version	19.1-b02
0.00/0.07	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.07	c sun.arch.data.model	64
0.00/0.07	c java.version		1.6.0_24
0.00/0.07	c os.name		Linux
0.00/0.07	c os.version		2.6.18-164.el5
0.00/0.07	c os.arch		amd64
0.00/0.07	c Free memory 		6997539544
0.00/0.07	c Max memory 		7034241024
0.00/0.07	c Total memory 		7034241024
0.00/0.07	c Number of processors 	8
0.07/0.09	c --- Begin Solver configuration ---
0.07/0.09	c org.sat4j.minisat.constraints.MixedDataStructureDanielWL@50337d0f
0.07/0.09	c Learn all clauses as in MiniSAT
0.07/0.09	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.1 initConflictBound=100 
0.07/0.09	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT
0.07/0.09	c Expensive reason simplification
0.07/0.09	c Armin Biere (Picosat) restarts strategy
0.07/0.09	c Glucose learned constraints deletion strategy
0.07/0.09	c timeout=2147483647s
0.07/0.09	c DB Simplification allowed=true
0.07/0.09	c --- End Solver configuration ---
0.07/0.09	c solving HOME/instance-3265120-1303579572.cnf
0.07/0.09	c reading problem ... 
0.10/0.18	c ... done. Wall clock time 0.099s.
0.10/0.19	c #vars     1575
0.10/0.19	c #constraints  34695
0.10/0.19	c constraints type 
0.10/0.19	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 45
0.10/0.19	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 34650
1.49/1.11	c cleaning 2498 clauses out of 5002 with flag 5002/5002
2.70/2.12	c cleaning 4250 clauses out of 8503 with flag 11001/11001
3.91/3.32	c cleaning 5625 clauses out of 11252 with flag 18000/18000
5.42/4.86	c cleaning 6812 clauses out of 13627 with flag 26000/26000
7.15/6.59	c cleaning 7902 clauses out of 15816 with flag 35001/35001
9.35/8.73	c cleaning 8953 clauses out of 17913 with flag 45000/45000
11.66/11.08	c cleaning 9976 clauses out of 19960 with flag 56000/56000
14.37/13.71	c cleaning 10990 clauses out of 21985 with flag 68001/68001
17.27/16.66	c cleaning 11994 clauses out of 23997 with flag 81003/81003
20.38/19.78	c cleaning 12998 clauses out of 26000 with flag 95000/95000
23.99/23.38	c cleaning 13998 clauses out of 28003 with flag 110001/110001
27.69/27.03	c cleaning 15000 clauses out of 30005 with flag 126001/126001
32.00/31.33	c cleaning 16001 clauses out of 32006 with flag 143002/143002
36.30/35.69	c cleaning 16995 clauses out of 34003 with flag 161000/161000
41.12/40.40	c cleaning 18000 clauses out of 36009 with flag 180001/180001
45.93/45.22	c cleaning 19001 clauses out of 38011 with flag 200003/200003
51.34/50.68	c cleaning 20003 clauses out of 40007 with flag 221000/221000
57.04/56.33	c cleaning 20997 clauses out of 42004 with flag 243000/243000
63.06/62.31	c cleaning 22003 clauses out of 44009 with flag 266002/266002
68.97/68.23	c cleaning 22998 clauses out of 46006 with flag 290002/290002
75.58/74.82	c cleaning 23999 clauses out of 48008 with flag 315002/315002
82.68/81.90	c cleaning 25000 clauses out of 50007 with flag 341000/341000
90.30/89.53	c cleaning 25997 clauses out of 52010 with flag 368003/368003
97.71/96.90	c cleaning 26988 clauses out of 54012 with flag 396002/396002
105.72/104.94	c cleaning 27991 clauses out of 56022 with flag 425000/425000
114.54/113.78	c cleaning 29008 clauses out of 58031 with flag 455000/455000
123.05/122.27	c cleaning 30002 clauses out of 60024 with flag 486001/486001
133.06/132.20	c cleaning 30999 clauses out of 62025 with flag 518004/518004
143.07/142.25	c cleaning 32004 clauses out of 64024 with flag 551002/551002
153.09/152.23	c cleaning 32990 clauses out of 66019 with flag 585001/585001
164.40/163.57	c cleaning 34010 clauses out of 68028 with flag 620000/620000
174.62/173.77	c cleaning 34505 clauses out of 69023 with flag 655005/655005
186.13/185.29	c cleaning 34752 clauses out of 69513 with flag 690000/690000
196.54/195.62	c cleaning 34877 clauses out of 69761 with flag 725000/725000
208.17/207.28	c cleaning 34933 clauses out of 69884 with flag 760000/760000
218.79/217.82	c cleaning 34967 clauses out of 69951 with flag 795000/795000
230.70/229.79	c cleaning 34986 clauses out of 69986 with flag 830002/830002
241.31/240.34	c cleaning 34990 clauses out of 69999 with flag 865001/865001
251.62/250.60	c cleaning 34990 clauses out of 70008 with flag 900000/900000
262.84/261.83	c cleaning 35003 clauses out of 70019 with flag 935001/935001
272.65/271.67	c cleaning 35001 clauses out of 70016 with flag 970001/970001
284.36/283.35	c cleaning 34997 clauses out of 70015 with flag 1005001/1005001
295.18/294.16	c cleaning 35007 clauses out of 70021 with flag 1040004/1040004
305.59/304.57	c cleaning 34999 clauses out of 70014 with flag 1075004/1075004
316.40/315.37	c cleaning 34994 clauses out of 70011 with flag 1110000/1110000
327.41/326.31	c cleaning 35005 clauses out of 70020 with flag 1145003/1145003
338.02/336.96	c cleaning 35005 clauses out of 70013 with flag 1180001/1180001
348.64/347.51	c cleaning 34995 clauses out of 70007 with flag 1215000/1215000
359.84/358.73	c cleaning 35003 clauses out of 70015 with flag 1250003/1250003
369.75/368.65	c cleaning 34998 clauses out of 70009 with flag 1285000/1285000
380.36/379.24	c cleaning 35002 clauses out of 70014 with flag 1320003/1320003
391.27/390.14	c cleaning 34993 clauses out of 70009 with flag 1355000/1355000
401.59/400.43	c cleaning 35004 clauses out of 70017 with flag 1390001/1390001
410.90/409.72	c cleaning 35001 clauses out of 70013 with flag 1425001/1425001
421.70/420.57	c cleaning 34997 clauses out of 70011 with flag 1460000/1460000
431.51/430.34	c cleaning 34998 clauses out of 70015 with flag 1495001/1495001
441.92/440.78	c cleaning 34998 clauses out of 70017 with flag 1530001/1530001
453.12/451.93	c cleaning 35001 clauses out of 70018 with flag 1565000/1565000
463.43/462.20	c cleaning 34997 clauses out of 70017 with flag 1600000/1600000
474.15/472.91	c cleaning 35000 clauses out of 70020 with flag 1635000/1635000
485.76/484.52	c cleaning 35003 clauses out of 70024 with flag 1670004/1670004
495.07/493.88	c cleaning 35007 clauses out of 70017 with flag 1705000/1705000
505.68/504.45	c cleaning 34999 clauses out of 70010 with flag 1740000/1740000
516.58/515.33	c cleaning 34993 clauses out of 70011 with flag 1775000/1775000
527.90/526.67	c cleaning 35003 clauses out of 70019 with flag 1810001/1810001
539.31/538.04	c cleaning 35003 clauses out of 70016 with flag 1845001/1845001
549.83/548.53	c cleaning 35000 clauses out of 70014 with flag 1880002/1880002
560.63/559.33	c cleaning 35000 clauses out of 70015 with flag 1915003/1915003
571.74/570.44	c cleaning 35000 clauses out of 70014 with flag 1950002/1950002
582.96/581.69	c cleaning 35002 clauses out of 70013 with flag 1985001/1985001
596.17/594.80	c cleaning 34995 clauses out of 70010 with flag 2020000/2020000
606.09/604.74	c cleaning 34998 clauses out of 70015 with flag 2055000/2055000
615.81/614.43	c cleaning 35006 clauses out of 70017 with flag 2090000/2090000
626.82/625.45	c cleaning 34986 clauses out of 70011 with flag 2125000/2125000
638.03/636.60	c cleaning 35003 clauses out of 70025 with flag 2160000/2160000
649.74/648.30	c cleaning 35006 clauses out of 70025 with flag 2195003/2195003
662.35/660.93	c cleaning 35001 clauses out of 70016 with flag 2230000/2230000
672.16/670.70	c cleaning 35002 clauses out of 70015 with flag 2265000/2265000
682.37/680.99	c cleaning 34991 clauses out of 70013 with flag 2300000/2300000
692.78/691.39	c cleaning 34999 clauses out of 70023 with flag 2335001/2335001
703.29/701.85	c cleaning 35009 clauses out of 70024 with flag 2370001/2370001
714.99/713.57	c cleaning 34999 clauses out of 70014 with flag 2405000/2405000
727.10/725.64	c cleaning 35001 clauses out of 70015 with flag 2440000/2440000
737.51/736.01	c cleaning 35006 clauses out of 70014 with flag 2475000/2475000
747.52/746.03	c cleaning 34990 clauses out of 70008 with flag 2510000/2510000
758.03/756.53	c cleaning 35007 clauses out of 70018 with flag 2545000/2545000
769.84/768.33	c cleaning 34991 clauses out of 70013 with flag 2580002/2580002
781.76/780.25	c cleaning 35008 clauses out of 70021 with flag 2615001/2615001
793.17/791.60	c cleaning 34995 clauses out of 70012 with flag 2650000/2650000
805.88/804.36	c cleaning 35002 clauses out of 70019 with flag 2685002/2685002
817.19/815.66	c cleaning 35000 clauses out of 70018 with flag 2720003/2720003
827.80/826.28	c cleaning 35004 clauses out of 70015 with flag 2755000/2755000
837.71/836.12	c cleaning 34996 clauses out of 70011 with flag 2790000/2790000
849.32/847.74	c cleaning 35003 clauses out of 70018 with flag 2825003/2825003
860.23/858.68	c cleaning 34994 clauses out of 70013 with flag 2860001/2860001
871.64/870.06	c cleaning 35003 clauses out of 70018 with flag 2895000/2895000
884.05/882.46	c cleaning 35001 clauses out of 70016 with flag 2930001/2930001
898.07/896.50	c cleaning 34990 clauses out of 70015 with flag 2965001/2965001
909.29/907.63	c cleaning 35010 clauses out of 70027 with flag 3000003/3000003
920.00/918.36	c cleaning 34996 clauses out of 70014 with flag 3035000/3035000
930.71/929.02	c cleaning 35000 clauses out of 70020 with flag 3070002/3070002
941.91/940.27	c cleaning 35006 clauses out of 70018 with flag 3105000/3105000
954.02/952.34	c cleaning 34997 clauses out of 70016 with flag 3140004/3140004
965.92/964.23	c cleaning 35000 clauses out of 70016 with flag 3175001/3175001
978.33/976.60	c cleaning 35004 clauses out of 70015 with flag 3210000/3210000
992.24/990.52	c cleaning 34978 clauses out of 70011 with flag 3245000/3245000
1008.76/1007.09	c cleaning 35010 clauses out of 70033 with flag 3280000/3280000
1018.79/1017.09	c cleaning 35006 clauses out of 70023 with flag 3315000/3315000
1029.20/1027.44	c cleaning 35006 clauses out of 70018 with flag 3350001/3350001
1040.30/1038.54	c cleaning 35001 clauses out of 70013 with flag 3385002/3385002
1051.11/1049.33	c cleaning 34985 clauses out of 70010 with flag 3420000/3420000
1062.31/1060.59	c cleaning 35005 clauses out of 70028 with flag 3455003/3455003
1075.12/1073.37	c cleaning 35008 clauses out of 70023 with flag 3490003/3490003
1088.43/1086.67	c cleaning 34998 clauses out of 70012 with flag 3525000/3525000
1103.34/1101.56	c cleaning 35004 clauses out of 70015 with flag 3560001/3560001
1117.27/1115.44	c cleaning 34999 clauses out of 70013 with flag 3595003/3595003
1130.28/1128.48	c cleaning 34997 clauses out of 70013 with flag 3630002/3630002
1140.29/1138.44	c cleaning 34996 clauses out of 70014 with flag 3665000/3665000
1150.71/1148.86	c cleaning 34993 clauses out of 70018 with flag 3700000/3700000
1161.71/1159.82	c cleaning 35013 clauses out of 70027 with flag 3735002/3735002
1173.72/1171.84	c cleaning 34999 clauses out of 70014 with flag 3770002/3770002
1186.33/1184.43	c cleaning 34995 clauses out of 70013 with flag 3805000/3805000
1198.44/1196.53	c cleaning 34998 clauses out of 70020 with flag 3840002/3840002
1211.75/1209.90	c cleaning 35001 clauses out of 70021 with flag 3875001/3875001
1226.36/1224.49	c cleaning 35004 clauses out of 70023 with flag 3910004/3910004
1240.88/1238.96	c cleaning 35006 clauses out of 70016 with flag 3945001/3945001
1257.20/1255.30	c cleaning 34991 clauses out of 70009 with flag 3980000/3980000
1267.52/1265.54	c cleaning 35005 clauses out of 70018 with flag 4015000/4015000
1278.32/1276.34	c cleaning 35002 clauses out of 70013 with flag 4050000/4050000
1289.13/1287.19	c cleaning 34995 clauses out of 70014 with flag 4085003/4085003
1299.53/1297.56	c cleaning 35003 clauses out of 70017 with flag 4120001/4120001
1302.05/1300.01	c starts		: 2006
1302.05/1300.01	c conflicts		: 4128665
1302.05/1300.01	c decisions		: 4915328
1302.05/1300.01	c propagations		: 152248705
1302.05/1300.01	c inspects		: 5468758768
1302.05/1300.01	c shortcuts		: 0
1302.05/1300.01	c learnt literals	: 0
1302.05/1300.01	c learnt binary clauses	: 0
1302.05/1300.01	c learnt ternary clauses	: 0
1302.05/1300.01	c learnt constraints	: 4128664
1302.05/1300.01	c ignored constraints	: 0
1302.05/1300.01	c root simplifications	: 2006
1302.05/1300.01	c removed literals (reason simplification)	: 193727926
1302.05/1300.01	c reason swapping (by a shorter reason)	: 0
1302.05/1300.01	c Calls to reduceDB	: 131
1302.05/1300.01	c speed (assignments/second)	: 117130.24609485592
1302.05/1300.01	c non guided choices	69
1302.05/1300.09	c learnt constraints type 
1302.05/1300.09	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 43877
1302.05/1300.09	c constraints type 
1302.05/1300.09	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 45
1302.05/1300.09	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 34650
1302.05/1300.09	s UNKNOWN
1302.05/1300.09	c Total wall clock time (in seconds) : 1299.923

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3265120-1303579572/watcher-3265120-1303579572 -o /tmp/evaluation-result-3265120-1303579572/solver-3265120-1303579572 -C 2400 -W 1300 -M 7680 java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3265120-1303579572.cnf 

running on 2 cores: 4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 3.19 3.79 3.61 5/197 1361
/proc/meminfo: memFree=14712480/32951124 swapFree=67111528/67111528
[pid=1361] ppid=1359 vsize=23028 CPUtime=0 cores=4,6
/proc/1361/stat : 1361 (java) R 1359 1361 1299 0 -1 4202496 949 0 0 0 0 0 0 0 18 0 1 0 450372806 23580672 691 33554432000 1073741824 1073778376 140733377588832 18446744073709551615 264721483184 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/1361/statm: 5757 691 508 9 0 124 0
[pid=1361/tid=1363] ppid=1359 vsize=30536 CPUtime=0 cores=4,6
/proc/1361/task/1363/stat : 1363 (java) R 1359 1361 1299 0 -1 4202560 139 0 0 0 0 0 0 0 19 0 2 0 450372807 31268864 971 33554432000 1073741824 1073778376 140733377588832 18446744073709551615 264721481351 0 2147483391 0 16784584 0 0 0 -1 4 0 0 0

[startup+0.0831351 s]
/proc/loadavg: 3.19 3.79 3.61 5/197 1361
/proc/meminfo: memFree=14712480/32951124 swapFree=67111528/67111528
[pid=1361] ppid=1359 vsize=7569940 CPUtime=0.07 cores=4,6
/proc/1361/stat : 1361 (java) S 1359 1361 1299 0 -1 4202496 9591 0 1 0 6 1 0 0 18 0 18 0 450372806 7751618560 9286 33554432000 1073741824 1073778376 140733377588832 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/1361/statm: 1892485 9287 1754 9 0 1883223 0
[pid=1361/tid=1363] ppid=1359 vsize=7569940 CPUtime=0.07 cores=4,6
/proc/1361/task/1363/stat : 1363 (java) R 1359 1361 1299 0 -1 4202560 8417 0 1 0 6 1 0 0 25 0 18 0 450372807 7751618560 9287 33554432000 1073741824 1073778376 140733377588832 18446744073709551615 47096807730003 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 7569940

[startup+0.10108 s]
/proc/loadavg: 3.19 3.79 3.61 5/197 1361
/proc/meminfo: memFree=14712480/32951124 swapFree=67111528/67111528
[pid=1361] ppid=1359 vsize=7636404 CPUtime=0.1 cores=4,6
/proc/1361/stat : 1361 (java) S 1359 1361 1299 0 -1 4202496 10526 0 1 0 9 1 0 0 18 0 18 0 450372806 7819677696 10221 33554432000 1073741824 1073778376 140733377588832 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/1361/statm: 1909101 10221 2093 9 0 1899839 0
[pid=1361/tid=1363] ppid=1359 vsize=7636404 CPUtime=0.08 cores=4,6
/proc/1361/task/1363/stat : 1363 (java) R 1359 1361 1299 0 -1 4202560 8687 0 1 0 7 1 0 0 25 0 18 0 450372807 7819677696 10221 33554432000 1073741824 1073778376 140733377588832 18446744073709551615 46912505164211 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 7636404

[startup+0.301011 s]
/proc/loadavg: 3.19 3.79 3.61 5/197 1361
/proc/meminfo: memFree=14712480/32951124 swapFree=67111528/67111528
[pid=1361] ppid=1359 vsize=7637432 CPUtime=0.49 cores=4,6
/proc/1361/stat : 1361 (java) S 1359 1361 1299 0 -1 4202496 12734 0 1 0 47 2 0 0 18 0 19 0 450372806 7820730368 11759 33554432000 1073741824 1073778376 140733377588832 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/1361/statm: 1909358 11759 2215 9 0 1900096 0
[pid=1361/tid=1363] ppid=1359 vsize=7637432 CPUtime=0.28 cores=4,6
/proc/1361/task/1363/stat : 1363 (java) R 1359 1361 1299 0 -1 4202560 9340 0 1 0 27 1 0 0 25 0 19 0 450372807 7820730368 11759 33554432000 1073741824 1073778376 140733377588832 18446744073709551615 46912505217124 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 7637432

[startup+0.70102 s]
/proc/loadavg: 3.19 3.79 3.61 5/197 1361
/proc/meminfo: memFree=14712480/32951124 swapFree=67111528/67111528
[pid=1361] ppid=1359 vsize=7637432 CPUtime=1.03 cores=4,6
/proc/1361/stat : 1361 (java) S 1359 1361 1299 0 -1 4202496 13918 0 1 0 101 2 0 0 18 0 19 0 450372806 7820730368 12731 33554432000 1073741824 1073778376 140733377588832 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/1361/statm: 1909358 12731 2219 9 0 1900096 0
[pid=1361/tid=1363] ppid=1359 vsize=7637432 CPUtime=0.68 cores=4,6
/proc/1361/task/1363/stat : 1363 (java) R 1359 1361 1299 0 -1 4202560 10265 0 1 0 67 1 0 0 25 0 19 0 450372807 7820730368 12731 33554432000 1073741824 1073778376 140733377588832 18446744073709551615 46912505576774 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.03
Current children cumulated vsize (KiB) 7637432

[startup+1.50087 s]
/proc/loadavg: 3.19 3.79 3.61 16/262 1432
/proc/meminfo: memFree=14524264/32951124 swapFree=67111528/67111528
[pid=1361] ppid=1359 vsize=7637432 CPUtime=2.06 cores=4,6
/proc/1361/stat : 1361 (java) S 1359 1361 1299 0 -1 4202496 25919 0 1 0 203 3 0 0 18 0 19 0 450372806 7820730368 21867 33554432000 1073741824 1073778376 140733377588832 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/1361/statm: 1909358 21867 2251 9 0 1900096 0
[pid=1361/tid=1363] ppid=1359 vsize=7637432 CPUtime=1.45 cores=4,6
/proc/1361/task/1363/stat : 1363 (java) R 1359 1361 1299 0 -1 4202560 11282 0 1 0 144 1 0 0 25 0 19 0 450372807 7820730368 21867 33554432000 1073741824 1073778376 140733377588832 18446744073709551615 46912505576864 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=1361/tid=1371] ppid=1359 vsize=7637432 CPUtime=0 cores=4,6
/proc/1361/task/1371/stat : 1371 (java) S 1359 1361 1299 0 -1 4202560 996 0 0 0 0 0 0 0 18 0 19 0 450372808 7820730368 21867 33554432000 1073741824 1073778376 140733377588832 18446744073709551615 264738220953 0 4 0 16800975 18446604444541024448 0 0 -1 4 0 0 0
[pid=1361/tid=1372] ppid=1359 vsize=7637432 CPUtime=0 cores=4,6
/proc/1361/task/1372/stat : 1372 (java) S 1359 1361 1299 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 450372808 7820730368 21867 33554432000 1073741824 1073778376 140733377588832 18446744073709551615 264738220953 0 4 0 16800975 18446604444541024448 0 0 -1 4 0 0 0
[pid=1361/tid=1373] ppid=1359 vsize=7637432 CPUtime=0 cores=4,6
/proc/1361/task/1373/stat : 1373 (java) S 1359 1361 1299 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 450372808 7820730368 21867 33554432000 1073741824 1073778376 140733377588832 18446744073709551615 264738220953 0 4 0 16800975 18446604444541024448 0 0 -1 4 0 0 0
[pid=1361/tid=1374] ppid=1359 vsize=7637432 CPUtime=0 cores=4,6
/proc/1361/task/1374/stat : 1374 (java) S 1359 1361 1299 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 450372808 7820730368 21867 33554432000 1073741824 1073778376 140733377588832 18446744073709551615 264738220953 0 4 0 16800975 18446604444541024448 0 0 -1 4 0 0 0
[pid=1361/tid=1375] ppid=1359 vsize=7637432 CPUtime=0 cores=4,6
/proc/1361/task/1375/stat : 1375 (java) S 1359 1361 1299 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 450372808 7820730368 21867 33554432000 1073741824 1073778376 140733377588832 18446744073709551615 264738220953 0 4 0 16800975 18446604444541024448 0 0 -1 4 0 0 0
[pid=1361/tid=1376] ppid=1359 vsize=7637432 CPUtime=0 cores=4,6
/proc/1361/task/1376/stat : 1376 (java) S 1359 1361 1299 0 -1 4202560 152 0 0 0 0 0 0 0 17 0 19 0 450372808 7820730368 21867 33554432000 1073741824 1073778376 140733377588832 18446744073709551615 264738220953 0 4 0 16800975 18446604444541024448 0 0 -1 4 0 0 0
[pid=1361/tid=1377] ppid=1359 vsize=7637432 CPUtime=0 cores=4,6
/proc/1361/task/1377/stat : 1377 (java) S 1359 1361 1299 0 -1 4202560 325 0 0 0 0 0 0 0 17 0 19 0 450372808 7820730368 21867 33554432000 1073741824 1073778376 140733377588832 18446744073709551615 264738220953 0 4 0 16800975 18446604444541024448 0 0 -1 4 0 0 0
[pid=1361/tid=1378] ppid=1359 vsize=7637432 CPUtime=0 cores=4,6
/proc/1361/task/1378/stat : 1378 (java) S 1359 1361 1299 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 450372808 7820730368 21867 33554432000 1073741824 1073778376 140733377588832 18446744073709551615 264738220953 0 4 0 16800975 18446604444541024448 0 0 -1 4 0 0 0
[pid=1361/tid=1387] ppid=1359 vsize=7637432 CPUtime=0.01 cores=4,6
/proc/1361/task/1387/stat : 1387 (java) S 1359 1361 1299 0 -1 4202560 1467 0 0 0 1 0 0 0 17 0 19 0 450372809 7820730368 21867 33554432000 1073741824 1073778376 140733377588832 18446744073709551615 264738221568 0 0 0 16800975 18446604444541024448 0 0 -1 4 0 0 0
[pid=1361/tid=1388] ppid=1359 vsize=7637432 CPUtime=0 cores=4,6
/proc/1361/task/1388/stat : 1388 (java) S 1359 1361 1299 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 450372809 7820730368 21867 33554432000 1073741824 1073778376 140733377588832 18446744073709551615 264738220953 0 4 0 16800975 18446604444541024448 0 0 -1 6 0 0 0
[pid=1361/tid=1389] ppid=1359 vsize=7637432 CPUtime=0 cores=4,6
/proc/1361/task/1389/stat : 1389 (java) S 1359 1361 1299 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 450372809 7820730368 21867 33554432000 1073741824 1073778376 140733377588832 18446744073709551615 264738220953 0 4 0 16800975 18446604444541024448 0 0 -1 4 0 0 0
[pid=1361/tid=1393] ppid=1359 vsize=7637432 CPUtime=0 cores=4,6
/proc/1361/task/1393/stat : 1393 (java) S 1359 1361 1299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 450372812 7820730368 21867 33554432000 1073741824 1073778376 140733377588832 18446744073709551615 264738228657 0 4 0 16800975 18446604444541024448 0 0 -1 4 0 0 0
[pid=1361/tid=1394] ppid=1359 vsize=7637432 CPUtime=0.41 cores=4,6
/proc/1361/task/1394/stat : 1394 (java) S 1359 1361 1299 0 -1 4202560 9546 0 0 0 41 0 0 0 20 0 19 0 450372812 7820730368 21867 33554432000 1073741824 1073778376 140733377588832 18446744073709551615 264738220953 0 4 0 16800975 18446604444541024448 0 0 -1 6 0 0 0
[pid=1361/tid=1395] ppid=1359 vsize=7637432 CPUtime=0.13 cores=4,6
/proc/1361/task/1395/stat : 1395 (java) S 1359 1361 1299 0 -1 4202560 995 0 0 0 13 0 0 0 19 0 19 0 450372812 7820730368 21867 33554432000 1073741824 1073778376 140733377588832 18446744073709551615 264738220953 0 4 0 16800975 18446604444541024448 0 0 -1 6 0 0 0
[pid=1361/tid=1396] ppid=1359 vsize=7637432 CPUtime=0 cores=4,6
/proc/1361/task/1396/stat : 1396 (java) S 1359 1361 1299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 450372812 7820730368 21867 33554432000 1073741824 1073778376 140733377588832 18446744073709551615 264738220953 0 4 0 16800975 18446604444541024448 0 0 -1 4 0 0 0
[pid=1361/tid=1397] ppid=1359 vsize=7637432 CPUtime=0 cores=4,6
/proc/1361/task/1397/stat : 1397 (java) S 1359 1361 1299 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 450372812 7820730368 21867 33554432000 1073741824 1073778376 140733377588832 18446744073709551615 264738221568 0 4 0 16800975 18446604444541024448 0 0 -1 6 0 0 0
[pid=1361/tid=1403] ppid=1359 vsize=7637432 CPUtime=0 cores=4,6
/proc/1361/task/1403/stat : 1403 (java) S 1359 1361 1299 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 450372826 7820730368 21867 33554432000 1073741824 1073778376 140733377588832 18446744073709551615 264738221568 0 4 0 16800975 18446604444541024448 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.06
Current children cumulated vsize (KiB) 7637432

[startup+3.10157 s]
/proc/loadavg: 3.19 3.79 3.61 5/262 1478
/proc/meminfo: memFree=14484640/32951124 swapFree=67111528/67111528
[pid=1361] ppid=1359 vsize=7637432 CPUtime=3.71 cores=4,6
/proc/1361/stat : 1361 (java) S 1359 1361 1299 0 -1 4202496 29313 0 1 0 367 4 0 0 18 0 19 0 450372806 7820730368 25260 33554432000 1073741824 1073778376 140733377588832 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/1361/statm: 1909358 25260 2253 9 0 1900096 0
[pid=1361/tid=1363] ppid=1359 vsize=7637432 CPUtime=3.03 cores=4,6
/proc/1361/task/1363/stat : 1363 (java) R 1359 1361 1299 0 -1 4202560 11283 0 1 0 302 1 0 0 25 0 19 0 450372807 7820730368 25260 33554432000 1073741824 1073778376 140733377588832 18446744073709551615 46912505699563 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=1361/tid=1371] ppid=1359 vsize=7637432 CPUtime=0 cores=4,6
/proc/1361/task/1371/stat : 1371 (java) S 1359 1361 1299 0 -1 4202560 996 0 0 0 0 0 0 0 15 0 19 0 450372808 7820730368 25260 33554432000 1073741824 1073778376 140733377588832 18446744073709551615 264738220953 0 4 0 16800975 18446604444541024448 0 0 -1 4 0 0 0
[pid=1361/tid=1372] ppid=1359 vsize=7637432 CPUtime=0 cores=4,6
/proc/1361/task/1372/stat : 1372 (java) S 1359 1361 1299 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 450372808 7820730368 25260 33554432000 1073741824 1073778376 140733377588832 18446744073709551615 264738220953 0 4 0 16800975 18446604444541024448 0 0 -1 6 0 0 0
[pid=1361/tid=1373] ppid=1359 vsize=7637432 CPUtime=0 cores=4,6
/proc/1361/task/1373/stat : 1373 (java) S 1359 1361 1299 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 450372808 7820730368 25260 33554432000 1073741824 1073778376 140733377588832 18446744073709551615 264738220953 0 4 0 16800975 18446604444541024448 0 0 -1 6 0 0 0
[pid=1361/tid=1374] ppid=1359 vsize=7637432 CPUtime=0 cores=4,6
/proc/1361/task/1374/stat : 1374 (java) S 1359 1361 1299 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 450372808 7820730368 25260 33554432000 1073741824 1073778376 140733377588832 18446744073709551615 264738220953 0 4 0 16800975 18446604444541024448 0 0 -1 6 0 0 0
[pid=1361/tid=1375] ppid=1359 vsize=7637432 CPUtime=0 cores=4,6
/proc/1361/task/1375/stat : 1375 (java) S 1359 1361 1299 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 450372808 7820730368 25260 33554432000 1073741824 1073778376 140733377588832 18446744073709551615 264738220953 0 4 0 16800975 18446604444541024448 0 0 -1 6 0 0 0
[pid=1361/tid=1376] ppid=1359 vsize=7637432 CPUtime=0 cores=4,6
/proc/1361/task/1376/stat : 1376 (java) S 1359 1361 1299 0 -1 4202560 152 0 0 0 0 0 0 0 15 0 19 0 450372808 7820730368 25260 33554432000 1073741824 1073778376 140733377588832 18446744073709551615 264738220953 0 4 0 16800975 18446604444541024448 0 0 -1 6 0 0 0
[pid=1361/tid=1377] ppid=1359 vsize=7637432 CPUtime=0 cores=4,6
/proc/1361/task/1377/stat : 1377 (java) S 1359 1361 1299 0 -1 4202560 325 0 0 0 0 0 0 0 15 0 19 0 450372808 7820730368 25260 33554432000 1073741824 1073778376 140733377588832 18446744073709551615 264738220953 0 4 0 16800975 18446604444541024448 0 0 -1 6 0 0 0
[pid=1361/tid=1378] ppid=1359 vsize=7637432 CPUtime=0 cores=4,6
/proc/1361/task/1378/stat : 1378 (java) S 1359 1361 1299 0 -1 4202560 2436 0 0 0 0 0 0 0 15 0 19 0 450372808 7820730368 25260 33554432000 1073741824 1073778376 140733377588832 18446744073709551615 264738220953 0 4 0 16800975 18446604444541024448 0 0 -1 6 0 0 0
[pid=1361/tid=1387] ppid=1359 vsize=7637432 CPUtime=0.03 cores=4,6
/proc/1361/task/1387/stat : 1387 (java) S 1359 1361 1299 0 -1 4202560 2423 0 0 0 3 0 0 0 16 0 19 0 450372809 7820730368 25260 33554432000 1073741824 1073778376 140733377588832 18446744073709551615 264738221568 0 0 0 16800975 18446604444541024448 0 0 -1 4 0 0 0
[pid=1361/tid=1388] ppid=1359 vsize=7637432 CPUtime=0 cores=4,6
/proc/1361/task/1388/stat : 1388 (java) S 1359 1361 1299 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 450372809 7820730368 25260 33554432000 1073741824 1073778376 140733377588832 18446744073709551615 264738220953 0 4 0 16800975 18446604444541024448 0 0 -1 6 0 0 0
[pid=1361/tid=1389] ppid=1359 vsize=7637432 CPUtime=0 cores=4,6
/proc/1361/task/1389/stat : 1389 (java) S 1359 1361 1299 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 450372809 7820730368 25260 33554432000 1073741824 1073778376 140733377588832 18446744073709551615 264738220953 0 4 0 16800975 18446604444541024448 0 0 -1 4 0 0 0
[pid=1361/tid=1393] ppid=1359 vsize=7637432 CPUtime=0 cores=4,6
/proc/1361/task/1393/stat : 1393 (java) S 1359 1361 1299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 450372812 7820730368 25260 33554432000 1073741824 1073778376 140733377588832 18446744073709551615 264738228657 0 4 0 16800975 18446604444541024448 0 0 -1 4 0 0 0
[pid=1361/tid=1394] ppid=1359 vsize=7637432 CPUtime=0.42 cores=4,6
/proc/1361/task/1394/stat : 1394 (java) S 1359 1361 1299 0 -1 4202560 9546 0 0 0 42 0 0 0 15 0 19 0 450372812 7820730368 25260 33554432000 1073741824 1073778376 140733377588832 18446744073709551615 264738220953 0 4 0 16800975 18446604444541024448 0 0 -1 6 0 0 0
[pid=1361/tid=1395] ppid=1359 vsize=7637432 CPUtime=0.17 cores=4,6
/proc/1361/task/1395/stat : 1395 (java) S 1359 1361 1299 0 -1 4202560 997 0 0 0 17 0 0 0 15 0 19 0 450372812 7820730368 25260 33554432000 1073741824 1073778376 140733377588832 18446744073709551615 264738220953 0 4 0 16800975 18446604444541024448 0 0 -1 6 0 0 0
[pid=1361/tid=1396] ppid=1359 vsize=7637432 CPUtime=0 cores=4,6
/proc/1361/task/1396/stat : 1396 (java) S 1359 1361 1299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 450372812 7820730368 25260 33554432000 1073741824 1073778376 140733377588832 18446744073709551615 264738220953 0 4 0 16800975 18446604444541024448 0 0 -1 4 0 0 0
[pid=1361/tid=1397] ppid=1359 vsize=7637432 CPUtime=0 cores=4,6
/proc/1361/task/1397/stat : 1397 (java) S 1359 1361 1299 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 450372812 7820730368 25260 33554432000 1073741824 1073778376 140733377588832 18446744073709551615 264738221568 0 4 0 16800975 18446604444541024448 0 0 -1 6 0 0 0
[pid=1361/tid=1403] ppid=1359 vsize=7637432 CPUtime=0 cores=4,6
/proc/1361/task/1403/stat : 1403 (java) S 1359 1361 1299 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 450372826 7820730368 25260 33554432000 1073741824 1073778376 140733377588832 18446744073709551615 264738221568 0 4 0 16800975 18446604444541024448 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3.71
Current children cumulated vsize (KiB) 7637432

[startup+6.30095 s]
/proc/loadavg: 3.34 3.81 3.62 5/262 1524
/proc/meminfo: memFree=14392976/32951124 swapFree=67111528/67111528
[pid=1361] ppid=1359 vsize=7637564 CPUtime=6.94 cores=4,6
/proc/1361/stat : 1361 (java) S 1359 1361 1299 0 -1 4202496 33299 0 1 0 690 4 0 0 18 0 19 0 450372806 7820865536 28786 33554432000 1073741824 1073778376 140733377588832 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/1361/statm: 1909391 28786 2253 9 0 1900129 0
[pid=1361/tid=1363] ppid=1359 vsize=7637564 CPUtime=6.17 cores=4,6
/proc/1361/task/1363/stat : 1363 (java) R 1359 1361 1299 0 -1 4202560 11909 0 1 0 616 1 0 0 25 0 19 0 450372807 7820865536 28786 33554432000 1073741824 1073778376 140733377588832 18446744073709551615 46912505583640 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=1361/tid=1371] ppid=1359 vsize=7637564 CPUtime=0 cores=4,6
/proc/1361/task/1371/stat : 1371 (java) S 1359 1361 1299 0 -1 4202560 1673 0 0 0 0 0 0 0 15 0 19 0 450372808 7820865536 28786 33554432000 1073741824 1073778376 140733377588832 18446744073709551615 264738220953 0 4 0 16800975 18446604444541024448 0 0 -1 6 0 0 0
[pid=1361/tid=1372] ppid=1359 vsize=7637564 CPUtime=0 cores=4,6
/proc/1361/task/1372/stat : 1372 (java) S 1359 1361 1299 0 -1 4202560 433 0 0 0 0 0 0 0 15 0 19 0 450372808 7820865536 28786 33554432000 1073741824 1073778376 140733377588832 18446744073709551615 264738220953 0 4 0 16800975 18446604444541024448 0 0 -1 6 0 0 0
[pid=1361/tid=1373] ppid=1359 vsize=7637564 CPUtime=0 cores=4,6
/proc/1361/task/1373/stat : 1373 (java) S 1359 1361 1299 0 -1 4202560 568 0 0 0 0 0 0 0 15 0 19 0 450372808 7820865536 28786 33554432000 1073741824 1073778376 140733377588832 18446744073709551615 264738220953 0 4 0 16800975 18446604444541024448 0 0 -1 6 0 0 0
[pid=1361/tid=1374] ppid=1359 vsize=7637564 CPUtime=0 cores=4,6
/proc/1361/task/1374/stat : 1374 (java) S 1359 1361 1299 0 -1 4202560 653 0 0 0 0 0 0 0 15 0 19 0 450372808 7820865536 28786 33554432000 1073741824 1073778376 140733377588832 18446744073709551615 264738220953 0 4 0 16800975 18446604444541024448 0 0 -1 6 0 0 0
[pid=1361/tid=1375] ppid=1359 vsize=7637564 CPUtime=0 cores=4,6
/proc/1361/task/1375/stat : 1375 (java) S 1359 1361 1299 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 450372808 7820865536 28786 33554432000 1073741824 1073778376 140733377588832 18446744073709551615 264738220953 0 4 0 16800975 18446604444541024448 0 0 -1 6 0 0 0
[pid=1361/tid=1376] ppid=1359 vsize=7637564 CPUtime=0 cores=4,6
/proc/1361/task/1376/stat : 1376 (java) S 1359 1361 1299 0 -1 4202560 152 0 0 0 0 0 0 0 15 0 19 0 450372808 7820865536 28786 33554432000 1073741824 1073778376 140733377588832 18446744073709551615 264738220953 0 4 0 16800975 18446604444541024448 0 0 -1 6 0 0 0
[pid=1361/tid=1377] ppid=1359 vsize=7637564 CPUtime=0 cores=4,6
/proc/1361/task/1377/stat : 1377 (java) S 1359 1361 1299 0 -1 4202560 325 0 0 0 0 0 0 0 15 0 19 0 450372808 7820865536 28786 33554432000 1073741824 1073778376 140733377588832 18446744073709551615 264738220953 0 4 0 16800975 18446604444541024448 0 0 -1 6 0 0 0
[pid=1361/tid=1378] ppid=1359 vsize=7637564 CPUtime=0 cores=4,6
/proc/1361/task/1378/stat : 1378 (java) S 1359 1361 1299 0 -1 4202560 2436 0 0 0 0 0 0 0 15 0 19 0 450372808 7820865536 28786 33554432000 1073741824 1073778376 140733377588832 18446744073709551615 264738220953 0 4 0 16800975 18446604444541024448 0 0 -1 4 0 0 0
[pid=1361/tid=1387] ppid=1359 vsize=7637564 CPUtime=0.07 cores=4,6
/proc/1361/task/1387/stat : 1387 (java) S 1359 1361 1299 0 -1 4202560 3450 0 0 0 7 0 0 0 15 0 19 0 450372809 7820865536 28786 33554432000 1073741824 1073778376 140733377588832 18446744073709551615 264738221568 0 0 0 16800975 18446604444541024448 0 0 -1 4 0 0 0
[pid=1361/tid=1388] ppid=1359 vsize=7637564 CPUtime=0 cores=4,6
/proc/1361/task/1388/stat : 1388 (java) S 1359 1361 1299 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 450372809 7820865536 28786 33554432000 1073741824 1073778376 140733377588832 18446744073709551615 264738220953 0 4 0 16800975 18446604444541024448 0 0 -1 6 0 0 0
[pid=1361/tid=1389] ppid=1359 vsize=7637564 CPUtime=0 cores=4,6
/proc/1361/task/1389/stat : 1389 (java) S 1359 1361 1299 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 450372809 7820865536 28786 33554432000 1073741824 1073778376 140733377588832 18446744073709551615 264738220953 0 4 0 16800975 18446604444541024448 0 0 -1 4 0 0 0
[pid=1361/tid=1393] ppid=1359 vsize=7637564 CPUtime=0 cores=4,6
/proc/1361/task/1393/stat : 1393 (java) S 1359 1361 1299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 450372812 7820865536 28786 33554432000 1073741824 1073778376 140733377588832 18446744073709551615 264738228657 0 4 0 16800975 18446604444541024448 0 0 -1 4 0 0 0
[pid=1361/tid=1394] ppid=1359 vsize=7637564 CPUtime=0.43 cores=4,6
/proc/1361/task/1394/stat : 1394 (java) S 1359 1361 1299 0 -1 4202560 9547 0 0 0 43 0 0 0 15 0 19 0 450372812 7820865536 28786 33554432000 1073741824 1073778376 140733377588832 18446744073709551615 264738220953 0 4 0 16800975 18446604444541024448 0 0 -1 6 0 0 0
[pid=1361/tid=1395] ppid=1359 vsize=7637564 CPUtime=0.19 cores=4,6
/proc/1361/task/1395/stat : 1395 (java) S 1359 1361 1299 0 -1 4202560 1001 0 0 0 19 0 0 0 15 0 19 0 450372812 7820865536 28786 33554432000 1073741824 1073778376 140733377588832 18446744073709551615 264738220953 0 4 0 16800975 18446604444541024448 0 0 -1 6 0 0 0

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

[pid=1361/tid=1376] ppid=1359 vsize=7637564 CPUtime=0.28 cores=4,6
/proc/1361/task/1376/stat : 1376 (java) S 1359 1361 1299 0 -1 4202560 3478 0 0 0 28 0 0 0 15 0 19 0 450372808 7820865536 90790 33554432000 1073741824 1073778376 140733377588832 18446744073709551615 264738220953 0 4 0 16800975 18446604444541024448 0 0 -1 6 0 0 0
[pid=1361/tid=1377] ppid=1359 vsize=7637564 CPUtime=0.27 cores=4,6
/proc/1361/task/1377/stat : 1377 (java) S 1359 1361 1299 0 -1 4202560 2477 0 0 0 27 0 0 0 15 0 19 0 450372808 7820865536 90790 33554432000 1073741824 1073778376 140733377588832 18446744073709551615 264738220953 0 4 0 16800975 18446604444541024448 0 0 -1 6 0 0 0
[pid=1361/tid=1378] ppid=1359 vsize=7637564 CPUtime=0.34 cores=4,6
/proc/1361/task/1378/stat : 1378 (java) S 1359 1361 1299 0 -1 4202560 7090 0 0 0 33 1 0 0 15 0 19 0 450372808 7820865536 90790 33554432000 1073741824 1073778376 140733377588832 18446744073709551615 264738220953 0 4 0 16800975 18446604444541024448 0 0 -1 6 0 0 0
[pid=1361/tid=1387] ppid=1359 vsize=7637564 CPUtime=4.94 cores=4,6
/proc/1361/task/1387/stat : 1387 (java) S 1359 1361 1299 0 -1 4202560 24609 0 0 0 492 2 0 0 15 0 19 0 450372809 7820865536 90790 33554432000 1073741824 1073778376 140733377588832 18446744073709551615 264738221568 0 0 0 16800975 18446604444541024448 0 0 -1 4 0 0 0
[pid=1361/tid=1388] ppid=1359 vsize=7637564 CPUtime=0 cores=4,6
/proc/1361/task/1388/stat : 1388 (java) S 1359 1361 1299 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 450372809 7820865536 90790 33554432000 1073741824 1073778376 140733377588832 18446744073709551615 264738220953 0 4 0 16800975 18446604444541024448 0 0 -1 6 0 0 0
[pid=1361/tid=1389] ppid=1359 vsize=7637564 CPUtime=0 cores=4,6
/proc/1361/task/1389/stat : 1389 (java) S 1359 1361 1299 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 450372809 7820865536 90790 33554432000 1073741824 1073778376 140733377588832 18446744073709551615 264738220953 0 4 0 16800975 18446604444541024448 0 0 -1 4 0 0 0
[pid=1361/tid=1393] ppid=1359 vsize=7637564 CPUtime=0 cores=4,6
/proc/1361/task/1393/stat : 1393 (java) S 1359 1361 1299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 450372812 7820865536 90790 33554432000 1073741824 1073778376 140733377588832 18446744073709551615 264738228657 0 4 0 16800975 18446604444541024448 0 0 -1 4 0 0 0
[pid=1361/tid=1394] ppid=1359 vsize=7637564 CPUtime=0.43 cores=4,6
/proc/1361/task/1394/stat : 1394 (java) S 1359 1361 1299 0 -1 4202560 9547 0 0 0 43 0 0 0 15 0 19 0 450372812 7820865536 90790 33554432000 1073741824 1073778376 140733377588832 18446744073709551615 264738220953 0 4 0 16800975 18446604444541024448 0 0 -1 6 0 0 0
[pid=1361/tid=1395] ppid=1359 vsize=7637564 CPUtime=0.22 cores=4,6
/proc/1361/task/1395/stat : 1395 (java) S 1359 1361 1299 0 -1 4202560 1005 0 0 0 22 0 0 0 15 0 19 0 450372812 7820865536 90790 33554432000 1073741824 1073778376 140733377588832 18446744073709551615 264738220953 0 4 0 16800975 18446604444541024448 0 0 -1 6 0 0 0
[pid=1361/tid=1396] ppid=1359 vsize=7637564 CPUtime=0 cores=4,6
/proc/1361/task/1396/stat : 1396 (java) S 1359 1361 1299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 450372812 7820865536 90790 33554432000 1073741824 1073778376 140733377588832 18446744073709551615 264738220953 0 4 0 16800975 18446604444541024448 0 0 -1 4 0 0 0
[pid=1361/tid=1397] ppid=1359 vsize=7637564 CPUtime=0 cores=4,6
/proc/1361/task/1397/stat : 1397 (java) S 1359 1361 1299 0 -1 4202560 67 0 0 0 0 0 0 0 15 0 19 0 450372812 7820865536 90790 33554432000 1073741824 1073778376 140733377588832 18446744073709551615 264738221568 0 4 0 16800975 18446604444541024448 0 0 -1 6 0 0 0
[pid=1361/tid=1403] ppid=1359 vsize=7637564 CPUtime=0 cores=4,6
/proc/1361/task/1403/stat : 1403 (java) S 1359 1361 1299 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 450372826 7820865536 90790 33554432000 1073741824 1073778376 140733377588832 18446744073709551615 264738221568 0 4 0 16800975 18446604444541024448 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1124.18
Current children cumulated vsize (KiB) 7637564

[startup+1182.3 s]
/proc/loadavg: 4.02 4.02 3.88 5/262 1556
/proc/meminfo: memFree=13875904/32951124 swapFree=67111528/67111528
[pid=1361] ppid=1359 vsize=7637564 CPUtime=1184.23 cores=4,6
/proc/1361/stat : 1361 (java) S 1359 1361 1299 0 -1 4202496 95584 0 1 0 118408 15 0 0 18 0 19 0 450372806 7820865536 90794 33554432000 1073741824 1073778376 140733377588832 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/1361/statm: 1909391 90794 2254 9 0 1900129 0
[pid=1361/tid=1363] ppid=1359 vsize=7637564 CPUtime=1175.75 cores=4,6
/proc/1361/task/1363/stat : 1363 (java) R 1359 1361 1299 0 -1 4202560 27559 0 1 0 117570 5 0 0 25 0 19 0 450372807 7820865536 90794 33554432000 1073741824 1073778376 140733377588832 18446744073709551615 46912505575424 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=1361/tid=1371] ppid=1359 vsize=7637564 CPUtime=0.3 cores=4,6
/proc/1361/task/1371/stat : 1371 (java) S 1359 1361 1299 0 -1 4202560 4164 0 0 0 30 0 0 0 15 0 19 0 450372808 7820865536 90794 33554432000 1073741824 1073778376 140733377588832 18446744073709551615 264738220953 0 4 0 16800975 18446604444541024448 0 0 -1 6 0 0 0
[pid=1361/tid=1372] ppid=1359 vsize=7637564 CPUtime=0.35 cores=4,6
/proc/1361/task/1372/stat : 1372 (java) S 1359 1361 1299 0 -1 4202560 5672 0 0 0 35 0 0 0 15 0 19 0 450372808 7820865536 90794 33554432000 1073741824 1073778376 140733377588832 18446744073709551615 264738220953 0 4 0 16800975 18446604444541024448 0 0 -1 6 0 0 0
[pid=1361/tid=1373] ppid=1359 vsize=7637564 CPUtime=0.33 cores=4,6
/proc/1361/task/1373/stat : 1373 (java) S 1359 1361 1299 0 -1 4202560 4116 0 0 0 33 0 0 0 15 0 19 0 450372808 7820865536 90794 33554432000 1073741824 1073778376 140733377588832 18446744073709551615 264738220953 0 4 0 16800975 18446604444541024448 0 0 -1 6 0 0 0
[pid=1361/tid=1374] ppid=1359 vsize=7637564 CPUtime=0.3 cores=4,6
/proc/1361/task/1374/stat : 1374 (java) S 1359 1361 1299 0 -1 4202560 3366 0 0 0 30 0 0 0 15 0 19 0 450372808 7820865536 90794 33554432000 1073741824 1073778376 140733377588832 18446744073709551615 264738220953 0 4 0 16800975 18446604444541024448 0 0 -1 6 0 0 0
[pid=1361/tid=1375] ppid=1359 vsize=7637564 CPUtime=0.32 cores=4,6
/proc/1361/task/1375/stat : 1375 (java) S 1359 1361 1299 0 -1 4202560 1274 0 0 0 32 0 0 0 15 0 19 0 450372808 7820865536 90794 33554432000 1073741824 1073778376 140733377588832 18446744073709551615 264738220953 0 4 0 16800975 18446604444541024448 0 0 -1 6 0 0 0
[pid=1361/tid=1376] ppid=1359 vsize=7637564 CPUtime=0.29 cores=4,6
/proc/1361/task/1376/stat : 1376 (java) S 1359 1361 1299 0 -1 4202560 3478 0 0 0 29 0 0 0 15 0 19 0 450372808 7820865536 90794 33554432000 1073741824 1073778376 140733377588832 18446744073709551615 264738220953 0 4 0 16800975 18446604444541024448 0 0 -1 6 0 0 0
[pid=1361/tid=1377] ppid=1359 vsize=7637564 CPUtime=0.29 cores=4,6
/proc/1361/task/1377/stat : 1377 (java) S 1359 1361 1299 0 -1 4202560 2481 0 0 0 29 0 0 0 15 0 19 0 450372808 7820865536 90794 33554432000 1073741824 1073778376 140733377588832 18446744073709551615 264738220953 0 4 0 16800975 18446604444541024448 0 0 -1 6 0 0 0
[pid=1361/tid=1378] ppid=1359 vsize=7637564 CPUtime=0.35 cores=4,6
/proc/1361/task/1378/stat : 1378 (java) S 1359 1361 1299 0 -1 4202560 7090 0 0 0 34 1 0 0 15 0 19 0 450372808 7820865536 90794 33554432000 1073741824 1073778376 140733377588832 18446744073709551615 264738220953 0 4 0 16800975 18446604444541024448 0 0 -1 6 0 0 0
[pid=1361/tid=1387] ppid=1359 vsize=7637564 CPUtime=5.18 cores=4,6
/proc/1361/task/1387/stat : 1387 (java) S 1359 1361 1299 0 -1 4202560 24613 0 0 0 516 2 0 0 15 0 19 0 450372809 7820865536 90794 33554432000 1073741824 1073778376 140733377588832 18446744073709551615 264738221568 0 0 0 16800975 18446604444541024448 0 0 -1 4 0 0 0
[pid=1361/tid=1388] ppid=1359 vsize=7637564 CPUtime=0 cores=4,6
/proc/1361/task/1388/stat : 1388 (java) S 1359 1361 1299 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 450372809 7820865536 90794 33554432000 1073741824 1073778376 140733377588832 18446744073709551615 264738220953 0 4 0 16800975 18446604444541024448 0 0 -1 6 0 0 0
[pid=1361/tid=1389] ppid=1359 vsize=7637564 CPUtime=0 cores=4,6
/proc/1361/task/1389/stat : 1389 (java) S 1359 1361 1299 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 450372809 7820865536 90794 33554432000 1073741824 1073778376 140733377588832 18446744073709551615 264738220953 0 4 0 16800975 18446604444541024448 0 0 -1 4 0 0 0
[pid=1361/tid=1393] ppid=1359 vsize=7637564 CPUtime=0 cores=4,6
/proc/1361/task/1393/stat : 1393 (java) S 1359 1361 1299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 450372812 7820865536 90794 33554432000 1073741824 1073778376 140733377588832 18446744073709551615 264738228657 0 4 0 16800975 18446604444541024448 0 0 -1 4 0 0 0
[pid=1361/tid=1394] ppid=1359 vsize=7637564 CPUtime=0.43 cores=4,6
/proc/1361/task/1394/stat : 1394 (java) S 1359 1361 1299 0 -1 4202560 9547 0 0 0 43 0 0 0 15 0 19 0 450372812 7820865536 90794 33554432000 1073741824 1073778376 140733377588832 18446744073709551615 264738220953 0 4 0 16800975 18446604444541024448 0 0 -1 6 0 0 0
[pid=1361/tid=1395] ppid=1359 vsize=7637564 CPUtime=0.22 cores=4,6
/proc/1361/task/1395/stat : 1395 (java) S 1359 1361 1299 0 -1 4202560 1005 0 0 0 22 0 0 0 15 0 19 0 450372812 7820865536 90794 33554432000 1073741824 1073778376 140733377588832 18446744073709551615 264738220953 0 4 0 16800975 18446604444541024448 0 0 -1 6 0 0 0
[pid=1361/tid=1396] ppid=1359 vsize=7637564 CPUtime=0 cores=4,6
/proc/1361/task/1396/stat : 1396 (java) S 1359 1361 1299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 450372812 7820865536 90794 33554432000 1073741824 1073778376 140733377588832 18446744073709551615 264738220953 0 4 0 16800975 18446604444541024448 0 0 -1 4 0 0 0
[pid=1361/tid=1397] ppid=1359 vsize=7637564 CPUtime=0 cores=4,6
/proc/1361/task/1397/stat : 1397 (java) S 1359 1361 1299 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 19 0 450372812 7820865536 90794 33554432000 1073741824 1073778376 140733377588832 18446744073709551615 264738221568 0 4 0 16800975 18446604444541024448 0 0 -1 6 0 0 0
[pid=1361/tid=1403] ppid=1359 vsize=7637564 CPUtime=0 cores=4,6
/proc/1361/task/1403/stat : 1403 (java) S 1359 1361 1299 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 450372826 7820865536 90794 33554432000 1073741824 1073778376 140733377588832 18446744073709551615 264738221568 0 4 0 16800975 18446604444541024448 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1184.23
Current children cumulated vsize (KiB) 7637564

[startup+1242.3 s]
/proc/loadavg: 4.00 4.02 3.88 5/262 1557
/proc/meminfo: memFree=13857244/32951124 swapFree=67111528/67111528
[pid=1361] ppid=1359 vsize=7637564 CPUtime=1244.3 cores=4,6
/proc/1361/stat : 1361 (java) S 1359 1361 1299 0 -1 4202496 96860 0 1 0 124415 15 0 0 18 0 19 0 450372806 7820865536 92057 33554432000 1073741824 1073778376 140733377588832 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/1361/statm: 1909391 92057 2254 9 0 1900129 0
[pid=1361/tid=1363] ppid=1359 vsize=7637564 CPUtime=1235.42 cores=4,6
/proc/1361/task/1363/stat : 1363 (java) R 1359 1361 1299 0 -1 4202560 27564 0 1 0 123537 5 0 0 25 0 19 0 450372807 7820865536 92057 33554432000 1073741824 1073778376 140733377588832 18446744073709551615 46912505625675 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=1361/tid=1371] ppid=1359 vsize=7637564 CPUtime=0.33 cores=4,6
/proc/1361/task/1371/stat : 1371 (java) S 1359 1361 1299 0 -1 4202560 4176 0 0 0 33 0 0 0 15 0 19 0 450372808 7820865536 92057 33554432000 1073741824 1073778376 140733377588832 18446744073709551615 264738220953 0 4 0 16800975 18446604444541024448 0 0 -1 6 0 0 0
[pid=1361/tid=1372] ppid=1359 vsize=7637564 CPUtime=0.35 cores=4,6
/proc/1361/task/1372/stat : 1372 (java) S 1359 1361 1299 0 -1 4202560 5672 0 0 0 35 0 0 0 15 0 19 0 450372808 7820865536 92057 33554432000 1073741824 1073778376 140733377588832 18446744073709551615 264738220953 0 4 0 16800975 18446604444541024448 0 0 -1 6 0 0 0
[pid=1361/tid=1373] ppid=1359 vsize=7637564 CPUtime=0.34 cores=4,6
/proc/1361/task/1373/stat : 1373 (java) S 1359 1361 1299 0 -1 4202560 4116 0 0 0 34 0 0 0 15 0 19 0 450372808 7820865536 92057 33554432000 1073741824 1073778376 140733377588832 18446744073709551615 264738220953 0 4 0 16800975 18446604444541024448 0 0 -1 6 0 0 0
[pid=1361/tid=1374] ppid=1359 vsize=7637564 CPUtime=0.33 cores=4,6
/proc/1361/task/1374/stat : 1374 (java) S 1359 1361 1299 0 -1 4202560 3377 0 0 0 33 0 0 0 15 0 19 0 450372808 7820865536 92057 33554432000 1073741824 1073778376 140733377588832 18446744073709551615 264738220953 0 4 0 16800975 18446604444541024448 0 0 -1 6 0 0 0
[pid=1361/tid=1375] ppid=1359 vsize=7637564 CPUtime=0.33 cores=4,6
/proc/1361/task/1375/stat : 1375 (java) S 1359 1361 1299 0 -1 4202560 1274 0 0 0 33 0 0 0 15 0 19 0 450372808 7820865536 92057 33554432000 1073741824 1073778376 140733377588832 18446744073709551615 264738220953 0 4 0 16800975 18446604444541024448 0 0 -1 6 0 0 0
[pid=1361/tid=1376] ppid=1359 vsize=7637564 CPUtime=0.33 cores=4,6
/proc/1361/task/1376/stat : 1376 (java) S 1359 1361 1299 0 -1 4202560 3478 0 0 0 33 0 0 0 15 0 19 0 450372808 7820865536 92057 33554432000 1073741824 1073778376 140733377588832 18446744073709551615 264738220953 0 4 0 16800975 18446604444541024448 0 0 -1 6 0 0 0
[pid=1361/tid=1377] ppid=1359 vsize=7637564 CPUtime=0.31 cores=4,6
/proc/1361/task/1377/stat : 1377 (java) S 1359 1361 1299 0 -1 4202560 2484 0 0 0 31 0 0 0 16 0 19 0 450372808 7820865536 92057 33554432000 1073741824 1073778376 140733377588832 18446744073709551615 264738220953 0 4 0 16800975 18446604444541024448 0 0 -1 6 0 0 0
[pid=1361/tid=1378] ppid=1359 vsize=7637564 CPUtime=0.36 cores=4,6
/proc/1361/task/1378/stat : 1378 (java) S 1359 1361 1299 0 -1 4202560 7090 0 0 0 35 1 0 0 15 0 19 0 450372808 7820865536 92057 33554432000 1073741824 1073778376 140733377588832 18446744073709551615 264738220953 0 4 0 16800975 18446604444541024448 0 0 -1 6 0 0 0
[pid=1361/tid=1387] ppid=1359 vsize=7637564 CPUtime=5.44 cores=4,6
/proc/1361/task/1387/stat : 1387 (java) S 1359 1361 1299 0 -1 4202560 25854 0 0 0 541 3 0 0 15 0 19 0 450372809 7820865536 92057 33554432000 1073741824 1073778376 140733377588832 18446744073709551615 264738221568 0 0 0 16800975 18446604444541024448 0 0 -1 4 0 0 0
[pid=1361/tid=1388] ppid=1359 vsize=7637564 CPUtime=0 cores=4,6
/proc/1361/task/1388/stat : 1388 (java) S 1359 1361 1299 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 450372809 7820865536 92057 33554432000 1073741824 1073778376 140733377588832 18446744073709551615 264738220953 0 4 0 16800975 18446604444541024448 0 0 -1 6 0 0 0
[pid=1361/tid=1389] ppid=1359 vsize=7637564 CPUtime=0 cores=4,6
/proc/1361/task/1389/stat : 1389 (java) S 1359 1361 1299 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 450372809 7820865536 92057 33554432000 1073741824 1073778376 140733377588832 18446744073709551615 264738220953 0 4 0 16800975 18446604444541024448 0 0 -1 4 0 0 0
[pid=1361/tid=1393] ppid=1359 vsize=7637564 CPUtime=0 cores=4,6
/proc/1361/task/1393/stat : 1393 (java) S 1359 1361 1299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 450372812 7820865536 92057 33554432000 1073741824 1073778376 140733377588832 18446744073709551615 264738228657 0 4 0 16800975 18446604444541024448 0 0 -1 4 0 0 0
[pid=1361/tid=1394] ppid=1359 vsize=7637564 CPUtime=0.43 cores=4,6
/proc/1361/task/1394/stat : 1394 (java) S 1359 1361 1299 0 -1 4202560 9547 0 0 0 43 0 0 0 15 0 19 0 450372812 7820865536 92057 33554432000 1073741824 1073778376 140733377588832 18446744073709551615 264738220953 0 4 0 16800975 18446604444541024448 0 0 -1 6 0 0 0
[pid=1361/tid=1395] ppid=1359 vsize=7637564 CPUtime=0.22 cores=4,6
/proc/1361/task/1395/stat : 1395 (java) S 1359 1361 1299 0 -1 4202560 1005 0 0 0 22 0 0 0 15 0 19 0 450372812 7820865536 92057 33554432000 1073741824 1073778376 140733377588832 18446744073709551615 264738220953 0 4 0 16800975 18446604444541024448 0 0 -1 6 0 0 0
[pid=1361/tid=1396] ppid=1359 vsize=7637564 CPUtime=0 cores=4,6
/proc/1361/task/1396/stat : 1396 (java) S 1359 1361 1299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 450372812 7820865536 92057 33554432000 1073741824 1073778376 140733377588832 18446744073709551615 264738220953 0 4 0 16800975 18446604444541024448 0 0 -1 4 0 0 0
[pid=1361/tid=1397] ppid=1359 vsize=7637564 CPUtime=0 cores=4,6
/proc/1361/task/1397/stat : 1397 (java) S 1359 1361 1299 0 -1 4202560 73 0 0 0 0 0 0 0 15 0 19 0 450372812 7820865536 92057 33554432000 1073741824 1073778376 140733377588832 18446744073709551615 264738221568 0 4 0 16800975 18446604444541024448 0 0 -1 6 0 0 0
[pid=1361/tid=1403] ppid=1359 vsize=7637564 CPUtime=0 cores=4,6
/proc/1361/task/1403/stat : 1403 (java) S 1359 1361 1299 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 450372826 7820865536 92057 33554432000 1073741824 1073778376 140733377588832 18446744073709551615 264738221568 0 4 0 16800975 18446604444541024448 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1244.3
Current children cumulated vsize (KiB) 7637564



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 4.05 4.03 3.90 4/242 1562
/proc/meminfo: memFree=13910328/32951124 swapFree=67111528/67111528
[pid=1361] ppid=1359 vsize=7637564 CPUtime=1302.05 cores=4,6
/proc/1361/stat : 1361 (java) S 1359 1361 1299 0 -1 4202496 97256 0 1 0 130190 15 0 0 18 0 19 0 450372806 7820865536 92440 33554432000 1073741824 1073778376 140733377588832 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/1361/statm: 1909391 92440 2254 9 0 1900129 0
[pid=1361/tid=1363] ppid=1359 vsize=7637564 CPUtime=1292.83 cores=4,6
/proc/1361/task/1363/stat : 1363 (java) R 1359 1361 1299 0 -1 4202560 27569 0 1 0 129278 5 0 0 25 0 19 0 450372807 7820865536 92440 33554432000 1073741824 1073778376 140733377588832 18446744073709551615 46912505625675 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=1361/tid=1371] ppid=1359 vsize=7637564 CPUtime=0.34 cores=4,6
/proc/1361/task/1371/stat : 1371 (java) S 1359 1361 1299 0 -1 4202560 4176 0 0 0 34 0 0 0 15 0 19 0 450372808 7820865536 92440 33554432000 1073741824 1073778376 140733377588832 18446744073709551615 264738220953 0 4 0 16800975 18446604444541024448 0 0 -1 6 0 0 0
[pid=1361/tid=1372] ppid=1359 vsize=7637564 CPUtime=0.38 cores=4,6
/proc/1361/task/1372/stat : 1372 (java) S 1359 1361 1299 0 -1 4202560 5674 0 0 0 38 0 0 0 15 0 19 0 450372808 7820865536 92440 33554432000 1073741824 1073778376 140733377588832 18446744073709551615 264738220953 0 4 0 16800975 18446604444541024448 0 0 -1 6 0 0 0
[pid=1361/tid=1373] ppid=1359 vsize=7637564 CPUtime=0.34 cores=4,6
/proc/1361/task/1373/stat : 1373 (java) S 1359 1361 1299 0 -1 4202560 4116 0 0 0 34 0 0 0 15 0 19 0 450372808 7820865536 92440 33554432000 1073741824 1073778376 140733377588832 18446744073709551615 264738220953 0 4 0 16800975 18446604444541024448 0 0 -1 6 0 0 0
[pid=1361/tid=1374] ppid=1359 vsize=7637564 CPUtime=0.33 cores=4,6
/proc/1361/task/1374/stat : 1374 (java) S 1359 1361 1299 0 -1 4202560 3377 0 0 0 33 0 0 0 15 0 19 0 450372808 7820865536 92440 33554432000 1073741824 1073778376 140733377588832 18446744073709551615 264738220953 0 4 0 16800975 18446604444541024448 0 0 -1 6 0 0 0
[pid=1361/tid=1375] ppid=1359 vsize=7637564 CPUtime=0.34 cores=4,6
/proc/1361/task/1375/stat : 1375 (java) S 1359 1361 1299 0 -1 4202560 1274 0 0 0 34 0 0 0 15 0 19 0 450372808 7820865536 92440 33554432000 1073741824 1073778376 140733377588832 18446744073709551615 264738220953 0 4 0 16800975 18446604444541024448 0 0 -1 6 0 0 0
[pid=1361/tid=1376] ppid=1359 vsize=7637564 CPUtime=0.34 cores=4,6
/proc/1361/task/1376/stat : 1376 (java) S 1359 1361 1299 0 -1 4202560 3478 0 0 0 34 0 0 0 15 0 19 0 450372808 7820865536 92440 33554432000 1073741824 1073778376 140733377588832 18446744073709551615 264738220953 0 4 0 16800975 18446604444541024448 0 0 -1 6 0 0 0
[pid=1361/tid=1377] ppid=1359 vsize=7637564 CPUtime=0.33 cores=4,6
/proc/1361/task/1377/stat : 1377 (java) S 1359 1361 1299 0 -1 4202560 2500 0 0 0 33 0 0 0 15 0 19 0 450372808 7820865536 92440 33554432000 1073741824 1073778376 140733377588832 18446744073709551615 264738220953 0 4 0 16800975 18446604444541024448 0 0 -1 6 0 0 0
[pid=1361/tid=1378] ppid=1359 vsize=7637564 CPUtime=0.37 cores=4,6
/proc/1361/task/1378/stat : 1378 (java) S 1359 1361 1299 0 -1 4202560 7090 0 0 0 36 1 0 0 16 0 19 0 450372808 7820865536 92440 33554432000 1073741824 1073778376 140733377588832 18446744073709551615 264738220953 0 4 0 16800975 18446604444541024448 0 0 -1 6 0 0 0
[pid=1361/tid=1387] ppid=1359 vsize=7637564 CPUtime=5.69 cores=4,6
/proc/1361/task/1387/stat : 1387 (java) S 1359 1361 1299 0 -1 4202560 26223 0 0 0 566 3 0 0 15 0 19 0 450372809 7820865536 92440 33554432000 1073741824 1073778376 140733377588832 18446744073709551615 264738221568 0 0 0 16800975 18446604444541024448 0 0 -1 4 0 0 0
[pid=1361/tid=1388] ppid=1359 vsize=7637564 CPUtime=0 cores=4,6
/proc/1361/task/1388/stat : 1388 (java) S 1359 1361 1299 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 450372809 7820865536 92440 33554432000 1073741824 1073778376 140733377588832 18446744073709551615 264738220953 0 4 0 16800975 18446604444541024448 0 0 -1 6 0 0 0
[pid=1361/tid=1389] ppid=1359 vsize=7637564 CPUtime=0 cores=4,6
/proc/1361/task/1389/stat : 1389 (java) S 1359 1361 1299 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 450372809 7820865536 92440 33554432000 1073741824 1073778376 140733377588832 18446744073709551615 264738220953 0 4 0 16800975 18446604444541024448 0 0 -1 4 0 0 0
[pid=1361/tid=1393] ppid=1359 vsize=7637564 CPUtime=0 cores=4,6
/proc/1361/task/1393/stat : 1393 (java) S 1359 1361 1299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 450372812 7820865536 92440 33554432000 1073741824 1073778376 140733377588832 18446744073709551615 264738228657 0 4 0 16800975 18446604444541024448 0 0 -1 4 0 0 0
[pid=1361/tid=1394] ppid=1359 vsize=7637564 CPUtime=0.43 cores=4,6
/proc/1361/task/1394/stat : 1394 (java) S 1359 1361 1299 0 -1 4202560 9547 0 0 0 43 0 0 0 15 0 19 0 450372812 7820865536 92440 33554432000 1073741824 1073778376 140733377588832 18446744073709551615 264738220953 0 4 0 16800975 18446604444541024448 0 0 -1 6 0 0 0
[pid=1361/tid=1395] ppid=1359 vsize=7637564 CPUtime=0.22 cores=4,6
/proc/1361/task/1395/stat : 1395 (java) S 1359 1361 1299 0 -1 4202560 1005 0 0 0 22 0 0 0 15 0 19 0 450372812 7820865536 92440 33554432000 1073741824 1073778376 140733377588832 18446744073709551615 264738220953 0 4 0 16800975 18446604444541024448 0 0 -1 6 0 0 0
[pid=1361/tid=1396] ppid=1359 vsize=7637564 CPUtime=0 cores=4,6
/proc/1361/task/1396/stat : 1396 (java) S 1359 1361 1299 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 450372812 7820865536 92440 33554432000 1073741824 1073778376 140733377588832 18446744073709551615 264738220953 0 4 0 16800975 18446604444541024448 0 0 -1 4 0 0 0
[pid=1361/tid=1397] ppid=1359 vsize=7637564 CPUtime=0 cores=4,6
/proc/1361/task/1397/stat : 1397 (java) S 1359 1361 1299 0 -1 4202560 77 0 0 0 0 0 0 0 15 0 19 0 450372812 7820865536 92440 33554432000 1073741824 1073778376 140733377588832 18446744073709551615 264738221568 0 4 0 16800975 18446604444541024448 0 0 -1 6 0 0 0
[pid=1361/tid=1403] ppid=1359 vsize=7637564 CPUtime=0 cores=4,6
/proc/1361/task/1403/stat : 1403 (java) S 1359 1361 1299 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 450372826 7820865536 92440 33554432000 1073741824 1073778376 140733377588832 18446744073709551615 264738221568 0 4 0 16800975 18446604444541024448 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 7637564

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.11
CPU time (s): 1302.18
CPU user time (s): 1302.01
CPU system time (s): 0.171973
CPU usage (%): 100.159
Max. virtual memory (cumulated for all children) (KiB): 7637692

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1302.01
system time used= 0.171973
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 97294
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= 30371
involuntary context switches= 6834

runsolver used 2.35164 second user time and 4.76828 second system time

The end

Launcher Data 

Begin job on node141 at 2011-04-23 19:26:12
IDJOB=3265120
IDBENCH=85438
IDSOLVER=1611
FILE ID=node141/3265120-1303579572
RUNJOBID= node141-1303579572-1318
PBS_JOBID= 13150342
Free space on /tmp= 70964 MiB

SOLVER NAME= SAT4J core 2.3.0 SNAPSHOT 2011-02-06
BENCH NAME= SAT05/crafted/sabharwal05/counting/php/unsat/easier/php-045-035.shuffled-as.sat05-1181.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-3265120-1303579572/watcher-3265120-1303579572 -o /tmp/evaluation-result-3265120-1303579572/solver-3265120-1303579572 -C 2400 -W 1300 -M 7680  java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3265120-1303579572.cnf

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

MD5SUM BENCH= 057b78ff24cc0773c9c67e770a7b9de2
RANDOM SEED=1053581283

node141.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      14712636 kB
Buffers:       1626532 kB
Cached:       15941648 kB
SwapCached:          0 kB
Active:        9777784 kB
Inactive:      7887112 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      14712636 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            2228 kB
Writeback:           0 kB
AnonPages:       97600 kB
Mapped:          22860 kB
Slab:           509016 kB
PageTables:       5820 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  7454460 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= 70960 MiB
End job on node141 at 2011-04-23 19:47:54