Trace number 4442864

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 Default 2024-07-07? (TO) 3600.29 3581.16

General information on the benchmark

NamePB24/normalized-PB06/DEC-LIN/
submitted-PB06/roussel/normalized-pigeon-clauses-51-50.opb
MD5SUM160cae61f04d8ccee666d7a366e84df3
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 benchmark2.64528
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2550
Total number of constraints63801
Number of constraints which are clauses63801
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint50
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 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 51
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.06	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.06	c See www.sat4j.org for details.
0.00/0.07	c version CUSTOM.v20240707
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		2106806208
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.14/0.12	--- Begin Solver configuration ---
0.14/0.12	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.14/0.12	Learn all clauses as in MiniSAT
0.14/0.12	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.12	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.12	No reason simplification
0.14/0.12	Glucose 2.1 dynamic restart strategy
0.14/0.12	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.14/0.12	timeout=2147483s
0.14/0.12	DB Simplification allowed=false
0.14/0.12	Listener: none
0.14/0.12	--- End Solver configuration ---
0.14/0.12	c Pseudo Boolean Optimization by upper bound
0.14/0.12	c --- Begin Solver configuration ---
0.14/0.12	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.14/0.12	c Learn all clauses as in MiniSAT
0.14/0.12	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.12	c No reason simplification
0.14/0.12	c Glucose 2.1 dynamic restart strategy
0.14/0.12	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.14/0.12	c timeout=2147483s
0.14/0.12	c DB Simplification allowed=false
0.14/0.12	c Listener: none
0.14/0.12	c --- End Solver configuration ---
0.14/0.12	c solving HOME/instance-4442864-1721306362.opb
0.14/0.12	c reading problem ... 
0.14/0.12	c  no objective function found
0.72/0.42	c ... done. Wall clock time 0.291s.
0.72/0.42	c declared #vars     2550
0.72/0.42	c #constraints  63801
0.72/0.42	c constraints type 
0.72/0.42	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 63750
0.72/0.42	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 51
0.72/0.42	c 63801 constraints processed.
2.11/1.25	c cleaning 2498 clauses out of 5000 with flag 33033/5000
3.22/2.15	c cleaning 4247 clauses out of 8502 with flag 71493/11000
4.73/3.66	c cleaning 5622 clauses out of 11256 with flag 124321/18001
6.63/5.51	c cleaning 6815 clauses out of 13633 with flag 182055/26000
8.99/7.88	c cleaning 7907 clauses out of 15818 with flag 244010/35000
12.04/10.83	c cleaning 8953 clauses out of 17912 with flag 308845/45001
14.10/12.79	c cleaning 9963 clauses out of 19958 with flag 378658/56000
16.73/15.35	c cleaning 10980 clauses out of 21995 with flag 474620/68000
20.19/18.76	c cleaning 11993 clauses out of 24015 with flag 581614/81000
24.91/23.42	c cleaning 12990 clauses out of 26022 with flag 688510/95000
30.46/29.02	c cleaning 13994 clauses out of 28032 with flag 805719/110000
36.68/35.26	c cleaning 14999 clauses out of 30038 with flag 953153/126000
44.15/42.63	c cleaning 15997 clauses out of 32040 with flag 1081954/143001
48.73/47.16	c cleaning 17007 clauses out of 34042 with flag 1211492/161000
50.99/49.37	c cleaning 17988 clauses out of 36035 with flag 1322987/180000
56.36/54.62	c cleaning 18992 clauses out of 38047 with flag 1458312/200000
60.43/58.62	c cleaning 19978 clauses out of 40055 with flag 1597575/221000
64.70/62.84	c cleaning 21014 clauses out of 42078 with flag 1737777/243001
68.28/66.31	c cleaning 21991 clauses out of 44064 with flag 1868723/266001
72.50/70.21	c cleaning 23017 clauses out of 46074 with flag 2018289/290002
80.46/78.11	c cleaning 24006 clauses out of 48056 with flag 2227319/315001
86.09/83.77	c cleaning 25008 clauses out of 50050 with flag 2402732/341001
91.03/88.69	c cleaning 25992 clauses out of 52042 with flag 2553290/368001
95.33/92.86	c cleaning 27002 clauses out of 54049 with flag 2718181/396000
100.53/97.73	c cleaning 28002 clauses out of 56047 with flag 2903220/425000
106.71/103.79	c cleaning 28979 clauses out of 58047 with flag 3096933/455002
111.30/108.22	c cleaning 30015 clauses out of 60067 with flag 3279210/486001
125.47/122.30	c cleaning 31013 clauses out of 62053 with flag 3485558/518002
135.66/132.03	c cleaning 32007 clauses out of 64040 with flag 3703061/551002
144.59/141.05	c cleaning 32997 clauses out of 66032 with flag 3909970/585001
150.91/147.24	c cleaning 33987 clauses out of 68034 with flag 4114905/620000
165.44/161.72	c cleaning 34997 clauses out of 70047 with flag 4360138/656000
173.99/170.12	c cleaning 35999 clauses out of 72050 with flag 4617831/693000
191.62/187.67	c cleaning 37000 clauses out of 74052 with flag 4886897/731001
206.17/202.07	c cleaning 38021 clauses out of 76053 with flag 5142603/770002
214.32/210.04	c cleaning 38965 clauses out of 78030 with flag 5383775/810000
223.57/219.18	c cleaning 40013 clauses out of 80066 with flag 5628675/851001
233.01/227.91	c cleaning 41010 clauses out of 82054 with flag 5877329/893002
240.87/235.61	c cleaning 41991 clauses out of 84042 with flag 6126001/936000
249.34/243.98	c cleaning 43020 clauses out of 86052 with flag 6381440/980001
272.87/267.33	c cleaning 43994 clauses out of 88031 with flag 6655978/1025000
292.51/286.94	c cleaning 44992 clauses out of 90039 with flag 6974847/1071002
308.43/302.82	c cleaning 46006 clauses out of 92045 with flag 7275125/1118000
319.43/313.60	c cleaning 47003 clauses out of 94039 with flag 7571033/1166000
330.74/324.83	c cleaning 47990 clauses out of 96037 with flag 7858544/1215001
341.94/335.93	c cleaning 49001 clauses out of 98046 with flag 8152339/1265000
359.22/352.91	c cleaning 50003 clauses out of 100045 with flag 8460668/1316000
371.13/364.72	c cleaning 51005 clauses out of 102042 with flag 8778988/1368000
383.23/376.36	c cleaning 52004 clauses out of 104037 with flag 9084832/1421000
397.35/390.14	c cleaning 53010 clauses out of 106034 with flag 9424077/1475001
413.81/406.55	c cleaning 53991 clauses out of 108023 with flag 9774279/1530000
456.99/449.72	c cleaning 54997 clauses out of 110032 with flag 10178586/1586000
497.63/490.33	c cleaning 55996 clauses out of 112036 with flag 10613027/1643001
532.53/525.00	c cleaning 57002 clauses out of 114039 with flag 11049291/1701000
578.23/570.80	c cleaning 57994 clauses out of 116038 with flag 11452589/1760001
601.38/593.72	c cleaning 58991 clauses out of 118043 with flag 11822677/1820000
617.07/609.35	c cleaning 60002 clauses out of 120053 with flag 12196204/1881001
638.56/630.57	c cleaning 61001 clauses out of 122050 with flag 12580838/1943000
657.02/648.81	c cleaning 62009 clauses out of 124049 with flag 12968030/2006000
675.31/666.85	c cleaning 63000 clauses out of 126040 with flag 13340015/2070000
692.40/683.92	c cleaning 63999 clauses out of 128040 with flag 13712818/2135000
712.76/703.68	c cleaning 65000 clauses out of 130043 with flag 14093407/2201002
732.27/723.04	c cleaning 66002 clauses out of 132042 with flag 14469647/2268001
750.93/741.54	c cleaning 66997 clauses out of 134039 with flag 14873829/2336000
768.71/759.12	c cleaning 67998 clauses out of 136043 with flag 15275013/2405001
791.19/781.27	c cleaning 69008 clauses out of 138044 with flag 15732586/2475000
809.26/799.13	c cleaning 70003 clauses out of 140037 with flag 16165025/2546001
840.32/829.80	c cleaning 71009 clauses out of 142034 with flag 16618822/2618001
862.94/852.37	c cleaning 71985 clauses out of 144025 with flag 17041847/2691001
887.01/876.39	c cleaning 72999 clauses out of 146039 with flag 17462227/2765000
910.14/899.16	c cleaning 74004 clauses out of 148040 with flag 17913607/2840000
938.90/927.74	c cleaning 74998 clauses out of 150036 with flag 18364891/2916000
962.05/950.73	c cleaning 76002 clauses out of 152038 with flag 18803391/2993000
987.45/975.86	c cleaning 77000 clauses out of 154038 with flag 19243397/3071002
1013.41/1001.66	c cleaning 78004 clauses out of 156036 with flag 19687109/3150000
1041.17/1029.00	c cleaning 78998 clauses out of 158033 with flag 20191642/3230001
1065.46/1053.16	c cleaning 79986 clauses out of 160034 with flag 20658677/3311000
1089.95/1077.21	c cleaning 81012 clauses out of 162048 with flag 21156570/3393000
1119.72/1106.03	c cleaning 82005 clauses out of 164037 with flag 21634844/3476001
1149.61/1135.94	c cleaning 83006 clauses out of 166031 with flag 22117186/3560000
1177.91/1164.13	c cleaning 83984 clauses out of 168025 with flag 22612247/3645000
1208.96/1195.12	c cleaning 85011 clauses out of 170041 with flag 23103396/3731000
1240.06/1226.15	c cleaning 85995 clauses out of 172030 with flag 23601715/3818000
1270.21/1256.27	c cleaning 87008 clauses out of 174036 with flag 24113425/3906001
1304.70/1290.80	c cleaning 88006 clauses out of 176027 with flag 24614179/3995000
1339.99/1326.22	c cleaning 88991 clauses out of 178021 with flag 25126696/4085000
1372.20/1358.54	c cleaning 89994 clauses out of 180031 with flag 25677613/4176001
1401.15/1387.38	c cleaning 91002 clauses out of 182038 with flag 26224002/4268002
1436.79/1422.74	c cleaning 92006 clauses out of 184034 with flag 26768781/4361000
1471.38/1457.39	c cleaning 93011 clauses out of 186029 with flag 27314798/4455001
1508.63/1494.53	c cleaning 94009 clauses out of 188018 with flag 27863573/4550001
1545.44/1531.15	c cleaning 94988 clauses out of 190008 with flag 28423263/4646000
1582.60/1568.32	c cleaning 96000 clauses out of 192020 with flag 28981074/4743000
1620.47/1606.36	c cleaning 97010 clauses out of 194020 with flag 29542275/4841000
1660.83/1646.56	c cleaning 97989 clauses out of 196010 with flag 30104527/4940000
1697.08/1682.56	c cleaning 98997 clauses out of 198022 with flag 30689263/5040001
1739.57/1724.74	c cleaning 99999 clauses out of 200024 with flag 31266809/5141000
1781.57/1766.51	c cleaning 101001 clauses out of 202025 with flag 31861350/5243000
1824.63/1809.01	c cleaning 102003 clauses out of 204026 with flag 32461839/5346002
1866.39/1850.56	c cleaning 102991 clauses out of 206024 with flag 33068713/5450003
1911.59/1895.53	c cleaning 103992 clauses out of 208030 with flag 33671116/5555000
1958.14/1942.28	c cleaning 105013 clauses out of 210038 with flag 34295307/5661000
2003.27/1986.44	c cleaning 105994 clauses out of 212025 with flag 34919150/5768000
2048.04/2031.00	c cleaning 107002 clauses out of 214031 with flag 35543061/5876000
2094.45/2077.28	c cleaning 108009 clauses out of 216030 with flag 36179959/5985001
2142.01/2124.64	c cleaning 108992 clauses out of 218020 with flag 36827837/6095000
2188.84/2171.25	c cleaning 109995 clauses out of 220029 with flag 37467160/6206001
2238.69/2220.94	c cleaning 111004 clauses out of 222034 with flag 38144444/6318001
2291.45/2273.06	c cleaning 112005 clauses out of 224031 with flag 38800150/6431002
2343.24/2324.86	c cleaning 113006 clauses out of 226025 with flag 39464529/6545001
2399.20/2380.89	c cleaning 113994 clauses out of 228018 with flag 40136807/6660000
2450.35/2432.03	c cleaning 114998 clauses out of 230024 with flag 40836553/6776000
2506.82/2488.61	c cleaning 116003 clauses out of 232026 with flag 41530711/6893000
2563.05/2545.06	c cleaning 117002 clauses out of 234023 with flag 42218432/7011000
2625.59/2607.62	c cleaning 117997 clauses out of 236021 with flag 42902529/7130000
2688.90/2671.05	c cleaning 119003 clauses out of 238024 with flag 43597643/7250000
2749.50/2731.96	c cleaning 119988 clauses out of 240021 with flag 44304302/7371000
2805.81/2788.59	c cleaning 121008 clauses out of 242033 with flag 45027297/7493000
2861.32/2844.07	c cleaning 122001 clauses out of 244026 with flag 45772782/7616001
2923.06/2905.69	c cleaning 123002 clauses out of 246025 with flag 46509338/7740001
2986.64/2968.93	c cleaning 123996 clauses out of 248022 with flag 47240412/7865000
3052.80/3034.85	c cleaning 124996 clauses out of 250026 with flag 47993352/7991000
3116.97/3099.17	c cleaning 126005 clauses out of 252030 with flag 48736833/8118000
3177.92/3160.35	c cleaning 127002 clauses out of 254026 with flag 49502804/8246001
3238.18/3220.01	c cleaning 128001 clauses out of 256024 with flag 50277628/8375001
3302.66/3284.37	c cleaning 129003 clauses out of 258022 with flag 51047945/8505000
3369.63/3351.34	c cleaning 130005 clauses out of 260020 with flag 51831177/8636001
3438.31/3420.49	c cleaning 130995 clauses out of 262015 with flag 52610394/8768001
3509.33/3491.40	c cleaning 131998 clauses out of 264021 with flag 53398968/8901002
3585.82/3566.72	c cleaning 132997 clauses out of 266022 with flag 54191614/9035001
3600.09/3581.02	c starts		: 56351
3600.09/3581.03	c timeout
3600.09/3581.03	c conflicts		: 9068360
3600.09/3581.03	c decisions		: 87863213
3600.09/3581.03	c propagations		: 357697461
3600.09/3581.03	c inspects		: 31849229306
3600.09/3581.03	c shortcuts		: 0
3600.09/3581.03	c learnt literals	: 0
3600.09/3581.03	c learnt binary clauses	: 0
3600.09/3581.03	c learnt ternary clauses	: 0
3600.09/3581.03	c learnt constraints	: 9068360
3600.09/3581.03	c ignored constraints	: 0
3600.09/3581.03	c root simplifications	: 0
3600.09/3581.03	c removed literals (reason simplification)	: 0
3600.09/3581.03	c reason swapping (by a shorter reason)	: 0
3600.09/3581.03	c Calls to reduceDB	: 130
3600.09/3581.03	c Number of update (reduction) of LBD	: 4293449
3600.09/3581.03	c Imported unit clauses	: 0
3600.09/3581.03	c No decision after first conflict	: false
3600.09/3581.03	c number of reductions to clauses (during analyze)	: 0
3600.09/3581.03	c number of learned constraints concerned by reduction	: 0
3600.09/3581.03	c number of learning phase by resolution	: 0
3600.09/3581.03	c number of learning phase by cutting planes	: 0
3600.09/3581.03	c number of rounding to 1 operations	: 0
3600.09/3581.03	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.09/3581.03	c number of reductions of the coefficients by power 2 	: 0
3600.09/3581.03	c number of right shift for reduction by power 2 	: 0
3600.09/3581.03	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.09/3581.03	c number of ending skipping 	: 0
3600.09/3581.03	c number of internal skipping 	: 0
3600.09/3581.03	c number of derivation steps 	: 0
3600.09/3581.04	c number of skipped derivation steps 	: 0
3600.09/3581.04	c number of remaining unassigned 	: 0
3600.09/3581.04	c number of remaining assigned 	: 0
3600.09/3581.04	c number of falsified literals weakened from reason	: 0
3600.09/3581.04	c number of falsified literals weakened from conflict	: 0
3600.09/3581.04	c time for arithmetic operations	: 0
3600.09/3581.04	c minimum degree of deleted constraints	: null
3600.09/3581.04	c maximum degree of deleted constraints	: null
3600.09/3581.04	c number of deleted constraints	: 0
3600.09/3581.04	c speed (assignments/second)	: 99898.30269428501
3600.09/3581.04	c non guided choices	: 677138
3600.09/3581.10	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 166384
3600.09/3581.10	s UNKNOWN
3600.09/3581.10	c Total wall clock time (in seconds): 3580.977

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4442864-1721306362/watcher-4442864-1721306362 -o /tmp/evaluation-result-4442864-1721306362/solver-4442864-1721306362 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721305283-960573 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4442864-1721306362.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=961570, runsolver pid=961567

[startup+0.100216 s]*
/proc/loadavg: 4.11 4.08 3.81 7/329 961588
/proc/meminfo: memFree=107719852/131524600 swapFree=130798616/131071996
[pid=961570] ppid=961567 vsize=18975048 memory=62804 CPUtime=0.14 cores=1,3
/proc/961570/stat : 961570 (java) S 961567 961570 960561 0 -1 1077936128 7200 0 0 0 12 2 0 0 20 0 18 0 182795365 19430449152 15701 134679101440 94263192047616 94263192051312 140728644755152 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94263192059128 94263192059920 94263199883264 140728644756486 140728644756576 140728644756576 140728644763592 0
/proc/961570/statm: 4743762 15701 5617 1 0 549318 0
[pid=961570/tid=961572] ppid=961567 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=1,3
/proc/961570/task/961572/stat : 961572 (java) R 961567 961570 960561 0 -1 4194368 5735 0 0 0 7 1 0 0 20 0 18 0 182795365 19430449152 15701 134679101440 94263192047616 94263192051312 140728644755152 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94263192059128 94263192059920 94263199883264 140728644756486 140728644756576 140728644756576 140728644763592 0
[pid=961570/tid=961581] ppid=961567 vsize=18975048 memory=237146210664 CPUtime=0 cores=1,3
/proc/961570/task/961581/stat : 961581 (Finalizer) S 961567 961570 960561 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 182795368 19430449152 15701 134679101440 94263192047616 94263192051312 140728644755152 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94263192059128 94263192059920 94263199883264 140728644756486 140728644756576 140728644756576 140728644763592 0
[pid=961570/tid=961588] ppid=961567 vsize=18975048 memory=14134446136991189 CPUtime=0 cores=1,3
/proc/961570/task/961588/stat : 961588 (Common-Cleaner) S 961567 961570 960561 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 182795368 19430449152 15701 134679101440 94263192047616 94263192051312 140728644755152 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94263192059128 94263192059920 94263199883264 140728644756486 140728644756576 140728644756576 140728644763592 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 62804 KiB

[startup+0.206217 s]*
/proc/loadavg: 4.11 4.08 3.81 7/329 961588
/proc/meminfo: memFree=107705860/131524600 swapFree=130798616/131071996
[pid=961570] ppid=961567 vsize=18975048 memory=77768 CPUtime=0.34 cores=1,3
/proc/961570/stat : 961570 (java) S 961567 961570 960561 0 -1 1077936128 7604 0 0 0 32 2 0 0 20 0 18 0 182795365 19430449152 19442 134679101440 94263192047616 94263192051312 140728644755152 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94263192059128 94263192059920 94263199883264 140728644756486 140728644756576 140728644756576 140728644763592 0
/proc/961570/statm: 4743762 19442 5861 1 0 549574 0
[pid=961570/tid=961572] ppid=961567 vsize=18975048 memory=4782652875487838339 CPUtime=0.19 cores=1,3
/proc/961570/task/961572/stat : 961572 (java) R 961567 961570 960561 0 -1 4194368 5902 0 0 0 17 2 0 0 20 0 18 0 182795365 19430449152 19442 134679101440 94263192047616 94263192051312 140728644755152 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94263192059128 94263192059920 94263199883264 140728644756486 140728644756576 140728644756576 140728644763592 0
[pid=961570/tid=961581] ppid=961567 vsize=18975048 memory=1285800 CPUtime=0 cores=1,3
/proc/961570/task/961581/stat : 961581 (Finalizer) S 961567 961570 960561 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 182795368 19430449152 19442 134679101440 94263192047616 94263192051312 140728644755152 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94263192059128 94263192059920 94263199883264 140728644756486 140728644756576 140728644756576 140728644763592 0
[pid=961570/tid=961588] ppid=961567 vsize=18975048 memory=13571496182286042 CPUtime=0 cores=1,3
/proc/961570/task/961588/stat : 961588 (Common-Cleaner) S 961567 961570 960561 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 182795368 19430449152 19442 134679101440 94263192047616 94263192051312 140728644755152 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94263192059128 94263192059920 94263199883264 140728644756486 140728644756576 140728644756576 140728644763592 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 77768 KiB

[startup+0.306215 s]*
/proc/loadavg: 4.11 4.08 3.81 7/329 961588
/proc/meminfo: memFree=107664796/131524600 swapFree=130798616/131071996
[pid=961570] ppid=961567 vsize=18975048 memory=116620 CPUtime=0.53 cores=1,3
/proc/961570/stat : 961570 (java) S 961567 961570 960561 0 -1 1077936128 9109 0 0 0 50 3 0 0 20 0 18 0 182795365 19430449152 29155 134679101440 94263192047616 94263192051312 140728644755152 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94263192059128 94263192059920 94263199883264 140728644756486 140728644756576 140728644756576 140728644763592 0
/proc/961570/statm: 4743762 29155 5861 1 0 550544 0
[pid=961570/tid=961572] ppid=961567 vsize=18975048 memory=-8671511119511462588 CPUtime=0.28 cores=1,3
/proc/961570/task/961572/stat : 961572 (java) R 961567 961570 960561 0 -1 4194368 5920 0 0 0 25 3 0 0 20 0 18 0 182795365 19430449152 29155 134679101440 94263192047616 94263192051312 140728644755152 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94263192059128 94263192059920 94263199883264 140728644756486 140728644756576 140728644756576 140728644763592 0
[pid=961570/tid=961581] ppid=961567 vsize=18975048 memory=0 CPUtime=0 cores=1,3
/proc/961570/task/961581/stat : 961581 (Finalizer) S 961567 961570 960561 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 182795368 19430449152 29155 134679101440 94263192047616 94263192051312 140728644755152 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94263192059128 94263192059920 94263199883264 140728644756486 140728644756576 140728644756576 140728644763592 0
[pid=961570/tid=961588] ppid=961567 vsize=18975048 memory=0 CPUtime=0 cores=1,3
/proc/961570/task/961588/stat : 961588 (Common-Cleaner) S 961567 961570 960561 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 182795368 19430449152 29155 134679101440 94263192047616 94263192051312 140728644755152 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94263192059128 94263192059920 94263199883264 140728644756486 140728644756576 140728644756576 140728644763592 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 116620 KiB

[startup+0.701218 s]
/proc/loadavg: 4.11 4.08 3.81 7/331 961590
/proc/meminfo: memFree=107610748/131524600 swapFree=130798616/131071996
[pid=961570] ppid=961567 vsize=19108176 memory=174956 CPUtime=1.29 cores=1,3
/proc/961570/stat : 961570 (java) S 961567 961570 960561 0 -1 1077936128 13307 0 0 0 124 5 0 0 20 0 20 0 182795365 19566772224 43739 134679101440 94263192047616 94263192051312 140728644755152 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94263192059128 94263192059920 94263199883264 140728644756486 140728644756576 140728644756576 140728644763592 0
/proc/961570/statm: 4777044 43739 5877 1 0 553428 0
[pid=961570/tid=961572] ppid=961567 vsize=19108176 memory=736 CPUtime=0.62 cores=1,3
/proc/961570/task/961572/stat : 961572 (java) R 961567 961570 960561 0 -1 4194368 5982 0 0 0 59 3 0 0 20 0 20 0 182795365 19566772224 43739 134679101440 94263192047616 94263192051312 140728644755152 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94263192059128 94263192059920 94263199883264 140728644756486 140728644756576 140728644756576 140728644763592 0
[pid=961570/tid=961581] ppid=961567 vsize=19108176 memory=4892 CPUtime=0 cores=1,3
/proc/961570/task/961581/stat : 961581 (Finalizer) S 961567 961570 960561 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 182795368 19566772224 43739 134679101440 94263192047616 94263192051312 140728644755152 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94263192059128 94263192059920 94263199883264 140728644756486 140728644756576 140728644756576 140728644763592 0
[pid=961570/tid=961588] ppid=961567 vsize=19108176 memory=280108372124328 CPUtime=0 cores=1,3
/proc/961570/task/961588/stat : 961588 (Common-Cleaner) S 961567 961570 960561 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 182795368 19566772224 43739 134679101440 94263192047616 94263192051312 140728644755152 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94263192059128 94263192059920 94263199883264 140728644756486 140728644756576 140728644756576 140728644763592 0
[pid=961570/tid=961590] ppid=961567 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/961570/task/961590/stat : 961590 (Timer-0) S 961567 961570 960561 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 182795408 19566772224 43739 134679101440 94263192047616 94263192051312 140728644755152 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94263192059128 94263192059920 94263199883264 140728644756486 140728644756576 140728644756576 140728644763592 0
Current children cumulated CPU time: 1.29 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 174956 KiB

[startup+1.50029 s]
/proc/loadavg: 4.11 4.08 3.81 6/331 961590
/proc/meminfo: memFree=107607472/131524600 swapFree=130798616/131071996
[pid=961570] ppid=961567 vsize=19108176 memory=176264 CPUtime=2.53 cores=1,3
/proc/961570/stat : 961570 (java) S 961567 961570 960561 0 -1 1077936128 17458 0 0 0 247 6 0 0 20 0 20 0 182795365 19566772224 44066 134679101440 94263192047616 94263192051312 140728644755152 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94263192059128 94263192059920 94263199883264 140728644756486 140728644756576 140728644756576 140728644763592 0
/proc/961570/statm: 4777044 44066 5877 1 0 553456 0
[pid=961570/tid=961572] ppid=961567 vsize=19108176 memory=4892 CPUtime=1.42 cores=1,3
/proc/961570/task/961572/stat : 961572 (java) R 961567 961570 960561 0 -1 4194368 7026 0 0 0 138 4 0 0 20 0 20 0 182795365 19566772224 44066 134679101440 94263192047616 94263192051312 140728644755152 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94263192059128 94263192059920 94263199883264 140728644756486 140728644756576 140728644756576 140728644763592 0
[pid=961570/tid=961581] ppid=961567 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/961570/task/961581/stat : 961581 (Finalizer) S 961567 961570 960561 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 182795368 19566772224 44066 134679101440 94263192047616 94263192051312 140728644755152 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94263192059128 94263192059920 94263199883264 140728644756486 140728644756576 140728644756576 140728644763592 0
[pid=961570/tid=961588] ppid=961567 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/961570/task/961588/stat : 961588 (Common-Cleaner) S 961567 961570 960561 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 182795368 19566772224 44066 134679101440 94263192047616 94263192051312 140728644755152 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94263192059128 94263192059920 94263199883264 140728644756486 140728644756576 140728644756576 140728644763592 0
[pid=961570/tid=961590] ppid=961567 vsize=19108176 memory=280108371977488 CPUtime=0 cores=1,3
/proc/961570/task/961590/stat : 961590 (Timer-0) S 961567 961570 960561 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 182795408 19566772224 44066 134679101440 94263192047616 94263192051312 140728644755152 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94263192059128 94263192059920 94263199883264 140728644756486 140728644756576 140728644756576 140728644763592 0
Current children cumulated CPU time: 2.53 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 176264 KiB

[startup+3.10587 s]
/proc/loadavg: 4.10 4.08 3.81 5/331 961590
/proc/meminfo: memFree=107567376/131524600 swapFree=130798616/131071996
[pid=961570] ppid=961567 vsize=19108176 memory=215524 CPUtime=4.24 cores=1,3
/proc/961570/stat : 961570 (java) S 961567 961570 960561 0 -1 1077936128 18986 0 0 0 417 7 0 0 20 0 20 0 182795365 19566772224 53881 134679101440 94263192047616 94263192051312 140728644755152 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94263192059128 94263192059920 94263199883264 140728644756486 140728644756576 140728644756576 140728644763592 0
/proc/961570/statm: 4777044 53881 5877 1 0 553461 0
[pid=961570/tid=961572] ppid=961567 vsize=19108176 memory=0 CPUtime=2.96 cores=1,3
/proc/961570/task/961572/stat : 961572 (java) R 961567 961570 960561 0 -1 4194368 7373 0 0 0 292 4 0 0 20 0 20 0 182795365 19566772224 53881 134679101440 94263192047616 94263192051312 140728644755152 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94263192059128 94263192059920 94263199883264 140728644756486 140728644756576 140728644756576 140728644763592 0
[pid=961570/tid=961581] ppid=961567 vsize=19108176 memory=4892 CPUtime=0 cores=1,3
/proc/961570/task/961581/stat : 961581 (Finalizer) S 961567 961570 960561 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 182795368 19566772224 53881 134679101440 94263192047616 94263192051312 140728644755152 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94263192059128 94263192059920 94263199883264 140728644756486 140728644756576 140728644756576 140728644763592 0
[pid=961570/tid=961588] ppid=961567 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/961570/task/961588/stat : 961588 (Common-Cleaner) S 961567 961570 960561 0 -1 1077936192 36 0 0 0 0 0 0 0 20 0 20 0 182795368 19566772224 53881 134679101440 94263192047616 94263192051312 140728644755152 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94263192059128 94263192059920 94263199883264 140728644756486 140728644756576 140728644756576 140728644763592 0
[pid=961570/tid=961590] ppid=961567 vsize=19108176 memory=7676 CPUtime=0 cores=1,3
/proc/961570/task/961590/stat : 961590 (Timer-0) S 961567 961570 960561 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 182795408 19566772224 53881 134679101440 94263192047616 94263192051312 140728644755152 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94263192059128 94263192059920 94263199883264 140728644756486 140728644756576 140728644756576 140728644763592 0
Current children cumulated CPU time: 4.24 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 215524 KiB

[startup+6.3003 s]
/proc/loadavg: 4.10 4.08 3.81 5/331 961590
/proc/meminfo: memFree=107570296/131524600 swapFree=130798616/131071996
[pid=961570] ppid=961567 vsize=19108176 memory=288516 CPUtime=7.49 cores=1,3
/proc/961570/stat : 961570 (java) S 961567 961570 960561 0 -1 1077936128 19389 0 0 0 740 9 0 0 20 0 20 0 182795365 19566772224 72129 134679101440 94263192047616 94263192051312 140728644755152 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94263192059128 94263192059920 94263199883264 140728644756486 140728644756576 140728644756576 140728644763592 0
/proc/961570/statm: 4777044 72129 5877 1 0 553461 0
[pid=961570/tid=961572] ppid=961567 vsize=19108176 memory=4892 CPUtime=6.07 cores=1,3
/proc/961570/task/961572/stat : 961572 (java) R 961567 961570 960561 0 -1 4194368 7399 0 0 0 603 4 0 0 20 0 20 0 182795365 19566772224 72129 134679101440 94263192047616 94263192051312 140728644755152 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94263192059128 94263192059920 94263199883264 140728644756486 140728644756576 140728644756576 140728644763592 0
[pid=961570/tid=961581] ppid=961567 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/961570/task/961581/stat : 961581 (Finalizer) S 961567 961570 960561 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 182795368 19566772224 72129 134679101440 94263192047616 94263192051312 140728644755152 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94263192059128 94263192059920 94263199883264 140728644756486 140728644756576 140728644756576 140728644763592 0
[pid=961570/tid=961588] ppid=961567 vsize=19108176 memory=-6163001859702092992 CPUtime=0 cores=1,3
/proc/961570/task/961588/stat : 961588 (Common-Cleaner) S 961567 961570 960561 0 -1 1077936192 36 0 0 0 0 0 0 0 20 0 20 0 182795368 19566772224 72129 134679101440 94263192047616 94263192051312 140728644755152 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94263192059128 94263192059920 94263199883264 140728644756486 140728644756576 140728644756576 140728644763592 0
[pid=961570/tid=961590] ppid=961567 vsize=19108176 memory=176264 CPUtime=0 cores=1,3
/proc/961570/task/961590/stat : 961590 (Timer-0) S 961567 961570 960561 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 182795408 19566772224 72129 134679101440 94263192047616 94263192051312 140728644755152 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94263192059128 94263192059920 94263199883264 140728644756486 140728644756576 140728644756576 140728644763592 0
Current children cumulated CPU time: 7.49 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 288516 KiB

[startup+12.7003 s]
/proc/loadavg: 4.08 4.08 3.82 5/331 961591
/proc/meminfo: memFree=107410764/131524600 swapFree=130798616/131071996
[pid=961570] ppid=961567 vsize=19108176 memory=373552 CPUtime=14.1 cores=1,3
/proc/961570/stat : 961570 (java) S 961567 961570 960561 0 -1 1077936128 24288 0 0 0 1398 12 0 0 20 0 20 0 182795365 19566772224 93388 134679101440 94263192047616 94263192051312 140728644755152 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94263192059128 94263192059920 94263199883264 140728644756486 140728644756576 140728644756576 140728644763592 0
/proc/961570/statm: 4777044 93388 5877 1 0 553480 0
[pid=961570/tid=961572] ppid=961567 vsize=19108176 memory=0 CPUtime=12.37 cores=1,3
/proc/961570/task/961572/stat : 961572 (java) R 961567 961570 960561 0 -1 4194368 8120 0 0 0 1233 4 0 0 20 0 20 0 182795365 19566772224 93388 134679101440 94263192047616 94263192051312 140728644755152 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94263192059128 94263192059920 94263199883264 140728644756486 140728644756576 140728644756576 140728644763592 0
[pid=961570/tid=961581] ppid=961567 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/961570/task/961581/stat : 961581 (Finalizer) S 961567 961570 960561 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 182795368 19566772224 93388 134679101440 94263192047616 94263192051312 140728644755152 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94263192059128 94263192059920 94263199883264 140728644756486 140728644756576 140728644756576 140728644763592 0
[pid=961570/tid=961588] ppid=961567 vsize=19108176 memory=371900 CPUtime=0 cores=1,3
/proc/961570/task/961588/stat : 961588 (Common-Cleaner) S 961567 961570 960561 0 -1 1077936192 36 0 0 0 0 0 0 0 20 0 20 0 182795368 19566772224 93388 134679101440 94263192047616 94263192051312 140728644755152 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94263192059128 94263192059920 94263199883264 140728644756486 140728644756576 140728644756576 140728644763592 0
[pid=961570/tid=961590] ppid=961567 vsize=19108176 memory=4892 CPUtime=0 cores=1,3
/proc/961570/task/961590/stat : 961590 (Timer-0) S 961567 961570 960561 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 182795408 19566772224 93388 134679101440 94263192047616 94263192051312 140728644755152 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94263192059128 94263192059920 94263199883264 140728644756486 140728644756576 140728644756576 140728644763592 0
Current children cumulated CPU time: 14.1 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 373552 KiB

[startup+25.5012 s]
/proc/loadavg: 4.15 4.09 3.82 5/331 961593
/proc/meminfo: memFree=107108660/131524600 swapFree=130798616/131071996
[pid=961570] ppid=961567 vsize=19108176 memory=652752 CPUtime=26.99 cores=1,3
/proc/961570/stat : 961570 (java) S 961567 961570 960561 0 -1 1077936128 28271 0 0 0 2682 17 0 0 20 0 20 0 182795365 19566772224 163188 134679101440 94263192047616 94263192051312 140728644755152 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94263192059128 94263192059920 94263199883264 140728644756486 140728644756576 140728644756576 140728644763592 0
/proc/961570/statm: 4777044 163188 5917 1 0 659989 0
[pid=961570/tid=961572] ppid=961567 vsize=19108176 memory=371900 CPUtime=24.8 cores=1,3
/proc/961570/task/961572/stat : 961572 (java) R 961567 961570 960561 0 -1 4194368 9537 0 0 0 2476 4 0 0 20 0 20 0 182795365 19566772224 163188 134679101440 94263192047616 94263192051312 140728644755152 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94263192059128 94263192059920 94263199883264 140728644756486 140728644756576 140728644756576 140728644763592 0
[pid=961570/tid=961581] ppid=961567 vsize=19108176 memory=-8671511119511462588 CPUtime=0 cores=1,3
/proc/961570/task/961581/stat : 961581 (Finalizer) S 961567 961570 960561 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 182795368 19566772224 163188 134679101440 94263192047616 94263192051312 140728644755152 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94263192059128 94263192059920 94263199883264 140728644756486 140728644756576 140728644756576 140728644763592 0
[pid=961570/tid=961588] ppid=961567 vsize=19108176 memory=27216 CPUtime=0 cores=1,3
/proc/961570/task/961588/stat : 961588 (Common-Cleaner) S 961567 961570 960561 0 -1 1077936192 36 0 0 0 0 0 0 0 20 0 20 0 182795368 19566772224 163188 134679101440 94263192047616 94263192051312 140728644755152 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94263192059128 94263192059920 94263199883264 140728644756486 140728644756576 140728644756576 140728644763592 0
[pid=961570/tid=961590] ppid=961567 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/961570/task/961590/stat : 961590 (Timer-0) S 961567 961570 960561 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 182795408 19566772224 163188 134679101440 94263192047616 94263192051312 140728644755152 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94263192059128 94263192059920 94263199883264 140728644756486 140728644756576 140728644756576 140728644763592 0
Current children cumulated CPU time: 26.99 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 652752 KiB

[startup+51.1059 s]
/proc/loadavg: 4.10 4.08 3.83 5/331 961598
/proc/meminfo: memFree=106557948/131524600 swapFree=130798616/131071996
[pid=961570] ppid=961567 vsize=19108176 memory=1206000 CPUtime=52.86 cores=1,3
/proc/961570/stat : 961570 (java) S 961567 961570 960561 0 -1 1077936128 34359 0 0 0 5257 29 0 0 20 0 20 0 182795365 19566772224 301500 134679101440 94263192047616 94263192051312 140728644755152 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94263192059128 94263192059920 94263199883264 140728644756486 140728644756576 140728644756576 140728644763592 0
/proc/961570/statm: 4777044 301500 5917 1 0 659999 0
[pid=961570/tid=961572] ppid=961567 vsize=19108176 memory=925388 CPUtime=49.81 cores=1,3
/proc/961570/task/961572/stat : 961572 (java) R 961567 961570 960561 0 -1 1077936192 11045 0 0 0 4975 6 0 0 20 0 20 0 182795365 19566772224 301500 134679101440 94263192047616 94263192051312 140728644755152 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94263192059128 94263192059920 94263199883264 140728644756486 140728644756576 140728644756576 140728644763592 0
[pid=961570/tid=961581] ppid=961567 vsize=19108176 memory=27216 CPUtime=0 cores=1,3
/proc/961570/task/961581/stat : 961581 (Finalizer) S 961567 961570 960561 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 182795368 19566772224 301500 134679101440 94263192047616 94263192051312 140728644755152 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94263192059128 94263192059920 94263199883264 140728644756486 140728644756576 140728644756576 140728644763592 0

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

/proc/961570/task/961581/stat : 961581 (Finalizer) S 961567 961570 960561 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 182795368 19566772224 2952693 134679101440 94263192047616 94263192051312 140728644755152 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94263192059128 94263192059920 94263199883264 140728644756486 140728644756576 140728644756576 140728644763592 0
[pid=961570/tid=961588] ppid=961567 vsize=19108176 memory=-8671511119511462588 CPUtime=0 cores=1,3
/proc/961570/task/961588/stat : 961588 (Common-Cleaner) S 961567 961570 960561 0 -1 1077936192 3198 0 0 0 0 0 0 0 20 0 20 0 182795368 19566772224 2952693 134679101440 94263192047616 94263192051312 140728644755152 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94263192059128 94263192059920 94263199883264 140728644756486 140728644756576 140728644756576 140728644763592 0
[pid=961570/tid=961590] ppid=961567 vsize=19108176 memory=-8671511119511462588 CPUtime=0 cores=1,3
/proc/961570/task/961590/stat : 961590 (Timer-0) S 961567 961570 960561 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 182795408 19566772224 2952693 134679101440 94263192047616 94263192051312 140728644755152 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94263192059128 94263192059920 94263199883264 140728644756486 140728644756576 140728644756576 140728644763592 0
Current children cumulated CPU time: 3179.92 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 11810772 KiB

[startup+3222.3 s]
/proc/loadavg: 4.22 4.25 4.20 5/335 963646
/proc/meminfo: memFree=98190852/131524600 swapFree=130798616/131071996
[pid=961570] ppid=961567 vsize=19108176 memory=12312540 CPUtime=3240.47 cores=1,3
/proc/961570/stat : 961570 (java) S 961567 961570 960561 0 -1 1077936128 407932 0 0 0 323646 401 0 0 20 0 20 0 182795365 19566772224 3078135 134679101440 94263192047616 94263192051312 140728644755152 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94263192059128 94263192059920 94263199883264 140728644756486 140728644756576 140728644756576 140728644763592 0
/proc/961570/statm: 4777044 3078135 5917 1 0 3740670 0
[pid=961570/tid=961572] ppid=961567 vsize=19108176 memory=11810768 CPUtime=3172.43 cores=1,3
/proc/961570/task/961572/stat : 961572 (java) R 961567 961570 960561 0 -1 4194368 176526 0 0 0 317173 70 0 0 20 0 20 0 182795365 19566772224 3078135 134679101440 94263192047616 94263192051312 140728644755152 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 4 0 0 94263192059128 94263192059920 94263199883264 140728644756486 140728644756576 140728644756576 140728644763592 0
[pid=961570/tid=961581] ppid=961567 vsize=19108176 memory=11810772 CPUtime=0 cores=1,3
/proc/961570/task/961581/stat : 961581 (Finalizer) S 961567 961570 960561 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 182795368 19566772224 3078135 134679101440 94263192047616 94263192051312 140728644755152 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94263192059128 94263192059920 94263199883264 140728644756486 140728644756576 140728644756576 140728644763592 0
[pid=961570/tid=961588] ppid=961567 vsize=19108176 memory=-8671511119511462588 CPUtime=0 cores=1,3
/proc/961570/task/961588/stat : 961588 (Common-Cleaner) S 961567 961570 960561 0 -1 1077936192 3277 0 0 0 0 0 0 0 20 0 20 0 182795368 19566772224 3078135 134679101440 94263192047616 94263192051312 140728644755152 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94263192059128 94263192059920 94263199883264 140728644756486 140728644756576 140728644756576 140728644763592 0
[pid=961570/tid=961590] ppid=961567 vsize=19108176 memory=11810772 CPUtime=0 cores=1,3
/proc/961570/task/961590/stat : 961590 (Timer-0) S 961567 961570 960561 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 182795408 19566772224 3078135 134679101440 94263192047616 94263192051312 140728644755152 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94263192059128 94263192059920 94263199883264 140728644756486 140728644756576 140728644756576 140728644763592 0
Current children cumulated CPU time: 3240.47 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 12312540 KiB

[startup+3282.3 s]
/proc/loadavg: 4.13 4.22 4.19 5/334 963659
/proc/meminfo: memFree=97675000/131524600 swapFree=130798616/131071996
[pid=961570] ppid=961567 vsize=19108176 memory=12799968 CPUtime=3300.67 cores=1,3
/proc/961570/stat : 961570 (java) S 961567 961570 960561 0 -1 1077936128 415517 0 0 0 329657 410 0 0 20 0 20 0 182795365 19566772224 3199992 134679101440 94263192047616 94263192051312 140728644755152 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94263192059128 94263192059920 94263199883264 140728644756486 140728644756576 140728644756576 140728644763592 0
/proc/961570/statm: 4777044 3199992 5917 1 0 3740670 0
[pid=961570/tid=961572] ppid=961567 vsize=19108176 memory=12799968 CPUtime=3231.73 cores=1,3
/proc/961570/task/961572/stat : 961572 (java) R 961567 961570 960561 0 -1 4194368 181145 0 0 0 323102 71 0 0 20 0 20 0 182795365 19566772224 3199992 134679101440 94263192047616 94263192051312 140728644755152 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 4 0 0 94263192059128 94263192059920 94263199883264 140728644756486 140728644756576 140728644756576 140728644763592 0
[pid=961570/tid=961581] ppid=961567 vsize=19108176 memory=7676 CPUtime=0 cores=1,3
/proc/961570/task/961581/stat : 961581 (Finalizer) S 961567 961570 960561 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 182795368 19566772224 3199992 134679101440 94263192047616 94263192051312 140728644755152 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94263192059128 94263192059920 94263199883264 140728644756486 140728644756576 140728644756576 140728644763592 0
[pid=961570/tid=961588] ppid=961567 vsize=19108176 memory=12312540 CPUtime=0 cores=1,3
/proc/961570/task/961588/stat : 961588 (Common-Cleaner) S 961567 961570 960561 0 -1 1077936192 3402 0 0 0 0 0 0 0 20 0 20 0 182795368 19566772224 3199992 134679101440 94263192047616 94263192051312 140728644755152 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94263192059128 94263192059920 94263199883264 140728644756486 140728644756576 140728644756576 140728644763592 0
[pid=961570/tid=961590] ppid=961567 vsize=19108176 memory=15484 CPUtime=0 cores=1,3
/proc/961570/task/961590/stat : 961590 (Timer-0) S 961567 961570 960561 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 182795408 19566772224 3199992 134679101440 94263192047616 94263192051312 140728644755152 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94263192059128 94263192059920 94263199883264 140728644756486 140728644756576 140728644756576 140728644763592 0
Current children cumulated CPU time: 3300.67 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 12799968 KiB

[startup+3342.3 s]
/proc/loadavg: 4.18 4.21 4.19 5/333 963669
/proc/meminfo: memFree=95269548/131524600 swapFree=130798616/131071996
[pid=961570] ppid=961567 vsize=19108176 memory=13178848 CPUtime=3360.72 cores=1,3
/proc/961570/stat : 961570 (java) S 961567 961570 960561 0 -1 1077936128 423503 0 0 0 335650 422 0 0 20 0 20 0 182795365 19566772224 3294712 134679101440 94263192047616 94263192051312 140728644755152 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94263192059128 94263192059920 94263199883264 140728644756486 140728644756576 140728644756576 140728644763592 0
/proc/961570/statm: 4777044 3294712 5917 1 0 3740670 0
[pid=961570/tid=961572] ppid=961567 vsize=19108176 memory=12799968 CPUtime=3291.02 cores=1,3
/proc/961570/task/961572/stat : 961572 (java) R 961567 961570 960561 0 -1 4194368 185945 0 0 0 329030 72 0 0 20 0 20 0 182795365 19566772224 3294712 134679101440 94263192047616 94263192051312 140728644755152 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 4 0 0 94263192059128 94263192059920 94263199883264 140728644756486 140728644756576 140728644756576 140728644763592 0
[pid=961570/tid=961581] ppid=961567 vsize=19108176 memory=11810772 CPUtime=0 cores=1,3
/proc/961570/task/961581/stat : 961581 (Finalizer) S 961567 961570 960561 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 182795368 19566772224 3294712 134679101440 94263192047616 94263192051312 140728644755152 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94263192059128 94263192059920 94263199883264 140728644756486 140728644756576 140728644756576 140728644763592 0
[pid=961570/tid=961588] ppid=961567 vsize=19108176 memory=13178848 CPUtime=0 cores=1,3
/proc/961570/task/961588/stat : 961588 (Common-Cleaner) S 961567 961570 960561 0 -1 1077936192 3528 0 0 0 0 0 0 0 20 0 20 0 182795368 19566772224 3294712 134679101440 94263192047616 94263192051312 140728644755152 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94263192059128 94263192059920 94263199883264 140728644756486 140728644756576 140728644756576 140728644763592 0
[pid=961570/tid=961590] ppid=961567 vsize=19108176 memory=7676 CPUtime=0 cores=1,3
/proc/961570/task/961590/stat : 961590 (Timer-0) S 961567 961570 960561 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 182795408 19566772224 3294712 134679101440 94263192047616 94263192051312 140728644755152 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94263192059128 94263192059920 94263199883264 140728644756486 140728644756576 140728644756576 140728644763592 0
Current children cumulated CPU time: 3360.72 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 13178848 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.19 4.18 5/331 963679
/proc/meminfo: memFree=93424172/131524600 swapFree=130798616/131071996
[pid=961570] ppid=961567 vsize=19108176 memory=13436896 CPUtime=3420.39 cores=1,3
/proc/961570/stat : 961570 (java) S 961567 961570 960561 0 -1 1077936128 431858 0 0 0 341610 429 0 0 20 0 20 0 182795365 19566772224 3359224 134679101440 94263192047616 94263192051312 140728644755152 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94263192059128 94263192059920 94263199883264 140728644756486 140728644756576 140728644756576 140728644763592 0
/proc/961570/statm: 4777044 3359224 5917 1 0 3740670 0
[pid=961570/tid=961572] ppid=961567 vsize=19108176 memory=13178848 CPUtime=3350.1 cores=1,3
/proc/961570/task/961572/stat : 961572 (java) R 961567 961570 960561 0 -1 4194368 191002 0 0 0 334938 72 0 0 20 0 20 0 182795365 19566772224 3359224 134679101440 94263192047616 94263192051312 140728644755152 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 4 0 0 94263192059128 94263192059920 94263199883264 140728644756486 140728644756576 140728644756576 140728644763592 0
[pid=961570/tid=961581] ppid=961567 vsize=19108176 memory=13436896 CPUtime=0 cores=1,3
/proc/961570/task/961581/stat : 961581 (Finalizer) S 961567 961570 960561 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 182795368 19566772224 3359224 134679101440 94263192047616 94263192051312 140728644755152 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94263192059128 94263192059920 94263199883264 140728644756486 140728644756576 140728644756576 140728644763592 0
[pid=961570/tid=961588] ppid=961567 vsize=19108176 memory=13436896 CPUtime=0 cores=1,3
/proc/961570/task/961588/stat : 961588 (Common-Cleaner) S 961567 961570 960561 0 -1 1077936192 3682 0 0 0 0 0 0 0 20 0 20 0 182795368 19566772224 3359224 134679101440 94263192047616 94263192051312 140728644755152 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94263192059128 94263192059920 94263199883264 140728644756486 140728644756576 140728644756576 140728644763592 0
[pid=961570/tid=961590] ppid=961567 vsize=19108176 memory=13436896 CPUtime=0 cores=1,3
/proc/961570/task/961590/stat : 961590 (Timer-0) S 961567 961570 960561 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 182795408 19566772224 3359224 134679101440 94263192047616 94263192051312 140728644755152 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94263192059128 94263192059920 94263199883264 140728644756486 140728644756576 140728644756576 140728644763592 0
Current children cumulated CPU time: 3420.39 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 13436896 KiB

[startup+3462.3 s]
/proc/loadavg: 4.21 4.21 4.18 5/331 963690
/proc/meminfo: memFree=91541184/131524600 swapFree=130798616/131071996
[pid=961570] ppid=961567 vsize=19108176 memory=13541344 CPUtime=3479.96 cores=1,3
/proc/961570/stat : 961570 (java) S 961567 961570 960561 0 -1 1077936128 439996 0 0 0 347561 435 0 0 20 0 20 0 182795365 19566772224 3385336 134679101440 94263192047616 94263192051312 140728644755152 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94263192059128 94263192059920 94263199883264 140728644756486 140728644756576 140728644756576 140728644763592 0
/proc/961570/statm: 4777044 3385336 5917 1 0 3740670 0
[pid=961570/tid=961572] ppid=961567 vsize=19108176 memory=13178848 CPUtime=3409.32 cores=1,3
/proc/961570/task/961572/stat : 961572 (java) R 961567 961570 960561 0 -1 4194368 196031 0 0 0 340858 74 0 0 20 0 20 0 182795365 19566772224 3385336 134679101440 94263192047616 94263192051312 140728644755152 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 4 0 0 94263192059128 94263192059920 94263199883264 140728644756486 140728644756576 140728644756576 140728644763592 0
[pid=961570/tid=961581] ppid=961567 vsize=19108176 memory=736 CPUtime=0 cores=1,3
/proc/961570/task/961581/stat : 961581 (Finalizer) S 961567 961570 960561 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 182795368 19566772224 3385336 134679101440 94263192047616 94263192051312 140728644755152 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94263192059128 94263192059920 94263199883264 140728644756486 140728644756576 140728644756576 140728644763592 0
[pid=961570/tid=961588] ppid=961567 vsize=19108176 memory=13541344 CPUtime=0 cores=1,3
/proc/961570/task/961588/stat : 961588 (Common-Cleaner) S 961567 961570 960561 0 -1 1077936192 3855 0 0 0 0 0 0 0 20 0 20 0 182795368 19566772224 3385336 134679101440 94263192047616 94263192051312 140728644755152 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94263192059128 94263192059920 94263199883264 140728644756486 140728644756576 140728644756576 140728644763592 0
[pid=961570/tid=961590] ppid=961567 vsize=19108176 memory=13541344 CPUtime=0 cores=1,3
/proc/961570/task/961590/stat : 961590 (Timer-0) S 961567 961570 960561 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 182795408 19566772224 3385336 134679101440 94263192047616 94263192051312 140728644755152 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94263192059128 94263192059920 94263199883264 140728644756486 140728644756576 140728644756576 140728644763592 0
Current children cumulated CPU time: 3479.96 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 13541344 KiB

[startup+3522.3 s]
/proc/loadavg: 4.17 4.20 4.18 5/331 963701
/proc/meminfo: memFree=90384944/131524600 swapFree=130798616/131071996
[pid=961570] ppid=961567 vsize=19108176 memory=14176224 CPUtime=3539.94 cores=1,3
/proc/961570/stat : 961570 (java) S 961567 961570 960561 0 -1 1077936128 448457 0 0 0 353544 450 0 0 20 0 20 0 182795365 19566772224 3544056 134679101440 94263192047616 94263192051312 140728644755152 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94263192059128 94263192059920 94263199883264 140728644756486 140728644756576 140728644756576 140728644763592 0
/proc/961570/statm: 4777044 3544056 5917 1 0 3740670 0
[pid=961570/tid=961572] ppid=961567 vsize=19108176 memory=736 CPUtime=3468.17 cores=1,3
/proc/961570/task/961572/stat : 961572 (java) R 961567 961570 960561 0 -1 4194368 201068 0 0 0 346742 75 0 0 20 0 20 0 182795365 19566772224 3544056 134679101440 94263192047616 94263192051312 140728644755152 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 4 0 0 94263192059128 94263192059920 94263199883264 140728644756486 140728644756576 140728644756576 140728644763592 0
[pid=961570/tid=961581] ppid=961567 vsize=19108176 memory=13541344 CPUtime=0 cores=1,3
/proc/961570/task/961581/stat : 961581 (Finalizer) S 961567 961570 960561 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 182795368 19566772224 3544056 134679101440 94263192047616 94263192051312 140728644755152 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94263192059128 94263192059920 94263199883264 140728644756486 140728644756576 140728644756576 140728644763592 0
[pid=961570/tid=961588] ppid=961567 vsize=19108176 memory=7676 CPUtime=0 cores=1,3
/proc/961570/task/961588/stat : 961588 (Common-Cleaner) S 961567 961570 960561 0 -1 1077936192 3856 0 0 0 0 0 0 0 20 0 20 0 182795368 19566772224 3544056 134679101440 94263192047616 94263192051312 140728644755152 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94263192059128 94263192059920 94263199883264 140728644756486 140728644756576 140728644756576 140728644763592 0
[pid=961570/tid=961590] ppid=961567 vsize=19108176 memory=14176224 CPUtime=0 cores=1,3
/proc/961570/task/961590/stat : 961590 (Timer-0) S 961567 961570 960561 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 182795408 19566772224 3544056 134679101440 94263192047616 94263192051312 140728644755152 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94263192059128 94263192059920 94263199883264 140728644756486 140728644756576 140728644756576 140728644763592 0
Current children cumulated CPU time: 3539.94 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14176224 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3581 s]*
/proc/loadavg: 4.15 4.19 4.18 5/331 963712
/proc/meminfo: memFree=88534496/131524600 swapFree=130798616/131071996
[pid=961570] ppid=961567 vsize=19108176 memory=15110044 CPUtime=3600.09 cores=1,3
/proc/961570/stat : 961570 (java) S 961567 961570 960561 0 -1 1077936128 475851 0 0 0 359535 474 0 0 20 0 20 0 182795365 19566772224 3777511 134679101440 94263192047616 94263192051312 140728644755152 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94263192059128 94263192059920 94263199883264 140728644756486 140728644756576 140728644756576 140728644763592 0
/proc/961570/statm: 4777044 3777511 5932 1 0 4089486 0
[pid=961570/tid=961572] ppid=961567 vsize=19108176 memory=2768 CPUtime=3526.04 cores=1,3
/proc/961570/task/961572/stat : 961572 (java) R 961567 961570 960561 0 -1 4194368 214914 0 0 0 352521 83 0 0 20 0 20 0 182795365 19566772224 3777511 134679101440 94263192047616 94263192051312 140728644755152 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 4 0 0 94263192059128 94263192059920 94263199883264 140728644756486 140728644756576 140728644756576 140728644763592 0
[pid=961570/tid=961581] ppid=961567 vsize=19108176 memory=-9044459746194447340 CPUtime=0 cores=1,3
/proc/961570/task/961581/stat : 961581 (Finalizer) S 961567 961570 960561 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 182795368 19566772224 3777511 134679101440 94263192047616 94263192051312 140728644755152 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94263192059128 94263192059920 94263199883264 140728644756486 140728644756576 140728644756576 140728644763592 0
[pid=961570/tid=961588] ppid=961567 vsize=19108176 memory=5996392 CPUtime=0 cores=1,3
/proc/961570/task/961588/stat : 961588 (Common-Cleaner) S 961567 961570 960561 0 -1 1077936192 3869 0 0 0 0 0 0 0 20 0 20 0 182795368 19566772224 3777511 134679101440 94263192047616 94263192051312 140728644755152 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94263192059128 94263192059920 94263199883264 140728644756486 140728644756576 140728644756576 140728644763592 0
[pid=961570/tid=961590] ppid=961567 vsize=19108176 memory=2740 CPUtime=0 cores=1,3
/proc/961570/task/961590/stat : 961590 (Timer-0) S 961567 961570 960561 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 182795408 19566772224 3777511 134679101440 94263192047616 94263192051312 140728644755152 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94263192059128 94263192059920 94263199883264 140728644756486 140728644756576 140728644756576 140728644763592 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 15110044 KiB

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

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

# cumulated CPU time of all completed processes:  user=3595.5 s, system=4.79532 s

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

[startup+3581.11 s]*
/proc/loadavg: 4.15 4.19 4.18 5/313 963715
/proc/meminfo: memFree=88554000/131524600 swapFree=130798616/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): 3581.16
CPU time (s): 3600.29
CPU user time (s): 3595.5
CPU system time (s): 4.79532
CPU usage (%): 100.534
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 15110044

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.5
system time used= 4.79532
maximum resident set size= 15119944
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 479492
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3584
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 111716
involuntary context switches= 22196


# summary of solver processes directly reported to runsolver:
#   pid: 961570
#   total CPU time (s): 3600.29
#   total CPU user time (s): 3595.5
#   total CPU system time (s): 4.79532

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.92318 second user time and 18.6017 second system time

The end

Launcher Data 

Begin job on nodeC014 at 2024-07-18 14:39:35
IDJOB=4442864
IDBENCH=147855
IDSOLVER=3058
FILE ID=nodeC014/4442864-1721306362
RUNJOBID= nodeC014-1721305283-960573
SLURM_JOB_ID= 7542633
Free space on /tmp= 890068 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/roussel/normalized-pigeon-clauses-51-50.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4442864-1721306362/watcher-4442864-1721306362 -o /tmp/evaluation-result-4442864-1721306362/solver-4442864-1721306362 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721305283-960573 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4442864-1721306362.opb

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

MD5SUM BENCH= 160cae61f04d8ccee666d7a366e84df3
RANDOM SEED=195617796

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        107761752 kB
MemAvailable:   110876112 kB
Buffers:          430972 kB
Cached:          3487128 kB
SwapCached:        12900 kB
Active:          1343204 kB
Inactive:       21794080 kB
Active(anon):       9308 kB
Inactive(anon): 19230216 kB
Active(file):    1333896 kB
Inactive(file):  2563864 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       130798616 kB
Dirty:              2396 kB
Writeback:            40 kB
AnonPages:      19210364 kB
Mapped:            69372 kB
Shmem:             20340 kB
KReclaimable:     112492 kB
Slab:             211316 kB
SReclaimable:     112492 kB
SUnreclaim:        98824 kB
KernelStack:        5016 kB
PageTables:        48172 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:   25286252 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            35168 kB
HardwareCorrupted:     0 kB
AnonHugePages:  18851840 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:      232148 kB
DirectMap2M:    25755648 kB
DirectMap1G:    110100480 kB

Free space on /tmp at the end= 890064 MiB
End job on nodeC014 at 2024-07-18 15:39:16