Trace number 4116841

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.65 1797.44

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/nossum/
normalized-sha1-size144-round23-4.opb
MD5SUMef75d0fa559b60e210d6da0ea8998a08
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 constraints9520
Number of constraints which are clauses8192
Number of constraints which are cardinality constraints (but not clauses)432
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.06/0.10	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.06/0.10	c This is free software under the dual EPL/GNU LGPL licenses.
0.06/0.10	c See www.sat4j.org for details.
0.06/0.11	c version PB16.v20160501
0.06/0.11	c java.runtime.name	Java(TM) SE Runtime Environment
0.06/0.11	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.06/0.11	c java.vm.version	19.1-b02
0.06/0.11	c java.vm.vendor	Sun Microsystems Inc.
0.06/0.11	c sun.arch.data.model	64
0.06/0.11	c java.version		1.6.0_24
0.06/0.11	c os.name		Linux
0.06/0.11	c os.version		2.6.32-71.29.1.el6.x86_64
0.06/0.11	c os.arch		amd64
0.06/0.11	c Free memory 		501472288
0.06/0.11	c Max memory 		7480803328
0.06/0.11	c Total memory 		504102912
0.06/0.11	c Number of processors 	8
0.06/0.13	c Pseudo Boolean Optimization by upper bound
0.06/0.13	c --- Begin Solver configuration ---
0.06/0.13	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.06/0.13	c Learn all clauses as in MiniSAT
0.06/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.06/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.06/0.13	c No reason simplification
0.06/0.13	c Glucose 2.1 dynamic restart strategy
0.06/0.13	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.06/0.13	c timeout=2147483s
0.06/0.13	c DB Simplification allowed=false
0.06/0.13	c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90
0.06/0.13	c --- End Solver configuration ---
0.06/0.13	c solving HOME/instance-4116841-1466977596.opb
0.06/0.13	c reading problem ... 
0.06/0.13	c  no objective function found
0.67/0.44	c ... done. Wall clock time 0.309s.
0.67/0.44	c declared #vars     4288
0.67/0.44	c #constraints  10848
0.67/0.44	c constraints type 
0.67/0.44	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 7494
0.67/0.44	c org.sat4j.specs.Constr$1 => 920
0.67/0.44	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 128
0.67/0.44	c org.sat4j.minisat.constraints.cnf.UnitClause => 520
0.67/0.44	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1786
0.67/0.44	c 10848 constraints processed.
1.82/1.11	c cleaning 2498 clauses out of 4998 with flag 16406/5000
2.63/1.73	c cleaning 4234 clauses out of 8501 with flag 38763/11001
3.34/2.46	c cleaning 5619 clauses out of 11267 with flag 69177/18001
4.15/3.27	c cleaning 6810 clauses out of 13648 with flag 104638/26001
5.16/4.25	c cleaning 7911 clauses out of 15837 with flag 144944/35000
6.26/5.33	c cleaning 8950 clauses out of 17926 with flag 192671/45000
7.46/6.59	c cleaning 9963 clauses out of 19976 with flag 246451/56000
8.86/7.98	c cleaning 10950 clauses out of 22013 with flag 308545/68000
10.46/9.50	c cleaning 12021 clauses out of 24063 with flag 376461/81000
12.16/11.22	c cleaning 12997 clauses out of 26043 with flag 450356/95001
13.96/13.05	c cleaning 14021 clauses out of 28046 with flag 532640/110001
15.97/15.04	c cleaning 14998 clauses out of 30024 with flag 620484/126000
18.18/17.24	c cleaning 15982 clauses out of 32028 with flag 712722/143002
20.58/19.62	c cleaning 17013 clauses out of 34044 with flag 814213/161000
23.08/22.19	c cleaning 17983 clauses out of 36031 with flag 924818/180000
25.78/24.85	c cleaning 18985 clauses out of 38049 with flag 1036460/200001
28.68/27.74	c cleaning 20021 clauses out of 40063 with flag 1157758/221000
31.78/30.85	c cleaning 20988 clauses out of 42043 with flag 1282396/243001
35.19/34.21	c cleaning 22027 clauses out of 44054 with flag 1413848/266000
38.68/37.74	c cleaning 22986 clauses out of 46027 with flag 1552906/290000
42.38/41.44	c cleaning 24010 clauses out of 48044 with flag 1698841/315003
46.48/45.58	c cleaning 25007 clauses out of 50031 with flag 1850043/341000
50.99/50.03	c cleaning 25997 clauses out of 52024 with flag 2007012/368000
55.21/54.23	c cleaning 26952 clauses out of 54027 with flag 2170617/396000
59.41/58.46	c cleaning 28023 clauses out of 56076 with flag 2343015/425001
63.91/62.96	c cleaning 28980 clauses out of 58052 with flag 2518966/455000
68.61/67.63	c cleaning 29989 clauses out of 60072 with flag 2704639/486000
73.61/72.61	c cleaning 31026 clauses out of 62083 with flag 2895299/518000
78.81/77.82	c cleaning 31966 clauses out of 64057 with flag 3093476/551000
84.21/83.25	c cleaning 33014 clauses out of 66091 with flag 3297856/585000
89.91/88.96	c cleaning 34029 clauses out of 68078 with flag 3504440/620001
95.91/94.90	c cleaning 35020 clauses out of 70050 with flag 3722125/656002
102.01/101.06	c cleaning 35987 clauses out of 72028 with flag 3941141/693000
108.72/107.78	c cleaning 37004 clauses out of 74041 with flag 4164941/731000
115.62/114.66	c cleaning 37969 clauses out of 76039 with flag 4396848/770002
122.82/121.82	c cleaning 39020 clauses out of 78069 with flag 4634399/810001
130.31/129.32	c cleaning 39995 clauses out of 80048 with flag 4879141/851000
138.30/137.29	c cleaning 41021 clauses out of 82055 with flag 5134162/893002
145.91/144.82	c cleaning 41969 clauses out of 84032 with flag 5387629/936000
153.71/152.60	c cleaning 42994 clauses out of 86064 with flag 5650696/980001
162.01/160.93	c cleaning 44010 clauses out of 88069 with flag 5917788/1025000
170.61/169.56	c cleaning 44966 clauses out of 90059 with flag 6196592/1071000
179.41/178.36	c cleaning 45995 clauses out of 92095 with flag 6476664/1118002
188.72/187.63	c cleaning 47035 clauses out of 94098 with flag 6768565/1166000
198.31/197.26	c cleaning 48028 clauses out of 96063 with flag 7062557/1215000
208.41/207.31	c cleaning 48954 clauses out of 98036 with flag 7357935/1265001
218.52/217.47	c cleaning 50019 clauses out of 100081 with flag 7660199/1316000
229.52/228.46	c cleaning 50998 clauses out of 102062 with flag 7972366/1368000
240.55/239.46	c cleaning 52030 clauses out of 104064 with flag 8287303/1421000
251.66/250.55	c cleaning 53008 clauses out of 106034 with flag 8602531/1475000
263.16/262.04	c cleaning 53992 clauses out of 108027 with flag 8925512/1530001
275.17/274.02	c cleaning 54994 clauses out of 110034 with flag 9257300/1586000
286.96/285.87	c cleaning 55972 clauses out of 112040 with flag 9594550/1643000
299.57/298.45	c cleaning 56976 clauses out of 114069 with flag 9934813/1701001
312.77/311.65	c cleaning 58037 clauses out of 116092 with flag 10277329/1760000
326.48/325.31	c cleaning 58973 clauses out of 118055 with flag 10627506/1820000
340.48/339.30	c cleaning 60007 clauses out of 120082 with flag 10986927/1881000
354.44/353.28	c cleaning 61028 clauses out of 122075 with flag 11348944/1943000
368.83/367.64	c cleaning 62024 clauses out of 124047 with flag 11719051/2006000
383.54/382.30	c cleaning 62968 clauses out of 126023 with flag 12095617/2070000
398.74/397.50	c cleaning 63992 clauses out of 128055 with flag 12467958/2135000
414.36/413.16	c cleaning 65021 clauses out of 130063 with flag 12852737/2201000
430.16/428.93	c cleaning 65984 clauses out of 132044 with flag 13246943/2268002
446.47/445.21	c cleaning 66959 clauses out of 134059 with flag 13644017/2336001
463.65/462.31	c cleaning 68042 clauses out of 136099 with flag 14044868/2405000
480.56/479.21	c cleaning 68998 clauses out of 138057 with flag 14450019/2475000
498.06/496.79	c cleaning 69981 clauses out of 140059 with flag 14862383/2546000
516.07/514.79	c cleaning 70967 clauses out of 142079 with flag 15279665/2618001
534.67/533.33	c cleaning 72036 clauses out of 144111 with flag 15701250/2691000
553.37/552.04	c cleaning 72979 clauses out of 146076 with flag 16132651/2765001
572.88/571.54	c cleaning 73987 clauses out of 148097 with flag 16569833/2840001
592.87/591.41	c cleaning 75001 clauses out of 150112 with flag 17017724/2916003
613.19/611.77	c cleaning 75996 clauses out of 152108 with flag 17461742/2993000
633.99/632.59	c cleaning 77015 clauses out of 154112 with flag 17915494/3071000
655.68/654.28	c cleaning 78037 clauses out of 156097 with flag 18369028/3150000
677.70/676.27	c cleaning 78998 clauses out of 158060 with flag 18830329/3230000
700.79/699.38	c cleaning 80021 clauses out of 160062 with flag 19297218/3311000
723.48/721.94	c cleaning 80987 clauses out of 162042 with flag 19770065/3393001
746.08/744.59	c cleaning 82011 clauses out of 164054 with flag 20247351/3476000
769.79/768.28	c cleaning 82978 clauses out of 166045 with flag 20738311/3560002
794.09/792.60	c cleaning 83984 clauses out of 168065 with flag 21229363/3645000
819.30/817.78	c cleaning 85014 clauses out of 170081 with flag 21722270/3731000
845.30/843.62	c cleaning 86014 clauses out of 172069 with flag 22224585/3818002
871.40/869.76	c cleaning 86987 clauses out of 174053 with flag 22732411/3906000
897.80/896.18	c cleaning 88022 clauses out of 176066 with flag 23247173/3995000
925.31/923.69	c cleaning 88964 clauses out of 178045 with flag 23770376/4085001
953.22/951.54	c cleaning 90036 clauses out of 180080 with flag 24294023/4176000
981.52/979.72	c cleaning 90993 clauses out of 182045 with flag 24825324/4268001
1010.33/1008.56	c cleaning 91999 clauses out of 184051 with flag 25359051/4361000
1039.94/1038.10	c cleaning 92991 clauses out of 186052 with flag 25901287/4455000
1069.65/1067.86	c cleaning 94008 clauses out of 188061 with flag 26439508/4550000
1100.96/1099.04	c cleaning 95019 clauses out of 190053 with flag 26987089/4646000
1131.95/1130.05	c cleaning 96002 clauses out of 192034 with flag 27540434/4743000
1164.16/1162.29	c cleaning 96976 clauses out of 194032 with flag 28105751/4841000
1196.97/1195.03	c cleaning 97991 clauses out of 196056 with flag 28672747/4940000
1230.29/1228.21	c cleaning 99012 clauses out of 198065 with flag 29246566/5040000
1264.60/1262.51	c cleaning 99951 clauses out of 200054 with flag 29821989/5141001
1298.61/1296.58	c cleaning 101034 clauses out of 202102 with flag 30401493/5243000
1333.82/1331.78	c cleaning 102024 clauses out of 204068 with flag 30989620/5346000
1369.96/1367.71	c cleaning 102998 clauses out of 206044 with flag 31584347/5450000
1406.37/1404.11	c cleaning 103989 clauses out of 208046 with flag 32185700/5555000
1443.48/1441.25	c cleaning 105009 clauses out of 210057 with flag 32790431/5661000
1481.20/1478.84	c cleaning 105990 clauses out of 212048 with flag 33403888/5768000
1519.81/1517.41	c cleaning 106979 clauses out of 214058 with flag 34015195/5876000
1559.33/1556.92	c cleaning 108029 clauses out of 216079 with flag 34633632/5985000
1599.34/1596.93	c cleaning 108956 clauses out of 218051 with flag 35267142/6095001
1640.43/1637.93	c cleaning 110048 clauses out of 220095 with flag 35900464/6206001
1682.13/1679.62	c cleaning 110981 clauses out of 222047 with flag 36532647/6318001
1724.15/1721.66	c cleaning 112021 clauses out of 224065 with flag 37171320/6431000
1766.96/1764.38	c cleaning 112983 clauses out of 226044 with flag 37824669/6545000
1800.07/1797.41	c starts		: 52068
1800.07/1797.41	c conflicts		: 6638548
1800.07/1797.41	c decisions		: 55136383
1800.07/1797.41	c propagations		: 855090194
1800.07/1797.41	c inspects		: 24345604108
1800.07/1797.41	c shortcuts		: 0
1800.07/1797.41	c learnt literals	: 2
1800.07/1797.41	c learnt binary clauses	: 64
1800.07/1797.41	c learnt ternary clauses	: 923
1800.07/1797.41	c learnt constraints	: 6638546
1800.07/1797.41	c ignored constraints	: 0
1800.07/1797.41	c root simplifications	: 0
1800.07/1797.41	c removed literals (reason simplification)	: 0
1800.07/1797.41	c reason swapping (by a shorter reason)	: 0
1800.07/1797.41	c Calls to reduceDB	: 110
1800.07/1797.41	c Number of update (reduction) of LBD	: 1435399
1800.07/1797.41	c Imported unit clauses	: 0
1800.07/1797.41	c number of reductions to clauses (during analyze)	: 0
1800.07/1797.41	c number of learned constraints concerned by reduction	: 0
1800.07/1797.41	c number of learning phase by resolution	: 0
1800.07/1797.41	c number of learning phase by cutting planes	: 0
1800.07/1797.41	c speed (assignments/second)	: 475852.9774959195
1800.07/1797.41	c non guided choices	24357
1800.07/1797.41	c timeout
1800.07/1797.44	c learnt constraints type 
1800.07/1797.44	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 64
1800.07/1797.44	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 206545
1800.07/1797.44	s UNKNOWN
1800.07/1797.44	c Total wall clock time (in seconds): 1797.307

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

pid=26257
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.23 2.19 2.18 3/170 26260
/proc/meminfo: memFree=30355104/32872528 swapFree=1392268/1580316
[pid=26260] ppid=26257 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/26260/stat : 26260 (java) R 26257 26260 23975 0 -1 4202496 328 0 0 0 0 0 0 0 20 0 1 0 30796784 9515008 184 33554432000 1073741824 1073778376 140736403224528 140736403215752 248790019511 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/26260/statm: 2323 184 142 9 0 71 0

[startup+0.100154 s]
/proc/loadavg: 2.23 2.19 2.18 3/170 26260
/proc/meminfo: memFree=30355104/32872528 swapFree=1392268/1580316
[pid=26260] ppid=26257 vsize=9558476 CPUtime=0.06 cores=1,3,5,7
/proc/26260/stat : 26260 (java) S 26257 26260 23975 0 -1 4202496 3585 0 1 0 5 1 0 0 20 0 18 0 30796784 9787879424 4716 33554432000 1073741824 1073778376 140735129121360 140735129112496 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26260/statm: 2389619 4737 1823 9 0 2380296 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 9558476

[startup+0.200261 s]
/proc/loadavg: 2.23 2.19 2.18 3/170 26260
/proc/meminfo: memFree=30355104/32872528 swapFree=1392268/1580316
[pid=26260] ppid=26257 vsize=9558476 CPUtime=0.23 cores=1,3,5,7
/proc/26260/stat : 26260 (java) S 26257 26260 23975 0 -1 4202496 4674 0 1 0 21 2 0 0 20 0 18 0 30796784 9787879424 6752 33554432000 1073741824 1073778376 140735129121360 140735129112496 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26260/statm: 2389619 6752 2201 9 0 2380296 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 9558476

[startup+0.300238 s]
/proc/loadavg: 2.23 2.19 2.18 3/170 26260
/proc/meminfo: memFree=30355104/32872528 swapFree=1392268/1580316
[pid=26260] ppid=26257 vsize=9558476 CPUtime=0.45 cores=1,3,5,7
/proc/26260/stat : 26260 (java) S 26257 26260 23975 0 -1 4202496 5526 0 1 0 43 2 0 0 20 0 18 0 30796784 9787879424 8364 33554432000 1073741824 1073778376 140735129121360 140735129112496 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26260/statm: 2389619 8364 2232 9 0 2380296 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 9558476

[startup+0.700194 s]
/proc/loadavg: 2.23 2.19 2.18 3/170 26260
/proc/meminfo: memFree=30355104/32872528 swapFree=1392268/1580316
[pid=26260] ppid=26257 vsize=9625040 CPUtime=1.35 cores=1,3,5,7
/proc/26260/stat : 26260 (java) S 26257 26260 23975 0 -1 4202496 8140 0 1 0 132 3 0 0 20 0 19 0 30796784 9856040960 15764 33554432000 1073741824 1073778376 140735129121360 140735129112496 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26260/statm: 2406260 15764 2263 9 0 2396937 0
Current children cumulated CPU time (s) 1.35
Current children cumulated vsize (KiB) 9625040

[startup+1.50073 s]
/proc/loadavg: 2.23 2.19 2.18 6/213 26310
/proc/meminfo: memFree=30240712/32872528 swapFree=1392268/1580316
[pid=26260] ppid=26257 vsize=9625040 CPUtime=2.4 cores=1,3,5,7
/proc/26260/stat : 26260 (java) S 26257 26260 23975 0 -1 4202496 12386 0 1 0 237 3 0 0 20 0 19 0 30796784 9856040960 18069 33554432000 1073741824 1073778376 140735129121360 140735129112496 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26260/statm: 2406260 18069 2270 9 0 2396937 0
[pid=26260/tid=26262] ppid=26257 vsize=9625040 CPUtime=1.45 cores=1,3,5,7
/proc/26260/task/26262/stat : 26262 (java) R 26257 26260 23975 0 -1 4202560 2439 0 1 0 143 2 0 0 20 0 19 0 30796785 9856040960 18069 33554432000 1073741824 1073778376 140735129121360 140047856251416 140047693774105 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=26260/tid=26265] ppid=26257 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26260/task/26265/stat : 26265 (java) S 26257 26260 23975 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 30796788 9856040960 18069 33554432000 1073741824 1073778376 140735129121360 140047817742888 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26260/tid=26266] ppid=26257 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26260/task/26266/stat : 26266 (java) S 26257 26260 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30796788 9856040960 18069 33554432000 1073741824 1073778376 140735129121360 140047816690088 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26260/tid=26267] ppid=26257 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26260/task/26267/stat : 26267 (java) S 26257 26260 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30796788 9856040960 18069 33554432000 1073741824 1073778376 140735129121360 140047815637288 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26260/tid=26268] ppid=26257 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26260/task/26268/stat : 26268 (java) S 26257 26260 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30796788 9856040960 18069 33554432000 1073741824 1073778376 140735129121360 140047814584488 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26260/tid=26269] ppid=26257 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26260/task/26269/stat : 26269 (java) S 26257 26260 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30796788 9856040960 18069 33554432000 1073741824 1073778376 140735129121360 140047813532712 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26260/tid=26270] ppid=26257 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26260/task/26270/stat : 26270 (java) S 26257 26260 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30796788 9856040960 18069 33554432000 1073741824 1073778376 140735129121360 140047812479912 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26260/tid=26271] ppid=26257 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26260/task/26271/stat : 26271 (java) S 26257 26260 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30796788 9856040960 18069 33554432000 1073741824 1073778376 140735129121360 140047693114152 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26260/tid=26272] ppid=26257 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26260/task/26272/stat : 26272 (java) S 26257 26260 23975 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 30796788 9856040960 18069 33554432000 1073741824 1073778376 140735129121360 140047692061352 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26260/tid=26273] ppid=26257 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26260/task/26273/stat : 26273 (java) S 26257 26260 23975 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 30796789 9856040960 18069 33554432000 1073741824 1073778376 140735129121360 140047679863272 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26260/tid=26275] ppid=26257 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26260/task/26275/stat : 26275 (java) S 26257 26260 23975 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 30796789 9856040960 18069 33554432000 1073741824 1073778376 140735129121360 140047678809336 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26260/tid=26276] ppid=26257 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26260/task/26276/stat : 26276 (java) S 26257 26260 23975 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 30796790 9856040960 18069 33554432000 1073741824 1073778376 140735129121360 140047677756424 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26260/tid=26286] ppid=26257 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26260/task/26286/stat : 26286 (java) S 26257 26260 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30796792 9856040960 18069 33554432000 1073741824 1073778376 140735129121360 140046938138768 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26260/tid=26287] ppid=26257 vsize=9625040 CPUtime=0.41 cores=1,3,5,7
/proc/26260/task/26287/stat : 26287 (java) S 26257 26260 23975 0 -1 4202560 3442 0 0 0 41 0 0 0 20 0 19 0 30796792 9856040960 18069 33554432000 1073741824 1073778376 140735129121360 140046937086904 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26260/tid=26288] ppid=26257 vsize=9625040 CPUtime=0.51 cores=1,3,5,7
/proc/26260/task/26288/stat : 26288 (java) S 26257 26260 23975 0 -1 4202560 5228 0 0 0 51 0 0 0 20 0 19 0 30796792 9856040960 18069 33554432000 1073741824 1073778376 140735129121360 140046936034104 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26260/tid=26289] ppid=26257 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26260/task/26289/stat : 26289 (java) S 26257 26260 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30796792 9856040960 18069 33554432000 1073741824 1073778376 140735129121360 140046934981496 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26260/tid=26290] ppid=26257 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26260/task/26290/stat : 26290 (java) S 26257 26260 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30796792 9856040960 18069 33554432000 1073741824 1073778376 140735129121360 140046933928904 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26260/tid=26309] ppid=26257 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26260/task/26309/stat : 26309 (java) S 26257 26260 23975 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 30796830 9856040960 18069 33554432000 1073741824 1073778376 140735129121360 140046932874408 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.4
Current children cumulated vsize (KiB) 9625040

[startup+3.10074 s]
/proc/loadavg: 2.23 2.19 2.18 3/213 26310
/proc/meminfo: memFree=30227376/32872528 swapFree=1392268/1580316
[pid=26260] ppid=26257 vsize=9625040 CPUtime=4.05 cores=1,3,5,7
/proc/26260/stat : 26260 (java) S 26257 26260 23975 0 -1 4202496 12391 0 1 0 401 4 0 0 20 0 19 0 30796784 9856040960 19095 33554432000 1073741824 1073778376 140735129121360 140735129112496 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26260/statm: 2406260 19095 2270 9 0 2396937 0
[pid=26260/tid=26262] ppid=26257 vsize=9625040 CPUtime=3.05 cores=1,3,5,7
/proc/26260/task/26262/stat : 26262 (java) R 26257 26260 23975 0 -1 4202560 2442 0 1 0 302 3 0 0 20 0 19 0 30796785 9856040960 19095 33554432000 1073741824 1073778376 140735129121360 140047856242384 140047693727840 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=26260/tid=26265] ppid=26257 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26260/task/26265/stat : 26265 (java) S 26257 26260 23975 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 30796788 9856040960 19095 33554432000 1073741824 1073778376 140735129121360 140047817742888 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26260/tid=26266] ppid=26257 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26260/task/26266/stat : 26266 (java) S 26257 26260 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30796788 9856040960 19095 33554432000 1073741824 1073778376 140735129121360 140047816690088 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26260/tid=26267] ppid=26257 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26260/task/26267/stat : 26267 (java) S 26257 26260 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30796788 9856040960 19095 33554432000 1073741824 1073778376 140735129121360 140047815637288 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26260/tid=26268] ppid=26257 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26260/task/26268/stat : 26268 (java) S 26257 26260 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30796788 9856040960 19095 33554432000 1073741824 1073778376 140735129121360 140047814584488 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26260/tid=26269] ppid=26257 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26260/task/26269/stat : 26269 (java) S 26257 26260 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30796788 9856040960 19095 33554432000 1073741824 1073778376 140735129121360 140047813532712 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26260/tid=26270] ppid=26257 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26260/task/26270/stat : 26270 (java) S 26257 26260 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30796788 9856040960 19095 33554432000 1073741824 1073778376 140735129121360 140047812479912 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26260/tid=26271] ppid=26257 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26260/task/26271/stat : 26271 (java) S 26257 26260 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30796788 9856040960 19095 33554432000 1073741824 1073778376 140735129121360 140047693114152 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26260/tid=26272] ppid=26257 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26260/task/26272/stat : 26272 (java) S 26257 26260 23975 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 30796788 9856040960 19095 33554432000 1073741824 1073778376 140735129121360 140047692061352 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26260/tid=26273] ppid=26257 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26260/task/26273/stat : 26273 (java) S 26257 26260 23975 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 30796789 9856040960 19095 33554432000 1073741824 1073778376 140735129121360 140047679863272 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26260/tid=26275] ppid=26257 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26260/task/26275/stat : 26275 (java) S 26257 26260 23975 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 30796789 9856040960 19095 33554432000 1073741824 1073778376 140735129121360 140047678809336 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26260/tid=26276] ppid=26257 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26260/task/26276/stat : 26276 (java) S 26257 26260 23975 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 30796790 9856040960 19095 33554432000 1073741824 1073778376 140735129121360 140047677756424 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26260/tid=26286] ppid=26257 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26260/task/26286/stat : 26286 (java) S 26257 26260 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30796792 9856040960 19095 33554432000 1073741824 1073778376 140735129121360 140046938138768 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26260/tid=26287] ppid=26257 vsize=9625040 CPUtime=0.44 cores=1,3,5,7
/proc/26260/task/26287/stat : 26287 (java) S 26257 26260 23975 0 -1 4202560 3443 0 0 0 44 0 0 0 20 0 19 0 30796792 9856040960 19095 33554432000 1073741824 1073778376 140735129121360 140046937086904 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26260/tid=26288] ppid=26257 vsize=9625040 CPUtime=0.52 cores=1,3,5,7
/proc/26260/task/26288/stat : 26288 (java) S 26257 26260 23975 0 -1 4202560 5229 0 0 0 52 0 0 0 20 0 19 0 30796792 9856040960 19095 33554432000 1073741824 1073778376 140735129121360 140046936034104 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26260/tid=26289] ppid=26257 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26260/task/26289/stat : 26289 (java) S 26257 26260 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30796792 9856040960 19095 33554432000 1073741824 1073778376 140735129121360 140046934981496 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26260/tid=26290] ppid=26257 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26260/task/26290/stat : 26290 (java) S 26257 26260 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30796792 9856040960 19095 33554432000 1073741824 1073778376 140735129121360 140046933928904 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26260/tid=26309] ppid=26257 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26260/task/26309/stat : 26309 (java) S 26257 26260 23975 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 30796830 9856040960 19095 33554432000 1073741824 1073778376 140735129121360 140046932874408 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.05
Current children cumulated vsize (KiB) 9625040

[startup+6.30087 s]
/proc/loadavg: 2.21 2.19 2.18 3/213 26310
/proc/meminfo: memFree=30211640/32872528 swapFree=1392268/1580316
[pid=26260] ppid=26257 vsize=9625040 CPUtime=7.26 cores=1,3,5,7
/proc/26260/stat : 26260 (java) S 26257 26260 23975 0 -1 4202496 12397 0 1 0 722 4 0 0 20 0 19 0 30796784 9856040960 20686 33554432000 1073741824 1073778376 140735129121360 140735129112496 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26260/statm: 2406260 20686 2271 9 0 2396937 0
[pid=26260/tid=26262] ppid=26257 vsize=9625040 CPUtime=6.26 cores=1,3,5,7
/proc/26260/task/26262/stat : 26262 (java) R 26257 26260 23975 0 -1 4202560 2447 0 1 0 623 3 0 0 20 0 19 0 30796785 9856040960 20686 33554432000 1073741824 1073778376 140735129121360 140047856251304 140047693699999 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=26260/tid=26265] ppid=26257 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26260/task/26265/stat : 26265 (java) S 26257 26260 23975 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 30796788 9856040960 20686 33554432000 1073741824 1073778376 140735129121360 140047817742888 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26260/tid=26266] ppid=26257 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26260/task/26266/stat : 26266 (java) S 26257 26260 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30796788 9856040960 20686 33554432000 1073741824 1073778376 140735129121360 140047816690088 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26260/tid=26267] ppid=26257 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26260/task/26267/stat : 26267 (java) S 26257 26260 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30796788 9856040960 20686 33554432000 1073741824 1073778376 140735129121360 140047815637288 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26260/tid=26268] ppid=26257 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26260/task/26268/stat : 26268 (java) S 26257 26260 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30796788 9856040960 20686 33554432000 1073741824 1073778376 140735129121360 140047814584488 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26260/tid=26269] ppid=26257 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26260/task/26269/stat : 26269 (java) S 26257 26260 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30796788 9856040960 20686 33554432000 1073741824 1073778376 140735129121360 140047813532712 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26260/tid=26270] ppid=26257 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26260/task/26270/stat : 26270 (java) S 26257 26260 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30796788 9856040960 20686 33554432000 1073741824 1073778376 140735129121360 140047812479912 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=26260/tid=26271] ppid=26257 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26260/task/26271/stat : 26271 (java) S 26257 26260 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30796788 9856040960 20686 33554432000 1073741824 1073778376 140735129121360 140047693114152 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26260/tid=26272] ppid=26257 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26260/task/26272/stat : 26272 (java) S 26257 26260 23975 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 30796788 9856040960 20686 33554432000 1073741824 1073778376 140735129121360 140047692061352 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26260/tid=26273] ppid=26257 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26260/task/26273/stat : 26273 (java) S 26257 26260 23975 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 30796789 9856040960 20686 33554432000 1073741824 1073778376 140735129121360 140047679863272 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26260/tid=26275] ppid=26257 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26260/task/26275/stat : 26275 (java) S 26257 26260 23975 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 30796789 9856040960 20686 33554432000 1073741824 1073778376 140735129121360 140047678809336 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26260/tid=26276] ppid=26257 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26260/task/26276/stat : 26276 (java) S 26257 26260 23975 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 30796790 9856040960 20686 33554432000 1073741824 1073778376 140735129121360 140047677756424 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26260/tid=26286] ppid=26257 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26260/task/26286/stat : 26286 (java) S 26257 26260 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30796792 9856040960 20686 33554432000 1073741824 1073778376 140735129121360 140046938138768 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26260/tid=26287] ppid=26257 vsize=9625040 CPUtime=0.45 cores=1,3,5,7
/proc/26260/task/26287/stat : 26287 (java) S 26257 26260 23975 0 -1 4202560 3443 0 0 0 45 0 0 0 20 0 19 0 30796792 9856040960 20686 33554432000 1073741824 1073778376 140735129121360 140046937086904 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26260/tid=26288] ppid=26257 vsize=9625040 CPUtime=0.52 cores=1,3,5,7
/proc/26260/task/26288/stat : 26288 (java) S 26257 26260 23975 0 -1 4202560 5229 0 0 0 52 0 0 0 20 0 19 0 30796792 9856040960 20686 33554432000 1073741824 1073778376 140735129121360 140046936034104 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26260/tid=26289] ppid=26257 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26260/task/26289/stat : 26289 (java) S 26257 26260 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30796792 9856040960 20686 33554432000 1073741824 1073778376 140735129121360 140046934981496 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26260/tid=26290] ppid=26257 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26260/task/26290/stat : 26290 (java) S 26257 26260 23975 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 30796792 9856040960 20686 33554432000 1073741824 1073778376 140735129121360 140046933928904 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26260/tid=26309] ppid=26257 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26260/task/26309/stat : 26309 (java) S 26257 26260 23975 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 30796830 9856040960 20686 33554432000 1073741824 1073778376 140735129121360 140046932874408 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 7.26
Current children cumulated vsize (KiB) 9625040


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

/proc/26260/task/26275/stat : 26275 (java) S 26257 26260 23975 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 30796789 9856040960 92603 33554432000 1073741824 1073778376 140735129121360 140047678809336 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26260/tid=26276] ppid=26257 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26260/task/26276/stat : 26276 (java) S 26257 26260 23975 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 30796790 9856040960 92603 33554432000 1073741824 1073778376 140735129121360 140047677756424 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26260/tid=26286] ppid=26257 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26260/task/26286/stat : 26286 (java) S 26257 26260 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30796792 9856040960 92603 33554432000 1073741824 1073778376 140735129121360 140046938138768 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26260/tid=26287] ppid=26257 vsize=9625040 CPUtime=0.49 cores=1,3,5,7
/proc/26260/task/26287/stat : 26287 (java) S 26257 26260 23975 0 -1 4202560 3772 0 0 0 49 0 0 0 20 0 19 0 30796792 9856040960 92603 33554432000 1073741824 1073778376 140735129121360 140046937086904 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26260/tid=26288] ppid=26257 vsize=9625040 CPUtime=0.52 cores=1,3,5,7
/proc/26260/task/26288/stat : 26288 (java) S 26257 26260 23975 0 -1 4202560 5229 0 0 0 52 0 0 0 20 0 19 0 30796792 9856040960 92603 33554432000 1073741824 1073778376 140735129121360 140046936034104 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26260/tid=26289] ppid=26257 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26260/task/26289/stat : 26289 (java) S 26257 26260 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30796792 9856040960 92603 33554432000 1073741824 1073778376 140735129121360 140046934981496 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26260/tid=26290] ppid=26257 vsize=9625040 CPUtime=0.69 cores=1,3,5,7
/proc/26260/task/26290/stat : 26290 (java) S 26257 26260 23975 0 -1 4202560 98 0 0 0 31 38 0 0 20 0 19 0 30796792 9856040960 92603 33554432000 1073741824 1073778376 140735129121360 140046933928904 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26260/tid=26309] ppid=26257 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26260/task/26309/stat : 26309 (java) S 26257 26260 23975 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 30796830 9856040960 92603 33554432000 1073741824 1073778376 140735129121360 140046932874408 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1664.83
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.22 2.21 2.18 4/213 26387
/proc/meminfo: memFree=29624596/32872528 swapFree=1392268/1580316
[pid=26260] ppid=26257 vsize=9625040 CPUtime=1724.85 cores=1,3,5,7
/proc/26260/stat : 26260 (java) S 26257 26260 23975 0 -1 4202496 14052 0 1 0 172413 72 0 0 20 0 19 0 30796784 9856040960 92603 33554432000 1073741824 1073778376 140735129121360 140735129112496 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26260/statm: 2406260 92603 2285 9 0 2396937 0
[pid=26260/tid=26262] ppid=26257 vsize=9625040 CPUtime=1721.91 cores=1,3,5,7
/proc/26260/task/26262/stat : 26262 (java) R 26257 26260 23975 0 -1 4202560 2503 0 1 0 172152 39 0 0 20 0 19 0 30796785 9856040960 92603 33554432000 1073741824 1073778376 140735129121360 140047856242464 140047693774141 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=26260/tid=26265] ppid=26257 vsize=9625040 CPUtime=0.14 cores=1,3,5,7
/proc/26260/task/26265/stat : 26265 (java) S 26257 26260 23975 0 -1 4202560 192 0 0 0 12 2 0 0 20 0 19 0 30796788 9856040960 92603 33554432000 1073741824 1073778376 140735129121360 140047817742888 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26260/tid=26266] ppid=26257 vsize=9625040 CPUtime=0.15 cores=1,3,5,7
/proc/26260/task/26266/stat : 26266 (java) S 26257 26260 23975 0 -1 4202560 50 0 0 0 13 2 0 0 20 0 19 0 30796788 9856040960 92603 33554432000 1073741824 1073778376 140735129121360 140047816690088 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26260/tid=26267] ppid=26257 vsize=9625040 CPUtime=0.18 cores=1,3,5,7
/proc/26260/task/26267/stat : 26267 (java) S 26257 26260 23975 0 -1 4202560 81 0 0 0 14 4 0 0 20 0 19 0 30796788 9856040960 92603 33554432000 1073741824 1073778376 140735129121360 140047815637288 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26260/tid=26268] ppid=26257 vsize=9625040 CPUtime=0.18 cores=1,3,5,7
/proc/26260/task/26268/stat : 26268 (java) S 26257 26260 23975 0 -1 4202560 174 0 0 0 16 2 0 0 20 0 19 0 30796788 9856040960 92603 33554432000 1073741824 1073778376 140735129121360 140047814584488 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26260/tid=26269] ppid=26257 vsize=9625040 CPUtime=0.19 cores=1,3,5,7
/proc/26260/task/26269/stat : 26269 (java) S 26257 26260 23975 0 -1 4202560 73 0 0 0 15 4 0 0 20 0 19 0 30796788 9856040960 92603 33554432000 1073741824 1073778376 140735129121360 140047813532712 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26260/tid=26270] ppid=26257 vsize=9625040 CPUtime=0.22 cores=1,3,5,7
/proc/26260/task/26270/stat : 26270 (java) S 26257 26260 23975 0 -1 4202560 155 0 0 0 19 3 0 0 20 0 19 0 30796788 9856040960 92603 33554432000 1073741824 1073778376 140735129121360 140047812479912 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26260/tid=26271] ppid=26257 vsize=9625040 CPUtime=0.18 cores=1,3,5,7
/proc/26260/task/26271/stat : 26271 (java) S 26257 26260 23975 0 -1 4202560 82 0 0 0 16 2 0 0 20 0 19 0 30796788 9856040960 92603 33554432000 1073741824 1073778376 140735129121360 140047693114152 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26260/tid=26272] ppid=26257 vsize=9625040 CPUtime=0.19 cores=1,3,5,7
/proc/26260/task/26272/stat : 26272 (java) S 26257 26260 23975 0 -1 4202560 320 0 0 0 16 3 0 0 20 0 19 0 30796788 9856040960 92603 33554432000 1073741824 1073778376 140735129121360 140047692061352 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26260/tid=26273] ppid=26257 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/26260/task/26273/stat : 26273 (java) S 26257 26260 23975 0 -1 4202560 59 0 0 0 0 2 0 0 20 0 19 0 30796789 9856040960 92603 33554432000 1073741824 1073778376 140735129121360 140047679863272 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26260/tid=26275] ppid=26257 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26260/task/26275/stat : 26275 (java) S 26257 26260 23975 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 30796789 9856040960 92603 33554432000 1073741824 1073778376 140735129121360 140047678809336 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26260/tid=26276] ppid=26257 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26260/task/26276/stat : 26276 (java) S 26257 26260 23975 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 30796790 9856040960 92603 33554432000 1073741824 1073778376 140735129121360 140047677756424 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26260/tid=26286] ppid=26257 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26260/task/26286/stat : 26286 (java) S 26257 26260 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30796792 9856040960 92603 33554432000 1073741824 1073778376 140735129121360 140046938138768 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26260/tid=26287] ppid=26257 vsize=9625040 CPUtime=0.49 cores=1,3,5,7
/proc/26260/task/26287/stat : 26287 (java) S 26257 26260 23975 0 -1 4202560 3772 0 0 0 49 0 0 0 20 0 19 0 30796792 9856040960 92603 33554432000 1073741824 1073778376 140735129121360 140046937086904 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26260/tid=26288] ppid=26257 vsize=9625040 CPUtime=0.52 cores=1,3,5,7
/proc/26260/task/26288/stat : 26288 (java) S 26257 26260 23975 0 -1 4202560 5229 0 0 0 52 0 0 0 20 0 19 0 30796792 9856040960 92603 33554432000 1073741824 1073778376 140735129121360 140046936034104 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26260/tid=26289] ppid=26257 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26260/task/26289/stat : 26289 (java) S 26257 26260 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30796792 9856040960 92603 33554432000 1073741824 1073778376 140735129121360 140046934981496 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26260/tid=26290] ppid=26257 vsize=9625040 CPUtime=0.71 cores=1,3,5,7
/proc/26260/task/26290/stat : 26290 (java) S 26257 26260 23975 0 -1 4202560 100 0 0 0 32 39 0 0 20 0 19 0 30796792 9856040960 92603 33554432000 1073741824 1073778376 140735129121360 140046933928904 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26260/tid=26309] ppid=26257 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26260/task/26309/stat : 26309 (java) S 26257 26260 23975 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 30796830 9856040960 92603 33554432000 1073741824 1073778376 140735129121360 140046932874408 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1724.85
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.20 2.20 2.18 3/213 26388
/proc/meminfo: memFree=29617152/32872528 swapFree=1392268/1580316
[pid=26260] ppid=26257 vsize=9625040 CPUtime=1784.95 cores=1,3,5,7
/proc/26260/stat : 26260 (java) S 26257 26260 23975 0 -1 4202496 14097 0 1 0 178421 74 0 0 20 0 19 0 30796784 9856040960 94413 33554432000 1073741824 1073778376 140735129121360 140735129112496 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26260/statm: 2406260 94413 2285 9 0 2396937 0
[pid=26260/tid=26262] ppid=26257 vsize=9625040 CPUtime=1781.88 cores=1,3,5,7
/proc/26260/task/26262/stat : 26262 (java) R 26257 26260 23975 0 -1 4202560 2504 0 1 0 178147 41 0 0 20 0 19 0 30796785 9856040960 94413 33554432000 1073741824 1073778376 140735129121360 140047856242464 140047693774141 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=26260/tid=26265] ppid=26257 vsize=9625040 CPUtime=0.16 cores=1,3,5,7
/proc/26260/task/26265/stat : 26265 (java) S 26257 26260 23975 0 -1 4202560 196 0 0 0 14 2 0 0 20 0 19 0 30796788 9856040960 94413 33554432000 1073741824 1073778376 140735129121360 140047817742888 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26260/tid=26266] ppid=26257 vsize=9625040 CPUtime=0.17 cores=1,3,5,7
/proc/26260/task/26266/stat : 26266 (java) S 26257 26260 23975 0 -1 4202560 53 0 0 0 15 2 0 0 20 0 19 0 30796788 9856040960 94413 33554432000 1073741824 1073778376 140735129121360 140047816690088 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26260/tid=26267] ppid=26257 vsize=9625040 CPUtime=0.21 cores=1,3,5,7
/proc/26260/task/26267/stat : 26267 (java) S 26257 26260 23975 0 -1 4202560 98 0 0 0 17 4 0 0 20 0 19 0 30796788 9856040960 94413 33554432000 1073741824 1073778376 140735129121360 140047815637288 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26260/tid=26268] ppid=26257 vsize=9625040 CPUtime=0.19 cores=1,3,5,7
/proc/26260/task/26268/stat : 26268 (java) S 26257 26260 23975 0 -1 4202560 183 0 0 0 17 2 0 0 20 0 19 0 30796788 9856040960 94413 33554432000 1073741824 1073778376 140735129121360 140047814584488 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26260/tid=26269] ppid=26257 vsize=9625040 CPUtime=0.21 cores=1,3,5,7
/proc/26260/task/26269/stat : 26269 (java) S 26257 26260 23975 0 -1 4202560 74 0 0 0 17 4 0 0 20 0 19 0 30796788 9856040960 94413 33554432000 1073741824 1073778376 140735129121360 140047813532712 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26260/tid=26270] ppid=26257 vsize=9625040 CPUtime=0.24 cores=1,3,5,7
/proc/26260/task/26270/stat : 26270 (java) S 26257 26260 23975 0 -1 4202560 155 0 0 0 21 3 0 0 20 0 19 0 30796788 9856040960 94413 33554432000 1073741824 1073778376 140735129121360 140047812479912 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26260/tid=26271] ppid=26257 vsize=9625040 CPUtime=0.19 cores=1,3,5,7
/proc/26260/task/26271/stat : 26271 (java) S 26257 26260 23975 0 -1 4202560 84 0 0 0 17 2 0 0 20 0 19 0 30796788 9856040960 94413 33554432000 1073741824 1073778376 140735129121360 140047693114152 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26260/tid=26272] ppid=26257 vsize=9625040 CPUtime=0.2 cores=1,3,5,7
/proc/26260/task/26272/stat : 26272 (java) S 26257 26260 23975 0 -1 4202560 322 0 0 0 17 3 0 0 20 0 19 0 30796788 9856040960 94413 33554432000 1073741824 1073778376 140735129121360 140047692061352 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26260/tid=26273] ppid=26257 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/26260/task/26273/stat : 26273 (java) S 26257 26260 23975 0 -1 4202560 61 0 0 0 0 2 0 0 20 0 19 0 30796789 9856040960 94413 33554432000 1073741824 1073778376 140735129121360 140047679863272 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26260/tid=26275] ppid=26257 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26260/task/26275/stat : 26275 (java) S 26257 26260 23975 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 30796789 9856040960 94413 33554432000 1073741824 1073778376 140735129121360 140047678809336 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26260/tid=26276] ppid=26257 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26260/task/26276/stat : 26276 (java) S 26257 26260 23975 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 30796790 9856040960 94413 33554432000 1073741824 1073778376 140735129121360 140047677756424 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26260/tid=26286] ppid=26257 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26260/task/26286/stat : 26286 (java) S 26257 26260 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30796792 9856040960 94413 33554432000 1073741824 1073778376 140735129121360 140046938138768 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26260/tid=26287] ppid=26257 vsize=9625040 CPUtime=0.49 cores=1,3,5,7
/proc/26260/task/26287/stat : 26287 (java) S 26257 26260 23975 0 -1 4202560 3772 0 0 0 49 0 0 0 20 0 19 0 30796792 9856040960 94413 33554432000 1073741824 1073778376 140735129121360 140046937086904 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26260/tid=26288] ppid=26257 vsize=9625040 CPUtime=0.52 cores=1,3,5,7
/proc/26260/task/26288/stat : 26288 (java) S 26257 26260 23975 0 -1 4202560 5229 0 0 0 52 0 0 0 20 0 19 0 30796792 9856040960 94413 33554432000 1073741824 1073778376 140735129121360 140046936034104 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26260/tid=26289] ppid=26257 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26260/task/26289/stat : 26289 (java) S 26257 26260 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30796792 9856040960 94413 33554432000 1073741824 1073778376 140735129121360 140046934981496 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26260/tid=26290] ppid=26257 vsize=9625040 CPUtime=0.73 cores=1,3,5,7
/proc/26260/task/26290/stat : 26290 (java) S 26257 26260 23975 0 -1 4202560 104 0 0 0 32 41 0 0 20 0 19 0 30796792 9856040960 94413 33554432000 1073741824 1073778376 140735129121360 140046933928904 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26260/tid=26309] ppid=26257 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26260/task/26309/stat : 26309 (java) S 26257 26260 23975 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 30796830 9856040960 94413 33554432000 1073741824 1073778376 140735129121360 140046932874408 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1784.95
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1797.4 s]
/proc/loadavg: 2.24 2.21 2.18 3/213 26388
/proc/meminfo: memFree=29617404/32872528 swapFree=1392268/1580316
[pid=26260] ppid=26257 vsize=9625040 CPUtime=1800.07 cores=1,3,5,7
/proc/26260/stat : 26260 (java) S 26257 26260 23975 0 -1 4202496 14097 0 1 0 179932 75 0 0 20 0 19 0 30796784 9856040960 94413 33554432000 1073741824 1073778376 140735129121360 140735129112496 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26260/statm: 2406260 94413 2285 9 0 2396937 0
[pid=26260/tid=26262] ppid=26257 vsize=9625040 CPUtime=1796.99 cores=1,3,5,7
/proc/26260/task/26262/stat : 26262 (java) R 26257 26260 23975 0 -1 4202560 2504 0 1 0 179658 41 0 0 20 0 19 0 30796785 9856040960 94413 33554432000 1073741824 1073778376 140735129121360 140047856242464 140047693774141 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=26260/tid=26265] ppid=26257 vsize=9625040 CPUtime=0.16 cores=1,3,5,7
/proc/26260/task/26265/stat : 26265 (java) S 26257 26260 23975 0 -1 4202560 196 0 0 0 14 2 0 0 20 0 19 0 30796788 9856040960 94413 33554432000 1073741824 1073778376 140735129121360 140047817742888 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26260/tid=26266] ppid=26257 vsize=9625040 CPUtime=0.17 cores=1,3,5,7
/proc/26260/task/26266/stat : 26266 (java) S 26257 26260 23975 0 -1 4202560 53 0 0 0 15 2 0 0 20 0 19 0 30796788 9856040960 94413 33554432000 1073741824 1073778376 140735129121360 140047816690088 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26260/tid=26267] ppid=26257 vsize=9625040 CPUtime=0.21 cores=1,3,5,7
/proc/26260/task/26267/stat : 26267 (java) S 26257 26260 23975 0 -1 4202560 98 0 0 0 17 4 0 0 20 0 19 0 30796788 9856040960 94413 33554432000 1073741824 1073778376 140735129121360 140047815637288 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26260/tid=26268] ppid=26257 vsize=9625040 CPUtime=0.19 cores=1,3,5,7
/proc/26260/task/26268/stat : 26268 (java) S 26257 26260 23975 0 -1 4202560 183 0 0 0 17 2 0 0 20 0 19 0 30796788 9856040960 94413 33554432000 1073741824 1073778376 140735129121360 140047814584488 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26260/tid=26269] ppid=26257 vsize=9625040 CPUtime=0.21 cores=1,3,5,7
/proc/26260/task/26269/stat : 26269 (java) S 26257 26260 23975 0 -1 4202560 74 0 0 0 17 4 0 0 20 0 19 0 30796788 9856040960 94413 33554432000 1073741824 1073778376 140735129121360 140047813532712 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26260/tid=26270] ppid=26257 vsize=9625040 CPUtime=0.24 cores=1,3,5,7
/proc/26260/task/26270/stat : 26270 (java) S 26257 26260 23975 0 -1 4202560 155 0 0 0 21 3 0 0 20 0 19 0 30796788 9856040960 94413 33554432000 1073741824 1073778376 140735129121360 140047812479912 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26260/tid=26271] ppid=26257 vsize=9625040 CPUtime=0.19 cores=1,3,5,7
/proc/26260/task/26271/stat : 26271 (java) S 26257 26260 23975 0 -1 4202560 84 0 0 0 17 2 0 0 20 0 19 0 30796788 9856040960 94413 33554432000 1073741824 1073778376 140735129121360 140047693114152 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26260/tid=26272] ppid=26257 vsize=9625040 CPUtime=0.2 cores=1,3,5,7
/proc/26260/task/26272/stat : 26272 (java) S 26257 26260 23975 0 -1 4202560 322 0 0 0 17 3 0 0 20 0 19 0 30796788 9856040960 94413 33554432000 1073741824 1073778376 140735129121360 140047692061352 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26260/tid=26273] ppid=26257 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/26260/task/26273/stat : 26273 (java) S 26257 26260 23975 0 -1 4202560 61 0 0 0 0 2 0 0 20 0 19 0 30796789 9856040960 94413 33554432000 1073741824 1073778376 140735129121360 140047679863272 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26260/tid=26275] ppid=26257 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26260/task/26275/stat : 26275 (java) S 26257 26260 23975 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 30796789 9856040960 94413 33554432000 1073741824 1073778376 140735129121360 140047678809336 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26260/tid=26276] ppid=26257 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26260/task/26276/stat : 26276 (java) S 26257 26260 23975 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 30796790 9856040960 94413 33554432000 1073741824 1073778376 140735129121360 140047677756424 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26260/tid=26286] ppid=26257 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26260/task/26286/stat : 26286 (java) S 26257 26260 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30796792 9856040960 94413 33554432000 1073741824 1073778376 140735129121360 140046938138768 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=26260/tid=26287] ppid=26257 vsize=9625040 CPUtime=0.49 cores=1,3,5,7
/proc/26260/task/26287/stat : 26287 (java) S 26257 26260 23975 0 -1 4202560 3772 0 0 0 49 0 0 0 20 0 19 0 30796792 9856040960 94413 33554432000 1073741824 1073778376 140735129121360 140046937086904 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26260/tid=26288] ppid=26257 vsize=9625040 CPUtime=0.52 cores=1,3,5,7
/proc/26260/task/26288/stat : 26288 (java) S 26257 26260 23975 0 -1 4202560 5229 0 0 0 52 0 0 0 20 0 19 0 30796792 9856040960 94413 33554432000 1073741824 1073778376 140735129121360 140046936034104 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26260/tid=26289] ppid=26257 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26260/task/26289/stat : 26289 (java) S 26257 26260 23975 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 30796792 9856040960 94413 33554432000 1073741824 1073778376 140735129121360 140046934981496 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=26260/tid=26290] ppid=26257 vsize=9625040 CPUtime=0.74 cores=1,3,5,7
/proc/26260/task/26290/stat : 26290 (java) S 26257 26260 23975 0 -1 4202560 104 0 0 0 33 41 0 0 20 0 19 0 30796792 9856040960 94413 33554432000 1073741824 1073778376 140735129121360 140046933928904 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26260/tid=26309] ppid=26257 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/26260/task/26309/stat : 26309 (java) S 26257 26260 23975 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 30796830 9856040960 94413 33554432000 1073741824 1073778376 140735129121360 140046932874408 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
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 26260 sig 9
??? kill -26260 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 1797.44
CPU time (s): 1800.65
CPU user time (s): 1799.45
CPU system time (s): 1.20182
CPU usage (%): 100.178
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.45
system time used= 1.20182
maximum resident set size= 380732
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14131
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1208
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38368
involuntary context switches= 3891

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.92349 second user time and 14.5238 second system time

The end

Launcher Data 

Begin job on node139 at 2016-06-26 23:46:36
IDJOB=4116841
IDBENCH=109520
IDSOLVER=2546
FILE ID=node139/4116841-1466977596
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-size144-round23-4.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4116841-1466977596/watcher-4116841-1466977596 -o /tmp/evaluation-result-4116841-1466977596/solver-4116841-1466977596 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1466956013-23992 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4116841-1466977596.opb

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

MD5SUM BENCH= ef75d0fa559b60e210d6da0ea8998a08
RANDOM SEED=1130532733

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:        30355268 kB
Buffers:           48500 kB
Cached:           180540 kB
SwapCached:         2156 kB
Active:            43660 kB
Inactive:         188912 kB
Active(anon):       4900 kB
Inactive(anon):     1120 kB
Active(file):      38760 kB
Inactive(file):   187792 kB
Unevictable:     1580316 kB
Mlocked:         1392268 kB
SwapTotal:      67108856 kB
SwapFree:       67098796 kB
Dirty:              1276 kB
Writeback:             4 kB
AnonPages:       1582556 kB
Mapped:             7116 kB
Shmem:                 0 kB
Slab:             569012 kB
SReclaimable:      12672 kB
SUnreclaim:       556340 kB
KernelStack:        1400 kB
PageTables:         6988 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1677544 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    188416 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-27 00:16:33