Trace number 3249322

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SAT4J core 2.3.0 SNAPSHOT 2011-02-06? (TO) 1302.38 1300.06

General information on the benchmark

Namecrafted/mosoi/289/
289-unsat-21x33.cnf
MD5SUMf7c29bbc3bef00d1e7cc799553ba4813
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables2772
Number of clauses448371
Sum of the clauses size1785168
Maximum clause length4
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 24158
Number of clauses of size 30
Number of clauses of size 4444213
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.07	c no version file found!!!
0.00/0.07	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.07	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.07	c java.vm.version	19.1-b02
0.00/0.07	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.07	c sun.arch.data.model	64
0.00/0.07	c java.version		1.6.0_24
0.00/0.07	c os.name		Linux
0.00/0.07	c os.version		2.6.18-164.el5
0.00/0.07	c os.arch		amd64
0.00/0.07	c Free memory 		6997539544
0.00/0.07	c Max memory 		7034241024
0.00/0.07	c Total memory 		7034241024
0.00/0.07	c Number of processors 	8
0.08/0.09	c --- Begin Solver configuration ---
0.08/0.09	c org.sat4j.minisat.constraints.MixedDataStructureDanielWL@50337d0f
0.08/0.09	c Learn all clauses as in MiniSAT
0.08/0.09	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.1 initConflictBound=100 
0.08/0.09	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT
0.08/0.09	c Expensive reason simplification
0.08/0.09	c Armin Biere (Picosat) restarts strategy
0.08/0.09	c Glucose learned constraints deletion strategy
0.08/0.09	c timeout=2147483647s
0.08/0.09	c DB Simplification allowed=true
0.08/0.09	c --- End Solver configuration ---
0.08/0.09	c solving HOME/instance-3249322-1303510790.cnf
0.08/0.09	c reading problem ... 
0.61/0.57	c ... done. Wall clock time 0.478s.
0.61/0.57	c #vars     2772
0.61/0.57	c #constraints  448371
0.61/0.57	c constraints type 
0.61/0.57	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 444213
0.61/0.57	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 4158
1.78/1.48	c cleaning 2495 clauses out of 5001 with flag 5001/5001
3.16/2.56	c cleaning 4247 clauses out of 8505 with flag 11000/11000
4.17/3.59	c cleaning 5628 clauses out of 11258 with flag 18000/18000
5.17/4.59	c cleaning 6809 clauses out of 13631 with flag 26001/26001
6.38/5.75	c cleaning 7910 clauses out of 15821 with flag 35000/35000
7.48/6.89	c cleaning 8926 clauses out of 17911 with flag 45000/45000
8.68/8.00	c cleaning 9990 clauses out of 19986 with flag 56001/56001
9.98/9.33	c cleaning 10988 clauses out of 21995 with flag 68000/68000
11.28/10.62	c cleaning 11983 clauses out of 24008 with flag 81001/81001
12.58/11.99	c cleaning 13002 clauses out of 26024 with flag 95000/95000
14.09/13.43	c cleaning 13991 clauses out of 28022 with flag 110000/110000
15.59/14.91	c cleaning 14992 clauses out of 30034 with flag 126003/126003
17.10/16.47	c cleaning 16008 clauses out of 32040 with flag 143001/143001
18.69/18.03	c cleaning 17002 clauses out of 34031 with flag 161000/161000
20.40/19.73	c cleaning 18001 clauses out of 36029 with flag 180000/180000
22.10/21.48	c cleaning 19008 clauses out of 38028 with flag 200000/200000
24.10/23.45	c cleaning 19997 clauses out of 40021 with flag 221001/221001
26.10/25.44	c cleaning 21000 clauses out of 42023 with flag 243000/243000
28.01/27.32	c cleaning 21997 clauses out of 44023 with flag 266000/266000
29.81/29.18	c cleaning 22986 clauses out of 46028 with flag 290002/290002
32.11/31.43	c cleaning 23982 clauses out of 48040 with flag 315000/315000
34.32/33.69	c cleaning 25014 clauses out of 50058 with flag 341000/341000
36.62/35.95	c cleaning 26003 clauses out of 52047 with flag 368003/368003
38.63/37.93	c cleaning 27017 clauses out of 54042 with flag 396001/396001
41.13/40.44	c cleaning 27983 clauses out of 56025 with flag 425001/425001
43.73/43.07	c cleaning 29004 clauses out of 58042 with flag 455001/455001
46.04/45.31	c cleaning 30010 clauses out of 60037 with flag 486000/486000
48.74/48.06	c cleaning 30986 clauses out of 62028 with flag 518001/518001
51.44/50.71	c cleaning 32007 clauses out of 64041 with flag 551000/551000
54.05/53.32	c cleaning 32992 clauses out of 66034 with flag 585000/585000
56.95/56.29	c cleaning 34005 clauses out of 68044 with flag 620002/620002
59.75/59.01	c cleaning 34982 clauses out of 70038 with flag 656001/656001
62.86/62.19	c cleaning 36014 clauses out of 72055 with flag 693000/693000
65.76/65.07	c cleaning 36998 clauses out of 74042 with flag 731001/731001
69.07/68.35	c cleaning 38012 clauses out of 76043 with flag 770000/770000
71.77/71.06	c cleaning 38984 clauses out of 78031 with flag 810000/810000
75.48/74.75	c cleaning 40010 clauses out of 80047 with flag 851000/851000
78.38/77.69	c cleaning 41001 clauses out of 82038 with flag 893001/893001
82.29/81.57	c cleaning 41989 clauses out of 84038 with flag 936002/936002
85.69/84.94	c cleaning 43005 clauses out of 86048 with flag 980001/980001
90.00/89.25	c cleaning 44013 clauses out of 88044 with flag 1025002/1025002
93.31/92.52	c cleaning 44986 clauses out of 90029 with flag 1071000/1071000
97.71/96.93	c cleaning 46003 clauses out of 92044 with flag 1118001/1118001
101.32/100.57	c cleaning 46975 clauses out of 94041 with flag 1166001/1166001
105.12/104.34	c cleaning 47983 clauses out of 96066 with flag 1215001/1215001
109.63/108.83	c cleaning 49017 clauses out of 98083 with flag 1265001/1265001
113.63/112.83	c cleaning 50007 clauses out of 100065 with flag 1316000/1316000
118.64/117.88	c cleaning 51022 clauses out of 102059 with flag 1368001/1368001
122.65/121.88	c cleaning 51994 clauses out of 104036 with flag 1421000/1421000
127.36/126.55	c cleaning 52993 clauses out of 106042 with flag 1475000/1475000
132.36/131.53	c cleaning 54006 clauses out of 108049 with flag 1530000/1530000
136.77/135.97	c cleaning 54997 clauses out of 110043 with flag 1586000/1586000
141.68/140.82	c cleaning 56006 clauses out of 112047 with flag 1643001/1643001
146.88/146.03	c cleaning 57002 clauses out of 114040 with flag 1701000/1701000
151.89/151.09	c cleaning 57981 clauses out of 116039 with flag 1760001/1760001
157.50/156.63	c cleaning 58994 clauses out of 118058 with flag 1820001/1820001
162.81/161.97	c cleaning 60015 clauses out of 120063 with flag 1881000/1881000
167.41/166.52	c cleaning 61024 clauses out of 122049 with flag 1943001/1943001
173.32/172.41	c cleaning 61961 clauses out of 124026 with flag 2006002/2006002
178.53/177.60	c cleaning 63002 clauses out of 126063 with flag 2070000/2070000
183.64/182.75	c cleaning 64001 clauses out of 128062 with flag 2135001/2135001
189.94/189.01	c cleaning 65020 clauses out of 130061 with flag 2201001/2201001
195.56/194.62	c cleaning 65970 clauses out of 132041 with flag 2268001/2268001
201.07/200.14	c cleaning 67012 clauses out of 134071 with flag 2336001/2336001
208.17/207.29	c cleaning 68010 clauses out of 136060 with flag 2405002/2405002
215.38/214.48	c cleaning 69007 clauses out of 138049 with flag 2475001/2475001
220.79/219.87	c cleaning 70005 clauses out of 140041 with flag 2546000/2546000
227.39/226.46	c cleaning 70986 clauses out of 142036 with flag 2618000/2618000
234.70/233.72	c cleaning 71976 clauses out of 144051 with flag 2691001/2691001
240.92/239.92	c cleaning 73014 clauses out of 146075 with flag 2765001/2765001
247.22/246.29	c cleaning 73977 clauses out of 148061 with flag 2840001/2840001
254.64/253.68	c cleaning 75024 clauses out of 150083 with flag 2916000/2916000
263.85/262.81	c cleaning 76002 clauses out of 152059 with flag 2993000/2993000
270.36/269.33	c cleaning 76988 clauses out of 154057 with flag 3071000/3071000
277.97/276.97	c cleaning 78001 clauses out of 156069 with flag 3150000/3150000
286.68/285.64	c cleaning 79012 clauses out of 158069 with flag 3230001/3230001
296.39/295.33	c cleaning 80007 clauses out of 160058 with flag 3311002/3311002
302.90/301.84	c cleaning 80989 clauses out of 162049 with flag 3393000/3393000
310.51/309.43	c cleaning 82007 clauses out of 164060 with flag 3476000/3476000
319.73/318.64	c cleaning 82986 clauses out of 166053 with flag 3560000/3560000
330.14/329.06	c cleaning 83998 clauses out of 168067 with flag 3645000/3645000
337.05/335.97	c cleaning 85016 clauses out of 170069 with flag 3731000/3731000
345.37/344.21	c cleaning 85990 clauses out of 172055 with flag 3818002/3818002
353.97/352.83	c cleaning 86988 clauses out of 174065 with flag 3906002/3906002
364.88/363.79	c cleaning 88002 clauses out of 176075 with flag 3995000/3995000
372.40/371.25	c cleaning 89032 clauses out of 178074 with flag 4085001/4085001
380.81/379.60	c cleaning 90006 clauses out of 180041 with flag 4176000/4176000
391.12/389.90	c cleaning 90972 clauses out of 182036 with flag 4268001/4268001
401.43/400.22	c cleaning 91996 clauses out of 184063 with flag 4361000/4361000
410.16/408.91	c cleaning 93022 clauses out of 186069 with flag 4455002/4455002
419.07/417.85	c cleaning 93983 clauses out of 188045 with flag 4550000/4550000
431.68/430.44	c cleaning 95025 clauses out of 190068 with flag 4646006/4646006
442.49/441.20	c cleaning 95965 clauses out of 192038 with flag 4743001/4743001
457.21/455.96	c cleaning 97003 clauses out of 194072 with flag 4841000/4841000
465.62/464.31	c cleaning 97990 clauses out of 196072 with flag 4940003/4940003
476.03/474.70	c cleaning 99016 clauses out of 198079 with flag 5040000/5040000
487.25/485.96	c cleaning 99999 clauses out of 200063 with flag 5141000/5141000
501.27/499.91	c cleaning 100989 clauses out of 202064 with flag 5243000/5243000
515.48/514.12	c cleaning 102019 clauses out of 204076 with flag 5346001/5346001
524.70/523.34	c cleaning 103002 clauses out of 206056 with flag 5450000/5450000
535.81/534.42	c cleaning 104012 clauses out of 208055 with flag 5555001/5555001
549.24/547.87	c cleaning 104981 clauses out of 210045 with flag 5661003/5661003
563.15/561.76	c cleaning 105999 clauses out of 212061 with flag 5768000/5768000
577.17/575.77	c cleaning 107008 clauses out of 214062 with flag 5876000/5876000
587.08/585.61	c cleaning 107990 clauses out of 216054 with flag 5985000/5985000
597.19/595.73	c cleaning 108991 clauses out of 218066 with flag 6095002/6095002
608.51/607.10	c cleaning 110011 clauses out of 220074 with flag 6206001/6206001
622.62/621.13	c cleaning 111018 clauses out of 222063 with flag 6318001/6318001
636.84/635.34	c cleaning 112007 clauses out of 224044 with flag 6431000/6431000
647.36/645.85	c cleaning 112997 clauses out of 226037 with flag 6545000/6545000
659.17/657.69	c cleaning 114010 clauses out of 228044 with flag 6660004/6660004
673.38/671.81	c cleaning 114964 clauses out of 230031 with flag 6776001/6776001
687.20/685.68	c cleaning 116010 clauses out of 232067 with flag 6893001/6893001
703.92/702.37	c cleaning 116998 clauses out of 234056 with flag 7011000/7011000
718.34/716.70	c cleaning 118023 clauses out of 236058 with flag 7130000/7130000
729.36/727.76	c cleaning 119001 clauses out of 238036 with flag 7250001/7250001
740.87/739.29	c cleaning 119986 clauses out of 240036 with flag 7371002/7371002
755.28/753.60	c cleaning 120987 clauses out of 242049 with flag 7493001/7493001
773.50/771.85	c cleaning 122013 clauses out of 244062 with flag 7616001/7616001
792.92/791.21	c cleaning 123002 clauses out of 246049 with flag 7740001/7740001
809.24/807.51	c cleaning 124013 clauses out of 248046 with flag 7865000/7865000
821.96/820.22	c cleaning 124986 clauses out of 250033 with flag 7991000/7991000
835.97/834.25	c cleaning 125959 clauses out of 252047 with flag 8118000/8118000
852.69/850.96	c cleaning 127004 clauses out of 254088 with flag 8246000/8246000
871.11/869.35	c cleaning 127973 clauses out of 256084 with flag 8375000/8375000
891.53/889.78	c cleaning 129018 clauses out of 258111 with flag 8505000/8505000
911.15/909.39	c cleaning 130026 clauses out of 260094 with flag 8636001/8636001
924.08/922.24	c cleaning 131018 clauses out of 262069 with flag 8768002/8768002
939.19/937.37	c cleaning 132018 clauses out of 264050 with flag 8901001/8901001
956.71/954.82	c cleaning 132984 clauses out of 266032 with flag 9035001/9035001
977.53/975.61	c cleaning 133991 clauses out of 268048 with flag 9170001/9170001
995.75/993.86	c cleaning 134972 clauses out of 270056 with flag 9306000/9306000
1024.17/1022.25	c cleaning 136015 clauses out of 272085 with flag 9443001/9443001
1040.30/1038.31	c cleaning 137021 clauses out of 274070 with flag 9581001/9581001
1055.41/1053.49	c cleaning 137999 clauses out of 276051 with flag 9720003/9720003
1073.12/1071.18	c cleaning 138984 clauses out of 278049 with flag 9860000/9860000
1091.15/1089.16	c cleaning 139978 clauses out of 280065 with flag 10001000/10001000
1114.07/1112.03	c cleaning 140990 clauses out of 282087 with flag 10143000/10143000
1138.49/1136.47	c cleaning 142022 clauses out of 284097 with flag 10286000/10286000
1180.91/1178.82	c cleaning 143013 clauses out of 286075 with flag 10430000/10430000
1194.04/1191.95	c cleaning 143980 clauses out of 288063 with flag 10575001/10575001
1210.15/1208.04	c cleaning 145004 clauses out of 290082 with flag 10721000/10721000
1229.88/1227.79	c cleaning 146012 clauses out of 292079 with flag 10868001/10868001
1250.00/1247.89	c cleaning 146958 clauses out of 294066 with flag 11016000/11016000
1274.84/1272.62	c cleaning 148024 clauses out of 296108 with flag 11165000/11165000
1300.06/1297.87	c cleaning 149016 clauses out of 298086 with flag 11315002/11315002
1302.29/1300.01	c starts		: 2700
1302.29/1300.01	c conflicts		: 11331807
1302.29/1300.01	c decisions		: 17785464
1302.29/1300.01	c propagations		: 455765934
1302.29/1300.01	c inspects		: 11745788034
1302.29/1300.01	c shortcuts		: 0
1302.29/1300.01	c learnt literals	: 0
1302.29/1300.01	c learnt binary clauses	: 0
1302.29/1300.01	c learnt ternary clauses	: 0
1302.29/1300.01	c learnt constraints	: 11331807
1302.29/1300.01	c ignored constraints	: 0
1302.29/1300.01	c root simplifications	: 2700
1302.29/1300.01	c removed literals (reason simplification)	: 54829034
1302.29/1300.01	c reason swapping (by a shorter reason)	: 0
1302.29/1300.01	c Calls to reduceDB	: 146
1302.29/1300.01	c speed (assignments/second)	: 350739.76291361987
1302.29/1300.01	c non guided choices	184335
1302.29/1300.04	c learnt constraints type 
1302.29/1300.04	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 165935
1302.29/1300.04	c constraints type 
1302.29/1300.04	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 444213
1302.29/1300.04	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 4158
1302.29/1300.04	s UNKNOWN
1302.29/1300.04	c Total wall clock time (in seconds) : 1299.921

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3249322-1303510790/watcher-3249322-1303510790 -o /tmp/evaluation-result-3249322-1303510790/solver-3249322-1303510790 -C 2400 -W 1300 -M 7680 java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3249322-1303510790.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.84 3.96 3.98 5/243 16706
/proc/meminfo: memFree=15017664/32950940 swapFree=67111528/67111528
[pid=16706] ppid=16704 vsize=35788 CPUtime=0 cores=4,6
/proc/16706/stat : 16706 (java) S 16704 16706 15396 0 -1 4202496 1326 0 0 0 0 0 0 0 24 0 2 0 541309789 36646912 1026 33554432000 1073741824 1073778376 140735881408160 18446744073709551615 216000395237 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/16706/statm: 8947 1026 790 9 0 386 0
[pid=16706/tid=16707] ppid=16704 vsize=35788 CPUtime=0 cores=4,6
/proc/16706/task/16707/stat : 16707 (java) S 16704 16706 15396 0 -1 4202560 210 0 0 0 0 0 0 0 25 0 2 0 541309789 36646912 1026 33554432000 1073741824 1073778376 140735881408160 18446744073709551615 215988612678 0 0 0 16784584 4254900271945089023 0 0 -1 4 0 0 0

[startup+0.086242 s]
/proc/loadavg: 3.84 3.96 3.98 5/243 16706
/proc/meminfo: memFree=15017664/32950940 swapFree=67111528/67111528
[pid=16706] ppid=16704 vsize=7635904 CPUtime=0.08 cores=4,6
/proc/16706/stat : 16706 (java) S 16704 16706 15396 0 -1 4202496 9979 0 1 0 7 1 0 0 24 0 18 0 541309789 7819165696 9674 33554432000 1073741824 1073778376 140735881408160 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/16706/statm: 1908976 9674 2015 9 0 1899714 0
[pid=16706/tid=16707] ppid=16704 vsize=7635904 CPUtime=0.07 cores=4,6
/proc/16706/task/16707/stat : 16707 (java) R 16704 16706 15396 0 -1 4202560 8445 0 1 0 6 1 0 0 25 0 18 0 541309789 7819165696 9676 33554432000 1073741824 1073778376 140735881408160 18446744073709551615 46912505199335 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 7635904

[startup+0.10024 s]
/proc/loadavg: 3.84 3.96 3.98 5/243 16706
/proc/meminfo: memFree=15017664/32950940 swapFree=67111528/67111528
[pid=16706] ppid=16704 vsize=7636892 CPUtime=0.1 cores=4,6
/proc/16706/stat : 16706 (java) S 16704 16706 15396 0 -1 4202496 11005 0 1 0 9 1 0 0 24 0 18 0 541309789 7820177408 10700 33554432000 1073741824 1073778376 140735881408160 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/16706/statm: 1909223 10700 2094 9 0 1899961 0
[pid=16706/tid=16707] ppid=16704 vsize=7636892 CPUtime=0.08 cores=4,6
/proc/16706/task/16707/stat : 16707 (java) R 16704 16706 15396 0 -1 4202560 9082 0 1 0 7 1 0 0 25 0 18 0 541309789 7820177408 10700 33554432000 1073741824 1073778376 140735881408160 18446744073709551615 46912505207476 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 7636892

[startup+0.300216 s]
/proc/loadavg: 3.84 3.96 3.98 5/243 16706
/proc/meminfo: memFree=15017664/32950940 swapFree=67111528/67111528
[pid=16706] ppid=16704 vsize=7636928 CPUtime=0.41 cores=4,6
/proc/16706/stat : 16706 (java) S 16704 16706 15396 0 -1 4202496 14562 0 1 0 40 1 0 0 24 0 18 0 541309789 7820214272 14038 33554432000 1073741824 1073778376 140735881408160 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/16706/statm: 1909232 14038 2198 9 0 1899970 0
[pid=16706/tid=16707] ppid=16704 vsize=7636928 CPUtime=0.28 cores=4,6
/proc/16706/task/16707/stat : 16707 (java) R 16704 16706 15396 0 -1 4202560 12255 0 1 0 27 1 0 0 25 0 18 0 541309789 7820214272 14038 33554432000 1073741824 1073778376 140735881408160 18446744073709551615 46912505496017 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 7636928

[startup+0.701136 s]
/proc/loadavg: 3.84 3.96 3.98 5/243 16706
/proc/meminfo: memFree=15017664/32950940 swapFree=67111528/67111528
[pid=16706] ppid=16704 vsize=7643332 CPUtime=0.92 cores=4,6
/proc/16706/stat : 16706 (java) S 16704 16706 15396 0 -1 4202496 24444 0 1 0 89 3 0 0 24 0 19 0 541309789 7826771968 23186 33554432000 1073741824 1073778376 140735881408160 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/16706/statm: 1910833 23187 2220 9 0 1901571 0
[pid=16706/tid=16707] ppid=16704 vsize=7643332 CPUtime=0.62 cores=4,6
/proc/16706/task/16707/stat : 16707 (java) R 16704 16706 15396 0 -1 4202560 19819 0 1 0 60 2 0 0 25 0 19 0 541309789 7826771968 23187 33554432000 1073741824 1073778376 140735881408160 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.92
Current children cumulated vsize (KiB) 7643332

[startup+1.501 s]
/proc/loadavg: 3.84 3.96 3.98 5/262 16725
/proc/meminfo: memFree=14928084/32950940 swapFree=67111528/67111528
[pid=16706] ppid=16704 vsize=7644688 CPUtime=1.93 cores=4,6
/proc/16706/stat : 16706 (java) S 16704 16706 15396 0 -1 4202496 28095 0 1 0 190 3 0 0 24 0 19 0 541309789 7828160512 26124 33554432000 1073741824 1073778376 140735881408160 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/16706/statm: 1911172 26127 2239 9 0 1901910 0
[pid=16706/tid=16707] ppid=16704 vsize=7644688 CPUtime=1.4 cores=4,6
/proc/16706/task/16707/stat : 16707 (java) S 16704 16706 15396 0 -1 4202560 20566 0 1 0 138 2 0 0 25 0 19 0 541309789 7828160512 26129 33554432000 1073741824 1073778376 140735881408160 18446744073709551615 216000408473 0 4 0 16800975 18446604453903364416 0 0 -1 4 0 0 0
[pid=16706/tid=16709] ppid=16704 vsize=7644688 CPUtime=0 cores=4,6
/proc/16706/task/16709/stat : 16709 (java) R 16704 16706 15396 0 -1 4202560 895 0 0 0 0 0 0 0 18 0 19 0 541309791 7828160512 26131 33554432000 1073741824 1073778376 140735881408160 18446744073709551615 47949835220514 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=16706/tid=16710] ppid=16704 vsize=7644688 CPUtime=0 cores=4,6
/proc/16706/task/16710/stat : 16710 (java) R 16704 16706 15396 0 -1 4202560 110 0 0 0 0 0 0 0 18 0 19 0 541309791 7828160512 26133 33554432000 1073741824 1073778376 140735881408160 18446744073709551615 47949830792897 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=16706/tid=16711] ppid=16704 vsize=7644688 CPUtime=0 cores=4,6
/proc/16706/task/16711/stat : 16711 (java) R 16704 16706 15396 0 -1 4202560 135 0 0 0 0 0 0 0 18 0 19 0 541309791 7828160512 26135 33554432000 1073741824 1073778376 140735881408160 18446744073709551615 47949830792897 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=16706/tid=16712] ppid=16704 vsize=7644688 CPUtime=0 cores=4,6
/proc/16706/task/16712/stat : 16712 (java) R 16704 16706 15396 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 19 0 541309791 7828160512 26137 33554432000 1073741824 1073778376 140735881408160 18446744073709551615 47949830792947 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=16706/tid=16713] ppid=16704 vsize=7644688 CPUtime=0 cores=4,6
/proc/16706/task/16713/stat : 16713 (java) R 16704 16706 15396 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 19 0 541309791 7828160512 26139 33554432000 1073741824 1073778376 140735881408160 18446744073709551615 47949830792947 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=16706/tid=16714] ppid=16704 vsize=7644688 CPUtime=0 cores=4,6
/proc/16706/task/16714/stat : 16714 (java) R 16704 16706 15396 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 19 0 541309791 7828160512 26141 33554432000 1073741824 1073778376 140735881408160 18446744073709551615 47949830792947 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=16706/tid=16715] ppid=16704 vsize=7644688 CPUtime=0 cores=4,6
/proc/16706/task/16715/stat : 16715 (java) R 16704 16706 15396 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 19 0 541309791 7828160512 26143 33554432000 1073741824 1073778376 140735881408160 18446744073709551615 47949830792947 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=16706/tid=16716] ppid=16704 vsize=7644688 CPUtime=0 cores=4,6
/proc/16706/task/16716/stat : 16716 (java) R 16704 16706 15396 0 -1 4202560 899 0 0 0 0 0 0 0 18 0 19 0 541309791 7828160512 26145 33554432000 1073741824 1073778376 140735881408160 18446744073709551615 47949830792897 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=16706/tid=16717] ppid=16704 vsize=7644688 CPUtime=0 cores=4,6
/proc/16706/task/16717/stat : 16717 (java) S 16704 16706 15396 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 541309792 7828160512 26147 33554432000 1073741824 1073778376 140735881408160 18446744073709551615 216000408473 0 0 0 16800975 18446604453903364416 0 0 -1 4 0 0 0
[pid=16706/tid=16718] ppid=16704 vsize=7644688 CPUtime=0 cores=4,6
/proc/16706/task/16718/stat : 16718 (java) S 16704 16706 15396 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 541309792 7828160512 26149 33554432000 1073741824 1073778376 140735881408160 18446744073709551615 216000408473 0 4 0 16800975 18446604453903364416 0 0 -1 4 0 0 0
[pid=16706/tid=16719] ppid=16704 vsize=7644688 CPUtime=0 cores=4,6
/proc/16706/task/16719/stat : 16719 (java) S 16704 16706 15396 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 541309792 7828160512 26151 33554432000 1073741824 1073778376 140735881408160 18446744073709551615 216000408473 0 4 0 16800975 18446604453903364416 0 0 -1 4 0 0 0
[pid=16706/tid=16720] ppid=16704 vsize=7644688 CPUtime=0 cores=4,6
/proc/16706/task/16720/stat : 16720 (java) S 16704 16706 15396 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 541309794 7828160512 26153 33554432000 1073741824 1073778376 140735881408160 18446744073709551615 216000416177 0 4 0 16800975 18446604453903364416 0 0 -1 6 0 0 0
[pid=16706/tid=16721] ppid=16704 vsize=7644688 CPUtime=0.23 cores=4,6
/proc/16706/task/16721/stat : 16721 (java) S 16704 16706 15396 0 -1 4202560 2009 0 0 0 23 0 0 0 16 0 19 0 541309794 7828160512 26156 33554432000 1073741824 1073778376 140735881408160 18446744073709551615 216000408473 0 4 0 16800975 18446604453903364416 0 0 -1 6 0 0 0
[pid=16706/tid=16722] ppid=16704 vsize=7644688 CPUtime=0.26 cores=4,6
/proc/16706/task/16722/stat : 16722 (java) S 16704 16706 15396 0 -1 4202560 2330 0 0 0 26 0 0 0 16 0 19 0 541309794 7828160512 26158 33554432000 1073741824 1073778376 140735881408160 18446744073709551615 216000408473 0 4 0 16800975 18446604453903364416 0 0 -1 4 0 0 0
[pid=16706/tid=16723] ppid=16704 vsize=7644688 CPUtime=0 cores=4,6
/proc/16706/task/16723/stat : 16723 (java) S 16704 16706 15396 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 541309794 7828160512 26160 33554432000 1073741824 1073778376 140735881408160 18446744073709551615 216000408473 0 4 0 16800975 18446604453903364416 0 0 -1 6 0 0 0
[pid=16706/tid=16724] ppid=16704 vsize=7644688 CPUtime=0 cores=4,6
/proc/16706/task/16724/stat : 16724 (java) S 16704 16706 15396 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 541309794 7828160512 26162 33554432000 1073741824 1073778376 140735881408160 18446744073709551615 216000409088 0 4 0 16800975 18446604453903364416 0 0 -1 4 0 0 0
[pid=16706/tid=16725] ppid=16704 vsize=7644688 CPUtime=0 cores=4,6
/proc/16706/task/16725/stat : 16725 (java) S 16704 16706 15396 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 541309847 7828160512 26164 33554432000 1073741824 1073778376 140735881408160 18446744073709551615 216000409088 0 4 0 16800975 18446604453903364416 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.93
Current children cumulated vsize (KiB) 7644688

[startup+3.10072 s]
/proc/loadavg: 3.84 3.96 3.98 5/262 16725
/proc/meminfo: memFree=14829132/32950940 swapFree=67111528/67111528
[pid=16706] ppid=16704 vsize=7661176 CPUtime=3.77 cores=4,6
/proc/16706/stat : 16706 (java) S 16704 16706 15396 0 -1 4202496 51822 0 1 0 370 7 0 0 24 0 19 0 541309789 7845044224 48271 33554432000 1073741824 1073778376 140735881408160 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/16706/statm: 1915294 48271 2255 9 0 1906032 0
[pid=16706/tid=16707] ppid=16704 vsize=7661176 CPUtime=2.69 cores=4,6
/proc/16706/task/16707/stat : 16707 (java) R 16704 16706 15396 0 -1 4202560 20568 0 1 0 267 2 0 0 25 0 19 0 541309789 7845044224 48271 33554432000 1073741824 1073778376 140735881408160 18446744073709551615 46912505719983 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=16706/tid=16709] ppid=16704 vsize=7661176 CPUtime=0.03 cores=4,6
/proc/16706/task/16709/stat : 16709 (java) S 16704 16706 15396 0 -1 4202560 4842 0 0 0 3 0 0 0 18 0 19 0 541309791 7845044224 48271 33554432000 1073741824 1073778376 140735881408160 18446744073709551615 216000408473 0 4 0 16800975 18446604453903364416 0 0 -1 6 0 0 0
[pid=16706/tid=16710] ppid=16704 vsize=7661176 CPUtime=0 cores=4,6
/proc/16706/task/16710/stat : 16710 (java) S 16704 16706 15396 0 -1 4202560 111 0 0 0 0 0 0 0 15 0 19 0 541309791 7845044224 48271 33554432000 1073741824 1073778376 140735881408160 18446744073709551615 216000408473 0 4 0 16800975 18446604453903364416 0 0 -1 6 0 0 0
[pid=16706/tid=16711] ppid=16704 vsize=7661176 CPUtime=0 cores=4,6
/proc/16706/task/16711/stat : 16711 (java) S 16704 16706 15396 0 -1 4202560 552 0 0 0 0 0 0 0 15 0 19 0 541309791 7845044224 48271 33554432000 1073741824 1073778376 140735881408160 18446744073709551615 216000408473 0 4 0 16800975 18446604453903364416 0 0 -1 6 0 0 0
[pid=16706/tid=16712] ppid=16704 vsize=7661176 CPUtime=0 cores=4,6
/proc/16706/task/16712/stat : 16712 (java) S 16704 16706 15396 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 541309791 7845044224 48271 33554432000 1073741824 1073778376 140735881408160 18446744073709551615 216000408473 0 4 0 16800975 18446604453903364416 0 0 -1 6 0 0 0
[pid=16706/tid=16713] ppid=16704 vsize=7661176 CPUtime=0 cores=4,6
/proc/16706/task/16713/stat : 16713 (java) S 16704 16706 15396 0 -1 4202560 300 0 0 0 0 0 0 0 15 0 19 0 541309791 7845044224 48271 33554432000 1073741824 1073778376 140735881408160 18446744073709551615 216000408473 0 4 0 16800975 18446604453903364416 0 0 -1 6 0 0 0
[pid=16706/tid=16714] ppid=16704 vsize=7661176 CPUtime=0 cores=4,6
/proc/16706/task/16714/stat : 16714 (java) S 16704 16706 15396 0 -1 4202560 121 0 0 0 0 0 0 0 15 0 19 0 541309791 7845044224 48271 33554432000 1073741824 1073778376 140735881408160 18446744073709551615 216000408473 0 4 0 16800975 18446604453903364416 0 0 -1 6 0 0 0
[pid=16706/tid=16715] ppid=16704 vsize=7661176 CPUtime=0 cores=4,6
/proc/16706/task/16715/stat : 16715 (java) S 16704 16706 15396 0 -1 4202560 47 0 0 0 0 0 0 0 15 0 19 0 541309791 7845044224 48271 33554432000 1073741824 1073778376 140735881408160 18446744073709551615 216000408473 0 4 0 16800975 18446604453903364416 0 0 -1 6 0 0 0
[pid=16706/tid=16716] ppid=16704 vsize=7661176 CPUtime=0.04 cores=4,6
/proc/16706/task/16716/stat : 16716 (java) S 16704 16706 15396 0 -1 4202560 4029 0 0 0 4 0 0 0 17 0 19 0 541309791 7845044224 48271 33554432000 1073741824 1073778376 140735881408160 18446744073709551615 216000408473 0 4 0 16800975 18446604453903364416 0 0 -1 6 0 0 0
[pid=16706/tid=16717] ppid=16704 vsize=7661176 CPUtime=0.22 cores=4,6
/proc/16706/task/16717/stat : 16717 (java) S 16704 16706 15396 0 -1 4202560 9772 0 0 0 21 1 0 0 16 0 19 0 541309792 7845044224 48271 33554432000 1073741824 1073778376 140735881408160 18446744073709551615 216000409088 0 0 0 16800975 18446604453903364416 0 0 -1 4 0 0 0
[pid=16706/tid=16718] ppid=16704 vsize=7661176 CPUtime=0 cores=4,6
/proc/16706/task/16718/stat : 16718 (java) S 16704 16706 15396 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 541309792 7845044224 48271 33554432000 1073741824 1073778376 140735881408160 18446744073709551615 216000408473 0 4 0 16800975 18446604453903364416 0 0 -1 4 0 0 0
[pid=16706/tid=16719] ppid=16704 vsize=7661176 CPUtime=0 cores=4,6
/proc/16706/task/16719/stat : 16719 (java) S 16704 16706 15396 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 541309792 7845044224 48271 33554432000 1073741824 1073778376 140735881408160 18446744073709551615 216000408473 0 4 0 16800975 18446604453903364416 0 0 -1 4 0 0 0
[pid=16706/tid=16720] ppid=16704 vsize=7661176 CPUtime=0 cores=4,6
/proc/16706/task/16720/stat : 16720 (java) S 16704 16706 15396 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 541309794 7845044224 48271 33554432000 1073741824 1073778376 140735881408160 18446744073709551615 216000416177 0 4 0 16800975 18446604453903364416 0 0 -1 6 0 0 0
[pid=16706/tid=16721] ppid=16704 vsize=7661176 CPUtime=0.41 cores=4,6
/proc/16706/task/16721/stat : 16721 (java) S 16704 16706 15396 0 -1 4202560 7679 0 0 0 40 1 0 0 16 0 19 0 541309794 7845044224 48271 33554432000 1073741824 1073778376 140735881408160 18446744073709551615 216000408473 0 4 0 16800975 18446604453903364416 0 0 -1 6 0 0 0
[pid=16706/tid=16722] ppid=16704 vsize=7661176 CPUtime=0.29 cores=4,6
/proc/16706/task/16722/stat : 16722 (java) S 16704 16706 15396 0 -1 4202560 2643 0 0 0 29 0 0 0 15 0 19 0 541309794 7845044224 48271 33554432000 1073741824 1073778376 140735881408160 18446744073709551615 216000408473 0 4 0 16800975 18446604453903364416 0 0 -1 4 0 0 0
[pid=16706/tid=16723] ppid=16704 vsize=7661176 CPUtime=0 cores=4,6
/proc/16706/task/16723/stat : 16723 (java) S 16704 16706 15396 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 541309794 7845044224 48271 33554432000 1073741824 1073778376 140735881408160 18446744073709551615 216000408473 0 4 0 16800975 18446604453903364416 0 0 -1 6 0 0 0
[pid=16706/tid=16724] ppid=16704 vsize=7661176 CPUtime=0 cores=4,6
/proc/16706/task/16724/stat : 16724 (java) S 16704 16706 15396 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 541309794 7845044224 48271 33554432000 1073741824 1073778376 140735881408160 18446744073709551615 216000409088 0 4 0 16800975 18446604453903364416 0 0 -1 6 0 0 0
[pid=16706/tid=16725] ppid=16704 vsize=7661176 CPUtime=0 cores=4,6
/proc/16706/task/16725/stat : 16725 (java) S 16704 16706 15396 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 541309847 7845044224 48271 33554432000 1073741824 1073778376 140735881408160 18446744073709551615 216000409088 0 4 0 16800975 18446604453903364416 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3.77
Current children cumulated vsize (KiB) 7661176

[startup+6.30116 s]
/proc/loadavg: 3.85 3.96 3.98 5/262 16725
/proc/meminfo: memFree=14822428/32950940 swapFree=67111528/67111528
[pid=16706] ppid=16704 vsize=7661176 CPUtime=6.98 cores=4,6
/proc/16706/stat : 16706 (java) S 16704 16706 15396 0 -1 4202496 53641 0 1 0 691 7 0 0 24 0 19 0 541309789 7845044224 49785 33554432000 1073741824 1073778376 140735881408160 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/16706/statm: 1915294 49785 2255 9 0 1906032 0
[pid=16706/tid=16707] ppid=16704 vsize=7661176 CPUtime=5.5 cores=4,6
/proc/16706/task/16707/stat : 16707 (java) R 16704 16706 15396 0 -1 4202560 20570 0 1 0 548 2 0 0 25 0 19 0 541309789 7845044224 49785 33554432000 1073741824 1073778376 140735881408160 18446744073709551615 46912505711020 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=16706/tid=16709] ppid=16704 vsize=7661176 CPUtime=0.04 cores=4,6
/proc/16706/task/16709/stat : 16709 (java) S 16704 16706 15396 0 -1 4202560 4846 0 0 0 4 0 0 0 15 0 19 0 541309791 7845044224 49785 33554432000 1073741824 1073778376 140735881408160 18446744073709551615 216000408473 0 4 0 16800975 18446604453903364416 0 0 -1 6 0 0 0
[pid=16706/tid=16710] ppid=16704 vsize=7661176 CPUtime=0 cores=4,6
/proc/16706/task/16710/stat : 16710 (java) S 16704 16706 15396 0 -1 4202560 111 0 0 0 0 0 0 0 15 0 19 0 541309791 7845044224 49785 33554432000 1073741824 1073778376 140735881408160 18446744073709551615 216000408473 0 4 0 16800975 18446604453903364416 0 0 -1 4 0 0 0
[pid=16706/tid=16711] ppid=16704 vsize=7661176 CPUtime=0 cores=4,6
/proc/16706/task/16711/stat : 16711 (java) S 16704 16706 15396 0 -1 4202560 552 0 0 0 0 0 0 0 15 0 19 0 541309791 7845044224 49785 33554432000 1073741824 1073778376 140735881408160 18446744073709551615 216000408473 0 4 0 16800975 18446604453903364416 0 0 -1 4 0 0 0
[pid=16706/tid=16712] ppid=16704 vsize=7661176 CPUtime=0 cores=4,6
/proc/16706/task/16712/stat : 16712 (java) S 16704 16706 15396 0 -1 4202560 63 0 0 0 0 0 0 0 16 0 19 0 541309791 7845044224 49785 33554432000 1073741824 1073778376 140735881408160 18446744073709551615 216000408473 0 4 0 16800975 18446604453903364416 0 0 -1 4 0 0 0
[pid=16706/tid=16713] ppid=16704 vsize=7661176 CPUtime=0 cores=4,6
/proc/16706/task/16713/stat : 16713 (java) S 16704 16706 15396 0 -1 4202560 300 0 0 0 0 0 0 0 15 0 19 0 541309791 7845044224 49785 33554432000 1073741824 1073778376 140735881408160 18446744073709551615 216000408473 0 4 0 16800975 18446604453903364416 0 0 -1 4 0 0 0
[pid=16706/tid=16714] ppid=16704 vsize=7661176 CPUtime=0 cores=4,6
/proc/16706/task/16714/stat : 16714 (java) S 16704 16706 15396 0 -1 4202560 121 0 0 0 0 0 0 0 15 0 19 0 541309791 7845044224 49785 33554432000 1073741824 1073778376 140735881408160 18446744073709551615 216000408473 0 4 0 16800975 18446604453903364416 0 0 -1 4 0 0 0
[pid=16706/tid=16715] ppid=16704 vsize=7661176 CPUtime=0 cores=4,6
/proc/16706/task/16715/stat : 16715 (java) S 16704 16706 15396 0 -1 4202560 47 0 0 0 0 0 0 0 15 0 19 0 541309791 7845044224 49785 33554432000 1073741824 1073778376 140735881408160 18446744073709551615 216000408473 0 4 0 16800975 18446604453903364416 0 0 -1 4 0 0 0
[pid=16706/tid=16716] ppid=16704 vsize=7661176 CPUtime=0.04 cores=4,6
/proc/16706/task/16716/stat : 16716 (java) S 16704 16706 15396 0 -1 4202560 4154 0 0 0 4 0 0 0 15 0 19 0 541309791 7845044224 49785 33554432000 1073741824 1073778376 140735881408160 18446744073709551615 216000408473 0 4 0 16800975 18446604453903364416 0 0 -1 4 0 0 0
[pid=16706/tid=16717] ppid=16704 vsize=7661176 CPUtime=0.59 cores=4,6
/proc/16706/task/16717/stat : 16717 (java) S 16704 16706 15396 0 -1 4202560 11332 0 0 0 58 1 0 0 15 0 19 0 541309792 7845044224 49785 33554432000 1073741824 1073778376 140735881408160 18446744073709551615 216000409088 0 0 0 16800975 18446604453903364416 0 0 -1 4 0 0 0
[pid=16706/tid=16718] ppid=16704 vsize=7661176 CPUtime=0 cores=4,6
/proc/16706/task/16718/stat : 16718 (java) S 16704 16706 15396 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 541309792 7845044224 49785 33554432000 1073741824 1073778376 140735881408160 18446744073709551615 216000408473 0 4 0 16800975 18446604453903364416 0 0 -1 4 0 0 0
[pid=16706/tid=16719] ppid=16704 vsize=7661176 CPUtime=0 cores=4,6
/proc/16706/task/16719/stat : 16719 (java) S 16704 16706 15396 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 541309792 7845044224 49785 33554432000 1073741824 1073778376 140735881408160 18446744073709551615 216000408473 0 4 0 16800975 18446604453903364416 0 0 -1 4 0 0 0
[pid=16706/tid=16720] ppid=16704 vsize=7661176 CPUtime=0 cores=4,6
/proc/16706/task/16720/stat : 16720 (java) S 16704 16706 15396 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 541309794 7845044224 49785 33554432000 1073741824 1073778376 140735881408160 18446744073709551615 216000416177 0 4 0 16800975 18446604453903364416 0 0 -1 6 0 0 0
[pid=16706/tid=16721] ppid=16704 vsize=7661176 CPUtime=0.41 cores=4,6
/proc/16706/task/16721/stat : 16721 (java) S 16704 16706 15396 0 -1 4202560 7679 0 0 0 40 1 0 0 16 0 19 0 541309794 7845044224 49785 33554432000 1073741824 1073778376 140735881408160 18446744073709551615 216000408473 0 4 0 16800975 18446604453903364416 0 0 -1 6 0 0 0
[pid=16706/tid=16722] ppid=16704 vsize=7661176 CPUtime=0.31 cores=4,6
/proc/16706/task/16722/stat : 16722 (java) S 16704 16706 15396 0 -1 4202560 2713 0 0 0 31 0 0 0 15 0 19 0 541309794 7845044224 49785 33554432000 1073741824 1073778376 140735881408160 18446744073709551615 216000408473 0 4 0 16800975 18446604453903364416 0 0 -1 4 0 0 0

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

[pid=16706/tid=16714] ppid=16704 vsize=7661176 CPUtime=0.38 cores=4,6
/proc/16706/task/16714/stat : 16714 (java) S 16704 16706 15396 0 -1 4202560 3684 0 0 0 38 0 0 0 15 0 19 0 541309791 7845044224 75482 33554432000 1073741824 1073778376 140735881408160 18446744073709551615 216000408473 0 4 0 16800975 18446604453903364416 0 0 -1 6 0 0 0
[pid=16706/tid=16715] ppid=16704 vsize=7661176 CPUtime=0.31 cores=4,6
/proc/16706/task/16715/stat : 16715 (java) S 16704 16706 15396 0 -1 4202560 197 0 0 0 31 0 0 0 15 0 19 0 541309791 7845044224 75482 33554432000 1073741824 1073778376 140735881408160 18446744073709551615 216000408473 0 4 0 16800975 18446604453903364416 0 0 -1 6 0 0 0
[pid=16706/tid=16716] ppid=16704 vsize=7661176 CPUtime=0.41 cores=4,6
/proc/16706/task/16716/stat : 16716 (java) S 16704 16706 15396 0 -1 4202560 4798 0 0 0 41 0 0 0 15 0 19 0 541309791 7845044224 75482 33554432000 1073741824 1073778376 140735881408160 18446744073709551615 216000408473 0 4 0 16800975 18446604453903364416 0 0 -1 6 0 0 0
[pid=16706/tid=16717] ppid=16704 vsize=7661176 CPUtime=21.8 cores=4,6
/proc/16706/task/16717/stat : 16717 (java) S 16704 16706 15396 0 -1 4202560 25130 0 0 0 2177 3 0 0 15 0 19 0 541309792 7845044224 75482 33554432000 1073741824 1073778376 140735881408160 18446744073709551615 216000409088 0 0 0 16800975 18446604453903364416 0 0 -1 4 0 0 0
[pid=16706/tid=16718] ppid=16704 vsize=7661176 CPUtime=0 cores=4,6
/proc/16706/task/16718/stat : 16718 (java) S 16704 16706 15396 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 541309792 7845044224 75482 33554432000 1073741824 1073778376 140735881408160 18446744073709551615 216000408473 0 4 0 16800975 18446604453903364416 0 0 -1 4 0 0 0
[pid=16706/tid=16719] ppid=16704 vsize=7661176 CPUtime=0 cores=4,6
/proc/16706/task/16719/stat : 16719 (java) S 16704 16706 15396 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 541309792 7845044224 75482 33554432000 1073741824 1073778376 140735881408160 18446744073709551615 216000408473 0 4 0 16800975 18446604453903364416 0 0 -1 4 0 0 0
[pid=16706/tid=16720] ppid=16704 vsize=7661176 CPUtime=0 cores=4,6
/proc/16706/task/16720/stat : 16720 (java) S 16704 16706 15396 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 541309794 7845044224 75482 33554432000 1073741824 1073778376 140735881408160 18446744073709551615 216000416177 0 4 0 16800975 18446604453903364416 0 0 -1 6 0 0 0
[pid=16706/tid=16721] ppid=16704 vsize=7661176 CPUtime=0.41 cores=4,6
/proc/16706/task/16721/stat : 16721 (java) S 16704 16706 15396 0 -1 4202560 7679 0 0 0 40 1 0 0 16 0 19 0 541309794 7845044224 75482 33554432000 1073741824 1073778376 140735881408160 18446744073709551615 216000408473 0 4 0 16800975 18446604453903364416 0 0 -1 6 0 0 0
[pid=16706/tid=16722] ppid=16704 vsize=7661176 CPUtime=0.34 cores=4,6
/proc/16706/task/16722/stat : 16722 (java) S 16704 16706 15396 0 -1 4202560 3243 0 0 0 34 0 0 0 15 0 19 0 541309794 7845044224 75482 33554432000 1073741824 1073778376 140735881408160 18446744073709551615 216000408473 0 4 0 16800975 18446604453903364416 0 0 -1 4 0 0 0
[pid=16706/tid=16723] ppid=16704 vsize=7661176 CPUtime=0 cores=4,6
/proc/16706/task/16723/stat : 16723 (java) S 16704 16706 15396 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 541309794 7845044224 75482 33554432000 1073741824 1073778376 140735881408160 18446744073709551615 216000408473 0 4 0 16800975 18446604453903364416 0 0 -1 6 0 0 0
[pid=16706/tid=16724] ppid=16704 vsize=7661176 CPUtime=0 cores=4,6
/proc/16706/task/16724/stat : 16724 (java) S 16704 16706 15396 0 -1 4202560 67 0 0 0 0 0 0 0 15 0 19 0 541309794 7845044224 75482 33554432000 1073741824 1073778376 140735881408160 18446744073709551615 216000409088 0 4 0 16800975 18446604453903364416 0 0 -1 6 0 0 0
[pid=16706/tid=16725] ppid=16704 vsize=7661176 CPUtime=0 cores=4,6
/proc/16706/task/16725/stat : 16725 (java) S 16704 16706 15396 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 541309847 7845044224 75482 33554432000 1073741824 1073778376 140735881408160 18446744073709551615 216000409088 0 4 0 16800975 18446604453903364416 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1124.39
Current children cumulated vsize (KiB) 7661176

[startup+1182.3 s]
/proc/loadavg: 4.00 4.00 4.00 8/262 16759
/proc/meminfo: memFree=14401916/32950940 swapFree=67111528/67111528
[pid=16706] ppid=16704 vsize=7661176 CPUtime=1184.44 cores=4,6
/proc/16706/stat : 16706 (java) S 16704 16706 15396 0 -1 4202496 85197 0 1 0 118428 16 0 0 24 0 19 0 541309789 7845044224 80774 33554432000 1073741824 1073778376 140735881408160 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/16706/statm: 1915294 80774 2256 9 0 1906032 0
[pid=16706/tid=16707] ppid=16704 vsize=7661176 CPUtime=1158.23 cores=4,6
/proc/16706/task/16707/stat : 16707 (java) R 16704 16706 15396 0 -1 4202560 26634 0 1 0 115816 7 0 0 25 0 19 0 541309789 7845044224 80774 33554432000 1073741824 1073778376 140735881408160 18446744073709551615 46912505586988 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=16706/tid=16709] ppid=16704 vsize=7661176 CPUtime=0.38 cores=4,6
/proc/16706/task/16709/stat : 16709 (java) S 16704 16706 15396 0 -1 4202560 5397 0 0 0 38 0 0 0 15 0 19 0 541309791 7845044224 80774 33554432000 1073741824 1073778376 140735881408160 18446744073709551615 216000408473 0 4 0 16800975 18446604453903364416 0 0 -1 6 0 0 0
[pid=16706/tid=16710] ppid=16704 vsize=7661176 CPUtime=0.43 cores=4,6
/proc/16706/task/16710/stat : 16710 (java) S 16704 16706 15396 0 -1 4202560 409 0 0 0 43 0 0 0 15 0 19 0 541309791 7845044224 80774 33554432000 1073741824 1073778376 140735881408160 18446744073709551615 216000408473 0 4 0 16800975 18446604453903364416 0 0 -1 6 0 0 0
[pid=16706/tid=16711] ppid=16704 vsize=7661176 CPUtime=0.39 cores=4,6
/proc/16706/task/16711/stat : 16711 (java) S 16704 16706 15396 0 -1 4202560 2016 0 0 0 39 0 0 0 16 0 19 0 541309791 7845044224 80774 33554432000 1073741824 1073778376 140735881408160 18446744073709551615 216000408473 0 4 0 16800975 18446604453903364416 0 0 -1 6 0 0 0
[pid=16706/tid=16712] ppid=16704 vsize=7661176 CPUtime=0.39 cores=4,6
/proc/16706/task/16712/stat : 16712 (java) S 16704 16706 15396 0 -1 4202560 2046 0 0 0 39 0 0 0 15 0 19 0 541309791 7845044224 80774 33554432000 1073741824 1073778376 140735881408160 18446744073709551615 216000408473 0 4 0 16800975 18446604453903364416 0 0 -1 6 0 0 0
[pid=16706/tid=16713] ppid=16704 vsize=7661176 CPUtime=0.37 cores=4,6
/proc/16706/task/16713/stat : 16713 (java) S 16704 16706 15396 0 -1 4202560 984 0 0 0 37 0 0 0 15 0 19 0 541309791 7845044224 80774 33554432000 1073741824 1073778376 140735881408160 18446744073709551615 216000408473 0 4 0 16800975 18446604453903364416 0 0 -1 6 0 0 0
[pid=16706/tid=16714] ppid=16704 vsize=7661176 CPUtime=0.38 cores=4,6
/proc/16706/task/16714/stat : 16714 (java) S 16704 16706 15396 0 -1 4202560 3684 0 0 0 38 0 0 0 15 0 19 0 541309791 7845044224 80774 33554432000 1073741824 1073778376 140735881408160 18446744073709551615 216000408473 0 4 0 16800975 18446604453903364416 0 0 -1 6 0 0 0
[pid=16706/tid=16715] ppid=16704 vsize=7661176 CPUtime=0.31 cores=4,6
/proc/16706/task/16715/stat : 16715 (java) S 16704 16706 15396 0 -1 4202560 197 0 0 0 31 0 0 0 15 0 19 0 541309791 7845044224 80774 33554432000 1073741824 1073778376 140735881408160 18446744073709551615 216000408473 0 4 0 16800975 18446604453903364416 0 0 -1 6 0 0 0
[pid=16706/tid=16716] ppid=16704 vsize=7661176 CPUtime=0.44 cores=4,6
/proc/16706/task/16716/stat : 16716 (java) S 16704 16706 15396 0 -1 4202560 5982 0 0 0 44 0 0 0 16 0 19 0 541309791 7845044224 80774 33554432000 1073741824 1073778376 140735881408160 18446744073709551615 216000408473 0 4 0 16800975 18446604453903364416 0 0 -1 6 0 0 0
[pid=16706/tid=16717] ppid=16704 vsize=7661176 CPUtime=22.25 cores=4,6
/proc/16706/task/16717/stat : 16717 (java) S 16704 16706 15396 0 -1 4202560 25705 0 0 0 2221 4 0 0 15 0 19 0 541309792 7845044224 80774 33554432000 1073741824 1073778376 140735881408160 18446744073709551615 216000409088 0 0 0 16800975 18446604453903364416 0 0 -1 4 0 0 0
[pid=16706/tid=16718] ppid=16704 vsize=7661176 CPUtime=0 cores=4,6
/proc/16706/task/16718/stat : 16718 (java) S 16704 16706 15396 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 541309792 7845044224 80774 33554432000 1073741824 1073778376 140735881408160 18446744073709551615 216000408473 0 4 0 16800975 18446604453903364416 0 0 -1 4 0 0 0
[pid=16706/tid=16719] ppid=16704 vsize=7661176 CPUtime=0 cores=4,6
/proc/16706/task/16719/stat : 16719 (java) S 16704 16706 15396 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 541309792 7845044224 80774 33554432000 1073741824 1073778376 140735881408160 18446744073709551615 216000408473 0 4 0 16800975 18446604453903364416 0 0 -1 4 0 0 0
[pid=16706/tid=16720] ppid=16704 vsize=7661176 CPUtime=0 cores=4,6
/proc/16706/task/16720/stat : 16720 (java) S 16704 16706 15396 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 541309794 7845044224 80774 33554432000 1073741824 1073778376 140735881408160 18446744073709551615 216000416177 0 4 0 16800975 18446604453903364416 0 0 -1 6 0 0 0
[pid=16706/tid=16721] ppid=16704 vsize=7661176 CPUtime=0.41 cores=4,6
/proc/16706/task/16721/stat : 16721 (java) S 16704 16706 15396 0 -1 4202560 7679 0 0 0 40 1 0 0 16 0 19 0 541309794 7845044224 80774 33554432000 1073741824 1073778376 140735881408160 18446744073709551615 216000408473 0 4 0 16800975 18446604453903364416 0 0 -1 6 0 0 0
[pid=16706/tid=16722] ppid=16704 vsize=7661176 CPUtime=0.34 cores=4,6
/proc/16706/task/16722/stat : 16722 (java) S 16704 16706 15396 0 -1 4202560 3243 0 0 0 34 0 0 0 15 0 19 0 541309794 7845044224 80774 33554432000 1073741824 1073778376 140735881408160 18446744073709551615 216000408473 0 4 0 16800975 18446604453903364416 0 0 -1 4 0 0 0
[pid=16706/tid=16723] ppid=16704 vsize=7661176 CPUtime=0 cores=4,6
/proc/16706/task/16723/stat : 16723 (java) S 16704 16706 15396 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 541309794 7845044224 80774 33554432000 1073741824 1073778376 140735881408160 18446744073709551615 216000408473 0 4 0 16800975 18446604453903364416 0 0 -1 6 0 0 0
[pid=16706/tid=16724] ppid=16704 vsize=7661176 CPUtime=0 cores=4,6
/proc/16706/task/16724/stat : 16724 (java) S 16704 16706 15396 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 19 0 541309794 7845044224 80774 33554432000 1073741824 1073778376 140735881408160 18446744073709551615 216000409088 0 4 0 16800975 18446604453903364416 0 0 -1 6 0 0 0
[pid=16706/tid=16725] ppid=16704 vsize=7661176 CPUtime=0 cores=4,6
/proc/16706/task/16725/stat : 16725 (java) S 16704 16706 15396 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 541309847 7845044224 80774 33554432000 1073741824 1073778376 140735881408160 18446744073709551615 216000409088 0 4 0 16800975 18446604453903364416 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1184.44
Current children cumulated vsize (KiB) 7661176

[startup+1242.3 s]
/proc/loadavg: 4.00 4.00 4.00 5/262 16761
/proc/meminfo: memFree=14388368/32950940 swapFree=67111528/67111528
[pid=16706] ppid=16704 vsize=7661176 CPUtime=1244.5 cores=4,6
/proc/16706/stat : 16706 (java) S 16704 16706 15396 0 -1 4202496 85834 0 1 0 124433 17 0 0 24 0 19 0 541309789 7845044224 81400 33554432000 1073741824 1073778376 140735881408160 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/16706/statm: 1915294 81400 2256 9 0 1906032 0
[pid=16706/tid=16707] ppid=16704 vsize=7661176 CPUtime=1217.64 cores=4,6
/proc/16706/task/16707/stat : 16707 (java) R 16704 16706 15396 0 -1 4202560 26637 0 1 0 121757 7 0 0 25 0 19 0 541309789 7845044224 81400 33554432000 1073741824 1073778376 140735881408160 18446744073709551615 46912505651279 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=16706/tid=16709] ppid=16704 vsize=7661176 CPUtime=0.38 cores=4,6
/proc/16706/task/16709/stat : 16709 (java) S 16704 16706 15396 0 -1 4202560 5397 0 0 0 38 0 0 0 15 0 19 0 541309791 7845044224 81400 33554432000 1073741824 1073778376 140735881408160 18446744073709551615 216000408473 0 4 0 16800975 18446604453903364416 0 0 -1 6 0 0 0
[pid=16706/tid=16710] ppid=16704 vsize=7661176 CPUtime=0.43 cores=4,6
/proc/16706/task/16710/stat : 16710 (java) S 16704 16706 15396 0 -1 4202560 409 0 0 0 43 0 0 0 15 0 19 0 541309791 7845044224 81400 33554432000 1073741824 1073778376 140735881408160 18446744073709551615 216000408473 0 4 0 16800975 18446604453903364416 0 0 -1 6 0 0 0
[pid=16706/tid=16711] ppid=16704 vsize=7661176 CPUtime=0.41 cores=4,6
/proc/16706/task/16711/stat : 16711 (java) S 16704 16706 15396 0 -1 4202560 2016 0 0 0 41 0 0 0 16 0 19 0 541309791 7845044224 81400 33554432000 1073741824 1073778376 140735881408160 18446744073709551615 216000408473 0 4 0 16800975 18446604453903364416 0 0 -1 6 0 0 0
[pid=16706/tid=16712] ppid=16704 vsize=7661176 CPUtime=0.41 cores=4,6
/proc/16706/task/16712/stat : 16712 (java) S 16704 16706 15396 0 -1 4202560 2046 0 0 0 41 0 0 0 15 0 19 0 541309791 7845044224 81400 33554432000 1073741824 1073778376 140735881408160 18446744073709551615 216000408473 0 4 0 16800975 18446604453903364416 0 0 -1 6 0 0 0
[pid=16706/tid=16713] ppid=16704 vsize=7661176 CPUtime=0.39 cores=4,6
/proc/16706/task/16713/stat : 16713 (java) S 16704 16706 15396 0 -1 4202560 984 0 0 0 39 0 0 0 15 0 19 0 541309791 7845044224 81400 33554432000 1073741824 1073778376 140735881408160 18446744073709551615 216000408473 0 4 0 16800975 18446604453903364416 0 0 -1 6 0 0 0
[pid=16706/tid=16714] ppid=16704 vsize=7661176 CPUtime=0.39 cores=4,6
/proc/16706/task/16714/stat : 16714 (java) S 16704 16706 15396 0 -1 4202560 3684 0 0 0 39 0 0 0 16 0 19 0 541309791 7845044224 81400 33554432000 1073741824 1073778376 140735881408160 18446744073709551615 216000408473 0 4 0 16800975 18446604453903364416 0 0 -1 6 0 0 0
[pid=16706/tid=16715] ppid=16704 vsize=7661176 CPUtime=0.32 cores=4,6
/proc/16706/task/16715/stat : 16715 (java) S 16704 16706 15396 0 -1 4202560 197 0 0 0 32 0 0 0 15 0 19 0 541309791 7845044224 81400 33554432000 1073741824 1073778376 140735881408160 18446744073709551615 216000408473 0 4 0 16800975 18446604453903364416 0 0 -1 6 0 0 0
[pid=16706/tid=16716] ppid=16704 vsize=7661176 CPUtime=0.47 cores=4,6
/proc/16706/task/16716/stat : 16716 (java) S 16704 16706 15396 0 -1 4202560 5982 0 0 0 47 0 0 0 16 0 19 0 541309791 7845044224 81400 33554432000 1073741824 1073778376 140735881408160 18446744073709551615 216000408473 0 4 0 16800975 18446604453903364416 0 0 -1 6 0 0 0
[pid=16706/tid=16717] ppid=16704 vsize=7661176 CPUtime=22.79 cores=4,6
/proc/16706/task/16717/stat : 16717 (java) S 16704 16706 15396 0 -1 4202560 26335 0 0 0 2275 4 0 0 15 0 19 0 541309792 7845044224 81400 33554432000 1073741824 1073778376 140735881408160 18446744073709551615 216000409088 0 0 0 16800975 18446604453903364416 0 0 -1 4 0 0 0
[pid=16706/tid=16718] ppid=16704 vsize=7661176 CPUtime=0 cores=4,6
/proc/16706/task/16718/stat : 16718 (java) S 16704 16706 15396 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 541309792 7845044224 81400 33554432000 1073741824 1073778376 140735881408160 18446744073709551615 216000408473 0 4 0 16800975 18446604453903364416 0 0 -1 4 0 0 0
[pid=16706/tid=16719] ppid=16704 vsize=7661176 CPUtime=0 cores=4,6
/proc/16706/task/16719/stat : 16719 (java) S 16704 16706 15396 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 541309792 7845044224 81400 33554432000 1073741824 1073778376 140735881408160 18446744073709551615 216000408473 0 4 0 16800975 18446604453903364416 0 0 -1 4 0 0 0
[pid=16706/tid=16720] ppid=16704 vsize=7661176 CPUtime=0 cores=4,6
/proc/16706/task/16720/stat : 16720 (java) S 16704 16706 15396 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 541309794 7845044224 81400 33554432000 1073741824 1073778376 140735881408160 18446744073709551615 216000416177 0 4 0 16800975 18446604453903364416 0 0 -1 6 0 0 0
[pid=16706/tid=16721] ppid=16704 vsize=7661176 CPUtime=0.41 cores=4,6
/proc/16706/task/16721/stat : 16721 (java) S 16704 16706 15396 0 -1 4202560 7679 0 0 0 40 1 0 0 16 0 19 0 541309794 7845044224 81400 33554432000 1073741824 1073778376 140735881408160 18446744073709551615 216000408473 0 4 0 16800975 18446604453903364416 0 0 -1 6 0 0 0
[pid=16706/tid=16722] ppid=16704 vsize=7661176 CPUtime=0.34 cores=4,6
/proc/16706/task/16722/stat : 16722 (java) S 16704 16706 15396 0 -1 4202560 3243 0 0 0 34 0 0 0 15 0 19 0 541309794 7845044224 81400 33554432000 1073741824 1073778376 140735881408160 18446744073709551615 216000408473 0 4 0 16800975 18446604453903364416 0 0 -1 4 0 0 0
[pid=16706/tid=16723] ppid=16704 vsize=7661176 CPUtime=0 cores=4,6
/proc/16706/task/16723/stat : 16723 (java) S 16704 16706 15396 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 541309794 7845044224 81400 33554432000 1073741824 1073778376 140735881408160 18446744073709551615 216000408473 0 4 0 16800975 18446604453903364416 0 0 -1 6 0 0 0
[pid=16706/tid=16724] ppid=16704 vsize=7661176 CPUtime=0 cores=4,6
/proc/16706/task/16724/stat : 16724 (java) S 16704 16706 15396 0 -1 4202560 73 0 0 0 0 0 0 0 15 0 19 0 541309794 7845044224 81400 33554432000 1073741824 1073778376 140735881408160 18446744073709551615 216000409088 0 4 0 16800975 18446604453903364416 0 0 -1 6 0 0 0
[pid=16706/tid=16725] ppid=16704 vsize=7661176 CPUtime=0 cores=4,6
/proc/16706/task/16725/stat : 16725 (java) S 16704 16706 15396 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 541309847 7845044224 81400 33554432000 1073741824 1073778376 140735881408160 18446744073709551615 216000409088 0 4 0 16800975 18446604453903364416 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1244.5
Current children cumulated vsize (KiB) 7661176



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 3.76 3.95 3.98 2/196 16806
/proc/meminfo: memFree=14953264/32950940 swapFree=67111528/67111528
[pid=16706] ppid=16704 vsize=7661176 CPUtime=1302.29 cores=4,6
/proc/16706/stat : 16706 (java) S 16704 16706 15396 0 -1 4202496 86763 0 1 0 130212 17 0 0 24 0 19 0 541309789 7845044224 82318 33554432000 1073741824 1073778376 140735881408160 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/16706/statm: 1915294 82318 2256 9 0 1906032 0
[pid=16706/tid=16707] ppid=16704 vsize=7661176 CPUtime=1274.64 cores=4,6
/proc/16706/task/16707/stat : 16707 (java) R 16704 16706 15396 0 -1 4202560 26640 0 1 0 127457 7 0 0 25 0 19 0 541309789 7845044224 82318 33554432000 1073741824 1073778376 140735881408160 18446744073709551615 46912505686294 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=16706/tid=16709] ppid=16704 vsize=7661176 CPUtime=0.38 cores=4,6
/proc/16706/task/16709/stat : 16709 (java) S 16704 16706 15396 0 -1 4202560 5397 0 0 0 38 0 0 0 15 0 19 0 541309791 7845044224 82318 33554432000 1073741824 1073778376 140735881408160 18446744073709551615 216000408473 0 4 0 16800975 18446604453903364416 0 0 -1 6 0 0 0
[pid=16706/tid=16710] ppid=16704 vsize=7661176 CPUtime=0.45 cores=4,6
/proc/16706/task/16710/stat : 16710 (java) S 16704 16706 15396 0 -1 4202560 433 0 0 0 45 0 0 0 15 0 19 0 541309791 7845044224 82318 33554432000 1073741824 1073778376 140735881408160 18446744073709551615 216000408473 0 4 0 16800975 18446604453903364416 0 0 -1 6 0 0 0
[pid=16706/tid=16711] ppid=16704 vsize=7661176 CPUtime=0.43 cores=4,6
/proc/16706/task/16711/stat : 16711 (java) S 16704 16706 15396 0 -1 4202560 2017 0 0 0 43 0 0 0 16 0 19 0 541309791 7845044224 82318 33554432000 1073741824 1073778376 140735881408160 18446744073709551615 216000408473 0 4 0 16800975 18446604453903364416 0 0 -1 6 0 0 0
[pid=16706/tid=16712] ppid=16704 vsize=7661176 CPUtime=0.41 cores=4,6
/proc/16706/task/16712/stat : 16712 (java) S 16704 16706 15396 0 -1 4202560 2046 0 0 0 41 0 0 0 15 0 19 0 541309791 7845044224 82318 33554432000 1073741824 1073778376 140735881408160 18446744073709551615 216000408473 0 4 0 16800975 18446604453903364416 0 0 -1 6 0 0 0
[pid=16706/tid=16713] ppid=16704 vsize=7661176 CPUtime=0.45 cores=4,6
/proc/16706/task/16713/stat : 16713 (java) S 16704 16706 15396 0 -1 4202560 1082 0 0 0 45 0 0 0 15 0 19 0 541309791 7845044224 82318 33554432000 1073741824 1073778376 140735881408160 18446744073709551615 216000408473 0 4 0 16800975 18446604453903364416 0 0 -1 4 0 0 0
[pid=16706/tid=16714] ppid=16704 vsize=7661176 CPUtime=0.39 cores=4,6
/proc/16706/task/16714/stat : 16714 (java) S 16704 16706 15396 0 -1 4202560 3684 0 0 0 39 0 0 0 15 0 19 0 541309791 7845044224 82318 33554432000 1073741824 1073778376 140735881408160 18446744073709551615 216000408473 0 4 0 16800975 18446604453903364416 0 0 -1 6 0 0 0
[pid=16706/tid=16715] ppid=16704 vsize=7661176 CPUtime=0.32 cores=4,6
/proc/16706/task/16715/stat : 16715 (java) S 16704 16706 15396 0 -1 4202560 292 0 0 0 32 0 0 0 15 0 19 0 541309791 7845044224 82318 33554432000 1073741824 1073778376 140735881408160 18446744073709551615 216000408473 0 4 0 16800975 18446604453903364416 0 0 -1 6 0 0 0
[pid=16706/tid=16716] ppid=16704 vsize=7661176 CPUtime=0.53 cores=4,6
/proc/16706/task/16716/stat : 16716 (java) S 16704 16706 15396 0 -1 4202560 5998 0 0 0 53 0 0 0 16 0 19 0 541309791 7845044224 82318 33554432000 1073741824 1073778376 140735881408160 18446744073709551615 216000408473 0 4 0 16800975 18446604453903364416 0 0 -1 6 0 0 0
[pid=16706/tid=16717] ppid=16704 vsize=7661176 CPUtime=23.41 cores=4,6
/proc/16706/task/16717/stat : 16717 (java) S 16704 16706 15396 0 -1 4202560 27023 0 0 0 2337 4 0 0 15 0 19 0 541309792 7845044224 82318 33554432000 1073741824 1073778376 140735881408160 18446744073709551615 216000409088 0 0 0 16800975 18446604453903364416 0 0 -1 4 0 0 0
[pid=16706/tid=16718] ppid=16704 vsize=7661176 CPUtime=0 cores=4,6
/proc/16706/task/16718/stat : 16718 (java) S 16704 16706 15396 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 541309792 7845044224 82318 33554432000 1073741824 1073778376 140735881408160 18446744073709551615 216000408473 0 4 0 16800975 18446604453903364416 0 0 -1 4 0 0 0
[pid=16706/tid=16719] ppid=16704 vsize=7661176 CPUtime=0 cores=4,6
/proc/16706/task/16719/stat : 16719 (java) S 16704 16706 15396 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 541309792 7845044224 82318 33554432000 1073741824 1073778376 140735881408160 18446744073709551615 216000408473 0 4 0 16800975 18446604453903364416 0 0 -1 4 0 0 0
[pid=16706/tid=16720] ppid=16704 vsize=7661176 CPUtime=0 cores=4,6
/proc/16706/task/16720/stat : 16720 (java) S 16704 16706 15396 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 541309794 7845044224 82318 33554432000 1073741824 1073778376 140735881408160 18446744073709551615 216000416177 0 4 0 16800975 18446604453903364416 0 0 -1 6 0 0 0
[pid=16706/tid=16721] ppid=16704 vsize=7661176 CPUtime=0.41 cores=4,6
/proc/16706/task/16721/stat : 16721 (java) S 16704 16706 15396 0 -1 4202560 7679 0 0 0 40 1 0 0 16 0 19 0 541309794 7845044224 82318 33554432000 1073741824 1073778376 140735881408160 18446744073709551615 216000408473 0 4 0 16800975 18446604453903364416 0 0 -1 6 0 0 0
[pid=16706/tid=16722] ppid=16704 vsize=7661176 CPUtime=0.34 cores=4,6
/proc/16706/task/16722/stat : 16722 (java) S 16704 16706 15396 0 -1 4202560 3243 0 0 0 34 0 0 0 15 0 19 0 541309794 7845044224 82318 33554432000 1073741824 1073778376 140735881408160 18446744073709551615 216000408473 0 4 0 16800975 18446604453903364416 0 0 -1 4 0 0 0
[pid=16706/tid=16723] ppid=16704 vsize=7661176 CPUtime=0 cores=4,6
/proc/16706/task/16723/stat : 16723 (java) S 16704 16706 15396 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 541309794 7845044224 82318 33554432000 1073741824 1073778376 140735881408160 18446744073709551615 216000408473 0 4 0 16800975 18446604453903364416 0 0 -1 6 0 0 0
[pid=16706/tid=16724] ppid=16704 vsize=7661176 CPUtime=0 cores=4,6
/proc/16706/task/16724/stat : 16724 (java) S 16704 16706 15396 0 -1 4202560 77 0 0 0 0 0 0 0 15 0 19 0 541309794 7845044224 82318 33554432000 1073741824 1073778376 140735881408160 18446744073709551615 216000409088 0 4 0 16800975 18446604453903364416 0 0 -1 6 0 0 0
[pid=16706/tid=16725] ppid=16704 vsize=7661176 CPUtime=0 cores=4,6
/proc/16706/task/16725/stat : 16725 (java) S 16704 16706 15396 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 541309847 7845044224 82318 33554432000 1073741824 1073778376 140735881408160 18446744073709551615 216000409088 0 4 0 16800975 18446604453903364416 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1302.29
Current children cumulated vsize (KiB) 7661176

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.06
CPU time (s): 1302.38
CPU user time (s): 1302.19
CPU system time (s): 0.188971
CPU usage (%): 100.178
Max. virtual memory (cumulated for all children) (KiB): 7661176

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1302.19
system time used= 0.188971
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 86956
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= 30994
involuntary context switches= 6207

runsolver used 2.05469 second user time and 5.06523 second system time

The end

Launcher Data 

Begin job on node117 at 2011-04-23 00:19:50
IDJOB=3249322
IDBENCH=83165
IDSOLVER=1611
FILE ID=node117/3249322-1303510790
RUNJOBID= node117-1303510787-16427
PBS_JOBID= 13134220
Free space on /tmp= 71916 MiB

SOLVER NAME= SAT4J core 2.3.0 SNAPSHOT 2011-02-06
BENCH NAME= SAT11/crafted/mosoi/289/289-unsat-21x33.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-3249322-1303510790/watcher-3249322-1303510790 -o /tmp/evaluation-result-3249322-1303510790/solver-3249322-1303510790 -C 2400 -W 1300 -M 7680  java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3249322-1303510790.cnf

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

MD5SUM BENCH= f7c29bbc3bef00d1e7cc799553ba4813
RANDOM SEED=1831830672

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

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

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


/proc/meminfo:
MemTotal:     32950940 kB
MemFree:      15017696 kB
Buffers:       1848488 kB
Cached:       15213548 kB
SwapCached:          0 kB
Active:        9338472 kB
Inactive:      8044140 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950940 kB
LowFree:      15017696 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           16584 kB
Writeback:           0 kB
AnonPages:      319884 kB
Mapped:          23288 kB
Slab:           484880 kB
PageTables:       5656 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586996 kB
Committed_AS: 22078912 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= 71920 MiB
End job on node117 at 2011-04-23 00:41:32