Trace number 3190361

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.46 1300.04

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v10000-c42000-S1778317451-042-UNKNOWN.cnf
MD5SUM418f15c9ecdcb73d78687b6da2a74460
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark2.41063
Satisfiable
(Un)Satisfiability was proved
Number of variables10000
Number of clauses42000
Sum of the clauses size126000
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 342000
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.04/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.04/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.04/0.07	c See www.sat4j.org for details.
0.04/0.35	c no version file found!!!
0.04/0.35	c java.runtime.name	Java(TM) SE Runtime Environment
0.04/0.35	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.04/0.35	c java.vm.version	19.1-b02
0.04/0.35	c java.vm.vendor	Sun Microsystems Inc.
0.04/0.35	c sun.arch.data.model	64
0.04/0.35	c java.version		1.6.0_24
0.04/0.35	c os.name		Linux
0.04/0.35	c os.version		2.6.18-164.el5
0.04/0.35	c os.arch		amd64
0.04/0.35	c Free memory 		6997539544
0.04/0.35	c Max memory 		7034241024
0.04/0.35	c Total memory 		7034241024
0.04/0.35	c Number of processors 	8
0.04/0.35	c --- Begin Solver configuration ---
0.04/0.35	c org.sat4j.minisat.constraints.MixedDataStructureDanielWL@664741d6
0.04/0.35	c Learn all clauses as in MiniSAT
0.04/0.35	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.1 initConflictBound=100 
0.04/0.35	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT
0.04/0.35	c Expensive reason simplification
0.04/0.35	c Armin Biere (Picosat) restarts strategy
0.04/0.35	c Glucose learned constraints deletion strategy
0.04/0.35	c timeout=2147483647s
0.04/0.35	c DB Simplification allowed=true
0.04/0.35	c --- End Solver configuration ---
0.04/0.35	c solving HOME/instance-3190361-1302598973.cnf
0.04/0.35	c reading problem ... 
0.04/0.35	c ... done. Wall clock time 0.224s.
0.04/0.35	c #vars     10000
0.04/0.35	c #constraints  42000
0.04/0.35	c constraints type 
0.04/0.35	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 42000
2.73/2.24	c cleaning 2496 clauses out of 5000 with flag 5000/5000
4.73/4.05	c cleaning 4248 clauses out of 8504 with flag 11000/11000
6.74/6.09	c cleaning 5626 clauses out of 11256 with flag 18000/18000
9.13/8.49	c cleaning 6809 clauses out of 13630 with flag 26000/26000
11.95/11.21	c cleaning 7904 clauses out of 15823 with flag 35002/35002
14.94/14.23	c cleaning 8958 clauses out of 17917 with flag 45000/45000
18.24/17.58	c cleaning 9978 clauses out of 19960 with flag 56001/56001
22.04/21.34	c cleaning 10980 clauses out of 21981 with flag 68000/68000
26.04/25.33	c cleaning 11998 clauses out of 24001 with flag 81000/81000
30.45/29.77	c cleaning 13002 clauses out of 26005 with flag 95002/95002
35.25/34.55	c cleaning 13998 clauses out of 28003 with flag 110002/110002
40.36/39.68	c cleaning 14993 clauses out of 30003 with flag 126000/126000
45.97/45.21	c cleaning 16002 clauses out of 32012 with flag 143002/143002
51.77/51.06	c cleaning 17001 clauses out of 34009 with flag 161001/161001
58.08/57.35	c cleaning 17999 clauses out of 36008 with flag 180001/180001
64.79/64.09	c cleaning 18994 clauses out of 38008 with flag 200000/200000
71.89/71.15	c cleaning 20004 clauses out of 40014 with flag 221000/221000
79.39/78.64	c cleaning 20989 clauses out of 42010 with flag 243000/243000
87.10/86.35	c cleaning 22008 clauses out of 44021 with flag 266000/266000
95.20/94.43	c cleaning 23001 clauses out of 46014 with flag 290001/290001
103.91/103.18	c cleaning 24000 clauses out of 48012 with flag 315000/315000
113.31/112.50	c cleaning 24994 clauses out of 50012 with flag 341000/341000
123.02/122.26	c cleaning 26007 clauses out of 52018 with flag 368000/368000
132.73/131.92	c cleaning 27004 clauses out of 54012 with flag 396001/396001
143.34/142.52	c cleaning 28000 clauses out of 56008 with flag 425001/425001
154.55/153.73	c cleaning 28996 clauses out of 58007 with flag 455000/455000
165.75/164.99	c cleaning 29997 clauses out of 60013 with flag 486002/486002
177.86/177.03	c cleaning 31003 clauses out of 62014 with flag 518000/518000
190.17/189.36	c cleaning 32000 clauses out of 64012 with flag 551001/551001
202.87/202.03	c cleaning 33001 clauses out of 66011 with flag 585000/585000
216.58/215.74	c cleaning 33994 clauses out of 68010 with flag 620000/620000
230.08/229.24	c cleaning 34991 clauses out of 70017 with flag 656001/656001
244.80/243.96	c cleaning 36008 clauses out of 72025 with flag 693000/693000
259.10/258.25	c cleaning 36995 clauses out of 74017 with flag 731000/731000
274.91/274.06	c cleaning 38001 clauses out of 76022 with flag 770000/770000
290.52/289.61	c cleaning 38988 clauses out of 78021 with flag 810000/810000
307.33/306.43	c cleaning 40011 clauses out of 80033 with flag 851000/851000
323.93/323.09	c cleaning 41005 clauses out of 82024 with flag 893002/893002
341.54/340.64	c cleaning 41501 clauses out of 83018 with flag 935001/935001
358.25/357.39	c cleaning 41742 clauses out of 83517 with flag 977001/977001
376.35/375.40	c cleaning 41885 clauses out of 83774 with flag 1019000/1019000
393.26/392.30	c cleaning 41944 clauses out of 83891 with flag 1061002/1061002
410.17/409.21	c cleaning 41965 clauses out of 83946 with flag 1103001/1103001
427.99/427.01	c cleaning 41980 clauses out of 83981 with flag 1145001/1145001
444.89/443.98	c cleaning 41993 clauses out of 84000 with flag 1187000/1187000
462.50/461.54	c cleaning 41985 clauses out of 84007 with flag 1229000/1229000
479.71/478.72	c cleaning 42003 clauses out of 84024 with flag 1271002/1271002
496.61/495.66	c cleaning 41992 clauses out of 84020 with flag 1313001/1313001
514.23/513.22	c cleaning 41999 clauses out of 84027 with flag 1355000/1355000
531.54/530.55	c cleaning 42000 clauses out of 84028 with flag 1397000/1397000
548.64/547.69	c cleaning 42009 clauses out of 84028 with flag 1439000/1439000
566.35/565.31	c cleaning 41990 clauses out of 84019 with flag 1481000/1481000
584.36/583.35	c cleaning 42010 clauses out of 84030 with flag 1523001/1523001
601.47/600.42	c cleaning 42007 clauses out of 84022 with flag 1565003/1565003
618.67/617.63	c cleaning 41989 clauses out of 84012 with flag 1607000/1607000
636.48/635.40	c cleaning 42003 clauses out of 84027 with flag 1649004/1649004
653.79/652.78	c cleaning 41995 clauses out of 84020 with flag 1691000/1691000
670.70/669.61	c cleaning 41995 clauses out of 84025 with flag 1733000/1733000
687.90/686.85	c cleaning 42006 clauses out of 84032 with flag 1775002/1775002
705.71/704.64	c cleaning 42004 clauses out of 84024 with flag 1817000/1817000
723.22/722.11	c cleaning 42002 clauses out of 84023 with flag 1859003/1859003
740.33/739.20	c cleaning 42000 clauses out of 84019 with flag 1901001/1901001
757.73/756.69	c cleaning 42005 clauses out of 84018 with flag 1943000/1943000
775.75/774.65	c cleaning 42000 clauses out of 84014 with flag 1985001/1985001
794.46/793.38	c cleaning 42006 clauses out of 84014 with flag 2027001/2027001
811.56/810.42	c cleaning 41997 clauses out of 84007 with flag 2069000/2069000
828.86/827.74	c cleaning 41994 clauses out of 84011 with flag 2111001/2111001
846.77/845.60	c cleaning 41998 clauses out of 84017 with flag 2153001/2153001
864.98/863.84	c cleaning 41990 clauses out of 84018 with flag 2195000/2195000
883.59/882.48	c cleaning 42009 clauses out of 84030 with flag 2237002/2237002
900.70/899.53	c cleaning 42007 clauses out of 84021 with flag 2279002/2279002
918.10/916.92	c cleaning 41994 clauses out of 84012 with flag 2321000/2321000
936.02/934.81	c cleaning 42002 clauses out of 84019 with flag 2363001/2363001
954.83/953.66	c cleaning 41998 clauses out of 84016 with flag 2405000/2405000
973.63/972.40	c cleaning 41988 clauses out of 84019 with flag 2447001/2447001
990.93/989.78	c cleaning 42000 clauses out of 84030 with flag 2489000/2489000
1008.24/1007.06	c cleaning 42006 clauses out of 84030 with flag 2531000/2531000
1025.75/1024.54	c cleaning 42011 clauses out of 84025 with flag 2573001/2573001
1043.75/1042.53	c cleaning 41991 clauses out of 84013 with flag 2615000/2615000
1062.66/1061.44	c cleaning 42004 clauses out of 84022 with flag 2657000/2657000
1081.97/1080.70	c cleaning 41997 clauses out of 84020 with flag 2699002/2699002
1099.38/1098.10	c cleaning 41991 clauses out of 84021 with flag 2741000/2741000
1116.39/1115.17	c cleaning 42000 clauses out of 84030 with flag 2783000/2783000
1133.70/1132.46	c cleaning 41997 clauses out of 84030 with flag 2825000/2825000
1151.60/1150.32	c cleaning 41998 clauses out of 84033 with flag 2867000/2867000
1170.31/1169.05	c cleaning 42013 clauses out of 84035 with flag 2909000/2909000
1190.63/1189.32	c cleaning 42008 clauses out of 84023 with flag 2951001/2951001
1210.14/1208.83	c cleaning 42000 clauses out of 84014 with flag 2993000/2993000
1227.15/1225.88	c cleaning 41998 clauses out of 84014 with flag 3035000/3035000
1244.56/1243.29	c cleaning 41990 clauses out of 84016 with flag 3077000/3077000
1262.07/1260.72	c cleaning 41992 clauses out of 84026 with flag 3119000/3119000
1280.17/1278.83	c cleaning 41990 clauses out of 84034 with flag 3161000/3161000
1299.59/1298.27	c cleaning 42007 clauses out of 84046 with flag 3203002/3203002
1301.40/1300.01	c starts		: 1828
1301.40/1300.01	c conflicts		: 3207677
1301.40/1300.01	c decisions		: 5773018
1301.40/1300.01	c propagations		: 1655761391
1301.40/1300.01	c inspects		: 6700927368
1301.40/1300.01	c shortcuts		: 0
1301.40/1300.01	c learnt literals	: 0
1301.40/1300.01	c learnt binary clauses	: 0
1301.40/1300.01	c learnt ternary clauses	: 63
1301.40/1300.01	c learnt constraints	: 3207677
1301.40/1300.01	c ignored constraints	: 0
1301.40/1300.01	c root simplifications	: 1828
1301.40/1300.01	c removed literals (reason simplification)	: 61809335
1301.40/1300.01	c reason swapping (by a shorter reason)	: 0
1301.40/1300.01	c Calls to reduceDB	: 93
1301.40/1300.01	c speed (assignments/second)	: 1273964.0361223766
1301.40/1300.01	c non guided choices	942
1301.40/1300.03	c learnt constraints type 
1301.40/1300.03	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 46727
1301.40/1300.03	c constraints type 
1301.40/1300.03	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 42000
1301.40/1300.03	s UNKNOWN
1301.40/1300.03	c Total wall clock time (in seconds) : 1299.917

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 893)

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-3190361-1302598973/watcher-3190361-1302598973 -o /tmp/evaluation-result-3190361-1302598973/solver-3190361-1302598973 -C 2400 -W 1300 -M 7680 java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3190361-1302598973.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.68 3.91 3.35 6/202 31807
/proc/meminfo: memFree=11408500/32951124 swapFree=67111528/67111528
[pid=31807] ppid=31805 vsize=11760 CPUtime=0 cores=4,6
/proc/31807/stat : 31807 (runsolver) R 31805 31807 31548 0 -1 4202560 47 0 0 0 0 0 0 0 25 0 1 0 371497762 12042240 55 33554432000 4194304 5392636 140734312383168 18446744073709551615 5012135 0 2147483391 4096 24578 0 0 0 17 6 0 0 0
/proc/31807/statm: 2940 55 36 293 0 2644 0

[startup+0.051711 s]
/proc/loadavg: 3.68 3.91 3.35 6/202 31807
/proc/meminfo: memFree=11408500/32951124 swapFree=67111528/67111528
[pid=31807] ppid=31805 vsize=7564488 CPUtime=0.04 cores=4,6
/proc/31807/stat : 31807 (java) S 31805 31807 31548 0 -1 4202496 8943 0 1 0 3 1 0 0 18 0 13 0 371497762 7746035712 8637 33554432000 1073741824 1073778376 140736486082480 18446744073709551615 244458747877 0 0 0 16800971 18446744073709551615 0 0 17 6 0 0 0
/proc/31807/statm: 1891122 8637 1686 9 0 1881870 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 7564488

[startup+0.350606 s]
/proc/loadavg: 3.68 3.91 3.35 6/202 31807
/proc/meminfo: memFree=11408500/32951124 swapFree=67111528/67111528
[pid=31807] ppid=31805 vsize=7583556 CPUtime=0.49 cores=4,6
/proc/31807/stat : 31807 (java) S 31805 31807 31548 0 -1 4202496 15955 0 1 0 48 1 0 0 18 0 19 0 371497762 7765561344 14431 33554432000 1073741824 1073778376 140736486082480 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/31807/statm: 1895889 14431 2196 9 0 1886627 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 7583556

[startup+0.450365 s]
/proc/loadavg: 3.68 3.91 3.35 6/202 31807
/proc/meminfo: memFree=11408500/32951124 swapFree=67111528/67111528
[pid=31807] ppid=31805 vsize=7649092 CPUtime=0.69 cores=4,6
/proc/31807/stat : 31807 (java) S 31805 31807 31548 0 -1 4202496 16143 0 1 0 68 1 0 0 18 0 19 0 371497762 7832670208 14617 33554432000 1073741824 1073778376 140736486082480 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/31807/statm: 1912273 14617 2206 9 0 1903011 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7649092

[startup+0.714346 s]
/proc/loadavg: 3.68 3.91 3.35 6/202 31807
/proc/meminfo: memFree=11408500/32951124 swapFree=67111528/67111528
[pid=31807] ppid=31805 vsize=7650240 CPUtime=1.22 cores=4,6
/proc/31807/stat : 31807 (java) S 31805 31807 31548 0 -1 4202496 17232 0 1 0 120 2 0 0 18 0 19 0 371497762 7833845760 15240 33554432000 1073741824 1073778376 140736486082480 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/31807/statm: 1912560 15240 2223 9 0 1903298 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 7650240

[startup+1.50123 s]
/proc/loadavg: 3.68 3.91 3.35 5/262 31917
/proc/meminfo: memFree=11257092/32951124 swapFree=67111528/67111528
[pid=31807] ppid=31805 vsize=7650240 CPUtime=2.03 cores=4,6
/proc/31807/stat : 31807 (java) S 31805 31807 31548 0 -1 4202496 17679 0 1 0 201 2 0 0 18 0 19 0 371497762 7833845760 15686 33554432000 1073741824 1073778376 140736486082480 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/31807/statm: 1912560 15686 2226 9 0 1903298 0
[pid=31807/tid=31815] ppid=31805 vsize=7650240 CPUtime=1.44 cores=4,6
/proc/31807/task/31815/stat : 31815 (java) R 31805 31807 31548 0 -1 4202560 10783 0 1 0 143 1 0 0 21 0 19 0 371497763 7833845760 15686 33554432000 1073741824 1073778376 140736486082480 18446744073709551615 47744607959891 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=31807/tid=31816] ppid=31805 vsize=7650240 CPUtime=0 cores=4,6
/proc/31807/task/31816/stat : 31816 (java) S 31805 31807 31548 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 371497765 7833845760 15686 33554432000 1073741824 1073778376 140736486082480 18446744073709551615 244458761113 0 4 0 16800975 18446604446500804608 0 0 -1 6 0 0 0
[pid=31807/tid=31817] ppid=31805 vsize=7650240 CPUtime=0 cores=4,6
/proc/31807/task/31817/stat : 31817 (java) S 31805 31807 31548 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 371497765 7833845760 15686 33554432000 1073741824 1073778376 140736486082480 18446744073709551615 244458761113 0 4 0 16800975 18446604446500804608 0 0 -1 6 0 0 0
[pid=31807/tid=31818] ppid=31805 vsize=7650240 CPUtime=0 cores=4,6
/proc/31807/task/31818/stat : 31818 (java) S 31805 31807 31548 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 371497765 7833845760 15686 33554432000 1073741824 1073778376 140736486082480 18446744073709551615 244458761113 0 4 0 16800975 18446604446500804608 0 0 -1 6 0 0 0
[pid=31807/tid=31819] ppid=31805 vsize=7650240 CPUtime=0 cores=4,6
/proc/31807/task/31819/stat : 31819 (java) S 31805 31807 31548 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 371497765 7833845760 15686 33554432000 1073741824 1073778376 140736486082480 18446744073709551615 244458761113 0 4 0 16800975 18446604446500804608 0 0 -1 6 0 0 0
[pid=31807/tid=31820] ppid=31805 vsize=7650240 CPUtime=0 cores=4,6
/proc/31807/task/31820/stat : 31820 (java) S 31805 31807 31548 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 371497765 7833845760 15686 33554432000 1073741824 1073778376 140736486082480 18446744073709551615 244458761113 0 4 0 16800975 18446604446500804608 0 0 -1 6 0 0 0
[pid=31807/tid=31821] ppid=31805 vsize=7650240 CPUtime=0 cores=4,6
/proc/31807/task/31821/stat : 31821 (java) S 31805 31807 31548 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 371497765 7833845760 15686 33554432000 1073741824 1073778376 140736486082480 18446744073709551615 244458761113 0 4 0 16800975 18446604446500804608 0 0 -1 6 0 0 0
[pid=31807/tid=31822] ppid=31805 vsize=7650240 CPUtime=0 cores=4,6
/proc/31807/task/31822/stat : 31822 (java) S 31805 31807 31548 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 371497765 7833845760 15686 33554432000 1073741824 1073778376 140736486082480 18446744073709551615 244458761113 0 4 0 16800975 18446604446500804608 0 0 -1 6 0 0 0
[pid=31807/tid=31823] ppid=31805 vsize=7650240 CPUtime=0 cores=4,6
/proc/31807/task/31823/stat : 31823 (java) S 31805 31807 31548 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 371497765 7833845760 15686 33554432000 1073741824 1073778376 140736486082480 18446744073709551615 244458761113 0 4 0 16800975 18446604446500804608 0 0 -1 6 0 0 0
[pid=31807/tid=31824] ppid=31805 vsize=7650240 CPUtime=0 cores=4,6
/proc/31807/task/31824/stat : 31824 (java) S 31805 31807 31548 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 371497766 7833845760 15686 33554432000 1073741824 1073778376 140736486082480 18446744073709551615 244458761728 0 0 0 16800975 18446604446500804608 0 0 -1 6 0 0 0
[pid=31807/tid=31825] ppid=31805 vsize=7650240 CPUtime=0 cores=4,6
/proc/31807/task/31825/stat : 31825 (java) S 31805 31807 31548 0 -1 4202560 16 0 0 0 0 0 0 0 24 0 19 0 371497766 7833845760 15686 33554432000 1073741824 1073778376 140736486082480 18446744073709551615 244458761113 0 4 0 16800975 18446604446500804608 0 0 -1 6 0 0 0
[pid=31807/tid=31826] ppid=31805 vsize=7650240 CPUtime=0 cores=4,6
/proc/31807/task/31826/stat : 31826 (java) S 31805 31807 31548 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 371497766 7833845760 15686 33554432000 1073741824 1073778376 140736486082480 18446744073709551615 244458761113 0 4 0 16800975 18446604446500804608 0 0 -1 6 0 0 0
[pid=31807/tid=31827] ppid=31805 vsize=7650240 CPUtime=0 cores=4,6
/proc/31807/task/31827/stat : 31827 (java) S 31805 31807 31548 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371497768 7833845760 15686 33554432000 1073741824 1073778376 140736486082480 18446744073709551615 244458768817 0 4 0 16800975 18446604446500804608 0 0 -1 6 0 0 0
[pid=31807/tid=31828] ppid=31805 vsize=7650240 CPUtime=0.36 cores=4,6
/proc/31807/task/31828/stat : 31828 (java) S 31805 31807 31548 0 -1 4202560 4728 0 0 0 36 0 0 0 23 0 19 0 371497768 7833845760 15686 33554432000 1073741824 1073778376 140736486082480 18446744073709551615 244458761113 0 4 0 16800975 18446604446500804608 0 0 -1 4 0 0 0
[pid=31807/tid=31829] ppid=31805 vsize=7650240 CPUtime=0.2 cores=4,6
/proc/31807/task/31829/stat : 31829 (java) S 31805 31807 31548 0 -1 4202560 1003 0 0 0 20 0 0 0 22 0 19 0 371497768 7833845760 15686 33554432000 1073741824 1073778376 140736486082480 18446744073709551615 244458761113 0 4 0 16800975 18446604446500804608 0 0 -1 4 0 0 0
[pid=31807/tid=31830] ppid=31805 vsize=7650240 CPUtime=0 cores=4,6
/proc/31807/task/31830/stat : 31830 (java) S 31805 31807 31548 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371497768 7833845760 15686 33554432000 1073741824 1073778376 140736486082480 18446744073709551615 244458761113 0 4 0 16800975 18446604446500804608 0 0 -1 6 0 0 0
[pid=31807/tid=31831] ppid=31805 vsize=7650240 CPUtime=0 cores=4,6
/proc/31807/task/31831/stat : 31831 (java) S 31805 31807 31548 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371497768 7833845760 15686 33554432000 1073741824 1073778376 140736486082480 18446744073709551615 244458761728 0 4 0 16800975 18446604446500804608 0 0 -1 4 0 0 0
[pid=31807/tid=31883] ppid=31805 vsize=7650240 CPUtime=0 cores=4,6
/proc/31807/task/31883/stat : 31883 (java) S 31805 31807 31548 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 371497796 7833845760 15686 33554432000 1073741824 1073778376 140736486082480 18446744073709551615 244458761728 0 4 0 16800975 18446604446500804608 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.03
Current children cumulated vsize (KiB) 7650240

[startup+3.10087 s]
/proc/loadavg: 3.68 3.91 3.35 7/262 31917
/proc/meminfo: memFree=11150820/32951124 swapFree=67111528/67111528
[pid=31807] ppid=31805 vsize=7663024 CPUtime=3.84 cores=4,6
/proc/31807/stat : 31807 (java) S 31805 31807 31548 0 -1 4202496 26521 0 1 0 380 4 0 0 18 0 19 0 371497762 7846936576 22591 33554432000 1073741824 1073778376 140736486082480 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/31807/statm: 1915756 22591 2252 9 0 1906494 0
[pid=31807/tid=31815] ppid=31805 vsize=7663024 CPUtime=2.98 cores=4,6
/proc/31807/task/31815/stat : 31815 (java) R 31805 31807 31548 0 -1 4202560 11215 0 1 0 297 1 0 0 25 0 19 0 371497763 7846936576 22591 33554432000 1073741824 1073778376 140736486082480 18446744073709551615 46912505699799 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=31807/tid=31816] ppid=31805 vsize=7663024 CPUtime=0.01 cores=4,6
/proc/31807/task/31816/stat : 31816 (java) S 31805 31807 31548 0 -1 4202560 1262 0 0 0 1 0 0 0 18 0 19 0 371497765 7846936576 22591 33554432000 1073741824 1073778376 140736486082480 18446744073709551615 244458761113 0 4 0 16800975 18446604446500804608 0 0 -1 4 0 0 0
[pid=31807/tid=31817] ppid=31805 vsize=7663024 CPUtime=0 cores=4,6
/proc/31807/task/31817/stat : 31817 (java) S 31805 31807 31548 0 -1 4202560 406 0 0 0 0 0 0 0 18 0 19 0 371497765 7846936576 22591 33554432000 1073741824 1073778376 140736486082480 18446744073709551615 244458761113 0 4 0 16800975 18446604446500804608 0 0 -1 4 0 0 0
[pid=31807/tid=31818] ppid=31805 vsize=7663024 CPUtime=0 cores=4,6
/proc/31807/task/31818/stat : 31818 (java) S 31805 31807 31548 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 371497765 7846936576 22591 33554432000 1073741824 1073778376 140736486082480 18446744073709551615 244458761113 0 4 0 16800975 18446604446500804608 0 0 -1 4 0 0 0
[pid=31807/tid=31819] ppid=31805 vsize=7663024 CPUtime=0 cores=4,6
/proc/31807/task/31819/stat : 31819 (java) S 31805 31807 31548 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 371497765 7846936576 22591 33554432000 1073741824 1073778376 140736486082480 18446744073709551615 244458761113 0 4 0 16800975 18446604446500804608 0 0 -1 4 0 0 0
[pid=31807/tid=31820] ppid=31805 vsize=7663024 CPUtime=0 cores=4,6
/proc/31807/task/31820/stat : 31820 (java) S 31805 31807 31548 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 371497765 7846936576 22591 33554432000 1073741824 1073778376 140736486082480 18446744073709551615 244458761113 0 4 0 16800975 18446604446500804608 0 0 -1 4 0 0 0
[pid=31807/tid=31821] ppid=31805 vsize=7663024 CPUtime=0 cores=4,6
/proc/31807/task/31821/stat : 31821 (java) S 31805 31807 31548 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 371497765 7846936576 22591 33554432000 1073741824 1073778376 140736486082480 18446744073709551615 244458761113 0 4 0 16800975 18446604446500804608 0 0 -1 4 0 0 0
[pid=31807/tid=31822] ppid=31805 vsize=7663024 CPUtime=0 cores=4,6
/proc/31807/task/31822/stat : 31822 (java) S 31805 31807 31548 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 371497765 7846936576 22591 33554432000 1073741824 1073778376 140736486082480 18446744073709551615 244458761113 0 4 0 16800975 18446604446500804608 0 0 -1 4 0 0 0
[pid=31807/tid=31823] ppid=31805 vsize=7663024 CPUtime=0 cores=4,6
/proc/31807/task/31823/stat : 31823 (java) S 31805 31807 31548 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 371497765 7846936576 22591 33554432000 1073741824 1073778376 140736486082480 18446744073709551615 244458761113 0 4 0 16800975 18446604446500804608 0 0 -1 4 0 0 0
[pid=31807/tid=31824] ppid=31805 vsize=7663024 CPUtime=0.02 cores=4,6
/proc/31807/task/31824/stat : 31824 (java) S 31805 31807 31548 0 -1 4202560 1680 0 0 0 2 0 0 0 16 0 19 0 371497766 7846936576 22591 33554432000 1073741824 1073778376 140736486082480 18446744073709551615 244458761728 0 0 0 16800975 18446604446500804608 0 0 -1 6 0 0 0
[pid=31807/tid=31825] ppid=31805 vsize=7663024 CPUtime=0 cores=4,6
/proc/31807/task/31825/stat : 31825 (java) S 31805 31807 31548 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 371497766 7846936576 22591 33554432000 1073741824 1073778376 140736486082480 18446744073709551615 244458761113 0 4 0 16800975 18446604446500804608 0 0 -1 6 0 0 0
[pid=31807/tid=31826] ppid=31805 vsize=7663024 CPUtime=0 cores=4,6
/proc/31807/task/31826/stat : 31826 (java) S 31805 31807 31548 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 371497766 7846936576 22591 33554432000 1073741824 1073778376 140736486082480 18446744073709551615 244458761113 0 4 0 16800975 18446604446500804608 0 0 -1 6 0 0 0
[pid=31807/tid=31827] ppid=31805 vsize=7663024 CPUtime=0 cores=4,6
/proc/31807/task/31827/stat : 31827 (java) S 31805 31807 31548 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371497768 7846936576 22591 33554432000 1073741824 1073778376 140736486082480 18446744073709551615 244458768817 0 4 0 16800975 18446604446500804608 0 0 -1 6 0 0 0
[pid=31807/tid=31828] ppid=31805 vsize=7663024 CPUtime=0.56 cores=4,6
/proc/31807/task/31828/stat : 31828 (java) S 31805 31807 31548 0 -1 4202560 9795 0 0 0 55 1 0 0 16 0 19 0 371497768 7846936576 22591 33554432000 1073741824 1073778376 140736486082480 18446744073709551615 244458761113 0 4 0 16800975 18446604446500804608 0 0 -1 4 0 0 0
[pid=31807/tid=31829] ppid=31805 vsize=7663024 CPUtime=0.21 cores=4,6
/proc/31807/task/31829/stat : 31829 (java) S 31805 31807 31548 0 -1 4202560 1004 0 0 0 21 0 0 0 17 0 19 0 371497768 7846936576 22591 33554432000 1073741824 1073778376 140736486082480 18446744073709551615 244458761113 0 4 0 16800975 18446604446500804608 0 0 -1 4 0 0 0
[pid=31807/tid=31830] ppid=31805 vsize=7663024 CPUtime=0 cores=4,6
/proc/31807/task/31830/stat : 31830 (java) S 31805 31807 31548 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371497768 7846936576 22591 33554432000 1073741824 1073778376 140736486082480 18446744073709551615 244458761113 0 4 0 16800975 18446604446500804608 0 0 -1 6 0 0 0
[pid=31807/tid=31831] ppid=31805 vsize=7663024 CPUtime=0 cores=4,6
/proc/31807/task/31831/stat : 31831 (java) S 31805 31807 31548 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371497768 7846936576 22591 33554432000 1073741824 1073778376 140736486082480 18446744073709551615 244458761728 0 4 0 16800975 18446604446500804608 0 0 -1 4 0 0 0
[pid=31807/tid=31883] ppid=31805 vsize=7663024 CPUtime=0 cores=4,6
/proc/31807/task/31883/stat : 31883 (java) S 31805 31807 31548 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 371497796 7846936576 22591 33554432000 1073741824 1073778376 140736486082480 18446744073709551615 244458761728 0 4 0 16800975 18446604446500804608 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.84
Current children cumulated vsize (KiB) 7663024

[startup+6.30127 s]
/proc/loadavg: 3.71 3.91 3.36 5/262 31917
/proc/meminfo: memFree=11140732/32951124 swapFree=67111528/67111528
[pid=31807] ppid=31805 vsize=7649028 CPUtime=7.04 cores=4,6
/proc/31807/stat : 31807 (java) S 31805 31807 31548 0 -1 4202496 27971 0 1 0 700 4 0 0 18 0 19 0 371497762 7832604672 20698 33554432000 1073741824 1073778376 140736486082480 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/31807/statm: 1912257 20698 2254 9 0 1902995 0
[pid=31807/tid=31815] ppid=31805 vsize=7649028 CPUtime=6.08 cores=4,6
/proc/31807/task/31815/stat : 31815 (java) R 31805 31807 31548 0 -1 4202560 11218 0 1 0 607 1 0 0 25 0 19 0 371497763 7832604672 20698 33554432000 1073741824 1073778376 140736486082480 18446744073709551615 46912505676890 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=31807/tid=31816] ppid=31805 vsize=7649028 CPUtime=0.01 cores=4,6
/proc/31807/task/31816/stat : 31816 (java) S 31805 31807 31548 0 -1 4202560 1263 0 0 0 1 0 0 0 16 0 19 0 371497765 7832604672 20698 33554432000 1073741824 1073778376 140736486082480 18446744073709551615 244458761113 0 4 0 16800975 18446604446500804608 0 0 -1 4 0 0 0
[pid=31807/tid=31817] ppid=31805 vsize=7649028 CPUtime=0 cores=4,6
/proc/31807/task/31817/stat : 31817 (java) S 31805 31807 31548 0 -1 4202560 406 0 0 0 0 0 0 0 15 0 19 0 371497765 7832604672 20698 33554432000 1073741824 1073778376 140736486082480 18446744073709551615 244458761113 0 4 0 16800975 18446604446500804608 0 0 -1 4 0 0 0
[pid=31807/tid=31818] ppid=31805 vsize=7649028 CPUtime=0 cores=4,6
/proc/31807/task/31818/stat : 31818 (java) S 31805 31807 31548 0 -1 4202560 593 0 0 0 0 0 0 0 15 0 19 0 371497765 7832604672 20698 33554432000 1073741824 1073778376 140736486082480 18446744073709551615 244458761113 0 4 0 16800975 18446604446500804608 0 0 -1 4 0 0 0
[pid=31807/tid=31819] ppid=31805 vsize=7649028 CPUtime=0 cores=4,6
/proc/31807/task/31819/stat : 31819 (java) S 31805 31807 31548 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371497765 7832604672 20698 33554432000 1073741824 1073778376 140736486082480 18446744073709551615 244458761113 0 4 0 16800975 18446604446500804608 0 0 -1 4 0 0 0
[pid=31807/tid=31820] ppid=31805 vsize=7649028 CPUtime=0 cores=4,6
/proc/31807/task/31820/stat : 31820 (java) S 31805 31807 31548 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 371497765 7832604672 20698 33554432000 1073741824 1073778376 140736486082480 18446744073709551615 244458761113 0 4 0 16800975 18446604446500804608 0 0 -1 4 0 0 0
[pid=31807/tid=31821] ppid=31805 vsize=7649028 CPUtime=0 cores=4,6
/proc/31807/task/31821/stat : 31821 (java) S 31805 31807 31548 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 371497765 7832604672 20698 33554432000 1073741824 1073778376 140736486082480 18446744073709551615 244458761113 0 4 0 16800975 18446604446500804608 0 0 -1 4 0 0 0
[pid=31807/tid=31822] ppid=31805 vsize=7649028 CPUtime=0 cores=4,6
/proc/31807/task/31822/stat : 31822 (java) S 31805 31807 31548 0 -1 4202560 393 0 0 0 0 0 0 0 16 0 19 0 371497765 7832604672 20698 33554432000 1073741824 1073778376 140736486082480 18446744073709551615 244458761113 0 4 0 16800975 18446604446500804608 0 0 -1 4 0 0 0
[pid=31807/tid=31823] ppid=31805 vsize=7649028 CPUtime=0 cores=4,6
/proc/31807/task/31823/stat : 31823 (java) S 31805 31807 31548 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371497765 7832604672 20698 33554432000 1073741824 1073778376 140736486082480 18446744073709551615 244458761113 0 4 0 16800975 18446604446500804608 0 0 -1 4 0 0 0
[pid=31807/tid=31824] ppid=31805 vsize=7649028 CPUtime=0.08 cores=4,6
/proc/31807/task/31824/stat : 31824 (java) S 31805 31807 31548 0 -1 4202560 2045 0 0 0 8 0 0 0 15 0 19 0 371497766 7832604672 20698 33554432000 1073741824 1073778376 140736486082480 18446744073709551615 244458761728 0 0 0 16800975 18446604446500804608 0 0 -1 4 0 0 0
[pid=31807/tid=31825] ppid=31805 vsize=7649028 CPUtime=0 cores=4,6
/proc/31807/task/31825/stat : 31825 (java) S 31805 31807 31548 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 371497766 7832604672 20698 33554432000 1073741824 1073778376 140736486082480 18446744073709551615 244458761113 0 4 0 16800975 18446604446500804608 0 0 -1 6 0 0 0
[pid=31807/tid=31826] ppid=31805 vsize=7649028 CPUtime=0 cores=4,6
/proc/31807/task/31826/stat : 31826 (java) S 31805 31807 31548 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 371497766 7832604672 20698 33554432000 1073741824 1073778376 140736486082480 18446744073709551615 244458761113 0 4 0 16800975 18446604446500804608 0 0 -1 6 0 0 0
[pid=31807/tid=31827] ppid=31805 vsize=7649028 CPUtime=0 cores=4,6
/proc/31807/task/31827/stat : 31827 (java) S 31805 31807 31548 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371497768 7832604672 20698 33554432000 1073741824 1073778376 140736486082480 18446744073709551615 244458768817 0 4 0 16800975 18446604446500804608 0 0 -1 6 0 0 0
[pid=31807/tid=31828] ppid=31805 vsize=7649028 CPUtime=0.56 cores=4,6
/proc/31807/task/31828/stat : 31828 (java) S 31805 31807 31548 0 -1 4202560 9795 0 0 0 55 1 0 0 15 0 19 0 371497768 7832604672 20698 33554432000 1073741824 1073778376 140736486082480 18446744073709551615 244458761113 0 4 0 16800975 18446604446500804608 0 0 -1 4 0 0 0
[pid=31807/tid=31829] ppid=31805 vsize=7649028 CPUtime=0.25 cores=4,6
/proc/31807/task/31829/stat : 31829 (java) S 31805 31807 31548 0 -1 4202560 1100 0 0 0 25 0 0 0 15 0 19 0 371497768 7832604672 20698 33554432000 1073741824 1073778376 140736486082480 18446744073709551615 244458761113 0 4 0 16800975 18446604446500804608 0 0 -1 4 0 0 0
[pid=31807/tid=31830] ppid=31805 vsize=7649028 CPUtime=0 cores=4,6
/proc/31807/task/31830/stat : 31830 (java) S 31805 31807 31548 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371497768 7832604672 20698 33554432000 1073741824 1073778376 140736486082480 18446744073709551615 244458761113 0 4 0 16800975 18446604446500804608 0 0 -1 6 0 0 0
[pid=31807/tid=31831] ppid=31805 vsize=7649028 CPUtime=0 cores=4,6
/proc/31807/task/31831/stat : 31831 (java) S 31805 31807 31548 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371497768 7832604672 20698 33554432000 1073741824 1073778376 140736486082480 18446744073709551615 244458761728 0 4 0 16800975 18446604446500804608 0 0 -1 6 0 0 0
[pid=31807/tid=31883] ppid=31805 vsize=7649028 CPUtime=0 cores=4,6
/proc/31807/task/31883/stat : 31883 (java) S 31805 31807 31548 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 371497796 7832604672 20698 33554432000 1073741824 1073778376 140736486082480 18446744073709551615 244458761728 0 4 0 16800975 18446604446500804608 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 7.04
Current children cumulated vsize (KiB) 7649028

[startup+12.7012 s]

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

[pid=31807/tid=31821] ppid=31805 vsize=7649028 CPUtime=0.14 cores=4,6
/proc/31807/task/31821/stat : 31821 (java) S 31805 31807 31548 0 -1 4202560 962 0 0 0 14 0 0 0 16 0 19 0 371497765 7832604672 42220 33554432000 1073741824 1073778376 140736486082480 18446744073709551615 244458761113 0 4 0 16800975 18446604446500804608 0 0 -1 6 0 0 0
[pid=31807/tid=31822] ppid=31805 vsize=7649028 CPUtime=0.17 cores=4,6
/proc/31807/task/31822/stat : 31822 (java) S 31805 31807 31548 0 -1 4202560 2584 0 0 0 17 0 0 0 16 0 19 0 371497765 7832604672 42220 33554432000 1073741824 1073778376 140736486082480 18446744073709551615 244458761113 0 4 0 16800975 18446604446500804608 0 0 -1 6 0 0 0
[pid=31807/tid=31823] ppid=31805 vsize=7649028 CPUtime=0.09 cores=4,6
/proc/31807/task/31823/stat : 31823 (java) S 31805 31807 31548 0 -1 4202560 801 0 0 0 9 0 0 0 15 0 19 0 371497765 7832604672 42220 33554432000 1073741824 1073778376 140736486082480 18446744073709551615 244458761113 0 4 0 16800975 18446604446500804608 0 0 -1 6 0 0 0
[pid=31807/tid=31824] ppid=31805 vsize=7649028 CPUtime=3.83 cores=4,6
/proc/31807/task/31824/stat : 31824 (java) S 31805 31807 31548 0 -1 4202560 5557 0 0 0 383 0 0 0 15 0 19 0 371497766 7832604672 42220 33554432000 1073741824 1073778376 140736486082480 18446744073709551615 244458761728 0 0 0 16800975 18446604446500804608 0 0 -1 4 0 0 0
[pid=31807/tid=31825] ppid=31805 vsize=7649028 CPUtime=0 cores=4,6
/proc/31807/task/31825/stat : 31825 (java) S 31805 31807 31548 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 371497766 7832604672 42220 33554432000 1073741824 1073778376 140736486082480 18446744073709551615 244458761113 0 4 0 16800975 18446604446500804608 0 0 -1 6 0 0 0
[pid=31807/tid=31826] ppid=31805 vsize=7649028 CPUtime=0 cores=4,6
/proc/31807/task/31826/stat : 31826 (java) S 31805 31807 31548 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 371497766 7832604672 42220 33554432000 1073741824 1073778376 140736486082480 18446744073709551615 244458761113 0 4 0 16800975 18446604446500804608 0 0 -1 6 0 0 0
[pid=31807/tid=31827] ppid=31805 vsize=7649028 CPUtime=0 cores=4,6
/proc/31807/task/31827/stat : 31827 (java) S 31805 31807 31548 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371497768 7832604672 42220 33554432000 1073741824 1073778376 140736486082480 18446744073709551615 244458768817 0 4 0 16800975 18446604446500804608 0 0 -1 6 0 0 0
[pid=31807/tid=31828] ppid=31805 vsize=7649028 CPUtime=0.56 cores=4,6
/proc/31807/task/31828/stat : 31828 (java) S 31805 31807 31548 0 -1 4202560 9795 0 0 0 55 1 0 0 15 0 19 0 371497768 7832604672 42220 33554432000 1073741824 1073778376 140736486082480 18446744073709551615 244458761113 0 4 0 16800975 18446604446500804608 0 0 -1 4 0 0 0
[pid=31807/tid=31829] ppid=31805 vsize=7649028 CPUtime=0.29 cores=4,6
/proc/31807/task/31829/stat : 31829 (java) S 31805 31807 31548 0 -1 4202560 1908 0 0 0 29 0 0 0 15 0 19 0 371497768 7832604672 42220 33554432000 1073741824 1073778376 140736486082480 18446744073709551615 244458761113 0 4 0 16800975 18446604446500804608 0 0 -1 4 0 0 0
[pid=31807/tid=31830] ppid=31805 vsize=7649028 CPUtime=0 cores=4,6
/proc/31807/task/31830/stat : 31830 (java) S 31805 31807 31548 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371497768 7832604672 42220 33554432000 1073741824 1073778376 140736486082480 18446744073709551615 244458761113 0 4 0 16800975 18446604446500804608 0 0 -1 6 0 0 0
[pid=31807/tid=31831] ppid=31805 vsize=7649028 CPUtime=0 cores=4,6
/proc/31807/task/31831/stat : 31831 (java) S 31805 31807 31548 0 -1 4202560 67 0 0 0 0 0 0 0 15 0 19 0 371497768 7832604672 42220 33554432000 1073741824 1073778376 140736486082480 18446744073709551615 244458761728 0 4 0 16800975 18446604446500804608 0 0 -1 6 0 0 0
[pid=31807/tid=31883] ppid=31805 vsize=7649028 CPUtime=0 cores=4,6
/proc/31807/task/31883/stat : 31883 (java) S 31805 31807 31548 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 371497796 7832604672 42220 33554432000 1073741824 1073778376 140736486082480 18446744073709551615 244458761728 0 4 0 16800975 18446604446500804608 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1123.6
Current children cumulated vsize (KiB) 7649028

[startup+1182.3 s]
/proc/loadavg: 4.00 4.01 3.81 5/262 31951
/proc/meminfo: memFree=10979712/32951124 swapFree=67111528/67111528
[pid=31807] ppid=31805 vsize=7649028 CPUtime=1183.62 cores=4,6
/proc/31807/stat : 31807 (java) S 31805 31807 31548 0 -1 4202496 50398 0 1 0 118354 8 0 0 18 0 19 0 371497762 7832604672 42323 33554432000 1073741824 1073778376 140736486082480 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/31807/statm: 1912257 42323 2255 9 0 1902995 0
[pid=31807/tid=31815] ppid=31805 vsize=7649028 CPUtime=1177.5 cores=4,6
/proc/31807/task/31815/stat : 31815 (java) R 31805 31807 31548 0 -1 4202560 19289 0 1 0 117746 4 0 0 25 0 19 0 371497763 7832604672 42323 33554432000 1073741824 1073778376 140736486082480 18446744073709551615 46912505781116 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=31807/tid=31816] ppid=31805 vsize=7649028 CPUtime=0.18 cores=4,6
/proc/31807/task/31816/stat : 31816 (java) S 31805 31807 31548 0 -1 4202560 2751 0 0 0 18 0 0 0 15 0 19 0 371497765 7832604672 42323 33554432000 1073741824 1073778376 140736486082480 18446744073709551615 244458761113 0 4 0 16800975 18446604446500804608 0 0 -1 6 0 0 0
[pid=31807/tid=31817] ppid=31805 vsize=7649028 CPUtime=0.16 cores=4,6
/proc/31807/task/31817/stat : 31817 (java) S 31805 31807 31548 0 -1 4202560 1094 0 0 0 16 0 0 0 15 0 19 0 371497765 7832604672 42323 33554432000 1073741824 1073778376 140736486082480 18446744073709551615 244458761113 0 4 0 16800975 18446604446500804608 0 0 -1 6 0 0 0
[pid=31807/tid=31818] ppid=31805 vsize=7649028 CPUtime=0.09 cores=4,6
/proc/31807/task/31818/stat : 31818 (java) S 31805 31807 31548 0 -1 4202560 951 0 0 0 9 0 0 0 15 0 19 0 371497765 7832604672 42323 33554432000 1073741824 1073778376 140736486082480 18446744073709551615 244458761113 0 4 0 16800975 18446604446500804608 0 0 -1 6 0 0 0
[pid=31807/tid=31819] ppid=31805 vsize=7649028 CPUtime=0.13 cores=4,6
/proc/31807/task/31819/stat : 31819 (java) S 31805 31807 31548 0 -1 4202560 624 0 0 0 13 0 0 0 16 0 19 0 371497765 7832604672 42323 33554432000 1073741824 1073778376 140736486082480 18446744073709551615 244458761113 0 4 0 16800975 18446604446500804608 0 0 -1 6 0 0 0
[pid=31807/tid=31820] ppid=31805 vsize=7649028 CPUtime=0.2 cores=4,6
/proc/31807/task/31820/stat : 31820 (java) S 31805 31807 31548 0 -1 4202560 2757 0 0 0 20 0 0 0 15 0 19 0 371497765 7832604672 42323 33554432000 1073741824 1073778376 140736486082480 18446744073709551615 244458761113 0 4 0 16800975 18446604446500804608 0 0 -1 6 0 0 0
[pid=31807/tid=31821] ppid=31805 vsize=7649028 CPUtime=0.15 cores=4,6
/proc/31807/task/31821/stat : 31821 (java) S 31805 31807 31548 0 -1 4202560 962 0 0 0 15 0 0 0 15 0 19 0 371497765 7832604672 42323 33554432000 1073741824 1073778376 140736486082480 18446744073709551615 244458761113 0 4 0 16800975 18446604446500804608 0 0 -1 6 0 0 0
[pid=31807/tid=31822] ppid=31805 vsize=7649028 CPUtime=0.17 cores=4,6
/proc/31807/task/31822/stat : 31822 (java) S 31805 31807 31548 0 -1 4202560 2584 0 0 0 17 0 0 0 15 0 19 0 371497765 7832604672 42323 33554432000 1073741824 1073778376 140736486082480 18446744073709551615 244458761113 0 4 0 16800975 18446604446500804608 0 0 -1 6 0 0 0
[pid=31807/tid=31823] ppid=31805 vsize=7649028 CPUtime=0.1 cores=4,6
/proc/31807/task/31823/stat : 31823 (java) S 31805 31807 31548 0 -1 4202560 801 0 0 0 10 0 0 0 15 0 19 0 371497765 7832604672 42323 33554432000 1073741824 1073778376 140736486082480 18446744073709551615 244458761113 0 4 0 16800975 18446604446500804608 0 0 -1 6 0 0 0
[pid=31807/tid=31824] ppid=31805 vsize=7649028 CPUtime=3.99 cores=4,6
/proc/31807/task/31824/stat : 31824 (java) S 31805 31807 31548 0 -1 4202560 5661 0 0 0 399 0 0 0 15 0 19 0 371497766 7832604672 42323 33554432000 1073741824 1073778376 140736486082480 18446744073709551615 244458761728 0 0 0 16800975 18446604446500804608 0 0 -1 4 0 0 0
[pid=31807/tid=31825] ppid=31805 vsize=7649028 CPUtime=0 cores=4,6
/proc/31807/task/31825/stat : 31825 (java) S 31805 31807 31548 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 371497766 7832604672 42323 33554432000 1073741824 1073778376 140736486082480 18446744073709551615 244458761113 0 4 0 16800975 18446604446500804608 0 0 -1 6 0 0 0
[pid=31807/tid=31826] ppid=31805 vsize=7649028 CPUtime=0 cores=4,6
/proc/31807/task/31826/stat : 31826 (java) S 31805 31807 31548 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 371497766 7832604672 42323 33554432000 1073741824 1073778376 140736486082480 18446744073709551615 244458761113 0 4 0 16800975 18446604446500804608 0 0 -1 6 0 0 0
[pid=31807/tid=31827] ppid=31805 vsize=7649028 CPUtime=0 cores=4,6
/proc/31807/task/31827/stat : 31827 (java) S 31805 31807 31548 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371497768 7832604672 42323 33554432000 1073741824 1073778376 140736486082480 18446744073709551615 244458768817 0 4 0 16800975 18446604446500804608 0 0 -1 6 0 0 0
[pid=31807/tid=31828] ppid=31805 vsize=7649028 CPUtime=0.56 cores=4,6
/proc/31807/task/31828/stat : 31828 (java) S 31805 31807 31548 0 -1 4202560 9795 0 0 0 55 1 0 0 15 0 19 0 371497768 7832604672 42323 33554432000 1073741824 1073778376 140736486082480 18446744073709551615 244458761113 0 4 0 16800975 18446604446500804608 0 0 -1 4 0 0 0
[pid=31807/tid=31829] ppid=31805 vsize=7649028 CPUtime=0.29 cores=4,6
/proc/31807/task/31829/stat : 31829 (java) S 31805 31807 31548 0 -1 4202560 1908 0 0 0 29 0 0 0 15 0 19 0 371497768 7832604672 42323 33554432000 1073741824 1073778376 140736486082480 18446744073709551615 244458761113 0 4 0 16800975 18446604446500804608 0 0 -1 4 0 0 0
[pid=31807/tid=31830] ppid=31805 vsize=7649028 CPUtime=0 cores=4,6
/proc/31807/task/31830/stat : 31830 (java) S 31805 31807 31548 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371497768 7832604672 42323 33554432000 1073741824 1073778376 140736486082480 18446744073709551615 244458761113 0 4 0 16800975 18446604446500804608 0 0 -1 6 0 0 0
[pid=31807/tid=31831] ppid=31805 vsize=7649028 CPUtime=0 cores=4,6
/proc/31807/task/31831/stat : 31831 (java) S 31805 31807 31548 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 19 0 371497768 7832604672 42323 33554432000 1073741824 1073778376 140736486082480 18446744073709551615 244458761728 0 4 0 16800975 18446604446500804608 0 0 -1 6 0 0 0
[pid=31807/tid=31883] ppid=31805 vsize=7649028 CPUtime=0 cores=4,6
/proc/31807/task/31883/stat : 31883 (java) S 31805 31807 31548 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 371497796 7832604672 42323 33554432000 1073741824 1073778376 140736486082480 18446744073709551615 244458761728 0 4 0 16800975 18446604446500804608 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1183.62
Current children cumulated vsize (KiB) 7649028

[startup+1242.3 s]
/proc/loadavg: 4.00 4.00 3.82 5/262 31953
/proc/meminfo: memFree=10975920/32951124 swapFree=67111528/67111528
[pid=31807] ppid=31805 vsize=7649028 CPUtime=1243.65 cores=4,6
/proc/31807/stat : 31807 (java) S 31805 31807 31548 0 -1 4202496 51154 0 1 0 124356 9 0 0 18 0 19 0 371497762 7832604672 43070 33554432000 1073741824 1073778376 140736486082480 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/31807/statm: 1912257 43070 2255 9 0 1902995 0
[pid=31807/tid=31815] ppid=31805 vsize=7649028 CPUtime=1237.31 cores=4,6
/proc/31807/task/31815/stat : 31815 (java) R 31805 31807 31548 0 -1 4202560 19924 0 1 0 123727 4 0 0 25 0 19 0 371497763 7832604672 43070 33554432000 1073741824 1073778376 140736486082480 18446744073709551615 46912505676631 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=31807/tid=31816] ppid=31805 vsize=7649028 CPUtime=0.19 cores=4,6
/proc/31807/task/31816/stat : 31816 (java) S 31805 31807 31548 0 -1 4202560 2752 0 0 0 19 0 0 0 15 0 19 0 371497765 7832604672 43070 33554432000 1073741824 1073778376 140736486082480 18446744073709551615 244458761113 0 4 0 16800975 18446604446500804608 0 0 -1 6 0 0 0
[pid=31807/tid=31817] ppid=31805 vsize=7649028 CPUtime=0.16 cores=4,6
/proc/31807/task/31817/stat : 31817 (java) S 31805 31807 31548 0 -1 4202560 1094 0 0 0 16 0 0 0 15 0 19 0 371497765 7832604672 43070 33554432000 1073741824 1073778376 140736486082480 18446744073709551615 244458761113 0 4 0 16800975 18446604446500804608 0 0 -1 6 0 0 0
[pid=31807/tid=31818] ppid=31805 vsize=7649028 CPUtime=0.1 cores=4,6
/proc/31807/task/31818/stat : 31818 (java) S 31805 31807 31548 0 -1 4202560 951 0 0 0 10 0 0 0 16 0 19 0 371497765 7832604672 43070 33554432000 1073741824 1073778376 140736486082480 18446744073709551615 244458761113 0 4 0 16800975 18446604446500804608 0 0 -1 6 0 0 0
[pid=31807/tid=31819] ppid=31805 vsize=7649028 CPUtime=0.14 cores=4,6
/proc/31807/task/31819/stat : 31819 (java) S 31805 31807 31548 0 -1 4202560 624 0 0 0 14 0 0 0 15 0 19 0 371497765 7832604672 43070 33554432000 1073741824 1073778376 140736486082480 18446744073709551615 244458761113 0 4 0 16800975 18446604446500804608 0 0 -1 6 0 0 0
[pid=31807/tid=31820] ppid=31805 vsize=7649028 CPUtime=0.21 cores=4,6
/proc/31807/task/31820/stat : 31820 (java) S 31805 31807 31548 0 -1 4202560 2757 0 0 0 21 0 0 0 15 0 19 0 371497765 7832604672 43070 33554432000 1073741824 1073778376 140736486082480 18446744073709551615 244458761113 0 4 0 16800975 18446604446500804608 0 0 -1 6 0 0 0
[pid=31807/tid=31821] ppid=31805 vsize=7649028 CPUtime=0.17 cores=4,6
/proc/31807/task/31821/stat : 31821 (java) S 31805 31807 31548 0 -1 4202560 963 0 0 0 17 0 0 0 15 0 19 0 371497765 7832604672 43070 33554432000 1073741824 1073778376 140736486082480 18446744073709551615 244458761113 0 4 0 16800975 18446604446500804608 0 0 -1 6 0 0 0
[pid=31807/tid=31822] ppid=31805 vsize=7649028 CPUtime=0.17 cores=4,6
/proc/31807/task/31822/stat : 31822 (java) S 31805 31807 31548 0 -1 4202560 2584 0 0 0 17 0 0 0 15 0 19 0 371497765 7832604672 43070 33554432000 1073741824 1073778376 140736486082480 18446744073709551615 244458761113 0 4 0 16800975 18446604446500804608 0 0 -1 6 0 0 0
[pid=31807/tid=31823] ppid=31805 vsize=7649028 CPUtime=0.11 cores=4,6
/proc/31807/task/31823/stat : 31823 (java) S 31805 31807 31548 0 -1 4202560 807 0 0 0 11 0 0 0 15 0 19 0 371497765 7832604672 43070 33554432000 1073741824 1073778376 140736486082480 18446744073709551615 244458761113 0 4 0 16800975 18446604446500804608 0 0 -1 6 0 0 0
[pid=31807/tid=31824] ppid=31805 vsize=7649028 CPUtime=4.16 cores=4,6
/proc/31807/task/31824/stat : 31824 (java) S 31805 31807 31548 0 -1 4202560 5770 0 0 0 416 0 0 0 15 0 19 0 371497766 7832604672 43070 33554432000 1073741824 1073778376 140736486082480 18446744073709551615 244458761728 0 0 0 16800975 18446604446500804608 0 0 -1 4 0 0 0
[pid=31807/tid=31825] ppid=31805 vsize=7649028 CPUtime=0 cores=4,6
/proc/31807/task/31825/stat : 31825 (java) S 31805 31807 31548 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 371497766 7832604672 43070 33554432000 1073741824 1073778376 140736486082480 18446744073709551615 244458761113 0 4 0 16800975 18446604446500804608 0 0 -1 6 0 0 0
[pid=31807/tid=31826] ppid=31805 vsize=7649028 CPUtime=0 cores=4,6
/proc/31807/task/31826/stat : 31826 (java) S 31805 31807 31548 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 371497766 7832604672 43070 33554432000 1073741824 1073778376 140736486082480 18446744073709551615 244458761113 0 4 0 16800975 18446604446500804608 0 0 -1 6 0 0 0
[pid=31807/tid=31827] ppid=31805 vsize=7649028 CPUtime=0 cores=4,6
/proc/31807/task/31827/stat : 31827 (java) S 31805 31807 31548 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371497768 7832604672 43070 33554432000 1073741824 1073778376 140736486082480 18446744073709551615 244458768817 0 4 0 16800975 18446604446500804608 0 0 -1 6 0 0 0
[pid=31807/tid=31828] ppid=31805 vsize=7649028 CPUtime=0.56 cores=4,6
/proc/31807/task/31828/stat : 31828 (java) S 31805 31807 31548 0 -1 4202560 9795 0 0 0 55 1 0 0 15 0 19 0 371497768 7832604672 43070 33554432000 1073741824 1073778376 140736486082480 18446744073709551615 244458761113 0 4 0 16800975 18446604446500804608 0 0 -1 4 0 0 0
[pid=31807/tid=31829] ppid=31805 vsize=7649028 CPUtime=0.29 cores=4,6
/proc/31807/task/31829/stat : 31829 (java) S 31805 31807 31548 0 -1 4202560 1908 0 0 0 29 0 0 0 15 0 19 0 371497768 7832604672 43070 33554432000 1073741824 1073778376 140736486082480 18446744073709551615 244458761113 0 4 0 16800975 18446604446500804608 0 0 -1 4 0 0 0
[pid=31807/tid=31830] ppid=31805 vsize=7649028 CPUtime=0 cores=4,6
/proc/31807/task/31830/stat : 31830 (java) S 31805 31807 31548 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371497768 7832604672 43070 33554432000 1073741824 1073778376 140736486082480 18446744073709551615 244458761113 0 4 0 16800975 18446604446500804608 0 0 -1 6 0 0 0
[pid=31807/tid=31831] ppid=31805 vsize=7649028 CPUtime=0 cores=4,6
/proc/31807/task/31831/stat : 31831 (java) S 31805 31807 31548 0 -1 4202560 73 0 0 0 0 0 0 0 15 0 19 0 371497768 7832604672 43070 33554432000 1073741824 1073778376 140736486082480 18446744073709551615 244458761728 0 4 0 16800975 18446604446500804608 0 0 -1 6 0 0 0
[pid=31807/tid=31883] ppid=31805 vsize=7649028 CPUtime=0 cores=4,6
/proc/31807/task/31883/stat : 31883 (java) S 31805 31807 31548 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 371497796 7832604672 43070 33554432000 1073741824 1073778376 140736486082480 18446744073709551615 244458761728 0 4 0 16800975 18446604446500804608 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1243.65
Current children cumulated vsize (KiB) 7649028



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 4.12 4.04 3.84 4/242 31957
/proc/meminfo: memFree=11066524/32951124 swapFree=67111528/67111528
[pid=31807] ppid=31805 vsize=7649028 CPUtime=1301.4 cores=4,6
/proc/31807/stat : 31807 (java) S 31805 31807 31548 0 -1 4202496 51300 0 1 0 130131 9 0 0 18 0 19 0 371497762 7832604672 43202 33554432000 1073741824 1073778376 140736486082480 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/31807/statm: 1912257 43202 2255 9 0 1902995 0
[pid=31807/tid=31815] ppid=31805 vsize=7649028 CPUtime=1294.76 cores=4,6
/proc/31807/task/31815/stat : 31815 (java) R 31805 31807 31548 0 -1 4202560 19928 0 1 0 129472 4 0 0 25 0 19 0 371497763 7832604672 43202 33554432000 1073741824 1073778376 140736486082480 18446744073709551615 46912505676705 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=31807/tid=31816] ppid=31805 vsize=7649028 CPUtime=0.2 cores=4,6
/proc/31807/task/31816/stat : 31816 (java) S 31805 31807 31548 0 -1 4202560 2753 0 0 0 20 0 0 0 15 0 19 0 371497765 7832604672 43202 33554432000 1073741824 1073778376 140736486082480 18446744073709551615 244458761113 0 4 0 16800975 18446604446500804608 0 0 -1 6 0 0 0
[pid=31807/tid=31817] ppid=31805 vsize=7649028 CPUtime=0.17 cores=4,6
/proc/31807/task/31817/stat : 31817 (java) S 31805 31807 31548 0 -1 4202560 1094 0 0 0 17 0 0 0 15 0 19 0 371497765 7832604672 43202 33554432000 1073741824 1073778376 140736486082480 18446744073709551615 244458761113 0 4 0 16800975 18446604446500804608 0 0 -1 6 0 0 0
[pid=31807/tid=31818] ppid=31805 vsize=7649028 CPUtime=0.11 cores=4,6
/proc/31807/task/31818/stat : 31818 (java) S 31805 31807 31548 0 -1 4202560 952 0 0 0 11 0 0 0 15 0 19 0 371497765 7832604672 43202 33554432000 1073741824 1073778376 140736486082480 18446744073709551615 244458761113 0 4 0 16800975 18446604446500804608 0 0 -1 6 0 0 0
[pid=31807/tid=31819] ppid=31805 vsize=7649028 CPUtime=0.15 cores=4,6
/proc/31807/task/31819/stat : 31819 (java) S 31805 31807 31548 0 -1 4202560 625 0 0 0 15 0 0 0 15 0 19 0 371497765 7832604672 43202 33554432000 1073741824 1073778376 140736486082480 18446744073709551615 244458761113 0 4 0 16800975 18446604446500804608 0 0 -1 6 0 0 0
[pid=31807/tid=31820] ppid=31805 vsize=7649028 CPUtime=0.21 cores=4,6
/proc/31807/task/31820/stat : 31820 (java) S 31805 31807 31548 0 -1 4202560 2757 0 0 0 21 0 0 0 15 0 19 0 371497765 7832604672 43202 33554432000 1073741824 1073778376 140736486082480 18446744073709551615 244458761113 0 4 0 16800975 18446604446500804608 0 0 -1 6 0 0 0
[pid=31807/tid=31821] ppid=31805 vsize=7649028 CPUtime=0.18 cores=4,6
/proc/31807/task/31821/stat : 31821 (java) S 31805 31807 31548 0 -1 4202560 963 0 0 0 18 0 0 0 16 0 19 0 371497765 7832604672 43202 33554432000 1073741824 1073778376 140736486082480 18446744073709551615 244458761113 0 4 0 16800975 18446604446500804608 0 0 -1 6 0 0 0
[pid=31807/tid=31822] ppid=31805 vsize=7649028 CPUtime=0.18 cores=4,6
/proc/31807/task/31822/stat : 31822 (java) S 31805 31807 31548 0 -1 4202560 2585 0 0 0 18 0 0 0 16 0 19 0 371497765 7832604672 43202 33554432000 1073741824 1073778376 140736486082480 18446744073709551615 244458761113 0 4 0 16800975 18446604446500804608 0 0 -1 6 0 0 0
[pid=31807/tid=31823] ppid=31805 vsize=7649028 CPUtime=0.12 cores=4,6
/proc/31807/task/31823/stat : 31823 (java) S 31805 31807 31548 0 -1 4202560 807 0 0 0 12 0 0 0 15 0 19 0 371497765 7832604672 43202 33554432000 1073741824 1073778376 140736486082480 18446744073709551615 244458761113 0 4 0 16800975 18446604446500804608 0 0 -1 6 0 0 0
[pid=31807/tid=31824] ppid=31805 vsize=7649028 CPUtime=4.38 cores=4,6
/proc/31807/task/31824/stat : 31824 (java) S 31805 31807 31548 0 -1 4202560 5904 0 0 0 438 0 0 0 15 0 19 0 371497766 7832604672 43202 33554432000 1073741824 1073778376 140736486082480 18446744073709551615 244458761728 0 0 0 16800975 18446604446500804608 0 0 -1 4 0 0 0
[pid=31807/tid=31825] ppid=31805 vsize=7649028 CPUtime=0 cores=4,6
/proc/31807/task/31825/stat : 31825 (java) S 31805 31807 31548 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 371497766 7832604672 43202 33554432000 1073741824 1073778376 140736486082480 18446744073709551615 244458761113 0 4 0 16800975 18446604446500804608 0 0 -1 6 0 0 0
[pid=31807/tid=31826] ppid=31805 vsize=7649028 CPUtime=0 cores=4,6
/proc/31807/task/31826/stat : 31826 (java) S 31805 31807 31548 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 371497766 7832604672 43202 33554432000 1073741824 1073778376 140736486082480 18446744073709551615 244458761113 0 4 0 16800975 18446604446500804608 0 0 -1 6 0 0 0
[pid=31807/tid=31827] ppid=31805 vsize=7649028 CPUtime=0 cores=4,6
/proc/31807/task/31827/stat : 31827 (java) S 31805 31807 31548 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371497768 7832604672 43202 33554432000 1073741824 1073778376 140736486082480 18446744073709551615 244458768817 0 4 0 16800975 18446604446500804608 0 0 -1 6 0 0 0
[pid=31807/tid=31828] ppid=31805 vsize=7649028 CPUtime=0.56 cores=4,6
/proc/31807/task/31828/stat : 31828 (java) S 31805 31807 31548 0 -1 4202560 9795 0 0 0 55 1 0 0 15 0 19 0 371497768 7832604672 43202 33554432000 1073741824 1073778376 140736486082480 18446744073709551615 244458761113 0 4 0 16800975 18446604446500804608 0 0 -1 4 0 0 0
[pid=31807/tid=31829] ppid=31805 vsize=7649028 CPUtime=0.29 cores=4,6
/proc/31807/task/31829/stat : 31829 (java) S 31805 31807 31548 0 -1 4202560 1908 0 0 0 29 0 0 0 15 0 19 0 371497768 7832604672 43202 33554432000 1073741824 1073778376 140736486082480 18446744073709551615 244458761113 0 4 0 16800975 18446604446500804608 0 0 -1 4 0 0 0
[pid=31807/tid=31830] ppid=31805 vsize=7649028 CPUtime=0 cores=4,6
/proc/31807/task/31830/stat : 31830 (java) S 31805 31807 31548 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 371497768 7832604672 43202 33554432000 1073741824 1073778376 140736486082480 18446744073709551615 244458761113 0 4 0 16800975 18446604446500804608 0 0 -1 6 0 0 0
[pid=31807/tid=31831] ppid=31805 vsize=7649028 CPUtime=0 cores=4,6
/proc/31807/task/31831/stat : 31831 (java) S 31805 31807 31548 0 -1 4202560 77 0 0 0 0 0 0 0 15 0 19 0 371497768 7832604672 43202 33554432000 1073741824 1073778376 140736486082480 18446744073709551615 244458761728 0 4 0 16800975 18446604446500804608 0 0 -1 6 0 0 0
[pid=31807/tid=31883] ppid=31805 vsize=7649028 CPUtime=0 cores=4,6
/proc/31807/task/31883/stat : 31883 (java) S 31805 31807 31548 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 371497796 7832604672 43202 33554432000 1073741824 1073778376 140736486082480 18446744073709551615 244458761728 0 4 0 16800975 18446604446500804608 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1301.4
Current children cumulated vsize (KiB) 7649028

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.04
CPU time (s): 1301.46
CPU user time (s): 1301.36
CPU system time (s): 0.100984
CPU usage (%): 100.109
Max. virtual memory (cumulated for all children) (KiB): 7663024

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1301.36
system time used= 0.100984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51336
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= 29123
involuntary context switches= 6830

runsolver used 2.29265 second user time and 4.81827 second system time

The end

Launcher Data 

Begin job on node105 at 2011-04-12 11:02:53
IDJOB=3190361
IDBENCH=82692
IDSOLVER=1611
FILE ID=node105/3190361-1302598973
RUNJOBID= node105-1302597670-31567
PBS_JOBID= 12958109
Free space on /tmp= 72240 MiB

SOLVER NAME= SAT4J core 2.3.0 SNAPSHOT 2011-02-06
BENCH NAME= SAT11/random/large/unif-k3-r4.2-v10000-c42000-S1778317451-042-UNKNOWN.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-3190361-1302598973/watcher-3190361-1302598973 -o /tmp/evaluation-result-3190361-1302598973/solver-3190361-1302598973 -C 2400 -W 1300 -M 7680  java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3190361-1302598973.cnf

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

MD5SUM BENCH= 418f15c9ecdcb73d78687b6da2a74460
RANDOM SEED=478102506

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

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.825
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.825
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.825
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	: 5410.70
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.825
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.74
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.825
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.82
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.825
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:      11408532 kB
Buffers:        724736 kB
Cached:       20292280 kB
SwapCached:          0 kB
Active:       10260512 kB
Inactive:     10859828 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      11408532 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            2028 kB
Writeback:           0 kB
AnonPages:      103128 kB
Mapped:          22832 kB
Slab:           358264 kB
PageTables:       5148 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  7519776 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= 72244 MiB
End job on node105 at 2011-04-12 11:24:35