Trace number 3458143

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 48.8646 47.5115

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=8-P0=139-P1=67-P2=211-P3=127-P4=137-P5=173-P6=89-P7=223-P8=227-P9=79-B.opb
MD5SUM651e385f00e2858954d8683e891a1dbe
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 benchmark0.196969
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

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.09	c version 2.3.1.v20110525
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.18-164.el5
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		12995394264
0.00/0.09	c Max memory 		13063553024
0.00/0.09	c Total memory 		13063553024
0.00/0.09	c Number of processors 	8
0.11/0.11	c Pseudo Boolean Optimization
0.11/0.11	c --- Begin Solver configuration ---
0.11/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@13d4c61c
0.11/0.11	c Learn all clauses as in MiniSAT
0.11/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.11	c Expensive reason simplification
0.11/0.11	c Armin Biere (Picosat) restarts strategy
0.11/0.11	c Glucose learned constraints deletion strategy
0.11/0.11	c timeout=2147483s
0.11/0.11	c DB Simplification allowed=false
0.11/0.11	c --- End Solver configuration ---
0.11/0.11	c solving HOME/instance-3458143-1307158198.opb
0.11/0.11	c reading problem ... 
0.11/0.20	c ... done. Wall clock time 0.086s.
0.11/0.20	c #vars     792
0.11/0.20	c #constraints  1180
0.11/0.20	c constraints type 
0.11/0.20	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 576
0.11/0.20	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 604
1.06/0.70	c cleaning 2499 clauses out of 5000 with flag 5000/5000
1.63/1.22	c cleaning 4250 clauses out of 8502 with flag 11001/11001
2.22/1.83	c cleaning 5626 clauses out of 11251 with flag 18000/18000
2.83/2.42	c cleaning 6814 clauses out of 13627 with flag 26002/26002
3.45/3.04	c cleaning 7901 clauses out of 15812 with flag 35001/35001
4.35/3.90	c cleaning 8952 clauses out of 17911 with flag 45002/45002
5.56/5.11	c cleaning 9479 clauses out of 18957 with flag 55000/55000
6.36/5.90	c cleaning 9740 clauses out of 19479 with flag 65001/65001
7.26/6.83	c cleaning 9867 clauses out of 19739 with flag 75001/75001
8.06/7.68	c cleaning 9926 clauses out of 19871 with flag 85000/85000
9.15/8.44	c cleaning 9970 clauses out of 19945 with flag 95001/95001
10.53/9.43	c cleaning 9984 clauses out of 19975 with flag 105001/105001
11.33/10.20	c cleaning 9980 clauses out of 19991 with flag 115001/115001
12.26/11.18	c cleaning 10000 clauses out of 20010 with flag 125000/125000
13.26/12.20	c cleaning 10005 clauses out of 20011 with flag 135001/135001
14.36/13.27	c cleaning 9999 clauses out of 20006 with flag 145001/145001
15.26/14.11	c cleaning 9999 clauses out of 20006 with flag 155001/155001
15.96/14.81	c cleaning 10000 clauses out of 20007 with flag 165001/165001
16.69/15.53	c cleaning 9994 clauses out of 20006 with flag 175000/175000
17.68/16.54	c cleaning 10002 clauses out of 20012 with flag 185000/185000
18.58/17.44	c cleaning 10003 clauses out of 20011 with flag 195001/195001
19.58/18.41	c cleaning 9992 clauses out of 20007 with flag 205000/205000
20.28/19.18	c cleaning 10004 clauses out of 20016 with flag 215001/215001
20.88/19.81	c cleaning 9998 clauses out of 20012 with flag 225001/225001
21.58/20.44	c cleaning 10006 clauses out of 20014 with flag 235001/235001
22.48/21.30	c cleaning 10004 clauses out of 20008 with flag 245001/245001
23.38/22.20	c cleaning 10000 clauses out of 20004 with flag 255001/255001
24.09/22.93	c cleaning 9996 clauses out of 20004 with flag 265001/265001
24.89/23.70	c cleaning 10002 clauses out of 20008 with flag 275001/275001
25.80/24.64	c cleaning 9997 clauses out of 20005 with flag 285000/285000
26.40/25.30	c cleaning 10000 clauses out of 20009 with flag 295001/295001
27.22/26.02	c cleaning 9999 clauses out of 20007 with flag 305001/305001
28.22/27.01	c cleaning 9998 clauses out of 20008 with flag 315001/315001
28.92/27.70	c cleaning 9998 clauses out of 20012 with flag 325003/325003
29.42/28.26	c cleaning 9998 clauses out of 20014 with flag 335003/335003
30.12/28.96	c cleaning 10005 clauses out of 20014 with flag 345001/345001
30.32/29.13	c SATISFIABLE
30.32/29.13	c OPTIMIZING...
30.32/29.13	c Got one! Elapsed wall clock time (in seconds):29.017
30.32/29.13	o 169
30.52/29.31	c cleaning 7917 clauses out of 15862 with flag 3001/350855
30.94/29.74	c cleaning 6958 clauses out of 13944 with flag 9000/356854
31.43/30.28	c cleaning 6981 clauses out of 13986 with flag 16000/363854
32.04/30.87	c cleaning 7492 clauses out of 15005 with flag 24000/371854
32.73/31.53	c cleaning 8249 clauses out of 16513 with flag 33000/380854
33.63/32.45	c cleaning 9127 clauses out of 18265 with flag 43001/390855
34.13/33.01	c Got one! Elapsed wall clock time (in seconds):32.897
34.13/33.01	o 65
34.53/33.36	c cleaning 11924 clauses out of 23879 with flag 5001/405596
34.94/33.71	c cleaning 8956 clauses out of 17957 with flag 11003/411598
35.36/34.15	c cleaning 7973 clauses out of 15998 with flag 18000/418595
35.85/34.66	c cleaning 7985 clauses out of 16025 with flag 26000/426595
36.46/35.25	c cleaning 8498 clauses out of 17042 with flag 35002/435597
37.05/35.85	c cleaning 9266 clauses out of 18542 with flag 45000/445595
37.85/36.61	c cleaning 9636 clauses out of 19277 with flag 55001/455596
38.45/37.27	c cleaning 9819 clauses out of 19639 with flag 65000/465595
39.36/38.10	c cleaning 9904 clauses out of 19821 with flag 75001/475596
39.96/38.77	c cleaning 9955 clauses out of 19916 with flag 85001/485596
40.46/39.21	c Got one! Elapsed wall clock time (in seconds):39.102
40.46/39.21	o 49
40.76/39.50	c cleaning 11094 clauses out of 22234 with flag 5001/497869
41.06/39.87	c cleaning 8544 clauses out of 17140 with flag 11001/503869
41.47/40.21	c Got one! Elapsed wall clock time (in seconds):40.101
41.47/40.21	o 35
41.86/40.67	c cleaning 9878 clauses out of 19788 with flag 5000/515061
42.27/41.05	c cleaning 7936 clauses out of 15911 with flag 11001/521062
42.67/41.49	c cleaning 7466 clauses out of 14975 with flag 18001/528062
43.19/41.95	c cleaning 7734 clauses out of 15509 with flag 26001/536062
43.19/41.99	c Got one! Elapsed wall clock time (in seconds):41.88
43.19/41.99	o 7
43.47/42.23	c cleaning 6531 clauses out of 13113 with flag 5002/541400
43.78/42.55	c cleaning 6266 clauses out of 12581 with flag 11001/547399
44.19/42.96	c cleaning 6634 clauses out of 13314 with flag 18000/554398
44.68/43.43	c cleaning 7316 clauses out of 14680 with flag 26000/562398
45.18/43.99	c cleaning 8181 clauses out of 16364 with flag 35000/571398
45.98/44.76	c cleaning 9092 clauses out of 18183 with flag 45000/581398
46.08/44.85	c Got one! Elapsed wall clock time (in seconds):44.745
46.08/44.85	o 3
46.33/45.09	c cleaning 7055 clauses out of 14139 with flag 4000/586447
46.84/45.53	c cleaning 6525 clauses out of 13084 with flag 10000/592447
47.34/46.06	c cleaning 6768 clauses out of 13560 with flag 17001/599448
47.94/46.67	c cleaning 7383 clauses out of 14791 with flag 25000/607447
48.65/47.40	c cleaning 8203 clauses out of 16407 with flag 34000/616447
48.84/47.50	c starts		: 158
48.84/47.50	c conflicts		: 617459
48.84/47.50	c decisions		: 642047
48.84/47.50	c propagations		: 12838716
48.84/47.50	c inspects		: 373778165
48.84/47.50	c shortcuts		: 0
48.84/47.50	c learnt literals	: 12
48.84/47.50	c learnt binary clauses	: 46
48.84/47.50	c learnt ternary clauses	: 152
48.84/47.50	c learnt constraints	: 617446
48.84/47.50	c ignored constraints	: 0
48.84/47.50	c root simplifications	: 0
48.84/47.50	c removed literals (reason simplification)	: 19345809
48.84/47.50	c reason swapping (by a shorter reason)	: 0
48.84/47.50	c Calls to reduceDB	: 69
48.84/47.50	c number of reductions to clauses (during analyze)	: 0
48.84/47.50	c number of learned constraints concerned by reduction	: 0
48.84/47.50	c number of learning phase by resolution	: 0
48.84/47.50	c number of learning phase by cutting planes	: 0
48.84/47.50	c speed (assignments/second)	: 4852122.448979592
48.84/47.50	c non guided choices	8148
48.84/47.50	c learnt constraints type 
48.84/47.50	c constraints type 
48.84/47.50	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 576
48.84/47.50	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 604
48.84/47.50	s OPTIMUM FOUND
48.84/47.50	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 
48.84/47.50	c objective function=3
48.84/47.50	c Total wall clock time (in seconds): 47.392

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-3458143-1307158198/watcher-3458143-1307158198 -o /tmp/evaluation-result-3458143-1307158198/solver-3458143-1307158198 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458143-1307158198.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.05 2.06 2.01 2/533 15555
/proc/meminfo: memFree=23045344/32950928 swapFree=58671692/67111528
[pid=15555] ppid=15553 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/15555/stat : 15555 (java) S 15553 15555 10738 0 -1 4202496 4301 0 1 0 0 0 0 0 25 0 2 0 906050515 13850947584 4004 33554432000 1073741824 1073778376 140737321151088 18446744073709551615 256427194341 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/15555/statm: 3381579 4017 917 9 0 3372735 0
[pid=15555/tid=15556] ppid=15553 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/15555/task/15556/stat : 15556 (java) R 15553 15555 10738 0 -1 4202560 8106 0 1 0 0 0 0 0 25 0 2 0 906050515 13850947584 8922 33554432000 1073741824 1073778376 140737321151088 18446744073709551615 256415085627 0 4 0 16784584 0 0 0 -1 1 0 0 0

[startup+0.105742 s]
/proc/loadavg: 2.05 2.06 2.01 2/533 15555
/proc/meminfo: memFree=23045344/32950928 swapFree=58671692/67111528
[pid=15555] ppid=15553 vsize=13622608 CPUtime=0.11 cores=1,3,5,7
/proc/15555/stat : 15555 (java) S 15553 15555 10738 0 -1 4202496 15608 0 1 0 9 2 0 0 25 0 18 0 906050515 13949550592 15306 33554432000 1073741824 1073778376 140737321151088 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15555/statm: 3405652 15307 2092 9 0 3396386 0
[pid=15555/tid=15556] ppid=15553 vsize=13622608 CPUtime=0.09 cores=1,3,5,7
/proc/15555/task/15556/stat : 15556 (java) R 15553 15555 10738 0 -1 4202560 13690 0 1 0 8 1 0 0 22 0 18 0 906050515 13949550592 15309 33554432000 1073741824 1073778376 140737321151088 18446744073709551615 47154750511955 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 13622608

[startup+0.204791 s]
/proc/loadavg: 2.05 2.06 2.01 2/533 15555
/proc/meminfo: memFree=23045344/32950928 swapFree=58671692/67111528
[pid=15555] ppid=15553 vsize=13624660 CPUtime=0.26 cores=1,3,5,7
/proc/15555/stat : 15555 (java) S 15553 15555 10738 0 -1 4202496 16545 0 1 0 24 2 0 0 25 0 19 0 906050515 13951651840 16243 33554432000 1073741824 1073778376 140737321151088 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15555/statm: 3406165 16243 2181 9 0 3396899 0
[pid=15555/tid=15556] ppid=15553 vsize=13624660 CPUtime=0.19 cores=1,3,5,7
/proc/15555/task/15556/stat : 15556 (java) R 15553 15555 10738 0 -1 4202560 14373 0 1 0 17 2 0 0 23 0 19 0 906050515 13951651840 16243 33554432000 1073741824 1073778376 140737321151088 18446744073709551615 46912505181942 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 13624660

[startup+0.3067 s]
/proc/loadavg: 2.05 2.06 2.01 2/533 15555
/proc/meminfo: memFree=23045344/32950928 swapFree=58671692/67111528
[pid=15555] ppid=15553 vsize=13628756 CPUtime=0.56 cores=1,3,5,7
/proc/15555/stat : 15555 (java) S 15553 15555 10738 0 -1 4202496 18869 0 1 0 54 2 0 0 25 0 19 0 906050515 13955846144 17886 33554432000 1073741824 1073778376 140737321151088 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15555/statm: 3407189 17886 2216 9 0 3397923 0
[pid=15555/tid=15556] ppid=15553 vsize=13628756 CPUtime=0.29 cores=1,3,5,7
/proc/15555/task/15556/stat : 15556 (java) R 15553 15555 10738 0 -1 4202560 14439 0 1 0 27 2 0 0 23 0 19 0 906050515 13955846144 17886 33554432000 1073741824 1073778376 140737321151088 18446744073709551615 46912505176688 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 13628756

[startup+0.700572 s]
/proc/loadavg: 2.05 2.06 2.01 2/533 15555
/proc/meminfo: memFree=23045344/32950928 swapFree=58671692/67111528
[pid=15555] ppid=15553 vsize=13628756 CPUtime=1.06 cores=1,3,5,7
/proc/15555/stat : 15555 (java) S 15553 15555 10738 0 -1 4202496 19352 0 1 0 104 2 0 0 25 0 19 0 906050515 13955846144 18369 33554432000 1073741824 1073778376 140737321151088 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15555/statm: 3407189 18369 2223 9 0 3397923 0
[pid=15555/tid=15556] ppid=15553 vsize=13628756 CPUtime=0.69 cores=1,3,5,7
/proc/15555/task/15556/stat : 15556 (java) R 15553 15555 10738 0 -1 4202560 14879 0 1 0 67 2 0 0 25 0 19 0 906050515 13955846144 18369 33554432000 1073741824 1073778376 140737321151088 18446744073709551615 47154746033043 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.06
Current children cumulated vsize (KiB) 13628756

[startup+1.50142 s]
/proc/loadavg: 2.05 2.06 2.01 3/552 15574
/proc/meminfo: memFree=22976132/32950928 swapFree=58671692/67111528
[pid=15555] ppid=15553 vsize=13628756 CPUtime=1.92 cores=1,3,5,7
/proc/15555/stat : 15555 (java) S 15553 15555 10738 0 -1 4202496 20824 0 1 0 189 3 0 0 25 0 19 0 906050515 13955846144 19837 33554432000 1073741824 1073778376 140737321151088 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15555/statm: 3407189 19837 2248 9 0 3397923 0
[pid=15555/tid=15556] ppid=15553 vsize=13628756 CPUtime=1.45 cores=1,3,5,7
/proc/15555/task/15556/stat : 15556 (java) R 15553 15555 10738 0 -1 4202560 14886 0 1 0 143 2 0 0 25 0 19 0 906050515 13955846144 19837 33554432000 1073741824 1073778376 140737321151088 18446744073709551615 46912505643415 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=15555/tid=15558] ppid=15553 vsize=13628756 CPUtime=0 cores=1,3,5,7
/proc/15555/task/15558/stat : 15558 (java) S 15553 15555 10738 0 -1 4202560 223 0 0 0 0 0 0 0 15 0 19 0 906050517 13955846144 19837 33554432000 1073741824 1073778376 140737321151088 18446744073709551615 256427207577 0 4 0 16800975 18446604470312286080 0 0 -1 7 0 0 0
[pid=15555/tid=15559] ppid=15553 vsize=13628756 CPUtime=0 cores=1,3,5,7
/proc/15555/task/15559/stat : 15559 (java) S 15553 15555 10738 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906050517 13955846144 19837 33554432000 1073741824 1073778376 140737321151088 18446744073709551615 256427207577 0 4 0 16800975 18446604470312286080 0 0 -1 7 0 0 0
[pid=15555/tid=15560] ppid=15553 vsize=13628756 CPUtime=0 cores=1,3,5,7
/proc/15555/task/15560/stat : 15560 (java) S 15553 15555 10738 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906050517 13955846144 19837 33554432000 1073741824 1073778376 140737321151088 18446744073709551615 256427207577 0 4 0 16800975 18446604470312286080 0 0 -1 7 0 0 0
[pid=15555/tid=15561] ppid=15553 vsize=13628756 CPUtime=0 cores=1,3,5,7
/proc/15555/task/15561/stat : 15561 (java) S 15553 15555 10738 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906050517 13955846144 19837 33554432000 1073741824 1073778376 140737321151088 18446744073709551615 256427207577 0 4 0 16800975 18446604470312286080 0 0 -1 7 0 0 0
[pid=15555/tid=15562] ppid=15553 vsize=13628756 CPUtime=0 cores=1,3,5,7
/proc/15555/task/15562/stat : 15562 (java) S 15553 15555 10738 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906050517 13955846144 19837 33554432000 1073741824 1073778376 140737321151088 18446744073709551615 256427207577 0 4 0 16800975 18446604470312286080 0 0 -1 7 0 0 0
[pid=15555/tid=15563] ppid=15553 vsize=13628756 CPUtime=0 cores=1,3,5,7
/proc/15555/task/15563/stat : 15563 (java) S 15553 15555 10738 0 -1 4202560 218 0 0 0 0 0 0 0 15 0 19 0 906050517 13955846144 19837 33554432000 1073741824 1073778376 140737321151088 18446744073709551615 256427207577 0 4 0 16800975 18446604470312286080 0 0 -1 3 0 0 0
[pid=15555/tid=15564] ppid=15553 vsize=13628756 CPUtime=0 cores=1,3,5,7
/proc/15555/task/15564/stat : 15564 (java) S 15553 15555 10738 0 -1 4202560 201 0 0 0 0 0 0 0 15 0 19 0 906050517 13955846144 19837 33554432000 1073741824 1073778376 140737321151088 18446744073709551615 256427207577 0 4 0 16800975 18446604470312286080 0 0 -1 3 0 0 0
[pid=15555/tid=15565] ppid=15553 vsize=13628756 CPUtime=0 cores=1,3,5,7
/proc/15555/task/15565/stat : 15565 (java) S 15553 15555 10738 0 -1 4202560 117 0 0 0 0 0 0 0 15 0 19 0 906050517 13955846144 19837 33554432000 1073741824 1073778376 140737321151088 18446744073709551615 256427207577 0 4 0 16800975 18446604470312286080 0 0 -1 7 0 0 0
[pid=15555/tid=15566] ppid=15553 vsize=13628756 CPUtime=0.02 cores=1,3,5,7
/proc/15555/task/15566/stat : 15566 (java) S 15553 15555 10738 0 -1 4202560 666 0 0 0 2 0 0 0 15 0 19 0 906050518 13955846144 19837 33554432000 1073741824 1073778376 140737321151088 18446744073709551615 256427208192 0 0 0 16800975 18446604470312286080 0 0 -1 1 0 0 0
[pid=15555/tid=15567] ppid=15553 vsize=13628756 CPUtime=0 cores=1,3,5,7
/proc/15555/task/15567/stat : 15567 (java) S 15553 15555 10738 0 -1 4202560 16 0 0 0 0 0 0 0 15 0 19 0 906050519 13955846144 19837 33554432000 1073741824 1073778376 140737321151088 18446744073709551615 256427207577 0 4 0 16800975 18446604470312286080 0 0 -1 1 0 0 0
[pid=15555/tid=15568] ppid=15553 vsize=13628756 CPUtime=0 cores=1,3,5,7
/proc/15555/task/15568/stat : 15568 (java) S 15553 15555 10738 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 19 0 906050519 13955846144 19837 33554432000 1073741824 1073778376 140737321151088 18446744073709551615 256427207577 0 4 0 16800975 18446604470312286080 0 0 -1 7 0 0 0
[pid=15555/tid=15569] ppid=15553 vsize=13628756 CPUtime=0 cores=1,3,5,7
/proc/15555/task/15569/stat : 15569 (java) S 15553 15555 10738 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 906050521 13955846144 19837 33554432000 1073741824 1073778376 140737321151088 18446744073709551615 256427215281 0 4 0 16800975 18446604470312286080 0 0 -1 1 0 0 0
[pid=15555/tid=15570] ppid=15553 vsize=13628756 CPUtime=0.17 cores=1,3,5,7
/proc/15555/task/15570/stat : 15570 (java) S 15553 15555 10738 0 -1 4202560 1526 0 0 0 17 0 0 0 15 0 19 0 906050521 13955846144 19837 33554432000 1073741824 1073778376 140737321151088 18446744073709551615 256427207577 0 4 0 16800975 18446604470312286080 0 0 -1 5 0 0 0
[pid=15555/tid=15571] ppid=15553 vsize=13628756 CPUtime=0.24 cores=1,3,5,7
/proc/15555/task/15571/stat : 15571 (java) S 15553 15555 10738 0 -1 4202560 1833 0 0 0 24 0 0 0 15 0 19 0 906050521 13955846144 19837 33554432000 1073741824 1073778376 140737321151088 18446744073709551615 256427207577 0 4 0 16800975 18446604470312286080 0 0 -1 1 0 0 0
[pid=15555/tid=15572] ppid=15553 vsize=13628756 CPUtime=0 cores=1,3,5,7
/proc/15555/task/15572/stat : 15572 (java) S 15553 15555 10738 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 906050521 13955846144 19837 33554432000 1073741824 1073778376 140737321151088 18446744073709551615 256427207577 0 4 0 16800975 18446604470312286080 0 0 -1 1 0 0 0
[pid=15555/tid=15573] ppid=15553 vsize=13628756 CPUtime=0 cores=1,3,5,7
/proc/15555/task/15573/stat : 15573 (java) S 15553 15555 10738 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906050521 13955846144 19837 33554432000 1073741824 1073778376 140737321151088 18446744073709551615 256427208192 0 4 0 16800975 18446604470312286080 0 0 -1 3 0 0 0
[pid=15555/tid=15574] ppid=15553 vsize=13628756 CPUtime=0 cores=1,3,5,7
/proc/15555/task/15574/stat : 15574 (java) S 15553 15555 10738 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 906050535 13955846144 19837 33554432000 1073741824 1073778376 140737321151088 18446744073709551615 256427208192 0 4 0 16800975 18446604470312286080 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.92
Current children cumulated vsize (KiB) 13628756

[startup+3.10113 s]
/proc/loadavg: 2.05 2.06 2.01 3/552 15574
/proc/meminfo: memFree=22971812/32950928 swapFree=58671692/67111528
[pid=15555] ppid=15553 vsize=13628756 CPUtime=3.55 cores=1,3,5,7
/proc/15555/stat : 15555 (java) S 15553 15555 10738 0 -1 4202496 21427 0 1 0 352 3 0 0 25 0 19 0 906050515 13955846144 20437 33554432000 1073741824 1073778376 140737321151088 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15555/statm: 3407189 20437 2249 9 0 3397923 0
[pid=15555/tid=15556] ppid=15553 vsize=13628756 CPUtime=3 cores=1,3,5,7
/proc/15555/task/15556/stat : 15556 (java) R 15553 15555 10738 0 -1 4202560 14887 0 1 0 298 2 0 0 25 0 19 0 906050515 13955846144 20437 33554432000 1073741824 1073778376 140737321151088 18446744073709551615 46912505613408 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=15555/tid=15558] ppid=15553 vsize=13628756 CPUtime=0 cores=1,3,5,7
/proc/15555/task/15558/stat : 15558 (java) S 15553 15555 10738 0 -1 4202560 277 0 0 0 0 0 0 0 15 0 19 0 906050517 13955846144 20437 33554432000 1073741824 1073778376 140737321151088 18446744073709551615 256427207577 0 4 0 16800975 18446604470312286080 0 0 -1 3 0 0 0
[pid=15555/tid=15559] ppid=15553 vsize=13628756 CPUtime=0 cores=1,3,5,7
/proc/15555/task/15559/stat : 15559 (java) S 15553 15555 10738 0 -1 4202560 41 0 0 0 0 0 0 0 15 0 19 0 906050517 13955846144 20437 33554432000 1073741824 1073778376 140737321151088 18446744073709551615 256427207577 0 4 0 16800975 18446604470312286080 0 0 -1 3 0 0 0
[pid=15555/tid=15560] ppid=15553 vsize=13628756 CPUtime=0 cores=1,3,5,7
/proc/15555/task/15560/stat : 15560 (java) S 15553 15555 10738 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906050517 13955846144 20437 33554432000 1073741824 1073778376 140737321151088 18446744073709551615 256427207577 0 4 0 16800975 18446604470312286080 0 0 -1 7 0 0 0
[pid=15555/tid=15561] ppid=15553 vsize=13628756 CPUtime=0 cores=1,3,5,7
/proc/15555/task/15561/stat : 15561 (java) S 15553 15555 10738 0 -1 4202560 23 0 0 0 0 0 0 0 16 0 19 0 906050517 13955846144 20437 33554432000 1073741824 1073778376 140737321151088 18446744073709551615 256427207577 0 4 0 16800975 18446604470312286080 0 0 -1 7 0 0 0
[pid=15555/tid=15562] ppid=15553 vsize=13628756 CPUtime=0 cores=1,3,5,7
/proc/15555/task/15562/stat : 15562 (java) S 15553 15555 10738 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 906050517 13955846144 20437 33554432000 1073741824 1073778376 140737321151088 18446744073709551615 256427207577 0 4 0 16800975 18446604470312286080 0 0 -1 3 0 0 0
[pid=15555/tid=15563] ppid=15553 vsize=13628756 CPUtime=0 cores=1,3,5,7
/proc/15555/task/15563/stat : 15563 (java) S 15553 15555 10738 0 -1 4202560 218 0 0 0 0 0 0 0 15 0 19 0 906050517 13955846144 20437 33554432000 1073741824 1073778376 140737321151088 18446744073709551615 256427207577 0 4 0 16800975 18446604470312286080 0 0 -1 3 0 0 0
[pid=15555/tid=15564] ppid=15553 vsize=13628756 CPUtime=0 cores=1,3,5,7
/proc/15555/task/15564/stat : 15564 (java) S 15553 15555 10738 0 -1 4202560 201 0 0 0 0 0 0 0 15 0 19 0 906050517 13955846144 20437 33554432000 1073741824 1073778376 140737321151088 18446744073709551615 256427207577 0 4 0 16800975 18446604470312286080 0 0 -1 3 0 0 0
[pid=15555/tid=15565] ppid=15553 vsize=13628756 CPUtime=0 cores=1,3,5,7
/proc/15555/task/15565/stat : 15565 (java) S 15553 15555 10738 0 -1 4202560 236 0 0 0 0 0 0 0 15 0 19 0 906050517 13955846144 20437 33554432000 1073741824 1073778376 140737321151088 18446744073709551615 256427207577 0 4 0 16800975 18446604470312286080 0 0 -1 7 0 0 0
[pid=15555/tid=15566] ppid=15553 vsize=13628756 CPUtime=0.07 cores=1,3,5,7
/proc/15555/task/15566/stat : 15566 (java) S 15553 15555 10738 0 -1 4202560 1021 0 0 0 7 0 0 0 15 0 19 0 906050518 13955846144 20437 33554432000 1073741824 1073778376 140737321151088 18446744073709551615 256427208192 0 0 0 16800975 18446604470312286080 0 0 -1 1 0 0 0
[pid=15555/tid=15567] ppid=15553 vsize=13628756 CPUtime=0 cores=1,3,5,7
/proc/15555/task/15567/stat : 15567 (java) S 15553 15555 10738 0 -1 4202560 16 0 0 0 0 0 0 0 15 0 19 0 906050519 13955846144 20437 33554432000 1073741824 1073778376 140737321151088 18446744073709551615 256427207577 0 4 0 16800975 18446604470312286080 0 0 -1 1 0 0 0
[pid=15555/tid=15568] ppid=15553 vsize=13628756 CPUtime=0 cores=1,3,5,7
/proc/15555/task/15568/stat : 15568 (java) S 15553 15555 10738 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 19 0 906050519 13955846144 20437 33554432000 1073741824 1073778376 140737321151088 18446744073709551615 256427207577 0 4 0 16800975 18446604470312286080 0 0 -1 7 0 0 0
[pid=15555/tid=15569] ppid=15553 vsize=13628756 CPUtime=0 cores=1,3,5,7
/proc/15555/task/15569/stat : 15569 (java) S 15553 15555 10738 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 906050521 13955846144 20437 33554432000 1073741824 1073778376 140737321151088 18446744073709551615 256427215281 0 4 0 16800975 18446604470312286080 0 0 -1 1 0 0 0
[pid=15555/tid=15570] ppid=15553 vsize=13628756 CPUtime=0.2 cores=1,3,5,7
/proc/15555/task/15570/stat : 15570 (java) S 15553 15555 10738 0 -1 4202560 1537 0 0 0 20 0 0 0 15 0 19 0 906050521 13955846144 20437 33554432000 1073741824 1073778376 140737321151088 18446744073709551615 256427207577 0 4 0 16800975 18446604470312286080 0 0 -1 5 0 0 0
[pid=15555/tid=15571] ppid=15553 vsize=13628756 CPUtime=0.24 cores=1,3,5,7
/proc/15555/task/15571/stat : 15571 (java) S 15553 15555 10738 0 -1 4202560 1833 0 0 0 24 0 0 0 15 0 19 0 906050521 13955846144 20437 33554432000 1073741824 1073778376 140737321151088 18446744073709551615 256427207577 0 4 0 16800975 18446604470312286080 0 0 -1 1 0 0 0
[pid=15555/tid=15572] ppid=15553 vsize=13628756 CPUtime=0 cores=1,3,5,7
/proc/15555/task/15572/stat : 15572 (java) S 15553 15555 10738 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 906050521 13955846144 20437 33554432000 1073741824 1073778376 140737321151088 18446744073709551615 256427207577 0 4 0 16800975 18446604470312286080 0 0 -1 1 0 0 0
[pid=15555/tid=15573] ppid=15553 vsize=13628756 CPUtime=0 cores=1,3,5,7
/proc/15555/task/15573/stat : 15573 (java) S 15553 15555 10738 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906050521 13955846144 20437 33554432000 1073741824 1073778376 140737321151088 18446744073709551615 256427208192 0 4 0 16800975 18446604470312286080 0 0 -1 3 0 0 0
[pid=15555/tid=15574] ppid=15553 vsize=13628756 CPUtime=0 cores=1,3,5,7
/proc/15555/task/15574/stat : 15574 (java) S 15553 15555 10738 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 906050535 13955846144 20437 33554432000 1073741824 1073778376 140737321151088 18446744073709551615 256427208192 0 4 0 16800975 18446604470312286080 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.55
Current children cumulated vsize (KiB) 13628756

[startup+6.30151 s]
/proc/loadavg: 2.04 2.06 2.01 3/552 15574
/proc/meminfo: memFree=22967972/32950928 swapFree=58671692/67111528
[pid=15555] ppid=15553 vsize=13628756 CPUtime=6.76 cores=1,3,5,7
/proc/15555/stat : 15555 (java) S 15553 15555 10738 0 -1 4202496 21915 0 1 0 673 3 0 0 25 0 19 0 906050515 13955846144 20919 33554432000 1073741824 1073778376 140737321151088 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15555/statm: 3407189 20919 2249 9 0 3397923 0
[pid=15555/tid=15556] ppid=15553 vsize=13628756 CPUtime=6.14 cores=1,3,5,7
/proc/15555/task/15556/stat : 15556 (java) R 15553 15555 10738 0 -1 4202560 14891 0 1 0 612 2 0 0 25 0 19 0 906050515 13955846144 20919 33554432000 1073741824 1073778376 140737321151088 18446744073709551615 46912505565788 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=15555/tid=15558] ppid=15553 vsize=13628756 CPUtime=0 cores=1,3,5,7
/proc/15555/task/15558/stat : 15558 (java) S 15553 15555 10738 0 -1 4202560 277 0 0 0 0 0 0 0 15 0 19 0 906050517 13955846144 20919 33554432000 1073741824 1073778376 140737321151088 18446744073709551615 256427207577 0 4 0 16800975 18446604470312286080 0 0 -1 3 0 0 0
[pid=15555/tid=15559] ppid=15553 vsize=13628756 CPUtime=0 cores=1,3,5,7
/proc/15555/task/15559/stat : 15559 (java) S 15553 15555 10738 0 -1 4202560 41 0 0 0 0 0 0 0 15 0 19 0 906050517 13955846144 20919 33554432000 1073741824 1073778376 140737321151088 18446744073709551615 256427207577 0 4 0 16800975 18446604470312286080 0 0 -1 3 0 0 0
[pid=15555/tid=15560] ppid=15553 vsize=13628756 CPUtime=0 cores=1,3,5,7
/proc/15555/task/15560/stat : 15560 (java) S 15553 15555 10738 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 906050517 13955846144 20919 33554432000 1073741824 1073778376 140737321151088 18446744073709551615 256427207577 0 4 0 16800975 18446604470312286080 0 0 -1 7 0 0 0
[pid=15555/tid=15561] ppid=15553 vsize=13628756 CPUtime=0 cores=1,3,5,7
/proc/15555/task/15561/stat : 15561 (java) S 15553 15555 10738 0 -1 4202560 24 0 0 0 0 0 0 0 15 0 19 0 906050517 13955846144 20919 33554432000 1073741824 1073778376 140737321151088 18446744073709551615 256427207577 0 4 0 16800975 18446604470312286080 0 0 -1 3 0 0 0
[pid=15555/tid=15562] ppid=15553 vsize=13628756 CPUtime=0 cores=1,3,5,7
/proc/15555/task/15562/stat : 15562 (java) S 15553 15555 10738 0 -1 4202560 3 0 0 0 0 0 0 0 16 0 19 0 906050517 13955846144 20919 33554432000 1073741824 1073778376 140737321151088 18446744073709551615 256427207577 0 4 0 16800975 18446604470312286080 0 0 -1 7 0 0 0
[pid=15555/tid=15563] ppid=15553 vsize=13628756 CPUtime=0 cores=1,3,5,7
/proc/15555/task/15563/stat : 15563 (java) S 15553 15555 10738 0 -1 4202560 218 0 0 0 0 0 0 0 15 0 19 0 906050517 13955846144 20919 33554432000 1073741824 1073778376 140737321151088 18446744073709551615 256427207577 0 4 0 16800975 18446604470312286080 0 0 -1 3 0 0 0
[pid=15555/tid=15564] ppid=15553 vsize=13628756 CPUtime=0 cores=1,3,5,7
/proc/15555/task/15564/stat : 15564 (java) S 15553 15555 10738 0 -1 4202560 224 0 0 0 0 0 0 0 16 0 19 0 906050517 13955846144 20919 33554432000 1073741824 1073778376 140737321151088 18446744073709551615 256427207577 0 4 0 16800975 18446604470312286080 0 0 -1 3 0 0 0
[pid=15555/tid=15565] ppid=15553 vsize=13628756 CPUtime=0 cores=1,3,5,7
/proc/15555/task/15565/stat : 15565 (java) S 15553 15555 10738 0 -1 4202560 271 0 0 0 0 0 0 0 15 0 19 0 906050517 13955846144 20919 33554432000 1073741824 1073778376 140737321151088 18446744073709551615 256427207577 0 4 0 16800975 18446604470312286080 0 0 -1 7 0 0 0
[pid=15555/tid=15566] ppid=15553 vsize=13628756 CPUtime=0.12 cores=1,3,5,7
/proc/15555/task/15566/stat : 15566 (java) S 15553 15555 10738 0 -1 4202560 1440 0 0 0 12 0 0 0 15 0 19 0 906050518 13955846144 20919 33554432000 1073741824 1073778376 140737321151088 18446744073709551615 256427208192 0 0 0 16800975 18446604470312286080 0 0 -1 1 0 0 0
[pid=15555/tid=15567] ppid=15553 vsize=13628756 CPUtime=0 cores=1,3,5,7
/proc/15555/task/15567/stat : 15567 (java) S 15553 15555 10738 0 -1 4202560 16 0 0 0 0 0 0 0 15 0 19 0 906050519 13955846144 20919 33554432000 1073741824 1073778376 140737321151088 18446744073709551615 256427207577 0 4 0 16800975 18446604470312286080 0 0 -1 1 0 0 0
[pid=15555/tid=15568] ppid=15553 vsize=13628756 CPUtime=0 cores=1,3,5,7
/proc/15555/task/15568/stat : 15568 (java) S 15553 15555 10738 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 19 0 906050519 13955846144 20919 33554432000 1073741824 1073778376 140737321151088 18446744073709551615 256427207577 0 4 0 16800975 18446604470312286080 0 0 -1 7 0 0 0
[pid=15555/tid=15569] ppid=15553 vsize=13628756 CPUtime=0 cores=1,3,5,7
/proc/15555/task/15569/stat : 15569 (java) S 15553 15555 10738 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 906050521 13955846144 20919 33554432000 1073741824 1073778376 140737321151088 18446744073709551615 256427215281 0 4 0 16800975 18446604470312286080 0 0 -1 1 0 0 0
[pid=15555/tid=15570] ppid=15553 vsize=13628756 CPUtime=0.2 cores=1,3,5,7
/proc/15555/task/15570/stat : 15570 (java) S 15553 15555 10738 0 -1 4202560 1537 0 0 0 20 0 0 0 15 0 19 0 906050521 13955846144 20919 33554432000 1073741824 1073778376 140737321151088 18446744073709551615 256427207577 0 4 0 16800975 18446604470312286080 0 0 -1 5 0 0 0
[pid=15555/tid=15571] ppid=15553 vsize=13628756 CPUtime=0.24 cores=1,3,5,7
/proc/15555/task/15571/stat : 15571 (java) S 15553 15555 10738 0 -1 4202560 1833 0 0 0 24 0 0 0 15 0 19 0 906050521 13955846144 20919 33554432000 1073741824 1073778376 140737321151088 18446744073709551615 256427207577 0 4 0 16800975 18446604470312286080 0 0 -1 1 0 0 0

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

/proc/15555/task/15558/stat : 15558 (java) S 15553 15555 10738 0 -1 4202560 375 0 0 0 3 0 0 0 16 0 19 0 906050517 13976178688 27874 33554432000 1073741824 1073778376 140737321151088 18446744073709551615 256427207577 0 4 0 16800975 18446604470312286080 0 0 -1 1 0 0 0
[pid=15555/tid=15559] ppid=15553 vsize=13648612 CPUtime=0.04 cores=1,3,5,7
/proc/15555/task/15559/stat : 15559 (java) S 15553 15555 10738 0 -1 4202560 67 0 0 0 4 0 0 0 15 0 19 0 906050517 13976178688 27874 33554432000 1073741824 1073778376 140737321151088 18446744073709551615 256427207577 0 4 0 16800975 18446604470312286080 0 0 -1 1 0 0 0
[pid=15555/tid=15560] ppid=15553 vsize=13648612 CPUtime=0.03 cores=1,3,5,7
/proc/15555/task/15560/stat : 15560 (java) S 15553 15555 10738 0 -1 4202560 52 0 0 0 3 0 0 0 15 0 19 0 906050517 13976178688 27874 33554432000 1073741824 1073778376 140737321151088 18446744073709551615 256427207577 0 4 0 16800975 18446604470312286080 0 0 -1 1 0 0 0
[pid=15555/tid=15561] ppid=15553 vsize=13648612 CPUtime=0.02 cores=1,3,5,7
/proc/15555/task/15561/stat : 15561 (java) S 15553 15555 10738 0 -1 4202560 33 0 0 0 2 0 0 0 15 0 19 0 906050517 13976178688 27874 33554432000 1073741824 1073778376 140737321151088 18446744073709551615 256427207577 0 4 0 16800975 18446604470312286080 0 0 -1 7 0 0 0
[pid=15555/tid=15562] ppid=15553 vsize=13648612 CPUtime=0.03 cores=1,3,5,7
/proc/15555/task/15562/stat : 15562 (java) S 15553 15555 10738 0 -1 4202560 100 0 0 0 3 0 0 0 16 0 19 0 906050517 13976178688 27874 33554432000 1073741824 1073778376 140737321151088 18446744073709551615 256427207577 0 4 0 16800975 18446604470312286080 0 0 -1 7 0 0 0
[pid=15555/tid=15563] ppid=15553 vsize=13648612 CPUtime=0.03 cores=1,3,5,7
/proc/15555/task/15563/stat : 15563 (java) S 15553 15555 10738 0 -1 4202560 224 0 0 0 3 0 0 0 15 0 19 0 906050517 13976178688 27874 33554432000 1073741824 1073778376 140737321151088 18446744073709551615 256427207577 0 4 0 16800975 18446604470312286080 0 0 -1 1 0 0 0
[pid=15555/tid=15564] ppid=15553 vsize=13648612 CPUtime=0.04 cores=1,3,5,7
/proc/15555/task/15564/stat : 15564 (java) S 15553 15555 10738 0 -1 4202560 235 0 0 0 4 0 0 0 15 0 19 0 906050517 13976178688 27874 33554432000 1073741824 1073778376 140737321151088 18446744073709551615 256427207577 0 4 0 16800975 18446604470312286080 0 0 -1 7 0 0 0
[pid=15555/tid=15565] ppid=15553 vsize=13648612 CPUtime=0.04 cores=1,3,5,7
/proc/15555/task/15565/stat : 15565 (java) S 15553 15555 10738 0 -1 4202560 280 0 0 0 4 0 0 0 15 0 19 0 906050517 13976178688 27874 33554432000 1073741824 1073778376 140737321151088 18446744073709551615 256427207577 0 4 0 16800975 18446604470312286080 0 0 -1 7 0 0 0
[pid=15555/tid=15566] ppid=15553 vsize=13648612 CPUtime=1.28 cores=1,3,5,7
/proc/15555/task/15566/stat : 15566 (java) S 15553 15555 10738 0 -1 4202560 3528 0 0 0 127 1 0 0 16 0 19 0 906050518 13976178688 27874 33554432000 1073741824 1073778376 140737321151088 18446744073709551615 256427208192 0 0 0 16800975 18446604470312286080 0 0 -1 3 0 0 0
[pid=15555/tid=15567] ppid=15553 vsize=13648612 CPUtime=0 cores=1,3,5,7
/proc/15555/task/15567/stat : 15567 (java) S 15553 15555 10738 0 -1 4202560 16 0 0 0 0 0 0 0 15 0 19 0 906050519 13976178688 27874 33554432000 1073741824 1073778376 140737321151088 18446744073709551615 256427207577 0 4 0 16800975 18446604470312286080 0 0 -1 1 0 0 0
[pid=15555/tid=15568] ppid=15553 vsize=13648612 CPUtime=0 cores=1,3,5,7
/proc/15555/task/15568/stat : 15568 (java) S 15553 15555 10738 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 19 0 906050519 13976178688 27874 33554432000 1073741824 1073778376 140737321151088 18446744073709551615 256427207577 0 4 0 16800975 18446604470312286080 0 0 -1 7 0 0 0
[pid=15555/tid=15569] ppid=15553 vsize=13648612 CPUtime=0 cores=1,3,5,7
/proc/15555/task/15569/stat : 15569 (java) S 15553 15555 10738 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 906050521 13976178688 27874 33554432000 1073741824 1073778376 140737321151088 18446744073709551615 256427215281 0 4 0 16800975 18446604470312286080 0 0 -1 1 0 0 0
[pid=15555/tid=15570] ppid=15553 vsize=13648612 CPUtime=0.29 cores=1,3,5,7
/proc/15555/task/15570/stat : 15570 (java) S 15553 15555 10738 0 -1 4202560 1634 0 0 0 29 0 0 0 15 0 19 0 906050521 13976178688 27874 33554432000 1073741824 1073778376 140737321151088 18446744073709551615 256427207577 0 4 0 16800975 18446604470312286080 0 0 -1 5 0 0 0
[pid=15555/tid=15571] ppid=15553 vsize=13648612 CPUtime=0.9 cores=1,3,5,7
/proc/15555/task/15571/stat : 15571 (java) S 15553 15555 10738 0 -1 4202560 9772 0 0 0 89 1 0 0 15 0 19 0 906050521 13976178688 27874 33554432000 1073741824 1073778376 140737321151088 18446744073709551615 256427207577 0 4 0 16800975 18446604470312286080 0 0 -1 1 0 0 0
[pid=15555/tid=15572] ppid=15553 vsize=13648612 CPUtime=0 cores=1,3,5,7
/proc/15555/task/15572/stat : 15572 (java) S 15553 15555 10738 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 906050521 13976178688 27874 33554432000 1073741824 1073778376 140737321151088 18446744073709551615 256427207577 0 4 0 16800975 18446604470312286080 0 0 -1 1 0 0 0
[pid=15555/tid=15573] ppid=15553 vsize=13648612 CPUtime=0 cores=1,3,5,7
/proc/15555/task/15573/stat : 15573 (java) S 15553 15555 10738 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 906050521 13976178688 27874 33554432000 1073741824 1073778376 140737321151088 18446744073709551615 256427208192 0 4 0 16800975 18446604470312286080 0 0 -1 1 0 0 0
[pid=15555/tid=15574] ppid=15553 vsize=13648612 CPUtime=0 cores=1,3,5,7
/proc/15555/task/15574/stat : 15574 (java) S 15553 15555 10738 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 906050535 13976178688 27874 33554432000 1073741824 1073778376 140737321151088 18446744073709551615 256427208192 0 4 0 16800975 18446604470312286080 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 47.74
Current children cumulated vsize (KiB) 13648612

[startup+47.2008 s]
/proc/loadavg: 2.19 2.10 2.02 3/552 15575
/proc/meminfo: memFree=22937728/32950928 swapFree=58671692/67111528
[pid=15555] ppid=15553 vsize=13648612 CPUtime=48.54 cores=1,3,5,7
/proc/15555/stat : 15555 (java) S 15553 15555 10738 0 -1 4202496 32414 0 1 0 4848 6 0 0 25 0 19 0 906050515 13976178688 27874 33554432000 1073741824 1073778376 140737321151088 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15555/statm: 3412153 27874 2250 9 0 3402887 0
[pid=15555/tid=15556] ppid=15553 vsize=13648612 CPUtime=45.69 cores=1,3,5,7
/proc/15555/task/15556/stat : 15556 (java) R 15553 15555 10738 0 -1 4202560 14962 0 1 0 4567 2 0 0 25 0 19 0 906050515 13976178688 27874 33554432000 1073741824 1073778376 140737321151088 18446744073709551615 46912505565704 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=15555/tid=15558] ppid=15553 vsize=13648612 CPUtime=0.03 cores=1,3,5,7
/proc/15555/task/15558/stat : 15558 (java) S 15553 15555 10738 0 -1 4202560 375 0 0 0 3 0 0 0 15 0 19 0 906050517 13976178688 27874 33554432000 1073741824 1073778376 140737321151088 18446744073709551615 256427207577 0 4 0 16800975 18446604470312286080 0 0 -1 1 0 0 0
[pid=15555/tid=15559] ppid=15553 vsize=13648612 CPUtime=0.04 cores=1,3,5,7
/proc/15555/task/15559/stat : 15559 (java) S 15553 15555 10738 0 -1 4202560 67 0 0 0 4 0 0 0 15 0 19 0 906050517 13976178688 27874 33554432000 1073741824 1073778376 140737321151088 18446744073709551615 256427207577 0 4 0 16800975 18446604470312286080 0 0 -1 1 0 0 0
[pid=15555/tid=15560] ppid=15553 vsize=13648612 CPUtime=0.03 cores=1,3,5,7
/proc/15555/task/15560/stat : 15560 (java) S 15553 15555 10738 0 -1 4202560 52 0 0 0 3 0 0 0 15 0 19 0 906050517 13976178688 27874 33554432000 1073741824 1073778376 140737321151088 18446744073709551615 256427207577 0 4 0 16800975 18446604470312286080 0 0 -1 1 0 0 0
[pid=15555/tid=15561] ppid=15553 vsize=13648612 CPUtime=0.03 cores=1,3,5,7
/proc/15555/task/15561/stat : 15561 (java) S 15553 15555 10738 0 -1 4202560 33 0 0 0 3 0 0 0 16 0 19 0 906050517 13976178688 27874 33554432000 1073741824 1073778376 140737321151088 18446744073709551615 256427207577 0 4 0 16800975 18446604470312286080 0 0 -1 7 0 0 0
[pid=15555/tid=15562] ppid=15553 vsize=13648612 CPUtime=0.03 cores=1,3,5,7
/proc/15555/task/15562/stat : 15562 (java) S 15553 15555 10738 0 -1 4202560 100 0 0 0 3 0 0 0 15 0 19 0 906050517 13976178688 27874 33554432000 1073741824 1073778376 140737321151088 18446744073709551615 256427207577 0 4 0 16800975 18446604470312286080 0 0 -1 7 0 0 0
[pid=15555/tid=15563] ppid=15553 vsize=13648612 CPUtime=0.03 cores=1,3,5,7
/proc/15555/task/15563/stat : 15563 (java) S 15553 15555 10738 0 -1 4202560 224 0 0 0 3 0 0 0 15 0 19 0 906050517 13976178688 27874 33554432000 1073741824 1073778376 140737321151088 18446744073709551615 256427207577 0 4 0 16800975 18446604470312286080 0 0 -1 1 0 0 0
[pid=15555/tid=15564] ppid=15553 vsize=13648612 CPUtime=0.05 cores=1,3,5,7
/proc/15555/task/15564/stat : 15564 (java) S 15553 15555 10738 0 -1 4202560 235 0 0 0 5 0 0 0 15 0 19 0 906050517 13976178688 27874 33554432000 1073741824 1073778376 140737321151088 18446744073709551615 256427207577 0 4 0 16800975 18446604470312286080 0 0 -1 7 0 0 0
[pid=15555/tid=15565] ppid=15553 vsize=13648612 CPUtime=0.04 cores=1,3,5,7
/proc/15555/task/15565/stat : 15565 (java) S 15553 15555 10738 0 -1 4202560 280 0 0 0 4 0 0 0 15 0 19 0 906050517 13976178688 27874 33554432000 1073741824 1073778376 140737321151088 18446744073709551615 256427207577 0 4 0 16800975 18446604470312286080 0 0 -1 7 0 0 0
[pid=15555/tid=15566] ppid=15553 vsize=13648612 CPUtime=1.3 cores=1,3,5,7
/proc/15555/task/15566/stat : 15566 (java) S 15553 15555 10738 0 -1 4202560 3528 0 0 0 129 1 0 0 16 0 19 0 906050518 13976178688 27874 33554432000 1073741824 1073778376 140737321151088 18446744073709551615 256427208192 0 0 0 16800975 18446604470312286080 0 0 -1 3 0 0 0
[pid=15555/tid=15567] ppid=15553 vsize=13648612 CPUtime=0 cores=1,3,5,7
/proc/15555/task/15567/stat : 15567 (java) S 15553 15555 10738 0 -1 4202560 16 0 0 0 0 0 0 0 15 0 19 0 906050519 13976178688 27874 33554432000 1073741824 1073778376 140737321151088 18446744073709551615 256427207577 0 4 0 16800975 18446604470312286080 0 0 -1 1 0 0 0
[pid=15555/tid=15568] ppid=15553 vsize=13648612 CPUtime=0 cores=1,3,5,7
/proc/15555/task/15568/stat : 15568 (java) S 15553 15555 10738 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 19 0 906050519 13976178688 27874 33554432000 1073741824 1073778376 140737321151088 18446744073709551615 256427207577 0 4 0 16800975 18446604470312286080 0 0 -1 7 0 0 0
[pid=15555/tid=15569] ppid=15553 vsize=13648612 CPUtime=0 cores=1,3,5,7
/proc/15555/task/15569/stat : 15569 (java) S 15553 15555 10738 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 906050521 13976178688 27874 33554432000 1073741824 1073778376 140737321151088 18446744073709551615 256427215281 0 4 0 16800975 18446604470312286080 0 0 -1 1 0 0 0
[pid=15555/tid=15570] ppid=15553 vsize=13648612 CPUtime=0.29 cores=1,3,5,7
/proc/15555/task/15570/stat : 15570 (java) S 15553 15555 10738 0 -1 4202560 1634 0 0 0 29 0 0 0 15 0 19 0 906050521 13976178688 27874 33554432000 1073741824 1073778376 140737321151088 18446744073709551615 256427207577 0 4 0 16800975 18446604470312286080 0 0 -1 5 0 0 0
[pid=15555/tid=15571] ppid=15553 vsize=13648612 CPUtime=0.9 cores=1,3,5,7
/proc/15555/task/15571/stat : 15571 (java) S 15553 15555 10738 0 -1 4202560 9772 0 0 0 89 1 0 0 15 0 19 0 906050521 13976178688 27874 33554432000 1073741824 1073778376 140737321151088 18446744073709551615 256427207577 0 4 0 16800975 18446604470312286080 0 0 -1 1 0 0 0
[pid=15555/tid=15572] ppid=15553 vsize=13648612 CPUtime=0 cores=1,3,5,7
/proc/15555/task/15572/stat : 15572 (java) S 15553 15555 10738 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 906050521 13976178688 27874 33554432000 1073741824 1073778376 140737321151088 18446744073709551615 256427207577 0 4 0 16800975 18446604470312286080 0 0 -1 1 0 0 0
[pid=15555/tid=15573] ppid=15553 vsize=13648612 CPUtime=0 cores=1,3,5,7
/proc/15555/task/15573/stat : 15573 (java) S 15553 15555 10738 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 906050521 13976178688 27874 33554432000 1073741824 1073778376 140737321151088 18446744073709551615 256427208192 0 4 0 16800975 18446604470312286080 0 0 -1 1 0 0 0
[pid=15555/tid=15574] ppid=15553 vsize=13648612 CPUtime=0 cores=1,3,5,7
/proc/15555/task/15574/stat : 15574 (java) S 15553 15555 10738 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 906050535 13976178688 27874 33554432000 1073741824 1073778376 140737321151088 18446744073709551615 256427208192 0 4 0 16800975 18446604470312286080 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 48.54
Current children cumulated vsize (KiB) 13648612

[startup+47.4197 s]
/proc/loadavg: 2.19 2.10 2.02 3/552 15575
/proc/meminfo: memFree=22937728/32950928 swapFree=58671692/67111528
[pid=15555] ppid=15553 vsize=13648612 CPUtime=48.76 cores=1,3,5,7
/proc/15555/stat : 15555 (java) S 15553 15555 10738 0 -1 4202496 32415 0 1 0 4870 6 0 0 25 0 19 0 906050515 13976178688 27874 33554432000 1073741824 1073778376 140737321151088 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15555/statm: 3412153 27874 2250 9 0 3402887 0
[pid=15555/tid=15556] ppid=15553 vsize=13648612 CPUtime=45.89 cores=1,3,5,7
/proc/15555/task/15556/stat : 15556 (java) S 15553 15555 10738 0 -1 4202560 14963 0 1 0 4587 2 0 0 25 0 19 0 906050515 13976178688 27874 33554432000 1073741824 1073778376 140737321151088 18446744073709551615 256427207577 0 4 0 16800975 18446604470312286080 0 0 -1 3 0 0 0
[pid=15555/tid=15558] ppid=15553 vsize=13648612 CPUtime=0.03 cores=1,3,5,7
/proc/15555/task/15558/stat : 15558 (java) S 15553 15555 10738 0 -1 4202560 375 0 0 0 3 0 0 0 15 0 19 0 906050517 13976178688 27874 33554432000 1073741824 1073778376 140737321151088 18446744073709551615 256427207577 0 4 0 16800975 18446604470312286080 0 0 -1 1 0 0 0
[pid=15555/tid=15559] ppid=15553 vsize=13648612 CPUtime=0.04 cores=1,3,5,7
/proc/15555/task/15559/stat : 15559 (java) S 15553 15555 10738 0 -1 4202560 67 0 0 0 4 0 0 0 15 0 19 0 906050517 13976178688 27874 33554432000 1073741824 1073778376 140737321151088 18446744073709551615 256427207577 0 4 0 16800975 18446604470312286080 0 0 -1 1 0 0 0
[pid=15555/tid=15560] ppid=15553 vsize=13648612 CPUtime=0.03 cores=1,3,5,7
/proc/15555/task/15560/stat : 15560 (java) S 15553 15555 10738 0 -1 4202560 52 0 0 0 3 0 0 0 15 0 19 0 906050517 13976178688 27874 33554432000 1073741824 1073778376 140737321151088 18446744073709551615 256427207577 0 4 0 16800975 18446604470312286080 0 0 -1 1 0 0 0
[pid=15555/tid=15561] ppid=15553 vsize=13648612 CPUtime=0.03 cores=1,3,5,7
/proc/15555/task/15561/stat : 15561 (java) S 15553 15555 10738 0 -1 4202560 33 0 0 0 3 0 0 0 15 0 19 0 906050517 13976178688 27874 33554432000 1073741824 1073778376 140737321151088 18446744073709551615 256427207577 0 4 0 16800975 18446604470312286080 0 0 -1 7 0 0 0
[pid=15555/tid=15562] ppid=15553 vsize=13648612 CPUtime=0.03 cores=1,3,5,7
/proc/15555/task/15562/stat : 15562 (java) S 15553 15555 10738 0 -1 4202560 100 0 0 0 3 0 0 0 15 0 19 0 906050517 13976178688 27874 33554432000 1073741824 1073778376 140737321151088 18446744073709551615 256427207577 0 4 0 16800975 18446604470312286080 0 0 -1 7 0 0 0
[pid=15555/tid=15563] ppid=15553 vsize=13648612 CPUtime=0.03 cores=1,3,5,7
/proc/15555/task/15563/stat : 15563 (java) S 15553 15555 10738 0 -1 4202560 224 0 0 0 3 0 0 0 15 0 19 0 906050517 13976178688 27874 33554432000 1073741824 1073778376 140737321151088 18446744073709551615 256427207577 0 4 0 16800975 18446604470312286080 0 0 -1 1 0 0 0
[pid=15555/tid=15564] ppid=15553 vsize=13648612 CPUtime=0.05 cores=1,3,5,7
/proc/15555/task/15564/stat : 15564 (java) S 15553 15555 10738 0 -1 4202560 235 0 0 0 5 0 0 0 16 0 19 0 906050517 13976178688 27874 33554432000 1073741824 1073778376 140737321151088 18446744073709551615 256427207577 0 4 0 16800975 18446604470312286080 0 0 -1 7 0 0 0
[pid=15555/tid=15565] ppid=15553 vsize=13648612 CPUtime=0.04 cores=1,3,5,7
/proc/15555/task/15565/stat : 15565 (java) S 15553 15555 10738 0 -1 4202560 280 0 0 0 4 0 0 0 15 0 19 0 906050517 13976178688 27874 33554432000 1073741824 1073778376 140737321151088 18446744073709551615 256427207577 0 4 0 16800975 18446604470312286080 0 0 -1 7 0 0 0
[pid=15555/tid=15566] ppid=15553 vsize=13648612 CPUtime=1.31 cores=1,3,5,7
/proc/15555/task/15566/stat : 15566 (java) R 15553 15555 10738 0 -1 4202560 3528 0 0 0 130 1 0 0 15 0 19 0 906050518 13976178688 27874 33554432000 1073741824 1073778376 140737321151088 18446744073709551615 47154749079076 0 0 0 16800975 0 0 0 -1 3 0 0 0
[pid=15555/tid=15567] ppid=15553 vsize=13648612 CPUtime=0 cores=1,3,5,7
/proc/15555/task/15567/stat : 15567 (java) S 15553 15555 10738 0 -1 4202560 16 0 0 0 0 0 0 0 15 0 19 0 906050519 13976178688 27874 33554432000 1073741824 1073778376 140737321151088 18446744073709551615 256427207577 0 4 0 16800975 18446604470312286080 0 0 -1 1 0 0 0
[pid=15555/tid=15568] ppid=15553 vsize=13648612 CPUtime=0 cores=1,3,5,7
/proc/15555/task/15568/stat : 15568 (java) S 15553 15555 10738 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 19 0 906050519 13976178688 27874 33554432000 1073741824 1073778376 140737321151088 18446744073709551615 256427207577 0 4 0 16800975 18446604470312286080 0 0 -1 7 0 0 0
[pid=15555/tid=15569] ppid=15553 vsize=13648612 CPUtime=0 cores=1,3,5,7
/proc/15555/task/15569/stat : 15569 (java) S 15553 15555 10738 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 906050521 13976178688 27874 33554432000 1073741824 1073778376 140737321151088 18446744073709551615 256427215281 0 4 0 16800975 18446604470312286080 0 0 -1 1 0 0 0
[pid=15555/tid=15570] ppid=15553 vsize=13648612 CPUtime=0.29 cores=1,3,5,7
/proc/15555/task/15570/stat : 15570 (java) S 15553 15555 10738 0 -1 4202560 1634 0 0 0 29 0 0 0 15 0 19 0 906050521 13976178688 27874 33554432000 1073741824 1073778376 140737321151088 18446744073709551615 256427207577 0 4 0 16800975 18446604470312286080 0 0 -1 5 0 0 0
[pid=15555/tid=15571] ppid=15553 vsize=13648612 CPUtime=0.9 cores=1,3,5,7
/proc/15555/task/15571/stat : 15571 (java) S 15553 15555 10738 0 -1 4202560 9772 0 0 0 89 1 0 0 15 0 19 0 906050521 13976178688 27874 33554432000 1073741824 1073778376 140737321151088 18446744073709551615 256427207577 0 4 0 16800975 18446604470312286080 0 0 -1 1 0 0 0
[pid=15555/tid=15572] ppid=15553 vsize=13648612 CPUtime=0 cores=1,3,5,7
/proc/15555/task/15572/stat : 15572 (java) S 15553 15555 10738 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 906050521 13976178688 27874 33554432000 1073741824 1073778376 140737321151088 18446744073709551615 256427207577 0 4 0 16800975 18446604470312286080 0 0 -1 1 0 0 0
[pid=15555/tid=15573] ppid=15553 vsize=13648612 CPUtime=0 cores=1,3,5,7
/proc/15555/task/15573/stat : 15573 (java) S 15553 15555 10738 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 906050521 13976178688 27874 33554432000 1073741824 1073778376 140737321151088 18446744073709551615 256427208192 0 4 0 16800975 18446604470312286080 0 0 -1 1 0 0 0
[pid=15555/tid=15574] ppid=15553 vsize=13648612 CPUtime=0 cores=1,3,5,7
/proc/15555/task/15574/stat : 15574 (java) S 15553 15555 10738 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 906050535 13976178688 27874 33554432000 1073741824 1073778376 140737321151088 18446744073709551615 256427208192 0 4 0 16800975 18446604470312286080 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 48.76
Current children cumulated vsize (KiB) 13648612

[startup+47.5017 s]
/proc/loadavg: 2.19 2.10 2.02 3/552 15575
/proc/meminfo: memFree=22937728/32950928 swapFree=58671692/67111528
[pid=15555] ppid=15553 vsize=13648612 CPUtime=48.84 cores=1,3,5,7
/proc/15555/stat : 15555 (java) S 15553 15555 10738 0 -1 4202496 32416 0 1 0 4878 6 0 0 25 0 19 0 906050515 13976178688 27875 33554432000 1073741824 1073778376 140737321151088 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15555/statm: 3412153 27875 2250 9 0 3402887 0
[pid=15555/tid=15556] ppid=15553 vsize=13648612 CPUtime=45.97 cores=1,3,5,7
/proc/15555/task/15556/stat : 15556 (java) R 15553 15555 10738 0 -1 4202560 14964 0 1 0 4595 2 0 0 25 0 19 0 906050515 13976178688 27875 33554432000 1073741824 1073778376 140737321151088 18446744073709551615 46912505754284 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=15555/tid=15558] ppid=15553 vsize=13648612 CPUtime=0.03 cores=1,3,5,7
/proc/15555/task/15558/stat : 15558 (java) S 15553 15555 10738 0 -1 4202560 375 0 0 0 3 0 0 0 15 0 19 0 906050517 13976178688 27875 33554432000 1073741824 1073778376 140737321151088 18446744073709551615 256427207577 0 4 0 16800975 18446604470312286080 0 0 -1 1 0 0 0
[pid=15555/tid=15559] ppid=15553 vsize=13648612 CPUtime=0.04 cores=1,3,5,7
/proc/15555/task/15559/stat : 15559 (java) S 15553 15555 10738 0 -1 4202560 67 0 0 0 4 0 0 0 15 0 19 0 906050517 13976178688 27875 33554432000 1073741824 1073778376 140737321151088 18446744073709551615 256427207577 0 4 0 16800975 18446604470312286080 0 0 -1 1 0 0 0
[pid=15555/tid=15560] ppid=15553 vsize=13648612 CPUtime=0.03 cores=1,3,5,7
/proc/15555/task/15560/stat : 15560 (java) S 15553 15555 10738 0 -1 4202560 52 0 0 0 3 0 0 0 15 0 19 0 906050517 13976178688 27875 33554432000 1073741824 1073778376 140737321151088 18446744073709551615 256427207577 0 4 0 16800975 18446604470312286080 0 0 -1 1 0 0 0
[pid=15555/tid=15561] ppid=15553 vsize=13648612 CPUtime=0.03 cores=1,3,5,7
/proc/15555/task/15561/stat : 15561 (java) S 15553 15555 10738 0 -1 4202560 33 0 0 0 3 0 0 0 15 0 19 0 906050517 13976178688 27875 33554432000 1073741824 1073778376 140737321151088 18446744073709551615 256427207577 0 4 0 16800975 18446604470312286080 0 0 -1 7 0 0 0
[pid=15555/tid=15562] ppid=15553 vsize=13648612 CPUtime=0.03 cores=1,3,5,7
/proc/15555/task/15562/stat : 15562 (java) S 15553 15555 10738 0 -1 4202560 100 0 0 0 3 0 0 0 15 0 19 0 906050517 13976178688 27875 33554432000 1073741824 1073778376 140737321151088 18446744073709551615 256427207577 0 4 0 16800975 18446604470312286080 0 0 -1 7 0 0 0
[pid=15555/tid=15563] ppid=15553 vsize=13648612 CPUtime=0.03 cores=1,3,5,7
/proc/15555/task/15563/stat : 15563 (java) S 15553 15555 10738 0 -1 4202560 224 0 0 0 3 0 0 0 15 0 19 0 906050517 13976178688 27875 33554432000 1073741824 1073778376 140737321151088 18446744073709551615 256427207577 0 4 0 16800975 18446604470312286080 0 0 -1 1 0 0 0
[pid=15555/tid=15564] ppid=15553 vsize=13648612 CPUtime=0.05 cores=1,3,5,7
/proc/15555/task/15564/stat : 15564 (java) S 15553 15555 10738 0 -1 4202560 235 0 0 0 5 0 0 0 16 0 19 0 906050517 13976178688 27875 33554432000 1073741824 1073778376 140737321151088 18446744073709551615 256427207577 0 4 0 16800975 18446604470312286080 0 0 -1 7 0 0 0
[pid=15555/tid=15565] ppid=15553 vsize=13648612 CPUtime=0.04 cores=1,3,5,7
/proc/15555/task/15565/stat : 15565 (java) S 15553 15555 10738 0 -1 4202560 280 0 0 0 4 0 0 0 15 0 19 0 906050517 13976178688 27875 33554432000 1073741824 1073778376 140737321151088 18446744073709551615 256427207577 0 4 0 16800975 18446604470312286080 0 0 -1 7 0 0 0
[pid=15555/tid=15566] ppid=15553 vsize=13648612 CPUtime=1.32 cores=1,3,5,7
/proc/15555/task/15566/stat : 15566 (java) S 15553 15555 10738 0 -1 4202560 3528 0 0 0 131 1 0 0 16 0 19 0 906050518 13976178688 27875 33554432000 1073741824 1073778376 140737321151088 18446744073709551615 256427208192 0 0 0 16800975 18446604470312286080 0 0 -1 3 0 0 0
[pid=15555/tid=15567] ppid=15553 vsize=13648612 CPUtime=0 cores=1,3,5,7
/proc/15555/task/15567/stat : 15567 (java) S 15553 15555 10738 0 -1 4202560 16 0 0 0 0 0 0 0 15 0 19 0 906050519 13976178688 27875 33554432000 1073741824 1073778376 140737321151088 18446744073709551615 256427207577 0 4 0 16800975 18446604470312286080 0 0 -1 1 0 0 0
[pid=15555/tid=15568] ppid=15553 vsize=13648612 CPUtime=0 cores=1,3,5,7
/proc/15555/task/15568/stat : 15568 (java) S 15553 15555 10738 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 19 0 906050519 13976178688 27875 33554432000 1073741824 1073778376 140737321151088 18446744073709551615 256427207577 0 4 0 16800975 18446604470312286080 0 0 -1 7 0 0 0
[pid=15555/tid=15569] ppid=15553 vsize=13648612 CPUtime=0 cores=1,3,5,7
/proc/15555/task/15569/stat : 15569 (java) S 15553 15555 10738 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 906050521 13976178688 27875 33554432000 1073741824 1073778376 140737321151088 18446744073709551615 256427215281 0 4 0 16800975 18446604470312286080 0 0 -1 1 0 0 0
[pid=15555/tid=15570] ppid=15553 vsize=13648612 CPUtime=0.29 cores=1,3,5,7
/proc/15555/task/15570/stat : 15570 (java) S 15553 15555 10738 0 -1 4202560 1634 0 0 0 29 0 0 0 15 0 19 0 906050521 13976178688 27875 33554432000 1073741824 1073778376 140737321151088 18446744073709551615 256427207577 0 4 0 16800975 18446604470312286080 0 0 -1 5 0 0 0
[pid=15555/tid=15571] ppid=15553 vsize=13648612 CPUtime=0.9 cores=1,3,5,7
/proc/15555/task/15571/stat : 15571 (java) S 15553 15555 10738 0 -1 4202560 9772 0 0 0 89 1 0 0 15 0 19 0 906050521 13976178688 27875 33554432000 1073741824 1073778376 140737321151088 18446744073709551615 256427207577 0 4 0 16800975 18446604470312286080 0 0 -1 1 0 0 0
[pid=15555/tid=15572] ppid=15553 vsize=13648612 CPUtime=0 cores=1,3,5,7
/proc/15555/task/15572/stat : 15572 (java) S 15553 15555 10738 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 906050521 13976178688 27875 33554432000 1073741824 1073778376 140737321151088 18446744073709551615 256427207577 0 4 0 16800975 18446604470312286080 0 0 -1 1 0 0 0
[pid=15555/tid=15573] ppid=15553 vsize=13648612 CPUtime=0 cores=1,3,5,7
/proc/15555/task/15573/stat : 15573 (java) S 15553 15555 10738 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 906050521 13976178688 27875 33554432000 1073741824 1073778376 140737321151088 18446744073709551615 256427208192 0 4 0 16800975 18446604470312286080 0 0 -1 1 0 0 0
[pid=15555/tid=15574] ppid=15553 vsize=13648612 CPUtime=0 cores=1,3,5,7
/proc/15555/task/15574/stat : 15574 (java) S 15553 15555 10738 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 906050535 13976178688 27875 33554432000 1073741824 1073778376 140737321151088 18446744073709551615 256427208192 0 4 0 16800975 18446604470312286080 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 48.84
Current children cumulated vsize (KiB) 13648612

Child status: 30
Real time (s): 47.5115
CPU time (s): 48.8646
CPU user time (s): 48.7896
CPU system time (s): 0.074988
CPU usage (%): 102.848
Max. virtual memory (cumulated for all children) (KiB): 13648612

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 48.7896
system time used= 0.074988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32437
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= 3170
involuntary context switches= 1982

runsolver used 0.252961 second user time and 0.59191 second system time

The end

Launcher Data 

Begin job on node115 at 2011-06-04 05:29:58
IDJOB=3458143
IDBENCH=47963
IDSOLVER=1952
FILE ID=node115/3458143-1307158198
RUNJOBID= node115-1307156270-14441
PBS_JOBID= 13508801
Free space on /tmp= 73840 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=139-P1=67-P2=211-P3=127-P4=137-P5=173-P6=89-P7=223-P8=227-P9=79-B.opb
COMMAND LINE= java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3458143-1307158198/watcher-3458143-1307158198 -o /tmp/evaluation-result-3458143-1307158198/solver-3458143-1307158198 -C 1800 -W 1900 -M 15500  java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458143-1307158198.opb

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

MD5SUM BENCH= 651e385f00e2858954d8683e891a1dbe
RANDOM SEED=1589482436

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

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      23045484 kB
Buffers:        177448 kB
Cached:         304420 kB
SwapCached:      65796 kB
Active:        1164052 kB
Inactive:      8499384 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      23045484 kB
SwapTotal:    67111528 kB
SwapFree:     58671692 kB
Dirty:             644 kB
Writeback:           0 kB
AnonPages:     9119680 kB
Mapped:          35756 kB
Slab:            97108 kB
PageTables:      75548 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 165255216 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= 73840 MiB
End job on node115 at 2011-06-04 05:30:46