Trace number 3262788

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.07 1300.05

General information on the benchmark

NameSAT03/handmade/anton/UNSAT/
SGI_30_60_24_40_2-log.shuffled-as.sat03-119.cnf
MD5SUMcf96a8eea16f98b3cec72117cedd0285
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 variables120
Number of clauses48342
Sum of the clauses size483180
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 548
Number of clauses of size over 548294

Solver Data 

0.04/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.04/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.04/0.07	c See www.sat4j.org for details.
0.04/0.07	c no version file found!!!
0.04/0.07	c java.runtime.name	Java(TM) SE Runtime Environment
0.04/0.07	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.04/0.07	c java.vm.version	19.1-b02
0.04/0.07	c java.vm.vendor	Sun Microsystems Inc.
0.04/0.07	c sun.arch.data.model	64
0.04/0.07	c java.version		1.6.0_24
0.04/0.07	c os.name		Linux
0.04/0.07	c os.version		2.6.18-164.el5
0.04/0.07	c os.arch		amd64
0.04/0.07	c Free memory 		6997539544
0.04/0.07	c Max memory 		7034241024
0.04/0.07	c Total memory 		7034241024
0.04/0.07	c Number of processors 	8
0.04/0.09	c --- Begin Solver configuration ---
0.04/0.09	c org.sat4j.minisat.constraints.MixedDataStructureDanielWL@664741d6
0.04/0.09	c Learn all clauses as in MiniSAT
0.04/0.09	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.1 initConflictBound=100 
0.04/0.09	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT
0.04/0.09	c Expensive reason simplification
0.04/0.09	c Armin Biere (Picosat) restarts strategy
0.04/0.09	c Glucose learned constraints deletion strategy
0.04/0.09	c timeout=2147483647s
0.04/0.09	c DB Simplification allowed=true
0.04/0.09	c --- End Solver configuration ---
0.04/0.09	c solving HOME/instance-3262788-1303556329.cnf
0.04/0.09	c reading problem ... 
0.26/0.26	c ... done. Wall clock time 0.172s.
0.26/0.26	c #vars     120
0.26/0.26	c #constraints  48342
0.26/0.26	c constraints type 
0.26/0.26	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 48342
1.19/0.83	c cleaning 2484 clauses out of 5000 with flag 5000/5000
1.79/1.27	c cleaning 4241 clauses out of 8516 with flag 11000/11000
2.31/1.78	c cleaning 5632 clauses out of 11276 with flag 18001/18001
3.02/2.46	c cleaning 6811 clauses out of 13643 with flag 26000/26000
3.74/3.18	c cleaning 7903 clauses out of 15832 with flag 35000/35000
4.74/4.12	c cleaning 8960 clauses out of 17930 with flag 45001/45001
5.55/4.98	c cleaning 9979 clauses out of 19969 with flag 56000/56000
6.65/6.05	c cleaning 10989 clauses out of 21990 with flag 68000/68000
7.75/7.17	c cleaning 11996 clauses out of 24001 with flag 81000/81000
9.15/8.53	c cleaning 12994 clauses out of 26006 with flag 95001/95001
10.46/9.90	c cleaning 14007 clauses out of 28014 with flag 110003/110003
12.16/11.59	c cleaning 14993 clauses out of 30004 with flag 126000/126000
13.96/13.35	c cleaning 16002 clauses out of 32012 with flag 143001/143001
15.97/15.38	c cleaning 17001 clauses out of 34011 with flag 161002/161002
18.46/17.81	c cleaning 17990 clauses out of 36008 with flag 180000/180000
21.57/20.92	c cleaning 18992 clauses out of 38018 with flag 200000/200000
24.67/24.07	c cleaning 20008 clauses out of 40027 with flag 221001/221001
28.07/27.49	c cleaning 20995 clauses out of 42018 with flag 243000/243000
32.07/31.50	c cleaning 22011 clauses out of 44024 with flag 266001/266001
35.97/35.35	c cleaning 22992 clauses out of 46012 with flag 290000/290000
40.28/39.67	c cleaning 24004 clauses out of 48021 with flag 315001/315001
45.08/44.40	c cleaning 25002 clauses out of 50018 with flag 341002/341002
50.09/49.49	c cleaning 26000 clauses out of 52015 with flag 368001/368001
54.18/53.53	c cleaning 26999 clauses out of 54017 with flag 396003/396003
58.69/58.08	c cleaning 27996 clauses out of 56015 with flag 425000/425000
64.69/64.10	c cleaning 29000 clauses out of 58020 with flag 455001/455001
71.29/70.61	c cleaning 30002 clauses out of 60019 with flag 486000/486000
78.00/77.37	c cleaning 31001 clauses out of 62018 with flag 518001/518001
83.50/82.84	c cleaning 31992 clauses out of 64016 with flag 551000/551000
89.40/88.74	c cleaning 33000 clauses out of 66024 with flag 585000/585000
96.41/95.76	c cleaning 34003 clauses out of 68024 with flag 620000/620000
103.71/103.08	c cleaning 35001 clauses out of 70021 with flag 656000/656000
109.62/108.94	c cleaning 36002 clauses out of 72020 with flag 693000/693000
116.31/115.68	c cleaning 36999 clauses out of 74019 with flag 731001/731001
123.02/122.33	c cleaning 37986 clauses out of 76019 with flag 770000/770000
130.12/129.48	c cleaning 39008 clauses out of 78034 with flag 810001/810001
138.23/137.51	c cleaning 39987 clauses out of 80025 with flag 851000/851000
147.12/146.47	c cleaning 40999 clauses out of 82038 with flag 893000/893000
156.13/155.44	c cleaning 42013 clauses out of 84041 with flag 936002/936002
166.43/165.73	c cleaning 42997 clauses out of 86029 with flag 980003/980003
177.53/176.87	c cleaning 43990 clauses out of 88029 with flag 1025000/1025000
187.94/187.20	c cleaning 45001 clauses out of 90039 with flag 1071000/1071000
199.14/198.49	c cleaning 46008 clauses out of 92039 with flag 1118001/1118001
208.64/207.91	c cleaning 47003 clauses out of 94030 with flag 1166000/1166000
219.54/218.89	c cleaning 48000 clauses out of 96029 with flag 1215002/1215002
231.44/230.78	c cleaning 48506 clauses out of 97027 with flag 1264000/1264000
244.14/243.48	c cleaning 48753 clauses out of 97522 with flag 1313001/1313001
256.45/255.76	c cleaning 48879 clauses out of 97769 with flag 1362001/1362001
268.65/267.94	c cleaning 48934 clauses out of 97890 with flag 1411001/1411001
281.27/280.56	c cleaning 48966 clauses out of 97956 with flag 1460001/1460001
293.37/292.67	c cleaning 48981 clauses out of 97989 with flag 1509000/1509000
304.87/304.19	c cleaning 48995 clauses out of 98008 with flag 1558000/1558000
319.58/318.90	c cleaning 48993 clauses out of 98013 with flag 1607000/1607000
332.08/331.30	c cleaning 49001 clauses out of 98022 with flag 1656002/1656002
344.99/344.26	c cleaning 48991 clauses out of 98019 with flag 1705000/1705000
358.09/357.39	c cleaning 49003 clauses out of 98028 with flag 1754000/1754000
369.69/368.96	c cleaning 49001 clauses out of 98025 with flag 1803000/1803000
382.90/382.14	c cleaning 49001 clauses out of 98026 with flag 1852002/1852002
396.40/395.69	c cleaning 48996 clauses out of 98023 with flag 1901000/1901000
410.30/409.51	c cleaning 49006 clauses out of 98027 with flag 1950000/1950000
421.51/420.79	c cleaning 48999 clauses out of 98023 with flag 1999002/1999002
435.22/434.48	c cleaning 48993 clauses out of 98022 with flag 2048000/2048000
448.31/447.54	c cleaning 49001 clauses out of 98030 with flag 2097001/2097001
461.32/460.52	c cleaning 49006 clauses out of 98030 with flag 2146002/2146002
473.12/472.32	c cleaning 48989 clauses out of 98022 with flag 2195000/2195000
486.22/485.46	c cleaning 49012 clauses out of 98034 with flag 2244001/2244001
501.33/500.59	c cleaning 49001 clauses out of 98022 with flag 2293001/2293001
514.73/513.91	c cleaning 48988 clauses out of 98020 with flag 2342000/2342000
525.93/525.18	c cleaning 49012 clauses out of 98033 with flag 2391001/2391001
536.73/535.92	c cleaning 48999 clauses out of 98023 with flag 2440003/2440003
548.74/547.97	c cleaning 48992 clauses out of 98021 with flag 2489000/2489000
562.14/561.36	c cleaning 49003 clauses out of 98029 with flag 2538000/2538000
575.64/574.87	c cleaning 49005 clauses out of 98026 with flag 2587000/2587000
587.96/587.18	c cleaning 48993 clauses out of 98022 with flag 2636001/2636001
601.67/600.90	c cleaning 48993 clauses out of 98028 with flag 2685000/2685000
615.67/614.89	c cleaning 49013 clauses out of 98037 with flag 2734002/2734002
630.17/629.31	c cleaning 48995 clauses out of 98023 with flag 2783001/2783001
643.18/642.39	c cleaning 49008 clauses out of 98028 with flag 2832001/2832001
654.97/654.11	c cleaning 48995 clauses out of 98019 with flag 2881000/2881000
667.18/666.30	c cleaning 48999 clauses out of 98024 with flag 2930000/2930000
679.28/678.40	c cleaning 48996 clauses out of 98025 with flag 2979000/2979000
693.68/692.90	c cleaning 49005 clauses out of 98031 with flag 3028002/3028002
708.48/707.61	c cleaning 48998 clauses out of 98024 with flag 3077000/3077000
721.48/720.64	c cleaning 48992 clauses out of 98026 with flag 3126000/3126000
735.59/734.74	c cleaning 48995 clauses out of 98034 with flag 3175000/3175000
748.98/748.16	c cleaning 49007 clauses out of 98039 with flag 3224000/3224000
761.49/760.68	c cleaning 49005 clauses out of 98033 with flag 3273001/3273001
774.59/773.70	c cleaning 49004 clauses out of 98027 with flag 3322000/3322000
786.79/785.90	c cleaning 49007 clauses out of 98026 with flag 3371003/3371003
801.10/800.24	c cleaning 49003 clauses out of 98018 with flag 3420002/3420002
814.70/813.80	c cleaning 49005 clauses out of 98013 with flag 3469000/3469000
829.11/828.24	c cleaning 48984 clauses out of 98008 with flag 3518000/3518000
842.70/841.86	c cleaning 49000 clauses out of 98024 with flag 3567000/3567000
856.51/855.69	c cleaning 48997 clauses out of 98024 with flag 3616000/3616000
870.51/869.64	c cleaning 49008 clauses out of 98028 with flag 3665001/3665001
884.12/883.27	c cleaning 49008 clauses out of 98023 with flag 3714004/3714004
896.22/895.33	c cleaning 48980 clauses out of 98011 with flag 3763000/3763000
908.32/907.48	c cleaning 49001 clauses out of 98032 with flag 3812001/3812001
921.02/920.12	c cleaning 49002 clauses out of 98030 with flag 3861000/3861000
933.62/932.73	c cleaning 49004 clauses out of 98028 with flag 3910000/3910000
946.12/945.21	c cleaning 49005 clauses out of 98025 with flag 3959001/3959001
959.72/958.90	c cleaning 48996 clauses out of 98020 with flag 4008001/4008001
974.22/973.40	c cleaning 48986 clauses out of 98023 with flag 4057000/4057000
985.73/984.86	c cleaning 49004 clauses out of 98038 with flag 4106001/4106001
998.83/997.97	c cleaning 48997 clauses out of 98033 with flag 4155000/4155000
1011.13/1010.22	c cleaning 49002 clauses out of 98036 with flag 4204000/4204000
1023.53/1022.62	c cleaning 49007 clauses out of 98034 with flag 4253000/4253000
1035.63/1034.79	c cleaning 49002 clauses out of 98027 with flag 4302000/4302000
1046.14/1045.26	c cleaning 48983 clauses out of 98025 with flag 4351000/4351000
1056.65/1055.71	c cleaning 49006 clauses out of 98042 with flag 4400000/4400000
1067.35/1066.44	c cleaning 49016 clauses out of 98040 with flag 4449004/4449004
1078.96/1078.07	c cleaning 48999 clauses out of 98022 with flag 4498002/4498002
1090.85/1090.00	c cleaning 48994 clauses out of 98023 with flag 4547002/4547002
1103.85/1102.95	c cleaning 49003 clauses out of 98027 with flag 4596000/4596000
1115.66/1114.72	c cleaning 48998 clauses out of 98025 with flag 4645001/4645001
1130.26/1129.35	c cleaning 49001 clauses out of 98027 with flag 4694001/4694001
1144.16/1143.22	c cleaning 48996 clauses out of 98026 with flag 4743001/4743001
1154.96/1154.05	c cleaning 49002 clauses out of 98030 with flag 4792001/4792001
1169.46/1168.52	c cleaning 49005 clauses out of 98027 with flag 4841000/4841000
1183.67/1182.70	c cleaning 49002 clauses out of 98023 with flag 4890001/4890001
1196.58/1195.63	c cleaning 49002 clauses out of 98022 with flag 4939002/4939002
1208.87/1207.98	c cleaning 48990 clauses out of 98018 with flag 4988000/4988000
1222.57/1221.68	c cleaning 49010 clauses out of 98029 with flag 5037001/5037001
1235.57/1234.67	c cleaning 48998 clauses out of 98019 with flag 5086001/5086001
1248.08/1247.17	c cleaning 48995 clauses out of 98020 with flag 5135000/5135000
1261.38/1260.45	c cleaning 49012 clauses out of 98027 with flag 5184002/5184002
1274.18/1273.29	c cleaning 48987 clauses out of 98013 with flag 5233000/5233000
1285.79/1284.86	c cleaning 49008 clauses out of 98026 with flag 5282000/5282000
1298.48/1297.55	c cleaning 48989 clauses out of 98018 with flag 5331000/5331000
1300.99/1300.01	c starts		: 2180
1300.99/1300.01	c conflicts		: 5345163
1300.99/1300.01	c decisions		: 7145742
1300.99/1300.01	c propagations		: 41085311
1300.99/1300.01	c inspects		: 17520845607
1300.99/1300.01	c shortcuts		: 0
1300.99/1300.01	c learnt literals	: 0
1300.99/1300.01	c learnt binary clauses	: 0
1300.99/1300.01	c learnt ternary clauses	: 0
1300.99/1300.01	c learnt constraints	: 5345163
1300.99/1300.01	c ignored constraints	: 0
1300.99/1300.01	c root simplifications	: 2180
1300.99/1300.01	c removed literals (reason simplification)	: 25770233
1300.99/1300.01	c reason swapping (by a shorter reason)	: 0
1300.99/1300.01	c Calls to reduceDB	: 129
1300.99/1300.01	c speed (assignments/second)	: 31610.24030061235
1300.99/1300.01	c non guided choices	8878
1300.99/1300.04	c learnt constraints type 
1300.99/1300.04	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 63289
1300.99/1300.04	c constraints type 
1300.99/1300.04	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 48342
1300.99/1300.04	s UNKNOWN
1300.99/1300.04	c Total wall clock time (in seconds) : 1299.92

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

running on 2 cores: 5,7

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


[startup+0 s]
/proc/loadavg: 3.69 3.94 3.92 5/220 8916
/proc/meminfo: memFree=14439132/32951124 swapFree=67111528/67111528
[pid=8916] ppid=8914 vsize=31656 CPUtime=0 cores=5,7
/proc/8916/stat : 8916 (java) S 8914 8916 7764 0 -1 4202496 1291 0 0 0 0 0 0 0 24 0 2 0 467233863 32415744 1007 33554432000 1073741824 1073778376 140736541541776 18446744073709551615 270624913381 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/8916/statm: 8437 1009 777 9 0 386 0
[pid=8916/tid=8917] ppid=8914 vsize=33696 CPUtime=0 cores=5,7
/proc/8916/task/8917/stat : 8917 (java) R 8914 8916 7764 0 -1 4202560 186 0 0 0 0 0 0 0 18 0 2 0 467233863 34504704 1009 33554432000 1073741824 1073778376 140736541541776 18446744073709551615 270608187015 0 0 0 16784584 0 0 0 -1 5 0 0 0

[startup+0.0546389 s]
/proc/loadavg: 3.69 3.94 3.92 5/220 8916
/proc/meminfo: memFree=14439132/32951124 swapFree=67111528/67111528
[pid=8916] ppid=8914 vsize=7564488 CPUtime=0.04 cores=5,7
/proc/8916/stat : 8916 (java) S 8914 8916 7764 0 -1 4202496 9024 0 1 0 3 1 0 0 24 0 13 0 467233863 7746035712 8720 33554432000 1073741824 1073778376 140736541541776 18446744073709551615 270624913381 0 0 0 16800971 18446744073709551615 0 0 17 5 0 0 0
/proc/8916/statm: 1891122 8720 1687 9 0 1881870 0
[pid=8916/tid=8917] ppid=8914 vsize=7564488 CPUtime=0.04 cores=5,7
/proc/8916/task/8917/stat : 8917 (java) R 8914 8916 7764 0 -1 4202560 7876 0 1 0 3 1 0 0 22 0 13 0 467233863 7746035712 8720 33554432000 1073741824 1073778376 140736541541776 18446744073709551615 270624937419 0 4 0 16800971 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 7564488

[startup+0.100629 s]
/proc/loadavg: 3.69 3.94 3.92 5/220 8916
/proc/meminfo: memFree=14439132/32951124 swapFree=67111528/67111528
[pid=8916] ppid=8914 vsize=7569940 CPUtime=0.08 cores=5,7
/proc/8916/stat : 8916 (java) S 8914 8916 7764 0 -1 4202496 9785 0 1 0 7 1 0 0 24 0 18 0 467233863 7751618560 9481 33554432000 1073741824 1073778376 140736541541776 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/8916/statm: 1892485 9481 1757 9 0 1883223 0
[pid=8916/tid=8917] ppid=8914 vsize=7569940 CPUtime=0.08 cores=5,7
/proc/8916/task/8917/stat : 8917 (java) R 8914 8916 7764 0 -1 4202560 8610 0 1 0 7 1 0 0 25 0 18 0 467233863 7751618560 9481 33554432000 1073741824 1073778376 140736541541776 18446744073709551615 46912505228243 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 7569940

[startup+0.300563 s]
/proc/loadavg: 3.69 3.94 3.92 5/220 8916
/proc/meminfo: memFree=14439132/32951124 swapFree=67111528/67111528
[pid=8916] ppid=8914 vsize=7637776 CPUtime=0.43 cores=5,7
/proc/8916/stat : 8916 (java) S 8914 8916 7764 0 -1 4202496 13461 0 1 0 41 2 0 0 24 0 19 0 467233863 7821082624 12819 33554432000 1073741824 1073778376 140736541541776 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/8916/statm: 1909444 12819 2209 9 0 1900182 0
[pid=8916/tid=8917] ppid=8914 vsize=7637776 CPUtime=0.26 cores=5,7
/proc/8916/task/8917/stat : 8917 (java) R 8914 8916 7764 0 -1 4202560 10804 0 1 0 24 2 0 0 25 0 19 0 467233863 7821082624 12819 33554432000 1073741824 1073778376 140736541541776 18446744073709551615 46912505583781 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 7637776

[startup+0.700494 s]
/proc/loadavg: 3.69 3.94 3.92 5/220 8916
/proc/meminfo: memFree=14439132/32951124 swapFree=67111528/67111528
[pid=8916] ppid=8914 vsize=7639460 CPUtime=1.06 cores=5,7
/proc/8916/stat : 8916 (java) S 8914 8916 7764 0 -1 4202496 15558 0 1 0 104 2 0 0 24 0 19 0 467233863 7822807040 13810 33554432000 1073741824 1073778376 140736541541776 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/8916/statm: 1909865 13810 2226 9 0 1900603 0
[pid=8916/tid=8917] ppid=8914 vsize=7639460 CPUtime=0.66 cores=5,7
/proc/8916/task/8917/stat : 8917 (java) R 8914 8916 7764 0 -1 4202560 11315 0 1 0 64 2 0 0 25 0 19 0 467233863 7822807040 13810 33554432000 1073741824 1073778376 140736541541776 18446744073709551615 46912505603216 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.06
Current children cumulated vsize (KiB) 7639460

[startup+1.50139 s]
/proc/loadavg: 3.69 3.94 3.92 8/262 8961
/proc/meminfo: memFree=14272992/32951124 swapFree=67111528/67111528
[pid=8916] ppid=8914 vsize=7664468 CPUtime=2.11 cores=5,7
/proc/8916/stat : 8916 (java) S 8914 8916 7764 0 -1 4202496 26841 0 1 0 208 3 0 0 24 0 19 0 467233863 7848415232 23155 33554432000 1073741824 1073778376 140736541541776 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/8916/statm: 1916117 23155 2254 9 0 1906855 0
[pid=8916/tid=8917] ppid=8914 vsize=7664468 CPUtime=1.4 cores=5,7
/proc/8916/task/8917/stat : 8917 (java) R 8914 8916 7764 0 -1 4202560 11377 0 1 0 138 2 0 0 25 0 19 0 467233863 7848415232 23155 33554432000 1073741824 1073778376 140736541541776 18446744073709551615 46912505684578 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=8916/tid=8926] ppid=8914 vsize=7664468 CPUtime=0 cores=5,7
/proc/8916/task/8926/stat : 8926 (java) S 8914 8916 7764 0 -1 4202560 1019 0 0 0 0 0 0 0 15 0 19 0 467233864 7848415232 23155 33554432000 1073741824 1073778376 140736541541776 18446744073709551615 270624926617 0 4 0 16800975 18446604464321870016 0 0 -1 7 0 0 0
[pid=8916/tid=8927] ppid=8914 vsize=7664468 CPUtime=0 cores=5,7
/proc/8916/task/8927/stat : 8927 (java) S 8914 8916 7764 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 467233864 7848415232 23155 33554432000 1073741824 1073778376 140736541541776 18446744073709551615 270624926617 0 4 0 16800975 18446604464321870016 0 0 -1 7 0 0 0
[pid=8916/tid=8928] ppid=8914 vsize=7664468 CPUtime=0 cores=5,7
/proc/8916/task/8928/stat : 8928 (java) S 8914 8916 7764 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 467233864 7848415232 23155 33554432000 1073741824 1073778376 140736541541776 18446744073709551615 270624926617 0 4 0 16800975 18446604464321870016 0 0 -1 7 0 0 0
[pid=8916/tid=8929] ppid=8914 vsize=7664468 CPUtime=0 cores=5,7
/proc/8916/task/8929/stat : 8929 (java) S 8914 8916 7764 0 -1 4202560 227 0 0 0 0 0 0 0 15 0 19 0 467233864 7848415232 23155 33554432000 1073741824 1073778376 140736541541776 18446744073709551615 270624926617 0 4 0 16800975 18446604464321870016 0 0 -1 7 0 0 0
[pid=8916/tid=8930] ppid=8914 vsize=7664468 CPUtime=0 cores=5,7
/proc/8916/task/8930/stat : 8930 (java) S 8914 8916 7764 0 -1 4202560 464 0 0 0 0 0 0 0 15 0 19 0 467233864 7848415232 23155 33554432000 1073741824 1073778376 140736541541776 18446744073709551615 270624926617 0 4 0 16800975 18446604464321870016 0 0 -1 5 0 0 0
[pid=8916/tid=8931] ppid=8914 vsize=7664468 CPUtime=0 cores=5,7
/proc/8916/task/8931/stat : 8931 (java) S 8914 8916 7764 0 -1 4202560 198 0 0 0 0 0 0 0 15 0 19 0 467233864 7848415232 23155 33554432000 1073741824 1073778376 140736541541776 18446744073709551615 270624926617 0 4 0 16800975 18446604464321870016 0 0 -1 7 0 0 0
[pid=8916/tid=8932] ppid=8914 vsize=7664468 CPUtime=0 cores=5,7
/proc/8916/task/8932/stat : 8932 (java) S 8914 8916 7764 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 467233864 7848415232 23155 33554432000 1073741824 1073778376 140736541541776 18446744073709551615 270624926617 0 4 0 16800975 18446604464321870016 0 0 -1 7 0 0 0
[pid=8916/tid=8933] ppid=8914 vsize=7664468 CPUtime=0 cores=5,7
/proc/8916/task/8933/stat : 8933 (java) S 8914 8916 7764 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 467233864 7848415232 23155 33554432000 1073741824 1073778376 140736541541776 18446744073709551615 270624926617 0 4 0 16800975 18446604464321870016 0 0 -1 7 0 0 0
[pid=8916/tid=8942] ppid=8914 vsize=7664468 CPUtime=0.04 cores=5,7
/proc/8916/task/8942/stat : 8942 (java) S 8914 8916 7764 0 -1 4202560 1786 0 0 0 4 0 0 0 16 0 19 0 467233865 7848415232 23155 33554432000 1073741824 1073778376 140736541541776 18446744073709551615 270624927232 0 0 0 16800975 18446604464321870016 0 0 -1 5 0 0 0
[pid=8916/tid=8943] ppid=8914 vsize=7664468 CPUtime=0 cores=5,7
/proc/8916/task/8943/stat : 8943 (java) S 8914 8916 7764 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 467233866 7848415232 23155 33554432000 1073741824 1073778376 140736541541776 18446744073709551615 270624926617 0 4 0 16800975 18446604464321870016 0 0 -1 5 0 0 0
[pid=8916/tid=8944] ppid=8914 vsize=7664468 CPUtime=0 cores=5,7
/proc/8916/task/8944/stat : 8944 (java) S 8914 8916 7764 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 467233866 7848415232 23155 33554432000 1073741824 1073778376 140736541541776 18446744073709551615 270624926617 0 4 0 16800975 18446604464321870016 0 0 -1 5 0 0 0
[pid=8916/tid=8948] ppid=8914 vsize=7664468 CPUtime=0 cores=5,7
/proc/8916/task/8948/stat : 8948 (java) S 8914 8916 7764 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 467233868 7848415232 23155 33554432000 1073741824 1073778376 140736541541776 18446744073709551615 270624934321 0 4 0 16800975 18446604464321870016 0 0 -1 5 0 0 0
[pid=8916/tid=8949] ppid=8914 vsize=7664468 CPUtime=0.45 cores=5,7
/proc/8916/task/8949/stat : 8949 (java) S 8914 8916 7764 0 -1 4202560 9173 0 0 0 45 0 0 0 22 0 19 0 467233868 7848415232 23155 33554432000 1073741824 1073778376 140736541541776 18446744073709551615 270624926617 0 4 0 16800975 18446604464321870016 0 0 -1 7 0 0 0
[pid=8916/tid=8950] ppid=8914 vsize=7664468 CPUtime=0.17 cores=5,7
/proc/8916/task/8950/stat : 8950 (java) S 8914 8916 7764 0 -1 4202560 1436 0 0 0 17 0 0 0 19 0 19 0 467233868 7848415232 23155 33554432000 1073741824 1073778376 140736541541776 18446744073709551615 270624926617 0 4 0 16800975 18446604464321870016 0 0 -1 7 0 0 0
[pid=8916/tid=8951] ppid=8914 vsize=7664468 CPUtime=0 cores=5,7
/proc/8916/task/8951/stat : 8951 (java) S 8914 8916 7764 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 467233868 7848415232 23155 33554432000 1073741824 1073778376 140736541541776 18446744073709551615 270624926617 0 4 0 16800975 18446604464321870016 0 0 -1 5 0 0 0
[pid=8916/tid=8952] ppid=8914 vsize=7664468 CPUtime=0 cores=5,7
/proc/8916/task/8952/stat : 8952 (java) S 8914 8916 7764 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 467233868 7848415232 23155 33554432000 1073741824 1073778376 140736541541776 18446744073709551615 270624927232 0 4 0 16800975 18446604464321870016 0 0 -1 7 0 0 0
[pid=8916/tid=8961] ppid=8914 vsize=7664468 CPUtime=0 cores=5,7
/proc/8916/task/8961/stat : 8961 (java) S 8914 8916 7764 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 467233889 7848415232 23155 33554432000 1073741824 1073778376 140736541541776 18446744073709551615 270624927232 0 4 0 16800975 18446604464321870016 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.11
Current children cumulated vsize (KiB) 7664468

[startup+3.10111 s]
/proc/loadavg: 3.69 3.94 3.92 9/262 8961
/proc/meminfo: memFree=14184952/32951124 swapFree=67111528/67111528
[pid=8916] ppid=8914 vsize=7664468 CPUtime=3.74 cores=5,7
/proc/8916/stat : 8916 (java) S 8914 8916 7764 0 -1 4202496 27066 0 1 0 371 3 0 0 24 0 19 0 467233863 7848415232 23363 33554432000 1073741824 1073778376 140736541541776 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/8916/statm: 1916117 23363 2254 9 0 1906855 0
[pid=8916/tid=8917] ppid=8914 vsize=7664468 CPUtime=2.94 cores=5,7
/proc/8916/task/8917/stat : 8917 (java) R 8914 8916 7764 0 -1 4202560 11379 0 1 0 292 2 0 0 25 0 19 0 467233863 7848415232 23363 33554432000 1073741824 1073778376 140736541541776 18446744073709551615 46912505603216 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=8916/tid=8926] ppid=8914 vsize=7664468 CPUtime=0.01 cores=5,7
/proc/8916/task/8926/stat : 8926 (java) S 8914 8916 7764 0 -1 4202560 1112 0 0 0 1 0 0 0 15 0 19 0 467233864 7848415232 23363 33554432000 1073741824 1073778376 140736541541776 18446744073709551615 270624926617 0 4 0 16800975 18446604464321870016 0 0 -1 5 0 0 0
[pid=8916/tid=8927] ppid=8914 vsize=7664468 CPUtime=0 cores=5,7
/proc/8916/task/8927/stat : 8927 (java) S 8914 8916 7764 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 467233864 7848415232 23363 33554432000 1073741824 1073778376 140736541541776 18446744073709551615 270624926617 0 4 0 16800975 18446604464321870016 0 0 -1 7 0 0 0
[pid=8916/tid=8928] ppid=8914 vsize=7664468 CPUtime=0 cores=5,7
/proc/8916/task/8928/stat : 8928 (java) S 8914 8916 7764 0 -1 4202560 3 0 0 0 0 0 0 0 16 0 19 0 467233864 7848415232 23363 33554432000 1073741824 1073778376 140736541541776 18446744073709551615 270624926617 0 4 0 16800975 18446604464321870016 0 0 -1 7 0 0 0
[pid=8916/tid=8929] ppid=8914 vsize=7664468 CPUtime=0 cores=5,7
/proc/8916/task/8929/stat : 8929 (java) S 8914 8916 7764 0 -1 4202560 227 0 0 0 0 0 0 0 15 0 19 0 467233864 7848415232 23363 33554432000 1073741824 1073778376 140736541541776 18446744073709551615 270624926617 0 4 0 16800975 18446604464321870016 0 0 -1 7 0 0 0
[pid=8916/tid=8930] ppid=8914 vsize=7664468 CPUtime=0 cores=5,7
/proc/8916/task/8930/stat : 8930 (java) S 8914 8916 7764 0 -1 4202560 464 0 0 0 0 0 0 0 15 0 19 0 467233864 7848415232 23363 33554432000 1073741824 1073778376 140736541541776 18446744073709551615 270624926617 0 4 0 16800975 18446604464321870016 0 0 -1 7 0 0 0
[pid=8916/tid=8931] ppid=8914 vsize=7664468 CPUtime=0 cores=5,7
/proc/8916/task/8931/stat : 8931 (java) S 8914 8916 7764 0 -1 4202560 198 0 0 0 0 0 0 0 15 0 19 0 467233864 7848415232 23363 33554432000 1073741824 1073778376 140736541541776 18446744073709551615 270624926617 0 4 0 16800975 18446604464321870016 0 0 -1 7 0 0 0
[pid=8916/tid=8932] ppid=8914 vsize=7664468 CPUtime=0 cores=5,7
/proc/8916/task/8932/stat : 8932 (java) S 8914 8916 7764 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 467233864 7848415232 23363 33554432000 1073741824 1073778376 140736541541776 18446744073709551615 270624926617 0 4 0 16800975 18446604464321870016 0 0 -1 7 0 0 0
[pid=8916/tid=8933] ppid=8914 vsize=7664468 CPUtime=0 cores=5,7
/proc/8916/task/8933/stat : 8933 (java) S 8914 8916 7764 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 467233864 7848415232 23363 33554432000 1073741824 1073778376 140736541541776 18446744073709551615 270624926617 0 4 0 16800975 18446604464321870016 0 0 -1 7 0 0 0
[pid=8916/tid=8942] ppid=8914 vsize=7664468 CPUtime=0.09 cores=5,7
/proc/8916/task/8942/stat : 8942 (java) S 8914 8916 7764 0 -1 4202560 1892 0 0 0 9 0 0 0 16 0 19 0 467233865 7848415232 23363 33554432000 1073741824 1073778376 140736541541776 18446744073709551615 270624927232 0 0 0 16800975 18446604464321870016 0 0 -1 5 0 0 0
[pid=8916/tid=8943] ppid=8914 vsize=7664468 CPUtime=0 cores=5,7
/proc/8916/task/8943/stat : 8943 (java) S 8914 8916 7764 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 467233866 7848415232 23363 33554432000 1073741824 1073778376 140736541541776 18446744073709551615 270624926617 0 4 0 16800975 18446604464321870016 0 0 -1 5 0 0 0
[pid=8916/tid=8944] ppid=8914 vsize=7664468 CPUtime=0 cores=5,7
/proc/8916/task/8944/stat : 8944 (java) S 8914 8916 7764 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 467233866 7848415232 23363 33554432000 1073741824 1073778376 140736541541776 18446744073709551615 270624926617 0 4 0 16800975 18446604464321870016 0 0 -1 5 0 0 0
[pid=8916/tid=8948] ppid=8914 vsize=7664468 CPUtime=0 cores=5,7
/proc/8916/task/8948/stat : 8948 (java) S 8914 8916 7764 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 467233868 7848415232 23363 33554432000 1073741824 1073778376 140736541541776 18446744073709551615 270624934321 0 4 0 16800975 18446604464321870016 0 0 -1 5 0 0 0
[pid=8916/tid=8949] ppid=8914 vsize=7664468 CPUtime=0.48 cores=5,7
/proc/8916/task/8949/stat : 8949 (java) S 8914 8916 7764 0 -1 4202560 9176 0 0 0 48 0 0 0 15 0 19 0 467233868 7848415232 23363 33554432000 1073741824 1073778376 140736541541776 18446744073709551615 270624926617 0 4 0 16800975 18446604464321870016 0 0 -1 7 0 0 0
[pid=8916/tid=8950] ppid=8914 vsize=7664468 CPUtime=0.18 cores=5,7
/proc/8916/task/8950/stat : 8950 (java) S 8914 8916 7764 0 -1 4202560 1451 0 0 0 18 0 0 0 15 0 19 0 467233868 7848415232 23363 33554432000 1073741824 1073778376 140736541541776 18446744073709551615 270624926617 0 4 0 16800975 18446604464321870016 0 0 -1 7 0 0 0
[pid=8916/tid=8951] ppid=8914 vsize=7664468 CPUtime=0 cores=5,7
/proc/8916/task/8951/stat : 8951 (java) S 8914 8916 7764 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 467233868 7848415232 23363 33554432000 1073741824 1073778376 140736541541776 18446744073709551615 270624926617 0 4 0 16800975 18446604464321870016 0 0 -1 5 0 0 0
[pid=8916/tid=8952] ppid=8914 vsize=7664468 CPUtime=0 cores=5,7
/proc/8916/task/8952/stat : 8952 (java) S 8914 8916 7764 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 467233868 7848415232 23363 33554432000 1073741824 1073778376 140736541541776 18446744073709551615 270624927232 0 4 0 16800975 18446604464321870016 0 0 -1 7 0 0 0
[pid=8916/tid=8961] ppid=8914 vsize=7664468 CPUtime=0 cores=5,7
/proc/8916/task/8961/stat : 8961 (java) S 8914 8916 7764 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 467233889 7848415232 23363 33554432000 1073741824 1073778376 140736541541776 18446744073709551615 270624927232 0 4 0 16800975 18446604464321870016 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3.74
Current children cumulated vsize (KiB) 7664468

[startup+6.30154 s]
/proc/loadavg: 3.71 3.94 3.92 7/262 8961
/proc/meminfo: memFree=14163456/32951124 swapFree=67111528/67111528
[pid=8916] ppid=8914 vsize=7661112 CPUtime=6.95 cores=5,7
/proc/8916/stat : 8916 (java) S 8914 8916 7764 0 -1 4202496 27322 0 1 0 691 4 0 0 24 0 19 0 467233863 7844978688 23299 33554432000 1073741824 1073778376 140736541541776 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/8916/statm: 1915278 23299 2254 9 0 1906016 0
[pid=8916/tid=8917] ppid=8914 vsize=7661112 CPUtime=6.04 cores=5,7
/proc/8916/task/8917/stat : 8917 (java) R 8914 8916 7764 0 -1 4202560 11384 0 1 0 602 2 0 0 25 0 19 0 467233863 7844978688 23299 33554432000 1073741824 1073778376 140736541541776 18446744073709551615 46912505603216 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=8916/tid=8926] ppid=8914 vsize=7661112 CPUtime=0.01 cores=5,7
/proc/8916/task/8926/stat : 8926 (java) S 8914 8916 7764 0 -1 4202560 1112 0 0 0 1 0 0 0 15 0 19 0 467233864 7844978688 23299 33554432000 1073741824 1073778376 140736541541776 18446744073709551615 270624926617 0 4 0 16800975 18446604464321870016 0 0 -1 7 0 0 0
[pid=8916/tid=8927] ppid=8914 vsize=7661112 CPUtime=0 cores=5,7
/proc/8916/task/8927/stat : 8927 (java) S 8914 8916 7764 0 -1 4202560 3 0 0 0 0 0 0 0 16 0 19 0 467233864 7844978688 23299 33554432000 1073741824 1073778376 140736541541776 18446744073709551615 270624926617 0 4 0 16800975 18446604464321870016 0 0 -1 7 0 0 0
[pid=8916/tid=8928] ppid=8914 vsize=7661112 CPUtime=0 cores=5,7
/proc/8916/task/8928/stat : 8928 (java) S 8914 8916 7764 0 -1 4202560 8 0 0 0 0 0 0 0 16 0 19 0 467233864 7844978688 23299 33554432000 1073741824 1073778376 140736541541776 18446744073709551615 270624926617 0 4 0 16800975 18446604464321870016 0 0 -1 7 0 0 0
[pid=8916/tid=8929] ppid=8914 vsize=7661112 CPUtime=0 cores=5,7
/proc/8916/task/8929/stat : 8929 (java) S 8914 8916 7764 0 -1 4202560 227 0 0 0 0 0 0 0 15 0 19 0 467233864 7844978688 23299 33554432000 1073741824 1073778376 140736541541776 18446744073709551615 270624926617 0 4 0 16800975 18446604464321870016 0 0 -1 7 0 0 0
[pid=8916/tid=8930] ppid=8914 vsize=7661112 CPUtime=0 cores=5,7
/proc/8916/task/8930/stat : 8930 (java) S 8914 8916 7764 0 -1 4202560 465 0 0 0 0 0 0 0 15 0 19 0 467233864 7844978688 23299 33554432000 1073741824 1073778376 140736541541776 18446744073709551615 270624926617 0 4 0 16800975 18446604464321870016 0 0 -1 7 0 0 0
[pid=8916/tid=8931] ppid=8914 vsize=7661112 CPUtime=0 cores=5,7
/proc/8916/task/8931/stat : 8931 (java) S 8914 8916 7764 0 -1 4202560 199 0 0 0 0 0 0 0 15 0 19 0 467233864 7844978688 23299 33554432000 1073741824 1073778376 140736541541776 18446744073709551615 270624926617 0 4 0 16800975 18446604464321870016 0 0 -1 7 0 0 0
[pid=8916/tid=8932] ppid=8914 vsize=7661112 CPUtime=0 cores=5,7
/proc/8916/task/8932/stat : 8932 (java) S 8914 8916 7764 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 467233864 7844978688 23299 33554432000 1073741824 1073778376 140736541541776 18446744073709551615 270624926617 0 4 0 16800975 18446604464321870016 0 0 -1 7 0 0 0
[pid=8916/tid=8933] ppid=8914 vsize=7661112 CPUtime=0 cores=5,7
/proc/8916/task/8933/stat : 8933 (java) S 8914 8916 7764 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 467233864 7844978688 23299 33554432000 1073741824 1073778376 140736541541776 18446744073709551615 270624926617 0 4 0 16800975 18446604464321870016 0 0 -1 7 0 0 0
[pid=8916/tid=8942] ppid=8914 vsize=7661112 CPUtime=0.19 cores=5,7
/proc/8916/task/8942/stat : 8942 (java) S 8914 8916 7764 0 -1 4202560 2136 0 0 0 19 0 0 0 16 0 19 0 467233865 7844978688 23299 33554432000 1073741824 1073778376 140736541541776 18446744073709551615 270624927232 0 0 0 16800975 18446604464321870016 0 0 -1 5 0 0 0
[pid=8916/tid=8943] ppid=8914 vsize=7661112 CPUtime=0 cores=5,7
/proc/8916/task/8943/stat : 8943 (java) S 8914 8916 7764 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 467233866 7844978688 23299 33554432000 1073741824 1073778376 140736541541776 18446744073709551615 270624926617 0 4 0 16800975 18446604464321870016 0 0 -1 5 0 0 0
[pid=8916/tid=8944] ppid=8914 vsize=7661112 CPUtime=0 cores=5,7
/proc/8916/task/8944/stat : 8944 (java) S 8914 8916 7764 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 467233866 7844978688 23299 33554432000 1073741824 1073778376 140736541541776 18446744073709551615 270624926617 0 4 0 16800975 18446604464321870016 0 0 -1 5 0 0 0
[pid=8916/tid=8948] ppid=8914 vsize=7661112 CPUtime=0 cores=5,7
/proc/8916/task/8948/stat : 8948 (java) S 8914 8916 7764 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 467233868 7844978688 23299 33554432000 1073741824 1073778376 140736541541776 18446744073709551615 270624934321 0 4 0 16800975 18446604464321870016 0 0 -1 5 0 0 0
[pid=8916/tid=8949] ppid=8914 vsize=7661112 CPUtime=0.48 cores=5,7
/proc/8916/task/8949/stat : 8949 (java) S 8914 8916 7764 0 -1 4202560 9176 0 0 0 48 0 0 0 15 0 19 0 467233868 7844978688 23299 33554432000 1073741824 1073778376 140736541541776 18446744073709551615 270624926617 0 4 0 16800975 18446604464321870016 0 0 -1 7 0 0 0
[pid=8916/tid=8950] ppid=8914 vsize=7661112 CPUtime=0.18 cores=5,7
/proc/8916/task/8950/stat : 8950 (java) S 8914 8916 7764 0 -1 4202560 1451 0 0 0 18 0 0 0 15 0 19 0 467233868 7844978688 23299 33554432000 1073741824 1073778376 140736541541776 18446744073709551615 270624926617 0 4 0 16800975 18446604464321870016 0 0 -1 7 0 0 0

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

[pid=8916/tid=8931] ppid=8914 vsize=7661112 CPUtime=0.09 cores=5,7
/proc/8916/task/8931/stat : 8931 (java) S 8914 8916 7764 0 -1 4202560 259 0 0 0 9 0 0 0 15 0 19 0 467233864 7844978688 26781 33554432000 1073741824 1073778376 140736541541776 18446744073709551615 270624926617 0 4 0 16800975 18446604464321870016 0 0 -1 7 0 0 0
[pid=8916/tid=8932] ppid=8914 vsize=7661112 CPUtime=0.07 cores=5,7
/proc/8916/task/8932/stat : 8932 (java) S 8914 8916 7764 0 -1 4202560 28 0 0 0 7 0 0 0 15 0 19 0 467233864 7844978688 26781 33554432000 1073741824 1073778376 140736541541776 18446744073709551615 270624926617 0 4 0 16800975 18446604464321870016 0 0 -1 7 0 0 0
[pid=8916/tid=8933] ppid=8914 vsize=7661112 CPUtime=0.09 cores=5,7
/proc/8916/task/8933/stat : 8933 (java) S 8914 8916 7764 0 -1 4202560 29 0 0 0 9 0 0 0 15 0 19 0 467233864 7844978688 26781 33554432000 1073741824 1073778376 140736541541776 18446744073709551615 270624926617 0 4 0 16800975 18446604464321870016 0 0 -1 7 0 0 0
[pid=8916/tid=8942] ppid=8914 vsize=7661112 CPUtime=4.37 cores=5,7
/proc/8916/task/8942/stat : 8942 (java) S 8914 8916 7764 0 -1 4202560 4825 0 0 0 436 1 0 0 15 0 19 0 467233865 7844978688 26781 33554432000 1073741824 1073778376 140736541541776 18446744073709551615 270624927232 0 0 0 16800975 18446604464321870016 0 0 -1 5 0 0 0
[pid=8916/tid=8943] ppid=8914 vsize=7661112 CPUtime=0 cores=5,7
/proc/8916/task/8943/stat : 8943 (java) S 8914 8916 7764 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 467233866 7844978688 26781 33554432000 1073741824 1073778376 140736541541776 18446744073709551615 270624926617 0 4 0 16800975 18446604464321870016 0 0 -1 5 0 0 0
[pid=8916/tid=8944] ppid=8914 vsize=7661112 CPUtime=0 cores=5,7
/proc/8916/task/8944/stat : 8944 (java) S 8914 8916 7764 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 467233866 7844978688 26781 33554432000 1073741824 1073778376 140736541541776 18446744073709551615 270624926617 0 4 0 16800975 18446604464321870016 0 0 -1 5 0 0 0
[pid=8916/tid=8948] ppid=8914 vsize=7661112 CPUtime=0 cores=5,7
/proc/8916/task/8948/stat : 8948 (java) S 8914 8916 7764 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 467233868 7844978688 26781 33554432000 1073741824 1073778376 140736541541776 18446744073709551615 270624934321 0 4 0 16800975 18446604464321870016 0 0 -1 5 0 0 0
[pid=8916/tid=8949] ppid=8914 vsize=7661112 CPUtime=0.5 cores=5,7
/proc/8916/task/8949/stat : 8949 (java) S 8914 8916 7764 0 -1 4202560 9190 0 0 0 50 0 0 0 15 0 19 0 467233868 7844978688 26781 33554432000 1073741824 1073778376 140736541541776 18446744073709551615 270624926617 0 4 0 16800975 18446604464321870016 0 0 -1 7 0 0 0
[pid=8916/tid=8950] ppid=8914 vsize=7661112 CPUtime=0.18 cores=5,7
/proc/8916/task/8950/stat : 8950 (java) S 8914 8916 7764 0 -1 4202560 1451 0 0 0 18 0 0 0 15 0 19 0 467233868 7844978688 26781 33554432000 1073741824 1073778376 140736541541776 18446744073709551615 270624926617 0 4 0 16800975 18446604464321870016 0 0 -1 7 0 0 0
[pid=8916/tid=8951] ppid=8914 vsize=7661112 CPUtime=0 cores=5,7
/proc/8916/task/8951/stat : 8951 (java) S 8914 8916 7764 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 467233868 7844978688 26781 33554432000 1073741824 1073778376 140736541541776 18446744073709551615 270624926617 0 4 0 16800975 18446604464321870016 0 0 -1 5 0 0 0
[pid=8916/tid=8952] ppid=8914 vsize=7661112 CPUtime=0 cores=5,7
/proc/8916/task/8952/stat : 8952 (java) S 8914 8916 7764 0 -1 4202560 65 0 0 0 0 0 0 0 15 0 19 0 467233868 7844978688 26781 33554432000 1073741824 1073778376 140736541541776 18446744073709551615 270624927232 0 4 0 16800975 18446604464321870016 0 0 -1 7 0 0 0
[pid=8916/tid=8961] ppid=8914 vsize=7661112 CPUtime=0 cores=5,7
/proc/8916/task/8961/stat : 8961 (java) S 8914 8916 7764 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 467233889 7844978688 26781 33554432000 1073741824 1073778376 140736541541776 18446744073709551615 270624927232 0 4 0 16800975 18446604464321870016 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1123.26
Current children cumulated vsize (KiB) 7661112

[startup+1182.3 s]
/proc/loadavg: 4.00 4.00 3.94 5/262 9004
/proc/meminfo: memFree=13818684/32951124 swapFree=67111528/67111528
[pid=8916] ppid=8914 vsize=7661112 CPUtime=1183.27 cores=5,7
/proc/8916/stat : 8916 (java) S 8914 8916 7764 0 -1 4202496 31054 0 1 0 118321 6 0 0 24 0 19 0 467233863 7844978688 26781 33554432000 1073741824 1073778376 140736541541776 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/8916/statm: 1915278 26781 2255 9 0 1906016 0
[pid=8916/tid=8917] ppid=8914 vsize=7661112 CPUtime=1177.32 cores=5,7
/proc/8916/task/8917/stat : 8917 (java) R 8914 8916 7764 0 -1 4202560 11495 0 1 0 117730 2 0 0 25 0 19 0 467233863 7844978688 26781 33554432000 1073741824 1073778376 140736541541776 18446744073709551615 46912505582963 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=8916/tid=8926] ppid=8914 vsize=7661112 CPUtime=0.08 cores=5,7
/proc/8916/task/8926/stat : 8926 (java) S 8914 8916 7764 0 -1 4202560 1151 0 0 0 8 0 0 0 15 0 19 0 467233864 7844978688 26781 33554432000 1073741824 1073778376 140736541541776 18446744073709551615 270624926617 0 4 0 16800975 18446604464321870016 0 0 -1 7 0 0 0
[pid=8916/tid=8927] ppid=8914 vsize=7661112 CPUtime=0.06 cores=5,7
/proc/8916/task/8927/stat : 8927 (java) S 8914 8916 7764 0 -1 4202560 44 0 0 0 6 0 0 0 15 0 19 0 467233864 7844978688 26781 33554432000 1073741824 1073778376 140736541541776 18446744073709551615 270624926617 0 4 0 16800975 18446604464321870016 0 0 -1 7 0 0 0
[pid=8916/tid=8928] ppid=8914 vsize=7661112 CPUtime=0.09 cores=5,7
/proc/8916/task/8928/stat : 8928 (java) S 8914 8916 7764 0 -1 4202560 323 0 0 0 9 0 0 0 15 0 19 0 467233864 7844978688 26781 33554432000 1073741824 1073778376 140736541541776 18446744073709551615 270624926617 0 4 0 16800975 18446604464321870016 0 0 -1 7 0 0 0
[pid=8916/tid=8929] ppid=8914 vsize=7661112 CPUtime=0.09 cores=5,7
/proc/8916/task/8929/stat : 8929 (java) S 8914 8916 7764 0 -1 4202560 461 0 0 0 9 0 0 0 16 0 19 0 467233864 7844978688 26781 33554432000 1073741824 1073778376 140736541541776 18446744073709551615 270624926617 0 4 0 16800975 18446604464321870016 0 0 -1 7 0 0 0
[pid=8916/tid=8930] ppid=8914 vsize=7661112 CPUtime=0.07 cores=5,7
/proc/8916/task/8930/stat : 8930 (java) S 8914 8916 7764 0 -1 4202560 575 0 0 0 7 0 0 0 15 0 19 0 467233864 7844978688 26781 33554432000 1073741824 1073778376 140736541541776 18446744073709551615 270624926617 0 4 0 16800975 18446604464321870016 0 0 -1 7 0 0 0
[pid=8916/tid=8931] ppid=8914 vsize=7661112 CPUtime=0.09 cores=5,7
/proc/8916/task/8931/stat : 8931 (java) S 8914 8916 7764 0 -1 4202560 259 0 0 0 9 0 0 0 15 0 19 0 467233864 7844978688 26781 33554432000 1073741824 1073778376 140736541541776 18446744073709551615 270624926617 0 4 0 16800975 18446604464321870016 0 0 -1 7 0 0 0
[pid=8916/tid=8932] ppid=8914 vsize=7661112 CPUtime=0.08 cores=5,7
/proc/8916/task/8932/stat : 8932 (java) S 8914 8916 7764 0 -1 4202560 28 0 0 0 8 0 0 0 15 0 19 0 467233864 7844978688 26781 33554432000 1073741824 1073778376 140736541541776 18446744073709551615 270624926617 0 4 0 16800975 18446604464321870016 0 0 -1 7 0 0 0
[pid=8916/tid=8933] ppid=8914 vsize=7661112 CPUtime=0.09 cores=5,7
/proc/8916/task/8933/stat : 8933 (java) S 8914 8916 7764 0 -1 4202560 29 0 0 0 9 0 0 0 15 0 19 0 467233864 7844978688 26781 33554432000 1073741824 1073778376 140736541541776 18446744073709551615 270624926617 0 4 0 16800975 18446604464321870016 0 0 -1 7 0 0 0
[pid=8916/tid=8942] ppid=8914 vsize=7661112 CPUtime=4.53 cores=5,7
/proc/8916/task/8942/stat : 8942 (java) S 8914 8916 7764 0 -1 4202560 4829 0 0 0 452 1 0 0 15 0 19 0 467233865 7844978688 26781 33554432000 1073741824 1073778376 140736541541776 18446744073709551615 270624927232 0 0 0 16800975 18446604464321870016 0 0 -1 5 0 0 0
[pid=8916/tid=8943] ppid=8914 vsize=7661112 CPUtime=0 cores=5,7
/proc/8916/task/8943/stat : 8943 (java) S 8914 8916 7764 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 467233866 7844978688 26781 33554432000 1073741824 1073778376 140736541541776 18446744073709551615 270624926617 0 4 0 16800975 18446604464321870016 0 0 -1 5 0 0 0
[pid=8916/tid=8944] ppid=8914 vsize=7661112 CPUtime=0 cores=5,7
/proc/8916/task/8944/stat : 8944 (java) S 8914 8916 7764 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 467233866 7844978688 26781 33554432000 1073741824 1073778376 140736541541776 18446744073709551615 270624926617 0 4 0 16800975 18446604464321870016 0 0 -1 5 0 0 0
[pid=8916/tid=8948] ppid=8914 vsize=7661112 CPUtime=0 cores=5,7
/proc/8916/task/8948/stat : 8948 (java) S 8914 8916 7764 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 467233868 7844978688 26781 33554432000 1073741824 1073778376 140736541541776 18446744073709551615 270624934321 0 4 0 16800975 18446604464321870016 0 0 -1 5 0 0 0
[pid=8916/tid=8949] ppid=8914 vsize=7661112 CPUtime=0.5 cores=5,7
/proc/8916/task/8949/stat : 8949 (java) S 8914 8916 7764 0 -1 4202560 9190 0 0 0 50 0 0 0 15 0 19 0 467233868 7844978688 26781 33554432000 1073741824 1073778376 140736541541776 18446744073709551615 270624926617 0 4 0 16800975 18446604464321870016 0 0 -1 7 0 0 0
[pid=8916/tid=8950] ppid=8914 vsize=7661112 CPUtime=0.18 cores=5,7
/proc/8916/task/8950/stat : 8950 (java) S 8914 8916 7764 0 -1 4202560 1451 0 0 0 18 0 0 0 15 0 19 0 467233868 7844978688 26781 33554432000 1073741824 1073778376 140736541541776 18446744073709551615 270624926617 0 4 0 16800975 18446604464321870016 0 0 -1 7 0 0 0
[pid=8916/tid=8951] ppid=8914 vsize=7661112 CPUtime=0 cores=5,7
/proc/8916/task/8951/stat : 8951 (java) S 8914 8916 7764 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 467233868 7844978688 26781 33554432000 1073741824 1073778376 140736541541776 18446744073709551615 270624926617 0 4 0 16800975 18446604464321870016 0 0 -1 5 0 0 0
[pid=8916/tid=8952] ppid=8914 vsize=7661112 CPUtime=0 cores=5,7
/proc/8916/task/8952/stat : 8952 (java) S 8914 8916 7764 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 19 0 467233868 7844978688 26781 33554432000 1073741824 1073778376 140736541541776 18446744073709551615 270624927232 0 4 0 16800975 18446604464321870016 0 0 -1 7 0 0 0
[pid=8916/tid=8961] ppid=8914 vsize=7661112 CPUtime=0 cores=5,7
/proc/8916/task/8961/stat : 8961 (java) S 8914 8916 7764 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 467233889 7844978688 26781 33554432000 1073741824 1073778376 140736541541776 18446744073709551615 270624927232 0 4 0 16800975 18446604464321870016 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1183.27
Current children cumulated vsize (KiB) 7661112

[startup+1242.3 s]
/proc/loadavg: 4.00 4.00 3.94 5/262 9006
/proc/meminfo: memFree=13816404/32951124 swapFree=67111528/67111528
[pid=8916] ppid=8914 vsize=7661112 CPUtime=1243.28 cores=5,7
/proc/8916/stat : 8916 (java) S 8914 8916 7764 0 -1 4202496 31067 0 1 0 124322 6 0 0 24 0 19 0 467233863 7844978688 26781 33554432000 1073741824 1073778376 140736541541776 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/8916/statm: 1915278 26781 2255 9 0 1906016 0
[pid=8916/tid=8917] ppid=8914 vsize=7661112 CPUtime=1237.08 cores=5,7
/proc/8916/task/8917/stat : 8917 (java) R 8914 8916 7764 0 -1 4202560 11500 0 1 0 123706 2 0 0 25 0 19 0 467233863 7844978688 26781 33554432000 1073741824 1073778376 140736541541776 18446744073709551615 46912505603216 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=8916/tid=8926] ppid=8914 vsize=7661112 CPUtime=0.08 cores=5,7
/proc/8916/task/8926/stat : 8926 (java) S 8914 8916 7764 0 -1 4202560 1151 0 0 0 8 0 0 0 15 0 19 0 467233864 7844978688 26781 33554432000 1073741824 1073778376 140736541541776 18446744073709551615 270624926617 0 4 0 16800975 18446604464321870016 0 0 -1 7 0 0 0
[pid=8916/tid=8927] ppid=8914 vsize=7661112 CPUtime=0.07 cores=5,7
/proc/8916/task/8927/stat : 8927 (java) S 8914 8916 7764 0 -1 4202560 44 0 0 0 7 0 0 0 15 0 19 0 467233864 7844978688 26781 33554432000 1073741824 1073778376 140736541541776 18446744073709551615 270624926617 0 4 0 16800975 18446604464321870016 0 0 -1 7 0 0 0
[pid=8916/tid=8928] ppid=8914 vsize=7661112 CPUtime=0.09 cores=5,7
/proc/8916/task/8928/stat : 8928 (java) S 8914 8916 7764 0 -1 4202560 323 0 0 0 9 0 0 0 15 0 19 0 467233864 7844978688 26781 33554432000 1073741824 1073778376 140736541541776 18446744073709551615 270624926617 0 4 0 16800975 18446604464321870016 0 0 -1 7 0 0 0
[pid=8916/tid=8929] ppid=8914 vsize=7661112 CPUtime=0.1 cores=5,7
/proc/8916/task/8929/stat : 8929 (java) S 8914 8916 7764 0 -1 4202560 461 0 0 0 10 0 0 0 16 0 19 0 467233864 7844978688 26781 33554432000 1073741824 1073778376 140736541541776 18446744073709551615 270624926617 0 4 0 16800975 18446604464321870016 0 0 -1 7 0 0 0
[pid=8916/tid=8930] ppid=8914 vsize=7661112 CPUtime=0.08 cores=5,7
/proc/8916/task/8930/stat : 8930 (java) S 8914 8916 7764 0 -1 4202560 575 0 0 0 8 0 0 0 15 0 19 0 467233864 7844978688 26781 33554432000 1073741824 1073778376 140736541541776 18446744073709551615 270624926617 0 4 0 16800975 18446604464321870016 0 0 -1 7 0 0 0
[pid=8916/tid=8931] ppid=8914 vsize=7661112 CPUtime=0.09 cores=5,7
/proc/8916/task/8931/stat : 8931 (java) S 8914 8916 7764 0 -1 4202560 259 0 0 0 9 0 0 0 15 0 19 0 467233864 7844978688 26781 33554432000 1073741824 1073778376 140736541541776 18446744073709551615 270624926617 0 4 0 16800975 18446604464321870016 0 0 -1 7 0 0 0
[pid=8916/tid=8932] ppid=8914 vsize=7661112 CPUtime=0.08 cores=5,7
/proc/8916/task/8932/stat : 8932 (java) S 8914 8916 7764 0 -1 4202560 28 0 0 0 8 0 0 0 16 0 19 0 467233864 7844978688 26781 33554432000 1073741824 1073778376 140736541541776 18446744073709551615 270624926617 0 4 0 16800975 18446604464321870016 0 0 -1 7 0 0 0
[pid=8916/tid=8933] ppid=8914 vsize=7661112 CPUtime=0.09 cores=5,7
/proc/8916/task/8933/stat : 8933 (java) S 8914 8916 7764 0 -1 4202560 29 0 0 0 9 0 0 0 15 0 19 0 467233864 7844978688 26781 33554432000 1073741824 1073778376 140736541541776 18446744073709551615 270624926617 0 4 0 16800975 18446604464321870016 0 0 -1 7 0 0 0
[pid=8916/tid=8942] ppid=8914 vsize=7661112 CPUtime=4.75 cores=5,7
/proc/8916/task/8942/stat : 8942 (java) S 8914 8916 7764 0 -1 4202560 4833 0 0 0 474 1 0 0 15 0 19 0 467233865 7844978688 26781 33554432000 1073741824 1073778376 140736541541776 18446744073709551615 270624927232 0 0 0 16800975 18446604464321870016 0 0 -1 5 0 0 0
[pid=8916/tid=8943] ppid=8914 vsize=7661112 CPUtime=0 cores=5,7
/proc/8916/task/8943/stat : 8943 (java) S 8914 8916 7764 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 467233866 7844978688 26781 33554432000 1073741824 1073778376 140736541541776 18446744073709551615 270624926617 0 4 0 16800975 18446604464321870016 0 0 -1 5 0 0 0
[pid=8916/tid=8944] ppid=8914 vsize=7661112 CPUtime=0 cores=5,7
/proc/8916/task/8944/stat : 8944 (java) S 8914 8916 7764 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 467233866 7844978688 26781 33554432000 1073741824 1073778376 140736541541776 18446744073709551615 270624926617 0 4 0 16800975 18446604464321870016 0 0 -1 5 0 0 0
[pid=8916/tid=8948] ppid=8914 vsize=7661112 CPUtime=0 cores=5,7
/proc/8916/task/8948/stat : 8948 (java) S 8914 8916 7764 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 467233868 7844978688 26781 33554432000 1073741824 1073778376 140736541541776 18446744073709551615 270624934321 0 4 0 16800975 18446604464321870016 0 0 -1 5 0 0 0
[pid=8916/tid=8949] ppid=8914 vsize=7661112 CPUtime=0.5 cores=5,7
/proc/8916/task/8949/stat : 8949 (java) S 8914 8916 7764 0 -1 4202560 9190 0 0 0 50 0 0 0 15 0 19 0 467233868 7844978688 26781 33554432000 1073741824 1073778376 140736541541776 18446744073709551615 270624926617 0 4 0 16800975 18446604464321870016 0 0 -1 7 0 0 0
[pid=8916/tid=8950] ppid=8914 vsize=7661112 CPUtime=0.18 cores=5,7
/proc/8916/task/8950/stat : 8950 (java) S 8914 8916 7764 0 -1 4202560 1451 0 0 0 18 0 0 0 15 0 19 0 467233868 7844978688 26781 33554432000 1073741824 1073778376 140736541541776 18446744073709551615 270624926617 0 4 0 16800975 18446604464321870016 0 0 -1 7 0 0 0
[pid=8916/tid=8951] ppid=8914 vsize=7661112 CPUtime=0 cores=5,7
/proc/8916/task/8951/stat : 8951 (java) S 8914 8916 7764 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 467233868 7844978688 26781 33554432000 1073741824 1073778376 140736541541776 18446744073709551615 270624926617 0 4 0 16800975 18446604464321870016 0 0 -1 5 0 0 0
[pid=8916/tid=8952] ppid=8914 vsize=7661112 CPUtime=0 cores=5,7
/proc/8916/task/8952/stat : 8952 (java) S 8914 8916 7764 0 -1 4202560 73 0 0 0 0 0 0 0 15 0 19 0 467233868 7844978688 26781 33554432000 1073741824 1073778376 140736541541776 18446744073709551615 270624927232 0 4 0 16800975 18446604464321870016 0 0 -1 7 0 0 0
[pid=8916/tid=8961] ppid=8914 vsize=7661112 CPUtime=0 cores=5,7
/proc/8916/task/8961/stat : 8961 (java) S 8914 8916 7764 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 467233889 7844978688 26781 33554432000 1073741824 1073778376 140736541541776 18446744073709551615 270624927232 0 4 0 16800975 18446604464321870016 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1243.28
Current children cumulated vsize (KiB) 7661112



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 4.00 4.00 3.94 4/227 9013
/proc/meminfo: memFree=14161100/32951124 swapFree=67111528/67111528
[pid=8916] ppid=8914 vsize=7661112 CPUtime=1300.99 cores=5,7
/proc/8916/stat : 8916 (java) S 8914 8916 7764 0 -1 4202496 31209 0 1 0 130093 6 0 0 24 0 19 0 467233863 7844978688 26910 33554432000 1073741824 1073778376 140736541541776 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/8916/statm: 1915278 26910 2255 9 0 1906016 0
[pid=8916/tid=8917] ppid=8914 vsize=7661112 CPUtime=1294.57 cores=5,7
/proc/8916/task/8917/stat : 8917 (java) R 8914 8916 7764 0 -1 4202560 11505 0 1 0 129455 2 0 0 25 0 19 0 467233863 7844978688 26910 33554432000 1073741824 1073778376 140736541541776 18446744073709551615 46912505580604 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=8916/tid=8926] ppid=8914 vsize=7661112 CPUtime=0.08 cores=5,7
/proc/8916/task/8926/stat : 8926 (java) S 8914 8916 7764 0 -1 4202560 1151 0 0 0 8 0 0 0 15 0 19 0 467233864 7844978688 26910 33554432000 1073741824 1073778376 140736541541776 18446744073709551615 270624926617 0 4 0 16800975 18446604464321870016 0 0 -1 7 0 0 0
[pid=8916/tid=8927] ppid=8914 vsize=7661112 CPUtime=0.07 cores=5,7
/proc/8916/task/8927/stat : 8927 (java) S 8914 8916 7764 0 -1 4202560 44 0 0 0 7 0 0 0 15 0 19 0 467233864 7844978688 26910 33554432000 1073741824 1073778376 140736541541776 18446744073709551615 270624926617 0 4 0 16800975 18446604464321870016 0 0 -1 7 0 0 0
[pid=8916/tid=8928] ppid=8914 vsize=7661112 CPUtime=0.09 cores=5,7
/proc/8916/task/8928/stat : 8928 (java) S 8914 8916 7764 0 -1 4202560 323 0 0 0 9 0 0 0 15 0 19 0 467233864 7844978688 26910 33554432000 1073741824 1073778376 140736541541776 18446744073709551615 270624926617 0 4 0 16800975 18446604464321870016 0 0 -1 7 0 0 0
[pid=8916/tid=8929] ppid=8914 vsize=7661112 CPUtime=0.1 cores=5,7
/proc/8916/task/8929/stat : 8929 (java) S 8914 8916 7764 0 -1 4202560 461 0 0 0 10 0 0 0 15 0 19 0 467233864 7844978688 26910 33554432000 1073741824 1073778376 140736541541776 18446744073709551615 270624926617 0 4 0 16800975 18446604464321870016 0 0 -1 7 0 0 0
[pid=8916/tid=8930] ppid=8914 vsize=7661112 CPUtime=0.08 cores=5,7
/proc/8916/task/8930/stat : 8930 (java) S 8914 8916 7764 0 -1 4202560 575 0 0 0 8 0 0 0 15 0 19 0 467233864 7844978688 26910 33554432000 1073741824 1073778376 140736541541776 18446744073709551615 270624926617 0 4 0 16800975 18446604464321870016 0 0 -1 7 0 0 0
[pid=8916/tid=8931] ppid=8914 vsize=7661112 CPUtime=0.09 cores=5,7
/proc/8916/task/8931/stat : 8931 (java) S 8914 8916 7764 0 -1 4202560 259 0 0 0 9 0 0 0 15 0 19 0 467233864 7844978688 26910 33554432000 1073741824 1073778376 140736541541776 18446744073709551615 270624926617 0 4 0 16800975 18446604464321870016 0 0 -1 7 0 0 0
[pid=8916/tid=8932] ppid=8914 vsize=7661112 CPUtime=0.08 cores=5,7
/proc/8916/task/8932/stat : 8932 (java) S 8914 8916 7764 0 -1 4202560 28 0 0 0 8 0 0 0 15 0 19 0 467233864 7844978688 26910 33554432000 1073741824 1073778376 140736541541776 18446744073709551615 270624926617 0 4 0 16800975 18446604464321870016 0 0 -1 7 0 0 0
[pid=8916/tid=8933] ppid=8914 vsize=7661112 CPUtime=0.09 cores=5,7
/proc/8916/task/8933/stat : 8933 (java) S 8914 8916 7764 0 -1 4202560 29 0 0 0 9 0 0 0 15 0 19 0 467233864 7844978688 26910 33554432000 1073741824 1073778376 140736541541776 18446744073709551615 270624926617 0 4 0 16800975 18446604464321870016 0 0 -1 7 0 0 0
[pid=8916/tid=8942] ppid=8914 vsize=7661112 CPUtime=4.96 cores=5,7
/proc/8916/task/8942/stat : 8942 (java) S 8914 8916 7764 0 -1 4202560 4966 0 0 0 495 1 0 0 15 0 19 0 467233865 7844978688 26910 33554432000 1073741824 1073778376 140736541541776 18446744073709551615 270624927232 0 0 0 16800975 18446604464321870016 0 0 -1 5 0 0 0
[pid=8916/tid=8943] ppid=8914 vsize=7661112 CPUtime=0 cores=5,7
/proc/8916/task/8943/stat : 8943 (java) S 8914 8916 7764 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 467233866 7844978688 26910 33554432000 1073741824 1073778376 140736541541776 18446744073709551615 270624926617 0 4 0 16800975 18446604464321870016 0 0 -1 5 0 0 0
[pid=8916/tid=8944] ppid=8914 vsize=7661112 CPUtime=0 cores=5,7
/proc/8916/task/8944/stat : 8944 (java) S 8914 8916 7764 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 467233866 7844978688 26910 33554432000 1073741824 1073778376 140736541541776 18446744073709551615 270624926617 0 4 0 16800975 18446604464321870016 0 0 -1 5 0 0 0
[pid=8916/tid=8948] ppid=8914 vsize=7661112 CPUtime=0 cores=5,7
/proc/8916/task/8948/stat : 8948 (java) S 8914 8916 7764 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 467233868 7844978688 26910 33554432000 1073741824 1073778376 140736541541776 18446744073709551615 270624934321 0 4 0 16800975 18446604464321870016 0 0 -1 5 0 0 0
[pid=8916/tid=8949] ppid=8914 vsize=7661112 CPUtime=0.5 cores=5,7
/proc/8916/task/8949/stat : 8949 (java) S 8914 8916 7764 0 -1 4202560 9190 0 0 0 50 0 0 0 15 0 19 0 467233868 7844978688 26910 33554432000 1073741824 1073778376 140736541541776 18446744073709551615 270624926617 0 4 0 16800975 18446604464321870016 0 0 -1 7 0 0 0
[pid=8916/tid=8950] ppid=8914 vsize=7661112 CPUtime=0.18 cores=5,7
/proc/8916/task/8950/stat : 8950 (java) S 8914 8916 7764 0 -1 4202560 1451 0 0 0 18 0 0 0 15 0 19 0 467233868 7844978688 26910 33554432000 1073741824 1073778376 140736541541776 18446744073709551615 270624926617 0 4 0 16800975 18446604464321870016 0 0 -1 7 0 0 0
[pid=8916/tid=8951] ppid=8914 vsize=7661112 CPUtime=0 cores=5,7
/proc/8916/task/8951/stat : 8951 (java) S 8914 8916 7764 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 467233868 7844978688 26910 33554432000 1073741824 1073778376 140736541541776 18446744073709551615 270624926617 0 4 0 16800975 18446604464321870016 0 0 -1 5 0 0 0
[pid=8916/tid=8952] ppid=8914 vsize=7661112 CPUtime=0 cores=5,7
/proc/8916/task/8952/stat : 8952 (java) S 8914 8916 7764 0 -1 4202560 77 0 0 0 0 0 0 0 15 0 19 0 467233868 7844978688 26910 33554432000 1073741824 1073778376 140736541541776 18446744073709551615 270624927232 0 4 0 16800975 18446604464321870016 0 0 -1 7 0 0 0
[pid=8916/tid=8961] ppid=8914 vsize=7661112 CPUtime=0 cores=5,7
/proc/8916/task/8961/stat : 8961 (java) S 8914 8916 7764 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 467233889 7844978688 26910 33554432000 1073741824 1073778376 140736541541776 18446744073709551615 270624927232 0 4 0 16800975 18446604464321870016 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1300.99
Current children cumulated vsize (KiB) 7661112

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.07
CPU user time (s): 1300.99
CPU system time (s): 0.072988
CPU usage (%): 100.078
Max. virtual memory (cumulated for all children) (KiB): 7664468

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1300.99
system time used= 0.072988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31248
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= 30269
involuntary context switches= 5749

runsolver used 2.03469 second user time and 5.08823 second system time

The end

Launcher Data 

Begin job on node108 at 2011-04-23 12:58:49
IDJOB=3262788
IDBENCH=83894
IDSOLVER=1611
FILE ID=node108/3262788-1303556329
RUNJOBID= node108-1303556329-8849
PBS_JOBID= 13143146
Free space on /tmp= 71396 MiB

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

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

MD5SUM BENCH= cf96a8eea16f98b3cec72117cedd0285
RANDOM SEED=380876675

node108.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      14440032 kB
Buffers:       2249600 kB
Cached:       15563388 kB
SwapCached:          0 kB
Active:        9953836 kB
Inactive:      7986332 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      14440032 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            4312 kB
Writeback:           0 kB
AnonPages:      126460 kB
Mapped:          21088 kB
Slab:           505540 kB
PageTables:       5200 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 14724552 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= 71396 MiB
End job on node108 at 2011-04-23 13:20:31