Trace number 4445792

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 Resolution 2024 2024-07-07? (TO) 3600.22 3643.14

General information on the benchmark

NamePB24/normalized-PB10/DEC-LIN/oliveras/
j120/normalized-j12011_1-unsat.opb
MD5SUMcdcb4d035b8e87f1109f75a28aea48eb
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables37510
Total number of constraints119740
Number of constraints which are clauses119124
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints616
Minimum length of a constraint1
Maximum length of a constraint95
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 19
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 556
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.15/0.11	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.15/0.11	c This is free software under the dual EPL/GNU LGPL licenses.
0.15/0.11	c See www.sat4j.org for details.
0.15/0.12	c version CUSTOM.v20240707
0.15/0.14	c java.runtime.name	OpenJDK Runtime Environment
0.15/0.14	c java.vm.name		OpenJDK 64-Bit Server VM
0.15/0.14	c java.vm.version	22.0.1+8-16
0.15/0.14	c java.vm.vendor	Oracle Corporation
0.15/0.14	c sun.arch.data.model	64
0.15/0.14	c java.version		22.0.1
0.15/0.14	c os.name		Linux
0.15/0.14	c os.version		4.18.0-301.1.el8.x86_64
0.15/0.14	c os.arch		amd64
0.15/0.15	c Free memory 		2113181440
0.15/0.15	c Max memory 		16282288128
0.15/0.15	c Total memory 		2122317824
0.15/0.16	c Number of processors 	2
0.31/0.24	--- Begin Solver configuration ---
0.31/0.24	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.31/0.24	Learn all clauses as in MiniSAT
0.31/0.24	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.31/0.24	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.31/0.24	Expensive reason simplification
0.31/0.24	Glucose 2.1 dynamic restart strategy
0.31/0.24	Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.31/0.24	timeout=2147483s
0.31/0.24	DB Simplification allowed=false
0.31/0.24	Listener: none
0.31/0.24	--- End Solver configuration ---
0.31/0.24	c Pseudo Boolean Optimization by upper bound
0.31/0.24	c --- Begin Solver configuration ---
0.31/0.24	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.31/0.24	c Learn all clauses as in MiniSAT
0.31/0.24	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.31/0.24	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.31/0.24	c Expensive reason simplification
0.31/0.24	c Glucose 2.1 dynamic restart strategy
0.31/0.24	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.31/0.24	c timeout=2147483s
0.31/0.24	c DB Simplification allowed=false
0.31/0.24	c Listener: none
0.31/0.24	c --- End Solver configuration ---
0.31/0.24	c solving HOME/instance-4445792-1721820413.opb
0.31/0.24	c reading problem ... 
0.31/0.25	c using VERIPB proof format
0.31/0.25	c  no objective function found
1.80/1.10	c ... done. Wall clock time 0.855s.
2.00/1.11	c declared #vars     37510
2.00/1.11	c #constraints  119740
2.00/1.11	c constraints type 
2.00/1.11	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 90503
2.00/1.11	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 616
2.00/1.11	c org.sat4j.specs.Constr$1 => 9696
2.00/1.11	c org.sat4j.pb.constraints.pb.UnitClausePB => 3333
2.00/1.11	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 15592
2.00/1.11	c 119740 constraints processed.
5.86/3.11	c cleaning 2497 clauses out of 5002 with flag 21600/5002
8.01/4.55	c cleaning 4247 clauses out of 8504 with flag 50240/11001
10.12/6.57	c cleaning 5625 clauses out of 11257 with flag 84587/18001
12.50/8.80	c cleaning 6805 clauses out of 13632 with flag 127475/26001
14.63/10.99	c cleaning 7911 clauses out of 15825 with flag 179289/35000
17.47/13.55	c cleaning 8949 clauses out of 17916 with flag 228886/45002
20.65/16.66	c cleaning 9968 clauses out of 19964 with flag 284048/56000
24.03/19.95	c cleaning 10989 clauses out of 21996 with flag 354122/68000
27.90/23.77	c cleaning 11988 clauses out of 24006 with flag 432132/81000
32.00/27.81	c cleaning 12988 clauses out of 26019 with flag 519234/95001
36.02/31.91	c cleaning 13994 clauses out of 28030 with flag 601548/110000
40.25/36.19	c cleaning 15008 clauses out of 30036 with flag 701659/126000
45.32/41.11	c cleaning 15991 clauses out of 32028 with flag 804062/143000
50.76/46.21	c cleaning 17009 clauses out of 34037 with flag 908312/161000
56.35/51.63	c cleaning 17999 clauses out of 36029 with flag 1022186/180001
61.85/57.18	c cleaning 18998 clauses out of 38030 with flag 1153360/200001
67.81/63.17	c cleaning 20006 clauses out of 40031 with flag 1286781/221000
74.27/69.55	c cleaning 21001 clauses out of 42026 with flag 1414593/243001
80.96/76.24	c cleaning 21998 clauses out of 44024 with flag 1559140/266000
88.35/83.64	c cleaning 22992 clauses out of 46027 with flag 1696809/290001
96.03/91.38	c cleaning 24009 clauses out of 48036 with flag 1848730/315002
103.71/99.28	c cleaning 25013 clauses out of 50025 with flag 2007440/341000
112.29/107.88	c cleaning 25988 clauses out of 52013 with flag 2162869/368001
120.77/116.33	c cleaning 27009 clauses out of 54024 with flag 2331360/396000
129.85/125.55	c cleaning 27998 clauses out of 56015 with flag 2494397/425000
138.75/134.48	c cleaning 29003 clauses out of 58020 with flag 2669680/455003
147.93/143.66	c cleaning 29995 clauses out of 60015 with flag 2852702/486001
157.32/153.04	c cleaning 30991 clauses out of 62019 with flag 3041456/518000
167.07/162.98	c cleaning 32001 clauses out of 64030 with flag 3227800/551002
178.55/174.40	c cleaning 33009 clauses out of 66028 with flag 3414063/585001
190.05/186.15	c cleaning 33995 clauses out of 68018 with flag 3603538/620000
201.32/197.47	c cleaning 35005 clauses out of 70024 with flag 3812814/656001
212.80/208.93	c cleaning 35990 clauses out of 72018 with flag 4028715/693000
224.95/221.17	c cleaning 36994 clauses out of 74028 with flag 4246219/731000
236.93/233.18	c cleaning 38017 clauses out of 76034 with flag 4465792/770000
250.33/246.65	c cleaning 38987 clauses out of 78017 with flag 4682783/810000
264.13/260.45	c cleaning 40002 clauses out of 80031 with flag 4904664/851002
277.94/274.29	c cleaning 40988 clauses out of 82027 with flag 5121563/893000
291.55/287.93	c cleaning 42003 clauses out of 84042 with flag 5347606/936003
306.42/302.89	c cleaning 42998 clauses out of 86037 with flag 5570533/980001
320.80/317.39	c cleaning 44009 clauses out of 88039 with flag 5805657/1025001
337.07/333.65	c cleaning 44997 clauses out of 90030 with flag 6036024/1071001
354.44/354.34	c cleaning 45995 clauses out of 92032 with flag 6271131/1118000
369.61/369.55	c cleaning 46994 clauses out of 94037 with flag 6523121/1166000
387.05/387.18	c cleaning 48016 clauses out of 96043 with flag 6777273/1215000
403.50/403.67	c cleaning 48988 clauses out of 98027 with flag 7023630/1265000
421.28/436.75	c cleaning 50009 clauses out of 100039 with flag 7275923/1316000
439.29/454.90	c cleaning 50992 clauses out of 102030 with flag 7560628/1368000
459.75/475.47	c cleaning 52002 clauses out of 104038 with flag 7827151/1421000
479.16/495.06	c cleaning 52996 clauses out of 106036 with flag 8087836/1475000
499.75/515.93	c cleaning 54006 clauses out of 108041 with flag 8353185/1530001
519.41/535.64	c cleaning 54994 clauses out of 110034 with flag 8630939/1586000
541.62/557.95	c cleaning 56012 clauses out of 112044 with flag 8914341/1643004
563.65/580.06	c cleaning 57006 clauses out of 114031 with flag 9189705/1701003
585.99/602.41	c cleaning 57998 clauses out of 116022 with flag 9476452/1760000
607.78/624.32	c cleaning 58997 clauses out of 118024 with flag 9766248/1820000
630.87/647.54	c cleaning 60000 clauses out of 120027 with flag 10051153/1881000
654.38/671.15	c cleaning 60993 clauses out of 122028 with flag 10354981/1943001
679.73/696.54	c cleaning 62004 clauses out of 124036 with flag 10661188/2006002
704.60/721.51	c cleaning 63003 clauses out of 126031 with flag 10965003/2070001
731.32/748.52	c cleaning 63996 clauses out of 128027 with flag 11270000/2135000
758.22/776.77	c cleaning 65007 clauses out of 130034 with flag 11589819/2201003
784.28/803.11	c cleaning 66002 clauses out of 132024 with flag 11928999/2268000
811.06/830.31	c cleaning 66991 clauses out of 134022 with flag 12259550/2336000
836.58/856.02	c cleaning 67995 clauses out of 136031 with flag 12595043/2405000
864.53/884.09	c cleaning 68994 clauses out of 138037 with flag 12925855/2475001
891.68/911.32	c cleaning 70004 clauses out of 140043 with flag 13260278/2546001
922.14/942.00	c cleaning 71004 clauses out of 142039 with flag 13588212/2618001
951.85/971.75	c cleaning 72005 clauses out of 144036 with flag 13927279/2691002
982.37/1002.38	c cleaning 72995 clauses out of 146029 with flag 14280923/2765000
1012.39/1032.58	c cleaning 73997 clauses out of 148034 with flag 14622870/2840000
1044.13/1065.14	c cleaning 75014 clauses out of 150041 with flag 14979988/2916004
1076.49/1097.50	c cleaning 75996 clauses out of 152027 with flag 15355079/2993004
1110.27/1131.32	c cleaning 77002 clauses out of 154027 with flag 15712090/3071000
1143.84/1164.98	c cleaning 77999 clauses out of 156027 with flag 16062251/3150002
1177.84/1198.96	c cleaning 79004 clauses out of 158026 with flag 16413499/3230000
1214.62/1235.78	c cleaning 80004 clauses out of 160022 with flag 16770388/3311000
1251.51/1272.74	c cleaning 80995 clauses out of 162019 with flag 17117982/3393001
1284.40/1305.66	c cleaning 81996 clauses out of 164023 with flag 17486570/3476000
1317.01/1338.38	c cleaning 82999 clauses out of 166028 with flag 17860019/3560001
1350.22/1371.62	c cleaning 83987 clauses out of 168029 with flag 18240401/3645001
1384.22/1405.61	c cleaning 85004 clauses out of 170042 with flag 18616626/3731001
1424.37/1446.42	c cleaning 86013 clauses out of 172038 with flag 18991125/3818001
1464.76/1486.90	c cleaning 87003 clauses out of 174025 with flag 19359085/3906001
1504.44/1526.54	c cleaning 88002 clauses out of 176021 with flag 19747029/3995000
1545.42/1567.54	c cleaning 88993 clauses out of 178019 with flag 20126890/4085000
1583.84/1606.08	c cleaning 89996 clauses out of 180026 with flag 20551736/4176000
1626.63/1648.87	c cleaning 90996 clauses out of 182032 with flag 20952442/4268002
1668.60/1690.90	c cleaning 92007 clauses out of 184034 with flag 21368599/4361000
1712.18/1734.59	c cleaning 93000 clauses out of 186027 with flag 21767298/4455000
1757.70/1780.19	c cleaning 94001 clauses out of 188027 with flag 22163491/4550000
1804.84/1827.39	c cleaning 94998 clauses out of 190027 with flag 22584187/4646001
1852.28/1874.86	c cleaning 96005 clauses out of 192028 with flag 22989478/4743000
1899.83/1922.43	c cleaning 96995 clauses out of 194023 with flag 23401848/4841000
1948.80/1971.49	c cleaning 97997 clauses out of 196028 with flag 23811184/4940000
1999.24/2021.95	c cleaning 98996 clauses out of 198031 with flag 24243326/5040000
2048.37/2071.20	c cleaning 100005 clauses out of 200036 with flag 24667939/5141001
2099.42/2122.36	c cleaning 101007 clauses out of 202030 with flag 25084647/5243000
2152.36/2175.38	c cleaning 102004 clauses out of 204024 with flag 25518873/5346001
2204.40/2227.42	c cleaning 103007 clauses out of 206019 with flag 25957539/5450000
2257.57/2280.75	c cleaning 103988 clauses out of 208013 with flag 26391851/5555001
2310.14/2333.45	c cleaning 104997 clauses out of 210024 with flag 26838798/5661000
2363.78/2387.21	c cleaning 106000 clauses out of 212028 with flag 27296461/5768001
2412.79/2436.36	c cleaning 106986 clauses out of 214027 with flag 27760684/5876000
2465.18/2488.87	c cleaning 108003 clauses out of 216043 with flag 28237408/5985002
2520.91/2544.60	c cleaning 109008 clauses out of 218040 with flag 28680078/6095002
2579.64/2603.37	c cleaning 110003 clauses out of 220030 with flag 29122554/6206000
2637.08/2660.92	c cleaning 110996 clauses out of 222027 with flag 29580007/6318000
2692.84/2716.82	c cleaning 111992 clauses out of 224031 with flag 30046693/6431000
2748.15/2772.25	c cleaning 113004 clauses out of 226039 with flag 30519667/6545000
2809.47/2833.70	c cleaning 114007 clauses out of 228035 with flag 30957351/6660000
2869.24/2893.77	c cleaning 115007 clauses out of 230029 with flag 31451834/6776001
2926.85/2951.59	c cleaning 115988 clauses out of 232023 with flag 31922717/6893002
2991.65/3016.53	c cleaning 116993 clauses out of 234033 with flag 32385880/7011000
3058.44/3083.61	c cleaning 118004 clauses out of 236040 with flag 32847913/7130000
3123.83/3149.62	c cleaning 119002 clauses out of 238036 with flag 33319703/7250000
3189.44/3215.33	c cleaning 119995 clauses out of 240034 with flag 33799246/7371000
3253.74/3279.97	c cleaning 120995 clauses out of 242039 with flag 34321421/7493000
3320.50/3347.08	c cleaning 122014 clauses out of 244046 with flag 34806866/7616002
3392.74/3419.38	c cleaning 123007 clauses out of 246032 with flag 35281810/7740002
3460.14/3486.98	c cleaning 124001 clauses out of 248023 with flag 35755126/7865000
3525.57/3552.57	c cleaning 125000 clauses out of 250023 with flag 36245449/7991001
3594.01/3637.04	c cleaning 125998 clauses out of 252023 with flag 36731402/8118001
3600.03/3643.03	c timeout
3600.03/3643.04	c starts		: 32194
3600.03/3643.05	c conflicts		: 8130161
3600.03/3643.05	c decisions		: 13423141
3600.03/3643.05	c propagations		: 7946015522
3600.03/3643.05	c inspects		: 34844702723
3600.03/3643.05	c shortcuts		: 0
3600.03/3643.05	c learnt literals	: 4
3600.03/3643.05	c learnt binary clauses	: 171
3600.03/3643.05	c learnt ternary clauses	: 8323
3600.03/3643.05	c learnt constraints	: 8130157
3600.03/3643.05	c ignored constraints	: 0
3600.03/3643.05	c root simplifications	: 0
3600.03/3643.05	c removed literals (reason simplification)	: 116289802
3600.03/3643.05	c reason swapping (by a shorter reason)	: 0
3600.03/3643.05	c Calls to reduceDB	: 123
3600.03/3643.05	c Number of update (reduction) of LBD	: 2750348
3600.03/3643.05	c Imported unit clauses	: 0
3600.03/3643.05	c No decision after first conflict	: false
3600.03/3643.05	c number of reductions to clauses (during analyze)	: 0
3600.03/3643.05	c number of learned constraints concerned by reduction	: 0
3600.03/3643.05	c number of learning phase by resolution	: 0
3600.03/3643.05	c number of learning phase by cutting planes	: 0
3600.03/3643.05	c number of rounding to 1 operations	: 0
3600.03/3643.05	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.03/3643.05	c number of reductions of the coefficients by power 2 	: 0
3600.03/3643.05	c number of right shift for reduction by power 2 	: 0
3600.03/3643.05	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.03/3643.05	c number of ending skipping 	: 0
3600.03/3643.05	c number of internal skipping 	: 0
3600.03/3643.05	c number of derivation steps 	: 0
3600.03/3643.05	c number of skipped derivation steps 	: 0
3600.03/3643.05	c number of remaining unassigned 	: 0
3600.03/3643.05	c number of remaining assigned 	: 0
3600.03/3643.05	c number of falsified literals weakened from reason	: 0
3600.03/3643.05	c number of falsified literals weakened from conflict	: 0
3600.03/3643.05	c time for arithmetic operations	: 0
3600.03/3643.05	c minimum degree of deleted constraints	: null
3600.03/3643.05	c maximum degree of deleted constraints	: null
3600.03/3643.05	c number of deleted constraints	: 0
3600.03/3643.05	c speed (assignments/second)	: 2181825.838687436
3600.03/3643.05	c non guided choices	: 4464
3600.03/3643.09	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 138014
3600.03/3643.09	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 171
3600.03/3643.10	s UNKNOWN
3600.03/3643.10	c Total wall clock time (in seconds): 3642.855

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4445792-1721820413/watcher-4445792-1721820413 -o /tmp/evaluation-result-4445792-1721820413/solver-4445792-1721820413 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1721820325-176944 --watchdog 3760 java -Dveripb=PROOFDIR/proof-4445792-1721820413 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4445792-1721820413.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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
Current StackSize limit: 8192 KiB

solver pid=178977, runsolver pid=178974

[startup+0.102714 s]*
/proc/loadavg: 4.04 1.49 0.60 8/327 178995
/proc/meminfo: memFree=112879352/131655788 swapFree=131071472/131071996
[pid=178977] ppid=178974 vsize=18975048 memory=56420 CPUtime=0.15 cores=1,3
/proc/178977/stat : 178977 (java) S 178974 178977 176776 0 -1 1077936128 6640 0 0 0 13 2 0 0 20 0 18 0 18030213 19430449152 14105 134679101440 93847760302080 93847760305776 140735026775744 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93847760313592 93847760314384 93847767105536 140735026779051 140735026779233 140735026779233 140735026786248 0
/proc/178977/statm: 4743762 14105 5602 1 0 550925 0
[pid=178977/tid=178979] ppid=178974 vsize=18975048 memory=4026561586 CPUtime=0.09 cores=1,3
/proc/178977/task/178979/stat : 178979 (java) R 178974 178977 176776 0 -1 4194368 5539 0 0 0 8 1 0 0 20 0 18 0 18030213 19430449152 14105 134679101440 93847760302080 93847760305776 140735026775744 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93847760313592 93847760314384 93847767105536 140735026779051 140735026779233 140735026779233 140735026786248 0
[pid=178977/tid=178988] ppid=178974 vsize=18975048 memory=232851243367 CPUtime=0 cores=1,3
/proc/178977/task/178988/stat : 178988 (Finalizer) S 178974 178977 176776 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18030217 19430449152 14105 134679101440 93847760302080 93847760305776 140735026775744 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93847760313592 93847760314384 93847767105536 140735026779051 140735026779233 140735026779233 140735026786248 0
[pid=178977/tid=178995] ppid=178974 vsize=18975048 memory=3905244537068716064 CPUtime=0 cores=1,3
/proc/178977/task/178995/stat : 178995 (Common-Cleaner) S 178974 178977 176776 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 18030218 19430449152 14105 134679101440 93847760302080 93847760305776 140735026775744 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93847760313592 93847760314384 93847767105536 140735026779051 140735026779233 140735026779233 140735026786248 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 56420 KiB

[startup+0.213457 s]*
/proc/loadavg: 4.04 1.49 0.60 7/327 178995
/proc/meminfo: memFree=112869016/131655788 swapFree=131071472/131071996
[pid=178977] ppid=178974 vsize=18975048 memory=65712 CPUtime=0.31 cores=1,3
/proc/178977/stat : 178977 (java) S 178974 178977 176776 0 -1 1077936128 7362 0 0 0 29 2 0 0 20 0 18 0 18030213 19430449152 16428 134679101440 93847760302080 93847760305776 140735026775744 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93847760313592 93847760314384 93847767105536 140735026779051 140735026779233 140735026779233 140735026786248 0
/proc/178977/statm: 4743762 16428 5666 1 0 551519 0
[pid=178977/tid=178979] ppid=178974 vsize=18975048 memory=4782652875487838339 CPUtime=0.18 cores=1,3
/proc/178977/task/178979/stat : 178979 (java) R 178974 178977 176776 0 -1 4194368 5806 0 0 0 17 1 0 0 20 0 18 0 18030213 19430449152 16428 134679101440 93847760302080 93847760305776 140735026775744 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93847760313592 93847760314384 93847767105536 140735026779051 140735026779233 140735026779233 140735026786248 0
[pid=178977/tid=178988] ppid=178974 vsize=18975048 memory=880909 CPUtime=0 cores=1,3
/proc/178977/task/178988/stat : 178988 (Finalizer) S 178974 178977 176776 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18030217 19430449152 16428 134679101440 93847760302080 93847760305776 140735026775744 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93847760313592 93847760314384 93847767105536 140735026779051 140735026779233 140735026779233 140735026786248 0
[pid=178977/tid=178995] ppid=178974 vsize=18975048 memory=15260341797930584 CPUtime=0 cores=1,3
/proc/178977/task/178995/stat : 178995 (Common-Cleaner) S 178974 178977 176776 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 18030218 19430449152 16428 134679101440 93847760302080 93847760305776 140735026775744 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93847760313592 93847760314384 93847767105536 140735026779051 140735026779233 140735026779233 140735026786248 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 65712 KiB

[startup+0.311528 s]*
/proc/loadavg: 4.04 1.49 0.60 8/327 178995
/proc/meminfo: memFree=112864952/131655788 swapFree=131071472/131071996
[pid=178977] ppid=178974 vsize=18975048 memory=70592 CPUtime=0.5 cores=1,3
/proc/178977/stat : 178977 (java) S 178974 178977 176776 0 -1 1077936128 7555 0 0 0 47 3 0 0 20 0 18 0 18030213 19430449152 17648 134679101440 93847760302080 93847760305776 140735026775744 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93847760313592 93847760314384 93847767105536 140735026779051 140735026779233 140735026779233 140735026786248 0
/proc/178977/statm: 4743762 17648 5671 1 0 551622 0
[pid=178977/tid=178979] ppid=178974 vsize=18975048 memory=-8887397998521000636 CPUtime=0.29 cores=1,3
/proc/178977/task/178979/stat : 178979 (java) R 178974 178977 176776 0 -1 4194368 5919 0 0 0 27 2 0 0 20 0 18 0 18030213 19430449152 17648 134679101440 93847760302080 93847760305776 140735026775744 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93847760313592 93847760314384 93847767105536 140735026779051 140735026779233 140735026779233 140735026786248 0
[pid=178977/tid=178988] ppid=178974 vsize=18975048 memory=0 CPUtime=0 cores=1,3
/proc/178977/task/178988/stat : 178988 (Finalizer) S 178974 178977 176776 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18030217 19430449152 17648 134679101440 93847760302080 93847760305776 140735026775744 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93847760313592 93847760314384 93847767105536 140735026779051 140735026779233 140735026779233 140735026786248 0
[pid=178977/tid=178995] ppid=178974 vsize=18975048 memory=0 CPUtime=0 cores=1,3
/proc/178977/task/178995/stat : 178995 (Common-Cleaner) S 178974 178977 176776 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 18030218 19430449152 17648 134679101440 93847760302080 93847760305776 140735026775744 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93847760313592 93847760314384 93847767105536 140735026779051 140735026779233 140735026779233 140735026786248 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 70592 KiB

[startup+0.708435 s]
/proc/loadavg: 4.04 1.49 0.60 7/327 178995
/proc/meminfo: memFree=112836308/131655788 swapFree=131071472/131071996
[pid=178977] ppid=178974 vsize=18975048 memory=147832 CPUtime=1.22 cores=1,3
/proc/178977/stat : 178977 (java) S 178974 178977 176776 0 -1 1077936128 9402 0 0 0 117 5 0 0 20 0 18 0 18030213 19430449152 36958 134679101440 93847760302080 93847760305776 140735026775744 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93847760313592 93847760314384 93847767105536 140735026779051 140735026779233 140735026779233 140735026786248 0
/proc/178977/statm: 4743762 36958 5756 1 0 552847 0
[pid=178977/tid=178979] ppid=178974 vsize=18975048 memory=5572 CPUtime=0.6 cores=1,3
/proc/178977/task/178979/stat : 178979 (java) R 178974 178977 176776 0 -1 4194368 5974 0 0 0 57 3 0 0 20 0 18 0 18030213 19430449152 36958 134679101440 93847760302080 93847760305776 140735026775744 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93847760313592 93847760314384 93847767105536 140735026779051 140735026779233 140735026779233 140735026786248 0
[pid=178977/tid=178988] ppid=178974 vsize=18975048 memory=11652 CPUtime=0 cores=1,3
/proc/178977/task/178988/stat : 178988 (Finalizer) S 178974 178977 176776 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18030217 19430449152 36958 134679101440 93847760302080 93847760305776 140735026775744 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93847760313592 93847760314384 93847767105536 140735026779051 140735026779233 140735026779233 140735026786248 0
[pid=178977/tid=178995] ppid=178974 vsize=18975048 memory=0 CPUtime=0 cores=1,3
/proc/178977/task/178995/stat : 178995 (Common-Cleaner) S 178974 178977 176776 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 18030218 19430449152 36958 134679101440 93847760302080 93847760305776 140735026775744 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93847760313592 93847760314384 93847767105536 140735026779051 140735026779233 140735026779233 140735026786248 0
Current children cumulated CPU time: 1.22 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 147832 KiB

[startup+1.50024 s]
/proc/loadavg: 4.04 1.49 0.60 6/328 178996
/proc/meminfo: memFree=112749592/131655788 swapFree=131071472/131071996
[pid=178977] ppid=178974 vsize=19108176 memory=197568 CPUtime=2.78 cores=1,3
/proc/178977/stat : 178977 (java) S 178974 178977 176776 0 -1 1077936128 19923 0 0 0 270 8 0 0 20 0 20 0 18030213 19566772224 49392 134679101440 93847760302080 93847760305776 140735026775744 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93847760313592 93847760314384 93847767105536 140735026779051 140735026779233 140735026779233 140735026786248 0
/proc/178977/statm: 4777044 49392 5788 1 0 558302 0
[pid=178977/tid=178979] ppid=178974 vsize=19108176 memory=11652 CPUtime=1.29 cores=1,3
/proc/178977/task/178979/stat : 178979 (java) R 178974 178977 176776 0 -1 4194368 6137 0 0 0 125 4 0 0 20 0 20 0 18030213 19566772224 49392 134679101440 93847760302080 93847760305776 140735026775744 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93847760313592 93847760314384 93847767105536 140735026779051 140735026779233 140735026779233 140735026786248 0
[pid=178977/tid=178988] ppid=178974 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/178977/task/178988/stat : 178988 (Finalizer) S 178974 178977 176776 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18030217 19566772224 49392 134679101440 93847760302080 93847760305776 140735026775744 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93847760313592 93847760314384 93847767105536 140735026779051 140735026779233 140735026779233 140735026786248 0
[pid=178977/tid=178995] ppid=178974 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/178977/task/178995/stat : 178995 (Common-Cleaner) S 178974 178977 176776 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18030218 19566772224 49392 134679101440 93847760302080 93847760305776 140735026775744 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93847760313592 93847760314384 93847767105536 140735026779051 140735026779233 140735026779233 140735026786248 0
Current children cumulated CPU time: 2.78 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 197568 KiB

[startup+3.10643 s]
/proc/loadavg: 4.04 1.49 0.60 6/329 178997
/proc/meminfo: memFree=112698932/131655788 swapFree=131071472/131071996
[pid=178977] ppid=178974 vsize=19108176 memory=211264 CPUtime=5.86 cores=1,3
/proc/178977/stat : 178977 (java) S 178974 178977 176776 0 -1 1077936128 27916 0 0 0 577 9 0 0 20 0 20 0 18030213 19566772224 52816 134679101440 93847760302080 93847760305776 140735026775744 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93847760313592 93847760314384 93847767105536 140735026779051 140735026779233 140735026779233 140735026786248 0
/proc/178977/statm: 4777044 52816 5788 1 0 559384 0
[pid=178977/tid=178979] ppid=178974 vsize=19108176 memory=198340509722 CPUtime=2.84 cores=1,3
/proc/178977/task/178979/stat : 178979 (java) R 178974 178977 176776 0 -1 4194368 7485 0 0 0 280 4 0 0 20 0 20 0 18030213 19566772224 52816 134679101440 93847760302080 93847760305776 140735026775744 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93847760313592 93847760314384 93847767105536 140735026779051 140735026779233 140735026779233 140735026786248 0
[pid=178977/tid=178988] ppid=178974 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/178977/task/178988/stat : 178988 (Finalizer) S 178974 178977 176776 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18030217 19566772224 52816 134679101440 93847760302080 93847760305776 140735026775744 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93847760313592 93847760314384 93847767105536 140735026779051 140735026779233 140735026779233 140735026786248 0
[pid=178977/tid=178995] ppid=178974 vsize=19108176 memory=11652 CPUtime=0 cores=1,3
/proc/178977/task/178995/stat : 178995 (Common-Cleaner) S 178974 178977 176776 0 -1 1077936192 55 0 0 0 0 0 0 0 20 0 20 0 18030218 19566772224 52816 134679101440 93847760302080 93847760305776 140735026775744 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93847760313592 93847760314384 93847767105536 140735026779051 140735026779233 140735026779233 140735026786248 0
[pid=178977/tid=178997] ppid=178974 vsize=19108176 memory=201648 CPUtime=0 cores=1,3
/proc/178977/task/178997/stat : 178997 (Timer-0) S 178974 178977 176776 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18030326 19566772224 52816 134679101440 93847760302080 93847760305776 140735026775744 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93847760313592 93847760314384 93847767105536 140735026779051 140735026779233 140735026779233 140735026786248 0
Current children cumulated CPU time: 5.86 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 211264 KiB

[startup+6.30042 s]
/proc/loadavg: 4.03 1.53 0.61 4/329 178999
/proc/meminfo: memFree=112659432/131655788 swapFree=131071472/131071996
[pid=178977] ppid=178974 vsize=19108176 memory=209100 CPUtime=9.93 cores=1,3
/proc/178977/stat : 178977 (java) S 178974 178977 176776 0 -1 1077936128 29436 0 0 0 982 11 0 0 20 0 20 0 18030213 19566772224 52275 134679101440 93847760302080 93847760305776 140735026775744 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93847760313592 93847760314384 93847767105536 140735026779051 140735026779233 140735026779233 140735026786248 0
/proc/178977/statm: 4777044 52275 5820 1 0 559823 0
[pid=178977/tid=178979] ppid=178974 vsize=19108176 memory=0 CPUtime=5.96 cores=1,3
/proc/178977/task/178979/stat : 178979 (java) R 178974 178977 176776 0 -1 4194368 7636 0 0 0 591 5 0 0 20 0 20 0 18030213 19566772224 52275 134679101440 93847760302080 93847760305776 140735026775744 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93847760313592 93847760314384 93847767105536 140735026779051 140735026779233 140735026779233 140735026786248 0
[pid=178977/tid=178988] ppid=178974 vsize=19108176 memory=11652 CPUtime=0 cores=1,3
/proc/178977/task/178988/stat : 178988 (Finalizer) S 178974 178977 176776 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18030217 19566772224 52275 134679101440 93847760302080 93847760305776 140735026775744 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93847760313592 93847760314384 93847767105536 140735026779051 140735026779233 140735026779233 140735026786248 0
[pid=178977/tid=178995] ppid=178974 vsize=19108176 memory=202540 CPUtime=0 cores=1,3
/proc/178977/task/178995/stat : 178995 (Common-Cleaner) S 178974 178977 176776 0 -1 1077936192 55 0 0 0 0 0 0 0 20 0 20 0 18030218 19566772224 52275 134679101440 93847760302080 93847760305776 140735026775744 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93847760313592 93847760314384 93847767105536 140735026779051 140735026779233 140735026779233 140735026786248 0
[pid=178977/tid=178997] ppid=178974 vsize=19108176 memory=209100 CPUtime=0 cores=1,3
/proc/178977/task/178997/stat : 178997 (Timer-0) S 178974 178977 176776 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18030326 19566772224 52275 134679101440 93847760302080 93847760305776 140735026775744 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93847760313592 93847760314384 93847767105536 140735026779051 140735026779233 140735026779233 140735026786248 0
Current children cumulated CPU time: 9.93 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 209100 KiB

[startup+12.7005 s]
/proc/loadavg: 4.03 1.57 0.63 5/330 179000
/proc/meminfo: memFree=112601324/131655788 swapFree=131071472/131071996
[pid=178977] ppid=178974 vsize=19108176 memory=213560 CPUtime=16.67 cores=1,3
/proc/178977/stat : 178977 (java) S 178974 178977 176776 0 -1 1077936128 33629 0 0 0 1654 13 0 0 20 0 20 0 18030213 19566772224 53390 134679101440 93847760302080 93847760305776 140735026775744 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93847760313592 93847760314384 93847767105536 140735026779051 140735026779233 140735026779233 140735026786248 0
/proc/178977/statm: 4777044 53390 5820 1 0 559823 0
[pid=178977/tid=178979] ppid=178974 vsize=19108176 memory=209324 CPUtime=12.24 cores=1,3
/proc/178977/task/178979/stat : 178979 (java) R 178974 178977 176776 0 -1 4194368 8319 0 0 0 1217 7 0 0 20 0 20 0 18030213 19566772224 53390 134679101440 93847760302080 93847760305776 140735026775744 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93847760313592 93847760314384 93847767105536 140735026779051 140735026779233 140735026779233 140735026786248 0
[pid=178977/tid=178988] ppid=178974 vsize=19108176 memory=13560 CPUtime=0 cores=1,3
/proc/178977/task/178988/stat : 178988 (Finalizer) S 178974 178977 176776 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18030217 19566772224 53390 134679101440 93847760302080 93847760305776 140735026775744 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93847760313592 93847760314384 93847767105536 140735026779051 140735026779233 140735026779233 140735026786248 0
[pid=178977/tid=178995] ppid=178974 vsize=19108176 memory=7670301302377243475 CPUtime=0 cores=1,3
/proc/178977/task/178995/stat : 178995 (Common-Cleaner) S 178974 178977 176776 0 -1 1077936192 56 0 0 0 0 0 0 0 20 0 20 0 18030218 19566772224 53390 134679101440 93847760302080 93847760305776 140735026775744 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93847760313592 93847760314384 93847767105536 140735026779051 140735026779233 140735026779233 140735026786248 0
[pid=178977/tid=178997] ppid=178974 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/178977/task/178997/stat : 178997 (Timer-0) S 178974 178977 176776 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18030326 19566772224 53390 134679101440 93847760302080 93847760305776 140735026775744 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93847760313592 93847760314384 93847767105536 140735026779051 140735026779233 140735026779233 140735026786248 0
Current children cumulated CPU time: 16.67 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 213560 KiB

[startup+25.5005 s]
/proc/loadavg: 4.09 1.71 0.69 5/330 179003
/proc/meminfo: memFree=111953724/131655788 swapFree=131071472/131071996
[pid=178977] ppid=178974 vsize=19108176 memory=514732 CPUtime=29.71 cores=1,3
/proc/178977/stat : 178977 (java) S 178974 178977 176776 0 -1 1077936128 40471 0 0 0 2948 23 0 0 20 0 20 0 18030213 19566772224 128683 134679101440 93847760302080 93847760305776 140735026775744 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93847760313592 93847760314384 93847767105536 140735026779051 140735026779233 140735026779233 140735026786248 0
/proc/178977/statm: 4777044 128683 5820 1 0 559823 0
[pid=178977/tid=178979] ppid=178974 vsize=19108176 memory=7670301302377243475 CPUtime=24.93 cores=1,3
/proc/178977/task/178979/stat : 178979 (java) R 178974 178977 176776 0 -1 4194368 10279 0 0 0 2479 14 0 0 20 0 20 0 18030213 19566772224 128683 134679101440 93847760302080 93847760305776 140735026775744 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93847760313592 93847760314384 93847767105536 140735026779051 140735026779233 140735026779233 140735026786248 0
[pid=178977/tid=178988] ppid=178974 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/178977/task/178988/stat : 178988 (Finalizer) S 178974 178977 176776 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18030217 19566772224 128683 134679101440 93847760302080 93847760305776 140735026775744 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93847760313592 93847760314384 93847767105536 140735026779051 140735026779233 140735026779233 140735026786248 0
[pid=178977/tid=178995] ppid=178974 vsize=19108176 memory=5460 CPUtime=0 cores=1,3
/proc/178977/task/178995/stat : 178995 (Common-Cleaner) S 178974 178977 176776 0 -1 1077936192 56 0 0 0 0 0 0 0 20 0 20 0 18030218 19566772224 128683 134679101440 93847760302080 93847760305776 140735026775744 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93847760313592 93847760314384 93847767105536 140735026779051 140735026779233 140735026779233 140735026786248 0
[pid=178977/tid=178997] ppid=178974 vsize=19108176 memory=-8887397998521000636 CPUtime=0 cores=1,3
/proc/178977/task/178997/stat : 178997 (Timer-0) S 178974 178977 176776 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18030326 19566772224 128683 134679101440 93847760302080 93847760305776 140735026775744 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93847760313592 93847760314384 93847767105536 140735026779051 140735026779233 140735026779233 140735026786248 0
Current children cumulated CPU time: 29.71 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 514732 KiB

[startup+51.1143 s]
/proc/loadavg: 4.06 1.89 0.78 5/330 179007
/proc/meminfo: memFree=109799744/131655788 swapFree=131071472/131071996
[pid=178977] ppid=178974 vsize=19108176 memory=805732 CPUtime=55.87 cores=1,3
/proc/178977/stat : 178977 (java) S 178974 178977 176776 0 -1 1077936128 50184 0 0 0 5552 35 0 0 20 0 20 0 18030213 19566772224 201433 134679101440 93847760302080 93847760305776 140735026775744 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93847760313592 93847760314384 93847767105536 140735026779051 140735026779233 140735026779233 140735026786248 0
/proc/178977/statm: 4777044 201433 5820 1 0 559823 0
[pid=178977/tid=178979] ppid=178974 vsize=19108176 memory=516896 CPUtime=50.37 cores=1,3
/proc/178977/task/178979/stat : 178979 (java) R 178974 178977 176776 0 -1 4194368 12529 0 0 0 5013 24 0 0 20 0 20 0 18030213 19566772224 201433 134679101440 93847760302080 93847760305776 140735026775744 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 8 0 0 93847760313592 93847760314384 93847767105536 140735026779051 140735026779233 140735026779233 140735026786248 0
[pid=178977/tid=178988] ppid=178974 vsize=19108176 memory=13560 CPUtime=0 cores=1,3
/proc/178977/task/178988/stat : 178988 (Finalizer) S 178974 178977 176776 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18030217 19566772224 201433 134679101440 93847760302080 93847760305776 140735026775744 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93847760313592 93847760314384 93847767105536 140735026779051 140735026779233 140735026779233 140735026786248 0
[pid=178977/tid=178995] ppid=178974 vsize=19108176 memory=13560 CPUtime=0 cores=1,3
/proc/178977/task/178995/stat : 178995 (Common-Cleaner) S 178974 178977 176776 0 -1 1077936192 56 0 0 0 0 0 0 0 20 0 20 0 18030218 19566772224 201433 134679101440 93847760302080 93847760305776 140735026775744 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93847760313592 93847760314384 93847767105536 140735026779051 140735026779233 140735026779233 140735026786248 0
[pid=178977/tid=178997] ppid=178974 vsize=19108176 memory=13560 CPUtime=0 cores=1,3
/proc/178977/task/178997/stat : 178997 (Timer-0) S 178974 178977 176776 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18030326 19566772224 201433 134679101440 93847760302080 93847760305776 140735026775744 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93847760313592 93847760314384 93847767105536 140735026779051 140735026779233 140735026779233 140735026786248 0

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

/proc/178977/task/178988/stat : 178988 (Finalizer) S 178974 178977 176776 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18030217 19566772224 522969 134679101440 93847760302080 93847760305776 140735026775744 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93847760313592 93847760314384 93847767105536 140735026779051 140735026779233 140735026779233 140735026786248 0
[pid=178977/tid=178995] ppid=178974 vsize=19108176 memory=2091872 CPUtime=0 cores=1,3
/proc/178977/task/178995/stat : 178995 (Common-Cleaner) S 178974 178977 176776 0 -1 1077936192 3779 0 0 0 0 0 0 0 20 0 20 0 18030218 19566772224 522969 134679101440 93847760302080 93847760305776 140735026775744 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93847760313592 93847760314384 93847767105536 140735026779051 140735026779233 140735026779233 140735026786248 0
[pid=178977/tid=178997] ppid=178974 vsize=19108176 memory=2091872 CPUtime=0 cores=1,3
/proc/178977/task/178997/stat : 178997 (Timer-0) S 178974 178977 176776 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18030326 19566772224 522969 134679101440 93847760302080 93847760305776 140735026775744 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93847760313592 93847760314384 93847767105536 140735026779051 140735026779233 140735026779233 140735026786248 0
Current children cumulated CPU time: 3256.13 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2091876 KiB

[startup+3342.3 s]
/proc/loadavg: 4.19 4.14 4.07 6/322 180475
/proc/meminfo: memFree=98630868/131655788 swapFree=131071472/131071996
[pid=178977] ppid=178974 vsize=19108176 memory=2095984 CPUtime=3315.86 cores=1,3
/proc/178977/stat : 178977 (java) S 178974 178977 176776 0 -1 1077936128 174517 0 0 0 330890 696 0 0 20 0 20 0 18030213 19566772224 523996 134679101440 93847760302080 93847760305776 140735026775744 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93847760313592 93847760314384 93847767105536 140735026779051 140735026779233 140735026779233 140735026786248 0
/proc/178977/statm: 4777044 523996 5836 1 0 560172 0
[pid=178977/tid=178979] ppid=178974 vsize=19108176 memory=2095984 CPUtime=3294.14 cores=1,3
/proc/178977/task/178979/stat : 178979 (java) R 178974 178977 176776 0 -1 4194368 82258 0 0 0 328884 530 0 0 20 0 20 0 18030213 19566772224 523996 134679101440 93847760302080 93847760305776 140735026775744 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 2843 0 0 93847760313592 93847760314384 93847767105536 140735026779051 140735026779233 140735026779233 140735026786248 0
[pid=178977/tid=178988] ppid=178974 vsize=19108176 memory=2095984 CPUtime=0 cores=1,3
/proc/178977/task/178988/stat : 178988 (Finalizer) S 178974 178977 176776 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18030217 19566772224 523996 134679101440 93847760302080 93847760305776 140735026775744 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93847760313592 93847760314384 93847767105536 140735026779051 140735026779233 140735026779233 140735026786248 0
[pid=178977/tid=178995] ppid=178974 vsize=19108176 memory=13560 CPUtime=0 cores=1,3
/proc/178977/task/178995/stat : 178995 (Common-Cleaner) S 178974 178977 176776 0 -1 1077936192 3861 0 0 0 0 0 0 0 20 0 20 0 18030218 19566772224 523996 134679101440 93847760302080 93847760305776 140735026775744 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93847760313592 93847760314384 93847767105536 140735026779051 140735026779233 140735026779233 140735026786248 0
[pid=178977/tid=178997] ppid=178974 vsize=19108176 memory=104 CPUtime=0 cores=1,3
/proc/178977/task/178997/stat : 178997 (Timer-0) S 178974 178977 176776 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18030326 19566772224 523996 134679101440 93847760302080 93847760305776 140735026775744 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93847760313592 93847760314384 93847767105536 140735026779051 140735026779233 140735026779233 140735026786248 0
Current children cumulated CPU time: 3315.86 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2095984 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.13 4.07 5/322 180486
/proc/meminfo: memFree=98353884/131655788 swapFree=131071472/131071996
[pid=178977] ppid=178974 vsize=19108176 memory=2095984 CPUtime=3375.65 cores=1,3
/proc/178977/stat : 178977 (java) S 178974 178977 176776 0 -1 1077936128 177223 0 0 0 336853 712 0 0 20 0 20 0 18030213 19566772224 523996 134679101440 93847760302080 93847760305776 140735026775744 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93847760313592 93847760314384 93847767105536 140735026779051 140735026779233 140735026779233 140735026786248 0
/proc/178977/statm: 4777044 523996 5836 1 0 560172 0
[pid=178977/tid=178979] ppid=178974 vsize=19108176 memory=2095984 CPUtime=3353.72 cores=1,3
/proc/178977/task/178979/stat : 178979 (java) R 178974 178977 176776 0 -1 4194368 83631 0 0 0 334829 543 0 0 20 0 20 0 18030213 19566772224 523996 134679101440 93847760302080 93847760305776 140735026775744 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 2857 0 0 93847760313592 93847760314384 93847767105536 140735026779051 140735026779233 140735026779233 140735026786248 0
[pid=178977/tid=178988] ppid=178974 vsize=19108176 memory=2095984 CPUtime=0 cores=1,3
/proc/178977/task/178988/stat : 178988 (Finalizer) S 178974 178977 176776 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18030217 19566772224 523996 134679101440 93847760302080 93847760305776 140735026775744 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93847760313592 93847760314384 93847767105536 140735026779051 140735026779233 140735026779233 140735026786248 0
[pid=178977/tid=178995] ppid=178974 vsize=19108176 memory=13560 CPUtime=0 cores=1,3
/proc/178977/task/178995/stat : 178995 (Common-Cleaner) S 178974 178977 176776 0 -1 1077936192 3940 0 0 0 0 0 0 0 20 0 20 0 18030218 19566772224 523996 134679101440 93847760302080 93847760305776 140735026775744 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93847760313592 93847760314384 93847767105536 140735026779051 140735026779233 140735026779233 140735026786248 0
[pid=178977/tid=178997] ppid=178974 vsize=19108176 memory=68272 CPUtime=0 cores=1,3
/proc/178977/task/178997/stat : 178997 (Timer-0) S 178974 178977 176776 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18030326 19566772224 523996 134679101440 93847760302080 93847760305776 140735026775744 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93847760313592 93847760314384 93847767105536 140735026779051 140735026779233 140735026779233 140735026786248 0
Current children cumulated CPU time: 3375.65 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2095984 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.13 4.08 6/323 180496
/proc/meminfo: memFree=98045328/131655788 swapFree=131071472/131071996
[pid=178977] ppid=178974 vsize=19108176 memory=2149368 CPUtime=3435.65 cores=1,3
/proc/178977/stat : 178977 (java) S 178974 178977 176776 0 -1 1077936128 180269 0 0 0 342842 723 0 0 20 0 20 0 18030213 19566772224 537342 134679101440 93847760302080 93847760305776 140735026775744 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93847760313592 93847760314384 93847767105536 140735026779051 140735026779233 140735026779233 140735026786248 0
/proc/178977/statm: 4777044 537342 5836 1 0 560203 0
[pid=178977/tid=178979] ppid=178974 vsize=19108176 memory=2095984 CPUtime=3412.92 cores=1,3
/proc/178977/task/178979/stat : 178979 (java) R 178974 178977 176776 0 -1 4194368 85236 0 0 0 340740 552 0 0 20 0 20 0 18030213 19566772224 537342 134679101440 93847760302080 93847760305776 140735026775744 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 2878 0 0 93847760313592 93847760314384 93847767105536 140735026779051 140735026779233 140735026779233 140735026786248 0
[pid=178977/tid=178988] ppid=178974 vsize=19108176 memory=13560 CPUtime=0 cores=1,3
/proc/178977/task/178988/stat : 178988 (Finalizer) S 178974 178977 176776 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18030217 19566772224 537342 134679101440 93847760302080 93847760305776 140735026775744 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93847760313592 93847760314384 93847767105536 140735026779051 140735026779233 140735026779233 140735026786248 0
[pid=178977/tid=178995] ppid=178974 vsize=19108176 memory=68272 CPUtime=0 cores=1,3
/proc/178977/task/178995/stat : 178995 (Common-Cleaner) S 178974 178977 176776 0 -1 1077936192 4068 0 0 0 0 0 0 0 20 0 20 0 18030218 19566772224 537342 134679101440 93847760302080 93847760305776 140735026775744 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93847760313592 93847760314384 93847767105536 140735026779051 140735026779233 140735026779233 140735026786248 0
[pid=178977/tid=178997] ppid=178974 vsize=19108176 memory=13560 CPUtime=0 cores=1,3
/proc/178977/task/178997/stat : 178997 (Timer-0) S 178974 178977 176776 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18030326 19566772224 537342 134679101440 93847760302080 93847760305776 140735026775744 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93847760313592 93847760314384 93847767105536 140735026779051 140735026779233 140735026779233 140735026786248 0
Current children cumulated CPU time: 3435.65 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2149368 KiB

[startup+3522.3 s]
/proc/loadavg: 4.29 4.17 4.09 5/323 180506
/proc/meminfo: memFree=97756136/131655788 swapFree=131071472/131071996
[pid=178977] ppid=178974 vsize=19108176 memory=2149372 CPUtime=3495.43 cores=1,3
/proc/178977/stat : 178977 (java) S 178974 178977 176776 0 -1 1077936128 182840 0 0 0 348808 735 0 0 20 0 20 0 18030213 19566772224 537343 134679101440 93847760302080 93847760305776 140735026775744 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93847760313592 93847760314384 93847767105536 140735026779051 140735026779233 140735026779233 140735026786248 0
/proc/178977/statm: 4777044 537343 5836 1 0 560203 0
[pid=178977/tid=178979] ppid=178974 vsize=19108176 memory=2149368 CPUtime=3472.51 cores=1,3
/proc/178977/task/178979/stat : 178979 (java) R 178974 178977 176776 0 -1 4194368 86642 0 0 0 346692 559 0 0 20 0 20 0 18030213 19566772224 537343 134679101440 93847760302080 93847760305776 140735026775744 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 2891 0 0 93847760313592 93847760314384 93847767105536 140735026779051 140735026779233 140735026779233 140735026786248 0
[pid=178977/tid=178988] ppid=178974 vsize=19108176 memory=5572 CPUtime=0 cores=1,3
/proc/178977/task/178988/stat : 178988 (Finalizer) S 178974 178977 176776 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18030217 19566772224 537343 134679101440 93847760302080 93847760305776 140735026775744 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93847760313592 93847760314384 93847767105536 140735026779051 140735026779233 140735026779233 140735026786248 0
[pid=178977/tid=178995] ppid=178974 vsize=19108176 memory=2149352 CPUtime=0 cores=1,3
/proc/178977/task/178995/stat : 178995 (Common-Cleaner) S 178974 178977 176776 0 -1 1077936192 4075 0 0 0 0 0 0 0 20 0 20 0 18030218 19566772224 537343 134679101440 93847760302080 93847760305776 140735026775744 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93847760313592 93847760314384 93847767105536 140735026779051 140735026779233 140735026779233 140735026786248 0
[pid=178977/tid=178997] ppid=178974 vsize=19108176 memory=2149372 CPUtime=0 cores=1,3
/proc/178977/task/178997/stat : 178997 (Timer-0) S 178974 178977 176776 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18030326 19566772224 537343 134679101440 93847760302080 93847760305776 140735026775744 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93847760313592 93847760314384 93847767105536 140735026779051 140735026779233 140735026779233 140735026786248 0
Current children cumulated CPU time: 3495.43 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2149372 KiB

[startup+3582.3 s]
/proc/loadavg: 4.61 4.30 4.14 5/323 181036
/proc/meminfo: memFree=107336076/131655788 swapFree=131071472/131071996
[pid=178977] ppid=178974 vsize=19108176 memory=2149372 CPUtime=3540.17 cores=1,3
/proc/178977/stat : 178977 (java) S 178974 178977 176776 0 -1 1077936128 184713 0 0 0 353273 744 0 0 20 0 20 0 18030213 19566772224 537343 134679101440 93847760302080 93847760305776 140735026775744 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93847760313592 93847760314384 93847767105536 140735026779051 140735026779233 140735026779233 140735026786248 0
/proc/178977/statm: 4777044 537343 5836 1 0 560203 0
[pid=178977/tid=178979] ppid=178974 vsize=19108176 memory=2060116 CPUtime=3517.03 cores=1,3
/proc/178977/task/178979/stat : 178979 (java) R 178974 178977 176776 0 -1 4194368 88138 0 0 0 351137 566 0 0 20 0 20 0 18030213 19566772224 537343 134679101440 93847760302080 93847760305776 140735026775744 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 4419 0 0 93847760313592 93847760314384 93847767105536 140735026779051 140735026779233 140735026779233 140735026786248 0
[pid=178977/tid=178988] ppid=178974 vsize=19108176 memory=2149372 CPUtime=0 cores=1,3
/proc/178977/task/178988/stat : 178988 (Finalizer) S 178974 178977 176776 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18030217 19566772224 537343 134679101440 93847760302080 93847760305776 140735026775744 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93847760313592 93847760314384 93847767105536 140735026779051 140735026779233 140735026779233 140735026786248 0
[pid=178977/tid=178995] ppid=178974 vsize=19108176 memory=2149372 CPUtime=0 cores=1,3
/proc/178977/task/178995/stat : 178995 (Common-Cleaner) S 178974 178977 176776 0 -1 1077936192 4155 0 0 0 0 0 0 0 20 0 20 0 18030218 19566772224 537343 134679101440 93847760302080 93847760305776 140735026775744 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93847760313592 93847760314384 93847767105536 140735026779051 140735026779233 140735026779233 140735026786248 0
[pid=178977/tid=178997] ppid=178974 vsize=19108176 memory=2149372 CPUtime=0 cores=1,3
/proc/178977/task/178997/stat : 178997 (Timer-0) S 178974 178977 176776 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18030326 19566772224 537343 134679101440 93847760302080 93847760305776 140735026775744 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93847760313592 93847760314384 93847767105536 140735026779051 140735026779233 140735026779233 140735026786248 0
Current children cumulated CPU time: 3540.17 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2149372 KiB

[startup+3642.3 s]
/proc/loadavg: 4.62 4.35 4.17 5/323 181046
/proc/meminfo: memFree=107148164/131655788 swapFree=131071472/131071996
[pid=178977] ppid=178974 vsize=19108176 memory=2149372 CPUtime=3599.32 cores=1,3
/proc/178977/stat : 178977 (java) S 178974 178977 176776 0 -1 1077936128 188281 0 0 0 359175 757 0 0 20 0 20 0 18030213 19566772224 537343 134679101440 93847760302080 93847760305776 140735026775744 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93847760313592 93847760314384 93847767105536 140735026779051 140735026779233 140735026779233 140735026786248 0
/proc/178977/statm: 4777044 537343 5836 1 0 560203 0
[pid=178977/tid=178979] ppid=178974 vsize=19108176 memory=2060116 CPUtime=3575.97 cores=1,3
/proc/178977/task/178979/stat : 178979 (java) R 178974 178977 176776 0 -1 4194368 89879 0 0 0 357022 575 0 0 20 0 20 0 18030213 19566772224 537343 134679101440 93847760302080 93847760305776 140735026775744 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 4501 0 0 93847760313592 93847760314384 93847767105536 140735026779051 140735026779233 140735026779233 140735026786248 0
[pid=178977/tid=178988] ppid=178974 vsize=19108176 memory=2149372 CPUtime=0 cores=1,3
/proc/178977/task/178988/stat : 178988 (Finalizer) S 178974 178977 176776 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18030217 19566772224 537343 134679101440 93847760302080 93847760305776 140735026775744 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93847760313592 93847760314384 93847767105536 140735026779051 140735026779233 140735026779233 140735026786248 0
[pid=178977/tid=178995] ppid=178974 vsize=19108176 memory=13560 CPUtime=0 cores=1,3
/proc/178977/task/178995/stat : 178995 (Common-Cleaner) S 178974 178977 176776 0 -1 1077936192 4212 0 0 0 0 0 0 0 20 0 20 0 18030218 19566772224 537343 134679101440 93847760302080 93847760305776 140735026775744 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93847760313592 93847760314384 93847767105536 140735026779051 140735026779233 140735026779233 140735026786248 0
[pid=178977/tid=178997] ppid=178974 vsize=19108176 memory=13560 CPUtime=0 cores=1,3
/proc/178977/task/178997/stat : 178997 (Timer-0) S 178974 178977 176776 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18030326 19566772224 537343 134679101440 93847760302080 93847760305776 140735026775744 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93847760313592 93847760314384 93847767105536 140735026779051 140735026779233 140735026779233 140735026786248 0
Current children cumulated CPU time: 3599.32 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2149372 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3643 s]*
/proc/loadavg: 4.62 4.35 4.17 5/323 181046
/proc/meminfo: memFree=107146316/131655788 swapFree=131071472/131071996
[pid=178977] ppid=178974 vsize=19108176 memory=2149372 CPUtime=3600.03 cores=1,3
/proc/178977/stat : 178977 (java) S 178974 178977 176776 0 -1 1077936128 188281 0 0 0 359246 757 0 0 20 0 20 0 18030213 19566772224 537343 134679101440 93847760302080 93847760305776 140735026775744 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93847760313592 93847760314384 93847767105536 140735026779051 140735026779233 140735026779233 140735026786248 0
/proc/178977/statm: 4777044 537343 5836 1 0 560203 0
[pid=178977/tid=178979] ppid=178974 vsize=19108176 memory=-8745263060934763196 CPUtime=3576.68 cores=1,3
/proc/178977/task/178979/stat : 178979 (java) R 178974 178977 176776 0 -1 4194368 89879 0 0 0 357093 575 0 0 20 0 20 0 18030213 19566772224 537343 134679101440 93847760302080 93847760305776 140735026775744 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 4501 0 0 93847760313592 93847760314384 93847767105536 140735026779051 140735026779233 140735026779233 140735026786248 0
[pid=178977/tid=178988] ppid=178974 vsize=19108176 memory=5440 CPUtime=0 cores=1,3
/proc/178977/task/178988/stat : 178988 (Finalizer) S 178974 178977 176776 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18030217 19566772224 537343 134679101440 93847760302080 93847760305776 140735026775744 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93847760313592 93847760314384 93847767105536 140735026779051 140735026779233 140735026779233 140735026786248 0
[pid=178977/tid=178995] ppid=178974 vsize=19108176 memory=2732 CPUtime=0 cores=1,3
/proc/178977/task/178995/stat : 178995 (Common-Cleaner) S 178974 178977 176776 0 -1 1077936192 4212 0 0 0 0 0 0 0 20 0 20 0 18030218 19566772224 537343 134679101440 93847760302080 93847760305776 140735026775744 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93847760313592 93847760314384 93847767105536 140735026779051 140735026779233 140735026779233 140735026786248 0
[pid=178977/tid=178997] ppid=178974 vsize=19108176 memory=13640 CPUtime=0 cores=1,3
/proc/178977/task/178997/stat : 178997 (Timer-0) S 178974 178977 176776 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18030326 19566772224 537343 134679101440 93847760302080 93847760305776 140735026775744 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93847760313592 93847760314384 93847767105536 140735026779051 140735026779233 140735026779233 140735026786248 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2149372 KiB

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

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

# cumulated CPU time of all completed processes:  user=3592.63 s, system=7.5928 s

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

[startup+3643.13 s]*
/proc/loadavg: 4.62 4.35 4.17 5/305 181049
/proc/meminfo: memFree=109246900/131655788 swapFree=131071472/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3643.14
CPU time (s): 3600.22
CPU user time (s): 3592.63
CPU system time (s): 7.5928
CPU usage (%): 98.8218
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 2149372

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.63
system time used= 7.59281
maximum resident set size= 2150900
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 191665
page faults= 0
swaps= 0
block input operations= 0
block output operations= 7314032
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 110072
involuntary context switches= 6624


# summary of solver processes directly reported to runsolver:
#   pid: 178977
#   total CPU time (s): 3600.22
#   total CPU user time (s): 3592.63
#   total CPU system time (s): 7.5928

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 27.6732 second user time and 30.6894 second system time

The end

Launcher Data 

Begin job on nodeC004 at 2024-07-24 13:26:53
IDJOB=4445792
IDBENCH=154365
IDSOLVER=3079
FILE ID=nodeC004/4445792-1721820413
RUNJOBID= nodeC004-1721820325-176944
SLURM_JOB_ID= 7891447
Free space on /tmp= 723768 MiB

SOLVER NAME= Sat4j Resolution 2024 2024-07-07
BENCH NAME= PB24/normalized-PB10/DEC-LIN/oliveras/j120/normalized-j12011_1-unsat.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4445792-1721820413/watcher-4445792-1721820413 -o /tmp/evaluation-result-4445792-1721820413/solver-4445792-1721820413 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1721820325-176944 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4445792-1721820413 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4445792-1721820413.opb

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

MD5SUM BENCH= cdcb4d035b8e87f1109f75a28aea48eb
RANDOM SEED=1223463179

nodeC004.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		: 3664.224
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	: 6984.13
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		: 2294.788
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.36
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		: 1197.456
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	: 6984.13
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		: 2594.136
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.36
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		: 3670.370
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	: 6984.13
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		: 3659.632
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.36
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.443
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	: 6984.13
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.376
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.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        112916300 kB
MemAvailable:   119302724 kB
Buffers:          242604 kB
Cached:          6940116 kB
SwapCached:           60 kB
Active:          2547684 kB
Inactive:       15531408 kB
Active(anon):       1436 kB
Inactive(anon): 10948920 kB
Active(file):    2546248 kB
Inactive(file):  4582488 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071472 kB
Dirty:            271256 kB
Writeback:            20 kB
AnonPages:      10894412 kB
Mapped:           134532 kB
Shmem:             53860 kB
KReclaimable:     195776 kB
Slab:             317312 kB
SReclaimable:     195776 kB
SUnreclaim:       121536 kB
KernelStack:        4960 kB
PageTables:        31284 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:   16137224 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            20128 kB
HardwareCorrupted:     0 kB
AnonHugePages:  10590208 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:      392008 kB
DirectMap2M:    50892800 kB
DirectMap1G:    84934656 kB

Free space on /tmp at the end= 723704 MiB
End job on nodeC004 at 2024-07-24 14:27:36