Trace number 4451071

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 Cutting Planes 2024 2024-07-12? (TO) 3600.21 3529.21

General information on the benchmark

NamePB24/normalized-PB16/DEC-LIN/elffers/
EC_ODD_GRIDS/normalized-ECgrid5x110split.opb
MD5SUM1b3727bc41a297c1e3576d09f30c6702
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark18.802
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1101
Total number of constraints551
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)551
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint4
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 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 6
Number of bits of the biggest sum of numbers3
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.06	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.06	c See www.sat4j.org for details.
0.00/0.07	c version CUSTOM.v20240707
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		2106806208
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.13/0.16	Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.13/0.16	 - never skip resolution steps
0.13/0.16	 - Auto-division on coefficients is disabled
0.13/0.16	 - No postprocessing
0.13/0.16	 - Conflict is considered as is when resolving
0.13/0.16	 - Use constraints as they come during conflict analysis
0.13/0.16	 - Weaken first using unassigned literals
0.13/0.16	 - Bump strategy: ALWAYS_ONE
0.13/0.16	 - Bumper: EFFECTIVE
0.13/0.16	--- Begin Solver configuration ---
0.13/0.16	org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@5ecddf8f
0.13/0.16	Learn all clauses as in MiniSAT
0.13/0.16	LOGGER=java.util.logging.Logger@5f5a92bb claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.16	VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.13/0.16	No reason simplification
0.13/0.16	Dynamic restart strategy considering the size of the coefficients
0.13/0.16	Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.UnassignedLiteralsHaveSameLevelLBDComputerStrategy@449b2d27
0.13/0.16	timeout=2147483s
0.13/0.16	DB Simplification allowed=false
0.13/0.16	Listener: none
0.13/0.16	--- End Solver configuration ---
0.13/0.16	c Pseudo Boolean Optimization by upper bound
0.13/0.16	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.13/0.16	c  - never skip resolution steps
0.13/0.16	c  - Auto-division on coefficients is disabled
0.13/0.16	c  - No postprocessing
0.13/0.16	c  - Conflict is considered as is when resolving
0.13/0.16	c  - Use constraints as they come during conflict analysis
0.13/0.16	c  - Weaken first using unassigned literals
0.13/0.16	c  - Bump strategy: ALWAYS_ONE
0.13/0.16	c  - Bumper: EFFECTIVE
0.13/0.16	c --- Begin Solver configuration ---
0.13/0.16	c org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@5ecddf8f
0.13/0.16	c Learn all clauses as in MiniSAT
0.13/0.16	c LOGGER=java.util.logging.Logger@5f5a92bb claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.16	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.13/0.16	c No reason simplification
0.13/0.16	c Dynamic restart strategy considering the size of the coefficients
0.13/0.16	c Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.UnassignedLiteralsHaveSameLevelLBDComputerStrategy@449b2d27
0.13/0.16	c timeout=2147483s
0.13/0.16	c DB Simplification allowed=false
0.13/0.16	c Listener: none
0.13/0.16	c --- End Solver configuration ---
0.13/0.16	c solving HOME/instance-4451071-1721424816.opb
0.13/0.16	c reading problem ... 
0.13/0.17	c  no objective function found
0.31/0.23	c ... done. Wall clock time 0.066s.
0.31/0.23	c declared #vars     1101
0.31/0.23	c #constraints  1102
0.31/0.23	c constraints type 
0.31/0.23	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 2
0.31/0.23	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1100
0.31/0.23	c 1102 constraints processed.
1.82/1.05	c cleaning 2494 clauses out of 5002 with flag 0/5002
3.20/1.73	c cleaning 4224 clauses out of 8507 with flag 0/11001
4.58/2.47	c cleaning 5614 clauses out of 11283 with flag 0/18001
5.70/3.28	c cleaning 6813 clauses out of 13668 with flag 0/26000
6.72/4.29	c cleaning 7902 clauses out of 15856 with flag 0/35001
8.26/5.74	c cleaning 8952 clauses out of 17953 with flag 0/45000
9.87/7.31	c cleaning 9978 clauses out of 20001 with flag 0/56000
11.46/8.95	c cleaning 10987 clauses out of 22023 with flag 0/68000
13.77/11.25	c cleaning 11995 clauses out of 24037 with flag 0/81001
16.07/13.58	c cleaning 12991 clauses out of 26041 with flag 0/95000
18.78/16.26	c cleaning 13998 clauses out of 28051 with flag 0/110001
21.41/18.80	c cleaning 14997 clauses out of 30052 with flag 0/126000
25.18/22.52	c cleaning 16000 clauses out of 32055 with flag 0/143000
28.12/25.47	c cleaning 17010 clauses out of 34055 with flag 0/161000
31.75/28.91	c cleaning 18003 clauses out of 36046 with flag 0/180001
36.36/33.50	c cleaning 18997 clauses out of 38043 with flag 0/200001
42.04/39.19	c cleaning 20002 clauses out of 40046 with flag 0/221001
49.38/46.40	c cleaning 21003 clauses out of 42044 with flag 0/243001
63.84/60.83	c cleaning 21996 clauses out of 44040 with flag 0/266000
78.96/75.82	c cleaning 23003 clauses out of 46045 with flag 0/290001
95.80/92.45	c cleaning 24005 clauses out of 48042 with flag 0/315001
108.52/105.08	c cleaning 24989 clauses out of 50036 with flag 0/341000
123.41/119.71	c cleaning 25994 clauses out of 52047 with flag 0/368000
132.74/128.93	c cleaning 26985 clauses out of 54054 with flag 0/396001
140.13/136.22	c cleaning 27991 clauses out of 56068 with flag 0/425000
148.59/144.52	c cleaning 28990 clauses out of 58079 with flag 0/455002
158.52/154.22	c cleaning 29990 clauses out of 60087 with flag 0/486000
173.49/168.97	c cleaning 31003 clauses out of 62097 with flag 0/518000
196.62/191.75	c cleaning 32002 clauses out of 64096 with flag 0/551002
206.67/201.73	c cleaning 33025 clauses out of 66093 with flag 0/585001
221.19/216.18	c cleaning 34011 clauses out of 68067 with flag 0/620000
238.84/233.62	c cleaning 35019 clauses out of 70056 with flag 0/656000
251.71/246.41	c cleaning 36014 clauses out of 72040 with flag 0/693003
264.88/258.99	c cleaning 37003 clauses out of 74023 with flag 0/731000
288.04/281.77	c cleaning 37982 clauses out of 76021 with flag 0/770001
319.69/313.06	c cleaning 38985 clauses out of 78038 with flag 0/810000
355.49/348.51	c cleaning 39998 clauses out of 80053 with flag 0/851000
379.48/372.30	c cleaning 40996 clauses out of 82056 with flag 0/893001
401.72/394.18	c cleaning 41999 clauses out of 84059 with flag 0/936000
415.06/407.34	c cleaning 43013 clauses out of 86060 with flag 0/980000
426.46/418.56	c cleaning 43997 clauses out of 88048 with flag 0/1025001
435.11/426.98	c cleaning 45006 clauses out of 90050 with flag 0/1071000
461.60/452.95	c cleaning 46003 clauses out of 92044 with flag 0/1118000
473.19/464.32	c cleaning 47000 clauses out of 94042 with flag 0/1166001
493.29/484.19	c cleaning 47994 clauses out of 96041 with flag 0/1215000
517.97/508.38	c cleaning 48996 clauses out of 98048 with flag 0/1265001
552.63/542.77	c cleaning 50009 clauses out of 100051 with flag 0/1316000
569.96/559.76	c cleaning 51008 clauses out of 102043 with flag 0/1368001
588.23/577.66	c cleaning 52001 clauses out of 104034 with flag 0/1421000
609.92/597.38	c cleaning 53002 clauses out of 106034 with flag 0/1475001
637.57/624.44	c cleaning 54008 clauses out of 108031 with flag 0/1530000
653.66/640.05	c cleaning 54991 clauses out of 110023 with flag 0/1586000
683.45/669.22	c cleaning 55992 clauses out of 112033 with flag 0/1643001
711.32/696.63	c cleaning 56998 clauses out of 114041 with flag 0/1701001
741.25/726.32	c cleaning 57996 clauses out of 116042 with flag 0/1760000
757.61/742.68	c cleaning 59002 clauses out of 118047 with flag 0/1820001
783.91/768.44	c cleaning 60002 clauses out of 120045 with flag 0/1881001
811.54/795.67	c cleaning 61004 clauses out of 122042 with flag 0/1943000
831.69/815.49	c cleaning 61993 clauses out of 124038 with flag 0/2006000
862.47/845.73	c cleaning 62999 clauses out of 126046 with flag 0/2070001
907.39/890.09	c cleaning 64008 clauses out of 128047 with flag 0/2135001
936.10/918.31	c cleaning 64995 clauses out of 130039 with flag 0/2201001
978.39/960.05	c cleaning 66001 clauses out of 132044 with flag 0/2268001
1009.07/990.27	c cleaning 67001 clauses out of 134043 with flag 0/2336001
1076.83/1057.19	c cleaning 67996 clauses out of 136042 with flag 0/2405001
1108.19/1087.93	c cleaning 69006 clauses out of 138046 with flag 0/2475001
1167.14/1146.24	c cleaning 69996 clauses out of 140041 with flag 0/2546002
1216.65/1195.13	c cleaning 71004 clauses out of 142043 with flag 0/2618000
1240.26/1218.39	c cleaning 72007 clauses out of 144040 with flag 0/2691001
1267.86/1245.38	c cleaning 73003 clauses out of 146032 with flag 0/2765000
1297.83/1274.69	c cleaning 74003 clauses out of 148029 with flag 0/2840000
1327.02/1303.29	c cleaning 75007 clauses out of 150027 with flag 0/2916001
1353.57/1329.16	c cleaning 76001 clauses out of 152020 with flag 0/2993001
1379.85/1354.98	c cleaning 76998 clauses out of 154018 with flag 0/3071000
1410.16/1384.42	c cleaning 77996 clauses out of 156020 with flag 0/3150000
1455.93/1429.64	c cleaning 79001 clauses out of 158024 with flag 0/3230000
1494.11/1467.15	c cleaning 79994 clauses out of 160023 with flag 0/3311000
1534.94/1507.39	c cleaning 80999 clauses out of 162031 with flag 0/3393002
1596.27/1567.85	c cleaning 82001 clauses out of 164031 with flag 0/3476001
1636.20/1607.04	c cleaning 82986 clauses out of 166029 with flag 0/3560000
1673.69/1643.84	c cleaning 84005 clauses out of 168043 with flag 0/3645000
1705.18/1674.61	c cleaning 85007 clauses out of 170038 with flag 0/3731000
1773.24/1741.63	c cleaning 85998 clauses out of 172032 with flag 0/3818001
1829.54/1797.09	c cleaning 86996 clauses out of 174033 with flag 0/3906000
1863.63/1830.36	c cleaning 88002 clauses out of 176038 with flag 0/3995001
1910.92/1876.78	c cleaning 89004 clauses out of 178036 with flag 0/4085001
1959.87/1924.84	c cleaning 89997 clauses out of 180031 with flag 0/4176000
1997.63/1961.78	c cleaning 90981 clauses out of 182034 with flag 0/4268000
2077.18/2040.23	c cleaning 92007 clauses out of 184053 with flag 0/4361000
2125.51/2087.47	c cleaning 93002 clauses out of 186046 with flag 0/4455000
2190.81/2151.75	c cleaning 94009 clauses out of 188045 with flag 0/4550001
2252.06/2211.75	c cleaning 95008 clauses out of 190035 with flag 0/4646000
2300.22/2258.81	c cleaning 96000 clauses out of 192029 with flag 0/4743002
2341.88/2299.65	c cleaning 96994 clauses out of 194027 with flag 0/4841000
2388.60/2345.45	c cleaning 97997 clauses out of 196033 with flag 0/4940000
2437.04/2392.53	c cleaning 99005 clauses out of 198037 with flag 0/5040001
2493.34/2447.25	c cleaning 100003 clauses out of 200032 with flag 0/5141001
2551.55/2504.06	c cleaning 101004 clauses out of 202028 with flag 0/5243000
2598.97/2550.63	c cleaning 101996 clauses out of 204024 with flag 0/5346000
2659.48/2609.82	c cleaning 102996 clauses out of 206029 with flag 0/5450001
2779.92/2728.54	c cleaning 104001 clauses out of 208034 with flag 0/5555002
2849.12/2796.35	c cleaning 104985 clauses out of 210031 with flag 0/5661000
2909.60/2855.54	c cleaning 106009 clauses out of 212046 with flag 0/5768000
3007.43/2951.52	c cleaning 106999 clauses out of 214037 with flag 0/5876000
3066.90/3009.63	c cleaning 108004 clauses out of 216039 with flag 0/5985001
3150.35/3091.02	c cleaning 108994 clauses out of 218034 with flag 0/6095000
3195.97/3135.30	c cleaning 110009 clauses out of 220042 with flag 0/6206002
3244.45/3182.89	c cleaning 110994 clauses out of 222031 with flag 0/6318000
3301.51/3238.39	c cleaning 112002 clauses out of 224039 with flag 0/6431002
3406.05/3340.27	c cleaning 113011 clauses out of 226035 with flag 0/6545000
3485.02/3417.08	c cleaning 114000 clauses out of 228025 with flag 0/6660001
3565.39/3495.57	c cleaning 115001 clauses out of 230026 with flag 0/6776002
3600.05/3529.12	c starts		: 117
3600.05/3529.12	c timeout
3600.05/3529.12	c conflicts		: 6828945
3600.05/3529.12	c decisions		: 8238748
3600.05/3529.12	c propagations		: 57025306
3600.05/3529.12	c inspects		: 8483491724
3600.05/3529.12	c shortcuts		: 0
3600.05/3529.12	c learnt literals	: 0
3600.05/3529.12	c learnt binary clauses	: 0
3600.05/3529.12	c learnt ternary clauses	: 0
3600.05/3529.12	c learnt constraints	: 6828944
3600.05/3529.12	c ignored constraints	: 0
3600.05/3529.12	c root simplifications	: 0
3600.05/3529.12	c removed literals (reason simplification)	: 0
3600.05/3529.12	c reason swapping (by a shorter reason)	: 0
3600.05/3529.12	c Calls to reduceDB	: 112
3600.05/3529.12	c Number of update (reduction) of LBD	: 6488650
3600.05/3529.12	c Imported unit clauses	: 0
3600.05/3529.12	c No decision after first conflict	: false
3600.05/3529.12	c number of reductions to clauses (during analyze)	: 0
3600.05/3529.12	c number of learned constraints concerned by reduction	: 0
3600.05/3529.12	c number of learning phase by resolution	: 0
3600.05/3529.12	c number of learning phase by cutting planes	: 0
3600.05/3529.12	c number of rounding to 1 operations	: 0
3600.05/3529.12	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.05/3529.12	c number of reductions of the coefficients by power 2 	: 0
3600.05/3529.12	c number of right shift for reduction by power 2 	: 0
3600.05/3529.12	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.05/3529.12	c number of ending skipping 	: 0
3600.05/3529.12	c number of internal skipping 	: 0
3600.05/3529.12	c number of derivation steps 	: 30117819
3600.05/3529.12	c number of skipped derivation steps 	: 0
3600.05/3529.12	c number of remaining unassigned 	: 242344
3600.05/3529.12	c number of remaining assigned 	: 355304978
3600.05/3529.12	c number of falsified literals weakened from reason	: 0
3600.05/3529.12	c number of falsified literals weakened from conflict	: 0
3600.05/3529.12	c time for arithmetic operations	: 15450477761
3600.05/3529.13	c minimum degree of deleted constraints	: 1
3600.05/3529.13	c maximum degree of deleted constraints	: 21555192750
3600.05/3529.13	c number of deleted constraints	: 6660977
3600.05/3529.13	c speed (assignments/second)	: 16159.56353401878
3600.05/3529.13	c non guided choices	: 50878
3600.05/3529.18	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 36841
3600.05/3529.18	c learnt constraints type org.sat4j.pb.constraints.pb.MinWatchCardPB	: 379
3600.05/3529.18	c learnt constraints type org.sat4j.pb.constraints.pb.PuebloMinWatchPb	: 130747
3600.05/3529.18	s UNKNOWN
3600.05/3529.18	c Total wall clock time (in seconds): 3529.022

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

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.

NUMA information:
  number of nodes: 2
  memory of node 0: 63931 MiB (57845 MiB free)
  memory of node 1: 64510 MiB (60551 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4451071-1721424816/watcher-4451071-1721424816 -o /tmp/evaluation-result-4451071-1721424816/solver-4451071-1721424816 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1721421240-1021655 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4451071-1721424816.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=1023874, runsolver pid=1023871
Current StackSize limit: 8192 KiB


[startup+0.100939 s]*
/proc/loadavg: 4.44 4.53 4.39 6/332 1023892
/proc/meminfo: memFree=121196008/131524600 swapFree=131071996/131071996
[pid=1023874] ppid=1023871 vsize=18975048 memory=62556 CPUtime=0.13 cores=5,7
/proc/1023874/stat : 1023874 (java) S 1023871 1023874 1021642 0 -1 1077936128 7205 0 0 0 12 1 0 0 20 0 18 0 194646497 19430449152 15639 134679101440 94327019343872 94327019347568 140726658375200 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94327019355384 94327019356176 94327019958272 140726658376691 140726658376799 140726658376799 140726658383816 0
/proc/1023874/statm: 4743762 15639 5541 1 0 549318 0
[pid=1023874/tid=1023876] ppid=1023871 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=5,7
/proc/1023874/task/1023876/stat : 1023876 (java) R 1023871 1023874 1021642 0 -1 1077936192 5739 0 0 0 7 1 0 0 20 0 18 0 194646498 19430449152 15639 134679101440 94327019343872 94327019347568 140726658375200 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94327019355384 94327019356176 94327019958272 140726658376691 140726658376799 140726658376799 140726658383816 0
[pid=1023874/tid=1023885] ppid=1023871 vsize=18975048 memory=232851243367 CPUtime=0 cores=5,7
/proc/1023874/task/1023885/stat : 1023885 (Finalizer) S 1023871 1023874 1021642 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 194646500 19430449152 15639 134679101440 94327019343872 94327019347568 140726658375200 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94327019355384 94327019356176 94327019958272 140726658376691 140726658376799 140726658376799 140726658383816 0
[pid=1023874/tid=1023892] ppid=1023871 vsize=18975048 memory=14979970577492358 CPUtime=0 cores=5,7
/proc/1023874/task/1023892/stat : 1023892 (Common-Cleaner) S 1023871 1023874 1021642 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 194646501 19430449152 15639 134679101440 94327019343872 94327019347568 140726658375200 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94327019355384 94327019356176 94327019958272 140726658376691 140726658376799 140726658376799 140726658383816 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 62556 KiB

[startup+0.207069 s]*
/proc/loadavg: 4.44 4.53 4.39 6/332 1023892
/proc/meminfo: memFree=121181284/131524600 swapFree=131071996/131071996
[pid=1023874] ppid=1023871 vsize=18975048 memory=77812 CPUtime=0.31 cores=5,7
/proc/1023874/stat : 1023874 (java) S 1023871 1023874 1021642 0 -1 1077936128 7755 0 0 0 29 2 0 0 20 0 18 0 194646497 19430449152 19453 134679101440 94327019343872 94327019347568 140726658375200 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94327019355384 94327019356176 94327019958272 140726658376691 140726658376799 140726658376799 140726658383816 0
/proc/1023874/statm: 4743762 19453 5749 1 0 549669 0
[pid=1023874/tid=1023876] ppid=1023871 vsize=18975048 memory=6876556183782621315 CPUtime=0.16 cores=5,7
/proc/1023874/task/1023876/stat : 1023876 (java) R 1023871 1023874 1021642 0 -1 1077936192 6043 0 0 0 15 1 0 0 20 0 18 0 194646498 19430449152 19453 134679101440 94327019343872 94327019347568 140726658375200 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94327019355384 94327019356176 94327019958272 140726658376691 140726658376799 140726658376799 140726658383816 0
[pid=1023874/tid=1023885] ppid=1023871 vsize=18975048 memory=17986 CPUtime=0 cores=5,7
/proc/1023874/task/1023885/stat : 1023885 (Finalizer) S 1023871 1023874 1021642 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 194646500 19430449152 19453 134679101440 94327019343872 94327019347568 140726658375200 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94327019355384 94327019356176 94327019958272 140726658376691 140726658376799 140726658376799 140726658383816 0
[pid=1023874/tid=1023892] ppid=1023871 vsize=18975048 memory=13855165887284967 CPUtime=0 cores=5,7
/proc/1023874/task/1023892/stat : 1023892 (Common-Cleaner) S 1023871 1023874 1021642 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 194646501 19430449152 19453 134679101440 94327019343872 94327019347568 140726658375200 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94327019355384 94327019356176 94327019958272 140726658376691 140726658376799 140726658376799 140726658383816 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 77812 KiB

[startup+0.306498 s]*
/proc/loadavg: 4.44 4.53 4.39 7/333 1023893
/proc/meminfo: memFree=121159236/131524600 swapFree=131071996/131071996
[pid=1023874] ppid=1023871 vsize=19041612 memory=99936 CPUtime=0.5 cores=5,7
/proc/1023874/stat : 1023874 (java) S 1023871 1023874 1021642 0 -1 1077936128 8270 0 0 0 48 2 0 0 20 0 19 0 194646497 19498610688 24984 134679101440 94327019343872 94327019347568 140726658375200 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94327019355384 94327019356176 94327019958272 140726658376691 140726658376799 140726658376799 140726658383816 0
/proc/1023874/statm: 4760403 24984 5855 1 0 550172 0
[pid=1023874/tid=1023876] ppid=1023871 vsize=19041612 memory=-7596549454003725407 CPUtime=0.26 cores=5,7
/proc/1023874/task/1023876/stat : 1023876 (java) R 1023871 1023874 1021642 0 -1 4194368 6159 0 0 0 24 2 0 0 20 0 19 0 194646498 19498610688 24984 134679101440 94327019343872 94327019347568 140726658375200 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94327019355384 94327019356176 94327019958272 140726658376691 140726658376799 140726658376799 140726658383816 0
[pid=1023874/tid=1023885] ppid=1023871 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/1023874/task/1023885/stat : 1023885 (Finalizer) S 1023871 1023874 1021642 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 194646500 19498610688 24984 134679101440 94327019343872 94327019347568 140726658375200 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94327019355384 94327019356176 94327019958272 140726658376691 140726658376799 140726658376799 140726658383816 0
[pid=1023874/tid=1023892] ppid=1023871 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/1023874/task/1023892/stat : 1023892 (Common-Cleaner) S 1023871 1023874 1021642 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 194646501 19498610688 24984 134679101440 94327019343872 94327019347568 140726658375200 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94327019355384 94327019356176 94327019958272 140726658376691 140726658376799 140726658376799 140726658383816 0
[pid=1023874/tid=1023893] ppid=1023871 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/1023874/task/1023893/stat : 1023893 (Timer-0) S 1023871 1023874 1021642 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 194646521 19498610688 24984 134679101440 94327019343872 94327019347568 140726658375200 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94327019355384 94327019356176 94327019958272 140726658376691 140726658376799 140726658376799 140726658383816 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 99936 KiB

[startup+0.703501 s]
/proc/loadavg: 4.44 4.53 4.39 6/334 1023894
/proc/meminfo: memFree=121077976/131524600 swapFree=131071996/131071996
[pid=1023874] ppid=1023871 vsize=19108176 memory=171992 CPUtime=1.23 cores=5,7
/proc/1023874/stat : 1023874 (java) S 1023871 1023874 1021642 0 -1 1077936128 11794 0 0 0 119 4 0 0 20 0 20 0 194646497 19566772224 42998 134679101440 94327019343872 94327019347568 140726658375200 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94327019355384 94327019356176 94327019958272 140726658376691 140726658376799 140726658376799 140726658383816 0
/proc/1023874/statm: 4777044 42998 5855 1 0 552347 0
[pid=1023874/tid=1023876] ppid=1023871 vsize=19108176 memory=13072 CPUtime=0.58 cores=5,7
/proc/1023874/task/1023876/stat : 1023876 (java) R 1023871 1023874 1021642 0 -1 4194368 6202 0 0 0 55 3 0 0 20 0 20 0 194646498 19566772224 42998 134679101440 94327019343872 94327019347568 140726658375200 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94327019355384 94327019356176 94327019958272 140726658376691 140726658376799 140726658376799 140726658383816 0
[pid=1023874/tid=1023885] ppid=1023871 vsize=19108176 memory=13072 CPUtime=0 cores=5,7
/proc/1023874/task/1023885/stat : 1023885 (Finalizer) S 1023871 1023874 1021642 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194646500 19566772224 42998 134679101440 94327019343872 94327019347568 140726658375200 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94327019355384 94327019356176 94327019958272 140726658376691 140726658376799 140726658376799 140726658383816 0
[pid=1023874/tid=1023892] ppid=1023871 vsize=19108176 memory=117636 CPUtime=0 cores=5,7
/proc/1023874/task/1023892/stat : 1023892 (Common-Cleaner) S 1023871 1023874 1021642 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 194646501 19566772224 42998 134679101440 94327019343872 94327019347568 140726658375200 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94327019355384 94327019356176 94327019958272 140726658376691 140726658376799 140726658376799 140726658383816 0
[pid=1023874/tid=1023893] ppid=1023871 vsize=19108176 memory=5528 CPUtime=0 cores=5,7
/proc/1023874/task/1023893/stat : 1023893 (Timer-0) S 1023871 1023874 1021642 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194646521 19566772224 42998 134679101440 94327019343872 94327019347568 140726658375200 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94327019355384 94327019356176 94327019958272 140726658376691 140726658376799 140726658376799 140726658383816 0
Current children cumulated CPU time: 1.23 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 171992 KiB

[startup+1.50651 s]
/proc/loadavg: 4.44 4.53 4.39 6/334 1023894
/proc/meminfo: memFree=121006100/131524600 swapFree=131071996/131071996
[pid=1023874] ppid=1023871 vsize=19108176 memory=557280 CPUtime=2.81 cores=5,7
/proc/1023874/stat : 1023874 (java) S 1023871 1023874 1021642 0 -1 1077936128 19788 0 0 0 269 12 0 0 20 0 20 0 194646497 19566772224 139320 134679101440 94327019343872 94327019347568 140726658375200 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94327019355384 94327019356176 94327019958272 140726658376691 140726658376799 140726658376799 140726658383816 0
/proc/1023874/statm: 4777044 139320 5871 1 0 664220 0
[pid=1023874/tid=1023876] ppid=1023871 vsize=19108176 memory=13072 CPUtime=1.34 cores=5,7
/proc/1023874/task/1023876/stat : 1023876 (java) R 1023871 1023874 1021642 0 -1 4194368 6712 0 0 0 125 9 0 0 20 0 20 0 194646498 19566772224 139320 134679101440 94327019343872 94327019347568 140726658375200 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94327019355384 94327019356176 94327019958272 140726658376691 140726658376799 140726658376799 140726658383816 0
[pid=1023874/tid=1023885] ppid=1023871 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/1023874/task/1023885/stat : 1023885 (Finalizer) S 1023871 1023874 1021642 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194646500 19566772224 139320 134679101440 94327019343872 94327019347568 140726658375200 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94327019355384 94327019356176 94327019958272 140726658376691 140726658376799 140726658376799 140726658383816 0
[pid=1023874/tid=1023892] ppid=1023871 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/1023874/task/1023892/stat : 1023892 (Common-Cleaner) S 1023871 1023874 1021642 0 -1 1077936192 47 0 0 0 0 0 0 0 20 0 20 0 194646501 19566772224 139320 134679101440 94327019343872 94327019347568 140726658375200 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94327019355384 94327019356176 94327019958272 140726658376691 140726658376799 140726658376799 140726658383816 0
[pid=1023874/tid=1023893] ppid=1023871 vsize=19108176 memory=65 CPUtime=0 cores=5,7
/proc/1023874/task/1023893/stat : 1023893 (Timer-0) S 1023871 1023874 1021642 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194646521 19566772224 139320 134679101440 94327019343872 94327019347568 140726658375200 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94327019355384 94327019356176 94327019958272 140726658376691 140726658376799 140726658376799 140726658383816 0
Current children cumulated CPU time: 2.81 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 557280 KiB

[startup+3.1065 s]
/proc/loadavg: 4.44 4.53 4.39 5/334 1023894
/proc/meminfo: memFree=119884872/131524600 swapFree=131071996/131071996
[pid=1023874] ppid=1023871 vsize=19108176 memory=1351324 CPUtime=5.6 cores=5,7
/proc/1023874/stat : 1023874 (java) S 1023871 1023874 1021642 0 -1 1077936128 25998 0 0 0 532 28 0 0 20 0 20 0 194646497 19566772224 337831 134679101440 94327019343872 94327019347568 140726658375200 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94327019355384 94327019356176 94327019958272 140726658376691 140726658376799 140726658376799 140726658383816 0
/proc/1023874/statm: 4777044 337831 5871 1 0 664513 0
[pid=1023874/tid=1023876] ppid=1023871 vsize=19108176 memory=0 CPUtime=2.89 cores=5,7
/proc/1023874/task/1023876/stat : 1023876 (java) R 1023871 1023874 1021642 0 -1 4194368 8289 0 0 0 264 25 0 0 20 0 20 0 194646498 19566772224 337831 134679101440 94327019343872 94327019347568 140726658375200 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94327019355384 94327019356176 94327019958272 140726658376691 140726658376799 140726658376799 140726658383816 0
[pid=1023874/tid=1023885] ppid=1023871 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/1023874/task/1023885/stat : 1023885 (Finalizer) S 1023871 1023874 1021642 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194646500 19566772224 337831 134679101440 94327019343872 94327019347568 140726658375200 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94327019355384 94327019356176 94327019958272 140726658376691 140726658376799 140726658376799 140726658383816 0
[pid=1023874/tid=1023892] ppid=1023871 vsize=19108176 memory=809492 CPUtime=0 cores=5,7
/proc/1023874/task/1023892/stat : 1023892 (Common-Cleaner) S 1023871 1023874 1021642 0 -1 1077936192 47 0 0 0 0 0 0 0 20 0 20 0 194646501 19566772224 337831 134679101440 94327019343872 94327019347568 140726658375200 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94327019355384 94327019356176 94327019958272 140726658376691 140726658376799 140726658376799 140726658383816 0
[pid=1023874/tid=1023893] ppid=1023871 vsize=19108176 memory=13072 CPUtime=0 cores=5,7
/proc/1023874/task/1023893/stat : 1023893 (Timer-0) S 1023871 1023874 1021642 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194646521 19566772224 337831 134679101440 94327019343872 94327019347568 140726658375200 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94327019355384 94327019356176 94327019958272 140726658376691 140726658376799 140726658376799 140726658383816 0
Current children cumulated CPU time: 5.6 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1351324 KiB

[startup+6.3003 s]
/proc/loadavg: 4.40 4.52 4.39 5/334 1023896
/proc/meminfo: memFree=119617752/131524600 swapFree=131071996/131071996
[pid=1023874] ppid=1023871 vsize=19108176 memory=1588848 CPUtime=8.86 cores=5,7
/proc/1023874/stat : 1023874 (java) S 1023871 1023874 1021642 0 -1 1077936128 26269 0 0 0 853 33 0 0 20 0 20 0 194646497 19566772224 397212 134679101440 94327019343872 94327019347568 140726658375200 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94327019355384 94327019356176 94327019958272 140726658376691 140726658376799 140726658376799 140726658383816 0
/proc/1023874/statm: 4777044 397212 5871 1 0 664516 0
[pid=1023874/tid=1023876] ppid=1023871 vsize=19108176 memory=13072 CPUtime=5.99 cores=5,7
/proc/1023874/task/1023876/stat : 1023876 (java) R 1023871 1023874 1021642 0 -1 4194368 8486 0 0 0 571 28 0 0 20 0 20 0 194646498 19566772224 397212 134679101440 94327019343872 94327019347568 140726658375200 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94327019355384 94327019356176 94327019958272 140726658376691 140726658376799 140726658376799 140726658383816 0
[pid=1023874/tid=1023885] ppid=1023871 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/1023874/task/1023885/stat : 1023885 (Finalizer) S 1023871 1023874 1021642 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194646500 19566772224 397212 134679101440 94327019343872 94327019347568 140726658375200 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94327019355384 94327019356176 94327019958272 140726658376691 140726658376799 140726658376799 140726658383816 0
[pid=1023874/tid=1023892] ppid=1023871 vsize=19108176 memory=7234012876567309936 CPUtime=0 cores=5,7
/proc/1023874/task/1023892/stat : 1023892 (Common-Cleaner) S 1023871 1023874 1021642 0 -1 1077936192 47 0 0 0 0 0 0 0 20 0 20 0 194646501 19566772224 397212 134679101440 94327019343872 94327019347568 140726658375200 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94327019355384 94327019356176 94327019958272 140726658376691 140726658376799 140726658376799 140726658383816 0
[pid=1023874/tid=1023893] ppid=1023871 vsize=19108176 memory=5516 CPUtime=0 cores=5,7
/proc/1023874/task/1023893/stat : 1023893 (Timer-0) S 1023871 1023874 1021642 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194646521 19566772224 397212 134679101440 94327019343872 94327019347568 140726658375200 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94327019355384 94327019356176 94327019958272 140726658376691 140726658376799 140726658376799 140726658383816 0
Current children cumulated CPU time: 8.86 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1588848 KiB

[startup+12.7003 s]
/proc/loadavg: 4.37 4.51 4.38 5/334 1023896
/proc/meminfo: memFree=119154600/131524600 swapFree=131071996/131071996
[pid=1023874] ppid=1023871 vsize=19108176 memory=1601220 CPUtime=15.27 cores=5,7
/proc/1023874/stat : 1023874 (java) S 1023871 1023874 1021642 0 -1 1077936128 26982 0 0 0 1494 33 0 0 20 0 20 0 194646497 19566772224 400305 134679101440 94327019343872 94327019347568 140726658375200 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94327019355384 94327019356176 94327019958272 140726658376691 140726658376799 140726658376799 140726658383816 0
/proc/1023874/statm: 4777044 400305 5871 1 0 664516 0
[pid=1023874/tid=1023876] ppid=1023871 vsize=19108176 memory=0 CPUtime=12.26 cores=5,7
/proc/1023874/task/1023876/stat : 1023876 (java) R 1023871 1023874 1021642 0 -1 4194368 9118 0 0 0 1197 29 0 0 20 0 20 0 194646498 19566772224 400305 134679101440 94327019343872 94327019347568 140726658375200 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94327019355384 94327019356176 94327019958272 140726658376691 140726658376799 140726658376799 140726658383816 0
[pid=1023874/tid=1023885] ppid=1023871 vsize=19108176 memory=1601220 CPUtime=0 cores=5,7
/proc/1023874/task/1023885/stat : 1023885 (Finalizer) S 1023871 1023874 1021642 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194646500 19566772224 400305 134679101440 94327019343872 94327019347568 140726658375200 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94327019355384 94327019356176 94327019958272 140726658376691 140726658376799 140726658376799 140726658383816 0
[pid=1023874/tid=1023892] ppid=1023871 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/1023874/task/1023892/stat : 1023892 (Common-Cleaner) S 1023871 1023874 1021642 0 -1 1077936192 47 0 0 0 0 0 0 0 20 0 20 0 194646501 19566772224 400305 134679101440 94327019343872 94327019347568 140726658375200 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94327019355384 94327019356176 94327019958272 140726658376691 140726658376799 140726658376799 140726658383816 0
[pid=1023874/tid=1023893] ppid=1023871 vsize=19108176 memory=16076 CPUtime=0 cores=5,7
/proc/1023874/task/1023893/stat : 1023893 (Timer-0) S 1023871 1023874 1021642 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194646521 19566772224 400305 134679101440 94327019343872 94327019347568 140726658375200 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94327019355384 94327019356176 94327019958272 140726658376691 140726658376799 140726658376799 140726658383816 0
Current children cumulated CPU time: 15.27 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1601220 KiB

[startup+25.5004 s]
/proc/loadavg: 4.35 4.50 4.38 5/334 1023900
/proc/meminfo: memFree=118531092/131524600 swapFree=131071996/131071996
[pid=1023874] ppid=1023871 vsize=19108176 memory=1611584 CPUtime=28.22 cores=5,7
/proc/1023874/stat : 1023874 (java) S 1023871 1023874 1021642 0 -1 1077936128 32819 0 0 0 2788 34 0 0 20 0 20 0 194646497 19566772224 402896 134679101440 94327019343872 94327019347568 140726658375200 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94327019355384 94327019356176 94327019958272 140726658376691 140726658376799 140726658376799 140726658383816 0
/proc/1023874/statm: 4777044 402896 5871 1 0 664516 0
[pid=1023874/tid=1023876] ppid=1023871 vsize=19108176 memory=1601220 CPUtime=24.77 cores=5,7
/proc/1023874/task/1023876/stat : 1023876 (java) R 1023871 1023874 1021642 0 -1 4194368 11168 0 0 0 2448 29 0 0 20 0 20 0 194646498 19566772224 402896 134679101440 94327019343872 94327019347568 140726658375200 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94327019355384 94327019356176 94327019958272 140726658376691 140726658376799 140726658376799 140726658383816 0
[pid=1023874/tid=1023885] ppid=1023871 vsize=19108176 memory=16076 CPUtime=0 cores=5,7
/proc/1023874/task/1023885/stat : 1023885 (Finalizer) S 1023871 1023874 1021642 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194646500 19566772224 402896 134679101440 94327019343872 94327019347568 140726658375200 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94327019355384 94327019356176 94327019958272 140726658376691 140726658376799 140726658376799 140726658383816 0
[pid=1023874/tid=1023892] ppid=1023871 vsize=19108176 memory=1603300 CPUtime=0 cores=5,7
/proc/1023874/task/1023892/stat : 1023892 (Common-Cleaner) S 1023871 1023874 1021642 0 -1 1077936192 47 0 0 0 0 0 0 0 20 0 20 0 194646501 19566772224 402896 134679101440 94327019343872 94327019347568 140726658375200 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94327019355384 94327019356176 94327019958272 140726658376691 140726658376799 140726658376799 140726658383816 0
[pid=1023874/tid=1023893] ppid=1023871 vsize=19108176 memory=11444 CPUtime=0 cores=5,7
/proc/1023874/task/1023893/stat : 1023893 (Timer-0) S 1023871 1023874 1021642 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194646521 19566772224 402896 134679101440 94327019343872 94327019347568 140726658375200 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94327019355384 94327019356176 94327019958272 140726658376691 140726658376799 140726658376799 140726658383816 0
Current children cumulated CPU time: 28.22 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1611584 KiB

[startup+51.106 s]
/proc/loadavg: 4.23 4.46 4.37 6/334 1023903
/proc/meminfo: memFree=117349552/131524600 swapFree=131071996/131071996
[pid=1023874] ppid=1023871 vsize=19108176 memory=2137368 CPUtime=54.12 cores=5,7
/proc/1023874/stat : 1023874 (java) S 1023871 1023874 1021642 0 -1 1077936128 39610 0 0 0 5365 47 0 0 20 0 20 0 194646497 19566772224 534342 134679101440 94327019343872 94327019347568 140726658375200 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94327019355384 94327019356176 94327019958272 140726658376691 140726658376799 140726658376799 140726658383816 0
/proc/1023874/statm: 4777044 534342 5903 1 0 791941 0
[pid=1023874/tid=1023876] ppid=1023871 vsize=19108176 memory=2131192 CPUtime=49.75 cores=5,7
/proc/1023874/task/1023876/stat : 1023876 (java) R 1023871 1023874 1021642 0 -1 4194368 14574 0 0 0 4936 39 0 0 20 0 20 0 194646498 19566772224 534342 134679101440 94327019343872 94327019347568 140726658375200 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94327019355384 94327019356176 94327019958272 140726658376691 140726658376799 140726658376799 140726658383816 0

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

/proc/1023874/task/1023885/stat : 1023885 (Finalizer) S 1023871 1023874 1021642 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194646500 19566772224 1041790 134679101440 94327019343872 94327019347568 140726658375200 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94327019355384 94327019356176 94327019958272 140726658376691 140726658376799 140726658376799 140726658383816 0
[pid=1023874/tid=1023892] ppid=1023871 vsize=19108176 memory=4167160 CPUtime=0 cores=5,7
/proc/1023874/task/1023892/stat : 1023892 (Common-Cleaner) S 1023871 1023874 1021642 0 -1 1077936192 2416 0 0 0 0 0 0 0 20 0 20 0 194646501 19566772224 1041790 134679101440 94327019343872 94327019347568 140726658375200 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94327019355384 94327019356176 94327019958272 140726658376691 140726658376799 140726658376799 140726658383816 0
[pid=1023874/tid=1023893] ppid=1023871 vsize=19108176 memory=-7596549454003725407 CPUtime=0 cores=5,7
/proc/1023874/task/1023893/stat : 1023893 (Timer-0) S 1023871 1023874 1021642 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194646521 19566772224 1041790 134679101440 94327019343872 94327019347568 140726658375200 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94327019355384 94327019356176 94327019958272 140726658376691 140726658376799 140726658376799 140726658383816 0
Current children cumulated CPU time: 3223.54 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4167160 KiB

[startup+3222.3 s]
/proc/loadavg: 4.28 4.36 4.35 6/332 1025963
/proc/meminfo: memFree=111369888/131524600 swapFree=131071996/131071996
[pid=1023874] ppid=1023871 vsize=19108176 memory=4167164 CPUtime=3285.04 cores=5,7
/proc/1023874/stat : 1023874 (java) S 1023871 1023874 1021642 0 -1 1077936128 300117 0 0 0 328224 280 0 0 20 0 20 0 194646497 19566772224 1041791 134679101440 94327019343872 94327019347568 140726658375200 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94327019355384 94327019356176 94327019958272 140726658376691 140726658376799 140726658376799 140726658383816 0
/proc/1023874/statm: 4777044 1041791 5919 1 0 1056874 0
[pid=1023874/tid=1023876] ppid=1023871 vsize=19108176 memory=4167108 CPUtime=3121.13 cores=5,7
/proc/1023874/task/1023876/stat : 1023876 (java) R 1023871 1023874 1021642 0 -1 4194368 131204 0 0 0 312032 81 0 0 20 0 20 0 194646498 19566772224 1041791 134679101440 94327019343872 94327019347568 140726658375200 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 215 0 0 94327019355384 94327019356176 94327019958272 140726658376691 140726658376799 140726658376799 140726658383816 0
[pid=1023874/tid=1023885] ppid=1023871 vsize=19108176 memory=13072 CPUtime=0 cores=5,7
/proc/1023874/task/1023885/stat : 1023885 (Finalizer) S 1023871 1023874 1021642 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194646500 19566772224 1041791 134679101440 94327019343872 94327019347568 140726658375200 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94327019355384 94327019356176 94327019958272 140726658376691 140726658376799 140726658376799 140726658383816 0
[pid=1023874/tid=1023892] ppid=1023871 vsize=19108176 memory=4167160 CPUtime=0 cores=5,7
/proc/1023874/task/1023892/stat : 1023892 (Common-Cleaner) S 1023871 1023874 1021642 0 -1 1077936192 2517 0 0 0 0 0 0 0 20 0 20 0 194646501 19566772224 1041791 134679101440 94327019343872 94327019347568 140726658375200 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94327019355384 94327019356176 94327019958272 140726658376691 140726658376799 140726658376799 140726658383816 0
[pid=1023874/tid=1023893] ppid=1023871 vsize=19108176 memory=4167164 CPUtime=0 cores=5,7
/proc/1023874/task/1023893/stat : 1023893 (Timer-0) S 1023871 1023874 1021642 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194646521 19566772224 1041791 134679101440 94327019343872 94327019347568 140726658375200 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94327019355384 94327019356176 94327019958272 140726658376691 140726658376799 140726658376799 140726658383816 0
Current children cumulated CPU time: 3285.04 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4167164 KiB

[startup+3282.3 s]
/proc/loadavg: 4.18 4.32 4.34 5/334 1026144
/proc/meminfo: memFree=111369492/131524600 swapFree=131071996/131071996
[pid=1023874] ppid=1023871 vsize=19108176 memory=4167228 CPUtime=3346.67 cores=5,7
/proc/1023874/stat : 1023874 (java) S 1023871 1023874 1021642 0 -1 1077936128 304539 0 0 0 334383 284 0 0 20 0 20 0 194646497 19566772224 1041807 134679101440 94327019343872 94327019347568 140726658375200 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94327019355384 94327019356176 94327019958272 140726658376691 140726658376799 140726658376799 140726658383816 0
/proc/1023874/statm: 4777044 1041807 5919 1 0 1056891 0
[pid=1023874/tid=1023876] ppid=1023871 vsize=19108176 memory=4167228 CPUtime=3178.95 cores=5,7
/proc/1023874/task/1023876/stat : 1023876 (java) R 1023871 1023874 1021642 0 -1 4194368 133202 0 0 0 317814 81 0 0 20 0 20 0 194646498 19566772224 1041807 134679101440 94327019343872 94327019347568 140726658375200 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 220 0 0 94327019355384 94327019356176 94327019958272 140726658376691 140726658376799 140726658376799 140726658383816 0
[pid=1023874/tid=1023885] ppid=1023871 vsize=19108176 memory=4167168 CPUtime=0 cores=5,7
/proc/1023874/task/1023885/stat : 1023885 (Finalizer) S 1023871 1023874 1021642 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194646500 19566772224 1041807 134679101440 94327019343872 94327019347568 140726658375200 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94327019355384 94327019356176 94327019958272 140726658376691 140726658376799 140726658376799 140726658383816 0
[pid=1023874/tid=1023892] ppid=1023871 vsize=19108176 memory=13072 CPUtime=0 cores=5,7
/proc/1023874/task/1023892/stat : 1023892 (Common-Cleaner) S 1023871 1023874 1021642 0 -1 1077936192 2517 0 0 0 0 0 0 0 20 0 20 0 194646501 19566772224 1041807 134679101440 94327019343872 94327019347568 140726658375200 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94327019355384 94327019356176 94327019958272 140726658376691 140726658376799 140726658376799 140726658383816 0
[pid=1023874/tid=1023893] ppid=1023871 vsize=19108176 memory=4167228 CPUtime=0 cores=5,7
/proc/1023874/task/1023893/stat : 1023893 (Timer-0) S 1023871 1023874 1021642 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194646521 19566772224 1041807 134679101440 94327019343872 94327019347568 140726658375200 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94327019355384 94327019356176 94327019958272 140726658376691 140726658376799 140726658376799 140726658383816 0
Current children cumulated CPU time: 3346.67 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4167228 KiB

[startup+3342.3 s]
/proc/loadavg: 4.60 4.42 4.37 5/334 1026154
/proc/meminfo: memFree=111368764/131524600 swapFree=131071996/131071996
[pid=1023874] ppid=1023871 vsize=19108176 memory=4167260 CPUtime=3408.23 cores=5,7
/proc/1023874/stat : 1023874 (java) S 1023871 1023874 1021642 0 -1 1077936128 306111 0 0 0 340534 289 0 0 20 0 20 0 194646497 19566772224 1041815 134679101440 94327019343872 94327019347568 140726658375200 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94327019355384 94327019356176 94327019958272 140726658376691 140726658376799 140726658376799 140726658383816 0
/proc/1023874/statm: 4777044 1041815 5919 1 0 1056931 0
[pid=1023874/tid=1023876] ppid=1023871 vsize=19108176 memory=4167228 CPUtime=3237.29 cores=5,7
/proc/1023874/task/1023876/stat : 1023876 (java) R 1023871 1023874 1021642 0 -1 4194368 134290 0 0 0 323648 81 0 0 20 0 20 0 194646498 19566772224 1041815 134679101440 94327019343872 94327019347568 140726658375200 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 224 0 0 94327019355384 94327019356176 94327019958272 140726658376691 140726658376799 140726658376799 140726658383816 0
[pid=1023874/tid=1023885] ppid=1023871 vsize=19108176 memory=4167160 CPUtime=0 cores=5,7
/proc/1023874/task/1023885/stat : 1023885 (Finalizer) S 1023871 1023874 1021642 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194646500 19566772224 1041815 134679101440 94327019343872 94327019347568 140726658375200 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94327019355384 94327019356176 94327019958272 140726658376691 140726658376799 140726658376799 140726658383816 0
[pid=1023874/tid=1023892] ppid=1023871 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/1023874/task/1023892/stat : 1023892 (Common-Cleaner) S 1023871 1023874 1021642 0 -1 1077936192 2619 0 0 0 0 0 0 0 20 0 20 0 194646501 19566772224 1041815 134679101440 94327019343872 94327019347568 140726658375200 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94327019355384 94327019356176 94327019958272 140726658376691 140726658376799 140726658376799 140726658383816 0
[pid=1023874/tid=1023893] ppid=1023871 vsize=19108176 memory=4167260 CPUtime=0 cores=5,7
/proc/1023874/task/1023893/stat : 1023893 (Timer-0) S 1023871 1023874 1021642 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194646521 19566772224 1041815 134679101440 94327019343872 94327019347568 140726658375200 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94327019355384 94327019356176 94327019958272 140726658376691 140726658376799 140726658376799 140726658383816 0
Current children cumulated CPU time: 3408.23 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4167260 KiB

[startup+3402.3 s]
/proc/loadavg: 4.57 4.46 4.38 5/334 1026290
/proc/meminfo: memFree=113785096/131524600 swapFree=131071996/131071996
[pid=1023874] ppid=1023871 vsize=19108176 memory=4167504 CPUtime=3470.03 cores=5,7
/proc/1023874/stat : 1023874 (java) S 1023871 1023874 1021642 0 -1 1077936128 310547 0 0 0 346711 292 0 0 20 0 20 0 194646497 19566772224 1041876 134679101440 94327019343872 94327019347568 140726658375200 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94327019355384 94327019356176 94327019958272 140726658376691 140726658376799 140726658376799 140726658383816 0
/proc/1023874/statm: 4777044 1041876 5919 1 0 1056958 0
[pid=1023874/tid=1023876] ppid=1023871 vsize=19108176 memory=4167504 CPUtime=3295.1 cores=5,7
/proc/1023874/task/1023876/stat : 1023876 (java) R 1023871 1023874 1021642 0 -1 4194368 136504 0 0 0 329429 81 0 0 20 0 20 0 194646498 19566772224 1041876 134679101440 94327019343872 94327019347568 140726658375200 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 226 0 0 94327019355384 94327019356176 94327019958272 140726658376691 140726658376799 140726658376799 140726658383816 0
[pid=1023874/tid=1023885] ppid=1023871 vsize=19108176 memory=4167360 CPUtime=0 cores=5,7
/proc/1023874/task/1023885/stat : 1023885 (Finalizer) S 1023871 1023874 1021642 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194646500 19566772224 1041876 134679101440 94327019343872 94327019347568 140726658375200 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94327019355384 94327019356176 94327019958272 140726658376691 140726658376799 140726658376799 140726658383816 0
[pid=1023874/tid=1023892] ppid=1023871 vsize=19108176 memory=4167228 CPUtime=0 cores=5,7
/proc/1023874/task/1023892/stat : 1023892 (Common-Cleaner) S 1023871 1023874 1021642 0 -1 1077936192 2619 0 0 0 0 0 0 0 20 0 20 0 194646501 19566772224 1041876 134679101440 94327019343872 94327019347568 140726658375200 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94327019355384 94327019356176 94327019958272 140726658376691 140726658376799 140726658376799 140726658383816 0
[pid=1023874/tid=1023893] ppid=1023871 vsize=19108176 memory=4167260 CPUtime=0 cores=5,7
/proc/1023874/task/1023893/stat : 1023893 (Timer-0) S 1023871 1023874 1021642 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194646521 19566772224 1041876 134679101440 94327019343872 94327019347568 140726658375200 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94327019355384 94327019356176 94327019958272 140726658376691 140726658376799 140726658376799 140726658383816 0
Current children cumulated CPU time: 3470.03 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4167504 KiB

[startup+3462.31 s]
/proc/loadavg: 4.32 4.40 4.37 5/334 1026301
/proc/meminfo: memFree=112667316/131524600 swapFree=131071996/131071996
[pid=1023874] ppid=1023871 vsize=19108176 memory=4167516 CPUtime=3531.26 cores=5,7
/proc/1023874/stat : 1023874 (java) S 1023871 1023874 1021642 0 -1 1077936128 311730 0 0 0 352831 295 0 0 20 0 20 0 194646497 19566772224 1041879 134679101440 94327019343872 94327019347568 140726658375200 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94327019355384 94327019356176 94327019958272 140726658376691 140726658376799 140726658376799 140726658383816 0
/proc/1023874/statm: 4777044 1041879 5919 1 0 1056960 0
[pid=1023874/tid=1023876] ppid=1023871 vsize=19108176 memory=4167360 CPUtime=3353.44 cores=5,7
/proc/1023874/task/1023876/stat : 1023876 (java) S 1023871 1023874 1021642 0 -1 1077936192 137318 0 0 0 335262 82 0 0 20 0 20 0 194646498 19566772224 1041879 134679101440 94327019343872 94327019347568 140726658375200 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 229 0 0 94327019355384 94327019356176 94327019958272 140726658376691 140726658376799 140726658376799 140726658383816 0
[pid=1023874/tid=1023885] ppid=1023871 vsize=19108176 memory=16076 CPUtime=0 cores=5,7
/proc/1023874/task/1023885/stat : 1023885 (Finalizer) S 1023871 1023874 1021642 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194646500 19566772224 1041879 134679101440 94327019343872 94327019347568 140726658375200 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94327019355384 94327019356176 94327019958272 140726658376691 140726658376799 140726658376799 140726658383816 0
[pid=1023874/tid=1023892] ppid=1023871 vsize=19108176 memory=-7596549454003725407 CPUtime=0 cores=5,7
/proc/1023874/task/1023892/stat : 1023892 (Common-Cleaner) S 1023871 1023874 1021642 0 -1 1077936192 2672 0 0 0 0 0 0 0 20 0 20 0 194646501 19566772224 1041879 134679101440 94327019343872 94327019347568 140726658375200 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94327019355384 94327019356176 94327019958272 140726658376691 140726658376799 140726658376799 140726658383816 0
[pid=1023874/tid=1023893] ppid=1023871 vsize=19108176 memory=4167516 CPUtime=0 cores=5,7
/proc/1023874/task/1023893/stat : 1023893 (Timer-0) S 1023871 1023874 1021642 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194646521 19566772224 1041879 134679101440 94327019343872 94327019347568 140726658375200 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94327019355384 94327019356176 94327019958272 140726658376691 140726658376799 140726658376799 140726658383816 0
Current children cumulated CPU time: 3531.26 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4167516 KiB

[startup+3522.3 s]
/proc/loadavg: 4.29 4.37 4.36 5/335 1026379
/proc/meminfo: memFree=114445632/131524600 swapFree=131071996/131071996
[pid=1023874] ppid=1023871 vsize=19108176 memory=4167592 CPUtime=3593.03 cores=5,7
/proc/1023874/stat : 1023874 (java) S 1023871 1023874 1021642 0 -1 1077936128 312792 0 0 0 359005 298 0 0 20 0 20 0 194646497 19566772224 1041898 134679101440 94327019343872 94327019347568 140726658375200 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94327019355384 94327019356176 94327019958272 140726658376691 140726658376799 140726658376799 140726658383816 0
/proc/1023874/statm: 4777044 1041898 5919 1 0 1056985 0
[pid=1023874/tid=1023876] ppid=1023871 vsize=19108176 memory=-7596549454003725407 CPUtime=3411.43 cores=5,7
/proc/1023874/task/1023876/stat : 1023876 (java) S 1023871 1023874 1021642 0 -1 1077936192 138211 0 0 0 341061 82 0 0 20 0 20 0 194646498 19566772224 1041898 134679101440 94327019343872 94327019347568 140726658375200 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 230 0 0 94327019355384 94327019356176 94327019958272 140726658376691 140726658376799 140726658376799 140726658383816 0
[pid=1023874/tid=1023885] ppid=1023871 vsize=19108176 memory=4167260 CPUtime=0 cores=5,7
/proc/1023874/task/1023885/stat : 1023885 (Finalizer) S 1023871 1023874 1021642 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194646500 19566772224 1041898 134679101440 94327019343872 94327019347568 140726658375200 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94327019355384 94327019356176 94327019958272 140726658376691 140726658376799 140726658376799 140726658383816 0
[pid=1023874/tid=1023892] ppid=1023871 vsize=19108176 memory=4167592 CPUtime=0 cores=5,7
/proc/1023874/task/1023892/stat : 1023892 (Common-Cleaner) S 1023871 1023874 1021642 0 -1 1077936192 2672 0 0 0 0 0 0 0 20 0 20 0 194646501 19566772224 1041898 134679101440 94327019343872 94327019347568 140726658375200 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94327019355384 94327019356176 94327019958272 140726658376691 140726658376799 140726658376799 140726658383816 0
[pid=1023874/tid=1023893] ppid=1023871 vsize=19108176 memory=11444 CPUtime=0 cores=5,7
/proc/1023874/task/1023893/stat : 1023893 (Timer-0) S 1023871 1023874 1021642 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194646521 19566772224 1041898 134679101440 94327019343872 94327019347568 140726658375200 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94327019355384 94327019356176 94327019958272 140726658376691 140726658376799 140726658376799 140726658383816 0
Current children cumulated CPU time: 3593.03 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4167592 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3529.11 s]
/proc/loadavg: 4.26 4.37 4.36 5/335 1026449
/proc/meminfo: memFree=118264204/131524600 swapFree=131071996/131071996
[pid=1023874] ppid=1023871 vsize=19108176 memory=4167592 CPUtime=3600.05 cores=5,7
/proc/1023874/stat : 1023874 (java) S 1023871 1023874 1021642 0 -1 1077936128 312792 0 0 0 359707 298 0 0 20 0 20 0 194646497 19566772224 1041898 134679101440 94327019343872 94327019347568 140726658375200 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94327019355384 94327019356176 94327019958272 140726658376691 140726658376799 140726658376799 140726658383816 0
/proc/1023874/statm: 4777044 1041898 5919 1 0 1056985 0
[pid=1023874/tid=1023876] ppid=1023871 vsize=19108176 memory=-7596549454003725407 CPUtime=3418 cores=5,7
/proc/1023874/task/1023876/stat : 1023876 (java) R 1023871 1023874 1021642 0 -1 4194368 138211 0 0 0 341718 82 0 0 20 0 20 0 194646498 19566772224 1041898 134679101440 94327019343872 94327019347568 140726658375200 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 230 0 0 94327019355384 94327019356176 94327019958272 140726658376691 140726658376799 140726658376799 140726658383816 0
[pid=1023874/tid=1023885] ppid=1023871 vsize=19108176 memory=4167260 CPUtime=0 cores=5,7
/proc/1023874/task/1023885/stat : 1023885 (Finalizer) S 1023871 1023874 1021642 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 194646500 19566772224 1041898 134679101440 94327019343872 94327019347568 140726658375200 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94327019355384 94327019356176 94327019958272 140726658376691 140726658376799 140726658376799 140726658383816 0
[pid=1023874/tid=1023892] ppid=1023871 vsize=19108176 memory=4167592 CPUtime=0 cores=5,7
/proc/1023874/task/1023892/stat : 1023892 (Common-Cleaner) S 1023871 1023874 1021642 0 -1 1077936192 2672 0 0 0 0 0 0 0 20 0 20 0 194646501 19566772224 1041898 134679101440 94327019343872 94327019347568 140726658375200 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94327019355384 94327019356176 94327019958272 140726658376691 140726658376799 140726658376799 140726658383816 0
[pid=1023874/tid=1023893] ppid=1023871 vsize=19108176 memory=11444 CPUtime=0 cores=5,7
/proc/1023874/task/1023893/stat : 1023893 (Timer-0) S 1023871 1023874 1021642 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 194646521 19566772224 1041898 134679101440 94327019343872 94327019347568 140726658375200 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94327019355384 94327019356176 94327019958272 140726658376691 140726658376799 140726658376799 140726658383816 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4167592 KiB

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

[startup+3529.21 s]
# the end of solver process 1023874 was just reported to runsolver
# Child status: 143

# cumulated CPU time of all completed processes:  user=3597.21 s, system=3.00556 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+3529.2 s]*
/proc/loadavg: 4.26 4.37 4.36 6/317 1026452
/proc/meminfo: memFree=122332496/131524600 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3529.21
CPU time (s): 3600.21
CPU user time (s): 3597.21
CPU system time (s): 3.00556
CPU usage (%): 102.012
Max. virtual memory (cumulated for all children) (KiB): 19111192
Max. memory (cumulated for all children) (KiB): 4167592

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.21
system time used= 3.00556
maximum resident set size= 4169140
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 316140
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 170543
involuntary context switches= 14218


# summary of solver processes directly reported to runsolver:
#   pid: 1023874
#   total CPU time (s): 3600.21
#   total CPU user time (s): 3597.21
#   total CPU system time (s): 3.00556

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.97704 second user time and 19.6672 second system time

The end

Launcher Data 

Begin job on nodeC024 at 2024-07-19 23:33:49
IDJOB=4451071
IDBENCH=162346
IDSOLVER=3052
FILE ID=nodeC024/4451071-1721424816
RUNJOBID= nodeC024-1721421240-1021655
SLURM_JOB_ID= 7545498
Free space on /tmp= 890080 MiB

SOLVER NAME= Sat4j Cutting Planes 2024 2024-07-12
BENCH NAME= PB24/normalized-PB16/DEC-LIN/elffers/EC_ODD_GRIDS/normalized-ECgrid5x110split.opb
COMMAND LINE= java -jar sat4j-pb.jar CuttingPlanesPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4451071-1721424816/watcher-4451071-1721424816 -o /tmp/evaluation-result-4451071-1721424816/solver-4451071-1721424816 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1721421240-1021655 --watchdog 3760  java -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4451071-1721424816.opb

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= 1b3727bc41a297c1e3576d09f30c6702
RANDOM SEED=1301395312

nodeC024.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.018
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.60
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3684.725
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7007.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3669.433
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.60
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3651.533
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7007.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3655.761
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.60
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3657.148
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7007.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.808
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.60
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3656.404
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7007.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        121238356 kB
MemAvailable:   122045084 kB
Buffers:          530384 kB
Cached:          1120932 kB
SwapCached:            0 kB
Active:          1022476 kB
Inactive:        8635600 kB
Active(anon):       1540 kB
Inactive(anon):  8051132 kB
Active(file):    1020936 kB
Inactive(file):   584468 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              2024 kB
Writeback:            48 kB
AnonPages:       8006724 kB
Mapped:           127304 kB
Shmem:             45912 kB
KReclaimable:      81940 kB
Slab:             193772 kB
SReclaimable:      81940 kB
SUnreclaim:       111832 kB
KernelStack:        5072 kB
PageTables:        25784 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:   10832848 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            70784 kB
HardwareCorrupted:     0 kB
AnonHugePages:   7714816 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      299732 kB
DirectMap2M:    36173824 kB
DirectMap1G:    99614720 kB

Free space on /tmp at the end= 890080 MiB
End job on nodeC024 at 2024-07-20 00:32:38