Trace number 4116337

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j PB 2.3.6 Resolution PB16? (TO) 1800.72 1797.64

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/nossum/
normalized-sha1-size96-round23-6.opb
MD5SUM3259b6526f651c11b9230c18caa481fd
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4288
Total number of constraints9472
Number of constraints which are clauses8192
Number of constraints which are cardinality constraints (but not clauses)384
Number of constraints which are nor clauses,nor cardinality constraints896
Minimum length of a constraint1
Maximum length of a constraint10
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 4
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 14
Number of bits of the biggest sum of numbers4
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
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.08/0.10	c version PB16.v20160501
0.08/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.08/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.08/0.10	c java.vm.version	19.1-b02
0.08/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.08/0.10	c sun.arch.data.model	64
0.08/0.10	c java.version		1.6.0_24
0.08/0.10	c os.name		Linux
0.08/0.10	c os.version		2.6.32-71.29.1.el6.x86_64
0.08/0.10	c os.arch		amd64
0.08/0.10	c Free memory 		501472288
0.08/0.10	c Max memory 		7480803328
0.08/0.10	c Total memory 		504102912
0.08/0.10	c Number of processors 	8
0.08/0.12	c Pseudo Boolean Optimization by upper bound
0.08/0.12	c --- Begin Solver configuration ---
0.08/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.08/0.12	c Learn all clauses as in MiniSAT
0.08/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.08/0.12	c No reason simplification
0.08/0.12	c Glucose 2.1 dynamic restart strategy
0.08/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.08/0.12	c timeout=2147483s
0.08/0.12	c DB Simplification allowed=false
0.08/0.12	c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90
0.08/0.12	c --- End Solver configuration ---
0.08/0.12	c solving HOME/instance-4116337-1466970402.opb
0.08/0.12	c reading problem ... 
0.08/0.12	c  no objective function found
0.66/0.43	c ... done. Wall clock time 0.311s.
0.66/0.43	c declared #vars     4288
0.66/0.43	c #constraints  10752
0.66/0.43	c constraints type 
0.66/0.43	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 7494
0.66/0.43	c org.sat4j.specs.Constr$1 => 872
0.66/0.43	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 128
0.66/0.43	c org.sat4j.minisat.constraints.cnf.UnitClause => 472
0.66/0.43	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1786
0.66/0.43	c 10752 constraints processed.
1.83/1.12	c cleaning 2499 clauses out of 4998 with flag 15881/5000
2.87/1.76	c cleaning 4242 clauses out of 8499 with flag 38259/11000
3.57/2.49	c cleaning 5610 clauses out of 11258 with flag 64290/18001
4.49/3.34	c cleaning 6823 clauses out of 13647 with flag 96545/26000
5.50/4.34	c cleaning 7906 clauses out of 15824 with flag 135852/35000
6.60/5.42	c cleaning 8930 clauses out of 17918 with flag 180832/45000
7.80/6.61	c cleaning 9967 clauses out of 19989 with flag 232472/56001
9.20/8.03	c cleaning 11001 clauses out of 22023 with flag 289358/68002
10.70/9.54	c cleaning 11996 clauses out of 24020 with flag 356002/81000
12.40/11.22	c cleaning 12992 clauses out of 26024 with flag 428901/95000
14.20/13.09	c cleaning 14010 clauses out of 28032 with flag 504737/110000
16.21/15.06	c cleaning 14980 clauses out of 30022 with flag 590216/126000
18.41/17.24	c cleaning 16001 clauses out of 32043 with flag 683083/143001
20.71/19.52	c cleaning 17017 clauses out of 34041 with flag 784169/161000
23.21/22.01	c cleaning 18000 clauses out of 36025 with flag 890228/180001
25.82/24.65	c cleaning 18997 clauses out of 38024 with flag 1003660/200000
28.62/27.46	c cleaning 20009 clauses out of 40027 with flag 1125674/221000
31.72/30.52	c cleaning 20998 clauses out of 42018 with flag 1252700/243000
34.91/33.78	c cleaning 21973 clauses out of 44021 with flag 1384627/266001
38.52/37.30	c cleaning 22977 clauses out of 46047 with flag 1527089/290000
42.11/40.97	c cleaning 24002 clauses out of 48071 with flag 1677505/315001
46.11/44.91	c cleaning 25000 clauses out of 50070 with flag 1833256/341002
50.11/49.00	c cleaning 25980 clauses out of 52070 with flag 1989352/368002
54.43/53.22	c cleaning 27033 clauses out of 54088 with flag 2157935/396000
58.54/57.38	c cleaning 27990 clauses out of 56055 with flag 2332226/425000
63.03/61.80	c cleaning 29021 clauses out of 58065 with flag 2517818/455000
67.73/66.53	c cleaning 29970 clauses out of 60044 with flag 2705698/486000
72.74/71.53	c cleaning 30997 clauses out of 62074 with flag 2900694/518000
77.84/76.62	c cleaning 32023 clauses out of 64079 with flag 3099760/551002
83.14/81.95	c cleaning 33017 clauses out of 66054 with flag 3305783/585000
88.74/87.52	c cleaning 34001 clauses out of 68037 with flag 3520725/620000
94.54/93.37	c cleaning 34992 clauses out of 70036 with flag 3741500/656000
100.84/99.67	c cleaning 35978 clauses out of 72044 with flag 3966226/693000
107.24/106.09	c cleaning 37008 clauses out of 74066 with flag 4201259/731000
114.04/112.83	c cleaning 37985 clauses out of 76058 with flag 4442837/770000
120.94/119.74	c cleaning 38993 clauses out of 78073 with flag 4691739/810000
128.14/126.90	c cleaning 39996 clauses out of 80080 with flag 4943914/851000
135.64/134.47	c cleaning 41003 clauses out of 82084 with flag 5205073/893000
143.16/142.00	c cleaning 42017 clauses out of 84082 with flag 5469379/936001
150.75/149.56	c cleaning 43005 clauses out of 86064 with flag 5743264/980000
158.86/157.61	c cleaning 44018 clauses out of 88059 with flag 6021598/1025000
166.96/165.76	c cleaning 44996 clauses out of 90041 with flag 6309062/1071000
175.46/174.28	c cleaning 45963 clauses out of 92047 with flag 6608010/1118002
184.46/183.23	c cleaning 47012 clauses out of 94082 with flag 6903971/1166000
193.56/192.39	c cleaning 47982 clauses out of 96070 with flag 7205245/1215000
203.16/201.96	c cleaning 49033 clauses out of 98088 with flag 7515596/1265000
213.36/212.14	c cleaning 50027 clauses out of 100055 with flag 7830150/1316000
223.56/222.39	c cleaning 50953 clauses out of 102030 with flag 8156401/1368002
234.36/233.15	c cleaning 52016 clauses out of 104075 with flag 8483615/1421000
245.17/243.92	c cleaning 52993 clauses out of 106059 with flag 8822709/1475000
256.17/254.95	c cleaning 54019 clauses out of 108066 with flag 9161405/1530000
267.67/266.49	c cleaning 54999 clauses out of 110047 with flag 9507093/1586000
279.58/278.35	c cleaning 55959 clauses out of 112049 with flag 9856289/1643001
291.86/290.62	c cleaning 57039 clauses out of 114089 with flag 10212285/1701000
304.76/303.50	c cleaning 58015 clauses out of 116050 with flag 10576220/1760000
317.66/316.43	c cleaning 59009 clauses out of 118035 with flag 10950773/1820000
330.96/329.73	c cleaning 59973 clauses out of 120027 with flag 11325146/1881001
344.85/343.60	c cleaning 61014 clauses out of 122056 with flag 11708554/1943003
358.68/357.42	c cleaning 61990 clauses out of 124039 with flag 12100547/2006000
372.47/371.28	c cleaning 63014 clauses out of 126049 with flag 12499297/2070000
386.97/385.75	c cleaning 63975 clauses out of 128036 with flag 12905925/2135001
401.89/400.66	c cleaning 65004 clauses out of 130062 with flag 13314865/2201002
417.49/416.28	c cleaning 65956 clauses out of 132056 with flag 13727901/2268000
433.69/432.48	c cleaning 67031 clauses out of 134100 with flag 14152403/2336000
450.19/448.97	c cleaning 68013 clauses out of 136069 with flag 14576314/2405000
467.15/465.80	c cleaning 68913 clauses out of 138056 with flag 15012680/2475000
484.85/483.53	c cleaning 70044 clauses out of 140143 with flag 15445377/2546000
502.34/501.06	c cleaning 71018 clauses out of 142102 with flag 15889371/2618003
520.24/518.98	c cleaning 72029 clauses out of 144081 with flag 16341758/2691000
538.74/537.45	c cleaning 72995 clauses out of 146053 with flag 16803026/2765001
557.65/556.37	c cleaning 74005 clauses out of 148057 with flag 17265548/2840000
577.35/576.09	c cleaning 75017 clauses out of 150053 with flag 17737664/2916001
597.24/595.80	c cleaning 76009 clauses out of 152036 with flag 18210796/2993001
617.65/616.28	c cleaning 76985 clauses out of 154026 with flag 18692890/3071000
638.95/637.53	c cleaning 78004 clauses out of 156041 with flag 19175329/3150000
660.86/659.42	c cleaning 78999 clauses out of 158037 with flag 19672857/3230000
682.56/681.18	c cleaning 79978 clauses out of 160038 with flag 20171564/3311000
705.76/704.35	c cleaning 81008 clauses out of 162060 with flag 20675252/3393000
728.87/727.32	c cleaning 81993 clauses out of 164054 with flag 21191857/3476002
752.26/750.72	c cleaning 82991 clauses out of 166062 with flag 21706670/3560003
776.16/774.65	c cleaning 84008 clauses out of 168069 with flag 22229764/3645001
800.68/799.13	c cleaning 84993 clauses out of 170061 with flag 22757593/3731001
825.98/824.44	c cleaning 86033 clauses out of 172067 with flag 23294661/3818000
851.88/850.35	c cleaning 86981 clauses out of 174034 with flag 23838123/3906000
877.86/876.21	c cleaning 88010 clauses out of 176053 with flag 24388858/3995000
904.07/902.44	c cleaning 88990 clauses out of 178043 with flag 24943477/4085000
930.77/929.17	c cleaning 90002 clauses out of 180053 with flag 25509544/4176000
958.37/956.71	c cleaning 91016 clauses out of 182051 with flag 26083188/4268000
987.01/985.24	c cleaning 91991 clauses out of 184036 with flag 26657020/4361001
1016.01/1014.28	c cleaning 92990 clauses out of 186044 with flag 27238593/4455000
1045.72/1043.93	c cleaning 94016 clauses out of 188054 with flag 27824344/4550000
1075.52/1073.77	c cleaning 94988 clauses out of 190039 with flag 28411971/4646001
1106.42/1104.64	c cleaning 95976 clauses out of 192050 with flag 29015772/4743000
1137.93/1136.03	c cleaning 96986 clauses out of 194074 with flag 29622128/4841000
1170.81/1168.94	c cleaning 97964 clauses out of 196088 with flag 30235208/4940000
1205.51/1203.60	c cleaning 99016 clauses out of 198124 with flag 30848577/5040000
1240.20/1238.39	c cleaning 100041 clauses out of 200109 with flag 31471388/5141001
1274.98/1272.99	c cleaning 100999 clauses out of 202068 with flag 32094814/5243001
1310.26/1308.28	c cleaning 102014 clauses out of 204069 with flag 32729668/5346001
1346.06/1344.07	c cleaning 103013 clauses out of 206054 with flag 33372110/5450000
1381.96/1379.98	c cleaning 104011 clauses out of 208041 with flag 34014764/5555000
1419.11/1416.95	c cleaning 104991 clauses out of 210030 with flag 34658334/5661000
1458.60/1456.44	c cleaning 105991 clauses out of 212039 with flag 35310146/5768000
1498.60/1496.44	c cleaning 106959 clauses out of 214048 with flag 35971363/5876000
1538.30/1536.12	c cleaning 108025 clauses out of 216089 with flag 36641161/5985000
1579.20/1576.94	c cleaning 109013 clauses out of 218064 with flag 37312547/6095000
1619.42/1617.10	c cleaning 109992 clauses out of 220051 with flag 37992728/6206000
1660.12/1657.83	c cleaning 110982 clauses out of 222059 with flag 38681268/6318000
1702.61/1700.22	c cleaning 111997 clauses out of 224079 with flag 39371996/6431002
1745.22/1742.88	c cleaning 113017 clauses out of 226080 with flag 40066686/6545000
1789.02/1786.61	c cleaning 114027 clauses out of 228063 with flag 40770496/6660000
1800.03/1797.60	c starts		: 48881
1800.03/1797.60	c conflicts		: 6696875
1800.03/1797.60	c decisions		: 63840919
1800.03/1797.60	c propagations		: 907231864
1800.03/1797.60	c inspects		: 24383344147
1800.03/1797.60	c shortcuts		: 0
1800.03/1797.60	c learnt literals	: 2
1800.03/1797.60	c learnt binary clauses	: 43
1800.03/1797.60	c learnt ternary clauses	: 645
1800.03/1797.60	c learnt constraints	: 6696873
1800.03/1797.60	c ignored constraints	: 0
1800.03/1797.60	c root simplifications	: 0
1800.03/1797.60	c removed literals (reason simplification)	: 0
1800.03/1797.60	c reason swapping (by a shorter reason)	: 0
1800.03/1797.60	c Calls to reduceDB	: 111
1800.03/1797.60	c Number of update (reduction) of LBD	: 1413705
1800.03/1797.60	c Imported unit clauses	: 0
1800.03/1797.60	c number of reductions to clauses (during analyze)	: 0
1800.03/1797.60	c number of learned constraints concerned by reduction	: 0
1800.03/1797.60	c number of learning phase by resolution	: 0
1800.03/1797.60	c timeout
1800.03/1797.60	c number of learning phase by cutting planes	: 0
1800.03/1797.60	c speed (assignments/second)	: 504813.90593274613
1800.03/1797.60	c non guided choices	27761
1800.03/1797.63	c learnt constraints type 
1800.03/1797.63	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 43
1800.03/1797.63	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 150868
1800.03/1797.63	s UNKNOWN
1800.03/1797.63	c Total wall clock time (in seconds): 1797.505

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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-4116337-1466970402/watcher-4116337-1466970402 -o /tmp/evaluation-result-4116337-1466970402/solver-4116337-1466970402 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1466956013-23992 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4116337-1466970402.opb 

pid=25472
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.33 2.23 2.22 3/194 25475
/proc/meminfo: memFree=30032692/32872528 swapFree=1392268/1580316
[pid=25475] ppid=25472 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/25475/stat : 25475 (java) R 25472 25475 23975 0 -1 4202496 531 0 0 0 0 0 0 0 20 0 1 0 30077417 9515008 183 33554432000 1073741824 1073778376 140735114822272 140735114805000 248790204085 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25475/statm: 2323 186 143 9 0 71 0

[startup+0.10006 s]
/proc/loadavg: 2.33 2.23 2.22 3/194 25475
/proc/meminfo: memFree=30032692/32872528 swapFree=1392268/1580316
[pid=25475] ppid=25472 vsize=9558476 CPUtime=0.08 cores=1,3,5,7
/proc/25475/stat : 25475 (java) S 25472 25475 23975 0 -1 4202496 4401 0 1 0 7 1 0 0 20 0 18 0 30077417 9787879424 5491 33554432000 1073741824 1073778376 140735114822272 140735114813408 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25475/statm: 2389619 5491 2116 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558476

[startup+0.200226 s]
/proc/loadavg: 2.33 2.23 2.22 3/194 25475
/proc/meminfo: memFree=30032692/32872528 swapFree=1392268/1580316
[pid=25475] ppid=25472 vsize=9558476 CPUtime=0.23 cores=1,3,5,7
/proc/25475/stat : 25475 (java) S 25472 25475 23975 0 -1 4202496 4730 0 1 0 22 1 0 0 20 0 18 0 30077417 9787879424 6780 33554432000 1073741824 1073778376 140735114822272 140735114813408 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25475/statm: 2389619 6780 2202 9 0 2380296 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 9558476

[startup+0.300234 s]
/proc/loadavg: 2.33 2.23 2.22 3/194 25475
/proc/meminfo: memFree=30032692/32872528 swapFree=1392268/1580316
[pid=25475] ppid=25472 vsize=9558476 CPUtime=0.46 cores=1,3,5,7
/proc/25475/stat : 25475 (java) S 25472 25475 23975 0 -1 4202496 5715 0 1 0 44 2 0 0 20 0 18 0 30077417 9787879424 8480 33554432000 1073741824 1073778376 140735114822272 140735114813408 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25475/statm: 2389619 8480 2232 9 0 2380296 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 9558476

[startup+0.700189 s]
/proc/loadavg: 2.33 2.23 2.22 3/194 25475
/proc/meminfo: memFree=30032692/32872528 swapFree=1392268/1580316
[pid=25475] ppid=25472 vsize=9625040 CPUtime=1.35 cores=1,3,5,7
/proc/25475/stat : 25475 (java) S 25472 25475 23975 0 -1 4202496 9976 0 1 0 131 4 0 0 20 0 19 0 30077417 9856040960 16802 33554432000 1073741824 1073778376 140735114822272 140735114813408 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25475/statm: 2406260 16803 2260 9 0 2396937 0
Current children cumulated CPU time (s) 1.35
Current children cumulated vsize (KiB) 9625040

[startup+1.50083 s]
/proc/loadavg: 2.46 2.26 2.23 4/212 25559
/proc/meminfo: memFree=30260632/32872528 swapFree=1392268/1580316
[pid=25475] ppid=25472 vsize=9625040 CPUtime=2.64 cores=1,3,5,7
/proc/25475/stat : 25475 (java) S 25472 25475 23975 0 -1 4202496 16165 0 1 0 259 5 0 0 20 0 19 0 30077417 9856040960 21422 33554432000 1073741824 1073778376 140735114822272 140735114813408 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25475/statm: 2406260 21423 2270 9 0 2396937 0
[pid=25475/tid=25477] ppid=25472 vsize=9625040 CPUtime=1.45 cores=1,3,5,7
/proc/25475/task/25477/stat : 25477 (java) R 25472 25475 23975 0 -1 4202560 2423 0 1 0 142 3 0 0 20 0 19 0 30077418 9856040960 21433 33554432000 1073741824 1073778376 140735114822272 139826857496272 139826704205111 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=25475/tid=25478] ppid=25472 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25475/task/25478/stat : 25478 (java) S 25472 25475 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30077419 9856040960 21435 33554432000 1073741824 1073778376 140735114822272 139826829957800 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25475/tid=25479] ppid=25472 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25475/task/25479/stat : 25479 (java) S 25472 25475 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30077419 9856040960 21437 33554432000 1073741824 1073778376 140735114822272 139826828905256 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25475/tid=25480] ppid=25472 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25475/task/25480/stat : 25480 (java) S 25472 25475 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30077419 9856040960 21440 33554432000 1073741824 1073778376 140735114822272 139826827852712 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25475/tid=25481] ppid=25472 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25475/task/25481/stat : 25481 (java) S 25472 25475 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30077419 9856040960 21443 33554432000 1073741824 1073778376 140735114822272 139826826800168 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25475/tid=25482] ppid=25472 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25475/task/25482/stat : 25482 (java) S 25472 25475 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30077419 9856040960 21447 33554432000 1073741824 1073778376 140735114822272 139826825746600 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25475/tid=25483] ppid=25472 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25475/task/25483/stat : 25483 (java) S 25472 25475 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30077419 9856040960 21449 33554432000 1073741824 1073778376 140735114822272 139826824694056 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25475/tid=25484] ppid=25472 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25475/task/25484/stat : 25484 (java) S 25472 25475 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30077419 9856040960 21451 33554432000 1073741824 1073778376 140735114822272 139826823641512 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25475/tid=25485] ppid=25472 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25475/task/25485/stat : 25485 (java) S 25472 25475 23975 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 30077419 9856040960 21451 33554432000 1073741824 1073778376 140735114822272 139826822588968 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25475/tid=25486] ppid=25472 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25475/task/25486/stat : 25486 (java) S 25472 25475 23975 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 30077420 9856040960 21451 33554432000 1073741824 1073778376 140735114822272 139826210769512 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25475/tid=25487] ppid=25472 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25475/task/25487/stat : 25487 (java) S 25472 25475 23975 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 30077420 9856040960 21451 33554432000 1073741824 1073778376 140735114822272 139826209715832 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25475/tid=25488] ppid=25472 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25475/task/25488/stat : 25488 (java) S 25472 25475 23975 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 30077420 9856040960 21451 33554432000 1073741824 1073778376 140735114822272 139826208663176 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25475/tid=25489] ppid=25472 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25475/task/25489/stat : 25489 (java) S 25472 25475 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30077423 9856040960 21451 33554432000 1073741824 1073778376 140735114822272 139826207611920 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25475/tid=25490] ppid=25472 vsize=9625040 CPUtime=0.83 cores=1,3,5,7
/proc/25475/task/25490/stat : 25490 (java) R 25472 25475 23975 0 -1 4202560 10128 0 0 0 81 2 0 0 20 0 19 0 30077423 9856040960 21451 33554432000 1073741824 1073778376 140735114822272 139826206552104 139826859977566 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=25475/tid=25491] ppid=25472 vsize=9625040 CPUtime=0.33 cores=1,3,5,7
/proc/25475/task/25491/stat : 25491 (java) S 25472 25475 23975 0 -1 4202560 2366 0 0 0 33 0 0 0 20 0 19 0 30077423 9856040960 21451 33554432000 1073741824 1073778376 140735114822272 139826205505720 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25475/tid=25492] ppid=25472 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25475/task/25492/stat : 25492 (java) S 25472 25475 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30077423 9856040960 21451 33554432000 1073741824 1073778376 140735114822272 139826204453368 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25475/tid=25493] ppid=25472 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25475/task/25493/stat : 25493 (java) S 25472 25475 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30077423 9856040960 21451 33554432000 1073741824 1073778376 140735114822272 139826203401032 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25475/tid=25513] ppid=25472 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25475/task/25513/stat : 25513 (java) S 25472 25475 23975 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 30077461 9856040960 21451 33554432000 1073741824 1073778376 140735114822272 139826202346792 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.64
Current children cumulated vsize (KiB) 9625040

[startup+3.10079 s]
/proc/loadavg: 2.46 2.26 2.23 3/213 25560
/proc/meminfo: memFree=30222852/32872528 swapFree=1392268/1580316
[pid=25475] ppid=25472 vsize=9625040 CPUtime=4.28 cores=1,3,5,7
/proc/25475/stat : 25475 (java) S 25472 25475 23975 0 -1 4202496 16199 0 1 0 423 5 0 0 20 0 19 0 30077417 9856040960 22477 33554432000 1073741824 1073778376 140735114822272 140735114813408 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25475/statm: 2406260 22477 2270 9 0 2396937 0
[pid=25475/tid=25477] ppid=25472 vsize=9625040 CPUtime=3.05 cores=1,3,5,7
/proc/25475/task/25477/stat : 25477 (java) R 25472 25475 23975 0 -1 4202560 2426 0 1 0 302 3 0 0 20 0 19 0 30077418 9856040960 22477 33554432000 1073741824 1073778376 140735114822272 139826857496272 139826704289927 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=25475/tid=25478] ppid=25472 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25475/task/25478/stat : 25478 (java) S 25472 25475 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30077419 9856040960 22477 33554432000 1073741824 1073778376 140735114822272 139826829957800 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25475/tid=25479] ppid=25472 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25475/task/25479/stat : 25479 (java) S 25472 25475 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30077419 9856040960 22477 33554432000 1073741824 1073778376 140735114822272 139826828905256 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25475/tid=25480] ppid=25472 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25475/task/25480/stat : 25480 (java) S 25472 25475 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30077419 9856040960 22477 33554432000 1073741824 1073778376 140735114822272 139826827852712 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25475/tid=25481] ppid=25472 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25475/task/25481/stat : 25481 (java) S 25472 25475 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30077419 9856040960 22477 33554432000 1073741824 1073778376 140735114822272 139826826800168 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25475/tid=25482] ppid=25472 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25475/task/25482/stat : 25482 (java) S 25472 25475 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30077419 9856040960 22477 33554432000 1073741824 1073778376 140735114822272 139826825746600 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25475/tid=25483] ppid=25472 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25475/task/25483/stat : 25483 (java) S 25472 25475 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30077419 9856040960 22477 33554432000 1073741824 1073778376 140735114822272 139826824694056 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25475/tid=25484] ppid=25472 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25475/task/25484/stat : 25484 (java) S 25472 25475 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30077419 9856040960 22477 33554432000 1073741824 1073778376 140735114822272 139826823641512 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25475/tid=25485] ppid=25472 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25475/task/25485/stat : 25485 (java) S 25472 25475 23975 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 30077419 9856040960 22477 33554432000 1073741824 1073778376 140735114822272 139826822588968 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25475/tid=25486] ppid=25472 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25475/task/25486/stat : 25486 (java) S 25472 25475 23975 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 30077420 9856040960 22477 33554432000 1073741824 1073778376 140735114822272 139826210769512 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25475/tid=25487] ppid=25472 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25475/task/25487/stat : 25487 (java) S 25472 25475 23975 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 30077420 9856040960 22477 33554432000 1073741824 1073778376 140735114822272 139826209715832 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25475/tid=25488] ppid=25472 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25475/task/25488/stat : 25488 (java) S 25472 25475 23975 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 30077420 9856040960 22477 33554432000 1073741824 1073778376 140735114822272 139826208663176 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25475/tid=25489] ppid=25472 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25475/task/25489/stat : 25489 (java) S 25472 25475 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30077423 9856040960 22477 33554432000 1073741824 1073778376 140735114822272 139826207611920 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25475/tid=25490] ppid=25472 vsize=9625040 CPUtime=0.86 cores=1,3,5,7
/proc/25475/task/25490/stat : 25490 (java) S 25472 25475 23975 0 -1 4202560 10130 0 0 0 84 2 0 0 20 0 19 0 30077423 9856040960 22477 33554432000 1073741824 1073778376 140735114822272 139826206558264 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25475/tid=25491] ppid=25472 vsize=9625040 CPUtime=0.34 cores=1,3,5,7
/proc/25475/task/25491/stat : 25491 (java) S 25472 25475 23975 0 -1 4202560 2366 0 0 0 33 1 0 0 20 0 19 0 30077423 9856040960 22477 33554432000 1073741824 1073778376 140735114822272 139826205505720 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25475/tid=25492] ppid=25472 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25475/task/25492/stat : 25492 (java) S 25472 25475 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30077423 9856040960 22477 33554432000 1073741824 1073778376 140735114822272 139826204453368 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25475/tid=25493] ppid=25472 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25475/task/25493/stat : 25493 (java) S 25472 25475 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30077423 9856040960 22477 33554432000 1073741824 1073778376 140735114822272 139826203401032 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25475/tid=25513] ppid=25472 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25475/task/25513/stat : 25513 (java) S 25472 25475 23975 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 30077461 9856040960 22477 33554432000 1073741824 1073778376 140735114822272 139826202346792 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.28
Current children cumulated vsize (KiB) 9625040

[startup+6.30082 s]
/proc/loadavg: 2.46 2.26 2.23 3/213 25560
/proc/meminfo: memFree=30213564/32872528 swapFree=1392268/1580316
[pid=25475] ppid=25472 vsize=9625040 CPUtime=7.5 cores=1,3,5,7
/proc/25475/stat : 25475 (java) S 25472 25475 23975 0 -1 4202496 16205 0 1 0 745 5 0 0 20 0 19 0 30077417 9856040960 22502 33554432000 1073741824 1073778376 140735114822272 140735114813408 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25475/statm: 2406260 22502 2271 9 0 2396937 0
[pid=25475/tid=25477] ppid=25472 vsize=9625040 CPUtime=6.25 cores=1,3,5,7
/proc/25475/task/25477/stat : 25477 (java) R 25472 25475 23975 0 -1 4202560 2431 0 1 0 622 3 0 0 20 0 19 0 30077418 9856040960 22502 33554432000 1073741824 1073778376 140735114822272 139826857496256 139826704237881 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=25475/tid=25478] ppid=25472 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25475/task/25478/stat : 25478 (java) S 25472 25475 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30077419 9856040960 22502 33554432000 1073741824 1073778376 140735114822272 139826829957800 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25475/tid=25479] ppid=25472 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25475/task/25479/stat : 25479 (java) S 25472 25475 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30077419 9856040960 22502 33554432000 1073741824 1073778376 140735114822272 139826828905256 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25475/tid=25480] ppid=25472 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25475/task/25480/stat : 25480 (java) S 25472 25475 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30077419 9856040960 22502 33554432000 1073741824 1073778376 140735114822272 139826827852712 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25475/tid=25481] ppid=25472 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25475/task/25481/stat : 25481 (java) S 25472 25475 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30077419 9856040960 22502 33554432000 1073741824 1073778376 140735114822272 139826826800168 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25475/tid=25482] ppid=25472 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25475/task/25482/stat : 25482 (java) S 25472 25475 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30077419 9856040960 22502 33554432000 1073741824 1073778376 140735114822272 139826825746600 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25475/tid=25483] ppid=25472 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25475/task/25483/stat : 25483 (java) S 25472 25475 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30077419 9856040960 22502 33554432000 1073741824 1073778376 140735114822272 139826824694056 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25475/tid=25484] ppid=25472 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25475/task/25484/stat : 25484 (java) S 25472 25475 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30077419 9856040960 22502 33554432000 1073741824 1073778376 140735114822272 139826823641512 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25475/tid=25485] ppid=25472 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25475/task/25485/stat : 25485 (java) S 25472 25475 23975 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 30077419 9856040960 22502 33554432000 1073741824 1073778376 140735114822272 139826822588968 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25475/tid=25486] ppid=25472 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25475/task/25486/stat : 25486 (java) S 25472 25475 23975 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 30077420 9856040960 22502 33554432000 1073741824 1073778376 140735114822272 139826210769512 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25475/tid=25487] ppid=25472 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25475/task/25487/stat : 25487 (java) S 25472 25475 23975 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 30077420 9856040960 22502 33554432000 1073741824 1073778376 140735114822272 139826209715832 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25475/tid=25488] ppid=25472 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25475/task/25488/stat : 25488 (java) S 25472 25475 23975 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 30077420 9856040960 22502 33554432000 1073741824 1073778376 140735114822272 139826208663176 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25475/tid=25489] ppid=25472 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25475/task/25489/stat : 25489 (java) S 25472 25475 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30077423 9856040960 22502 33554432000 1073741824 1073778376 140735114822272 139826207611920 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25475/tid=25490] ppid=25472 vsize=9625040 CPUtime=0.87 cores=1,3,5,7
/proc/25475/task/25490/stat : 25490 (java) S 25472 25475 23975 0 -1 4202560 10130 0 0 0 85 2 0 0 20 0 19 0 30077423 9856040960 22502 33554432000 1073741824 1073778376 140735114822272 139826206558264 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25475/tid=25491] ppid=25472 vsize=9625040 CPUtime=0.35 cores=1,3,5,7
/proc/25475/task/25491/stat : 25491 (java) S 25472 25475 23975 0 -1 4202560 2366 0 0 0 33 2 0 0 20 0 19 0 30077423 9856040960 22502 33554432000 1073741824 1073778376 140735114822272 139826205505720 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25475/tid=25492] ppid=25472 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25475/task/25492/stat : 25492 (java) S 25472 25475 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30077423 9856040960 22502 33554432000 1073741824 1073778376 140735114822272 139826204453368 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25475/tid=25493] ppid=25472 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25475/task/25493/stat : 25493 (java) S 25472 25475 23975 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 30077423 9856040960 22502 33554432000 1073741824 1073778376 140735114822272 139826203401032 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25475/tid=25513] ppid=25472 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25475/task/25513/stat : 25513 (java) S 25472 25475 23975 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 30077461 9856040960 22502 33554432000 1073741824 1073778376 140735114822272 139826202346792 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 7.5
Current children cumulated vsize (KiB) 9625040


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

[pid=25475/tid=25487] ppid=25472 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25475/task/25487/stat : 25487 (java) S 25472 25475 23975 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 30077420 9856040960 94302 33554432000 1073741824 1073778376 140735114822272 139826209715832 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25475/tid=25488] ppid=25472 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25475/task/25488/stat : 25488 (java) S 25472 25475 23975 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 30077420 9856040960 94302 33554432000 1073741824 1073778376 140735114822272 139826208663176 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25475/tid=25489] ppid=25472 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25475/task/25489/stat : 25489 (java) S 25472 25475 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30077423 9856040960 94302 33554432000 1073741824 1073778376 140735114822272 139826207611920 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25475/tid=25490] ppid=25472 vsize=9625040 CPUtime=0.91 cores=1,3,5,7
/proc/25475/task/25490/stat : 25490 (java) S 25472 25475 23975 0 -1 4202560 10139 0 0 0 89 2 0 0 20 0 19 0 30077423 9856040960 94302 33554432000 1073741824 1073778376 140735114822272 139826206558264 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25475/tid=25491] ppid=25472 vsize=9625040 CPUtime=0.35 cores=1,3,5,7
/proc/25475/task/25491/stat : 25491 (java) S 25472 25475 23975 0 -1 4202560 2366 0 0 0 33 2 0 0 20 0 19 0 30077423 9856040960 94302 33554432000 1073741824 1073778376 140735114822272 139826205505720 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25475/tid=25492] ppid=25472 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25475/task/25492/stat : 25492 (java) S 25472 25475 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30077423 9856040960 94302 33554432000 1073741824 1073778376 140735114822272 139826204453368 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25475/tid=25493] ppid=25472 vsize=9625040 CPUtime=0.63 cores=1,3,5,7
/proc/25475/task/25493/stat : 25493 (java) S 25472 25475 23975 0 -1 4202560 96 0 0 0 24 39 0 0 20 0 19 0 30077423 9856040960 94302 33554432000 1073741824 1073778376 140735114822272 139826203401032 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25475/tid=25513] ppid=25472 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25475/task/25513/stat : 25513 (java) S 25472 25475 23975 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 30077461 9856040960 94302 33554432000 1073741824 1073778376 140735114822272 139826202346792 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1664.61
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.24 2.21 2.18 3/213 25626
/proc/meminfo: memFree=29612372/32872528 swapFree=1392268/1580316
[pid=25475] ppid=25472 vsize=9625040 CPUtime=1724.71 cores=1,3,5,7
/proc/25475/stat : 25475 (java) S 25472 25475 23975 0 -1 4202496 17868 0 1 0 172404 67 0 0 20 0 19 0 30077417 9856040960 97372 33554432000 1073741824 1073778376 140735114822272 140735114813408 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25475/statm: 2406260 97372 2285 9 0 2396937 0
[pid=25475/tid=25477] ppid=25472 vsize=9625040 CPUtime=1721.65 cores=1,3,5,7
/proc/25475/task/25477/stat : 25477 (java) R 25472 25475 23975 0 -1 4202560 2488 0 1 0 172130 35 0 0 20 0 19 0 30077418 9856040960 97372 33554432000 1073741824 1073778376 140735114822272 139826857496352 139826704280704 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=25475/tid=25478] ppid=25472 vsize=9625040 CPUtime=0.2 cores=1,3,5,7
/proc/25475/task/25478/stat : 25478 (java) S 25472 25475 23975 0 -1 4202560 149 0 0 0 17 3 0 0 20 0 19 0 30077419 9856040960 97372 33554432000 1073741824 1073778376 140735114822272 139826829957800 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25475/tid=25479] ppid=25472 vsize=9625040 CPUtime=0.17 cores=1,3,5,7
/proc/25475/task/25479/stat : 25479 (java) S 25472 25475 23975 0 -1 4202560 248 0 0 0 14 3 0 0 20 0 19 0 30077419 9856040960 97372 33554432000 1073741824 1073778376 140735114822272 139826828905256 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25475/tid=25480] ppid=25472 vsize=9625040 CPUtime=0.18 cores=1,3,5,7
/proc/25475/task/25480/stat : 25480 (java) S 25472 25475 23975 0 -1 4202560 243 0 0 0 15 3 0 0 20 0 19 0 30077419 9856040960 97372 33554432000 1073741824 1073778376 140735114822272 139826827852712 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25475/tid=25481] ppid=25472 vsize=9625040 CPUtime=0.18 cores=1,3,5,7
/proc/25475/task/25481/stat : 25481 (java) S 25472 25475 23975 0 -1 4202560 86 0 0 0 14 4 0 0 20 0 19 0 30077419 9856040960 97372 33554432000 1073741824 1073778376 140735114822272 139826826800168 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25475/tid=25482] ppid=25472 vsize=9625040 CPUtime=0.19 cores=1,3,5,7
/proc/25475/task/25482/stat : 25482 (java) S 25472 25475 23975 0 -1 4202560 272 0 0 0 16 3 0 0 20 0 19 0 30077419 9856040960 97372 33554432000 1073741824 1073778376 140735114822272 139826825746600 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25475/tid=25483] ppid=25472 vsize=9625040 CPUtime=0.19 cores=1,3,5,7
/proc/25475/task/25483/stat : 25483 (java) S 25472 25475 23975 0 -1 4202560 86 0 0 0 16 3 0 0 20 0 19 0 30077419 9856040960 97372 33554432000 1073741824 1073778376 140735114822272 139826824694056 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25475/tid=25484] ppid=25472 vsize=9625040 CPUtime=0.16 cores=1,3,5,7
/proc/25475/task/25484/stat : 25484 (java) S 25472 25475 23975 0 -1 4202560 75 0 0 0 13 3 0 0 20 0 19 0 30077419 9856040960 97372 33554432000 1073741824 1073778376 140735114822272 139826823641512 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25475/tid=25485] ppid=25472 vsize=9625040 CPUtime=0.21 cores=1,3,5,7
/proc/25475/task/25485/stat : 25485 (java) S 25472 25475 23975 0 -1 4202560 285 0 0 0 17 4 0 0 20 0 19 0 30077419 9856040960 97372 33554432000 1073741824 1073778376 140735114822272 139826822588968 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25475/tid=25486] ppid=25472 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/25475/task/25486/stat : 25486 (java) S 25472 25475 23975 0 -1 4202560 68 0 0 0 2 0 0 0 20 0 19 0 30077420 9856040960 97372 33554432000 1073741824 1073778376 140735114822272 139826210769512 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25475/tid=25487] ppid=25472 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25475/task/25487/stat : 25487 (java) S 25472 25475 23975 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 30077420 9856040960 97372 33554432000 1073741824 1073778376 140735114822272 139826209715832 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25475/tid=25488] ppid=25472 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25475/task/25488/stat : 25488 (java) S 25472 25475 23975 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 30077420 9856040960 97372 33554432000 1073741824 1073778376 140735114822272 139826208663176 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25475/tid=25489] ppid=25472 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25475/task/25489/stat : 25489 (java) S 25472 25475 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30077423 9856040960 97372 33554432000 1073741824 1073778376 140735114822272 139826207611920 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25475/tid=25490] ppid=25472 vsize=9625040 CPUtime=0.91 cores=1,3,5,7
/proc/25475/task/25490/stat : 25490 (java) S 25472 25475 23975 0 -1 4202560 10139 0 0 0 89 2 0 0 20 0 19 0 30077423 9856040960 97372 33554432000 1073741824 1073778376 140735114822272 139826206558264 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25475/tid=25491] ppid=25472 vsize=9625040 CPUtime=0.35 cores=1,3,5,7
/proc/25475/task/25491/stat : 25491 (java) S 25472 25475 23975 0 -1 4202560 2366 0 0 0 33 2 0 0 20 0 19 0 30077423 9856040960 97372 33554432000 1073741824 1073778376 140735114822272 139826205505720 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25475/tid=25492] ppid=25472 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25475/task/25492/stat : 25492 (java) S 25472 25475 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30077423 9856040960 97372 33554432000 1073741824 1073778376 140735114822272 139826204453368 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25475/tid=25493] ppid=25472 vsize=9625040 CPUtime=0.66 cores=1,3,5,7
/proc/25475/task/25493/stat : 25493 (java) S 25472 25475 23975 0 -1 4202560 100 0 0 0 26 40 0 0 20 0 19 0 30077423 9856040960 97372 33554432000 1073741824 1073778376 140735114822272 139826203401032 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25475/tid=25513] ppid=25472 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25475/task/25513/stat : 25513 (java) S 25472 25475 23975 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 30077461 9856040960 97372 33554432000 1073741824 1073778376 140735114822272 139826202346792 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1724.71
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.24 2.21 2.18 4/213 25627
/proc/meminfo: memFree=29602256/32872528 swapFree=1392268/1580316
[pid=25475] ppid=25472 vsize=9625040 CPUtime=1784.72 cores=1,3,5,7
/proc/25475/stat : 25475 (java) S 25472 25475 23975 0 -1 4202496 17872 0 1 0 178404 68 0 0 20 0 19 0 30077417 9856040960 97372 33554432000 1073741824 1073778376 140735114822272 140735114813408 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25475/statm: 2406260 97372 2285 9 0 2396937 0
[pid=25475/tid=25477] ppid=25472 vsize=9625040 CPUtime=1781.66 cores=1,3,5,7
/proc/25475/task/25477/stat : 25477 (java) R 25472 25475 23975 0 -1 4202560 2488 0 1 0 178130 36 0 0 20 0 19 0 30077418 9856040960 97372 33554432000 1073741824 1073778376 140735114822272 139826857496352 139826704281238 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=25475/tid=25478] ppid=25472 vsize=9625040 CPUtime=0.2 cores=1,3,5,7
/proc/25475/task/25478/stat : 25478 (java) S 25472 25475 23975 0 -1 4202560 149 0 0 0 17 3 0 0 20 0 19 0 30077419 9856040960 97372 33554432000 1073741824 1073778376 140735114822272 139826829957800 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25475/tid=25479] ppid=25472 vsize=9625040 CPUtime=0.17 cores=1,3,5,7
/proc/25475/task/25479/stat : 25479 (java) S 25472 25475 23975 0 -1 4202560 248 0 0 0 14 3 0 0 20 0 19 0 30077419 9856040960 97372 33554432000 1073741824 1073778376 140735114822272 139826828905256 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25475/tid=25480] ppid=25472 vsize=9625040 CPUtime=0.18 cores=1,3,5,7
/proc/25475/task/25480/stat : 25480 (java) S 25472 25475 23975 0 -1 4202560 243 0 0 0 15 3 0 0 20 0 19 0 30077419 9856040960 97372 33554432000 1073741824 1073778376 140735114822272 139826827852712 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25475/tid=25481] ppid=25472 vsize=9625040 CPUtime=0.18 cores=1,3,5,7
/proc/25475/task/25481/stat : 25481 (java) S 25472 25475 23975 0 -1 4202560 86 0 0 0 14 4 0 0 20 0 19 0 30077419 9856040960 97372 33554432000 1073741824 1073778376 140735114822272 139826826800168 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25475/tid=25482] ppid=25472 vsize=9625040 CPUtime=0.19 cores=1,3,5,7
/proc/25475/task/25482/stat : 25482 (java) S 25472 25475 23975 0 -1 4202560 272 0 0 0 16 3 0 0 20 0 19 0 30077419 9856040960 97372 33554432000 1073741824 1073778376 140735114822272 139826825746600 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25475/tid=25483] ppid=25472 vsize=9625040 CPUtime=0.19 cores=1,3,5,7
/proc/25475/task/25483/stat : 25483 (java) S 25472 25475 23975 0 -1 4202560 86 0 0 0 16 3 0 0 20 0 19 0 30077419 9856040960 97372 33554432000 1073741824 1073778376 140735114822272 139826824694056 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25475/tid=25484] ppid=25472 vsize=9625040 CPUtime=0.16 cores=1,3,5,7
/proc/25475/task/25484/stat : 25484 (java) S 25472 25475 23975 0 -1 4202560 75 0 0 0 13 3 0 0 20 0 19 0 30077419 9856040960 97372 33554432000 1073741824 1073778376 140735114822272 139826823641512 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25475/tid=25485] ppid=25472 vsize=9625040 CPUtime=0.21 cores=1,3,5,7
/proc/25475/task/25485/stat : 25485 (java) S 25472 25475 23975 0 -1 4202560 285 0 0 0 17 4 0 0 20 0 19 0 30077419 9856040960 97372 33554432000 1073741824 1073778376 140735114822272 139826822588968 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25475/tid=25486] ppid=25472 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/25475/task/25486/stat : 25486 (java) S 25472 25475 23975 0 -1 4202560 68 0 0 0 2 0 0 0 20 0 19 0 30077420 9856040960 97372 33554432000 1073741824 1073778376 140735114822272 139826210769512 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25475/tid=25487] ppid=25472 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25475/task/25487/stat : 25487 (java) S 25472 25475 23975 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 30077420 9856040960 97372 33554432000 1073741824 1073778376 140735114822272 139826209715832 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25475/tid=25488] ppid=25472 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25475/task/25488/stat : 25488 (java) S 25472 25475 23975 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 30077420 9856040960 97372 33554432000 1073741824 1073778376 140735114822272 139826208663176 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25475/tid=25489] ppid=25472 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25475/task/25489/stat : 25489 (java) S 25472 25475 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30077423 9856040960 97372 33554432000 1073741824 1073778376 140735114822272 139826207611920 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25475/tid=25490] ppid=25472 vsize=9625040 CPUtime=0.91 cores=1,3,5,7
/proc/25475/task/25490/stat : 25490 (java) S 25472 25475 23975 0 -1 4202560 10139 0 0 0 89 2 0 0 20 0 19 0 30077423 9856040960 97372 33554432000 1073741824 1073778376 140735114822272 139826206558264 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25475/tid=25491] ppid=25472 vsize=9625040 CPUtime=0.35 cores=1,3,5,7
/proc/25475/task/25491/stat : 25491 (java) S 25472 25475 23975 0 -1 4202560 2366 0 0 0 33 2 0 0 20 0 19 0 30077423 9856040960 97372 33554432000 1073741824 1073778376 140735114822272 139826205505720 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25475/tid=25492] ppid=25472 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25475/task/25492/stat : 25492 (java) S 25472 25475 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30077423 9856040960 97372 33554432000 1073741824 1073778376 140735114822272 139826204453368 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25475/tid=25493] ppid=25472 vsize=9625040 CPUtime=0.68 cores=1,3,5,7
/proc/25475/task/25493/stat : 25493 (java) S 25472 25475 23975 0 -1 4202560 104 0 0 0 27 41 0 0 20 0 19 0 30077423 9856040960 97372 33554432000 1073741824 1073778376 140735114822272 139826203401032 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25475/tid=25513] ppid=25472 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25475/task/25513/stat : 25513 (java) S 25472 25475 23975 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 30077461 9856040960 97372 33554432000 1073741824 1073778376 140735114822272 139826202346792 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1784.72
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1797.6 s]
/proc/loadavg: 2.25 2.22 2.18 3/213 25627
/proc/meminfo: memFree=29602512/32872528 swapFree=1392268/1580316
[pid=25475] ppid=25472 vsize=9625040 CPUtime=1800.03 cores=1,3,5,7
/proc/25475/stat : 25475 (java) S 25472 25475 23975 0 -1 4202496 17872 0 1 0 179934 69 0 0 20 0 19 0 30077417 9856040960 97372 33554432000 1073741824 1073778376 140735114822272 140735114813408 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25475/statm: 2406260 97372 2285 9 0 2396937 0
[pid=25475/tid=25477] ppid=25472 vsize=9625040 CPUtime=1796.96 cores=1,3,5,7
/proc/25475/task/25477/stat : 25477 (java) R 25472 25475 23975 0 -1 4202560 2488 0 1 0 179660 36 0 0 20 0 19 0 30077418 9856040960 97372 33554432000 1073741824 1073778376 140735114822272 139826857496352 139826704311626 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=25475/tid=25478] ppid=25472 vsize=9625040 CPUtime=0.2 cores=1,3,5,7
/proc/25475/task/25478/stat : 25478 (java) S 25472 25475 23975 0 -1 4202560 149 0 0 0 17 3 0 0 20 0 19 0 30077419 9856040960 97372 33554432000 1073741824 1073778376 140735114822272 139826829957800 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25475/tid=25479] ppid=25472 vsize=9625040 CPUtime=0.17 cores=1,3,5,7
/proc/25475/task/25479/stat : 25479 (java) S 25472 25475 23975 0 -1 4202560 248 0 0 0 14 3 0 0 20 0 19 0 30077419 9856040960 97372 33554432000 1073741824 1073778376 140735114822272 139826828905256 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25475/tid=25480] ppid=25472 vsize=9625040 CPUtime=0.18 cores=1,3,5,7
/proc/25475/task/25480/stat : 25480 (java) S 25472 25475 23975 0 -1 4202560 243 0 0 0 15 3 0 0 20 0 19 0 30077419 9856040960 97372 33554432000 1073741824 1073778376 140735114822272 139826827852712 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25475/tid=25481] ppid=25472 vsize=9625040 CPUtime=0.18 cores=1,3,5,7
/proc/25475/task/25481/stat : 25481 (java) S 25472 25475 23975 0 -1 4202560 86 0 0 0 14 4 0 0 20 0 19 0 30077419 9856040960 97372 33554432000 1073741824 1073778376 140735114822272 139826826800168 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25475/tid=25482] ppid=25472 vsize=9625040 CPUtime=0.19 cores=1,3,5,7
/proc/25475/task/25482/stat : 25482 (java) S 25472 25475 23975 0 -1 4202560 272 0 0 0 16 3 0 0 20 0 19 0 30077419 9856040960 97372 33554432000 1073741824 1073778376 140735114822272 139826825746600 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25475/tid=25483] ppid=25472 vsize=9625040 CPUtime=0.19 cores=1,3,5,7
/proc/25475/task/25483/stat : 25483 (java) S 25472 25475 23975 0 -1 4202560 86 0 0 0 16 3 0 0 20 0 19 0 30077419 9856040960 97372 33554432000 1073741824 1073778376 140735114822272 139826824694056 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25475/tid=25484] ppid=25472 vsize=9625040 CPUtime=0.16 cores=1,3,5,7
/proc/25475/task/25484/stat : 25484 (java) S 25472 25475 23975 0 -1 4202560 75 0 0 0 13 3 0 0 20 0 19 0 30077419 9856040960 97372 33554432000 1073741824 1073778376 140735114822272 139826823641512 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25475/tid=25485] ppid=25472 vsize=9625040 CPUtime=0.21 cores=1,3,5,7
/proc/25475/task/25485/stat : 25485 (java) S 25472 25475 23975 0 -1 4202560 285 0 0 0 17 4 0 0 20 0 19 0 30077419 9856040960 97372 33554432000 1073741824 1073778376 140735114822272 139826822588968 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25475/tid=25486] ppid=25472 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/25475/task/25486/stat : 25486 (java) S 25472 25475 23975 0 -1 4202560 68 0 0 0 2 0 0 0 20 0 19 0 30077420 9856040960 97372 33554432000 1073741824 1073778376 140735114822272 139826210769512 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25475/tid=25487] ppid=25472 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25475/task/25487/stat : 25487 (java) S 25472 25475 23975 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 30077420 9856040960 97372 33554432000 1073741824 1073778376 140735114822272 139826209715832 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25475/tid=25488] ppid=25472 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25475/task/25488/stat : 25488 (java) S 25472 25475 23975 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 30077420 9856040960 97372 33554432000 1073741824 1073778376 140735114822272 139826208663176 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25475/tid=25489] ppid=25472 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25475/task/25489/stat : 25489 (java) S 25472 25475 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30077423 9856040960 97372 33554432000 1073741824 1073778376 140735114822272 139826207611920 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25475/tid=25490] ppid=25472 vsize=9625040 CPUtime=0.91 cores=1,3,5,7
/proc/25475/task/25490/stat : 25490 (java) S 25472 25475 23975 0 -1 4202560 10139 0 0 0 89 2 0 0 20 0 19 0 30077423 9856040960 97372 33554432000 1073741824 1073778376 140735114822272 139826206558264 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25475/tid=25491] ppid=25472 vsize=9625040 CPUtime=0.35 cores=1,3,5,7
/proc/25475/task/25491/stat : 25491 (java) S 25472 25475 23975 0 -1 4202560 2366 0 0 0 33 2 0 0 20 0 19 0 30077423 9856040960 97372 33554432000 1073741824 1073778376 140735114822272 139826205505720 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25475/tid=25492] ppid=25472 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25475/task/25492/stat : 25492 (java) S 25472 25475 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30077423 9856040960 97372 33554432000 1073741824 1073778376 140735114822272 139826204453368 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25475/tid=25493] ppid=25472 vsize=9625040 CPUtime=0.69 cores=1,3,5,7
/proc/25475/task/25493/stat : 25493 (java) S 25472 25475 23975 0 -1 4202560 104 0 0 0 27 42 0 0 20 0 19 0 30077423 9856040960 97372 33554432000 1073741824 1073778376 140735114822272 139826203401032 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25475/tid=25513] ppid=25472 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25475/task/25513/stat : 25513 (java) S 25472 25475 23975 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 30077461 9856040960 97372 33554432000 1073741824 1073778376 140735114822272 139826202346792 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 9625040

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 25475 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 1797.64
CPU time (s): 1800.72
CPU user time (s): 1799.5
CPU system time (s): 1.22281
CPU usage (%): 100.172
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.5
system time used= 1.22281
maximum resident set size= 389604
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17905
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38392
involuntary context switches= 16303

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.5934 second user time and 13.9119 second system time

The end

Launcher Data 

Begin job on node139 at 2016-06-26 21:46:42
IDJOB=4116337
IDBENCH=109457
IDSOLVER=2546
FILE ID=node139/4116337-1466970402
RUNJOBID= node139-1466956013-23992
PBS_JOBID= 19976371
Free space on /tmp= 71676 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/nossum/normalized-sha1-size96-round23-6.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4116337-1466970402/watcher-4116337-1466970402 -o /tmp/evaluation-result-4116337-1466970402/solver-4116337-1466970402 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1466956013-23992 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4116337-1466970402.opb

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

MD5SUM BENCH= 3259b6526f651c11b9230c18caa481fd
RANDOM SEED=758715781

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.394
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.394
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.394
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.394
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.394
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.394
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.57
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.394
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.394
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30033220 kB
Buffers:           40628 kB
Cached:           179328 kB
SwapCached:         2156 kB
Active:           369304 kB
Inactive:         179608 kB
Active(anon):     330064 kB
Inactive(anon):     1120 kB
Active(file):      39240 kB
Inactive(file):   178488 kB
Unevictable:     1580316 kB
Mlocked:         1392268 kB
SwapTotal:      67108856 kB
SwapFree:       67098796 kB
Dirty:              1216 kB
Writeback:             0 kB
AnonPages:       1914284 kB
Mapped:            15420 kB
Shmem:                 0 kB
Slab:             568284 kB
SReclaimable:      12308 kB
SUnreclaim:       555976 kB
KernelStack:        1632 kB
PageTables:         7796 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2290464 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    509952 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71676 MiB
End job on node139 at 2016-06-26 22:16:40