Trace number 3249366

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

General information on the benchmark

Namecrafted/mosoi/289/
289-unsat-21x40.cnf
MD5SUM65a5698edfd6f3a12089595d81c196e3
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 variables3360
Number of clauses661080
Sum of the clauses size2634240
Maximum clause length4
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 25040
Number of clauses of size 30
Number of clauses of size 4656040
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.09/0.10	c --- Begin Solver configuration ---
0.09/0.10	c org.sat4j.minisat.constraints.MixedDataStructureDanielWL@64578ceb
0.09/0.10	c Learn all clauses as in MiniSAT
0.09/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.1 initConflictBound=100 
0.09/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT
0.09/0.10	c Expensive reason simplification
0.09/0.10	c Armin Biere (Picosat) restarts strategy
0.09/0.10	c Glucose learned constraints deletion strategy
0.09/0.10	c timeout=2147483647s
0.09/0.10	c DB Simplification allowed=true
0.09/0.10	c --- End Solver configuration ---
0.09/0.10	c solving HOME/instance-3249366-1303512039.cnf
0.09/0.10	c reading problem ... 
0.88/0.81	c ... done. Wall clock time 0.703s.
0.88/0.81	c #vars     3360
0.88/0.81	c #constraints  661080
0.88/0.81	c constraints type 
0.88/0.81	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 656040
0.88/0.81	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 5040
2.35/1.99	c cleaning 2496 clauses out of 5001 with flag 5001/5001
4.11/3.42	c cleaning 4246 clauses out of 8506 with flag 11002/11002
5.41/4.76	c cleaning 5629 clauses out of 11259 with flag 18001/18001
6.73/6.09	c cleaning 6799 clauses out of 13629 with flag 26000/26000
8.35/7.60	c cleaning 7888 clauses out of 15830 with flag 35000/35000
9.75/9.09	c cleaning 8954 clauses out of 17942 with flag 45000/45000
11.25/10.52	c cleaning 9992 clauses out of 19988 with flag 56000/56000
12.86/12.17	c cleaning 10988 clauses out of 21998 with flag 68002/68002
14.46/13.79	c cleaning 11990 clauses out of 24009 with flag 81001/81001
16.16/15.44	c cleaning 13005 clauses out of 26018 with flag 95000/95000
17.96/17.24	c cleaning 13981 clauses out of 28013 with flag 110000/110000
19.76/19.01	c cleaning 15002 clauses out of 30032 with flag 126000/126000
21.57/20.85	c cleaning 16002 clauses out of 32030 with flag 143000/143000
23.47/22.72	c cleaning 16980 clauses out of 34028 with flag 161000/161000
25.37/24.64	c cleaning 18008 clauses out of 36049 with flag 180001/180001
27.38/26.62	c cleaning 19005 clauses out of 38041 with flag 200001/200001
29.58/28.81	c cleaning 20001 clauses out of 40035 with flag 221000/221000
31.69/30.98	c cleaning 21000 clauses out of 42034 with flag 243000/243000
33.79/33.09	c cleaning 21994 clauses out of 44035 with flag 266001/266001
35.79/35.02	c cleaning 22993 clauses out of 46040 with flag 290000/290000
38.20/37.48	c cleaning 23984 clauses out of 48048 with flag 315001/315001
40.59/39.89	c cleaning 25010 clauses out of 50063 with flag 341000/341000
43.10/42.35	c cleaning 26005 clauses out of 52054 with flag 368001/368001
45.21/44.45	c cleaning 26993 clauses out of 54050 with flag 396002/396002
47.91/47.17	c cleaning 28002 clauses out of 56055 with flag 425000/425000
50.81/50.01	c cleaning 29008 clauses out of 58053 with flag 455000/455000
53.12/52.40	c cleaning 29996 clauses out of 60046 with flag 486001/486001
56.12/55.34	c cleaning 30996 clauses out of 62050 with flag 518001/518001
58.82/58.08	c cleaning 32015 clauses out of 64053 with flag 551000/551000
61.73/60.96	c cleaning 32987 clauses out of 66038 with flag 585000/585000
65.13/64.30	c cleaning 34010 clauses out of 68052 with flag 620001/620001
67.63/66.89	c cleaning 34999 clauses out of 70041 with flag 656000/656000
71.34/70.53	c cleaning 36010 clauses out of 72043 with flag 693001/693001
74.24/73.41	c cleaning 36985 clauses out of 74032 with flag 731000/731000
77.95/77.13	c cleaning 38008 clauses out of 76048 with flag 770001/770001
80.95/80.10	c cleaning 38991 clauses out of 78043 with flag 810004/810004
85.05/84.29	c cleaning 40009 clauses out of 80048 with flag 851000/851000
88.45/87.61	c cleaning 41009 clauses out of 82041 with flag 893002/893002
92.76/91.93	c cleaning 42000 clauses out of 84031 with flag 936001/936001
96.07/95.21	c cleaning 42971 clauses out of 86030 with flag 980000/980000
100.17/99.35	c cleaning 43992 clauses out of 88059 with flag 1025000/1025000
103.68/102.80	c cleaning 44979 clauses out of 90068 with flag 1071001/1071001
107.78/106.96	c cleaning 46035 clauses out of 92090 with flag 1118002/1118002
111.79/110.92	c cleaning 46987 clauses out of 94053 with flag 1166000/1166000
115.79/114.94	c cleaning 48011 clauses out of 96067 with flag 1215001/1215001
120.40/119.53	c cleaning 49011 clauses out of 98056 with flag 1265001/1265001
124.81/123.92	c cleaning 50005 clauses out of 100044 with flag 1316000/1316000
129.92/129.06	c cleaning 51002 clauses out of 102041 with flag 1368002/1368002
134.33/133.43	c cleaning 52007 clauses out of 104038 with flag 1421001/1421001
138.63/137.72	c cleaning 52975 clauses out of 106030 with flag 1475000/1475000
143.84/143.00	c cleaning 54008 clauses out of 108057 with flag 1530002/1530002
148.45/147.54	c cleaning 54997 clauses out of 110047 with flag 1586000/1586000
153.45/152.58	c cleaning 56005 clauses out of 112051 with flag 1643001/1643001
159.06/158.16	c cleaning 56998 clauses out of 114045 with flag 1701000/1701000
164.27/163.32	c cleaning 57985 clauses out of 116047 with flag 1760000/1760000
170.39/169.43	c cleaning 59008 clauses out of 118062 with flag 1820000/1820000
176.10/175.10	c cleaning 60010 clauses out of 120055 with flag 1881001/1881001
181.51/180.52	c cleaning 61017 clauses out of 122044 with flag 1943000/1943000
187.51/186.54	c cleaning 61987 clauses out of 124027 with flag 2006000/2006000
193.42/192.41	c cleaning 62987 clauses out of 126042 with flag 2070002/2070002
199.13/198.16	c cleaning 63985 clauses out of 128054 with flag 2135001/2135001
205.24/204.25	c cleaning 64996 clauses out of 130068 with flag 2201000/2201000
211.75/210.73	c cleaning 65990 clauses out of 132073 with flag 2268001/2268001
217.26/216.29	c cleaning 66984 clauses out of 134082 with flag 2336000/2336000
223.37/222.36	c cleaning 68008 clauses out of 136098 with flag 2405000/2405000
231.48/230.42	c cleaning 69023 clauses out of 138091 with flag 2475001/2475001
237.39/236.36	c cleaning 70015 clauses out of 140067 with flag 2546000/2546000
244.50/243.41	c cleaning 71000 clauses out of 142052 with flag 2618000/2618000
252.41/251.31	c cleaning 72004 clauses out of 144052 with flag 2691000/2691000
259.22/258.18	c cleaning 72991 clauses out of 146049 with flag 2765001/2765001
265.93/264.83	c cleaning 74012 clauses out of 148058 with flag 2840001/2840001
274.56/273.47	c cleaning 75014 clauses out of 150045 with flag 2916000/2916000
284.57/283.49	c cleaning 76004 clauses out of 152032 with flag 2993001/2993001
290.99/289.82	c cleaning 76967 clauses out of 154028 with flag 3071001/3071001
299.00/297.86	c cleaning 77997 clauses out of 156060 with flag 3150000/3150000
307.71/306.52	c cleaning 79019 clauses out of 158064 with flag 3230001/3230001
316.62/315.49	c cleaning 80006 clauses out of 160044 with flag 3311000/3311000
323.54/322.40	c cleaning 80952 clauses out of 162038 with flag 3393000/3393000
330.64/329.46	c cleaning 82005 clauses out of 164086 with flag 3476000/3476000
340.66/339.49	c cleaning 83007 clauses out of 166081 with flag 3560000/3560000
350.67/349.42	c cleaning 84027 clauses out of 168074 with flag 3645000/3645000
358.29/357.08	c cleaning 84999 clauses out of 170047 with flag 3731000/3731000
366.80/365.55	c cleaning 85970 clauses out of 172048 with flag 3818000/3818000
376.61/375.34	c cleaning 86988 clauses out of 174079 with flag 3906001/3906001
387.32/386.04	c cleaning 88022 clauses out of 176090 with flag 3995000/3995000
394.94/393.62	c cleaning 89014 clauses out of 178069 with flag 4085001/4085001
404.15/402.81	c cleaning 89993 clauses out of 180056 with flag 4176002/4176002
414.97/413.69	c cleaning 90989 clauses out of 182061 with flag 4268000/4268000
425.68/424.38	c cleaning 92000 clauses out of 184072 with flag 4361000/4361000
435.00/433.63	c cleaning 93019 clauses out of 186073 with flag 4455001/4455001
444.41/443.04	c cleaning 93994 clauses out of 188054 with flag 4550001/4550001
455.83/454.45	c cleaning 95002 clauses out of 190059 with flag 4646000/4646000
468.33/466.97	c cleaning 96002 clauses out of 192057 with flag 4743000/4743000
482.95/481.50	c cleaning 97026 clauses out of 194055 with flag 4841000/4841000
491.57/490.10	c cleaning 97952 clauses out of 196029 with flag 4940000/4940000
501.08/499.63	c cleaning 99031 clauses out of 198079 with flag 5040002/5040002
513.71/512.26	c cleaning 99986 clauses out of 200047 with flag 5141001/5141001
526.03/524.50	c cleaning 100974 clauses out of 202062 with flag 5243002/5243002
540.25/538.78	c cleaning 102028 clauses out of 204086 with flag 5346000/5346000
550.47/548.93	c cleaning 102997 clauses out of 206060 with flag 5450002/5450002
561.98/560.44	c cleaning 103983 clauses out of 208062 with flag 5555001/5555001
573.79/572.24	c cleaning 105004 clauses out of 210078 with flag 5661000/5661000
588.11/586.51	c cleaning 105996 clauses out of 212074 with flag 5768000/5768000
605.93/604.37	c cleaning 107020 clauses out of 214078 with flag 5876000/5876000
616.75/615.11	c cleaning 107991 clauses out of 216059 with flag 5985001/5985001
628.68/627.02	c cleaning 108994 clauses out of 218067 with flag 6095000/6095000
641.99/640.34	c cleaning 110015 clauses out of 220075 with flag 6206002/6206002
657.10/655.49	c cleaning 111011 clauses out of 222059 with flag 6318001/6318001
675.92/674.23	c cleaning 111976 clauses out of 224047 with flag 6431000/6431000
687.34/685.66	c cleaning 113021 clauses out of 226072 with flag 6545001/6545001
699.76/698.07	c cleaning 114010 clauses out of 228050 with flag 6660000/6660000
714.18/712.41	c cleaning 114993 clauses out of 230040 with flag 6776000/6776000
732.60/730.81	c cleaning 115989 clauses out of 232047 with flag 6893000/6893000
749.32/747.56	c cleaning 116995 clauses out of 234058 with flag 7011000/7011000
764.24/762.45	c cleaning 118028 clauses out of 236063 with flag 7130000/7130000
775.26/773.48	c cleaning 118956 clauses out of 238035 with flag 7250000/7250000
789.17/787.38	c cleaning 119994 clauses out of 240080 with flag 7371001/7371001
805.28/803.47	c cleaning 121006 clauses out of 242085 with flag 7493000/7493000
824.30/822.49	c cleaning 121985 clauses out of 244081 with flag 7616002/7616002
839.53/837.66	c cleaning 123006 clauses out of 246095 with flag 7740001/7740001
856.44/854.54	c cleaning 124024 clauses out of 248089 with flag 7865001/7865001
868.96/867.02	c cleaning 125015 clauses out of 250064 with flag 7991000/7991000
882.38/880.43	c cleaning 125967 clauses out of 252049 with flag 8118000/8118000
897.29/895.33	c cleaning 126996 clauses out of 254083 with flag 8246001/8246001
915.91/913.99	c cleaning 128025 clauses out of 256086 with flag 8375000/8375000
940.64/938.67	c cleaning 128964 clauses out of 258063 with flag 8505002/8505002
965.86/963.90	c cleaning 130029 clauses out of 260098 with flag 8636001/8636001
979.60/977.59	c cleaning 131028 clauses out of 262068 with flag 8768000/8768000
995.81/993.79	c cleaning 131989 clauses out of 264041 with flag 8901001/8901001
1014.73/1012.68	c cleaning 132994 clauses out of 266051 with flag 9035000/9035000
1034.16/1032.01	c cleaning 133992 clauses out of 268057 with flag 9170000/9170000
1056.38/1054.28	c cleaning 134996 clauses out of 270065 with flag 9306000/9306000
1081.11/1078.97	c cleaning 136002 clauses out of 272069 with flag 9443000/9443000
1097.34/1095.19	c cleaning 137005 clauses out of 274068 with flag 9581001/9581001
1112.65/1110.42	c cleaning 137985 clauses out of 276064 with flag 9720002/9720002
1131.98/1129.74	c cleaning 138988 clauses out of 278077 with flag 9860000/9860000
1152.19/1149.95	c cleaning 140003 clauses out of 280091 with flag 10001002/10001002
1169.92/1167.64	c cleaning 141015 clauses out of 282086 with flag 10143000/10143000
1192.94/1190.65	c cleaning 141987 clauses out of 284071 with flag 10286000/10286000
1217.36/1215.09	c cleaning 143008 clauses out of 286085 with flag 10430001/10430001
1232.29/1229.99	c cleaning 144014 clauses out of 288077 with flag 10575001/10575001
1249.10/1246.72	c cleaning 144976 clauses out of 290062 with flag 10721000/10721000
1270.32/1267.92	c cleaning 146008 clauses out of 292086 with flag 10868000/10868000
1290.54/1288.15	c cleaning 147002 clauses out of 294078 with flag 11016000/11016000
1302.47/1300.01	c starts		: 2697
1302.47/1300.01	c conflicts		: 11092975
1302.47/1300.01	c decisions		: 17683926
1302.47/1300.01	c propagations		: 433210974
1302.47/1300.01	c inspects		: 11273989314
1302.47/1300.01	c shortcuts		: 0
1302.47/1300.01	c learnt literals	: 0
1302.47/1300.01	c learnt binary clauses	: 0
1302.47/1300.01	c learnt ternary clauses	: 0
1302.47/1300.01	c learnt constraints	: 11092975
1302.47/1300.01	c ignored constraints	: 0
1302.47/1300.01	c root simplifications	: 2697
1302.47/1300.01	c removed literals (reason simplification)	: 52284625
1302.47/1300.01	c reason swapping (by a shorter reason)	: 0
1302.47/1300.01	c Calls to reduceDB	: 144
1302.47/1300.01	c speed (assignments/second)	: 333443.6373684482
1302.47/1300.01	c non guided choices	190891
1302.47/1300.06	c learnt constraints type 
1302.47/1300.06	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 224394
1302.47/1300.06	c constraints type 
1302.47/1300.06	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 656040
1302.47/1300.06	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 5040
1302.47/1300.06	s UNKNOWN
1302.47/1300.06	c Total wall clock time (in seconds) : 1299.906

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

running on 2 cores: 0,2

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 5/199 29084
/proc/meminfo: memFree=16584296/32951124 swapFree=67111528/67111528
[pid=29084] ppid=29082 vsize=30540 CPUtime=0 cores=0,2
/proc/29084/stat : 29084 (java) S 29082 29084 27954 0 -1 4202496 1249 0 0 0 0 0 0 0 21 0 2 0 462801671 31272960 968 33554432000 1073741824 1073778376 140734057689040 18446744073709551615 212699477989 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/29084/statm: 7635 968 741 9 0 386 0
[pid=29084/tid=29085] ppid=29082 vsize=30540 CPUtime=0 cores=0,2
/proc/29084/task/29085/stat : 29085 (java) R 29082 29084 27954 0 -1 4202560 135 0 0 0 0 0 0 0 22 0 2 0 462801672 31272960 969 33554432000 1073741824 1073778376 140734057689040 18446744073709551615 212687675195 0 0 0 16784584 0 0 0 -1 0 0 0 0

[startup+0.105919 s]
/proc/loadavg: 0.89 1.91 2.95 5/199 29084
/proc/meminfo: memFree=16584296/32951124 swapFree=67111528/67111528
[pid=29084] ppid=29082 vsize=7571560 CPUtime=0.09 cores=0,2
/proc/29084/stat : 29084 (java) S 29082 29084 27954 0 -1 4202496 10203 0 1 0 8 1 0 0 21 0 18 0 462801671 7753277440 9899 33554432000 1073741824 1073778376 140734057689040 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29084/statm: 1892890 9901 2088 9 0 1883628 0
[pid=29084/tid=29085] ppid=29082 vsize=7571560 CPUtime=0.08 cores=0,2
/proc/29084/task/29085/stat : 29085 (java) R 29082 29084 27954 0 -1 4202560 8482 0 1 0 7 1 0 0 22 0 18 0 462801672 7753277440 9901 33554432000 1073741824 1073778376 140734057689040 18446744073709551615 212699502027 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7571560

[startup+0.232215 s]
/proc/loadavg: 0.89 1.91 2.95 5/199 29084
/proc/meminfo: memFree=16584296/32951124 swapFree=67111528/67111528
[pid=29084] ppid=29082 vsize=7638120 CPUtime=0.3 cores=0,2
/proc/29084/stat : 29084 (java) S 29082 29084 27954 0 -1 4202496 12783 0 1 0 29 1 0 0 21 0 18 0 462801671 7821434880 12479 33554432000 1073741824 1073778376 140734057689040 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29084/statm: 1909530 12479 2197 9 0 1900268 0
[pid=29084/tid=29085] ppid=29082 vsize=7638120 CPUtime=0.18 cores=0,2
/proc/29084/task/29085/stat : 29085 (java) R 29082 29084 27954 0 -1 4202560 10538 0 1 0 17 1 0 0 22 0 18 0 462801672 7821434880 12480 33554432000 1073741824 1073778376 140734057689040 18446744073709551615 46912505541731 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 7638120

[startup+0.300902 s]
/proc/loadavg: 0.89 1.91 2.95 5/199 29084
/proc/meminfo: memFree=16584296/32951124 swapFree=67111528/67111528
[pid=29084] ppid=29082 vsize=7638120 CPUtime=0.38 cores=0,2
/proc/29084/stat : 29084 (java) S 29082 29084 27954 0 -1 4202496 14324 0 1 0 36 2 0 0 21 0 18 0 462801671 7821434880 14020 33554432000 1073741824 1073778376 140734057689040 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29084/statm: 1909530 14020 2197 9 0 1900268 0
[pid=29084/tid=29085] ppid=29082 vsize=7638120 CPUtime=0.25 cores=0,2
/proc/29084/task/29085/stat : 29085 (java) R 29082 29084 27954 0 -1 4202560 12079 0 1 0 24 1 0 0 22 0 18 0 462801672 7821434880 14021 33554432000 1073741824 1073778376 140734057689040 18446744073709551615 46912505541731 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 7638120

[startup+0.700826 s]
/proc/loadavg: 0.89 1.91 2.95 5/199 29084
/proc/meminfo: memFree=16584296/32951124 swapFree=67111528/67111528
[pid=29084] ppid=29082 vsize=7638120 CPUtime=0.77 cores=0,2
/proc/29084/stat : 29084 (java) S 29082 29084 27954 0 -1 4202496 23288 0 1 0 74 3 0 0 21 0 18 0 462801671 7821434880 22984 33554432000 1073741824 1073778376 140734057689040 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29084/statm: 1909530 22985 2197 9 0 1900268 0
[pid=29084/tid=29085] ppid=29082 vsize=7638120 CPUtime=0.65 cores=0,2
/proc/29084/task/29085/stat : 29085 (java) R 29082 29084 27954 0 -1 4202560 21043 0 1 0 62 3 0 0 24 0 18 0 462801672 7821434880 22985 33554432000 1073741824 1073778376 140734057689040 18446744073709551615 46912505541599 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 7638120

[startup+1.50067 s]
/proc/loadavg: 0.89 1.91 2.95 9/262 29201
/proc/meminfo: memFree=16297524/32951124 swapFree=67111528/67111528
[pid=29084] ppid=29082 vsize=7640172 CPUtime=1.95 cores=0,2
/proc/29084/stat : 29084 (java) S 29082 29084 27954 0 -1 4202496 30791 0 1 0 191 4 0 0 21 0 19 0 462801671 7823536128 28921 33554432000 1073741824 1073778376 140734057689040 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29084/statm: 1910043 28921 2227 9 0 1900781 0
[pid=29084/tid=29085] ppid=29082 vsize=7640172 CPUtime=1.45 cores=0,2
/proc/29084/task/29085/stat : 29085 (java) R 29082 29084 27954 0 -1 4202560 25455 0 1 0 141 4 0 0 25 0 19 0 462801672 7823536128 28921 33554432000 1073741824 1073778376 140734057689040 18446744073709551615 46912505737518 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29084/tid=29087] ppid=29082 vsize=7640172 CPUtime=0 cores=0,2
/proc/29084/task/29087/stat : 29087 (java) S 29082 29084 27954 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 462801673 7823536128 28921 33554432000 1073741824 1073778376 140734057689040 18446744073709551615 212699491225 0 4 0 16800975 18446604440278878976 0 0 -1 0 0 0 0
[pid=29084/tid=29088] ppid=29082 vsize=7640172 CPUtime=0 cores=0,2
/proc/29084/task/29088/stat : 29088 (java) S 29082 29084 27954 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 462801673 7823536128 28921 33554432000 1073741824 1073778376 140734057689040 18446744073709551615 212699491225 0 4 0 16800975 18446604440278878976 0 0 -1 0 0 0 0
[pid=29084/tid=29089] ppid=29082 vsize=7640172 CPUtime=0 cores=0,2
/proc/29084/task/29089/stat : 29089 (java) S 29082 29084 27954 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 462801673 7823536128 28921 33554432000 1073741824 1073778376 140734057689040 18446744073709551615 212699491225 0 4 0 16800975 18446604440278878976 0 0 -1 0 0 0 0
[pid=29084/tid=29090] ppid=29082 vsize=7640172 CPUtime=0 cores=0,2
/proc/29084/task/29090/stat : 29090 (java) S 29082 29084 27954 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 462801673 7823536128 28921 33554432000 1073741824 1073778376 140734057689040 18446744073709551615 212699491225 0 4 0 16800975 18446604440278878976 0 0 -1 0 0 0 0
[pid=29084/tid=29091] ppid=29082 vsize=7640172 CPUtime=0 cores=0,2
/proc/29084/task/29091/stat : 29091 (java) S 29082 29084 27954 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 462801673 7823536128 28921 33554432000 1073741824 1073778376 140734057689040 18446744073709551615 212699491225 0 4 0 16800975 18446604440278878976 0 0 -1 0 0 0 0
[pid=29084/tid=29092] ppid=29082 vsize=7640172 CPUtime=0 cores=0,2
/proc/29084/task/29092/stat : 29092 (java) S 29082 29084 27954 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 462801673 7823536128 28921 33554432000 1073741824 1073778376 140734057689040 18446744073709551615 212699491225 0 4 0 16800975 18446604440278878976 0 0 -1 0 0 0 0
[pid=29084/tid=29093] ppid=29082 vsize=7640172 CPUtime=0 cores=0,2
/proc/29084/task/29093/stat : 29093 (java) S 29082 29084 27954 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 462801673 7823536128 28921 33554432000 1073741824 1073778376 140734057689040 18446744073709551615 212699491225 0 4 0 16800975 18446604440278878976 0 0 -1 0 0 0 0
[pid=29084/tid=29094] ppid=29082 vsize=7640172 CPUtime=0 cores=0,2
/proc/29084/task/29094/stat : 29094 (java) S 29082 29084 27954 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 462801673 7823536128 28921 33554432000 1073741824 1073778376 140734057689040 18446744073709551615 212699491225 0 4 0 16800975 18446604440278878976 0 0 -1 0 0 0 0
[pid=29084/tid=29096] ppid=29082 vsize=7640172 CPUtime=0 cores=0,2
/proc/29084/task/29096/stat : 29096 (java) S 29082 29084 27954 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 462801674 7823536128 28921 33554432000 1073741824 1073778376 140734057689040 18446744073709551615 212699491840 0 0 0 16800975 18446604440278878976 0 0 -1 0 0 0 0
[pid=29084/tid=29101] ppid=29082 vsize=7640172 CPUtime=0 cores=0,2
/proc/29084/task/29101/stat : 29101 (java) S 29082 29084 27954 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 462801674 7823536128 28921 33554432000 1073741824 1073778376 140734057689040 18446744073709551615 212699491225 0 4 0 16800975 18446604440278878976 0 0 -1 0 0 0 0
[pid=29084/tid=29102] ppid=29082 vsize=7640172 CPUtime=0 cores=0,2
/proc/29084/task/29102/stat : 29102 (java) S 29082 29084 27954 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 462801674 7823536128 28921 33554432000 1073741824 1073778376 140734057689040 18446744073709551615 212699491225 0 4 0 16800975 18446604440278878976 0 0 -1 0 0 0 0
[pid=29084/tid=29105] ppid=29082 vsize=7640172 CPUtime=0 cores=0,2
/proc/29084/task/29105/stat : 29105 (java) S 29082 29084 27954 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 462801677 7823536128 28921 33554432000 1073741824 1073778376 140734057689040 18446744073709551615 212699498929 0 4 0 16800975 18446604440278878976 0 0 -1 0 0 0 0
[pid=29084/tid=29106] ppid=29082 vsize=7640172 CPUtime=0.3 cores=0,2
/proc/29084/task/29106/stat : 29106 (java) S 29082 29084 27954 0 -1 4202560 3079 0 0 0 30 0 0 0 15 0 19 0 462801677 7823536128 28921 33554432000 1073741824 1073778376 140734057689040 18446744073709551615 212699491225 0 4 0 16800975 18446604440278878976 0 0 -1 2 0 0 0
[pid=29084/tid=29107] ppid=29082 vsize=7640172 CPUtime=0.19 cores=0,2
/proc/29084/task/29107/stat : 29107 (java) S 29082 29084 27954 0 -1 4202560 1096 0 0 0 19 0 0 0 15 0 19 0 462801677 7823536128 28921 33554432000 1073741824 1073778376 140734057689040 18446744073709551615 212699491225 0 4 0 16800975 18446604440278878976 0 0 -1 2 0 0 0
[pid=29084/tid=29108] ppid=29082 vsize=7640172 CPUtime=0 cores=0,2
/proc/29084/task/29108/stat : 29108 (java) S 29082 29084 27954 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 462801677 7823536128 28921 33554432000 1073741824 1073778376 140734057689040 18446744073709551615 212699491225 0 4 0 16800975 18446604440278878976 0 0 -1 0 0 0 0
[pid=29084/tid=29109] ppid=29082 vsize=7640172 CPUtime=0 cores=0,2
/proc/29084/task/29109/stat : 29109 (java) S 29082 29084 27954 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 462801677 7823536128 28921 33554432000 1073741824 1073778376 140734057689040 18446744073709551615 212699491840 0 4 0 16800975 18446604440278878976 0 0 -1 2 0 0 0
[pid=29084/tid=29200] ppid=29082 vsize=7640172 CPUtime=0 cores=0,2
/proc/29084/task/29200/stat : 29200 (java) S 29082 29084 27954 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 462801753 7823536128 28921 33554432000 1073741824 1073778376 140734057689040 18446744073709551615 212699491840 0 4 0 16800975 18446604440278878976 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.95
Current children cumulated vsize (KiB) 7640172

[startup+3.10141 s]
/proc/loadavg: 0.89 1.91 2.95 5/262 29201
/proc/meminfo: memFree=16162364/32951124 swapFree=67111528/67111528
[pid=29084] ppid=29082 vsize=7640172 CPUtime=3.79 cores=0,2
/proc/29084/stat : 29084 (java) S 29082 29084 27954 0 -1 4202496 63937 0 1 0 370 9 0 0 21 0 19 0 462801671 7823536128 60119 33554432000 1073741824 1073778376 140734057689040 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29084/statm: 1910043 60119 2253 9 0 1900781 0
[pid=29084/tid=29085] ppid=29082 vsize=7640172 CPUtime=2.74 cores=0,2
/proc/29084/task/29085/stat : 29085 (java) R 29082 29084 27954 0 -1 4202560 25624 0 1 0 270 4 0 0 25 0 19 0 462801672 7823536128 60119 33554432000 1073741824 1073778376 140734057689040 18446744073709551615 46912505737504 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29084/tid=29087] ppid=29082 vsize=7640172 CPUtime=0.07 cores=0,2
/proc/29084/task/29087/stat : 29087 (java) S 29082 29084 27954 0 -1 4202560 8096 0 0 0 6 1 0 0 17 0 19 0 462801673 7823536128 60119 33554432000 1073741824 1073778376 140734057689040 18446744073709551615 212699491225 0 4 0 16800975 18446604440278878976 0 0 -1 2 0 0 0
[pid=29084/tid=29088] ppid=29082 vsize=7640172 CPUtime=0.07 cores=0,2
/proc/29084/task/29088/stat : 29088 (java) S 29082 29084 27954 0 -1 4202560 5602 0 0 0 7 0 0 0 17 0 19 0 462801673 7823536128 60119 33554432000 1073741824 1073778376 140734057689040 18446744073709551615 212699491225 0 4 0 16800975 18446604440278878976 0 0 -1 2 0 0 0
[pid=29084/tid=29089] ppid=29082 vsize=7640172 CPUtime=0 cores=0,2
/proc/29084/task/29089/stat : 29089 (java) S 29082 29084 27954 0 -1 4202560 424 0 0 0 0 0 0 0 17 0 19 0 462801673 7823536128 60119 33554432000 1073741824 1073778376 140734057689040 18446744073709551615 212699491225 0 4 0 16800975 18446604440278878976 0 0 -1 2 0 0 0
[pid=29084/tid=29090] ppid=29082 vsize=7640172 CPUtime=0 cores=0,2
/proc/29084/task/29090/stat : 29090 (java) S 29082 29084 27954 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 462801673 7823536128 60119 33554432000 1073741824 1073778376 140734057689040 18446744073709551615 212699491225 0 4 0 16800975 18446604440278878976 0 0 -1 2 0 0 0
[pid=29084/tid=29091] ppid=29082 vsize=7640172 CPUtime=0 cores=0,2
/proc/29084/task/29091/stat : 29091 (java) S 29082 29084 27954 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 462801673 7823536128 60119 33554432000 1073741824 1073778376 140734057689040 18446744073709551615 212699491225 0 4 0 16800975 18446604440278878976 0 0 -1 2 0 0 0
[pid=29084/tid=29092] ppid=29082 vsize=7640172 CPUtime=0 cores=0,2
/proc/29084/task/29092/stat : 29092 (java) S 29082 29084 27954 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 462801673 7823536128 60119 33554432000 1073741824 1073778376 140734057689040 18446744073709551615 212699491225 0 4 0 16800975 18446604440278878976 0 0 -1 2 0 0 0
[pid=29084/tid=29093] ppid=29082 vsize=7640172 CPUtime=0 cores=0,2
/proc/29084/task/29093/stat : 29093 (java) S 29082 29084 27954 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 462801673 7823536128 60119 33554432000 1073741824 1073778376 140734057689040 18446744073709551615 212699491225 0 4 0 16800975 18446604440278878976 0 0 -1 2 0 0 0
[pid=29084/tid=29094] ppid=29082 vsize=7640172 CPUtime=0 cores=0,2
/proc/29084/task/29094/stat : 29094 (java) S 29082 29084 27954 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 462801673 7823536128 60119 33554432000 1073741824 1073778376 140734057689040 18446744073709551615 212699491225 0 4 0 16800975 18446604440278878976 0 0 -1 2 0 0 0
[pid=29084/tid=29096] ppid=29082 vsize=7640172 CPUtime=0.21 cores=0,2
/proc/29084/task/29096/stat : 29096 (java) S 29082 29084 27954 0 -1 4202560 13996 0 0 0 20 1 0 0 16 0 19 0 462801674 7823536128 60119 33554432000 1073741824 1073778376 140734057689040 18446744073709551615 212699491840 0 0 0 16800975 18446604440278878976 0 0 -1 0 0 0 0
[pid=29084/tid=29101] ppid=29082 vsize=7640172 CPUtime=0 cores=0,2
/proc/29084/task/29101/stat : 29101 (java) S 29082 29084 27954 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 462801674 7823536128 60119 33554432000 1073741824 1073778376 140734057689040 18446744073709551615 212699491225 0 4 0 16800975 18446604440278878976 0 0 -1 0 0 0 0
[pid=29084/tid=29102] ppid=29082 vsize=7640172 CPUtime=0 cores=0,2
/proc/29084/task/29102/stat : 29102 (java) S 29082 29084 27954 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 462801674 7823536128 60119 33554432000 1073741824 1073778376 140734057689040 18446744073709551615 212699491225 0 4 0 16800975 18446604440278878976 0 0 -1 0 0 0 0
[pid=29084/tid=29105] ppid=29082 vsize=7640172 CPUtime=0 cores=0,2
/proc/29084/task/29105/stat : 29105 (java) S 29082 29084 27954 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 462801677 7823536128 60119 33554432000 1073741824 1073778376 140734057689040 18446744073709551615 212699498929 0 4 0 16800975 18446604440278878976 0 0 -1 0 0 0 0
[pid=29084/tid=29106] ppid=29082 vsize=7640172 CPUtime=0.45 cores=0,2
/proc/29084/task/29106/stat : 29106 (java) S 29082 29084 27954 0 -1 4202560 7941 0 0 0 44 1 0 0 15 0 19 0 462801677 7823536128 60119 33554432000 1073741824 1073778376 140734057689040 18446744073709551615 212699491225 0 4 0 16800975 18446604440278878976 0 0 -1 2 0 0 0
[pid=29084/tid=29107] ppid=29082 vsize=7640172 CPUtime=0.2 cores=0,2
/proc/29084/task/29107/stat : 29107 (java) S 29082 29084 27954 0 -1 4202560 1098 0 0 0 20 0 0 0 15 0 19 0 462801677 7823536128 60119 33554432000 1073741824 1073778376 140734057689040 18446744073709551615 212699491225 0 4 0 16800975 18446604440278878976 0 0 -1 2 0 0 0
[pid=29084/tid=29108] ppid=29082 vsize=7640172 CPUtime=0 cores=0,2
/proc/29084/task/29108/stat : 29108 (java) S 29082 29084 27954 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 462801677 7823536128 60119 33554432000 1073741824 1073778376 140734057689040 18446744073709551615 212699491225 0 4 0 16800975 18446604440278878976 0 0 -1 0 0 0 0
[pid=29084/tid=29109] ppid=29082 vsize=7640172 CPUtime=0 cores=0,2
/proc/29084/task/29109/stat : 29109 (java) S 29082 29084 27954 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 462801677 7823536128 60119 33554432000 1073741824 1073778376 140734057689040 18446744073709551615 212699491840 0 4 0 16800975 18446604440278878976 0 0 -1 0 0 0 0
[pid=29084/tid=29200] ppid=29082 vsize=7640172 CPUtime=0 cores=0,2
/proc/29084/task/29200/stat : 29200 (java) S 29082 29084 27954 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 462801753 7823536128 60119 33554432000 1073741824 1073778376 140734057689040 18446744073709551615 212699491840 0 4 0 16800975 18446604440278878976 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3.79
Current children cumulated vsize (KiB) 7640172

[startup+6.30082 s]
/proc/loadavg: 1.14 1.94 2.96 5/262 29201
/proc/meminfo: memFree=16075844/32951124 swapFree=67111528/67111528
[pid=29084] ppid=29082 vsize=7640172 CPUtime=7.04 cores=0,2
/proc/29084/stat : 29084 (java) S 29082 29084 27954 0 -1 4202496 66802 0 1 0 694 10 0 0 21 0 19 0 462801671 7823536128 61839 33554432000 1073741824 1073778376 140734057689040 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29084/statm: 1910043 61839 2255 9 0 1900781 0
[pid=29084/tid=29085] ppid=29082 vsize=7640172 CPUtime=5.42 cores=0,2
/proc/29084/task/29085/stat : 29085 (java) S 29082 29084 27954 0 -1 4202560 25629 0 1 0 538 4 0 0 25 0 19 0 462801672 7823536128 61839 33554432000 1073741824 1073778376 140734057689040 18446744073709551615 212699491225 0 4 0 16800975 18446604440278878976 0 0 -1 0 0 0 0
[pid=29084/tid=29087] ppid=29082 vsize=7640172 CPUtime=0.08 cores=0,2
/proc/29084/task/29087/stat : 29087 (java) S 29082 29084 27954 0 -1 4202560 8097 0 0 0 7 1 0 0 15 0 19 0 462801673 7823536128 61839 33554432000 1073741824 1073778376 140734057689040 18446744073709551615 212699491225 0 4 0 16800975 18446604440278878976 0 0 -1 2 0 0 0
[pid=29084/tid=29088] ppid=29082 vsize=7640172 CPUtime=0.07 cores=0,2
/proc/29084/task/29088/stat : 29088 (java) S 29082 29084 27954 0 -1 4202560 5602 0 0 0 7 0 0 0 16 0 19 0 462801673 7823536128 61839 33554432000 1073741824 1073778376 140734057689040 18446744073709551615 212699491225 0 4 0 16800975 18446604440278878976 0 0 -1 2 0 0 0
[pid=29084/tid=29089] ppid=29082 vsize=7640172 CPUtime=0 cores=0,2
/proc/29084/task/29089/stat : 29089 (java) S 29082 29084 27954 0 -1 4202560 424 0 0 0 0 0 0 0 15 0 19 0 462801673 7823536128 61839 33554432000 1073741824 1073778376 140734057689040 18446744073709551615 212699491225 0 4 0 16800975 18446604440278878976 0 0 -1 2 0 0 0
[pid=29084/tid=29090] ppid=29082 vsize=7640172 CPUtime=0 cores=0,2
/proc/29084/task/29090/stat : 29090 (java) S 29082 29084 27954 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 462801673 7823536128 61839 33554432000 1073741824 1073778376 140734057689040 18446744073709551615 212699491225 0 4 0 16800975 18446604440278878976 0 0 -1 2 0 0 0
[pid=29084/tid=29091] ppid=29082 vsize=7640172 CPUtime=0 cores=0,2
/proc/29084/task/29091/stat : 29091 (java) S 29082 29084 27954 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 462801673 7823536128 61839 33554432000 1073741824 1073778376 140734057689040 18446744073709551615 212699491225 0 4 0 16800975 18446604440278878976 0 0 -1 2 0 0 0
[pid=29084/tid=29092] ppid=29082 vsize=7640172 CPUtime=0 cores=0,2
/proc/29084/task/29092/stat : 29092 (java) S 29082 29084 27954 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 462801673 7823536128 61839 33554432000 1073741824 1073778376 140734057689040 18446744073709551615 212699491225 0 4 0 16800975 18446604440278878976 0 0 -1 2 0 0 0
[pid=29084/tid=29093] ppid=29082 vsize=7640172 CPUtime=0 cores=0,2
/proc/29084/task/29093/stat : 29093 (java) S 29082 29084 27954 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 462801673 7823536128 61839 33554432000 1073741824 1073778376 140734057689040 18446744073709551615 212699491225 0 4 0 16800975 18446604440278878976 0 0 -1 2 0 0 0
[pid=29084/tid=29094] ppid=29082 vsize=7640172 CPUtime=0 cores=0,2
/proc/29084/task/29094/stat : 29094 (java) S 29082 29084 27954 0 -1 4202560 153 0 0 0 0 0 0 0 15 0 19 0 462801673 7823536128 61839 33554432000 1073741824 1073778376 140734057689040 18446744073709551615 212699491225 0 4 0 16800975 18446604440278878976 0 0 -1 2 0 0 0
[pid=29084/tid=29096] ppid=29082 vsize=7640172 CPUtime=0.72 cores=0,2
/proc/29084/task/29096/stat : 29096 (java) R 29082 29084 27954 0 -1 4202560 16570 0 0 0 71 1 0 0 16 0 19 0 462801674 7823536128 61839 33554432000 1073741824 1073778376 140734057689040 18446744073709551615 47420348739473 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=29084/tid=29101] ppid=29082 vsize=7640172 CPUtime=0 cores=0,2
/proc/29084/task/29101/stat : 29101 (java) S 29082 29084 27954 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 462801674 7823536128 61839 33554432000 1073741824 1073778376 140734057689040 18446744073709551615 212699491225 0 4 0 16800975 18446604440278878976 0 0 -1 0 0 0 0
[pid=29084/tid=29102] ppid=29082 vsize=7640172 CPUtime=0 cores=0,2
/proc/29084/task/29102/stat : 29102 (java) S 29082 29084 27954 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 462801674 7823536128 61839 33554432000 1073741824 1073778376 140734057689040 18446744073709551615 212699491225 0 4 0 16800975 18446604440278878976 0 0 -1 0 0 0 0
[pid=29084/tid=29105] ppid=29082 vsize=7640172 CPUtime=0 cores=0,2
/proc/29084/task/29105/stat : 29105 (java) S 29082 29084 27954 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 462801677 7823536128 61839 33554432000 1073741824 1073778376 140734057689040 18446744073709551615 212699498929 0 4 0 16800975 18446604440278878976 0 0 -1 0 0 0 0
[pid=29084/tid=29106] ppid=29082 vsize=7640172 CPUtime=0.47 cores=0,2
/proc/29084/task/29106/stat : 29106 (java) S 29082 29084 27954 0 -1 4202560 7967 0 0 0 46 1 0 0 15 0 19 0 462801677 7823536128 61839 33554432000 1073741824 1073778376 140734057689040 18446744073709551615 212699491225 0 4 0 16800975 18446604440278878976 0 0 -1 2 0 0 0
[pid=29084/tid=29107] ppid=29082 vsize=7640172 CPUtime=0.21 cores=0,2
/proc/29084/task/29107/stat : 29107 (java) S 29082 29084 27954 0 -1 4202560 1101 0 0 0 21 0 0 0 15 0 19 0 462801677 7823536128 61839 33554432000 1073741824 1073778376 140734057689040 18446744073709551615 212699491225 0 4 0 16800975 18446604440278878976 0 0 -1 2 0 0 0

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

[pid=29084/tid=29092] ppid=29082 vsize=7640172 CPUtime=0.47 cores=0,2
/proc/29084/task/29092/stat : 29092 (java) S 29082 29084 27954 0 -1 4202560 707 0 0 0 47 0 0 0 15 0 19 0 462801673 7823536128 83084 33554432000 1073741824 1073778376 140734057689040 18446744073709551615 212699491225 0 4 0 16800975 18446604440278878976 0 0 -1 2 0 0 0
[pid=29084/tid=29093] ppid=29082 vsize=7640172 CPUtime=0.44 cores=0,2
/proc/29084/task/29093/stat : 29093 (java) S 29082 29084 27954 0 -1 4202560 3073 0 0 0 44 0 0 0 15 0 19 0 462801673 7823536128 83084 33554432000 1073741824 1073778376 140734057689040 18446744073709551615 212699491225 0 4 0 16800975 18446604440278878976 0 0 -1 2 0 0 0
[pid=29084/tid=29094] ppid=29082 vsize=7640172 CPUtime=0.32 cores=0,2
/proc/29084/task/29094/stat : 29094 (java) S 29082 29084 27954 0 -1 4202560 236 0 0 0 32 0 0 0 15 0 19 0 462801673 7823536128 83084 33554432000 1073741824 1073778376 140734057689040 18446744073709551615 212699491225 0 4 0 16800975 18446604440278878976 0 0 -1 2 0 0 0
[pid=29084/tid=29096] ppid=29082 vsize=7640172 CPUtime=30.68 cores=0,2
/proc/29084/task/29096/stat : 29096 (java) S 29082 29084 27954 0 -1 4202560 31000 0 0 0 3064 4 0 0 15 0 19 0 462801674 7823536128 83084 33554432000 1073741824 1073778376 140734057689040 18446744073709551615 212699491840 0 0 0 16800975 18446604440278878976 0 0 -1 0 0 0 0
[pid=29084/tid=29101] ppid=29082 vsize=7640172 CPUtime=0 cores=0,2
/proc/29084/task/29101/stat : 29101 (java) S 29082 29084 27954 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 462801674 7823536128 83084 33554432000 1073741824 1073778376 140734057689040 18446744073709551615 212699491225 0 4 0 16800975 18446604440278878976 0 0 -1 0 0 0 0
[pid=29084/tid=29102] ppid=29082 vsize=7640172 CPUtime=0 cores=0,2
/proc/29084/task/29102/stat : 29102 (java) S 29082 29084 27954 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 462801674 7823536128 83084 33554432000 1073741824 1073778376 140734057689040 18446744073709551615 212699491225 0 4 0 16800975 18446604440278878976 0 0 -1 0 0 0 0
[pid=29084/tid=29105] ppid=29082 vsize=7640172 CPUtime=0 cores=0,2
/proc/29084/task/29105/stat : 29105 (java) S 29082 29084 27954 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 462801677 7823536128 83084 33554432000 1073741824 1073778376 140734057689040 18446744073709551615 212699498929 0 4 0 16800975 18446604440278878976 0 0 -1 0 0 0 0
[pid=29084/tid=29106] ppid=29082 vsize=7640172 CPUtime=0.5 cores=0,2
/proc/29084/task/29106/stat : 29106 (java) S 29082 29084 27954 0 -1 4202560 7976 0 0 0 49 1 0 0 15 0 19 0 462801677 7823536128 83084 33554432000 1073741824 1073778376 140734057689040 18446744073709551615 212699491225 0 4 0 16800975 18446604440278878976 0 0 -1 2 0 0 0
[pid=29084/tid=29107] ppid=29082 vsize=7640172 CPUtime=0.21 cores=0,2
/proc/29084/task/29107/stat : 29107 (java) S 29082 29084 27954 0 -1 4202560 1101 0 0 0 21 0 0 0 15 0 19 0 462801677 7823536128 83084 33554432000 1073741824 1073778376 140734057689040 18446744073709551615 212699491225 0 4 0 16800975 18446604440278878976 0 0 -1 2 0 0 0
[pid=29084/tid=29108] ppid=29082 vsize=7640172 CPUtime=0 cores=0,2
/proc/29084/task/29108/stat : 29108 (java) S 29082 29084 27954 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 462801677 7823536128 83084 33554432000 1073741824 1073778376 140734057689040 18446744073709551615 212699491225 0 4 0 16800975 18446604440278878976 0 0 -1 0 0 0 0
[pid=29084/tid=29109] ppid=29082 vsize=7640172 CPUtime=0 cores=0,2
/proc/29084/task/29109/stat : 29109 (java) S 29082 29084 27954 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 19 0 462801677 7823536128 83084 33554432000 1073741824 1073778376 140734057689040 18446744073709551615 212699491840 0 4 0 16800975 18446604440278878976 0 0 -1 2 0 0 0
[pid=29084/tid=29200] ppid=29082 vsize=7640172 CPUtime=0 cores=0,2
/proc/29084/task/29200/stat : 29200 (java) S 29082 29084 27954 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 462801753 7823536128 83084 33554432000 1073741824 1073778376 140734057689040 18446744073709551615 212699491840 0 4 0 16800975 18446604440278878976 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1184.64
Current children cumulated vsize (KiB) 7640172

[startup+1242.3 s]
/proc/loadavg: 4.00 3.99 3.73 5/262 29243
/proc/meminfo: memFree=15649288/32951124 swapFree=67111528/67111528
[pid=29084] ppid=29082 vsize=7640172 CPUtime=1244.7 cores=0,2
/proc/29084/stat : 29084 (java) S 29082 29084 27954 0 -1 4202496 88781 0 1 0 124454 16 0 0 21 0 19 0 462801671 7823536128 83421 33554432000 1073741824 1073778376 140734057689040 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29084/statm: 1910043 83421 2256 9 0 1900781 0
[pid=29084/tid=29085] ppid=29082 vsize=7640172 CPUtime=1208.93 cores=0,2
/proc/29084/task/29085/stat : 29085 (java) R 29082 29084 27954 0 -1 4202560 25765 0 1 0 120887 6 0 0 25 0 19 0 462801672 7823536128 83421 33554432000 1073741824 1073778376 140734057689040 18446744073709551615 46912505666868 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29084/tid=29087] ppid=29082 vsize=7640172 CPUtime=0.46 cores=0,2
/proc/29084/task/29087/stat : 29087 (java) S 29082 29084 27954 0 -1 4202560 8338 0 0 0 45 1 0 0 16 0 19 0 462801673 7823536128 83421 33554432000 1073741824 1073778376 140734057689040 18446744073709551615 212699491225 0 4 0 16800975 18446604440278878976 0 0 -1 2 0 0 0
[pid=29084/tid=29088] ppid=29082 vsize=7640172 CPUtime=0.51 cores=0,2
/proc/29084/task/29088/stat : 29088 (java) S 29082 29084 27954 0 -1 4202560 7313 0 0 0 50 1 0 0 16 0 19 0 462801673 7823536128 83421 33554432000 1073741824 1073778376 140734057689040 18446744073709551615 212699491225 0 4 0 16800975 18446604440278878976 0 0 -1 2 0 0 0
[pid=29084/tid=29089] ppid=29082 vsize=7640172 CPUtime=0.43 cores=0,2
/proc/29084/task/29089/stat : 29089 (java) S 29082 29084 27954 0 -1 4202560 517 0 0 0 43 0 0 0 15 0 19 0 462801673 7823536128 83421 33554432000 1073741824 1073778376 140734057689040 18446744073709551615 212699491225 0 4 0 16800975 18446604440278878976 0 0 -1 2 0 0 0
[pid=29084/tid=29090] ppid=29082 vsize=7640172 CPUtime=0.44 cores=0,2
/proc/29084/task/29090/stat : 29090 (java) S 29082 29084 27954 0 -1 4202560 731 0 0 0 44 0 0 0 15 0 19 0 462801673 7823536128 83421 33554432000 1073741824 1073778376 140734057689040 18446744073709551615 212699491225 0 4 0 16800975 18446604440278878976 0 0 -1 2 0 0 0
[pid=29084/tid=29091] ppid=29082 vsize=7640172 CPUtime=0.37 cores=0,2
/proc/29084/task/29091/stat : 29091 (java) S 29082 29084 27954 0 -1 4202560 462 0 0 0 37 0 0 0 15 0 19 0 462801673 7823536128 83421 33554432000 1073741824 1073778376 140734057689040 18446744073709551615 212699491225 0 4 0 16800975 18446604440278878976 0 0 -1 2 0 0 0
[pid=29084/tid=29092] ppid=29082 vsize=7640172 CPUtime=0.47 cores=0,2
/proc/29084/task/29092/stat : 29092 (java) S 29082 29084 27954 0 -1 4202560 707 0 0 0 47 0 0 0 15 0 19 0 462801673 7823536128 83421 33554432000 1073741824 1073778376 140734057689040 18446744073709551615 212699491225 0 4 0 16800975 18446604440278878976 0 0 -1 2 0 0 0
[pid=29084/tid=29093] ppid=29082 vsize=7640172 CPUtime=0.44 cores=0,2
/proc/29084/task/29093/stat : 29093 (java) S 29082 29084 27954 0 -1 4202560 3073 0 0 0 44 0 0 0 16 0 19 0 462801673 7823536128 83421 33554432000 1073741824 1073778376 140734057689040 18446744073709551615 212699491225 0 4 0 16800975 18446604440278878976 0 0 -1 2 0 0 0
[pid=29084/tid=29094] ppid=29082 vsize=7640172 CPUtime=0.33 cores=0,2
/proc/29084/task/29094/stat : 29094 (java) S 29082 29084 27954 0 -1 4202560 236 0 0 0 33 0 0 0 15 0 19 0 462801673 7823536128 83421 33554432000 1073741824 1073778376 140734057689040 18446744073709551615 212699491225 0 4 0 16800975 18446604440278878976 0 0 -1 2 0 0 0
[pid=29084/tid=29096] ppid=29082 vsize=7640172 CPUtime=31.51 cores=0,2
/proc/29084/task/29096/stat : 29096 (java) S 29082 29084 27954 0 -1 4202560 31341 0 0 0 3147 4 0 0 15 0 19 0 462801674 7823536128 83421 33554432000 1073741824 1073778376 140734057689040 18446744073709551615 212699491840 0 0 0 16800975 18446604440278878976 0 0 -1 0 0 0 0
[pid=29084/tid=29101] ppid=29082 vsize=7640172 CPUtime=0 cores=0,2
/proc/29084/task/29101/stat : 29101 (java) S 29082 29084 27954 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 462801674 7823536128 83421 33554432000 1073741824 1073778376 140734057689040 18446744073709551615 212699491225 0 4 0 16800975 18446604440278878976 0 0 -1 0 0 0 0
[pid=29084/tid=29102] ppid=29082 vsize=7640172 CPUtime=0 cores=0,2
/proc/29084/task/29102/stat : 29102 (java) S 29082 29084 27954 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 462801674 7823536128 83421 33554432000 1073741824 1073778376 140734057689040 18446744073709551615 212699491225 0 4 0 16800975 18446604440278878976 0 0 -1 0 0 0 0
[pid=29084/tid=29105] ppid=29082 vsize=7640172 CPUtime=0 cores=0,2
/proc/29084/task/29105/stat : 29105 (java) S 29082 29084 27954 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 462801677 7823536128 83421 33554432000 1073741824 1073778376 140734057689040 18446744073709551615 212699498929 0 4 0 16800975 18446604440278878976 0 0 -1 0 0 0 0
[pid=29084/tid=29106] ppid=29082 vsize=7640172 CPUtime=0.5 cores=0,2
/proc/29084/task/29106/stat : 29106 (java) S 29082 29084 27954 0 -1 4202560 7976 0 0 0 49 1 0 0 15 0 19 0 462801677 7823536128 83421 33554432000 1073741824 1073778376 140734057689040 18446744073709551615 212699491225 0 4 0 16800975 18446604440278878976 0 0 -1 2 0 0 0
[pid=29084/tid=29107] ppid=29082 vsize=7640172 CPUtime=0.21 cores=0,2
/proc/29084/task/29107/stat : 29107 (java) S 29082 29084 27954 0 -1 4202560 1101 0 0 0 21 0 0 0 15 0 19 0 462801677 7823536128 83421 33554432000 1073741824 1073778376 140734057689040 18446744073709551615 212699491225 0 4 0 16800975 18446604440278878976 0 0 -1 2 0 0 0
[pid=29084/tid=29108] ppid=29082 vsize=7640172 CPUtime=0 cores=0,2
/proc/29084/task/29108/stat : 29108 (java) S 29082 29084 27954 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 462801677 7823536128 83421 33554432000 1073741824 1073778376 140734057689040 18446744073709551615 212699491225 0 4 0 16800975 18446604440278878976 0 0 -1 0 0 0 0
[pid=29084/tid=29109] ppid=29082 vsize=7640172 CPUtime=0 cores=0,2
/proc/29084/task/29109/stat : 29109 (java) S 29082 29084 27954 0 -1 4202560 71 0 0 0 0 0 0 0 15 0 19 0 462801677 7823536128 83421 33554432000 1073741824 1073778376 140734057689040 18446744073709551615 212699491840 0 4 0 16800975 18446604440278878976 0 0 -1 2 0 0 0
[pid=29084/tid=29200] ppid=29082 vsize=7640172 CPUtime=0 cores=0,2
/proc/29084/task/29200/stat : 29200 (java) S 29082 29084 27954 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 462801753 7823536128 83421 33554432000 1073741824 1073778376 140734057689040 18446744073709551615 212699491840 0 4 0 16800975 18446604440278878976 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1244.7
Current children cumulated vsize (KiB) 7640172



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 4.00 3.99 3.74 4/242 29248
/proc/meminfo: memFree=15824248/32951124 swapFree=67111528/67111528
[pid=29084] ppid=29082 vsize=7640172 CPUtime=1302.47 cores=0,2
/proc/29084/stat : 29084 (java) S 29082 29084 27954 0 -1 4202496 89064 0 1 0 130231 16 0 0 21 0 19 0 462801671 7823536128 83693 33554432000 1073741824 1073778376 140734057689040 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29084/statm: 1910043 83693 2256 9 0 1900781 0
[pid=29084/tid=29085] ppid=29082 vsize=7640172 CPUtime=1265.73 cores=0,2
/proc/29084/task/29085/stat : 29085 (java) R 29082 29084 27954 0 -1 4202560 25768 0 1 0 126567 6 0 0 25 0 19 0 462801672 7823536128 83693 33554432000 1073741824 1073778376 140734057689040 18446744073709551615 46912505722128 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29084/tid=29087] ppid=29082 vsize=7640172 CPUtime=0.46 cores=0,2
/proc/29084/task/29087/stat : 29087 (java) S 29082 29084 27954 0 -1 4202560 8338 0 0 0 45 1 0 0 15 0 19 0 462801673 7823536128 83693 33554432000 1073741824 1073778376 140734057689040 18446744073709551615 212699491225 0 4 0 16800975 18446604440278878976 0 0 -1 2 0 0 0
[pid=29084/tid=29088] ppid=29082 vsize=7640172 CPUtime=0.55 cores=0,2
/proc/29084/task/29088/stat : 29088 (java) S 29082 29084 27954 0 -1 4202560 7315 0 0 0 54 1 0 0 15 0 19 0 462801673 7823536128 83693 33554432000 1073741824 1073778376 140734057689040 18446744073709551615 212699491225 0 4 0 16800975 18446604440278878976 0 0 -1 2 0 0 0
[pid=29084/tid=29089] ppid=29082 vsize=7640172 CPUtime=0.45 cores=0,2
/proc/29084/task/29089/stat : 29089 (java) S 29082 29084 27954 0 -1 4202560 517 0 0 0 45 0 0 0 15 0 19 0 462801673 7823536128 83693 33554432000 1073741824 1073778376 140734057689040 18446744073709551615 212699491225 0 4 0 16800975 18446604440278878976 0 0 -1 2 0 0 0
[pid=29084/tid=29090] ppid=29082 vsize=7640172 CPUtime=0.46 cores=0,2
/proc/29084/task/29090/stat : 29090 (java) S 29082 29084 27954 0 -1 4202560 733 0 0 0 46 0 0 0 15 0 19 0 462801673 7823536128 83693 33554432000 1073741824 1073778376 140734057689040 18446744073709551615 212699491225 0 4 0 16800975 18446604440278878976 0 0 -1 2 0 0 0
[pid=29084/tid=29091] ppid=29082 vsize=7640172 CPUtime=0.37 cores=0,2
/proc/29084/task/29091/stat : 29091 (java) S 29082 29084 27954 0 -1 4202560 462 0 0 0 37 0 0 0 15 0 19 0 462801673 7823536128 83693 33554432000 1073741824 1073778376 140734057689040 18446744073709551615 212699491225 0 4 0 16800975 18446604440278878976 0 0 -1 2 0 0 0
[pid=29084/tid=29092] ppid=29082 vsize=7640172 CPUtime=0.49 cores=0,2
/proc/29084/task/29092/stat : 29092 (java) S 29082 29084 27954 0 -1 4202560 710 0 0 0 49 0 0 0 16 0 19 0 462801673 7823536128 83693 33554432000 1073741824 1073778376 140734057689040 18446744073709551615 212699491225 0 4 0 16800975 18446604440278878976 0 0 -1 2 0 0 0
[pid=29084/tid=29093] ppid=29082 vsize=7640172 CPUtime=0.47 cores=0,2
/proc/29084/task/29093/stat : 29093 (java) S 29082 29084 27954 0 -1 4202560 3073 0 0 0 47 0 0 0 15 0 19 0 462801673 7823536128 83693 33554432000 1073741824 1073778376 140734057689040 18446744073709551615 212699491225 0 4 0 16800975 18446604440278878976 0 0 -1 2 0 0 0
[pid=29084/tid=29094] ppid=29082 vsize=7640172 CPUtime=0.33 cores=0,2
/proc/29084/task/29094/stat : 29094 (java) S 29082 29084 27954 0 -1 4202560 236 0 0 0 33 0 0 0 15 0 19 0 462801673 7823536128 83693 33554432000 1073741824 1073778376 140734057689040 18446744073709551615 212699491225 0 4 0 16800975 18446604440278878976 0 0 -1 2 0 0 0
[pid=29084/tid=29096] ppid=29082 vsize=7640172 CPUtime=32.35 cores=0,2
/proc/29084/task/29096/stat : 29096 (java) S 29082 29084 27954 0 -1 4202560 31610 0 0 0 3231 4 0 0 15 0 19 0 462801674 7823536128 83693 33554432000 1073741824 1073778376 140734057689040 18446744073709551615 212699491840 0 0 0 16800975 18446604440278878976 0 0 -1 0 0 0 0
[pid=29084/tid=29101] ppid=29082 vsize=7640172 CPUtime=0 cores=0,2
/proc/29084/task/29101/stat : 29101 (java) S 29082 29084 27954 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 462801674 7823536128 83693 33554432000 1073741824 1073778376 140734057689040 18446744073709551615 212699491225 0 4 0 16800975 18446604440278878976 0 0 -1 0 0 0 0
[pid=29084/tid=29102] ppid=29082 vsize=7640172 CPUtime=0 cores=0,2
/proc/29084/task/29102/stat : 29102 (java) S 29082 29084 27954 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 462801674 7823536128 83693 33554432000 1073741824 1073778376 140734057689040 18446744073709551615 212699491225 0 4 0 16800975 18446604440278878976 0 0 -1 0 0 0 0
[pid=29084/tid=29105] ppid=29082 vsize=7640172 CPUtime=0 cores=0,2
/proc/29084/task/29105/stat : 29105 (java) S 29082 29084 27954 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 462801677 7823536128 83693 33554432000 1073741824 1073778376 140734057689040 18446744073709551615 212699498929 0 4 0 16800975 18446604440278878976 0 0 -1 0 0 0 0
[pid=29084/tid=29106] ppid=29082 vsize=7640172 CPUtime=0.5 cores=0,2
/proc/29084/task/29106/stat : 29106 (java) S 29082 29084 27954 0 -1 4202560 7976 0 0 0 49 1 0 0 15 0 19 0 462801677 7823536128 83693 33554432000 1073741824 1073778376 140734057689040 18446744073709551615 212699491225 0 4 0 16800975 18446604440278878976 0 0 -1 2 0 0 0
[pid=29084/tid=29107] ppid=29082 vsize=7640172 CPUtime=0.21 cores=0,2
/proc/29084/task/29107/stat : 29107 (java) S 29082 29084 27954 0 -1 4202560 1101 0 0 0 21 0 0 0 15 0 19 0 462801677 7823536128 83693 33554432000 1073741824 1073778376 140734057689040 18446744073709551615 212699491225 0 4 0 16800975 18446604440278878976 0 0 -1 2 0 0 0
[pid=29084/tid=29108] ppid=29082 vsize=7640172 CPUtime=0 cores=0,2
/proc/29084/task/29108/stat : 29108 (java) S 29082 29084 27954 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 462801677 7823536128 83693 33554432000 1073741824 1073778376 140734057689040 18446744073709551615 212699491225 0 4 0 16800975 18446604440278878976 0 0 -1 0 0 0 0
[pid=29084/tid=29109] ppid=29082 vsize=7640172 CPUtime=0 cores=0,2
/proc/29084/task/29109/stat : 29109 (java) S 29082 29084 27954 0 -1 4202560 75 0 0 0 0 0 0 0 15 0 19 0 462801677 7823536128 83693 33554432000 1073741824 1073778376 140734057689040 18446744073709551615 212699491840 0 4 0 16800975 18446604440278878976 0 0 -1 2 0 0 0
[pid=29084/tid=29200] ppid=29082 vsize=7640172 CPUtime=0 cores=0,2
/proc/29084/task/29200/stat : 29200 (java) S 29082 29084 27954 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 462801753 7823536128 83693 33554432000 1073741824 1073778376 140734057689040 18446744073709551615 212699491840 0 4 0 16800975 18446604440278878976 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1302.47
Current children cumulated vsize (KiB) 7640172

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

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

[startup+1300 s]
/proc/loadavg: 4.00 3.99 3.74 4/242 29248
/proc/meminfo: memFree=15824248/32951124 swapFree=67111528/67111528
[pid=29084] ppid=29082 vsize=7640172 CPUtime=1302.47 cores=0,2
/proc/29084/stat : 29084 (java) S 29082 29084 27954 0 -1 4202496 89064 0 1 0 130231 16 0 0 21 0 19 0 462801671 7823536128 83693 33554432000 1073741824 1073778376 140734057689040 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29084/statm: 1910043 83693 2256 9 0 1900781 0
[pid=29084/tid=29085] ppid=29082 vsize=7640172 CPUtime=1265.73 cores=0,2
/proc/29084/task/29085/stat : 29085 (java) R 29082 29084 27954 0 -1 4202560 25768 0 1 0 126567 6 0 0 25 0 19 0 462801672 7823536128 83693 33554432000 1073741824 1073778376 140734057689040 18446744073709551615 46912505722128 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29084/tid=29087] ppid=29082 vsize=7640172 CPUtime=0.46 cores=0,2
/proc/29084/task/29087/stat : 29087 (java) S 29082 29084 27954 0 -1 4202560 8338 0 0 0 45 1 0 0 15 0 19 0 462801673 7823536128 83693 33554432000 1073741824 1073778376 140734057689040 18446744073709551615 212699491225 0 4 0 16800975 18446604440278878976 0 0 -1 2 0 0 0
[pid=29084/tid=29088] ppid=29082 vsize=7640172 CPUtime=0.55 cores=0,2
/proc/29084/task/29088/stat : 29088 (java) S 29082 29084 27954 0 -1 4202560 7315 0 0 0 54 1 0 0 15 0 19 0 462801673 7823536128 83693 33554432000 1073741824 1073778376 140734057689040 18446744073709551615 212699491225 0 4 0 16800975 18446604440278878976 0 0 -1 2 0 0 0
[pid=29084/tid=29089] ppid=29082 vsize=7640172 CPUtime=0.45 cores=0,2
/proc/29084/task/29089/stat : 29089 (java) S 29082 29084 27954 0 -1 4202560 517 0 0 0 45 0 0 0 15 0 19 0 462801673 7823536128 83693 33554432000 1073741824 1073778376 140734057689040 18446744073709551615 212699491225 0 4 0 16800975 18446604440278878976 0 0 -1 2 0 0 0
[pid=29084/tid=29090] ppid=29082 vsize=7640172 CPUtime=0.46 cores=0,2
/proc/29084/task/29090/stat : 29090 (java) S 29082 29084 27954 0 -1 4202560 733 0 0 0 46 0 0 0 15 0 19 0 462801673 7823536128 83693 33554432000 1073741824 1073778376 140734057689040 18446744073709551615 212699491225 0 4 0 16800975 18446604440278878976 0 0 -1 2 0 0 0
[pid=29084/tid=29091] ppid=29082 vsize=7640172 CPUtime=0.37 cores=0,2
/proc/29084/task/29091/stat : 29091 (java) S 29082 29084 27954 0 -1 4202560 462 0 0 0 37 0 0 0 15 0 19 0 462801673 7823536128 83693 33554432000 1073741824 1073778376 140734057689040 18446744073709551615 212699491225 0 4 0 16800975 18446604440278878976 0 0 -1 2 0 0 0
[pid=29084/tid=29092] ppid=29082 vsize=7640172 CPUtime=0.49 cores=0,2
/proc/29084/task/29092/stat : 29092 (java) S 29082 29084 27954 0 -1 4202560 710 0 0 0 49 0 0 0 16 0 19 0 462801673 7823536128 83693 33554432000 1073741824 1073778376 140734057689040 18446744073709551615 212699491225 0 4 0 16800975 18446604440278878976 0 0 -1 2 0 0 0
[pid=29084/tid=29093] ppid=29082 vsize=7640172 CPUtime=0.47 cores=0,2
/proc/29084/task/29093/stat : 29093 (java) S 29082 29084 27954 0 -1 4202560 3073 0 0 0 47 0 0 0 15 0 19 0 462801673 7823536128 83693 33554432000 1073741824 1073778376 140734057689040 18446744073709551615 212699491225 0 4 0 16800975 18446604440278878976 0 0 -1 2 0 0 0
[pid=29084/tid=29094] ppid=29082 vsize=7640172 CPUtime=0.33 cores=0,2
/proc/29084/task/29094/stat : 29094 (java) S 29082 29084 27954 0 -1 4202560 236 0 0 0 33 0 0 0 15 0 19 0 462801673 7823536128 83693 33554432000 1073741824 1073778376 140734057689040 18446744073709551615 212699491225 0 4 0 16800975 18446604440278878976 0 0 -1 2 0 0 0
[pid=29084/tid=29096] ppid=29082 vsize=7640172 CPUtime=32.35 cores=0,2
/proc/29084/task/29096/stat : 29096 (java) S 29082 29084 27954 0 -1 4202560 31610 0 0 0 3231 4 0 0 15 0 19 0 462801674 7823536128 83693 33554432000 1073741824 1073778376 140734057689040 18446744073709551615 212699491840 0 0 0 16800975 18446604440278878976 0 0 -1 0 0 0 0
[pid=29084/tid=29101] ppid=29082 vsize=7640172 CPUtime=0 cores=0,2
/proc/29084/task/29101/stat : 29101 (java) S 29082 29084 27954 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 462801674 7823536128 83693 33554432000 1073741824 1073778376 140734057689040 18446744073709551615 212699491225 0 4 0 16800975 18446604440278878976 0 0 -1 0 0 0 0
[pid=29084/tid=29102] ppid=29082 vsize=7640172 CPUtime=0 cores=0,2
/proc/29084/task/29102/stat : 29102 (java) S 29082 29084 27954 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 462801674 7823536128 83693 33554432000 1073741824 1073778376 140734057689040 18446744073709551615 212699491225 0 4 0 16800975 18446604440278878976 0 0 -1 0 0 0 0
[pid=29084/tid=29105] ppid=29082 vsize=7640172 CPUtime=0 cores=0,2
/proc/29084/task/29105/stat : 29105 (java) S 29082 29084 27954 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 462801677 7823536128 83693 33554432000 1073741824 1073778376 140734057689040 18446744073709551615 212699498929 0 4 0 16800975 18446604440278878976 0 0 -1 0 0 0 0
[pid=29084/tid=29106] ppid=29082 vsize=7640172 CPUtime=0.5 cores=0,2
/proc/29084/task/29106/stat : 29106 (java) S 29082 29084 27954 0 -1 4202560 7976 0 0 0 49 1 0 0 15 0 19 0 462801677 7823536128 83693 33554432000 1073741824 1073778376 140734057689040 18446744073709551615 212699491225 0 4 0 16800975 18446604440278878976 0 0 -1 2 0 0 0
[pid=29084/tid=29107] ppid=29082 vsize=7640172 CPUtime=0.21 cores=0,2
/proc/29084/task/29107/stat : 29107 (java) S 29082 29084 27954 0 -1 4202560 1101 0 0 0 21 0 0 0 15 0 19 0 462801677 7823536128 83693 33554432000 1073741824 1073778376 140734057689040 18446744073709551615 212699491225 0 4 0 16800975 18446604440278878976 0 0 -1 2 0 0 0
[pid=29084/tid=29108] ppid=29082 vsize=7640172 CPUtime=0 cores=0,2
/proc/29084/task/29108/stat : 29108 (java) S 29082 29084 27954 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 462801677 7823536128 83693 33554432000 1073741824 1073778376 140734057689040 18446744073709551615 212699491225 0 4 0 16800975 18446604440278878976 0 0 -1 0 0 0 0
[pid=29084/tid=29109] ppid=29082 vsize=7640172 CPUtime=0 cores=0,2
/proc/29084/task/29109/stat : 29109 (java) S 29082 29084 27954 0 -1 4202560 75 0 0 0 0 0 0 0 15 0 19 0 462801677 7823536128 83693 33554432000 1073741824 1073778376 140734057689040 18446744073709551615 212699491840 0 4 0 16800975 18446604440278878976 0 0 -1 2 0 0 0
[pid=29084/tid=29200] ppid=29082 vsize=7640172 CPUtime=0 cores=0,2
/proc/29084/task/29200/stat : 29200 (java) S 29082 29084 27954 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 462801753 7823536128 83693 33554432000 1073741824 1073778376 140734057689040 18446744073709551615 212699491840 0 4 0 16800975 18446604440278878976 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1302.47
Current children cumulated vsize (KiB) 7640172

Child status: 143
Real time (s): 1300.08
CPU time (s): 1302.59
CPU user time (s): 1302.4
CPU system time (s): 0.179972
CPU usage (%): 100.192
Max. virtual memory (cumulated for all children) (KiB): 7640172

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1302.41
system time used= 0.179972
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 89098
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= 30792
involuntary context switches= 7009

runsolver used 2.24966 second user time and 4.87426 second system time

The end

Launcher Data 

Begin job on node139 at 2011-04-23 00:40:39
IDJOB=3249366
IDBENCH=83166
IDSOLVER=1611
FILE ID=node139/3249366-1303512039
RUNJOBID= node139-1303512039-28948
PBS_JOBID= 13134271
Free space on /tmp= 72552 MiB

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

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

MD5SUM BENCH= 65a5698edfd6f3a12089595d81c196e3
RANDOM SEED=71644762

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:      16584700 kB
Buffers:       1739516 kB
Cached:       13996608 kB
SwapCached:          0 kB
Active:        9370472 kB
Inactive:      6478288 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      16584700 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           18296 kB
Writeback:           0 kB
AnonPages:      111496 kB
Mapped:          22644 kB
Slab:           452184 kB
PageTables:       4744 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  7466288 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= 72544 MiB
End job on node139 at 2011-04-23 01:02:21