Trace number 3709957

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 PB specific settings 2.3.2 snapshotUNSAT 1103.83 1098.87

General information on the benchmark

Name/DEC-SMALLINT-LIN/lopes/
normalized-101.opb
MD5SUMa3ed9477da365050d631dd031519efe8
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark79.04
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables7936
Total number of constraints176837
Number of constraints which are clauses158928
Number of constraints which are cardinality constraints (but not clauses)563
Number of constraints which are nor clauses,nor cardinality constraints17346
Minimum length of a constraint2
Maximum length of a constraint195
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 196
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.07	c This software uses some libraries from the Jakarta Commons project. See jakarta.apache.org for details.
0.00/0.07	c version 2.3.2.v20120418
0.00/0.07	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.07	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.07	c java.vm.version	19.1-b02
0.00/0.07	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.07	c sun.arch.data.model	64
0.00/0.07	c java.version		1.6.0_24
0.00/0.07	c os.name		Linux
0.00/0.07	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.07	c os.arch		amd64
0.00/0.07	c Free memory 		501472288
0.00/0.07	c Max memory 		7480803328
0.00/0.07	c Total memory 		504102912
0.00/0.07	c Number of processors 	8
0.10/0.11	c read org.sat4j.minisat.orders.VarOrderHeap
0.10/0.11	c configuring ORDERS
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2dcb25f1
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause
0.10/0.11	c Expensive reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=true
0.10/0.11	c Heuristics kept accross calls (keep the solver "hot")
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-3709957-1338189155.opb
0.10/0.11	c reading problem ... 
2.08/1.42	c ... done. Wall clock time 1.31s.
2.08/1.42	c declared #vars     7936
2.08/1.42	c #constraints  177125
2.08/1.42	c constraints type 
2.08/1.42	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 121702
2.08/1.42	c org.sat4j.minisat.constraints.card.MinWatchCard => 564
2.08/1.42	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 37513
2.08/1.42	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 17346
2.08/1.42	c 177125 constraints processed.
3.63/2.55	c cleaning 2494 clauses out of 5000 with flag 5000/5000
4.94/3.76	c cleaning 4250 clauses out of 8506 with flag 11000/11000
6.37/5.19	c cleaning 5623 clauses out of 11256 with flag 18000/18000
8.35/6.78	c cleaning 6813 clauses out of 13633 with flag 26000/26000
10.62/8.56	c cleaning 7910 clauses out of 15821 with flag 35001/35001
12.64/10.51	c cleaning 8946 clauses out of 17910 with flag 45000/45000
14.86/12.74	c cleaning 9939 clauses out of 19964 with flag 56000/56000
17.17/15.07	c cleaning 11001 clauses out of 22025 with flag 68000/68000
19.88/17.72	c cleaning 12007 clauses out of 24024 with flag 81000/81000
22.89/20.70	c cleaning 12967 clauses out of 26017 with flag 95000/95000
26.14/23.91	c cleaning 13970 clauses out of 28050 with flag 110000/110000
29.45/27.26	c cleaning 15033 clauses out of 30080 with flag 126000/126000
33.37/31.11	c cleaning 16024 clauses out of 32047 with flag 143000/143000
36.61/34.33	c cleaning 16807 clauses out of 33700 with flag 161000/161000
40.66/38.36	c cleaning 17909 clauses out of 35831 with flag 180000/180000
44.09/41.79	c cleaning 18935 clauses out of 37923 with flag 200001/200001
48.30/45.94	c cleaning 19966 clauses out of 39987 with flag 221000/221000
53.13/50.76	c cleaning 21007 clauses out of 42021 with flag 243000/243000
56.65/54.23	c cleaning 21944 clauses out of 43893 with flag 266001/266001
62.46/60.09	c cleaning 22948 clauses out of 45901 with flag 290001/290001
68.20/65.72	c cleaning 23964 clauses out of 47940 with flag 315001/315001
74.62/72.13	c cleaning 24863 clauses out of 49913 with flag 341000/341000
81.35/78.80	c cleaning 25977 clauses out of 52050 with flag 368000/368000
87.99/85.42	c cleaning 27026 clauses out of 54073 with flag 396000/396000
95.40/92.83	c cleaning 28001 clauses out of 56048 with flag 425001/425001
102.41/99.87	c cleaning 28995 clauses out of 58046 with flag 455000/455000
109.83/107.22	c cleaning 29942 clauses out of 60053 with flag 486002/486002
117.97/115.31	c cleaning 31025 clauses out of 62109 with flag 518000/518000
126.29/123.67	c cleaning 31942 clauses out of 64085 with flag 551001/551001
134.91/132.27	c cleaning 32975 clauses out of 66044 with flag 585000/585000
143.44/140.71	c cleaning 33970 clauses out of 68069 with flag 620000/620000
152.97/150.24	c cleaning 35008 clauses out of 70099 with flag 656000/656000
162.90/160.19	c cleaning 36033 clauses out of 72093 with flag 693002/693002
172.12/169.36	c cleaning 37019 clauses out of 74059 with flag 731001/731001
178.97/176.16	c cleaning 38015 clauses out of 76039 with flag 770000/770000
189.80/186.94	c cleaning 38952 clauses out of 78027 with flag 810003/810003
197.03/194.17	c cleaning 39999 clauses out of 80055 with flag 851001/851001
207.26/204.38	c cleaning 41018 clauses out of 82057 with flag 893002/893002
219.09/216.15	c cleaning 41987 clauses out of 84038 with flag 936001/936001
232.03/229.07	c cleaning 42986 clauses out of 86039 with flag 980002/980002
245.65/242.63	c cleaning 44006 clauses out of 88051 with flag 1025000/1025000
258.48/255.40	c cleaning 44988 clauses out of 90044 with flag 1071004/1071004
272.10/269.03	c cleaning 45928 clauses out of 92052 with flag 1118000/1118000
286.43/283.37	c cleaning 47016 clauses out of 94113 with flag 1166000/1166000
301.16/298.07	c cleaning 48008 clauses out of 96097 with flag 1215000/1215000
316.09/312.90	c cleaning 49020 clauses out of 98089 with flag 1265000/1265000
331.34/328.10	c cleaning 50013 clauses out of 100069 with flag 1316000/1316000
347.49/344.27	c cleaning 50990 clauses out of 102057 with flag 1368001/1368001
361.12/357.88	c cleaning 51932 clauses out of 104066 with flag 1421000/1421000
378.64/375.30	c cleaning 53036 clauses out of 106137 with flag 1475003/1475003
395.08/391.76	c cleaning 53902 clauses out of 107883 with flag 1530001/1530001
407.01/403.62	c cleaning 54884 clauses out of 109980 with flag 1586000/1586000
421.54/418.14	c cleaning 55958 clauses out of 112097 with flag 1643001/1643001
440.94/437.58	c cleaning 57041 clauses out of 114131 with flag 1701000/1701000
459.47/456.09	c cleaning 58022 clauses out of 116091 with flag 1760001/1760001
479.31/475.81	c cleaning 58993 clauses out of 118069 with flag 1820001/1820001
502.32/498.84	c cleaning 60025 clauses out of 120075 with flag 1881000/1881000
523.24/519.73	c cleaning 60992 clauses out of 122050 with flag 1943003/1943003
538.96/535.45	c cleaning 61857 clauses out of 124055 with flag 2006000/2006000
555.40/551.87	c cleaning 62988 clauses out of 126030 with flag 2070004/2070004
574.16/570.57	c cleaning 63767 clauses out of 127703 with flag 2135000/2135000
595.30/591.60	c cleaning 64935 clauses out of 129937 with flag 2201001/2201001
613.23/609.50	c cleaning 65827 clauses out of 132002 with flag 2268001/2268001
631.99/628.29	c cleaning 66876 clauses out of 133937 with flag 2336000/2336000
649.61/645.80	c cleaning 67874 clauses out of 136061 with flag 2405000/2405000
664.35/660.56	c cleaning 68965 clauses out of 138188 with flag 2475001/2475001
690.19/686.39	c cleaning 70058 clauses out of 140223 with flag 2546001/2546001
719.71/715.86	c cleaning 71071 clauses out of 142165 with flag 2618002/2618002
750.15/746.25	c cleaning 72025 clauses out of 144088 with flag 2691001/2691001
779.68/775.76	c cleaning 72993 clauses out of 146061 with flag 2765001/2765001
809.82/805.85	c cleaning 73951 clauses out of 148068 with flag 2840001/2840001
835.56/831.59	c cleaning 75016 clauses out of 150072 with flag 2916000/2916000
865.49/861.43	c cleaning 75986 clauses out of 152056 with flag 2993000/2993000
893.47/889.39	c cleaning 76938 clauses out of 154072 with flag 3071002/3071002
913.15/908.95	c cleaning 78034 clauses out of 156132 with flag 3150000/3150000
944.70/940.48	c cleaning 78883 clauses out of 157966 with flag 3230000/3230000
980.38/976.09	c cleaning 79983 clauses out of 160083 with flag 3311000/3311000
1006.52/1002.14	c cleaning 80809 clauses out of 162100 with flag 3393001/3393001
1032.06/1027.64	c cleaning 82131 clauses out of 164293 with flag 3476003/3476003
1056.60/1052.10	c cleaning 83033 clauses out of 166159 with flag 3560000/3560000
1081.47/1076.94	c cleaning 84042 clauses out of 168127 with flag 3645001/3645001
1103.41/1098.83	c starts		: 231
1103.41/1098.83	c conflicts		: 3714712
1103.41/1098.83	c decisions		: 8718334
1103.41/1098.83	c propagations		: 1073856844
1103.41/1098.83	c inspects		: 13077861447
1103.41/1098.83	c shortcuts		: 0
1103.41/1098.83	c learnt literals	: 47
1103.41/1098.83	c learnt binary clauses	: 581
1103.41/1098.83	c learnt ternary clauses	: 2558
1103.41/1098.83	c learnt constraints	: 3714664
1103.41/1098.83	c ignored constraints	: 0
1103.41/1098.83	c root simplifications	: 277
1103.41/1098.83	c removed literals (reason simplification)	: 141966615
1103.41/1098.83	c reason swapping (by a shorter reason)	: 0
1103.41/1098.83	c Calls to reduceDB	: 81
1103.41/1098.83	c number of reductions to clauses (during analyze)	: 0
1103.41/1098.83	c number of learned constraints concerned by reduction	: 0
1103.41/1098.83	c number of learning phase by resolution	: 0
1103.41/1098.83	c number of learning phase by cutting planes	: 0
1103.41/1098.83	c speed (assignments/second)	: 978550.8809498859
1103.41/1098.83	c non guided choices	170171
1103.41/1098.86	c learnt constraints type 
1103.41/1098.86	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 262
1103.41/1098.86	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 87428
1103.41/1098.86	c constraints type 
1103.41/1098.86	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 121702
1103.41/1098.86	c org.sat4j.minisat.constraints.card.MinWatchCard => 564
1103.41/1098.86	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 37513
1103.41/1098.86	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 17346
1103.41/1098.86	c 177125 constraints processed.
1103.41/1098.86	s UNSATISFIABLE
1103.41/1098.86	c Total wall clock time (in seconds): 1098.748

Verifier Data

ERROR: no interpretation found !

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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-3709957-1338189155/watcher-3709957-1338189155 -o /tmp/evaluation-result-3709957-1338189155/solver-3709957-1338189155 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3709957-1338189155.opb 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.08 2.03 2.01 3/194 17894
/proc/meminfo: memFree=29755196/32873844 swapFree=7372/7372
[pid=17894] ppid=17892 vsize=89736 CPUtime=0 cores=1,3,5,7
/proc/17894/stat : 17894 (java) S 17892 17894 12979 0 -1 4202496 1160 0 0 0 0 0 0 0 20 0 2 0 285041613 91889664 880 33554432000 1073741824 1073778376 140735127850960 140735127842096 251035418685 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17894/statm: 22434 884 669 9 0 16769 0
[pid=17894/tid=17895] ppid=17892 vsize=89736 CPUtime=0 cores=1,3,5,7
/proc/17894/task/17895/stat : 17895 (java) R 17892 17894 12979 0 -1 4202560 27 0 0 0 0 0 0 0 20 0 2 0 285041614 91889664 893 33554432000 1073741824 1073778376 140735127850960 140735127840024 139892808883296 0 0 4096 0 0 0 0 -1 5 0 0 0 0 0

[startup+0.019739 s]
/proc/loadavg: 2.08 2.03 2.01 3/194 17894
/proc/meminfo: memFree=29755196/32873844 swapFree=7372/7372
[pid=17894] ppid=17892 vsize=9016616 CPUtime=0 cores=1,3,5,7
/proc/17894/stat : 17894 (java) S 17892 17894 12979 0 -1 4202496 2765 0 1 0 0 0 0 0 20 0 10 0 285041613 9233014784 3464 33554432000 1073741824 1073778376 140735127850960 140735127842096 251035418685 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17894/statm: 2254154 3465 1536 9 0 2244855 0
[pid=17894/tid=17895] ppid=17892 vsize=9016616 CPUtime=0 cores=1,3,5,7
/proc/17894/task/17895/stat : 17895 (java) R 17892 17894 12979 0 -1 4202560 1610 0 1 0 0 0 0 0 20 0 10 0 285041614 9233014784 3465 33554432000 1073741824 1073778376 140735127850960 139892802327232 139892806341977 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9016616

[startup+0.100309 s]
/proc/loadavg: 2.08 2.03 2.01 3/194 17894
/proc/meminfo: memFree=29755196/32873844 swapFree=7372/7372
[pid=17894] ppid=17892 vsize=9558440 CPUtime=0.1 cores=1,3,5,7
/proc/17894/stat : 17894 (java) S 17892 17894 12979 0 -1 4202496 4365 0 1 0 9 1 0 0 20 0 18 0 285041613 9787842560 6083 33554432000 1073741824 1073778376 140735127850960 140735127842096 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17894/statm: 2389610 6084 2123 9 0 2380296 0
[pid=17894/tid=17895] ppid=17892 vsize=9558440 CPUtime=0.07 cores=1,3,5,7
/proc/17894/task/17895/stat : 17895 (java) R 17892 17894 12979 0 -1 4202560 2488 0 1 0 6 1 0 0 20 0 18 0 285041614 9787842560 6086 33554432000 1073741824 1073778376 140735127850960 139892802329832 251031686987 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558440

[startup+0.300214 s]
/proc/loadavg: 2.08 2.03 2.01 3/194 17894
/proc/meminfo: memFree=29755196/32873844 swapFree=7372/7372
[pid=17894] ppid=17892 vsize=9558440 CPUtime=0.49 cores=1,3,5,7
/proc/17894/stat : 17894 (java) S 17892 17894 12979 0 -1 4202496 6018 0 1 0 48 1 0 0 20 0 18 0 285041613 9787842560 9255 33554432000 1073741824 1073778376 140735127850960 140735127842096 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17894/statm: 2389610 9257 2224 9 0 2380296 0
[pid=17894/tid=17895] ppid=17892 vsize=9558440 CPUtime=0.27 cores=1,3,5,7
/proc/17894/task/17895/stat : 17895 (java) R 17892 17894 12979 0 -1 4202560 2502 0 1 0 26 1 0 0 20 0 18 0 285041614 9787842560 9257 33554432000 1073741824 1073778376 140735127850960 139892802329832 139892810095202 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 9558440

[startup+0.700295 s]
/proc/loadavg: 2.08 2.03 2.01 3/194 17894
/proc/meminfo: memFree=29755196/32873844 swapFree=7372/7372
[pid=17894] ppid=17892 vsize=9558440 CPUtime=1.16 cores=1,3,5,7
/proc/17894/stat : 17894 (java) S 17892 17894 12979 0 -1 4202496 6731 0 1 0 111 5 0 0 20 0 18 0 285041613 9787842560 40799 33554432000 1073741824 1073778376 140735127850960 140735127842096 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17894/statm: 2389610 40799 2255 9 0 2380296 0
[pid=17894/tid=17895] ppid=17892 vsize=9558440 CPUtime=0.66 cores=1,3,5,7
/proc/17894/task/17895/stat : 17895 (java) R 17892 17894 12979 0 -1 4202560 2565 0 1 0 62 4 0 0 20 0 18 0 285041614 9787842560 40799 33554432000 1073741824 1073778376 140735127850960 139892802329976 251035444493 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 9558440

[startup+1.50081 s]
/proc/loadavg: 2.08 2.03 2.01 5/212 17912
/proc/meminfo: memFree=29588736/32873844 swapFree=7372/7372
[pid=17894] ppid=17892 vsize=9625004 CPUtime=2.3 cores=1,3,5,7
/proc/17894/stat : 17894 (java) S 17892 17894 12979 0 -1 4202496 8601 0 1 0 218 12 0 0 20 0 19 0 285041613 9856004096 79446 33554432000 1073741824 1073778376 140735127850960 140735127842096 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17894/statm: 2406251 79446 2266 9 0 2396937 0
[pid=17894/tid=17895] ppid=17892 vsize=9625004 CPUtime=1.41 cores=1,3,5,7
/proc/17894/task/17895/stat : 17895 (java) R 17892 17894 12979 0 -1 4202560 2637 0 1 0 134 7 0 0 20 0 19 0 285041614 9856004096 79446 33554432000 1073741824 1073778376 140735127850960 139892802331304 139892671757596 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=17894/tid=17897] ppid=17892 vsize=9625004 CPUtime=0.02 cores=1,3,5,7
/proc/17894/task/17897/stat : 17897 (java) S 17892 17894 12979 0 -1 4202560 13 0 0 0 2 0 0 0 20 0 19 0 285041615 9856004096 79446 33554432000 1073741824 1073778376 140735127850960 139892791392552 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17894/tid=17898] ppid=17892 vsize=9625004 CPUtime=0.03 cores=1,3,5,7
/proc/17894/task/17898/stat : 17898 (java) S 17892 17894 12979 0 -1 4202560 15 0 0 0 3 0 0 0 20 0 19 0 285041615 9856004096 79446 33554432000 1073741824 1073778376 140735127850960 139892790339752 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17894/tid=17899] ppid=17892 vsize=9625004 CPUtime=0.02 cores=1,3,5,7
/proc/17894/task/17899/stat : 17899 (java) S 17892 17894 12979 0 -1 4202560 10 0 0 0 2 0 0 0 20 0 19 0 285041615 9856004096 79446 33554432000 1073741824 1073778376 140735127850960 139892644067880 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17894/tid=17900] ppid=17892 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17894/task/17900/stat : 17900 (java) S 17892 17894 12979 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 285041615 9856004096 79446 33554432000 1073741824 1073778376 140735127850960 139892643015080 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17894/tid=17901] ppid=17892 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17894/task/17901/stat : 17901 (java) S 17892 17894 12979 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 285041615 9856004096 79446 33554432000 1073741824 1073778376 140735127850960 139892641962792 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17894/tid=17902] ppid=17892 vsize=9625004 CPUtime=0.02 cores=1,3,5,7
/proc/17894/task/17902/stat : 17902 (java) S 17892 17894 12979 0 -1 4202560 10 0 0 0 2 0 0 0 20 0 19 0 285041615 9856004096 79446 33554432000 1073741824 1073778376 140735127850960 139892640909992 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17894/tid=17903] ppid=17892 vsize=9625004 CPUtime=0.02 cores=1,3,5,7
/proc/17894/task/17903/stat : 17903 (java) S 17892 17894 12979 0 -1 4202560 11 0 0 0 2 0 0 0 20 0 19 0 285041615 9856004096 79446 33554432000 1073741824 1073778376 140735127850960 139892639857704 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17894/tid=17904] ppid=17892 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/17894/task/17904/stat : 17904 (java) S 17892 17894 12979 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 19 0 285041615 9856004096 79446 33554432000 1073741824 1073778376 140735127850960 139892638804904 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17894/tid=17905] ppid=17892 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17894/task/17905/stat : 17905 (java) S 17892 17894 12979 0 -1 4202560 196 0 0 0 0 0 0 0 20 0 19 0 285041616 9856004096 79446 33554432000 1073741824 1073778376 140735127850960 139892626393320 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17894/tid=17906] ppid=17892 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17894/task/17906/stat : 17906 (java) S 17892 17894 12979 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 285041616 9856004096 79446 33554432000 1073741824 1073778376 140735127850960 139892625339384 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17894/tid=17907] ppid=17892 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17894/task/17907/stat : 17907 (java) S 17892 17894 12979 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 285041616 9856004096 79446 33554432000 1073741824 1073778376 140735127850960 139892624286984 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17894/tid=17908] ppid=17892 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17894/task/17908/stat : 17908 (java) S 17892 17894 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 285041618 9856004096 79446 33554432000 1073741824 1073778376 140735127850960 139892623235472 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17894/tid=17909] ppid=17892 vsize=9625004 CPUtime=0.31 cores=1,3,5,7
/proc/17894/task/17909/stat : 17909 (java) R 17892 17894 12979 0 -1 4202560 2730 0 0 0 31 0 0 0 20 0 19 0 285041618 9856004096 79446 33554432000 1073741824 1073778376 140735127850960 139892622183096 251035443637 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=17894/tid=17910] ppid=17892 vsize=9625004 CPUtime=0.3 cores=1,3,5,7
/proc/17894/task/17910/stat : 17910 (java) R 17892 17894 12979 0 -1 4202560 1767 0 0 0 30 0 0 0 20 0 19 0 285041618 9856004096 79446 33554432000 1073741824 1073778376 140735127850960 139892621130296 139892808294367 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=17894/tid=17911] ppid=17892 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17894/task/17911/stat : 17911 (java) S 17892 17894 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 285041618 9856004096 79446 33554432000 1073741824 1073778376 140735127850960 139892620078200 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17894/tid=17912] ppid=17892 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17894/task/17912/stat : 17912 (java) S 17892 17894 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 285041618 9856004096 79446 33554432000 1073741824 1073778376 140735127850960 139892619025608 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.3
Current children cumulated vsize (KiB) 9625004

[startup+3.10065 s]
/proc/loadavg: 2.08 2.03 2.01 3/213 17913
/proc/meminfo: memFree=29445184/32873844 swapFree=7372/7372
[pid=17894] ppid=17892 vsize=9625004 CPUtime=4.32 cores=1,3,5,7
/proc/17894/stat : 17894 (java) S 17892 17894 12979 0 -1 4202496 9866 0 1 0 417 15 0 0 20 0 19 0 285041613 9856004096 90237 33554432000 1073741824 1073778376 140735127850960 140735127842096 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17894/statm: 2406251 90237 2286 9 0 2396937 0
[pid=17894/tid=17895] ppid=17892 vsize=9625004 CPUtime=2.91 cores=1,3,5,7
/proc/17894/task/17895/stat : 17895 (java) R 17892 17894 12979 0 -1 4202560 2640 0 1 0 284 7 0 0 20 0 19 0 285041614 9856004096 90237 33554432000 1073741824 1073778376 140735127850960 139892802331048 139892672484703 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=17894/tid=17897] ppid=17892 vsize=9625004 CPUtime=0.03 cores=1,3,5,7
/proc/17894/task/17897/stat : 17897 (java) S 17892 17894 12979 0 -1 4202560 22 0 0 0 2 1 0 0 20 0 19 0 285041615 9856004096 90237 33554432000 1073741824 1073778376 140735127850960 139892791392552 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17894/tid=17898] ppid=17892 vsize=9625004 CPUtime=0.04 cores=1,3,5,7
/proc/17894/task/17898/stat : 17898 (java) S 17892 17894 12979 0 -1 4202560 19 0 0 0 3 1 0 0 20 0 19 0 285041615 9856004096 90237 33554432000 1073741824 1073778376 140735127850960 139892790339752 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17894/tid=17899] ppid=17892 vsize=9625004 CPUtime=0.04 cores=1,3,5,7
/proc/17894/task/17899/stat : 17899 (java) S 17892 17894 12979 0 -1 4202560 21 0 0 0 3 1 0 0 20 0 19 0 285041615 9856004096 90237 33554432000 1073741824 1073778376 140735127850960 139892644067880 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17894/tid=17900] ppid=17892 vsize=9625004 CPUtime=0.03 cores=1,3,5,7
/proc/17894/task/17900/stat : 17900 (java) S 17892 17894 12979 0 -1 4202560 21 0 0 0 3 0 0 0 20 0 19 0 285041615 9856004096 90237 33554432000 1073741824 1073778376 140735127850960 139892643015080 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17894/tid=17901] ppid=17892 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/17894/task/17901/stat : 17901 (java) S 17892 17894 12979 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 19 0 285041615 9856004096 90237 33554432000 1073741824 1073778376 140735127850960 139892641962792 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17894/tid=17902] ppid=17892 vsize=9625004 CPUtime=0.04 cores=1,3,5,7
/proc/17894/task/17902/stat : 17902 (java) S 17892 17894 12979 0 -1 4202560 13 0 0 0 4 0 0 0 20 0 19 0 285041615 9856004096 90237 33554432000 1073741824 1073778376 140735127850960 139892640909992 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17894/tid=17903] ppid=17892 vsize=9625004 CPUtime=0.03 cores=1,3,5,7
/proc/17894/task/17903/stat : 17903 (java) S 17892 17894 12979 0 -1 4202560 15 0 0 0 2 1 0 0 20 0 19 0 285041615 9856004096 90237 33554432000 1073741824 1073778376 140735127850960 139892639857704 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17894/tid=17904] ppid=17892 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/17894/task/17904/stat : 17904 (java) S 17892 17894 12979 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 19 0 285041615 9856004096 90237 33554432000 1073741824 1073778376 140735127850960 139892638804904 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17894/tid=17905] ppid=17892 vsize=9625004 CPUtime=0.06 cores=1,3,5,7
/proc/17894/task/17905/stat : 17905 (java) S 17892 17894 12979 0 -1 4202560 228 0 0 0 6 0 0 0 20 0 19 0 285041616 9856004096 90237 33554432000 1073741824 1073778376 140735127850960 139892626393320 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17894/tid=17906] ppid=17892 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17894/task/17906/stat : 17906 (java) S 17892 17894 12979 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 285041616 9856004096 90237 33554432000 1073741824 1073778376 140735127850960 139892625339384 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17894/tid=17907] ppid=17892 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17894/task/17907/stat : 17907 (java) S 17892 17894 12979 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 285041616 9856004096 90237 33554432000 1073741824 1073778376 140735127850960 139892624286984 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17894/tid=17908] ppid=17892 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17894/task/17908/stat : 17908 (java) S 17892 17894 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 285041618 9856004096 90237 33554432000 1073741824 1073778376 140735127850960 139892623235472 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17894/tid=17909] ppid=17892 vsize=9625004 CPUtime=0.47 cores=1,3,5,7
/proc/17894/task/17909/stat : 17909 (java) S 17892 17894 12979 0 -1 4202560 2734 0 0 0 47 0 0 0 20 0 19 0 285041618 9856004096 90237 33554432000 1073741824 1073778376 140735127850960 139892622183096 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17894/tid=17910] ppid=17892 vsize=9625004 CPUtime=0.49 cores=1,3,5,7
/proc/17894/task/17910/stat : 17910 (java) S 17892 17894 12979 0 -1 4202560 2951 0 0 0 49 0 0 0 20 0 19 0 285041618 9856004096 90237 33554432000 1073741824 1073778376 140735127850960 139892621130296 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17894/tid=17911] ppid=17892 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17894/task/17911/stat : 17911 (java) S 17892 17894 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 285041618 9856004096 90237 33554432000 1073741824 1073778376 140735127850960 139892620078200 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17894/tid=17912] ppid=17892 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17894/task/17912/stat : 17912 (java) S 17892 17894 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 285041618 9856004096 90237 33554432000 1073741824 1073778376 140735127850960 139892619025608 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17894/tid=17913] ppid=17892 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17894/task/17913/stat : 17913 (java) S 17892 17894 12979 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 285041757 9856004096 90237 33554432000 1073741824 1073778376 140735127850960 139892617970600 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 4.32
Current children cumulated vsize (KiB) 9625004

[startup+6.30076 s]
/proc/loadavg: 2.07 2.03 2.01 4/213 17913
/proc/meminfo: memFree=29388852/32873844 swapFree=7372/7372
[pid=17894] ppid=17892 vsize=9625004 CPUtime=7.95 cores=1,3,5,7
/proc/17894/stat : 17894 (java) S 17892 17894 12979 0 -1 4202496 15976 0 1 0 778 17 0 0 20 0 19 0 285041613 9856004096 93992 33554432000 1073741824 1073778376 140735127850960 140735127842096 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17894/statm: 2406251 93992 2286 9 0 2396937 0
[pid=17894/tid=17895] ppid=17892 vsize=9625004 CPUtime=5.99 cores=1,3,5,7
/proc/17894/task/17895/stat : 17895 (java) R 17892 17894 12979 0 -1 4202560 2645 0 1 0 592 7 0 0 20 0 19 0 285041614 9856004096 93992 33554432000 1073741824 1073778376 140735127850960 139892802331368 139892672400235 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=17894/tid=17897] ppid=17892 vsize=9625004 CPUtime=0.03 cores=1,3,5,7
/proc/17894/task/17897/stat : 17897 (java) S 17892 17894 12979 0 -1 4202560 27 0 0 0 2 1 0 0 20 0 19 0 285041615 9856004096 93992 33554432000 1073741824 1073778376 140735127850960 139892791392552 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17894/tid=17898] ppid=17892 vsize=9625004 CPUtime=0.04 cores=1,3,5,7
/proc/17894/task/17898/stat : 17898 (java) S 17892 17894 12979 0 -1 4202560 19 0 0 0 3 1 0 0 20 0 19 0 285041615 9856004096 93992 33554432000 1073741824 1073778376 140735127850960 139892790339752 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17894/tid=17899] ppid=17892 vsize=9625004 CPUtime=0.05 cores=1,3,5,7
/proc/17894/task/17899/stat : 17899 (java) S 17892 17894 12979 0 -1 4202560 21 0 0 0 3 2 0 0 20 0 19 0 285041615 9856004096 93992 33554432000 1073741824 1073778376 140735127850960 139892644067880 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17894/tid=17900] ppid=17892 vsize=9625004 CPUtime=0.03 cores=1,3,5,7
/proc/17894/task/17900/stat : 17900 (java) S 17892 17894 12979 0 -1 4202560 21 0 0 0 3 0 0 0 20 0 19 0 285041615 9856004096 93992 33554432000 1073741824 1073778376 140735127850960 139892643015080 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17894/tid=17901] ppid=17892 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/17894/task/17901/stat : 17901 (java) S 17892 17894 12979 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 19 0 285041615 9856004096 93992 33554432000 1073741824 1073778376 140735127850960 139892641962792 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17894/tid=17902] ppid=17892 vsize=9625004 CPUtime=0.04 cores=1,3,5,7
/proc/17894/task/17902/stat : 17902 (java) S 17892 17894 12979 0 -1 4202560 15 0 0 0 4 0 0 0 20 0 19 0 285041615 9856004096 93992 33554432000 1073741824 1073778376 140735127850960 139892640909992 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17894/tid=17903] ppid=17892 vsize=9625004 CPUtime=0.04 cores=1,3,5,7
/proc/17894/task/17903/stat : 17903 (java) S 17892 17894 12979 0 -1 4202560 18 0 0 0 2 2 0 0 20 0 19 0 285041615 9856004096 93992 33554432000 1073741824 1073778376 140735127850960 139892639857704 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17894/tid=17904] ppid=17892 vsize=9625004 CPUtime=0.02 cores=1,3,5,7
/proc/17894/task/17904/stat : 17904 (java) S 17892 17894 12979 0 -1 4202560 12 0 0 0 2 0 0 0 20 0 19 0 285041615 9856004096 93992 33554432000 1073741824 1073778376 140735127850960 139892638804904 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17894/tid=17905] ppid=17892 vsize=9625004 CPUtime=0.17 cores=1,3,5,7
/proc/17894/task/17905/stat : 17905 (java) S 17892 17894 12979 0 -1 4202560 249 0 0 0 17 0 0 0 20 0 19 0 285041616 9856004096 93992 33554432000 1073741824 1073778376 140735127850960 139892626393320 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17894/tid=17906] ppid=17892 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17894/task/17906/stat : 17906 (java) S 17892 17894 12979 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 285041616 9856004096 93992 33554432000 1073741824 1073778376 140735127850960 139892625339384 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17894/tid=17907] ppid=17892 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17894/task/17907/stat : 17907 (java) S 17892 17894 12979 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 285041616 9856004096 93992 33554432000 1073741824 1073778376 140735127850960 139892624286984 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17894/tid=17908] ppid=17892 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17894/task/17908/stat : 17908 (java) S 17892 17894 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 285041618 9856004096 93992 33554432000 1073741824 1073778376 140735127850960 139892623235472 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17894/tid=17909] ppid=17892 vsize=9625004 CPUtime=0.83 cores=1,3,5,7
/proc/17894/task/17909/stat : 17909 (java) S 17892 17894 12979 0 -1 4202560 8569 0 0 0 81 2 0 0 20 0 19 0 285041618 9856004096 93992 33554432000 1073741824 1073778376 140735127850960 139892622183096 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17894/tid=17910] ppid=17892 vsize=9625004 CPUtime=0.55 cores=1,3,5,7
/proc/17894/task/17910/stat : 17910 (java) S 17892 17894 12979 0 -1 4202560 3187 0 0 0 55 0 0 0 20 0 19 0 285041618 9856004096 93992 33554432000 1073741824 1073778376 140735127850960 139892621130296 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17894/tid=17911] ppid=17892 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17894/task/17911/stat : 17911 (java) S 17892 17894 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 285041618 9856004096 93992 33554432000 1073741824 1073778376 140735127850960 139892620078200 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0

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

/proc/17894/task/17897/stat : 17897 (java) S 17892 17894 12979 0 -1 4202560 111 0 0 0 40 2 0 0 20 0 19 0 285041615 9856004096 102570 33554432000 1073741824 1073778376 140735127850960 139892791392552 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17894/tid=17898] ppid=17892 vsize=9625004 CPUtime=0.4 cores=1,3,5,7
/proc/17894/task/17898/stat : 17898 (java) S 17892 17894 12979 0 -1 4202560 72 0 0 0 38 2 0 0 20 0 19 0 285041615 9856004096 102570 33554432000 1073741824 1073778376 140735127850960 139892790339752 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17894/tid=17899] ppid=17892 vsize=9625004 CPUtime=0.44 cores=1,3,5,7
/proc/17894/task/17899/stat : 17899 (java) S 17892 17894 12979 0 -1 4202560 97 0 0 0 41 3 0 0 20 0 19 0 285041615 9856004096 102570 33554432000 1073741824 1073778376 140735127850960 139892644067880 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17894/tid=17900] ppid=17892 vsize=9625004 CPUtime=0.39 cores=1,3,5,7
/proc/17894/task/17900/stat : 17900 (java) S 17892 17894 12979 0 -1 4202560 91 0 0 0 39 0 0 0 20 0 19 0 285041615 9856004096 102570 33554432000 1073741824 1073778376 140735127850960 139892643015080 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17894/tid=17901] ppid=17892 vsize=9625004 CPUtime=0.39 cores=1,3,5,7
/proc/17894/task/17901/stat : 17901 (java) S 17892 17894 12979 0 -1 4202560 142 0 0 0 37 2 0 0 20 0 19 0 285041615 9856004096 102570 33554432000 1073741824 1073778376 140735127850960 139892641962792 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17894/tid=17902] ppid=17892 vsize=9625004 CPUtime=0.4 cores=1,3,5,7
/proc/17894/task/17902/stat : 17902 (java) S 17892 17894 12979 0 -1 4202560 84 0 0 0 38 2 0 0 20 0 19 0 285041615 9856004096 102570 33554432000 1073741824 1073778376 140735127850960 139892640909992 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17894/tid=17903] ppid=17892 vsize=9625004 CPUtime=0.39 cores=1,3,5,7
/proc/17894/task/17903/stat : 17903 (java) S 17892 17894 12979 0 -1 4202560 69 0 0 0 37 2 0 0 20 0 19 0 285041615 9856004096 102570 33554432000 1073741824 1073778376 140735127850960 139892639857704 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17894/tid=17904] ppid=17892 vsize=9625004 CPUtime=0.41 cores=1,3,5,7
/proc/17894/task/17904/stat : 17904 (java) S 17892 17894 12979 0 -1 4202560 62 0 0 0 41 0 0 0 20 0 19 0 285041615 9856004096 102570 33554432000 1073741824 1073778376 140735127850960 139892638804904 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17894/tid=17905] ppid=17892 vsize=9625004 CPUtime=7.03 cores=1,3,5,7
/proc/17894/task/17905/stat : 17905 (java) S 17892 17894 12979 0 -1 4202560 322 0 0 0 700 3 0 0 20 0 19 0 285041616 9856004096 102570 33554432000 1073741824 1073778376 140735127850960 139892626393320 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17894/tid=17906] ppid=17892 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17894/task/17906/stat : 17906 (java) S 17892 17894 12979 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 285041616 9856004096 102570 33554432000 1073741824 1073778376 140735127850960 139892625339384 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17894/tid=17907] ppid=17892 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17894/task/17907/stat : 17907 (java) S 17892 17894 12979 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 285041616 9856004096 102570 33554432000 1073741824 1073778376 140735127850960 139892624286984 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17894/tid=17908] ppid=17892 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17894/task/17908/stat : 17908 (java) S 17892 17894 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 285041618 9856004096 102570 33554432000 1073741824 1073778376 140735127850960 139892623235472 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17894/tid=17909] ppid=17892 vsize=9625004 CPUtime=0.91 cores=1,3,5,7
/proc/17894/task/17909/stat : 17909 (java) S 17892 17894 12979 0 -1 4202560 8586 0 0 0 89 2 0 0 20 0 19 0 285041618 9856004096 102570 33554432000 1073741824 1073778376 140735127850960 139892622183096 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17894/tid=17910] ppid=17892 vsize=9625004 CPUtime=1.01 cores=1,3,5,7
/proc/17894/task/17910/stat : 17910 (java) S 17892 17894 12979 0 -1 4202560 8798 0 0 0 99 2 0 0 20 0 19 0 285041618 9856004096 102570 33554432000 1073741824 1073778376 140735127850960 139892621130296 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17894/tid=17911] ppid=17892 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17894/task/17911/stat : 17911 (java) S 17892 17894 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 285041618 9856004096 102570 33554432000 1073741824 1073778376 140735127850960 139892620078200 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17894/tid=17912] ppid=17892 vsize=9625004 CPUtime=0.48 cores=1,3,5,7
/proc/17894/task/17912/stat : 17912 (java) S 17892 17894 12979 0 -1 4202560 63 0 0 0 25 23 0 0 20 0 19 0 285041618 9856004096 102570 33554432000 1073741824 1073778376 140735127850960 139892619025608 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17894/tid=17913] ppid=17892 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17894/task/17913/stat : 17913 (java) S 17892 17894 12979 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 285041757 9856004096 102570 33554432000 1073741824 1073778376 140735127850960 139892617970600 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1102.09
Current children cumulated vsize (KiB) 9625004

[startup+1098.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 17924
/proc/meminfo: memFree=29319504/32873844 swapFree=7372/7372
[pid=17894] ppid=17892 vsize=9625004 CPUtime=1102.89 cores=1,3,5,7
/proc/17894/stat : 17894 (java) S 17892 17894 12979 0 -1 4202496 22405 0 1 0 110241 48 0 0 20 0 19 0 285041613 9856004096 102570 33554432000 1073741824 1073778376 140735127850960 140735127842096 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17894/statm: 2406251 102570 2287 9 0 2396937 0
[pid=17894/tid=17895] ppid=17892 vsize=9625004 CPUtime=1090.31 cores=1,3,5,7
/proc/17894/task/17895/stat : 17895 (java) R 17892 17894 12979 0 -1 4202560 2723 0 1 0 109007 24 0 0 20 0 19 0 285041614 9856004096 102570 33554432000 1073741824 1073778376 140735127850960 139892802330928 139892672438497 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=17894/tid=17897] ppid=17892 vsize=9625004 CPUtime=0.42 cores=1,3,5,7
/proc/17894/task/17897/stat : 17897 (java) S 17892 17894 12979 0 -1 4202560 111 0 0 0 40 2 0 0 20 0 19 0 285041615 9856004096 102570 33554432000 1073741824 1073778376 140735127850960 139892791392552 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17894/tid=17898] ppid=17892 vsize=9625004 CPUtime=0.4 cores=1,3,5,7
/proc/17894/task/17898/stat : 17898 (java) S 17892 17894 12979 0 -1 4202560 72 0 0 0 38 2 0 0 20 0 19 0 285041615 9856004096 102570 33554432000 1073741824 1073778376 140735127850960 139892790339752 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17894/tid=17899] ppid=17892 vsize=9625004 CPUtime=0.44 cores=1,3,5,7
/proc/17894/task/17899/stat : 17899 (java) S 17892 17894 12979 0 -1 4202560 97 0 0 0 41 3 0 0 20 0 19 0 285041615 9856004096 102570 33554432000 1073741824 1073778376 140735127850960 139892644067880 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17894/tid=17900] ppid=17892 vsize=9625004 CPUtime=0.39 cores=1,3,5,7
/proc/17894/task/17900/stat : 17900 (java) S 17892 17894 12979 0 -1 4202560 91 0 0 0 39 0 0 0 20 0 19 0 285041615 9856004096 102570 33554432000 1073741824 1073778376 140735127850960 139892643015080 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17894/tid=17901] ppid=17892 vsize=9625004 CPUtime=0.39 cores=1,3,5,7
/proc/17894/task/17901/stat : 17901 (java) S 17892 17894 12979 0 -1 4202560 142 0 0 0 37 2 0 0 20 0 19 0 285041615 9856004096 102570 33554432000 1073741824 1073778376 140735127850960 139892641962792 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17894/tid=17902] ppid=17892 vsize=9625004 CPUtime=0.4 cores=1,3,5,7
/proc/17894/task/17902/stat : 17902 (java) S 17892 17894 12979 0 -1 4202560 84 0 0 0 38 2 0 0 20 0 19 0 285041615 9856004096 102570 33554432000 1073741824 1073778376 140735127850960 139892640909992 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17894/tid=17903] ppid=17892 vsize=9625004 CPUtime=0.39 cores=1,3,5,7
/proc/17894/task/17903/stat : 17903 (java) S 17892 17894 12979 0 -1 4202560 69 0 0 0 37 2 0 0 20 0 19 0 285041615 9856004096 102570 33554432000 1073741824 1073778376 140735127850960 139892639857704 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17894/tid=17904] ppid=17892 vsize=9625004 CPUtime=0.41 cores=1,3,5,7
/proc/17894/task/17904/stat : 17904 (java) S 17892 17894 12979 0 -1 4202560 62 0 0 0 41 0 0 0 20 0 19 0 285041615 9856004096 102570 33554432000 1073741824 1073778376 140735127850960 139892638804904 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17894/tid=17905] ppid=17892 vsize=9625004 CPUtime=7.03 cores=1,3,5,7
/proc/17894/task/17905/stat : 17905 (java) S 17892 17894 12979 0 -1 4202560 322 0 0 0 700 3 0 0 20 0 19 0 285041616 9856004096 102570 33554432000 1073741824 1073778376 140735127850960 139892626393320 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17894/tid=17906] ppid=17892 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17894/task/17906/stat : 17906 (java) S 17892 17894 12979 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 285041616 9856004096 102570 33554432000 1073741824 1073778376 140735127850960 139892625339384 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17894/tid=17907] ppid=17892 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17894/task/17907/stat : 17907 (java) S 17892 17894 12979 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 285041616 9856004096 102570 33554432000 1073741824 1073778376 140735127850960 139892624286984 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17894/tid=17908] ppid=17892 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17894/task/17908/stat : 17908 (java) S 17892 17894 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 285041618 9856004096 102570 33554432000 1073741824 1073778376 140735127850960 139892623235472 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17894/tid=17909] ppid=17892 vsize=9625004 CPUtime=0.91 cores=1,3,5,7
/proc/17894/task/17909/stat : 17909 (java) S 17892 17894 12979 0 -1 4202560 8586 0 0 0 89 2 0 0 20 0 19 0 285041618 9856004096 102570 33554432000 1073741824 1073778376 140735127850960 139892622183096 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17894/tid=17910] ppid=17892 vsize=9625004 CPUtime=1.01 cores=1,3,5,7
/proc/17894/task/17910/stat : 17910 (java) S 17892 17894 12979 0 -1 4202560 8798 0 0 0 99 2 0 0 20 0 19 0 285041618 9856004096 102570 33554432000 1073741824 1073778376 140735127850960 139892621130296 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17894/tid=17911] ppid=17892 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17894/task/17911/stat : 17911 (java) S 17892 17894 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 285041618 9856004096 102570 33554432000 1073741824 1073778376 140735127850960 139892620078200 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17894/tid=17912] ppid=17892 vsize=9625004 CPUtime=0.48 cores=1,3,5,7
/proc/17894/task/17912/stat : 17912 (java) S 17892 17894 12979 0 -1 4202560 63 0 0 0 25 23 0 0 20 0 19 0 285041618 9856004096 102570 33554432000 1073741824 1073778376 140735127850960 139892619025608 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17894/tid=17913] ppid=17892 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17894/task/17913/stat : 17913 (java) S 17892 17894 12979 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 285041757 9856004096 102570 33554432000 1073741824 1073778376 140735127850960 139892617970600 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1102.89
Current children cumulated vsize (KiB) 9625004

[startup+1098.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 17924
/proc/meminfo: memFree=29319504/32873844 swapFree=7372/7372
[pid=17894] ppid=17892 vsize=9625004 CPUtime=1103.29 cores=1,3,5,7
/proc/17894/stat : 17894 (java) S 17892 17894 12979 0 -1 4202496 22405 0 1 0 110281 48 0 0 20 0 19 0 285041613 9856004096 102570 33554432000 1073741824 1073778376 140735127850960 140735127842096 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17894/statm: 2406251 102570 2287 9 0 2396937 0
[pid=17894/tid=17895] ppid=17892 vsize=9625004 CPUtime=1090.71 cores=1,3,5,7
/proc/17894/task/17895/stat : 17895 (java) R 17892 17894 12979 0 -1 4202560 2723 0 1 0 109047 24 0 0 20 0 19 0 285041614 9856004096 102570 33554432000 1073741824 1073778376 140735127850960 139892802330928 139892672598896 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=17894/tid=17897] ppid=17892 vsize=9625004 CPUtime=0.42 cores=1,3,5,7
/proc/17894/task/17897/stat : 17897 (java) S 17892 17894 12979 0 -1 4202560 111 0 0 0 40 2 0 0 20 0 19 0 285041615 9856004096 102570 33554432000 1073741824 1073778376 140735127850960 139892791392552 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17894/tid=17898] ppid=17892 vsize=9625004 CPUtime=0.4 cores=1,3,5,7
/proc/17894/task/17898/stat : 17898 (java) S 17892 17894 12979 0 -1 4202560 72 0 0 0 38 2 0 0 20 0 19 0 285041615 9856004096 102570 33554432000 1073741824 1073778376 140735127850960 139892790339752 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17894/tid=17899] ppid=17892 vsize=9625004 CPUtime=0.44 cores=1,3,5,7
/proc/17894/task/17899/stat : 17899 (java) S 17892 17894 12979 0 -1 4202560 97 0 0 0 41 3 0 0 20 0 19 0 285041615 9856004096 102570 33554432000 1073741824 1073778376 140735127850960 139892644067880 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17894/tid=17900] ppid=17892 vsize=9625004 CPUtime=0.39 cores=1,3,5,7
/proc/17894/task/17900/stat : 17900 (java) S 17892 17894 12979 0 -1 4202560 91 0 0 0 39 0 0 0 20 0 19 0 285041615 9856004096 102570 33554432000 1073741824 1073778376 140735127850960 139892643015080 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17894/tid=17901] ppid=17892 vsize=9625004 CPUtime=0.39 cores=1,3,5,7
/proc/17894/task/17901/stat : 17901 (java) S 17892 17894 12979 0 -1 4202560 142 0 0 0 37 2 0 0 20 0 19 0 285041615 9856004096 102570 33554432000 1073741824 1073778376 140735127850960 139892641962792 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17894/tid=17902] ppid=17892 vsize=9625004 CPUtime=0.4 cores=1,3,5,7
/proc/17894/task/17902/stat : 17902 (java) S 17892 17894 12979 0 -1 4202560 84 0 0 0 38 2 0 0 20 0 19 0 285041615 9856004096 102570 33554432000 1073741824 1073778376 140735127850960 139892640909992 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17894/tid=17903] ppid=17892 vsize=9625004 CPUtime=0.39 cores=1,3,5,7
/proc/17894/task/17903/stat : 17903 (java) S 17892 17894 12979 0 -1 4202560 69 0 0 0 37 2 0 0 20 0 19 0 285041615 9856004096 102570 33554432000 1073741824 1073778376 140735127850960 139892639857704 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17894/tid=17904] ppid=17892 vsize=9625004 CPUtime=0.41 cores=1,3,5,7
/proc/17894/task/17904/stat : 17904 (java) S 17892 17894 12979 0 -1 4202560 62 0 0 0 41 0 0 0 20 0 19 0 285041615 9856004096 102570 33554432000 1073741824 1073778376 140735127850960 139892638804904 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17894/tid=17905] ppid=17892 vsize=9625004 CPUtime=7.03 cores=1,3,5,7
/proc/17894/task/17905/stat : 17905 (java) S 17892 17894 12979 0 -1 4202560 322 0 0 0 700 3 0 0 20 0 19 0 285041616 9856004096 102570 33554432000 1073741824 1073778376 140735127850960 139892626393320 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17894/tid=17906] ppid=17892 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17894/task/17906/stat : 17906 (java) S 17892 17894 12979 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 285041616 9856004096 102570 33554432000 1073741824 1073778376 140735127850960 139892625339384 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17894/tid=17907] ppid=17892 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17894/task/17907/stat : 17907 (java) S 17892 17894 12979 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 285041616 9856004096 102570 33554432000 1073741824 1073778376 140735127850960 139892624286984 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17894/tid=17908] ppid=17892 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17894/task/17908/stat : 17908 (java) S 17892 17894 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 285041618 9856004096 102570 33554432000 1073741824 1073778376 140735127850960 139892623235472 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17894/tid=17909] ppid=17892 vsize=9625004 CPUtime=0.91 cores=1,3,5,7
/proc/17894/task/17909/stat : 17909 (java) S 17892 17894 12979 0 -1 4202560 8586 0 0 0 89 2 0 0 20 0 19 0 285041618 9856004096 102570 33554432000 1073741824 1073778376 140735127850960 139892622183096 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17894/tid=17910] ppid=17892 vsize=9625004 CPUtime=1.01 cores=1,3,5,7
/proc/17894/task/17910/stat : 17910 (java) S 17892 17894 12979 0 -1 4202560 8798 0 0 0 99 2 0 0 20 0 19 0 285041618 9856004096 102570 33554432000 1073741824 1073778376 140735127850960 139892621130296 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17894/tid=17911] ppid=17892 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17894/task/17911/stat : 17911 (java) S 17892 17894 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 285041618 9856004096 102570 33554432000 1073741824 1073778376 140735127850960 139892620078200 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17894/tid=17912] ppid=17892 vsize=9625004 CPUtime=0.48 cores=1,3,5,7
/proc/17894/task/17912/stat : 17912 (java) S 17892 17894 12979 0 -1 4202560 63 0 0 0 25 23 0 0 20 0 19 0 285041618 9856004096 102570 33554432000 1073741824 1073778376 140735127850960 139892619025608 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17894/tid=17913] ppid=17892 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17894/task/17913/stat : 17913 (java) S 17892 17894 12979 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 285041757 9856004096 102570 33554432000 1073741824 1073778376 140735127850960 139892617970600 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1103.29
Current children cumulated vsize (KiB) 9625004

[startup+1098.8 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 17924
/proc/meminfo: memFree=29319504/32873844 swapFree=7372/7372
[pid=17894] ppid=17892 vsize=9625004 CPUtime=1103.41 cores=1,3,5,7
/proc/17894/stat : 17894 (java) S 17892 17894 12979 0 -1 4202496 22406 0 1 0 110293 48 0 0 20 0 19 0 285041613 9856004096 102570 33554432000 1073741824 1073778376 140735127850960 140735127842096 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/17894/statm: 2406251 102570 2287 9 0 2396937 0
[pid=17894/tid=17895] ppid=17892 vsize=9625004 CPUtime=1090.81 cores=1,3,5,7
/proc/17894/task/17895/stat : 17895 (java) R 17892 17894 12979 0 -1 4202560 2723 0 1 0 109057 24 0 0 20 0 19 0 285041614 9856004096 102570 33554432000 1073741824 1073778376 140735127850960 139892802330928 139892671911874 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=17894/tid=17897] ppid=17892 vsize=9625004 CPUtime=0.42 cores=1,3,5,7
/proc/17894/task/17897/stat : 17897 (java) S 17892 17894 12979 0 -1 4202560 111 0 0 0 40 2 0 0 20 0 19 0 285041615 9856004096 102570 33554432000 1073741824 1073778376 140735127850960 139892791392552 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17894/tid=17898] ppid=17892 vsize=9625004 CPUtime=0.4 cores=1,3,5,7
/proc/17894/task/17898/stat : 17898 (java) S 17892 17894 12979 0 -1 4202560 72 0 0 0 38 2 0 0 20 0 19 0 285041615 9856004096 102570 33554432000 1073741824 1073778376 140735127850960 139892790339752 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17894/tid=17899] ppid=17892 vsize=9625004 CPUtime=0.44 cores=1,3,5,7
/proc/17894/task/17899/stat : 17899 (java) S 17892 17894 12979 0 -1 4202560 97 0 0 0 41 3 0 0 20 0 19 0 285041615 9856004096 102570 33554432000 1073741824 1073778376 140735127850960 139892644067880 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17894/tid=17900] ppid=17892 vsize=9625004 CPUtime=0.39 cores=1,3,5,7
/proc/17894/task/17900/stat : 17900 (java) S 17892 17894 12979 0 -1 4202560 91 0 0 0 39 0 0 0 20 0 19 0 285041615 9856004096 102570 33554432000 1073741824 1073778376 140735127850960 139892643015080 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17894/tid=17901] ppid=17892 vsize=9625004 CPUtime=0.39 cores=1,3,5,7
/proc/17894/task/17901/stat : 17901 (java) S 17892 17894 12979 0 -1 4202560 142 0 0 0 37 2 0 0 20 0 19 0 285041615 9856004096 102570 33554432000 1073741824 1073778376 140735127850960 139892641962792 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17894/tid=17902] ppid=17892 vsize=9625004 CPUtime=0.4 cores=1,3,5,7
/proc/17894/task/17902/stat : 17902 (java) S 17892 17894 12979 0 -1 4202560 84 0 0 0 38 2 0 0 20 0 19 0 285041615 9856004096 102570 33554432000 1073741824 1073778376 140735127850960 139892640909992 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17894/tid=17903] ppid=17892 vsize=9625004 CPUtime=0.39 cores=1,3,5,7
/proc/17894/task/17903/stat : 17903 (java) S 17892 17894 12979 0 -1 4202560 69 0 0 0 37 2 0 0 20 0 19 0 285041615 9856004096 102570 33554432000 1073741824 1073778376 140735127850960 139892639857704 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17894/tid=17904] ppid=17892 vsize=9625004 CPUtime=0.41 cores=1,3,5,7
/proc/17894/task/17904/stat : 17904 (java) S 17892 17894 12979 0 -1 4202560 62 0 0 0 41 0 0 0 20 0 19 0 285041615 9856004096 102570 33554432000 1073741824 1073778376 140735127850960 139892638804904 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17894/tid=17905] ppid=17892 vsize=9625004 CPUtime=7.03 cores=1,3,5,7
/proc/17894/task/17905/stat : 17905 (java) S 17892 17894 12979 0 -1 4202560 322 0 0 0 700 3 0 0 20 0 19 0 285041616 9856004096 102570 33554432000 1073741824 1073778376 140735127850960 139892626393320 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17894/tid=17906] ppid=17892 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17894/task/17906/stat : 17906 (java) S 17892 17894 12979 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 285041616 9856004096 102570 33554432000 1073741824 1073778376 140735127850960 139892625339384 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17894/tid=17907] ppid=17892 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17894/task/17907/stat : 17907 (java) S 17892 17894 12979 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 285041616 9856004096 102570 33554432000 1073741824 1073778376 140735127850960 139892624286984 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17894/tid=17908] ppid=17892 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17894/task/17908/stat : 17908 (java) S 17892 17894 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 285041618 9856004096 102570 33554432000 1073741824 1073778376 140735127850960 139892623235472 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17894/tid=17909] ppid=17892 vsize=9625004 CPUtime=0.91 cores=1,3,5,7
/proc/17894/task/17909/stat : 17909 (java) S 17892 17894 12979 0 -1 4202560 8586 0 0 0 89 2 0 0 20 0 19 0 285041618 9856004096 102570 33554432000 1073741824 1073778376 140735127850960 139892622183096 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17894/tid=17910] ppid=17892 vsize=9625004 CPUtime=1.01 cores=1,3,5,7
/proc/17894/task/17910/stat : 17910 (java) S 17892 17894 12979 0 -1 4202560 8799 0 0 0 99 2 0 0 20 0 19 0 285041618 9856004096 102570 33554432000 1073741824 1073778376 140735127850960 139892621130296 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17894/tid=17911] ppid=17892 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17894/task/17911/stat : 17911 (java) S 17892 17894 12979 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 285041618 9856004096 102570 33554432000 1073741824 1073778376 140735127850960 139892620078200 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17894/tid=17912] ppid=17892 vsize=9625004 CPUtime=0.48 cores=1,3,5,7
/proc/17894/task/17912/stat : 17912 (java) S 17892 17894 12979 0 -1 4202560 63 0 0 0 25 23 0 0 20 0 19 0 285041618 9856004096 102570 33554432000 1073741824 1073778376 140735127850960 139892619025608 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17894/tid=17913] ppid=17892 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/17894/task/17913/stat : 17913 (java) S 17892 17894 12979 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 285041757 9856004096 102570 33554432000 1073741824 1073778376 140735127850960 139892617970600 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1103.41
Current children cumulated vsize (KiB) 9625004

Child status: 20
Real time (s): 1098.87
CPU time (s): 1103.83
CPU user time (s): 1103.02
CPU system time (s): 0.811876
CPU usage (%): 100.451
Max. virtual memory (cumulated for all children) (KiB): 9625004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1103.02
system time used= 0.811876
maximum resident set size= 410332
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22423
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1096
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 25698
involuntary context switches= 8080

runsolver used 3.84241 second user time and 9.99348 second system time

The end

Launcher Data

Begin job on node118 at 2012-05-28 09:12:35
IDJOB=3709957
IDBENCH=89675
IDSOLVER=2289
FILE ID=node118/3709957-1338189155
RUNJOBID= node118-1338156758-12996
PBS_JOBID= 14624527
Free space on /tmp= 71620 MiB

SOLVER NAME= SAT4J PB specific settings 2.3.2 snapshot
BENCH NAME= PB11/normalized-PB11/DEC-SMALLINT-LIN/lopes/normalized-101.opb
COMMAND LINE= java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3709957-1338189155/watcher-3709957-1338189155 -o /tmp/evaluation-result-3709957-1338189155/solver-3709957-1338189155 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3709957-1338189155.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= a3ed9477da365050d631dd031519efe8
RANDOM SEED=1532905924

node118.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/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.212
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.42
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.212
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5438.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.212
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.212
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.212
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5320.68
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.212
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.212
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.212
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        29755576 kB
Buffers:          389028 kB
Cached:           567404 kB
SwapCached:            0 kB
Active:          1883192 kB
Inactive:         389024 kB
Active(anon):    1306084 kB
Inactive(anon):    11320 kB
Active(file):     577108 kB
Inactive(file):   377704 kB
Unevictable:        7372 kB
Mlocked:            7372 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              7952 kB
Writeback:             0 kB
AnonPages:       1328084 kB
Mapped:            19972 kB
Shmem:               200 kB
Slab:             696048 kB
SReclaimable:     137260 kB
SUnreclaim:       558788 kB
KernelStack:        1592 kB
PageTables:         6496 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    2194548 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1267712 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71620 MiB
End job on node118 at 2012-05-28 09:30:54