Trace number 4459631

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.17 3483.63

General information on the benchmark

NamePB24/normalized-PB07/DEC-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_500_25_3_15.opb
MD5SUMce73f93a7bf0a3e50bc3f52df8a8bc5f
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 benchmark0.207083
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 15
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 1000
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)31444
Sum of products size (including duplicates)62888
Number of different products15722
Sum of products size31444

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.12/0.13	--- Begin Solver configuration ---
0.12/0.13	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.12/0.13	Learn all clauses as in MiniSAT
0.12/0.13	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.13	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.13	No reason simplification
0.12/0.13	Glucose 2.1 dynamic restart strategy
0.12/0.13	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.12/0.13	timeout=2147483s
0.12/0.13	DB Simplification allowed=false
0.12/0.13	Listener: none
0.12/0.13	--- End Solver configuration ---
0.12/0.13	c Pseudo Boolean Optimization by upper bound
0.12/0.13	c --- Begin Solver configuration ---
0.12/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.12/0.13	c Learn all clauses as in MiniSAT
0.12/0.13	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.13	c No reason simplification
0.12/0.13	c Glucose 2.1 dynamic restart strategy
0.12/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.12/0.13	c timeout=2147483s
0.12/0.13	c DB Simplification allowed=false
0.12/0.13	c Listener: none
0.12/0.13	c --- End Solver configuration ---
0.12/0.13	c solving HOME/instance-4459631-1721932566.opb
0.12/0.13	c reading problem ... 
0.12/0.13	c  no objective function found
0.69/0.41	c ... done. Wall clock time 0.271s.
0.69/0.41	c declared #vars     1000
0.69/0.41	c internal #vars     16722
0.69/0.41	c #constraints  32947
0.69/0.41	c constraints type 
0.69/0.41	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 500
0.69/0.41	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1003
0.69/0.41	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 15722
0.69/0.41	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 15722
0.69/0.41	c 32947 constraints processed.
4.83/3.75	c cleaning 2683 clauses out of 5366 with flag 10823/5366
9.06/7.72	c cleaning 4308 clauses out of 8615 with flag 22780/11298
13.32/11.93	c cleaning 5562 clauses out of 11124 with flag 36536/18115
17.98/16.54	c cleaning 6729 clauses out of 13458 with flag 52467/26011
23.33/21.77	c cleaning 7877 clauses out of 15753 with flag 70693/35035
28.97/27.24	c cleaning 8956 clauses out of 17912 with flag 90987/45071
35.34/33.40	c cleaning 9954 clauses out of 19908 with flag 113170/56023
39.94/37.87	c cleaning 10928 clauses out of 21931 with flag 137571/68000
44.15/41.81	c cleaning 12008 clauses out of 24016 with flag 164651/81013
58.05/55.63	c cleaning 12994 clauses out of 25995 with flag 192954/95000
67.90/65.44	c cleaning 14158 clauses out of 28317 with flag 223810/110316
77.08/73.81	c cleaning 14945 clauses out of 29891 with flag 255537/126048
85.03/81.65	c cleaning 16037 clauses out of 32076 with flag 290101/143178
91.36/87.77	c cleaning 16923 clauses out of 33879 with flag 326354/161018
98.28/94.49	c cleaning 17962 clauses out of 36001 with flag 365486/180063
105.88/101.87	c cleaning 19011 clauses out of 38022 with flag 406444/200046
120.25/116.03	c cleaning 20024 clauses out of 40048 with flag 448907/221083
144.72/139.68	c cleaning 21105 clauses out of 42209 with flag 493617/243268
156.90/151.75	c cleaning 21977 clauses out of 43954 with flag 539677/266118
167.48/162.20	c cleaning 22966 clauses out of 45933 with flag 588056/290074
177.53/171.85	c cleaning 24052 clauses out of 48105 with flag 639449/315212
191.21/185.39	c cleaning 25037 clauses out of 50076 with flag 691930/341235
204.05/196.72	c cleaning 25886 clauses out of 51822 with flag 746152/368018
212.90/205.20	c cleaning 26909 clauses out of 53918 with flag 803846/396000
223.36/215.11	c cleaning 28048 clauses out of 56109 with flag 863343/425100
232.81/224.29	c cleaning 28959 clauses out of 57961 with flag 924947/455000
243.14/234.04	c cleaning 29927 clauses out of 60002 with flag 988408/486000
253.98/244.44	c cleaning 31048 clauses out of 62114 with flag 1054258/518039
267.93/256.38	c cleaning 32044 clauses out of 64088 with flag 1122162/551061
279.33/267.19	c cleaning 32993 clauses out of 65985 with flag 1191999/585002
291.12/278.47	c cleaning 34032 clauses out of 68068 with flag 1264072/620078
302.92/289.55	c cleaning 34932 clauses out of 69960 with flag 1338071/656002
314.60/300.78	c cleaning 36069 clauses out of 72137 with flag 1414646/693111
326.17/311.80	c cleaning 36911 clauses out of 73957 with flag 1492812/731000
339.18/323.06	c cleaning 37958 clauses out of 76046 with flag 1573317/770000
350.68/334.16	c cleaning 39041 clauses out of 78088 with flag 1655929/810000
362.34/345.28	c cleaning 39967 clauses out of 80049 with flag 1740687/851002
374.48/356.60	c cleaning 41084 clauses out of 82167 with flag 1828114/893087
385.91/367.44	c cleaning 41974 clauses out of 83996 with flag 1917445/936000
399.71/378.43	c cleaning 43019 clauses out of 86059 with flag 2009870/980037
410.18/387.97	c cleaning 43985 clauses out of 88010 with flag 2110216/1025007
420.18/397.26	c cleaning 45023 clauses out of 90045 with flag 2211012/1071027
431.10/407.33	c cleaning 45985 clauses out of 91996 with flag 2310860/1118001
442.90/418.47	c cleaning 47020 clauses out of 94040 with flag 2412146/1166030
455.44/430.47	c cleaning 48017 clauses out of 96033 with flag 2514892/1215043
471.69/443.98	c cleaning 48991 clauses out of 97982 with flag 2619274/1265009
487.02/458.62	c cleaning 49977 clauses out of 99982 with flag 2725093/1316000
503.42/474.30	c cleaning 51017 clauses out of 102034 with flag 2833018/1368029
520.09/490.29	c cleaning 52015 clauses out of 104030 with flag 2942768/1421042
538.46/507.88	c cleaning 52992 clauses out of 105983 with flag 3054077/1475010
560.62/526.52	c cleaning 54056 clauses out of 108112 with flag 3167789/1530131
581.34/546.28	c cleaning 54981 clauses out of 109962 with flag 3282704/1586037
602.84/566.93	c cleaning 56015 clauses out of 112030 with flag 3400186/1643086
626.68/590.02	c cleaning 57037 clauses out of 114074 with flag 3519444/1701145
650.96/613.50	c cleaning 58024 clauses out of 116047 with flag 3640543/1760155
677.23/636.66	c cleaning 59000 clauses out of 118000 with flag 3763618/1820132
702.43/661.01	c cleaning 59936 clauses out of 119871 with flag 3888092/1881003
728.53/686.49	c cleaning 60997 clauses out of 121994 with flag 4015252/1943062
757.16/714.16	c cleaning 62036 clauses out of 124071 with flag 4144571/2006136
786.18/742.22	c cleaning 63037 clauses out of 126074 with flag 4275770/2070175
814.87/770.04	c cleaning 63942 clauses out of 127884 with flag 4408345/2135022
845.20/799.87	c cleaning 65000 clauses out of 130000 with flag 4543551/2201080
879.30/830.63	c cleaning 65982 clauses out of 131964 with flag 4680732/2268044
910.17/860.77	c cleaning 66955 clauses out of 133939 with flag 4819598/2336001
944.95/894.56	c cleaning 68056 clauses out of 136112 with flag 4960981/2405129
979.50/928.29	c cleaning 68973 clauses out of 137945 with flag 5104078/2475018
1017.10/964.65	c cleaning 70024 clauses out of 140047 with flag 5249066/2546093
1055.21/1002.17	c cleaning 71008 clauses out of 142015 with flag 5396276/2618085
1092.38/1038.35	c cleaning 71973 clauses out of 143945 with flag 5545133/2691023
1137.86/1079.45	c cleaning 73049 clauses out of 146098 with flag 5696649/2765149
1176.01/1116.81	c cleaning 73969 clauses out of 147937 with flag 5849493/2840037
1219.36/1159.51	c cleaning 75037 clauses out of 150074 with flag 6004924/2916143
1257.77/1197.36	c cleaning 75972 clauses out of 151943 with flag 6161869/2993049
1307.14/1245.39	c cleaning 77044 clauses out of 154088 with flag 6321438/3071166
1351.87/1289.15	c cleaning 77952 clauses out of 155904 with flag 6482258/3150026
1394.79/1331.27	c cleaning 79024 clauses out of 158048 with flag 6645902/3230122
1444.22/1379.76	c cleaning 79938 clauses out of 159902 with flag 6810692/3311000
1493.77/1423.46	c cleaning 81059 clauses out of 162117 with flag 6978553/3393153
1551.55/1480.50	c cleaning 81939 clauses out of 163906 with flag 7147169/3476001
1596.10/1524.40	c cleaning 82989 clauses out of 165977 with flag 7318292/3560011
1643.48/1570.54	c cleaning 84008 clauses out of 168016 with flag 7491912/3645039
1700.35/1626.52	c cleaning 84969 clauses out of 169969 with flag 7666847/3731000
1748.79/1674.20	c cleaning 86031 clauses out of 172061 with flag 7844144/3818061
1803.52/1727.97	c cleaning 87032 clauses out of 174063 with flag 8023794/3906094
1853.36/1776.93	c cleaning 88029 clauses out of 176057 with flag 8204927/3995120
1910.58/1829.89	c cleaning 88998 clauses out of 177995 with flag 8388088/4085087
1958.06/1876.73	c cleaning 89968 clauses out of 179935 with flag 8573397/4176025
2031.23/1948.88	c cleaning 90989 clauses out of 181977 with flag 8760756/4268035
2085.87/2001.90	c cleaning 91968 clauses out of 183953 with flag 8949743/4361000
2140.20/2055.35	c cleaning 93006 clauses out of 186011 with flag 9140992/4455026
2191.62/2105.52	c cleaning 93992 clauses out of 187984 with flag 9334312/4550005
2271.38/2184.52	c cleaning 95106 clauses out of 190212 with flag 9530227/4646225
2336.14/2244.72	c cleaning 95983 clauses out of 191965 with flag 9727160/4743084
2403.78/2311.03	c cleaning 96962 clauses out of 193924 with flag 9926264/4841026
2462.59/2369.33	c cleaning 98017 clauses out of 196034 with flag 10127677/4940098
2521.44/2427.25	c cleaning 98960 clauses out of 197919 with flag 10331183/5040000
2591.56/2495.89	c cleaning 100069 clauses out of 200138 with flag 10536755/5141179
2683.90/2586.86	c cleaning 100960 clauses out of 201919 with flag 10743762/5243029
2758.48/2656.37	c cleaning 102036 clauses out of 204071 with flag 10953294/5346141
2831.07/2728.39	c cleaning 103005 clauses out of 206010 with flag 11164622/5450116
2898.15/2794.13	c cleaning 103980 clauses out of 207959 with flag 11377840/5555070
2960.20/2855.02	c cleaning 104945 clauses out of 209909 with flag 11593149/5661000
3029.35/2923.20	c cleaning 106080 clauses out of 212159 with flag 11811145/5768195
3128.57/3021.65	c cleaning 107027 clauses out of 214054 with flag 12030356/5876170
3211.83/3099.95	c cleaning 107992 clauses out of 215984 with flag 12251546/5985127
3320.40/3207.17	c cleaning 109033 clauses out of 218066 with flag 12475029/6095201
3427.42/3313.00	c cleaning 109976 clauses out of 219951 with flag 12700207/6206119
3506.23/3391.07	c cleaning 110919 clauses out of 221856 with flag 12927310/6318000
3590.88/3474.63	c cleaning 111978 clauses out of 223955 with flag 13156717/6431018
3600.00/3483.51	c starts		: 1
3600.00/3483.52	c timeout
3600.00/3483.53	c conflicts		: 6452763
3600.00/3483.53	c decisions		: 8488787
3600.00/3483.53	c propagations		: 488171197
3600.00/3483.53	c inspects		: 21000350726
3600.00/3483.53	c shortcuts		: 0
3600.00/3483.53	c learnt literals	: 0
3600.00/3483.53	c learnt binary clauses	: 0
3600.00/3483.53	c learnt ternary clauses	: 0
3600.00/3483.53	c learnt constraints	: 6452763
3600.00/3483.53	c ignored constraints	: 0
3600.00/3483.53	c root simplifications	: 0
3600.00/3483.53	c removed literals (reason simplification)	: 0
3600.00/3483.53	c reason swapping (by a shorter reason)	: 0
3600.00/3483.53	c Calls to reduceDB	: 109
3600.00/3483.53	c Number of update (reduction) of LBD	: 275922
3600.00/3483.53	c Imported unit clauses	: 0
3600.00/3483.53	c No decision after first conflict	: false
3600.00/3483.53	c number of reductions to clauses (during analyze)	: 0
3600.00/3483.53	c number of learned constraints concerned by reduction	: 0
3600.00/3483.53	c number of learning phase by resolution	: 0
3600.00/3483.53	c number of learning phase by cutting planes	: 0
3600.00/3483.53	c number of rounding to 1 operations	: 0
3600.00/3483.53	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.00/3483.53	c number of reductions of the coefficients by power 2 	: 0
3600.00/3483.53	c number of right shift for reduction by power 2 	: 0
3600.00/3483.53	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.00/3483.53	c number of ending skipping 	: 0
3600.00/3483.53	c number of internal skipping 	: 0
3600.00/3483.53	c number of derivation steps 	: 0
3600.00/3483.53	c number of skipped derivation steps 	: 0
3600.00/3483.53	c number of remaining unassigned 	: 0
3600.00/3483.53	c number of remaining assigned 	: 0
3600.00/3483.53	c number of falsified literals weakened from reason	: 0
3600.00/3483.53	c number of falsified literals weakened from conflict	: 0
3600.00/3483.53	c time for arithmetic operations	: 0
3600.00/3483.53	c minimum degree of deleted constraints	: null
3600.00/3483.53	c maximum degree of deleted constraints	: null
3600.00/3483.53	c number of deleted constraints	: 0
3600.00/3483.53	c speed (assignments/second)	: 140154.47099618902
3600.00/3483.53	c non guided choices	: 16183
3600.00/3483.58	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 133722
3600.00/3483.58	s UNKNOWN
3600.00/3483.58	c Total wall clock time (in seconds): 3483.449

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 (60579 MiB free)
  memory of node 1: 64510 MiB (60506 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459631-1721932566/watcher-4459631-1721932566 -o /tmp/evaluation-result-4459631-1721932566/solver-4459631-1721932566 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1721932566-249121 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4459631-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=249170, runsolver pid=249167
Current StackSize limit: 8192 KiB


[startup+0.102697 s]*
/proc/loadavg: 0.08 0.08 0.09 6/283 249194
/proc/meminfo: memFree=123944196/131524600 swapFree=131061428/131071996
[pid=249170] ppid=249167 vsize=18975048 memory=63204 CPUtime=0.12 cores=4,6
/proc/249170/stat : 249170 (java) S 249167 249170 249110 0 -1 1077936128 7179 0 0 0 11 1 0 0 20 0 18 0 29779542 19430449152 15801 134679101440 94271181135872 94271181139568 140734938140848 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94271181147384 94271181148176 94271206846464 140734938145798 140734938145888 140734938145888 140734938152904 0
/proc/249170/statm: 4743762 15801 5720 1 0 549307 0
[pid=249170/tid=249172] ppid=249167 vsize=18975048 memory=4026532140 CPUtime=0.07 cores=4,6
/proc/249170/task/249172/stat : 249172 (java) R 249167 249170 249110 0 -1 1077936192 5724 0 0 0 6 1 0 0 20 0 18 0 29779543 19430449152 15801 134679101440 94271181135872 94271181139568 140734938140848 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94271181147384 94271181148176 94271206846464 140734938145798 140734938145888 140734938145888 140734938152904 0
[pid=249170/tid=249181] ppid=249167 vsize=18975048 memory=241425521934 CPUtime=0 cores=4,6
/proc/249170/task/249181/stat : 249181 (Finalizer) S 249167 249170 249110 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 29779546 19430449152 15801 134679101440 94271181135872 94271181139568 140734938140848 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94271181147384 94271181148176 94271206846464 140734938145798 140734938145888 140734938145888 140734938152904 0
[pid=249170/tid=249188] ppid=249167 vsize=18975048 memory=1121465 CPUtime=0 cores=4,6
/proc/249170/task/249188/stat : 249188 (Common-Cleaner) S 249167 249170 249110 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 29779546 19430449152 15801 134679101440 94271181135872 94271181139568 140734938140848 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94271181147384 94271181148176 94271206846464 140734938145798 140734938145888 140734938145888 140734938152904 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 63204 KiB

[startup+0.208294 s]*
/proc/loadavg: 0.08 0.08 0.09 11/328 249252
/proc/meminfo: memFree=123860560/131524600 swapFree=131061428/131071996
[pid=249170] ppid=249167 vsize=18975048 memory=73268 CPUtime=0.32 cores=4,6
/proc/249170/stat : 249170 (java) S 249167 249170 249110 0 -1 1077936128 7644 0 0 0 30 2 0 0 20 0 18 0 29779542 19430449152 18317 134679101440 94271181135872 94271181139568 140734938140848 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94271181147384 94271181148176 94271206846464 140734938145798 140734938145888 140734938145888 140734938152904 0
/proc/249170/statm: 4743762 18317 5805 1 0 549592 0
[pid=249170/tid=249172] ppid=249167 vsize=18975048 memory=5983647875135111299 CPUtime=0.18 cores=4,6
/proc/249170/task/249172/stat : 249172 (java) R 249167 249170 249110 0 -1 4194368 5923 0 0 0 16 2 0 0 20 0 18 0 29779543 19430449152 18317 134679101440 94271181135872 94271181139568 140734938140848 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94271181147384 94271181148176 94271206846464 140734938145798 140734938145888 140734938145888 140734938152904 0
[pid=249170/tid=249181] ppid=249167 vsize=18975048 memory=1121866 CPUtime=0 cores=4,6
/proc/249170/task/249181/stat : 249181 (Finalizer) S 249167 249170 249110 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 29779546 19430449152 18317 134679101440 94271181135872 94271181139568 140734938140848 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94271181147384 94271181148176 94271206846464 140734938145798 140734938145888 140734938145888 140734938152904 0
[pid=249170/tid=249188] ppid=249167 vsize=18975048 memory=14415916817450633 CPUtime=0 cores=4,6
/proc/249170/task/249188/stat : 249188 (Common-Cleaner) S 249167 249170 249110 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 29779546 19430449152 18317 134679101440 94271181135872 94271181139568 140734938140848 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94271181147384 94271181148176 94271206846464 140734938145798 140734938145888 140734938145888 140734938152904 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 73268 KiB

[startup+0.31525 s]*
/proc/loadavg: 0.08 0.08 0.09 13/328 249252
/proc/meminfo: memFree=123774604/131524600 swapFree=131061428/131071996
[pid=249170] ppid=249167 vsize=18975048 memory=134412 CPUtime=0.52 cores=4,6
/proc/249170/stat : 249170 (java) S 249167 249170 249110 0 -1 1077936128 9721 0 0 0 48 4 0 0 20 0 18 0 29779542 19430449152 33603 134679101440 94271181135872 94271181139568 140734938140848 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94271181147384 94271181148176 94271206846464 140734938145798 140734938145888 140734938145888 140734938152904 0
/proc/249170/statm: 4743762 33603 5821 1 0 550502 0
[pid=249170/tid=249172] ppid=249167 vsize=18975048 memory=-9032928253817103036 CPUtime=0.28 cores=4,6
/proc/249170/task/249172/stat : 249172 (java) R 249167 249170 249110 0 -1 4194368 5952 0 0 0 25 3 0 0 20 0 18 0 29779543 19430449152 33603 134679101440 94271181135872 94271181139568 140734938140848 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94271181147384 94271181148176 94271206846464 140734938145798 140734938145888 140734938145888 140734938152904 0
[pid=249170/tid=249181] ppid=249167 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/249170/task/249181/stat : 249181 (Finalizer) S 249167 249170 249110 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 29779546 19430449152 33603 134679101440 94271181135872 94271181139568 140734938140848 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94271181147384 94271181148176 94271206846464 140734938145798 140734938145888 140734938145888 140734938152904 0
[pid=249170/tid=249188] ppid=249167 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/249170/task/249188/stat : 249188 (Common-Cleaner) S 249167 249170 249110 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 29779546 19430449152 33603 134679101440 94271181135872 94271181139568 140734938140848 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94271181147384 94271181148176 94271206846464 140734938145798 140734938145888 140734938145888 140734938152904 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 134412 KiB

[startup+0.700294 s]
/proc/loadavg: 0.08 0.08 0.09 11/332 249256
/proc/meminfo: memFree=123702048/131524600 swapFree=131061428/131071996
[pid=249170] ppid=249167 vsize=19108176 memory=175784 CPUtime=1.23 cores=4,6
/proc/249170/stat : 249170 (java) S 249167 249170 249110 0 -1 1077936128 10918 0 0 0 118 5 0 0 20 0 20 0 29779542 19566772224 43946 134679101440 94271181135872 94271181139568 140734938140848 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94271181147384 94271181148176 94271206846464 140734938145798 140734938145888 140734938145888 140734938152904 0
/proc/249170/statm: 4777044 43946 5821 1 0 551511 0
[pid=249170/tid=249172] ppid=249167 vsize=19108176 memory=68952 CPUtime=0.59 cores=4,6
/proc/249170/task/249172/stat : 249172 (java) R 249167 249170 249110 0 -1 4194368 6013 0 0 0 56 3 0 0 20 0 20 0 29779543 19566772224 43946 134679101440 94271181135872 94271181139568 140734938140848 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94271181147384 94271181148176 94271206846464 140734938145798 140734938145888 140734938145888 140734938152904 0
[pid=249170/tid=249181] ppid=249167 vsize=19108176 memory=13524 CPUtime=0 cores=4,6
/proc/249170/task/249181/stat : 249181 (Finalizer) S 249167 249170 249110 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29779546 19566772224 43946 134679101440 94271181135872 94271181139568 140734938140848 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94271181147384 94271181148176 94271206846464 140734938145798 140734938145888 140734938145888 140734938152904 0
[pid=249170/tid=249188] ppid=249167 vsize=19108176 memory=2212 CPUtime=0 cores=4,6
/proc/249170/task/249188/stat : 249188 (Common-Cleaner) S 249167 249170 249110 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 29779546 19566772224 43946 134679101440 94271181135872 94271181139568 140734938140848 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94271181147384 94271181148176 94271206846464 140734938145798 140734938145888 140734938145888 140734938152904 0
[pid=249170/tid=249256] ppid=249167 vsize=19108176 memory=1896 CPUtime=0 cores=4,6
/proc/249170/task/249256/stat : 249256 (Timer-0) S 249167 249170 249110 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29779586 19566772224 43946 134679101440 94271181135872 94271181139568 140734938140848 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94271181147384 94271181148176 94271206846464 140734938145798 140734938145888 140734938145888 140734938152904 0
Current children cumulated CPU time: 1.23 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 175784 KiB

[startup+1.50028 s]
/proc/loadavg: 0.08 0.08 0.09 7/332 249256
/proc/meminfo: memFree=123635968/131524600 swapFree=131061428/131071996
[pid=249170] ppid=249167 vsize=19108176 memory=203580 CPUtime=2.58 cores=4,6
/proc/249170/stat : 249170 (java) S 249167 249170 249110 0 -1 1077936128 17993 0 0 0 251 7 0 0 20 0 20 0 29779542 19566772224 50895 134679101440 94271181135872 94271181139568 140734938140848 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94271181147384 94271181148176 94271206846464 140734938145798 140734938145888 140734938145888 140734938152904 0
/proc/249170/statm: 4777044 50895 5837 1 0 553573 0
[pid=249170/tid=249172] ppid=249167 vsize=19108176 memory=13524 CPUtime=1.35 cores=4,6
/proc/249170/task/249172/stat : 249172 (java) R 249167 249170 249110 0 -1 4194368 6201 0 0 0 132 3 0 0 20 0 20 0 29779543 19566772224 50895 134679101440 94271181135872 94271181139568 140734938140848 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94271181147384 94271181148176 94271206846464 140734938145798 140734938145888 140734938145888 140734938152904 0
[pid=249170/tid=249181] ppid=249167 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/249170/task/249181/stat : 249181 (Finalizer) S 249167 249170 249110 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29779546 19566772224 50895 134679101440 94271181135872 94271181139568 140734938140848 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94271181147384 94271181148176 94271206846464 140734938145798 140734938145888 140734938145888 140734938152904 0
[pid=249170/tid=249188] ppid=249167 vsize=19108176 memory=2212 CPUtime=0 cores=4,6
/proc/249170/task/249188/stat : 249188 (Common-Cleaner) S 249167 249170 249110 0 -1 1077936192 48 0 0 0 0 0 0 0 20 0 20 0 29779546 19566772224 50895 134679101440 94271181135872 94271181139568 140734938140848 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94271181147384 94271181148176 94271206846464 140734938145798 140734938145888 140734938145888 140734938152904 0
[pid=249170/tid=249256] ppid=249167 vsize=19108176 memory=1896 CPUtime=0 cores=4,6
/proc/249170/task/249256/stat : 249256 (Timer-0) S 249167 249170 249110 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29779586 19566772224 50895 134679101440 94271181135872 94271181139568 140734938140848 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94271181147384 94271181148176 94271206846464 140734938145798 140734938145888 140734938145888 140734938152904 0
Current children cumulated CPU time: 2.58 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 203580 KiB

[startup+3.10559 s]
/proc/loadavg: 0.08 0.08 0.09 5/333 249257
/proc/meminfo: memFree=123435944/131524600 swapFree=131061428/131071996
[pid=249170] ppid=249167 vsize=19108176 memory=203768 CPUtime=4.23 cores=4,6
/proc/249170/stat : 249170 (java) S 249167 249170 249110 0 -1 1077936128 18483 0 0 0 416 7 0 0 20 0 20 0 29779542 19566772224 50942 134679101440 94271181135872 94271181139568 140734938140848 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94271181147384 94271181148176 94271206846464 140734938145798 140734938145888 140734938145888 140734938152904 0
/proc/249170/statm: 4777044 50942 5837 1 0 553573 0
[pid=249170/tid=249172] ppid=249167 vsize=19108176 memory=-8671515483232248508 CPUtime=2.95 cores=4,6
/proc/249170/task/249172/stat : 249172 (java) R 249167 249170 249110 0 -1 4194368 6411 0 0 0 292 3 0 0 20 0 20 0 29779543 19566772224 50942 134679101440 94271181135872 94271181139568 140734938140848 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94271181147384 94271181148176 94271206846464 140734938145798 140734938145888 140734938145888 140734938152904 0
[pid=249170/tid=249181] ppid=249167 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/249170/task/249181/stat : 249181 (Finalizer) S 249167 249170 249110 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29779546 19566772224 50942 134679101440 94271181135872 94271181139568 140734938140848 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94271181147384 94271181148176 94271206846464 140734938145798 140734938145888 140734938145888 140734938152904 0
[pid=249170/tid=249188] ppid=249167 vsize=19108176 memory=13524 CPUtime=0 cores=4,6
/proc/249170/task/249188/stat : 249188 (Common-Cleaner) S 249167 249170 249110 0 -1 1077936192 48 0 0 0 0 0 0 0 20 0 20 0 29779546 19566772224 50942 134679101440 94271181135872 94271181139568 140734938140848 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94271181147384 94271181148176 94271206846464 140734938145798 140734938145888 140734938145888 140734938152904 0
[pid=249170/tid=249256] ppid=249167 vsize=19108176 memory=2212 CPUtime=0 cores=4,6
/proc/249170/task/249256/stat : 249256 (Timer-0) S 249167 249170 249110 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29779586 19566772224 50942 134679101440 94271181135872 94271181139568 140734938140848 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94271181147384 94271181148176 94271206846464 140734938145798 140734938145888 140734938145888 140734938152904 0
Current children cumulated CPU time: 4.23 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 203768 KiB

[startup+6.30028 s]
/proc/loadavg: 0.48 0.16 0.11 5/332 249262
/proc/meminfo: memFree=123163140/131524600 swapFree=131061428/131071996
[pid=249170] ppid=249167 vsize=19108176 memory=264644 CPUtime=7.61 cores=4,6
/proc/249170/stat : 249170 (java) S 249167 249170 249110 0 -1 1077936128 20973 0 0 0 752 9 0 0 20 0 20 0 29779542 19566772224 66161 134679101440 94271181135872 94271181139568 140734938140848 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94271181147384 94271181148176 94271206846464 140734938145798 140734938145888 140734938145888 140734938152904 0
/proc/249170/statm: 4777044 66161 5837 1 0 553677 0
[pid=249170/tid=249172] ppid=249167 vsize=19108176 memory=0 CPUtime=6.06 cores=4,6
/proc/249170/task/249172/stat : 249172 (java) R 249167 249170 249110 0 -1 4194368 7518 0 0 0 602 4 0 0 20 0 20 0 29779543 19566772224 66161 134679101440 94271181135872 94271181139568 140734938140848 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94271181147384 94271181148176 94271206846464 140734938145798 140734938145888 140734938145888 140734938152904 0
[pid=249170/tid=249181] ppid=249167 vsize=19108176 memory=13524 CPUtime=0 cores=4,6
/proc/249170/task/249181/stat : 249181 (Finalizer) S 249167 249170 249110 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29779546 19566772224 66161 134679101440 94271181135872 94271181139568 140734938140848 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94271181147384 94271181148176 94271206846464 140734938145798 140734938145888 140734938145888 140734938152904 0
[pid=249170/tid=249188] ppid=249167 vsize=19108176 memory=2212 CPUtime=0 cores=4,6
/proc/249170/task/249188/stat : 249188 (Common-Cleaner) S 249167 249170 249110 0 -1 1077936192 50 0 0 0 0 0 0 0 20 0 20 0 29779546 19566772224 66161 134679101440 94271181135872 94271181139568 140734938140848 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94271181147384 94271181148176 94271206846464 140734938145798 140734938145888 140734938145888 140734938152904 0
[pid=249170/tid=249256] ppid=249167 vsize=19108176 memory=267516 CPUtime=0 cores=4,6
/proc/249170/task/249256/stat : 249256 (Timer-0) S 249167 249170 249110 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29779586 19566772224 66161 134679101440 94271181135872 94271181139568 140734938140848 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94271181147384 94271181148176 94271206846464 140734938145798 140734938145888 140734938145888 140734938152904 0
Current children cumulated CPU time: 7.61 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 264644 KiB

[startup+12.7003 s]
/proc/loadavg: 0.76 0.23 0.14 6/332 249329
/proc/meminfo: memFree=122405880/131524600 swapFree=131061428/131071996
[pid=249170] ppid=249167 vsize=19108176 memory=497220 CPUtime=14.12 cores=4,6
/proc/249170/stat : 249170 (java) S 249167 249170 249110 0 -1 1077936128 23518 0 0 0 1398 14 0 0 20 0 20 0 29779542 19566772224 124305 134679101440 94271181135872 94271181139568 140734938140848 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94271181147384 94271181148176 94271206846464 140734938145798 140734938145888 140734938145888 140734938152904 0
/proc/249170/statm: 4777044 124305 5869 1 0 668542 0
[pid=249170/tid=249172] ppid=249167 vsize=19108176 memory=-8671515483232248508 CPUtime=12.25 cores=4,6
/proc/249170/task/249172/stat : 249172 (java) R 249167 249170 249110 0 -1 4194368 8335 0 0 0 1220 5 0 0 20 0 20 0 29779543 19566772224 124305 134679101440 94271181135872 94271181139568 140734938140848 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94271181147384 94271181148176 94271206846464 140734938145798 140734938145888 140734938145888 140734938152904 0
[pid=249170/tid=249181] ppid=249167 vsize=19108176 memory=431556 CPUtime=0 cores=4,6
/proc/249170/task/249181/stat : 249181 (Finalizer) S 249167 249170 249110 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29779546 19566772224 124305 134679101440 94271181135872 94271181139568 140734938140848 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94271181147384 94271181148176 94271206846464 140734938145798 140734938145888 140734938145888 140734938152904 0
[pid=249170/tid=249188] ppid=249167 vsize=19108176 memory=12156 CPUtime=0 cores=4,6
/proc/249170/task/249188/stat : 249188 (Common-Cleaner) S 249167 249170 249110 0 -1 1077936192 50 0 0 0 0 0 0 0 20 0 20 0 29779546 19566772224 124305 134679101440 94271181135872 94271181139568 140734938140848 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94271181147384 94271181148176 94271206846464 140734938145798 140734938145888 140734938145888 140734938152904 0
[pid=249170/tid=249256] ppid=249167 vsize=19108176 memory=68952 CPUtime=0 cores=4,6
/proc/249170/task/249256/stat : 249256 (Timer-0) S 249167 249170 249110 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29779586 19566772224 124305 134679101440 94271181135872 94271181139568 140734938140848 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94271181147384 94271181148176 94271206846464 140734938145798 140734938145888 140734938145888 140734938152904 0
Current children cumulated CPU time: 14.12 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 497220 KiB

[startup+25.5003 s]
/proc/loadavg: 1.79 0.48 0.22 5/332 249330
/proc/meminfo: memFree=120820988/131524600 swapFree=131061428/131071996
[pid=249170] ppid=249167 vsize=19108176 memory=962568 CPUtime=27.27 cores=4,6
/proc/249170/stat : 249170 (java) S 249167 249170 249110 0 -1 1077936128 28784 0 0 0 2704 23 0 0 20 0 20 0 29779542 19566772224 240642 134679101440 94271181135872 94271181139568 140734938140848 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94271181147384 94271181148176 94271206846464 140734938145798 140734938145888 140734938145888 140734938152904 0
/proc/249170/statm: 4777044 240642 5869 1 0 668568 0
[pid=249170/tid=249172] ppid=249167 vsize=19108176 memory=3618361041219748156 CPUtime=24.62 cores=4,6
/proc/249170/task/249172/stat : 249172 (java) R 249167 249170 249110 0 -1 4194368 9231 0 0 0 2456 6 0 0 20 0 20 0 29779543 19566772224 240642 134679101440 94271181135872 94271181139568 140734938140848 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94271181147384 94271181148176 94271206846464 140734938145798 140734938145888 140734938145888 140734938152904 0
[pid=249170/tid=249181] ppid=249167 vsize=19108176 memory=4139254058357970756 CPUtime=0 cores=4,6
/proc/249170/task/249181/stat : 249181 (Finalizer) S 249167 249170 249110 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29779546 19566772224 240642 134679101440 94271181135872 94271181139568 140734938140848 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94271181147384 94271181148176 94271206846464 140734938145798 140734938145888 140734938145888 140734938152904 0
[pid=249170/tid=249188] ppid=249167 vsize=19108176 memory=962568 CPUtime=0 cores=4,6
/proc/249170/task/249188/stat : 249188 (Common-Cleaner) S 249167 249170 249110 0 -1 1077936192 50 0 0 0 0 0 0 0 20 0 20 0 29779546 19566772224 240642 134679101440 94271181135872 94271181139568 140734938140848 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94271181147384 94271181148176 94271206846464 140734938145798 140734938145888 140734938145888 140734938152904 0
[pid=249170/tid=249256] ppid=249167 vsize=19108176 memory=864224 CPUtime=0 cores=4,6
/proc/249170/task/249256/stat : 249256 (Timer-0) S 249167 249170 249110 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29779586 19566772224 240642 134679101440 94271181135872 94271181139568 140734938140848 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94271181147384 94271181148176 94271206846464 140734938145798 140734938145888 140734938145888 140734938152904 0
Current children cumulated CPU time: 27.27 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 962568 KiB

[startup+51.1063 s]
/proc/loadavg: 2.86 0.84 0.35 5/332 249336
/proc/meminfo: memFree=118088520/131524600 swapFree=131061428/131071996
[pid=249170] ppid=249167 vsize=19108176 memory=2038892 CPUtime=53.45 cores=4,6
/proc/249170/stat : 249170 (java) S 249167 249170 249110 0 -1 1077936128 33174 0 0 0 5300 45 0 0 20 0 20 0 29779542 19566772224 509723 134679101440 94271181135872 94271181139568 140734938140848 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94271181147384 94271181148176 94271206846464 140734938145798 140734938145888 140734938145888 140734938152904 0
/proc/249170/statm: 4777044 509723 5869 1 0 1023672 0
[pid=249170/tid=249172] ppid=249167 vsize=19108176 memory=5516 CPUtime=49.33 cores=4,6
/proc/249170/task/249172/stat : 249172 (java) R 249167 249170 249110 0 -1 4194368 10540 0 0 0 4921 12 0 0 20 0 20 0 29779543 19566772224 509723 134679101440 94271181135872 94271181139568 140734938140848 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94271181147384 94271181148176 94271206846464 140734938145798 140734938145888 140734938145888 140734938152904 0
[pid=249170/tid=249181] ppid=249167 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/249170/task/249181/stat : 249181 (Finalizer) S 249167 249170 249110 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29779546 19566772224 509723 134679101440 94271181135872 94271181139568 140734938140848 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94271181147384 94271181148176 94271206846464 140734938145798 140734938145888 140734938145888 140734938152904 0

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

/proc/249170/task/249181/stat : 249181 (Finalizer) S 249167 249170 249110 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29779546 19566772224 3664133 134679101440 94271181135872 94271181139568 140734938140848 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94271181147384 94271181148176 94271206846464 140734938145798 140734938145888 140734938145888 140734938152904 0
[pid=249170/tid=249188] ppid=249167 vsize=19108176 memory=14656532 CPUtime=0 cores=4,6
/proc/249170/task/249188/stat : 249188 (Common-Cleaner) S 249167 249170 249110 0 -1 1077936192 1267 0 0 0 0 0 0 0 20 0 20 0 29779546 19566772224 3664133 134679101440 94271181135872 94271181139568 140734938140848 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94271181147384 94271181148176 94271206846464 140734938145798 140734938145888 140734938145888 140734938152904 0
[pid=249170/tid=249256] ppid=249167 vsize=19108176 memory=13524 CPUtime=0 cores=4,6
/proc/249170/task/249256/stat : 249256 (Timer-0) S 249167 249170 249110 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29779586 19566772224 3664133 134679101440 94271181135872 94271181139568 140734938140848 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94271181147384 94271181148176 94271206846464 140734938145798 140734938145888 140734938145888 140734938152904 0
Current children cumulated CPU time: 3214.22 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14656532 KiB

[startup+3162.3 s]
/proc/loadavg: 4.29 4.34 4.17 5/333 250948
/proc/meminfo: memFree=89958416/131524600 swapFree=131061428/131071996
[pid=249170] ppid=249167 vsize=19108176 memory=14656536 CPUtime=3275.66 cores=4,6
/proc/249170/stat : 249170 (java) S 249167 249170 249110 0 -1 1077936128 443618 0 0 0 327126 440 0 0 20 0 20 0 29779542 19566772224 3664134 134679101440 94271181135872 94271181139568 140734938140848 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94271181147384 94271181148176 94271206846464 140734938145798 140734938145888 140734938145888 140734938152904 0
/proc/249170/statm: 4777044 3664134 5869 1 0 4092905 0
[pid=249170/tid=249172] ppid=249167 vsize=19108176 memory=14656532 CPUtime=3058.63 cores=4,6
/proc/249170/task/249172/stat : 249172 (java) R 249167 249170 249110 0 -1 4194368 151687 0 0 0 305753 110 0 0 20 0 20 0 29779543 19566772224 3664134 134679101440 94271181135872 94271181139568 140734938140848 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 4 0 0 94271181147384 94271181148176 94271206846464 140734938145798 140734938145888 140734938145888 140734938152904 0
[pid=249170/tid=249181] ppid=249167 vsize=19108176 memory=-8671515483232248508 CPUtime=0 cores=4,6
/proc/249170/task/249181/stat : 249181 (Finalizer) S 249167 249170 249110 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29779546 19566772224 3664134 134679101440 94271181135872 94271181139568 140734938140848 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94271181147384 94271181148176 94271206846464 140734938145798 140734938145888 140734938145888 140734938152904 0
[pid=249170/tid=249188] ppid=249167 vsize=19108176 memory=14656532 CPUtime=0 cores=4,6
/proc/249170/task/249188/stat : 249188 (Common-Cleaner) S 249167 249170 249110 0 -1 1077936192 1267 0 0 0 0 0 0 0 20 0 20 0 29779546 19566772224 3664134 134679101440 94271181135872 94271181139568 140734938140848 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94271181147384 94271181148176 94271206846464 140734938145798 140734938145888 140734938145888 140734938152904 0
[pid=249170/tid=249256] ppid=249167 vsize=19108176 memory=14656532 CPUtime=0 cores=4,6
/proc/249170/task/249256/stat : 249256 (Timer-0) S 249167 249170 249110 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29779586 19566772224 3664134 134679101440 94271181135872 94271181139568 140734938140848 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94271181147384 94271181148176 94271206846464 140734938145798 140734938145888 140734938145888 140734938152904 0
Current children cumulated CPU time: 3275.66 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14656536 KiB

[startup+3222.3 s]
/proc/loadavg: 4.14 4.29 4.17 5/335 251129
/proc/meminfo: memFree=89957404/131524600 swapFree=131061428/131071996
[pid=249170] ppid=249167 vsize=19108176 memory=14656536 CPUtime=3335.94 cores=4,6
/proc/249170/stat : 249170 (java) S 249167 249170 249110 0 -1 1077936128 449150 0 0 0 333152 442 0 0 20 0 20 0 29779542 19566772224 3664134 134679101440 94271181135872 94271181139568 140734938140848 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94271181147384 94271181148176 94271206846464 140734938145798 140734938145888 140734938145888 140734938152904 0
/proc/249170/statm: 4777044 3664134 5869 1 0 4092905 0
[pid=249170/tid=249172] ppid=249167 vsize=19108176 memory=14656532 CPUtime=3118.14 cores=4,6
/proc/249170/task/249172/stat : 249172 (java) R 249167 249170 249110 0 -1 4194368 153855 0 0 0 311703 111 0 0 20 0 20 0 29779543 19566772224 3664134 134679101440 94271181135872 94271181139568 140734938140848 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 4 0 0 94271181147384 94271181148176 94271206846464 140734938145798 140734938145888 140734938145888 140734938152904 0
[pid=249170/tid=249181] ppid=249167 vsize=19108176 memory=27312 CPUtime=0 cores=4,6
/proc/249170/task/249181/stat : 249181 (Finalizer) S 249167 249170 249110 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29779546 19566772224 3664134 134679101440 94271181135872 94271181139568 140734938140848 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94271181147384 94271181148176 94271206846464 140734938145798 140734938145888 140734938145888 140734938152904 0
[pid=249170/tid=249188] ppid=249167 vsize=19108176 memory=14656536 CPUtime=0 cores=4,6
/proc/249170/task/249188/stat : 249188 (Common-Cleaner) S 249167 249170 249110 0 -1 1077936192 1411 0 0 0 0 0 0 0 20 0 20 0 29779546 19566772224 3664134 134679101440 94271181135872 94271181139568 140734938140848 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94271181147384 94271181148176 94271206846464 140734938145798 140734938145888 140734938145888 140734938152904 0
[pid=249170/tid=249256] ppid=249167 vsize=19108176 memory=12156 CPUtime=0 cores=4,6
/proc/249170/task/249256/stat : 249256 (Timer-0) S 249167 249170 249110 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29779586 19566772224 3664134 134679101440 94271181135872 94271181139568 140734938140848 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94271181147384 94271181148176 94271206846464 140734938145798 140734938145888 140734938145888 140734938152904 0
Current children cumulated CPU time: 3335.94 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14656536 KiB

[startup+3282.3 s]
/proc/loadavg: 4.17 4.27 4.17 5/337 251199
/proc/meminfo: memFree=89953616/131524600 swapFree=131061428/131071996
[pid=249170] ppid=249167 vsize=19108176 memory=14656572 CPUtime=3396.97 cores=4,6
/proc/249170/stat : 249170 (java) S 249167 249170 249110 0 -1 1077936128 451471 0 0 0 339253 444 0 0 20 0 20 0 29779542 19566772224 3664143 134679101440 94271181135872 94271181139568 140734938140848 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94271181147384 94271181148176 94271206846464 140734938145798 140734938145888 140734938145888 140734938152904 0
/proc/249170/statm: 4777044 3664143 5869 1 0 4092913 0
[pid=249170/tid=249172] ppid=249167 vsize=19108176 memory=14656560 CPUtime=3176.64 cores=4,6
/proc/249170/task/249172/stat : 249172 (java) R 249167 249170 249110 0 -1 4194368 154765 0 0 0 317553 111 0 0 20 0 20 0 29779543 19566772224 3664143 134679101440 94271181135872 94271181139568 140734938140848 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 4 0 0 94271181147384 94271181148176 94271206846464 140734938145798 140734938145888 140734938145888 140734938152904 0
[pid=249170/tid=249181] ppid=249167 vsize=19108176 memory=14656536 CPUtime=0 cores=4,6
/proc/249170/task/249181/stat : 249181 (Finalizer) S 249167 249170 249110 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29779546 19566772224 3664143 134679101440 94271181135872 94271181139568 140734938140848 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94271181147384 94271181148176 94271206846464 140734938145798 140734938145888 140734938145888 140734938152904 0
[pid=249170/tid=249188] ppid=249167 vsize=19108176 memory=25872 CPUtime=0 cores=4,6
/proc/249170/task/249188/stat : 249188 (Common-Cleaner) S 249167 249170 249110 0 -1 1077936192 1411 0 0 0 0 0 0 0 20 0 20 0 29779546 19566772224 3664143 134679101440 94271181135872 94271181139568 140734938140848 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94271181147384 94271181148176 94271206846464 140734938145798 140734938145888 140734938145888 140734938152904 0
[pid=249170/tid=249256] ppid=249167 vsize=19108176 memory=14656572 CPUtime=0 cores=4,6
/proc/249170/task/249256/stat : 249256 (Timer-0) S 249167 249170 249110 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29779586 19566772224 3664143 134679101440 94271181135872 94271181139568 140734938140848 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94271181147384 94271181148176 94271206846464 140734938145798 140734938145888 140734938145888 140734938152904 0
Current children cumulated CPU time: 3396.97 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14656572 KiB

[startup+3342.3 s]
/proc/loadavg: 4.29 4.28 4.18 5/335 251210
/proc/meminfo: memFree=89953404/131524600 swapFree=131061428/131071996
[pid=249170] ppid=249167 vsize=19108176 memory=14656576 CPUtime=3457.42 cores=4,6
/proc/249170/stat : 249170 (java) S 249167 249170 249110 0 -1 1077936128 452561 0 0 0 345295 447 0 0 20 0 20 0 29779542 19566772224 3664144 134679101440 94271181135872 94271181139568 140734938140848 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94271181147384 94271181148176 94271206846464 140734938145798 140734938145888 140734938145888 140734938152904 0
/proc/249170/statm: 4777044 3664144 5869 1 0 4092913 0
[pid=249170/tid=249172] ppid=249167 vsize=19108176 memory=14656572 CPUtime=3235.12 cores=4,6
/proc/249170/task/249172/stat : 249172 (java) R 249167 249170 249110 0 -1 4194368 155280 0 0 0 323401 111 0 0 20 0 20 0 29779543 19566772224 3664144 134679101440 94271181135872 94271181139568 140734938140848 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 4 0 0 94271181147384 94271181148176 94271206846464 140734938145798 140734938145888 140734938145888 140734938152904 0
[pid=249170/tid=249181] ppid=249167 vsize=19108176 memory=14656536 CPUtime=0 cores=4,6
/proc/249170/task/249181/stat : 249181 (Finalizer) S 249167 249170 249110 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29779546 19566772224 3664144 134679101440 94271181135872 94271181139568 140734938140848 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94271181147384 94271181148176 94271206846464 140734938145798 140734938145888 140734938145888 140734938152904 0
[pid=249170/tid=249188] ppid=249167 vsize=19108176 memory=16100 CPUtime=0 cores=4,6
/proc/249170/task/249188/stat : 249188 (Common-Cleaner) S 249167 249170 249110 0 -1 1077936192 1411 0 0 0 0 0 0 0 20 0 20 0 29779546 19566772224 3664144 134679101440 94271181135872 94271181139568 140734938140848 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94271181147384 94271181148176 94271206846464 140734938145798 140734938145888 140734938145888 140734938152904 0
[pid=249170/tid=249256] ppid=249167 vsize=19108176 memory=12156 CPUtime=0 cores=4,6
/proc/249170/task/249256/stat : 249256 (Timer-0) S 249167 249170 249110 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29779586 19566772224 3664144 134679101440 94271181135872 94271181139568 140734938140848 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94271181147384 94271181148176 94271206846464 140734938145798 140734938145888 140734938145888 140734938152904 0
Current children cumulated CPU time: 3457.42 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14656576 KiB

[startup+3402.3 s]
/proc/loadavg: 4.17 4.24 4.17 5/335 251221
/proc/meminfo: memFree=89952516/131524600 swapFree=131061428/131071996
[pid=249170] ppid=249167 vsize=19108176 memory=14656576 CPUtime=3517.69 cores=4,6
/proc/249170/stat : 249170 (java) S 249167 249170 249110 0 -1 1077936128 456840 0 0 0 351320 449 0 0 20 0 20 0 29779542 19566772224 3664144 134679101440 94271181135872 94271181139568 140734938140848 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94271181147384 94271181148176 94271206846464 140734938145798 140734938145888 140734938145888 140734938152904 0
/proc/249170/statm: 4777044 3664144 5869 1 0 4092913 0
[pid=249170/tid=249172] ppid=249167 vsize=19108176 memory=16100 CPUtime=3293.72 cores=4,6
/proc/249170/task/249172/stat : 249172 (java) R 249167 249170 249110 0 -1 4194368 156128 0 0 0 329261 111 0 0 20 0 20 0 29779543 19566772224 3664144 134679101440 94271181135872 94271181139568 140734938140848 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 4 0 0 94271181147384 94271181148176 94271206846464 140734938145798 140734938145888 140734938145888 140734938152904 0
[pid=249170/tid=249181] ppid=249167 vsize=19108176 memory=12156 CPUtime=0 cores=4,6
/proc/249170/task/249181/stat : 249181 (Finalizer) S 249167 249170 249110 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29779546 19566772224 3664144 134679101440 94271181135872 94271181139568 140734938140848 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94271181147384 94271181148176 94271206846464 140734938145798 140734938145888 140734938145888 140734938152904 0
[pid=249170/tid=249188] ppid=249167 vsize=19108176 memory=68952 CPUtime=0 cores=4,6
/proc/249170/task/249188/stat : 249188 (Common-Cleaner) S 249167 249170 249110 0 -1 1077936192 1411 0 0 0 0 0 0 0 20 0 20 0 29779546 19566772224 3664144 134679101440 94271181135872 94271181139568 140734938140848 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94271181147384 94271181148176 94271206846464 140734938145798 140734938145888 140734938145888 140734938152904 0
[pid=249170/tid=249256] ppid=249167 vsize=19108176 memory=14656576 CPUtime=0 cores=4,6
/proc/249170/task/249256/stat : 249256 (Timer-0) S 249167 249170 249110 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29779586 19566772224 3664144 134679101440 94271181135872 94271181139568 140734938140848 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94271181147384 94271181148176 94271206846464 140734938145798 140734938145888 140734938145888 140734938152904 0
Current children cumulated CPU time: 3517.69 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14656576 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.22 4.17 5/335 251233
/proc/meminfo: memFree=89951772/131524600 swapFree=131061428/131071996
[pid=249170] ppid=249167 vsize=19108176 memory=14656576 CPUtime=3578.6 cores=4,6
/proc/249170/stat : 249170 (java) S 249167 249170 249110 0 -1 1077936128 458539 0 0 0 357410 450 0 0 20 0 20 0 29779542 19566772224 3664144 134679101440 94271181135872 94271181139568 140734938140848 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94271181147384 94271181148176 94271206846464 140734938145798 140734938145888 140734938145888 140734938152904 0
/proc/249170/statm: 4777044 3664144 5869 1 0 4092913 0
[pid=249170/tid=249172] ppid=249167 vsize=19108176 memory=16100 CPUtime=3352.38 cores=4,6
/proc/249170/task/249172/stat : 249172 (java) R 249167 249170 249110 0 -1 4194368 157086 0 0 0 335127 111 0 0 20 0 20 0 29779543 19566772224 3664144 134679101440 94271181135872 94271181139568 140734938140848 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 7 0 0 94271181147384 94271181148176 94271206846464 140734938145798 140734938145888 140734938145888 140734938152904 0
[pid=249170/tid=249181] ppid=249167 vsize=19108176 memory=14656576 CPUtime=0 cores=4,6
/proc/249170/task/249181/stat : 249181 (Finalizer) S 249167 249170 249110 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29779546 19566772224 3664144 134679101440 94271181135872 94271181139568 140734938140848 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94271181147384 94271181148176 94271206846464 140734938145798 140734938145888 140734938145888 140734938152904 0
[pid=249170/tid=249188] ppid=249167 vsize=19108176 memory=14656576 CPUtime=0 cores=4,6
/proc/249170/task/249188/stat : 249188 (Common-Cleaner) S 249167 249170 249110 0 -1 1077936192 1508 0 0 0 0 0 0 0 20 0 20 0 29779546 19566772224 3664144 134679101440 94271181135872 94271181139568 140734938140848 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94271181147384 94271181148176 94271206846464 140734938145798 140734938145888 140734938145888 140734938152904 0
[pid=249170/tid=249256] ppid=249167 vsize=19108176 memory=14656576 CPUtime=0 cores=4,6
/proc/249170/task/249256/stat : 249256 (Timer-0) S 249167 249170 249110 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29779586 19566772224 3664144 134679101440 94271181135872 94271181139568 140734938140848 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94271181147384 94271181148176 94271206846464 140734938145798 140734938145888 140734938145888 140734938152904 0
Current children cumulated CPU time: 3578.6 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14656576 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3483.5 s]
/proc/loadavg: 4.16 4.22 4.18 5/333 251236
/proc/meminfo: memFree=89831200/131524600 swapFree=131061428/131071996
[pid=249170] ppid=249167 vsize=19108176 memory=14656576 CPUtime=3600 cores=4,6
/proc/249170/stat : 249170 (java) S 249167 249170 249110 0 -1 1077936128 459848 0 0 0 359549 451 0 0 20 0 20 0 29779542 19566772224 3664144 134679101440 94271181135872 94271181139568 140734938140848 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94271181147384 94271181148176 94271206846464 140734938145798 140734938145888 140734938145888 140734938152904 0
/proc/249170/statm: 4777044 3664144 5869 1 0 4092913 0
[pid=249170/tid=249172] ppid=249167 vsize=19108176 memory=14656576 CPUtime=3373.3 cores=4,6
/proc/249170/task/249172/stat : 249172 (java) R 249167 249170 249110 0 -1 4194368 158276 0 0 0 337219 111 0 0 20 0 20 0 29779543 19566772224 3664144 134679101440 94271181135872 94271181139568 140734938140848 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 7 0 0 94271181147384 94271181148176 94271206846464 140734938145798 140734938145888 140734938145888 140734938152904 0
[pid=249170/tid=249181] ppid=249167 vsize=19108176 memory=14656576 CPUtime=0 cores=4,6
/proc/249170/task/249181/stat : 249181 (Finalizer) S 249167 249170 249110 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29779546 19566772224 3664144 134679101440 94271181135872 94271181139568 140734938140848 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94271181147384 94271181148176 94271206846464 140734938145798 140734938145888 140734938145888 140734938152904 0
[pid=249170/tid=249188] ppid=249167 vsize=19108176 memory=12156 CPUtime=0 cores=4,6
/proc/249170/task/249188/stat : 249188 (Common-Cleaner) S 249167 249170 249110 0 -1 1077936192 1508 0 0 0 0 0 0 0 20 0 20 0 29779546 19566772224 3664144 134679101440 94271181135872 94271181139568 140734938140848 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94271181147384 94271181148176 94271206846464 140734938145798 140734938145888 140734938145888 140734938152904 0
[pid=249170/tid=249256] ppid=249167 vsize=19108176 memory=14656576 CPUtime=0 cores=4,6
/proc/249170/task/249256/stat : 249256 (Timer-0) S 249167 249170 249110 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29779586 19566772224 3664144 134679101440 94271181135872 94271181139568 140734938140848 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94271181147384 94271181148176 94271206846464 140734938145798 140734938145888 140734938145888 140734938152904 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14656576 KiB

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

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

# cumulated CPU time of all completed processes:  user=3595.61 s, system=4.55992 s

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

[startup+3483.62 s]*
/proc/loadavg: 4.16 4.22 4.18 5/315 251239
/proc/meminfo: memFree=104096476/131524600 swapFree=131061428/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): 3483.63
CPU time (s): 3600.17
CPU user time (s): 3595.61
CPU system time (s): 4.55992
CPU usage (%): 103.345
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 14656576

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.61
system time used= 4.55992
maximum resident set size= 14658280
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 462893
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4000
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 115751
involuntary context switches= 22880


# summary of solver processes directly reported to runsolver:
#   pid: 249170
#   total CPU time (s): 3600.17
#   total CPU user time (s): 3595.61
#   total CPU system time (s): 4.55992

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.11095 second user time and 18.4003 second system time

The end

Launcher Data 

Begin job on nodeC022 at 2024-07-25 20:36:06
IDJOB=4459631
IDBENCH=148260
IDSOLVER=3058
FILE ID=nodeC022/4459631-1721932566
RUNJOBID= nodeC022-1721932566-249121
SLURM_JOB_ID= 8247070
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_3_15.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459631-1721932566/watcher-4459631-1721932566 -o /tmp/evaluation-result-4459631-1721932566/solver-4459631-1721932566 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1721932566-249121 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4459631-1721932566.opb

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

MD5SUM BENCH= ce73f93a7bf0a3e50bc3f52df8a8bc5f
RANDOM SEED=672496796

nodeC022.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		: 3656.672
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.87
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		: 2900.429
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.75
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		: 3641.426
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.87
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		: 3047.751
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.75
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		: 3599.965
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.87
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		: 2228.871
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.75
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		: 3626.893
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.87
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		: 3601.691
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        123994924 kB
MemAvailable:   129577708 kB
Buffers:          333700 kB
Cached:          5998556 kB
SwapCached:         1424 kB
Active:          2623644 kB
Inactive:        4136060 kB
Active(anon):       1808 kB
Inactive(anon):   479404 kB
Active(file):    2621836 kB
Inactive(file):  3656656 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131061428 kB
Dirty:              2396 kB
Writeback:             0 kB
AnonPages:        426152 kB
Mapped:           133832 kB
Shmem:             53732 kB
KReclaimable:     291972 kB
Slab:             415632 kB
SReclaimable:     291972 kB
SUnreclaim:       123660 kB
KernelStack:        4132 kB
PageTables:        10668 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    2871572 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            17248 kB
HardwareCorrupted:     0 kB
AnonHugePages:    241664 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:      334548 kB
DirectMap2M:    36139008 kB
DirectMap1G:    99614720 kB

Free space on /tmp at the end= 890076 MiB
End job on nodeC022 at 2024-07-25 21:34:10