Trace number 4443314

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j Resolution Default 2024-07-07? (TO) 3600.19 3598.12

General information on the benchmark

NamePB24/normalized-PB06/DEC-LIN/
submitted-PB06/prestwich/armies/normalized-army13.24ls.opb
MD5SUM1f94bd3a314413948630d2f259d38fd6
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark0.01341
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables490
Total number of constraints737
Number of constraints which are clauses397
Number of constraints which are cardinality constraints (but not clauses)2
Number of constraints which are nor clauses,nor cardinality constraints338
Minimum length of a constraint2
Maximum length of a constraint169
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 24
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 193
Number of bits of the biggest sum of numbers8
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-4443314-1721314401.opb
0.14/0.12	c reading problem ... 
0.14/0.12	c  no objective function found
0.14/0.16	c ... done. Wall clock time 0.039s.
0.14/0.16	c declared #vars     490
0.14/0.16	c #constraints  737
0.14/0.16	c constraints type 
0.14/0.16	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 253
0.14/0.16	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 2
0.14/0.16	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 338
0.14/0.16	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 144
0.14/0.16	c 737 constraints processed.
1.29/0.73	c cleaning 2500 clauses out of 5001 with flag 19634/5001
1.99/1.12	c cleaning 4247 clauses out of 8500 with flag 43800/11000
2.47/1.56	c cleaning 5626 clauses out of 11255 with flag 69392/18002
3.07/2.06	c cleaning 6812 clauses out of 13628 with flag 98961/26001
3.78/2.70	c cleaning 7903 clauses out of 15816 with flag 131398/35001
4.48/3.43	c cleaning 8950 clauses out of 17912 with flag 163977/45000
5.60/4.52	c cleaning 9977 clauses out of 19962 with flag 204542/56000
6.80/5.77	c cleaning 10993 clauses out of 21985 with flag 249163/68000
8.35/7.21	c cleaning 11959 clauses out of 23992 with flag 306311/81000
9.85/8.78	c cleaning 13012 clauses out of 26033 with flag 365854/95000
12.30/11.11	c cleaning 13989 clauses out of 28021 with flag 433534/110000
14.39/13.24	c cleaning 15006 clauses out of 30032 with flag 495012/126000
16.68/15.43	c cleaning 16014 clauses out of 32029 with flag 555982/143003
19.47/18.27	c cleaning 16998 clauses out of 34012 with flag 633793/161000
22.42/21.11	c cleaning 17992 clauses out of 36014 with flag 697479/180000
26.16/24.86	c cleaning 18976 clauses out of 38022 with flag 765936/200000
30.22/28.87	c cleaning 20015 clauses out of 40046 with flag 852828/221000
34.06/32.61	c cleaning 21005 clauses out of 42035 with flag 944779/243004
39.25/37.80	c cleaning 21998 clauses out of 44027 with flag 1039775/266001
43.69/42.28	c cleaning 23004 clauses out of 46032 with flag 1129014/290004
48.33/46.81	c cleaning 23999 clauses out of 48026 with flag 1223685/315002
54.58/53.01	c cleaning 25000 clauses out of 50025 with flag 1320188/341000
60.42/58.86	c cleaning 25992 clauses out of 52027 with flag 1423305/368002
66.47/64.81	c cleaning 27009 clauses out of 54033 with flag 1526882/396000
73.95/72.17	c cleaning 28004 clauses out of 56024 with flag 1638661/425000
81.33/79.52	c cleaning 28987 clauses out of 58021 with flag 1752197/455001
89.21/87.46	c cleaning 29990 clauses out of 60033 with flag 1863554/486000
95.12/93.38	c cleaning 30997 clauses out of 62043 with flag 1984098/518000
103.69/101.97	c cleaning 32006 clauses out of 64046 with flag 2099589/551000
112.90/111.20	c cleaning 33007 clauses out of 66044 with flag 2228493/585004
121.47/119.70	c cleaning 33995 clauses out of 68033 with flag 2356237/620000
130.04/128.33	c cleaning 35013 clauses out of 70040 with flag 2480838/656002
140.27/138.48	c cleaning 35998 clauses out of 72025 with flag 2623416/693000
152.12/150.32	c cleaning 37010 clauses out of 74027 with flag 2754864/731000
165.99/164.27	c cleaning 37968 clauses out of 76017 with flag 2894176/770000
181.94/179.82	c cleaning 39014 clauses out of 78049 with flag 3039577/810000
197.96/195.91	c cleaning 39989 clauses out of 80036 with flag 3188976/851001
212.43/210.58	c cleaning 41020 clauses out of 82048 with flag 3351799/893002
231.37/229.63	c cleaning 42003 clauses out of 84027 with flag 3522397/936001
249.01/247.21	c cleaning 42989 clauses out of 86023 with flag 3685289/980000
271.14/269.43	c cleaning 44012 clauses out of 88037 with flag 3857026/1025003
291.45/289.63	c cleaning 44992 clauses out of 90022 with flag 4027864/1071000
313.08/311.30	c cleaning 46005 clauses out of 92030 with flag 4188058/1118000
338.24/336.42	c cleaning 47008 clauses out of 94026 with flag 4378759/1166001
359.79/358.09	c cleaning 47992 clauses out of 96018 with flag 4576853/1215001
377.88/376.09	c cleaning 49003 clauses out of 98028 with flag 4762912/1265003
402.85/400.73	c cleaning 49998 clauses out of 100022 with flag 4950545/1316000
429.08/426.97	c cleaning 51002 clauses out of 102024 with flag 5127695/1368000
454.63/452.41	c cleaning 51990 clauses out of 104022 with flag 5307130/1421000
486.85/484.91	c cleaning 52999 clauses out of 106032 with flag 5503323/1475000
512.75/510.89	c cleaning 53997 clauses out of 108033 with flag 5693324/1530000
543.72/541.78	c cleaning 55008 clauses out of 110036 with flag 5894116/1586000
577.11/575.20	c cleaning 56007 clauses out of 112029 with flag 6090831/1643001
616.42/614.58	c cleaning 56973 clauses out of 114021 with flag 6322280/1701000
651.42/649.59	c cleaning 58020 clauses out of 116051 with flag 6557886/1760003
676.95/674.82	c cleaning 58981 clauses out of 118028 with flag 6787854/1820000
706.98/704.92	c cleaning 59995 clauses out of 120047 with flag 7038412/1881000
743.56/741.69	c cleaning 61006 clauses out of 122053 with flag 7271332/1943001
778.97/777.00	c cleaning 62013 clauses out of 124046 with flag 7502074/2006000
804.51/802.53	c cleaning 62989 clauses out of 126033 with flag 7743868/2070000
834.98/833.24	c cleaning 64011 clauses out of 128048 with flag 8000064/2135004
866.24/864.46	c cleaning 64997 clauses out of 130035 with flag 8245463/2201002
902.70/900.87	c cleaning 65972 clauses out of 132036 with flag 8494133/2268000
941.59/939.62	c cleaning 66990 clauses out of 134064 with flag 8759758/2336000
984.62/982.64	c cleaning 68025 clauses out of 136074 with flag 9024547/2405000
1028.50/1026.12	c cleaning 69011 clauses out of 138050 with flag 9307415/2475001
1072.81/1070.54	c cleaning 69994 clauses out of 140038 with flag 9596158/2546000
1115.65/1113.31	c cleaning 71007 clauses out of 142044 with flag 9856477/2618000
1163.00/1160.80	c cleaning 72007 clauses out of 144037 with flag 10134807/2691000
1210.21/1208.09	c cleaning 73008 clauses out of 146030 with flag 10427832/2765000
1257.74/1255.59	c cleaning 73987 clauses out of 148023 with flag 10679347/2840001
1323.84/1321.89	c cleaning 75001 clauses out of 150037 with flag 10986085/2916002
1381.62/1379.69	c cleaning 75996 clauses out of 152034 with flag 11277633/2993000
1431.70/1429.98	c cleaning 76999 clauses out of 154038 with flag 11571377/3071000
1491.07/1489.65	c cleaning 78008 clauses out of 156040 with flag 11877689/3150001
1548.29/1547.14	c cleaning 79004 clauses out of 158031 with flag 12196797/3230000
1611.88/1611.07	c cleaning 79952 clauses out of 160027 with flag 12513096/3311000
1658.74/1657.99	c cleaning 81034 clauses out of 162075 with flag 12770510/3393000
1704.14/1702.76	c cleaning 82012 clauses out of 164041 with flag 13021996/3476000
1759.70/1758.44	c cleaning 82973 clauses out of 166029 with flag 13294471/3560000
1817.11/1815.87	c cleaning 84006 clauses out of 168056 with flag 13621076/3645000
1873.00/1871.78	c cleaning 84976 clauses out of 170052 with flag 13968336/3731002
1934.49/1933.26	c cleaning 86001 clauses out of 172074 with flag 14309032/3818000
2015.14/2013.97	c cleaning 87022 clauses out of 174073 with flag 14693458/3906000
2084.07/2082.95	c cleaning 87985 clauses out of 176051 with flag 15057913/3995000
2138.94/2137.80	c cleaning 89016 clauses out of 178066 with flag 15441084/4085000
2211.34/2210.38	c cleaning 89970 clauses out of 180050 with flag 15810538/4176000
2292.33/2291.42	c cleaning 90979 clauses out of 182080 with flag 16202759/4268000
2358.29/2357.46	c cleaning 92046 clauses out of 184101 with flag 16595847/4361000
2417.58/2416.12	c cleaning 93017 clauses out of 186055 with flag 16934870/4455000
2480.38/2479.01	c cleaning 94005 clauses out of 188039 with flag 17278303/4550001
2532.14/2530.70	c cleaning 95009 clauses out of 190033 with flag 17638501/4646000
2583.98/2582.56	c cleaning 95995 clauses out of 192025 with flag 17989357/4743001
2645.09/2643.64	c cleaning 96991 clauses out of 194029 with flag 18368615/4841000
2697.04/2695.52	c cleaning 98008 clauses out of 196038 with flag 18722299/4940000
2747.36/2745.81	c cleaning 99007 clauses out of 198030 with flag 19070865/5040000
2800.64/2799.01	c cleaning 99999 clauses out of 200024 with flag 19429467/5141001
2848.23/2846.65	c cleaning 100999 clauses out of 202024 with flag 19803475/5243000
2909.24/2907.62	c cleaning 102009 clauses out of 204026 with flag 20167655/5346001
2964.96/2963.32	c cleaning 102986 clauses out of 206016 with flag 20543094/5450000
3030.01/3027.74	c cleaning 104000 clauses out of 208030 with flag 20935300/5555000
3113.84/3111.74	c cleaning 104981 clauses out of 210030 with flag 21346463/5661000
3181.04/3178.94	c cleaning 106003 clauses out of 212051 with flag 21746498/5768002
3271.15/3269.19	c cleaning 106977 clauses out of 214046 with flag 22204604/5876000
3350.55/3348.56	c cleaning 108009 clauses out of 216070 with flag 22646548/5985001
3433.06/3431.09	c cleaning 109008 clauses out of 218063 with flag 23085737/6095003
3536.29/3534.38	c cleaning 109980 clauses out of 220052 with flag 23535023/6206000
3600.04/3598.02	c starts		: 1968
3600.04/3598.02	c timeout
3600.04/3598.03	c conflicts		: 6295304
3600.04/3598.03	c decisions		: 17167999
3600.04/3598.03	c propagations		: 246489639
3600.04/3598.03	c inspects		: 27417261167
3600.04/3598.03	c shortcuts		: 0
3600.04/3598.03	c learnt literals	: 0
3600.04/3598.03	c learnt binary clauses	: 0
3600.04/3598.03	c learnt ternary clauses	: 1
3600.04/3598.03	c learnt constraints	: 6295304
3600.04/3598.04	c ignored constraints	: 0
3600.04/3598.04	c root simplifications	: 0
3600.04/3598.04	c removed literals (reason simplification)	: 0
3600.04/3598.04	c reason swapping (by a shorter reason)	: 0
3600.04/3598.04	c Calls to reduceDB	: 107
3600.04/3598.04	c Number of update (reduction) of LBD	: 2141604
3600.04/3598.04	c Imported unit clauses	: 0
3600.04/3598.04	c No decision after first conflict	: false
3600.04/3598.04	c number of reductions to clauses (during analyze)	: 0
3600.04/3598.04	c number of learned constraints concerned by reduction	: 0
3600.04/3598.04	c number of learning phase by resolution	: 0
3600.04/3598.04	c number of learning phase by cutting planes	: 0
3600.04/3598.04	c number of rounding to 1 operations	: 0
3600.04/3598.04	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.04/3598.04	c number of reductions of the coefficients by power 2 	: 0
3600.04/3598.04	c number of right shift for reduction by power 2 	: 0
3600.04/3598.04	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.04/3598.04	c number of ending skipping 	: 0
3600.04/3598.04	c number of internal skipping 	: 0
3600.04/3598.04	c number of derivation steps 	: 0
3600.04/3598.04	c number of skipped derivation steps 	: 0
3600.04/3598.04	c number of remaining unassigned 	: 0
3600.04/3598.04	c number of remaining assigned 	: 0
3600.04/3598.04	c number of falsified literals weakened from reason	: 0
3600.04/3598.04	c number of falsified literals weakened from conflict	: 0
3600.04/3598.04	c time for arithmetic operations	: 0
3600.04/3598.04	c minimum degree of deleted constraints	: null
3600.04/3598.04	c maximum degree of deleted constraints	: null
3600.04/3598.04	c number of deleted constraints	: 0
3600.04/3598.05	c speed (assignments/second)	: 68509.78396970434
3600.04/3598.05	c non guided choices	: 56
3600.04/3598.09	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 199376
3600.04/3598.09	s UNKNOWN
3600.04/3598.09	c Total wall clock time (in seconds): 3597.975

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4443314-1721314401/watcher-4443314-1721314401 -o /tmp/evaluation-result-4443314-1721314401/solver-4443314-1721314401 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721305283-960571 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4443314-1721314401.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=966454, runsolver pid=966451
Current StackSize limit: 8192 KiB


[startup+0.101336 s]*
/proc/loadavg: 4.19 4.17 4.18 5/331 966472
/proc/meminfo: memFree=120744700/131524600 swapFree=130798872/131071996
[pid=966454] ppid=966451 vsize=18975048 memory=63228 CPUtime=0.14 cores=0,2
/proc/966454/stat : 966454 (java) S 966451 966454 960561 0 -1 1077936128 7218 0 0 0 12 2 0 0 20 0 18 0 183599262 19430449152 15807 134679101440 94429610708992 94429610712688 140725249700000 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94429610720504 94429610721296 94429631549440 140725249709062 140725249709152 140725249709152 140725249716168 0
/proc/966454/statm: 4743762 15807 5702 1 0 549340 0
[pid=966454/tid=966456] ppid=966451 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=0,2
/proc/966454/task/966456/stat : 966456 (java) R 966451 966454 960561 0 -1 4194368 5758 0 0 0 7 1 0 0 20 0 18 0 183599263 19430449152 15807 134679101440 94429610708992 94429610712688 140725249700000 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94429610720504 94429610721296 94429631549440 140725249709062 140725249709152 140725249709152 140725249716168 0
[pid=966454/tid=966465] ppid=966451 vsize=18975048 memory=237146210664 CPUtime=0 cores=0,2
/proc/966454/task/966465/stat : 966465 (Finalizer) S 966451 966454 960561 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 183599265 19430449152 15807 134679101440 94429610708992 94429610712688 140725249700000 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94429610720504 94429610721296 94429631549440 140725249709062 140725249709152 140725249709152 140725249716168 0
[pid=966454/tid=966472] ppid=966451 vsize=18975048 memory=14134446136991189 CPUtime=0 cores=0,2
/proc/966454/task/966472/stat : 966472 (Common-Cleaner) S 966451 966454 960561 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 183599266 19430449152 15807 134679101440 94429610708992 94429610712688 140725249700000 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94429610720504 94429610721296 94429631549440 140725249709062 140725249709152 140725249709152 140725249716168 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 63228 KiB

[startup+0.206615 s]*
/proc/loadavg: 4.19 4.17 4.18 7/332 966473
/proc/meminfo: memFree=120738596/131524600 swapFree=130798872/131071996
[pid=966454] ppid=966451 vsize=19041612 memory=69956 CPUtime=0.34 cores=0,2
/proc/966454/stat : 966454 (java) S 966451 966454 960561 0 -1 1077936128 7698 0 0 0 32 2 0 0 20 0 19 0 183599262 19498610688 17489 134679101440 94429610708992 94429610712688 140725249700000 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94429610720504 94429610721296 94429631549440 140725249709062 140725249709152 140725249709152 140725249716168 0
/proc/966454/statm: 4760403 17489 5885 1 0 549895 0
[pid=966454/tid=966456] ppid=966451 vsize=19041612 memory=4782652875487838339 CPUtime=0.19 cores=0,2
/proc/966454/task/966456/stat : 966456 (java) R 966451 966454 960561 0 -1 4194368 5959 0 0 0 18 1 0 0 20 0 19 0 183599263 19498610688 17489 134679101440 94429610708992 94429610712688 140725249700000 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94429610720504 94429610721296 94429631549440 140725249709062 140725249709152 140725249709152 140725249716168 0
[pid=966454/tid=966465] ppid=966451 vsize=19041612 memory=1285800 CPUtime=0 cores=0,2
/proc/966454/task/966465/stat : 966465 (Finalizer) S 966451 966454 960561 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 183599265 19498610688 17489 134679101440 94429610708992 94429610712688 140725249700000 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94429610720504 94429610721296 94429631549440 140725249709062 140725249709152 140725249709152 140725249716168 0
[pid=966454/tid=966472] ppid=966451 vsize=19041612 memory=13571496182286042 CPUtime=0 cores=0,2
/proc/966454/task/966472/stat : 966472 (Common-Cleaner) S 966451 966454 960561 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 183599266 19498610688 17489 134679101440 94429610708992 94429610712688 140725249700000 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94429610720504 94429610721296 94429631549440 140725249709062 140725249709152 140725249709152 140725249716168 0
[pid=966454/tid=966473] ppid=966451 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/966454/task/966473/stat : 966473 (Timer-0) S 966451 966454 960561 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 183599279 19498610688 17489 134679101440 94429610708992 94429610712688 140725249700000 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94429610720504 94429610721296 94429631549440 140725249709062 140725249709152 140725249709152 140725249716168 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 69956 KiB

[startup+0.307616 s]*
/proc/loadavg: 4.19 4.17 4.18 7/332 966473
/proc/meminfo: memFree=120730080/131524600 swapFree=130798872/131071996
[pid=966454] ppid=966451 vsize=19041612 memory=78176 CPUtime=0.53 cores=0,2
/proc/966454/stat : 966454 (java) S 966451 966454 960561 0 -1 1077936128 10276 0 0 0 51 2 0 0 20 0 19 0 183599262 19498610688 19544 134679101440 94429610708992 94429610712688 140725249700000 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94429610720504 94429610721296 94429631549440 140725249709062 140725249709152 140725249709152 140725249716168 0
/proc/966454/statm: 4760403 19544 5885 1 0 551420 0
[pid=966454/tid=966456] ppid=966451 vsize=19041612 memory=-9104139236752532156 CPUtime=0.28 cores=0,2
/proc/966454/task/966456/stat : 966456 (java) R 966451 966454 960561 0 -1 4194368 5967 0 0 0 27 1 0 0 20 0 19 0 183599263 19498610688 19544 134679101440 94429610708992 94429610712688 140725249700000 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94429610720504 94429610721296 94429631549440 140725249709062 140725249709152 140725249709152 140725249716168 0
[pid=966454/tid=966465] ppid=966451 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/966454/task/966465/stat : 966465 (Finalizer) S 966451 966454 960561 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 183599265 19498610688 19544 134679101440 94429610708992 94429610712688 140725249700000 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94429610720504 94429610721296 94429631549440 140725249709062 140725249709152 140725249709152 140725249716168 0
[pid=966454/tid=966472] ppid=966451 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/966454/task/966472/stat : 966472 (Common-Cleaner) S 966451 966454 960561 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 183599266 19498610688 19544 134679101440 94429610708992 94429610712688 140725249700000 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94429610720504 94429610721296 94429631549440 140725249709062 140725249709152 140725249709152 140725249716168 0
[pid=966454/tid=966473] ppid=966451 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/966454/task/966473/stat : 966473 (Timer-0) S 966451 966454 960561 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 183599279 19498610688 19544 134679101440 94429610708992 94429610712688 140725249700000 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94429610720504 94429610721296 94429631549440 140725249709062 140725249709152 140725249709152 140725249716168 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 78176 KiB

[startup+0.700627 s]
/proc/loadavg: 4.19 4.17 4.18 7/332 966473
/proc/meminfo: memFree=120723488/131524600 swapFree=130798872/131071996
[pid=966454] ppid=966451 vsize=19041612 memory=98920 CPUtime=1.29 cores=0,2
/proc/966454/stat : 966454 (java) S 966451 966454 960561 0 -1 1077936128 12544 0 0 0 126 3 0 0 20 0 19 0 183599262 19498610688 24730 134679101440 94429610708992 94429610712688 140725249700000 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94429610720504 94429610721296 94429631549440 140725249709062 140725249709152 140725249709152 140725249716168 0
/proc/966454/statm: 4760403 24730 5901 1 0 552935 0
[pid=966454/tid=966456] ppid=966451 vsize=19041612 memory=27344 CPUtime=0.67 cores=0,2
/proc/966454/task/966456/stat : 966456 (java) R 966451 966454 960561 0 -1 4194368 5981 0 0 0 65 2 0 0 20 0 19 0 183599263 19498610688 24730 134679101440 94429610708992 94429610712688 140725249700000 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94429610720504 94429610721296 94429631549440 140725249709062 140725249709152 140725249709152 140725249716168 0
[pid=966454/tid=966465] ppid=966451 vsize=19041612 memory=4892 CPUtime=0 cores=0,2
/proc/966454/task/966465/stat : 966465 (Finalizer) S 966451 966454 960561 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 183599265 19498610688 24730 134679101440 94429610708992 94429610712688 140725249700000 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94429610720504 94429610721296 94429631549440 140725249709062 140725249709152 140725249709152 140725249716168 0
[pid=966454/tid=966472] ppid=966451 vsize=19041612 memory=1200 CPUtime=0 cores=0,2
/proc/966454/task/966472/stat : 966472 (Common-Cleaner) S 966451 966454 960561 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 183599266 19498610688 24730 134679101440 94429610708992 94429610712688 140725249700000 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94429610720504 94429610721296 94429631549440 140725249709062 140725249709152 140725249709152 140725249716168 0
[pid=966454/tid=966473] ppid=966451 vsize=19041612 memory=2240 CPUtime=0 cores=0,2
/proc/966454/task/966473/stat : 966473 (Timer-0) S 966451 966454 960561 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 183599279 19498610688 24730 134679101440 94429610708992 94429610712688 140725249700000 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94429610720504 94429610721296 94429631549440 140725249709062 140725249709152 140725249709152 140725249716168 0
Current children cumulated CPU time: 1.29 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 98920 KiB

[startup+1.50028 s]
/proc/loadavg: 4.19 4.17 4.18 6/332 966475
/proc/meminfo: memFree=120694200/131524600 swapFree=130798872/131071996
[pid=966454] ppid=966451 vsize=19041612 memory=138548 CPUtime=2.47 cores=0,2
/proc/966454/stat : 966454 (java) S 966451 966454 960561 0 -1 1077936128 16396 0 0 0 243 4 0 0 20 0 19 0 183599262 19498610688 34637 134679101440 94429610708992 94429610712688 140725249700000 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94429610720504 94429610721296 94429631549440 140725249709062 140725249709152 140725249709152 140725249716168 0
/proc/966454/statm: 4760403 34637 5901 1 0 553005 0
[pid=966454/tid=966456] ppid=966451 vsize=19041612 memory=4892 CPUtime=1.45 cores=0,2
/proc/966454/task/966456/stat : 966456 (java) R 966451 966454 960561 0 -1 4194368 6450 0 0 0 143 2 0 0 20 0 19 0 183599263 19498610688 34637 134679101440 94429610708992 94429610712688 140725249700000 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94429610720504 94429610721296 94429631549440 140725249709062 140725249709152 140725249709152 140725249716168 0
[pid=966454/tid=966465] ppid=966451 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/966454/task/966465/stat : 966465 (Finalizer) S 966451 966454 960561 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 183599265 19498610688 34637 134679101440 94429610708992 94429610712688 140725249700000 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94429610720504 94429610721296 94429631549440 140725249709062 140725249709152 140725249709152 140725249716168 0
[pid=966454/tid=966472] ppid=966451 vsize=19041612 memory=1200 CPUtime=0 cores=0,2
/proc/966454/task/966472/stat : 966472 (Common-Cleaner) S 966451 966454 960561 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 183599266 19498610688 34637 134679101440 94429610708992 94429610712688 140725249700000 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94429610720504 94429610721296 94429631549440 140725249709062 140725249709152 140725249709152 140725249716168 0
[pid=966454/tid=966473] ppid=966451 vsize=19041612 memory=2240 CPUtime=0 cores=0,2
/proc/966454/task/966473/stat : 966473 (Timer-0) S 966451 966454 960561 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 183599279 19498610688 34637 134679101440 94429610708992 94429610712688 140725249700000 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94429610720504 94429610721296 94429631549440 140725249709062 140725249709152 140725249709152 140725249716168 0
Current children cumulated CPU time: 2.47 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 138548 KiB

[startup+3.1056 s]
/proc/loadavg: 4.19 4.17 4.18 5/333 966476
/proc/meminfo: memFree=120619576/131524600 swapFree=130798872/131071996
[pid=966454] ppid=966451 vsize=19108176 memory=188156 CPUtime=4.19 cores=0,2
/proc/966454/stat : 966454 (java) S 966451 966454 960561 0 -1 1077936128 18223 0 0 0 414 5 0 0 20 0 20 0 183599262 19566772224 47039 134679101440 94429610708992 94429610712688 140725249700000 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94429610720504 94429610721296 94429631549440 140725249709062 140725249709152 140725249709152 140725249716168 0
/proc/966454/statm: 4777044 47039 5901 1 0 553295 0
[pid=966454/tid=966456] ppid=966451 vsize=19108176 memory=0 CPUtime=3.04 cores=0,2
/proc/966454/task/966456/stat : 966456 (java) R 966451 966454 960561 0 -1 4194368 6776 0 0 0 301 3 0 0 20 0 20 0 183599263 19566772224 47039 134679101440 94429610708992 94429610712688 140725249700000 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94429610720504 94429610721296 94429631549440 140725249709062 140725249709152 140725249709152 140725249716168 0
[pid=966454/tid=966465] ppid=966451 vsize=19108176 memory=-9104139236752532156 CPUtime=0 cores=0,2
/proc/966454/task/966465/stat : 966465 (Finalizer) S 966451 966454 960561 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183599265 19566772224 47039 134679101440 94429610708992 94429610712688 140725249700000 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94429610720504 94429610721296 94429631549440 140725249709062 140725249709152 140725249709152 140725249716168 0
[pid=966454/tid=966472] ppid=966451 vsize=19108176 memory=4892 CPUtime=0 cores=0,2
/proc/966454/task/966472/stat : 966472 (Common-Cleaner) S 966451 966454 960561 0 -1 1077936192 54 0 0 0 0 0 0 0 20 0 20 0 183599266 19566772224 47039 134679101440 94429610708992 94429610712688 140725249700000 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94429610720504 94429610721296 94429631549440 140725249709062 140725249709152 140725249709152 140725249716168 0
[pid=966454/tid=966473] ppid=966451 vsize=19108176 memory=1200 CPUtime=0 cores=0,2
/proc/966454/task/966473/stat : 966473 (Timer-0) S 966451 966454 960561 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183599279 19566772224 47039 134679101440 94429610708992 94429610712688 140725249700000 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94429610720504 94429610721296 94429631549440 140725249709062 140725249709152 140725249709152 140725249716168 0
Current children cumulated CPU time: 4.19 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 188156 KiB

[startup+6.30028 s]
/proc/loadavg: 4.18 4.17 4.18 5/333 966477
/proc/meminfo: memFree=120568916/131524600 swapFree=130798872/131071996
[pid=966454] ppid=966451 vsize=19108176 memory=238484 CPUtime=7.4 cores=0,2
/proc/966454/stat : 966454 (java) S 966451 966454 960561 0 -1 1077936128 18380 0 0 0 734 6 0 0 20 0 20 0 183599262 19566772224 59621 134679101440 94429610708992 94429610712688 140725249700000 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94429610720504 94429610721296 94429631549440 140725249709062 140725249709152 140725249709152 140725249716168 0
/proc/966454/statm: 4777044 59621 5901 1 0 553295 0
[pid=966454/tid=966456] ppid=966451 vsize=19108176 memory=1200 CPUtime=6.15 cores=0,2
/proc/966454/task/966456/stat : 966456 (java) R 966451 966454 960561 0 -1 4194368 6782 0 0 0 612 3 0 0 20 0 20 0 183599263 19566772224 59621 134679101440 94429610708992 94429610712688 140725249700000 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94429610720504 94429610721296 94429631549440 140725249709062 140725249709152 140725249709152 140725249716168 0
[pid=966454/tid=966465] ppid=966451 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/966454/task/966465/stat : 966465 (Finalizer) S 966451 966454 960561 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183599265 19566772224 59621 134679101440 94429610708992 94429610712688 140725249700000 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94429610720504 94429610721296 94429631549440 140725249709062 140725249709152 140725249709152 140725249716168 0
[pid=966454/tid=966472] ppid=966451 vsize=19108176 memory=4892 CPUtime=0 cores=0,2
/proc/966454/task/966472/stat : 966472 (Common-Cleaner) S 966451 966454 960561 0 -1 1077936192 54 0 0 0 0 0 0 0 20 0 20 0 183599266 19566772224 59621 134679101440 94429610708992 94429610712688 140725249700000 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94429610720504 94429610721296 94429631549440 140725249709062 140725249709152 140725249709152 140725249716168 0
[pid=966454/tid=966473] ppid=966451 vsize=19108176 memory=-5158697563450915880 CPUtime=0 cores=0,2
/proc/966454/task/966473/stat : 966473 (Timer-0) S 966451 966454 960561 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183599279 19566772224 59621 134679101440 94429610708992 94429610712688 140725249700000 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94429610720504 94429610721296 94429631549440 140725249709062 140725249709152 140725249709152 140725249716168 0
Current children cumulated CPU time: 7.4 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 238484 KiB

[startup+12.7003 s]
/proc/loadavg: 4.16 4.17 4.18 5/333 966478
/proc/meminfo: memFree=120387824/131524600 swapFree=130798872/131071996
[pid=966454] ppid=966451 vsize=19108176 memory=386556 CPUtime=13.89 cores=0,2
/proc/966454/stat : 966454 (java) S 966451 966454 960561 0 -1 1077936128 20490 0 0 0 1380 9 0 0 20 0 20 0 183599262 19566772224 96639 134679101440 94429610708992 94429610712688 140725249700000 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94429610720504 94429610721296 94429631549440 140725249709062 140725249709152 140725249709152 140725249716168 0
/proc/966454/statm: 4777044 96639 5910 1 0 553295 0
[pid=966454/tid=966456] ppid=966451 vsize=19108176 memory=4892 CPUtime=12.39 cores=0,2
/proc/966454/task/966456/stat : 966456 (java) R 966451 966454 960561 0 -1 4194368 7582 0 0 0 1236 3 0 0 20 0 20 0 183599263 19566772224 96639 134679101440 94429610708992 94429610712688 140725249700000 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94429610720504 94429610721296 94429631549440 140725249709062 140725249709152 140725249709152 140725249716168 0
[pid=966454/tid=966465] ppid=966451 vsize=19108176 memory=312572 CPUtime=0 cores=0,2
/proc/966454/task/966465/stat : 966465 (Finalizer) S 966451 966454 960561 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183599265 19566772224 96639 134679101440 94429610708992 94429610712688 140725249700000 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94429610720504 94429610721296 94429631549440 140725249709062 140725249709152 140725249709152 140725249716168 0
[pid=966454/tid=966472] ppid=966451 vsize=19108176 memory=27344 CPUtime=0 cores=0,2
/proc/966454/task/966472/stat : 966472 (Common-Cleaner) S 966451 966454 960561 0 -1 1077936192 54 0 0 0 0 0 0 0 20 0 20 0 183599266 19566772224 96639 134679101440 94429610708992 94429610712688 140725249700000 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94429610720504 94429610721296 94429631549440 140725249709062 140725249709152 140725249709152 140725249716168 0
[pid=966454/tid=966473] ppid=966451 vsize=19108176 memory=4892 CPUtime=0 cores=0,2
/proc/966454/task/966473/stat : 966473 (Timer-0) S 966451 966454 960561 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183599279 19566772224 96639 134679101440 94429610708992 94429610712688 140725249700000 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94429610720504 94429610721296 94429631549440 140725249709062 140725249709152 140725249709152 140725249716168 0
Current children cumulated CPU time: 13.89 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 386556 KiB

[startup+25.5003 s]
/proc/loadavg: 4.13 4.16 4.17 5/333 966480
/proc/meminfo: memFree=120167744/131524600 swapFree=130798872/131071996
[pid=966454] ppid=966451 vsize=19108176 memory=583632 CPUtime=26.86 cores=0,2
/proc/966454/stat : 966454 (java) S 966451 966454 960561 0 -1 1077936128 26423 0 0 0 2673 13 0 0 20 0 20 0 183599262 19566772224 145908 134679101440 94429610708992 94429610712688 140725249700000 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94429610720504 94429610721296 94429631549440 140725249709062 140725249709152 140725249709152 140725249716168 0
/proc/966454/statm: 4777044 145908 5910 1 0 553295 0
[pid=966454/tid=966456] ppid=966451 vsize=19108176 memory=6943526294502006880 CPUtime=24.97 cores=0,2
/proc/966454/task/966456/stat : 966456 (java) R 966451 966454 960561 0 -1 4194368 8996 0 0 0 2494 3 0 0 20 0 20 0 183599263 19566772224 145908 134679101440 94429610708992 94429610712688 140725249700000 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94429610720504 94429610721296 94429631549440 140725249709062 140725249709152 140725249709152 140725249716168 0
[pid=966454/tid=966465] ppid=966451 vsize=19108176 memory=7676 CPUtime=0 cores=0,2
/proc/966454/task/966465/stat : 966465 (Finalizer) S 966451 966454 960561 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183599265 19566772224 145908 134679101440 94429610708992 94429610712688 140725249700000 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94429610720504 94429610721296 94429631549440 140725249709062 140725249709152 140725249709152 140725249716168 0
[pid=966454/tid=966472] ppid=966451 vsize=19108176 memory=3474 CPUtime=0 cores=0,2
/proc/966454/task/966472/stat : 966472 (Common-Cleaner) S 966451 966454 960561 0 -1 1077936192 54 0 0 0 0 0 0 0 20 0 20 0 183599266 19566772224 145908 134679101440 94429610708992 94429610712688 140725249700000 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94429610720504 94429610721296 94429631549440 140725249709062 140725249709152 140725249709152 140725249716168 0
[pid=966454/tid=966473] ppid=966451 vsize=19108176 memory=4892 CPUtime=0 cores=0,2
/proc/966454/task/966473/stat : 966473 (Timer-0) S 966451 966454 960561 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183599279 19566772224 145908 134679101440 94429610708992 94429610712688 140725249700000 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94429610720504 94429610721296 94429631549440 140725249709062 140725249709152 140725249709152 140725249716168 0
Current children cumulated CPU time: 26.86 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 583632 KiB

[startup+51.1057 s]
/proc/loadavg: 4.14 4.16 4.18 5/333 966487
/proc/meminfo: memFree=119811684/131524600 swapFree=130798872/131071996
[pid=966454] ppid=966451 vsize=19108176 memory=938672 CPUtime=52.68 cores=0,2
/proc/966454/stat : 966454 (java) S 966451 966454 960561 0 -1 1077936128 31761 0 0 0 5247 21 0 0 20 0 20 0 183599262 19566772224 234668 134679101440 94429610708992 94429610712688 140725249700000 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94429610720504 94429610721296 94429631549440 140725249709062 140725249709152 140725249709152 140725249716168 0
/proc/966454/statm: 4777044 234668 5910 1 0 553295 0

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

/proc/966454/task/966465/stat : 966465 (Finalizer) S 966451 966454 960561 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183599265 19566772224 1130300 134679101440 94429610708992 94429610712688 140725249700000 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94429610720504 94429610721296 94429631549440 140725249709062 140725249709152 140725249709152 140725249716168 0
[pid=966454/tid=966472] ppid=966451 vsize=19108176 memory=4271328 CPUtime=0 cores=0,2
/proc/966454/task/966472/stat : 966472 (Common-Cleaner) S 966451 966454 960561 0 -1 1077936192 2434 0 0 0 0 0 0 0 20 0 20 0 183599266 19566772224 1130300 134679101440 94429610708992 94429610712688 140725249700000 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94429610720504 94429610721296 94429631549440 140725249709062 140725249709152 140725249709152 140725249716168 0
[pid=966454/tid=966473] ppid=966451 vsize=19108176 memory=736 CPUtime=0 cores=0,2
/proc/966454/task/966473/stat : 966473 (Timer-0) S 966451 966454 960561 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183599279 19566772224 1130300 134679101440 94429610708992 94429610712688 140725249700000 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94429610720504 94429610721296 94429631549440 140725249709062 140725249709152 140725249709152 140725249716168 0
Current children cumulated CPU time: 3224.45 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4521200 KiB

[startup+3282.3 s]
/proc/loadavg: 1.13 1.33 2.03 2/253 968358
/proc/meminfo: memFree=122387512/131524600 swapFree=130798872/131071996
[pid=966454] ppid=966451 vsize=19108176 memory=4521200 CPUtime=3284.31 cores=0,2
/proc/966454/stat : 966454 (java) S 966451 966454 960561 0 -1 1077936128 204797 0 0 0 328226 205 0 0 20 0 20 0 183599262 19566772224 1130300 134679101440 94429610708992 94429610712688 140725249700000 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94429610720504 94429610721296 94429631549440 140725249709062 140725249709152 140725249709152 140725249716168 0
/proc/966454/statm: 4777044 1130300 5926 1 0 1273303 0
[pid=966454/tid=966456] ppid=966451 vsize=19108176 memory=4521200 CPUtime=3258.04 cores=0,2
/proc/966454/task/966456/stat : 966456 (java) R 966451 966454 960561 0 -1 4194368 76263 0 0 0 325754 50 0 0 20 0 20 0 183599263 19566772224 1130300 134679101440 94429610708992 94429610712688 140725249700000 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94429610720504 94429610721296 94429631549440 140725249709062 140725249709152 140725249709152 140725249716168 0
[pid=966454/tid=966465] ppid=966451 vsize=19108176 memory=4521200 CPUtime=0 cores=0,2
/proc/966454/task/966465/stat : 966465 (Finalizer) S 966451 966454 960561 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183599265 19566772224 1130300 134679101440 94429610708992 94429610712688 140725249700000 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94429610720504 94429610721296 94429631549440 140725249709062 140725249709152 140725249709152 140725249716168 0
[pid=966454/tid=966472] ppid=966451 vsize=19108176 memory=7676 CPUtime=0 cores=0,2
/proc/966454/task/966472/stat : 966472 (Common-Cleaner) S 966451 966454 960561 0 -1 1077936192 2434 0 0 0 0 0 0 0 20 0 20 0 183599266 19566772224 1130300 134679101440 94429610708992 94429610712688 140725249700000 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94429610720504 94429610721296 94429631549440 140725249709062 140725249709152 140725249709152 140725249716168 0
[pid=966454/tid=966473] ppid=966451 vsize=19108176 memory=4521200 CPUtime=0 cores=0,2
/proc/966454/task/966473/stat : 966473 (Timer-0) S 966451 966454 960561 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183599279 19566772224 1130300 134679101440 94429610708992 94429610712688 140725249700000 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94429610720504 94429610721296 94429631549440 140725249709062 140725249709152 140725249709152 140725249716168 0
Current children cumulated CPU time: 3284.31 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4521200 KiB

[startup+3342.3 s]
/proc/loadavg: 1.16 1.30 1.97 2/253 968368
/proc/meminfo: memFree=122361984/131524600 swapFree=130798872/131071996
[pid=966454] ppid=966451 vsize=19108176 memory=4545796 CPUtime=3344.35 cores=0,2
/proc/966454/stat : 966454 (java) S 966451 966454 960561 0 -1 1077936128 205497 0 0 0 334228 207 0 0 20 0 20 0 183599262 19566772224 1136449 134679101440 94429610708992 94429610712688 140725249700000 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94429610720504 94429610721296 94429631549440 140725249709062 140725249709152 140725249709152 140725249716168 0
/proc/966454/statm: 4777044 1136449 5926 1 0 1273303 0
[pid=966454/tid=966456] ppid=966451 vsize=19108176 memory=1200 CPUtime=3317.61 cores=0,2
/proc/966454/task/966456/stat : 966456 (java) R 966451 966454 960561 0 -1 4194368 76461 0 0 0 331711 50 0 0 20 0 20 0 183599263 19566772224 1136449 134679101440 94429610708992 94429610712688 140725249700000 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94429610720504 94429610721296 94429631549440 140725249709062 140725249709152 140725249709152 140725249716168 0
[pid=966454/tid=966465] ppid=966451 vsize=19108176 memory=4545796 CPUtime=0 cores=0,2
/proc/966454/task/966465/stat : 966465 (Finalizer) S 966451 966454 960561 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183599265 19566772224 1136449 134679101440 94429610708992 94429610712688 140725249700000 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94429610720504 94429610721296 94429631549440 140725249709062 140725249709152 140725249709152 140725249716168 0
[pid=966454/tid=966472] ppid=966451 vsize=19108176 memory=7676 CPUtime=0 cores=0,2
/proc/966454/task/966472/stat : 966472 (Common-Cleaner) S 966451 966454 960561 0 -1 1077936192 2434 0 0 0 0 0 0 0 20 0 20 0 183599266 19566772224 1136449 134679101440 94429610708992 94429610712688 140725249700000 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94429610720504 94429610721296 94429631549440 140725249709062 140725249709152 140725249709152 140725249716168 0
[pid=966454/tid=966473] ppid=966451 vsize=19108176 memory=4892 CPUtime=0 cores=0,2
/proc/966454/task/966473/stat : 966473 (Timer-0) S 966451 966454 960561 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183599279 19566772224 1136449 134679101440 94429610708992 94429610712688 140725249700000 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94429610720504 94429610721296 94429631549440 140725249709062 140725249709152 140725249709152 140725249716168 0
Current children cumulated CPU time: 3344.35 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4545796 KiB

[startup+3402.3 s]
/proc/loadavg: 1.17 1.27 1.92 2/253 968378
/proc/meminfo: memFree=122361328/131524600 swapFree=130798872/131071996
[pid=966454] ppid=966451 vsize=19108176 memory=4545832 CPUtime=3404.42 cores=0,2
/proc/966454/stat : 966454 (java) S 966451 966454 960561 0 -1 1077936128 208635 0 0 0 340233 209 0 0 20 0 20 0 183599262 19566772224 1136458 134679101440 94429610708992 94429610712688 140725249700000 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94429610720504 94429610721296 94429631549440 140725249709062 140725249709152 140725249709152 140725249716168 0
/proc/966454/statm: 4777044 1136458 5926 1 0 1273310 0
[pid=966454/tid=966456] ppid=966451 vsize=19108176 memory=1200 CPUtime=3377.23 cores=0,2
/proc/966454/task/966456/stat : 966456 (java) R 966451 966454 960561 0 -1 4194368 77015 0 0 0 337673 50 0 0 20 0 20 0 183599263 19566772224 1136458 134679101440 94429610708992 94429610712688 140725249700000 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94429610720504 94429610721296 94429631549440 140725249709062 140725249709152 140725249709152 140725249716168 0
[pid=966454/tid=966465] ppid=966451 vsize=19108176 memory=4545828 CPUtime=0 cores=0,2
/proc/966454/task/966465/stat : 966465 (Finalizer) S 966451 966454 960561 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183599265 19566772224 1136458 134679101440 94429610708992 94429610712688 140725249700000 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94429610720504 94429610721296 94429631549440 140725249709062 140725249709152 140725249709152 140725249716168 0
[pid=966454/tid=966472] ppid=966451 vsize=19108176 memory=4545828 CPUtime=0 cores=0,2
/proc/966454/task/966472/stat : 966472 (Common-Cleaner) S 966451 966454 960561 0 -1 1077936192 2434 0 0 0 0 0 0 0 20 0 20 0 183599266 19566772224 1136458 134679101440 94429610708992 94429610712688 140725249700000 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94429610720504 94429610721296 94429631549440 140725249709062 140725249709152 140725249709152 140725249716168 0
[pid=966454/tid=966473] ppid=966451 vsize=19108176 memory=27344 CPUtime=0 cores=0,2
/proc/966454/task/966473/stat : 966473 (Timer-0) S 966451 966454 960561 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183599279 19566772224 1136458 134679101440 94429610708992 94429610712688 140725249700000 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94429610720504 94429610721296 94429631549440 140725249709062 140725249709152 140725249709152 140725249716168 0
Current children cumulated CPU time: 3404.42 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4545832 KiB

[startup+3462.3 s]
/proc/loadavg: 1.10 1.23 1.86 2/255 968393
/proc/meminfo: memFree=122360808/131524600 swapFree=130798872/131071996
[pid=966454] ppid=966451 vsize=19108176 memory=4545832 CPUtime=3464.46 cores=0,2
/proc/966454/stat : 966454 (java) S 966451 966454 960561 0 -1 1077936128 209792 0 0 0 346235 211 0 0 20 0 20 0 183599262 19566772224 1136458 134679101440 94429610708992 94429610712688 140725249700000 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94429610720504 94429610721296 94429631549440 140725249709062 140725249709152 140725249709152 140725249716168 0
/proc/966454/statm: 4777044 1136458 5926 1 0 1273310 0
[pid=966454/tid=966456] ppid=966451 vsize=19108176 memory=1200 CPUtime=3436.86 cores=0,2
/proc/966454/task/966456/stat : 966456 (java) R 966451 966454 960561 0 -1 4194368 77709 0 0 0 343636 50 0 0 20 0 20 0 183599263 19566772224 1136458 134679101440 94429610708992 94429610712688 140725249700000 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94429610720504 94429610721296 94429631549440 140725249709062 140725249709152 140725249709152 140725249716168 0
[pid=966454/tid=966465] ppid=966451 vsize=19108176 memory=16888 CPUtime=0 cores=0,2
/proc/966454/task/966465/stat : 966465 (Finalizer) S 966451 966454 960561 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183599265 19566772224 1136458 134679101440 94429610708992 94429610712688 140725249700000 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94429610720504 94429610721296 94429631549440 140725249709062 140725249709152 140725249709152 140725249716168 0
[pid=966454/tid=966472] ppid=966451 vsize=19108176 memory=7676 CPUtime=0 cores=0,2
/proc/966454/task/966472/stat : 966472 (Common-Cleaner) S 966451 966454 960561 0 -1 1077936192 2510 0 0 0 0 0 0 0 20 0 20 0 183599266 19566772224 1136458 134679101440 94429610708992 94429610712688 140725249700000 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94429610720504 94429610721296 94429631549440 140725249709062 140725249709152 140725249709152 140725249716168 0
[pid=966454/tid=966473] ppid=966451 vsize=19108176 memory=16256 CPUtime=0 cores=0,2
/proc/966454/task/966473/stat : 966473 (Timer-0) S 966451 966454 960561 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183599279 19566772224 1136458 134679101440 94429610708992 94429610712688 140725249700000 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94429610720504 94429610721296 94429631549440 140725249709062 140725249709152 140725249709152 140725249716168 0
Current children cumulated CPU time: 3464.46 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4545832 KiB

[startup+3522.3 s]
/proc/loadavg: 1.15 1.22 1.82 2/255 968403
/proc/meminfo: memFree=122360120/131524600 swapFree=130798872/131071996
[pid=966454] ppid=966451 vsize=19108176 memory=4545832 CPUtime=3524.31 cores=0,2
/proc/966454/stat : 966454 (java) S 966451 966454 960561 0 -1 1077936128 209876 0 0 0 352218 213 0 0 20 0 20 0 183599262 19566772224 1136458 134679101440 94429610708992 94429610712688 140725249700000 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94429610720504 94429610721296 94429631549440 140725249709062 140725249709152 140725249709152 140725249716168 0
/proc/966454/statm: 4777044 1136458 5926 1 0 1273310 0
[pid=966454/tid=966456] ppid=966451 vsize=19108176 memory=7676 CPUtime=3496.69 cores=0,2
/proc/966454/task/966456/stat : 966456 (java) R 966451 966454 960561 0 -1 4194368 77788 0 0 0 349619 50 0 0 20 0 20 0 183599263 19566772224 1136458 134679101440 94429610708992 94429610712688 140725249700000 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94429610720504 94429610721296 94429631549440 140725249709062 140725249709152 140725249709152 140725249716168 0
[pid=966454/tid=966465] ppid=966451 vsize=19108176 memory=-9104139236752532156 CPUtime=0 cores=0,2
/proc/966454/task/966465/stat : 966465 (Finalizer) S 966451 966454 960561 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183599265 19566772224 1136458 134679101440 94429610708992 94429610712688 140725249700000 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94429610720504 94429610721296 94429631549440 140725249709062 140725249709152 140725249709152 140725249716168 0
[pid=966454/tid=966472] ppid=966451 vsize=19108176 memory=2240 CPUtime=0 cores=0,2
/proc/966454/task/966472/stat : 966472 (Common-Cleaner) S 966451 966454 960561 0 -1 1077936192 2510 0 0 0 0 0 0 0 20 0 20 0 183599266 19566772224 1136458 134679101440 94429610708992 94429610712688 140725249700000 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94429610720504 94429610721296 94429631549440 140725249709062 140725249709152 140725249709152 140725249716168 0
[pid=966454/tid=966473] ppid=966451 vsize=19108176 memory=4545832 CPUtime=0 cores=0,2
/proc/966454/task/966473/stat : 966473 (Timer-0) S 966451 966454 960561 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183599279 19566772224 1136458 134679101440 94429610708992 94429610712688 140725249700000 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94429610720504 94429610721296 94429631549440 140725249709062 140725249709152 140725249709152 140725249716168 0
Current children cumulated CPU time: 3524.31 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4545832 KiB

[startup+3582.3 s]
/proc/loadavg: 1.21 1.22 1.78 2/255 968413
/proc/meminfo: memFree=122359492/131524600 swapFree=130798872/131071996
[pid=966454] ppid=966451 vsize=19108176 memory=4545844 CPUtime=3584.37 cores=0,2
/proc/966454/stat : 966454 (java) S 966451 966454 960561 0 -1 1077936128 213351 0 0 0 358222 215 0 0 20 0 20 0 183599262 19566772224 1136461 134679101440 94429610708992 94429610712688 140725249700000 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94429610720504 94429610721296 94429631549440 140725249709062 140725249709152 140725249709152 140725249716168 0
/proc/966454/statm: 4777044 1136461 5926 1 0 1273310 0
[pid=966454/tid=966456] ppid=966451 vsize=19108176 memory=7676 CPUtime=3556.32 cores=0,2
/proc/966454/task/966456/stat : 966456 (java) R 966451 966454 960561 0 -1 4194368 78805 0 0 0 355582 50 0 0 20 0 20 0 183599263 19566772224 1136461 134679101440 94429610708992 94429610712688 140725249700000 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94429610720504 94429610721296 94429631549440 140725249709062 140725249709152 140725249709152 140725249716168 0
[pid=966454/tid=966465] ppid=966451 vsize=19108176 memory=27344 CPUtime=0 cores=0,2
/proc/966454/task/966465/stat : 966465 (Finalizer) S 966451 966454 960561 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183599265 19566772224 1136461 134679101440 94429610708992 94429610712688 140725249700000 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94429610720504 94429610721296 94429631549440 140725249709062 140725249709152 140725249709152 140725249716168 0
[pid=966454/tid=966472] ppid=966451 vsize=19108176 memory=4892 CPUtime=0 cores=0,2
/proc/966454/task/966472/stat : 966472 (Common-Cleaner) S 966451 966454 960561 0 -1 1077936192 2618 0 0 0 0 0 0 0 20 0 20 0 183599266 19566772224 1136461 134679101440 94429610708992 94429610712688 140725249700000 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94429610720504 94429610721296 94429631549440 140725249709062 140725249709152 140725249709152 140725249716168 0
[pid=966454/tid=966473] ppid=966451 vsize=19108176 memory=7676 CPUtime=0 cores=0,2
/proc/966454/task/966473/stat : 966473 (Timer-0) S 966451 966454 960561 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183599279 19566772224 1136461 134679101440 94429610708992 94429610712688 140725249700000 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94429610720504 94429610721296 94429631549440 140725249709062 140725249709152 140725249709152 140725249716168 0
Current children cumulated CPU time: 3584.37 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4545844 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3598 s]*
/proc/loadavg: 1.32 1.25 1.78 2/255 968415
/proc/meminfo: memFree=122359408/131524600 swapFree=130798872/131071996
[pid=966454] ppid=966451 vsize=19108176 memory=4545844 CPUtime=3600.04 cores=0,2
/proc/966454/stat : 966454 (java) S 966451 966454 960561 0 -1 1077936128 213392 0 0 0 359788 216 0 0 20 0 20 0 183599262 19566772224 1136461 134679101440 94429610708992 94429610712688 140725249700000 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94429610720504 94429610721296 94429631549440 140725249709062 140725249709152 140725249709152 140725249716168 0
/proc/966454/statm: 4777044 1136461 5926 1 0 1273310 0
[pid=966454/tid=966456] ppid=966451 vsize=19108176 memory=-9104139236752532156 CPUtime=3571.98 cores=0,2
/proc/966454/task/966456/stat : 966456 (java) R 966451 966454 960561 0 -1 4194368 78844 0 0 0 357148 50 0 0 20 0 20 0 183599263 19566772224 1136461 134679101440 94429610708992 94429610712688 140725249700000 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94429610720504 94429610721296 94429631549440 140725249709062 140725249709152 140725249709152 140725249716168 0
[pid=966454/tid=966465] ppid=966451 vsize=19108176 memory=-8549726995250724250 CPUtime=0 cores=0,2
/proc/966454/task/966465/stat : 966465 (Finalizer) S 966451 966454 960561 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183599265 19566772224 1136461 134679101440 94429610708992 94429610712688 140725249700000 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94429610720504 94429610721296 94429631549440 140725249709062 140725249709152 140725249709152 140725249716168 0
[pid=966454/tid=966472] ppid=966451 vsize=19108176 memory=2684 CPUtime=0 cores=0,2
/proc/966454/task/966472/stat : 966472 (Common-Cleaner) S 966451 966454 960561 0 -1 1077936192 2618 0 0 0 0 0 0 0 20 0 20 0 183599266 19566772224 1136461 134679101440 94429610708992 94429610712688 140725249700000 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94429610720504 94429610721296 94429631549440 140725249709062 140725249709152 140725249709152 140725249716168 0
[pid=966454/tid=966473] ppid=966451 vsize=19108176 memory=4960 CPUtime=0 cores=0,2
/proc/966454/task/966473/stat : 966473 (Timer-0) S 966451 966454 960561 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183599279 19566772224 1136461 134679101440 94429610708992 94429610712688 140725249700000 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94429610720504 94429610721296 94429631549440 140725249709062 140725249709152 140725249709152 140725249716168 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4545844 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.01 s, system=2.18153 s

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

[startup+3598.11 s]*
/proc/loadavg: 1.32 1.25 1.78 3/237 968418
/proc/meminfo: memFree=126146264/131524600 swapFree=130798872/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): 3598.12
CPU time (s): 3600.19
CPU user time (s): 3598.01
CPU system time (s): 2.18153
CPU usage (%): 100.058
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 4545844

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.01
system time used= 2.18153
maximum resident set size= 4547628
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 216604
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3392
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 107648
involuntary context switches= 28280


# summary of solver processes directly reported to runsolver:
#   pid: 966454
#   total CPU time (s): 3600.19
#   total CPU user time (s): 3598.01
#   total CPU system time (s): 2.18153

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.18767 second user time and 18.1531 second system time

The end

Launcher Data 

Begin job on nodeC014 at 2024-07-18 16:53:34
IDJOB=4443314
IDBENCH=147870
IDSOLVER=3058
FILE ID=nodeC014/4443314-1721314401
RUNJOBID= nodeC014-1721305283-960571
SLURM_JOB_ID= 7542633
Free space on /tmp= 890080 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/prestwich/armies/normalized-army13.24ls.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4443314-1721314401/watcher-4443314-1721314401 -o /tmp/evaluation-result-4443314-1721314401/solver-4443314-1721314401 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721305283-960571 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4443314-1721314401.opb

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

MD5SUM BENCH= 1f94bd3a314413948630d2f259d38fd6
RANDOM SEED=1962366669

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        120787096 kB
MemAvailable:   123875072 kB
Buffers:          439824 kB
Cached:          3452012 kB
SwapCached:        12904 kB
Active:          1341724 kB
Inactive:        8796848 kB
Active(anon):       9332 kB
Inactive(anon):  6257824 kB
Active(file):    1332392 kB
Inactive(file):  2539024 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       130798872 kB
Dirty:               968 kB
Writeback:             0 kB
AnonPages:       6237880 kB
Mapped:            69588 kB
Shmem:             20420 kB
KReclaimable:     112416 kB
Slab:             210916 kB
SReclaimable:     112416 kB
SUnreclaim:        98500 kB
KernelStack:        5104 kB
PageTables:        22784 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    7794920 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            35168 kB
HardwareCorrupted:     0 kB
AnonHugePages:   6004736 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      232148 kB
DirectMap2M:    25755648 kB
DirectMap1G:    110100480 kB

Free space on /tmp at the end= 890084 MiB
End job on nodeC014 at 2024-07-18 17:53:32