Trace number 3259312

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

General information on the benchmark

NameCRAFTED/rbsat/crafted/
forced/rbsat-v2400c266431gyes3.cnf
MD5SUMcef3d3066fec910e94448f2404c09548
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 variables2400
Number of clauses266431
Sum of the clauses size535112
Maximum clause length32
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2266356
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 575

Solver Data 

0.01/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.01/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.01/0.07	c See www.sat4j.org for details.
0.01/0.07	c no version file found!!!
0.01/0.07	c java.runtime.name	Java(TM) SE Runtime Environment
0.01/0.07	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.01/0.07	c java.vm.version	19.1-b02
0.01/0.07	c java.vm.vendor	Sun Microsystems Inc.
0.01/0.07	c sun.arch.data.model	64
0.01/0.07	c java.version		1.6.0_24
0.01/0.07	c os.name		Linux
0.01/0.07	c os.version		2.6.18-164.el5
0.01/0.07	c os.arch		amd64
0.01/0.07	c Free memory 		6997539544
0.01/0.07	c Max memory 		7034241024
0.01/0.07	c Total memory 		7034241024
0.01/0.07	c Number of processors 	8
0.09/0.10	c --- Begin Solver configuration ---
0.09/0.10	c org.sat4j.minisat.constraints.MixedDataStructureDanielWL@64578ceb
0.09/0.10	c Learn all clauses as in MiniSAT
0.09/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.1 initConflictBound=100 
0.09/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT
0.09/0.10	c Expensive reason simplification
0.09/0.10	c Armin Biere (Picosat) restarts strategy
0.09/0.10	c Glucose learned constraints deletion strategy
0.09/0.10	c timeout=2147483647s
0.09/0.10	c DB Simplification allowed=true
0.09/0.10	c --- End Solver configuration ---
0.09/0.10	c solving HOME/instance-3259312-1303507306.cnf
0.09/0.10	c reading problem ... 
0.41/0.35	c ... done. Wall clock time 0.248s.
0.41/0.35	c #vars     2400
0.41/0.35	c #constraints  266431
0.41/0.35	c constraints type 
0.41/0.35	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 75
0.41/0.35	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 266356
2.25/1.88	c cleaning 2494 clauses out of 5000 with flag 5000/5000
4.30/3.61	c cleaning 4236 clauses out of 8507 with flag 11001/11001
6.42/5.71	c cleaning 5616 clauses out of 11270 with flag 18000/18000
8.93/8.22	c cleaning 6802 clauses out of 13654 with flag 26000/26000
11.77/11.05	c cleaning 7907 clauses out of 15852 with flag 35000/35000
14.97/14.25	c cleaning 8953 clauses out of 17947 with flag 45002/45002
18.67/17.90	c cleaning 9974 clauses out of 19993 with flag 56001/56001
22.87/22.16	c cleaning 10991 clauses out of 22019 with flag 68001/68001
27.48/26.75	c cleaning 11980 clauses out of 24028 with flag 81001/81001
32.59/31.84	c cleaning 12998 clauses out of 26048 with flag 95001/95001
38.29/37.60	c cleaning 14003 clauses out of 28051 with flag 110002/110002
44.59/43.81	c cleaning 15000 clauses out of 30048 with flag 126002/126002
51.30/50.57	c cleaning 16007 clauses out of 32048 with flag 143002/143002
58.80/58.05	c cleaning 16980 clauses out of 34039 with flag 161000/161000
66.51/65.80	c cleaning 17997 clauses out of 36061 with flag 180002/180002
75.21/74.45	c cleaning 18998 clauses out of 38062 with flag 200000/200000
84.43/83.63	c cleaning 20002 clauses out of 40064 with flag 221000/221000
94.73/93.96	c cleaning 21001 clauses out of 42062 with flag 243000/243000
105.53/104.74	c cleaning 22031 clauses out of 44061 with flag 266000/266000
116.64/115.82	c cleaning 22961 clauses out of 46032 with flag 290002/290002
129.15/128.32	c cleaning 23996 clauses out of 48070 with flag 315001/315001
142.35/141.56	c cleaning 24993 clauses out of 50073 with flag 341000/341000
156.87/156.02	c cleaning 26000 clauses out of 52080 with flag 368000/368000
171.77/170.95	c cleaning 27012 clauses out of 54080 with flag 396000/396000
188.08/187.21	c cleaning 27999 clauses out of 56069 with flag 425001/425001
205.29/204.50	c cleaning 28982 clauses out of 58070 with flag 455001/455001
223.19/222.36	c cleaning 29999 clauses out of 60089 with flag 486002/486002
242.21/241.37	c cleaning 31008 clauses out of 62088 with flag 518000/518000
263.42/262.56	c cleaning 32025 clauses out of 64083 with flag 551003/551003
285.13/284.24	c cleaning 32982 clauses out of 66055 with flag 585000/585000
308.54/307.65	c cleaning 34001 clauses out of 68073 with flag 620000/620000
332.24/331.37	c cleaning 34993 clauses out of 70073 with flag 656001/656001
357.36/356.45	c cleaning 35999 clauses out of 72080 with flag 693001/693001
382.76/381.89	c cleaning 36975 clauses out of 74080 with flag 731000/731000
411.38/410.43	c cleaning 38031 clauses out of 76105 with flag 770000/770000
440.89/440.00	c cleaning 38992 clauses out of 78076 with flag 810002/810002
471.40/470.40	c cleaning 39988 clauses out of 80082 with flag 851000/851000
501.91/500.97	c cleaning 40989 clauses out of 82095 with flag 893001/893001
535.22/534.29	c cleaning 42017 clauses out of 84108 with flag 936003/936003
569.82/568.86	c cleaning 43003 clauses out of 86089 with flag 980001/980001
604.24/603.24	c cleaning 44012 clauses out of 88086 with flag 1025001/1025001
641.65/640.66	c cleaning 44968 clauses out of 90073 with flag 1071000/1071000
680.97/679.94	c cleaning 46027 clauses out of 92106 with flag 1118001/1118001
722.48/721.41	c cleaning 47009 clauses out of 94079 with flag 1166001/1166001
766.69/765.69	c cleaning 47943 clauses out of 96071 with flag 1215002/1215002
811.10/810.05	c cleaning 49009 clauses out of 98127 with flag 1265001/1265001
855.72/854.62	c cleaning 49991 clauses out of 100118 with flag 1316001/1316001
903.34/902.23	c cleaning 51018 clauses out of 102128 with flag 1368002/1368002
951.46/950.34	c cleaning 51990 clauses out of 104109 with flag 1421001/1421001
1002.67/1001.54	c cleaning 52979 clauses out of 106118 with flag 1475000/1475000
1054.58/1053.45	c cleaning 54013 clauses out of 108140 with flag 1530001/1530001
1109.30/1108.19	c cleaning 55009 clauses out of 110127 with flag 1586001/1586001
1171.62/1170.41	c cleaning 56029 clauses out of 112117 with flag 1643000/1643000
1230.94/1229.74	c cleaning 56997 clauses out of 114088 with flag 1701000/1701000
1294.24/1293.03	c cleaning 57980 clauses out of 116091 with flag 1760000/1760000
1301.27/1300.01	c starts		: 1481
1301.27/1300.01	c conflicts		: 1768101
1301.27/1300.01	c decisions		: 4113922
1301.27/1300.01	c propagations		: 319420166
1301.27/1300.01	c inspects		: 13072354957
1301.27/1300.01	c shortcuts		: 0
1301.27/1300.01	c learnt literals	: 0
1301.27/1300.01	c learnt binary clauses	: 0
1301.27/1300.01	c learnt ternary clauses	: 0
1301.27/1300.01	c learnt constraints	: 1768101
1301.27/1300.01	c ignored constraints	: 0
1301.27/1300.01	c root simplifications	: 1481
1301.27/1300.01	c removed literals (reason simplification)	: 104294819
1301.27/1300.01	c reason swapping (by a shorter reason)	: 0
1301.27/1300.01	c Calls to reduceDB	: 55
1301.27/1300.01	c speed (assignments/second)	: 245771.56308981637
1301.27/1300.01	c non guided choices	348
1301.27/1300.04	c learnt constraints type 
1301.27/1300.04	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 66219
1301.27/1300.04	c constraints type 
1301.27/1300.04	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 75
1301.27/1300.04	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 266356
1301.27/1300.04	s UNKNOWN
1301.27/1300.04	c Total wall clock time (in seconds) : 1299.911

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-3259312-1303507306/watcher-3259312-1303507306 -o /tmp/evaluation-result-3259312-1303507306/solver-3259312-1303507306 -C 2400 -W 1300 -M 7680 java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3259312-1303507306.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: 0.93 1.94 2.90 8/240 26726
/proc/meminfo: memFree=15669616/32951124 swapFree=67111528/67111528
[pid=26726] ppid=26724 vsize=31604 CPUtime=0 cores=5,7
/proc/26726/stat : 26726 (java) S 26724 26726 26269 0 -1 4202496 1286 0 0 0 0 0 0 0 21 0 2 0 462328332 32362496 1001 33554432000 1073741824 1073778376 140737094337968 18446744073709551615 218917533669 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/26726/statm: 7901 1001 771 9 0 386 0
[pid=26726/tid=26727] ppid=26724 vsize=33748 CPUtime=0 cores=5,7
/proc/26726/task/26727/stat : 26727 (java) R 26724 26726 26269 0 -1 4202560 183 0 0 0 0 0 0 0 23 0 2 0 462328332 34557952 1013 33554432000 1073741824 1073778376 140737094337968 18446744073709551615 46912499716656 0 0 0 16784584 0 0 0 -1 5 0 0 0

[startup+0.019591 s]
/proc/loadavg: 0.93 1.94 2.90 8/240 26726
/proc/meminfo: memFree=15669616/32951124 swapFree=67111528/67111528
[pid=26726] ppid=26724 vsize=7549900 CPUtime=0.01 cores=5,7
/proc/26726/stat : 26726 (java) S 26724 26726 26269 0 -1 4202496 7619 0 1 0 0 1 0 0 21 0 10 0 462328332 7731097600 7317 33554432000 1073741824 1073778376 140737094337968 18446744073709551615 218917533669 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/26726/statm: 1887475 7317 1059 9 0 1878631 0
[pid=26726/tid=26727] ppid=26724 vsize=7549900 CPUtime=0 cores=5,7
/proc/26726/task/26727/stat : 26727 (java) S 26724 26726 26269 0 -1 4202560 6495 0 1 0 0 0 0 0 25 0 10 0 462328332 7731097600 7317 33554432000 1073741824 1073778376 140737094337968 18446744073709551615 218917560287 0 2147483391 0 16784584 18446744071699207358 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 7549900

[startup+0.100578 s]
/proc/loadavg: 0.93 1.94 2.90 8/240 26726
/proc/meminfo: memFree=15669616/32951124 swapFree=67111528/67111528
[pid=26726] ppid=26724 vsize=7570964 CPUtime=0.09 cores=5,7
/proc/26726/stat : 26726 (java) S 26724 26726 26269 0 -1 4202496 10228 0 1 0 7 2 0 0 21 0 18 0 462328332 7752667136 9923 33554432000 1073741824 1073778376 140737094337968 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/26726/statm: 1892741 9924 2086 9 0 1883479 0
[pid=26726/tid=26727] ppid=26724 vsize=7570964 CPUtime=0.07 cores=5,7
/proc/26726/task/26727/stat : 26727 (java) R 26724 26726 26269 0 -1 4202560 8465 0 1 0 6 1 0 0 24 0 18 0 462328332 7752667136 9924 33554432000 1073741824 1073778376 140737094337968 18446744073709551615 218917557707 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7570964

[startup+0.300541 s]
/proc/loadavg: 0.93 1.94 2.90 8/240 26726
/proc/meminfo: memFree=15669616/32951124 swapFree=67111528/67111528
[pid=26726] ppid=26724 vsize=7575000 CPUtime=0.41 cores=5,7
/proc/26726/stat : 26726 (java) S 26724 26726 26269 0 -1 4202496 14441 0 1 0 39 2 0 0 21 0 18 0 462328332 7756800000 13813 33554432000 1073741824 1073778376 140737094337968 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/26726/statm: 1893750 13814 2197 9 0 1884488 0
[pid=26726/tid=26727] ppid=26724 vsize=7575000 CPUtime=0.27 cores=5,7
/proc/26726/task/26727/stat : 26727 (java) R 26724 26726 26269 0 -1 4202560 11246 0 1 0 25 2 0 0 25 0 18 0 462328332 7756800000 13814 33554432000 1073741824 1073778376 140737094337968 18446744073709551615 46912505553024 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 7575000

[startup+0.700438 s]
/proc/loadavg: 0.93 1.94 2.90 8/240 26726
/proc/meminfo: memFree=15669616/32951124 swapFree=67111528/67111528
[pid=26726] ppid=26724 vsize=7644836 CPUtime=1.09 cores=5,7
/proc/26726/stat : 26726 (java) S 26724 26726 26269 0 -1 4202496 18079 0 1 0 106 3 0 0 21 0 19 0 462328332 7828312064 16816 33554432000 1073741824 1073778376 140737094337968 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/26726/statm: 1911209 16816 2219 9 0 1901947 0
[pid=26726/tid=26727] ppid=26724 vsize=7644836 CPUtime=0.67 cores=5,7
/proc/26726/task/26727/stat : 26727 (java) R 26724 26726 26269 0 -1 4202560 13442 0 1 0 65 2 0 0 25 0 19 0 462328332 7828312064 16816 33554432000 1073741824 1073778376 140737094337968 18446744073709551615 46912505722146 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.09
Current children cumulated vsize (KiB) 7644836

[startup+1.50132 s]
/proc/loadavg: 0.93 1.94 2.90 7/262 26748
/proc/meminfo: memFree=15540804/32951124 swapFree=67111528/67111528
[pid=26726] ppid=26724 vsize=7644836 CPUtime=1.95 cores=5,7
/proc/26726/stat : 26726 (java) S 26724 26726 26269 0 -1 4202496 19041 0 1 0 192 3 0 0 21 0 19 0 462328332 7828312064 17777 33554432000 1073741824 1073778376 140737094337968 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/26726/statm: 1911209 17777 2224 9 0 1901947 0
[pid=26726/tid=26727] ppid=26724 vsize=7644836 CPUtime=1.47 cores=5,7
/proc/26726/task/26727/stat : 26727 (java) R 26724 26726 26269 0 -1 4202560 14383 0 1 0 145 2 0 0 25 0 19 0 462328332 7828312064 17777 33554432000 1073741824 1073778376 140737094337968 18446744073709551615 46912505697635 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=26726/tid=26729] ppid=26724 vsize=7644836 CPUtime=0 cores=5,7
/proc/26726/task/26729/stat : 26729 (java) S 26724 26726 26269 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 462328334 7828312064 17777 33554432000 1073741824 1073778376 140737094337968 18446744073709551615 218917546905 0 4 0 16800975 18446604454222997312 0 0 -1 5 0 0 0
[pid=26726/tid=26730] ppid=26724 vsize=7644836 CPUtime=0 cores=5,7
/proc/26726/task/26730/stat : 26730 (java) S 26724 26726 26269 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 462328334 7828312064 17777 33554432000 1073741824 1073778376 140737094337968 18446744073709551615 218917546905 0 4 0 16800975 18446604454222997312 0 0 -1 7 0 0 0
[pid=26726/tid=26731] ppid=26724 vsize=7644836 CPUtime=0 cores=5,7
/proc/26726/task/26731/stat : 26731 (java) S 26724 26726 26269 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 462328334 7828312064 17777 33554432000 1073741824 1073778376 140737094337968 18446744073709551615 218917546905 0 4 0 16800975 18446604454222997312 0 0 -1 7 0 0 0
[pid=26726/tid=26732] ppid=26724 vsize=7644836 CPUtime=0 cores=5,7
/proc/26726/task/26732/stat : 26732 (java) S 26724 26726 26269 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 462328334 7828312064 17777 33554432000 1073741824 1073778376 140737094337968 18446744073709551615 218917546905 0 4 0 16800975 18446604454222997312 0 0 -1 7 0 0 0
[pid=26726/tid=26733] ppid=26724 vsize=7644836 CPUtime=0 cores=5,7
/proc/26726/task/26733/stat : 26733 (java) S 26724 26726 26269 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 462328334 7828312064 17777 33554432000 1073741824 1073778376 140737094337968 18446744073709551615 218917546905 0 4 0 16800975 18446604454222997312 0 0 -1 7 0 0 0
[pid=26726/tid=26734] ppid=26724 vsize=7644836 CPUtime=0 cores=5,7
/proc/26726/task/26734/stat : 26734 (java) S 26724 26726 26269 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 462328334 7828312064 17777 33554432000 1073741824 1073778376 140737094337968 18446744073709551615 218917546905 0 4 0 16800975 18446604454222997312 0 0 -1 7 0 0 0
[pid=26726/tid=26735] ppid=26724 vsize=7644836 CPUtime=0 cores=5,7
/proc/26726/task/26735/stat : 26735 (java) S 26724 26726 26269 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 462328334 7828312064 17777 33554432000 1073741824 1073778376 140737094337968 18446744073709551615 218917546905 0 4 0 16800975 18446604454222997312 0 0 -1 7 0 0 0
[pid=26726/tid=26736] ppid=26724 vsize=7644836 CPUtime=0 cores=5,7
/proc/26726/task/26736/stat : 26736 (java) S 26724 26726 26269 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 462328334 7828312064 17778 33554432000 1073741824 1073778376 140737094337968 18446744073709551615 218917546905 0 4 0 16800975 18446604454222997312 0 0 -1 7 0 0 0
[pid=26726/tid=26737] ppid=26724 vsize=7644836 CPUtime=0 cores=5,7
/proc/26726/task/26737/stat : 26737 (java) S 26724 26726 26269 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 462328335 7828312064 17778 33554432000 1073741824 1073778376 140737094337968 18446744073709551615 218917547520 0 0 0 16800975 18446604454222997312 0 0 -1 5 0 0 0
[pid=26726/tid=26739] ppid=26724 vsize=7644836 CPUtime=0 cores=5,7
/proc/26726/task/26739/stat : 26739 (java) S 26724 26726 26269 0 -1 4202560 16 0 0 0 0 0 0 0 19 0 19 0 462328335 7828312064 17778 33554432000 1073741824 1073778376 140737094337968 18446744073709551615 218917546905 0 4 0 16800975 18446604454222997312 0 0 -1 5 0 0 0
[pid=26726/tid=26740] ppid=26724 vsize=7644836 CPUtime=0 cores=5,7
/proc/26726/task/26740/stat : 26740 (java) S 26724 26726 26269 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 462328335 7828312064 17778 33554432000 1073741824 1073778376 140737094337968 18446744073709551615 218917546905 0 4 0 16800975 18446604454222997312 0 0 -1 5 0 0 0
[pid=26726/tid=26741] ppid=26724 vsize=7644836 CPUtime=0 cores=5,7
/proc/26726/task/26741/stat : 26741 (java) S 26724 26726 26269 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 462328337 7828312064 17778 33554432000 1073741824 1073778376 140737094337968 18446744073709551615 218917554609 0 4 0 16800975 18446604454222997312 0 0 -1 5 0 0 0
[pid=26726/tid=26742] ppid=26724 vsize=7644836 CPUtime=0.2 cores=5,7
/proc/26726/task/26742/stat : 26742 (java) S 26724 26726 26269 0 -1 4202560 1674 0 0 0 20 0 0 0 19 0 19 0 462328337 7828312064 17778 33554432000 1073741824 1073778376 140737094337968 18446744073709551615 218917546905 0 4 0 16800975 18446604454222997312 0 0 -1 7 0 0 0
[pid=26726/tid=26743] ppid=26724 vsize=7644836 CPUtime=0.26 cores=5,7
/proc/26726/task/26743/stat : 26743 (java) S 26724 26726 26269 0 -1 4202560 1822 0 0 0 26 0 0 0 20 0 19 0 462328337 7828312064 17778 33554432000 1073741824 1073778376 140737094337968 18446744073709551615 218917546905 0 4 0 16800975 18446604454222997312 0 0 -1 7 0 0 0
[pid=26726/tid=26744] ppid=26724 vsize=7644836 CPUtime=0 cores=5,7
/proc/26726/task/26744/stat : 26744 (java) S 26724 26726 26269 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 462328337 7828312064 17778 33554432000 1073741824 1073778376 140737094337968 18446744073709551615 218917546905 0 4 0 16800975 18446604454222997312 0 0 -1 5 0 0 0
[pid=26726/tid=26745] ppid=26724 vsize=7644836 CPUtime=0 cores=5,7
/proc/26726/task/26745/stat : 26745 (java) S 26724 26726 26269 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 462328337 7828312064 17778 33554432000 1073741824 1073778376 140737094337968 18446744073709551615 218917547520 0 4 0 16800975 18446604454222997312 0 0 -1 7 0 0 0
[pid=26726/tid=26748] ppid=26724 vsize=7644836 CPUtime=0 cores=5,7
/proc/26726/task/26748/stat : 26748 (java) S 26724 26726 26269 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 462328368 7828312064 17778 33554432000 1073741824 1073778376 140737094337968 18446744073709551615 218917547520 0 4 0 16800975 18446604454222997312 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.95
Current children cumulated vsize (KiB) 7644836

[startup+3.10104 s]
/proc/loadavg: 0.93 1.94 2.90 7/262 26748
/proc/meminfo: memFree=15422140/32951124 swapFree=67111528/67111528
[pid=26726] ppid=26724 vsize=7663972 CPUtime=3.77 cores=5,7
/proc/26726/stat : 26726 (java) S 26724 26726 26269 0 -1 4202496 34031 0 1 0 373 4 0 0 21 0 19 0 462328332 7847907328 30827 33554432000 1073741824 1073778376 140737094337968 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/26726/statm: 1915993 30827 2251 9 0 1906731 0
[pid=26726/tid=26727] ppid=26724 vsize=7663972 CPUtime=2.98 cores=5,7
/proc/26726/task/26727/stat : 26727 (java) R 26724 26726 26269 0 -1 4202560 14751 0 1 0 295 3 0 0 25 0 19 0 462328332 7847907328 30827 33554432000 1073741824 1073778376 140737094337968 18446744073709551615 46912505709113 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=26726/tid=26729] ppid=26724 vsize=7663972 CPUtime=0.02 cores=5,7
/proc/26726/task/26729/stat : 26729 (java) S 26724 26726 26269 0 -1 4202560 2212 0 0 0 2 0 0 0 18 0 19 0 462328334 7847907328 30827 33554432000 1073741824 1073778376 140737094337968 18446744073709551615 218917546905 0 4 0 16800975 18446604454222997312 0 0 -1 7 0 0 0
[pid=26726/tid=26730] ppid=26724 vsize=7663972 CPUtime=0 cores=5,7
/proc/26726/task/26730/stat : 26730 (java) S 26724 26726 26269 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 462328334 7847907328 30827 33554432000 1073741824 1073778376 140737094337968 18446744073709551615 218917546905 0 4 0 16800975 18446604454222997312 0 0 -1 7 0 0 0
[pid=26726/tid=26731] ppid=26724 vsize=7663972 CPUtime=0 cores=5,7
/proc/26726/task/26731/stat : 26731 (java) S 26724 26726 26269 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 462328334 7847907328 30827 33554432000 1073741824 1073778376 140737094337968 18446744073709551615 218917546905 0 4 0 16800975 18446604454222997312 0 0 -1 7 0 0 0
[pid=26726/tid=26732] ppid=26724 vsize=7663972 CPUtime=0 cores=5,7
/proc/26726/task/26732/stat : 26732 (java) S 26724 26726 26269 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 462328334 7847907328 30827 33554432000 1073741824 1073778376 140737094337968 18446744073709551615 218917546905 0 4 0 16800975 18446604454222997312 0 0 -1 7 0 0 0
[pid=26726/tid=26733] ppid=26724 vsize=7663972 CPUtime=0 cores=5,7
/proc/26726/task/26733/stat : 26733 (java) S 26724 26726 26269 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 462328334 7847907328 30827 33554432000 1073741824 1073778376 140737094337968 18446744073709551615 218917546905 0 4 0 16800975 18446604454222997312 0 0 -1 7 0 0 0
[pid=26726/tid=26734] ppid=26724 vsize=7663972 CPUtime=0 cores=5,7
/proc/26726/task/26734/stat : 26734 (java) S 26724 26726 26269 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 462328334 7847907328 30827 33554432000 1073741824 1073778376 140737094337968 18446744073709551615 218917546905 0 4 0 16800975 18446604454222997312 0 0 -1 7 0 0 0
[pid=26726/tid=26735] ppid=26724 vsize=7663972 CPUtime=0 cores=5,7
/proc/26726/task/26735/stat : 26735 (java) S 26724 26726 26269 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 462328334 7847907328 30827 33554432000 1073741824 1073778376 140737094337968 18446744073709551615 218917546905 0 4 0 16800975 18446604454222997312 0 0 -1 7 0 0 0
[pid=26726/tid=26736] ppid=26724 vsize=7663972 CPUtime=0.02 cores=5,7
/proc/26726/task/26736/stat : 26736 (java) S 26724 26726 26269 0 -1 4202560 1802 0 0 0 2 0 0 0 17 0 19 0 462328334 7847907328 30827 33554432000 1073741824 1073778376 140737094337968 18446744073709551615 218917546905 0 4 0 16800975 18446604454222997312 0 0 -1 7 0 0 0
[pid=26726/tid=26737] ppid=26724 vsize=7663972 CPUtime=0.06 cores=5,7
/proc/26726/task/26737/stat : 26737 (java) S 26724 26726 26269 0 -1 4202560 4001 0 0 0 6 0 0 0 15 0 19 0 462328335 7847907328 30827 33554432000 1073741824 1073778376 140737094337968 18446744073709551615 218917547520 0 0 0 16800975 18446604454222997312 0 0 -1 5 0 0 0
[pid=26726/tid=26739] ppid=26724 vsize=7663972 CPUtime=0 cores=5,7
/proc/26726/task/26739/stat : 26739 (java) S 26724 26726 26269 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 462328335 7847907328 30827 33554432000 1073741824 1073778376 140737094337968 18446744073709551615 218917546905 0 4 0 16800975 18446604454222997312 0 0 -1 5 0 0 0
[pid=26726/tid=26740] ppid=26724 vsize=7663972 CPUtime=0 cores=5,7
/proc/26726/task/26740/stat : 26740 (java) S 26724 26726 26269 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 19 0 462328335 7847907328 30827 33554432000 1073741824 1073778376 140737094337968 18446744073709551615 218917546905 0 4 0 16800975 18446604454222997312 0 0 -1 5 0 0 0
[pid=26726/tid=26741] ppid=26724 vsize=7663972 CPUtime=0 cores=5,7
/proc/26726/task/26741/stat : 26741 (java) S 26724 26726 26269 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 462328337 7847907328 30827 33554432000 1073741824 1073778376 140737094337968 18446744073709551615 218917554609 0 4 0 16800975 18446604454222997312 0 0 -1 5 0 0 0
[pid=26726/tid=26742] ppid=26724 vsize=7663972 CPUtime=0.38 cores=5,7
/proc/26726/task/26742/stat : 26742 (java) S 26724 26726 26269 0 -1 4202560 8090 0 0 0 38 0 0 0 17 0 19 0 462328337 7847907328 30827 33554432000 1073741824 1073778376 140737094337968 18446744073709551615 218917546905 0 4 0 16800975 18446604454222997312 0 0 -1 7 0 0 0
[pid=26726/tid=26743] ppid=26724 vsize=7663972 CPUtime=0.27 cores=5,7
/proc/26726/task/26743/stat : 26743 (java) S 26724 26726 26269 0 -1 4202560 2014 0 0 0 27 0 0 0 17 0 19 0 462328337 7847907328 30827 33554432000 1073741824 1073778376 140737094337968 18446744073709551615 218917546905 0 4 0 16800975 18446604454222997312 0 0 -1 7 0 0 0
[pid=26726/tid=26744] ppid=26724 vsize=7663972 CPUtime=0 cores=5,7
/proc/26726/task/26744/stat : 26744 (java) S 26724 26726 26269 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 462328337 7847907328 30827 33554432000 1073741824 1073778376 140737094337968 18446744073709551615 218917546905 0 4 0 16800975 18446604454222997312 0 0 -1 5 0 0 0
[pid=26726/tid=26745] ppid=26724 vsize=7663972 CPUtime=0 cores=5,7
/proc/26726/task/26745/stat : 26745 (java) S 26724 26726 26269 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 462328337 7847907328 30827 33554432000 1073741824 1073778376 140737094337968 18446744073709551615 218917547520 0 4 0 16800975 18446604454222997312 0 0 -1 7 0 0 0
[pid=26726/tid=26748] ppid=26724 vsize=7663972 CPUtime=0 cores=5,7
/proc/26726/task/26748/stat : 26748 (java) S 26724 26726 26269 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 462328368 7847907328 30827 33554432000 1073741824 1073778376 140737094337968 18446744073709551615 218917547520 0 4 0 16800975 18446604454222997312 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.77
Current children cumulated vsize (KiB) 7663972

[startup+6.30146 s]
/proc/loadavg: 1.17 1.97 2.91 6/262 26748
/proc/meminfo: memFree=15408348/32951124 swapFree=67111528/67111528
[pid=26726] ppid=26724 vsize=7660696 CPUtime=7.03 cores=5,7
/proc/26726/stat : 26726 (java) S 26724 26726 26269 0 -1 4202496 36164 0 1 0 698 5 0 0 21 0 19 0 462328332 7844552704 32263 33554432000 1073741824 1073778376 140737094337968 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/26726/statm: 1915174 32263 2253 9 0 1905912 0
[pid=26726/tid=26727] ppid=26724 vsize=7660696 CPUtime=6.07 cores=5,7
/proc/26726/task/26727/stat : 26727 (java) R 26724 26726 26269 0 -1 4202560 14755 0 1 0 604 3 0 0 25 0 19 0 462328332 7844552704 32263 33554432000 1073741824 1073778376 140737094337968 18446744073709551615 46912505709113 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=26726/tid=26729] ppid=26724 vsize=7660696 CPUtime=0.02 cores=5,7
/proc/26726/task/26729/stat : 26729 (java) S 26724 26726 26269 0 -1 4202560 2217 0 0 0 2 0 0 0 15 0 19 0 462328334 7844552704 32263 33554432000 1073741824 1073778376 140737094337968 18446744073709551615 218917546905 0 4 0 16800975 18446604454222997312 0 0 -1 7 0 0 0
[pid=26726/tid=26730] ppid=26724 vsize=7660696 CPUtime=0 cores=5,7
/proc/26726/task/26730/stat : 26730 (java) S 26724 26726 26269 0 -1 4202560 777 0 0 0 0 0 0 0 15 0 19 0 462328334 7844552704 32263 33554432000 1073741824 1073778376 140737094337968 18446744073709551615 218917546905 0 4 0 16800975 18446604454222997312 0 0 -1 7 0 0 0
[pid=26726/tid=26731] ppid=26724 vsize=7660696 CPUtime=0 cores=5,7
/proc/26726/task/26731/stat : 26731 (java) S 26724 26726 26269 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 462328334 7844552704 32263 33554432000 1073741824 1073778376 140737094337968 18446744073709551615 218917546905 0 4 0 16800975 18446604454222997312 0 0 -1 7 0 0 0
[pid=26726/tid=26732] ppid=26724 vsize=7660696 CPUtime=0 cores=5,7
/proc/26726/task/26732/stat : 26732 (java) S 26724 26726 26269 0 -1 4202560 631 0 0 0 0 0 0 0 15 0 19 0 462328334 7844552704 32263 33554432000 1073741824 1073778376 140737094337968 18446744073709551615 218917546905 0 4 0 16800975 18446604454222997312 0 0 -1 7 0 0 0
[pid=26726/tid=26733] ppid=26724 vsize=7660696 CPUtime=0 cores=5,7
/proc/26726/task/26733/stat : 26733 (java) S 26724 26726 26269 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 462328334 7844552704 32263 33554432000 1073741824 1073778376 140737094337968 18446744073709551615 218917546905 0 4 0 16800975 18446604454222997312 0 0 -1 7 0 0 0
[pid=26726/tid=26734] ppid=26724 vsize=7660696 CPUtime=0 cores=5,7
/proc/26726/task/26734/stat : 26734 (java) S 26724 26726 26269 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 462328334 7844552704 32263 33554432000 1073741824 1073778376 140737094337968 18446744073709551615 218917546905 0 4 0 16800975 18446604454222997312 0 0 -1 7 0 0 0
[pid=26726/tid=26735] ppid=26724 vsize=7660696 CPUtime=0 cores=5,7
/proc/26726/task/26735/stat : 26735 (java) S 26724 26726 26269 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 462328334 7844552704 32263 33554432000 1073741824 1073778376 140737094337968 18446744073709551615 218917546905 0 4 0 16800975 18446604454222997312 0 0 -1 7 0 0 0
[pid=26726/tid=26736] ppid=26724 vsize=7660696 CPUtime=0.02 cores=5,7
/proc/26726/task/26736/stat : 26736 (java) S 26724 26726 26269 0 -1 4202560 1802 0 0 0 2 0 0 0 15 0 19 0 462328334 7844552704 32263 33554432000 1073741824 1073778376 140737094337968 18446744073709551615 218917546905 0 4 0 16800975 18446604454222997312 0 0 -1 7 0 0 0
[pid=26726/tid=26737] ppid=26724 vsize=7660696 CPUtime=0.16 cores=5,7
/proc/26726/task/26737/stat : 26737 (java) S 26724 26726 26269 0 -1 4202560 4715 0 0 0 16 0 0 0 16 0 19 0 462328335 7844552704 32263 33554432000 1073741824 1073778376 140737094337968 18446744073709551615 218917547520 0 0 0 16800975 18446604454222997312 0 0 -1 5 0 0 0
[pid=26726/tid=26739] ppid=26724 vsize=7660696 CPUtime=0 cores=5,7
/proc/26726/task/26739/stat : 26739 (java) S 26724 26726 26269 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 462328335 7844552704 32263 33554432000 1073741824 1073778376 140737094337968 18446744073709551615 218917546905 0 4 0 16800975 18446604454222997312 0 0 -1 5 0 0 0
[pid=26726/tid=26740] ppid=26724 vsize=7660696 CPUtime=0 cores=5,7
/proc/26726/task/26740/stat : 26740 (java) S 26724 26726 26269 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 19 0 462328335 7844552704 32263 33554432000 1073741824 1073778376 140737094337968 18446744073709551615 218917546905 0 4 0 16800975 18446604454222997312 0 0 -1 5 0 0 0
[pid=26726/tid=26741] ppid=26724 vsize=7660696 CPUtime=0 cores=5,7
/proc/26726/task/26741/stat : 26741 (java) S 26724 26726 26269 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 462328337 7844552704 32263 33554432000 1073741824 1073778376 140737094337968 18446744073709551615 218917554609 0 4 0 16800975 18446604454222997312 0 0 -1 5 0 0 0
[pid=26726/tid=26742] ppid=26724 vsize=7660696 CPUtime=0.4 cores=5,7
/proc/26726/task/26742/stat : 26742 (java) S 26724 26726 26269 0 -1 4202560 8090 0 0 0 40 0 0 0 15 0 19 0 462328337 7844552704 32263 33554432000 1073741824 1073778376 140737094337968 18446744073709551615 218917546905 0 4 0 16800975 18446604454222997312 0 0 -1 7 0 0 0
[pid=26726/tid=26743] ppid=26724 vsize=7660696 CPUtime=0.3 cores=5,7
/proc/26726/task/26743/stat : 26743 (java) S 26724 26726 26269 0 -1 4202560 2016 0 0 0 30 0 0 0 15 0 19 0 462328337 7844552704 32263 33554432000 1073741824 1073778376 140737094337968 18446744073709551615 218917546905 0 4 0 16800975 18446604454222997312 0 0 -1 7 0 0 0

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

[pid=26726/tid=26734] ppid=26724 vsize=7660696 CPUtime=0.18 cores=5,7
/proc/26726/task/26734/stat : 26734 (java) S 26724 26726 26269 0 -1 4202560 3653 0 0 0 18 0 0 0 16 0 19 0 462328334 7844552704 63222 33554432000 1073741824 1073778376 140737094337968 18446744073709551615 218917546905 0 4 0 16800975 18446604454222997312 0 0 -1 7 0 0 0
[pid=26726/tid=26735] ppid=26724 vsize=7660696 CPUtime=0.07 cores=5,7
/proc/26726/task/26735/stat : 26735 (java) S 26724 26726 26269 0 -1 4202560 258 0 0 0 7 0 0 0 15 0 19 0 462328334 7844552704 63222 33554432000 1073741824 1073778376 140737094337968 18446744073709551615 218917546905 0 4 0 16800975 18446604454222997312 0 0 -1 7 0 0 0
[pid=26726/tid=26736] ppid=26724 vsize=7660696 CPUtime=0.11 cores=5,7
/proc/26726/task/26736/stat : 26736 (java) S 26724 26726 26269 0 -1 4202560 3811 0 0 0 11 0 0 0 15 0 19 0 462328334 7844552704 63222 33554432000 1073741824 1073778376 140737094337968 18446744073709551615 218917546905 0 4 0 16800975 18446604454222997312 0 0 -1 7 0 0 0
[pid=26726/tid=26737] ppid=26724 vsize=7660696 CPUtime=3.79 cores=5,7
/proc/26726/task/26737/stat : 26737 (java) S 26724 26726 26269 0 -1 4202560 10140 0 0 0 378 1 0 0 15 0 19 0 462328335 7844552704 63222 33554432000 1073741824 1073778376 140737094337968 18446744073709551615 218917547520 0 0 0 16800975 18446604454222997312 0 0 -1 5 0 0 0
[pid=26726/tid=26739] ppid=26724 vsize=7660696 CPUtime=0 cores=5,7
/proc/26726/task/26739/stat : 26739 (java) S 26724 26726 26269 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 462328335 7844552704 63222 33554432000 1073741824 1073778376 140737094337968 18446744073709551615 218917546905 0 4 0 16800975 18446604454222997312 0 0 -1 5 0 0 0
[pid=26726/tid=26740] ppid=26724 vsize=7660696 CPUtime=0 cores=5,7
/proc/26726/task/26740/stat : 26740 (java) S 26724 26726 26269 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 19 0 462328335 7844552704 63222 33554432000 1073741824 1073778376 140737094337968 18446744073709551615 218917546905 0 4 0 16800975 18446604454222997312 0 0 -1 5 0 0 0
[pid=26726/tid=26741] ppid=26724 vsize=7660696 CPUtime=0 cores=5,7
/proc/26726/task/26741/stat : 26741 (java) S 26724 26726 26269 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 462328337 7844552704 63222 33554432000 1073741824 1073778376 140737094337968 18446744073709551615 218917554609 0 4 0 16800975 18446604454222997312 0 0 -1 5 0 0 0
[pid=26726/tid=26742] ppid=26724 vsize=7660696 CPUtime=0.42 cores=5,7
/proc/26726/task/26742/stat : 26742 (java) S 26724 26726 26269 0 -1 4202560 8102 0 0 0 42 0 0 0 15 0 19 0 462328337 7844552704 63222 33554432000 1073741824 1073778376 140737094337968 18446744073709551615 218917546905 0 4 0 16800975 18446604454222997312 0 0 -1 7 0 0 0
[pid=26726/tid=26743] ppid=26724 vsize=7660696 CPUtime=0.3 cores=5,7
/proc/26726/task/26743/stat : 26743 (java) S 26724 26726 26269 0 -1 4202560 2016 0 0 0 30 0 0 0 15 0 19 0 462328337 7844552704 63222 33554432000 1073741824 1073778376 140737094337968 18446744073709551615 218917546905 0 4 0 16800975 18446604454222997312 0 0 -1 7 0 0 0
[pid=26726/tid=26744] ppid=26724 vsize=7660696 CPUtime=0 cores=5,7
/proc/26726/task/26744/stat : 26744 (java) S 26724 26726 26269 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 462328337 7844552704 63222 33554432000 1073741824 1073778376 140737094337968 18446744073709551615 218917546905 0 4 0 16800975 18446604454222997312 0 0 -1 5 0 0 0
[pid=26726/tid=26745] ppid=26724 vsize=7660696 CPUtime=0 cores=5,7
/proc/26726/task/26745/stat : 26745 (java) S 26724 26726 26269 0 -1 4202560 65 0 0 0 0 0 0 0 15 0 19 0 462328337 7844552704 63222 33554432000 1073741824 1073778376 140737094337968 18446744073709551615 218917547520 0 4 0 16800975 18446604454222997312 0 0 -1 7 0 0 0
[pid=26726/tid=26748] ppid=26724 vsize=7660696 CPUtime=0 cores=5,7
/proc/26726/task/26748/stat : 26748 (java) S 26724 26726 26269 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 462328368 7844552704 63222 33554432000 1073741824 1073778376 140737094337968 18446744073709551615 218917547520 0 4 0 16800975 18446604454222997312 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1123.51
Current children cumulated vsize (KiB) 7660696

[startup+1182.3 s]
/proc/loadavg: 4.10 3.99 3.68 5/262 26779
/proc/meminfo: memFree=15053448/32951124 swapFree=67111528/67111528
[pid=26726] ppid=26724 vsize=7660696 CPUtime=1183.53 cores=5,7
/proc/26726/stat : 26726 (java) S 26724 26726 26269 0 -1 4202496 69993 0 1 0 118340 13 0 0 21 0 19 0 462328332 7844552704 65916 33554432000 1073741824 1073778376 140737094337968 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/26726/statm: 1915174 65916 2253 9 0 1905912 0
[pid=26726/tid=26727] ppid=26724 vsize=7660696 CPUtime=1177.88 cores=5,7
/proc/26726/task/26727/stat : 26727 (java) R 26724 26726 26269 0 -1 4202560 25625 0 1 0 117780 8 0 0 25 0 19 0 462328332 7844552704 65916 33554432000 1073741824 1073778376 140737094337968 18446744073709551615 46912505709113 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=26726/tid=26729] ppid=26724 vsize=7660696 CPUtime=0.06 cores=5,7
/proc/26726/task/26729/stat : 26729 (java) S 26724 26726 26269 0 -1 4202560 2221 0 0 0 6 0 0 0 15 0 19 0 462328334 7844552704 65916 33554432000 1073741824 1073778376 140737094337968 18446744073709551615 218917546905 0 4 0 16800975 18446604454222997312 0 0 -1 7 0 0 0
[pid=26726/tid=26730] ppid=26724 vsize=7660696 CPUtime=0.14 cores=5,7
/proc/26726/task/26730/stat : 26730 (java) S 26724 26726 26269 0 -1 4202560 2631 0 0 0 14 0 0 0 15 0 19 0 462328334 7844552704 65916 33554432000 1073741824 1073778376 140737094337968 18446744073709551615 218917546905 0 4 0 16800975 18446604454222997312 0 0 -1 7 0 0 0
[pid=26726/tid=26731] ppid=26724 vsize=7660696 CPUtime=0.08 cores=5,7
/proc/26726/task/26731/stat : 26731 (java) S 26724 26726 26269 0 -1 4202560 2854 0 0 0 8 0 0 0 15 0 19 0 462328334 7844552704 65916 33554432000 1073741824 1073778376 140737094337968 18446744073709551615 218917546905 0 4 0 16800975 18446604454222997312 0 0 -1 7 0 0 0
[pid=26726/tid=26732] ppid=26724 vsize=7660696 CPUtime=0.14 cores=5,7
/proc/26726/task/26732/stat : 26732 (java) S 26724 26726 26269 0 -1 4202560 5312 0 0 0 14 0 0 0 15 0 19 0 462328334 7844552704 65916 33554432000 1073741824 1073778376 140737094337968 18446744073709551615 218917546905 0 4 0 16800975 18446604454222997312 0 0 -1 7 0 0 0
[pid=26726/tid=26733] ppid=26724 vsize=7660696 CPUtime=0.13 cores=5,7
/proc/26726/task/26733/stat : 26733 (java) S 26724 26726 26269 0 -1 4202560 1941 0 0 0 13 0 0 0 15 0 19 0 462328334 7844552704 65916 33554432000 1073741824 1073778376 140737094337968 18446744073709551615 218917546905 0 4 0 16800975 18446604454222997312 0 0 -1 7 0 0 0
[pid=26726/tid=26734] ppid=26724 vsize=7660696 CPUtime=0.19 cores=5,7
/proc/26726/task/26734/stat : 26734 (java) S 26724 26726 26269 0 -1 4202560 3653 0 0 0 19 0 0 0 15 0 19 0 462328334 7844552704 65916 33554432000 1073741824 1073778376 140737094337968 18446744073709551615 218917546905 0 4 0 16800975 18446604454222997312 0 0 -1 7 0 0 0
[pid=26726/tid=26735] ppid=26724 vsize=7660696 CPUtime=0.09 cores=5,7
/proc/26726/task/26735/stat : 26735 (java) S 26724 26726 26269 0 -1 4202560 263 0 0 0 9 0 0 0 16 0 19 0 462328334 7844552704 65916 33554432000 1073741824 1073778376 140737094337968 18446744073709551615 218917546905 0 4 0 16800975 18446604454222997312 0 0 -1 7 0 0 0
[pid=26726/tid=26736] ppid=26724 vsize=7660696 CPUtime=0.11 cores=5,7
/proc/26726/task/26736/stat : 26736 (java) S 26724 26726 26269 0 -1 4202560 3811 0 0 0 11 0 0 0 15 0 19 0 462328334 7844552704 65916 33554432000 1073741824 1073778376 140737094337968 18446744073709551615 218917546905 0 4 0 16800975 18446604454222997312 0 0 -1 7 0 0 0
[pid=26726/tid=26737] ppid=26724 vsize=7660696 CPUtime=3.88 cores=5,7
/proc/26726/task/26737/stat : 26737 (java) S 26724 26726 26269 0 -1 4202560 10343 0 0 0 387 1 0 0 15 0 19 0 462328335 7844552704 65916 33554432000 1073741824 1073778376 140737094337968 18446744073709551615 218917547520 0 0 0 16800975 18446604454222997312 0 0 -1 5 0 0 0
[pid=26726/tid=26739] ppid=26724 vsize=7660696 CPUtime=0 cores=5,7
/proc/26726/task/26739/stat : 26739 (java) S 26724 26726 26269 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 462328335 7844552704 65916 33554432000 1073741824 1073778376 140737094337968 18446744073709551615 218917546905 0 4 0 16800975 18446604454222997312 0 0 -1 5 0 0 0
[pid=26726/tid=26740] ppid=26724 vsize=7660696 CPUtime=0 cores=5,7
/proc/26726/task/26740/stat : 26740 (java) S 26724 26726 26269 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 19 0 462328335 7844552704 65916 33554432000 1073741824 1073778376 140737094337968 18446744073709551615 218917546905 0 4 0 16800975 18446604454222997312 0 0 -1 5 0 0 0
[pid=26726/tid=26741] ppid=26724 vsize=7660696 CPUtime=0 cores=5,7
/proc/26726/task/26741/stat : 26741 (java) S 26724 26726 26269 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 462328337 7844552704 65916 33554432000 1073741824 1073778376 140737094337968 18446744073709551615 218917554609 0 4 0 16800975 18446604454222997312 0 0 -1 5 0 0 0
[pid=26726/tid=26742] ppid=26724 vsize=7660696 CPUtime=0.42 cores=5,7
/proc/26726/task/26742/stat : 26742 (java) S 26724 26726 26269 0 -1 4202560 8102 0 0 0 42 0 0 0 15 0 19 0 462328337 7844552704 65916 33554432000 1073741824 1073778376 140737094337968 18446744073709551615 218917546905 0 4 0 16800975 18446604454222997312 0 0 -1 7 0 0 0
[pid=26726/tid=26743] ppid=26724 vsize=7660696 CPUtime=0.3 cores=5,7
/proc/26726/task/26743/stat : 26743 (java) S 26724 26726 26269 0 -1 4202560 2016 0 0 0 30 0 0 0 15 0 19 0 462328337 7844552704 65916 33554432000 1073741824 1073778376 140737094337968 18446744073709551615 218917546905 0 4 0 16800975 18446604454222997312 0 0 -1 7 0 0 0
[pid=26726/tid=26744] ppid=26724 vsize=7660696 CPUtime=0 cores=5,7
/proc/26726/task/26744/stat : 26744 (java) S 26724 26726 26269 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 462328337 7844552704 65916 33554432000 1073741824 1073778376 140737094337968 18446744073709551615 218917546905 0 4 0 16800975 18446604454222997312 0 0 -1 5 0 0 0
[pid=26726/tid=26745] ppid=26724 vsize=7660696 CPUtime=0 cores=5,7
/proc/26726/task/26745/stat : 26745 (java) S 26724 26726 26269 0 -1 4202560 67 0 0 0 0 0 0 0 15 0 19 0 462328337 7844552704 65916 33554432000 1073741824 1073778376 140737094337968 18446744073709551615 218917547520 0 4 0 16800975 18446604454222997312 0 0 -1 7 0 0 0
[pid=26726/tid=26748] ppid=26724 vsize=7660696 CPUtime=0 cores=5,7
/proc/26726/task/26748/stat : 26748 (java) S 26724 26726 26269 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 462328368 7844552704 65916 33554432000 1073741824 1073778376 140737094337968 18446744073709551615 218917547520 0 4 0 16800975 18446604454222997312 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1183.53
Current children cumulated vsize (KiB) 7660696

[startup+1242.3 s]
/proc/loadavg: 4.03 3.99 3.70 5/262 26781
/proc/meminfo: memFree=15046600/32951124 swapFree=67111528/67111528
[pid=26726] ppid=26724 vsize=7660696 CPUtime=1243.54 cores=5,7
/proc/26726/stat : 26726 (java) S 26724 26726 26269 0 -1 4202496 70189 0 1 0 124341 13 0 0 21 0 19 0 462328332 7844552704 66105 33554432000 1073741824 1073778376 140737094337968 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/26726/statm: 1915174 66105 2253 9 0 1905912 0
[pid=26726/tid=26727] ppid=26724 vsize=7660696 CPUtime=1237.79 cores=5,7
/proc/26726/task/26727/stat : 26727 (java) R 26724 26726 26269 0 -1 4202560 25626 0 1 0 123771 8 0 0 25 0 19 0 462328332 7844552704 66105 33554432000 1073741824 1073778376 140737094337968 18446744073709551615 46912505709113 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=26726/tid=26729] ppid=26724 vsize=7660696 CPUtime=0.06 cores=5,7
/proc/26726/task/26729/stat : 26729 (java) S 26724 26726 26269 0 -1 4202560 2221 0 0 0 6 0 0 0 15 0 19 0 462328334 7844552704 66105 33554432000 1073741824 1073778376 140737094337968 18446744073709551615 218917546905 0 4 0 16800975 18446604454222997312 0 0 -1 7 0 0 0
[pid=26726/tid=26730] ppid=26724 vsize=7660696 CPUtime=0.15 cores=5,7
/proc/26726/task/26730/stat : 26730 (java) S 26724 26726 26269 0 -1 4202560 2631 0 0 0 15 0 0 0 15 0 19 0 462328334 7844552704 66105 33554432000 1073741824 1073778376 140737094337968 18446744073709551615 218917546905 0 4 0 16800975 18446604454222997312 0 0 -1 7 0 0 0
[pid=26726/tid=26731] ppid=26724 vsize=7660696 CPUtime=0.08 cores=5,7
/proc/26726/task/26731/stat : 26731 (java) S 26724 26726 26269 0 -1 4202560 2854 0 0 0 8 0 0 0 15 0 19 0 462328334 7844552704 66105 33554432000 1073741824 1073778376 140737094337968 18446744073709551615 218917546905 0 4 0 16800975 18446604454222997312 0 0 -1 7 0 0 0
[pid=26726/tid=26732] ppid=26724 vsize=7660696 CPUtime=0.14 cores=5,7
/proc/26726/task/26732/stat : 26732 (java) S 26724 26726 26269 0 -1 4202560 5312 0 0 0 14 0 0 0 15 0 19 0 462328334 7844552704 66105 33554432000 1073741824 1073778376 140737094337968 18446744073709551615 218917546905 0 4 0 16800975 18446604454222997312 0 0 -1 7 0 0 0
[pid=26726/tid=26733] ppid=26724 vsize=7660696 CPUtime=0.13 cores=5,7
/proc/26726/task/26733/stat : 26733 (java) S 26724 26726 26269 0 -1 4202560 1941 0 0 0 13 0 0 0 15 0 19 0 462328334 7844552704 66105 33554432000 1073741824 1073778376 140737094337968 18446744073709551615 218917546905 0 4 0 16800975 18446604454222997312 0 0 -1 7 0 0 0
[pid=26726/tid=26734] ppid=26724 vsize=7660696 CPUtime=0.19 cores=5,7
/proc/26726/task/26734/stat : 26734 (java) S 26724 26726 26269 0 -1 4202560 3653 0 0 0 19 0 0 0 15 0 19 0 462328334 7844552704 66105 33554432000 1073741824 1073778376 140737094337968 18446744073709551615 218917546905 0 4 0 16800975 18446604454222997312 0 0 -1 7 0 0 0
[pid=26726/tid=26735] ppid=26724 vsize=7660696 CPUtime=0.09 cores=5,7
/proc/26726/task/26735/stat : 26735 (java) S 26724 26726 26269 0 -1 4202560 263 0 0 0 9 0 0 0 15 0 19 0 462328334 7844552704 66105 33554432000 1073741824 1073778376 140737094337968 18446744073709551615 218917546905 0 4 0 16800975 18446604454222997312 0 0 -1 7 0 0 0
[pid=26726/tid=26736] ppid=26724 vsize=7660696 CPUtime=0.12 cores=5,7
/proc/26726/task/26736/stat : 26736 (java) S 26724 26726 26269 0 -1 4202560 3811 0 0 0 12 0 0 0 15 0 19 0 462328334 7844552704 66105 33554432000 1073741824 1073778376 140737094337968 18446744073709551615 218917546905 0 4 0 16800975 18446604454222997312 0 0 -1 7 0 0 0
[pid=26726/tid=26737] ppid=26724 vsize=7660696 CPUtime=3.96 cores=5,7
/proc/26726/task/26737/stat : 26737 (java) S 26724 26726 26269 0 -1 4202560 10534 0 0 0 395 1 0 0 15 0 19 0 462328335 7844552704 66105 33554432000 1073741824 1073778376 140737094337968 18446744073709551615 218917547520 0 0 0 16800975 18446604454222997312 0 0 -1 5 0 0 0
[pid=26726/tid=26739] ppid=26724 vsize=7660696 CPUtime=0 cores=5,7
/proc/26726/task/26739/stat : 26739 (java) S 26724 26726 26269 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 462328335 7844552704 66105 33554432000 1073741824 1073778376 140737094337968 18446744073709551615 218917546905 0 4 0 16800975 18446604454222997312 0 0 -1 5 0 0 0
[pid=26726/tid=26740] ppid=26724 vsize=7660696 CPUtime=0 cores=5,7
/proc/26726/task/26740/stat : 26740 (java) S 26724 26726 26269 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 19 0 462328335 7844552704 66105 33554432000 1073741824 1073778376 140737094337968 18446744073709551615 218917546905 0 4 0 16800975 18446604454222997312 0 0 -1 5 0 0 0
[pid=26726/tid=26741] ppid=26724 vsize=7660696 CPUtime=0 cores=5,7
/proc/26726/task/26741/stat : 26741 (java) S 26724 26726 26269 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 462328337 7844552704 66105 33554432000 1073741824 1073778376 140737094337968 18446744073709551615 218917554609 0 4 0 16800975 18446604454222997312 0 0 -1 5 0 0 0
[pid=26726/tid=26742] ppid=26724 vsize=7660696 CPUtime=0.42 cores=5,7
/proc/26726/task/26742/stat : 26742 (java) S 26724 26726 26269 0 -1 4202560 8102 0 0 0 42 0 0 0 15 0 19 0 462328337 7844552704 66105 33554432000 1073741824 1073778376 140737094337968 18446744073709551615 218917546905 0 4 0 16800975 18446604454222997312 0 0 -1 7 0 0 0
[pid=26726/tid=26743] ppid=26724 vsize=7660696 CPUtime=0.3 cores=5,7
/proc/26726/task/26743/stat : 26743 (java) S 26724 26726 26269 0 -1 4202560 2016 0 0 0 30 0 0 0 15 0 19 0 462328337 7844552704 66105 33554432000 1073741824 1073778376 140737094337968 18446744073709551615 218917546905 0 4 0 16800975 18446604454222997312 0 0 -1 7 0 0 0
[pid=26726/tid=26744] ppid=26724 vsize=7660696 CPUtime=0 cores=5,7
/proc/26726/task/26744/stat : 26744 (java) S 26724 26726 26269 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 462328337 7844552704 66105 33554432000 1073741824 1073778376 140737094337968 18446744073709551615 218917546905 0 4 0 16800975 18446604454222997312 0 0 -1 5 0 0 0
[pid=26726/tid=26745] ppid=26724 vsize=7660696 CPUtime=0 cores=5,7
/proc/26726/task/26745/stat : 26745 (java) S 26724 26726 26269 0 -1 4202560 71 0 0 0 0 0 0 0 15 0 19 0 462328337 7844552704 66105 33554432000 1073741824 1073778376 140737094337968 18446744073709551615 218917547520 0 4 0 16800975 18446604454222997312 0 0 -1 7 0 0 0
[pid=26726/tid=26748] ppid=26724 vsize=7660696 CPUtime=0 cores=5,7
/proc/26726/task/26748/stat : 26748 (java) S 26724 26726 26269 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 462328368 7844552704 66105 33554432000 1073741824 1073778376 140737094337968 18446744073709551615 218917547520 0 4 0 16800975 18446604454222997312 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1243.54
Current children cumulated vsize (KiB) 7660696



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 4.01 3.99 3.72 2/204 26792
/proc/meminfo: memFree=15499012/32951124 swapFree=67111528/67111528
[pid=26726] ppid=26724 vsize=7660696 CPUtime=1301.27 cores=5,7
/proc/26726/stat : 26726 (java) S 26724 26726 26269 0 -1 4202496 70526 0 1 0 130114 13 0 0 21 0 19 0 462328332 7844552704 66435 33554432000 1073741824 1073778376 140737094337968 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/26726/statm: 1915174 66435 2253 9 0 1905912 0
[pid=26726/tid=26727] ppid=26724 vsize=7660696 CPUtime=1295.4 cores=5,7
/proc/26726/task/26727/stat : 26727 (java) R 26724 26726 26269 0 -1 4202560 25627 0 1 0 129532 8 0 0 25 0 19 0 462328332 7844552704 66435 33554432000 1073741824 1073778376 140737094337968 18446744073709551615 46912505709113 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=26726/tid=26729] ppid=26724 vsize=7660696 CPUtime=0.06 cores=5,7
/proc/26726/task/26729/stat : 26729 (java) S 26724 26726 26269 0 -1 4202560 2221 0 0 0 6 0 0 0 15 0 19 0 462328334 7844552704 66435 33554432000 1073741824 1073778376 140737094337968 18446744073709551615 218917546905 0 4 0 16800975 18446604454222997312 0 0 -1 7 0 0 0
[pid=26726/tid=26730] ppid=26724 vsize=7660696 CPUtime=0.15 cores=5,7
/proc/26726/task/26730/stat : 26730 (java) S 26724 26726 26269 0 -1 4202560 2631 0 0 0 15 0 0 0 15 0 19 0 462328334 7844552704 66435 33554432000 1073741824 1073778376 140737094337968 18446744073709551615 218917546905 0 4 0 16800975 18446604454222997312 0 0 -1 7 0 0 0
[pid=26726/tid=26731] ppid=26724 vsize=7660696 CPUtime=0.08 cores=5,7
/proc/26726/task/26731/stat : 26731 (java) S 26724 26726 26269 0 -1 4202560 2854 0 0 0 8 0 0 0 15 0 19 0 462328334 7844552704 66435 33554432000 1073741824 1073778376 140737094337968 18446744073709551615 218917546905 0 4 0 16800975 18446604454222997312 0 0 -1 7 0 0 0
[pid=26726/tid=26732] ppid=26724 vsize=7660696 CPUtime=0.14 cores=5,7
/proc/26726/task/26732/stat : 26732 (java) S 26724 26726 26269 0 -1 4202560 5312 0 0 0 14 0 0 0 15 0 19 0 462328334 7844552704 66435 33554432000 1073741824 1073778376 140737094337968 18446744073709551615 218917546905 0 4 0 16800975 18446604454222997312 0 0 -1 7 0 0 0
[pid=26726/tid=26733] ppid=26724 vsize=7660696 CPUtime=0.15 cores=5,7
/proc/26726/task/26733/stat : 26733 (java) S 26724 26726 26269 0 -1 4202560 1941 0 0 0 15 0 0 0 15 0 19 0 462328334 7844552704 66435 33554432000 1073741824 1073778376 140737094337968 18446744073709551615 218917546905 0 4 0 16800975 18446604454222997312 0 0 -1 7 0 0 0
[pid=26726/tid=26734] ppid=26724 vsize=7660696 CPUtime=0.21 cores=5,7
/proc/26726/task/26734/stat : 26734 (java) S 26724 26726 26269 0 -1 4202560 3653 0 0 0 21 0 0 0 15 0 19 0 462328334 7844552704 66435 33554432000 1073741824 1073778376 140737094337968 18446744073709551615 218917546905 0 4 0 16800975 18446604454222997312 0 0 -1 7 0 0 0
[pid=26726/tid=26735] ppid=26724 vsize=7660696 CPUtime=0.09 cores=5,7
/proc/26726/task/26735/stat : 26735 (java) S 26724 26726 26269 0 -1 4202560 263 0 0 0 9 0 0 0 15 0 19 0 462328334 7844552704 66435 33554432000 1073741824 1073778376 140737094337968 18446744073709551615 218917546905 0 4 0 16800975 18446604454222997312 0 0 -1 7 0 0 0
[pid=26726/tid=26736] ppid=26724 vsize=7660696 CPUtime=0.12 cores=5,7
/proc/26726/task/26736/stat : 26736 (java) S 26724 26726 26269 0 -1 4202560 3811 0 0 0 12 0 0 0 15 0 19 0 462328334 7844552704 66435 33554432000 1073741824 1073778376 140737094337968 18446744073709551615 218917546905 0 4 0 16800975 18446604454222997312 0 0 -1 7 0 0 0
[pid=26726/tid=26737] ppid=26724 vsize=7660696 CPUtime=4.04 cores=5,7
/proc/26726/task/26737/stat : 26737 (java) S 26724 26726 26269 0 -1 4202560 10866 0 0 0 403 1 0 0 15 0 19 0 462328335 7844552704 66435 33554432000 1073741824 1073778376 140737094337968 18446744073709551615 218917547520 0 0 0 16800975 18446604454222997312 0 0 -1 5 0 0 0
[pid=26726/tid=26739] ppid=26724 vsize=7660696 CPUtime=0 cores=5,7
/proc/26726/task/26739/stat : 26739 (java) S 26724 26726 26269 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 462328335 7844552704 66435 33554432000 1073741824 1073778376 140737094337968 18446744073709551615 218917546905 0 4 0 16800975 18446604454222997312 0 0 -1 5 0 0 0
[pid=26726/tid=26740] ppid=26724 vsize=7660696 CPUtime=0 cores=5,7
/proc/26726/task/26740/stat : 26740 (java) S 26724 26726 26269 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 19 0 462328335 7844552704 66435 33554432000 1073741824 1073778376 140737094337968 18446744073709551615 218917546905 0 4 0 16800975 18446604454222997312 0 0 -1 5 0 0 0
[pid=26726/tid=26741] ppid=26724 vsize=7660696 CPUtime=0 cores=5,7
/proc/26726/task/26741/stat : 26741 (java) S 26724 26726 26269 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 462328337 7844552704 66435 33554432000 1073741824 1073778376 140737094337968 18446744073709551615 218917554609 0 4 0 16800975 18446604454222997312 0 0 -1 5 0 0 0
[pid=26726/tid=26742] ppid=26724 vsize=7660696 CPUtime=0.42 cores=5,7
/proc/26726/task/26742/stat : 26742 (java) S 26724 26726 26269 0 -1 4202560 8102 0 0 0 42 0 0 0 15 0 19 0 462328337 7844552704 66435 33554432000 1073741824 1073778376 140737094337968 18446744073709551615 218917546905 0 4 0 16800975 18446604454222997312 0 0 -1 7 0 0 0
[pid=26726/tid=26743] ppid=26724 vsize=7660696 CPUtime=0.3 cores=5,7
/proc/26726/task/26743/stat : 26743 (java) S 26724 26726 26269 0 -1 4202560 2016 0 0 0 30 0 0 0 15 0 19 0 462328337 7844552704 66435 33554432000 1073741824 1073778376 140737094337968 18446744073709551615 218917546905 0 4 0 16800975 18446604454222997312 0 0 -1 7 0 0 0
[pid=26726/tid=26744] ppid=26724 vsize=7660696 CPUtime=0 cores=5,7
/proc/26726/task/26744/stat : 26744 (java) S 26724 26726 26269 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 462328337 7844552704 66435 33554432000 1073741824 1073778376 140737094337968 18446744073709551615 218917546905 0 4 0 16800975 18446604454222997312 0 0 -1 5 0 0 0
[pid=26726/tid=26745] ppid=26724 vsize=7660696 CPUtime=0 cores=5,7
/proc/26726/task/26745/stat : 26745 (java) S 26724 26726 26269 0 -1 4202560 75 0 0 0 0 0 0 0 15 0 19 0 462328337 7844552704 66435 33554432000 1073741824 1073778376 140737094337968 18446744073709551615 218917547520 0 4 0 16800975 18446604454222997312 0 0 -1 7 0 0 0
[pid=26726/tid=26748] ppid=26724 vsize=7660696 CPUtime=0 cores=5,7
/proc/26726/task/26748/stat : 26748 (java) S 26724 26726 26269 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 462328368 7844552704 66435 33554432000 1073741824 1073778376 140737094337968 18446744073709551615 218917547520 0 4 0 16800975 18446604454222997312 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1301.27
Current children cumulated vsize (KiB) 7660696

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.35
CPU user time (s): 1301.2
CPU system time (s): 0.151976
CPU usage (%): 100.1
Max. virtual memory (cumulated for all children) (KiB): 7663972

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1301.2
system time used= 0.151976
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 70565
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= 28034
involuntary context switches= 4233

runsolver used 2.03169 second user time and 5.10622 second system time

The end

Launcher Data 

Begin job on node137 at 2011-04-22 23:21:46
IDJOB=3259312
IDBENCH=71549
IDSOLVER=1611
FILE ID=node137/3259312-1303507306
RUNJOBID= node137-1303507306-26636
PBS_JOBID= 13134249
Free space on /tmp= 71388 MiB

SOLVER NAME= SAT4J core 2.3.0 SNAPSHOT 2011-02-06
BENCH NAME= SAT09/CRAFTED/rbsat/crafted/forced/rbsat-v2400c266431gyes3.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-3259312-1303507306/watcher-3259312-1303507306 -o /tmp/evaluation-result-3259312-1303507306/solver-3259312-1303507306 -C 2400 -W 1300 -M 7680  java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3259312-1303507306.cnf

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

MD5SUM BENCH= cef3d3066fec910e94448f2404c09548
RANDOM SEED=676110461

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      15670144 kB
Buffers:       1682584 kB
Cached:       14876576 kB
SwapCached:          0 kB
Active:        9897232 kB
Inactive:      6821700 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      15670144 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            5908 kB
Writeback:           0 kB
AnonPages:      159212 kB
Mapped:          22956 kB
Slab:           497508 kB
PageTables:       5368 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 21988520 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= 71388 MiB
End job on node137 at 2011-04-22 23:43:28