Trace number 4459623

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.21 3526.74

General information on the benchmark

NamePB24/normalized-PB07/DEC-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_500_25_2_80.opb
MD5SUMf98457bb85703d2b548256a3e6b4fdef
Bench CategoryDEC-NLC (decision problem, non-linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark7.06734
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1000
Total number of constraints1502
Number of constraints which are clauses500
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints1001
Minimum length of a constraint2
Maximum length of a constraint1000
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 80
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 1000
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)31340
Sum of products size (including duplicates)62680
Number of different products15670
Sum of products size31340

Solver Data 

0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	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.09	c Free memory 		2106806208
0.00/0.09	c Max memory 		16282288128
0.00/0.09	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.13/0.12	--- Begin Solver configuration ---
0.13/0.12	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.12	Learn all clauses as in MiniSAT
0.13/0.12	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.12	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.12	No reason simplification
0.13/0.12	Glucose 2.1 dynamic restart strategy
0.13/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.13/0.12	timeout=2147483s
0.13/0.12	DB Simplification allowed=false
0.13/0.12	Listener: none
0.13/0.12	--- End Solver configuration ---
0.13/0.13	c Pseudo Boolean Optimization by upper bound
0.13/0.13	c --- Begin Solver configuration ---
0.13/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.13	c Learn all clauses as in MiniSAT
0.13/0.13	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.13	c No reason simplification
0.13/0.13	c Glucose 2.1 dynamic restart strategy
0.13/0.13	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.13/0.13	c timeout=2147483s
0.13/0.13	c DB Simplification allowed=false
0.13/0.13	c Listener: none
0.13/0.13	c --- End Solver configuration ---
0.13/0.13	c solving HOME/instance-4459623-1721932566.opb
0.13/0.13	c reading problem ... 
0.13/0.13	c  no objective function found
0.51/0.40	c ... done. Wall clock time 0.268s.
0.51/0.40	c declared #vars     1000
0.51/0.40	c internal #vars     16670
0.51/0.40	c #constraints  32843
0.51/0.40	c constraints type 
0.51/0.40	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 500
0.51/0.40	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1003
0.51/0.40	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 15670
0.51/0.40	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 15670
0.51/0.40	c 32843 constraints processed.
2.81/1.90	c cleaning 2523 clauses out of 5046 with flag 12640/5046
4.41/3.24	c cleaning 4155 clauses out of 8477 with flag 24998/11000
6.19/4.83	c cleaning 5661 clauses out of 11322 with flag 39575/18000
7.86/6.43	c cleaning 6711 clauses out of 13662 with flag 56338/26001
9.55/8.00	c cleaning 7955 clauses out of 15950 with flag 76004/35000
11.62/9.98	c cleaning 8930 clauses out of 17995 with flag 117251/45000
13.97/12.12	c cleaning 9975 clauses out of 20066 with flag 140972/56001
17.00/15.08	c cleaning 11105 clauses out of 22209 with flag 166563/68119
22.50/20.46	c cleaning 11900 clauses out of 23986 with flag 193166/81001
26.50/24.34	c cleaning 13080 clauses out of 26159 with flag 222228/95074
30.30/27.86	c cleaning 13936 clauses out of 28005 with flag 253697/110000
33.68/31.05	c cleaning 14992 clauses out of 30071 with flag 299321/126002
38.34/35.43	c cleaning 16017 clauses out of 32077 with flag 337906/143000
43.96/40.76	c cleaning 17023 clauses out of 34083 with flag 375121/161023
49.13/45.11	c cleaning 17910 clauses out of 36037 with flag 415317/180000
54.33/50.03	c cleaning 19061 clauses out of 38127 with flag 480185/200000
59.68/55.27	c cleaning 19989 clauses out of 40066 with flag 523424/221000
65.40/60.60	c cleaning 20956 clauses out of 42077 with flag 573645/243000
72.43/67.13	c cleaning 21990 clauses out of 44121 with flag 631080/266000
78.80/73.39	c cleaning 23013 clauses out of 46131 with flag 681336/290000
85.75/80.00	c cleaning 23951 clauses out of 48118 with flag 756616/315000
93.75/87.67	c cleaning 25085 clauses out of 50188 with flag 810892/341021
102.65/95.11	c cleaning 26031 clauses out of 52082 with flag 885795/368000
111.05/103.39	c cleaning 26991 clauses out of 54051 with flag 944333/396000
119.90/111.96	c cleaning 27981 clauses out of 56060 with flag 1026328/425000
130.04/121.70	c cleaning 28961 clauses out of 58079 with flag 1088924/455000
140.09/131.47	c cleaning 29954 clauses out of 60119 with flag 1177239/486001
152.48/142.03	c cleaning 31016 clauses out of 62164 with flag 1255432/518000
163.23/152.46	c cleaning 32095 clauses out of 64196 with flag 1326324/551048
175.78/164.63	c cleaning 32920 clauses out of 66054 with flag 1417881/585001
189.12/177.61	c cleaning 33960 clauses out of 68133 with flag 1506734/620000
202.85/190.80	c cleaning 35026 clauses out of 70179 with flag 1584431/656006
216.81/204.45	c cleaning 36056 clauses out of 72156 with flag 1678999/693009
231.12/218.25	c cleaning 37027 clauses out of 74091 with flag 1778761/731000
247.69/234.40	c cleaning 37990 clauses out of 76064 with flag 1877871/770000
265.59/250.54	c cleaning 38951 clauses out of 78075 with flag 1981833/810001
282.30/266.83	c cleaning 39973 clauses out of 80124 with flag 2106037/851001
301.32/285.57	c cleaning 40970 clauses out of 82150 with flag 2218739/893000
321.55/305.27	c cleaning 42047 clauses out of 84180 with flag 2328481/936000
342.18/325.37	c cleaning 43020 clauses out of 86133 with flag 2467360/980000
364.34/347.15	c cleaning 44007 clauses out of 88113 with flag 2581677/1025000
388.77/370.91	c cleaning 44929 clauses out of 90107 with flag 2717499/1071001
413.71/395.59	c cleaning 46018 clauses out of 92177 with flag 2853426/1118000
439.78/421.16	c cleaning 46977 clauses out of 94159 with flag 2978295/1166000
468.13/448.85	c cleaning 48014 clauses out of 96184 with flag 3125851/1215002
499.73/478.25	c cleaning 49010 clauses out of 98169 with flag 3275978/1265001
529.97/508.02	c cleaning 50052 clauses out of 100174 with flag 3422494/1316016
561.50/539.26	c cleaning 50945 clauses out of 102106 with flag 3571691/1368000
596.37/573.41	c cleaning 52047 clauses out of 104161 with flag 3748970/1421000
631.09/607.40	c cleaning 52939 clauses out of 106114 with flag 3926120/1475000
669.40/645.12	c cleaning 53960 clauses out of 108175 with flag 4107187/1530000
708.93/684.23	c cleaning 55069 clauses out of 110222 with flag 4286887/1586007
752.77/727.07	c cleaning 55963 clauses out of 112147 with flag 4496670/1643001
800.18/773.95	c cleaning 57034 clauses out of 114183 with flag 4731000/1701000
847.57/820.67	c cleaning 58024 clauses out of 116152 with flag 5005998/1760003
888.03/858.15	c cleaning 59005 clauses out of 118125 with flag 5358786/1820000
910.93/880.24	c cleaning 59976 clauses out of 120120 with flag 5646632/1881000
954.11/922.99	c cleaning 61032 clauses out of 122144 with flag 5990308/1943000
1006.62/975.03	c cleaning 61988 clauses out of 124113 with flag 6301447/2006001
1059.70/1027.45	c cleaning 63010 clauses out of 126124 with flag 6595651/2070000
1114.33/1081.59	c cleaning 63993 clauses out of 128114 with flag 6849753/2135000
1167.50/1134.37	c cleaning 64950 clauses out of 130121 with flag 7111882/2201000
1221.70/1188.14	c cleaning 66002 clauses out of 132172 with flag 7343398/2268001
1277.77/1243.42	c cleaning 66980 clauses out of 134170 with flag 7584675/2336001
1332.75/1297.64	c cleaning 68069 clauses out of 136201 with flag 7809272/2405012
1393.21/1354.88	c cleaning 68997 clauses out of 138120 with flag 8042790/2475000
1449.27/1410.24	c cleaning 69944 clauses out of 140123 with flag 8268902/2546000
1508.69/1468.89	c cleaning 70998 clauses out of 142179 with flag 8477073/2618000
1569.13/1528.52	c cleaning 72007 clauses out of 144182 with flag 8696044/2691001
1627.24/1586.65	c cleaning 72981 clauses out of 146175 with flag 8912965/2765001
1687.40/1646.24	c cleaning 73964 clauses out of 148193 with flag 9127198/2840000
1749.39/1707.88	c cleaning 74972 clauses out of 150229 with flag 9347623/2916000
1812.01/1770.06	c cleaning 76046 clauses out of 152258 with flag 9568009/2993001
1874.08/1831.60	c cleaning 76999 clauses out of 154212 with flag 9780430/3071001
1943.93/1897.82	c cleaning 78043 clauses out of 156213 with flag 9981426/3150001
2011.82/1964.96	c cleaning 79003 clauses out of 158169 with flag 10213308/3230000
2078.51/2031.02	c cleaning 80002 clauses out of 160166 with flag 10432530/3311000
2150.65/2101.81	c cleaning 81097 clauses out of 162194 with flag 10644126/3393030
2219.39/2169.64	c cleaning 81980 clauses out of 164068 with flag 10855487/3476001
2286.07/2235.92	c cleaning 82991 clauses out of 166087 with flag 11084823/3560000
2357.23/2306.58	c cleaning 84075 clauses out of 168150 with flag 11293869/3645054
2427.46/2376.25	c cleaning 84935 clauses out of 170022 with flag 11520431/3731001
2505.25/2450.40	c cleaning 85971 clauses out of 172086 with flag 11733177/3818000
2578.96/2523.24	c cleaning 86959 clauses out of 174116 with flag 11956444/3906001
2650.05/2593.81	c cleaning 87996 clauses out of 176157 with flag 12190103/3995001
2727.03/2669.97	c cleaning 89129 clauses out of 178258 with flag 12409049/4085098
2803.06/2744.48	c cleaning 89922 clauses out of 180032 with flag 12633329/4176001
2876.93/2817.73	c cleaning 90968 clauses out of 182109 with flag 12854620/4268000
2954.64/2895.08	c cleaning 92010 clauses out of 184142 with flag 13093672/4361001
3042.13/2977.57	c cleaning 93001 clauses out of 186132 with flag 13317076/4455001
3122.76/3057.73	c cleaning 94018 clauses out of 188131 with flag 13547474/4550001
3205.34/3139.85	c cleaning 95009 clauses out of 190112 with flag 13781037/4646000
3292.99/3226.68	c cleaning 95966 clauses out of 192103 with flag 14037177/4743000
3384.50/3317.11	c cleaning 97004 clauses out of 194138 with flag 14275432/4841001
3473.91/3405.26	c cleaning 98020 clauses out of 196133 with flag 14517228/4940000
3564.61/3495.36	c cleaning 98993 clauses out of 198114 with flag 14759029/5040001
3600.02/3526.61	c starts		: 1
3600.02/3526.61	c timeout
3600.02/3526.62	c conflicts		: 5079303
3600.02/3526.62	c decisions		: 60199310
3600.02/3526.62	c propagations		: 154070705
3600.02/3526.62	c inspects		: 13577758983
3600.02/3526.62	c shortcuts		: 0
3600.02/3526.62	c learnt literals	: 0
3600.02/3526.62	c learnt binary clauses	: 0
3600.02/3526.62	c learnt ternary clauses	: 0
3600.02/3526.62	c learnt constraints	: 5079303
3600.02/3526.62	c ignored constraints	: 0
3600.02/3526.62	c root simplifications	: 0
3600.02/3526.62	c removed literals (reason simplification)	: 0
3600.02/3526.62	c reason swapping (by a shorter reason)	: 0
3600.02/3526.62	c Calls to reduceDB	: 96
3600.02/3526.62	c Number of update (reduction) of LBD	: 549549
3600.02/3526.62	c Imported unit clauses	: 0
3600.02/3526.62	c No decision after first conflict	: false
3600.02/3526.62	c number of reductions to clauses (during analyze)	: 0
3600.02/3526.62	c number of learned constraints concerned by reduction	: 0
3600.02/3526.62	c number of learning phase by resolution	: 0
3600.02/3526.62	c number of learning phase by cutting planes	: 0
3600.02/3526.62	c number of rounding to 1 operations	: 0
3600.02/3526.62	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.02/3526.62	c number of reductions of the coefficients by power 2 	: 0
3600.02/3526.62	c number of right shift for reduction by power 2 	: 0
3600.02/3526.62	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.02/3526.62	c number of ending skipping 	: 0
3600.02/3526.62	c number of internal skipping 	: 0
3600.02/3526.62	c number of derivation steps 	: 0
3600.02/3526.62	c number of skipped derivation steps 	: 0
3600.02/3526.62	c number of remaining unassigned 	: 0
3600.02/3526.62	c number of remaining assigned 	: 0
3600.02/3526.62	c number of falsified literals weakened from reason	: 0
3600.02/3526.62	c number of falsified literals weakened from conflict	: 0
3600.02/3526.62	c time for arithmetic operations	: 0
3600.02/3526.63	c minimum degree of deleted constraints	: null
3600.02/3526.63	c maximum degree of deleted constraints	: null
3600.02/3526.63	c number of deleted constraints	: 0
3600.02/3526.63	c speed (assignments/second)	: 43692.879343886656
3600.02/3526.63	c non guided choices	: 16127
3600.02/3526.68	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 138423
3600.02/3526.68	s UNKNOWN
3600.02/3526.68	c Total wall clock time (in seconds): 3526.558

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63968 MiB (62294 MiB free)
  memory of node 1: 64473 MiB (63233 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459623-1721932566/watcher-4459623-1721932566 -o /tmp/evaluation-result-4459623-1721932566/solver-4459623-1721932566 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721932566-301992 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4459623-1721932566.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.100254 s]*
/proc/loadavg: 0.14 0.09 0.09 9/281 302063
/proc/meminfo: memFree=128463196/131524600 swapFree=131056028/131071996
[pid=302040] ppid=302037 vsize=18975048 memory=62616 CPUtime=0.13 cores=4,6
/proc/302040/stat : 302040 (java) S 302037 302040 301981 0 -1 1077936128 7188 0 0 0 11 2 0 0 20 0 18 0 29779504 19430449152 15654 134679101440 94274329743360 94274329747056 140722933708064 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94274329754872 94274329755664 94274342998016 140722933715974 140722933716064 140722933716064 140722933723080 0
/proc/302040/statm: 4743762 15654 5595 1 0 549307 0
[pid=302040/tid=302042] ppid=302037 vsize=18975048 memory=4026532140 CPUtime=0.07 cores=4,6
/proc/302040/task/302042/stat : 302042 (java) R 302037 302040 301981 0 -1 4194368 5742 0 0 0 6 1 0 0 20 0 18 0 29779505 19430449152 15654 134679101440 94274329743360 94274329747056 140722933708064 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94274329754872 94274329755664 94274342998016 140722933715974 140722933716064 140722933716064 140722933723080 0
[pid=302040/tid=302051] ppid=302037 vsize=18975048 memory=237131424244 CPUtime=0 cores=4,6
/proc/302040/task/302051/stat : 302051 (Finalizer) S 302037 302040 301981 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 29779508 19430449152 15654 134679101440 94274329743360 94274329747056 140722933708064 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94274329754872 94274329755664 94274342998016 140722933715974 140722933716064 140722933716064 140722933723080 0
[pid=302040/tid=302058] ppid=302037 vsize=18975048 memory=1992859 CPUtime=0 cores=4,6
/proc/302040/task/302058/stat : 302058 (Common-Cleaner) S 302037 302040 301981 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 29779508 19430449152 15654 134679101440 94274329743360 94274329747056 140722933708064 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94274329754872 94274329755664 94274342998016 140722933715974 140722933716064 140722933716064 140722933723080 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 62616 KiB

[startup+0.207118 s]*
/proc/loadavg: 0.14 0.09 0.09 9/302 302091
/proc/meminfo: memFree=128411644/131524600 swapFree=131056028/131071996
[pid=302040] ppid=302037 vsize=18975048 memory=73592 CPUtime=0.32 cores=4,6
/proc/302040/stat : 302040 (java) S 302037 302040 301981 0 -1 1077936128 7666 0 0 0 30 2 0 0 20 0 18 0 29779504 19430449152 18398 134679101440 94274329743360 94274329747056 140722933708064 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94274329754872 94274329755664 94274342998016 140722933715974 140722933716064 140722933716064 140722933723080 0
/proc/302040/statm: 4743762 18398 5856 1 0 549602 0
[pid=302040/tid=302042] ppid=302037 vsize=18975048 memory=3472328300254199927 CPUtime=0.19 cores=4,6
/proc/302040/task/302042/stat : 302042 (java) R 302037 302040 301981 0 -1 4194368 5938 0 0 0 17 2 0 0 20 0 18 0 29779505 19430449152 18398 134679101440 94274329743360 94274329747056 140722933708064 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94274329754872 94274329755664 94274342998016 140722933715974 140722933716064 140722933716064 140722933723080 0
[pid=302040/tid=302051] ppid=302037 vsize=18975048 memory=1991463 CPUtime=0 cores=4,6
/proc/302040/task/302051/stat : 302051 (Finalizer) S 302037 302040 301981 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 29779508 19430449152 18398 134679101440 94274329743360 94274329747056 140722933708064 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94274329754872 94274329755664 94274342998016 140722933715974 140722933716064 140722933716064 140722933723080 0
[pid=302040/tid=302058] ppid=302037 vsize=18975048 memory=14134441840739963 CPUtime=0 cores=4,6
/proc/302040/task/302058/stat : 302058 (Common-Cleaner) S 302037 302040 301981 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 29779508 19430449152 18398 134679101440 94274329743360 94274329747056 140722933708064 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94274329754872 94274329755664 94274342998016 140722933715974 140722933716064 140722933716064 140722933723080 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 73592 KiB

[startup+0.308115 s]*
/proc/loadavg: 0.14 0.09 0.09 8/309 302109
/proc/meminfo: memFree=128333136/131524600 swapFree=131056028/131071996
[pid=302040] ppid=302037 vsize=18975048 memory=128636 CPUtime=0.51 cores=4,6
/proc/302040/stat : 302040 (java) S 302037 302040 301981 0 -1 1077936128 9465 0 0 0 47 4 0 0 20 0 18 0 29779504 19430449152 32159 134679101440 94274329743360 94274329747056 140722933708064 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94274329754872 94274329755664 94274342998016 140722933715974 140722933716064 140722933716064 140722933723080 0
/proc/302040/statm: 4743762 32159 5866 1 0 550475 0
[pid=302040/tid=302042] ppid=302037 vsize=18975048 memory=-8889377145338110652 CPUtime=0.27 cores=4,6
/proc/302040/task/302042/stat : 302042 (java) R 302037 302040 301981 0 -1 4194368 5964 0 0 0 24 3 0 0 20 0 18 0 29779505 19430449152 32159 134679101440 94274329743360 94274329747056 140722933708064 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94274329754872 94274329755664 94274342998016 140722933715974 140722933716064 140722933716064 140722933723080 0
[pid=302040/tid=302051] ppid=302037 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/302040/task/302051/stat : 302051 (Finalizer) S 302037 302040 301981 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 29779508 19430449152 32159 134679101440 94274329743360 94274329747056 140722933708064 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94274329754872 94274329755664 94274342998016 140722933715974 140722933716064 140722933716064 140722933723080 0
[pid=302040/tid=302058] ppid=302037 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/302040/task/302058/stat : 302058 (Common-Cleaner) S 302037 302040 301981 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 29779508 19430449152 32159 134679101440 94274329743360 94274329747056 140722933708064 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94274329754872 94274329755664 94274342998016 140722933715974 140722933716064 140722933716064 140722933723080 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 128636 KiB

[startup+0.70412 s]
/proc/loadavg: 0.14 0.09 0.09 11/328 302128
/proc/meminfo: memFree=128226524/131524600 swapFree=131056028/131071996
[pid=302040] ppid=302037 vsize=19108176 memory=175992 CPUtime=1.26 cores=4,6
/proc/302040/stat : 302040 (java) S 302037 302040 301981 0 -1 1077936128 10096 0 0 0 121 5 0 0 20 0 20 0 29779504 19566772224 43998 134679101440 94274329743360 94274329747056 140722933708064 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94274329754872 94274329755664 94274342998016 140722933715974 140722933716064 140722933716064 140722933723080 0
/proc/302040/statm: 4777044 43998 5881 1 0 551356 0
[pid=302040/tid=302042] ppid=302037 vsize=19108176 memory=77172 CPUtime=0.63 cores=4,6
/proc/302040/task/302042/stat : 302042 (java) R 302037 302040 301981 0 -1 4194368 6029 0 0 0 59 4 0 0 20 0 20 0 29779505 19566772224 43998 134679101440 94274329743360 94274329747056 140722933708064 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94274329754872 94274329755664 94274342998016 140722933715974 140722933716064 140722933716064 140722933723080 0
[pid=302040/tid=302051] ppid=302037 vsize=19108176 memory=12936 CPUtime=0 cores=4,6
/proc/302040/task/302051/stat : 302051 (Finalizer) S 302037 302040 301981 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29779508 19566772224 43998 134679101440 94274329743360 94274329747056 140722933708064 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94274329754872 94274329755664 94274342998016 140722933715974 140722933716064 140722933716064 140722933723080 0
[pid=302040/tid=302058] ppid=302037 vsize=19108176 memory=2284 CPUtime=0 cores=4,6
/proc/302040/task/302058/stat : 302058 (Common-Cleaner) S 302037 302040 301981 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 29779508 19566772224 43998 134679101440 94274329743360 94274329747056 140722933708064 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94274329754872 94274329755664 94274342998016 140722933715974 140722933716064 140722933716064 140722933723080 0
[pid=302040/tid=302128] ppid=302037 vsize=19108176 memory=25588 CPUtime=0 cores=4,6
/proc/302040/task/302128/stat : 302128 (Timer-0) S 302037 302040 301981 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29779545 19566772224 43998 134679101440 94274329743360 94274329747056 140722933708064 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94274329754872 94274329755664 94274342998016 140722933715974 140722933716064 140722933716064 140722933723080 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 175992 KiB

[startup+1.50024 s]
/proc/loadavg: 0.14 0.09 0.09 6/306 302139
/proc/meminfo: memFree=128220216/131524600 swapFree=131056028/131071996
[pid=302040] ppid=302037 vsize=19108176 memory=204332 CPUtime=2.4 cores=4,6
/proc/302040/stat : 302040 (java) S 302037 302040 301981 0 -1 1077936128 13496 0 0 0 234 6 0 0 20 0 20 0 29779504 19566772224 51083 134679101440 94274329743360 94274329747056 140722933708064 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94274329754872 94274329755664 94274342998016 140722933715974 140722933716064 140722933716064 140722933723080 0
/proc/302040/statm: 4777044 51083 5881 1 0 553333 0
[pid=302040/tid=302042] ppid=302037 vsize=19108176 memory=12936 CPUtime=1.38 cores=4,6
/proc/302040/task/302042/stat : 302042 (java) R 302037 302040 301981 0 -1 4194368 6037 0 0 0 134 4 0 0 20 0 20 0 29779505 19566772224 51083 134679101440 94274329743360 94274329747056 140722933708064 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94274329754872 94274329755664 94274342998016 140722933715974 140722933716064 140722933716064 140722933723080 0
[pid=302040/tid=302051] ppid=302037 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/302040/task/302051/stat : 302051 (Finalizer) S 302037 302040 301981 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29779508 19566772224 51083 134679101440 94274329743360 94274329747056 140722933708064 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94274329754872 94274329755664 94274342998016 140722933715974 140722933716064 140722933716064 140722933723080 0
[pid=302040/tid=302058] ppid=302037 vsize=19108176 memory=2284 CPUtime=0 cores=4,6
/proc/302040/task/302058/stat : 302058 (Common-Cleaner) S 302037 302040 301981 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 29779508 19566772224 51083 134679101440 94274329743360 94274329747056 140722933708064 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94274329754872 94274329755664 94274342998016 140722933715974 140722933716064 140722933716064 140722933723080 0
[pid=302040/tid=302128] ppid=302037 vsize=19108176 memory=25588 CPUtime=0 cores=4,6
/proc/302040/task/302128/stat : 302128 (Timer-0) S 302037 302040 301981 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29779545 19566772224 51083 134679101440 94274329743360 94274329747056 140722933708064 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94274329754872 94274329755664 94274342998016 140722933715974 140722933716064 140722933716064 140722933723080 0
Current children cumulated CPU time: 2.4 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 204332 KiB

[startup+3.10612 s]
/proc/loadavg: 0.14 0.09 0.09 5/282 302196
/proc/meminfo: memFree=128156580/131524600 swapFree=131056028/131071996
[pid=302040] ppid=302037 vsize=19108176 memory=266836 CPUtime=4.32 cores=4,6
/proc/302040/stat : 302040 (java) S 302037 302040 301981 0 -1 1077936128 16477 0 0 0 424 8 0 0 20 0 20 0 29779504 19566772224 66709 134679101440 94274329743360 94274329747056 140722933708064 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94274329754872 94274329755664 94274342998016 140722933715974 140722933716064 140722933716064 140722933723080 0
/proc/302040/statm: 4777044 66709 5897 1 0 553396 0
[pid=302040/tid=302042] ppid=302037 vsize=19108176 memory=0 CPUtime=2.91 cores=4,6
/proc/302040/task/302042/stat : 302042 (java) R 302037 302040 301981 0 -1 4194368 6183 0 0 0 287 4 0 0 20 0 20 0 29779505 19566772224 66709 134679101440 94274329743360 94274329747056 140722933708064 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94274329754872 94274329755664 94274342998016 140722933715974 140722933716064 140722933716064 140722933723080 0
[pid=302040/tid=302051] ppid=302037 vsize=19108176 memory=-8672361037805822652 CPUtime=0 cores=4,6
/proc/302040/task/302051/stat : 302051 (Finalizer) S 302037 302040 301981 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29779508 19566772224 66709 134679101440 94274329743360 94274329747056 140722933708064 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94274329754872 94274329755664 94274342998016 140722933715974 140722933716064 140722933716064 140722933723080 0
[pid=302040/tid=302058] ppid=302037 vsize=19108176 memory=12936 CPUtime=0 cores=4,6
/proc/302040/task/302058/stat : 302058 (Common-Cleaner) S 302037 302040 301981 0 -1 1077936192 57 0 0 0 0 0 0 0 20 0 20 0 29779508 19566772224 66709 134679101440 94274329743360 94274329747056 140722933708064 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94274329754872 94274329755664 94274342998016 140722933715974 140722933716064 140722933716064 140722933723080 0
[pid=302040/tid=302128] ppid=302037 vsize=19108176 memory=2284 CPUtime=0 cores=4,6
/proc/302040/task/302128/stat : 302128 (Timer-0) S 302037 302040 301981 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29779545 19566772224 66709 134679101440 94274329743360 94274329747056 140722933708064 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94274329754872 94274329755664 94274342998016 140722933715974 140722933716064 140722933716064 140722933723080 0
Current children cumulated CPU time: 4.32 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 266836 KiB

[startup+6.30111 s]
/proc/loadavg: 0.61 0.19 0.12 5/332 302330
/proc/meminfo: memFree=126984552/131524600 swapFree=131056028/131071996
[pid=302040] ppid=302037 vsize=19108176 memory=659536 CPUtime=7.76 cores=4,6
/proc/302040/stat : 302040 (java) S 302037 302040 301981 0 -1 1077936128 18877 0 0 0 760 16 0 0 20 0 20 0 29779504 19566772224 164884 134679101440 94274329743360 94274329747056 140722933708064 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94274329754872 94274329755664 94274342998016 140722933715974 140722933716064 140722933716064 140722933723080 0
/proc/302040/statm: 4777044 164884 5913 1 0 772718 0
[pid=302040/tid=302042] ppid=302037 vsize=19108176 memory=0 CPUtime=5.82 cores=4,6
/proc/302040/task/302042/stat : 302042 (java) R 302037 302040 301981 0 -1 4194368 6848 0 0 0 576 6 0 0 20 0 20 0 29779505 19566772224 164884 134679101440 94274329743360 94274329747056 140722933708064 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94274329754872 94274329755664 94274342998016 140722933715974 140722933716064 140722933716064 140722933723080 0
[pid=302040/tid=302051] ppid=302037 vsize=19108176 memory=12936 CPUtime=0 cores=4,6
/proc/302040/task/302051/stat : 302051 (Finalizer) S 302037 302040 301981 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29779508 19566772224 164884 134679101440 94274329743360 94274329747056 140722933708064 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94274329754872 94274329755664 94274342998016 140722933715974 140722933716064 140722933716064 140722933723080 0
[pid=302040/tid=302058] ppid=302037 vsize=19108176 memory=148 CPUtime=0 cores=4,6
/proc/302040/task/302058/stat : 302058 (Common-Cleaner) S 302037 302040 301981 0 -1 1077936192 57 0 0 0 0 0 0 0 20 0 20 0 29779508 19566772224 164884 134679101440 94274329743360 94274329747056 140722933708064 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94274329754872 94274329755664 94274342998016 140722933715974 140722933716064 140722933716064 140722933723080 0
[pid=302040/tid=302128] ppid=302037 vsize=19108176 memory=13520 CPUtime=0 cores=4,6
/proc/302040/task/302128/stat : 302128 (Timer-0) S 302037 302040 301981 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29779545 19566772224 164884 134679101440 94274329743360 94274329747056 140722933708064 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94274329754872 94274329755664 94274342998016 140722933715974 140722933716064 140722933716064 140722933723080 0
Current children cumulated CPU time: 7.76 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 659536 KiB

[startup+12.7002 s]
/proc/loadavg: 1.04 0.29 0.16 5/332 302331
/proc/meminfo: memFree=124834824/131524600 swapFree=131056028/131071996
[pid=302040] ppid=302037 vsize=19108176 memory=1359568 CPUtime=14.56 cores=4,6
/proc/302040/stat : 302040 (java) S 302037 302040 301981 0 -1 1077936128 20247 0 0 0 1425 31 0 0 20 0 20 0 29779504 19566772224 339892 134679101440 94274329743360 94274329747056 140722933708064 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94274329754872 94274329755664 94274342998016 140722933715974 140722933716064 140722933716064 140722933723080 0
/proc/302040/statm: 4777044 339892 5913 1 0 1146632 0
[pid=302040/tid=302042] ppid=302037 vsize=19108176 memory=0 CPUtime=11.75 cores=4,6
/proc/302040/task/302042/stat : 302042 (java) R 302037 302040 301981 0 -1 4194368 7033 0 0 0 1164 11 0 0 20 0 20 0 29779505 19566772224 339892 134679101440 94274329743360 94274329747056 140722933708064 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94274329754872 94274329755664 94274342998016 140722933715974 140722933716064 140722933716064 140722933723080 0
[pid=302040/tid=302051] ppid=302037 vsize=19108176 memory=12936 CPUtime=0 cores=4,6
/proc/302040/task/302051/stat : 302051 (Finalizer) S 302037 302040 301981 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29779508 19566772224 339892 134679101440 94274329743360 94274329747056 140722933708064 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94274329754872 94274329755664 94274342998016 140722933715974 140722933716064 140722933716064 140722933723080 0
[pid=302040/tid=302058] ppid=302037 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/302040/task/302058/stat : 302058 (Common-Cleaner) S 302037 302040 301981 0 -1 1077936192 57 0 0 0 0 0 0 0 20 0 20 0 29779508 19566772224 339892 134679101440 94274329743360 94274329747056 140722933708064 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94274329754872 94274329755664 94274342998016 140722933715974 140722933716064 140722933716064 140722933723080 0
[pid=302040/tid=302128] ppid=302037 vsize=19108176 memory=1359568 CPUtime=0 cores=4,6
/proc/302040/task/302128/stat : 302128 (Timer-0) S 302037 302040 301981 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29779545 19566772224 339892 134679101440 94274329743360 94274329747056 140722933708064 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94274329754872 94274329755664 94274342998016 140722933715974 140722933716064 140722933716064 140722933723080 0
Current children cumulated CPU time: 14.56 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1359568 KiB

[startup+25.5003 s]
/proc/loadavg: 1.70 0.47 0.22 6/333 302334
/proc/meminfo: memFree=122192696/131524600 swapFree=131056028/131071996
[pid=302040] ppid=302037 vsize=19108176 memory=1914780 CPUtime=27.84 cores=4,6
/proc/302040/stat : 302040 (java) S 302037 302040 301981 0 -1 1077936128 23423 0 0 0 2741 43 0 0 20 0 20 0 29779504 19566772224 478695 134679101440 94274329743360 94274329747056 140722933708064 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94274329754872 94274329755664 94274342998016 140722933715974 140722933716064 140722933716064 140722933723080 0
/proc/302040/statm: 4777044 478695 5913 1 0 1146634 0
[pid=302040/tid=302042] ppid=302037 vsize=19108176 memory=1748884 CPUtime=24 cores=4,6
/proc/302040/task/302042/stat : 302042 (java) R 302037 302040 301981 0 -1 4194368 8238 0 0 0 2389 11 0 0 20 0 20 0 29779505 19566772224 478695 134679101440 94274329743360 94274329747056 140722933708064 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94274329754872 94274329755664 94274342998016 140722933715974 140722933716064 140722933716064 140722933723080 0
[pid=302040/tid=302051] ppid=302037 vsize=19108176 memory=1359568 CPUtime=0 cores=4,6
/proc/302040/task/302051/stat : 302051 (Finalizer) S 302037 302040 301981 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29779508 19566772224 478695 134679101440 94274329743360 94274329747056 140722933708064 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94274329754872 94274329755664 94274342998016 140722933715974 140722933716064 140722933716064 140722933723080 0
[pid=302040/tid=302058] ppid=302037 vsize=19108176 memory=2561 CPUtime=0 cores=4,6
/proc/302040/task/302058/stat : 302058 (Common-Cleaner) S 302037 302040 301981 0 -1 1077936192 57 0 0 0 0 0 0 0 20 0 20 0 29779508 19566772224 478695 134679101440 94274329743360 94274329747056 140722933708064 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94274329754872 94274329755664 94274342998016 140722933715974 140722933716064 140722933716064 140722933723080 0
[pid=302040/tid=302128] ppid=302037 vsize=19108176 memory=33 CPUtime=0 cores=4,6
/proc/302040/task/302128/stat : 302128 (Timer-0) S 302037 302040 301981 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29779545 19566772224 478695 134679101440 94274329743360 94274329747056 140722933708064 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94274329754872 94274329755664 94274342998016 140722933715974 140722933716064 140722933716064 140722933723080 0
Current children cumulated CPU time: 27.84 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1914780 KiB

[startup+51.1057 s]
/proc/loadavg: 2.56 0.77 0.33 5/333 302338
/proc/meminfo: memFree=117449904/131524600 swapFree=131056028/131071996
[pid=302040] ppid=302037 vsize=19108176 memory=3500244 CPUtime=55.42 cores=4,6
/proc/302040/stat : 302040 (java) S 302037 302040 301981 0 -1 1077936128 46851 0 0 0 5463 79 0 0 20 0 20 0 29779504 19566772224 875061 134679101440 94274329743360 94274329747056 140722933708064 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94274329754872 94274329755664 94274342998016 140722933715974 140722933716064 140722933716064 140722933723080 0
/proc/302040/statm: 4777044 875061 5913 1 0 1472984 0
[pid=302040/tid=302042] ppid=302037 vsize=19108176 memory=3337112 CPUtime=48.05 cores=4,6
/proc/302040/task/302042/stat : 302042 (java) R 302037 302040 301981 0 -1 4194368 11860 0 0 0 4786 19 0 0 20 0 20 0 29779505 19566772224 875061 134679101440 94274329743360 94274329747056 140722933708064 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94274329754872 94274329755664 94274342998016 140722933715974 140722933716064 140722933716064 140722933723080 0
[pid=302040/tid=302051] ppid=302037 vsize=19108176 memory=12936 CPUtime=0 cores=4,6
/proc/302040/task/302051/stat : 302051 (Finalizer) S 302037 302040 301981 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29779508 19566772224 875061 134679101440 94274329743360 94274329747056 140722933708064 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94274329754872 94274329755664 94274342998016 140722933715974 140722933716064 140722933716064 140722933723080 0

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

/proc/302040/task/302051/stat : 302051 (Finalizer) S 302037 302040 301981 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29779508 19566772224 3738887 134679101440 94274329743360 94274329747056 140722933708064 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94274329754872 94274329755664 94274342998016 140722933715974 140722933716064 140722933716064 140722933723080 0
[pid=302040/tid=302058] ppid=302037 vsize=19108176 memory=14955548 CPUtime=0 cores=4,6
/proc/302040/task/302058/stat : 302058 (Common-Cleaner) S 302037 302040 301981 0 -1 1077936192 2026 0 0 0 0 0 0 0 20 0 20 0 29779508 19566772224 3738887 134679101440 94274329743360 94274329747056 140722933708064 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94274329754872 94274329755664 94274342998016 140722933715974 140722933716064 140722933716064 140722933723080 0
[pid=302040/tid=302128] ppid=302037 vsize=19108176 memory=13520 CPUtime=0 cores=4,6
/proc/302040/task/302128/stat : 302128 (Timer-0) S 302037 302040 301981 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29779545 19566772224 3738887 134679101440 94274329743360 94274329747056 140722933708064 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94274329754872 94274329755664 94274342998016 140722933715974 140722933716064 140722933716064 140722933723080 0
Current children cumulated CPU time: 3227.92 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14955548 KiB

[startup+3222.3 s]
/proc/loadavg: 4.15 4.22 4.10 5/334 304032
/proc/meminfo: memFree=85315148/131524600 swapFree=131056028/131071996
[pid=302040] ppid=302037 vsize=19108176 memory=14955572 CPUtime=3288.7 cores=4,6
/proc/302040/stat : 302040 (java) S 302037 302040 301981 0 -1 1077936128 446598 0 0 0 328400 470 0 0 20 0 20 0 29779504 19566772224 3738893 134679101440 94274329743360 94274329747056 140722933708064 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94274329754872 94274329755664 94274342998016 140722933715974 140722933716064 140722933716064 140722933723080 0
/proc/302040/statm: 4777044 3738893 5910 1 0 4091231 0
[pid=302040/tid=302042] ppid=302037 vsize=19108176 memory=14955548 CPUtime=3139.52 cores=4,6
/proc/302040/task/302042/stat : 302042 (java) R 302037 302040 301981 0 -1 4194368 170326 0 0 0 313864 88 0 0 20 0 20 0 29779505 19566772224 3738893 134679101440 94274329743360 94274329747056 140722933708064 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94274329754872 94274329755664 94274342998016 140722933715974 140722933716064 140722933716064 140722933723080 0
[pid=302040/tid=302051] ppid=302037 vsize=19108176 memory=5552 CPUtime=0 cores=4,6
/proc/302040/task/302051/stat : 302051 (Finalizer) S 302037 302040 301981 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29779508 19566772224 3738893 134679101440 94274329743360 94274329747056 140722933708064 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94274329754872 94274329755664 94274342998016 140722933715974 140722933716064 140722933716064 140722933723080 0
[pid=302040/tid=302058] ppid=302037 vsize=19108176 memory=14955548 CPUtime=0 cores=4,6
/proc/302040/task/302058/stat : 302058 (Common-Cleaner) S 302037 302040 301981 0 -1 1077936192 2026 0 0 0 0 0 0 0 20 0 20 0 29779508 19566772224 3738893 134679101440 94274329743360 94274329747056 140722933708064 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94274329754872 94274329755664 94274342998016 140722933715974 140722933716064 140722933716064 140722933723080 0
[pid=302040/tid=302128] ppid=302037 vsize=19108176 memory=14955548 CPUtime=0 cores=4,6
/proc/302040/task/302128/stat : 302128 (Timer-0) S 302037 302040 301981 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29779545 19566772224 3738893 134679101440 94274329743360 94274329747056 140722933708064 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94274329754872 94274329755664 94274342998016 140722933715974 140722933716064 140722933716064 140722933723080 0
Current children cumulated CPU time: 3288.7 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14955572 KiB

[startup+3282.3 s]
/proc/loadavg: 4.19 4.22 4.11 5/336 304101
/proc/meminfo: memFree=84218108/131524600 swapFree=131056028/131071996
[pid=302040] ppid=302037 vsize=19108176 memory=14955580 CPUtime=3349.75 cores=4,6
/proc/302040/stat : 302040 (java) S 302037 302040 301981 0 -1 1077936128 452515 0 0 0 334502 473 0 0 20 0 20 0 29779504 19566772224 3738895 134679101440 94274329743360 94274329747056 140722933708064 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94274329754872 94274329755664 94274342998016 140722933715974 140722933716064 140722933716064 140722933723080 0
/proc/302040/statm: 4777044 3738895 5910 1 0 4091232 0
[pid=302040/tid=302042] ppid=302037 vsize=19108176 memory=14955576 CPUtime=3198.17 cores=4,6
/proc/302040/task/302042/stat : 302042 (java) R 302037 302040 301981 0 -1 4194368 172328 0 0 0 319729 88 0 0 20 0 20 0 29779505 19566772224 3738895 134679101440 94274329743360 94274329747056 140722933708064 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94274329754872 94274329755664 94274342998016 140722933715974 140722933716064 140722933716064 140722933723080 0
[pid=302040/tid=302051] ppid=302037 vsize=19108176 memory=14955576 CPUtime=0 cores=4,6
/proc/302040/task/302051/stat : 302051 (Finalizer) S 302037 302040 301981 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29779508 19566772224 3738895 134679101440 94274329743360 94274329747056 140722933708064 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94274329754872 94274329755664 94274342998016 140722933715974 140722933716064 140722933716064 140722933723080 0
[pid=302040/tid=302058] ppid=302037 vsize=19108176 memory=14955576 CPUtime=0 cores=4,6
/proc/302040/task/302058/stat : 302058 (Common-Cleaner) S 302037 302040 301981 0 -1 1077936192 2026 0 0 0 0 0 0 0 20 0 20 0 29779508 19566772224 3738895 134679101440 94274329743360 94274329747056 140722933708064 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94274329754872 94274329755664 94274342998016 140722933715974 140722933716064 140722933716064 140722933723080 0
[pid=302040/tid=302128] ppid=302037 vsize=19108176 memory=14955580 CPUtime=0 cores=4,6
/proc/302040/task/302128/stat : 302128 (Timer-0) S 302037 302040 301981 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29779545 19566772224 3738895 134679101440 94274329743360 94274329747056 140722933708064 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94274329754872 94274329755664 94274342998016 140722933715974 140722933716064 140722933716064 140722933723080 0
Current children cumulated CPU time: 3349.75 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14955580 KiB

[startup+3342.3 s]
/proc/loadavg: 4.22 4.23 4.12 5/335 304111
/proc/meminfo: memFree=84164872/131524600 swapFree=131056028/131071996
[pid=302040] ppid=302037 vsize=19108176 memory=14955580 CPUtime=3410.16 cores=4,6
/proc/302040/stat : 302040 (java) S 302037 302040 301981 0 -1 1077936128 454909 0 0 0 340540 476 0 0 20 0 20 0 29779504 19566772224 3738895 134679101440 94274329743360 94274329747056 140722933708064 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94274329754872 94274329755664 94274342998016 140722933715974 140722933716064 140722933716064 140722933723080 0
/proc/302040/statm: 4777044 3738895 5910 1 0 4091232 0
[pid=302040/tid=302042] ppid=302037 vsize=19108176 memory=14955580 CPUtime=3257.52 cores=4,6
/proc/302040/task/302042/stat : 302042 (java) R 302037 302040 301981 0 -1 4194368 174330 0 0 0 325664 88 0 0 20 0 20 0 29779505 19566772224 3738895 134679101440 94274329743360 94274329747056 140722933708064 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94274329754872 94274329755664 94274342998016 140722933715974 140722933716064 140722933716064 140722933723080 0
[pid=302040/tid=302051] ppid=302037 vsize=19108176 memory=14955580 CPUtime=0 cores=4,6
/proc/302040/task/302051/stat : 302051 (Finalizer) S 302037 302040 301981 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29779508 19566772224 3738895 134679101440 94274329743360 94274329747056 140722933708064 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94274329754872 94274329755664 94274342998016 140722933715974 140722933716064 140722933716064 140722933723080 0
[pid=302040/tid=302058] ppid=302037 vsize=19108176 memory=14955580 CPUtime=0 cores=4,6
/proc/302040/task/302058/stat : 302058 (Common-Cleaner) S 302037 302040 301981 0 -1 1077936192 2121 0 0 0 0 0 0 0 20 0 20 0 29779508 19566772224 3738895 134679101440 94274329743360 94274329747056 140722933708064 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94274329754872 94274329755664 94274342998016 140722933715974 140722933716064 140722933716064 140722933723080 0
[pid=302040/tid=302128] ppid=302037 vsize=19108176 memory=14955580 CPUtime=0 cores=4,6
/proc/302040/task/302128/stat : 302128 (Timer-0) S 302037 302040 301981 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29779545 19566772224 3738895 134679101440 94274329743360 94274329747056 140722933708064 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94274329754872 94274329755664 94274342998016 140722933715974 140722933716064 140722933716064 140722933723080 0
Current children cumulated CPU time: 3410.16 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14955580 KiB

[startup+3402.3 s]
/proc/loadavg: 4.24 4.23 4.12 5/335 304122
/proc/meminfo: memFree=84164644/131524600 swapFree=131056028/131071996
[pid=302040] ppid=302037 vsize=19108176 memory=14955580 CPUtime=3471.04 cores=4,6
/proc/302040/stat : 302040 (java) S 302037 302040 301981 0 -1 1077936128 456750 0 0 0 346624 480 0 0 20 0 20 0 29779504 19566772224 3738895 134679101440 94274329743360 94274329747056 140722933708064 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94274329754872 94274329755664 94274342998016 140722933715974 140722933716064 140722933716064 140722933723080 0
/proc/302040/statm: 4777044 3738895 5910 1 0 4091232 0
[pid=302040/tid=302042] ppid=302037 vsize=19108176 memory=14955580 CPUtime=3316.15 cores=4,6
/proc/302040/task/302042/stat : 302042 (java) R 302037 302040 301981 0 -1 4194368 175540 0 0 0 331527 88 0 0 20 0 20 0 29779505 19566772224 3738895 134679101440 94274329743360 94274329747056 140722933708064 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94274329754872 94274329755664 94274342998016 140722933715974 140722933716064 140722933716064 140722933723080 0
[pid=302040/tid=302051] ppid=302037 vsize=19108176 memory=14955580 CPUtime=0 cores=4,6
/proc/302040/task/302051/stat : 302051 (Finalizer) S 302037 302040 301981 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29779508 19566772224 3738895 134679101440 94274329743360 94274329747056 140722933708064 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94274329754872 94274329755664 94274342998016 140722933715974 140722933716064 140722933716064 140722933723080 0
[pid=302040/tid=302058] ppid=302037 vsize=19108176 memory=14955580 CPUtime=0 cores=4,6
/proc/302040/task/302058/stat : 302058 (Common-Cleaner) S 302037 302040 301981 0 -1 1077936192 2121 0 0 0 0 0 0 0 20 0 20 0 29779508 19566772224 3738895 134679101440 94274329743360 94274329747056 140722933708064 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94274329754872 94274329755664 94274342998016 140722933715974 140722933716064 140722933716064 140722933723080 0
[pid=302040/tid=302128] ppid=302037 vsize=19108176 memory=-8672361037805822652 CPUtime=0 cores=4,6
/proc/302040/task/302128/stat : 302128 (Timer-0) S 302037 302040 301981 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29779545 19566772224 3738895 134679101440 94274329743360 94274329747056 140722933708064 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94274329754872 94274329755664 94274342998016 140722933715974 140722933716064 140722933716064 140722933723080 0
Current children cumulated CPU time: 3471.04 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14955580 KiB

[startup+3462.3 s]
/proc/loadavg: 4.22 4.22 4.12 5/335 304133
/proc/meminfo: memFree=84164288/131524600 swapFree=131056028/131071996
[pid=302040] ppid=302037 vsize=19108176 memory=14955584 CPUtime=3531.66 cores=4,6
/proc/302040/stat : 302040 (java) S 302037 302040 301981 0 -1 1077936128 463277 0 0 0 352683 483 0 0 20 0 20 0 29779504 19566772224 3738896 134679101440 94274329743360 94274329747056 140722933708064 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94274329754872 94274329755664 94274342998016 140722933715974 140722933716064 140722933716064 140722933723080 0
/proc/302040/statm: 4777044 3738896 5910 1 0 4091232 0
[pid=302040/tid=302042] ppid=302037 vsize=19108176 memory=14955580 CPUtime=3374.9 cores=4,6
/proc/302040/task/302042/stat : 302042 (java) R 302037 302040 301981 0 -1 4194368 177787 0 0 0 337402 88 0 0 20 0 20 0 29779505 19566772224 3738896 134679101440 94274329743360 94274329747056 140722933708064 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94274329754872 94274329755664 94274342998016 140722933715974 140722933716064 140722933716064 140722933723080 0
[pid=302040/tid=302051] ppid=302037 vsize=19108176 memory=14955580 CPUtime=0 cores=4,6
/proc/302040/task/302051/stat : 302051 (Finalizer) S 302037 302040 301981 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29779508 19566772224 3738896 134679101440 94274329743360 94274329747056 140722933708064 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94274329754872 94274329755664 94274342998016 140722933715974 140722933716064 140722933716064 140722933723080 0
[pid=302040/tid=302058] ppid=302037 vsize=19108176 memory=14955580 CPUtime=0 cores=4,6
/proc/302040/task/302058/stat : 302058 (Common-Cleaner) S 302037 302040 301981 0 -1 1077936192 2216 0 0 0 0 0 0 0 20 0 20 0 29779508 19566772224 3738896 134679101440 94274329743360 94274329747056 140722933708064 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94274329754872 94274329755664 94274342998016 140722933715974 140722933716064 140722933716064 140722933723080 0
[pid=302040/tid=302128] ppid=302037 vsize=19108176 memory=14955584 CPUtime=0 cores=4,6
/proc/302040/task/302128/stat : 302128 (Timer-0) S 302037 302040 301981 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29779545 19566772224 3738896 134679101440 94274329743360 94274329747056 140722933708064 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94274329754872 94274329755664 94274342998016 140722933715974 140722933716064 140722933716064 140722933723080 0
Current children cumulated CPU time: 3531.66 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14955584 KiB

[startup+3522.3 s]
/proc/loadavg: 3.93 4.16 4.11 4/307 304177
/proc/meminfo: memFree=100073612/131524600 swapFree=131056028/131071996
[pid=302040] ppid=302037 vsize=19108176 memory=14955720 CPUtime=3595.72 cores=4,6
/proc/302040/stat : 302040 (java) S 302037 302040 301981 0 -1 1077936128 487617 0 0 0 359082 490 0 0 20 0 20 0 29779504 19566772224 3738930 134679101440 94274329743360 94274329747056 140722933708064 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94274329754872 94274329755664 94274342998016 140722933715974 140722933716064 140722933716064 140722933723080 0
/proc/302040/statm: 4777044 3738930 5925 1 0 4091241 0
[pid=302040/tid=302042] ppid=302037 vsize=19108176 memory=14955584 CPUtime=3434.17 cores=4,6
/proc/302040/task/302042/stat : 302042 (java) R 302037 302040 301981 0 -1 4194368 188704 0 0 0 343327 90 0 0 20 0 20 0 29779505 19566772224 3738930 134679101440 94274329743360 94274329747056 140722933708064 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94274329754872 94274329755664 94274342998016 140722933715974 140722933716064 140722933716064 140722933723080 0
[pid=302040/tid=302051] ppid=302037 vsize=19108176 memory=14955584 CPUtime=0 cores=4,6
/proc/302040/task/302051/stat : 302051 (Finalizer) S 302037 302040 301981 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29779508 19566772224 3738930 134679101440 94274329743360 94274329747056 140722933708064 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94274329754872 94274329755664 94274342998016 140722933715974 140722933716064 140722933716064 140722933723080 0
[pid=302040/tid=302058] ppid=302037 vsize=19108176 memory=14955720 CPUtime=0 cores=4,6
/proc/302040/task/302058/stat : 302058 (Common-Cleaner) S 302037 302040 301981 0 -1 1077936192 2216 0 0 0 0 0 0 0 20 0 20 0 29779508 19566772224 3738930 134679101440 94274329743360 94274329747056 140722933708064 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94274329754872 94274329755664 94274342998016 140722933715974 140722933716064 140722933716064 140722933723080 0
[pid=302040/tid=302128] ppid=302037 vsize=19108176 memory=14955720 CPUtime=0 cores=4,6
/proc/302040/task/302128/stat : 302128 (Timer-0) S 302037 302040 301981 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29779545 19566772224 3738930 134679101440 94274329743360 94274329747056 140722933708064 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94274329754872 94274329755664 94274342998016 140722933715974 140722933716064 140722933716064 140722933723080 0
Current children cumulated CPU time: 3595.72 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14955720 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3526.6 s]
/proc/loadavg: 3.86 4.14 4.10 4/307 304177
/proc/meminfo: memFree=100073624/131524600 swapFree=131056028/131071996
[pid=302040] ppid=302037 vsize=19108176 memory=14955720 CPUtime=3600.02 cores=4,6
/proc/302040/stat : 302040 (java) S 302037 302040 301981 0 -1 1077936128 487787 0 0 0 359512 490 0 0 20 0 20 0 29779504 19566772224 3738930 134679101440 94274329743360 94274329747056 140722933708064 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94274329754872 94274329755664 94274342998016 140722933715974 140722933716064 140722933716064 140722933723080 0
/proc/302040/statm: 4777044 3738930 5925 1 0 4091241 0
[pid=302040/tid=302042] ppid=302037 vsize=19108176 memory=14955720 CPUtime=3438.46 cores=4,6
/proc/302040/task/302042/stat : 302042 (java) R 302037 302040 301981 0 -1 4194368 188874 0 0 0 343756 90 0 0 20 0 20 0 29779505 19566772224 3738930 134679101440 94274329743360 94274329747056 140722933708064 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94274329754872 94274329755664 94274342998016 140722933715974 140722933716064 140722933716064 140722933723080 0
[pid=302040/tid=302051] ppid=302037 vsize=19108176 memory=14955720 CPUtime=0 cores=4,6
/proc/302040/task/302051/stat : 302051 (Finalizer) S 302037 302040 301981 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29779508 19566772224 3738930 134679101440 94274329743360 94274329747056 140722933708064 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94274329754872 94274329755664 94274342998016 140722933715974 140722933716064 140722933716064 140722933723080 0
[pid=302040/tid=302058] ppid=302037 vsize=19108176 memory=14955720 CPUtime=0 cores=4,6
/proc/302040/task/302058/stat : 302058 (Common-Cleaner) S 302037 302040 301981 0 -1 1077936192 2216 0 0 0 0 0 0 0 20 0 20 0 29779508 19566772224 3738930 134679101440 94274329743360 94274329747056 140722933708064 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94274329754872 94274329755664 94274342998016 140722933715974 140722933716064 140722933716064 140722933723080 0
[pid=302040/tid=302128] ppid=302037 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/302040/task/302128/stat : 302128 (Timer-0) S 302037 302040 301981 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29779545 19566772224 3738930 134679101440 94274329743360 94274329747056 140722933708064 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94274329754872 94274329755664 94274342998016 140722933715974 140722933716064 140722933716064 140722933723080 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14955720 KiB

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

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

# cumulated CPU time of all completed processes:  user=3595.26 s, system=4.95118 s

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

[startup+3526.73 s]*
/proc/loadavg: 3.86 4.14 4.10 5/289 304180
/proc/meminfo: memFree=114650204/131524600 swapFree=131056028/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): 3526.74
CPU time (s): 3600.21
CPU user time (s): 3595.26
CPU system time (s): 4.95118
CPU usage (%): 102.083
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 14955720

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.26
system time used= 4.95118
maximum resident set size= 14957520
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 489171
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3744
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 111823
involuntary context switches= 24042


# summary of solver processes directly reported to runsolver:
#   pid: 302040
#   total CPU time (s): 3600.21
#   total CPU user time (s): 3595.26
#   total CPU system time (s): 4.95118

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.32088 second user time and 18.0642 second system time

The end

Launcher Data 

Begin job on nodeC015 at 2024-07-25 20:36:06
IDJOB=4459623
IDBENCH=148253
IDSOLVER=3058
FILE ID=nodeC015/4459623-1721932566
RUNJOBID= nodeC015-1721932566-301992
SLURM_JOB_ID= 8247064
Free space on /tmp= 890080 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB07/DEC-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_500_25_2_80.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459623-1721932566/watcher-4459623-1721932566 -o /tmp/evaluation-result-4459623-1721932566/solver-4459623-1721932566 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721932566-301992 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4459623-1721932566.opb

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

MD5SUM BENCH= f98457bb85703d2b548256a3e6b4fdef
RANDOM SEED=672496796

nodeC015.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		: 3666.930
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.37
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		: 1869.290
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.17
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		: 3662.155
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.37
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		: 3053.808
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.17
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		: 3602.456
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.37
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		: 1539.759
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.17
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		: 3597.484
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.37
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		: 3575.589
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.17
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        128544244 kB
MemAvailable:   129567540 kB
Buffers:          337544 kB
Cached:          1350436 kB
SwapCached:          312 kB
Active:          1207844 kB
Inactive:         847892 kB
Active(anon):       4400 kB
Inactive(anon):   415908 kB
Active(file):    1203444 kB
Inactive(file):   431984 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131056028 kB
Dirty:              2484 kB
Writeback:             0 kB
AnonPages:        367008 kB
Mapped:           113184 kB
Shmem:             52524 kB
KReclaimable:     449276 kB
Slab:             572740 kB
SReclaimable:     449276 kB
SUnreclaim:       123464 kB
KernelStack:        4192 kB
PageTables:        10052 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    2848796 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            16224 kB
HardwareCorrupted:     0 kB
AnonHugePages:    217088 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:      367316 kB
DirectMap2M:    43446272 kB
DirectMap1G:    92274688 kB

Free space on /tmp at the end= 890080 MiB
End job on nodeC015 at 2024-07-25 21:34:53