Trace number 3263008

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NameSAT03/handmade/anton/UNSAT/
SGI_30_50_30_20_1-log.shuffled-as.sat03-107.cnf
MD5SUM5f29341b29f4bbeb333d68befe08c7ae
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark460.255
Satisfiable
(Un)Satisfiability was proved
Number of variables150
Number of clauses56970
Sum of the clauses size569400
Maximum clause length10
Minimum clause length5
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 560
Number of clauses of size over 556910

Solver Data 

0.05/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.05/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.05/0.07	c See www.sat4j.org for details.
0.05/0.07	c no version file found!!!
0.05/0.07	c java.runtime.name	Java(TM) SE Runtime Environment
0.05/0.07	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.05/0.07	c java.vm.version	19.1-b02
0.05/0.07	c java.vm.vendor	Sun Microsystems Inc.
0.05/0.07	c sun.arch.data.model	64
0.05/0.07	c java.version		1.6.0_24
0.05/0.07	c os.name		Linux
0.05/0.07	c os.version		2.6.18-164.el5
0.05/0.07	c os.arch		amd64
0.05/0.07	c Free memory 		6997539544
0.05/0.07	c Max memory 		7034241024
0.05/0.07	c Total memory 		7034241024
0.05/0.07	c Number of processors 	8
0.05/0.09	c --- Begin Solver configuration ---
0.05/0.09	c org.sat4j.minisat.constraints.MixedDataStructureDanielWL@664741d6
0.05/0.09	c Learn all clauses as in MiniSAT
0.05/0.09	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.1 initConflictBound=100 
0.05/0.09	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT
0.05/0.09	c Expensive reason simplification
0.05/0.09	c Armin Biere (Picosat) restarts strategy
0.05/0.09	c Glucose learned constraints deletion strategy
0.05/0.09	c timeout=2147483647s
0.05/0.09	c DB Simplification allowed=true
0.05/0.09	c --- End Solver configuration ---
0.05/0.09	c solving HOME/instance-3263008-1303559997.cnf
0.05/0.09	c reading problem ... 
0.27/0.28	c ... done. Wall clock time 0.193s.
0.27/0.28	c #vars     150
0.27/0.28	c #constraints  56970
0.27/0.28	c constraints type 
0.27/0.28	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 56970
1.18/0.84	c cleaning 2490 clauses out of 5001 with flag 5001/5001
1.81/1.25	c cleaning 4248 clauses out of 8511 with flag 11001/11001
2.31/1.72	c cleaning 5628 clauses out of 11263 with flag 18001/18001
2.82/2.26	c cleaning 6810 clauses out of 13634 with flag 26000/26000
3.54/2.92	c cleaning 7899 clauses out of 15826 with flag 35002/35002
4.23/3.66	c cleaning 8951 clauses out of 17928 with flag 45003/45003
5.04/4.46	c cleaning 9981 clauses out of 19974 with flag 56000/56000
5.93/5.39	c cleaning 10982 clauses out of 21993 with flag 68000/68000
7.14/6.54	c cleaning 11988 clauses out of 24011 with flag 81000/81000
8.34/7.78	c cleaning 13004 clauses out of 26023 with flag 95000/95000
9.84/9.21	c cleaning 14004 clauses out of 28020 with flag 110001/110001
11.24/10.63	c cleaning 15003 clauses out of 30016 with flag 126001/126001
12.84/12.30	c cleaning 15996 clauses out of 32013 with flag 143001/143001
14.95/14.35	c cleaning 16983 clauses out of 34017 with flag 161001/161001
17.25/16.62	c cleaning 17997 clauses out of 36033 with flag 180000/180000
19.56/18.92	c cleaning 19006 clauses out of 38037 with flag 200001/200001
22.06/21.42	c cleaning 20005 clauses out of 40030 with flag 221000/221000
25.26/24.62	c cleaning 20995 clauses out of 42025 with flag 243000/243000
27.76/27.16	c cleaning 22004 clauses out of 44030 with flag 266000/266000
30.86/30.22	c cleaning 23008 clauses out of 46028 with flag 290002/290002
34.56/33.99	c cleaning 23992 clauses out of 48018 with flag 315000/315000
38.87/38.22	c cleaning 25010 clauses out of 50027 with flag 341001/341001
42.27/41.60	c cleaning 25986 clauses out of 52016 with flag 368000/368000
46.27/45.69	c cleaning 27005 clauses out of 54030 with flag 396000/396000
50.47/49.88	c cleaning 28004 clauses out of 56028 with flag 425003/425003
55.07/54.40	c cleaning 28977 clauses out of 58021 with flag 455000/455000
58.68/58.09	c cleaning 30004 clauses out of 60044 with flag 486000/486000
62.88/62.26	c cleaning 30999 clauses out of 62040 with flag 518000/518000
68.18/67.50	c cleaning 32006 clauses out of 64041 with flag 551000/551000
73.98/73.39	c cleaning 32996 clauses out of 66035 with flag 585000/585000
78.89/78.23	c cleaning 33999 clauses out of 68039 with flag 620000/620000
83.49/82.82	c cleaning 34990 clauses out of 70042 with flag 656002/656002
88.49/87.90	c cleaning 35991 clauses out of 72050 with flag 693000/693000
93.89/93.22	c cleaning 37026 clauses out of 74060 with flag 731001/731001
100.59/99.95	c cleaning 38014 clauses out of 76035 with flag 770002/770002
106.89/106.29	c cleaning 38994 clauses out of 78019 with flag 810000/810000
114.70/114.09	c cleaning 39991 clauses out of 80025 with flag 851000/851000
121.90/121.23	c cleaning 40992 clauses out of 82036 with flag 893002/893002
130.10/129.41	c cleaning 42011 clauses out of 84042 with flag 936000/936000
137.11/136.47	c cleaning 43010 clauses out of 86032 with flag 980001/980001
145.20/144.53	c cleaning 44003 clauses out of 88024 with flag 1025003/1025003
155.81/155.19	c cleaning 45000 clauses out of 90019 with flag 1071001/1071001
166.42/165.78	c cleaning 46004 clauses out of 92019 with flag 1118001/1118001
176.42/175.77	c cleaning 46989 clauses out of 94014 with flag 1166000/1166000
187.13/186.48	c cleaning 47992 clauses out of 96026 with flag 1215001/1215001
198.53/197.87	c cleaning 48982 clauses out of 98033 with flag 1265000/1265000
208.54/207.82	c cleaning 50013 clauses out of 100052 with flag 1316001/1316001
218.64/217.98	c cleaning 51011 clauses out of 102038 with flag 1368000/1368000
229.45/228.77	c cleaning 51991 clauses out of 104029 with flag 1421002/1421002
240.35/239.67	c cleaning 53009 clauses out of 106036 with flag 1475000/1475000
252.35/251.69	c cleaning 53988 clauses out of 108027 with flag 1530000/1530000
266.25/265.50	c cleaning 55004 clauses out of 110039 with flag 1586000/1586000
277.46/276.70	c cleaning 56004 clauses out of 112036 with flag 1643001/1643001
289.06/288.33	c cleaning 56505 clauses out of 113032 with flag 1700001/1700001
302.26/301.50	c cleaning 56749 clauses out of 113529 with flag 1757003/1757003
316.56/315.85	c cleaning 56857 clauses out of 113777 with flag 1814000/1814000
328.97/328.26	c cleaning 56945 clauses out of 113921 with flag 1871001/1871001
344.17/343.40	c cleaning 56973 clauses out of 113976 with flag 1928001/1928001
359.78/359.00	c cleaning 56981 clauses out of 114003 with flag 1985001/1985001
373.69/372.97	c cleaning 57002 clauses out of 114021 with flag 2042000/2042000
386.28/385.52	c cleaning 56987 clauses out of 114020 with flag 2099001/2099001
399.09/398.32	c cleaning 57006 clauses out of 114032 with flag 2156000/2156000
411.19/410.49	c cleaning 57002 clauses out of 114026 with flag 2213000/2213000
425.30/424.54	c cleaning 56996 clauses out of 114025 with flag 2270001/2270001
437.90/437.10	c cleaning 57004 clauses out of 114029 with flag 2327001/2327001
452.00/451.23	c cleaning 56998 clauses out of 114024 with flag 2384000/2384000
465.01/464.21	c cleaning 56987 clauses out of 114026 with flag 2441000/2441000
478.21/477.41	c cleaning 56992 clauses out of 114040 with flag 2498001/2498001
491.31/490.55	c cleaning 56999 clauses out of 114047 with flag 2555000/2555000
504.62/503.80	c cleaning 57013 clauses out of 114048 with flag 2612000/2612000
519.31/518.58	c cleaning 57013 clauses out of 114035 with flag 2669000/2669000
533.22/532.46	c cleaning 57005 clauses out of 114022 with flag 2726000/2726000
545.92/545.16	c cleaning 56990 clauses out of 114017 with flag 2783000/2783000
559.22/558.45	c cleaning 56990 clauses out of 114030 with flag 2840003/2840003
571.82/571.06	c cleaning 57015 clauses out of 114041 with flag 2897004/2897004
585.62/584.82	c cleaning 56985 clauses out of 114024 with flag 2954002/2954002
599.53/598.77	c cleaning 57004 clauses out of 114039 with flag 3011002/3011002
614.03/613.25	c cleaning 56997 clauses out of 114034 with flag 3068001/3068001
626.83/626.08	c cleaning 56989 clauses out of 114036 with flag 3125000/3125000
640.04/639.29	c cleaning 57005 clauses out of 114047 with flag 3182000/3182000
655.04/654.27	c cleaning 57002 clauses out of 114043 with flag 3239001/3239001
669.24/668.47	c cleaning 57005 clauses out of 114040 with flag 3296000/3296000
681.04/680.29	c cleaning 56984 clauses out of 114035 with flag 3353000/3353000
693.85/693.09	c cleaning 57009 clauses out of 114051 with flag 3410000/3410000
708.06/707.26	c cleaning 57013 clauses out of 114042 with flag 3467000/3467000
722.06/721.30	c cleaning 57002 clauses out of 114032 with flag 3524003/3524003
735.16/734.34	c cleaning 57006 clauses out of 114028 with flag 3581001/3581001
749.07/748.28	c cleaning 57001 clauses out of 114021 with flag 3638000/3638000
763.77/762.97	c cleaning 56994 clauses out of 114020 with flag 3695000/3695000
776.77/775.96	c cleaning 56972 clauses out of 114026 with flag 3752000/3752000
788.67/787.83	c cleaning 57017 clauses out of 114055 with flag 3809001/3809001
803.68/802.87	c cleaning 57004 clauses out of 114037 with flag 3866000/3866000
817.68/816.86	c cleaning 57003 clauses out of 114034 with flag 3923001/3923001
832.18/831.30	c cleaning 57006 clauses out of 114030 with flag 3980000/3980000
845.29/844.44	c cleaning 56995 clauses out of 114025 with flag 4037001/4037001
860.99/860.19	c cleaning 57003 clauses out of 114029 with flag 4094000/4094000
876.29/875.49	c cleaning 57001 clauses out of 114028 with flag 4151002/4151002
890.59/889.73	c cleaning 57001 clauses out of 114025 with flag 4208000/4208000
904.79/903.93	c cleaning 56991 clauses out of 114024 with flag 4265000/4265000
919.40/918.52	c cleaning 57010 clauses out of 114036 with flag 4322003/4322003
931.90/931.04	c cleaning 56988 clauses out of 114023 with flag 4379000/4379000
945.50/944.60	c cleaning 57001 clauses out of 114036 with flag 4436001/4436001
959.01/958.17	c cleaning 56979 clauses out of 114035 with flag 4493001/4493001
971.91/971.08	c cleaning 57022 clauses out of 114055 with flag 4550000/4550000
983.31/982.48	c cleaning 57007 clauses out of 114033 with flag 4607000/4607000
995.01/994.13	c cleaning 56976 clauses out of 114026 with flag 4664000/4664000
1008.21/1007.32	c cleaning 57008 clauses out of 114051 with flag 4721001/4721001
1021.72/1020.84	c cleaning 56984 clauses out of 114042 with flag 4778000/4778000
1037.62/1036.75	c cleaning 57004 clauses out of 114058 with flag 4835000/4835000
1050.33/1049.48	c cleaning 56993 clauses out of 114054 with flag 4892000/4892000
1063.82/1062.96	c cleaning 56995 clauses out of 114062 with flag 4949001/4949001
1076.02/1075.15	c cleaning 57017 clauses out of 114066 with flag 5006000/5006000
1087.73/1086.84	c cleaning 57012 clauses out of 114050 with flag 5063001/5063001
1100.63/1099.72	c cleaning 56976 clauses out of 114037 with flag 5120000/5120000
1112.83/1111.94	c cleaning 57014 clauses out of 114061 with flag 5177000/5177000
1125.43/1124.54	c cleaning 57009 clauses out of 114047 with flag 5234000/5234000
1138.04/1137.16	c cleaning 57000 clauses out of 114038 with flag 5291000/5291000
1149.94/1149.01	c cleaning 56979 clauses out of 114039 with flag 5348001/5348001
1164.14/1163.27	c cleaning 57015 clauses out of 114060 with flag 5405001/5405001
1176.85/1175.92	c cleaning 57005 clauses out of 114044 with flag 5462000/5462000
1190.05/1189.11	c cleaning 57013 clauses out of 114040 with flag 5519001/5519001
1201.85/1200.99	c cleaning 56999 clauses out of 114026 with flag 5576000/5576000
1213.25/1212.37	c cleaning 56989 clauses out of 114028 with flag 5633001/5633001
1226.45/1225.55	c cleaning 56989 clauses out of 114038 with flag 5690000/5690000
1240.36/1239.43	c cleaning 57011 clauses out of 114050 with flag 5747001/5747001
1255.86/1254.99	c cleaning 56994 clauses out of 114038 with flag 5804000/5804000
1270.16/1269.24	c cleaning 57021 clauses out of 114045 with flag 5861001/5861001
1283.47/1282.59	c cleaning 56987 clauses out of 114023 with flag 5918000/5918000
1298.06/1297.17	c cleaning 56991 clauses out of 114038 with flag 5975002/5975002
1300.97/1300.01	c starts		: 2263
1300.97/1300.01	c conflicts		: 5992486
1300.97/1300.01	c decisions		: 9357814
1300.97/1300.01	c propagations		: 43172253
1300.97/1300.01	c inspects		: 16890015288
1300.97/1300.01	c shortcuts		: 0
1300.97/1300.01	c learnt literals	: 0
1300.97/1300.01	c learnt binary clauses	: 0
1300.97/1300.01	c learnt ternary clauses	: 0
1300.97/1300.01	c learnt constraints	: 5992486
1300.97/1300.01	c ignored constraints	: 0
1300.97/1300.01	c root simplifications	: 2263
1300.97/1300.01	c removed literals (reason simplification)	: 28090423
1300.97/1300.01	c reason swapping (by a shorter reason)	: 0
1300.97/1300.01	c Calls to reduceDB	: 129
1300.97/1300.01	c speed (assignments/second)	: 33216.34971597925
1300.97/1300.01	c non guided choices	17052
1300.97/1300.04	c learnt constraints type 
1300.97/1300.04	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 74623
1300.97/1300.04	c constraints type 
1300.97/1300.04	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 56970
1300.97/1300.04	s UNKNOWN
1300.97/1300.04	c Total wall clock time (in seconds) : 1299.922

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

running on 2 cores: 1,3

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: 1.16 2.66 3.43 10/242 27072
/proc/meminfo: memFree=19743080/32951124 swapFree=67111524/67111528
[pid=27072] ppid=27070 vsize=31604 CPUtime=0 cores=1,3
/proc/27072/stat : 27072 (java) S 27070 27072 26627 0 -1 4202496 1259 0 0 0 0 0 0 0 21 0 2 0 448415809 32362496 977 33554432000 1073741824 1073778376 140733332276816 18446744073709551615 255118571493 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/27072/statm: 7901 987 758 9 0 386 0
[pid=27072/tid=27073] ppid=27070 vsize=31604 CPUtime=0 cores=1,3
/proc/27072/task/27073/stat : 27073 (java) R 27070 27072 26627 0 -1 4202560 163 0 0 0 0 0 0 0 23 0 2 0 448415809 32362496 996 33554432000 1073741824 1073778376 140733332276816 18446744073709551615 255106827563 0 0 0 16784584 0 0 0 -1 1 0 0 0

[startup+0.055636 s]
/proc/loadavg: 1.16 2.66 3.43 10/242 27072
/proc/meminfo: memFree=19743080/32951124 swapFree=67111524/67111528
[pid=27072] ppid=27070 vsize=7569648 CPUtime=0.05 cores=1,3
/proc/27072/stat : 27072 (java) S 27070 27072 26627 0 -1 4202496 9135 0 1 0 4 1 0 0 21 0 18 0 448415809 7751319552 8831 33554432000 1073741824 1073778376 140733332276816 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/27072/statm: 1892412 8832 1730 9 0 1883155 0
[pid=27072/tid=27073] ppid=27070 vsize=7569648 CPUtime=0.04 cores=1,3
/proc/27072/task/27073/stat : 27073 (java) R 27070 27072 26627 0 -1 4202560 7961 0 1 0 3 1 0 0 25 0 18 0 448415809 7751319552 8832 33554432000 1073741824 1073778376 140733332276816 18446744073709551615 47234977900056 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 7569648

[startup+0.100634 s]
/proc/loadavg: 1.16 2.66 3.43 10/242 27072
/proc/meminfo: memFree=19743080/32951124 swapFree=67111524/67111528
[pid=27072] ppid=27070 vsize=7569940 CPUtime=0.09 cores=1,3
/proc/27072/stat : 27072 (java) S 27070 27072 26627 0 -1 4202496 9799 0 1 0 8 1 0 0 21 0 18 0 448415809 7751618560 9495 33554432000 1073741824 1073778376 140733332276816 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/27072/statm: 1892485 9495 1757 9 0 1883223 0
[pid=27072/tid=27073] ppid=27070 vsize=7569940 CPUtime=0.09 cores=1,3
/proc/27072/task/27073/stat : 27073 (java) R 27070 27072 26627 0 -1 4202560 8624 0 1 0 8 1 0 0 25 0 18 0 448415809 7751618560 9495 33554432000 1073741824 1073778376 140733332276816 18446744073709551615 46912505182126 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7569940

[startup+0.300567 s]
/proc/loadavg: 1.16 2.66 3.43 10/242 27072
/proc/meminfo: memFree=19743080/32951124 swapFree=67111524/67111528
[pid=27072] ppid=27070 vsize=7639240 CPUtime=0.42 cores=1,3
/proc/27072/stat : 27072 (java) S 27070 27072 26627 0 -1 4202496 13748 0 1 0 40 2 0 0 21 0 19 0 448415809 7822581760 13251 33554432000 1073741824 1073778376 140733332276816 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/27072/statm: 1909810 13251 2203 9 0 1900548 0
[pid=27072/tid=27073] ppid=27070 vsize=7639240 CPUtime=0.26 cores=1,3
/proc/27072/task/27073/stat : 27073 (java) R 27070 27072 26627 0 -1 4202560 11095 0 1 0 25 1 0 0 25 0 19 0 448415809 7822581760 13251 33554432000 1073741824 1073778376 140733332276816 18446744073709551615 46912505217056 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 7639240

[startup+0.700495 s]
/proc/loadavg: 1.16 2.66 3.43 10/242 27072
/proc/meminfo: memFree=19743080/32951124 swapFree=67111524/67111528
[pid=27072] ppid=27070 vsize=7640384 CPUtime=1.06 cores=1,3
/proc/27072/stat : 27072 (java) S 27070 27072 26627 0 -1 4202496 15652 0 1 0 104 2 0 0 21 0 19 0 448415809 7823753216 14446 33554432000 1073741824 1073778376 140733332276816 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/27072/statm: 1910096 14446 2226 9 0 1900834 0
[pid=27072/tid=27073] ppid=27070 vsize=7640384 CPUtime=0.66 cores=1,3
/proc/27072/task/27073/stat : 27073 (java) R 27070 27072 26627 0 -1 4202560 11703 0 1 0 65 1 0 0 25 0 19 0 448415809 7823753216 14446 33554432000 1073741824 1073778376 140733332276816 18446744073709551615 46912505585245 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.06
Current children cumulated vsize (KiB) 7640384

[startup+1.50139 s]
/proc/loadavg: 1.86 2.78 3.47 7/262 27092
/proc/meminfo: memFree=19598220/32951124 swapFree=67111524/67111528
[pid=27072] ppid=27070 vsize=7640384 CPUtime=2.11 cores=1,3
/proc/27072/stat : 27072 (java) S 27070 27072 26627 0 -1 4202496 28003 0 1 0 208 3 0 0 21 0 19 0 448415809 7823753216 23964 33554432000 1073741824 1073778376 140733332276816 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/27072/statm: 1910096 23964 2254 9 0 1900834 0
[pid=27072/tid=27073] ppid=27070 vsize=7640384 CPUtime=1.39 cores=1,3
/proc/27072/task/27073/stat : 27073 (java) R 27070 27072 26627 0 -1 4202560 11776 0 1 0 138 1 0 0 25 0 19 0 448415809 7823753216 23964 33554432000 1073741824 1073778376 140733332276816 18446744073709551615 46912505594296 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=27072/tid=27075] ppid=27070 vsize=7640384 CPUtime=0 cores=1,3
/proc/27072/task/27075/stat : 27075 (java) S 27070 27072 26627 0 -1 4202560 924 0 0 0 0 0 0 0 15 0 19 0 448415811 7823753216 23964 33554432000 1073741824 1073778376 140733332276816 18446744073709551615 255118584729 0 4 0 16800975 18446604461563202496 0 0 -1 1 0 0 0
[pid=27072/tid=27076] ppid=27070 vsize=7640384 CPUtime=0 cores=1,3
/proc/27072/task/27076/stat : 27076 (java) S 27070 27072 26627 0 -1 4202560 1000 0 0 0 0 0 0 0 15 0 19 0 448415811 7823753216 23964 33554432000 1073741824 1073778376 140733332276816 18446744073709551615 255118584729 0 4 0 16800975 18446604461563202496 0 0 -1 1 0 0 0
[pid=27072/tid=27077] ppid=27070 vsize=7640384 CPUtime=0 cores=1,3
/proc/27072/task/27077/stat : 27077 (java) S 27070 27072 26627 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 448415811 7823753216 23964 33554432000 1073741824 1073778376 140733332276816 18446744073709551615 255118584729 0 4 0 16800975 18446604461563202496 0 0 -1 1 0 0 0
[pid=27072/tid=27078] ppid=27070 vsize=7640384 CPUtime=0 cores=1,3
/proc/27072/task/27078/stat : 27078 (java) S 27070 27072 26627 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 448415811 7823753216 23964 33554432000 1073741824 1073778376 140733332276816 18446744073709551615 255118584729 0 4 0 16800975 18446604461563202496 0 0 -1 1 0 0 0
[pid=27072/tid=27079] ppid=27070 vsize=7640384 CPUtime=0 cores=1,3
/proc/27072/task/27079/stat : 27079 (java) S 27070 27072 26627 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 448415811 7823753216 23964 33554432000 1073741824 1073778376 140733332276816 18446744073709551615 255118584729 0 4 0 16800975 18446604461563202496 0 0 -1 1 0 0 0
[pid=27072/tid=27080] ppid=27070 vsize=7640384 CPUtime=0 cores=1,3
/proc/27072/task/27080/stat : 27080 (java) S 27070 27072 26627 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 448415811 7823753216 23964 33554432000 1073741824 1073778376 140733332276816 18446744073709551615 255118584729 0 4 0 16800975 18446604461563202496 0 0 -1 1 0 0 0
[pid=27072/tid=27081] ppid=27070 vsize=7640384 CPUtime=0 cores=1,3
/proc/27072/task/27081/stat : 27081 (java) S 27070 27072 26627 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 448415811 7823753216 23964 33554432000 1073741824 1073778376 140733332276816 18446744073709551615 255118584729 0 4 0 16800975 18446604461563202496 0 0 -1 1 0 0 0
[pid=27072/tid=27082] ppid=27070 vsize=7640384 CPUtime=0 cores=1,3
/proc/27072/task/27082/stat : 27082 (java) S 27070 27072 26627 0 -1 4202560 241 0 0 0 0 0 0 0 15 0 19 0 448415811 7823753216 23964 33554432000 1073741824 1073778376 140733332276816 18446744073709551615 255118584729 0 4 0 16800975 18446604461563202496 0 0 -1 1 0 0 0
[pid=27072/tid=27083] ppid=27070 vsize=7640384 CPUtime=0.05 cores=1,3
/proc/27072/task/27083/stat : 27083 (java) S 27070 27072 26627 0 -1 4202560 2044 0 0 0 5 0 0 0 16 0 19 0 448415812 7823753216 23964 33554432000 1073741824 1073778376 140733332276816 18446744073709551615 255118585344 0 0 0 16800975 18446604461563202496 0 0 -1 1 0 0 0
[pid=27072/tid=27084] ppid=27070 vsize=7640384 CPUtime=0 cores=1,3
/proc/27072/task/27084/stat : 27084 (java) S 27070 27072 26627 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 448415812 7823753216 23964 33554432000 1073741824 1073778376 140733332276816 18446744073709551615 255118584729 0 4 0 16800975 18446604461563202496 0 0 -1 1 0 0 0
[pid=27072/tid=27085] ppid=27070 vsize=7640384 CPUtime=0 cores=1,3
/proc/27072/task/27085/stat : 27085 (java) S 27070 27072 26627 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 448415812 7823753216 23964 33554432000 1073741824 1073778376 140733332276816 18446744073709551615 255118584729 0 4 0 16800975 18446604461563202496 0 0 -1 1 0 0 0
[pid=27072/tid=27086] ppid=27070 vsize=7640384 CPUtime=0 cores=1,3
/proc/27072/task/27086/stat : 27086 (java) S 27070 27072 26627 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 448415814 7823753216 23964 33554432000 1073741824 1073778376 140733332276816 18446744073709551615 255118592433 0 4 0 16800975 18446604461563202496 0 0 -1 1 0 0 0
[pid=27072/tid=27087] ppid=27070 vsize=7640384 CPUtime=0.18 cores=1,3
/proc/27072/task/27087/stat : 27087 (java) S 27070 27072 26627 0 -1 4202560 643 0 0 0 18 0 0 0 20 0 19 0 448415814 7823753216 23964 33554432000 1073741824 1073778376 140733332276816 18446744073709551615 255118584729 0 4 0 16800975 18446604461563202496 0 0 -1 3 0 0 0
[pid=27072/tid=27088] ppid=27070 vsize=7640384 CPUtime=0.44 cores=1,3
/proc/27072/task/27088/stat : 27088 (java) S 27070 27072 26627 0 -1 4202560 10219 0 0 0 43 1 0 0 21 0 19 0 448415814 7823753216 23964 33554432000 1073741824 1073778376 140733332276816 18446744073709551615 255118584729 0 4 0 16800975 18446604461563202496 0 0 -1 3 0 0 0
[pid=27072/tid=27089] ppid=27070 vsize=7640384 CPUtime=0 cores=1,3
/proc/27072/task/27089/stat : 27089 (java) S 27070 27072 26627 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 448415814 7823753216 23964 33554432000 1073741824 1073778376 140733332276816 18446744073709551615 255118584729 0 4 0 16800975 18446604461563202496 0 0 -1 1 0 0 0
[pid=27072/tid=27090] ppid=27070 vsize=7640384 CPUtime=0 cores=1,3
/proc/27072/task/27090/stat : 27090 (java) S 27070 27072 26627 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 448415814 7823753216 23964 33554432000 1073741824 1073778376 140733332276816 18446744073709551615 255118585344 0 4 0 16800975 18446604461563202496 0 0 -1 1 0 0 0
[pid=27072/tid=27092] ppid=27070 vsize=7640384 CPUtime=0 cores=1,3
/proc/27072/task/27092/stat : 27092 (java) S 27070 27072 26627 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 448415838 7823753216 23964 33554432000 1073741824 1073778376 140733332276816 18446744073709551615 255118585344 0 4 0 16800975 18446604461563202496 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.11
Current children cumulated vsize (KiB) 7640384

[startup+3.10107 s]
/proc/loadavg: 1.86 2.78 3.47 5/262 27092
/proc/meminfo: memFree=19587732/32951124 swapFree=67111524/67111528
[pid=27072] ppid=27070 vsize=7640384 CPUtime=3.74 cores=1,3
/proc/27072/stat : 27072 (java) S 27070 27072 26627 0 -1 4202496 28266 0 1 0 371 3 0 0 21 0 19 0 448415809 7823753216 24224 33554432000 1073741824 1073778376 140733332276816 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/27072/statm: 1910096 24224 2254 9 0 1900834 0
[pid=27072/tid=27073] ppid=27070 vsize=7640384 CPUtime=2.9 cores=1,3
/proc/27072/task/27073/stat : 27073 (java) R 27070 27072 26627 0 -1 4202560 11778 0 1 0 289 1 0 0 25 0 19 0 448415809 7823753216 24224 33554432000 1073741824 1073778376 140733332276816 18446744073709551615 46912505676725 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=27072/tid=27075] ppid=27070 vsize=7640384 CPUtime=0 cores=1,3
/proc/27072/task/27075/stat : 27075 (java) S 27070 27072 26627 0 -1 4202560 927 0 0 0 0 0 0 0 15 0 19 0 448415811 7823753216 24224 33554432000 1073741824 1073778376 140733332276816 18446744073709551615 255118584729 0 4 0 16800975 18446604461563202496 0 0 -1 3 0 0 0
[pid=27072/tid=27076] ppid=27070 vsize=7640384 CPUtime=0 cores=1,3
/proc/27072/task/27076/stat : 27076 (java) S 27070 27072 26627 0 -1 4202560 1001 0 0 0 0 0 0 0 15 0 19 0 448415811 7823753216 24224 33554432000 1073741824 1073778376 140733332276816 18446744073709551615 255118584729 0 4 0 16800975 18446604461563202496 0 0 -1 3 0 0 0
[pid=27072/tid=27077] ppid=27070 vsize=7640384 CPUtime=0 cores=1,3
/proc/27072/task/27077/stat : 27077 (java) S 27070 27072 26627 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 448415811 7823753216 24224 33554432000 1073741824 1073778376 140733332276816 18446744073709551615 255118584729 0 4 0 16800975 18446604461563202496 0 0 -1 3 0 0 0
[pid=27072/tid=27078] ppid=27070 vsize=7640384 CPUtime=0 cores=1,3
/proc/27072/task/27078/stat : 27078 (java) S 27070 27072 26627 0 -1 4202560 12 0 0 0 0 0 0 0 16 0 19 0 448415811 7823753216 24224 33554432000 1073741824 1073778376 140733332276816 18446744073709551615 255118584729 0 4 0 16800975 18446604461563202496 0 0 -1 3 0 0 0
[pid=27072/tid=27079] ppid=27070 vsize=7640384 CPUtime=0 cores=1,3
/proc/27072/task/27079/stat : 27079 (java) S 27070 27072 26627 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 448415811 7823753216 24224 33554432000 1073741824 1073778376 140733332276816 18446744073709551615 255118584729 0 4 0 16800975 18446604461563202496 0 0 -1 3 0 0 0
[pid=27072/tid=27080] ppid=27070 vsize=7640384 CPUtime=0 cores=1,3
/proc/27072/task/27080/stat : 27080 (java) S 27070 27072 26627 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 448415811 7823753216 24224 33554432000 1073741824 1073778376 140733332276816 18446744073709551615 255118584729 0 4 0 16800975 18446604461563202496 0 0 -1 3 0 0 0
[pid=27072/tid=27081] ppid=27070 vsize=7640384 CPUtime=0 cores=1,3
/proc/27072/task/27081/stat : 27081 (java) S 27070 27072 26627 0 -1 4202560 67 0 0 0 0 0 0 0 15 0 19 0 448415811 7823753216 24224 33554432000 1073741824 1073778376 140733332276816 18446744073709551615 255118584729 0 4 0 16800975 18446604461563202496 0 0 -1 3 0 0 0
[pid=27072/tid=27082] ppid=27070 vsize=7640384 CPUtime=0 cores=1,3
/proc/27072/task/27082/stat : 27082 (java) S 27070 27072 26627 0 -1 4202560 241 0 0 0 0 0 0 0 15 0 19 0 448415811 7823753216 24224 33554432000 1073741824 1073778376 140733332276816 18446744073709551615 255118584729 0 4 0 16800975 18446604461563202496 0 0 -1 3 0 0 0
[pid=27072/tid=27083] ppid=27070 vsize=7640384 CPUtime=0.12 cores=1,3
/proc/27072/task/27083/stat : 27083 (java) S 27070 27072 26627 0 -1 4202560 2221 0 0 0 12 0 0 0 15 0 19 0 448415812 7823753216 24224 33554432000 1073741824 1073778376 140733332276816 18446744073709551615 255118585344 0 0 0 16800975 18446604461563202496 0 0 -1 1 0 0 0
[pid=27072/tid=27084] ppid=27070 vsize=7640384 CPUtime=0 cores=1,3
/proc/27072/task/27084/stat : 27084 (java) S 27070 27072 26627 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 448415812 7823753216 24224 33554432000 1073741824 1073778376 140733332276816 18446744073709551615 255118584729 0 4 0 16800975 18446604461563202496 0 0 -1 1 0 0 0
[pid=27072/tid=27085] ppid=27070 vsize=7640384 CPUtime=0 cores=1,3
/proc/27072/task/27085/stat : 27085 (java) S 27070 27072 26627 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 448415812 7823753216 24224 33554432000 1073741824 1073778376 140733332276816 18446744073709551615 255118584729 0 4 0 16800975 18446604461563202496 0 0 -1 1 0 0 0
[pid=27072/tid=27086] ppid=27070 vsize=7640384 CPUtime=0 cores=1,3
/proc/27072/task/27086/stat : 27086 (java) S 27070 27072 26627 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 448415814 7823753216 24224 33554432000 1073741824 1073778376 140733332276816 18446744073709551615 255118592433 0 4 0 16800975 18446604461563202496 0 0 -1 1 0 0 0
[pid=27072/tid=27087] ppid=27070 vsize=7640384 CPUtime=0.19 cores=1,3
/proc/27072/task/27087/stat : 27087 (java) S 27070 27072 26627 0 -1 4202560 643 0 0 0 19 0 0 0 15 0 19 0 448415814 7823753216 24224 33554432000 1073741824 1073778376 140733332276816 18446744073709551615 255118584729 0 4 0 16800975 18446604461563202496 0 0 -1 3 0 0 0
[pid=27072/tid=27088] ppid=27070 vsize=7640384 CPUtime=0.47 cores=1,3
/proc/27072/task/27088/stat : 27088 (java) S 27070 27072 26627 0 -1 4202560 10222 0 0 0 46 1 0 0 15 0 19 0 448415814 7823753216 24224 33554432000 1073741824 1073778376 140733332276816 18446744073709551615 255118584729 0 4 0 16800975 18446604461563202496 0 0 -1 1 0 0 0
[pid=27072/tid=27089] ppid=27070 vsize=7640384 CPUtime=0 cores=1,3
/proc/27072/task/27089/stat : 27089 (java) S 27070 27072 26627 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 448415814 7823753216 24224 33554432000 1073741824 1073778376 140733332276816 18446744073709551615 255118584729 0 4 0 16800975 18446604461563202496 0 0 -1 1 0 0 0
[pid=27072/tid=27090] ppid=27070 vsize=7640384 CPUtime=0 cores=1,3
/proc/27072/task/27090/stat : 27090 (java) S 27070 27072 26627 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 448415814 7823753216 24224 33554432000 1073741824 1073778376 140733332276816 18446744073709551615 255118585344 0 4 0 16800975 18446604461563202496 0 0 -1 1 0 0 0
[pid=27072/tid=27092] ppid=27070 vsize=7640384 CPUtime=0 cores=1,3
/proc/27072/task/27092/stat : 27092 (java) S 27070 27072 26627 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 448415838 7823753216 24224 33554432000 1073741824 1073778376 140733332276816 18446744073709551615 255118585344 0 4 0 16800975 18446604461563202496 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3.74
Current children cumulated vsize (KiB) 7640384

[startup+6.30154 s]
/proc/loadavg: 2.04 2.80 3.47 6/262 27092
/proc/meminfo: memFree=19585132/32951124 swapFree=67111524/67111528
[pid=27072] ppid=27070 vsize=7640384 CPUtime=6.93 cores=1,3
/proc/27072/stat : 27072 (java) S 27070 27072 26627 0 -1 4202496 28457 0 1 0 690 3 0 0 21 0 19 0 448415809 7823753216 23177 33554432000 1073741824 1073778376 140733332276816 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/27072/statm: 1910096 23177 2254 9 0 1900834 0
[pid=27072/tid=27073] ppid=27070 vsize=7640384 CPUtime=6.01 cores=1,3
/proc/27072/task/27073/stat : 27073 (java) R 27070 27072 26627 0 -1 4202560 11782 0 1 0 600 1 0 0 25 0 19 0 448415809 7823753216 23177 33554432000 1073741824 1073778376 140733332276816 18446744073709551615 46912505585338 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=27072/tid=27075] ppid=27070 vsize=7640384 CPUtime=0.01 cores=1,3
/proc/27072/task/27075/stat : 27075 (java) S 27070 27072 26627 0 -1 4202560 927 0 0 0 1 0 0 0 15 0 19 0 448415811 7823753216 23177 33554432000 1073741824 1073778376 140733332276816 18446744073709551615 255118584729 0 4 0 16800975 18446604461563202496 0 0 -1 3 0 0 0
[pid=27072/tid=27076] ppid=27070 vsize=7640384 CPUtime=0.01 cores=1,3
/proc/27072/task/27076/stat : 27076 (java) S 27070 27072 26627 0 -1 4202560 1001 0 0 0 1 0 0 0 15 0 19 0 448415811 7823753216 23177 33554432000 1073741824 1073778376 140733332276816 18446744073709551615 255118584729 0 4 0 16800975 18446604461563202496 0 0 -1 3 0 0 0
[pid=27072/tid=27077] ppid=27070 vsize=7640384 CPUtime=0 cores=1,3
/proc/27072/task/27077/stat : 27077 (java) S 27070 27072 26627 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 448415811 7823753216 23177 33554432000 1073741824 1073778376 140733332276816 18446744073709551615 255118584729 0 4 0 16800975 18446604461563202496 0 0 -1 3 0 0 0
[pid=27072/tid=27078] ppid=27070 vsize=7640384 CPUtime=0 cores=1,3
/proc/27072/task/27078/stat : 27078 (java) S 27070 27072 26627 0 -1 4202560 12 0 0 0 0 0 0 0 15 0 19 0 448415811 7823753216 23177 33554432000 1073741824 1073778376 140733332276816 18446744073709551615 255118584729 0 4 0 16800975 18446604461563202496 0 0 -1 3 0 0 0
[pid=27072/tid=27079] ppid=27070 vsize=7640384 CPUtime=0 cores=1,3
/proc/27072/task/27079/stat : 27079 (java) S 27070 27072 26627 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 448415811 7823753216 23177 33554432000 1073741824 1073778376 140733332276816 18446744073709551615 255118584729 0 4 0 16800975 18446604461563202496 0 0 -1 3 0 0 0
[pid=27072/tid=27080] ppid=27070 vsize=7640384 CPUtime=0 cores=1,3
/proc/27072/task/27080/stat : 27080 (java) S 27070 27072 26627 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 448415811 7823753216 23177 33554432000 1073741824 1073778376 140733332276816 18446744073709551615 255118584729 0 4 0 16800975 18446604461563202496 0 0 -1 3 0 0 0
[pid=27072/tid=27081] ppid=27070 vsize=7640384 CPUtime=0 cores=1,3
/proc/27072/task/27081/stat : 27081 (java) S 27070 27072 26627 0 -1 4202560 67 0 0 0 0 0 0 0 15 0 19 0 448415811 7823753216 23177 33554432000 1073741824 1073778376 140733332276816 18446744073709551615 255118584729 0 4 0 16800975 18446604461563202496 0 0 -1 3 0 0 0
[pid=27072/tid=27082] ppid=27070 vsize=7640384 CPUtime=0 cores=1,3
/proc/27072/task/27082/stat : 27082 (java) S 27070 27072 26627 0 -1 4202560 242 0 0 0 0 0 0 0 15 0 19 0 448415811 7823753216 23177 33554432000 1073741824 1073778376 140733332276816 18446744073709551615 255118584729 0 4 0 16800975 18446604461563202496 0 0 -1 3 0 0 0
[pid=27072/tid=27083] ppid=27070 vsize=7640384 CPUtime=0.21 cores=1,3
/proc/27072/task/27083/stat : 27083 (java) S 27070 27072 26627 0 -1 4202560 2406 0 0 0 21 0 0 0 16 0 19 0 448415812 7823753216 23177 33554432000 1073741824 1073778376 140733332276816 18446744073709551615 255118585344 0 0 0 16800975 18446604461563202496 0 0 -1 1 0 0 0
[pid=27072/tid=27084] ppid=27070 vsize=7640384 CPUtime=0 cores=1,3
/proc/27072/task/27084/stat : 27084 (java) S 27070 27072 26627 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 448415812 7823753216 23177 33554432000 1073741824 1073778376 140733332276816 18446744073709551615 255118584729 0 4 0 16800975 18446604461563202496 0 0 -1 1 0 0 0
[pid=27072/tid=27085] ppid=27070 vsize=7640384 CPUtime=0 cores=1,3
/proc/27072/task/27085/stat : 27085 (java) S 27070 27072 26627 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 448415812 7823753216 23177 33554432000 1073741824 1073778376 140733332276816 18446744073709551615 255118584729 0 4 0 16800975 18446604461563202496 0 0 -1 1 0 0 0
[pid=27072/tid=27086] ppid=27070 vsize=7640384 CPUtime=0 cores=1,3
/proc/27072/task/27086/stat : 27086 (java) S 27070 27072 26627 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 448415814 7823753216 23177 33554432000 1073741824 1073778376 140733332276816 18446744073709551615 255118592433 0 4 0 16800975 18446604461563202496 0 0 -1 1 0 0 0
[pid=27072/tid=27087] ppid=27070 vsize=7640384 CPUtime=0.19 cores=1,3
/proc/27072/task/27087/stat : 27087 (java) S 27070 27072 26627 0 -1 4202560 643 0 0 0 19 0 0 0 15 0 19 0 448415814 7823753216 23177 33554432000 1073741824 1073778376 140733332276816 18446744073709551615 255118584729 0 4 0 16800975 18446604461563202496 0 0 -1 3 0 0 0
[pid=27072/tid=27088] ppid=27070 vsize=7640384 CPUtime=0.47 cores=1,3
/proc/27072/task/27088/stat : 27088 (java) S 27070 27072 26627 0 -1 4202560 10222 0 0 0 46 1 0 0 15 0 19 0 448415814 7823753216 23177 33554432000 1073741824 1073778376 140733332276816 18446744073709551615 255118584729 0 4 0 16800975 18446604461563202496 0 0 -1 1 0 0 0

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

[pid=27072/tid=27080] ppid=27070 vsize=7640384 CPUtime=0.06 cores=1,3
/proc/27072/task/27080/stat : 27080 (java) S 27070 27072 26627 0 -1 4202560 24 0 0 0 6 0 0 0 15 0 19 0 448415811 7823753216 27151 33554432000 1073741824 1073778376 140733332276816 18446744073709551615 255118584729 0 4 0 16800975 18446604461563202496 0 0 -1 1 0 0 0
[pid=27072/tid=27081] ppid=27070 vsize=7640384 CPUtime=0.09 cores=1,3
/proc/27072/task/27081/stat : 27081 (java) S 27070 27072 26627 0 -1 4202560 83 0 0 0 9 0 0 0 15 0 19 0 448415811 7823753216 27151 33554432000 1073741824 1073778376 140733332276816 18446744073709551615 255118584729 0 4 0 16800975 18446604461563202496 0 0 -1 1 0 0 0
[pid=27072/tid=27082] ppid=27070 vsize=7640384 CPUtime=0.07 cores=1,3
/proc/27072/task/27082/stat : 27082 (java) S 27070 27072 26627 0 -1 4202560 262 0 0 0 7 0 0 0 15 0 19 0 448415811 7823753216 27151 33554432000 1073741824 1073778376 140733332276816 18446744073709551615 255118584729 0 4 0 16800975 18446604461563202496 0 0 -1 3 0 0 0
[pid=27072/tid=27083] ppid=27070 vsize=7640384 CPUtime=4.93 cores=1,3
/proc/27072/task/27083/stat : 27083 (java) S 27070 27072 26627 0 -1 4202560 5539 0 0 0 491 2 0 0 15 0 19 0 448415812 7823753216 27151 33554432000 1073741824 1073778376 140733332276816 18446744073709551615 255118585344 0 0 0 16800975 18446604461563202496 0 0 -1 1 0 0 0
[pid=27072/tid=27084] ppid=27070 vsize=7640384 CPUtime=0 cores=1,3
/proc/27072/task/27084/stat : 27084 (java) S 27070 27072 26627 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 448415812 7823753216 27151 33554432000 1073741824 1073778376 140733332276816 18446744073709551615 255118584729 0 4 0 16800975 18446604461563202496 0 0 -1 1 0 0 0
[pid=27072/tid=27085] ppid=27070 vsize=7640384 CPUtime=0 cores=1,3
/proc/27072/task/27085/stat : 27085 (java) S 27070 27072 26627 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 448415812 7823753216 27151 33554432000 1073741824 1073778376 140733332276816 18446744073709551615 255118584729 0 4 0 16800975 18446604461563202496 0 0 -1 1 0 0 0
[pid=27072/tid=27086] ppid=27070 vsize=7640384 CPUtime=0 cores=1,3
/proc/27072/task/27086/stat : 27086 (java) S 27070 27072 26627 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 448415814 7823753216 27151 33554432000 1073741824 1073778376 140733332276816 18446744073709551615 255118592433 0 4 0 16800975 18446604461563202496 0 0 -1 1 0 0 0
[pid=27072/tid=27087] ppid=27070 vsize=7640384 CPUtime=0.19 cores=1,3
/proc/27072/task/27087/stat : 27087 (java) S 27070 27072 26627 0 -1 4202560 643 0 0 0 19 0 0 0 15 0 19 0 448415814 7823753216 27151 33554432000 1073741824 1073778376 140733332276816 18446744073709551615 255118584729 0 4 0 16800975 18446604461563202496 0 0 -1 3 0 0 0
[pid=27072/tid=27088] ppid=27070 vsize=7640384 CPUtime=0.49 cores=1,3
/proc/27072/task/27088/stat : 27088 (java) S 27070 27072 26627 0 -1 4202560 10267 0 0 0 48 1 0 0 15 0 19 0 448415814 7823753216 27151 33554432000 1073741824 1073778376 140733332276816 18446744073709551615 255118584729 0 4 0 16800975 18446604461563202496 0 0 -1 1 0 0 0
[pid=27072/tid=27089] ppid=27070 vsize=7640384 CPUtime=0 cores=1,3
/proc/27072/task/27089/stat : 27089 (java) S 27070 27072 26627 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 448415814 7823753216 27151 33554432000 1073741824 1073778376 140733332276816 18446744073709551615 255118584729 0 4 0 16800975 18446604461563202496 0 0 -1 1 0 0 0
[pid=27072/tid=27090] ppid=27070 vsize=7640384 CPUtime=0 cores=1,3
/proc/27072/task/27090/stat : 27090 (java) S 27070 27072 26627 0 -1 4202560 66 0 0 0 0 0 0 0 15 0 19 0 448415814 7823753216 27151 33554432000 1073741824 1073778376 140733332276816 18446744073709551615 255118585344 0 4 0 16800975 18446604461563202496 0 0 -1 3 0 0 0
[pid=27072/tid=27092] ppid=27070 vsize=7640384 CPUtime=0 cores=1,3
/proc/27072/task/27092/stat : 27092 (java) S 27070 27072 26627 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 448415838 7823753216 27151 33554432000 1073741824 1073778376 140733332276816 18446744073709551615 255118585344 0 4 0 16800975 18446604461563202496 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1123.23
Current children cumulated vsize (KiB) 7640384

[startup+1182.3 s]
/proc/loadavg: 4.04 3.99 3.84 5/262 27133
/proc/meminfo: memFree=19339816/32951124 swapFree=67111524/67111528
[pid=27072] ppid=27070 vsize=7640384 CPUtime=1183.25 cores=1,3
/proc/27072/stat : 27072 (java) S 27070 27072 26627 0 -1 4202496 32682 0 1 0 118319 6 0 0 21 0 19 0 448415809 7823753216 27151 33554432000 1073741824 1073778376 140733332276816 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/27072/statm: 1910096 27151 2255 9 0 1900834 0
[pid=27072/tid=27073] ppid=27070 vsize=7640384 CPUtime=1176.66 cores=1,3
/proc/27072/task/27073/stat : 27073 (java) R 27070 27072 26627 0 -1 4202560 11894 0 1 0 117664 2 0 0 25 0 19 0 448415809 7823753216 27151 33554432000 1073741824 1073778376 140733332276816 18446744073709551615 46912505594296 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=27072/tid=27075] ppid=27070 vsize=7640384 CPUtime=0.11 cores=1,3
/proc/27072/task/27075/stat : 27075 (java) S 27070 27072 26627 0 -1 4202560 953 0 0 0 11 0 0 0 15 0 19 0 448415811 7823753216 27151 33554432000 1073741824 1073778376 140733332276816 18446744073709551615 255118584729 0 4 0 16800975 18446604461563202496 0 0 -1 3 0 0 0
[pid=27072/tid=27076] ppid=27070 vsize=7640384 CPUtime=0.09 cores=1,3
/proc/27072/task/27076/stat : 27076 (java) S 27070 27072 26627 0 -1 4202560 1150 0 0 0 9 0 0 0 15 0 19 0 448415811 7823753216 27151 33554432000 1073741824 1073778376 140733332276816 18446744073709551615 255118584729 0 4 0 16800975 18446604461563202496 0 0 -1 3 0 0 0
[pid=27072/tid=27077] ppid=27070 vsize=7640384 CPUtime=0.08 cores=1,3
/proc/27072/task/27077/stat : 27077 (java) S 27070 27072 26627 0 -1 4202560 154 0 0 0 8 0 0 0 15 0 19 0 448415811 7823753216 27151 33554432000 1073741824 1073778376 140733332276816 18446744073709551615 255118584729 0 4 0 16800975 18446604461563202496 0 0 -1 3 0 0 0
[pid=27072/tid=27078] ppid=27070 vsize=7640384 CPUtime=0.09 cores=1,3
/proc/27072/task/27078/stat : 27078 (java) S 27070 27072 26627 0 -1 4202560 44 0 0 0 9 0 0 0 15 0 19 0 448415811 7823753216 27151 33554432000 1073741824 1073778376 140733332276816 18446744073709551615 255118584729 0 4 0 16800975 18446604461563202496 0 0 -1 3 0 0 0
[pid=27072/tid=27079] ppid=27070 vsize=7640384 CPUtime=0.07 cores=1,3
/proc/27072/task/27079/stat : 27079 (java) S 27070 27072 26627 0 -1 4202560 447 0 0 0 7 0 0 0 15 0 19 0 448415811 7823753216 27151 33554432000 1073741824 1073778376 140733332276816 18446744073709551615 255118584729 0 4 0 16800975 18446604461563202496 0 0 -1 3 0 0 0
[pid=27072/tid=27080] ppid=27070 vsize=7640384 CPUtime=0.07 cores=1,3
/proc/27072/task/27080/stat : 27080 (java) S 27070 27072 26627 0 -1 4202560 24 0 0 0 7 0 0 0 16 0 19 0 448415811 7823753216 27151 33554432000 1073741824 1073778376 140733332276816 18446744073709551615 255118584729 0 4 0 16800975 18446604461563202496 0 0 -1 3 0 0 0
[pid=27072/tid=27081] ppid=27070 vsize=7640384 CPUtime=0.09 cores=1,3
/proc/27072/task/27081/stat : 27081 (java) S 27070 27072 26627 0 -1 4202560 83 0 0 0 9 0 0 0 15 0 19 0 448415811 7823753216 27151 33554432000 1073741824 1073778376 140733332276816 18446744073709551615 255118584729 0 4 0 16800975 18446604461563202496 0 0 -1 3 0 0 0
[pid=27072/tid=27082] ppid=27070 vsize=7640384 CPUtime=0.07 cores=1,3
/proc/27072/task/27082/stat : 27082 (java) S 27070 27072 26627 0 -1 4202560 262 0 0 0 7 0 0 0 15 0 19 0 448415811 7823753216 27151 33554432000 1073741824 1073778376 140733332276816 18446744073709551615 255118584729 0 4 0 16800975 18446604461563202496 0 0 -1 3 0 0 0
[pid=27072/tid=27083] ppid=27070 vsize=7640384 CPUtime=5.17 cores=1,3
/proc/27072/task/27083/stat : 27083 (java) S 27070 27072 26627 0 -1 4202560 5543 0 0 0 515 2 0 0 15 0 19 0 448415812 7823753216 27151 33554432000 1073741824 1073778376 140733332276816 18446744073709551615 255118585344 0 0 0 16800975 18446604461563202496 0 0 -1 1 0 0 0
[pid=27072/tid=27084] ppid=27070 vsize=7640384 CPUtime=0 cores=1,3
/proc/27072/task/27084/stat : 27084 (java) S 27070 27072 26627 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 448415812 7823753216 27151 33554432000 1073741824 1073778376 140733332276816 18446744073709551615 255118584729 0 4 0 16800975 18446604461563202496 0 0 -1 1 0 0 0
[pid=27072/tid=27085] ppid=27070 vsize=7640384 CPUtime=0 cores=1,3
/proc/27072/task/27085/stat : 27085 (java) S 27070 27072 26627 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 448415812 7823753216 27151 33554432000 1073741824 1073778376 140733332276816 18446744073709551615 255118584729 0 4 0 16800975 18446604461563202496 0 0 -1 1 0 0 0
[pid=27072/tid=27086] ppid=27070 vsize=7640384 CPUtime=0 cores=1,3
/proc/27072/task/27086/stat : 27086 (java) S 27070 27072 26627 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 448415814 7823753216 27151 33554432000 1073741824 1073778376 140733332276816 18446744073709551615 255118592433 0 4 0 16800975 18446604461563202496 0 0 -1 1 0 0 0
[pid=27072/tid=27087] ppid=27070 vsize=7640384 CPUtime=0.19 cores=1,3
/proc/27072/task/27087/stat : 27087 (java) S 27070 27072 26627 0 -1 4202560 643 0 0 0 19 0 0 0 15 0 19 0 448415814 7823753216 27151 33554432000 1073741824 1073778376 140733332276816 18446744073709551615 255118584729 0 4 0 16800975 18446604461563202496 0 0 -1 3 0 0 0
[pid=27072/tid=27088] ppid=27070 vsize=7640384 CPUtime=0.49 cores=1,3
/proc/27072/task/27088/stat : 27088 (java) S 27070 27072 26627 0 -1 4202560 10267 0 0 0 48 1 0 0 15 0 19 0 448415814 7823753216 27151 33554432000 1073741824 1073778376 140733332276816 18446744073709551615 255118584729 0 4 0 16800975 18446604461563202496 0 0 -1 1 0 0 0
[pid=27072/tid=27089] ppid=27070 vsize=7640384 CPUtime=0 cores=1,3
/proc/27072/task/27089/stat : 27089 (java) S 27070 27072 26627 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 448415814 7823753216 27151 33554432000 1073741824 1073778376 140733332276816 18446744073709551615 255118584729 0 4 0 16800975 18446604461563202496 0 0 -1 1 0 0 0
[pid=27072/tid=27090] ppid=27070 vsize=7640384 CPUtime=0 cores=1,3
/proc/27072/task/27090/stat : 27090 (java) S 27070 27072 26627 0 -1 4202560 68 0 0 0 0 0 0 0 15 0 19 0 448415814 7823753216 27151 33554432000 1073741824 1073778376 140733332276816 18446744073709551615 255118585344 0 4 0 16800975 18446604461563202496 0 0 -1 3 0 0 0
[pid=27072/tid=27092] ppid=27070 vsize=7640384 CPUtime=0 cores=1,3
/proc/27072/task/27092/stat : 27092 (java) S 27070 27072 26627 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 448415838 7823753216 27151 33554432000 1073741824 1073778376 140733332276816 18446744073709551615 255118585344 0 4 0 16800975 18446604461563202496 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1183.25
Current children cumulated vsize (KiB) 7640384

[startup+1242.3 s]
/proc/loadavg: 4.06 4.00 3.85 6/262 27134
/proc/meminfo: memFree=19336316/32951124 swapFree=67111524/67111528
[pid=27072] ppid=27070 vsize=7640384 CPUtime=1243.26 cores=1,3
/proc/27072/stat : 27072 (java) S 27070 27072 26627 0 -1 4202496 32717 0 1 0 124320 6 0 0 21 0 19 0 448415809 7823753216 27173 33554432000 1073741824 1073778376 140733332276816 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/27072/statm: 1910096 27173 2255 9 0 1900834 0
[pid=27072/tid=27073] ppid=27070 vsize=7640384 CPUtime=1236.41 cores=1,3
/proc/27072/task/27073/stat : 27073 (java) R 27070 27072 26627 0 -1 4202560 11899 0 1 0 123639 2 0 0 25 0 19 0 448415809 7823753216 27173 33554432000 1073741824 1073778376 140733332276816 18446744073709551615 46912505585362 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=27072/tid=27075] ppid=27070 vsize=7640384 CPUtime=0.12 cores=1,3
/proc/27072/task/27075/stat : 27075 (java) S 27070 27072 26627 0 -1 4202560 956 0 0 0 12 0 0 0 15 0 19 0 448415811 7823753216 27173 33554432000 1073741824 1073778376 140733332276816 18446744073709551615 255118584729 0 4 0 16800975 18446604461563202496 0 0 -1 3 0 0 0
[pid=27072/tid=27076] ppid=27070 vsize=7640384 CPUtime=0.09 cores=1,3
/proc/27072/task/27076/stat : 27076 (java) S 27070 27072 26627 0 -1 4202560 1150 0 0 0 9 0 0 0 15 0 19 0 448415811 7823753216 27173 33554432000 1073741824 1073778376 140733332276816 18446744073709551615 255118584729 0 4 0 16800975 18446604461563202496 0 0 -1 3 0 0 0
[pid=27072/tid=27077] ppid=27070 vsize=7640384 CPUtime=0.08 cores=1,3
/proc/27072/task/27077/stat : 27077 (java) S 27070 27072 26627 0 -1 4202560 154 0 0 0 8 0 0 0 16 0 19 0 448415811 7823753216 27173 33554432000 1073741824 1073778376 140733332276816 18446744073709551615 255118584729 0 4 0 16800975 18446604461563202496 0 0 -1 3 0 0 0
[pid=27072/tid=27078] ppid=27070 vsize=7640384 CPUtime=0.1 cores=1,3
/proc/27072/task/27078/stat : 27078 (java) S 27070 27072 26627 0 -1 4202560 44 0 0 0 10 0 0 0 15 0 19 0 448415811 7823753216 27173 33554432000 1073741824 1073778376 140733332276816 18446744073709551615 255118584729 0 4 0 16800975 18446604461563202496 0 0 -1 3 0 0 0
[pid=27072/tid=27079] ppid=27070 vsize=7640384 CPUtime=0.07 cores=1,3
/proc/27072/task/27079/stat : 27079 (java) S 27070 27072 26627 0 -1 4202560 447 0 0 0 7 0 0 0 15 0 19 0 448415811 7823753216 27173 33554432000 1073741824 1073778376 140733332276816 18446744073709551615 255118584729 0 4 0 16800975 18446604461563202496 0 0 -1 3 0 0 0
[pid=27072/tid=27080] ppid=27070 vsize=7640384 CPUtime=0.07 cores=1,3
/proc/27072/task/27080/stat : 27080 (java) S 27070 27072 26627 0 -1 4202560 24 0 0 0 7 0 0 0 15 0 19 0 448415811 7823753216 27173 33554432000 1073741824 1073778376 140733332276816 18446744073709551615 255118584729 0 4 0 16800975 18446604461563202496 0 0 -1 3 0 0 0
[pid=27072/tid=27081] ppid=27070 vsize=7640384 CPUtime=0.09 cores=1,3
/proc/27072/task/27081/stat : 27081 (java) S 27070 27072 26627 0 -1 4202560 83 0 0 0 9 0 0 0 15 0 19 0 448415811 7823753216 27173 33554432000 1073741824 1073778376 140733332276816 18446744073709551615 255118584729 0 4 0 16800975 18446604461563202496 0 0 -1 3 0 0 0
[pid=27072/tid=27082] ppid=27070 vsize=7640384 CPUtime=0.07 cores=1,3
/proc/27072/task/27082/stat : 27082 (java) S 27070 27072 26627 0 -1 4202560 262 0 0 0 7 0 0 0 15 0 19 0 448415811 7823753216 27173 33554432000 1073741824 1073778376 140733332276816 18446744073709551615 255118584729 0 4 0 16800975 18446604461563202496 0 0 -1 3 0 0 0
[pid=27072/tid=27083] ppid=27070 vsize=7640384 CPUtime=5.4 cores=1,3
/proc/27072/task/27083/stat : 27083 (java) S 27070 27072 26627 0 -1 4202560 5566 0 0 0 538 2 0 0 15 0 19 0 448415812 7823753216 27173 33554432000 1073741824 1073778376 140733332276816 18446744073709551615 255118585344 0 0 0 16800975 18446604461563202496 0 0 -1 1 0 0 0
[pid=27072/tid=27084] ppid=27070 vsize=7640384 CPUtime=0 cores=1,3
/proc/27072/task/27084/stat : 27084 (java) S 27070 27072 26627 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 448415812 7823753216 27173 33554432000 1073741824 1073778376 140733332276816 18446744073709551615 255118584729 0 4 0 16800975 18446604461563202496 0 0 -1 1 0 0 0
[pid=27072/tid=27085] ppid=27070 vsize=7640384 CPUtime=0 cores=1,3
/proc/27072/task/27085/stat : 27085 (java) S 27070 27072 26627 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 448415812 7823753216 27173 33554432000 1073741824 1073778376 140733332276816 18446744073709551615 255118584729 0 4 0 16800975 18446604461563202496 0 0 -1 1 0 0 0
[pid=27072/tid=27086] ppid=27070 vsize=7640384 CPUtime=0 cores=1,3
/proc/27072/task/27086/stat : 27086 (java) S 27070 27072 26627 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 448415814 7823753216 27173 33554432000 1073741824 1073778376 140733332276816 18446744073709551615 255118592433 0 4 0 16800975 18446604461563202496 0 0 -1 1 0 0 0
[pid=27072/tid=27087] ppid=27070 vsize=7640384 CPUtime=0.19 cores=1,3
/proc/27072/task/27087/stat : 27087 (java) S 27070 27072 26627 0 -1 4202560 643 0 0 0 19 0 0 0 15 0 19 0 448415814 7823753216 27173 33554432000 1073741824 1073778376 140733332276816 18446744073709551615 255118584729 0 4 0 16800975 18446604461563202496 0 0 -1 3 0 0 0
[pid=27072/tid=27088] ppid=27070 vsize=7640384 CPUtime=0.49 cores=1,3
/proc/27072/task/27088/stat : 27088 (java) S 27070 27072 26627 0 -1 4202560 10267 0 0 0 48 1 0 0 15 0 19 0 448415814 7823753216 27173 33554432000 1073741824 1073778376 140733332276816 18446744073709551615 255118584729 0 4 0 16800975 18446604461563202496 0 0 -1 1 0 0 0
[pid=27072/tid=27089] ppid=27070 vsize=7640384 CPUtime=0 cores=1,3
/proc/27072/task/27089/stat : 27089 (java) S 27070 27072 26627 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 448415814 7823753216 27173 33554432000 1073741824 1073778376 140733332276816 18446744073709551615 255118584729 0 4 0 16800975 18446604461563202496 0 0 -1 1 0 0 0
[pid=27072/tid=27090] ppid=27070 vsize=7640384 CPUtime=0 cores=1,3
/proc/27072/task/27090/stat : 27090 (java) S 27070 27072 26627 0 -1 4202560 72 0 0 0 0 0 0 0 15 0 19 0 448415814 7823753216 27173 33554432000 1073741824 1073778376 140733332276816 18446744073709551615 255118585344 0 4 0 16800975 18446604461563202496 0 0 -1 3 0 0 0
[pid=27072/tid=27092] ppid=27070 vsize=7640384 CPUtime=0 cores=1,3
/proc/27072/task/27092/stat : 27092 (java) S 27070 27072 26627 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 448415838 7823753216 27173 33554432000 1073741824 1073778376 140733332276816 18446744073709551615 255118585344 0 4 0 16800975 18446604461563202496 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1243.26
Current children cumulated vsize (KiB) 7640384



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 3.78 3.95 3.84 2/202 27145
/proc/meminfo: memFree=19812552/32951124 swapFree=67111524/67111528
[pid=27072] ppid=27070 vsize=7640384 CPUtime=1300.97 cores=1,3
/proc/27072/stat : 27072 (java) S 27070 27072 26627 0 -1 4202496 32729 0 1 0 130091 6 0 0 21 0 19 0 448415809 7823753216 27173 33554432000 1073741824 1073778376 140733332276816 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/27072/statm: 1910096 27173 2255 9 0 1900834 0
[pid=27072/tid=27073] ppid=27070 vsize=7640384 CPUtime=1293.91 cores=1,3
/proc/27072/task/27073/stat : 27073 (java) R 27070 27072 26627 0 -1 4202560 11903 0 1 0 129389 2 0 0 25 0 19 0 448415809 7823753216 27173 33554432000 1073741824 1073778376 140733332276816 18446744073709551615 46912505585323 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=27072/tid=27075] ppid=27070 vsize=7640384 CPUtime=0.12 cores=1,3
/proc/27072/task/27075/stat : 27075 (java) S 27070 27072 26627 0 -1 4202560 956 0 0 0 12 0 0 0 15 0 19 0 448415811 7823753216 27173 33554432000 1073741824 1073778376 140733332276816 18446744073709551615 255118584729 0 4 0 16800975 18446604461563202496 0 0 -1 3 0 0 0
[pid=27072/tid=27076] ppid=27070 vsize=7640384 CPUtime=0.1 cores=1,3
/proc/27072/task/27076/stat : 27076 (java) S 27070 27072 26627 0 -1 4202560 1150 0 0 0 10 0 0 0 15 0 19 0 448415811 7823753216 27173 33554432000 1073741824 1073778376 140733332276816 18446744073709551615 255118584729 0 4 0 16800975 18446604461563202496 0 0 -1 3 0 0 0
[pid=27072/tid=27077] ppid=27070 vsize=7640384 CPUtime=0.08 cores=1,3
/proc/27072/task/27077/stat : 27077 (java) S 27070 27072 26627 0 -1 4202560 154 0 0 0 8 0 0 0 15 0 19 0 448415811 7823753216 27173 33554432000 1073741824 1073778376 140733332276816 18446744073709551615 255118584729 0 4 0 16800975 18446604461563202496 0 0 -1 3 0 0 0
[pid=27072/tid=27078] ppid=27070 vsize=7640384 CPUtime=0.1 cores=1,3
/proc/27072/task/27078/stat : 27078 (java) S 27070 27072 26627 0 -1 4202560 44 0 0 0 10 0 0 0 15 0 19 0 448415811 7823753216 27173 33554432000 1073741824 1073778376 140733332276816 18446744073709551615 255118584729 0 4 0 16800975 18446604461563202496 0 0 -1 3 0 0 0
[pid=27072/tid=27079] ppid=27070 vsize=7640384 CPUtime=0.08 cores=1,3
/proc/27072/task/27079/stat : 27079 (java) S 27070 27072 26627 0 -1 4202560 447 0 0 0 8 0 0 0 15 0 19 0 448415811 7823753216 27173 33554432000 1073741824 1073778376 140733332276816 18446744073709551615 255118584729 0 4 0 16800975 18446604461563202496 0 0 -1 3 0 0 0
[pid=27072/tid=27080] ppid=27070 vsize=7640384 CPUtime=0.08 cores=1,3
/proc/27072/task/27080/stat : 27080 (java) S 27070 27072 26627 0 -1 4202560 24 0 0 0 8 0 0 0 15 0 19 0 448415811 7823753216 27173 33554432000 1073741824 1073778376 140733332276816 18446744073709551615 255118584729 0 4 0 16800975 18446604461563202496 0 0 -1 3 0 0 0
[pid=27072/tid=27081] ppid=27070 vsize=7640384 CPUtime=0.1 cores=1,3
/proc/27072/task/27081/stat : 27081 (java) S 27070 27072 26627 0 -1 4202560 83 0 0 0 10 0 0 0 15 0 19 0 448415811 7823753216 27173 33554432000 1073741824 1073778376 140733332276816 18446744073709551615 255118584729 0 4 0 16800975 18446604461563202496 0 0 -1 3 0 0 0
[pid=27072/tid=27082] ppid=27070 vsize=7640384 CPUtime=0.07 cores=1,3
/proc/27072/task/27082/stat : 27082 (java) S 27070 27072 26627 0 -1 4202560 262 0 0 0 7 0 0 0 15 0 19 0 448415811 7823753216 27173 33554432000 1073741824 1073778376 140733332276816 18446744073709551615 255118584729 0 4 0 16800975 18446604461563202496 0 0 -1 3 0 0 0
[pid=27072/tid=27083] ppid=27070 vsize=7640384 CPUtime=5.59 cores=1,3
/proc/27072/task/27083/stat : 27083 (java) S 27070 27072 26627 0 -1 4202560 5570 0 0 0 557 2 0 0 15 0 19 0 448415812 7823753216 27173 33554432000 1073741824 1073778376 140733332276816 18446744073709551615 255118585344 0 0 0 16800975 18446604461563202496 0 0 -1 1 0 0 0
[pid=27072/tid=27084] ppid=27070 vsize=7640384 CPUtime=0 cores=1,3
/proc/27072/task/27084/stat : 27084 (java) S 27070 27072 26627 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 448415812 7823753216 27173 33554432000 1073741824 1073778376 140733332276816 18446744073709551615 255118584729 0 4 0 16800975 18446604461563202496 0 0 -1 1 0 0 0
[pid=27072/tid=27085] ppid=27070 vsize=7640384 CPUtime=0 cores=1,3
/proc/27072/task/27085/stat : 27085 (java) S 27070 27072 26627 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 448415812 7823753216 27173 33554432000 1073741824 1073778376 140733332276816 18446744073709551615 255118584729 0 4 0 16800975 18446604461563202496 0 0 -1 1 0 0 0
[pid=27072/tid=27086] ppid=27070 vsize=7640384 CPUtime=0 cores=1,3
/proc/27072/task/27086/stat : 27086 (java) S 27070 27072 26627 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 448415814 7823753216 27173 33554432000 1073741824 1073778376 140733332276816 18446744073709551615 255118592433 0 4 0 16800975 18446604461563202496 0 0 -1 1 0 0 0
[pid=27072/tid=27087] ppid=27070 vsize=7640384 CPUtime=0.19 cores=1,3
/proc/27072/task/27087/stat : 27087 (java) S 27070 27072 26627 0 -1 4202560 643 0 0 0 19 0 0 0 15 0 19 0 448415814 7823753216 27173 33554432000 1073741824 1073778376 140733332276816 18446744073709551615 255118584729 0 4 0 16800975 18446604461563202496 0 0 -1 3 0 0 0
[pid=27072/tid=27088] ppid=27070 vsize=7640384 CPUtime=0.49 cores=1,3
/proc/27072/task/27088/stat : 27088 (java) S 27070 27072 26627 0 -1 4202560 10267 0 0 0 48 1 0 0 15 0 19 0 448415814 7823753216 27173 33554432000 1073741824 1073778376 140733332276816 18446744073709551615 255118584729 0 4 0 16800975 18446604461563202496 0 0 -1 1 0 0 0
[pid=27072/tid=27089] ppid=27070 vsize=7640384 CPUtime=0 cores=1,3
/proc/27072/task/27089/stat : 27089 (java) S 27070 27072 26627 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 448415814 7823753216 27173 33554432000 1073741824 1073778376 140733332276816 18446744073709551615 255118584729 0 4 0 16800975 18446604461563202496 0 0 -1 1 0 0 0
[pid=27072/tid=27090] ppid=27070 vsize=7640384 CPUtime=0 cores=1,3
/proc/27072/task/27090/stat : 27090 (java) S 27070 27072 26627 0 -1 4202560 76 0 0 0 0 0 0 0 15 0 19 0 448415814 7823753216 27173 33554432000 1073741824 1073778376 140733332276816 18446744073709551615 255118585344 0 4 0 16800975 18446604461563202496 0 0 -1 3 0 0 0
[pid=27072/tid=27092] ppid=27070 vsize=7640384 CPUtime=0 cores=1,3
/proc/27072/task/27092/stat : 27092 (java) S 27070 27072 26627 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 448415838 7823753216 27173 33554432000 1073741824 1073778376 140733332276816 18446744073709551615 255118585344 0 4 0 16800975 18446604461563202496 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1300.97
Current children cumulated vsize (KiB) 7640384

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

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

Child status: 143
Real time (s): 1300.05
CPU time (s): 1301.05
CPU user time (s): 1300.97
CPU system time (s): 0.075988
CPU usage (%): 100.077
Max. virtual memory (cumulated for all children) (KiB): 7640384

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1300.97
system time used= 0.075988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32768
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= 30290
involuntary context switches= 5941

runsolver used 2.11968 second user time and 4.99524 second system time

The end

Launcher Data 

Begin job on node144 at 2011-04-23 13:59:57
IDJOB=3263008
IDBENCH=83909
IDSOLVER=1611
FILE ID=node144/3263008-1303559997
RUNJOBID= node144-1303559995-26979
PBS_JOBID= 13150271
Free space on /tmp= 72188 MiB

SOLVER NAME= SAT4J core 2.3.0 SNAPSHOT 2011-02-06
BENCH NAME= SAT03/handmade/anton/UNSAT/SGI_30_50_30_20_1-log.shuffled-as.sat03-107.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-3263008-1303559997/watcher-3263008-1303559997 -o /tmp/evaluation-result-3263008-1303559997/solver-3263008-1303559997 -C 2400 -W 1300 -M 7680  java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3263008-1303559997.cnf

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

MD5SUM BENCH= 5f29341b29f4bbeb333d68befe08c7ae
RANDOM SEED=753361859

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      19743360 kB
Buffers:       2153784 kB
Cached:       10276272 kB
SwapCached:          4 kB
Active:        3464556 kB
Inactive:      9209480 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      19743360 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:            5664 kB
Writeback:           4 kB
AnonPages:      242760 kB
Mapped:          23384 kB
Slab:           468596 kB
PageTables:       5872 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 22033168 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= 72188 MiB
End job on node144 at 2011-04-23 14:21:39