Trace number 3249498

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.36 1300.08

General information on the benchmark

Namecrafted/mosoi/289/
289-unsat-17x30.cnf
MD5SUM3a506c7557d86d0d326e3b3cdee85b69
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 variables2040
Number of clauses240210
Sum of the clauses size954720
Maximum clause length4
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 23060
Number of clauses of size 30
Number of clauses of size 4237150
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.06	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.00/0.09	c --- Begin Solver configuration ---
0.00/0.09	c org.sat4j.minisat.constraints.MixedDataStructureDanielWL@2fe4cbc4
0.00/0.09	c Learn all clauses as in MiniSAT
0.00/0.09	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.1 initConflictBound=100 
0.00/0.09	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT
0.00/0.09	c Expensive reason simplification
0.00/0.09	c Armin Biere (Picosat) restarts strategy
0.00/0.09	c Glucose learned constraints deletion strategy
0.00/0.09	c timeout=2147483647s
0.00/0.09	c DB Simplification allowed=true
0.00/0.09	c --- End Solver configuration ---
0.00/0.09	c solving HOME/instance-3249498-1303512040.cnf
0.00/0.09	c reading problem ... 
0.40/0.38	c ... done. Wall clock time 0.286s.
0.40/0.38	c #vars     2040
0.40/0.38	c #constraints  240210
0.40/0.38	c constraints type 
0.40/0.38	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 237150
0.40/0.38	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 3060
1.51/1.15	c cleaning 2494 clauses out of 5000 with flag 5000/5000
2.69/2.03	c cleaning 4250 clauses out of 8506 with flag 11000/11000
3.48/2.87	c cleaning 5619 clauses out of 11256 with flag 18000/18000
4.38/3.74	c cleaning 6811 clauses out of 13638 with flag 26001/26001
5.39/4.73	c cleaning 7908 clauses out of 15826 with flag 35000/35000
6.39/5.77	c cleaning 8950 clauses out of 17918 with flag 45000/45000
7.40/6.73	c cleaning 9983 clauses out of 19969 with flag 56001/56001
8.60/7.90	c cleaning 10977 clauses out of 21985 with flag 68000/68000
9.70/9.02	c cleaning 11993 clauses out of 24008 with flag 81000/81000
10.90/10.23	c cleaning 13006 clauses out of 26017 with flag 95002/95002
12.20/11.54	c cleaning 13997 clauses out of 28009 with flag 110000/110000
13.50/12.89	c cleaning 14997 clauses out of 30012 with flag 126000/126000
14.91/14.27	c cleaning 15989 clauses out of 32015 with flag 143000/143000
16.31/15.67	c cleaning 16989 clauses out of 34026 with flag 161000/161000
17.81/17.16	c cleaning 18002 clauses out of 36039 with flag 180002/180002
19.41/18.75	c cleaning 18996 clauses out of 38036 with flag 200001/200001
21.11/20.48	c cleaning 19999 clauses out of 40039 with flag 221000/221000
23.02/22.31	c cleaning 21014 clauses out of 42040 with flag 243000/243000
24.72/24.03	c cleaning 21999 clauses out of 44027 with flag 266001/266001
26.42/25.71	c cleaning 22986 clauses out of 46027 with flag 290000/290000
28.32/27.65	c cleaning 23995 clauses out of 48041 with flag 315000/315000
30.43/29.71	c cleaning 25008 clauses out of 50046 with flag 341000/341000
32.43/31.79	c cleaning 26009 clauses out of 52039 with flag 368001/368001
34.53/33.89	c cleaning 27002 clauses out of 54029 with flag 396000/396000
36.84/36.19	c cleaning 28009 clauses out of 56028 with flag 425001/425001
39.25/38.60	c cleaning 28999 clauses out of 58019 with flag 455001/455001
41.24/40.55	c cleaning 29977 clauses out of 60019 with flag 486000/486000
43.75/43.05	c cleaning 30997 clauses out of 62044 with flag 518002/518002
46.25/45.51	c cleaning 32023 clauses out of 64045 with flag 551000/551000
48.65/47.96	c cleaning 32981 clauses out of 66024 with flag 585002/585002
51.56/50.81	c cleaning 34005 clauses out of 68041 with flag 620000/620000
54.16/53.41	c cleaning 34995 clauses out of 70036 with flag 656000/656000
57.26/56.50	c cleaning 36017 clauses out of 72041 with flag 693000/693000
59.87/59.12	c cleaning 36989 clauses out of 74026 with flag 731002/731002
62.77/62.10	c cleaning 37997 clauses out of 76035 with flag 770000/770000
65.68/64.90	c cleaning 39010 clauses out of 78039 with flag 810001/810001
69.08/68.33	c cleaning 39988 clauses out of 80028 with flag 851000/851000
72.19/71.46	c cleaning 41010 clauses out of 82040 with flag 893000/893000
75.69/74.90	c cleaning 41985 clauses out of 84032 with flag 936002/936002
78.59/77.83	c cleaning 42990 clauses out of 86046 with flag 980001/980001
82.40/81.67	c cleaning 44008 clauses out of 88056 with flag 1025001/1025001
85.70/84.99	c cleaning 44991 clauses out of 90047 with flag 1071000/1071000
89.81/89.05	c cleaning 46023 clauses out of 92057 with flag 1118001/1118001
93.31/92.55	c cleaning 46998 clauses out of 94034 with flag 1166001/1166001
97.01/96.27	c cleaning 47983 clauses out of 96035 with flag 1215000/1215000
101.22/100.42	c cleaning 49003 clauses out of 98052 with flag 1265000/1265000
104.83/104.05	c cleaning 49974 clauses out of 100049 with flag 1316000/1316000
109.84/109.04	c cleaning 51025 clauses out of 102075 with flag 1368000/1368000
113.45/112.60	c cleaning 52012 clauses out of 104051 with flag 1421001/1421001
117.65/116.82	c cleaning 52997 clauses out of 106038 with flag 1475000/1475000
122.36/121.53	c cleaning 54010 clauses out of 108045 with flag 1530004/1530004
126.06/125.28	c cleaning 54994 clauses out of 110035 with flag 1586004/1586004
131.27/130.49	c cleaning 56008 clauses out of 112038 with flag 1643001/1643001
135.89/135.07	c cleaning 57010 clauses out of 114030 with flag 1701001/1701001
140.39/139.52	c cleaning 57975 clauses out of 116020 with flag 1760001/1760001
144.90/144.02	c cleaning 58981 clauses out of 118044 with flag 1820000/1820000
149.31/148.46	c cleaning 60008 clauses out of 120063 with flag 1881000/1881000
154.31/153.46	c cleaning 60992 clauses out of 122055 with flag 1943000/1943000
159.92/159.02	c cleaning 61980 clauses out of 124063 with flag 2006000/2006000
164.63/163.74	c cleaning 63017 clauses out of 126083 with flag 2070000/2070000
169.93/169.09	c cleaning 64008 clauses out of 128066 with flag 2135000/2135000
176.04/175.11	c cleaning 64976 clauses out of 130059 with flag 2201001/2201001
181.95/181.03	c cleaning 66027 clauses out of 132082 with flag 2268000/2268000
187.15/186.28	c cleaning 66994 clauses out of 134056 with flag 2336001/2336001
193.76/192.81	c cleaning 67976 clauses out of 136062 with flag 2405001/2405001
201.18/200.29	c cleaning 69014 clauses out of 138085 with flag 2475000/2475000
206.58/205.61	c cleaning 70029 clauses out of 140073 with flag 2546002/2546002
212.68/211.75	c cleaning 70965 clauses out of 142042 with flag 2618000/2618000
219.80/218.81	c cleaning 71998 clauses out of 144077 with flag 2691000/2691000
225.31/224.40	c cleaning 73016 clauses out of 146079 with flag 2765000/2765000
231.11/230.15	c cleaning 73999 clauses out of 148063 with flag 2840000/2840000
238.12/237.14	c cleaning 75001 clauses out of 150064 with flag 2916000/2916000
245.93/244.99	c cleaning 76005 clauses out of 152065 with flag 2993002/2993002
251.75/250.76	c cleaning 77016 clauses out of 154058 with flag 3071000/3071000
258.65/257.67	c cleaning 78003 clauses out of 156043 with flag 3150001/3150001
266.07/265.02	c cleaning 78972 clauses out of 158039 with flag 3230000/3230000
274.37/273.39	c cleaning 80025 clauses out of 160067 with flag 3311000/3311000
280.49/279.48	c cleaning 81015 clauses out of 162046 with flag 3393004/3393004
287.89/286.89	c cleaning 81982 clauses out of 164027 with flag 3476000/3476000
296.10/295.05	c cleaning 83000 clauses out of 166047 with flag 3560002/3560002
305.22/304.16	c cleaning 84007 clauses out of 168046 with flag 3645001/3645001
311.83/310.73	c cleaning 85015 clauses out of 170038 with flag 3731000/3731000
320.54/319.47	c cleaning 85995 clauses out of 172023 with flag 3818000/3818000
329.35/328.25	c cleaning 86988 clauses out of 174029 with flag 3906001/3906001
340.06/338.99	c cleaning 88006 clauses out of 176040 with flag 3995000/3995000
347.17/346.01	c cleaning 88973 clauses out of 178037 with flag 4085003/4085003
356.28/355.14	c cleaning 89987 clauses out of 180061 with flag 4176000/4176000
367.50/366.36	c cleaning 91018 clauses out of 182075 with flag 4268001/4268001
379.41/378.24	c cleaning 91994 clauses out of 184056 with flag 4361000/4361000
388.93/387.75	c cleaning 93027 clauses out of 186067 with flag 4455005/4455005
397.84/396.65	c cleaning 93992 clauses out of 188035 with flag 4550000/4550000
407.45/406.22	c cleaning 94984 clauses out of 190043 with flag 4646000/4646000
420.06/418.86	c cleaning 96012 clauses out of 192060 with flag 4743001/4743001
433.27/432.05	c cleaning 97002 clauses out of 194047 with flag 4841000/4841000
441.38/440.17	c cleaning 98009 clauses out of 196045 with flag 4940000/4940000
451.20/449.94	c cleaning 98992 clauses out of 198036 with flag 5040000/5040000
463.23/461.96	c cleaning 99990 clauses out of 200044 with flag 5141000/5141000
475.14/473.86	c cleaning 100983 clauses out of 202056 with flag 5243002/5243002
487.46/486.17	c cleaning 102014 clauses out of 204071 with flag 5346000/5346000
496.07/494.71	c cleaning 103015 clauses out of 206057 with flag 5450000/5450000
507.29/505.98	c cleaning 103997 clauses out of 208042 with flag 5555000/5555000
520.09/518.75	c cleaning 104997 clauses out of 210045 with flag 5661000/5661000
534.81/533.50	c cleaning 106002 clauses out of 212048 with flag 5768000/5768000
551.23/549.80	c cleaning 107018 clauses out of 214047 with flag 5876001/5876001
560.16/558.73	c cleaning 107958 clauses out of 216029 with flag 5985001/5985001
570.86/569.47	c cleaning 109011 clauses out of 218071 with flag 6095001/6095001
583.87/582.46	c cleaning 110011 clauses out of 220059 with flag 6206000/6206000
597.79/596.34	c cleaning 110970 clauses out of 222048 with flag 6318000/6318000
611.91/610.43	c cleaning 112010 clauses out of 224080 with flag 6431002/6431002
623.22/621.77	c cleaning 112992 clauses out of 226068 with flag 6545000/6545000
633.94/632.48	c cleaning 114014 clauses out of 228076 with flag 6660000/6660000
646.54/645.09	c cleaning 115002 clauses out of 230062 with flag 6776000/6776000
659.16/657.62	c cleaning 116002 clauses out of 232060 with flag 6893000/6893000
677.27/675.79	c cleaning 116961 clauses out of 234058 with flag 7011000/7011000
692.79/691.28	c cleaning 118027 clauses out of 236102 with flag 7130005/7130005
702.32/700.80	c cleaning 119023 clauses out of 238071 with flag 7250001/7250001
715.62/714.00	c cleaning 119994 clauses out of 240047 with flag 7371000/7371000
729.14/727.54	c cleaning 121001 clauses out of 242055 with flag 7493002/7493002
744.25/742.64	c cleaning 121983 clauses out of 244053 with flag 7616001/7616001
763.47/761.83	c cleaning 122966 clauses out of 246069 with flag 7740000/7740000
780.80/779.16	c cleaning 124020 clauses out of 248103 with flag 7865000/7865000
791.71/790.09	c cleaning 125016 clauses out of 250083 with flag 7991000/7991000
806.72/805.02	c cleaning 125989 clauses out of 252068 with flag 8118001/8118001
823.34/821.61	c cleaning 126997 clauses out of 254079 with flag 8246001/8246001
841.96/840.26	c cleaning 127998 clauses out of 256081 with flag 8375000/8375000
861.99/860.22	c cleaning 128968 clauses out of 258083 with flag 8505000/8505000
879.71/877.97	c cleaning 130023 clauses out of 260117 with flag 8636002/8636002
891.13/889.36	c cleaning 131009 clauses out of 262093 with flag 8768001/8768001
905.34/903.57	c cleaning 132001 clauses out of 264083 with flag 8901000/8901000
923.95/922.13	c cleaning 132988 clauses out of 266086 with flag 9035004/9035004
944.07/942.25	c cleaning 133991 clauses out of 268094 with flag 9170000/9170000
966.09/964.20	c cleaning 135018 clauses out of 270103 with flag 9306000/9306000
989.72/987.89	c cleaning 136030 clauses out of 272085 with flag 9443000/9443000
1005.44/1003.52	c cleaning 136986 clauses out of 274055 with flag 9581000/9581000
1018.05/1016.19	c cleaning 137977 clauses out of 276069 with flag 9720000/9720000
1035.77/1033.87	c cleaning 139001 clauses out of 278094 with flag 9860002/9860002
1051.89/1049.93	c cleaning 140003 clauses out of 280091 with flag 10001000/10001000
1071.11/1069.18	c cleaning 141012 clauses out of 282091 with flag 10143003/10143003
1090.13/1088.16	c cleaning 142017 clauses out of 284077 with flag 10286001/10286001
1120.35/1118.31	c cleaning 142980 clauses out of 286060 with flag 10430001/10430001
1133.89/1131.80	c cleaning 144006 clauses out of 288080 with flag 10575001/10575001
1148.89/1146.83	c cleaning 145019 clauses out of 290073 with flag 10721000/10721000
1169.31/1167.26	c cleaning 146002 clauses out of 292055 with flag 10868001/10868001
1191.13/1189.09	c cleaning 147000 clauses out of 294055 with flag 11016003/11016003
1217.15/1215.07	c cleaning 148010 clauses out of 296054 with flag 11165002/11165002
1244.08/1241.97	c cleaning 148970 clauses out of 298042 with flag 11315000/11315000
1270.31/1268.19	c cleaning 150012 clauses out of 300072 with flag 11466000/11466000
1284.93/1282.78	c cleaning 150991 clauses out of 302060 with flag 11618000/11618000
1301.74/1299.57	c cleaning 152011 clauses out of 304070 with flag 11771001/11771001
1302.26/1300.01	c starts		: 2761
1302.26/1300.01	c conflicts		: 11775087
1302.26/1300.01	c decisions		: 18348242
1302.26/1300.01	c propagations		: 472344439
1302.26/1300.01	c inspects		: 12556278422
1302.26/1300.01	c shortcuts		: 0
1302.26/1300.01	c learnt literals	: 0
1302.26/1300.01	c learnt binary clauses	: 0
1302.26/1300.01	c learnt ternary clauses	: 0
1302.26/1300.01	c learnt constraints	: 11775087
1302.26/1300.01	c ignored constraints	: 0
1302.26/1300.01	c root simplifications	: 2761
1302.26/1300.01	c removed literals (reason simplification)	: 55541254
1302.26/1300.01	c reason swapping (by a shorter reason)	: 0
1302.26/1300.01	c Calls to reduceDB	: 149
1302.26/1300.01	c speed (assignments/second)	: 363444.75897792605
1302.26/1300.01	c non guided choices	156642
1302.26/1300.06	c learnt constraints type 
1302.26/1300.07	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 156412
1302.26/1300.07	c constraints type 
1302.26/1300.07	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 237150
1302.26/1300.07	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 3060
1302.26/1300.07	s UNKNOWN
1302.26/1300.07	c Total wall clock time (in seconds) : 1299.919

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-3249498-1303512040/watcher-3249498-1303512040 -o /tmp/evaluation-result-3249498-1303512040/solver-3249498-1303512040 -C 2400 -W 1300 -M 7680 java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3249498-1303512040.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.89 1.91 2.95 4/242 29181
/proc/meminfo: memFree=16408816/32951124 swapFree=67111528/67111528
[pid=29181] ppid=29179 vsize=35788 CPUtime=0 cores=4,6
/proc/29181/stat : 29181 (java) S 29179 29181 27954 0 -1 4202496 1325 0 0 0 0 0 0 0 25 0 2 0 462801742 36646912 1025 33554432000 1073741824 1073778376 140736288023456 18446744073709551615 212699477989 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/29181/statm: 8947 1025 790 9 0 386 0
[pid=29181/tid=29182] ppid=29179 vsize=35788 CPUtime=0 cores=4,6
/proc/29181/task/29182/stat : 29182 (java) S 29179 29181 27954 0 -1 4202560 210 0 0 0 0 0 0 0 25 0 2 0 462801742 36646912 1025 33554432000 1073741824 1073778376 140736288023456 18446744073709551615 212687695430 0 0 0 16784584 4464574940338716671 0 0 -1 4 0 0 0

[startup+0.0133379 s]
/proc/loadavg: 0.89 1.91 2.95 4/242 29181
/proc/meminfo: memFree=16408816/32951124 swapFree=67111528/67111528
[pid=29181] ppid=29179 vsize=7540840 CPUtime=0 cores=4,6
/proc/29181/stat : 29181 (java) S 29179 29181 27954 0 -1 4202496 5388 0 1 0 0 0 0 0 25 0 2 0 462801742 7721820160 5088 33554432000 1073741824 1073778376 140736288023456 18446744073709551615 212699477989 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/29181/statm: 1885210 5110 919 9 0 1876366 0
[pid=29181/tid=29182] ppid=29179 vsize=7540840 CPUtime=0 cores=4,6
/proc/29181/task/29182/stat : 29182 (java) R 29179 29181 27954 0 -1 4202560 4306 0 1 0 0 0 0 0 25 0 2 0 462801742 7721820160 5121 33554432000 1073741824 1073778376 140736288023456 18446744073709551615 212687369275 0 4 0 16784584 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 7540840

[startup+0.10433 s]
/proc/loadavg: 0.89 1.91 2.95 4/242 29181
/proc/meminfo: memFree=16408816/32951124 swapFree=67111528/67111528
[pid=29181] ppid=29179 vsize=7636468 CPUtime=0.1 cores=4,6
/proc/29181/stat : 29181 (java) S 29179 29181 27954 0 -1 4202496 10829 0 1 0 9 1 0 0 25 0 18 0 462801742 7819743232 10490 33554432000 1073741824 1073778376 140736288023456 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/29181/statm: 1909117 10490 2093 9 0 1899855 0
[pid=29181/tid=29182] ppid=29179 vsize=7636468 CPUtime=0.08 cores=4,6
/proc/29181/task/29182/stat : 29182 (java) R 29179 29181 27954 0 -1 4202560 8870 0 1 0 8 0 0 0 25 0 18 0 462801742 7819743232 10490 33554432000 1073741824 1073778376 140736288023456 18446744073709551615 46912505170474 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 7636468

[startup+0.300232 s]
/proc/loadavg: 0.89 1.91 2.95 4/242 29181
/proc/meminfo: memFree=16408816/32951124 swapFree=67111528/67111528
[pid=29181] ppid=29179 vsize=7637128 CPUtime=0.4 cores=4,6
/proc/29181/stat : 29181 (java) S 29179 29181 27954 0 -1 4202496 14541 0 1 0 38 2 0 0 25 0 18 0 462801742 7820419072 14038 33554432000 1073741824 1073778376 140736288023456 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/29181/statm: 1909282 14038 2197 9 0 1900020 0
[pid=29181/tid=29182] ppid=29179 vsize=7637128 CPUtime=0.28 cores=4,6
/proc/29181/task/29182/stat : 29182 (java) R 29179 29181 27954 0 -1 4202560 12088 0 1 0 27 1 0 0 25 0 18 0 462801742 7820419072 14038 33554432000 1073741824 1073778376 140736288023456 18446744073709551615 46912505494715 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 7637128

[startup+0.701162 s]
/proc/loadavg: 0.89 1.91 2.95 4/242 29181
/proc/meminfo: memFree=16408816/32951124 swapFree=67111528/67111528
[pid=29181] ppid=29179 vsize=7640484 CPUtime=1.06 cores=4,6
/proc/29181/stat : 29181 (java) S 29179 29181 27954 0 -1 4202496 19186 0 1 0 104 2 0 0 25 0 19 0 462801742 7823855616 17915 33554432000 1073741824 1073778376 140736288023456 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/29181/statm: 1910121 17915 2223 9 0 1900859 0
[pid=29181/tid=29182] ppid=29179 vsize=7640484 CPUtime=0.67 cores=4,6
/proc/29181/task/29182/stat : 29182 (java) R 29179 29181 27954 0 -1 4202560 14944 0 1 0 66 1 0 0 25 0 19 0 462801742 7823855616 17915 33554432000 1073741824 1073778376 140736288023456 18446744073709551615 46912505186047 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.06
Current children cumulated vsize (KiB) 7640484

[startup+1.50101 s]
/proc/loadavg: 0.89 1.91 2.95 5/262 29201
/proc/meminfo: memFree=16284628/32951124 swapFree=67111528/67111528
[pid=29181] ppid=29179 vsize=7640816 CPUtime=2.17 cores=4,6
/proc/29181/stat : 29181 (java) S 29179 29181 27954 0 -1 4202496 37433 0 1 0 212 5 0 0 25 0 19 0 462801742 7824195584 33849 33554432000 1073741824 1073778376 140736288023456 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/29181/statm: 1910204 33849 2252 9 0 1900942 0
[pid=29181/tid=29182] ppid=29179 vsize=7640816 CPUtime=1.33 cores=4,6
/proc/29181/task/29182/stat : 29182 (java) R 29179 29181 27954 0 -1 4202560 15234 0 1 0 132 1 0 0 25 0 19 0 462801742 7824195584 33849 33554432000 1073741824 1073778376 140736288023456 18446744073709551615 46912505692782 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=29181/tid=29184] ppid=29179 vsize=7640816 CPUtime=0.02 cores=4,6
/proc/29181/task/29184/stat : 29184 (java) S 29179 29181 27954 0 -1 4202560 2107 0 0 0 2 0 0 0 17 0 19 0 462801743 7824195584 33849 33554432000 1073741824 1073778376 140736288023456 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 4 0 0 0
[pid=29181/tid=29185] ppid=29179 vsize=7640816 CPUtime=0 cores=4,6
/proc/29181/task/29185/stat : 29185 (java) S 29179 29181 27954 0 -1 4202560 20 0 0 0 0 0 0 0 17 0 19 0 462801743 7824195584 33849 33554432000 1073741824 1073778376 140736288023456 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 4 0 0 0
[pid=29181/tid=29186] ppid=29179 vsize=7640816 CPUtime=0 cores=4,6
/proc/29181/task/29186/stat : 29186 (java) S 29179 29181 27954 0 -1 4202560 21 0 0 0 0 0 0 0 17 0 19 0 462801743 7824195584 33849 33554432000 1073741824 1073778376 140736288023456 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 4 0 0 0
[pid=29181/tid=29187] ppid=29179 vsize=7640816 CPUtime=0 cores=4,6
/proc/29181/task/29187/stat : 29187 (java) S 29179 29181 27954 0 -1 4202560 21 0 0 0 0 0 0 0 17 0 19 0 462801743 7824195584 33849 33554432000 1073741824 1073778376 140736288023456 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 4 0 0 0
[pid=29181/tid=29188] ppid=29179 vsize=7640816 CPUtime=0 cores=4,6
/proc/29181/task/29188/stat : 29188 (java) S 29179 29181 27954 0 -1 4202560 196 0 0 0 0 0 0 0 18 0 19 0 462801743 7824195584 33849 33554432000 1073741824 1073778376 140736288023456 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 4 0 0 0
[pid=29181/tid=29189] ppid=29179 vsize=7640816 CPUtime=0 cores=4,6
/proc/29181/task/29189/stat : 29189 (java) S 29179 29181 27954 0 -1 4202560 246 0 0 0 0 0 0 0 17 0 19 0 462801744 7824195584 33849 33554432000 1073741824 1073778376 140736288023456 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 4 0 0 0
[pid=29181/tid=29190] ppid=29179 vsize=7640816 CPUtime=0.02 cores=4,6
/proc/29181/task/29190/stat : 29190 (java) S 29179 29181 27954 0 -1 4202560 1750 0 0 0 2 0 0 0 17 0 19 0 462801744 7824195584 33849 33554432000 1073741824 1073778376 140736288023456 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 4 0 0 0
[pid=29181/tid=29191] ppid=29179 vsize=7640816 CPUtime=0 cores=4,6
/proc/29181/task/29191/stat : 29191 (java) S 29179 29181 27954 0 -1 4202560 1002 0 0 0 0 0 0 0 17 0 19 0 462801744 7824195584 33849 33554432000 1073741824 1073778376 140736288023456 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 4 0 0 0
[pid=29181/tid=29192] ppid=29179 vsize=7640816 CPUtime=0.08 cores=4,6
/proc/29181/task/29192/stat : 29192 (java) S 29179 29181 27954 0 -1 4202560 5304 0 0 0 8 0 0 0 16 0 19 0 462801745 7824195584 33849 33554432000 1073741824 1073778376 140736288023456 18446744073709551615 212699491840 0 0 0 16800975 18446604453952183104 0 0 -1 6 0 0 0
[pid=29181/tid=29193] ppid=29179 vsize=7640816 CPUtime=0 cores=4,6
/proc/29181/task/29193/stat : 29193 (java) S 29179 29181 27954 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 462801745 7824195584 33849 33554432000 1073741824 1073778376 140736288023456 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 4 0 0 0
[pid=29181/tid=29194] ppid=29179 vsize=7640816 CPUtime=0 cores=4,6
/proc/29181/task/29194/stat : 29194 (java) S 29179 29181 27954 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 462801745 7824195584 33849 33554432000 1073741824 1073778376 140736288023456 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 4 0 0 0
[pid=29181/tid=29195] ppid=29179 vsize=7640816 CPUtime=0 cores=4,6
/proc/29181/task/29195/stat : 29195 (java) S 29179 29181 27954 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 462801747 7824195584 33849 33554432000 1073741824 1073778376 140736288023456 18446744073709551615 212699498929 0 4 0 16800975 18446604453952183104 0 0 -1 4 0 0 0
[pid=29181/tid=29196] ppid=29179 vsize=7640816 CPUtime=0.36 cores=4,6
/proc/29181/task/29196/stat : 29196 (java) S 29179 29181 27954 0 -1 4202560 2070 0 0 0 36 0 0 0 15 0 19 0 462801747 7824195584 33849 33554432000 1073741824 1073778376 140736288023456 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 6 0 0 0
[pid=29181/tid=29197] ppid=29179 vsize=7640816 CPUtime=0.3 cores=4,6
/proc/29181/task/29197/stat : 29197 (java) S 29179 29181 27954 0 -1 4202560 8309 0 0 0 29 1 0 0 15 0 19 0 462801747 7824195584 33849 33554432000 1073741824 1073778376 140736288023456 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 4 0 0 0
[pid=29181/tid=29198] ppid=29179 vsize=7640816 CPUtime=0 cores=4,6
/proc/29181/task/29198/stat : 29198 (java) S 29179 29181 27954 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 462801747 7824195584 33849 33554432000 1073741824 1073778376 140736288023456 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 6 0 0 0
[pid=29181/tid=29199] ppid=29179 vsize=7640816 CPUtime=0 cores=4,6
/proc/29181/task/29199/stat : 29199 (java) S 29179 29181 27954 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 462801747 7824195584 33849 33554432000 1073741824 1073778376 140736288023456 18446744073709551615 212699491840 0 4 0 16800975 18446604453952183104 0 0 -1 6 0 0 0
[pid=29181/tid=29201] ppid=29179 vsize=7640816 CPUtime=0 cores=4,6
/proc/29181/task/29201/stat : 29201 (java) S 29179 29181 27954 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 462801781 7824195584 33849 33554432000 1073741824 1073778376 140736288023456 18446744073709551615 212699491840 0 4 0 16800975 18446604453952183104 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.17
Current children cumulated vsize (KiB) 7640816

[startup+3.10078 s]
/proc/loadavg: 0.89 1.91 2.95 5/262 29201
/proc/meminfo: memFree=16091436/32951124 swapFree=67111528/67111528
[pid=29181] ppid=29179 vsize=7640816 CPUtime=3.78 cores=4,6
/proc/29181/stat : 29181 (java) S 29179 29181 27954 0 -1 4202496 37901 0 1 0 373 5 0 0 25 0 19 0 462801742 7824195584 34315 33554432000 1073741824 1073778376 140736288023456 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/29181/statm: 1910204 34315 2254 9 0 1900942 0
[pid=29181/tid=29182] ppid=29179 vsize=7640816 CPUtime=2.8 cores=4,6
/proc/29181/task/29182/stat : 29182 (java) R 29179 29181 27954 0 -1 4202560 15236 0 1 0 279 1 0 0 25 0 19 0 462801742 7824195584 34315 33554432000 1073741824 1073778376 140736288023456 18446744073709551615 46912505614732 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=29181/tid=29184] ppid=29179 vsize=7640816 CPUtime=0.02 cores=4,6
/proc/29181/task/29184/stat : 29184 (java) S 29179 29181 27954 0 -1 4202560 2107 0 0 0 2 0 0 0 15 0 19 0 462801743 7824195584 34315 33554432000 1073741824 1073778376 140736288023456 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 4 0 0 0
[pid=29181/tid=29185] ppid=29179 vsize=7640816 CPUtime=0 cores=4,6
/proc/29181/task/29185/stat : 29185 (java) S 29179 29181 27954 0 -1 4202560 20 0 0 0 0 0 0 0 15 0 19 0 462801743 7824195584 34315 33554432000 1073741824 1073778376 140736288023456 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 4 0 0 0
[pid=29181/tid=29186] ppid=29179 vsize=7640816 CPUtime=0 cores=4,6
/proc/29181/task/29186/stat : 29186 (java) S 29179 29181 27954 0 -1 4202560 21 0 0 0 0 0 0 0 15 0 19 0 462801743 7824195584 34315 33554432000 1073741824 1073778376 140736288023456 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 4 0 0 0
[pid=29181/tid=29187] ppid=29179 vsize=7640816 CPUtime=0 cores=4,6
/proc/29181/task/29187/stat : 29187 (java) S 29179 29181 27954 0 -1 4202560 214 0 0 0 0 0 0 0 15 0 19 0 462801743 7824195584 34315 33554432000 1073741824 1073778376 140736288023456 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 4 0 0 0
[pid=29181/tid=29188] ppid=29179 vsize=7640816 CPUtime=0 cores=4,6
/proc/29181/task/29188/stat : 29188 (java) S 29179 29181 27954 0 -1 4202560 280 0 0 0 0 0 0 0 15 0 19 0 462801743 7824195584 34315 33554432000 1073741824 1073778376 140736288023456 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 4 0 0 0
[pid=29181/tid=29189] ppid=29179 vsize=7640816 CPUtime=0 cores=4,6
/proc/29181/task/29189/stat : 29189 (java) S 29179 29181 27954 0 -1 4202560 246 0 0 0 0 0 0 0 15 0 19 0 462801744 7824195584 34315 33554432000 1073741824 1073778376 140736288023456 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 4 0 0 0
[pid=29181/tid=29190] ppid=29179 vsize=7640816 CPUtime=0.02 cores=4,6
/proc/29181/task/29190/stat : 29190 (java) S 29179 29181 27954 0 -1 4202560 1750 0 0 0 2 0 0 0 15 0 19 0 462801744 7824195584 34315 33554432000 1073741824 1073778376 140736288023456 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 4 0 0 0
[pid=29181/tid=29191] ppid=29179 vsize=7640816 CPUtime=0 cores=4,6
/proc/29181/task/29191/stat : 29191 (java) S 29179 29181 27954 0 -1 4202560 1002 0 0 0 0 0 0 0 15 0 19 0 462801744 7824195584 34315 33554432000 1073741824 1073778376 140736288023456 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 4 0 0 0
[pid=29181/tid=29192] ppid=29179 vsize=7640816 CPUtime=0.18 cores=4,6
/proc/29181/task/29192/stat : 29192 (java) S 29179 29181 27954 0 -1 4202560 5491 0 0 0 18 0 0 0 15 0 19 0 462801745 7824195584 34315 33554432000 1073741824 1073778376 140736288023456 18446744073709551615 212699491840 0 0 0 16800975 18446604453952183104 0 0 -1 4 0 0 0
[pid=29181/tid=29193] ppid=29179 vsize=7640816 CPUtime=0 cores=4,6
/proc/29181/task/29193/stat : 29193 (java) S 29179 29181 27954 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 462801745 7824195584 34315 33554432000 1073741824 1073778376 140736288023456 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 4 0 0 0
[pid=29181/tid=29194] ppid=29179 vsize=7640816 CPUtime=0 cores=4,6
/proc/29181/task/29194/stat : 29194 (java) S 29179 29181 27954 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 462801745 7824195584 34315 33554432000 1073741824 1073778376 140736288023456 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 4 0 0 0
[pid=29181/tid=29195] ppid=29179 vsize=7640816 CPUtime=0 cores=4,6
/proc/29181/task/29195/stat : 29195 (java) S 29179 29181 27954 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 462801747 7824195584 34315 33554432000 1073741824 1073778376 140736288023456 18446744073709551615 212699498929 0 4 0 16800975 18446604453952183104 0 0 -1 4 0 0 0
[pid=29181/tid=29196] ppid=29179 vsize=7640816 CPUtime=0.37 cores=4,6
/proc/29181/task/29196/stat : 29196 (java) S 29179 29181 27954 0 -1 4202560 2070 0 0 0 37 0 0 0 16 0 19 0 462801747 7824195584 34315 33554432000 1073741824 1073778376 140736288023456 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 6 0 0 0
[pid=29181/tid=29197] ppid=29179 vsize=7640816 CPUtime=0.32 cores=4,6
/proc/29181/task/29197/stat : 29197 (java) S 29179 29181 27954 0 -1 4202560 8311 0 0 0 31 1 0 0 15 0 19 0 462801747 7824195584 34315 33554432000 1073741824 1073778376 140736288023456 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 4 0 0 0
[pid=29181/tid=29198] ppid=29179 vsize=7640816 CPUtime=0 cores=4,6
/proc/29181/task/29198/stat : 29198 (java) S 29179 29181 27954 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 462801747 7824195584 34315 33554432000 1073741824 1073778376 140736288023456 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 6 0 0 0
[pid=29181/tid=29199] ppid=29179 vsize=7640816 CPUtime=0 cores=4,6
/proc/29181/task/29199/stat : 29199 (java) S 29179 29181 27954 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 462801747 7824195584 34315 33554432000 1073741824 1073778376 140736288023456 18446744073709551615 212699491840 0 4 0 16800975 18446604453952183104 0 0 -1 4 0 0 0
[pid=29181/tid=29201] ppid=29179 vsize=7640816 CPUtime=0 cores=4,6
/proc/29181/task/29201/stat : 29201 (java) S 29179 29181 27954 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 462801781 7824195584 34315 33554432000 1073741824 1073778376 140736288023456 18446744073709551615 212699491840 0 4 0 16800975 18446604453952183104 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.78
Current children cumulated vsize (KiB) 7640816

[startup+6.3012 s]
/proc/loadavg: 1.14 1.94 2.96 5/262 29201
/proc/meminfo: memFree=16083284/32951124 swapFree=67111528/67111528
[pid=29181] ppid=29179 vsize=7640816 CPUtime=7 cores=4,6
/proc/29181/stat : 29181 (java) S 29179 29181 27954 0 -1 4202496 38769 0 1 0 694 6 0 0 25 0 19 0 462801742 7824195584 34083 33554432000 1073741824 1073778376 140736288023456 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/29181/statm: 1910204 34083 2254 9 0 1900942 0
[pid=29181/tid=29182] ppid=29179 vsize=7640816 CPUtime=5.75 cores=4,6
/proc/29181/task/29182/stat : 29182 (java) R 29179 29181 27954 0 -1 4202560 15240 0 1 0 574 1 0 0 25 0 19 0 462801742 7824195584 34083 33554432000 1073741824 1073778376 140736288023456 18446744073709551615 46912505629906 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=29181/tid=29184] ppid=29179 vsize=7640816 CPUtime=0.02 cores=4,6
/proc/29181/task/29184/stat : 29184 (java) S 29179 29181 27954 0 -1 4202560 2107 0 0 0 2 0 0 0 15 0 19 0 462801743 7824195584 34083 33554432000 1073741824 1073778376 140736288023456 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 6 0 0 0
[pid=29181/tid=29185] ppid=29179 vsize=7640816 CPUtime=0 cores=4,6
/proc/29181/task/29185/stat : 29185 (java) S 29179 29181 27954 0 -1 4202560 22 0 0 0 0 0 0 0 15 0 19 0 462801743 7824195584 34083 33554432000 1073741824 1073778376 140736288023456 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 6 0 0 0
[pid=29181/tid=29186] ppid=29179 vsize=7640816 CPUtime=0 cores=4,6
/proc/29181/task/29186/stat : 29186 (java) S 29179 29181 27954 0 -1 4202560 21 0 0 0 0 0 0 0 15 0 19 0 462801743 7824195584 34083 33554432000 1073741824 1073778376 140736288023456 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 6 0 0 0
[pid=29181/tid=29187] ppid=29179 vsize=7640816 CPUtime=0 cores=4,6
/proc/29181/task/29187/stat : 29187 (java) S 29179 29181 27954 0 -1 4202560 214 0 0 0 0 0 0 0 15 0 19 0 462801743 7824195584 34083 33554432000 1073741824 1073778376 140736288023456 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 6 0 0 0
[pid=29181/tid=29188] ppid=29179 vsize=7640816 CPUtime=0 cores=4,6
/proc/29181/task/29188/stat : 29188 (java) S 29179 29181 27954 0 -1 4202560 320 0 0 0 0 0 0 0 15 0 19 0 462801743 7824195584 34083 33554432000 1073741824 1073778376 140736288023456 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 6 0 0 0
[pid=29181/tid=29189] ppid=29179 vsize=7640816 CPUtime=0 cores=4,6
/proc/29181/task/29189/stat : 29189 (java) S 29179 29181 27954 0 -1 4202560 246 0 0 0 0 0 0 0 15 0 19 0 462801744 7824195584 34083 33554432000 1073741824 1073778376 140736288023456 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 6 0 0 0
[pid=29181/tid=29190] ppid=29179 vsize=7640816 CPUtime=0.02 cores=4,6
/proc/29181/task/29190/stat : 29190 (java) S 29179 29181 27954 0 -1 4202560 1845 0 0 0 2 0 0 0 15 0 19 0 462801744 7824195584 34083 33554432000 1073741824 1073778376 140736288023456 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 6 0 0 0
[pid=29181/tid=29191] ppid=29179 vsize=7640816 CPUtime=0 cores=4,6
/proc/29181/task/29191/stat : 29191 (java) S 29179 29181 27954 0 -1 4202560 1003 0 0 0 0 0 0 0 16 0 19 0 462801744 7824195584 34083 33554432000 1073741824 1073778376 140736288023456 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 6 0 0 0
[pid=29181/tid=29192] ppid=29179 vsize=7640816 CPUtime=0.41 cores=4,6
/proc/29181/task/29192/stat : 29192 (java) S 29179 29181 27954 0 -1 4202560 6217 0 0 0 41 0 0 0 16 0 19 0 462801745 7824195584 34083 33554432000 1073741824 1073778376 140736288023456 18446744073709551615 212699491840 0 0 0 16800975 18446604453952183104 0 0 -1 4 0 0 0
[pid=29181/tid=29193] ppid=29179 vsize=7640816 CPUtime=0 cores=4,6
/proc/29181/task/29193/stat : 29193 (java) S 29179 29181 27954 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 462801745 7824195584 34083 33554432000 1073741824 1073778376 140736288023456 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 4 0 0 0
[pid=29181/tid=29194] ppid=29179 vsize=7640816 CPUtime=0 cores=4,6
/proc/29181/task/29194/stat : 29194 (java) S 29179 29181 27954 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 462801745 7824195584 34083 33554432000 1073741824 1073778376 140736288023456 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 4 0 0 0
[pid=29181/tid=29195] ppid=29179 vsize=7640816 CPUtime=0 cores=4,6
/proc/29181/task/29195/stat : 29195 (java) S 29179 29181 27954 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 462801747 7824195584 34083 33554432000 1073741824 1073778376 140736288023456 18446744073709551615 212699498929 0 4 0 16800975 18446604453952183104 0 0 -1 4 0 0 0
[pid=29181/tid=29196] ppid=29179 vsize=7640816 CPUtime=0.37 cores=4,6
/proc/29181/task/29196/stat : 29196 (java) S 29179 29181 27954 0 -1 4202560 2070 0 0 0 37 0 0 0 16 0 19 0 462801747 7824195584 34083 33554432000 1073741824 1073778376 140736288023456 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 6 0 0 0
[pid=29181/tid=29197] ppid=29179 vsize=7640816 CPUtime=0.33 cores=4,6
/proc/29181/task/29197/stat : 29197 (java) S 29179 29181 27954 0 -1 4202560 8311 0 0 0 32 1 0 0 15 0 19 0 462801747 7824195584 34083 33554432000 1073741824 1073778376 140736288023456 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 4 0 0 0

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

[pid=29181/tid=29189] ppid=29179 vsize=7640816 CPUtime=0.37 cores=4,6
/proc/29181/task/29189/stat : 29189 (java) S 29179 29181 27954 0 -1 4202560 4314 0 0 0 36 1 0 0 15 0 19 0 462801744 7824195584 68999 33554432000 1073741824 1073778376 140736288023456 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 6 0 0 0
[pid=29181/tid=29190] ppid=29179 vsize=7640816 CPUtime=0.44 cores=4,6
/proc/29181/task/29190/stat : 29190 (java) S 29179 29181 27954 0 -1 4202560 3003 0 0 0 44 0 0 0 15 0 19 0 462801744 7824195584 68999 33554432000 1073741824 1073778376 140736288023456 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 6 0 0 0
[pid=29181/tid=29191] ppid=29179 vsize=7640816 CPUtime=0.32 cores=4,6
/proc/29181/task/29191/stat : 29191 (java) S 29179 29181 27954 0 -1 4202560 1998 0 0 0 32 0 0 0 15 0 19 0 462801744 7824195584 68999 33554432000 1073741824 1073778376 140736288023456 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 6 0 0 0
[pid=29181/tid=29192] ppid=29179 vsize=7640816 CPUtime=15.4 cores=4,6
/proc/29181/task/29192/stat : 29192 (java) S 29179 29181 27954 0 -1 4202560 19930 0 0 0 1538 2 0 0 15 0 19 0 462801745 7824195584 68999 33554432000 1073741824 1073778376 140736288023456 18446744073709551615 212699491840 0 0 0 16800975 18446604453952183104 0 0 -1 4 0 0 0
[pid=29181/tid=29193] ppid=29179 vsize=7640816 CPUtime=0 cores=4,6
/proc/29181/task/29193/stat : 29193 (java) S 29179 29181 27954 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 462801745 7824195584 68999 33554432000 1073741824 1073778376 140736288023456 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 4 0 0 0
[pid=29181/tid=29194] ppid=29179 vsize=7640816 CPUtime=0 cores=4,6
/proc/29181/task/29194/stat : 29194 (java) S 29179 29181 27954 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 462801745 7824195584 68999 33554432000 1073741824 1073778376 140736288023456 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 4 0 0 0
[pid=29181/tid=29195] ppid=29179 vsize=7640816 CPUtime=0 cores=4,6
/proc/29181/task/29195/stat : 29195 (java) S 29179 29181 27954 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 462801747 7824195584 68999 33554432000 1073741824 1073778376 140736288023456 18446744073709551615 212699498929 0 4 0 16800975 18446604453952183104 0 0 -1 4 0 0 0
[pid=29181/tid=29196] ppid=29179 vsize=7640816 CPUtime=0.37 cores=4,6
/proc/29181/task/29196/stat : 29196 (java) S 29179 29181 27954 0 -1 4202560 2070 0 0 0 37 0 0 0 16 0 19 0 462801747 7824195584 68999 33554432000 1073741824 1073778376 140736288023456 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 6 0 0 0
[pid=29181/tid=29197] ppid=29179 vsize=7640816 CPUtime=0.37 cores=4,6
/proc/29181/task/29197/stat : 29197 (java) S 29179 29181 27954 0 -1 4202560 8335 0 0 0 36 1 0 0 15 0 19 0 462801747 7824195584 68999 33554432000 1073741824 1073778376 140736288023456 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 4 0 0 0
[pid=29181/tid=29198] ppid=29179 vsize=7640816 CPUtime=0 cores=4,6
/proc/29181/task/29198/stat : 29198 (java) S 29179 29181 27954 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 462801747 7824195584 68999 33554432000 1073741824 1073778376 140736288023456 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 6 0 0 0
[pid=29181/tid=29199] ppid=29179 vsize=7640816 CPUtime=0 cores=4,6
/proc/29181/task/29199/stat : 29199 (java) S 29179 29181 27954 0 -1 4202560 66 0 0 0 0 0 0 0 15 0 19 0 462801747 7824195584 68999 33554432000 1073741824 1073778376 140736288023456 18446744073709551615 212699491840 0 4 0 16800975 18446604453952183104 0 0 -1 6 0 0 0
[pid=29181/tid=29201] ppid=29179 vsize=7640816 CPUtime=0 cores=4,6
/proc/29181/task/29201/stat : 29201 (java) S 29179 29181 27954 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 462801781 7824195584 68999 33554432000 1073741824 1073778376 140736288023456 18446744073709551615 212699491840 0 4 0 16800975 18446604453952183104 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1124.39
Current children cumulated vsize (KiB) 7640816

[startup+1182.3 s]
/proc/loadavg: 4.00 3.99 3.71 5/262 29232
/proc/meminfo: memFree=15659772/32951124 swapFree=67111528/67111528
[pid=29181] ppid=29179 vsize=7640816 CPUtime=1184.43 cores=4,6
/proc/29181/stat : 29181 (java) S 29179 29181 27954 0 -1 4202496 74807 0 1 0 118428 15 0 0 25 0 19 0 462801742 7824195584 69838 33554432000 1073741824 1073778376 140736288023456 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/29181/statm: 1910204 69838 2255 9 0 1900942 0
[pid=29181/tid=29182] ppid=29179 vsize=7640816 CPUtime=1164.83 cores=4,6
/proc/29181/task/29182/stat : 29182 (java) R 29179 29181 27954 0 -1 4202560 24048 0 1 0 116477 6 0 0 25 0 19 0 462801742 7824195584 69838 33554432000 1073741824 1073778376 140736288023456 18446744073709551615 46912505687829 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=29181/tid=29184] ppid=29179 vsize=7640816 CPUtime=0.43 cores=4,6
/proc/29181/task/29184/stat : 29184 (java) S 29179 29181 27954 0 -1 4202560 4713 0 0 0 43 0 0 0 15 0 19 0 462801743 7824195584 69838 33554432000 1073741824 1073778376 140736288023456 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 6 0 0 0
[pid=29181/tid=29185] ppid=29179 vsize=7640816 CPUtime=0.29 cores=4,6
/proc/29181/task/29185/stat : 29185 (java) S 29179 29181 27954 0 -1 4202560 1247 0 0 0 29 0 0 0 15 0 19 0 462801743 7824195584 69838 33554432000 1073741824 1073778376 140736288023456 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 6 0 0 0
[pid=29181/tid=29186] ppid=29179 vsize=7640816 CPUtime=0.38 cores=4,6
/proc/29181/task/29186/stat : 29186 (java) S 29179 29181 27954 0 -1 4202560 1097 0 0 0 38 0 0 0 15 0 19 0 462801743 7824195584 69838 33554432000 1073741824 1073778376 140736288023456 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 6 0 0 0
[pid=29181/tid=29187] ppid=29179 vsize=7640816 CPUtime=0.31 cores=4,6
/proc/29181/task/29187/stat : 29187 (java) S 29179 29181 27954 0 -1 4202560 1628 0 0 0 31 0 0 0 16 0 19 0 462801743 7824195584 69838 33554432000 1073741824 1073778376 140736288023456 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 6 0 0 0
[pid=29181/tid=29188] ppid=29179 vsize=7640816 CPUtime=0.4 cores=4,6
/proc/29181/task/29188/stat : 29188 (java) S 29179 29181 27954 0 -1 4202560 744 0 0 0 40 0 0 0 15 0 19 0 462801743 7824195584 69838 33554432000 1073741824 1073778376 140736288023456 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 6 0 0 0
[pid=29181/tid=29189] ppid=29179 vsize=7640816 CPUtime=0.38 cores=4,6
/proc/29181/task/29189/stat : 29189 (java) S 29179 29181 27954 0 -1 4202560 4314 0 0 0 37 1 0 0 15 0 19 0 462801744 7824195584 69838 33554432000 1073741824 1073778376 140736288023456 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 6 0 0 0
[pid=29181/tid=29190] ppid=29179 vsize=7640816 CPUtime=0.45 cores=4,6
/proc/29181/task/29190/stat : 29190 (java) S 29179 29181 27954 0 -1 4202560 3003 0 0 0 45 0 0 0 15 0 19 0 462801744 7824195584 69838 33554432000 1073741824 1073778376 140736288023456 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 6 0 0 0
[pid=29181/tid=29191] ppid=29179 vsize=7640816 CPUtime=0.32 cores=4,6
/proc/29181/task/29191/stat : 29191 (java) S 29179 29181 27954 0 -1 4202560 1998 0 0 0 32 0 0 0 15 0 19 0 462801744 7824195584 69838 33554432000 1073741824 1073778376 140736288023456 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 6 0 0 0
[pid=29181/tid=29192] ppid=29179 vsize=7640816 CPUtime=15.8 cores=4,6
/proc/29181/task/29192/stat : 29192 (java) S 29179 29181 27954 0 -1 4202560 20390 0 0 0 1578 2 0 0 15 0 19 0 462801745 7824195584 69838 33554432000 1073741824 1073778376 140736288023456 18446744073709551615 212699491840 0 0 0 16800975 18446604453952183104 0 0 -1 4 0 0 0
[pid=29181/tid=29193] ppid=29179 vsize=7640816 CPUtime=0 cores=4,6
/proc/29181/task/29193/stat : 29193 (java) S 29179 29181 27954 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 462801745 7824195584 69838 33554432000 1073741824 1073778376 140736288023456 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 4 0 0 0
[pid=29181/tid=29194] ppid=29179 vsize=7640816 CPUtime=0 cores=4,6
/proc/29181/task/29194/stat : 29194 (java) S 29179 29181 27954 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 462801745 7824195584 69838 33554432000 1073741824 1073778376 140736288023456 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 4 0 0 0
[pid=29181/tid=29195] ppid=29179 vsize=7640816 CPUtime=0 cores=4,6
/proc/29181/task/29195/stat : 29195 (java) S 29179 29181 27954 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 462801747 7824195584 69838 33554432000 1073741824 1073778376 140736288023456 18446744073709551615 212699498929 0 4 0 16800975 18446604453952183104 0 0 -1 4 0 0 0
[pid=29181/tid=29196] ppid=29179 vsize=7640816 CPUtime=0.37 cores=4,6
/proc/29181/task/29196/stat : 29196 (java) S 29179 29181 27954 0 -1 4202560 2070 0 0 0 37 0 0 0 16 0 19 0 462801747 7824195584 69838 33554432000 1073741824 1073778376 140736288023456 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 6 0 0 0
[pid=29181/tid=29197] ppid=29179 vsize=7640816 CPUtime=0.37 cores=4,6
/proc/29181/task/29197/stat : 29197 (java) S 29179 29181 27954 0 -1 4202560 8335 0 0 0 36 1 0 0 15 0 19 0 462801747 7824195584 69838 33554432000 1073741824 1073778376 140736288023456 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 4 0 0 0
[pid=29181/tid=29198] ppid=29179 vsize=7640816 CPUtime=0 cores=4,6
/proc/29181/task/29198/stat : 29198 (java) S 29179 29181 27954 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 462801747 7824195584 69838 33554432000 1073741824 1073778376 140736288023456 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 6 0 0 0
[pid=29181/tid=29199] ppid=29179 vsize=7640816 CPUtime=0 cores=4,6
/proc/29181/task/29199/stat : 29199 (java) S 29179 29181 27954 0 -1 4202560 68 0 0 0 0 0 0 0 15 0 19 0 462801747 7824195584 69838 33554432000 1073741824 1073778376 140736288023456 18446744073709551615 212699491840 0 4 0 16800975 18446604453952183104 0 0 -1 6 0 0 0
[pid=29181/tid=29201] ppid=29179 vsize=7640816 CPUtime=0 cores=4,6
/proc/29181/task/29201/stat : 29201 (java) S 29179 29181 27954 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 462801781 7824195584 69838 33554432000 1073741824 1073778376 140736288023456 18446744073709551615 212699491840 0 4 0 16800975 18446604453952183104 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1184.43
Current children cumulated vsize (KiB) 7640816

[startup+1242.3 s]
/proc/loadavg: 4.00 3.99 3.73 5/262 29243
/proc/meminfo: memFree=15649288/32951124 swapFree=67111528/67111528
[pid=29181] ppid=29179 vsize=7640816 CPUtime=1244.51 cores=4,6
/proc/29181/stat : 29181 (java) S 29179 29181 27954 0 -1 4202496 76738 0 1 0 124436 15 0 0 25 0 19 0 462801742 7824195584 71757 33554432000 1073741824 1073778376 140736288023456 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/29181/statm: 1910204 71757 2255 9 0 1900942 0
[pid=29181/tid=29182] ppid=29179 vsize=7640816 CPUtime=1224.27 cores=4,6
/proc/29181/task/29182/stat : 29182 (java) R 29179 29181 27954 0 -1 4202560 24051 0 1 0 122421 6 0 0 25 0 19 0 462801742 7824195584 71757 33554432000 1073741824 1073778376 140736288023456 18446744073709551615 46912505615090 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=29181/tid=29184] ppid=29179 vsize=7640816 CPUtime=0.46 cores=4,6
/proc/29181/task/29184/stat : 29184 (java) S 29179 29181 27954 0 -1 4202560 4713 0 0 0 46 0 0 0 15 0 19 0 462801743 7824195584 71757 33554432000 1073741824 1073778376 140736288023456 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 6 0 0 0
[pid=29181/tid=29185] ppid=29179 vsize=7640816 CPUtime=0.29 cores=4,6
/proc/29181/task/29185/stat : 29185 (java) S 29179 29181 27954 0 -1 4202560 1247 0 0 0 29 0 0 0 15 0 19 0 462801743 7824195584 71757 33554432000 1073741824 1073778376 140736288023456 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 6 0 0 0
[pid=29181/tid=29186] ppid=29179 vsize=7640816 CPUtime=0.4 cores=4,6
/proc/29181/task/29186/stat : 29186 (java) S 29179 29181 27954 0 -1 4202560 1097 0 0 0 40 0 0 0 15 0 19 0 462801743 7824195584 71757 33554432000 1073741824 1073778376 140736288023456 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 6 0 0 0
[pid=29181/tid=29187] ppid=29179 vsize=7640816 CPUtime=0.34 cores=4,6
/proc/29181/task/29187/stat : 29187 (java) S 29179 29181 27954 0 -1 4202560 1999 0 0 0 34 0 0 0 15 0 19 0 462801743 7824195584 71757 33554432000 1073741824 1073778376 140736288023456 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 6 0 0 0
[pid=29181/tid=29188] ppid=29179 vsize=7640816 CPUtime=0.42 cores=4,6
/proc/29181/task/29188/stat : 29188 (java) S 29179 29181 27954 0 -1 4202560 748 0 0 0 42 0 0 0 16 0 19 0 462801743 7824195584 71757 33554432000 1073741824 1073778376 140736288023456 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 6 0 0 0
[pid=29181/tid=29189] ppid=29179 vsize=7640816 CPUtime=0.38 cores=4,6
/proc/29181/task/29189/stat : 29189 (java) S 29179 29181 27954 0 -1 4202560 4314 0 0 0 37 1 0 0 15 0 19 0 462801744 7824195584 71757 33554432000 1073741824 1073778376 140736288023456 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 6 0 0 0
[pid=29181/tid=29190] ppid=29179 vsize=7640816 CPUtime=0.5 cores=4,6
/proc/29181/task/29190/stat : 29190 (java) S 29179 29181 27954 0 -1 4202560 3448 0 0 0 50 0 0 0 15 0 19 0 462801744 7824195584 71757 33554432000 1073741824 1073778376 140736288023456 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 6 0 0 0
[pid=29181/tid=29191] ppid=29179 vsize=7640816 CPUtime=0.32 cores=4,6
/proc/29181/task/29191/stat : 29191 (java) S 29179 29181 27954 0 -1 4202560 1998 0 0 0 32 0 0 0 15 0 19 0 462801744 7824195584 71757 33554432000 1073741824 1073778376 140736288023456 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 6 0 0 0
[pid=29181/tid=29192] ppid=29179 vsize=7640816 CPUtime=16.27 cores=4,6
/proc/29181/task/29192/stat : 29192 (java) S 29179 29181 27954 0 -1 4202560 21494 0 0 0 1625 2 0 0 16 0 19 0 462801745 7824195584 71757 33554432000 1073741824 1073778376 140736288023456 18446744073709551615 212699491840 0 0 0 16800975 18446604453952183104 0 0 -1 4 0 0 0
[pid=29181/tid=29193] ppid=29179 vsize=7640816 CPUtime=0 cores=4,6
/proc/29181/task/29193/stat : 29193 (java) S 29179 29181 27954 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 462801745 7824195584 71757 33554432000 1073741824 1073778376 140736288023456 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 4 0 0 0
[pid=29181/tid=29194] ppid=29179 vsize=7640816 CPUtime=0 cores=4,6
/proc/29181/task/29194/stat : 29194 (java) S 29179 29181 27954 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 462801745 7824195584 71757 33554432000 1073741824 1073778376 140736288023456 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 4 0 0 0
[pid=29181/tid=29195] ppid=29179 vsize=7640816 CPUtime=0 cores=4,6
/proc/29181/task/29195/stat : 29195 (java) S 29179 29181 27954 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 462801747 7824195584 71757 33554432000 1073741824 1073778376 140736288023456 18446744073709551615 212699498929 0 4 0 16800975 18446604453952183104 0 0 -1 4 0 0 0
[pid=29181/tid=29196] ppid=29179 vsize=7640816 CPUtime=0.37 cores=4,6
/proc/29181/task/29196/stat : 29196 (java) S 29179 29181 27954 0 -1 4202560 2070 0 0 0 37 0 0 0 16 0 19 0 462801747 7824195584 71757 33554432000 1073741824 1073778376 140736288023456 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 6 0 0 0
[pid=29181/tid=29197] ppid=29179 vsize=7640816 CPUtime=0.37 cores=4,6
/proc/29181/task/29197/stat : 29197 (java) S 29179 29181 27954 0 -1 4202560 8335 0 0 0 36 1 0 0 15 0 19 0 462801747 7824195584 71757 33554432000 1073741824 1073778376 140736288023456 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 4 0 0 0
[pid=29181/tid=29198] ppid=29179 vsize=7640816 CPUtime=0 cores=4,6
/proc/29181/task/29198/stat : 29198 (java) S 29179 29181 27954 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 462801747 7824195584 71757 33554432000 1073741824 1073778376 140736288023456 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 6 0 0 0
[pid=29181/tid=29199] ppid=29179 vsize=7640816 CPUtime=0 cores=4,6
/proc/29181/task/29199/stat : 29199 (java) S 29179 29181 27954 0 -1 4202560 72 0 0 0 0 0 0 0 15 0 19 0 462801747 7824195584 71757 33554432000 1073741824 1073778376 140736288023456 18446744073709551615 212699491840 0 4 0 16800975 18446604453952183104 0 0 -1 6 0 0 0
[pid=29181/tid=29201] ppid=29179 vsize=7640816 CPUtime=0 cores=4,6
/proc/29181/task/29201/stat : 29201 (java) S 29179 29181 27954 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 462801781 7824195584 71757 33554432000 1073741824 1073778376 140736288023456 18446744073709551615 212699491840 0 4 0 16800975 18446604453952183104 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1244.51
Current children cumulated vsize (KiB) 7640816



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 4.00 3.99 3.74 2/202 29254
/proc/meminfo: memFree=16333216/32951124 swapFree=67111528/67111528
[pid=29181] ppid=29179 vsize=7640816 CPUtime=1302.26 cores=4,6
/proc/29181/stat : 29181 (java) S 29179 29181 27954 0 -1 4202496 77762 0 1 0 130211 15 0 0 25 0 19 0 462801742 7824195584 72769 33554432000 1073741824 1073778376 140736288023456 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/29181/statm: 1910204 72769 2255 9 0 1900942 0
[pid=29181/tid=29182] ppid=29179 vsize=7640816 CPUtime=1281.47 cores=4,6
/proc/29181/task/29182/stat : 29182 (java) R 29179 29181 27954 0 -1 4202560 24054 0 1 0 128141 6 0 0 25 0 19 0 462801742 7824195584 72769 33554432000 1073741824 1073778376 140736288023456 18446744073709551615 46912505614764 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=29181/tid=29184] ppid=29179 vsize=7640816 CPUtime=0.47 cores=4,6
/proc/29181/task/29184/stat : 29184 (java) S 29179 29181 27954 0 -1 4202560 4713 0 0 0 47 0 0 0 15 0 19 0 462801743 7824195584 72769 33554432000 1073741824 1073778376 140736288023456 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 6 0 0 0
[pid=29181/tid=29185] ppid=29179 vsize=7640816 CPUtime=0.34 cores=4,6
/proc/29181/task/29185/stat : 29185 (java) S 29179 29181 27954 0 -1 4202560 1614 0 0 0 34 0 0 0 15 0 19 0 462801743 7824195584 72769 33554432000 1073741824 1073778376 140736288023456 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 6 0 0 0
[pid=29181/tid=29186] ppid=29179 vsize=7640816 CPUtime=0.4 cores=4,6
/proc/29181/task/29186/stat : 29186 (java) S 29179 29181 27954 0 -1 4202560 1097 0 0 0 40 0 0 0 15 0 19 0 462801743 7824195584 72769 33554432000 1073741824 1073778376 140736288023456 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 6 0 0 0
[pid=29181/tid=29187] ppid=29179 vsize=7640816 CPUtime=0.34 cores=4,6
/proc/29181/task/29187/stat : 29187 (java) S 29179 29181 27954 0 -1 4202560 1999 0 0 0 34 0 0 0 15 0 19 0 462801743 7824195584 72769 33554432000 1073741824 1073778376 140736288023456 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 6 0 0 0
[pid=29181/tid=29188] ppid=29179 vsize=7640816 CPUtime=0.43 cores=4,6
/proc/29181/task/29188/stat : 29188 (java) S 29179 29181 27954 0 -1 4202560 748 0 0 0 43 0 0 0 15 0 19 0 462801743 7824195584 72769 33554432000 1073741824 1073778376 140736288023456 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 6 0 0 0
[pid=29181/tid=29189] ppid=29179 vsize=7640816 CPUtime=0.38 cores=4,6
/proc/29181/task/29189/stat : 29189 (java) S 29179 29181 27954 0 -1 4202560 4314 0 0 0 37 1 0 0 15 0 19 0 462801744 7824195584 72769 33554432000 1073741824 1073778376 140736288023456 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 6 0 0 0
[pid=29181/tid=29190] ppid=29179 vsize=7640816 CPUtime=0.5 cores=4,6
/proc/29181/task/29190/stat : 29190 (java) S 29179 29181 27954 0 -1 4202560 3448 0 0 0 50 0 0 0 15 0 19 0 462801744 7824195584 72769 33554432000 1073741824 1073778376 140736288023456 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 6 0 0 0
[pid=29181/tid=29191] ppid=29179 vsize=7640816 CPUtime=0.36 cores=4,6
/proc/29181/task/29191/stat : 29191 (java) S 29179 29181 27954 0 -1 4202560 2179 0 0 0 36 0 0 0 16 0 19 0 462801744 7824195584 72769 33554432000 1073741824 1073778376 140736288023456 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 6 0 0 0
[pid=29181/tid=29192] ppid=29179 vsize=7640816 CPUtime=16.72 cores=4,6
/proc/29181/task/29192/stat : 29192 (java) S 29179 29181 27954 0 -1 4202560 21963 0 0 0 1669 3 0 0 16 0 19 0 462801745 7824195584 72769 33554432000 1073741824 1073778376 140736288023456 18446744073709551615 212699491840 0 0 0 16800975 18446604453952183104 0 0 -1 4 0 0 0
[pid=29181/tid=29193] ppid=29179 vsize=7640816 CPUtime=0 cores=4,6
/proc/29181/task/29193/stat : 29193 (java) S 29179 29181 27954 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 462801745 7824195584 72769 33554432000 1073741824 1073778376 140736288023456 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 4 0 0 0
[pid=29181/tid=29194] ppid=29179 vsize=7640816 CPUtime=0 cores=4,6
/proc/29181/task/29194/stat : 29194 (java) S 29179 29181 27954 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 462801745 7824195584 72769 33554432000 1073741824 1073778376 140736288023456 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 4 0 0 0
[pid=29181/tid=29195] ppid=29179 vsize=7640816 CPUtime=0 cores=4,6
/proc/29181/task/29195/stat : 29195 (java) S 29179 29181 27954 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 462801747 7824195584 72769 33554432000 1073741824 1073778376 140736288023456 18446744073709551615 212699498929 0 4 0 16800975 18446604453952183104 0 0 -1 4 0 0 0
[pid=29181/tid=29196] ppid=29179 vsize=7640816 CPUtime=0.37 cores=4,6
/proc/29181/task/29196/stat : 29196 (java) S 29179 29181 27954 0 -1 4202560 2070 0 0 0 37 0 0 0 16 0 19 0 462801747 7824195584 72769 33554432000 1073741824 1073778376 140736288023456 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 6 0 0 0
[pid=29181/tid=29197] ppid=29179 vsize=7640816 CPUtime=0.37 cores=4,6
/proc/29181/task/29197/stat : 29197 (java) S 29179 29181 27954 0 -1 4202560 8335 0 0 0 36 1 0 0 15 0 19 0 462801747 7824195584 72769 33554432000 1073741824 1073778376 140736288023456 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 4 0 0 0
[pid=29181/tid=29198] ppid=29179 vsize=7640816 CPUtime=0 cores=4,6
/proc/29181/task/29198/stat : 29198 (java) S 29179 29181 27954 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 462801747 7824195584 72769 33554432000 1073741824 1073778376 140736288023456 18446744073709551615 212699491225 0 4 0 16800975 18446604453952183104 0 0 -1 6 0 0 0
[pid=29181/tid=29199] ppid=29179 vsize=7640816 CPUtime=0 cores=4,6
/proc/29181/task/29199/stat : 29199 (java) S 29179 29181 27954 0 -1 4202560 76 0 0 0 0 0 0 0 15 0 19 0 462801747 7824195584 72769 33554432000 1073741824 1073778376 140736288023456 18446744073709551615 212699491840 0 4 0 16800975 18446604453952183104 0 0 -1 6 0 0 0
[pid=29181/tid=29201] ppid=29179 vsize=7640816 CPUtime=0 cores=4,6
/proc/29181/task/29201/stat : 29201 (java) S 29179 29181 27954 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 462801781 7824195584 72769 33554432000 1073741824 1073778376 140736288023456 18446744073709551615 212699491840 0 4 0 16800975 18446604453952183104 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1302.26
Current children cumulated vsize (KiB) 7640816

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.08
CPU time (s): 1302.36
CPU user time (s): 1302.18
CPU system time (s): 0.173973
CPU usage (%): 100.175
Max. virtual memory (cumulated for all children) (KiB): 7642396

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

runsolver used 2.26066 second user time and 4.87226 second system time

The end

Launcher Data 

Begin job on node139 at 2011-04-23 00:40:40
IDJOB=3249498
IDBENCH=83172
IDSOLVER=1611
FILE ID=node139/3249498-1303512040
RUNJOBID= node139-1303512039-28949
PBS_JOBID= 13134271
Free space on /tmp= 72544 MiB

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

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

MD5SUM BENCH= 3a506c7557d86d0d326e3b3cdee85b69
RANDOM SEED=620383503

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      16409220 kB
Buffers:       1739540 kB
Cached:       14004344 kB
SwapCached:          0 kB
Active:        9545240 kB
Inactive:      6478572 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      16409220 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           25280 kB
Writeback:           0 kB
AnonPages:      279888 kB
Mapped:          22644 kB
Slab:           452704 kB
PageTables:       6296 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 22028980 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= 72560 MiB
End job on node139 at 2011-04-23 01:02:22