Trace number 4448051

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.37 3508.65

General information on the benchmark

NamePB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid5x90split.cnf-extracted.pb.metafix.opb
MD5SUMffca2f526e16739a014d253021fa9e9c
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 benchmark9.16941
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables901
Total number of constraints1258
Number of constraints which are clauses2
Number of constraints which are cardinality constraints (but not clauses)1256
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.08	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.09	c version CUSTOM.v20240707
0.13/0.10	c java.runtime.name	OpenJDK Runtime Environment
0.13/0.10	c java.vm.name		OpenJDK 64-Bit Server VM
0.13/0.10	c java.vm.version	22.0.1+8-16
0.13/0.10	c java.vm.vendor	Oracle Corporation
0.13/0.10	c sun.arch.data.model	64
0.13/0.10	c java.version		22.0.1
0.13/0.10	c os.name		Linux
0.13/0.10	c os.version		4.18.0-301.1.el8.x86_64
0.13/0.10	c os.arch		amd64
0.13/0.11	c Free memory 		2115194816
0.13/0.11	c Max memory 		16282288128
0.13/0.11	c Total memory 		2122317824
0.13/0.11	c Number of processors 	2
0.13/0.18	Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.13/0.18	 - never skip resolution steps
0.13/0.18	 - Auto-division on coefficients is disabled
0.13/0.18	 - No postprocessing
0.13/0.18	 - Conflict is considered as is when resolving
0.13/0.18	 - Use constraints as they come during conflict analysis
0.13/0.18	 - Weaken first using unassigned literals
0.13/0.18	 - Bump strategy: ALWAYS_ONE
0.13/0.18	 - Bumper: EFFECTIVE
0.13/0.18	--- Begin Solver configuration ---
0.13/0.18	org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@5ecddf8f
0.13/0.18	Learn all clauses as in MiniSAT
0.13/0.18	LOGGER=java.util.logging.Logger@5f5a92bb claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.18	VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.13/0.18	No reason simplification
0.13/0.18	Dynamic restart strategy considering the size of the coefficients
0.13/0.18	Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.UnassignedLiteralsHaveSameLevelLBDComputerStrategy@449b2d27
0.13/0.18	timeout=2147483s
0.13/0.18	DB Simplification allowed=false
0.13/0.18	Listener: none
0.13/0.18	--- End Solver configuration ---
0.13/0.19	c Pseudo Boolean Optimization by upper bound
0.13/0.19	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.13/0.19	c  - never skip resolution steps
0.13/0.19	c  - Auto-division on coefficients is disabled
0.13/0.19	c  - No postprocessing
0.13/0.19	c  - Conflict is considered as is when resolving
0.13/0.19	c  - Use constraints as they come during conflict analysis
0.13/0.19	c  - Weaken first using unassigned literals
0.13/0.19	c  - Bump strategy: ALWAYS_ONE
0.13/0.19	c  - Bumper: EFFECTIVE
0.13/0.19	c --- Begin Solver configuration ---
0.13/0.19	c org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@5ecddf8f
0.13/0.19	c Learn all clauses as in MiniSAT
0.13/0.19	c LOGGER=java.util.logging.Logger@5f5a92bb claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.19	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.13/0.19	c No reason simplification
0.13/0.19	c Dynamic restart strategy considering the size of the coefficients
0.13/0.19	c Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.UnassignedLiteralsHaveSameLevelLBDComputerStrategy@449b2d27
0.13/0.19	c timeout=2147483s
0.13/0.19	c DB Simplification allowed=false
0.13/0.19	c Listener: none
0.13/0.19	c --- End Solver configuration ---
0.13/0.19	c solving HOME/instance-4448051-1721357847.opb
0.13/0.19	c reading problem ... 
0.13/0.19	c  no objective function found
0.33/0.29	c ... done. Wall clock time 0.104s.
0.33/0.29	c declared #vars     901
0.33/0.29	c #constraints  1258
0.33/0.29	c constraints type 
0.33/0.29	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 2
0.33/0.29	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1256
0.33/0.29	c 1258 constraints processed.
1.85/1.05	c cleaning 2499 clauses out of 5003 with flag 0/5003
3.25/1.73	c cleaning 4236 clauses out of 8503 with flag 0/11002
4.82/2.54	c cleaning 5612 clauses out of 11265 with flag 0/18000
6.00/3.33	c cleaning 6797 clauses out of 13653 with flag 0/26000
7.21/4.41	c cleaning 7902 clauses out of 15858 with flag 0/35002
8.38/5.38	c cleaning 8962 clauses out of 17954 with flag 0/45000
10.00/6.64	c cleaning 9977 clauses out of 19993 with flag 0/56001
11.52/8.17	c cleaning 10982 clauses out of 22015 with flag 0/68000
13.73/10.31	c cleaning 11991 clauses out of 24035 with flag 0/81002
15.44/12.11	c cleaning 13007 clauses out of 26043 with flag 0/95001
16.91/13.58	c cleaning 13996 clauses out of 28035 with flag 0/110000
19.40/16.07	c cleaning 15001 clauses out of 30039 with flag 0/126000
21.42/17.99	c cleaning 16008 clauses out of 32038 with flag 0/143000
24.26/20.66	c cleaning 16982 clauses out of 34030 with flag 0/161000
26.96/23.31	c cleaning 17996 clauses out of 36049 with flag 0/180001
30.55/26.95	c cleaning 19004 clauses out of 38052 with flag 0/200000
33.21/29.44	c cleaning 20007 clauses out of 40050 with flag 0/221002
37.51/33.67	c cleaning 21005 clauses out of 42041 with flag 0/243000
41.74/37.85	c cleaning 22006 clauses out of 44036 with flag 0/266000
45.88/41.91	c cleaning 23003 clauses out of 46030 with flag 0/290000
50.64/46.64	c cleaning 24002 clauses out of 48027 with flag 0/315000
56.10/52.06	c cleaning 25003 clauses out of 50026 with flag 0/341001
62.60/58.41	c cleaning 25994 clauses out of 52025 with flag 0/368003
69.86/65.61	c cleaning 26995 clauses out of 54029 with flag 0/396001
80.85/76.50	c cleaning 27998 clauses out of 56033 with flag 0/425000
87.97/83.59	c cleaning 28996 clauses out of 58036 with flag 0/455001
94.61/90.04	c cleaning 30011 clauses out of 60039 with flag 0/486000
103.93/99.12	c cleaning 30995 clauses out of 62029 with flag 0/518001
110.25/105.30	c cleaning 32002 clauses out of 64034 with flag 0/551001
117.34/112.21	c cleaning 33004 clauses out of 66032 with flag 0/585001
125.83/120.54	c cleaning 33995 clauses out of 68028 with flag 0/620001
133.59/128.14	c cleaning 34992 clauses out of 70032 with flag 0/656000
141.57/135.92	c cleaning 36010 clauses out of 72040 with flag 0/693000
150.64/144.88	c cleaning 37002 clauses out of 74031 with flag 0/731001
163.48/157.46	c cleaning 38002 clauses out of 76028 with flag 0/770000
176.72/170.51	c cleaning 38993 clauses out of 78027 with flag 0/810001
184.43/178.14	c cleaning 39998 clauses out of 80033 with flag 0/851000
192.31/185.80	c cleaning 40995 clauses out of 82037 with flag 0/893002
201.50/194.87	c cleaning 42004 clauses out of 84041 with flag 0/936001
214.90/207.98	c cleaning 43005 clauses out of 86036 with flag 0/980000
226.50/219.25	c cleaning 44001 clauses out of 88032 with flag 0/1025001
251.33/243.66	c cleaning 44997 clauses out of 90030 with flag 0/1071000
268.88/260.85	c cleaning 46006 clauses out of 92035 with flag 0/1118002
291.35/282.99	c cleaning 47001 clauses out of 94029 with flag 0/1166002
305.88/297.25	c cleaning 48001 clauses out of 96027 with flag 0/1215001
326.16/317.05	c cleaning 48995 clauses out of 98026 with flag 0/1265001
346.53/337.04	c cleaning 50001 clauses out of 100031 with flag 0/1316001
361.76/351.80	c cleaning 51001 clauses out of 102030 with flag 0/1368001
381.97/371.59	c cleaning 51996 clauses out of 104029 with flag 0/1421001
400.57/389.16	c cleaning 53007 clauses out of 106032 with flag 0/1475000
429.05/417.17	c cleaning 54009 clauses out of 108027 with flag 0/1530002
449.19/437.00	c cleaning 54996 clauses out of 110018 with flag 0/1586002
466.72/454.28	c cleaning 55999 clauses out of 112021 with flag 0/1643001
492.12/479.39	c cleaning 57003 clauses out of 114022 with flag 0/1701001
523.59/510.46	c cleaning 57997 clauses out of 116018 with flag 0/1760000
556.87/543.22	c cleaning 58995 clauses out of 118022 with flag 0/1820001
594.84/580.64	c cleaning 59999 clauses out of 120028 with flag 0/1881002
634.73/619.90	c cleaning 61002 clauses out of 122028 with flag 0/1943001
677.01/661.62	c cleaning 61998 clauses out of 124026 with flag 0/2006001
702.93/686.58	c cleaning 62992 clauses out of 126027 with flag 0/2070000
785.24/767.46	c cleaning 64006 clauses out of 128035 with flag 0/2135000
823.03/804.46	c cleaning 64997 clauses out of 130029 with flag 0/2201000
859.45/840.37	c cleaning 66005 clauses out of 132033 with flag 0/2268001
896.79/876.86	c cleaning 67004 clauses out of 134028 with flag 0/2336001
930.51/909.85	c cleaning 67994 clauses out of 136025 with flag 0/2405002
968.27/946.96	c cleaning 69002 clauses out of 138029 with flag 0/2475000
1018.44/996.50	c cleaning 69998 clauses out of 140029 with flag 0/2546002
1076.08/1053.38	c cleaning 71000 clauses out of 142029 with flag 0/2618000
1122.47/1098.81	c cleaning 72008 clauses out of 144031 with flag 0/2691002
1182.23/1157.56	c cleaning 73002 clauses out of 146021 with flag 0/2765000
1234.33/1208.87	c cleaning 73997 clauses out of 148019 with flag 0/2840000
1292.53/1265.81	c cleaning 75004 clauses out of 150022 with flag 0/2916000
1383.85/1355.81	c cleaning 75998 clauses out of 152018 with flag 0/2993000
1419.03/1390.02	c cleaning 76999 clauses out of 154021 with flag 0/3071001
1518.91/1487.42	c cleaning 78003 clauses out of 156021 with flag 0/3150000
1588.02/1554.80	c cleaning 78994 clauses out of 158018 with flag 0/3230000
1635.42/1600.81	c cleaning 79999 clauses out of 160026 with flag 0/3311002
1717.98/1681.17	c cleaning 81002 clauses out of 162026 with flag 0/3393001
1782.97/1744.29	c cleaning 82004 clauses out of 164023 with flag 0/3476000
1856.74/1816.43	c cleaning 83000 clauses out of 166019 with flag 0/3560000
1935.73/1893.21	c cleaning 83995 clauses out of 168019 with flag 0/3645000
2021.16/1976.47	c cleaning 85004 clauses out of 170024 with flag 0/3731000
2073.27/2027.02	c cleaning 85998 clauses out of 172020 with flag 0/3818000
2150.83/2102.45	c cleaning 87004 clauses out of 174022 with flag 0/3906000
2221.57/2170.91	c cleaning 88003 clauses out of 176019 with flag 0/3995001
2310.78/2255.83	c cleaning 89004 clauses out of 178016 with flag 0/4085001
2382.53/2325.14	c cleaning 89990 clauses out of 180012 with flag 0/4176001
2456.64/2397.32	c cleaning 91005 clauses out of 182023 with flag 0/4268002
2555.62/2492.40	c cleaning 92004 clauses out of 184017 with flag 0/4361001
2616.87/2551.45	c cleaning 92996 clauses out of 186012 with flag 0/4455000
2665.02/2597.99	c cleaning 93994 clauses out of 188016 with flag 0/4550000
2755.77/2686.53	c cleaning 95001 clauses out of 190023 with flag 0/4646001
2842.40/2771.56	c cleaning 95997 clauses out of 192021 with flag 0/4743000
2936.07/2863.69	c cleaning 96998 clauses out of 194024 with flag 0/4841000
3062.64/2988.40	c cleaning 97997 clauses out of 196028 with flag 0/4940002
3152.10/3074.66	c cleaning 99006 clauses out of 198029 with flag 0/5040000
3225.06/3143.26	c cleaning 99998 clauses out of 200025 with flag 0/5141002
3309.77/3224.56	c cleaning 101002 clauses out of 202026 with flag 0/5243001
3420.04/3332.20	c cleaning 102001 clauses out of 204025 with flag 0/5346002
3510.96/3421.67	c cleaning 102997 clauses out of 206022 with flag 0/5450000
3600.13/3508.52	c starts		: 204
3600.13/3508.53	c timeout
3600.13/3508.54	c conflicts		: 5554477
3600.13/3508.54	c decisions		: 6930145
3600.13/3508.54	c propagations		: 44077694
3600.13/3508.54	c inspects		: 8463174233
3600.13/3508.54	c shortcuts		: 0
3600.13/3508.54	c learnt literals	: 0
3600.13/3508.54	c learnt binary clauses	: 0
3600.13/3508.54	c learnt ternary clauses	: 1
3600.13/3508.54	c learnt constraints	: 5554477
3600.13/3508.54	c ignored constraints	: 0
3600.13/3508.54	c root simplifications	: 0
3600.13/3508.54	c removed literals (reason simplification)	: 0
3600.13/3508.54	c reason swapping (by a shorter reason)	: 0
3600.13/3508.54	c Calls to reduceDB	: 100
3600.13/3508.54	c Number of update (reduction) of LBD	: 4384870
3600.13/3508.54	c Imported unit clauses	: 0
3600.13/3508.54	c No decision after first conflict	: false
3600.13/3508.54	c number of reductions to clauses (during analyze)	: 0
3600.13/3508.54	c number of learned constraints concerned by reduction	: 0
3600.13/3508.54	c number of learning phase by resolution	: 0
3600.13/3508.54	c number of learning phase by cutting planes	: 0
3600.13/3508.54	c number of rounding to 1 operations	: 0
3600.13/3508.54	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.13/3508.54	c number of reductions of the coefficients by power 2 	: 0
3600.13/3508.54	c number of right shift for reduction by power 2 	: 0
3600.13/3508.54	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.13/3508.54	c number of ending skipping 	: 0
3600.13/3508.54	c number of internal skipping 	: 0
3600.13/3508.54	c number of derivation steps 	: 24459689
3600.13/3508.54	c number of skipped derivation steps 	: 0
3600.13/3508.54	c number of remaining unassigned 	: 125784
3600.13/3508.54	c number of remaining assigned 	: 274625959
3600.13/3508.54	c number of falsified literals weakened from reason	: 0
3600.13/3508.54	c number of falsified literals weakened from conflict	: 0
3600.13/3508.54	c time for arithmetic operations	: 11760832566
3600.13/3508.54	c minimum degree of deleted constraints	: 1
3600.13/3508.54	c maximum degree of deleted constraints	: 20200083200
3600.13/3508.54	c number of deleted constraints	: 5346975
3600.13/3508.54	c speed (assignments/second)	: 12564.051080898422
3600.13/3508.54	c non guided choices	: 45690
3600.32/3508.60	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 47292
3600.32/3508.60	c learnt constraints type org.sat4j.pb.constraints.pb.MinWatchCardPB	: 313
3600.32/3508.60	c learnt constraints type org.sat4j.pb.constraints.pb.PuebloMinWatchPb	: 159897
3600.32/3508.60	s UNKNOWN
3600.32/3508.60	c Total wall clock time (in seconds): 3508.421

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: 64096 MiB (59134 MiB free)
  memory of node 1: 64473 MiB (51711 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4448051-1721357847/watcher-4448051-1721357847 -o /tmp/evaluation-result-4448051-1721357847/solver-4448051-1721357847 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1721350778-987408 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4448051-1721357847.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.1001 s]*
/proc/loadavg: 4.70 4.39 4.27 7/318 991982
/proc/meminfo: memFree=113468692/131655788 swapFree=131070704/131071996
[pid=991964] ppid=991961 vsize=18975048 memory=58724 CPUtime=0.13 cores=0,2
/proc/991964/stat : 991964 (java) S 991961 991964 987398 0 -1 1077936128 6676 0 0 0 11 2 0 0 20 0 18 0 187941811 19430449152 14681 134679101440 94804513484800 94804513488496 140726003913152 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94804513496312 94804513497104 94804534149120 140726003917812 140726003917920 140726003917920 140726003924936 0
/proc/991964/statm: 4743762 14681 5620 1 0 551051 0
[pid=991964/tid=991966] ppid=991961 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=0,2
/proc/991964/task/991966/stat : 991966 (java) R 991961 991964 987398 0 -1 4194368 5584 0 0 0 7 1 0 0 20 0 18 0 187941811 19430449152 14681 134679101440 94804513484800 94804513488496 140726003913152 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94804513496312 94804513497104 94804534149120 140726003917812 140726003917920 140726003917920 140726003924936 0
[pid=991964/tid=991975] ppid=991961 vsize=18975048 memory=232851243367 CPUtime=0 cores=0,2
/proc/991964/task/991975/stat : 991975 (Finalizer) S 991961 991964 987398 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 187941814 19430449152 14681 134679101440 94804513484800 94804513488496 140726003913152 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94804513496312 94804513497104 94804534149120 140726003917812 140726003917920 140726003917920 140726003924936 0
[pid=991964/tid=991982] ppid=991961 vsize=18975048 memory=14698495669638111 CPUtime=0 cores=0,2
/proc/991964/task/991982/stat : 991982 (Common-Cleaner) S 991961 991964 987398 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 187941815 19430449152 14681 134679101440 94804513484800 94804513488496 140726003913152 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94804513496312 94804513497104 94804534149120 140726003917812 140726003917920 140726003917920 140726003924936 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 58724 KiB

[startup+0.207248 s]*
/proc/loadavg: 4.70 4.39 4.27 7/318 991982
/proc/meminfo: memFree=113456916/131655788 swapFree=131070704/131071996
[pid=991964] ppid=991961 vsize=18975048 memory=70812 CPUtime=0.33 cores=0,2
/proc/991964/stat : 991964 (java) S 991961 991964 987398 0 -1 1077936128 7538 0 0 0 31 2 0 0 20 0 18 0 187941811 19430449152 17703 134679101440 94804513484800 94804513488496 140726003913152 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94804513496312 94804513497104 94804534149120 140726003917812 140726003917920 140726003917920 140726003924936 0
/proc/991964/statm: 4743762 17703 5746 1 0 551730 0
[pid=991964/tid=991966] ppid=991961 vsize=18975048 memory=4782652875487838339 CPUtime=0.18 cores=0,2
/proc/991964/task/991966/stat : 991966 (java) R 991961 991964 987398 0 -1 4194368 5968 0 0 0 17 1 0 0 20 0 18 0 187941811 19430449152 17703 134679101440 94804513484800 94804513488496 140726003913152 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94804513496312 94804513497104 94804534149120 140726003917812 140726003917920 140726003917920 140726003924936 0
[pid=991964/tid=991975] ppid=991961 vsize=18975048 memory=1774770 CPUtime=0 cores=0,2
/proc/991964/task/991975/stat : 991975 (Finalizer) S 991961 991964 987398 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 187941814 19430449152 17703 134679101440 94804513484800 94804513488496 140726003913152 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94804513496312 94804513497104 94804534149120 140726003917812 140726003917920 140726003917920 140726003924936 0
[pid=991964/tid=991982] ppid=991961 vsize=18975048 memory=13848573179598470 CPUtime=0 cores=0,2
/proc/991964/task/991982/stat : 991982 (Common-Cleaner) S 991961 991964 987398 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 187941815 19430449152 17703 134679101440 94804513484800 94804513488496 140726003913152 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94804513496312 94804513497104 94804534149120 140726003917812 140726003917920 140726003917920 140726003924936 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 70812 KiB

[startup+0.307242 s]*
/proc/loadavg: 4.70 4.39 4.27 8/319 991983
/proc/meminfo: memFree=113435316/131655788 swapFree=131070704/131071996
[pid=991964] ppid=991961 vsize=19041612 memory=92464 CPUtime=0.52 cores=0,2
/proc/991964/stat : 991964 (java) S 991961 991964 987398 0 -1 1077936128 7816 0 0 0 50 2 0 0 20 0 19 0 187941811 19498610688 23116 134679101440 94804513484800 94804513488496 140726003913152 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94804513496312 94804513497104 94804534149120 140726003917812 140726003917920 140726003917920 140726003924936 0
/proc/991964/statm: 4760403 23116 5829 1 0 552169 0
[pid=991964/tid=991966] ppid=991961 vsize=19041612 memory=-9103852285642187452 CPUtime=0.29 cores=0,2
/proc/991964/task/991966/stat : 991966 (java) R 991961 991964 987398 0 -1 4194368 6055 0 0 0 27 2 0 0 20 0 19 0 187941811 19498610688 23116 134679101440 94804513484800 94804513488496 140726003913152 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94804513496312 94804513497104 94804534149120 140726003917812 140726003917920 140726003917920 140726003924936 0
[pid=991964/tid=991975] ppid=991961 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/991964/task/991975/stat : 991975 (Finalizer) S 991961 991964 987398 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 187941814 19498610688 23116 134679101440 94804513484800 94804513488496 140726003913152 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94804513496312 94804513497104 94804534149120 140726003917812 140726003917920 140726003917920 140726003924936 0
[pid=991964/tid=991982] ppid=991961 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/991964/task/991982/stat : 991982 (Common-Cleaner) S 991961 991964 987398 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 187941815 19498610688 23116 134679101440 94804513484800 94804513488496 140726003913152 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94804513496312 94804513497104 94804534149120 140726003917812 140726003917920 140726003917920 140726003924936 0
[pid=991964/tid=991983] ppid=991961 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/991964/task/991983/stat : 991983 (Timer-0) S 991961 991964 987398 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 19 0 187941840 19498610688 23116 134679101440 94804513484800 94804513488496 140726003913152 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94804513496312 94804513497104 94804534149120 140726003917812 140726003917920 140726003917920 140726003924936 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 92464 KiB

[startup+0.700915 s]
/proc/loadavg: 4.70 4.39 4.27 6/319 991983
/proc/meminfo: memFree=113389908/131655788 swapFree=131070704/131071996
[pid=991964] ppid=991961 vsize=19108176 memory=170860 CPUtime=1.26 cores=0,2
/proc/991964/stat : 991964 (java) S 991961 991964 987398 0 -1 1077936128 11245 0 0 0 122 4 0 0 20 0 20 0 187941811 19566772224 42715 134679101440 94804513484800 94804513488496 140726003913152 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94804513496312 94804513497104 94804534149120 140726003917812 140726003917920 140726003917920 140726003924936 0
/proc/991964/statm: 4777044 42715 5844 1 0 554336 0
[pid=991964/tid=991966] ppid=991961 vsize=19108176 memory=12508 CPUtime=0.62 cores=0,2
/proc/991964/task/991966/stat : 991966 (java) R 991961 991964 987398 0 -1 4194368 6128 0 0 0 59 3 0 0 20 0 20 0 187941811 19566772224 42715 134679101440 94804513484800 94804513488496 140726003913152 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94804513496312 94804513497104 94804534149120 140726003917812 140726003917920 140726003917920 140726003924936 0
[pid=991964/tid=991975] ppid=991961 vsize=19108176 memory=12508 CPUtime=0 cores=0,2
/proc/991964/task/991975/stat : 991975 (Finalizer) S 991961 991964 987398 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187941814 19566772224 42715 134679101440 94804513484800 94804513488496 140726003913152 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94804513496312 94804513497104 94804534149120 140726003917812 140726003917920 140726003917920 140726003924936 0
[pid=991964/tid=991982] ppid=991961 vsize=19108176 memory=117636 CPUtime=0 cores=0,2
/proc/991964/task/991982/stat : 991982 (Common-Cleaner) S 991961 991964 987398 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 187941815 19566772224 42715 134679101440 94804513484800 94804513488496 140726003913152 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94804513496312 94804513497104 94804534149120 140726003917812 140726003917920 140726003917920 140726003924936 0
[pid=991964/tid=991983] ppid=991961 vsize=19108176 memory=1936 CPUtime=0 cores=0,2
/proc/991964/task/991983/stat : 991983 (Timer-0) S 991961 991964 987398 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 187941840 19566772224 42715 134679101440 94804513484800 94804513488496 140726003913152 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94804513496312 94804513497104 94804534149120 140726003917812 140726003917920 140726003917920 140726003924936 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 170860 KiB

[startup+1.50492 s]
/proc/loadavg: 4.70 4.39 4.27 6/320 991984
/proc/meminfo: memFree=113342268/131655788 swapFree=131070704/131071996
[pid=991964] ppid=991961 vsize=19108176 memory=410100 CPUtime=2.85 cores=0,2
/proc/991964/stat : 991964 (java) S 991961 991964 987398 0 -1 1077936128 22712 0 0 0 274 11 0 0 20 0 20 0 187941811 19566772224 102525 134679101440 94804513484800 94804513488496 140726003913152 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94804513496312 94804513497104 94804534149120 140726003917812 140726003917920 140726003917920 140726003924936 0
/proc/991964/statm: 4777044 102525 5844 1 0 558642 0
[pid=991964/tid=991966] ppid=991961 vsize=19108176 memory=12508 CPUtime=1.38 cores=0,2
/proc/991964/task/991966/stat : 991966 (java) R 991961 991964 987398 0 -1 4194368 6347 0 0 0 130 8 0 0 20 0 20 0 187941811 19566772224 102525 134679101440 94804513484800 94804513488496 140726003913152 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94804513496312 94804513497104 94804534149120 140726003917812 140726003917920 140726003917920 140726003924936 0
[pid=991964/tid=991975] ppid=991961 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/991964/task/991975/stat : 991975 (Finalizer) S 991961 991964 987398 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187941814 19566772224 102525 134679101440 94804513484800 94804513488496 140726003913152 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94804513496312 94804513497104 94804534149120 140726003917812 140726003917920 140726003917920 140726003924936 0
[pid=991964/tid=991982] ppid=991961 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/991964/task/991982/stat : 991982 (Common-Cleaner) S 991961 991964 987398 0 -1 1077936192 28 0 0 0 0 0 0 0 20 0 20 0 187941815 19566772224 102525 134679101440 94804513484800 94804513488496 140726003913152 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94804513496312 94804513497104 94804534149120 140726003917812 140726003917920 140726003917920 140726003924936 0
[pid=991964/tid=991983] ppid=991961 vsize=19108176 memory=65 CPUtime=0 cores=0,2
/proc/991964/task/991983/stat : 991983 (Timer-0) S 991961 991964 987398 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 187941840 19566772224 102525 134679101440 94804513484800 94804513488496 140726003913152 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94804513496312 94804513497104 94804534149120 140726003917812 140726003917920 140726003917920 140726003924936 0
Current children cumulated CPU time: 2.85 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 410100 KiB

[startup+3.10558 s]
/proc/loadavg: 4.80 4.42 4.28 5/320 991984
/proc/meminfo: memFree=112533796/131655788 swapFree=131070704/131071996
[pid=991964] ppid=991961 vsize=19108176 memory=1065828 CPUtime=5.8 cores=0,2
/proc/991964/stat : 991964 (java) S 991961 991964 987398 0 -1 1077936128 26993 0 0 0 555 25 0 0 20 0 20 0 187941811 19566772224 266457 134679101440 94804513484800 94804513488496 140726003913152 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94804513496312 94804513497104 94804534149120 140726003917812 140726003917920 140726003917920 140726003924936 0
/proc/991964/statm: 4777044 266457 5844 1 0 559033 0
[pid=991964/tid=991966] ppid=991961 vsize=19108176 memory=0 CPUtime=2.94 cores=0,2
/proc/991964/task/991966/stat : 991966 (java) R 991961 991964 987398 0 -1 4194368 7464 0 0 0 274 20 0 0 20 0 20 0 187941811 19566772224 266457 134679101440 94804513484800 94804513488496 140726003913152 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94804513496312 94804513497104 94804534149120 140726003917812 140726003917920 140726003917920 140726003924936 0
[pid=991964/tid=991975] ppid=991961 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/991964/task/991975/stat : 991975 (Finalizer) S 991961 991964 987398 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187941814 19566772224 266457 134679101440 94804513484800 94804513488496 140726003913152 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94804513496312 94804513497104 94804534149120 140726003917812 140726003917920 140726003917920 140726003924936 0
[pid=991964/tid=991982] ppid=991961 vsize=19108176 memory=649864 CPUtime=0 cores=0,2
/proc/991964/task/991982/stat : 991982 (Common-Cleaner) S 991961 991964 987398 0 -1 1077936192 28 0 0 0 0 0 0 0 20 0 20 0 187941815 19566772224 266457 134679101440 94804513484800 94804513488496 140726003913152 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94804513496312 94804513497104 94804534149120 140726003917812 140726003917920 140726003917920 140726003924936 0
[pid=991964/tid=991983] ppid=991961 vsize=19108176 memory=12508 CPUtime=0 cores=0,2
/proc/991964/task/991983/stat : 991983 (Timer-0) S 991961 991964 987398 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 187941840 19566772224 266457 134679101440 94804513484800 94804513488496 140726003913152 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94804513496312 94804513497104 94804534149120 140726003917812 140726003917920 140726003917920 140726003924936 0
Current children cumulated CPU time: 5.8 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1065828 KiB

[startup+6.3004 s]
/proc/loadavg: 4.80 4.42 4.28 6/320 991984
/proc/meminfo: memFree=112196984/131655788 swapFree=131070704/131071996
[pid=991964] ppid=991961 vsize=19108176 memory=1328204 CPUtime=9.69 cores=0,2
/proc/991964/stat : 991964 (java) S 991961 991964 987398 0 -1 1077936128 27369 0 0 0 939 30 0 0 20 0 20 0 187941811 19566772224 332051 134679101440 94804513484800 94804513488496 140726003913152 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94804513496312 94804513497104 94804534149120 140726003917812 140726003917920 140726003917920 140726003924936 0
/proc/991964/statm: 4777044 332051 5844 1 0 559050 0
[pid=991964/tid=991966] ppid=991961 vsize=19108176 memory=12508 CPUtime=6.07 cores=0,2
/proc/991964/task/991966/stat : 991966 (java) R 991961 991964 987398 0 -1 4194368 7614 0 0 0 581 26 0 0 20 0 20 0 187941811 19566772224 332051 134679101440 94804513484800 94804513488496 140726003913152 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94804513496312 94804513497104 94804534149120 140726003917812 140726003917920 140726003917920 140726003924936 0
[pid=991964/tid=991975] ppid=991961 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/991964/task/991975/stat : 991975 (Finalizer) S 991961 991964 987398 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187941814 19566772224 332051 134679101440 94804513484800 94804513488496 140726003913152 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94804513496312 94804513497104 94804534149120 140726003917812 140726003917920 140726003917920 140726003924936 0
[pid=991964/tid=991982] ppid=991961 vsize=19108176 memory=6083925922332891473 CPUtime=0 cores=0,2
/proc/991964/task/991982/stat : 991982 (Common-Cleaner) S 991961 991964 987398 0 -1 1077936192 28 0 0 0 0 0 0 0 20 0 20 0 187941815 19566772224 332051 134679101440 94804513484800 94804513488496 140726003913152 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94804513496312 94804513497104 94804534149120 140726003917812 140726003917920 140726003917920 140726003924936 0
[pid=991964/tid=991983] ppid=991961 vsize=19108176 memory=5540 CPUtime=0 cores=0,2
/proc/991964/task/991983/stat : 991983 (Timer-0) S 991961 991964 987398 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 187941840 19566772224 332051 134679101440 94804513484800 94804513488496 140726003913152 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94804513496312 94804513497104 94804534149120 140726003917812 140726003917920 140726003917920 140726003924936 0
Current children cumulated CPU time: 9.69 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1328204 KiB

[startup+12.7004 s]
/proc/loadavg: 4.74 4.41 4.28 5/320 991986
/proc/meminfo: memFree=111723572/131655788 swapFree=131070704/131071996
[pid=991964] ppid=991961 vsize=19108176 memory=1796328 CPUtime=16.13 cores=0,2
/proc/991964/stat : 991964 (java) S 991961 991964 987398 0 -1 1077936128 28574 0 0 0 1572 41 0 0 20 0 20 0 187941811 19566772224 449082 134679101440 94804513484800 94804513488496 140726003913152 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94804513496312 94804513497104 94804534149120 140726003917812 140726003917920 140726003917920 140726003924936 0
/proc/991964/statm: 4777044 449082 5851 1 0 676021 0
[pid=991964/tid=991966] ppid=991961 vsize=19108176 memory=0 CPUtime=12.18 cores=0,2
/proc/991964/task/991966/stat : 991966 (java) R 991961 991964 987398 0 -1 4194368 8466 0 0 0 1183 35 0 0 20 0 20 0 187941811 19566772224 449082 134679101440 94804513484800 94804513488496 140726003913152 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94804513496312 94804513497104 94804534149120 140726003917812 140726003917920 140726003917920 140726003924936 0
[pid=991964/tid=991975] ppid=991961 vsize=19108176 memory=1796328 CPUtime=0 cores=0,2
/proc/991964/task/991975/stat : 991975 (Finalizer) S 991961 991964 987398 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187941814 19566772224 449082 134679101440 94804513484800 94804513488496 140726003913152 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94804513496312 94804513497104 94804534149120 140726003917812 140726003917920 140726003917920 140726003924936 0
[pid=991964/tid=991982] ppid=991961 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/991964/task/991982/stat : 991982 (Common-Cleaner) S 991961 991964 987398 0 -1 1077936192 28 0 0 0 0 0 0 0 20 0 20 0 187941815 19566772224 449082 134679101440 94804513484800 94804513488496 140726003913152 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94804513496312 94804513497104 94804534149120 140726003917812 140726003917920 140726003917920 140726003924936 0
[pid=991964/tid=991983] ppid=991961 vsize=19108176 memory=16192 CPUtime=0 cores=0,2
/proc/991964/task/991983/stat : 991983 (Timer-0) S 991961 991964 987398 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 187941840 19566772224 449082 134679101440 94804513484800 94804513488496 140726003913152 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94804513496312 94804513497104 94804534149120 140726003917812 140726003917920 140726003917920 140726003924936 0
Current children cumulated CPU time: 16.13 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1796328 KiB

[startup+25.5005 s]
/proc/loadavg: 4.57 4.39 4.27 5/320 991987
/proc/meminfo: memFree=110314420/131655788 swapFree=131070704/131071996
[pid=991964] ppid=991961 vsize=19108176 memory=3188268 CPUtime=29.16 cores=0,2
/proc/991964/stat : 991964 (java) S 991961 991964 987398 0 -1 1077936128 34234 0 0 0 2845 71 0 0 20 0 20 0 187941811 19566772224 797067 134679101440 94804513484800 94804513488496 140726003913152 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94804513496312 94804513497104 94804534149120 140726003917812 140726003917920 140726003917920 140726003924936 0
/proc/991964/statm: 4777044 797067 5851 1 0 1029039 0
[pid=991964/tid=991966] ppid=991961 vsize=19108176 memory=1796328 CPUtime=24.49 cores=0,2
/proc/991964/task/991966/stat : 991966 (java) R 991961 991964 987398 0 -1 4194368 10777 0 0 0 2385 64 0 0 20 0 20 0 187941811 19566772224 797067 134679101440 94804513484800 94804513488496 140726003913152 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94804513496312 94804513497104 94804534149120 140726003917812 140726003917920 140726003917920 140726003924936 0
[pid=991964/tid=991975] ppid=991961 vsize=19108176 memory=16192 CPUtime=0 cores=0,2
/proc/991964/task/991975/stat : 991975 (Finalizer) S 991961 991964 987398 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187941814 19566772224 797067 134679101440 94804513484800 94804513488496 140726003913152 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94804513496312 94804513497104 94804534149120 140726003917812 140726003917920 140726003917920 140726003924936 0
[pid=991964/tid=991982] ppid=991961 vsize=19108176 memory=2660484 CPUtime=0 cores=0,2
/proc/991964/task/991982/stat : 991982 (Common-Cleaner) S 991961 991964 987398 0 -1 1077936192 28 0 0 0 0 0 0 0 20 0 20 0 187941815 19566772224 797067 134679101440 94804513484800 94804513488496 140726003913152 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94804513496312 94804513497104 94804534149120 140726003917812 140726003917920 140726003917920 140726003924936 0
[pid=991964/tid=991983] ppid=991961 vsize=19108176 memory=11420 CPUtime=0 cores=0,2
/proc/991964/task/991983/stat : 991983 (Timer-0) S 991961 991964 987398 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 187941840 19566772224 797067 134679101440 94804513484800 94804513488496 140726003913152 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94804513496312 94804513497104 94804534149120 140726003917812 140726003917920 140726003917920 140726003924936 0
Current children cumulated CPU time: 29.16 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3188268 KiB

[startup+51.1133 s]
/proc/loadavg: 4.45 4.38 4.27 5/320 992060
/proc/meminfo: memFree=114353800/131655788 swapFree=131070704/131071996
[pid=991964] ppid=991961 vsize=19108176 memory=3687524 CPUtime=55.21 cores=0,2
/proc/991964/stat : 991964 (java) S 991961 991964 987398 0 -1 1077936128 40683 0 0 0 5438 83 0 0 20 0 20 0 187941811 19566772224 921881 134679101440 94804513484800 94804513488496 140726003913152 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94804513496312 94804513497104 94804534149120 140726003917812 140726003917920 140726003917920 140726003924936 0
/proc/991964/statm: 4777044 921881 5867 1 0 1152297 0
[pid=991964/tid=991966] ppid=991961 vsize=19108176 memory=3419104 CPUtime=49.27 cores=0,2
/proc/991964/task/991966/stat : 991966 (java) R 991961 991964 987398 0 -1 4194368 13675 0 0 0 4853 74 0 0 20 0 20 0 187941811 19566772224 921881 134679101440 94804513484800 94804513488496 140726003913152 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94804513496312 94804513497104 94804534149120 140726003917812 140726003917920 140726003917920 140726003924936 0

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

[startup+3162.3 s]
/proc/loadavg: 4.20 4.26 4.33 5/318 994419
/proc/meminfo: memFree=106073964/131655788 swapFree=131070704/131071996
[pid=991964] ppid=991961 vsize=19108176 memory=5850996 CPUtime=3244.92 cores=0,2
/proc/991964/stat : 991964 (java) S 991961 991964 987398 0 -1 1077936128 435658 0 0 0 324097 395 0 0 20 0 20 0 187941811 19566772224 1462749 134679101440 94804513484800 94804513488496 140726003913152 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94804513496312 94804513497104 94804534149120 140726003917812 140726003917920 140726003917920 140726003924936 0
/proc/991964/statm: 4777044 1462749 5867 1 0 1499804 0
[pid=991964/tid=991966] ppid=991961 vsize=19108176 memory=5540 CPUtime=3060.89 cores=0,2
/proc/991964/task/991966/stat : 991966 (java) R 991961 991964 987398 0 -1 4194368 252564 0 0 0 305947 142 0 0 20 0 20 0 187941811 19566772224 1462749 134679101440 94804513484800 94804513488496 140726003913152 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 130 0 0 94804513496312 94804513497104 94804534149120 140726003917812 140726003917920 140726003917920 140726003924936 0
[pid=991964/tid=991975] ppid=991961 vsize=19108176 memory=5850968 CPUtime=0 cores=0,2
/proc/991964/task/991975/stat : 991975 (Finalizer) S 991961 991964 987398 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187941814 19566772224 1462749 134679101440 94804513484800 94804513488496 140726003913152 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94804513496312 94804513497104 94804534149120 140726003917812 140726003917920 140726003917920 140726003924936 0
[pid=991964/tid=991982] ppid=991961 vsize=19108176 memory=5850980 CPUtime=0.01 cores=0,2
/proc/991964/task/991982/stat : 991982 (Common-Cleaner) S 991961 991964 987398 0 -1 1077936192 3371 0 0 0 0 1 0 0 20 0 20 0 187941815 19566772224 1462749 134679101440 94804513484800 94804513488496 140726003913152 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94804513496312 94804513497104 94804534149120 140726003917812 140726003917920 140726003917920 140726003924936 0
[pid=991964/tid=991983] ppid=991961 vsize=19108176 memory=5850984 CPUtime=0 cores=0,2
/proc/991964/task/991983/stat : 991983 (Timer-0) S 991961 991964 987398 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 187941840 19566772224 1462749 134679101440 94804513484800 94804513488496 140726003913152 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94804513496312 94804513497104 94804534149120 140726003917812 140726003917920 140726003917920 140726003924936 0
Current children cumulated CPU time: 3244.92 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5850996 KiB

[startup+3222.3 s]
/proc/loadavg: 4.29 4.28 4.33 5/320 994433
/proc/meminfo: memFree=105962656/131655788 swapFree=131070704/131071996
[pid=991964] ppid=991961 vsize=19108176 memory=5851028 CPUtime=3307.42 cores=0,2
/proc/991964/stat : 991964 (java) S 991961 991964 987398 0 -1 1077936128 438029 0 0 0 330342 400 0 0 20 0 20 0 187941811 19566772224 1462757 134679101440 94804513484800 94804513488496 140726003913152 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94804513496312 94804513497104 94804534149120 140726003917812 140726003917920 140726003917920 140726003924936 0
/proc/991964/statm: 4777044 1462757 5867 1 0 1499809 0
[pid=991964/tid=991966] ppid=991961 vsize=19108176 memory=5540 CPUtime=3118.67 cores=0,2
/proc/991964/task/991966/stat : 991966 (java) R 991961 991964 987398 0 -1 4194368 254546 0 0 0 311725 142 0 0 20 0 20 0 187941811 19566772224 1462757 134679101440 94804513484800 94804513488496 140726003913152 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 136 0 0 94804513496312 94804513497104 94804534149120 140726003917812 140726003917920 140726003917920 140726003924936 0
[pid=991964/tid=991975] ppid=991961 vsize=19108176 memory=5850860 CPUtime=0 cores=0,2
/proc/991964/task/991975/stat : 991975 (Finalizer) S 991961 991964 987398 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187941814 19566772224 1462757 134679101440 94804513484800 94804513488496 140726003913152 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94804513496312 94804513497104 94804534149120 140726003917812 140726003917920 140726003917920 140726003924936 0
[pid=991964/tid=991982] ppid=991961 vsize=19108176 memory=5540 CPUtime=0.01 cores=0,2
/proc/991964/task/991982/stat : 991982 (Common-Cleaner) S 991961 991964 987398 0 -1 1077936192 3458 0 0 0 0 1 0 0 20 0 20 0 187941815 19566772224 1462757 134679101440 94804513484800 94804513488496 140726003913152 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94804513496312 94804513497104 94804534149120 140726003917812 140726003917920 140726003917920 140726003924936 0
[pid=991964/tid=991983] ppid=991961 vsize=19108176 memory=5851020 CPUtime=0 cores=0,2
/proc/991964/task/991983/stat : 991983 (Timer-0) S 991961 991964 987398 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 187941840 19566772224 1462757 134679101440 94804513484800 94804513488496 140726003913152 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94804513496312 94804513497104 94804534149120 140726003917812 140726003917920 140726003917920 140726003924936 0
Current children cumulated CPU time: 3307.42 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5851028 KiB

[startup+3282.3 s]
/proc/loadavg: 4.43 4.30 4.34 5/320 994443
/proc/meminfo: memFree=105962160/131655788 swapFree=131070704/131071996
[pid=991964] ppid=991961 vsize=19108176 memory=5851036 CPUtime=3369 cores=0,2
/proc/991964/stat : 991964 (java) S 991961 991964 987398 0 -1 1077936128 444329 0 0 0 336495 405 0 0 20 0 20 0 187941811 19566772224 1462759 134679101440 94804513484800 94804513488496 140726003913152 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94804513496312 94804513497104 94804534149120 140726003917812 140726003917920 140726003917920 140726003924936 0
/proc/991964/statm: 4777044 1462759 5867 1 0 1499825 0
[pid=991964/tid=991966] ppid=991961 vsize=19108176 memory=5851036 CPUtime=3176.78 cores=0,2
/proc/991964/task/991966/stat : 991966 (java) R 991961 991964 987398 0 -1 4194368 257670 0 0 0 317536 142 0 0 20 0 20 0 187941811 19566772224 1462759 134679101440 94804513484800 94804513488496 140726003913152 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 140 0 0 94804513496312 94804513497104 94804534149120 140726003917812 140726003917920 140726003917920 140726003924936 0
[pid=991964/tid=991975] ppid=991961 vsize=19108176 memory=5851036 CPUtime=0 cores=0,2
/proc/991964/task/991975/stat : 991975 (Finalizer) S 991961 991964 987398 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187941814 19566772224 1462759 134679101440 94804513484800 94804513488496 140726003913152 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94804513496312 94804513497104 94804534149120 140726003917812 140726003917920 140726003917920 140726003924936 0
[pid=991964/tid=991982] ppid=991961 vsize=19108176 memory=5851036 CPUtime=0.01 cores=0,2
/proc/991964/task/991982/stat : 991982 (Common-Cleaner) S 991961 991964 987398 0 -1 1077936192 3554 0 0 0 0 1 0 0 20 0 20 0 187941815 19566772224 1462759 134679101440 94804513484800 94804513488496 140726003913152 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94804513496312 94804513497104 94804534149120 140726003917812 140726003917920 140726003917920 140726003924936 0
[pid=991964/tid=991983] ppid=991961 vsize=19108176 memory=5540 CPUtime=0 cores=0,2
/proc/991964/task/991983/stat : 991983 (Timer-0) S 991961 991964 987398 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 187941840 19566772224 1462759 134679101440 94804513484800 94804513488496 140726003913152 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94804513496312 94804513497104 94804534149120 140726003917812 140726003917920 140726003917920 140726003924936 0
Current children cumulated CPU time: 3369 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5851036 KiB

[startup+3342.3 s]
/proc/loadavg: 4.32 4.31 4.34 5/320 994454
/proc/meminfo: memFree=105688048/131655788 swapFree=131070704/131071996
[pid=991964] ppid=991961 vsize=19108176 memory=5945264 CPUtime=3430.23 cores=0,2
/proc/991964/stat : 991964 (java) S 991961 991964 987398 0 -1 1077936128 464980 0 0 0 342608 415 0 0 20 0 20 0 187941811 19566772224 1486316 134679101440 94804513484800 94804513488496 140726003913152 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94804513496312 94804513497104 94804534149120 140726003917812 140726003917920 140726003917920 140726003924936 0
/proc/991964/statm: 4777044 1486316 5867 1 0 1500918 0
[pid=991964/tid=991966] ppid=991961 vsize=19108176 memory=12508 CPUtime=3235.18 cores=0,2
/proc/991964/task/991966/stat : 991966 (java) R 991961 991964 987398 0 -1 4194368 262046 0 0 0 323375 143 0 0 20 0 20 0 187941811 19566772224 1486316 134679101440 94804513484800 94804513488496 140726003913152 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 143 0 0 94804513496312 94804513497104 94804534149120 140726003917812 140726003917920 140726003917920 140726003924936 0
[pid=991964/tid=991975] ppid=991961 vsize=19108176 memory=5944920 CPUtime=0 cores=0,2
/proc/991964/task/991975/stat : 991975 (Finalizer) S 991961 991964 987398 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187941814 19566772224 1486316 134679101440 94804513484800 94804513488496 140726003913152 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94804513496312 94804513497104 94804534149120 140726003917812 140726003917920 140726003917920 140726003924936 0
[pid=991964/tid=991982] ppid=991961 vsize=19108176 memory=5945264 CPUtime=0.01 cores=0,2
/proc/991964/task/991982/stat : 991982 (Common-Cleaner) S 991961 991964 987398 0 -1 1077936192 3554 0 0 0 0 1 0 0 20 0 20 0 187941815 19566772224 1486316 134679101440 94804513484800 94804513488496 140726003913152 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94804513496312 94804513497104 94804534149120 140726003917812 140726003917920 140726003917920 140726003924936 0
[pid=991964/tid=991983] ppid=991961 vsize=19108176 memory=5945260 CPUtime=0 cores=0,2
/proc/991964/task/991983/stat : 991983 (Timer-0) S 991961 991964 987398 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 187941840 19566772224 1486316 134679101440 94804513484800 94804513488496 140726003913152 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94804513496312 94804513497104 94804534149120 140726003917812 140726003917920 140726003917920 140726003924936 0
Current children cumulated CPU time: 3430.23 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5945264 KiB

[startup+3402.3 s]
/proc/loadavg: 3.88 4.17 4.29 4/294 994498
/proc/meminfo: memFree=111339216/131655788 swapFree=131070704/131071996
[pid=991964] ppid=991961 vsize=19108176 memory=5945272 CPUtime=3491.44 cores=0,2
/proc/991964/stat : 991964 (java) S 991961 991964 987398 0 -1 1077936128 466947 0 0 0 348725 419 0 0 20 0 20 0 187941811 19566772224 1486318 134679101440 94804513484800 94804513488496 140726003913152 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94804513496312 94804513497104 94804534149120 140726003917812 140726003917920 140726003917920 140726003924936 0
/proc/991964/statm: 4777044 1486318 5867 1 0 1500918 0
[pid=991964/tid=991966] ppid=991961 vsize=19108176 memory=11420 CPUtime=3293.35 cores=0,2
/proc/991964/task/991966/stat : 991966 (java) R 991961 991964 987398 0 -1 4194368 263441 0 0 0 329192 143 0 0 20 0 20 0 187941811 19566772224 1486318 134679101440 94804513484800 94804513488496 140726003913152 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 145 0 0 94804513496312 94804513497104 94804534149120 140726003917812 140726003917920 140726003917920 140726003924936 0
[pid=991964/tid=991975] ppid=991961 vsize=19108176 memory=5945272 CPUtime=0 cores=0,2
/proc/991964/task/991975/stat : 991975 (Finalizer) S 991961 991964 987398 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187941814 19566772224 1486318 134679101440 94804513484800 94804513488496 140726003913152 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94804513496312 94804513497104 94804534149120 140726003917812 140726003917920 140726003917920 140726003924936 0
[pid=991964/tid=991982] ppid=991961 vsize=19108176 memory=5945272 CPUtime=0.01 cores=0,2
/proc/991964/task/991982/stat : 991982 (Common-Cleaner) S 991961 991964 987398 0 -1 1077936192 3594 0 0 0 0 1 0 0 20 0 20 0 187941815 19566772224 1486318 134679101440 94804513484800 94804513488496 140726003913152 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94804513496312 94804513497104 94804534149120 140726003917812 140726003917920 140726003917920 140726003924936 0
[pid=991964/tid=991983] ppid=991961 vsize=19108176 memory=1832 CPUtime=0 cores=0,2
/proc/991964/task/991983/stat : 991983 (Timer-0) S 991961 991964 987398 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 187941840 19566772224 1486318 134679101440 94804513484800 94804513488496 140726003913152 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94804513496312 94804513497104 94804534149120 140726003917812 140726003917920 140726003917920 140726003924936 0
Current children cumulated CPU time: 3491.44 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5945272 KiB

[startup+3462.3 s]
/proc/loadavg: 3.48 4.00 4.22 4/294 994509
/proc/meminfo: memFree=111338900/131655788 swapFree=131070704/131071996
[pid=991964] ppid=991961 vsize=19108176 memory=5945272 CPUtime=3552.5 cores=0,2
/proc/991964/stat : 991964 (java) S 991961 991964 987398 0 -1 1077936128 472449 0 0 0 354826 424 0 0 20 0 20 0 187941811 19566772224 1486318 134679101440 94804513484800 94804513488496 140726003913152 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94804513496312 94804513497104 94804534149120 140726003917812 140726003917920 140726003917920 140726003924936 0
/proc/991964/statm: 4777044 1486318 5867 1 0 1500918 0
[pid=991964/tid=991966] ppid=991961 vsize=19108176 memory=11420 CPUtime=3351.82 cores=0,2
/proc/991964/task/991966/stat : 991966 (java) R 991961 991964 987398 0 -1 4194368 266724 0 0 0 335038 144 0 0 20 0 20 0 187941811 19566772224 1486318 134679101440 94804513484800 94804513488496 140726003913152 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 149 0 0 94804513496312 94804513497104 94804534149120 140726003917812 140726003917920 140726003917920 140726003924936 0
[pid=991964/tid=991975] ppid=991961 vsize=19108176 memory=5945272 CPUtime=0 cores=0,2
/proc/991964/task/991975/stat : 991975 (Finalizer) S 991961 991964 987398 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187941814 19566772224 1486318 134679101440 94804513484800 94804513488496 140726003913152 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94804513496312 94804513497104 94804534149120 140726003917812 140726003917920 140726003917920 140726003924936 0
[pid=991964/tid=991982] ppid=991961 vsize=19108176 memory=5540 CPUtime=0.01 cores=0,2
/proc/991964/task/991982/stat : 991982 (Common-Cleaner) S 991961 991964 987398 0 -1 1077936192 3678 0 0 0 0 1 0 0 20 0 20 0 187941815 19566772224 1486318 134679101440 94804513484800 94804513488496 140726003913152 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94804513496312 94804513497104 94804534149120 140726003917812 140726003917920 140726003917920 140726003924936 0
[pid=991964/tid=991983] ppid=991961 vsize=19108176 memory=5945272 CPUtime=0 cores=0,2
/proc/991964/task/991983/stat : 991983 (Timer-0) S 991961 991964 987398 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 187941840 19566772224 1486318 134679101440 94804513484800 94804513488496 140726003913152 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94804513496312 94804513497104 94804534149120 140726003917812 140726003917920 140726003917920 140726003924936 0
Current children cumulated CPU time: 3552.5 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5945272 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3508.5 s]
/proc/loadavg: 3.40 3.91 4.18 4/293 994901
/proc/meminfo: memFree=111338224/131655788 swapFree=131070704/131071996
[pid=991964] ppid=991961 vsize=19108176 memory=5945292 CPUtime=3600.13 cores=0,2
/proc/991964/stat : 991964 (java) S 991961 991964 987398 0 -1 1077936128 474088 0 0 0 359585 428 0 0 20 0 20 0 187941811 19566772224 1486323 134679101440 94804513484800 94804513488496 140726003913152 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94804513496312 94804513497104 94804534149120 140726003917812 140726003917920 140726003917920 140726003924936 0
/proc/991964/statm: 4777044 1486323 5867 1 0 1500924 0
[pid=991964/tid=991966] ppid=991961 vsize=19108176 memory=5945292 CPUtime=3396.77 cores=0,2
/proc/991964/task/991966/stat : 991966 (java) R 991961 991964 987398 0 -1 4194368 268002 0 0 0 339533 144 0 0 20 0 20 0 187941811 19566772224 1486323 134679101440 94804513484800 94804513488496 140726003913152 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 152 0 0 94804513496312 94804513497104 94804534149120 140726003917812 140726003917920 140726003917920 140726003924936 0
[pid=991964/tid=991975] ppid=991961 vsize=19108176 memory=5945272 CPUtime=0 cores=0,2
/proc/991964/task/991975/stat : 991975 (Finalizer) S 991961 991964 987398 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187941814 19566772224 1486323 134679101440 94804513484800 94804513488496 140726003913152 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94804513496312 94804513497104 94804534149120 140726003917812 140726003917920 140726003917920 140726003924936 0
[pid=991964/tid=991982] ppid=991961 vsize=19108176 memory=-9103852285642187452 CPUtime=0.01 cores=0,2
/proc/991964/task/991982/stat : 991982 (Common-Cleaner) S 991961 991964 987398 0 -1 1077936192 3678 0 0 0 0 1 0 0 20 0 20 0 187941815 19566772224 1486323 134679101440 94804513484800 94804513488496 140726003913152 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94804513496312 94804513497104 94804534149120 140726003917812 140726003917920 140726003917920 140726003924936 0
[pid=991964/tid=991983] ppid=991961 vsize=19108176 memory=5945276 CPUtime=0 cores=0,2
/proc/991964/task/991983/stat : 991983 (Timer-0) S 991961 991964 987398 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 187941840 19566772224 1486323 134679101440 94804513484800 94804513488496 140726003913152 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94804513496312 94804513497104 94804534149120 140726003917812 140726003917920 140726003917920 140726003924936 0
Current children cumulated CPU time: 3600.13 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5945292 KiB

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

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

# cumulated CPU time of all completed processes:  user=3596.06 s, system=4.31454 s

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

[startup+3508.61 s]
/proc/loadavg: 3.40 3.91 4.18 4/293 994901
/proc/meminfo: memFree=111338224/131655788 swapFree=131070704/131071996
[pid=991964] ppid=991961 vsize=19307868 memory=5946188 CPUtime=3600.32 cores=0,2
/proc/991964/stat : 991964 (java) S 991961 991964 987398 0 -1 1077936128 477078 0 0 0 359604 428 0 0 20 0 21 0 187941811 19771256832 1486547 134679101440 94804513484800 94804513488496 140726003913152 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94804513496312 94804513497104 94804534149120 140726003917812 140726003917920 140726003917920 140726003924936 0
/proc/991964/statm: 4826967 1486547 5866 1 0 1501865 0
[pid=991964/tid=991966] ppid=991961 vsize=19307868 memory=11420 CPUtime=3396.8 cores=0,2
/proc/991964/task/991966/stat : 991966 (java) S 991961 991964 987398 0 -1 1077936192 268085 0 0 0 339536 144 0 0 20 0 21 0 187941811 19771256832 1486547 134679101440 94804513484800 94804513488496 140726003913152 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 152 0 0 94804513496312 94804513497104 94804534149120 140726003917812 140726003917920 140726003917920 140726003924936 0
[pid=991964/tid=991975] ppid=991961 vsize=19307868 memory=-9103852285642187452 CPUtime=0 cores=0,2
/proc/991964/task/991975/stat : 991975 (Finalizer) S 991961 991964 987398 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 187941814 19771256832 1486547 134679101440 94804513484800 94804513488496 140726003913152 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94804513496312 94804513497104 94804534149120 140726003917812 140726003917920 140726003917920 140726003924936 0
[pid=991964/tid=991982] ppid=991961 vsize=19307868 memory=108 CPUtime=0.01 cores=0,2
/proc/991964/task/991982/stat : 991982 (Common-Cleaner) S 991961 991964 987398 0 -1 1077936192 3678 0 0 0 0 1 0 0 20 0 21 0 187941815 19771256832 1486547 134679101440 94804513484800 94804513488496 140726003913152 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94804513496312 94804513497104 94804534149120 140726003917812 140726003917920 140726003917920 140726003924936 0
Current children cumulated CPU time: 3600.32 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 5946188 KiB

Child status: 143

Real time (s): 3508.65
CPU time (s): 3600.37
CPU user time (s): 3596.06
CPU system time (s): 4.31454
CPU usage (%): 102.614
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 5946188

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.06
system time used= 4.31454
maximum resident set size= 5947272
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 477370
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3776
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 147693
involuntary context switches= 31014


# summary of solver processes directly reported to runsolver:
#   pid: 991964
#   total CPU time (s): 3600.37
#   total CPU user time (s): 3596.06
#   total CPU system time (s): 4.31454

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.0539 second user time and 38.1838 second system time

The end

Launcher Data 

Begin job on nodeC011 at 2024-07-19 04:57:39
IDJOB=4448051
IDBENCH=160360
IDSOLVER=3052
FILE ID=nodeC011/4448051-1721357847
RUNJOBID= nodeC011-1721350778-987408
SLURM_JOB_ID= 7542750
Free space on /tmp= 723780 MiB

SOLVER NAME= Sat4j Cutting Planes 2024 2024-07-12
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/normalized-ECgrid5x90split.cnf-extracted.pb.metafix.opb
COMMAND LINE= java -jar sat4j-pb.jar CuttingPlanesPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4448051-1721357847/watcher-4448051-1721357847 -o /tmp/evaluation-result-4448051-1721357847/solver-4448051-1721357847 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1721350778-987408 --watchdog 3760  java -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4448051-1721357847.opb

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

MD5SUM BENCH= ffca2f526e16739a014d253021fa9e9c
RANDOM SEED=1400275605

nodeC011.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	: 0xb00001f
cpu MHz		: 2717.024
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.20
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	: 0xb00001f
cpu MHz		: 3653.617
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.31
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	: 0xb00001f
cpu MHz		: 2596.412
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.20
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	: 0xb00001f
cpu MHz		: 1197.235
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.31
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	: 0xb00001f
cpu MHz		: 3641.637
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.20
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	: 0xb00001f
cpu MHz		: 3653.671
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.31
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	: 0xb00001f
cpu MHz		: 1197.168
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.20
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	: 0xb00001f
cpu MHz		: 1197.266
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        113506904 kB
MemAvailable:   114000932 kB
Buffers:          535296 kB
Cached:           798736 kB
SwapCached:          132 kB
Active:          1044216 kB
Inactive:       16583124 kB
Active(anon):       1436 kB
Inactive(anon): 16329316 kB
Active(file):    1042780 kB
Inactive(file):   253808 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131070704 kB
Dirty:               844 kB
Writeback:            44 kB
AnonPages:      16293228 kB
Mapped:           125544 kB
Shmem:             37400 kB
KReclaimable:      75280 kB
Slab:             158080 kB
SReclaimable:      75280 kB
SUnreclaim:        82800 kB
KernelStack:        4848 kB
PageTables:        41996 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:   17550200 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            27072 kB
HardwareCorrupted:     0 kB
AnonHugePages:  15880192 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:      277320 kB
DirectMap2M:    33181696 kB
DirectMap1G:    102760448 kB

Free space on /tmp at the end= 723772 MiB
End job on nodeC011 at 2024-07-19 05:56:08