Trace number 4446431

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.18 3519.89

General information on the benchmark

NamePB24/normalized-PB11/DEC-LIN/
lopes/normalized-33.opb
MD5SUM77ebcb4349d0c3a90733439946e4862a
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark8.81475
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables7085
Total number of constraints151483
Number of constraints which are clauses135588
Number of constraints which are cardinality constraints (but not clauses)581
Number of constraints which are nor clauses,nor cardinality constraints15314
Minimum length of a constraint1
Maximum length of a constraint195
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 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 196
Number of bits of the biggest sum of numbers8
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.15	Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.13/0.15	 - never skip resolution steps
0.13/0.15	 - Auto-division on coefficients is disabled
0.13/0.15	 - No postprocessing
0.13/0.15	 - Conflict is considered as is when resolving
0.13/0.15	 - Use constraints as they come during conflict analysis
0.13/0.15	 - Weaken first using unassigned literals
0.13/0.15	 - Bump strategy: ALWAYS_ONE
0.13/0.15	 - Bumper: EFFECTIVE
0.13/0.15	--- Begin Solver configuration ---
0.13/0.15	org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@5ecddf8f
0.13/0.15	Learn all clauses as in MiniSAT
0.13/0.15	LOGGER=java.util.logging.Logger@5f5a92bb claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.15	VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.13/0.15	No reason simplification
0.13/0.15	Dynamic restart strategy considering the size of the coefficients
0.13/0.15	Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.UnassignedLiteralsHaveSameLevelLBDComputerStrategy@449b2d27
0.13/0.15	timeout=2147483s
0.13/0.15	DB Simplification allowed=false
0.13/0.15	Listener: none
0.13/0.15	--- End Solver configuration ---
0.13/0.15	c Pseudo Boolean Optimization by upper bound
0.13/0.15	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.13/0.15	c  - never skip resolution steps
0.13/0.15	c  - Auto-division on coefficients is disabled
0.13/0.15	c  - No postprocessing
0.13/0.15	c  - Conflict is considered as is when resolving
0.13/0.15	c  - Use constraints as they come during conflict analysis
0.13/0.15	c  - Weaken first using unassigned literals
0.13/0.15	c  - Bump strategy: ALWAYS_ONE
0.13/0.15	c  - Bumper: EFFECTIVE
0.13/0.15	c --- Begin Solver configuration ---
0.13/0.15	c org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@5ecddf8f
0.13/0.15	c Learn all clauses as in MiniSAT
0.13/0.15	c LOGGER=java.util.logging.Logger@5f5a92bb claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.15	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.13/0.15	c No reason simplification
0.13/0.15	c Dynamic restart strategy considering the size of the coefficients
0.13/0.15	c Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.UnassignedLiteralsHaveSameLevelLBDComputerStrategy@449b2d27
0.13/0.15	c timeout=2147483s
0.13/0.15	c DB Simplification allowed=false
0.13/0.15	c Listener: none
0.13/0.15	c --- End Solver configuration ---
0.13/0.15	c solving HOME/instance-4446431-1721337075.opb
0.13/0.15	c reading problem ... 
0.13/0.15	c  no objective function found
4.80/2.53	c ... done. Wall clock time 2.376s.
4.80/2.54	c declared #vars     7085
4.80/2.54	c #constraints  151796
4.80/2.54	c constraints type 
4.80/2.54	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 30822
4.80/2.54	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 550
4.80/2.54	c org.sat4j.specs.Constr$1 => 8353
4.80/2.54	c org.sat4j.pb.constraints.pb.PuebloMinWatchPb => 15314
4.80/2.54	c org.sat4j.pb.constraints.pb.UnitClausePB => 425
4.80/2.54	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 96332
4.80/2.54	c 151796 constraints processed.
8.36/4.33	c cleaning 2480 clauses out of 5000 with flag 0/5000
11.12/5.79	c cleaning 4148 clauses out of 8520 with flag 0/11000
13.10/7.47	c cleaning 5584 clauses out of 11372 with flag 0/18000
15.19/9.31	c cleaning 6791 clauses out of 13788 with flag 0/26000
17.11/11.25	c cleaning 7904 clauses out of 15998 with flag 0/35001
19.95/14.05	c cleaning 9041 clauses out of 18093 with flag 0/45000
22.94/17.04	c cleaning 9887 clauses out of 20053 with flag 0/56001
26.39/20.48	c cleaning 11019 clauses out of 22165 with flag 0/68000
30.19/24.25	c cleaning 12043 clauses out of 24146 with flag 0/81000
34.79/28.84	c cleaning 12995 clauses out of 26103 with flag 0/95000
39.24/33.24	c cleaning 13958 clauses out of 28108 with flag 0/110000
45.18/39.13	c cleaning 14967 clauses out of 30150 with flag 0/126000
52.15/46.07	c cleaning 16038 clauses out of 32183 with flag 0/143000
60.36/54.14	c cleaning 16982 clauses out of 34147 with flag 0/161002
67.18/60.96	c cleaning 18059 clauses out of 36164 with flag 0/180001
76.39/70.05	c cleaning 18996 clauses out of 38104 with flag 0/200000
85.90/79.31	c cleaning 19982 clauses out of 40109 with flag 0/221001
97.49/90.68	c cleaning 20981 clauses out of 42129 with flag 0/243003
109.88/102.65	c cleaning 21966 clauses out of 44146 with flag 0/266001
123.72/116.17	c cleaning 22983 clauses out of 46180 with flag 0/290001
140.06/132.06	c cleaning 24045 clauses out of 48196 with flag 0/315000
155.08/146.77	c cleaning 25063 clauses out of 50151 with flag 0/341000
174.51/165.77	c cleaning 25961 clauses out of 52088 with flag 0/368000
189.94/180.84	c cleaning 26974 clauses out of 54127 with flag 0/396000
207.32/197.77	c cleaning 27984 clauses out of 56153 with flag 0/425000
223.84/213.99	c cleaning 29064 clauses out of 58170 with flag 0/455001
240.01/229.82	c cleaning 29977 clauses out of 60105 with flag 0/486000
257.85/247.46	c cleaning 30964 clauses out of 62128 with flag 0/518000
278.28/267.50	c cleaning 31931 clauses out of 64164 with flag 0/551000
298.25/287.16	c cleaning 32941 clauses out of 66234 with flag 0/585001
320.13/308.87	c cleaning 34014 clauses out of 68292 with flag 0/620000
343.64/332.11	c cleaning 35097 clauses out of 70279 with flag 0/656001
365.75/354.06	c cleaning 36010 clauses out of 72182 with flag 0/693001
388.01/376.00	c cleaning 36960 clauses out of 74171 with flag 0/731000
410.92/398.42	c cleaning 37975 clauses out of 76211 with flag 0/770000
433.26/420.58	c cleaning 39054 clauses out of 78236 with flag 0/810000
468.66/455.45	c cleaning 40093 clauses out of 80185 with flag 0/851003
501.11/487.10	c cleaning 40928 clauses out of 82089 with flag 0/893000
534.48/519.94	c cleaning 42011 clauses out of 84161 with flag 0/936000
564.00/549.05	c cleaning 43033 clauses out of 86150 with flag 0/980000
596.29/580.82	c cleaning 44042 clauses out of 88117 with flag 0/1025000
629.54/613.52	c cleaning 44933 clauses out of 90075 with flag 0/1071000
665.72/648.87	c cleaning 45900 clauses out of 92142 with flag 0/1118000
706.38/688.53	c cleaning 47041 clauses out of 94243 with flag 0/1166001
749.33/730.71	c cleaning 48031 clauses out of 96201 with flag 0/1215000
795.62/776.19	c cleaning 49066 clauses out of 98170 with flag 0/1265000
834.43/813.96	c cleaning 50010 clauses out of 100104 with flag 0/1316000
874.60/853.13	c cleaning 51022 clauses out of 102094 with flag 0/1368000
916.14/893.75	c cleaning 51925 clauses out of 104072 with flag 0/1421000
960.04/937.01	c cleaning 53051 clauses out of 106148 with flag 0/1475001
1010.65/986.54	c cleaning 53882 clauses out of 108097 with flag 0/1530001
1066.21/1040.99	c cleaning 55038 clauses out of 110215 with flag 0/1586001
1120.00/1093.59	c cleaning 55897 clauses out of 112176 with flag 0/1643000
1171.29/1143.43	c cleaning 57010 clauses out of 114279 with flag 0/1701000
1217.94/1189.38	c cleaning 58050 clauses out of 116269 with flag 0/1760000
1258.37/1228.92	c cleaning 59008 clauses out of 118219 with flag 0/1820000
1312.11/1281.46	c cleaning 59986 clauses out of 120212 with flag 0/1881001
1361.96/1330.47	c cleaning 61007 clauses out of 122225 with flag 0/1943000
1422.28/1389.74	c cleaning 62052 clauses out of 124219 with flag 0/2006001
1481.11/1447.42	c cleaning 63004 clauses out of 126167 with flag 0/2070001
1552.08/1516.92	c cleaning 64011 clauses out of 128162 with flag 0/2135000
1617.51/1580.78	c cleaning 64938 clauses out of 130151 with flag 0/2201000
1689.55/1651.10	c cleaning 66059 clauses out of 132213 with flag 0/2268000
1761.73/1721.86	c cleaning 67005 clauses out of 134155 with flag 0/2336001
1844.22/1802.20	c cleaning 68048 clauses out of 136149 with flag 0/2405000
1921.40/1877.97	c cleaning 68993 clauses out of 138102 with flag 0/2475001
1999.27/1954.37	c cleaning 70015 clauses out of 140108 with flag 0/2546000
2071.95/2025.48	c cleaning 70881 clauses out of 142095 with flag 0/2618002
2141.67/2093.63	c cleaning 71989 clauses out of 144212 with flag 0/2691000
2210.40/2161.02	c cleaning 73060 clauses out of 146225 with flag 0/2765002
2276.37/2225.98	c cleaning 73940 clauses out of 148163 with flag 0/2840000
2343.03/2291.61	c cleaning 75013 clauses out of 150224 with flag 0/2916001
2413.05/2360.23	c cleaning 75938 clauses out of 152211 with flag 0/2993001
2497.46/2442.61	c cleaning 76973 clauses out of 154272 with flag 0/3071000
2569.58/2512.92	c cleaning 77923 clauses out of 156299 with flag 0/3150000
2644.47/2585.63	c cleaning 78997 clauses out of 158376 with flag 0/3230000
2720.37/2660.08	c cleaning 80042 clauses out of 160380 with flag 0/3311001
2796.35/2734.43	c cleaning 80904 clauses out of 162337 with flag 0/3393000
2873.11/2809.65	c cleaning 82151 clauses out of 164434 with flag 0/3476001
2952.56/2887.31	c cleaning 82992 clauses out of 166285 with flag 0/3560003
3026.20/2959.31	c cleaning 84040 clauses out of 168292 with flag 0/3645002
3112.92/3044.24	c cleaning 84942 clauses out of 170251 with flag 0/3731001
3197.50/3126.54	c cleaning 86061 clauses out of 172308 with flag 0/3818000
3290.94/3218.00	c cleaning 87016 clauses out of 174247 with flag 0/3906000
3374.37/3299.50	c cleaning 87971 clauses out of 176232 with flag 0/3995001
3469.55/3392.75	c cleaning 88968 clauses out of 178260 with flag 0/4085000
3560.42/3480.94	c cleaning 89995 clauses out of 180293 with flag 0/4176001
3600.04/3519.81	c starts		: 4895
3600.04/3519.81	c timeout
3600.04/3519.82	c conflicts		: 4234580
3600.04/3519.82	c decisions		: 16281817
3600.04/3519.82	c propagations		: 640875748
3600.04/3519.82	c inspects		: 10603598655
3600.04/3519.82	c shortcuts		: 0
3600.04/3519.82	c learnt literals	: 0
3600.04/3519.82	c learnt binary clauses	: 342
3600.04/3519.82	c learnt ternary clauses	: 2236
3600.04/3519.82	c learnt constraints	: 4234579
3600.04/3519.82	c ignored constraints	: 0
3600.04/3519.82	c root simplifications	: 0
3600.04/3519.82	c removed literals (reason simplification)	: 0
3600.04/3519.82	c reason swapping (by a shorter reason)	: 0
3600.04/3519.82	c Calls to reduceDB	: 87
3600.04/3519.82	c Number of update (reduction) of LBD	: 5436831
3600.04/3519.82	c Imported unit clauses	: 0
3600.04/3519.82	c No decision after first conflict	: false
3600.04/3519.82	c number of reductions to clauses (during analyze)	: 0
3600.04/3519.82	c number of learned constraints concerned by reduction	: 0
3600.04/3519.82	c number of learning phase by resolution	: 0
3600.04/3519.82	c number of learning phase by cutting planes	: 0
3600.04/3519.82	c number of rounding to 1 operations	: 0
3600.04/3519.82	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.04/3519.82	c number of reductions of the coefficients by power 2 	: 0
3600.04/3519.82	c number of right shift for reduction by power 2 	: 0
3600.04/3519.82	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.04/3519.82	c number of ending skipping 	: 0
3600.04/3519.82	c number of internal skipping 	: 0
3600.04/3519.82	c number of derivation steps 	: 74690983
3600.04/3519.82	c number of skipped derivation steps 	: 0
3600.04/3519.82	c number of remaining unassigned 	: 199697
3600.04/3519.82	c number of remaining assigned 	: 634622004
3600.04/3519.82	c number of falsified literals weakened from reason	: 0
3600.04/3519.82	c number of falsified literals weakened from conflict	: 0
3600.04/3519.82	c time for arithmetic operations	: 19855501325
3600.04/3519.82	c minimum degree of deleted constraints	: 1
3600.04/3519.82	c maximum degree of deleted constraints	: 44443440
3600.04/3519.82	c number of deleted constraints	: 4085703
3600.04/3519.82	c speed (assignments/second)	: 182207.71897383235
3600.04/3519.82	c non guided choices	: 157898
3600.04/3519.87	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 86483
3600.04/3519.87	c learnt constraints type org.sat4j.pb.constraints.pb.MinWatchCardPB	: 100
3600.04/3519.87	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 342
3600.04/3519.87	c learnt constraints type org.sat4j.pb.constraints.pb.PuebloMinWatchPb	: 61951
3600.04/3519.87	s UNKNOWN
3600.04/3519.87	c Total wall clock time (in seconds): 3519.723

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: 63968 MiB (56771 MiB free)
  memory of node 1: 64473 MiB (52591 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446431-1721337075/watcher-4446431-1721337075 -o /tmp/evaluation-result-4446431-1721337075/solver-4446431-1721337075 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1721329969-971066 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4446431-1721337075.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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=975369, runsolver pid=975366
Current StackSize limit: 8192 KiB


[startup+0.101713 s]*
/proc/loadavg: 4.26 4.19 4.18 6/331 975387
/proc/meminfo: memFree=111943888/131524600 swapFree=131071996/131071996
[pid=975369] ppid=975366 vsize=18975048 memory=64320 CPUtime=0.13 cores=4,6
/proc/975369/stat : 975369 (java) S 975366 975369 971055 0 -1 1077936128 7119 0 0 0 12 1 0 0 20 0 18 0 185874202 19430449152 16080 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
/proc/975369/statm: 4743762 16080 5619 1 0 549322 0
[pid=975369/tid=975371] ppid=975366 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=4,6
/proc/975369/task/975371/stat : 975371 (java) R 975366 975369 971055 0 -1 1077936192 5701 0 0 0 8 0 0 0 20 0 18 0 185874202 19430449152 16080 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
[pid=975369/tid=975380] ppid=975366 vsize=18975048 memory=237146210664 CPUtime=0 cores=4,6
/proc/975369/task/975380/stat : 975380 (Finalizer) S 975366 975369 971055 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 185874205 19430449152 16080 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
[pid=975369/tid=975387] ppid=975366 vsize=18975048 memory=14408228826018639 CPUtime=0 cores=4,6
/proc/975369/task/975387/stat : 975387 (Common-Cleaner) S 975366 975369 971055 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 185874205 19430449152 16080 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 64320 KiB

[startup+0.206082 s]*
/proc/loadavg: 4.26 4.19 4.18 5/331 975387
/proc/meminfo: memFree=111910648/131524600 swapFree=131071996/131071996
[pid=975369] ppid=975366 vsize=18975048 memory=98464 CPUtime=0.32 cores=4,6
/proc/975369/stat : 975369 (java) S 975366 975369 971055 0 -1 1077936128 7718 0 0 0 30 2 0 0 20 0 18 0 185874202 19430449152 24616 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
/proc/975369/statm: 4743762 24616 5833 1 0 549751 0
[pid=975369/tid=975371] ppid=975366 vsize=18975048 memory=4782652875487838339 CPUtime=0.17 cores=4,6
/proc/975369/task/975371/stat : 975371 (java) R 975366 975369 971055 0 -1 1077936192 6016 0 0 0 16 1 0 0 20 0 18 0 185874202 19430449152 24616 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
[pid=975369/tid=975380] ppid=975366 vsize=18975048 memory=2643 CPUtime=0 cores=4,6
/proc/975369/task/975380/stat : 975380 (Finalizer) S 975366 975369 971055 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 185874205 19430449152 24616 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
[pid=975369/tid=975387] ppid=975366 vsize=18975048 memory=14126753849280249 CPUtime=0 cores=4,6
/proc/975369/task/975387/stat : 975387 (Common-Cleaner) S 975366 975369 971055 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 185874205 19430449152 24616 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 98464 KiB

[startup+0.312056 s]*
/proc/loadavg: 4.26 4.19 4.18 6/332 975388
/proc/meminfo: memFree=111844748/131524600 swapFree=131071996/131071996
[pid=975369] ppid=975366 vsize=19041612 memory=164136 CPUtime=0.5 cores=4,6
/proc/975369/stat : 975369 (java) S 975366 975369 971055 0 -1 1077936128 9341 0 0 0 46 4 0 0 20 0 19 0 185874202 19498610688 41034 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
/proc/975369/statm: 4760403 41034 5833 1 0 551033 0
[pid=975369/tid=975371] ppid=975366 vsize=19041612 memory=-8743570895375999676 CPUtime=0.24 cores=4,6
/proc/975369/task/975371/stat : 975371 (java) R 975366 975369 971055 0 -1 4194368 6054 0 0 0 22 2 0 0 20 0 19 0 185874202 19498610688 41034 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
[pid=975369/tid=975380] ppid=975366 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/975369/task/975380/stat : 975380 (Finalizer) S 975366 975369 971055 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 185874205 19498610688 41034 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
[pid=975369/tid=975387] ppid=975366 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/975369/task/975387/stat : 975387 (Common-Cleaner) S 975366 975369 971055 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 185874205 19498610688 41034 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 164136 KiB

[startup+0.705858 s]
/proc/loadavg: 4.26 4.19 4.18 7/332 975388
/proc/meminfo: memFree=111472660/131524600 swapFree=131071996/131071996
[pid=975369] ppid=975366 vsize=19041612 memory=1114896 CPUtime=1.24 cores=4,6
/proc/975369/stat : 975369 (java) S 975366 975369 971055 0 -1 1077936128 14314 0 0 0 101 23 0 0 20 0 19 0 185874202 19498610688 278724 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
/proc/975369/statm: 4760403 278724 5833 1 0 553100 0
[pid=975369/tid=975371] ppid=975366 vsize=19041612 memory=5544 CPUtime=0.61 cores=4,6
/proc/975369/task/975371/stat : 975371 (java) R 975366 975369 971055 0 -1 4194368 6513 0 0 0 41 20 0 0 20 0 19 0 185874202 19498610688 278724 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
[pid=975369/tid=975380] ppid=975366 vsize=19041612 memory=12504 CPUtime=0 cores=4,6
/proc/975369/task/975380/stat : 975380 (Finalizer) S 975366 975369 971055 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 185874205 19498610688 278724 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
[pid=975369/tid=975387] ppid=975366 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/975369/task/975387/stat : 975387 (Common-Cleaner) S 975366 975369 971055 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 185874205 19498610688 278724 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
Current children cumulated CPU time: 1.24 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 1114896 KiB

[startup+1.50087 s]
/proc/loadavg: 4.26 4.19 4.18 6/332 975388
/proc/meminfo: memFree=110685320/131524600 swapFree=131071996/131071996
[pid=975369] ppid=975366 vsize=19041612 memory=1331908 CPUtime=2.81 cores=4,6
/proc/975369/stat : 975369 (java) S 975366 975369 971055 0 -1 1077936128 24019 0 0 0 252 29 0 0 20 0 19 0 185874202 19498610688 332977 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
/proc/975369/statm: 4760403 332977 5833 1 0 558113 0
[pid=975369/tid=975371] ppid=975366 vsize=19041612 memory=12504 CPUtime=1.34 cores=4,6
/proc/975369/task/975371/stat : 975371 (java) R 975366 975369 971055 0 -1 4194368 6710 0 0 0 110 24 0 0 20 0 19 0 185874202 19498610688 332977 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
[pid=975369/tid=975380] ppid=975366 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/975369/task/975380/stat : 975380 (Finalizer) S 975366 975369 971055 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 185874205 19498610688 332977 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
[pid=975369/tid=975387] ppid=975366 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/975369/task/975387/stat : 975387 (Common-Cleaner) S 975366 975369 971055 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 185874205 19498610688 332977 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
Current children cumulated CPU time: 2.81 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 1331908 KiB

[startup+3.10586 s]
/proc/loadavg: 4.26 4.19 4.18 6/333 975389
/proc/meminfo: memFree=109586228/131524600 swapFree=131071996/131071996
[pid=975369] ppid=975366 vsize=19108176 memory=2418132 CPUtime=6 cores=4,6
/proc/975369/stat : 975369 (java) S 975366 975369 971055 0 -1 1077936128 28224 0 0 0 550 50 0 0 20 0 20 0 185874202 19566772224 604533 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
/proc/975369/statm: 4777044 604533 5840 1 0 832559 0
[pid=975369/tid=975371] ppid=975366 vsize=19108176 memory=0 CPUtime=2.82 cores=4,6
/proc/975369/task/975371/stat : 975371 (java) R 975366 975369 971055 0 -1 4194368 7315 0 0 0 238 44 0 0 20 0 20 0 185874202 19566772224 604533 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
[pid=975369/tid=975380] ppid=975366 vsize=19108176 memory=12504 CPUtime=0 cores=4,6
/proc/975369/task/975380/stat : 975380 (Finalizer) S 975366 975369 971055 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 185874205 19566772224 604533 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
[pid=975369/tid=975387] ppid=975366 vsize=19108176 memory=1891452 CPUtime=0 cores=4,6
/proc/975369/task/975387/stat : 975387 (Common-Cleaner) S 975366 975369 971055 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 185874205 19566772224 604533 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
[pid=975369/tid=975389] ppid=975366 vsize=19108176 memory=33 CPUtime=0 cores=4,6
/proc/975369/task/975389/stat : 975389 (Timer-0) S 975366 975369 971055 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 185874456 19566772224 604533 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
Current children cumulated CPU time: 6 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2418132 KiB

[startup+6.30088 s]
/proc/loadavg: 4.40 4.22 4.19 5/333 975391
/proc/meminfo: memFree=109583896/131524600 swapFree=131071996/131071996
[pid=975369] ppid=975366 vsize=19108176 memory=2419920 CPUtime=11.97 cores=4,6
/proc/975369/stat : 975369 (java) S 975366 975369 971055 0 -1 1077936128 29061 0 0 0 1147 50 0 0 20 0 20 0 185874202 19566772224 604980 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
/proc/975369/statm: 4777044 604980 5840 1 0 832638 0
[pid=975369/tid=975371] ppid=975366 vsize=19108176 memory=0 CPUtime=5.91 cores=4,6
/proc/975369/task/975371/stat : 975371 (java) R 975366 975369 971055 0 -1 4194368 7743 0 0 0 547 44 0 0 20 0 20 0 185874202 19566772224 604980 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
[pid=975369/tid=975380] ppid=975366 vsize=19108176 memory=12504 CPUtime=0 cores=4,6
/proc/975369/task/975380/stat : 975380 (Finalizer) S 975366 975369 971055 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 185874205 19566772224 604980 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
[pid=975369/tid=975387] ppid=975366 vsize=19108176 memory=2419092 CPUtime=0 cores=4,6
/proc/975369/task/975387/stat : 975387 (Common-Cleaner) S 975366 975369 971055 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 185874205 19566772224 604980 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
[pid=975369/tid=975389] ppid=975366 vsize=19108176 memory=11476 CPUtime=0 cores=4,6
/proc/975369/task/975389/stat : 975389 (Timer-0) S 975366 975369 971055 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 185874456 19566772224 604980 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
Current children cumulated CPU time: 11.97 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2419920 KiB

[startup+12.7003 s]
/proc/loadavg: 4.37 4.22 4.19 5/333 975391
/proc/meminfo: memFree=109593212/131524600 swapFree=131071996/131071996
[pid=975369] ppid=975366 vsize=19108176 memory=2411032 CPUtime=18.65 cores=4,6
/proc/975369/stat : 975369 (java) S 975366 975369 971055 0 -1 1077936128 34902 0 0 0 1814 51 0 0 20 0 20 0 185874202 19566772224 602758 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
/proc/975369/statm: 4777044 602758 5855 1 0 832638 0
[pid=975369/tid=975371] ppid=975366 vsize=19108176 memory=-8743570895375999676 CPUtime=12.15 cores=4,6
/proc/975369/task/975371/stat : 975371 (java) R 975366 975369 971055 0 -1 4194368 10037 0 0 0 1171 44 0 0 20 0 20 0 185874202 19566772224 602758 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
[pid=975369/tid=975380] ppid=975366 vsize=19108176 memory=2410768 CPUtime=0 cores=4,6
/proc/975369/task/975380/stat : 975380 (Finalizer) S 975366 975369 971055 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 185874205 19566772224 602758 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
[pid=975369/tid=975387] ppid=975366 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/975369/task/975387/stat : 975387 (Common-Cleaner) S 975366 975369 971055 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 185874205 19566772224 602758 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
[pid=975369/tid=975389] ppid=975366 vsize=19108176 memory=12504 CPUtime=0 cores=4,6
/proc/975369/task/975389/stat : 975389 (Timer-0) S 975366 975369 971055 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 185874456 19566772224 602758 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
Current children cumulated CPU time: 18.65 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2411032 KiB

[startup+25.5003 s]
/proc/loadavg: 4.56 4.27 4.21 5/333 975462
/proc/meminfo: memFree=113480596/131524600 swapFree=131071996/131071996
[pid=975369] ppid=975366 vsize=19108176 memory=2413128 CPUtime=31.49 cores=4,6
/proc/975369/stat : 975369 (java) S 975366 975369 971055 0 -1 1077936128 36092 0 0 0 3097 52 0 0 20 0 20 0 185874202 19566772224 603282 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
/proc/975369/statm: 4777044 603282 5855 1 0 832638 0
[pid=975369/tid=975371] ppid=975366 vsize=19108176 memory=11476 CPUtime=24.7 cores=4,6
/proc/975369/task/975371/stat : 975371 (java) R 975366 975369 971055 0 -1 4194368 10708 0 0 0 2425 45 0 0 20 0 20 0 185874202 19566772224 603282 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
[pid=975369/tid=975380] ppid=975366 vsize=19108176 memory=11476 CPUtime=0 cores=4,6
/proc/975369/task/975380/stat : 975380 (Finalizer) S 975366 975369 971055 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 185874205 19566772224 603282 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
[pid=975369/tid=975387] ppid=975366 vsize=19108176 memory=2413128 CPUtime=0 cores=4,6
/proc/975369/task/975387/stat : 975387 (Common-Cleaner) S 975366 975369 971055 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 185874205 19566772224 603282 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
[pid=975369/tid=975389] ppid=975366 vsize=19108176 memory=2413080 CPUtime=0 cores=4,6
/proc/975369/task/975389/stat : 975389 (Timer-0) S 975366 975369 971055 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 185874456 19566772224 603282 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
Current children cumulated CPU time: 31.49 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2413128 KiB

[startup+51.1099 s]
/proc/loadavg: 4.52 4.28 4.22 5/333 975465
/proc/meminfo: memFree=111936920/131524600 swapFree=131071996/131071996
[pid=975369] ppid=975366 vsize=19108176 memory=2448332 CPUtime=57.32 cores=4,6
/proc/975369/stat : 975369 (java) S 975366 975369 971055 0 -1 1077936128 47907 0 0 0 5677 55 0 0 20 0 20 0 185874202 19566772224 612083 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
/proc/975369/statm: 4777044 612083 5855 1 0 832638 0
[pid=975369/tid=975371] ppid=975366 vsize=19108176 memory=2413080 CPUtime=49.88 cores=4,6
/proc/975369/task/975371/stat : 975371 (java) S 975366 975369 971055 0 -1 1077936192 14791 0 0 0 4943 45 0 0 20 0 20 0 185874202 19566772224 612083 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
[pid=975369/tid=975380] ppid=975366 vsize=19108176 memory=2446284 CPUtime=0 cores=4,6
/proc/975369/task/975380/stat : 975380 (Finalizer) S 975366 975369 971055 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 185874205 19566772224 612083 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
[pid=975369/tid=975387] ppid=975366 vsize=19108176 memory=-8743570895375999676 CPUtime=0 cores=4,6
/proc/975369/task/975387/stat : 975387 (Common-Cleaner) S 975366 975369 971055 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 185874205 19566772224 612083 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
[pid=975369/tid=975389] ppid=975366 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/975369/task/975389/stat : 975389 (Timer-0) S 975366 975369 971055 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 185874456 19566772224 612083 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0

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

/proc/meminfo: memFree=110393100/131524600 swapFree=131071996/131071996
[pid=975369] ppid=975366 vsize=19108176 memory=4311528 CPUtime=3172.8 cores=4,6
/proc/975369/stat : 975369 (java) S 975366 975369 971055 0 -1 1077936128 357305 0 0 0 317034 246 0 0 20 0 20 0 185874202 19566772224 1077882 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
/proc/975369/statm: 4777044 1077882 5870 1 0 1090998 0
[pid=975369/tid=975371] ppid=975366 vsize=19108176 memory=4310420 CPUtime=3004.81 cores=4,6
/proc/975369/task/975371/stat : 975371 (java) R 975366 975369 971055 0 -1 4194368 171154 0 0 0 300392 89 0 0 20 0 20 0 185874202 19566772224 1077882 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 46 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
[pid=975369/tid=975380] ppid=975366 vsize=19108176 memory=16072 CPUtime=0 cores=4,6
/proc/975369/task/975380/stat : 975380 (Finalizer) S 975366 975369 971055 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 185874205 19566772224 1077882 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
[pid=975369/tid=975387] ppid=975366 vsize=19108176 memory=4310420 CPUtime=0 cores=4,6
/proc/975369/task/975387/stat : 975387 (Common-Cleaner) S 975366 975369 971055 0 -1 1077936192 3093 0 0 0 0 0 0 0 20 0 20 0 185874205 19566772224 1077882 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
[pid=975369/tid=975389] ppid=975366 vsize=19108176 memory=4311528 CPUtime=0 cores=4,6
/proc/975369/task/975389/stat : 975389 (Timer-0) S 975366 975369 971055 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 185874456 19566772224 1077882 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
Current children cumulated CPU time: 3172.8 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4311528 KiB

[startup+3162.3 s]
/proc/loadavg: 4.41 4.22 4.19 5/334 977353
/proc/meminfo: memFree=111843780/131524600 swapFree=131071996/131071996
[pid=975369] ppid=975366 vsize=19108176 memory=4311600 CPUtime=3233.99 cores=4,6
/proc/975369/stat : 975369 (java) S 975366 975369 971055 0 -1 1077936128 360579 0 0 0 323150 249 0 0 20 0 20 0 185874202 19566772224 1077900 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
/proc/975369/statm: 4777044 1077900 5870 1 0 1090998 0
[pid=975369/tid=975371] ppid=975366 vsize=19108176 memory=4310420 CPUtime=3063.04 cores=4,6
/proc/975369/task/975371/stat : 975371 (java) R 975366 975369 971055 0 -1 4194368 173321 0 0 0 306215 89 0 0 20 0 20 0 185874202 19566772224 1077900 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 48 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
[pid=975369/tid=975380] ppid=975366 vsize=19108176 memory=4310400 CPUtime=0 cores=4,6
/proc/975369/task/975380/stat : 975380 (Finalizer) S 975366 975369 971055 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 185874205 19566772224 1077900 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
[pid=975369/tid=975387] ppid=975366 vsize=19108176 memory=4311600 CPUtime=0 cores=4,6
/proc/975369/task/975387/stat : 975387 (Common-Cleaner) S 975366 975369 971055 0 -1 1077936192 3134 0 0 0 0 0 0 0 20 0 20 0 185874205 19566772224 1077900 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
[pid=975369/tid=975389] ppid=975366 vsize=19108176 memory=4311528 CPUtime=0 cores=4,6
/proc/975369/task/975389/stat : 975389 (Timer-0) S 975366 975369 971055 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 185874456 19566772224 1077900 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
Current children cumulated CPU time: 3233.99 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4311600 KiB

[startup+3222.3 s]
/proc/loadavg: 4.19 4.19 4.18 5/334 977364
/proc/meminfo: memFree=110814068/131524600 swapFree=131071996/131071996
[pid=975369] ppid=975366 vsize=19108176 memory=4311612 CPUtime=3295.24 cores=4,6
/proc/975369/stat : 975369 (java) S 975366 975369 971055 0 -1 1077936128 363217 0 0 0 329272 252 0 0 20 0 20 0 185874202 19566772224 1077903 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
/proc/975369/statm: 4777044 1077903 5870 1 0 1090998 0
[pid=975369/tid=975371] ppid=975366 vsize=19108176 memory=4310420 CPUtime=3120.83 cores=4,6
/proc/975369/task/975371/stat : 975371 (java) S 975366 975369 971055 0 -1 1077936192 175008 0 0 0 311993 90 0 0 20 0 20 0 185874202 19566772224 1077903 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 52 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
[pid=975369/tid=975380] ppid=975366 vsize=19108176 memory=4310400 CPUtime=0 cores=4,6
/proc/975369/task/975380/stat : 975380 (Finalizer) S 975366 975369 971055 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 185874205 19566772224 1077903 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
[pid=975369/tid=975387] ppid=975366 vsize=19108176 memory=4311600 CPUtime=0 cores=4,6
/proc/975369/task/975387/stat : 975387 (Common-Cleaner) S 975366 975369 971055 0 -1 1077936192 3207 0 0 0 0 0 0 0 20 0 20 0 185874205 19566772224 1077903 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
[pid=975369/tid=975389] ppid=975366 vsize=19108176 memory=4311600 CPUtime=0 cores=4,6
/proc/975369/task/975389/stat : 975389 (Timer-0) S 975366 975369 971055 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 185874456 19566772224 1077903 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
Current children cumulated CPU time: 3295.24 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4311612 KiB

[startup+3282.3 s]
/proc/loadavg: 4.18 4.18 4.18 5/330 977374
/proc/meminfo: memFree=110813636/131524600 swapFree=131071996/131071996
[pid=975369] ppid=975366 vsize=19108176 memory=4311612 CPUtime=3356.73 cores=4,6
/proc/975369/stat : 975369 (java) S 975366 975369 971055 0 -1 1077936128 366126 0 0 0 335418 255 0 0 20 0 20 0 185874202 19566772224 1077903 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
/proc/975369/statm: 4777044 1077903 5870 1 0 1090998 0
[pid=975369/tid=975371] ppid=975366 vsize=19108176 memory=4311612 CPUtime=3178.96 cores=4,6
/proc/975369/task/975371/stat : 975371 (java) R 975366 975369 971055 0 -1 4194368 176877 0 0 0 317805 91 0 0 20 0 20 0 185874202 19566772224 1077903 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 52 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
[pid=975369/tid=975380] ppid=975366 vsize=19108176 memory=4311612 CPUtime=0 cores=4,6
/proc/975369/task/975380/stat : 975380 (Finalizer) S 975366 975369 971055 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 185874205 19566772224 1077903 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
[pid=975369/tid=975387] ppid=975366 vsize=19108176 memory=4311612 CPUtime=0 cores=4,6
/proc/975369/task/975387/stat : 975387 (Common-Cleaner) S 975366 975369 971055 0 -1 1077936192 3291 0 0 0 0 0 0 0 20 0 20 0 185874205 19566772224 1077903 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
[pid=975369/tid=975389] ppid=975366 vsize=19108176 memory=11476 CPUtime=0 cores=4,6
/proc/975369/task/975389/stat : 975389 (Timer-0) S 975366 975369 971055 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 185874456 19566772224 1077903 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
Current children cumulated CPU time: 3356.73 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4311612 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.16 4.17 5/332 977398
/proc/meminfo: memFree=110810072/131524600 swapFree=131071996/131071996
[pid=975369] ppid=975366 vsize=19108176 memory=4311612 CPUtime=3417.74 cores=4,6
/proc/975369/stat : 975369 (java) S 975366 975369 971055 0 -1 1077936128 369769 0 0 0 341516 258 0 0 20 0 20 0 185874202 19566772224 1077903 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
/proc/975369/statm: 4777044 1077903 5870 1 0 1090998 0
[pid=975369/tid=975371] ppid=975366 vsize=19108176 memory=4311612 CPUtime=3236.94 cores=4,6
/proc/975369/task/975371/stat : 975371 (java) R 975366 975369 971055 0 -1 4194368 178992 0 0 0 323603 91 0 0 20 0 20 0 185874202 19566772224 1077903 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 52 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
[pid=975369/tid=975380] ppid=975366 vsize=19108176 memory=4311600 CPUtime=0 cores=4,6
/proc/975369/task/975380/stat : 975380 (Finalizer) S 975366 975369 971055 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 185874205 19566772224 1077903 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
[pid=975369/tid=975387] ppid=975366 vsize=19108176 memory=4311612 CPUtime=0 cores=4,6
/proc/975369/task/975387/stat : 975387 (Common-Cleaner) S 975366 975369 971055 0 -1 1077936192 3339 0 0 0 0 0 0 0 20 0 20 0 185874205 19566772224 1077903 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
[pid=975369/tid=975389] ppid=975366 vsize=19108176 memory=4311612 CPUtime=0 cores=4,6
/proc/975369/task/975389/stat : 975389 (Timer-0) S 975366 975369 971055 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 185874456 19566772224 1077903 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
Current children cumulated CPU time: 3417.74 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4311612 KiB

[startup+3402.3 s]
/proc/loadavg: 4.23 4.18 4.18 5/333 977634
/proc/meminfo: memFree=110809520/131524600 swapFree=131071996/131071996
[pid=975369] ppid=975366 vsize=19108176 memory=4311616 CPUtime=3479.39 cores=4,6
/proc/975369/stat : 975369 (java) S 975366 975369 971055 0 -1 1077936128 373458 0 0 0 347678 261 0 0 20 0 20 0 185874202 19566772224 1077904 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
/proc/975369/statm: 4777044 1077904 5870 1 0 1090999 0
[pid=975369/tid=975371] ppid=975366 vsize=19108176 memory=4311528 CPUtime=3294.78 cores=4,6
/proc/975369/task/975371/stat : 975371 (java) R 975366 975369 971055 0 -1 4194368 181349 0 0 0 329387 91 0 0 20 0 20 0 185874202 19566772224 1077904 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 56 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
[pid=975369/tid=975380] ppid=975366 vsize=19108176 memory=12504 CPUtime=0 cores=4,6
/proc/975369/task/975380/stat : 975380 (Finalizer) S 975366 975369 971055 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 185874205 19566772224 1077904 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
[pid=975369/tid=975387] ppid=975366 vsize=19108176 memory=4311616 CPUtime=0 cores=4,6
/proc/975369/task/975387/stat : 975387 (Common-Cleaner) S 975366 975369 971055 0 -1 1077936192 3428 0 0 0 0 0 0 0 20 0 20 0 185874205 19566772224 1077904 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
[pid=975369/tid=975389] ppid=975366 vsize=19108176 memory=4311616 CPUtime=0 cores=4,6
/proc/975369/task/975389/stat : 975389 (Timer-0) S 975366 975369 971055 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 185874456 19566772224 1077904 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
Current children cumulated CPU time: 3479.39 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4311616 KiB

[startup+3462.3 s]
/proc/loadavg: 4.26 4.20 4.18 6/333 977644
/proc/meminfo: memFree=109115484/131524600 swapFree=131071996/131071996
[pid=975369] ppid=975366 vsize=19108176 memory=4311644 CPUtime=3541.27 cores=4,6
/proc/975369/stat : 975369 (java) S 975366 975369 971055 0 -1 1077936128 376766 0 0 0 353863 264 0 0 20 0 20 0 185874202 19566772224 1077911 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
/proc/975369/statm: 4777044 1077911 5870 1 0 1091000 0
[pid=975369/tid=975371] ppid=975366 vsize=19108176 memory=4311528 CPUtime=3352.61 cores=4,6
/proc/975369/task/975371/stat : 975371 (java) R 975366 975369 971055 0 -1 4194368 183246 0 0 0 335169 92 0 0 20 0 20 0 185874202 19566772224 1077911 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 56 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
[pid=975369/tid=975380] ppid=975366 vsize=19108176 memory=4311644 CPUtime=0 cores=4,6
/proc/975369/task/975380/stat : 975380 (Finalizer) S 975366 975369 971055 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 185874205 19566772224 1077911 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
[pid=975369/tid=975387] ppid=975366 vsize=19108176 memory=12504 CPUtime=0 cores=4,6
/proc/975369/task/975387/stat : 975387 (Common-Cleaner) S 975366 975369 971055 0 -1 1077936192 3428 0 0 0 0 0 0 0 20 0 20 0 185874205 19566772224 1077911 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
[pid=975369/tid=975389] ppid=975366 vsize=19108176 memory=2232 CPUtime=0 cores=4,6
/proc/975369/task/975389/stat : 975389 (Timer-0) S 975366 975369 971055 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 185874456 19566772224 1077911 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
Current children cumulated CPU time: 3541.27 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4311644 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3519.8 s]
/proc/loadavg: 4.23 4.20 4.18 5/336 977946
/proc/meminfo: memFree=109321696/131524600 swapFree=131071996/131071996
[pid=975369] ppid=975366 vsize=19108176 memory=4311652 CPUtime=3600.04 cores=4,6
/proc/975369/stat : 975369 (java) S 975366 975369 971055 0 -1 1077936128 379758 0 0 0 359738 266 0 0 20 0 20 0 185874202 19566772224 1077913 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
/proc/975369/statm: 4777044 1077913 5870 1 0 1091000 0
[pid=975369/tid=975371] ppid=975366 vsize=19108176 memory=2332 CPUtime=3408.06 cores=4,6
/proc/975369/task/975371/stat : 975371 (java) R 975366 975369 971055 0 -1 4194368 185559 0 0 0 340714 92 0 0 20 0 20 0 185874202 19566772224 1077913 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 56 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
[pid=975369/tid=975380] ppid=975366 vsize=19108176 memory=32176 CPUtime=0 cores=4,6
/proc/975369/task/975380/stat : 975380 (Finalizer) S 975366 975369 971055 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 185874205 19566772224 1077913 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
[pid=975369/tid=975387] ppid=975366 vsize=19108176 memory=-8743570895375999676 CPUtime=0 cores=4,6
/proc/975369/task/975387/stat : 975387 (Common-Cleaner) S 975366 975369 971055 0 -1 1077936192 3476 0 0 0 0 0 0 0 20 0 20 0 185874205 19566772224 1077913 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
[pid=975369/tid=975389] ppid=975366 vsize=19108176 memory=28664 CPUtime=0 cores=4,6
/proc/975369/task/975389/stat : 975389 (Timer-0) S 975366 975369 971055 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 185874456 19566772224 1077913 134679101440 94652607074304 94652607078000 140727748049600 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94652607085816 94652607086608 94652627673088 140727748056052 140727748056160 140727748056160 140727748063176 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4311652 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.5 s, system=2.67811 s

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

Child status: 143

Real time (s): 3519.89
CPU time (s): 3600.18
CPU user time (s): 3597.5
CPU system time (s): 2.67811
CPU usage (%): 102.281
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 4311652

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.5
system time used= 2.67812
maximum resident set size= 4313272
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 382644
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3808
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 148340
involuntary context switches= 16846


# summary of solver processes directly reported to runsolver:
#   pid: 975369
#   total CPU time (s): 3600.18
#   total CPU user time (s): 3597.5
#   total CPU system time (s): 2.67811

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.60917 second user time and 17.9816 second system time

The end

Launcher Data

Begin job on nodeC027 at 2024-07-18 23:11:28
IDJOB=4446431
IDBENCH=155596
IDSOLVER=3052
FILE ID=nodeC027/4446431-1721337075
RUNJOBID= nodeC027-1721329969-971066
SLURM_JOB_ID= 7542702
Free space on /tmp= 889672 MiB

SOLVER NAME= Sat4j Cutting Planes 2024 2024-07-12
BENCH NAME= PB24/normalized-PB11/DEC-LIN/lopes/normalized-33.opb
COMMAND LINE= java -jar sat4j-pb.jar CuttingPlanesPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446431-1721337075/watcher-4446431-1721337075 -o /tmp/evaluation-result-4446431-1721337075/solver-4446431-1721337075 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1721329969-971066 --watchdog 3760  java -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4446431-1721337075.opb

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

MD5SUM BENCH= 77ebcb4349d0c3a90733439946e4862a
RANDOM SEED=2121195178

nodeC027.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		: 3655.747
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	: 7000.36
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		: 3686.480
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	: 7006.29
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		: 3614.191
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	: 7000.36
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		: 3600.345
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	: 7006.29
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		: 3650.512
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	: 7000.36
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		: 3679.777
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	: 7006.29
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		: 3655.521
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	: 7000.36
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		: 3688.000
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	: 7006.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        111987900 kB
MemAvailable:   113946508 kB
Buffers:          493828 kB
Cached:          2292180 kB
SwapCached:            0 kB
Active:          1325448 kB
Inactive:       17552892 kB
Active(anon):       1560 kB
Inactive(anon): 16128492 kB
Active(file):    1323888 kB
Inactive(file):  1424400 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              7456 kB
Writeback:            20 kB
AnonPages:      16090428 kB
Mapped:           126072 kB
Shmem:             37720 kB
KReclaimable:     100288 kB
Slab:             211876 kB
SReclaimable:     100288 kB
SUnreclaim:       111588 kB
KernelStack:        5040 kB
PageTables:        41456 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:   16655988 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            68192 kB
HardwareCorrupted:     0 kB
AnonHugePages:  15652864 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:      193236 kB
DirectMap2M:    15308800 kB
DirectMap1G:    120586240 kB

Free space on /tmp at the end= 890068 MiB
End job on nodeC027 at 2024-07-19 00:10:08