Trace number 4432374

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.26 3591.32

General information on the benchmark

NamePB24/normalized-PB09/
OPT-LIN/flexray/normalized-fx49.opb
MD5SUMbb00c8681178995acecbc2b6e4ec1a1a
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 benchmark2386.3
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2130
Total number of constraints2495
Number of constraints which are clauses2125
Number of constraints which are cardinality constraints (but not clauses)50
Number of constraints which are nor clauses,nor cardinality constraints320
Minimum length of a constraint2
Maximum length of a constraint320
Number of terms in the objective function 5
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 5
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 636
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.07	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.07	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.07	c java.vm.version	22.0.1+8-16
0.00/0.07	c java.vm.vendor	Oracle Corporation
0.00/0.07	c sun.arch.data.model	64
0.00/0.07	c java.version		22.0.1
0.00/0.07	c os.name		Linux
0.00/0.07	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.07	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.08	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-4432374-1721120325.opb
0.14/0.12	c reading problem ... 
0.14/0.12	c  objective function found
0.33/0.22	c ... done. Wall clock time 0.094s.
0.33/0.22	c declared #vars     2130
0.33/0.22	c #constraints  2544
0.33/0.22	c constraints type 
0.33/0.22	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 2125
0.33/0.22	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 49
0.33/0.22	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 320
0.33/0.22	c org.sat4j.pb.constraints.pb.UnitClausesPB => 1
0.33/0.22	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 49
0.33/0.22	c 2544 constraints processed.
0.33/0.23	c objective function length is 5 literals
1.30/0.79	c cleaning 2492 clauses out of 5001 with flag 25374/5001
1.82/1.19	c cleaning 4238 clauses out of 8508 with flag 53489/11000
2.49/1.75	c cleaning 5522 clauses out of 11271 with flag 109924/18001
3.35/2.41	c cleaning 6793 clauses out of 13748 with flag 166488/26000
4.55/3.58	c cleaning 7975 clauses out of 15955 with flag 255636/35000
6.06/5.09	c cleaning 8984 clauses out of 17980 with flag 349455/45000
7.61/6.55	c cleaning 9994 clauses out of 19997 with flag 460284/56001
9.35/8.28	c cleaning 10995 clauses out of 22004 with flag 584173/68002
11.32/10.18	c cleaning 12001 clauses out of 24008 with flag 698767/81001
14.04/12.76	c cleaning 12991 clauses out of 26007 with flag 827257/95001
16.92/15.57	c cleaning 14002 clauses out of 28016 with flag 1038995/110001
19.44/18.05	c cleaning 15004 clauses out of 30013 with flag 1223871/126000
22.71/21.16	c cleaning 16002 clauses out of 32009 with flag 1436721/143000
26.63/24.99	c cleaning 17000 clauses out of 34008 with flag 1643447/161001
30.23/28.49	c cleaning 17961 clauses out of 36009 with flag 1802371/180002
34.41/32.57	c cleaning 19011 clauses out of 38046 with flag 2004082/200000
38.37/36.42	c cleaning 19972 clauses out of 40035 with flag 2295558/221000
43.15/41.16	c cleaning 21028 clauses out of 42064 with flag 2654436/243001
48.03/45.87	c cleaning 22012 clauses out of 44039 with flag 2954651/266004
53.08/50.53	c cleaning 23005 clauses out of 46024 with flag 3197851/290001
58.08/55.44	c cleaning 24001 clauses out of 48020 with flag 3501075/315002
63.75/61.01	c cleaning 25001 clauses out of 50018 with flag 3837015/341001
69.45/66.66	c cleaning 26003 clauses out of 52016 with flag 4201596/368000
75.99/73.12	c cleaning 27004 clauses out of 54013 with flag 4612273/396000
81.85/78.97	c cleaning 27963 clauses out of 56010 with flag 4867233/425001
89.95/86.90	c cleaning 29002 clauses out of 58047 with flag 5255913/455001
98.49/95.23	c cleaning 30016 clauses out of 60045 with flag 5622226/486001
105.98/102.64	c cleaning 31013 clauses out of 62030 with flag 6015422/518002
114.76/111.34	c cleaning 32002 clauses out of 64015 with flag 6443170/551000
124.23/120.37	c cleaning 32995 clauses out of 66013 with flag 6892788/585000
134.32/130.36	c cleaning 34006 clauses out of 68023 with flag 7391129/620005
143.47/139.35	c cleaning 34997 clauses out of 70015 with flag 7897102/656003
151.66/147.52	c cleaning 36001 clauses out of 72020 with flag 8383409/693005
160.65/156.48	c cleaning 36956 clauses out of 74015 with flag 8926091/731001
173.77/169.46	c cleaning 38023 clauses out of 76059 with flag 9289024/770001
185.67/181.22	c cleaning 38991 clauses out of 78035 with flag 9669308/810000
200.75/195.68	c cleaning 40010 clauses out of 80044 with flag 10053751/851000
213.24/208.08	c cleaning 41013 clauses out of 82035 with flag 10452300/893001
231.16/225.85	c cleaning 42006 clauses out of 84021 with flag 10898638/936000
252.04/246.65	c cleaning 42991 clauses out of 86015 with flag 11393305/980000
264.80/259.30	c cleaning 43990 clauses out of 88024 with flag 11806974/1025000
285.78/280.12	c cleaning 44980 clauses out of 90034 with flag 12252648/1071000
300.31/294.68	c cleaning 46021 clauses out of 92057 with flag 12706375/1118003
316.59/310.70	c cleaning 47010 clauses out of 94035 with flag 13136868/1166002
336.29/330.32	c cleaning 47995 clauses out of 96023 with flag 13636102/1215000
355.39/349.15	c cleaning 48998 clauses out of 98029 with flag 14184079/1265001
371.18/364.40	c cleaning 50009 clauses out of 100031 with flag 14717962/1316001
389.58/382.84	c cleaning 50969 clauses out of 102021 with flag 15171934/1368000
406.09/399.07	c cleaning 51994 clauses out of 104053 with flag 15674622/1421001
421.43/414.22	c cleaning 53010 clauses out of 106061 with flag 16208296/1475003
445.87/438.73	c cleaning 53988 clauses out of 108048 with flag 16828044/1530000
472.25/464.94	c cleaning 54971 clauses out of 110060 with flag 17443659/1586000
496.96/489.48	c cleaning 55996 clauses out of 112091 with flag 18089734/1643002
531.35/523.82	c cleaning 57015 clauses out of 114094 with flag 18734602/1701001
570.99/563.32	c cleaning 58012 clauses out of 116080 with flag 19437180/1760002
607.34/599.68	c cleaning 58990 clauses out of 118067 with flag 20107060/1820001
646.91/639.15	c cleaning 60003 clauses out of 120076 with flag 20836043/1881000
708.68/700.98	c cleaning 61031 clauses out of 122074 with flag 21545405/1943001
757.79/749.45	c cleaning 62003 clauses out of 124042 with flag 22196886/2006000
814.58/806.54	c cleaning 63017 clauses out of 126039 with flag 22879539/2070000
854.63/846.51	c cleaning 63995 clauses out of 128022 with flag 23579420/2135000
886.34/878.17	c cleaning 65012 clauses out of 130027 with flag 24242762/2201000
923.86/915.80	c cleaning 66000 clauses out of 132015 with flag 24895988/2268000
953.89/945.77	c cleaning 67003 clauses out of 134015 with flag 25550466/2336000
1006.49/998.57	c cleaning 67968 clauses out of 136012 with flag 26284351/2405000
1053.37/1045.55	c cleaning 69019 clauses out of 138050 with flag 27153181/2475006
1098.09/1090.36	c cleaning 70007 clauses out of 140026 with flag 27986633/2546001
1146.93/1139.45	c cleaning 71005 clauses out of 142021 with flag 28849988/2618003
1204.08/1196.88	c cleaning 71995 clauses out of 144013 with flag 29641277/2691000
1259.77/1252.41	c cleaning 72988 clauses out of 146019 with flag 30404638/2765001
1301.06/1293.78	c cleaning 73997 clauses out of 148031 with flag 31207223/2840001
1366.21/1358.80	c cleaning 74992 clauses out of 150034 with flag 32040238/2916001
1433.60/1425.91	c cleaning 76003 clauses out of 152045 with flag 32960429/2993004
1464.31/1456.59	c cleaning 76991 clauses out of 154039 with flag 33812640/3071001
1527.11/1518.59	c cleaning 78007 clauses out of 156047 with flag 34712201/3150000
1591.24/1582.55	c cleaning 78996 clauses out of 158041 with flag 35615640/3230001
1631.92/1623.03	c cleaning 80011 clauses out of 160045 with flag 36394900/3311001
1690.64/1681.70	c cleaning 81004 clauses out of 162033 with flag 37304055/3393000
1759.73/1750.68	c cleaning 81990 clauses out of 164031 with flag 38231146/3476002
1800.31/1791.33	c cleaning 82975 clauses out of 166040 with flag 39068047/3560001
1864.25/1855.33	c cleaning 84014 clauses out of 168064 with flag 40058288/3645000
1950.43/1941.42	c cleaning 85016 clauses out of 170052 with flag 41003235/3731002
2034.21/2025.46	c cleaning 85985 clauses out of 172034 with flag 41951208/3818000
2101.96/2093.15	c cleaning 87007 clauses out of 174050 with flag 42932538/3906001
2183.42/2174.55	c cleaning 87994 clauses out of 176042 with flag 43909645/3995000
2264.45/2255.83	c cleaning 88994 clauses out of 178048 with flag 44897203/4085000
2330.08/2321.14	c cleaning 90006 clauses out of 180055 with flag 46028285/4176001
2398.27/2389.50	c cleaning 91007 clauses out of 182048 with flag 47187753/4268000
2468.24/2459.54	c cleaning 92012 clauses out of 184041 with flag 48381681/4361000
2571.49/2563.42	c cleaning 92997 clauses out of 186031 with flag 49497314/4455002
2673.35/2665.29	c cleaning 94012 clauses out of 188034 with flag 50622529/4550002
2781.21/2773.24	c cleaning 94993 clauses out of 190021 with flag 51705701/4646001
2882.73/2874.56	c cleaning 96000 clauses out of 192028 with flag 52867966/4743001
2967.93/2959.26	c cleaning 96977 clauses out of 194029 with flag 53966060/4841002
3048.66/3040.00	c cleaning 97956 clauses out of 196051 with flag 55069129/4940001
3104.86/3096.56	c cleaning 98995 clauses out of 198094 with flag 56069281/5040000
3181.06/3172.53	c cleaning 100041 clauses out of 200100 with flag 56965977/5141001
3244.68/3236.36	c cleaning 101019 clauses out of 202058 with flag 57880024/5243000
3292.65/3284.42	c cleaning 102018 clauses out of 204041 with flag 58911945/5346002
3369.75/3361.69	c cleaning 103004 clauses out of 206021 with flag 59884607/5450000
3413.65/3405.28	c cleaning 103996 clauses out of 208017 with flag 61005046/5555000
3476.57/3467.93	c cleaning 104988 clauses out of 210021 with flag 62216976/5661000
3532.70/3523.93	c cleaning 106006 clauses out of 212033 with flag 63380621/5768000
3600.09/3591.21	c starts		: 5409
3600.09/3591.21	c timeout
3600.09/3591.22	c conflicts		: 5862627
3600.09/3591.22	c decisions		: 9981869
3600.09/3591.22	c propagations		: 460380894
3600.09/3591.22	c inspects		: 27228339963
3600.09/3591.22	c shortcuts		: 0
3600.09/3591.22	c learnt literals	: 0
3600.09/3591.22	c learnt binary clauses	: 0
3600.09/3591.22	c learnt ternary clauses	: 0
3600.09/3591.22	c learnt constraints	: 5862627
3600.09/3591.22	c ignored constraints	: 0
3600.09/3591.22	c root simplifications	: 0
3600.09/3591.22	c removed literals (reason simplification)	: 0
3600.09/3591.22	c reason swapping (by a shorter reason)	: 0
3600.09/3591.22	c Calls to reduceDB	: 103
3600.09/3591.22	c Number of update (reduction) of LBD	: 3385188
3600.09/3591.22	c Imported unit clauses	: 0
3600.09/3591.22	c No decision after first conflict	: false
3600.09/3591.22	c number of reductions to clauses (during analyze)	: 0
3600.09/3591.22	c number of learned constraints concerned by reduction	: 0
3600.09/3591.22	c number of learning phase by resolution	: 0
3600.09/3591.22	c number of learning phase by cutting planes	: 0
3600.09/3591.22	c number of rounding to 1 operations	: 0
3600.09/3591.22	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.09/3591.22	c number of reductions of the coefficients by power 2 	: 0
3600.09/3591.22	c number of right shift for reduction by power 2 	: 0
3600.09/3591.22	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.09/3591.22	c number of ending skipping 	: 0
3600.09/3591.22	c number of internal skipping 	: 0
3600.09/3591.22	c number of derivation steps 	: 0
3600.09/3591.22	c number of skipped derivation steps 	: 0
3600.09/3591.22	c number of remaining unassigned 	: 0
3600.09/3591.22	c number of remaining assigned 	: 0
3600.09/3591.22	c number of falsified literals weakened from reason	: 0
3600.09/3591.22	c number of falsified literals weakened from conflict	: 0
3600.09/3591.22	c time for arithmetic operations	: 0
3600.09/3591.22	c minimum degree of deleted constraints	: null
3600.09/3591.22	c maximum degree of deleted constraints	: null
3600.09/3591.22	c number of deleted constraints	: 0
3600.09/3591.22	c speed (assignments/second)	: 128204.69882480646
3600.09/3591.22	c non guided choices	: 2973
3600.09/3591.28	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 200654
3600.09/3591.28	s UNKNOWN
3600.09/3591.28	c Total wall clock time (in seconds): 3591.157

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

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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=848207, runsolver pid=848204
Current StackSize limit: 8192 KiB


[startup+0.100519 s]*
/proc/loadavg: 4.13 4.10 4.05 7/309 848225
/proc/meminfo: memFree=124480720/131524600 swapFree=131071996/131071996
[pid=848207] ppid=848204 vsize=18975048 memory=64604 CPUtime=0.14 cores=0,2
/proc/848207/stat : 848207 (java) S 848204 848207 845875 0 -1 1077936128 7226 0 0 0 12 2 0 0 20 0 18 0 164196372 19430449152 16151 134679101440 94273114746880 94273114750576 140720792824800 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94273114758392 94273114759184 94273133535232 140720792826887 140720792826977 140720792826977 140720792833992 0
/proc/848207/statm: 4743762 16151 5542 1 0 549349 0
[pid=848207/tid=848209] ppid=848204 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=0,2
/proc/848207/task/848209/stat : 848209 (java) R 848204 848207 845875 0 -1 4194368 5746 0 0 0 7 1 0 0 20 0 18 0 164196372 19430449152 16151 134679101440 94273114746880 94273114750576 140720792824800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94273114758392 94273114759184 94273133535232 140720792826887 140720792826977 140720792826977 140720792833992 0
[pid=848207/tid=848218] ppid=848204 vsize=18975048 memory=232851243367 CPUtime=0 cores=0,2
/proc/848207/task/848218/stat : 848218 (Finalizer) S 848204 848207 845875 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 164196375 19430449152 16151 134679101440 94273114746880 94273114750576 140720792824800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94273114758392 94273114759184 94273133535232 140720792826887 140720792826977 140720792826977 140720792833992 0
[pid=848207/tid=848225] ppid=848204 vsize=18975048 memory=13847473600877114 CPUtime=0 cores=0,2
/proc/848207/task/848225/stat : 848225 (Common-Cleaner) S 848204 848207 845875 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 164196376 19430449152 16151 134679101440 94273114746880 94273114750576 140720792824800 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94273114758392 94273114759184 94273133535232 140720792826887 140720792826977 140720792826977 140720792833992 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 64604 KiB

[startup+0.206183 s]*
/proc/loadavg: 4.13 4.10 4.05 5/309 848225
/proc/meminfo: memFree=124460864/131524600 swapFree=131071996/131071996
[pid=848207] ppid=848204 vsize=18975048 memory=83240 CPUtime=0.33 cores=0,2
/proc/848207/stat : 848207 (java) S 848204 848207 845875 0 -1 1077936128 8215 0 0 0 31 2 0 0 20 0 18 0 164196372 19430449152 20810 134679101440 94273114746880 94273114750576 140720792824800 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94273114758392 94273114759184 94273133535232 140720792826887 140720792826977 140720792826977 140720792833992 0
/proc/848207/statm: 4743762 20810 5826 1 0 550053 0
[pid=848207/tid=848209] ppid=848204 vsize=18975048 memory=4782652875487838339 CPUtime=0.18 cores=0,2
/proc/848207/task/848209/stat : 848209 (java) R 848204 848207 845875 0 -1 4194368 5935 0 0 0 16 2 0 0 20 0 18 0 164196372 19430449152 20810 134679101440 94273114746880 94273114750576 140720792824800 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94273114758392 94273114759184 94273133535232 140720792826887 140720792826977 140720792826977 140720792833992 0
[pid=848207/tid=848218] ppid=848204 vsize=18975048 memory=3640 CPUtime=0 cores=0,2
/proc/848207/task/848218/stat : 848218 (Finalizer) S 848204 848207 845875 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 164196375 19430449152 20810 134679101440 94273114746880 94273114750576 140720792824800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94273114758392 94273114759184 94273133535232 140720792826887 140720792826977 140720792826977 140720792833992 0
[pid=848207/tid=848225] ppid=848204 vsize=18975048 memory=15819993166120615 CPUtime=0 cores=0,2
/proc/848207/task/848225/stat : 848225 (Common-Cleaner) S 848204 848207 845875 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 164196376 19430449152 20810 134679101440 94273114746880 94273114750576 140720792824800 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94273114758392 94273114759184 94273133535232 140720792826887 140720792826977 140720792826977 140720792833992 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 83240 KiB

[startup+0.305628 s]*
/proc/loadavg: 4.13 4.10 4.05 7/310 848226
/proc/meminfo: memFree=124457644/131524600 swapFree=131071996/131071996
[pid=848207] ppid=848204 vsize=19041612 memory=88724 CPUtime=0.51 cores=0,2
/proc/848207/stat : 848207 (java) S 848204 848207 845875 0 -1 1077936128 9343 0 0 0 49 2 0 0 20 0 19 0 164196372 19498610688 22181 134679101440 94273114746880 94273114750576 140720792824800 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94273114758392 94273114759184 94273133535232 140720792826887 140720792826977 140720792826977 140720792833992 0
/proc/848207/statm: 4760403 22181 5863 1 0 550972 0
[pid=848207/tid=848209] ppid=848204 vsize=19041612 memory=-8889376019989242556 CPUtime=0.26 cores=0,2
/proc/848207/task/848209/stat : 848209 (java) R 848204 848207 845875 0 -1 4194368 6043 0 0 0 24 2 0 0 20 0 19 0 164196372 19498610688 22181 134679101440 94273114746880 94273114750576 140720792824800 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94273114758392 94273114759184 94273133535232 140720792826887 140720792826977 140720792826977 140720792833992 0
[pid=848207/tid=848218] ppid=848204 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/848207/task/848218/stat : 848218 (Finalizer) S 848204 848207 845875 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 164196375 19498610688 22181 134679101440 94273114746880 94273114750576 140720792824800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94273114758392 94273114759184 94273133535232 140720792826887 140720792826977 140720792826977 140720792833992 0
[pid=848207/tid=848225] ppid=848204 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/848207/task/848225/stat : 848225 (Common-Cleaner) S 848204 848207 845875 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 164196376 19498610688 22181 134679101440 94273114746880 94273114750576 140720792824800 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94273114758392 94273114759184 94273133535232 140720792826887 140720792826977 140720792826977 140720792833992 0
[pid=848207/tid=848226] ppid=848204 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/848207/task/848226/stat : 848226 (Timer-0) S 848204 848207 845875 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 164196395 19498610688 22181 134679101440 94273114746880 94273114750576 140720792824800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94273114758392 94273114759184 94273133535232 140720792826887 140720792826977 140720792826977 140720792833992 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 88724 KiB

[startup+0.710169 s]
/proc/loadavg: 4.13 4.10 4.05 6/309 848226
/proc/meminfo: memFree=124443772/131524600 swapFree=131071996/131071996
[pid=848207] ppid=848204 vsize=19041612 memory=105832 CPUtime=1.3 cores=0,2
/proc/848207/stat : 848207 (java) S 848204 848207 845875 0 -1 1077936128 10889 0 0 0 127 3 0 0 20 0 19 0 164196372 19498610688 26458 134679101440 94273114746880 94273114750576 140720792824800 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94273114758392 94273114759184 94273133535232 140720792826887 140720792826977 140720792826977 140720792833992 0
/proc/848207/statm: 4760403 26458 5895 1 0 552075 0
[pid=848207/tid=848209] ppid=848204 vsize=19041612 memory=12180 CPUtime=0.63 cores=0,2
/proc/848207/task/848209/stat : 848209 (java) R 848204 848207 845875 0 -1 4194368 6072 0 0 0 61 2 0 0 20 0 19 0 164196372 19498610688 26458 134679101440 94273114746880 94273114750576 140720792824800 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94273114758392 94273114759184 94273133535232 140720792826887 140720792826977 140720792826977 140720792833992 0
[pid=848207/tid=848218] ppid=848204 vsize=19041612 memory=12180 CPUtime=0 cores=0,2
/proc/848207/task/848218/stat : 848218 (Finalizer) S 848204 848207 845875 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 164196375 19498610688 26458 134679101440 94273114746880 94273114750576 140720792824800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94273114758392 94273114759184 94273133535232 140720792826887 140720792826977 140720792826977 140720792833992 0
[pid=848207/tid=848225] ppid=848204 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/848207/task/848225/stat : 848225 (Common-Cleaner) S 848204 848207 845875 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 164196376 19498610688 26458 134679101440 94273114746880 94273114750576 140720792824800 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94273114758392 94273114759184 94273133535232 140720792826887 140720792826977 140720792826977 140720792833992 0
[pid=848207/tid=848226] ppid=848204 vsize=19041612 memory=26024 CPUtime=0 cores=0,2
/proc/848207/task/848226/stat : 848226 (Timer-0) S 848204 848207 845875 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 164196395 19498610688 26458 134679101440 94273114746880 94273114750576 140720792824800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94273114758392 94273114759184 94273133535232 140720792826887 140720792826977 140720792826977 140720792833992 0
Current children cumulated CPU time: 1.3 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 105832 KiB

[startup+1.50117 s]
/proc/loadavg: 4.13 4.10 4.05 6/329 848275
/proc/meminfo: memFree=124368112/131524600 swapFree=131071996/131071996
[pid=848207] ppid=848204 vsize=19041612 memory=125032 CPUtime=2.3 cores=0,2
/proc/848207/stat : 848207 (java) S 848204 848207 845875 0 -1 1077936128 14117 0 0 0 226 4 0 0 20 0 19 0 164196372 19498610688 31258 134679101440 94273114746880 94273114750576 140720792824800 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94273114758392 94273114759184 94273133535232 140720792826887 140720792826977 140720792826977 140720792833992 0
/proc/848207/statm: 4760403 31258 5895 1 0 552153 0
[pid=848207/tid=848209] ppid=848204 vsize=19041612 memory=12180 CPUtime=1.4 cores=0,2
/proc/848207/task/848209/stat : 848209 (java) R 848204 848207 845875 0 -1 4194368 6541 0 0 0 138 2 0 0 20 0 19 0 164196372 19498610688 31258 134679101440 94273114746880 94273114750576 140720792824800 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94273114758392 94273114759184 94273133535232 140720792826887 140720792826977 140720792826977 140720792833992 0
[pid=848207/tid=848218] ppid=848204 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/848207/task/848218/stat : 848218 (Finalizer) S 848204 848207 845875 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 164196375 19498610688 31258 134679101440 94273114746880 94273114750576 140720792824800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94273114758392 94273114759184 94273133535232 140720792826887 140720792826977 140720792826977 140720792833992 0
[pid=848207/tid=848225] ppid=848204 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/848207/task/848225/stat : 848225 (Common-Cleaner) S 848204 848207 845875 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 164196376 19498610688 31258 134679101440 94273114746880 94273114750576 140720792824800 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94273114758392 94273114759184 94273133535232 140720792826887 140720792826977 140720792826977 140720792833992 0
[pid=848207/tid=848226] ppid=848204 vsize=19041612 memory=65 CPUtime=0 cores=0,2
/proc/848207/task/848226/stat : 848226 (Timer-0) S 848204 848207 845875 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 164196395 19498610688 31258 134679101440 94273114746880 94273114750576 140720792824800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94273114758392 94273114759184 94273133535232 140720792826887 140720792826977 140720792826977 140720792833992 0
Current children cumulated CPU time: 2.3 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 125032 KiB

[startup+3.10617 s]
/proc/loadavg: 4.13 4.10 4.05 5/331 848277
/proc/meminfo: memFree=124083520/131524600 swapFree=131071996/131071996
[pid=848207] ppid=848204 vsize=19108176 memory=181916 CPUtime=4.15 cores=0,2
/proc/848207/stat : 848207 (java) S 848204 848207 845875 0 -1 1077936128 17036 0 0 0 409 6 0 0 20 0 20 0 164196372 19566772224 45479 134679101440 94273114746880 94273114750576 140720792824800 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94273114758392 94273114759184 94273133535232 140720792826887 140720792826977 140720792826977 140720792833992 0
/proc/848207/statm: 4777044 45479 5927 1 0 552700 0
[pid=848207/tid=848209] ppid=848204 vsize=19108176 memory=0 CPUtime=2.99 cores=0,2
/proc/848207/task/848209/stat : 848209 (java) R 848204 848207 845875 0 -1 4194368 6857 0 0 0 295 4 0 0 20 0 20 0 164196372 19566772224 45479 134679101440 94273114746880 94273114750576 140720792824800 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94273114758392 94273114759184 94273133535232 140720792826887 140720792826977 140720792826977 140720792833992 0
[pid=848207/tid=848218] ppid=848204 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/848207/task/848218/stat : 848218 (Finalizer) S 848204 848207 845875 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 164196375 19566772224 45479 134679101440 94273114746880 94273114750576 140720792824800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94273114758392 94273114759184 94273133535232 140720792826887 140720792826977 140720792826977 140720792833992 0
[pid=848207/tid=848225] ppid=848204 vsize=19108176 memory=141504 CPUtime=0 cores=0,2
/proc/848207/task/848225/stat : 848225 (Common-Cleaner) S 848204 848207 845875 0 -1 1077936192 55 0 0 0 0 0 0 0 20 0 20 0 164196376 19566772224 45479 134679101440 94273114746880 94273114750576 140720792824800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94273114758392 94273114759184 94273133535232 140720792826887 140720792826977 140720792826977 140720792833992 0
[pid=848207/tid=848226] ppid=848204 vsize=19108176 memory=12180 CPUtime=0 cores=0,2
/proc/848207/task/848226/stat : 848226 (Timer-0) S 848204 848207 845875 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 164196395 19566772224 45479 134679101440 94273114746880 94273114750576 140720792824800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94273114758392 94273114759184 94273133535232 140720792826887 140720792826977 140720792826977 140720792833992 0
Current children cumulated CPU time: 4.15 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 181916 KiB

[startup+6.30117 s]
/proc/loadavg: 4.12 4.10 4.05 5/332 848278
/proc/meminfo: memFree=123603592/131524600 swapFree=131071996/131071996
[pid=848207] ppid=848204 vsize=19108176 memory=272636 CPUtime=7.41 cores=0,2
/proc/848207/stat : 848207 (java) S 848204 848207 845875 0 -1 1077936128 17186 0 0 0 733 8 0 0 20 0 20 0 164196372 19566772224 68159 134679101440 94273114746880 94273114750576 140720792824800 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94273114758392 94273114759184 94273133535232 140720792826887 140720792826977 140720792826977 140720792833992 0
/proc/848207/statm: 4777044 68159 5927 1 0 552700 0
[pid=848207/tid=848209] ppid=848204 vsize=19108176 memory=12180 CPUtime=6.07 cores=0,2
/proc/848207/task/848209/stat : 848209 (java) R 848204 848207 845875 0 -1 4194368 6868 0 0 0 603 4 0 0 20 0 20 0 164196372 19566772224 68159 134679101440 94273114746880 94273114750576 140720792824800 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94273114758392 94273114759184 94273133535232 140720792826887 140720792826977 140720792826977 140720792833992 0
[pid=848207/tid=848218] ppid=848204 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/848207/task/848218/stat : 848218 (Finalizer) S 848204 848207 845875 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 164196375 19566772224 68159 134679101440 94273114746880 94273114750576 140720792824800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94273114758392 94273114759184 94273133535232 140720792826887 140720792826977 140720792826977 140720792833992 0
[pid=848207/tid=848225] ppid=848204 vsize=19108176 memory=-8033973737701895300 CPUtime=0 cores=0,2
/proc/848207/task/848225/stat : 848225 (Common-Cleaner) S 848204 848207 845875 0 -1 1077936192 55 0 0 0 0 0 0 0 20 0 20 0 164196376 19566772224 68159 134679101440 94273114746880 94273114750576 140720792824800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94273114758392 94273114759184 94273133535232 140720792826887 140720792826977 140720792826977 140720792833992 0
[pid=848207/tid=848226] ppid=848204 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/848207/task/848226/stat : 848226 (Timer-0) S 848204 848207 845875 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 164196395 19566772224 68159 134679101440 94273114746880 94273114750576 140720792824800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94273114758392 94273114759184 94273133535232 140720792826887 140720792826977 140720792826977 140720792833992 0
Current children cumulated CPU time: 7.41 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 272636 KiB

[startup+12.7062 s]
/proc/loadavg: 4.11 4.09 4.05 5/332 848279
/proc/meminfo: memFree=122992920/131524600 swapFree=131071996/131071996
[pid=848207] ppid=848204 vsize=19108176 memory=551956 CPUtime=14.04 cores=0,2
/proc/848207/stat : 848207 (java) S 848204 848207 845875 0 -1 1077936128 19731 0 0 0 1390 14 0 0 20 0 20 0 164196372 19566772224 137989 134679101440 94273114746880 94273114750576 140720792824800 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94273114758392 94273114759184 94273133535232 140720792826887 140720792826977 140720792826977 140720792833992 0
/proc/848207/statm: 4777044 137989 5932 1 0 552700 0
[pid=848207/tid=848209] ppid=848204 vsize=19108176 memory=0 CPUtime=12.17 cores=0,2
/proc/848207/task/848209/stat : 848209 (java) S 848204 848207 845875 0 -1 1077936192 7460 0 0 0 1213 4 0 0 20 0 20 0 164196372 19566772224 137989 134679101440 94273114746880 94273114750576 140720792824800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94273114758392 94273114759184 94273133535232 140720792826887 140720792826977 140720792826977 140720792833992 0
[pid=848207/tid=848218] ppid=848204 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/848207/task/848218/stat : 848218 (Finalizer) S 848204 848207 845875 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 164196375 19566772224 137989 134679101440 94273114746880 94273114750576 140720792824800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94273114758392 94273114759184 94273133535232 140720792826887 140720792826977 140720792826977 140720792833992 0
[pid=848207/tid=848225] ppid=848204 vsize=19108176 memory=500600 CPUtime=0 cores=0,2
/proc/848207/task/848225/stat : 848225 (Common-Cleaner) S 848204 848207 845875 0 -1 1077936192 55 0 0 0 0 0 0 0 20 0 20 0 164196376 19566772224 137989 134679101440 94273114746880 94273114750576 140720792824800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94273114758392 94273114759184 94273133535232 140720792826887 140720792826977 140720792826977 140720792833992 0
[pid=848207/tid=848226] ppid=848204 vsize=19108176 memory=11560 CPUtime=0 cores=0,2
/proc/848207/task/848226/stat : 848226 (Timer-0) S 848204 848207 845875 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 164196395 19566772224 137989 134679101440 94273114746880 94273114750576 140720792824800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94273114758392 94273114759184 94273133535232 140720792826887 140720792826977 140720792826977 140720792833992 0
Current children cumulated CPU time: 14.04 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 551956 KiB

[startup+25.5003 s]
/proc/loadavg: 4.15 4.10 4.06 5/332 848281
/proc/meminfo: memFree=121680020/131524600 swapFree=131071996/131071996
[pid=848207] ppid=848204 vsize=19108176 memory=1210840 CPUtime=27.23 cores=0,2
/proc/848207/stat : 848207 (java) S 848204 848207 845875 0 -1 1077936128 25724 0 0 0 2696 27 0 0 20 0 20 0 164196372 19566772224 302710 134679101440 94273114746880 94273114750576 140720792824800 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94273114758392 94273114759184 94273133535232 140720792826887 140720792826977 140720792826977 140720792833992 0
/proc/848207/statm: 4777044 302710 5948 1 0 832588 0
[pid=848207/tid=848209] ppid=848204 vsize=19108176 memory=500600 CPUtime=24.51 cores=0,2
/proc/848207/task/848209/stat : 848209 (java) R 848204 848207 845875 0 -1 4194368 8543 0 0 0 2444 7 0 0 20 0 20 0 164196372 19566772224 302710 134679101440 94273114746880 94273114750576 140720792824800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94273114758392 94273114759184 94273133535232 140720792826887 140720792826977 140720792826977 140720792833992 0
[pid=848207/tid=848218] ppid=848204 vsize=19108176 memory=1169880 CPUtime=0 cores=0,2
/proc/848207/task/848218/stat : 848218 (Finalizer) S 848204 848207 845875 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 164196375 19566772224 302710 134679101440 94273114746880 94273114750576 140720792824800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94273114758392 94273114759184 94273133535232 140720792826887 140720792826977 140720792826977 140720792833992 0
[pid=848207/tid=848225] ppid=848204 vsize=19108176 memory=-8889376019989242556 CPUtime=0 cores=0,2
/proc/848207/task/848225/stat : 848225 (Common-Cleaner) S 848204 848207 845875 0 -1 1077936192 55 0 0 0 0 0 0 0 20 0 20 0 164196376 19566772224 302710 134679101440 94273114746880 94273114750576 140720792824800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94273114758392 94273114759184 94273133535232 140720792826887 140720792826977 140720792826977 140720792833992 0
[pid=848207/tid=848226] ppid=848204 vsize=19108176 memory=934832 CPUtime=0 cores=0,2
/proc/848207/task/848226/stat : 848226 (Timer-0) S 848204 848207 845875 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 164196395 19566772224 302710 134679101440 94273114746880 94273114750576 140720792824800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94273114758392 94273114759184 94273133535232 140720792826887 140720792826977 140720792826977 140720792833992 0
Current children cumulated CPU time: 27.23 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1210840 KiB

[startup+51.1056 s]
/proc/loadavg: 4.16 4.11 4.06 5/332 848285
/proc/meminfo: memFree=119738388/131524600 swapFree=131071996/131071996
[pid=848207] ppid=848204 vsize=19108176 memory=2271028 CPUtime=53.69 cores=0,2
/proc/848207/stat : 848207 (java) S 848204 848207 845875 0 -1 1077936128 38978 0 0 0 5318 51 0 0 20 0 20 0 164196372 19566772224 567757 134679101440 94273114746880 94273114750576 140720792824800 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94273114758392 94273114759184 94273133535232 140720792826887 140720792826977 140720792826977 140720792833992 0
/proc/848207/statm: 4777044 567757 5948 1 0 965124 0
[pid=848207/tid=848209] ppid=848204 vsize=19108176 memory=2032656 CPUtime=49.26 cores=0,2
/proc/848207/task/848209/stat : 848209 (java) R 848204 848207 845875 0 -1 4194368 10666 0 0 0 4915 11 0 0 20 0 20 0 164196372 19566772224 567757 134679101440 94273114746880 94273114750576 140720792824800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94273114758392 94273114759184 94273133535232 140720792826887 140720792826977 140720792826977 140720792833992 0

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

/proc/848207/task/848218/stat : 848218 (Finalizer) S 848204 848207 845875 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 164196375 19566772224 2591372 134679101440 94273114746880 94273114750576 140720792824800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94273114758392 94273114759184 94273133535232 140720792826887 140720792826977 140720792826977 140720792833992 0
[pid=848207/tid=848225] ppid=848204 vsize=19108176 memory=10365484 CPUtime=0 cores=0,2
/proc/848207/task/848225/stat : 848225 (Common-Cleaner) S 848204 848207 845875 0 -1 1077936192 3444 0 0 0 0 0 0 0 20 0 20 0 164196376 19566772224 2591372 134679101440 94273114746880 94273114750576 140720792824800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94273114758392 94273114759184 94273133535232 140720792826887 140720792826977 140720792826977 140720792833992 0
[pid=848207/tid=848226] ppid=848204 vsize=19108176 memory=10365484 CPUtime=0 cores=0,2
/proc/848207/task/848226/stat : 848226 (Timer-0) S 848204 848207 845875 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 164196395 19566772224 2591372 134679101440 94273114746880 94273114750576 140720792824800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94273114758392 94273114759184 94273133535232 140720792826887 140720792826977 140720792826977 140720792833992 0
Current children cumulated CPU time: 3230.8 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 10365488 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=848207] ppid=848204 vsize=19108176 memory=10365492 CPUtime=3290.57 cores=0,2
/proc/848207/stat : 848207 (java) S 848204 848207 845875 0 -1 1077936128 355341 0 0 0 328710 347 0 0 20 0 20 0 164196372 19566772224 2591373 134679101440 94273114746880 94273114750576 140720792824800 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94273114758392 94273114759184 94273133535232 140720792826887 140720792826977 140720792826977 140720792833992 0
/proc/848207/statm: 4777044 2591373 5948 1 0 3432962 0
[pid=848207/tid=848209] ppid=848204 vsize=19108176 memory=10365492 CPUtime=3239.7 cores=0,2
/proc/848207/task/848209/stat : 848209 (java) R 848204 848207 845875 0 -1 4194368 146247 0 0 0 323900 70 0 0 20 0 20 0 164196372 19566772224 2591373 134679101440 94273114746880 94273114750576 140720792824800 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94273114758392 94273114759184 94273133535232 140720792826887 140720792826977 140720792826977 140720792833992 0
[pid=848207/tid=848218] ppid=848204 vsize=19108176 memory=11560 CPUtime=0 cores=0,2
/proc/848207/task/848218/stat : 848218 (Finalizer) S 848204 848207 845875 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 164196375 19566772224 2591373 134679101440 94273114746880 94273114750576 140720792824800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94273114758392 94273114759184 94273133535232 140720792826887 140720792826977 140720792826977 140720792833992 0
[pid=848207/tid=848225] ppid=848204 vsize=19108176 memory=10365492 CPUtime=0 cores=0,2
/proc/848207/task/848225/stat : 848225 (Common-Cleaner) S 848204 848207 845875 0 -1 1077936192 3488 0 0 0 0 0 0 0 20 0 20 0 164196376 19566772224 2591373 134679101440 94273114746880 94273114750576 140720792824800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94273114758392 94273114759184 94273133535232 140720792826887 140720792826977 140720792826977 140720792833992 0
[pid=848207/tid=848226] ppid=848204 vsize=19108176 memory=26024 CPUtime=0 cores=0,2
/proc/848207/task/848226/stat : 848226 (Timer-0) S 848204 848207 845875 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 164196395 19566772224 2591373 134679101440 94273114746880 94273114750576 140720792824800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94273114758392 94273114759184 94273133535232 140720792826887 140720792826977 140720792826977 140720792833992 0
Current children cumulated CPU time: 3290.57 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 10365492 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=848207] ppid=848204 vsize=19108176 memory=10365516 CPUtime=3350.5 cores=0,2
/proc/848207/stat : 848207 (java) S 848204 848207 845875 0 -1 1077936128 362529 0 0 0 334701 349 0 0 20 0 20 0 164196372 19566772224 2591379 134679101440 94273114746880 94273114750576 140720792824800 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94273114758392 94273114759184 94273133535232 140720792826887 140720792826977 140720792826977 140720792833992 0
/proc/848207/statm: 4777044 2591379 5948 1 0 3432967 0
[pid=848207/tid=848209] ppid=848204 vsize=19108176 memory=10365512 CPUtime=3298.83 cores=0,2
/proc/848207/task/848209/stat : 848209 (java) R 848204 848207 845875 0 -1 4194368 148841 0 0 0 329813 70 0 0 20 0 20 0 164196372 19566772224 2591379 134679101440 94273114746880 94273114750576 140720792824800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94273114758392 94273114759184 94273133535232 140720792826887 140720792826977 140720792826977 140720792833992 0
[pid=848207/tid=848218] ppid=848204 vsize=19108176 memory=12180 CPUtime=0 cores=0,2
/proc/848207/task/848218/stat : 848218 (Finalizer) S 848204 848207 845875 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 164196375 19566772224 2591379 134679101440 94273114746880 94273114750576 140720792824800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94273114758392 94273114759184 94273133535232 140720792826887 140720792826977 140720792826977 140720792833992 0
[pid=848207/tid=848225] ppid=848204 vsize=19108176 memory=5496 CPUtime=0 cores=0,2
/proc/848207/task/848225/stat : 848225 (Common-Cleaner) S 848204 848207 845875 0 -1 1077936192 3538 0 0 0 0 0 0 0 20 0 20 0 164196376 19566772224 2591379 134679101440 94273114746880 94273114750576 140720792824800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94273114758392 94273114759184 94273133535232 140720792826887 140720792826977 140720792826977 140720792833992 0
[pid=848207/tid=848226] ppid=848204 vsize=19108176 memory=11560 CPUtime=0 cores=0,2
/proc/848207/task/848226/stat : 848226 (Timer-0) S 848204 848207 845875 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 164196395 19566772224 2591379 134679101440 94273114746880 94273114750576 140720792824800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94273114758392 94273114759184 94273133535232 140720792826887 140720792826977 140720792826977 140720792833992 0
Current children cumulated CPU time: 3350.5 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 10365516 KiB

[startup+3402.3 s]
/proc/loadavg: 4.23 4.16 4.14 6/333 849921
/proc/meminfo: memFree=93784396/131524600 swapFree=131071996/131071996
[pid=848207] ppid=848204 vsize=19108176 memory=10365548 CPUtime=3410.76 cores=0,2
/proc/848207/stat : 848207 (java) S 848204 848207 845875 0 -1 1077936128 369338 0 0 0 340725 351 0 0 20 0 20 0 164196372 19566772224 2591387 134679101440 94273114746880 94273114750576 140720792824800 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94273114758392 94273114759184 94273133535232 140720792826887 140720792826977 140720792826977 140720792833992 0
/proc/848207/statm: 4777044 2591387 5948 1 0 3432974 0
[pid=848207/tid=848209] ppid=848204 vsize=19108176 memory=41948 CPUtime=3358.2 cores=0,2
/proc/848207/task/848209/stat : 848209 (java) R 848204 848207 845875 0 -1 4194368 151510 0 0 0 335749 71 0 0 20 0 20 0 164196372 19566772224 2591387 134679101440 94273114746880 94273114750576 140720792824800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94273114758392 94273114759184 94273133535232 140720792826887 140720792826977 140720792826977 140720792833992 0
[pid=848207/tid=848218] ppid=848204 vsize=19108176 memory=10365516 CPUtime=0 cores=0,2
/proc/848207/task/848218/stat : 848218 (Finalizer) S 848204 848207 845875 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 164196375 19566772224 2591387 134679101440 94273114746880 94273114750576 140720792824800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94273114758392 94273114759184 94273133535232 140720792826887 140720792826977 140720792826977 140720792833992 0
[pid=848207/tid=848225] ppid=848204 vsize=19108176 memory=10365528 CPUtime=0 cores=0,2
/proc/848207/task/848225/stat : 848225 (Common-Cleaner) S 848204 848207 845875 0 -1 1077936192 3582 0 0 0 0 0 0 0 20 0 20 0 164196376 19566772224 2591387 134679101440 94273114746880 94273114750576 140720792824800 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94273114758392 94273114759184 94273133535232 140720792826887 140720792826977 140720792826977 140720792833992 0
[pid=848207/tid=848226] ppid=848204 vsize=19108176 memory=10365536 CPUtime=0 cores=0,2
/proc/848207/task/848226/stat : 848226 (Timer-0) S 848204 848207 845875 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 164196395 19566772224 2591387 134679101440 94273114746880 94273114750576 140720792824800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94273114758392 94273114759184 94273133535232 140720792826887 140720792826977 140720792826977 140720792833992 0
Current children cumulated CPU time: 3410.76 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 10365548 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=848207] ppid=848204 vsize=19108176 memory=10365548 CPUtime=3470.98 cores=0,2
/proc/848207/stat : 848207 (java) S 848204 848207 845875 0 -1 1077936128 371349 0 0 0 346746 352 0 0 20 0 20 0 164196372 19566772224 2591387 134679101440 94273114746880 94273114750576 140720792824800 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94273114758392 94273114759184 94273133535232 140720792826887 140720792826977 140720792826977 140720792833992 0
/proc/848207/statm: 4777044 2591387 5948 1 0 3432974 0
[pid=848207/tid=848209] ppid=848204 vsize=19108176 memory=41948 CPUtime=3417.62 cores=0,2
/proc/848207/task/848209/stat : 848209 (java) R 848204 848207 845875 0 -1 4194368 153018 0 0 0 341691 71 0 0 20 0 20 0 164196372 19566772224 2591387 134679101440 94273114746880 94273114750576 140720792824800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94273114758392 94273114759184 94273133535232 140720792826887 140720792826977 140720792826977 140720792833992 0
[pid=848207/tid=848218] ppid=848204 vsize=19108176 memory=11560 CPUtime=0 cores=0,2
/proc/848207/task/848218/stat : 848218 (Finalizer) S 848204 848207 845875 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 164196375 19566772224 2591387 134679101440 94273114746880 94273114750576 140720792824800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94273114758392 94273114759184 94273133535232 140720792826887 140720792826977 140720792826977 140720792833992 0
[pid=848207/tid=848225] ppid=848204 vsize=19108176 memory=10365548 CPUtime=0 cores=0,2
/proc/848207/task/848225/stat : 848225 (Common-Cleaner) S 848204 848207 845875 0 -1 1077936192 3627 0 0 0 0 0 0 0 20 0 20 0 164196376 19566772224 2591387 134679101440 94273114746880 94273114750576 140720792824800 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94273114758392 94273114759184 94273133535232 140720792826887 140720792826977 140720792826977 140720792833992 0
[pid=848207/tid=848226] ppid=848204 vsize=19108176 memory=11560 CPUtime=0 cores=0,2
/proc/848207/task/848226/stat : 848226 (Timer-0) S 848204 848207 845875 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 164196395 19566772224 2591387 134679101440 94273114746880 94273114750576 140720792824800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94273114758392 94273114759184 94273133535232 140720792826887 140720792826977 140720792826977 140720792833992 0
Current children cumulated CPU time: 3470.98 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 10365548 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=848207] ppid=848204 vsize=19108176 memory=10365552 CPUtime=3531.11 cores=0,2
/proc/848207/stat : 848207 (java) S 848204 848207 845875 0 -1 1077936128 376825 0 0 0 352754 357 0 0 20 0 20 0 164196372 19566772224 2591388 134679101440 94273114746880 94273114750576 140720792824800 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94273114758392 94273114759184 94273133535232 140720792826887 140720792826977 140720792826977 140720792833992 0
/proc/848207/statm: 4777044 2591388 5948 1 0 3432974 0
[pid=848207/tid=848209] ppid=848204 vsize=19108176 memory=10365548 CPUtime=3476.97 cores=0,2
/proc/848207/task/848209/stat : 848209 (java) R 848204 848207 845875 0 -1 4194368 155796 0 0 0 347625 72 0 0 20 0 20 0 164196372 19566772224 2591388 134679101440 94273114746880 94273114750576 140720792824800 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94273114758392 94273114759184 94273133535232 140720792826887 140720792826977 140720792826977 140720792833992 0
[pid=848207/tid=848218] ppid=848204 vsize=19108176 memory=12180 CPUtime=0 cores=0,2
/proc/848207/task/848218/stat : 848218 (Finalizer) S 848204 848207 845875 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 164196375 19566772224 2591388 134679101440 94273114746880 94273114750576 140720792824800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94273114758392 94273114759184 94273133535232 140720792826887 140720792826977 140720792826977 140720792833992 0
[pid=848207/tid=848225] ppid=848204 vsize=19108176 memory=11560 CPUtime=0 cores=0,2
/proc/848207/task/848225/stat : 848225 (Common-Cleaner) S 848204 848207 845875 0 -1 1077936192 3716 0 0 0 0 0 0 0 20 0 20 0 164196376 19566772224 2591388 134679101440 94273114746880 94273114750576 140720792824800 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94273114758392 94273114759184 94273133535232 140720792826887 140720792826977 140720792826977 140720792833992 0
[pid=848207/tid=848226] ppid=848204 vsize=19108176 memory=10365552 CPUtime=0 cores=0,2
/proc/848207/task/848226/stat : 848226 (Timer-0) S 848204 848207 845875 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 164196395 19566772224 2591388 134679101440 94273114746880 94273114750576 140720792824800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94273114758392 94273114759184 94273133535232 140720792826887 140720792826977 140720792826977 140720792833992 0
Current children cumulated CPU time: 3531.11 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 10365552 KiB

[startup+3582.3 s]
/proc/loadavg: 4.29 4.18 4.15 6/336 850260
/proc/meminfo: memFree=112562960/131524600 swapFree=131071996/131071996
[pid=848207] ppid=848204 vsize=19108176 memory=10365552 CPUtime=3591.22 cores=0,2
/proc/848207/stat : 848207 (java) S 848204 848207 845875 0 -1 1077936128 382619 0 0 0 358763 359 0 0 20 0 20 0 164196372 19566772224 2591388 134679101440 94273114746880 94273114750576 140720792824800 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94273114758392 94273114759184 94273133535232 140720792826887 140720792826977 140720792826977 140720792833992 0
/proc/848207/statm: 4777044 2591388 5948 1 0 3432974 0
[pid=848207/tid=848209] ppid=848204 vsize=19108176 memory=2268 CPUtime=3536.26 cores=0,2
/proc/848207/task/848209/stat : 848209 (java) R 848204 848207 845875 0 -1 4194368 158549 0 0 0 353553 73 0 0 20 0 20 0 164196372 19566772224 2591388 134679101440 94273114746880 94273114750576 140720792824800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94273114758392 94273114759184 94273133535232 140720792826887 140720792826977 140720792826977 140720792833992 0
[pid=848207/tid=848218] ppid=848204 vsize=19108176 memory=10365552 CPUtime=0 cores=0,2
/proc/848207/task/848218/stat : 848218 (Finalizer) S 848204 848207 845875 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 164196375 19566772224 2591388 134679101440 94273114746880 94273114750576 140720792824800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94273114758392 94273114759184 94273133535232 140720792826887 140720792826977 140720792826977 140720792833992 0
[pid=848207/tid=848225] ppid=848204 vsize=19108176 memory=11560 CPUtime=0 cores=0,2
/proc/848207/task/848225/stat : 848225 (Common-Cleaner) S 848204 848207 845875 0 -1 1077936192 3843 0 0 0 0 0 0 0 20 0 20 0 164196376 19566772224 2591388 134679101440 94273114746880 94273114750576 140720792824800 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94273114758392 94273114759184 94273133535232 140720792826887 140720792826977 140720792826977 140720792833992 0
[pid=848207/tid=848226] ppid=848204 vsize=19108176 memory=41948 CPUtime=0 cores=0,2
/proc/848207/task/848226/stat : 848226 (Timer-0) S 848204 848207 845875 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 164196395 19566772224 2591388 134679101440 94273114746880 94273114750576 140720792824800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94273114758392 94273114759184 94273133535232 140720792826887 140720792826977 140720792826977 140720792833992 0
Current children cumulated CPU time: 3591.22 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 10365552 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3591.2 s]
/proc/loadavg: 4.33 4.19 4.15 5/336 850262
/proc/meminfo: memFree=112512068/131524600 swapFree=131071996/131071996
[pid=848207] ppid=848204 vsize=19108176 memory=10365552 CPUtime=3600.09 cores=0,2
/proc/848207/stat : 848207 (java) S 848204 848207 845875 0 -1 1077936128 382809 0 0 0 359650 359 0 0 20 0 20 0 164196372 19566772224 2591388 134679101440 94273114746880 94273114750576 140720792824800 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94273114758392 94273114759184 94273133535232 140720792826887 140720792826977 140720792826977 140720792833992 0
/proc/848207/statm: 4777044 2591388 5948 1 0 3432974 0
[pid=848207/tid=848209] ppid=848204 vsize=19108176 memory=10365552 CPUtime=3545.13 cores=0,2
/proc/848207/task/848209/stat : 848209 (java) R 848204 848207 845875 0 -1 4194368 158739 0 0 0 354440 73 0 0 20 0 20 0 164196372 19566772224 2591388 134679101440 94273114746880 94273114750576 140720792824800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94273114758392 94273114759184 94273133535232 140720792826887 140720792826977 140720792826977 140720792833992 0
[pid=848207/tid=848218] ppid=848204 vsize=19108176 memory=104 CPUtime=0 cores=0,2
/proc/848207/task/848218/stat : 848218 (Finalizer) S 848204 848207 845875 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 164196375 19566772224 2591388 134679101440 94273114746880 94273114750576 140720792824800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94273114758392 94273114759184 94273133535232 140720792826887 140720792826977 140720792826977 140720792833992 0
[pid=848207/tid=848225] ppid=848204 vsize=19108176 memory=10365552 CPUtime=0 cores=0,2
/proc/848207/task/848225/stat : 848225 (Common-Cleaner) S 848204 848207 845875 0 -1 1077936192 3843 0 0 0 0 0 0 0 20 0 20 0 164196376 19566772224 2591388 134679101440 94273114746880 94273114750576 140720792824800 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94273114758392 94273114759184 94273133535232 140720792826887 140720792826977 140720792826977 140720792833992 0
[pid=848207/tid=848226] ppid=848204 vsize=19108176 memory=41948 CPUtime=0 cores=0,2
/proc/848207/task/848226/stat : 848226 (Timer-0) S 848204 848207 845875 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 164196395 19566772224 2591388 134679101440 94273114746880 94273114750576 140720792824800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94273114758392 94273114759184 94273133535232 140720792826887 140720792826977 140720792826977 140720792833992 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 10365552 KiB

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

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

# cumulated CPU time of all completed processes:  user=3596.63 s, system=3.63482 s

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

[startup+3591.31 s]*
/proc/loadavg: 4.33 4.19 4.15 5/318 850265
/proc/meminfo: memFree=122568932/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): 3591.32
CPU time (s): 3600.26
CPU user time (s): 3596.63
CPU system time (s): 3.63482
CPU usage (%): 100.249
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 10365552

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.63
system time used= 3.63482
maximum resident set size= 10367336
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 385839
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3504
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 110470
involuntary context switches= 33636


# summary of solver processes directly reported to runsolver:
#   pid: 848207
#   total CPU time (s): 3600.26
#   total CPU user time (s): 3596.63
#   total CPU system time (s): 3.63482

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.42128 second user time and 18.1731 second system time

The end

Launcher Data 

Begin job on nodeC021 at 2024-07-16 10:58:58
IDJOB=4432374
IDBENCH=148770
IDSOLVER=3058
FILE ID=nodeC021/4432374-1721120325
RUNJOBID= nodeC021-1721116734-845885
SLURM_JOB_ID= 7505658
Free space on /tmp= 890064 MiB

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

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

MD5SUM BENCH= bb00c8681178995acecbc2b6e4ec1a1a
RANDOM SEED=489433491

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		: 3629.481
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		: 3680.965
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		: 3612.754
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		: 3600.116
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		: 3676.250
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		: 3678.553
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		: 3600.787
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		: 3600.025
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:        124528900 kB
MemAvailable:   127770636 kB
Buffers:          395792 kB
Cached:          3647620 kB
SwapCached:            0 kB
Active:           752580 kB
Inactive:        5564620 kB
Active(anon):       1536 kB
Inactive(anon):  2309984 kB
Active(file):     751044 kB
Inactive(file):  3254636 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              7252 kB
Writeback:             0 kB
AnonPages:       2273152 kB
Mapped:           124420 kB
Shmem:             37720 kB
KReclaimable:     151760 kB
Slab:             266356 kB
SReclaimable:     151760 kB
SUnreclaim:       114596 kB
KernelStack:        4720 kB
PageTables:        14004 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    7758896 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            62400 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2058240 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= 890072 MiB
End job on nodeC021 at 2024-07-16 11:58:49