Trace number 3190221

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) 1300.85 1300.05

General information on the benchmark

Namerandom/large/
unif-k7-r85-v400-c34000-S1897807474-073-UNKNOWN.cnf
MD5SUM6ed0ea2d6f55cf35f843b9274cf5be29
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables400
Number of clauses34000
Sum of the clauses size238000
Maximum clause length7
Minimum clause length7
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 534000

Solver Data 

0.03/0.15	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.03/0.15	c This is free software under the dual EPL/GNU LGPL licenses.
0.03/0.15	c See www.sat4j.org for details.
0.03/0.15	c no version file found!!!
0.03/0.15	c java.runtime.name	Java(TM) SE Runtime Environment
0.03/0.15	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.03/0.15	c java.vm.version	19.1-b02
0.03/0.15	c java.vm.vendor	Sun Microsystems Inc.
0.03/0.15	c sun.arch.data.model	64
0.03/0.15	c java.version		1.6.0_24
0.03/0.15	c os.name		Linux
0.03/0.15	c os.version		2.6.18-164.el5
0.03/0.15	c os.arch		amd64
0.03/0.15	c Free memory 		6997539544
0.03/0.15	c Max memory 		7034241024
0.03/0.15	c Total memory 		7034241024
0.03/0.15	c Number of processors 	8
0.03/0.17	c --- Begin Solver configuration ---
0.03/0.17	c org.sat4j.minisat.constraints.MixedDataStructureDanielWL@664741d6
0.03/0.17	c Learn all clauses as in MiniSAT
0.03/0.17	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.1 initConflictBound=100 
0.03/0.17	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT
0.03/0.17	c Expensive reason simplification
0.03/0.17	c Armin Biere (Picosat) restarts strategy
0.03/0.17	c Glucose learned constraints deletion strategy
0.03/0.17	c timeout=2147483647s
0.03/0.17	c DB Simplification allowed=true
0.03/0.17	c --- End Solver configuration ---
0.03/0.17	c solving HOME/instance-3190221-1302597356.cnf
0.03/0.17	c reading problem ... 
0.32/0.30	c ... done. Wall clock time 0.124s.
0.32/0.30	c #vars     400
0.32/0.30	c #constraints  34000
0.32/0.30	c constraints type 
0.32/0.30	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 34000
1.80/1.41	c cleaning 2496 clauses out of 5001 with flag 5001/5001
2.71/2.38	c cleaning 4245 clauses out of 8504 with flag 11000/11000
3.82/3.49	c cleaning 5628 clauses out of 11261 with flag 18002/18002
5.22/4.81	c cleaning 6813 clauses out of 13631 with flag 26000/26000
6.62/6.29	c cleaning 7905 clauses out of 15818 with flag 35000/35000
8.42/8.00	c cleaning 8955 clauses out of 17915 with flag 45002/45002
10.33/9.90	c cleaning 9977 clauses out of 19959 with flag 56001/56001
12.53/12.16	c cleaning 10986 clauses out of 21981 with flag 68000/68000
14.92/14.53	c cleaning 11993 clauses out of 23995 with flag 81000/81000
17.52/17.19	c cleaning 12999 clauses out of 26002 with flag 95000/95000
20.63/20.24	c cleaning 14001 clauses out of 28006 with flag 110003/110003
23.83/23.48	c cleaning 14997 clauses out of 30003 with flag 126001/126001
27.33/26.94	c cleaning 16001 clauses out of 32005 with flag 143000/143000
31.14/30.75	c cleaning 16994 clauses out of 34004 with flag 161000/161000
35.33/34.91	c cleaning 18003 clauses out of 36011 with flag 180001/180001
39.83/39.47	c cleaning 19001 clauses out of 38008 with flag 200001/200001
44.73/44.31	c cleaning 19999 clauses out of 40006 with flag 221000/221000
49.84/49.41	c cleaning 20996 clauses out of 42007 with flag 243000/243000
55.23/54.86	c cleaning 22000 clauses out of 44012 with flag 266001/266001
60.84/60.48	c cleaning 23002 clauses out of 46012 with flag 290001/290001
67.04/66.65	c cleaning 23996 clauses out of 48009 with flag 315000/315000
73.74/73.31	c cleaning 25005 clauses out of 50014 with flag 341001/341001
80.55/80.18	c cleaning 25997 clauses out of 52008 with flag 368000/368000
87.66/87.26	c cleaning 27004 clauses out of 54012 with flag 396001/396001
95.46/95.09	c cleaning 28000 clauses out of 56007 with flag 425000/425000
103.77/103.39	c cleaning 28998 clauses out of 58007 with flag 455000/455000
112.07/111.69	c cleaning 29994 clauses out of 60009 with flag 486000/486000
121.07/120.67	c cleaning 31001 clauses out of 62016 with flag 518001/518001
130.18/129.75	c cleaning 32003 clauses out of 64015 with flag 551001/551001
140.28/139.86	c cleaning 32996 clauses out of 66011 with flag 585000/585000
150.38/149.91	c cleaning 33504 clauses out of 67018 with flag 619003/619003
160.29/159.82	c cleaning 33752 clauses out of 67514 with flag 653003/653003
170.49/170.03	c cleaning 33875 clauses out of 67759 with flag 687000/687000
180.30/179.88	c cleaning 33938 clauses out of 67884 with flag 721000/721000
190.60/190.18	c cleaning 33971 clauses out of 67947 with flag 755001/755001
200.80/200.39	c cleaning 33982 clauses out of 67976 with flag 789001/789001
210.70/210.22	c cleaning 33988 clauses out of 67993 with flag 823000/823000
221.01/220.57	c cleaning 33995 clauses out of 68005 with flag 857000/857000
230.61/230.14	c cleaning 34003 clauses out of 68011 with flag 891001/891001
240.81/240.36	c cleaning 33999 clauses out of 68007 with flag 925000/925000
250.61/250.18	c cleaning 33997 clauses out of 68009 with flag 959001/959001
260.42/259.95	c cleaning 34001 clauses out of 68011 with flag 993000/993000
270.72/270.29	c cleaning 34001 clauses out of 68011 with flag 1027001/1027001
280.62/280.12	c cleaning 33998 clauses out of 68010 with flag 1061001/1061001
290.62/290.17	c cleaning 33998 clauses out of 68012 with flag 1095001/1095001
301.22/300.74	c cleaning 34006 clauses out of 68018 with flag 1129005/1129005
310.93/310.44	c cleaning 33994 clauses out of 68008 with flag 1163001/1163001
320.83/320.31	c cleaning 33992 clauses out of 68013 with flag 1197000/1197000
330.73/330.23	c cleaning 33995 clauses out of 68021 with flag 1231000/1231000
341.03/340.54	c cleaning 34009 clauses out of 68026 with flag 1265000/1265000
350.63/350.16	c cleaning 33999 clauses out of 68018 with flag 1299001/1299001
360.43/359.96	c cleaning 34002 clauses out of 68019 with flag 1333001/1333001
370.84/370.34	c cleaning 34003 clauses out of 68018 with flag 1367002/1367002
380.74/380.24	c cleaning 34001 clauses out of 68014 with flag 1401001/1401001
390.74/390.24	c cleaning 33998 clauses out of 68012 with flag 1435000/1435000
400.74/400.24	c cleaning 33994 clauses out of 68016 with flag 1469002/1469002
410.86/410.32	c cleaning 34007 clauses out of 68020 with flag 1503000/1503000
420.96/420.40	c cleaning 34004 clauses out of 68016 with flag 1537003/1537003
430.96/430.42	c cleaning 33997 clauses out of 68009 with flag 1571000/1571000
441.16/440.64	c cleaning 33999 clauses out of 68012 with flag 1605000/1605000
451.16/450.62	c cleaning 33997 clauses out of 68013 with flag 1639000/1639000
461.56/461.02	c cleaning 34002 clauses out of 68017 with flag 1673001/1673001
471.17/470.69	c cleaning 34001 clauses out of 68016 with flag 1707002/1707002
481.07/480.54	c cleaning 34000 clauses out of 68013 with flag 1741000/1741000
490.97/490.43	c cleaning 34000 clauses out of 68014 with flag 1775001/1775001
500.67/500.18	c cleaning 33992 clauses out of 68013 with flag 1809000/1809000
510.88/510.40	c cleaning 34010 clauses out of 68021 with flag 1843000/1843000
520.68/520.19	c cleaning 34001 clauses out of 68012 with flag 1877001/1877001
530.48/529.90	c cleaning 33998 clauses out of 68010 with flag 1911000/1911000
540.48/539.91	c cleaning 33997 clauses out of 68012 with flag 1945000/1945000
550.49/550.00	c cleaning 33995 clauses out of 68015 with flag 1979000/1979000
560.58/560.01	c cleaning 34001 clauses out of 68020 with flag 2013000/2013000
570.89/570.30	c cleaning 34008 clauses out of 68020 with flag 2047001/2047001
580.69/580.13	c cleaning 33990 clauses out of 68011 with flag 2081000/2081000
590.59/590.06	c cleaning 33999 clauses out of 68021 with flag 2115000/2115000
600.50/599.92	c cleaning 34003 clauses out of 68025 with flag 2149003/2149003
610.30/609.77	c cleaning 34000 clauses out of 68021 with flag 2183002/2183002
620.80/620.25	c cleaning 33996 clauses out of 68019 with flag 2217000/2217000
631.10/630.52	c cleaning 34001 clauses out of 68023 with flag 2251000/2251000
640.81/640.21	c cleaning 34003 clauses out of 68022 with flag 2285000/2285000
650.71/650.12	c cleaning 34000 clauses out of 68020 with flag 2319001/2319001
660.41/659.86	c cleaning 33996 clauses out of 68020 with flag 2353001/2353001
670.31/669.79	c cleaning 34001 clauses out of 68024 with flag 2387001/2387001
680.51/679.92	c cleaning 33998 clauses out of 68022 with flag 2421000/2421000
691.42/690.83	c cleaning 34011 clauses out of 68026 with flag 2455002/2455002
701.33/700.72	c cleaning 33995 clauses out of 68014 with flag 2489001/2489001
710.92/710.32	c cleaning 34007 clauses out of 68018 with flag 2523000/2523000
720.42/719.87	c cleaning 34002 clauses out of 68011 with flag 2557000/2557000
730.82/730.22	c cleaning 33997 clauses out of 68009 with flag 2591000/2591000
740.93/740.36	c cleaning 33995 clauses out of 68012 with flag 2625000/2625000
750.83/750.28	c cleaning 33999 clauses out of 68017 with flag 2659000/2659000
761.13/760.51	c cleaning 33997 clauses out of 68018 with flag 2693000/2693000
771.43/770.80	c cleaning 34006 clauses out of 68022 with flag 2727001/2727001
781.34/780.74	c cleaning 34007 clauses out of 68015 with flag 2761000/2761000
791.04/790.44	c cleaning 33992 clauses out of 68008 with flag 2795000/2795000
801.14/800.59	c cleaning 34002 clauses out of 68017 with flag 2829001/2829001
811.35/810.79	c cleaning 34001 clauses out of 68015 with flag 2863001/2863001
821.44/820.83	c cleaning 33993 clauses out of 68014 with flag 2897001/2897001
831.44/830.84	c cleaning 33999 clauses out of 68020 with flag 2931000/2931000
841.75/841.19	c cleaning 33998 clauses out of 68021 with flag 2965000/2965000
852.15/851.50	c cleaning 34008 clauses out of 68024 with flag 2999001/2999001
861.96/861.34	c cleaning 33998 clauses out of 68016 with flag 3033001/3033001
871.55/870.95	c cleaning 34002 clauses out of 68020 with flag 3067003/3067003
881.46/880.89	c cleaning 33994 clauses out of 68016 with flag 3101001/3101001
891.66/891.07	c cleaning 34004 clauses out of 68021 with flag 3135000/3135000
902.06/901.45	c cleaning 34002 clauses out of 68017 with flag 3169000/3169000
912.76/912.11	c cleaning 33997 clauses out of 68016 with flag 3203001/3203001
923.26/922.66	c cleaning 34002 clauses out of 68018 with flag 3237000/3237000
933.77/933.10	c cleaning 33996 clauses out of 68016 with flag 3271000/3271000
943.97/943.38	c cleaning 34007 clauses out of 68023 with flag 3305003/3305003
953.47/952.88	c cleaning 34001 clauses out of 68014 with flag 3339001/3339001
963.08/962.45	c cleaning 33998 clauses out of 68015 with flag 3373003/3373003
972.98/972.30	c cleaning 33992 clauses out of 68014 with flag 3407000/3407000
983.08/982.43	c cleaning 34003 clauses out of 68022 with flag 3441000/3441000
992.98/992.30	c cleaning 34004 clauses out of 68019 with flag 3475000/3475000
1003.48/1002.80	c cleaning 33999 clauses out of 68015 with flag 3509000/3509000
1013.79/1013.19	c cleaning 34001 clauses out of 68017 with flag 3543001/3543001
1024.08/1023.44	c cleaning 33995 clauses out of 68017 with flag 3577002/3577002
1034.80/1034.17	c cleaning 34000 clauses out of 68021 with flag 3611001/3611001
1045.10/1044.47	c cleaning 34003 clauses out of 68020 with flag 3645000/3645000
1054.70/1054.03	c cleaning 34005 clauses out of 68017 with flag 3679000/3679000
1064.31/1063.62	c cleaning 33993 clauses out of 68012 with flag 3713000/3713000
1073.80/1073.14	c cleaning 33996 clauses out of 68019 with flag 3747000/3747000
1083.81/1083.19	c cleaning 34003 clauses out of 68024 with flag 3781001/3781001
1094.11/1093.41	c cleaning 33998 clauses out of 68020 with flag 3815000/3815000
1104.21/1103.55	c cleaning 34001 clauses out of 68022 with flag 3849000/3849000
1114.51/1113.83	c cleaning 34002 clauses out of 68021 with flag 3883000/3883000
1125.22/1124.59	c cleaning 34005 clauses out of 68020 with flag 3917001/3917001
1136.12/1135.44	c cleaning 33999 clauses out of 68015 with flag 3951001/3951001
1147.33/1146.65	c cleaning 34003 clauses out of 68015 with flag 3985000/3985000
1157.43/1156.73	c cleaning 33995 clauses out of 68013 with flag 4019001/4019001
1167.13/1166.48	c cleaning 34008 clauses out of 68017 with flag 4053000/4053000
1177.74/1177.01	c cleaning 34001 clauses out of 68010 with flag 4087001/4087001
1187.94/1187.20	c cleaning 33997 clauses out of 68010 with flag 4121002/4121002
1197.84/1197.19	c cleaning 33998 clauses out of 68011 with flag 4155000/4155000
1207.94/1207.27	c cleaning 33998 clauses out of 68013 with flag 4189000/4189000
1218.35/1217.66	c cleaning 33994 clauses out of 68017 with flag 4223002/4223002
1229.05/1228.34	c cleaning 34008 clauses out of 68021 with flag 4257000/4257000
1239.85/1239.12	c cleaning 33994 clauses out of 68013 with flag 4291000/4291000
1250.26/1249.56	c cleaning 33994 clauses out of 68019 with flag 4325000/4325000
1260.86/1260.17	c cleaning 33996 clauses out of 68025 with flag 4359000/4359000
1271.86/1271.15	c cleaning 34008 clauses out of 68029 with flag 4393000/4393000
1281.86/1281.12	c cleaning 34001 clauses out of 68022 with flag 4427001/4427001
1291.57/1290.89	c cleaning 34005 clauses out of 68020 with flag 4461000/4461000
1300.77/1300.01	c starts		: 2066
1300.77/1300.01	c conflicts		: 4492326
1300.77/1300.01	c decisions		: 5602182
1300.77/1300.01	c propagations		: 162960660
1300.77/1300.01	c inspects		: 13271797200
1300.77/1300.01	c shortcuts		: 0
1300.77/1300.01	c learnt literals	: 0
1300.77/1300.01	c learnt binary clauses	: 0
1300.77/1300.01	c learnt ternary clauses	: 0
1300.77/1300.01	c learnt constraints	: 4492326
1300.77/1300.01	c ignored constraints	: 0
1300.77/1300.01	c root simplifications	: 2066
1300.77/1300.01	c removed literals (reason simplification)	: 31950608
1300.77/1300.01	c reason swapping (by a shorter reason)	: 0
1300.77/1300.01	c Calls to reduceDB	: 144
1300.77/1300.01	c speed (assignments/second)	: 125382.13081051802
1300.77/1300.01	c non guided choices	170
1300.77/1300.04	c learnt constraints type 
1300.77/1300.04	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 65427
1300.77/1300.04	c constraints type 
1300.77/1300.04	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 34000
1300.77/1300.04	s UNKNOWN
1300.77/1300.04	c Total wall clock time (in seconds) : 1299.837

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

running on 2 cores: 4,6

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


[startup+0 s]
/proc/loadavg: 0.92 0.98 1.24 4/186 18735
/proc/meminfo: memFree=13482692/32950928 swapFree=67111528/67111528
[pid=18735] ppid=18733 vsize=11760 CPUtime=0 cores=4,6
/proc/18735/stat : 18735 (runsolver) R 18733 18735 18683 0 -1 4202560 41 0 0 0 0 0 0 0 19 0 1 0 371334358 12042240 49 33554432000 4194304 5392636 140736001893024 18446744073709551615 4838247 0 2147483391 4096 24578 0 0 0 17 6 0 0 0
/proc/18735/statm: 2940 49 30 293 0 2644 0

[startup+0.0795581 s]
/proc/loadavg: 0.92 0.98 1.24 4/186 18735
/proc/meminfo: memFree=13482692/32950928 swapFree=67111528/67111528
[pid=18735] ppid=18733 vsize=7564352 CPUtime=0.03 cores=4,6
/proc/18735/stat : 18735 (java) S 18733 18735 18683 0 -1 4202496 8830 0 6 0 2 1 0 0 19 0 13 0 371334358 7745896448 8530 33554432000 1073741824 1073778376 140736289583856 18446744073709551615 268284491749 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/18735/statm: 1891088 8531 1681 9 0 1881836 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 7564352

[startup+0.100546 s]
/proc/loadavg: 0.92 0.98 1.24 4/186 18735
/proc/meminfo: memFree=13482692/32950928 swapFree=67111528/67111528
[pid=18735] ppid=18733 vsize=7564488 CPUtime=0.03 cores=4,6
/proc/18735/stat : 18735 (java) S 18733 18735 18683 0 -1 4202496 8950 0 6 0 2 1 0 0 19 0 13 0 371334358 7746035712 8650 33554432000 1073741824 1073778376 140736289583856 18446744073709551615 268284491749 0 0 0 16800971 18446744073709551615 0 0 17 4 0 0 0
/proc/18735/statm: 1891122 8650 1686 9 0 1881870 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 7564488

[startup+0.300466 s]
/proc/loadavg: 0.92 0.98 1.24 4/186 18735
/proc/meminfo: memFree=13482692/32950928 swapFree=67111528/67111528
[pid=18735] ppid=18733 vsize=7638420 CPUtime=0.32 cores=4,6
/proc/18735/stat : 18735 (java) S 18733 18735 18683 0 -1 4202496 12433 0 6 0 30 2 0 0 19 0 18 0 371334358 7821742080 11974 33554432000 1073741824 1073778376 140736289583856 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/18735/statm: 1909605 11975 2194 9 0 1900343 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 7638420

[startup+0.700453 s]
/proc/loadavg: 0.92 0.98 1.24 4/186 18735
/proc/meminfo: memFree=13482692/32950928 swapFree=67111528/67111528
[pid=18735] ppid=18733 vsize=7641620 CPUtime=1.04 cores=4,6
/proc/18735/stat : 18735 (java) S 18733 18735 18683 0 -1 4202496 14165 0 6 0 101 3 0 0 19 0 19 0 371334358 7825018880 13090 33554432000 1073741824 1073778376 140736289583856 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/18735/statm: 1910405 13090 2224 9 0 1901143 0
Current children cumulated CPU time (s) 1.04
Current children cumulated vsize (KiB) 7641620

[startup+1.50125 s]
/proc/loadavg: 0.92 0.98 1.24 7/262 18816
/proc/meminfo: memFree=13296488/32950928 swapFree=67111528/67111528
[pid=18735] ppid=18733 vsize=7641620 CPUtime=1.91 cores=4,6
/proc/18735/stat : 18735 (java) S 18733 18735 18683 0 -1 4202496 17267 0 6 0 188 3 0 0 19 0 19 0 371334358 7825018880 16188 33554432000 1073741824 1073778376 140736289583856 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/18735/statm: 1910405 16188 2253 9 0 1901143 0
[pid=18735/tid=18744] ppid=18733 vsize=7641620 CPUtime=1.34 cores=4,6
/proc/18735/task/18744/stat : 18744 (java) R 18733 18735 18683 0 -1 4202560 10928 0 6 0 132 2 0 0 20 0 19 0 371334359 7825018880 16188 33554432000 1073741824 1073778376 140736289583856 18446744073709551615 46912505582322 0 4 0 16800975 0 0 0 -1 6 0 0 7
[pid=18735/tid=18754] ppid=18733 vsize=7641620 CPUtime=0.01 cores=4,6
/proc/18735/task/18754/stat : 18754 (java) S 18733 18735 18683 0 -1 4202560 1273 0 0 0 1 0 0 0 17 0 19 0 371334361 7825018880 16188 33554432000 1073741824 1073778376 140736289583856 18446744073709551615 268284504985 0 4 0 16800975 18446604451953706816 0 0 -1 6 0 0 0
[pid=18735/tid=18755] ppid=18733 vsize=7641620 CPUtime=0 cores=4,6
/proc/18735/task/18755/stat : 18755 (java) S 18733 18735 18683 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 371334361 7825018880 16188 33554432000 1073741824 1073778376 140736289583856 18446744073709551615 268284504985 0 4 0 16800975 18446604451953706816 0 0 -1 6 0 0 0
[pid=18735/tid=18756] ppid=18733 vsize=7641620 CPUtime=0 cores=4,6
/proc/18735/task/18756/stat : 18756 (java) S 18733 18735 18683 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 371334361 7825018880 16188 33554432000 1073741824 1073778376 140736289583856 18446744073709551615 268284504985 0 4 0 16800975 18446604451953706816 0 0 -1 6 0 0 0
[pid=18735/tid=18757] ppid=18733 vsize=7641620 CPUtime=0 cores=4,6
/proc/18735/task/18757/stat : 18757 (java) S 18733 18735 18683 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 371334361 7825018880 16188 33554432000 1073741824 1073778376 140736289583856 18446744073709551615 268284504985 0 4 0 16800975 18446604451953706816 0 0 -1 6 0 0 0
[pid=18735/tid=18758] ppid=18733 vsize=7641620 CPUtime=0 cores=4,6
/proc/18735/task/18758/stat : 18758 (java) S 18733 18735 18683 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 371334361 7825018880 16188 33554432000 1073741824 1073778376 140736289583856 18446744073709551615 268284504985 0 4 0 16800975 18446604451953706816 0 0 -1 6 0 0 0
[pid=18735/tid=18759] ppid=18733 vsize=7641620 CPUtime=0 cores=4,6
/proc/18735/task/18759/stat : 18759 (java) S 18733 18735 18683 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 371334361 7825018880 16188 33554432000 1073741824 1073778376 140736289583856 18446744073709551615 268284504985 0 4 0 16800975 18446604451953706816 0 0 -1 6 0 0 0
[pid=18735/tid=18760] ppid=18733 vsize=7641620 CPUtime=0 cores=4,6
/proc/18735/task/18760/stat : 18760 (java) S 18733 18735 18683 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 371334361 7825018880 16188 33554432000 1073741824 1073778376 140736289583856 18446744073709551615 268284504985 0 4 0 16800975 18446604451953706816 0 0 -1 6 0 0 0
[pid=18735/tid=18761] ppid=18733 vsize=7641620 CPUtime=0 cores=4,6
/proc/18735/task/18761/stat : 18761 (java) S 18733 18735 18683 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 371334361 7825018880 16188 33554432000 1073741824 1073778376 140736289583856 18446744073709551615 268284504985 0 4 0 16800975 18446604451953706816 0 0 -1 6 0 0 0
[pid=18735/tid=18762] ppid=18733 vsize=7641620 CPUtime=0.02 cores=4,6
/proc/18735/task/18762/stat : 18762 (java) S 18733 18735 18683 0 -1 4202560 1275 0 0 0 2 0 0 0 15 0 19 0 371334362 7825018880 16188 33554432000 1073741824 1073778376 140736289583856 18446744073709551615 268284505600 0 0 0 16800975 18446604451953706816 0 0 -1 4 0 0 0
[pid=18735/tid=18766] ppid=18733 vsize=7641620 CPUtime=0 cores=4,6
/proc/18735/task/18766/stat : 18766 (java) S 18733 18735 18683 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 371334364 7825018880 16188 33554432000 1073741824 1073778376 140736289583856 18446744073709551615 268284504985 0 4 0 16800975 18446604451953706816 0 0 -1 4 0 0 0
[pid=18735/tid=18769] ppid=18733 vsize=7641620 CPUtime=0 cores=4,6
/proc/18735/task/18769/stat : 18769 (java) S 18733 18735 18683 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 371334364 7825018880 16188 33554432000 1073741824 1073778376 140736289583856 18446744073709551615 268284504985 0 4 0 16800975 18446604451953706816 0 0 -1 4 0 0 0
[pid=18735/tid=18790] ppid=18733 vsize=7641620 CPUtime=0 cores=4,6
/proc/18735/task/18790/stat : 18790 (java) S 18733 18735 18683 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 371334369 7825018880 16188 33554432000 1073741824 1073778376 140736289583856 18446744073709551615 268284512689 0 4 0 16800975 18446604451953706816 0 0 -1 4 0 0 0
[pid=18735/tid=18792] ppid=18733 vsize=7641620 CPUtime=0.19 cores=4,6
/proc/18735/task/18792/stat : 18792 (java) S 18733 18735 18683 0 -1 4202560 1390 0 0 0 19 0 0 0 16 0 19 0 371334369 7825018880 16188 33554432000 1073741824 1073778376 140736289583856 18446744073709551615 268284504985 0 4 0 16800975 18446604451953706816 0 0 -1 4 0 0 0
[pid=18735/tid=18796] ppid=18733 vsize=7641620 CPUtime=0.32 cores=4,6
/proc/18735/task/18796/stat : 18796 (java) S 18733 18735 18683 0 -1 4202560 1240 0 0 0 32 0 0 0 16 0 19 0 371334369 7825018880 16188 33554432000 1073741824 1073778376 140736289583856 18446744073709551615 268284504985 0 4 0 16800975 18446604451953706816 0 0 -1 6 0 0 0
[pid=18735/tid=18798] ppid=18733 vsize=7641620 CPUtime=0 cores=4,6
/proc/18735/task/18798/stat : 18798 (java) S 18733 18735 18683 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 371334369 7825018880 16188 33554432000 1073741824 1073778376 140736289583856 18446744073709551615 268284504985 0 4 0 16800975 18446604451953706816 0 0 -1 4 0 0 0
[pid=18735/tid=18802] ppid=18733 vsize=7641620 CPUtime=0 cores=4,6
/proc/18735/task/18802/stat : 18802 (java) S 18733 18735 18683 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371334369 7825018880 16188 33554432000 1073741824 1073778376 140736289583856 18446744073709551615 268284505600 0 4 0 16800975 18446604451953706816 0 0 -1 6 0 0 0
[pid=18735/tid=18816] ppid=18733 vsize=7641620 CPUtime=0 cores=4,6
/proc/18735/task/18816/stat : 18816 (java) S 18733 18735 18683 0 -1 4202560 8 0 0 0 0 0 0 0 19 0 19 0 371334389 7825018880 16188 33554432000 1073741824 1073778376 140736289583856 18446744073709551615 268284505600 0 4 0 16800975 18446604451953706816 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.91
Current children cumulated vsize (KiB) 7641620

[startup+3.10096 s]
/proc/loadavg: 0.92 0.98 1.24 5/262 18816
/proc/meminfo: memFree=13236224/32950928 swapFree=67111528/67111528
[pid=18735] ppid=18733 vsize=7641620 CPUtime=3.52 cores=4,6
/proc/18735/stat : 18735 (java) S 18733 18735 18683 0 -1 4202496 17938 0 6 0 349 3 0 0 19 0 19 0 371334358 7825018880 16858 33554432000 1073741824 1073778376 140736289583856 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/18735/statm: 1910405 16858 2255 9 0 1901143 0
[pid=18735/tid=18744] ppid=18733 vsize=7641620 CPUtime=2.89 cores=4,6
/proc/18735/task/18744/stat : 18744 (java) R 18733 18735 18683 0 -1 4202560 10930 0 6 0 287 2 0 0 25 0 19 0 371334359 7825018880 16858 33554432000 1073741824 1073778376 140736289583856 18446744073709551615 46912505702230 0 4 0 16800975 0 0 0 -1 4 0 0 7
[pid=18735/tid=18754] ppid=18733 vsize=7641620 CPUtime=0.01 cores=4,6
/proc/18735/task/18754/stat : 18754 (java) S 18733 18735 18683 0 -1 4202560 1273 0 0 0 1 0 0 0 15 0 19 0 371334361 7825018880 16858 33554432000 1073741824 1073778376 140736289583856 18446744073709551615 268284504985 0 4 0 16800975 18446604451953706816 0 0 -1 6 0 0 0
[pid=18735/tid=18755] ppid=18733 vsize=7641620 CPUtime=0 cores=4,6
/proc/18735/task/18755/stat : 18755 (java) S 18733 18735 18683 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371334361 7825018880 16858 33554432000 1073741824 1073778376 140736289583856 18446744073709551615 268284504985 0 4 0 16800975 18446604451953706816 0 0 -1 6 0 0 0
[pid=18735/tid=18756] ppid=18733 vsize=7641620 CPUtime=0 cores=4,6
/proc/18735/task/18756/stat : 18756 (java) S 18733 18735 18683 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371334361 7825018880 16858 33554432000 1073741824 1073778376 140736289583856 18446744073709551615 268284504985 0 4 0 16800975 18446604451953706816 0 0 -1 6 0 0 0
[pid=18735/tid=18757] ppid=18733 vsize=7641620 CPUtime=0 cores=4,6
/proc/18735/task/18757/stat : 18757 (java) S 18733 18735 18683 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371334361 7825018880 16858 33554432000 1073741824 1073778376 140736289583856 18446744073709551615 268284504985 0 4 0 16800975 18446604451953706816 0 0 -1 6 0 0 0
[pid=18735/tid=18758] ppid=18733 vsize=7641620 CPUtime=0 cores=4,6
/proc/18735/task/18758/stat : 18758 (java) S 18733 18735 18683 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371334361 7825018880 16858 33554432000 1073741824 1073778376 140736289583856 18446744073709551615 268284504985 0 4 0 16800975 18446604451953706816 0 0 -1 6 0 0 0
[pid=18735/tid=18759] ppid=18733 vsize=7641620 CPUtime=0 cores=4,6
/proc/18735/task/18759/stat : 18759 (java) S 18733 18735 18683 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371334361 7825018880 16858 33554432000 1073741824 1073778376 140736289583856 18446744073709551615 268284504985 0 4 0 16800975 18446604451953706816 0 0 -1 6 0 0 0
[pid=18735/tid=18760] ppid=18733 vsize=7641620 CPUtime=0 cores=4,6
/proc/18735/task/18760/stat : 18760 (java) S 18733 18735 18683 0 -1 4202560 315 0 0 0 0 0 0 0 15 0 19 0 371334361 7825018880 16858 33554432000 1073741824 1073778376 140736289583856 18446744073709551615 268284504985 0 4 0 16800975 18446604451953706816 0 0 -1 6 0 0 0
[pid=18735/tid=18761] ppid=18733 vsize=7641620 CPUtime=0 cores=4,6
/proc/18735/task/18761/stat : 18761 (java) S 18733 18735 18683 0 -1 4202560 178 0 0 0 0 0 0 0 15 0 19 0 371334361 7825018880 16858 33554432000 1073741824 1073778376 140736289583856 18446744073709551615 268284504985 0 4 0 16800975 18446604451953706816 0 0 -1 6 0 0 0
[pid=18735/tid=18762] ppid=18733 vsize=7641620 CPUtime=0.03 cores=4,6
/proc/18735/task/18762/stat : 18762 (java) S 18733 18735 18683 0 -1 4202560 1449 0 0 0 3 0 0 0 16 0 19 0 371334362 7825018880 16858 33554432000 1073741824 1073778376 140736289583856 18446744073709551615 268284505600 0 0 0 16800975 18446604451953706816 0 0 -1 4 0 0 0
[pid=18735/tid=18766] ppid=18733 vsize=7641620 CPUtime=0 cores=4,6
/proc/18735/task/18766/stat : 18766 (java) S 18733 18735 18683 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 371334364 7825018880 16858 33554432000 1073741824 1073778376 140736289583856 18446744073709551615 268284504985 0 4 0 16800975 18446604451953706816 0 0 -1 4 0 0 0
[pid=18735/tid=18769] ppid=18733 vsize=7641620 CPUtime=0 cores=4,6
/proc/18735/task/18769/stat : 18769 (java) S 18733 18735 18683 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 371334364 7825018880 16858 33554432000 1073741824 1073778376 140736289583856 18446744073709551615 268284504985 0 4 0 16800975 18446604451953706816 0 0 -1 4 0 0 0
[pid=18735/tid=18790] ppid=18733 vsize=7641620 CPUtime=0 cores=4,6
/proc/18735/task/18790/stat : 18790 (java) S 18733 18735 18683 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 371334369 7825018880 16858 33554432000 1073741824 1073778376 140736289583856 18446744073709551615 268284512689 0 4 0 16800975 18446604451953706816 0 0 -1 4 0 0 0
[pid=18735/tid=18792] ppid=18733 vsize=7641620 CPUtime=0.22 cores=4,6
/proc/18735/task/18792/stat : 18792 (java) S 18733 18735 18683 0 -1 4202560 1394 0 0 0 22 0 0 0 15 0 19 0 371334369 7825018880 16858 33554432000 1073741824 1073778376 140736289583856 18446744073709551615 268284504985 0 4 0 16800975 18446604451953706816 0 0 -1 4 0 0 0
[pid=18735/tid=18796] ppid=18733 vsize=7641620 CPUtime=0.32 cores=4,6
/proc/18735/task/18796/stat : 18796 (java) S 18733 18735 18683 0 -1 4202560 1240 0 0 0 32 0 0 0 16 0 19 0 371334369 7825018880 16858 33554432000 1073741824 1073778376 140736289583856 18446744073709551615 268284504985 0 4 0 16800975 18446604451953706816 0 0 -1 6 0 0 0
[pid=18735/tid=18798] ppid=18733 vsize=7641620 CPUtime=0 cores=4,6
/proc/18735/task/18798/stat : 18798 (java) S 18733 18735 18683 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 371334369 7825018880 16858 33554432000 1073741824 1073778376 140736289583856 18446744073709551615 268284504985 0 4 0 16800975 18446604451953706816 0 0 -1 4 0 0 0
[pid=18735/tid=18802] ppid=18733 vsize=7641620 CPUtime=0 cores=4,6
/proc/18735/task/18802/stat : 18802 (java) S 18733 18735 18683 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371334369 7825018880 16858 33554432000 1073741824 1073778376 140736289583856 18446744073709551615 268284505600 0 4 0 16800975 18446604451953706816 0 0 -1 6 0 0 0
[pid=18735/tid=18816] ppid=18733 vsize=7641620 CPUtime=0 cores=4,6
/proc/18735/task/18816/stat : 18816 (java) S 18733 18735 18683 0 -1 4202560 8 0 0 0 0 0 0 0 19 0 19 0 371334389 7825018880 16858 33554432000 1073741824 1073778376 140736289583856 18446744073709551615 268284505600 0 4 0 16800975 18446604451953706816 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.52
Current children cumulated vsize (KiB) 7641620

[startup+6.30139 s]
/proc/loadavg: 1.17 1.03 1.25 5/262 18816
/proc/meminfo: memFree=13223720/32950928 swapFree=67111528/67111528
[pid=18735] ppid=18733 vsize=7641116 CPUtime=6.72 cores=4,6
/proc/18735/stat : 18735 (java) S 18733 18735 18683 0 -1 4202496 18378 0 6 0 669 3 0 0 19 0 19 0 371334358 7824502784 17185 33554432000 1073741824 1073778376 140736289583856 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/18735/statm: 1910279 17185 2255 9 0 1901017 0
[pid=18735/tid=18744] ppid=18733 vsize=7641116 CPUtime=6.01 cores=4,6
/proc/18735/task/18744/stat : 18744 (java) S 18733 18735 18683 0 -1 4202560 10933 0 6 0 599 2 0 0 25 0 19 0 371334359 7824502784 17185 33554432000 1073741824 1073778376 140736289583856 18446744073709551615 268284504985 0 4 0 16800975 18446604451953706816 0 0 -1 4 0 0 7
[pid=18735/tid=18754] ppid=18733 vsize=7641116 CPUtime=0.01 cores=4,6
/proc/18735/task/18754/stat : 18754 (java) S 18733 18735 18683 0 -1 4202560 1273 0 0 0 1 0 0 0 15 0 19 0 371334361 7824502784 17185 33554432000 1073741824 1073778376 140736289583856 18446744073709551615 268284504985 0 4 0 16800975 18446604451953706816 0 0 -1 6 0 0 0
[pid=18735/tid=18755] ppid=18733 vsize=7641116 CPUtime=0 cores=4,6
/proc/18735/task/18755/stat : 18755 (java) S 18733 18735 18683 0 -1 4202560 187 0 0 0 0 0 0 0 15 0 19 0 371334361 7824502784 17185 33554432000 1073741824 1073778376 140736289583856 18446744073709551615 268284504985 0 4 0 16800975 18446604451953706816 0 0 -1 4 0 0 0
[pid=18735/tid=18756] ppid=18733 vsize=7641116 CPUtime=0 cores=4,6
/proc/18735/task/18756/stat : 18756 (java) S 18733 18735 18683 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371334361 7824502784 17185 33554432000 1073741824 1073778376 140736289583856 18446744073709551615 268284504985 0 4 0 16800975 18446604451953706816 0 0 -1 6 0 0 0
[pid=18735/tid=18757] ppid=18733 vsize=7641116 CPUtime=0 cores=4,6
/proc/18735/task/18757/stat : 18757 (java) S 18733 18735 18683 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371334361 7824502784 17185 33554432000 1073741824 1073778376 140736289583856 18446744073709551615 268284504985 0 4 0 16800975 18446604451953706816 0 0 -1 6 0 0 0
[pid=18735/tid=18758] ppid=18733 vsize=7641116 CPUtime=0 cores=4,6
/proc/18735/task/18758/stat : 18758 (java) S 18733 18735 18683 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371334361 7824502784 17185 33554432000 1073741824 1073778376 140736289583856 18446744073709551615 268284504985 0 4 0 16800975 18446604451953706816 0 0 -1 6 0 0 0
[pid=18735/tid=18759] ppid=18733 vsize=7641116 CPUtime=0 cores=4,6
/proc/18735/task/18759/stat : 18759 (java) R 18733 18735 18683 0 -1 4202560 112 0 0 0 0 0 0 0 16 0 19 0 371334361 7824502784 17185 33554432000 1073741824 1073778376 140736289583856 18446744073709551615 268284504985 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=18735/tid=18760] ppid=18733 vsize=7641116 CPUtime=0 cores=4,6
/proc/18735/task/18760/stat : 18760 (java) S 18733 18735 18683 0 -1 4202560 315 0 0 0 0 0 0 0 15 0 19 0 371334361 7824502784 17185 33554432000 1073741824 1073778376 140736289583856 18446744073709551615 268284504985 0 4 0 16800975 18446604451953706816 0 0 -1 6 0 0 0
[pid=18735/tid=18761] ppid=18733 vsize=7641116 CPUtime=0 cores=4,6
/proc/18735/task/18761/stat : 18761 (java) S 18733 18735 18683 0 -1 4202560 181 0 0 0 0 0 0 0 16 0 19 0 371334361 7824502784 17185 33554432000 1073741824 1073778376 140736289583856 18446744073709551615 268284504985 0 4 0 16800975 18446604451953706816 0 0 -1 6 0 0 0
[pid=18735/tid=18762] ppid=18733 vsize=7641116 CPUtime=0.08 cores=4,6
/proc/18735/task/18762/stat : 18762 (java) R 18733 18735 18683 0 -1 4202560 1575 0 0 0 8 0 0 0 15 0 19 0 371334362 7824502784 17185 33554432000 1073741824 1073778376 140736289583856 18446744073709551615 47575898680436 0 0 0 16800975 0 0 0 -1 4 0 0 0
[pid=18735/tid=18766] ppid=18733 vsize=7641116 CPUtime=0 cores=4,6
/proc/18735/task/18766/stat : 18766 (java) S 18733 18735 18683 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 371334364 7824502784 17185 33554432000 1073741824 1073778376 140736289583856 18446744073709551615 268284504985 0 4 0 16800975 18446604451953706816 0 0 -1 4 0 0 0
[pid=18735/tid=18769] ppid=18733 vsize=7641116 CPUtime=0 cores=4,6
/proc/18735/task/18769/stat : 18769 (java) S 18733 18735 18683 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 371334364 7824502784 17185 33554432000 1073741824 1073778376 140736289583856 18446744073709551615 268284504985 0 4 0 16800975 18446604451953706816 0 0 -1 4 0 0 0
[pid=18735/tid=18790] ppid=18733 vsize=7641116 CPUtime=0 cores=4,6
/proc/18735/task/18790/stat : 18790 (java) S 18733 18735 18683 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 371334369 7824502784 17185 33554432000 1073741824 1073778376 140736289583856 18446744073709551615 268284512689 0 4 0 16800975 18446604451953706816 0 0 -1 4 0 0 0
[pid=18735/tid=18792] ppid=18733 vsize=7641116 CPUtime=0.25 cores=4,6
/proc/18735/task/18792/stat : 18792 (java) S 18733 18735 18683 0 -1 4202560 1405 0 0 0 25 0 0 0 15 0 19 0 371334369 7824502784 17185 33554432000 1073741824 1073778376 140736289583856 18446744073709551615 268284504985 0 4 0 16800975 18446604451953706816 0 0 -1 4 0 0 0
[pid=18735/tid=18796] ppid=18733 vsize=7641116 CPUtime=0.32 cores=4,6
/proc/18735/task/18796/stat : 18796 (java) S 18733 18735 18683 0 -1 4202560 1240 0 0 0 32 0 0 0 16 0 19 0 371334369 7824502784 17185 33554432000 1073741824 1073778376 140736289583856 18446744073709551615 268284504985 0 4 0 16800975 18446604451953706816 0 0 -1 6 0 0 0
[pid=18735/tid=18798] ppid=18733 vsize=7641116 CPUtime=0 cores=4,6
/proc/18735/task/18798/stat : 18798 (java) S 18733 18735 18683 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 371334369 7824502784 17185 33554432000 1073741824 1073778376 140736289583856 18446744073709551615 268284504985 0 4 0 16800975 18446604451953706816 0 0 -1 4 0 0 0
[pid=18735/tid=18802] ppid=18733 vsize=7641116 CPUtime=0 cores=4,6
/proc/18735/task/18802/stat : 18802 (java) S 18733 18735 18683 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 371334369 7824502784 17185 33554432000 1073741824 1073778376 140736289583856 18446744073709551615 268284505600 0 4 0 16800975 18446604451953706816 0 0 -1 4 0 0 0
[pid=18735/tid=18816] ppid=18733 vsize=7641116 CPUtime=0 cores=4,6
/proc/18735/task/18816/stat : 18816 (java) S 18733 18735 18683 0 -1 4202560 8 0 0 0 0 0 0 0 19 0 19 0 371334389 7824502784 17185 33554432000 1073741824 1073778376 140736289583856 18446744073709551615 268284505600 0 4 0 16800975 18446604451953706816 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 6.72
Current children cumulated vsize (KiB) 7641116

[startup+12.7013 s]

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

[pid=18735/tid=18759] ppid=18733 vsize=7641116 CPUtime=0.07 cores=4,6
/proc/18735/task/18759/stat : 18759 (java) S 18733 18735 18683 0 -1 4202560 755 0 0 0 7 0 0 0 15 0 19 0 371334361 7824502784 23682 33554432000 1073741824 1073778376 140736289583856 18446744073709551615 268284504985 0 4 0 16800975 18446604451953706816 0 0 -1 6 0 0 0
[pid=18735/tid=18760] ppid=18733 vsize=7641116 CPUtime=0.08 cores=4,6
/proc/18735/task/18760/stat : 18760 (java) S 18733 18735 18683 0 -1 4202560 704 0 0 0 8 0 0 0 15 0 19 0 371334361 7824502784 23682 33554432000 1073741824 1073778376 140736289583856 18446744073709551615 268284504985 0 4 0 16800975 18446604451953706816 0 0 -1 6 0 0 0
[pid=18735/tid=18761] ppid=18733 vsize=7641116 CPUtime=0.07 cores=4,6
/proc/18735/task/18761/stat : 18761 (java) S 18733 18735 18683 0 -1 4202560 186 0 0 0 7 0 0 0 15 0 19 0 371334361 7824502784 23682 33554432000 1073741824 1073778376 140736289583856 18446744073709551615 268284504985 0 4 0 16800975 18446604451953706816 0 0 -1 6 0 0 0
[pid=18735/tid=18762] ppid=18733 vsize=7641116 CPUtime=3.99 cores=4,6
/proc/18735/task/18762/stat : 18762 (java) S 18733 18735 18683 0 -1 4202560 3598 0 0 0 399 0 0 0 15 0 19 0 371334362 7824502784 23682 33554432000 1073741824 1073778376 140736289583856 18446744073709551615 268284505600 0 0 0 16800975 18446604451953706816 0 0 -1 4 0 0 0
[pid=18735/tid=18766] ppid=18733 vsize=7641116 CPUtime=0 cores=4,6
/proc/18735/task/18766/stat : 18766 (java) S 18733 18735 18683 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 371334364 7824502784 23682 33554432000 1073741824 1073778376 140736289583856 18446744073709551615 268284504985 0 4 0 16800975 18446604451953706816 0 0 -1 4 0 0 0
[pid=18735/tid=18769] ppid=18733 vsize=7641116 CPUtime=0 cores=4,6
/proc/18735/task/18769/stat : 18769 (java) S 18733 18735 18683 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 371334364 7824502784 23682 33554432000 1073741824 1073778376 140736289583856 18446744073709551615 268284504985 0 4 0 16800975 18446604451953706816 0 0 -1 4 0 0 0
[pid=18735/tid=18790] ppid=18733 vsize=7641116 CPUtime=0 cores=4,6
/proc/18735/task/18790/stat : 18790 (java) S 18733 18735 18683 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 371334369 7824502784 23682 33554432000 1073741824 1073778376 140736289583856 18446744073709551615 268284512689 0 4 0 16800975 18446604451953706816 0 0 -1 4 0 0 0
[pid=18735/tid=18792] ppid=18733 vsize=7641116 CPUtime=0.27 cores=4,6
/proc/18735/task/18792/stat : 18792 (java) S 18733 18735 18683 0 -1 4202560 1408 0 0 0 27 0 0 0 15 0 19 0 371334369 7824502784 23682 33554432000 1073741824 1073778376 140736289583856 18446744073709551615 268284504985 0 4 0 16800975 18446604451953706816 0 0 -1 4 0 0 0
[pid=18735/tid=18796] ppid=18733 vsize=7641116 CPUtime=0.32 cores=4,6
/proc/18735/task/18796/stat : 18796 (java) S 18733 18735 18683 0 -1 4202560 1240 0 0 0 32 0 0 0 16 0 19 0 371334369 7824502784 23682 33554432000 1073741824 1073778376 140736289583856 18446744073709551615 268284504985 0 4 0 16800975 18446604451953706816 0 0 -1 6 0 0 0
[pid=18735/tid=18798] ppid=18733 vsize=7641116 CPUtime=0 cores=4,6
/proc/18735/task/18798/stat : 18798 (java) S 18733 18735 18683 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 371334369 7824502784 23682 33554432000 1073741824 1073778376 140736289583856 18446744073709551615 268284504985 0 4 0 16800975 18446604451953706816 0 0 -1 4 0 0 0
[pid=18735/tid=18802] ppid=18733 vsize=7641116 CPUtime=0 cores=4,6
/proc/18735/task/18802/stat : 18802 (java) S 18733 18735 18683 0 -1 4202560 67 0 0 0 0 0 0 0 15 0 19 0 371334369 7824502784 23682 33554432000 1073741824 1073778376 140736289583856 18446744073709551615 268284505600 0 4 0 16800975 18446604451953706816 0 0 -1 6 0 0 0
[pid=18735/tid=18816] ppid=18733 vsize=7641116 CPUtime=0 cores=4,6
/proc/18735/task/18816/stat : 18816 (java) S 18733 18735 18683 0 -1 4202560 8 0 0 0 0 0 0 0 19 0 19 0 371334389 7824502784 23682 33554432000 1073741824 1073778376 140736289583856 18446744073709551615 268284505600 0 4 0 16800975 18446604451953706816 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1123.02
Current children cumulated vsize (KiB) 7641116

[startup+1182.3 s]
/proc/loadavg: 4.12 4.00 3.24 5/262 18848
/proc/meminfo: memFree=13145788/32950928 swapFree=67111528/67111528
[pid=18735] ppid=18733 vsize=7641116 CPUtime=1183.04 cores=4,6
/proc/18735/stat : 18735 (java) S 18733 18735 18683 0 -1 4202496 25293 0 6 0 118298 6 0 0 19 0 19 0 371334358 7824502784 23834 33554432000 1073741824 1073778376 140736289583856 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/18735/statm: 1910279 23834 2256 9 0 1901017 0
[pid=18735/tid=18744] ppid=18733 vsize=7641116 CPUtime=1177.47 cores=4,6
/proc/18735/task/18744/stat : 18744 (java) R 18733 18735 18683 0 -1 4202560 12433 0 6 0 117745 2 0 0 25 0 19 0 371334359 7824502784 23834 33554432000 1073741824 1073778376 140736289583856 18446744073709551615 46912505701568 0 4 0 16800975 0 0 0 -1 4 0 0 7
[pid=18735/tid=18754] ppid=18733 vsize=7641116 CPUtime=0.11 cores=4,6
/proc/18735/task/18754/stat : 18754 (java) S 18733 18735 18683 0 -1 4202560 1759 0 0 0 11 0 0 0 16 0 19 0 371334361 7824502784 23834 33554432000 1073741824 1073778376 140736289583856 18446744073709551615 268284504985 0 4 0 16800975 18446604451953706816 0 0 -1 6 0 0 0
[pid=18735/tid=18755] ppid=18733 vsize=7641116 CPUtime=0.08 cores=4,6
/proc/18735/task/18755/stat : 18755 (java) S 18733 18735 18683 0 -1 4202560 1061 0 0 0 8 0 0 0 15 0 19 0 371334361 7824502784 23834 33554432000 1073741824 1073778376 140736289583856 18446744073709551615 268284504985 0 4 0 16800975 18446604451953706816 0 0 -1 6 0 0 0
[pid=18735/tid=18756] ppid=18733 vsize=7641116 CPUtime=0.09 cores=4,6
/proc/18735/task/18756/stat : 18756 (java) S 18733 18735 18683 0 -1 4202560 432 0 0 0 9 0 0 0 15 0 19 0 371334361 7824502784 23834 33554432000 1073741824 1073778376 140736289583856 18446744073709551615 268284504985 0 4 0 16800975 18446604451953706816 0 0 -1 6 0 0 0
[pid=18735/tid=18757] ppid=18733 vsize=7641116 CPUtime=0.08 cores=4,6
/proc/18735/task/18757/stat : 18757 (java) S 18733 18735 18683 0 -1 4202560 126 0 0 0 8 0 0 0 16 0 19 0 371334361 7824502784 23834 33554432000 1073741824 1073778376 140736289583856 18446744073709551615 268284504985 0 4 0 16800975 18446604451953706816 0 0 -1 6 0 0 0
[pid=18735/tid=18758] ppid=18733 vsize=7641116 CPUtime=0.07 cores=4,6
/proc/18735/task/18758/stat : 18758 (java) S 18733 18735 18683 0 -1 4202560 229 0 0 0 7 0 0 0 15 0 19 0 371334361 7824502784 23834 33554432000 1073741824 1073778376 140736289583856 18446744073709551615 268284504985 0 4 0 16800975 18446604451953706816 0 0 -1 6 0 0 0
[pid=18735/tid=18759] ppid=18733 vsize=7641116 CPUtime=0.07 cores=4,6
/proc/18735/task/18759/stat : 18759 (java) S 18733 18735 18683 0 -1 4202560 755 0 0 0 7 0 0 0 16 0 19 0 371334361 7824502784 23834 33554432000 1073741824 1073778376 140736289583856 18446744073709551615 268284504985 0 4 0 16800975 18446604451953706816 0 0 -1 6 0 0 0
[pid=18735/tid=18760] ppid=18733 vsize=7641116 CPUtime=0.08 cores=4,6
/proc/18735/task/18760/stat : 18760 (java) S 18733 18735 18683 0 -1 4202560 704 0 0 0 8 0 0 0 15 0 19 0 371334361 7824502784 23834 33554432000 1073741824 1073778376 140736289583856 18446744073709551615 268284504985 0 4 0 16800975 18446604451953706816 0 0 -1 6 0 0 0
[pid=18735/tid=18761] ppid=18733 vsize=7641116 CPUtime=0.08 cores=4,6
/proc/18735/task/18761/stat : 18761 (java) S 18733 18735 18683 0 -1 4202560 186 0 0 0 8 0 0 0 15 0 19 0 371334361 7824502784 23834 33554432000 1073741824 1073778376 140736289583856 18446744073709551615 268284504985 0 4 0 16800975 18446604451953706816 0 0 -1 6 0 0 0
[pid=18735/tid=18762] ppid=18733 vsize=7641116 CPUtime=4.2 cores=4,6
/proc/18735/task/18762/stat : 18762 (java) S 18733 18735 18683 0 -1 4202560 3738 0 0 0 420 0 0 0 15 0 19 0 371334362 7824502784 23834 33554432000 1073741824 1073778376 140736289583856 18446744073709551615 268284505600 0 0 0 16800975 18446604451953706816 0 0 -1 4 0 0 0
[pid=18735/tid=18766] ppid=18733 vsize=7641116 CPUtime=0 cores=4,6
/proc/18735/task/18766/stat : 18766 (java) S 18733 18735 18683 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 371334364 7824502784 23834 33554432000 1073741824 1073778376 140736289583856 18446744073709551615 268284504985 0 4 0 16800975 18446604451953706816 0 0 -1 4 0 0 0
[pid=18735/tid=18769] ppid=18733 vsize=7641116 CPUtime=0 cores=4,6
/proc/18735/task/18769/stat : 18769 (java) S 18733 18735 18683 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 371334364 7824502784 23834 33554432000 1073741824 1073778376 140736289583856 18446744073709551615 268284504985 0 4 0 16800975 18446604451953706816 0 0 -1 4 0 0 0
[pid=18735/tid=18790] ppid=18733 vsize=7641116 CPUtime=0 cores=4,6
/proc/18735/task/18790/stat : 18790 (java) S 18733 18735 18683 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 371334369 7824502784 23834 33554432000 1073741824 1073778376 140736289583856 18446744073709551615 268284512689 0 4 0 16800975 18446604451953706816 0 0 -1 4 0 0 0
[pid=18735/tid=18792] ppid=18733 vsize=7641116 CPUtime=0.27 cores=4,6
/proc/18735/task/18792/stat : 18792 (java) S 18733 18735 18683 0 -1 4202560 1408 0 0 0 27 0 0 0 15 0 19 0 371334369 7824502784 23834 33554432000 1073741824 1073778376 140736289583856 18446744073709551615 268284504985 0 4 0 16800975 18446604451953706816 0 0 -1 4 0 0 0
[pid=18735/tid=18796] ppid=18733 vsize=7641116 CPUtime=0.32 cores=4,6
/proc/18735/task/18796/stat : 18796 (java) S 18733 18735 18683 0 -1 4202560 1240 0 0 0 32 0 0 0 16 0 19 0 371334369 7824502784 23834 33554432000 1073741824 1073778376 140736289583856 18446744073709551615 268284504985 0 4 0 16800975 18446604451953706816 0 0 -1 6 0 0 0
[pid=18735/tid=18798] ppid=18733 vsize=7641116 CPUtime=0 cores=4,6
/proc/18735/task/18798/stat : 18798 (java) S 18733 18735 18683 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 371334369 7824502784 23834 33554432000 1073741824 1073778376 140736289583856 18446744073709551615 268284504985 0 4 0 16800975 18446604451953706816 0 0 -1 4 0 0 0
[pid=18735/tid=18802] ppid=18733 vsize=7641116 CPUtime=0 cores=4,6
/proc/18735/task/18802/stat : 18802 (java) S 18733 18735 18683 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 19 0 371334369 7824502784 23834 33554432000 1073741824 1073778376 140736289583856 18446744073709551615 268284505600 0 4 0 16800975 18446604451953706816 0 0 -1 6 0 0 0
[pid=18735/tid=18816] ppid=18733 vsize=7641116 CPUtime=0 cores=4,6
/proc/18735/task/18816/stat : 18816 (java) S 18733 18735 18683 0 -1 4202560 8 0 0 0 0 0 0 0 19 0 19 0 371334389 7824502784 23834 33554432000 1073741824 1073778376 140736289583856 18446744073709551615 268284505600 0 4 0 16800975 18446604451953706816 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1183.04
Current children cumulated vsize (KiB) 7641116

[startup+1242.3 s]
/proc/loadavg: 4.04 4.00 3.28 5/262 18850
/proc/meminfo: memFree=13143976/32950928 swapFree=67111528/67111528
[pid=18735] ppid=18733 vsize=7641116 CPUtime=1243.05 cores=4,6
/proc/18735/stat : 18735 (java) S 18733 18735 18683 0 -1 4202496 25323 0 6 0 124299 6 0 0 19 0 19 0 371334358 7824502784 23850 33554432000 1073741824 1073778376 140736289583856 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/18735/statm: 1910279 23850 2256 9 0 1901017 0
[pid=18735/tid=18744] ppid=18733 vsize=7641116 CPUtime=1237.26 cores=4,6
/proc/18735/task/18744/stat : 18744 (java) R 18733 18735 18683 0 -1 4202560 12439 0 6 0 123724 2 0 0 25 0 19 0 371334359 7824502784 23850 33554432000 1073741824 1073778376 140736289583856 18446744073709551615 46912505582214 0 4 0 16800975 0 0 0 -1 4 0 0 7
[pid=18735/tid=18754] ppid=18733 vsize=7641116 CPUtime=0.12 cores=4,6
/proc/18735/task/18754/stat : 18754 (java) S 18733 18735 18683 0 -1 4202560 1759 0 0 0 12 0 0 0 15 0 19 0 371334361 7824502784 23850 33554432000 1073741824 1073778376 140736289583856 18446744073709551615 268284504985 0 4 0 16800975 18446604451953706816 0 0 -1 6 0 0 0
[pid=18735/tid=18755] ppid=18733 vsize=7641116 CPUtime=0.08 cores=4,6
/proc/18735/task/18755/stat : 18755 (java) S 18733 18735 18683 0 -1 4202560 1061 0 0 0 8 0 0 0 15 0 19 0 371334361 7824502784 23850 33554432000 1073741824 1073778376 140736289583856 18446744073709551615 268284504985 0 4 0 16800975 18446604451953706816 0 0 -1 6 0 0 0
[pid=18735/tid=18756] ppid=18733 vsize=7641116 CPUtime=0.09 cores=4,6
/proc/18735/task/18756/stat : 18756 (java) S 18733 18735 18683 0 -1 4202560 432 0 0 0 9 0 0 0 15 0 19 0 371334361 7824502784 23850 33554432000 1073741824 1073778376 140736289583856 18446744073709551615 268284504985 0 4 0 16800975 18446604451953706816 0 0 -1 6 0 0 0
[pid=18735/tid=18757] ppid=18733 vsize=7641116 CPUtime=0.09 cores=4,6
/proc/18735/task/18757/stat : 18757 (java) S 18733 18735 18683 0 -1 4202560 127 0 0 0 9 0 0 0 15 0 19 0 371334361 7824502784 23850 33554432000 1073741824 1073778376 140736289583856 18446744073709551615 268284504985 0 4 0 16800975 18446604451953706816 0 0 -1 6 0 0 0
[pid=18735/tid=18758] ppid=18733 vsize=7641116 CPUtime=0.08 cores=4,6
/proc/18735/task/18758/stat : 18758 (java) S 18733 18735 18683 0 -1 4202560 229 0 0 0 8 0 0 0 15 0 19 0 371334361 7824502784 23850 33554432000 1073741824 1073778376 140736289583856 18446744073709551615 268284504985 0 4 0 16800975 18446604451953706816 0 0 -1 6 0 0 0
[pid=18735/tid=18759] ppid=18733 vsize=7641116 CPUtime=0.08 cores=4,6
/proc/18735/task/18759/stat : 18759 (java) S 18733 18735 18683 0 -1 4202560 755 0 0 0 8 0 0 0 15 0 19 0 371334361 7824502784 23850 33554432000 1073741824 1073778376 140736289583856 18446744073709551615 268284504985 0 4 0 16800975 18446604451953706816 0 0 -1 6 0 0 0
[pid=18735/tid=18760] ppid=18733 vsize=7641116 CPUtime=0.09 cores=4,6
/proc/18735/task/18760/stat : 18760 (java) S 18733 18735 18683 0 -1 4202560 704 0 0 0 9 0 0 0 16 0 19 0 371334361 7824502784 23850 33554432000 1073741824 1073778376 140736289583856 18446744073709551615 268284504985 0 4 0 16800975 18446604451953706816 0 0 -1 6 0 0 0
[pid=18735/tid=18761] ppid=18733 vsize=7641116 CPUtime=0.08 cores=4,6
/proc/18735/task/18761/stat : 18761 (java) S 18733 18735 18683 0 -1 4202560 186 0 0 0 8 0 0 0 16 0 19 0 371334361 7824502784 23850 33554432000 1073741824 1073778376 140736289583856 18446744073709551615 268284504985 0 4 0 16800975 18446604451953706816 0 0 -1 6 0 0 0
[pid=18735/tid=18762] ppid=18733 vsize=7641116 CPUtime=4.4 cores=4,6
/proc/18735/task/18762/stat : 18762 (java) S 18733 18735 18683 0 -1 4202560 3757 0 0 0 440 0 0 0 15 0 19 0 371334362 7824502784 23850 33554432000 1073741824 1073778376 140736289583856 18446744073709551615 268284505600 0 0 0 16800975 18446604451953706816 0 0 -1 4 0 0 0
[pid=18735/tid=18766] ppid=18733 vsize=7641116 CPUtime=0 cores=4,6
/proc/18735/task/18766/stat : 18766 (java) S 18733 18735 18683 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 371334364 7824502784 23850 33554432000 1073741824 1073778376 140736289583856 18446744073709551615 268284504985 0 4 0 16800975 18446604451953706816 0 0 -1 4 0 0 0
[pid=18735/tid=18769] ppid=18733 vsize=7641116 CPUtime=0 cores=4,6
/proc/18735/task/18769/stat : 18769 (java) S 18733 18735 18683 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 371334364 7824502784 23850 33554432000 1073741824 1073778376 140736289583856 18446744073709551615 268284504985 0 4 0 16800975 18446604451953706816 0 0 -1 4 0 0 0
[pid=18735/tid=18790] ppid=18733 vsize=7641116 CPUtime=0 cores=4,6
/proc/18735/task/18790/stat : 18790 (java) S 18733 18735 18683 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 371334369 7824502784 23850 33554432000 1073741824 1073778376 140736289583856 18446744073709551615 268284512689 0 4 0 16800975 18446604451953706816 0 0 -1 4 0 0 0
[pid=18735/tid=18792] ppid=18733 vsize=7641116 CPUtime=0.27 cores=4,6
/proc/18735/task/18792/stat : 18792 (java) S 18733 18735 18683 0 -1 4202560 1408 0 0 0 27 0 0 0 15 0 19 0 371334369 7824502784 23850 33554432000 1073741824 1073778376 140736289583856 18446744073709551615 268284504985 0 4 0 16800975 18446604451953706816 0 0 -1 4 0 0 0
[pid=18735/tid=18796] ppid=18733 vsize=7641116 CPUtime=0.32 cores=4,6
/proc/18735/task/18796/stat : 18796 (java) S 18733 18735 18683 0 -1 4202560 1240 0 0 0 32 0 0 0 16 0 19 0 371334369 7824502784 23850 33554432000 1073741824 1073778376 140736289583856 18446744073709551615 268284504985 0 4 0 16800975 18446604451953706816 0 0 -1 6 0 0 0
[pid=18735/tid=18798] ppid=18733 vsize=7641116 CPUtime=0 cores=4,6
/proc/18735/task/18798/stat : 18798 (java) S 18733 18735 18683 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 371334369 7824502784 23850 33554432000 1073741824 1073778376 140736289583856 18446744073709551615 268284504985 0 4 0 16800975 18446604451953706816 0 0 -1 4 0 0 0
[pid=18735/tid=18802] ppid=18733 vsize=7641116 CPUtime=0 cores=4,6
/proc/18735/task/18802/stat : 18802 (java) S 18733 18735 18683 0 -1 4202560 73 0 0 0 0 0 0 0 15 0 19 0 371334369 7824502784 23850 33554432000 1073741824 1073778376 140736289583856 18446744073709551615 268284505600 0 4 0 16800975 18446604451953706816 0 0 -1 6 0 0 0
[pid=18735/tid=18816] ppid=18733 vsize=7641116 CPUtime=0 cores=4,6
/proc/18735/task/18816/stat : 18816 (java) S 18733 18735 18683 0 -1 4202560 8 0 0 0 0 0 0 0 19 0 19 0 371334389 7824502784 23850 33554432000 1073741824 1073778376 140736289583856 18446744073709551615 268284505600 0 4 0 16800975 18446604451953706816 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1243.05
Current children cumulated vsize (KiB) 7641116



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 4.01 4.00 3.32 3/224 18857
/proc/meminfo: memFree=13328480/32950928 swapFree=67111528/67111528
[pid=18735] ppid=18733 vsize=7641116 CPUtime=1300.77 cores=4,6
/proc/18735/stat : 18735 (java) S 18733 18735 18683 0 -1 4202496 25386 0 6 0 130071 6 0 0 19 0 19 0 371334358 7824502784 23902 33554432000 1073741824 1073778376 140736289583856 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/18735/statm: 1910279 23902 2256 9 0 1901017 0
[pid=18735/tid=18744] ppid=18733 vsize=7641116 CPUtime=1294.77 cores=4,6
/proc/18735/task/18744/stat : 18744 (java) R 18733 18735 18683 0 -1 4202560 12444 0 6 0 129475 2 0 0 25 0 19 0 371334359 7824502784 23902 33554432000 1073741824 1073778376 140736289583856 18446744073709551615 46912505702230 0 4 0 16800975 0 0 0 -1 4 0 0 7
[pid=18735/tid=18754] ppid=18733 vsize=7641116 CPUtime=0.12 cores=4,6
/proc/18735/task/18754/stat : 18754 (java) S 18733 18735 18683 0 -1 4202560 1759 0 0 0 12 0 0 0 15 0 19 0 371334361 7824502784 23902 33554432000 1073741824 1073778376 140736289583856 18446744073709551615 268284504985 0 4 0 16800975 18446604451953706816 0 0 -1 6 0 0 0
[pid=18735/tid=18755] ppid=18733 vsize=7641116 CPUtime=0.08 cores=4,6
/proc/18735/task/18755/stat : 18755 (java) S 18733 18735 18683 0 -1 4202560 1061 0 0 0 8 0 0 0 16 0 19 0 371334361 7824502784 23902 33554432000 1073741824 1073778376 140736289583856 18446744073709551615 268284504985 0 4 0 16800975 18446604451953706816 0 0 -1 6 0 0 0
[pid=18735/tid=18756] ppid=18733 vsize=7641116 CPUtime=0.09 cores=4,6
/proc/18735/task/18756/stat : 18756 (java) S 18733 18735 18683 0 -1 4202560 432 0 0 0 9 0 0 0 16 0 19 0 371334361 7824502784 23902 33554432000 1073741824 1073778376 140736289583856 18446744073709551615 268284504985 0 4 0 16800975 18446604451953706816 0 0 -1 6 0 0 0
[pid=18735/tid=18757] ppid=18733 vsize=7641116 CPUtime=0.09 cores=4,6
/proc/18735/task/18757/stat : 18757 (java) S 18733 18735 18683 0 -1 4202560 127 0 0 0 9 0 0 0 15 0 19 0 371334361 7824502784 23902 33554432000 1073741824 1073778376 140736289583856 18446744073709551615 268284504985 0 4 0 16800975 18446604451953706816 0 0 -1 6 0 0 0
[pid=18735/tid=18758] ppid=18733 vsize=7641116 CPUtime=0.09 cores=4,6
/proc/18735/task/18758/stat : 18758 (java) S 18733 18735 18683 0 -1 4202560 229 0 0 0 9 0 0 0 15 0 19 0 371334361 7824502784 23902 33554432000 1073741824 1073778376 140736289583856 18446744073709551615 268284504985 0 4 0 16800975 18446604451953706816 0 0 -1 6 0 0 0
[pid=18735/tid=18759] ppid=18733 vsize=7641116 CPUtime=0.09 cores=4,6
/proc/18735/task/18759/stat : 18759 (java) S 18733 18735 18683 0 -1 4202560 755 0 0 0 9 0 0 0 15 0 19 0 371334361 7824502784 23902 33554432000 1073741824 1073778376 140736289583856 18446744073709551615 268284504985 0 4 0 16800975 18446604451953706816 0 0 -1 6 0 0 0
[pid=18735/tid=18760] ppid=18733 vsize=7641116 CPUtime=0.09 cores=4,6
/proc/18735/task/18760/stat : 18760 (java) S 18733 18735 18683 0 -1 4202560 704 0 0 0 9 0 0 0 16 0 19 0 371334361 7824502784 23902 33554432000 1073741824 1073778376 140736289583856 18446744073709551615 268284504985 0 4 0 16800975 18446604451953706816 0 0 -1 6 0 0 0
[pid=18735/tid=18761] ppid=18733 vsize=7641116 CPUtime=0.09 cores=4,6
/proc/18735/task/18761/stat : 18761 (java) S 18733 18735 18683 0 -1 4202560 187 0 0 0 9 0 0 0 15 0 19 0 371334361 7824502784 23902 33554432000 1073741824 1073778376 140736289583856 18446744073709551615 268284504985 0 4 0 16800975 18446604451953706816 0 0 -1 6 0 0 0
[pid=18735/tid=18762] ppid=18733 vsize=7641116 CPUtime=4.57 cores=4,6
/proc/18735/task/18762/stat : 18762 (java) S 18733 18735 18683 0 -1 4202560 3810 0 0 0 457 0 0 0 15 0 19 0 371334362 7824502784 23902 33554432000 1073741824 1073778376 140736289583856 18446744073709551615 268284505600 0 0 0 16800975 18446604451953706816 0 0 -1 4 0 0 0
[pid=18735/tid=18766] ppid=18733 vsize=7641116 CPUtime=0 cores=4,6
/proc/18735/task/18766/stat : 18766 (java) S 18733 18735 18683 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 371334364 7824502784 23902 33554432000 1073741824 1073778376 140736289583856 18446744073709551615 268284504985 0 4 0 16800975 18446604451953706816 0 0 -1 4 0 0 0
[pid=18735/tid=18769] ppid=18733 vsize=7641116 CPUtime=0 cores=4,6
/proc/18735/task/18769/stat : 18769 (java) S 18733 18735 18683 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 371334364 7824502784 23902 33554432000 1073741824 1073778376 140736289583856 18446744073709551615 268284504985 0 4 0 16800975 18446604451953706816 0 0 -1 4 0 0 0
[pid=18735/tid=18790] ppid=18733 vsize=7641116 CPUtime=0 cores=4,6
/proc/18735/task/18790/stat : 18790 (java) S 18733 18735 18683 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 371334369 7824502784 23902 33554432000 1073741824 1073778376 140736289583856 18446744073709551615 268284512689 0 4 0 16800975 18446604451953706816 0 0 -1 4 0 0 0
[pid=18735/tid=18792] ppid=18733 vsize=7641116 CPUtime=0.27 cores=4,6
/proc/18735/task/18792/stat : 18792 (java) S 18733 18735 18683 0 -1 4202560 1408 0 0 0 27 0 0 0 15 0 19 0 371334369 7824502784 23902 33554432000 1073741824 1073778376 140736289583856 18446744073709551615 268284504985 0 4 0 16800975 18446604451953706816 0 0 -1 4 0 0 0
[pid=18735/tid=18796] ppid=18733 vsize=7641116 CPUtime=0.32 cores=4,6
/proc/18735/task/18796/stat : 18796 (java) S 18733 18735 18683 0 -1 4202560 1240 0 0 0 32 0 0 0 16 0 19 0 371334369 7824502784 23902 33554432000 1073741824 1073778376 140736289583856 18446744073709551615 268284504985 0 4 0 16800975 18446604451953706816 0 0 -1 6 0 0 0
[pid=18735/tid=18798] ppid=18733 vsize=7641116 CPUtime=0 cores=4,6
/proc/18735/task/18798/stat : 18798 (java) S 18733 18735 18683 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 371334369 7824502784 23902 33554432000 1073741824 1073778376 140736289583856 18446744073709551615 268284504985 0 4 0 16800975 18446604451953706816 0 0 -1 4 0 0 0
[pid=18735/tid=18802] ppid=18733 vsize=7641116 CPUtime=0 cores=4,6
/proc/18735/task/18802/stat : 18802 (java) S 18733 18735 18683 0 -1 4202560 77 0 0 0 0 0 0 0 15 0 19 0 371334369 7824502784 23902 33554432000 1073741824 1073778376 140736289583856 18446744073709551615 268284505600 0 4 0 16800975 18446604451953706816 0 0 -1 6 0 0 0
[pid=18735/tid=18816] ppid=18733 vsize=7641116 CPUtime=0 cores=4,6
/proc/18735/task/18816/stat : 18816 (java) S 18733 18735 18683 0 -1 4202560 8 0 0 0 0 0 0 0 19 0 19 0 371334389 7824502784 23902 33554432000 1073741824 1073778376 140736289583856 18446744073709551615 268284505600 0 4 0 16800975 18446604451953706816 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1300.77
Current children cumulated vsize (KiB) 7641116

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

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

Child status: 143
Real time (s): 1300.05
CPU time (s): 1300.85
CPU user time (s): 1300.78
CPU system time (s): 0.067989
CPU usage (%): 100.062
Max. virtual memory (cumulated for all children) (KiB): 7641620

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1300.78
system time used= 0.067989
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25422
page faults= 6
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 30981
involuntary context switches= 7082

runsolver used 2.21866 second user time and 4.89926 second system time

The end

Launcher Data 

Begin job on node122 at 2011-04-12 10:35:56
IDJOB=3190221
IDBENCH=82552
IDSOLVER=1611
FILE ID=node122/3190221-1302597356
RUNJOBID= node122-1302597355-18702
PBS_JOBID= 12958098
Free space on /tmp= 71808 MiB

SOLVER NAME= SAT4J core 2.3.0 SNAPSHOT 2011-02-06
BENCH NAME= SAT11/random/large/unif-k7-r85-v400-c34000-S1897807474-073-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-3190221-1302597356/watcher-3190221-1302597356 -o /tmp/evaluation-result-3190221-1302597356/solver-3190221-1302597356 -C 2400 -W 1300 -M 7680  java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3190221-1302597356.cnf

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

MD5SUM BENCH= 6ed0ea2d6f55cf35f843b9274cf5be29
RANDOM SEED=1806697375

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

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

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      13482784 kB
Buffers:        786708 kB
Cached:       18190168 kB
SwapCached:          0 kB
Active:        9905904 kB
Inactive:      9139004 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      13482784 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            2336 kB
Writeback:           0 kB
AnonPages:       68004 kB
Mapped:          18016 kB
Slab:           356680 kB
PageTables:       5408 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   235344 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= 71808 MiB
End job on node122 at 2011-04-12 10:57:38