Trace number 4432377

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 NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution Default 2024-07-07? (TO) 3600.23 3564.14

General information on the benchmark

NamePB24/normalized-PB09/
OPT-LIN/flexray/normalized-fx63.opb
MD5SUM7c2ff02722ff3a09887b085a032d3a00
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark71553.6
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3216
Total number of constraints3658
Number of constraints which are clauses3210
Number of constraints which are cardinality constraints (but not clauses)64
Number of constraints which are nor clauses,nor cardinality constraints384
Minimum length of a constraint2
Maximum length of a constraint384
Number of terms in the objective function 6
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 6
Number of bits of the sum of numbers in the objective function 3
Biggest number in a constraint 42
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 786
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.06	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.06	c See www.sat4j.org for details.
0.00/0.07	c version CUSTOM.v20240707
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		2106806208
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.14/0.12	--- Begin Solver configuration ---
0.14/0.12	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.14/0.12	Learn all clauses as in MiniSAT
0.14/0.12	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.12	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.12	No reason simplification
0.14/0.12	Glucose 2.1 dynamic restart strategy
0.14/0.12	Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.14/0.12	timeout=2147483s
0.14/0.12	DB Simplification allowed=false
0.14/0.12	Listener: none
0.14/0.12	--- End Solver configuration ---
0.14/0.12	c Pseudo Boolean Optimization by upper bound
0.14/0.12	c --- Begin Solver configuration ---
0.14/0.12	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.14/0.12	c Learn all clauses as in MiniSAT
0.14/0.12	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.12	c No reason simplification
0.14/0.12	c Glucose 2.1 dynamic restart strategy
0.14/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.14/0.12	c timeout=2147483s
0.14/0.12	c DB Simplification allowed=false
0.14/0.12	c Listener: none
0.14/0.12	c --- End Solver configuration ---
0.14/0.12	c solving HOME/instance-4432377-1721120326.opb
0.14/0.12	c reading problem ... 
0.14/0.12	c  objective function found
0.34/0.25	c ... done. Wall clock time 0.117s.
0.34/0.25	c declared #vars     3216
0.34/0.25	c #constraints  3721
0.34/0.25	c constraints type 
0.34/0.25	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 3210
0.34/0.25	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 63
0.34/0.25	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 384
0.34/0.25	c org.sat4j.pb.constraints.pb.UnitClausesPB => 1
0.34/0.25	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 63
0.34/0.25	c 3721 constraints processed.
0.34/0.26	c objective function length is 6 literals
1.68/0.92	c cleaning 2494 clauses out of 5001 with flag 20584/5001
2.31/1.35	c cleaning 4235 clauses out of 8508 with flag 49725/11002
2.83/1.85	c cleaning 5608 clauses out of 11272 with flag 80456/18001
3.50/2.38	c cleaning 6826 clauses out of 13663 with flag 117682/26000
4.40/3.11	c cleaning 7914 clauses out of 15839 with flag 161689/35002
5.50/4.17	c cleaning 8846 clauses out of 17924 with flag 268202/45001
6.49/5.11	c cleaning 9982 clauses out of 20079 with flag 338631/56002
7.59/6.22	c cleaning 11029 clauses out of 22096 with flag 424806/68001
9.51/8.12	c cleaning 12021 clauses out of 24066 with flag 487703/81000
11.10/9.75	c cleaning 13009 clauses out of 26045 with flag 556579/95000
12.66/11.21	c cleaning 13999 clauses out of 28036 with flag 637415/110000
14.06/12.67	c cleaning 14995 clauses out of 30037 with flag 719191/126000
16.41/14.87	c cleaning 16001 clauses out of 32043 with flag 817144/143001
18.22/16.62	c cleaning 17009 clauses out of 34041 with flag 916946/161000
19.96/18.38	c cleaning 17989 clauses out of 36032 with flag 1023511/180000
22.03/20.35	c cleaning 19015 clauses out of 38044 with flag 1136778/200001
23.82/22.17	c cleaning 19991 clauses out of 40029 with flag 1251464/221001
26.76/25.07	c cleaning 21013 clauses out of 42038 with flag 1402503/243001
30.33/28.63	c cleaning 21989 clauses out of 44025 with flag 1570747/266001
33.18/31.42	c cleaning 22996 clauses out of 46035 with flag 1703842/290000
35.48/33.76	c cleaning 23988 clauses out of 48039 with flag 1848282/315000
38.12/36.35	c cleaning 25012 clauses out of 50051 with flag 1982770/341000
40.91/39.09	c cleaning 26008 clauses out of 52040 with flag 2129077/368001
44.68/42.80	c cleaning 27009 clauses out of 54032 with flag 2281270/396001
48.04/46.03	c cleaning 27984 clauses out of 56023 with flag 2443425/425001
50.63/48.62	c cleaning 29000 clauses out of 58038 with flag 2618835/455000
53.87/51.87	c cleaning 30004 clauses out of 60038 with flag 2833421/486000
57.72/55.68	c cleaning 31019 clauses out of 62037 with flag 3049154/518003
63.17/60.89	c cleaning 31996 clauses out of 64015 with flag 3305020/551000
69.22/66.68	c cleaning 32834 clauses out of 66021 with flag 3730664/585002
77.65/74.78	c cleaning 34023 clauses out of 68190 with flag 4264027/620005
85.05/81.91	c cleaning 34993 clauses out of 70162 with flag 4755197/656000
94.78/90.87	c cleaning 35958 clauses out of 72170 with flag 5237041/693001
102.75/98.50	c cleaning 37014 clauses out of 74211 with flag 5814447/731000
114.75/110.29	c cleaning 38030 clauses out of 76197 with flag 6465415/770000
123.21/118.56	c cleaning 39061 clauses out of 78167 with flag 7096574/810000
139.40/133.73	c cleaning 39988 clauses out of 80106 with flag 7702184/851000
151.68/145.70	c cleaning 41045 clauses out of 82118 with flag 8350178/893000
168.10/161.97	c cleaning 42002 clauses out of 84073 with flag 9070907/936000
178.16/171.52	c cleaning 42988 clauses out of 86074 with flag 9776302/980003
189.52/182.67	c cleaning 44017 clauses out of 88083 with flag 10495959/1025000
198.91/191.78	c cleaning 45020 clauses out of 90068 with flag 11098306/1071002
215.77/208.12	c cleaning 46017 clauses out of 92047 with flag 11838775/1118001
236.86/228.94	c cleaning 46927 clauses out of 94029 with flag 12739490/1166000
261.45/252.63	c cleaning 47986 clauses out of 96102 with flag 13550164/1215000
288.06/278.94	c cleaning 49035 clauses out of 98117 with flag 14534586/1265001
306.00/296.58	c cleaning 50001 clauses out of 100082 with flag 15307422/1316001
329.68/319.92	c cleaning 51008 clauses out of 102080 with flag 16244421/1368000
356.26/346.01	c cleaning 52028 clauses out of 104072 with flag 17103809/1421000
382.28/371.72	c cleaning 53014 clauses out of 106044 with flag 17899371/1475000
404.86/393.93	c cleaning 54000 clauses out of 108031 with flag 18690174/1530001
424.57/413.32	c cleaning 54952 clauses out of 110031 with flag 19503006/1586001
449.75/438.04	c cleaning 56032 clauses out of 112079 with flag 20475702/1643001
472.54/460.12	c cleaning 57009 clauses out of 114046 with flag 21312998/1701000
500.46/487.65	c cleaning 58012 clauses out of 116039 with flag 22138895/1760002
524.72/511.74	c cleaning 59007 clauses out of 118025 with flag 23014582/1820000
551.97/538.64	c cleaning 59996 clauses out of 120020 with flag 23841332/1881002
575.64/562.13	c cleaning 60999 clauses out of 122025 with flag 24723446/1943003
601.31/587.63	c cleaning 61972 clauses out of 124023 with flag 25673033/2006000
630.09/616.15	c cleaning 62973 clauses out of 126054 with flag 26533276/2070003
656.13/641.81	c cleaning 63995 clauses out of 128079 with flag 27492736/2135001
682.21/667.99	c cleaning 64994 clauses out of 130087 with flag 28418754/2201004
707.80/693.17	c cleaning 65984 clauses out of 132089 with flag 29402847/2268000
732.29/717.20	c cleaning 67023 clauses out of 134105 with flag 30320696/2336000
763.00/747.54	c cleaning 67977 clauses out of 136082 with flag 31286085/2405000
792.46/776.54	c cleaning 69043 clauses out of 138106 with flag 32336398/2475001
822.83/806.89	c cleaning 70010 clauses out of 140062 with flag 33383813/2546000
853.76/837.77	c cleaning 70996 clauses out of 142052 with flag 34436810/2618000
885.54/868.40	c cleaning 72018 clauses out of 144058 with flag 35562586/2691002
920.42/903.29	c cleaning 73001 clauses out of 146039 with flag 36456146/2765001
955.32/938.01	c cleaning 73998 clauses out of 148037 with flag 37534885/2840000
992.28/974.64	c cleaning 75013 clauses out of 150041 with flag 38626323/2916002
1019.76/1001.83	c cleaning 75961 clauses out of 152028 with flag 39741605/2993002
1087.79/1069.54	c cleaning 76983 clauses out of 154065 with flag 41332176/3071000
1147.80/1129.03	c cleaning 77980 clauses out of 156082 with flag 42886677/3150000
1199.52/1180.21	c cleaning 79018 clauses out of 158102 with flag 44465959/3230000
1259.74/1240.23	c cleaning 80019 clauses out of 160084 with flag 45860186/3311000
1309.13/1289.19	c cleaning 81025 clauses out of 162066 with flag 47209452/3393001
1349.53/1328.90	c cleaning 81996 clauses out of 164041 with flag 48647629/3476001
1389.35/1368.61	c cleaning 82973 clauses out of 166044 with flag 50060160/3560000
1425.03/1404.11	c cleaning 84017 clauses out of 168073 with flag 51138099/3645002
1467.08/1445.93	c cleaning 85008 clauses out of 170054 with flag 52309498/3731000
1516.10/1492.59	c cleaning 86012 clauses out of 172048 with flag 53570381/3818002
1558.75/1534.69	c cleaning 87012 clauses out of 174037 with flag 54668070/3906003
1617.39/1592.64	c cleaning 87984 clauses out of 176022 with flag 55966476/3995000
1675.68/1650.86	c cleaning 89011 clauses out of 178040 with flag 57459494/4085002
1732.42/1707.39	c cleaning 89988 clauses out of 180028 with flag 58826630/4176001
1777.44/1752.43	c cleaning 90985 clauses out of 182039 with flag 59837186/4268000
1835.05/1809.40	c cleaning 91962 clauses out of 184057 with flag 60919349/4361003
1893.19/1866.74	c cleaning 92992 clauses out of 186093 with flag 62011861/4455001
1927.38/1900.55	c cleaning 94012 clauses out of 188101 with flag 63152859/4550001
1996.87/1969.62	c cleaning 95014 clauses out of 190088 with flag 64329690/4646000
2069.48/2041.57	c cleaning 96026 clauses out of 192076 with flag 65363030/4743002
2137.53/2109.72	c cleaning 96981 clauses out of 194049 with flag 66601460/4841001
2193.70/2165.44	c cleaning 97974 clauses out of 196069 with flag 67896460/4940002
2261.75/2231.20	c cleaning 99012 clauses out of 198094 with flag 69102468/5040001
2359.47/2328.11	c cleaning 99992 clauses out of 200082 with flag 70535682/5141001
2437.28/2405.27	c cleaning 100997 clauses out of 202089 with flag 71994838/5243000
2510.54/2478.14	c cleaning 101974 clauses out of 204092 with flag 73286616/5346000
2613.42/2581.10	c cleaning 102997 clauses out of 206119 with flag 74981368/5450001
2691.07/2658.34	c cleaning 104041 clauses out of 208121 with flag 76446960/5555000
2746.29/2712.86	c cleaning 105013 clauses out of 210080 with flag 77921708/5661000
2799.77/2766.37	c cleaning 105975 clauses out of 212068 with flag 79415604/5768001
2881.61/2847.81	c cleaning 107035 clauses out of 214092 with flag 81087100/5876000
2969.84/2935.30	c cleaning 108006 clauses out of 216057 with flag 82876549/5985000
3057.53/3022.80	c cleaning 108978 clauses out of 218051 with flag 84581372/6095000
3138.76/3102.64	c cleaning 109974 clauses out of 220074 with flag 86233670/6206001
3228.86/3192.59	c cleaning 111046 clauses out of 222099 with flag 87874076/6318000
3333.71/3297.36	c cleaning 112018 clauses out of 224053 with flag 89709322/6431000
3470.70/3434.57	c cleaning 113010 clauses out of 226035 with flag 92195815/6545000
3578.84/3542.64	c cleaning 113965 clauses out of 228025 with flag 94371918/6660000
3600.05/3564.02	c timeout
3600.05/3564.02	c starts		: 25360
3600.05/3564.02	c conflicts		: 6692224
3600.05/3564.02	c decisions		: 17309890
3600.05/3564.02	c propagations		: 721180806
3600.05/3564.02	c inspects		: 19326200020
3600.05/3564.02	c shortcuts		: 0
3600.05/3564.02	c learnt literals	: 0
3600.05/3564.02	c learnt binary clauses	: 0
3600.05/3564.02	c learnt ternary clauses	: 0
3600.05/3564.02	c learnt constraints	: 6692224
3600.05/3564.02	c ignored constraints	: 0
3600.05/3564.02	c root simplifications	: 0
3600.05/3564.02	c removed literals (reason simplification)	: 0
3600.05/3564.02	c reason swapping (by a shorter reason)	: 0
3600.05/3564.02	c Calls to reduceDB	: 111
3600.05/3564.02	c Number of update (reduction) of LBD	: 4145027
3600.05/3564.02	c Imported unit clauses	: 0
3600.05/3564.03	c No decision after first conflict	: false
3600.05/3564.03	c number of reductions to clauses (during analyze)	: 0
3600.05/3564.03	c number of learned constraints concerned by reduction	: 0
3600.05/3564.03	c number of learning phase by resolution	: 0
3600.05/3564.03	c number of learning phase by cutting planes	: 0
3600.05/3564.03	c number of rounding to 1 operations	: 0
3600.05/3564.03	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.05/3564.03	c number of reductions of the coefficients by power 2 	: 0
3600.05/3564.03	c number of right shift for reduction by power 2 	: 0
3600.05/3564.03	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.05/3564.03	c number of ending skipping 	: 0
3600.05/3564.03	c number of internal skipping 	: 0
3600.05/3564.03	c number of derivation steps 	: 0
3600.05/3564.03	c number of skipped derivation steps 	: 0
3600.05/3564.03	c number of remaining unassigned 	: 0
3600.05/3564.03	c number of remaining assigned 	: 0
3600.05/3564.03	c number of falsified literals weakened from reason	: 0
3600.05/3564.03	c number of falsified literals weakened from conflict	: 0
3600.05/3564.03	c time for arithmetic operations	: 0
3600.05/3564.03	c minimum degree of deleted constraints	: null
3600.05/3564.03	c maximum degree of deleted constraints	: null
3600.05/3564.03	c number of deleted constraints	: 0
3600.05/3564.03	c speed (assignments/second)	: 202364.74662905853
3600.05/3564.03	c non guided choices	: 12116
3600.05/3564.09	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 146284
3600.05/3564.09	s UNKNOWN
3600.05/3564.09	c Total wall clock time (in seconds): 3563.964

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

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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

solver pid=848257, runsolver pid=848254

[startup+0.101097 s]*
/proc/loadavg: 4.13 4.10 4.05 8/329 848275
/proc/meminfo: memFree=124404540/131524600 swapFree=131071996/131071996
[pid=848257] ppid=848254 vsize=18975048 memory=63332 CPUtime=0.14 cores=1,3
/proc/848257/stat : 848257 (java) S 848254 848257 845875 0 -1 1077936128 7213 0 0 0 11 3 0 0 20 0 18 0 164196448 19430449152 15833 134679101440 94465872838656 94465872842352 140725403307488 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94465872850168 94465872850960 94465902342144 140725403309063 140725403309153 140725403309153 140725403316168 0
/proc/848257/statm: 4743762 15833 5687 1 0 549335 0
[pid=848257/tid=848259] ppid=848254 vsize=18975048 memory=4026561586 CPUtime=0.09 cores=1,3
/proc/848257/task/848259/stat : 848259 (java) R 848254 848257 845875 0 -1 4194368 5744 0 0 0 7 2 0 0 20 0 18 0 164196448 19430449152 15833 134679101440 94465872838656 94465872842352 140725403307488 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94465872850168 94465872850960 94465902342144 140725403309063 140725403309153 140725403309153 140725403316168 0
[pid=848257/tid=848268] ppid=848254 vsize=18975048 memory=232851243367 CPUtime=0 cores=1,3
/proc/848257/task/848268/stat : 848268 (Finalizer) S 848254 848257 845875 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 164196451 19430449152 15833 134679101440 94465872838656 94465872842352 140725403307488 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94465872850168 94465872850960 94465902342144 140725403309063 140725403309153 140725403309153 140725403316168 0
[pid=848257/tid=848275] ppid=848254 vsize=18975048 memory=13847473600877114 CPUtime=0 cores=1,3
/proc/848257/task/848275/stat : 848275 (Common-Cleaner) S 848254 848257 845875 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 164196451 19430449152 15833 134679101440 94465872838656 94465872842352 140725403307488 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94465872850168 94465872850960 94465902342144 140725403309063 140725403309153 140725403309153 140725403316168 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 63332 KiB

[startup+0.205694 s]*
/proc/loadavg: 4.13 4.10 4.05 7/329 848275
/proc/meminfo: memFree=124384320/131524600 swapFree=131071996/131071996
[pid=848257] ppid=848254 vsize=18975048 memory=83544 CPUtime=0.34 cores=1,3
/proc/848257/stat : 848257 (java) S 848254 848257 845875 0 -1 1077936128 8324 0 0 0 31 3 0 0 20 0 18 0 164196448 19430449152 20886 134679101440 94465872838656 94465872842352 140725403307488 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94465872850168 94465872850960 94465902342144 140725403309063 140725403309153 140725403309153 140725403316168 0
/proc/848257/statm: 4743762 20886 5826 1 0 550142 0
[pid=848257/tid=848259] ppid=848254 vsize=18975048 memory=4782652875487838339 CPUtime=0.19 cores=1,3
/proc/848257/task/848259/stat : 848259 (java) R 848254 848257 845875 0 -1 4194368 5932 0 0 0 17 2 0 0 20 0 18 0 164196448 19430449152 20886 134679101440 94465872838656 94465872842352 140725403307488 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94465872850168 94465872850960 94465902342144 140725403309063 140725403309153 140725403309153 140725403316168 0
[pid=848257/tid=848268] ppid=848254 vsize=18975048 memory=3640 CPUtime=0 cores=1,3
/proc/848257/task/848268/stat : 848268 (Finalizer) S 848254 848257 845875 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 164196451 19430449152 20886 134679101440 94465872838656 94465872842352 140725403307488 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94465872850168 94465872850960 94465902342144 140725403309063 140725403309153 140725403309153 140725403316168 0
[pid=848257/tid=848275] ppid=848254 vsize=18975048 memory=15819993166120615 CPUtime=0 cores=1,3
/proc/848257/task/848275/stat : 848275 (Common-Cleaner) S 848254 848257 845875 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 164196451 19430449152 20886 134679101440 94465872838656 94465872842352 140725403307488 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94465872850168 94465872850960 94465902342144 140725403309063 140725403309153 140725403309153 140725403316168 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 83544 KiB

[startup+0.30561 s]*
/proc/loadavg: 4.13 4.10 4.05 6/330 848276
/proc/meminfo: memFree=124364308/131524600 swapFree=131071996/131071996
[pid=848257] ppid=848254 vsize=19041612 memory=97272 CPUtime=0.53 cores=1,3
/proc/848257/stat : 848257 (java) S 848254 848257 845875 0 -1 1077936128 9442 0 0 0 49 4 0 0 20 0 19 0 164196448 19498610688 24318 134679101440 94465872838656 94465872842352 140725403307488 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94465872850168 94465872850960 94465902342144 140725403309063 140725403309153 140725403309153 140725403316168 0
/proc/848257/statm: 4760403 24318 5863 1 0 551053 0
[pid=848257/tid=848259] ppid=848254 vsize=19041612 memory=-8887968645105689276 CPUtime=0.25 cores=1,3
/proc/848257/task/848259/stat : 848259 (java) R 848254 848257 845875 0 -1 1077936192 6037 0 0 0 23 2 0 0 20 0 19 0 164196448 19498610688 24318 134679101440 94465872838656 94465872842352 140725403307488 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94465872850168 94465872850960 94465902342144 140725403309063 140725403309153 140725403309153 140725403316168 0
[pid=848257/tid=848268] ppid=848254 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/848257/task/848268/stat : 848268 (Finalizer) S 848254 848257 845875 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 164196451 19498610688 24318 134679101440 94465872838656 94465872842352 140725403307488 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94465872850168 94465872850960 94465902342144 140725403309063 140725403309153 140725403309153 140725403316168 0
[pid=848257/tid=848275] ppid=848254 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/848257/task/848275/stat : 848275 (Common-Cleaner) S 848254 848257 845875 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 164196451 19498610688 24318 134679101440 94465872838656 94465872842352 140725403307488 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94465872850168 94465872850960 94465902342144 140725403309063 140725403309153 140725403309153 140725403316168 0
[pid=848257/tid=848276] ppid=848254 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/848257/task/848276/stat : 848276 (Timer-0) S 848254 848257 845875 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 164196474 19498610688 24318 134679101440 94465872838656 94465872842352 140725403307488 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94465872850168 94465872850960 94465902342144 140725403309063 140725403309153 140725403309153 140725403316168 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 97272 KiB

[startup+0.700625 s]
/proc/loadavg: 4.13 4.10 4.05 8/330 848276
/proc/meminfo: memFree=124343228/131524600 swapFree=131071996/131071996
[pid=848257] ppid=848254 vsize=19041612 memory=110468 CPUtime=1.28 cores=1,3
/proc/848257/stat : 848257 (java) S 848254 848257 845875 0 -1 1077936128 11968 0 0 0 124 4 0 0 20 0 19 0 164196448 19498610688 27617 134679101440 94465872838656 94465872842352 140725403307488 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94465872850168 94465872850960 94465902342144 140725403309063 140725403309153 140725403309153 140725403316168 0
/proc/848257/statm: 4760403 27617 5895 1 0 552753 0
[pid=848257/tid=848259] ppid=848254 vsize=19041612 memory=12180 CPUtime=0.64 cores=1,3
/proc/848257/task/848259/stat : 848259 (java) R 848254 848257 845875 0 -1 4194368 6070 0 0 0 61 3 0 0 20 0 19 0 164196448 19498610688 27617 134679101440 94465872838656 94465872842352 140725403307488 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94465872850168 94465872850960 94465902342144 140725403309063 140725403309153 140725403309153 140725403316168 0
[pid=848257/tid=848268] ppid=848254 vsize=19041612 memory=12180 CPUtime=0 cores=1,3
/proc/848257/task/848268/stat : 848268 (Finalizer) S 848254 848257 845875 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 164196451 19498610688 27617 134679101440 94465872838656 94465872842352 140725403307488 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94465872850168 94465872850960 94465902342144 140725403309063 140725403309153 140725403309153 140725403316168 0
[pid=848257/tid=848275] ppid=848254 vsize=19041612 memory=117636 CPUtime=0 cores=1,3
/proc/848257/task/848275/stat : 848275 (Common-Cleaner) S 848254 848257 845875 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 164196451 19498610688 27617 134679101440 94465872838656 94465872842352 140725403307488 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94465872850168 94465872850960 94465902342144 140725403309063 140725403309153 140725403309153 140725403316168 0
[pid=848257/tid=848276] ppid=848254 vsize=19041612 memory=26024 CPUtime=0 cores=1,3
/proc/848257/task/848276/stat : 848276 (Timer-0) S 848254 848257 845875 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 164196474 19498610688 27617 134679101440 94465872838656 94465872842352 140725403307488 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94465872850168 94465872850960 94465902342144 140725403309063 140725403309153 140725403309153 140725403316168 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 110468 KiB

[startup+1.50026 s]
/proc/loadavg: 4.13 4.10 4.05 7/330 848276
/proc/meminfo: memFree=124230588/131524600 swapFree=131071996/131071996
[pid=848257] ppid=848254 vsize=19041612 memory=133744 CPUtime=2.51 cores=1,3
/proc/848257/stat : 848257 (java) S 848254 848257 845875 0 -1 1077936128 14631 0 0 0 246 5 0 0 20 0 19 0 164196448 19498610688 33436 134679101440 94465872838656 94465872842352 140725403307488 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94465872850168 94465872850960 94465902342144 140725403309063 140725403309153 140725403309153 140725403316168 0
/proc/848257/statm: 4760403 33436 5895 1 0 553279 0
[pid=848257/tid=848259] ppid=848254 vsize=19041612 memory=12180 CPUtime=1.43 cores=1,3
/proc/848257/task/848259/stat : 848259 (java) R 848254 848257 845875 0 -1 4194368 6479 0 0 0 140 3 0 0 20 0 19 0 164196448 19498610688 33436 134679101440 94465872838656 94465872842352 140725403307488 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94465872850168 94465872850960 94465902342144 140725403309063 140725403309153 140725403309153 140725403316168 0
[pid=848257/tid=848268] ppid=848254 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/848257/task/848268/stat : 848268 (Finalizer) S 848254 848257 845875 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 164196451 19498610688 33436 134679101440 94465872838656 94465872842352 140725403307488 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94465872850168 94465872850960 94465902342144 140725403309063 140725403309153 140725403309153 140725403316168 0
[pid=848257/tid=848275] ppid=848254 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/848257/task/848275/stat : 848275 (Common-Cleaner) S 848254 848257 845875 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 164196451 19498610688 33436 134679101440 94465872838656 94465872842352 140725403307488 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94465872850168 94465872850960 94465902342144 140725403309063 140725403309153 140725403309153 140725403316168 0
[pid=848257/tid=848276] ppid=848254 vsize=19041612 memory=65 CPUtime=0 cores=1,3
/proc/848257/task/848276/stat : 848276 (Timer-0) S 848254 848257 845875 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 164196474 19498610688 33436 134679101440 94465872838656 94465872842352 140725403307488 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94465872850168 94465872850960 94465902342144 140725403309063 140725403309153 140725403309153 140725403316168 0
Current children cumulated CPU time: 2.51 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 133744 KiB

[startup+3.1057 s]
/proc/loadavg: 4.13 4.10 4.05 6/332 848278
/proc/meminfo: memFree=123938580/131524600 swapFree=131071996/131071996
[pid=848257] ppid=848254 vsize=19108176 memory=186316 CPUtime=4.4 cores=1,3
/proc/848257/stat : 848257 (java) S 848254 848257 845875 0 -1 1077936128 18965 0 0 0 433 7 0 0 20 0 20 0 164196448 19566772224 46579 134679101440 94465872838656 94465872842352 140725403307488 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94465872850168 94465872850960 94465902342144 140725403309063 140725403309153 140725403309153 140725403316168 0
/proc/848257/statm: 4777044 46579 5927 1 0 553778 0
[pid=848257/tid=848259] ppid=848254 vsize=19108176 memory=0 CPUtime=3.02 cores=1,3
/proc/848257/task/848259/stat : 848259 (java) R 848254 848257 845875 0 -1 4194368 6801 0 0 0 298 4 0 0 20 0 20 0 164196448 19566772224 46579 134679101440 94465872838656 94465872842352 140725403307488 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94465872850168 94465872850960 94465902342144 140725403309063 140725403309153 140725403309153 140725403316168 0
[pid=848257/tid=848268] ppid=848254 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/848257/task/848268/stat : 848268 (Finalizer) S 848254 848257 845875 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 164196451 19566772224 46579 134679101440 94465872838656 94465872842352 140725403307488 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94465872850168 94465872850960 94465902342144 140725403309063 140725403309153 140725403309153 140725403316168 0
[pid=848257/tid=848275] ppid=848254 vsize=19108176 memory=146032 CPUtime=0 cores=1,3
/proc/848257/task/848275/stat : 848275 (Common-Cleaner) S 848254 848257 845875 0 -1 1077936192 52 0 0 0 0 0 0 0 20 0 20 0 164196451 19566772224 46579 134679101440 94465872838656 94465872842352 140725403307488 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94465872850168 94465872850960 94465902342144 140725403309063 140725403309153 140725403309153 140725403316168 0
[pid=848257/tid=848276] ppid=848254 vsize=19108176 memory=12180 CPUtime=0 cores=1,3
/proc/848257/task/848276/stat : 848276 (Timer-0) S 848254 848257 845875 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 164196474 19566772224 46579 134679101440 94465872838656 94465872842352 140725403307488 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94465872850168 94465872850960 94465902342144 140725403309063 140725403309153 140725403309153 140725403316168 0
Current children cumulated CPU time: 4.4 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 186316 KiB

[startup+6.30025 s]
/proc/loadavg: 4.12 4.10 4.05 5/332 848278
/proc/meminfo: memFree=123439588/131524600 swapFree=131071996/131071996
[pid=848257] ppid=848254 vsize=19108176 memory=191656 CPUtime=7.69 cores=1,3
/proc/848257/stat : 848257 (java) S 848254 848257 845875 0 -1 1077936128 19633 0 0 0 762 7 0 0 20 0 20 0 164196448 19566772224 47914 134679101440 94465872838656 94465872842352 140725403307488 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94465872850168 94465872850960 94465902342144 140725403309063 140725403309153 140725403309153 140725403316168 0
/proc/848257/statm: 4777044 47914 5927 1 0 553779 0
[pid=848257/tid=848259] ppid=848254 vsize=19108176 memory=12180 CPUtime=6.18 cores=1,3
/proc/848257/task/848259/stat : 848259 (java) R 848254 848257 845875 0 -1 4194368 7173 0 0 0 614 4 0 0 20 0 20 0 164196448 19566772224 47914 134679101440 94465872838656 94465872842352 140725403307488 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94465872850168 94465872850960 94465902342144 140725403309063 140725403309153 140725403309153 140725403316168 0
[pid=848257/tid=848268] ppid=848254 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/848257/task/848268/stat : 848268 (Finalizer) S 848254 848257 845875 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 164196451 19566772224 47914 134679101440 94465872838656 94465872842352 140725403307488 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94465872850168 94465872850960 94465902342144 140725403309063 140725403309153 140725403309153 140725403316168 0
[pid=848257/tid=848275] ppid=848254 vsize=19108176 memory=6298962960357021780 CPUtime=0 cores=1,3
/proc/848257/task/848275/stat : 848275 (Common-Cleaner) S 848254 848257 845875 0 -1 1077936192 52 0 0 0 0 0 0 0 20 0 20 0 164196451 19566772224 47914 134679101440 94465872838656 94465872842352 140725403307488 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94465872850168 94465872850960 94465902342144 140725403309063 140725403309153 140725403309153 140725403316168 0
[pid=848257/tid=848276] ppid=848254 vsize=19108176 memory=5496 CPUtime=0 cores=1,3
/proc/848257/task/848276/stat : 848276 (Timer-0) S 848254 848257 845875 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 164196474 19566772224 47914 134679101440 94465872838656 94465872842352 140725403307488 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94465872850168 94465872850960 94465902342144 140725403309063 140725403309153 140725403309153 140725403316168 0
Current children cumulated CPU time: 7.69 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 191656 KiB

[startup+12.7002 s]
/proc/loadavg: 4.11 4.09 4.05 5/332 848279
/proc/meminfo: memFree=122907552/131524600 swapFree=131071996/131071996
[pid=848257] ppid=848254 vsize=19108176 memory=329524 CPUtime=14.19 cores=1,3
/proc/848257/stat : 848257 (java) S 848254 848257 845875 0 -1 1077936128 23205 0 0 0 1409 10 0 0 20 0 20 0 164196448 19566772224 82381 134679101440 94465872838656 94465872842352 140725403307488 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94465872850168 94465872850960 94465902342144 140725403309063 140725403309153 140725403309153 140725403316168 0
/proc/848257/statm: 4777044 82381 5948 1 0 553779 0
[pid=848257/tid=848259] ppid=848254 vsize=19108176 memory=0 CPUtime=12.41 cores=1,3
/proc/848257/task/848259/stat : 848259 (java) R 848254 848257 845875 0 -1 4194368 7737 0 0 0 1237 4 0 0 20 0 20 0 164196448 19566772224 82381 134679101440 94465872838656 94465872842352 140725403307488 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94465872850168 94465872850960 94465902342144 140725403309063 140725403309153 140725403309153 140725403316168 0
[pid=848257/tid=848268] ppid=848254 vsize=19108176 memory=329372 CPUtime=0 cores=1,3
/proc/848257/task/848268/stat : 848268 (Finalizer) S 848254 848257 845875 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 164196451 19566772224 82381 134679101440 94465872838656 94465872842352 140725403307488 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94465872850168 94465872850960 94465902342144 140725403309063 140725403309153 140725403309153 140725403316168 0
[pid=848257/tid=848275] ppid=848254 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/848257/task/848275/stat : 848275 (Common-Cleaner) S 848254 848257 845875 0 -1 1077936192 52 0 0 0 0 0 0 0 20 0 20 0 164196451 19566772224 82381 134679101440 94465872838656 94465872842352 140725403307488 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94465872850168 94465872850960 94465902342144 140725403309063 140725403309153 140725403309153 140725403316168 0
[pid=848257/tid=848276] ppid=848254 vsize=19108176 memory=16152 CPUtime=0 cores=1,3
/proc/848257/task/848276/stat : 848276 (Timer-0) S 848254 848257 845875 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 164196474 19566772224 82381 134679101440 94465872838656 94465872842352 140725403307488 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94465872850168 94465872850960 94465902342144 140725403309063 140725403309153 140725403309153 140725403316168 0
Current children cumulated CPU time: 14.19 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 329524 KiB

[startup+25.5006 s]
/proc/loadavg: 4.15 4.10 4.06 5/332 848281
/proc/meminfo: memFree=121638920/131524600 swapFree=131071996/131071996
[pid=848257] ppid=848254 vsize=19108176 memory=863148 CPUtime=27.26 cores=1,3
/proc/848257/stat : 848257 (java) S 848254 848257 845875 0 -1 1077936128 27030 0 0 0 2706 20 0 0 20 0 20 0 164196448 19566772224 215787 134679101440 94465872838656 94465872842352 140725403307488 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94465872850168 94465872850960 94465902342144 140725403309063 140725403309153 140725403309153 140725403316168 0
/proc/848257/statm: 4777044 215787 5948 1 0 660298 0
[pid=848257/tid=848259] ppid=848254 vsize=19108176 memory=329372 CPUtime=24.76 cores=1,3
/proc/848257/task/848259/stat : 848259 (java) R 848254 848257 845875 0 -1 4194368 8761 0 0 0 2470 6 0 0 20 0 20 0 164196448 19566772224 215787 134679101440 94465872838656 94465872842352 140725403307488 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94465872850168 94465872850960 94465902342144 140725403309063 140725403309153 140725403309153 140725403316168 0
[pid=848257/tid=848268] ppid=848254 vsize=19108176 memory=16152 CPUtime=0 cores=1,3
/proc/848257/task/848268/stat : 848268 (Finalizer) S 848254 848257 845875 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 164196451 19566772224 215787 134679101440 94465872838656 94465872842352 140725403307488 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94465872850168 94465872850960 94465902342144 140725403309063 140725403309153 140725403309153 140725403316168 0
[pid=848257/tid=848275] ppid=848254 vsize=19108176 memory=567980 CPUtime=0 cores=1,3
/proc/848257/task/848275/stat : 848275 (Common-Cleaner) S 848254 848257 845875 0 -1 1077936192 52 0 0 0 0 0 0 0 20 0 20 0 164196451 19566772224 215787 134679101440 94465872838656 94465872842352 140725403307488 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94465872850168 94465872850960 94465902342144 140725403309063 140725403309153 140725403309153 140725403316168 0
[pid=848257/tid=848276] ppid=848254 vsize=19108176 memory=11560 CPUtime=0 cores=1,3
/proc/848257/task/848276/stat : 848276 (Timer-0) S 848254 848257 845875 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 164196474 19566772224 215787 134679101440 94465872838656 94465872842352 140725403307488 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94465872850168 94465872850960 94465902342144 140725403309063 140725403309153 140725403309153 140725403316168 0
Current children cumulated CPU time: 27.26 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 863148 KiB

[startup+51.1057 s]
/proc/loadavg: 4.16 4.11 4.06 5/332 848285
/proc/meminfo: memFree=119701356/131524600 swapFree=131071996/131071996
[pid=848257] ppid=848254 vsize=19108176 memory=1383360 CPUtime=53.18 cores=1,3
/proc/848257/stat : 848257 (java) S 848254 848257 845875 0 -1 1077936128 29621 0 0 0 5286 32 0 0 20 0 20 0 164196448 19566772224 345840 134679101440 94465872838656 94465872842352 140725403307488 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94465872850168 94465872850960 94465902342144 140725403309063 140725403309153 140725403309153 140725403316168 0
/proc/848257/statm: 4777044 345840 5948 1 0 660298 0
[pid=848257/tid=848259] ppid=848254 vsize=19108176 memory=1231808 CPUtime=49.8 cores=1,3
/proc/848257/task/848259/stat : 848259 (java) R 848254 848257 845875 0 -1 4194368 9939 0 0 0 4974 6 0 0 20 0 20 0 164196448 19566772224 345840 134679101440 94465872838656 94465872842352 140725403307488 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94465872850168 94465872850960 94465902342144 140725403309063 140725403309153 140725403309153 140725403316168 0

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

/proc/848257/task/848268/stat : 848268 (Finalizer) S 848254 848257 845875 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 164196451 19566772224 3629304 134679101440 94465872838656 94465872842352 140725403307488 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94465872850168 94465872850960 94465902342144 140725403309063 140725403309153 140725403309153 140725403316168 0
[pid=848257/tid=848275] ppid=848254 vsize=19108176 memory=14517216 CPUtime=0 cores=1,3
/proc/848257/task/848275/stat : 848275 (Common-Cleaner) S 848254 848257 845875 0 -1 1077936192 2242 0 0 0 0 0 0 0 20 0 20 0 164196451 19566772224 3629304 134679101440 94465872838656 94465872842352 140725403307488 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94465872850168 94465872850960 94465902342144 140725403309063 140725403309153 140725403309153 140725403316168 0
[pid=848257/tid=848276] ppid=848254 vsize=19108176 memory=41948 CPUtime=0 cores=1,3
/proc/848257/task/848276/stat : 848276 (Timer-0) S 848254 848257 845875 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 164196474 19566772224 3629304 134679101440 94465872838656 94465872842352 140725403307488 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94465872850168 94465872850960 94465902342144 140725403309063 140725403309153 140725403309153 140725403316168 0
Current children cumulated CPU time: 3198.37 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14517216 KiB

[startup+3222.3 s]
/proc/loadavg: 4.13 4.16 4.14 5/332 849503
/proc/meminfo: memFree=93787044/131524600 swapFree=131071996/131071996
[pid=848257] ppid=848254 vsize=19108176 memory=14517216 CPUtime=3258.84 cores=1,3
/proc/848257/stat : 848257 (java) S 848254 848257 845875 0 -1 1077936128 343798 0 0 0 325485 399 0 0 20 0 20 0 164196448 19566772224 3629304 134679101440 94465872838656 94465872842352 140725403307488 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94465872850168 94465872850960 94465902342144 140725403309063 140725403309153 140725403309153 140725403316168 0
/proc/848257/statm: 4777044 3629304 5963 1 0 4085716 0
[pid=848257/tid=848259] ppid=848254 vsize=19108176 memory=14517212 CPUtime=3158.03 cores=1,3
/proc/848257/task/848259/stat : 848259 (java) R 848254 848257 845875 0 -1 4194368 118642 0 0 0 315729 74 0 0 20 0 20 0 164196448 19566772224 3629304 134679101440 94465872838656 94465872842352 140725403307488 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94465872850168 94465872850960 94465902342144 140725403309063 140725403309153 140725403309153 140725403316168 0
[pid=848257/tid=848268] ppid=848254 vsize=19108176 memory=14517212 CPUtime=0 cores=1,3
/proc/848257/task/848268/stat : 848268 (Finalizer) S 848254 848257 845875 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 164196451 19566772224 3629304 134679101440 94465872838656 94465872842352 140725403307488 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94465872850168 94465872850960 94465902342144 140725403309063 140725403309153 140725403309153 140725403316168 0
[pid=848257/tid=848275] ppid=848254 vsize=19108176 memory=14517216 CPUtime=0 cores=1,3
/proc/848257/task/848275/stat : 848275 (Common-Cleaner) S 848254 848257 845875 0 -1 1077936192 2345 0 0 0 0 0 0 0 20 0 20 0 164196451 19566772224 3629304 134679101440 94465872838656 94465872842352 140725403307488 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94465872850168 94465872850960 94465902342144 140725403309063 140725403309153 140725403309153 140725403316168 0
[pid=848257/tid=848276] ppid=848254 vsize=19108176 memory=11560 CPUtime=0 cores=1,3
/proc/848257/task/848276/stat : 848276 (Timer-0) S 848254 848257 845875 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 164196474 19566772224 3629304 134679101440 94465872838656 94465872842352 140725403307488 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94465872850168 94465872850960 94465902342144 140725403309063 140725403309153 140725403309153 140725403316168 0
Current children cumulated CPU time: 3258.84 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14517216 KiB

[startup+3282.3 s]
/proc/loadavg: 4.05 4.12 4.13 5/332 849514
/proc/meminfo: memFree=93786292/131524600 swapFree=131071996/131071996
[pid=848257] ppid=848254 vsize=19108176 memory=14517220 CPUtime=3318.31 cores=1,3
/proc/848257/stat : 848257 (java) S 848254 848257 845875 0 -1 1077936128 345063 0 0 0 331430 401 0 0 20 0 20 0 164196448 19566772224 3629305 134679101440 94465872838656 94465872842352 140725403307488 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94465872850168 94465872850960 94465902342144 140725403309063 140725403309153 140725403309153 140725403316168 0
/proc/848257/statm: 4777044 3629305 5963 1 0 4085718 0
[pid=848257/tid=848259] ppid=848254 vsize=19108176 memory=14517216 CPUtime=3217.45 cores=1,3
/proc/848257/task/848259/stat : 848259 (java) R 848254 848257 845875 0 -1 4194368 119904 0 0 0 321671 74 0 0 20 0 20 0 164196448 19566772224 3629305 134679101440 94465872838656 94465872842352 140725403307488 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94465872850168 94465872850960 94465902342144 140725403309063 140725403309153 140725403309153 140725403316168 0
[pid=848257/tid=848268] ppid=848254 vsize=19108176 memory=5496 CPUtime=0 cores=1,3
/proc/848257/task/848268/stat : 848268 (Finalizer) S 848254 848257 845875 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 164196451 19566772224 3629305 134679101440 94465872838656 94465872842352 140725403307488 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94465872850168 94465872850960 94465902342144 140725403309063 140725403309153 140725403309153 140725403316168 0
[pid=848257/tid=848275] ppid=848254 vsize=19108176 memory=14517216 CPUtime=0 cores=1,3
/proc/848257/task/848275/stat : 848275 (Common-Cleaner) S 848254 848257 845875 0 -1 1077936192 2345 0 0 0 0 0 0 0 20 0 20 0 164196451 19566772224 3629305 134679101440 94465872838656 94465872842352 140725403307488 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94465872850168 94465872850960 94465902342144 140725403309063 140725403309153 140725403309153 140725403316168 0
[pid=848257/tid=848276] ppid=848254 vsize=19108176 memory=-8887968645105689276 CPUtime=0 cores=1,3
/proc/848257/task/848276/stat : 848276 (Timer-0) S 848254 848257 845875 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 164196474 19566772224 3629305 134679101440 94465872838656 94465872842352 140725403307488 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94465872850168 94465872850960 94465902342144 140725403309063 140725403309153 140725403309153 140725403316168 0
Current children cumulated CPU time: 3318.31 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14517220 KiB

[startup+3342.3 s]
/proc/loadavg: 4.15 4.14 4.13 5/332 849526
/proc/meminfo: memFree=93785436/131524600 swapFree=131071996/131071996
[pid=848257] ppid=848254 vsize=19108176 memory=14517228 CPUtime=3378.75 cores=1,3
/proc/848257/stat : 848257 (java) S 848254 848257 845875 0 -1 1077936128 352831 0 0 0 337472 403 0 0 20 0 20 0 164196448 19566772224 3629307 134679101440 94465872838656 94465872842352 140725403307488 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94465872850168 94465872850960 94465902342144 140725403309063 140725403309153 140725403309153 140725403316168 0
/proc/848257/statm: 4777044 3629307 5963 1 0 4085719 0
[pid=848257/tid=848259] ppid=848254 vsize=19108176 memory=-8887968645105689276 CPUtime=3275.86 cores=1,3
/proc/848257/task/848259/stat : 848259 (java) R 848254 848257 845875 0 -1 4194368 122975 0 0 0 327511 75 0 0 20 0 20 0 164196448 19566772224 3629307 134679101440 94465872838656 94465872842352 140725403307488 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94465872850168 94465872850960 94465902342144 140725403309063 140725403309153 140725403309153 140725403316168 0
[pid=848257/tid=848268] ppid=848254 vsize=19108176 memory=14517224 CPUtime=0 cores=1,3
/proc/848257/task/848268/stat : 848268 (Finalizer) S 848254 848257 845875 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 164196451 19566772224 3629307 134679101440 94465872838656 94465872842352 140725403307488 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94465872850168 94465872850960 94465902342144 140725403309063 140725403309153 140725403309153 140725403316168 0
[pid=848257/tid=848275] ppid=848254 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/848257/task/848275/stat : 848275 (Common-Cleaner) S 848254 848257 845875 0 -1 1077936192 2431 0 0 0 0 0 0 0 20 0 20 0 164196451 19566772224 3629307 134679101440 94465872838656 94465872842352 140725403307488 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94465872850168 94465872850960 94465902342144 140725403309063 140725403309153 140725403309153 140725403316168 0
[pid=848257/tid=848276] ppid=848254 vsize=19108176 memory=11560 CPUtime=0 cores=1,3
/proc/848257/task/848276/stat : 848276 (Timer-0) S 848254 848257 845875 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 164196474 19566772224 3629307 134679101440 94465872838656 94465872842352 140725403307488 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94465872850168 94465872850960 94465902342144 140725403309063 140725403309153 140725403309153 140725403316168 0
Current children cumulated CPU time: 3378.75 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14517228 KiB

[startup+3402.3 s]
/proc/loadavg: 4.23 4.16 4.14 5/333 849921
/proc/meminfo: memFree=93784396/131524600 swapFree=131071996/131071996
[pid=848257] ppid=848254 vsize=19108176 memory=14517232 CPUtime=3438.22 cores=1,3
/proc/848257/stat : 848257 (java) S 848254 848257 845875 0 -1 1077936128 353938 0 0 0 343417 405 0 0 20 0 20 0 164196448 19566772224 3629308 134679101440 94465872838656 94465872842352 140725403307488 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94465872850168 94465872850960 94465902342144 140725403309063 140725403309153 140725403309153 140725403316168 0
/proc/848257/statm: 4777044 3629308 5963 1 0 4085720 0
[pid=848257/tid=848259] ppid=848254 vsize=19108176 memory=14517224 CPUtime=3335.29 cores=1,3
/proc/848257/task/848259/stat : 848259 (java) R 848254 848257 845875 0 -1 4194368 124076 0 0 0 333454 75 0 0 20 0 20 0 164196448 19566772224 3629308 134679101440 94465872838656 94465872842352 140725403307488 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94465872850168 94465872850960 94465902342144 140725403309063 140725403309153 140725403309153 140725403316168 0
[pid=848257/tid=848268] ppid=848254 vsize=19108176 memory=14517228 CPUtime=0 cores=1,3
/proc/848257/task/848268/stat : 848268 (Finalizer) S 848254 848257 845875 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 164196451 19566772224 3629308 134679101440 94465872838656 94465872842352 140725403307488 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94465872850168 94465872850960 94465902342144 140725403309063 140725403309153 140725403309153 140725403316168 0
[pid=848257/tid=848275] ppid=848254 vsize=19108176 memory=11560 CPUtime=0 cores=1,3
/proc/848257/task/848275/stat : 848275 (Common-Cleaner) S 848254 848257 845875 0 -1 1077936192 2432 0 0 0 0 0 0 0 20 0 20 0 164196451 19566772224 3629308 134679101440 94465872838656 94465872842352 140725403307488 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94465872850168 94465872850960 94465902342144 140725403309063 140725403309153 140725403309153 140725403316168 0
[pid=848257/tid=848276] ppid=848254 vsize=19108176 memory=-7089360321426908535 CPUtime=0 cores=1,3
/proc/848257/task/848276/stat : 848276 (Timer-0) S 848254 848257 845875 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 164196474 19566772224 3629308 134679101440 94465872838656 94465872842352 140725403307488 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94465872850168 94465872850960 94465902342144 140725403309063 140725403309153 140725403309153 140725403316168 0
Current children cumulated CPU time: 3438.22 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14517232 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.15 4.13 5/334 849933
/proc/meminfo: memFree=93783944/131524600 swapFree=131071996/131071996
[pid=848257] ppid=848254 vsize=19108176 memory=14517244 CPUtime=3498.25 cores=1,3
/proc/848257/stat : 848257 (java) S 848254 848257 845875 0 -1 1077936128 357692 0 0 0 349418 407 0 0 20 0 20 0 164196448 19566772224 3629311 134679101440 94465872838656 94465872842352 140725403307488 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94465872850168 94465872850960 94465902342144 140725403309063 140725403309153 140725403309153 140725403316168 0
/proc/848257/statm: 4777044 3629311 5963 1 0 4085722 0
[pid=848257/tid=848259] ppid=848254 vsize=19108176 memory=14517244 CPUtime=3394.18 cores=1,3
/proc/848257/task/848259/stat : 848259 (java) R 848254 848257 845875 0 -1 4194368 126705 0 0 0 339342 76 0 0 20 0 20 0 164196448 19566772224 3629311 134679101440 94465872838656 94465872842352 140725403307488 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94465872850168 94465872850960 94465902342144 140725403309063 140725403309153 140725403309153 140725403316168 0
[pid=848257/tid=848268] ppid=848254 vsize=19108176 memory=14517224 CPUtime=0 cores=1,3
/proc/848257/task/848268/stat : 848268 (Finalizer) S 848254 848257 845875 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 164196451 19566772224 3629311 134679101440 94465872838656 94465872842352 140725403307488 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94465872850168 94465872850960 94465902342144 140725403309063 140725403309153 140725403309153 140725403316168 0
[pid=848257/tid=848275] ppid=848254 vsize=19108176 memory=14517228 CPUtime=0 cores=1,3
/proc/848257/task/848275/stat : 848275 (Common-Cleaner) S 848254 848257 845875 0 -1 1077936192 2519 0 0 0 0 0 0 0 20 0 20 0 164196451 19566772224 3629311 134679101440 94465872838656 94465872842352 140725403307488 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94465872850168 94465872850960 94465902342144 140725403309063 140725403309153 140725403309153 140725403316168 0
[pid=848257/tid=848276] ppid=848254 vsize=19108176 memory=14517244 CPUtime=0 cores=1,3
/proc/848257/task/848276/stat : 848276 (Timer-0) S 848254 848257 845875 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 164196474 19566772224 3629311 134679101440 94465872838656 94465872842352 140725403307488 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94465872850168 94465872850960 94465902342144 140725403309063 140725403309153 140725403309153 140725403316168 0
Current children cumulated CPU time: 3498.25 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14517244 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.15 4.13 5/334 849944
/proc/meminfo: memFree=93783212/131524600 swapFree=131071996/131071996
[pid=848257] ppid=848254 vsize=19108176 memory=14517244 CPUtime=3558.14 cores=1,3
/proc/848257/stat : 848257 (java) S 848254 848257 845875 0 -1 1077936128 362343 0 0 0 355405 409 0 0 20 0 20 0 164196448 19566772224 3629311 134679101440 94465872838656 94465872842352 140725403307488 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94465872850168 94465872850960 94465902342144 140725403309063 140725403309153 140725403309153 140725403316168 0
/proc/848257/statm: 4777044 3629311 5963 1 0 4085722 0
[pid=848257/tid=848259] ppid=848254 vsize=19108176 memory=14517244 CPUtime=3453.14 cores=1,3
/proc/848257/task/848259/stat : 848259 (java) R 848254 848257 845875 0 -1 4194368 127911 0 0 0 345238 76 0 0 20 0 20 0 164196448 19566772224 3629311 134679101440 94465872838656 94465872842352 140725403307488 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94465872850168 94465872850960 94465902342144 140725403309063 140725403309153 140725403309153 140725403316168 0
[pid=848257/tid=848268] ppid=848254 vsize=19108176 memory=14517244 CPUtime=0 cores=1,3
/proc/848257/task/848268/stat : 848268 (Finalizer) S 848254 848257 845875 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 164196451 19566772224 3629311 134679101440 94465872838656 94465872842352 140725403307488 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94465872850168 94465872850960 94465902342144 140725403309063 140725403309153 140725403309153 140725403316168 0
[pid=848257/tid=848275] ppid=848254 vsize=19108176 memory=14517244 CPUtime=0 cores=1,3
/proc/848257/task/848275/stat : 848275 (Common-Cleaner) S 848254 848257 845875 0 -1 1077936192 2527 0 0 0 0 0 0 0 20 0 20 0 164196451 19566772224 3629311 134679101440 94465872838656 94465872842352 140725403307488 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94465872850168 94465872850960 94465902342144 140725403309063 140725403309153 140725403309153 140725403316168 0
[pid=848257/tid=848276] ppid=848254 vsize=19108176 memory=7420 CPUtime=0 cores=1,3
/proc/848257/task/848276/stat : 848276 (Timer-0) S 848254 848257 845875 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 164196474 19566772224 3629311 134679101440 94465872838656 94465872842352 140725403307488 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94465872850168 94465872850960 94465902342144 140725403309063 140725403309153 140725403309153 140725403316168 0
Current children cumulated CPU time: 3558.14 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14517244 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3564 s]*
/proc/loadavg: 4.13 4.14 4.13 5/336 850121
/proc/meminfo: memFree=93779612/131524600 swapFree=131071996/131071996
[pid=848257] ppid=848254 vsize=19108176 memory=14517244 CPUtime=3600.05 cores=1,3
/proc/848257/stat : 848257 (java) S 848254 848257 845875 0 -1 1077936128 364230 0 0 0 359594 411 0 0 20 0 20 0 164196448 19566772224 3629311 134679101440 94465872838656 94465872842352 140725403307488 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94465872850168 94465872850960 94465902342144 140725403309063 140725403309153 140725403309153 140725403316168 0
/proc/848257/statm: 4777044 3629311 5963 1 0 4085722 0
[pid=848257/tid=848259] ppid=848254 vsize=19108176 memory=19432 CPUtime=3493.85 cores=1,3
/proc/848257/task/848259/stat : 848259 (java) R 848254 848257 845875 0 -1 4194368 128868 0 0 0 349309 76 0 0 20 0 20 0 164196448 19566772224 3629311 134679101440 94465872838656 94465872842352 140725403307488 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94465872850168 94465872850960 94465902342144 140725403309063 140725403309153 140725403309153 140725403316168 0
[pid=848257/tid=848268] ppid=848254 vsize=19108176 memory=104 CPUtime=0 cores=1,3
/proc/848257/task/848268/stat : 848268 (Finalizer) S 848254 848257 845875 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 164196451 19566772224 3629311 134679101440 94465872838656 94465872842352 140725403307488 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94465872850168 94465872850960 94465902342144 140725403309063 140725403309153 140725403309153 140725403316168 0
[pid=848257/tid=848275] ppid=848254 vsize=19108176 memory=2196 CPUtime=0 cores=1,3
/proc/848257/task/848275/stat : 848275 (Common-Cleaner) S 848254 848257 845875 0 -1 1077936192 2527 0 0 0 0 0 0 0 20 0 20 0 164196451 19566772224 3629311 134679101440 94465872838656 94465872842352 140725403307488 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94465872850168 94465872850960 94465902342144 140725403309063 140725403309153 140725403309153 140725403316168 0
[pid=848257/tid=848276] ppid=848254 vsize=19108176 memory=-7737597192791352703 CPUtime=0 cores=1,3
/proc/848257/task/848276/stat : 848276 (Timer-0) S 848254 848257 845875 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 164196474 19566772224 3629311 134679101440 94465872838656 94465872842352 140725403307488 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94465872850168 94465872850960 94465902342144 140725403309063 140725403309153 140725403309153 140725403316168 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14517244 KiB

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

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

# cumulated CPU time of all completed processes:  user=3596.08 s, system=4.15306 s

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

[startup+3564.13 s]*
/proc/loadavg: 4.13 4.14 4.13 5/318 850124
/proc/meminfo: memFree=107938756/131524600 swapFree=131071996/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): 3564.14
CPU time (s): 3600.23
CPU user time (s): 3596.08
CPU system time (s): 4.15306
CPU usage (%): 101.013
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 14517244

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.08
system time used= 4.15306
maximum resident set size= 14519104
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 368054
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3576
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 112608
involuntary context switches= 23845


# summary of solver processes directly reported to runsolver:
#   pid: 848257
#   total CPU time (s): 3600.23
#   total CPU user time (s): 3596.08
#   total CPU system time (s): 4.15306

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.62991 second user time and 18.1345 second system time

The end

Launcher Data 

Begin job on nodeC021 at 2024-07-16 10:58:58
IDJOB=4432377
IDBENCH=148772
IDSOLVER=3058
FILE ID=nodeC021/4432377-1721120326
RUNJOBID= nodeC021-1721116734-845887
SLURM_JOB_ID= 7505658
Free space on /tmp= 890076 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB09/OPT-LIN/flexray/normalized-fx63.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432377-1721120326/watcher-4432377-1721120326 -o /tmp/evaluation-result-4432377-1721120326/solver-4432377-1721120326 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1721116734-845887 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4432377-1721120326.opb

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

MD5SUM BENCH= 7c2ff02722ff3a09887b085a032d3a00
RANDOM SEED=1242943209

nodeC021.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		: 3599.704
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.42
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		: 3661.357
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.23
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		: 3601.482
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.42
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		: 3648.999
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.23
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		: 3601.484
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.42
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		: 3682.199
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.23
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.916
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.42
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		: 3616.606
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.23
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        124449220 kB
MemAvailable:   127679244 kB
Buffers:          395804 kB
Cached:          3635556 kB
SwapCached:            0 kB
Active:           741328 kB
Inactive:        5655452 kB
Active(anon):       1560 kB
Inactive(anon):  2401252 kB
Active(file):     739768 kB
Inactive(file):  3254200 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              8140 kB
Writeback:             0 kB
AnonPages:       2364412 kB
Mapped:           124404 kB
Shmem:             37720 kB
KReclaimable:     151760 kB
Slab:             266380 kB
SReclaimable:     151760 kB
SUnreclaim:       114620 kB
KernelStack:        4988 kB
PageTables:        14304 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    9887136 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            62400 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2093056 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:      256724 kB
DirectMap2M:    23633920 kB
DirectMap1G:    112197632 kB

Free space on /tmp at the end= 890076 MiB
End job on nodeC021 at 2024-07-16 11:58:23