Trace number 3458248

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 NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution 2.3.0OPT3 70.9532 69.6721

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=8-P0=103-P1=223-P2=29-P3=89-P4=173-P5=97-P6=227-P7=89-P8=127-P9=223-B.opb
MD5SUM9b7cb599a49db47c0ffbf25416bcef37
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark1.63975
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3
Optimality of the best value was proved YES
Number of variables216
Total number of constraints19
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints19
Minimum length of a constraint8
Maximum length of a constraint80
Number of terms in the objective function 8
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 255
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 32768
Number of bits of the biggest number in a constraint 16
Biggest sum of numbers in a constraint 130560
Number of bits of the biggest sum of numbers17
Number of products (including duplicates)576
Sum of products size (including duplicates)1152
Number of different products576
Sum of products size1152

Solver Data 

0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.09/0.09	c version 2.3.1.v20110525
0.09/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.09/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.09/0.09	c java.vm.version	19.1-b02
0.09/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.09/0.09	c sun.arch.data.model	64
0.09/0.09	c java.version		1.6.0_24
0.09/0.09	c os.name		Linux
0.09/0.09	c os.version		2.6.18-164.el5
0.09/0.09	c os.arch		amd64
0.09/0.09	c Free memory 		12995394264
0.09/0.09	c Max memory 		13063553024
0.09/0.09	c Total memory 		13063553024
0.09/0.09	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@38540408
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 lightweight component caching from RSAT taking into account the objective function
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=false
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-3458248-1307158476.opb
0.10/0.11	c reading problem ... 
0.25/0.20	c ... done. Wall clock time 0.086s.
0.25/0.20	c #vars     792
0.25/0.20	c #constraints  1180
0.25/0.20	c constraints type 
0.25/0.20	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 576
0.25/0.20	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 604
1.01/0.70	c cleaning 2492 clauses out of 5000 with flag 5000/5000
1.49/1.18	c cleaning 4254 clauses out of 8508 with flag 11000/11000
2.18/1.85	c cleaning 5627 clauses out of 11254 with flag 18000/18000
2.68/2.34	c cleaning 6809 clauses out of 13628 with flag 26001/26001
3.41/3.03	c cleaning 7910 clauses out of 15819 with flag 35001/35001
4.12/3.73	c cleaning 8953 clauses out of 17910 with flag 45002/45002
5.27/4.69	c cleaning 9474 clauses out of 18955 with flag 55001/55001
6.34/5.36	c cleaning 9736 clauses out of 19480 with flag 65000/65000
7.04/6.00	c cleaning 9869 clauses out of 19744 with flag 75000/75000
7.66/6.68	c cleaning 9936 clauses out of 19876 with flag 85001/85001
8.65/7.68	c cleaning 9969 clauses out of 19940 with flag 95001/95001
9.55/8.58	c cleaning 9983 clauses out of 19971 with flag 105001/105001
10.15/9.15	c cleaning 9986 clauses out of 19987 with flag 115000/115000
11.35/10.32	c cleaning 9998 clauses out of 20002 with flag 125001/125001
12.27/11.23	c cleaning 10000 clauses out of 20004 with flag 135001/135001
13.47/12.48	c cleaning 10001 clauses out of 20004 with flag 145001/145001
14.07/13.05	c cleaning 9988 clauses out of 20001 with flag 155000/155000
14.68/13.67	c cleaning 10000 clauses out of 20014 with flag 165001/165001
15.48/14.46	c cleaning 10005 clauses out of 20013 with flag 175000/175000
16.19/15.12	c cleaning 10000 clauses out of 20008 with flag 185000/185000
16.90/15.89	c cleaning 10003 clauses out of 20008 with flag 195000/195000
17.62/16.53	c cleaning 9996 clauses out of 20006 with flag 205001/205001
18.40/17.35	c cleaning 9998 clauses out of 20010 with flag 215001/215001
19.50/18.44	c cleaning 9993 clauses out of 20012 with flag 225001/225001
20.50/19.45	c cleaning 10003 clauses out of 20019 with flag 235001/235001
21.21/20.12	c cleaning 9995 clauses out of 20015 with flag 245000/245000
21.91/20.82	c cleaning 9998 clauses out of 20023 with flag 255003/255003
22.41/21.35	c SATISFIABLE
22.41/21.35	c OPTIMIZING...
22.41/21.35	c Got one! Elapsed wall clock time (in seconds):21.234
22.41/21.35	o 3
22.71/21.64	c cleaning 12099 clauses out of 24225 with flag 5000/269203
23.14/22.05	c cleaning 9043 clauses out of 18127 with flag 11001/275204
23.52/22.44	c cleaning 8021 clauses out of 16084 with flag 18001/282204
23.92/22.89	c cleaning 8009 clauses out of 16062 with flag 26000/290203
24.62/23.50	c cleaning 8525 clauses out of 17055 with flag 35002/299205
25.22/24.15	c cleaning 9258 clauses out of 18529 with flag 45001/309204
25.92/24.85	c cleaning 9634 clauses out of 19269 with flag 55000/319203
26.62/25.58	c cleaning 9802 clauses out of 19635 with flag 65001/329204
27.33/26.22	c cleaning 9912 clauses out of 19833 with flag 75001/339204
28.13/27.08	c cleaning 9951 clauses out of 19920 with flag 85000/349203
28.93/27.88	c cleaning 9979 clauses out of 19970 with flag 95001/359204
29.64/28.57	c cleaning 9987 clauses out of 19991 with flag 105001/369204
30.34/29.29	c cleaning 9994 clauses out of 20003 with flag 115000/379203
31.04/29.90	c cleaning 9999 clauses out of 20010 with flag 125001/389204
31.84/30.76	c cleaning 10003 clauses out of 20011 with flag 135001/399204
32.54/31.47	c cleaning 10000 clauses out of 20009 with flag 145002/409205
33.34/32.24	c cleaning 9993 clauses out of 20007 with flag 155000/419203
34.05/32.96	c cleaning 10002 clauses out of 20013 with flag 165000/429203
34.66/33.57	c cleaning 9993 clauses out of 20012 with flag 175001/439204
35.36/34.22	c cleaning 9993 clauses out of 20019 with flag 185001/449204
35.96/34.86	c cleaning 9994 clauses out of 20026 with flag 195001/459204
36.56/35.49	c cleaning 10012 clauses out of 20031 with flag 205000/469203
37.27/36.11	c cleaning 10005 clauses out of 20022 with flag 215003/479206
37.87/36.79	c cleaning 9999 clauses out of 20015 with flag 225001/489204
38.87/37.74	c cleaning 10005 clauses out of 20016 with flag 235001/499204
39.87/38.72	c cleaning 10001 clauses out of 20010 with flag 245000/509203
40.87/39.72	c cleaning 10001 clauses out of 20010 with flag 255001/519204
41.68/40.53	c cleaning 10000 clauses out of 20008 with flag 265000/529203
42.28/41.15	c cleaning 9997 clauses out of 20009 with flag 275001/539204
43.00/41.87	c cleaning 9995 clauses out of 20012 with flag 285001/549204
43.68/42.51	c cleaning 10002 clauses out of 20016 with flag 295000/559203
44.68/43.59	c cleaning 9998 clauses out of 20014 with flag 305000/569203
45.38/44.24	c cleaning 9992 clauses out of 20017 with flag 315001/579204
46.09/45.01	c cleaning 10000 clauses out of 20024 with flag 325000/589203
46.88/45.74	c cleaning 10001 clauses out of 20026 with flag 335002/599205
47.89/46.74	c cleaning 9999 clauses out of 20023 with flag 345000/609203
48.89/47.73	c cleaning 10000 clauses out of 20025 with flag 355001/619204
49.79/48.67	c cleaning 9999 clauses out of 20024 with flag 365000/629203
50.60/49.48	c cleaning 10000 clauses out of 20025 with flag 375000/639203
51.39/50.21	c cleaning 9997 clauses out of 20025 with flag 385000/649203
52.10/50.92	c cleaning 9998 clauses out of 20029 with flag 395001/659204
52.82/51.63	c cleaning 10015 clauses out of 20029 with flag 405000/669203
53.42/52.20	c cleaning 9988 clauses out of 20013 with flag 415000/679203
54.12/52.93	c cleaning 10006 clauses out of 20025 with flag 425000/689203
54.92/53.79	c cleaning 10005 clauses out of 20019 with flag 435000/699203
55.93/54.74	c cleaning 10001 clauses out of 20015 with flag 445001/709204
56.64/55.46	c cleaning 9993 clauses out of 20013 with flag 455000/719203
57.24/56.08	c cleaning 10006 clauses out of 20020 with flag 465000/729203
58.14/56.91	c cleaning 10006 clauses out of 20013 with flag 475000/739203
58.84/57.63	c cleaning 9994 clauses out of 20006 with flag 485000/749203
59.64/58.44	c cleaning 9997 clauses out of 20013 with flag 495001/759204
60.24/59.06	c cleaning 10001 clauses out of 20015 with flag 505000/769203
60.85/59.68	c cleaning 10003 clauses out of 20014 with flag 515000/779203
61.65/60.49	c cleaning 10004 clauses out of 20012 with flag 525001/789204
62.55/61.32	c cleaning 9999 clauses out of 20008 with flag 535001/799204
63.45/62.23	c cleaning 10002 clauses out of 20008 with flag 545000/809203
64.25/63.03	c cleaning 10000 clauses out of 20007 with flag 555002/819205
65.26/64.04	c cleaning 9997 clauses out of 20006 with flag 565001/829204
65.96/64.76	c cleaning 9997 clauses out of 20008 with flag 575000/839203
66.86/65.62	c cleaning 9998 clauses out of 20010 with flag 585000/849203
67.76/66.56	c cleaning 10004 clauses out of 20013 with flag 595001/859204
68.66/67.48	c cleaning 9996 clauses out of 20008 with flag 605000/869203
69.56/68.37	c cleaning 10003 clauses out of 20011 with flag 615000/879203
70.36/69.18	c cleaning 10002 clauses out of 20007 with flag 625000/889203
70.87/69.66	c starts		: 170
70.87/69.66	c conflicts		: 895491
70.87/69.66	c decisions		: 930178
70.87/69.66	c propagations		: 18519165
70.87/69.66	c inspects		: 525303518
70.87/69.66	c shortcuts		: 0
70.87/69.66	c learnt literals	: 22
70.87/69.66	c learnt binary clauses	: 122
70.87/69.66	c learnt ternary clauses	: 471
70.87/69.66	c learnt constraints	: 895468
70.87/69.66	c ignored constraints	: 0
70.87/69.66	c root simplifications	: 0
70.87/69.66	c removed literals (reason simplification)	: 29264781
70.87/69.66	c reason swapping (by a shorter reason)	: 0
70.87/69.66	c Calls to reduceDB	: 91
70.87/69.66	c number of reductions to clauses (during analyze)	: 0
70.87/69.66	c number of learned constraints concerned by reduction	: 0
70.87/69.66	c number of learning phase by resolution	: 0
70.87/69.66	c number of learning phase by cutting planes	: 0
70.87/69.66	c speed (assignments/second)	: 383316.3951731418
70.87/69.66	c non guided choices	7164
70.87/69.66	c learnt constraints type 
70.87/69.66	c constraints type 
70.87/69.66	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 576
70.87/69.66	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 604
70.87/69.66	s OPTIMUM FOUND
70.87/69.66	v x1 x2 -x3 -x4 -x5 -x6 -x7 -x8 x9 -x10 -x11 -x12 -x13 -x14 x15 x16 x17 -x18 -x19 -x20 x21 -x22 x23 -x24 x25 x26 -x27 -x28 -x29 x30 -x31 x32 x33 x34 -x35 -x36 -x37 -x38 -x39 -x40 x41 x42 -x43 -x44 -x45 -x46 -x47 -x48 x49 -x50 -x51 -x52 -x53 -x54 x55 x56 x57 -x58 -x59 x60 -x61 -x62 -x63 -x64 x65 -x66 -x67 -x68 -x69 x70 -x71 -x72 x73 x74 -x75 x76 -x77 x78 -x79 x80 x81 x82 -x83 -x84 -x85 -x86 x87 -x88 x89 x90 -x91 -x92 x93 x94 -x95 -x96 x97 -x98 -x99 x100 x101 x102 x103 -x104 x105 x106 -x107 x108 -x109 x110 x111 -x112 x113 -x114 -x115 -x116 -x117 -x118 x119 -x120 x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 x129 -x130 -x131 x132 -x133 -x134 -x135 -x136 x137 -x138 -x139 x140 -x141 x142 -x143 -x144 -x145 x146 -x147 -x148 -x149 -x150 -x151 -x152 x153 -x154 x155 -x156 x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 x166 -x167 -x168 x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 x185 -x186 -x187 -x188 x189 x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 x209 x210 -x211 x212 x213 -x214 -x215 -x216 
70.87/69.66	c objective function=3
70.87/69.66	c Total wall clock time (in seconds): 69.549

Verifier Data 

OK	3

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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-3458248-1307158476/watcher-3458248-1307158476 -o /tmp/evaluation-result-3458248-1307158476/solver-3458248-1307158476 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458248-1307158476.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.00 2.02 1.94 3/579 2594
/proc/meminfo: memFree=30060996/32950928 swapFree=41528364/67111528
[pid=2594] ppid=2592 vsize=31604 CPUtime=0 cores=1,3,5,7
/proc/2594/stat : 2594 (java) S 2592 2594 31166 0 -1 4202496 1249 0 0 0 0 0 0 0 25 0 2 0 827446313 32362496 968 33554432000 1073741824 1073778376 140736989622096 18446744073709551615 251826042853 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/2594/statm: 7901 979 750 9 0 386 0
[pid=2594/tid=2595] ppid=2592 vsize=13526316 CPUtime=0.01 cores=1,3,5,7
/proc/2594/task/2595/stat : 2595 (java) R 2592 2594 31166 0 -1 4202560 8869 0 1 0 0 1 0 0 25 0 2 0 827446313 13850947584 9685 33554432000 1073741824 1073778376 140736989622096 18446744073709551615 251813934139 0 4 0 16784584 0 0 0 -1 5 0 0 0

[startup+0.0920009 s]
/proc/loadavg: 2.00 2.02 1.94 3/579 2594
/proc/meminfo: memFree=30060996/32950928 swapFree=41528364/67111528
[pid=2594] ppid=2592 vsize=13556772 CPUtime=0.09 cores=1,3,5,7
/proc/2594/stat : 2594 (java) S 2592 2594 31166 0 -1 4202496 15327 0 1 0 7 2 0 0 25 0 18 0 827446313 13882134528 15023 33554432000 1073741824 1073778376 140736989622096 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/2594/statm: 3389193 15023 2082 9 0 3379927 0
[pid=2594/tid=2595] ppid=2592 vsize=13556772 CPUtime=0.07 cores=1,3,5,7
/proc/2594/task/2595/stat : 2595 (java) R 2592 2594 31166 0 -1 4202560 13430 0 1 0 6 1 0 0 25 0 18 0 827446313 13882134528 15024 33554432000 1073741824 1073778376 140736989622096 18446744073709551615 47900797066067 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13556772

[startup+0.100457 s]
/proc/loadavg: 2.00 2.02 1.94 3/579 2594
/proc/meminfo: memFree=30060996/32950928 swapFree=41528364/67111528
[pid=2594] ppid=2592 vsize=13556772 CPUtime=0.1 cores=1,3,5,7
/proc/2594/stat : 2594 (java) S 2592 2594 31166 0 -1 4202496 15429 0 1 0 8 2 0 0 25 0 18 0 827446313 13882134528 15125 33554432000 1073741824 1073778376 140736989622096 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/2594/statm: 3389193 15125 2092 9 0 3379927 0
[pid=2594/tid=2595] ppid=2592 vsize=13556772 CPUtime=0.08 cores=1,3,5,7
/proc/2594/task/2595/stat : 2595 (java) R 2592 2594 31166 0 -1 4202560 13521 0 1 0 7 1 0 0 25 0 18 0 827446313 13882134528 15126 33554432000 1073741824 1073778376 140736989622096 18446744073709551615 47900797066067 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13556772

[startup+0.300429 s]
/proc/loadavg: 2.00 2.02 1.94 3/579 2594
/proc/meminfo: memFree=30060996/32950928 swapFree=41528364/67111528
[pid=2594] ppid=2592 vsize=13626080 CPUtime=0.52 cores=1,3,5,7
/proc/2594/stat : 2594 (java) S 2592 2594 31166 0 -1 4202496 18627 0 1 0 50 2 0 0 25 0 19 0 827446313 13953105920 17423 33554432000 1073741824 1073778376 140736989622096 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/2594/statm: 3406520 17423 2216 9 0 3397254 0
[pid=2594/tid=2595] ppid=2592 vsize=13626080 CPUtime=0.27 cores=1,3,5,7
/proc/2594/task/2595/stat : 2595 (java) R 2592 2594 31166 0 -1 4202560 14407 0 1 0 26 1 0 0 25 0 19 0 827446313 13953105920 17423 33554432000 1073741824 1073778376 140736989622096 18446744073709551615 46912505164205 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 13626080

[startup+0.700377 s]
/proc/loadavg: 2.00 2.02 1.94 3/579 2594
/proc/meminfo: memFree=30060996/32950928 swapFree=41528364/67111528
[pid=2594] ppid=2592 vsize=13626460 CPUtime=1.01 cores=1,3,5,7
/proc/2594/stat : 2594 (java) S 2592 2594 31166 0 -1 4202496 19366 0 1 0 99 2 0 0 25 0 19 0 827446313 13953495040 18036 33554432000 1073741824 1073778376 140736989622096 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/2594/statm: 3406615 18036 2224 9 0 3397349 0
[pid=2594/tid=2595] ppid=2592 vsize=13626460 CPUtime=0.67 cores=1,3,5,7
/proc/2594/task/2595/stat : 2595 (java) R 2592 2594 31166 0 -1 4202560 14964 0 1 0 66 1 0 0 25 0 19 0 827446313 13953495040 18036 33554432000 1073741824 1073778376 140736989622096 18446744073709551615 46912505191201 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.01
Current children cumulated vsize (KiB) 13626460

[startup+1.50122 s]
/proc/loadavg: 2.00 2.02 1.94 3/598 2613
/proc/meminfo: memFree=29984176/32950928 swapFree=41528364/67111528
[pid=2594] ppid=2592 vsize=13625912 CPUtime=1.88 cores=1,3,5,7
/proc/2594/stat : 2594 (java) S 2592 2594 31166 0 -1 4202496 20988 0 1 0 185 3 0 0 25 0 19 0 827446313 13952933888 19535 33554432000 1073741824 1073778376 140736989622096 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/2594/statm: 3406478 19535 2249 9 0 3397212 0
[pid=2594/tid=2595] ppid=2592 vsize=13625912 CPUtime=1.44 cores=1,3,5,7
/proc/2594/task/2595/stat : 2595 (java) R 2592 2594 31166 0 -1 4202560 14971 0 1 0 143 1 0 0 25 0 19 0 827446313 13952933888 19535 33554432000 1073741824 1073778376 140736989622096 18446744073709551615 46912505550762 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=2594/tid=2597] ppid=2592 vsize=13625912 CPUtime=0 cores=1,3,5,7
/proc/2594/task/2597/stat : 2597 (java) S 2592 2594 31166 0 -1 4202560 221 0 0 0 0 0 0 0 15 0 19 0 827446315 13952933888 19535 33554432000 1073741824 1073778376 140736989622096 18446744073709551615 251826056089 0 4 0 16800975 18446604465186242944 0 0 -1 5 0 0 0
[pid=2594/tid=2598] ppid=2592 vsize=13625912 CPUtime=0 cores=1,3,5,7
/proc/2594/task/2598/stat : 2598 (java) S 2592 2594 31166 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827446315 13952933888 19535 33554432000 1073741824 1073778376 140736989622096 18446744073709551615 251826056089 0 4 0 16800975 18446604465186242944 0 0 -1 7 0 0 0
[pid=2594/tid=2599] ppid=2592 vsize=13625912 CPUtime=0 cores=1,3,5,7
/proc/2594/task/2599/stat : 2599 (java) S 2592 2594 31166 0 -1 4202560 191 0 0 0 0 0 0 0 16 0 19 0 827446315 13952933888 19535 33554432000 1073741824 1073778376 140736989622096 18446744073709551615 251826056089 0 4 0 16800975 18446604465186242944 0 0 -1 7 0 0 0
[pid=2594/tid=2600] ppid=2592 vsize=13625912 CPUtime=0 cores=1,3,5,7
/proc/2594/task/2600/stat : 2600 (java) S 2592 2594 31166 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827446315 13952933888 19535 33554432000 1073741824 1073778376 140736989622096 18446744073709551615 251826056089 0 4 0 16800975 18446604465186242944 0 0 -1 7 0 0 0
[pid=2594/tid=2601] ppid=2592 vsize=13625912 CPUtime=0 cores=1,3,5,7
/proc/2594/task/2601/stat : 2601 (java) S 2592 2594 31166 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827446315 13952933888 19535 33554432000 1073741824 1073778376 140736989622096 18446744073709551615 251826056089 0 4 0 16800975 18446604465186242944 0 0 -1 7 0 0 0
[pid=2594/tid=2602] ppid=2592 vsize=13625912 CPUtime=0 cores=1,3,5,7
/proc/2594/task/2602/stat : 2602 (java) S 2592 2594 31166 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 19 0 827446315 13952933888 19535 33554432000 1073741824 1073778376 140736989622096 18446744073709551615 251826056089 0 4 0 16800975 18446604465186242944 0 0 -1 5 0 0 0
[pid=2594/tid=2603] ppid=2592 vsize=13625912 CPUtime=0 cores=1,3,5,7
/proc/2594/task/2603/stat : 2603 (java) S 2592 2594 31166 0 -1 4202560 119 0 0 0 0 0 0 0 15 0 19 0 827446315 13952933888 19535 33554432000 1073741824 1073778376 140736989622096 18446744073709551615 251826056089 0 4 0 16800975 18446604465186242944 0 0 -1 5 0 0 0
[pid=2594/tid=2604] ppid=2592 vsize=13625912 CPUtime=0 cores=1,3,5,7
/proc/2594/task/2604/stat : 2604 (java) S 2592 2594 31166 0 -1 4202560 267 0 0 0 0 0 0 0 15 0 19 0 827446315 13952933888 19535 33554432000 1073741824 1073778376 140736989622096 18446744073709551615 251826056089 0 4 0 16800975 18446604465186242944 0 0 -1 7 0 0 0
[pid=2594/tid=2605] ppid=2592 vsize=13625912 CPUtime=0.02 cores=1,3,5,7
/proc/2594/task/2605/stat : 2605 (java) S 2592 2594 31166 0 -1 4202560 683 0 0 0 2 0 0 0 16 0 19 0 827446316 13952933888 19535 33554432000 1073741824 1073778376 140736989622096 18446744073709551615 251826056704 0 0 0 16800975 18446604465186242944 0 0 -1 1 0 0 0
[pid=2594/tid=2606] ppid=2592 vsize=13625912 CPUtime=0 cores=1,3,5,7
/proc/2594/task/2606/stat : 2606 (java) S 2592 2594 31166 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 827446317 13952933888 19535 33554432000 1073741824 1073778376 140736989622096 18446744073709551615 251826056089 0 4 0 16800975 18446604465186242944 0 0 -1 1 0 0 0
[pid=2594/tid=2607] ppid=2592 vsize=13625912 CPUtime=0 cores=1,3,5,7
/proc/2594/task/2607/stat : 2607 (java) S 2592 2594 31166 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 827446317 13952933888 19535 33554432000 1073741824 1073778376 140736989622096 18446744073709551615 251826056089 0 4 0 16800975 18446604465186242944 0 0 -1 1 0 0 0
[pid=2594/tid=2608] ppid=2592 vsize=13625912 CPUtime=0 cores=1,3,5,7
/proc/2594/task/2608/stat : 2608 (java) S 2592 2594 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827446319 13952933888 19535 33554432000 1073741824 1073778376 140736989622096 18446744073709551615 251826063793 0 4 0 16800975 18446604465186242944 0 0 -1 1 0 0 0
[pid=2594/tid=2609] ppid=2592 vsize=13625912 CPUtime=0.2 cores=1,3,5,7
/proc/2594/task/2609/stat : 2609 (java) S 2592 2594 31166 0 -1 4202560 1335 0 0 0 20 0 0 0 15 0 19 0 827446319 13952933888 19535 33554432000 1073741824 1073778376 140736989622096 18446744073709551615 251826056089 0 4 0 16800975 18446604465186242944 0 0 -1 5 0 0 0
[pid=2594/tid=2610] ppid=2592 vsize=13625912 CPUtime=0.17 cores=1,3,5,7
/proc/2594/task/2610/stat : 2610 (java) S 2592 2594 31166 0 -1 4202560 1978 0 0 0 17 0 0 0 19 0 19 0 827446319 13952933888 19535 33554432000 1073741824 1073778376 140736989622096 18446744073709551615 251826056089 0 4 0 16800975 18446604465186242944 0 0 -1 7 0 0 0
[pid=2594/tid=2611] ppid=2592 vsize=13625912 CPUtime=0 cores=1,3,5,7
/proc/2594/task/2611/stat : 2611 (java) S 2592 2594 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827446319 13952933888 19535 33554432000 1073741824 1073778376 140736989622096 18446744073709551615 251826056089 0 4 0 16800975 18446604465186242944 0 0 -1 1 0 0 0
[pid=2594/tid=2612] ppid=2592 vsize=13625912 CPUtime=0 cores=1,3,5,7
/proc/2594/task/2612/stat : 2612 (java) S 2592 2594 31166 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 827446319 13952933888 19535 33554432000 1073741824 1073778376 140736989622096 18446744073709551615 251826056704 0 4 0 16800975 18446604465186242944 0 0 -1 5 0 0 0
[pid=2594/tid=2613] ppid=2592 vsize=13625912 CPUtime=0 cores=1,3,5,7
/proc/2594/task/2613/stat : 2613 (java) S 2592 2594 31166 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 827446333 13952933888 19535 33554432000 1073741824 1073778376 140736989622096 18446744073709551615 251826056704 0 4 0 16800975 18446604465186242944 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.88
Current children cumulated vsize (KiB) 13625912

[startup+3.10095 s]
/proc/loadavg: 2.00 2.02 1.94 3/598 2613
/proc/meminfo: memFree=29978472/32950928 swapFree=41528364/67111528
[pid=2594] ppid=2592 vsize=13625912 CPUtime=3.51 cores=1,3,5,7
/proc/2594/stat : 2594 (java) S 2592 2594 31166 0 -1 4202496 21455 0 1 0 348 3 0 0 25 0 19 0 827446313 13952933888 19999 33554432000 1073741824 1073778376 140736989622096 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/2594/statm: 3406478 19999 2250 9 0 3397212 0
[pid=2594/tid=2595] ppid=2592 vsize=13625912 CPUtime=2.98 cores=1,3,5,7
/proc/2594/task/2595/stat : 2595 (java) R 2592 2594 31166 0 -1 4202560 14974 0 1 0 297 1 0 0 25 0 19 0 827446313 13952933888 19999 33554432000 1073741824 1073778376 140736989622096 18446744073709551615 46912505550470 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=2594/tid=2597] ppid=2592 vsize=13625912 CPUtime=0 cores=1,3,5,7
/proc/2594/task/2597/stat : 2597 (java) S 2592 2594 31166 0 -1 4202560 221 0 0 0 0 0 0 0 15 0 19 0 827446315 13952933888 19999 33554432000 1073741824 1073778376 140736989622096 18446744073709551615 251826056089 0 4 0 16800975 18446604465186242944 0 0 -1 1 0 0 0
[pid=2594/tid=2598] ppid=2592 vsize=13625912 CPUtime=0 cores=1,3,5,7
/proc/2594/task/2598/stat : 2598 (java) S 2592 2594 31166 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827446315 13952933888 19999 33554432000 1073741824 1073778376 140736989622096 18446744073709551615 251826056089 0 4 0 16800975 18446604465186242944 0 0 -1 7 0 0 0
[pid=2594/tid=2599] ppid=2592 vsize=13625912 CPUtime=0 cores=1,3,5,7
/proc/2594/task/2599/stat : 2599 (java) S 2592 2594 31166 0 -1 4202560 191 0 0 0 0 0 0 0 15 0 19 0 827446315 13952933888 19999 33554432000 1073741824 1073778376 140736989622096 18446744073709551615 251826056089 0 4 0 16800975 18446604465186242944 0 0 -1 5 0 0 0
[pid=2594/tid=2600] ppid=2592 vsize=13625912 CPUtime=0 cores=1,3,5,7
/proc/2594/task/2600/stat : 2600 (java) S 2592 2594 31166 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 827446315 13952933888 19999 33554432000 1073741824 1073778376 140736989622096 18446744073709551615 251826056089 0 4 0 16800975 18446604465186242944 0 0 -1 1 0 0 0
[pid=2594/tid=2601] ppid=2592 vsize=13625912 CPUtime=0 cores=1,3,5,7
/proc/2594/task/2601/stat : 2601 (java) S 2592 2594 31166 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 19 0 827446315 13952933888 19999 33554432000 1073741824 1073778376 140736989622096 18446744073709551615 251826056089 0 4 0 16800975 18446604465186242944 0 0 -1 5 0 0 0
[pid=2594/tid=2602] ppid=2592 vsize=13625912 CPUtime=0 cores=1,3,5,7
/proc/2594/task/2602/stat : 2602 (java) S 2592 2594 31166 0 -1 4202560 78 0 0 0 0 0 0 0 15 0 19 0 827446315 13952933888 19999 33554432000 1073741824 1073778376 140736989622096 18446744073709551615 251826056089 0 4 0 16800975 18446604465186242944 0 0 -1 5 0 0 0
[pid=2594/tid=2603] ppid=2592 vsize=13625912 CPUtime=0 cores=1,3,5,7
/proc/2594/task/2603/stat : 2603 (java) S 2592 2594 31166 0 -1 4202560 121 0 0 0 0 0 0 0 16 0 19 0 827446315 13952933888 19999 33554432000 1073741824 1073778376 140736989622096 18446744073709551615 251826056089 0 4 0 16800975 18446604465186242944 0 0 -1 1 0 0 0
[pid=2594/tid=2604] ppid=2592 vsize=13625912 CPUtime=0 cores=1,3,5,7
/proc/2594/task/2604/stat : 2604 (java) S 2592 2594 31166 0 -1 4202560 332 0 0 0 0 0 0 0 15 0 19 0 827446315 13952933888 19999 33554432000 1073741824 1073778376 140736989622096 18446744073709551615 251826056089 0 4 0 16800975 18446604465186242944 0 0 -1 1 0 0 0
[pid=2594/tid=2605] ppid=2592 vsize=13625912 CPUtime=0.07 cores=1,3,5,7
/proc/2594/task/2605/stat : 2605 (java) S 2592 2594 31166 0 -1 4202560 1007 0 0 0 7 0 0 0 16 0 19 0 827446316 13952933888 19999 33554432000 1073741824 1073778376 140736989622096 18446744073709551615 251826056704 0 0 0 16800975 18446604465186242944 0 0 -1 7 0 0 0
[pid=2594/tid=2606] ppid=2592 vsize=13625912 CPUtime=0 cores=1,3,5,7
/proc/2594/task/2606/stat : 2606 (java) S 2592 2594 31166 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 827446317 13952933888 19999 33554432000 1073741824 1073778376 140736989622096 18446744073709551615 251826056089 0 4 0 16800975 18446604465186242944 0 0 -1 1 0 0 0
[pid=2594/tid=2607] ppid=2592 vsize=13625912 CPUtime=0 cores=1,3,5,7
/proc/2594/task/2607/stat : 2607 (java) S 2592 2594 31166 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 827446317 13952933888 19999 33554432000 1073741824 1073778376 140736989622096 18446744073709551615 251826056089 0 4 0 16800975 18446604465186242944 0 0 -1 1 0 0 0
[pid=2594/tid=2608] ppid=2592 vsize=13625912 CPUtime=0 cores=1,3,5,7
/proc/2594/task/2608/stat : 2608 (java) S 2592 2594 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827446319 13952933888 19999 33554432000 1073741824 1073778376 140736989622096 18446744073709551615 251826063793 0 4 0 16800975 18446604465186242944 0 0 -1 1 0 0 0
[pid=2594/tid=2609] ppid=2592 vsize=13625912 CPUtime=0.2 cores=1,3,5,7
/proc/2594/task/2609/stat : 2609 (java) S 2592 2594 31166 0 -1 4202560 1335 0 0 0 20 0 0 0 15 0 19 0 827446319 13952933888 19999 33554432000 1073741824 1073778376 140736989622096 18446744073709551615 251826056089 0 4 0 16800975 18446604465186242944 0 0 -1 5 0 0 0
[pid=2594/tid=2610] ppid=2592 vsize=13625912 CPUtime=0.19 cores=1,3,5,7
/proc/2594/task/2610/stat : 2610 (java) S 2592 2594 31166 0 -1 4202560 1986 0 0 0 19 0 0 0 15 0 19 0 827446319 13952933888 19999 33554432000 1073741824 1073778376 140736989622096 18446744073709551615 251826056089 0 4 0 16800975 18446604465186242944 0 0 -1 7 0 0 0
[pid=2594/tid=2611] ppid=2592 vsize=13625912 CPUtime=0 cores=1,3,5,7
/proc/2594/task/2611/stat : 2611 (java) S 2592 2594 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827446319 13952933888 19999 33554432000 1073741824 1073778376 140736989622096 18446744073709551615 251826056089 0 4 0 16800975 18446604465186242944 0 0 -1 1 0 0 0
[pid=2594/tid=2612] ppid=2592 vsize=13625912 CPUtime=0 cores=1,3,5,7
/proc/2594/task/2612/stat : 2612 (java) S 2592 2594 31166 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 827446319 13952933888 19999 33554432000 1073741824 1073778376 140736989622096 18446744073709551615 251826056704 0 4 0 16800975 18446604465186242944 0 0 -1 5 0 0 0
[pid=2594/tid=2613] ppid=2592 vsize=13625912 CPUtime=0 cores=1,3,5,7
/proc/2594/task/2613/stat : 2613 (java) S 2592 2594 31166 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 827446333 13952933888 19999 33554432000 1073741824 1073778376 140736989622096 18446744073709551615 251826056704 0 4 0 16800975 18446604465186242944 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3.51
Current children cumulated vsize (KiB) 13625912

[startup+6.30146 s]
/proc/loadavg: 2.00 2.02 1.94 3/598 2613
/proc/meminfo: memFree=29946684/32950928 swapFree=41528364/67111528
[pid=2594] ppid=2592 vsize=13640360 CPUtime=7.34 cores=1,3,5,7
/proc/2594/stat : 2594 (java) S 2592 2594 31166 0 -1 4202496 32845 0 1 0 730 4 0 0 25 0 19 0 827446313 13967728640 26997 33554432000 1073741824 1073778376 140736989622096 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/2594/statm: 3410090 26997 2250 9 0 3400824 0
[pid=2594/tid=2595] ppid=2592 vsize=13640360 CPUtime=6.12 cores=1,3,5,7
/proc/2594/task/2595/stat : 2595 (java) R 2592 2594 31166 0 -1 4202560 14981 0 1 0 610 2 0 0 25 0 19 0 827446313 13967728640 26997 33554432000 1073741824 1073778376 140736989622096 18446744073709551615 46912505559080 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=2594/tid=2597] ppid=2592 vsize=13640360 CPUtime=0 cores=1,3,5,7
/proc/2594/task/2597/stat : 2597 (java) S 2592 2594 31166 0 -1 4202560 221 0 0 0 0 0 0 0 15 0 19 0 827446315 13967728640 26997 33554432000 1073741824 1073778376 140736989622096 18446744073709551615 251826056089 0 4 0 16800975 18446604465186242944 0 0 -1 5 0 0 0
[pid=2594/tid=2598] ppid=2592 vsize=13640360 CPUtime=0 cores=1,3,5,7
/proc/2594/task/2598/stat : 2598 (java) S 2592 2594 31166 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 827446315 13967728640 26997 33554432000 1073741824 1073778376 140736989622096 18446744073709551615 251826056089 0 4 0 16800975 18446604465186242944 0 0 -1 7 0 0 0
[pid=2594/tid=2599] ppid=2592 vsize=13640360 CPUtime=0 cores=1,3,5,7
/proc/2594/task/2599/stat : 2599 (java) S 2592 2594 31166 0 -1 4202560 213 0 0 0 0 0 0 0 15 0 19 0 827446315 13967728640 26997 33554432000 1073741824 1073778376 140736989622096 18446744073709551615 251826056089 0 4 0 16800975 18446604465186242944 0 0 -1 7 0 0 0
[pid=2594/tid=2600] ppid=2592 vsize=13640360 CPUtime=0 cores=1,3,5,7
/proc/2594/task/2600/stat : 2600 (java) S 2592 2594 31166 0 -1 4202560 61 0 0 0 0 0 0 0 16 0 19 0 827446315 13967728640 26997 33554432000 1073741824 1073778376 140736989622096 18446744073709551615 251826056089 0 4 0 16800975 18446604465186242944 0 0 -1 5 0 0 0
[pid=2594/tid=2601] ppid=2592 vsize=13640360 CPUtime=0 cores=1,3,5,7
/proc/2594/task/2601/stat : 2601 (java) S 2592 2594 31166 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 19 0 827446315 13967728640 26997 33554432000 1073741824 1073778376 140736989622096 18446744073709551615 251826056089 0 4 0 16800975 18446604465186242944 0 0 -1 5 0 0 0
[pid=2594/tid=2602] ppid=2592 vsize=13640360 CPUtime=0 cores=1,3,5,7
/proc/2594/task/2602/stat : 2602 (java) S 2592 2594 31166 0 -1 4202560 91 0 0 0 0 0 0 0 16 0 19 0 827446315 13967728640 26997 33554432000 1073741824 1073778376 140736989622096 18446744073709551615 251826056089 0 4 0 16800975 18446604465186242944 0 0 -1 5 0 0 0
[pid=2594/tid=2603] ppid=2592 vsize=13640360 CPUtime=0 cores=1,3,5,7
/proc/2594/task/2603/stat : 2603 (java) S 2592 2594 31166 0 -1 4202560 144 0 0 0 0 0 0 0 16 0 19 0 827446315 13967728640 26997 33554432000 1073741824 1073778376 140736989622096 18446744073709551615 251826056089 0 4 0 16800975 18446604465186242944 0 0 -1 7 0 0 0
[pid=2594/tid=2604] ppid=2592 vsize=13640360 CPUtime=0 cores=1,3,5,7
/proc/2594/task/2604/stat : 2604 (java) S 2592 2594 31166 0 -1 4202560 371 0 0 0 0 0 0 0 15 0 19 0 827446315 13967728640 26997 33554432000 1073741824 1073778376 140736989622096 18446744073709551615 251826056089 0 4 0 16800975 18446604465186242944 0 0 -1 7 0 0 0
[pid=2594/tid=2605] ppid=2592 vsize=13640360 CPUtime=0.14 cores=1,3,5,7
/proc/2594/task/2605/stat : 2605 (java) S 2592 2594 31166 0 -1 4202560 1473 0 0 0 14 0 0 0 16 0 19 0 827446316 13967728640 26997 33554432000 1073741824 1073778376 140736989622096 18446744073709551615 251826056704 0 0 0 16800975 18446604465186242944 0 0 -1 1 0 0 0
[pid=2594/tid=2606] ppid=2592 vsize=13640360 CPUtime=0 cores=1,3,5,7
/proc/2594/task/2606/stat : 2606 (java) S 2592 2594 31166 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 827446317 13967728640 26997 33554432000 1073741824 1073778376 140736989622096 18446744073709551615 251826056089 0 4 0 16800975 18446604465186242944 0 0 -1 1 0 0 0
[pid=2594/tid=2607] ppid=2592 vsize=13640360 CPUtime=0 cores=1,3,5,7
/proc/2594/task/2607/stat : 2607 (java) S 2592 2594 31166 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 827446317 13967728640 26997 33554432000 1073741824 1073778376 140736989622096 18446744073709551615 251826056089 0 4 0 16800975 18446604465186242944 0 0 -1 1 0 0 0
[pid=2594/tid=2608] ppid=2592 vsize=13640360 CPUtime=0 cores=1,3,5,7
/proc/2594/task/2608/stat : 2608 (java) S 2592 2594 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827446319 13967728640 26997 33554432000 1073741824 1073778376 140736989622096 18446744073709551615 251826063793 0 4 0 16800975 18446604465186242944 0 0 -1 1 0 0 0
[pid=2594/tid=2609] ppid=2592 vsize=13640360 CPUtime=0.48 cores=1,3,5,7
/proc/2594/task/2609/stat : 2609 (java) S 2592 2594 31166 0 -1 4202560 6306 0 0 0 48 0 0 0 15 0 19 0 827446319 13967728640 26997 33554432000 1073741824 1073778376 140736989622096 18446744073709551615 251826056089 0 4 0 16800975 18446604465186242944 0 0 -1 5 0 0 0
[pid=2594/tid=2610] ppid=2592 vsize=13640360 CPUtime=0.53 cores=1,3,5,7
/proc/2594/task/2610/stat : 2610 (java) S 2592 2594 31166 0 -1 4202560 7777 0 0 0 53 0 0 0 15 0 19 0 827446319 13967728640 26997 33554432000 1073741824 1073778376 140736989622096 18446744073709551615 251826056089 0 4 0 16800975 18446604465186242944 0 0 -1 5 0 0 0

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

/proc/2594/task/2597/stat : 2597 (java) S 2592 2594 31166 0 -1 4202560 237 0 0 0 4 0 0 0 15 0 19 0 827446315 13967728640 26864 33554432000 1073741824 1073778376 140736989622096 18446744073709551615 251826056089 0 4 0 16800975 18446604465186242944 0 0 -1 7 0 0 0
[pid=2594/tid=2598] ppid=2592 vsize=13640360 CPUtime=0.04 cores=1,3,5,7
/proc/2594/task/2598/stat : 2598 (java) S 2592 2594 31166 0 -1 4202560 13 0 0 0 4 0 0 0 15 0 19 0 827446315 13967728640 26864 33554432000 1073741824 1073778376 140736989622096 18446744073709551615 251826056089 0 4 0 16800975 18446604465186242944 0 0 -1 7 0 0 0
[pid=2594/tid=2599] ppid=2592 vsize=13640360 CPUtime=0.03 cores=1,3,5,7
/proc/2594/task/2599/stat : 2599 (java) S 2592 2594 31166 0 -1 4202560 219 0 0 0 3 0 0 0 15 0 19 0 827446315 13967728640 26864 33554432000 1073741824 1073778376 140736989622096 18446744073709551615 251826056089 0 4 0 16800975 18446604465186242944 0 0 -1 7 0 0 0
[pid=2594/tid=2600] ppid=2592 vsize=13640360 CPUtime=0.04 cores=1,3,5,7
/proc/2594/task/2600/stat : 2600 (java) S 2592 2594 31166 0 -1 4202560 137 0 0 0 4 0 0 0 15 0 19 0 827446315 13967728640 26864 33554432000 1073741824 1073778376 140736989622096 18446744073709551615 251826056089 0 4 0 16800975 18446604465186242944 0 0 -1 5 0 0 0
[pid=2594/tid=2601] ppid=2592 vsize=13640360 CPUtime=0.04 cores=1,3,5,7
/proc/2594/task/2601/stat : 2601 (java) S 2592 2594 31166 0 -1 4202560 67 0 0 0 4 0 0 0 15 0 19 0 827446315 13967728640 26864 33554432000 1073741824 1073778376 140736989622096 18446744073709551615 251826056089 0 4 0 16800975 18446604465186242944 0 0 -1 5 0 0 0
[pid=2594/tid=2602] ppid=2592 vsize=13640360 CPUtime=0.04 cores=1,3,5,7
/proc/2594/task/2602/stat : 2602 (java) S 2592 2594 31166 0 -1 4202560 196 0 0 0 4 0 0 0 16 0 19 0 827446315 13967728640 26864 33554432000 1073741824 1073778376 140736989622096 18446744073709551615 251826056089 0 4 0 16800975 18446604465186242944 0 0 -1 7 0 0 0
[pid=2594/tid=2603] ppid=2592 vsize=13640360 CPUtime=0.05 cores=1,3,5,7
/proc/2594/task/2603/stat : 2603 (java) S 2592 2594 31166 0 -1 4202560 197 0 0 0 5 0 0 0 15 0 19 0 827446315 13967728640 26864 33554432000 1073741824 1073778376 140736989622096 18446744073709551615 251826056089 0 4 0 16800975 18446604465186242944 0 0 -1 5 0 0 0
[pid=2594/tid=2604] ppid=2592 vsize=13640360 CPUtime=0.05 cores=1,3,5,7
/proc/2594/task/2604/stat : 2604 (java) S 2592 2594 31166 0 -1 4202560 379 0 0 0 5 0 0 0 15 0 19 0 827446315 13967728640 26864 33554432000 1073741824 1073778376 140736989622096 18446744073709551615 251826056089 0 4 0 16800975 18446604465186242944 0 0 -1 7 0 0 0
[pid=2594/tid=2605] ppid=2592 vsize=13640360 CPUtime=1.84 cores=1,3,5,7
/proc/2594/task/2605/stat : 2605 (java) S 2592 2594 31166 0 -1 4202560 4007 0 0 0 183 1 0 0 16 0 19 0 827446316 13967728640 26864 33554432000 1073741824 1073778376 140736989622096 18446744073709551615 251826056704 0 0 0 16800975 18446604465186242944 0 0 -1 1 0 0 0
[pid=2594/tid=2606] ppid=2592 vsize=13640360 CPUtime=0 cores=1,3,5,7
/proc/2594/task/2606/stat : 2606 (java) S 2592 2594 31166 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 827446317 13967728640 26864 33554432000 1073741824 1073778376 140736989622096 18446744073709551615 251826056089 0 4 0 16800975 18446604465186242944 0 0 -1 1 0 0 0
[pid=2594/tid=2607] ppid=2592 vsize=13640360 CPUtime=0 cores=1,3,5,7
/proc/2594/task/2607/stat : 2607 (java) S 2592 2594 31166 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 827446317 13967728640 26864 33554432000 1073741824 1073778376 140736989622096 18446744073709551615 251826056089 0 4 0 16800975 18446604465186242944 0 0 -1 1 0 0 0
[pid=2594/tid=2608] ppid=2592 vsize=13640360 CPUtime=0 cores=1,3,5,7
/proc/2594/task/2608/stat : 2608 (java) S 2592 2594 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827446319 13967728640 26864 33554432000 1073741824 1073778376 140736989622096 18446744073709551615 251826063793 0 4 0 16800975 18446604465186242944 0 0 -1 1 0 0 0
[pid=2594/tid=2609] ppid=2592 vsize=13640360 CPUtime=0.48 cores=1,3,5,7
/proc/2594/task/2609/stat : 2609 (java) S 2592 2594 31166 0 -1 4202560 6306 0 0 0 48 0 0 0 15 0 19 0 827446319 13967728640 26864 33554432000 1073741824 1073778376 140736989622096 18446744073709551615 251826056089 0 4 0 16800975 18446604465186242944 0 0 -1 7 0 0 0
[pid=2594/tid=2610] ppid=2592 vsize=13640360 CPUtime=0.58 cores=1,3,5,7
/proc/2594/task/2610/stat : 2610 (java) S 2592 2594 31166 0 -1 4202560 7938 0 0 0 58 0 0 0 15 0 19 0 827446319 13967728640 26864 33554432000 1073741824 1073778376 140736989622096 18446744073709551615 251826056089 0 4 0 16800975 18446604465186242944 0 0 -1 5 0 0 0
[pid=2594/tid=2611] ppid=2592 vsize=13640360 CPUtime=0 cores=1,3,5,7
/proc/2594/task/2611/stat : 2611 (java) S 2592 2594 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827446319 13967728640 26864 33554432000 1073741824 1073778376 140736989622096 18446744073709551615 251826056089 0 4 0 16800975 18446604465186242944 0 0 -1 1 0 0 0
[pid=2594/tid=2612] ppid=2592 vsize=13640360 CPUtime=0 cores=1,3,5,7
/proc/2594/task/2612/stat : 2612 (java) S 2592 2594 31166 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 827446319 13967728640 26864 33554432000 1073741824 1073778376 140736989622096 18446744073709551615 251826056704 0 4 0 16800975 18446604465186242944 0 0 -1 7 0 0 0
[pid=2594/tid=2613] ppid=2592 vsize=13640360 CPUtime=0 cores=1,3,5,7
/proc/2594/task/2613/stat : 2613 (java) S 2592 2594 31166 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 827446333 13967728640 26864 33554432000 1073741824 1073778376 140736989622096 18446744073709551615 251826056704 0 4 0 16800975 18446604465186242944 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 69.96
Current children cumulated vsize (KiB) 13640360

[startup+69.1009 s]
/proc/loadavg: 2.12 2.05 1.95 3/598 3065
/proc/meminfo: memFree=29926932/32950928 swapFree=41528364/67111528
[pid=2594] ppid=2592 vsize=13640360 CPUtime=70.36 cores=1,3,5,7
/proc/2594/stat : 2594 (java) S 2592 2594 31166 0 -1 4202496 35921 0 1 0 7029 7 0 0 25 0 19 0 827446313 13967728640 26864 33554432000 1073741824 1073778376 140736989622096 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/2594/statm: 3410090 26864 2251 9 0 3400824 0
[pid=2594/tid=2595] ppid=2592 vsize=13640360 CPUtime=67.03 cores=1,3,5,7
/proc/2594/task/2595/stat : 2595 (java) R 2592 2594 31166 0 -1 4202560 15070 0 1 0 6701 2 0 0 25 0 19 0 827446313 13967728640 26864 33554432000 1073741824 1073778376 140736989622096 18446744073709551615 46912505537291 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=2594/tid=2597] ppid=2592 vsize=13640360 CPUtime=0.04 cores=1,3,5,7
/proc/2594/task/2597/stat : 2597 (java) S 2592 2594 31166 0 -1 4202560 237 0 0 0 4 0 0 0 15 0 19 0 827446315 13967728640 26864 33554432000 1073741824 1073778376 140736989622096 18446744073709551615 251826056089 0 4 0 16800975 18446604465186242944 0 0 -1 7 0 0 0
[pid=2594/tid=2598] ppid=2592 vsize=13640360 CPUtime=0.04 cores=1,3,5,7
/proc/2594/task/2598/stat : 2598 (java) S 2592 2594 31166 0 -1 4202560 13 0 0 0 4 0 0 0 15 0 19 0 827446315 13967728640 26864 33554432000 1073741824 1073778376 140736989622096 18446744073709551615 251826056089 0 4 0 16800975 18446604465186242944 0 0 -1 7 0 0 0
[pid=2594/tid=2599] ppid=2592 vsize=13640360 CPUtime=0.03 cores=1,3,5,7
/proc/2594/task/2599/stat : 2599 (java) S 2592 2594 31166 0 -1 4202560 219 0 0 0 3 0 0 0 15 0 19 0 827446315 13967728640 26864 33554432000 1073741824 1073778376 140736989622096 18446744073709551615 251826056089 0 4 0 16800975 18446604465186242944 0 0 -1 7 0 0 0
[pid=2594/tid=2600] ppid=2592 vsize=13640360 CPUtime=0.04 cores=1,3,5,7
/proc/2594/task/2600/stat : 2600 (java) S 2592 2594 31166 0 -1 4202560 137 0 0 0 4 0 0 0 15 0 19 0 827446315 13967728640 26864 33554432000 1073741824 1073778376 140736989622096 18446744073709551615 251826056089 0 4 0 16800975 18446604465186242944 0 0 -1 5 0 0 0
[pid=2594/tid=2601] ppid=2592 vsize=13640360 CPUtime=0.04 cores=1,3,5,7
/proc/2594/task/2601/stat : 2601 (java) S 2592 2594 31166 0 -1 4202560 67 0 0 0 4 0 0 0 15 0 19 0 827446315 13967728640 26864 33554432000 1073741824 1073778376 140736989622096 18446744073709551615 251826056089 0 4 0 16800975 18446604465186242944 0 0 -1 5 0 0 0
[pid=2594/tid=2602] ppid=2592 vsize=13640360 CPUtime=0.04 cores=1,3,5,7
/proc/2594/task/2602/stat : 2602 (java) S 2592 2594 31166 0 -1 4202560 196 0 0 0 4 0 0 0 16 0 19 0 827446315 13967728640 26864 33554432000 1073741824 1073778376 140736989622096 18446744073709551615 251826056089 0 4 0 16800975 18446604465186242944 0 0 -1 7 0 0 0
[pid=2594/tid=2603] ppid=2592 vsize=13640360 CPUtime=0.05 cores=1,3,5,7
/proc/2594/task/2603/stat : 2603 (java) S 2592 2594 31166 0 -1 4202560 197 0 0 0 5 0 0 0 15 0 19 0 827446315 13967728640 26864 33554432000 1073741824 1073778376 140736989622096 18446744073709551615 251826056089 0 4 0 16800975 18446604465186242944 0 0 -1 5 0 0 0
[pid=2594/tid=2604] ppid=2592 vsize=13640360 CPUtime=0.05 cores=1,3,5,7
/proc/2594/task/2604/stat : 2604 (java) S 2592 2594 31166 0 -1 4202560 379 0 0 0 5 0 0 0 15 0 19 0 827446315 13967728640 26864 33554432000 1073741824 1073778376 140736989622096 18446744073709551615 251826056089 0 4 0 16800975 18446604465186242944 0 0 -1 7 0 0 0
[pid=2594/tid=2605] ppid=2592 vsize=13640360 CPUtime=1.84 cores=1,3,5,7
/proc/2594/task/2605/stat : 2605 (java) S 2592 2594 31166 0 -1 4202560 4007 0 0 0 183 1 0 0 16 0 19 0 827446316 13967728640 26864 33554432000 1073741824 1073778376 140736989622096 18446744073709551615 251826056704 0 0 0 16800975 18446604465186242944 0 0 -1 1 0 0 0
[pid=2594/tid=2606] ppid=2592 vsize=13640360 CPUtime=0 cores=1,3,5,7
/proc/2594/task/2606/stat : 2606 (java) S 2592 2594 31166 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 827446317 13967728640 26864 33554432000 1073741824 1073778376 140736989622096 18446744073709551615 251826056089 0 4 0 16800975 18446604465186242944 0 0 -1 1 0 0 0
[pid=2594/tid=2607] ppid=2592 vsize=13640360 CPUtime=0 cores=1,3,5,7
/proc/2594/task/2607/stat : 2607 (java) S 2592 2594 31166 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 827446317 13967728640 26864 33554432000 1073741824 1073778376 140736989622096 18446744073709551615 251826056089 0 4 0 16800975 18446604465186242944 0 0 -1 1 0 0 0
[pid=2594/tid=2608] ppid=2592 vsize=13640360 CPUtime=0 cores=1,3,5,7
/proc/2594/task/2608/stat : 2608 (java) S 2592 2594 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827446319 13967728640 26864 33554432000 1073741824 1073778376 140736989622096 18446744073709551615 251826063793 0 4 0 16800975 18446604465186242944 0 0 -1 1 0 0 0
[pid=2594/tid=2609] ppid=2592 vsize=13640360 CPUtime=0.48 cores=1,3,5,7
/proc/2594/task/2609/stat : 2609 (java) S 2592 2594 31166 0 -1 4202560 6306 0 0 0 48 0 0 0 15 0 19 0 827446319 13967728640 26864 33554432000 1073741824 1073778376 140736989622096 18446744073709551615 251826056089 0 4 0 16800975 18446604465186242944 0 0 -1 7 0 0 0
[pid=2594/tid=2610] ppid=2592 vsize=13640360 CPUtime=0.58 cores=1,3,5,7
/proc/2594/task/2610/stat : 2610 (java) S 2592 2594 31166 0 -1 4202560 7938 0 0 0 58 0 0 0 15 0 19 0 827446319 13967728640 26864 33554432000 1073741824 1073778376 140736989622096 18446744073709551615 251826056089 0 4 0 16800975 18446604465186242944 0 0 -1 5 0 0 0
[pid=2594/tid=2611] ppid=2592 vsize=13640360 CPUtime=0 cores=1,3,5,7
/proc/2594/task/2611/stat : 2611 (java) S 2592 2594 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827446319 13967728640 26864 33554432000 1073741824 1073778376 140736989622096 18446744073709551615 251826056089 0 4 0 16800975 18446604465186242944 0 0 -1 1 0 0 0
[pid=2594/tid=2612] ppid=2592 vsize=13640360 CPUtime=0 cores=1,3,5,7
/proc/2594/task/2612/stat : 2612 (java) S 2592 2594 31166 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 827446319 13967728640 26864 33554432000 1073741824 1073778376 140736989622096 18446744073709551615 251826056704 0 4 0 16800975 18446604465186242944 0 0 -1 7 0 0 0
[pid=2594/tid=2613] ppid=2592 vsize=13640360 CPUtime=0 cores=1,3,5,7
/proc/2594/task/2613/stat : 2613 (java) S 2592 2594 31166 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 827446333 13967728640 26864 33554432000 1073741824 1073778376 140736989622096 18446744073709551615 251826056704 0 4 0 16800975 18446604465186242944 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 70.36
Current children cumulated vsize (KiB) 13640360

[startup+69.5008 s]
/proc/loadavg: 2.12 2.05 1.95 3/598 3065
/proc/meminfo: memFree=29926932/32950928 swapFree=41528364/67111528
[pid=2594] ppid=2592 vsize=13640360 CPUtime=70.77 cores=1,3,5,7
/proc/2594/stat : 2594 (java) S 2592 2594 31166 0 -1 4202496 35943 0 1 0 7070 7 0 0 25 0 19 0 827446313 13967728640 26885 33554432000 1073741824 1073778376 140736989622096 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/2594/statm: 3410090 26885 2251 9 0 3400824 0
[pid=2594/tid=2595] ppid=2592 vsize=13640360 CPUtime=67.4 cores=1,3,5,7
/proc/2594/task/2595/stat : 2595 (java) R 2592 2594 31166 0 -1 4202560 15071 0 1 0 6738 2 0 0 25 0 19 0 827446313 13967728640 26885 33554432000 1073741824 1073778376 140736989622096 18446744073709551615 46912505536787 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=2594/tid=2597] ppid=2592 vsize=13640360 CPUtime=0.04 cores=1,3,5,7
/proc/2594/task/2597/stat : 2597 (java) S 2592 2594 31166 0 -1 4202560 237 0 0 0 4 0 0 0 15 0 19 0 827446315 13967728640 26885 33554432000 1073741824 1073778376 140736989622096 18446744073709551615 251826056089 0 4 0 16800975 18446604465186242944 0 0 -1 7 0 0 0
[pid=2594/tid=2598] ppid=2592 vsize=13640360 CPUtime=0.05 cores=1,3,5,7
/proc/2594/task/2598/stat : 2598 (java) S 2592 2594 31166 0 -1 4202560 13 0 0 0 5 0 0 0 15 0 19 0 827446315 13967728640 26885 33554432000 1073741824 1073778376 140736989622096 18446744073709551615 251826056089 0 4 0 16800975 18446604465186242944 0 0 -1 7 0 0 0
[pid=2594/tid=2599] ppid=2592 vsize=13640360 CPUtime=0.03 cores=1,3,5,7
/proc/2594/task/2599/stat : 2599 (java) S 2592 2594 31166 0 -1 4202560 219 0 0 0 3 0 0 0 15 0 19 0 827446315 13967728640 26885 33554432000 1073741824 1073778376 140736989622096 18446744073709551615 251826056089 0 4 0 16800975 18446604465186242944 0 0 -1 7 0 0 0
[pid=2594/tid=2600] ppid=2592 vsize=13640360 CPUtime=0.04 cores=1,3,5,7
/proc/2594/task/2600/stat : 2600 (java) S 2592 2594 31166 0 -1 4202560 137 0 0 0 4 0 0 0 16 0 19 0 827446315 13967728640 26885 33554432000 1073741824 1073778376 140736989622096 18446744073709551615 251826056089 0 4 0 16800975 18446604465186242944 0 0 -1 5 0 0 0
[pid=2594/tid=2601] ppid=2592 vsize=13640360 CPUtime=0.04 cores=1,3,5,7
/proc/2594/task/2601/stat : 2601 (java) S 2592 2594 31166 0 -1 4202560 67 0 0 0 4 0 0 0 15 0 19 0 827446315 13967728640 26885 33554432000 1073741824 1073778376 140736989622096 18446744073709551615 251826056089 0 4 0 16800975 18446604465186242944 0 0 -1 5 0 0 0
[pid=2594/tid=2602] ppid=2592 vsize=13640360 CPUtime=0.04 cores=1,3,5,7
/proc/2594/task/2602/stat : 2602 (java) S 2592 2594 31166 0 -1 4202560 196 0 0 0 4 0 0 0 16 0 19 0 827446315 13967728640 26885 33554432000 1073741824 1073778376 140736989622096 18446744073709551615 251826056089 0 4 0 16800975 18446604465186242944 0 0 -1 7 0 0 0
[pid=2594/tid=2603] ppid=2592 vsize=13640360 CPUtime=0.05 cores=1,3,5,7
/proc/2594/task/2603/stat : 2603 (java) S 2592 2594 31166 0 -1 4202560 197 0 0 0 5 0 0 0 15 0 19 0 827446315 13967728640 26885 33554432000 1073741824 1073778376 140736989622096 18446744073709551615 251826056089 0 4 0 16800975 18446604465186242944 0 0 -1 5 0 0 0
[pid=2594/tid=2604] ppid=2592 vsize=13640360 CPUtime=0.05 cores=1,3,5,7
/proc/2594/task/2604/stat : 2604 (java) S 2592 2594 31166 0 -1 4202560 379 0 0 0 5 0 0 0 15 0 19 0 827446315 13967728640 26885 33554432000 1073741824 1073778376 140736989622096 18446744073709551615 251826056089 0 4 0 16800975 18446604465186242944 0 0 -1 7 0 0 0
[pid=2594/tid=2605] ppid=2592 vsize=13640360 CPUtime=1.86 cores=1,3,5,7
/proc/2594/task/2605/stat : 2605 (java) S 2592 2594 31166 0 -1 4202560 4028 0 0 0 185 1 0 0 16 0 19 0 827446316 13967728640 26885 33554432000 1073741824 1073778376 140736989622096 18446744073709551615 251826056704 0 0 0 16800975 18446604465186242944 0 0 -1 1 0 0 0
[pid=2594/tid=2606] ppid=2592 vsize=13640360 CPUtime=0 cores=1,3,5,7
/proc/2594/task/2606/stat : 2606 (java) S 2592 2594 31166 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 827446317 13967728640 26885 33554432000 1073741824 1073778376 140736989622096 18446744073709551615 251826056089 0 4 0 16800975 18446604465186242944 0 0 -1 1 0 0 0
[pid=2594/tid=2607] ppid=2592 vsize=13640360 CPUtime=0 cores=1,3,5,7
/proc/2594/task/2607/stat : 2607 (java) S 2592 2594 31166 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 827446317 13967728640 26885 33554432000 1073741824 1073778376 140736989622096 18446744073709551615 251826056089 0 4 0 16800975 18446604465186242944 0 0 -1 1 0 0 0
[pid=2594/tid=2608] ppid=2592 vsize=13640360 CPUtime=0 cores=1,3,5,7
/proc/2594/task/2608/stat : 2608 (java) S 2592 2594 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827446319 13967728640 26885 33554432000 1073741824 1073778376 140736989622096 18446744073709551615 251826063793 0 4 0 16800975 18446604465186242944 0 0 -1 1 0 0 0
[pid=2594/tid=2609] ppid=2592 vsize=13640360 CPUtime=0.48 cores=1,3,5,7
/proc/2594/task/2609/stat : 2609 (java) S 2592 2594 31166 0 -1 4202560 6306 0 0 0 48 0 0 0 15 0 19 0 827446319 13967728640 26885 33554432000 1073741824 1073778376 140736989622096 18446744073709551615 251826056089 0 4 0 16800975 18446604465186242944 0 0 -1 7 0 0 0
[pid=2594/tid=2610] ppid=2592 vsize=13640360 CPUtime=0.58 cores=1,3,5,7
/proc/2594/task/2610/stat : 2610 (java) S 2592 2594 31166 0 -1 4202560 7938 0 0 0 58 0 0 0 15 0 19 0 827446319 13967728640 26885 33554432000 1073741824 1073778376 140736989622096 18446744073709551615 251826056089 0 4 0 16800975 18446604465186242944 0 0 -1 5 0 0 0
[pid=2594/tid=2611] ppid=2592 vsize=13640360 CPUtime=0 cores=1,3,5,7
/proc/2594/task/2611/stat : 2611 (java) S 2592 2594 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827446319 13967728640 26885 33554432000 1073741824 1073778376 140736989622096 18446744073709551615 251826056089 0 4 0 16800975 18446604465186242944 0 0 -1 1 0 0 0
[pid=2594/tid=2612] ppid=2592 vsize=13640360 CPUtime=0 cores=1,3,5,7
/proc/2594/task/2612/stat : 2612 (java) S 2592 2594 31166 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 827446319 13967728640 26885 33554432000 1073741824 1073778376 140736989622096 18446744073709551615 251826056704 0 4 0 16800975 18446604465186242944 0 0 -1 7 0 0 0
[pid=2594/tid=2613] ppid=2592 vsize=13640360 CPUtime=0 cores=1,3,5,7
/proc/2594/task/2613/stat : 2613 (java) S 2592 2594 31166 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 827446333 13967728640 26885 33554432000 1073741824 1073778376 140736989622096 18446744073709551615 251826056704 0 4 0 16800975 18446604465186242944 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 70.77
Current children cumulated vsize (KiB) 13640360

[startup+69.6008 s]
/proc/loadavg: 2.12 2.05 1.95 3/598 3065
/proc/meminfo: memFree=29926932/32950928 swapFree=41528364/67111528
[pid=2594] ppid=2592 vsize=13640360 CPUtime=70.87 cores=1,3,5,7
/proc/2594/stat : 2594 (java) S 2592 2594 31166 0 -1 4202496 35943 0 1 0 7080 7 0 0 25 0 19 0 827446313 13967728640 26885 33554432000 1073741824 1073778376 140736989622096 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/2594/statm: 3410090 26885 2251 9 0 3400824 0
[pid=2594/tid=2595] ppid=2592 vsize=13640360 CPUtime=67.5 cores=1,3,5,7
/proc/2594/task/2595/stat : 2595 (java) R 2592 2594 31166 0 -1 4202560 15071 0 1 0 6748 2 0 0 25 0 19 0 827446313 13967728640 26885 33554432000 1073741824 1073778376 140736989622096 18446744073709551615 46912505618919 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=2594/tid=2597] ppid=2592 vsize=13640360 CPUtime=0.04 cores=1,3,5,7
/proc/2594/task/2597/stat : 2597 (java) S 2592 2594 31166 0 -1 4202560 237 0 0 0 4 0 0 0 15 0 19 0 827446315 13967728640 26885 33554432000 1073741824 1073778376 140736989622096 18446744073709551615 251826056089 0 4 0 16800975 18446604465186242944 0 0 -1 7 0 0 0
[pid=2594/tid=2598] ppid=2592 vsize=13640360 CPUtime=0.05 cores=1,3,5,7
/proc/2594/task/2598/stat : 2598 (java) S 2592 2594 31166 0 -1 4202560 13 0 0 0 5 0 0 0 15 0 19 0 827446315 13967728640 26885 33554432000 1073741824 1073778376 140736989622096 18446744073709551615 251826056089 0 4 0 16800975 18446604465186242944 0 0 -1 7 0 0 0
[pid=2594/tid=2599] ppid=2592 vsize=13640360 CPUtime=0.03 cores=1,3,5,7
/proc/2594/task/2599/stat : 2599 (java) S 2592 2594 31166 0 -1 4202560 219 0 0 0 3 0 0 0 15 0 19 0 827446315 13967728640 26885 33554432000 1073741824 1073778376 140736989622096 18446744073709551615 251826056089 0 4 0 16800975 18446604465186242944 0 0 -1 7 0 0 0
[pid=2594/tid=2600] ppid=2592 vsize=13640360 CPUtime=0.04 cores=1,3,5,7
/proc/2594/task/2600/stat : 2600 (java) S 2592 2594 31166 0 -1 4202560 137 0 0 0 4 0 0 0 16 0 19 0 827446315 13967728640 26885 33554432000 1073741824 1073778376 140736989622096 18446744073709551615 251826056089 0 4 0 16800975 18446604465186242944 0 0 -1 5 0 0 0
[pid=2594/tid=2601] ppid=2592 vsize=13640360 CPUtime=0.04 cores=1,3,5,7
/proc/2594/task/2601/stat : 2601 (java) S 2592 2594 31166 0 -1 4202560 67 0 0 0 4 0 0 0 15 0 19 0 827446315 13967728640 26885 33554432000 1073741824 1073778376 140736989622096 18446744073709551615 251826056089 0 4 0 16800975 18446604465186242944 0 0 -1 5 0 0 0
[pid=2594/tid=2602] ppid=2592 vsize=13640360 CPUtime=0.04 cores=1,3,5,7
/proc/2594/task/2602/stat : 2602 (java) S 2592 2594 31166 0 -1 4202560 196 0 0 0 4 0 0 0 16 0 19 0 827446315 13967728640 26885 33554432000 1073741824 1073778376 140736989622096 18446744073709551615 251826056089 0 4 0 16800975 18446604465186242944 0 0 -1 7 0 0 0
[pid=2594/tid=2603] ppid=2592 vsize=13640360 CPUtime=0.05 cores=1,3,5,7
/proc/2594/task/2603/stat : 2603 (java) S 2592 2594 31166 0 -1 4202560 197 0 0 0 5 0 0 0 15 0 19 0 827446315 13967728640 26885 33554432000 1073741824 1073778376 140736989622096 18446744073709551615 251826056089 0 4 0 16800975 18446604465186242944 0 0 -1 5 0 0 0
[pid=2594/tid=2604] ppid=2592 vsize=13640360 CPUtime=0.05 cores=1,3,5,7
/proc/2594/task/2604/stat : 2604 (java) S 2592 2594 31166 0 -1 4202560 379 0 0 0 5 0 0 0 15 0 19 0 827446315 13967728640 26885 33554432000 1073741824 1073778376 140736989622096 18446744073709551615 251826056089 0 4 0 16800975 18446604465186242944 0 0 -1 7 0 0 0
[pid=2594/tid=2605] ppid=2592 vsize=13640360 CPUtime=1.86 cores=1,3,5,7
/proc/2594/task/2605/stat : 2605 (java) S 2592 2594 31166 0 -1 4202560 4028 0 0 0 185 1 0 0 16 0 19 0 827446316 13967728640 26885 33554432000 1073741824 1073778376 140736989622096 18446744073709551615 251826056704 0 0 0 16800975 18446604465186242944 0 0 -1 1 0 0 0
[pid=2594/tid=2606] ppid=2592 vsize=13640360 CPUtime=0 cores=1,3,5,7
/proc/2594/task/2606/stat : 2606 (java) S 2592 2594 31166 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 827446317 13967728640 26885 33554432000 1073741824 1073778376 140736989622096 18446744073709551615 251826056089 0 4 0 16800975 18446604465186242944 0 0 -1 1 0 0 0
[pid=2594/tid=2607] ppid=2592 vsize=13640360 CPUtime=0 cores=1,3,5,7
/proc/2594/task/2607/stat : 2607 (java) S 2592 2594 31166 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 827446317 13967728640 26885 33554432000 1073741824 1073778376 140736989622096 18446744073709551615 251826056089 0 4 0 16800975 18446604465186242944 0 0 -1 1 0 0 0
[pid=2594/tid=2608] ppid=2592 vsize=13640360 CPUtime=0 cores=1,3,5,7
/proc/2594/task/2608/stat : 2608 (java) S 2592 2594 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827446319 13967728640 26885 33554432000 1073741824 1073778376 140736989622096 18446744073709551615 251826063793 0 4 0 16800975 18446604465186242944 0 0 -1 1 0 0 0
[pid=2594/tid=2609] ppid=2592 vsize=13640360 CPUtime=0.48 cores=1,3,5,7
/proc/2594/task/2609/stat : 2609 (java) S 2592 2594 31166 0 -1 4202560 6306 0 0 0 48 0 0 0 15 0 19 0 827446319 13967728640 26885 33554432000 1073741824 1073778376 140736989622096 18446744073709551615 251826056089 0 4 0 16800975 18446604465186242944 0 0 -1 7 0 0 0
[pid=2594/tid=2610] ppid=2592 vsize=13640360 CPUtime=0.58 cores=1,3,5,7
/proc/2594/task/2610/stat : 2610 (java) S 2592 2594 31166 0 -1 4202560 7938 0 0 0 58 0 0 0 15 0 19 0 827446319 13967728640 26885 33554432000 1073741824 1073778376 140736989622096 18446744073709551615 251826056089 0 4 0 16800975 18446604465186242944 0 0 -1 5 0 0 0
[pid=2594/tid=2611] ppid=2592 vsize=13640360 CPUtime=0 cores=1,3,5,7
/proc/2594/task/2611/stat : 2611 (java) S 2592 2594 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827446319 13967728640 26885 33554432000 1073741824 1073778376 140736989622096 18446744073709551615 251826056089 0 4 0 16800975 18446604465186242944 0 0 -1 1 0 0 0
[pid=2594/tid=2612] ppid=2592 vsize=13640360 CPUtime=0 cores=1,3,5,7
/proc/2594/task/2612/stat : 2612 (java) S 2592 2594 31166 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 827446319 13967728640 26885 33554432000 1073741824 1073778376 140736989622096 18446744073709551615 251826056704 0 4 0 16800975 18446604465186242944 0 0 -1 7 0 0 0
[pid=2594/tid=2613] ppid=2592 vsize=13640360 CPUtime=0 cores=1,3,5,7
/proc/2594/task/2613/stat : 2613 (java) S 2592 2594 31166 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 827446333 13967728640 26885 33554432000 1073741824 1073778376 140736989622096 18446744073709551615 251826056704 0 4 0 16800975 18446604465186242944 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 70.87
Current children cumulated vsize (KiB) 13640360

Child status: 30
Real time (s): 69.6721
CPU time (s): 70.9532
CPU user time (s): 70.8702
CPU system time (s): 0.082987
CPU usage (%): 101.839
Max. virtual memory (cumulated for all children) (KiB): 13640360

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 70.8702
system time used= 0.082987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35971
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= 4345
involuntary context switches= 1862

runsolver used 0.402938 second user time and 0.932858 second system time

The end

Launcher Data 

Begin job on node126 at 2011-06-04 05:34:36
IDJOB=3458248
IDBENCH=48068
IDSOLVER=1952
FILE ID=node126/3458248-1307158476
RUNJOBID= node126-1307156675-2346
PBS_JOBID= 13508790
Free space on /tmp= 73800 MiB

SOLVER NAME= Sat4j Resolution 2.3.0
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=8-P0=103-P1=223-P2=29-P3=89-P4=173-P5=97-P6=227-P7=89-P8=127-P9=223-B.opb
COMMAND LINE= java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3458248-1307158476/watcher-3458248-1307158476 -o /tmp/evaluation-result-3458248-1307158476/solver-3458248-1307158476 -C 1800 -W 1900 -M 15500  java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458248-1307158476.opb

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

MD5SUM BENCH= 9b7cb599a49db47c0ffbf25416bcef37
RANDOM SEED=694640015

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      30061152 kB
Buffers:        301160 kB
Cached:         451628 kB
SwapCached:      15388 kB
Active:        2151072 kB
Inactive:       418796 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30061152 kB
SwapTotal:    67111528 kB
SwapFree:     41528364 kB
Dirty:             304 kB
Writeback:           0 kB
AnonPages:     1814836 kB
Mapped:          31128 kB
Slab:           147480 kB
PageTables:     100316 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 189811660 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= 73800 MiB
End job on node126 at 2011-06-04 05:35:46