Trace number 4443224

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.22 3600.21

General information on the benchmark

NamePB24/normalized-PB06/DEC-LIN/
submitted-PB06/prestwich/armies/normalized-army11.17ls.opb
MD5SUM577423e4c806b19b8b5f6a5daee1c614
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.011666
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables370
Total number of constraints557
Number of constraints which are clauses313
Number of constraints which are cardinality constraints (but not clauses)2
Number of constraints which are nor clauses,nor cardinality constraints242
Minimum length of a constraint2
Maximum length of a constraint121
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 17
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 138
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.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-4443224-1721312411.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.037s.
0.14/0.16	c declared #vars     370
0.14/0.16	c #constraints  557
0.14/0.16	c constraints type 
0.14/0.16	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 193
0.14/0.16	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 2
0.14/0.16	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 242
0.14/0.16	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 120
0.14/0.16	c 557 constraints processed.
1.09/0.69	c cleaning 2501 clauses out of 5002 with flag 17926/5002
2.03/1.10	c cleaning 4247 clauses out of 8499 with flag 39059/11000
2.35/1.49	c cleaning 5620 clauses out of 11252 with flag 64545/18000
2.95/1.95	c cleaning 6810 clauses out of 13632 with flag 89485/26000
3.72/2.62	c cleaning 7909 clauses out of 15822 with flag 119045/35000
4.43/3.35	c cleaning 8955 clauses out of 17913 with flag 148781/45000
5.34/4.20	c cleaning 9974 clauses out of 19958 with flag 182568/56000
6.33/5.27	c cleaning 10988 clauses out of 21984 with flag 220023/68000
7.73/6.62	c cleaning 11995 clauses out of 23996 with flag 256372/81000
9.55/8.41	c cleaning 12994 clauses out of 26002 with flag 298409/95001
11.45/10.34	c cleaning 13996 clauses out of 28007 with flag 347037/110000
13.95/12.85	c cleaning 14976 clauses out of 30014 with flag 398088/126003
16.61/15.49	c cleaning 16002 clauses out of 32035 with flag 455544/143000
19.13/17.97	c cleaning 17009 clauses out of 34034 with flag 512707/161001
22.17/20.90	c cleaning 18008 clauses out of 36026 with flag 572483/180002
24.74/23.55	c cleaning 18997 clauses out of 38017 with flag 638769/200001
28.67/27.45	c cleaning 19995 clauses out of 40020 with flag 707743/221001
32.83/31.66	c cleaning 21008 clauses out of 42026 with flag 776439/243002
37.26/36.03	c cleaning 22003 clauses out of 44017 with flag 849720/266001
41.85/40.69	c cleaning 23000 clauses out of 46014 with flag 928468/290001
47.59/46.38	c cleaning 23992 clauses out of 48016 with flag 1006454/315003
54.58/53.35	c cleaning 24991 clauses out of 50021 with flag 1099381/341000
60.82/59.58	c cleaning 26011 clauses out of 52032 with flag 1186476/368002
70.06/68.70	c cleaning 26984 clauses out of 54019 with flag 1288688/396000
77.54/76.29	c cleaning 28013 clauses out of 56035 with flag 1384106/425000
86.03/84.78	c cleaning 29003 clauses out of 58023 with flag 1487210/455001
94.21/92.99	c cleaning 30001 clauses out of 60019 with flag 1592085/486000
101.75/100.55	c cleaning 30979 clauses out of 62018 with flag 1706101/518000
111.39/110.19	c cleaning 32013 clauses out of 64039 with flag 1817890/551000
121.12/119.87	c cleaning 33000 clauses out of 66026 with flag 1928245/585000
131.66/130.31	c cleaning 34003 clauses out of 68027 with flag 2045485/620001
143.30/141.90	c cleaning 34998 clauses out of 70023 with flag 2161000/656000
156.38/155.02	c cleaning 36003 clauses out of 72025 with flag 2281350/693000
168.88/167.32	c cleaning 36988 clauses out of 74023 with flag 2413149/731001
184.91/183.31	c cleaning 38010 clauses out of 76034 with flag 2545593/770000
201.38/199.82	c cleaning 38999 clauses out of 78024 with flag 2686540/810000
217.13/215.59	c cleaning 39988 clauses out of 80026 with flag 2837593/851001
233.08/231.58	c cleaning 41007 clauses out of 82039 with flag 2975393/893002
253.58/252.19	c cleaning 41995 clauses out of 84030 with flag 3140549/936000
269.81/268.34	c cleaning 43014 clauses out of 86036 with flag 3291324/980001
288.38/286.98	c cleaning 44003 clauses out of 88021 with flag 3433240/1025000
308.44/306.93	c cleaning 45002 clauses out of 90018 with flag 3576660/1071000
327.90/326.49	c cleaning 46001 clauses out of 92018 with flag 3726109/1118002
347.97/346.54	c cleaning 47004 clauses out of 94016 with flag 3877277/1166001
374.87/373.47	c cleaning 47999 clauses out of 96014 with flag 4042538/1215003
401.00/399.52	c cleaning 48996 clauses out of 98013 with flag 4225356/1265001
427.15/425.78	c cleaning 50002 clauses out of 100016 with flag 4405203/1316000
454.90/453.18	c cleaning 51001 clauses out of 102016 with flag 4584666/1368002
488.01/486.26	c cleaning 51991 clauses out of 104013 with flag 4770887/1421000
511.26/509.54	c cleaning 53008 clauses out of 106022 with flag 4943440/1475000
538.72/537.10	c cleaning 53981 clauses out of 108014 with flag 5121203/1530000
575.34/573.69	c cleaning 55010 clauses out of 110034 with flag 5319709/1586001
604.99/603.33	c cleaning 56000 clauses out of 112024 with flag 5520549/1643001
634.48/632.78	c cleaning 56992 clauses out of 114025 with flag 5731210/1701002
674.58/672.99	c cleaning 58002 clauses out of 116033 with flag 5942332/1760002
710.06/708.37	c cleaning 59009 clauses out of 118029 with flag 6147273/1820000
736.02/734.33	c cleaning 60002 clauses out of 120022 with flag 6332501/1881002
762.67/761.07	c cleaning 61000 clauses out of 122018 with flag 6511348/1943000
792.32/790.60	c cleaning 61997 clauses out of 124020 with flag 6696000/2006002
820.97/819.34	c cleaning 62998 clauses out of 126021 with flag 6883329/2070000
857.83/856.15	c cleaning 64010 clauses out of 128027 with flag 7078409/2135004
895.39/893.35	c cleaning 64991 clauses out of 130013 with flag 7278662/2201000
933.73/931.75	c cleaning 65999 clauses out of 132022 with flag 7482597/2268000
976.52/974.55	c cleaning 67007 clauses out of 134024 with flag 7704611/2336001
1014.17/1012.25	c cleaning 68005 clauses out of 136017 with flag 7928294/2405001
1059.08/1057.13	c cleaning 68998 clauses out of 138013 with flag 8154744/2475002
1105.20/1103.36	c cleaning 70002 clauses out of 140013 with flag 8389764/2546000
1143.71/1141.81	c cleaning 70993 clauses out of 142011 with flag 8627479/2618000
1191.02/1189.20	c cleaning 71997 clauses out of 144018 with flag 8860449/2691000
1241.44/1239.68	c cleaning 73003 clauses out of 146021 with flag 9095233/2765000
1300.44/1299.09	c cleaning 74003 clauses out of 148023 with flag 9354758/2840005
1387.72/1386.38	c cleaning 74986 clauses out of 150015 with flag 9658132/2916000
1470.95/1469.79	c cleaning 76005 clauses out of 152029 with flag 9986410/2993000
1538.40/1537.11	c cleaning 76994 clauses out of 154024 with flag 10267635/3071000
1618.45/1616.88	c cleaning 77988 clauses out of 156030 with flag 10565784/3150000
1710.80/1709.26	c cleaning 78994 clauses out of 158043 with flag 10888667/3230001
1792.17/1790.71	c cleaning 80015 clauses out of 160053 with flag 11201572/3311005
1884.05/1882.61	c cleaning 80999 clauses out of 162033 with flag 11535924/3393000
1967.23/1965.94	c cleaning 82002 clauses out of 164034 with flag 11859255/3476000
2053.74/2052.48	c cleaning 83003 clauses out of 166034 with flag 12164189/3560002
2144.20/2143.05	c cleaning 83972 clauses out of 168030 with flag 12481475/3645001
2222.60/2221.49	c cleaning 85016 clauses out of 170058 with flag 12785121/3731001
2303.82/2302.84	c cleaning 86013 clauses out of 172042 with flag 13079465/3818001
2407.92/2407.20	c cleaning 86997 clauses out of 174030 with flag 13421906/3906002
2514.47/2513.82	c cleaning 87991 clauses out of 176031 with flag 13759523/3995000
2615.27/2614.98	c cleaning 89001 clauses out of 178040 with flag 14105914/4085000
2726.36/2726.07	c cleaning 89990 clauses out of 180040 with flag 14452774/4176001
2817.99/2817.20	c cleaning 91006 clauses out of 182049 with flag 14810645/4268000
2889.17/2888.44	c cleaning 92010 clauses out of 184044 with flag 15136103/4361001
2987.93/2987.36	c cleaning 92993 clauses out of 186034 with flag 15491198/4455001
3107.35/3106.81	c cleaning 94004 clauses out of 188040 with flag 15870548/4550000
3224.66/3224.34	c cleaning 94997 clauses out of 190036 with flag 16231385/4646000
3342.78/3342.59	c cleaning 96000 clauses out of 192039 with flag 16618663/4743000
3462.57/3462.57	c cleaning 97003 clauses out of 194039 with flag 17006701/4841000
3577.11/3577.13	c cleaning 98005 clauses out of 196037 with flag 17391809/4940001
3600.08/3600.12	c starts		: 5292
3600.08/3600.12	c timeout
3600.08/3600.12	c conflicts		: 4967577
3600.08/3600.12	c decisions		: 11695469
3600.08/3600.12	c propagations		: 175823832
3600.08/3600.12	c inspects		: 25513887527
3600.08/3600.12	c shortcuts		: 0
3600.08/3600.12	c learnt literals	: 0
3600.08/3600.12	c learnt binary clauses	: 0
3600.08/3600.12	c learnt ternary clauses	: 1
3600.08/3600.12	c learnt constraints	: 4967577
3600.08/3600.12	c ignored constraints	: 0
3600.08/3600.12	c root simplifications	: 0
3600.08/3600.12	c removed literals (reason simplification)	: 0
3600.08/3600.12	c reason swapping (by a shorter reason)	: 0
3600.08/3600.12	c Calls to reduceDB	: 95
3600.08/3600.12	c Number of update (reduction) of LBD	: 1571943
3600.08/3600.12	c Imported unit clauses	: 0
3600.08/3600.12	c No decision after first conflict	: false
3600.08/3600.12	c number of reductions to clauses (during analyze)	: 0
3600.08/3600.12	c number of learned constraints concerned by reduction	: 0
3600.08/3600.12	c number of learning phase by resolution	: 0
3600.08/3600.12	c number of learning phase by cutting planes	: 0
3600.08/3600.12	c number of rounding to 1 operations	: 0
3600.08/3600.12	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.08/3600.12	c number of reductions of the coefficients by power 2 	: 0
3600.08/3600.12	c number of right shift for reduction by power 2 	: 0
3600.08/3600.12	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.08/3600.12	c number of ending skipping 	: 0
3600.08/3600.12	c number of internal skipping 	: 0
3600.08/3600.12	c number of derivation steps 	: 0
3600.08/3600.12	c number of skipped derivation steps 	: 0
3600.08/3600.12	c number of remaining unassigned 	: 0
3600.08/3600.12	c number of remaining assigned 	: 0
3600.08/3600.12	c number of falsified literals weakened from reason	: 0
3600.08/3600.12	c number of falsified literals weakened from conflict	: 0
3600.08/3600.12	c time for arithmetic operations	: 0
3600.08/3600.13	c minimum degree of deleted constraints	: null
3600.08/3600.13	c maximum degree of deleted constraints	: null
3600.08/3600.13	c number of deleted constraints	: 0
3600.08/3600.13	c speed (assignments/second)	: 48840.49600551117
3600.08/3600.13	c non guided choices	: 48
3600.08/3600.18	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 125608
3600.08/3600.18	s UNKNOWN
3600.08/3600.18	c Total wall clock time (in seconds): 3600.06

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

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=965265, runsolver pid=965262

[startup+0.101523 s]*
/proc/loadavg: 4.21 4.13 4.15 7/327 965284
/proc/meminfo: memFree=111166744/131524600 swapFree=130798872/131071996
[pid=965265] ppid=965262 vsize=18975048 memory=64660 CPUtime=0.14 cores=5,7
/proc/965265/stat : 965265 (java) S 965262 965265 960561 0 -1 1077936128 7070 0 0 0 12 2 0 0 20 0 18 0 183400287 19430449152 16165 134679101440 94349355257856 94349355261552 140730686490608 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94349355269368 94349355270160 94349385326592 140730686497798 140730686497888 140730686497888 140730686504904 0
/proc/965265/statm: 4743762 16165 5671 1 0 549334 0
[pid=965265/tid=965267] ppid=965262 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=5,7
/proc/965265/task/965267/stat : 965267 (java) R 965262 965265 960561 0 -1 1078198336 5645 0 0 0 7 1 0 0 20 0 18 0 183400287 19430449152 16165 134679101440 94349355257856 94349355261552 140730686490608 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94349355269368 94349355270160 94349385326592 140730686497798 140730686497888 140730686497888 140730686504904 0
[pid=965265/tid=965277] ppid=965262 vsize=18975048 memory=237146210664 CPUtime=0 cores=5,7
/proc/965265/task/965277/stat : 965277 (Finalizer) S 965262 965265 960561 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 183400290 19430449152 16165 134679101440 94349355257856 94349355261552 140730686490608 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94349355269368 94349355270160 94349385326592 140730686497798 140730686497888 140730686497888 140730686504904 0
[pid=965265/tid=965284] ppid=965262 vsize=18975048 memory=14134446136991189 CPUtime=0 cores=5,7
/proc/965265/task/965284/stat : 965284 (Common-Cleaner) S 965262 965265 960561 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 183400290 19430449152 16165 134679101440 94349355257856 94349355261552 140730686490608 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94349355269368 94349355270160 94349385326592 140730686497798 140730686497888 140730686497888 140730686504904 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 64660 KiB

[startup+0.206383 s]*
/proc/loadavg: 4.21 4.13 4.15 8/328 965285
/proc/meminfo: memFree=111158924/131524600 swapFree=130798872/131071996
[pid=965265] ppid=965262 vsize=19041612 memory=69000 CPUtime=0.33 cores=5,7
/proc/965265/stat : 965265 (java) S 965262 965265 960561 0 -1 1077936128 7554 0 0 0 31 2 0 0 20 0 19 0 183400287 19498610688 17250 134679101440 94349355257856 94349355261552 140730686490608 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94349355269368 94349355270160 94349385326592 140730686497798 140730686497888 140730686497888 140730686504904 0
/proc/965265/statm: 4760403 17250 5825 1 0 549896 0
[pid=965265/tid=965267] ppid=965262 vsize=19041612 memory=4782652875487838339 CPUtime=0.18 cores=5,7
/proc/965265/task/965267/stat : 965267 (java) R 965262 965265 960561 0 -1 4194368 5858 0 0 0 17 1 0 0 20 0 19 0 183400287 19498610688 17250 134679101440 94349355257856 94349355261552 140730686490608 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94349355269368 94349355270160 94349385326592 140730686497798 140730686497888 140730686497888 140730686504904 0
[pid=965265/tid=965277] ppid=965262 vsize=19041612 memory=1285800 CPUtime=0 cores=5,7
/proc/965265/task/965277/stat : 965277 (Finalizer) S 965262 965265 960561 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 183400290 19498610688 17250 134679101440 94349355257856 94349355261552 140730686490608 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94349355269368 94349355270160 94349385326592 140730686497798 140730686497888 140730686497888 140730686504904 0
[pid=965265/tid=965284] ppid=965262 vsize=19041612 memory=13571496182286042 CPUtime=0 cores=5,7
/proc/965265/task/965284/stat : 965284 (Common-Cleaner) S 965262 965265 960561 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 183400290 19498610688 17250 134679101440 94349355257856 94349355261552 140730686490608 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94349355269368 94349355270160 94349385326592 140730686497798 140730686497888 140730686497888 140730686504904 0
[pid=965265/tid=965285] ppid=965262 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/965265/task/965285/stat : 965285 (Timer-0) S 965262 965265 960561 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 183400303 19498610688 17250 134679101440 94349355257856 94349355261552 140730686490608 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94349355269368 94349355270160 94349385326592 140730686497798 140730686497888 140730686497888 140730686504904 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 69000 KiB

[startup+0.306385 s]*
/proc/loadavg: 4.21 4.13 4.15 10/328 965285
/proc/meminfo: memFree=111143672/131524600 swapFree=130798872/131071996
[pid=965265] ppid=965262 vsize=19041612 memory=77148 CPUtime=0.53 cores=5,7
/proc/965265/stat : 965265 (java) S 965262 965265 960561 0 -1 1077936128 10175 0 0 0 50 3 0 0 20 0 19 0 183400287 19498610688 19287 134679101440 94349355257856 94349355261552 140730686490608 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94349355269368 94349355270160 94349385326592 140730686497798 140730686497888 140730686497888 140730686504904 0
/proc/965265/statm: 4760403 19287 5841 1 0 551406 0
[pid=965265/tid=965267] ppid=965262 vsize=19041612 memory=-9031802371056116412 CPUtime=0.28 cores=5,7
/proc/965265/task/965267/stat : 965267 (java) R 965262 965265 960561 0 -1 4194368 5869 0 0 0 26 2 0 0 20 0 19 0 183400287 19498610688 19287 134679101440 94349355257856 94349355261552 140730686490608 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94349355269368 94349355270160 94349385326592 140730686497798 140730686497888 140730686497888 140730686504904 0
[pid=965265/tid=965277] ppid=965262 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/965265/task/965277/stat : 965277 (Finalizer) S 965262 965265 960561 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 183400290 19498610688 19287 134679101440 94349355257856 94349355261552 140730686490608 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94349355269368 94349355270160 94349385326592 140730686497798 140730686497888 140730686497888 140730686504904 0
[pid=965265/tid=965284] ppid=965262 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/965265/task/965284/stat : 965284 (Common-Cleaner) S 965262 965265 960561 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 183400290 19498610688 19287 134679101440 94349355257856 94349355261552 140730686490608 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94349355269368 94349355270160 94349385326592 140730686497798 140730686497888 140730686497888 140730686504904 0
[pid=965265/tid=965285] ppid=965262 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/965265/task/965285/stat : 965285 (Timer-0) S 965262 965265 960561 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 183400303 19498610688 19287 134679101440 94349355257856 94349355261552 140730686490608 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94349355269368 94349355270160 94349385326592 140730686497798 140730686497888 140730686497888 140730686504904 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 77148 KiB

[startup+0.703383 s]
/proc/loadavg: 4.21 4.13 4.15 7/328 965287
/proc/meminfo: memFree=111121788/131524600 swapFree=130798872/131071996
[pid=965265] ppid=965262 vsize=19041612 memory=92260 CPUtime=1.27 cores=5,7
/proc/965265/stat : 965265 (java) S 965262 965265 960561 0 -1 1077936128 11943 0 0 0 124 3 0 0 20 0 19 0 183400287 19498610688 23065 134679101440 94349355257856 94349355261552 140730686490608 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94349355269368 94349355270160 94349385326592 140730686497798 140730686497888 140730686497888 140730686504904 0
/proc/965265/statm: 4760403 23065 5857 1 0 552670 0
[pid=965265/tid=965267] ppid=965262 vsize=19041612 memory=27344 CPUtime=0.64 cores=5,7
/proc/965265/task/965267/stat : 965267 (java) R 965262 965265 960561 0 -1 4194368 5920 0 0 0 62 2 0 0 20 0 19 0 183400287 19498610688 23065 134679101440 94349355257856 94349355261552 140730686490608 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94349355269368 94349355270160 94349385326592 140730686497798 140730686497888 140730686497888 140730686504904 0
[pid=965265/tid=965277] ppid=965262 vsize=19041612 memory=4892 CPUtime=0 cores=5,7
/proc/965265/task/965277/stat : 965277 (Finalizer) S 965262 965265 960561 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 183400290 19498610688 23065 134679101440 94349355257856 94349355261552 140730686490608 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94349355269368 94349355270160 94349385326592 140730686497798 140730686497888 140730686497888 140730686504904 0
[pid=965265/tid=965284] ppid=965262 vsize=19041612 memory=1200 CPUtime=0 cores=5,7
/proc/965265/task/965284/stat : 965284 (Common-Cleaner) S 965262 965265 960561 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 183400290 19498610688 23065 134679101440 94349355257856 94349355261552 140730686490608 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94349355269368 94349355270160 94349385326592 140730686497798 140730686497888 140730686497888 140730686504904 0
[pid=965265/tid=965285] ppid=965262 vsize=19041612 memory=2240 CPUtime=0 cores=5,7
/proc/965265/task/965285/stat : 965285 (Timer-0) S 965262 965265 960561 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 183400303 19498610688 23065 134679101440 94349355257856 94349355261552 140730686490608 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94349355269368 94349355270160 94349385326592 140730686497798 140730686497888 140730686497888 140730686504904 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 92260 KiB

[startup+1.50038 s]
/proc/loadavg: 4.21 4.13 4.15 6/328 965287
/proc/meminfo: memFree=111087272/131524600 swapFree=130798872/131071996
[pid=965265] ppid=965262 vsize=19041612 memory=120896 CPUtime=2.47 cores=5,7
/proc/965265/stat : 965265 (java) S 965262 965265 960561 0 -1 1077936128 15046 0 0 0 243 4 0 0 20 0 19 0 183400287 19498610688 30224 134679101440 94349355257856 94349355261552 140730686490608 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94349355269368 94349355270160 94349385326592 140730686497798 140730686497888 140730686497888 140730686504904 0
/proc/965265/statm: 4760403 30224 5857 1 0 553396 0
[pid=965265/tid=965267] ppid=965262 vsize=19041612 memory=4892 CPUtime=1.42 cores=5,7
/proc/965265/task/965267/stat : 965267 (java) R 965262 965265 960561 0 -1 4194368 6316 0 0 0 140 2 0 0 20 0 19 0 183400287 19498610688 30224 134679101440 94349355257856 94349355261552 140730686490608 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94349355269368 94349355270160 94349385326592 140730686497798 140730686497888 140730686497888 140730686504904 0
[pid=965265/tid=965277] ppid=965262 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/965265/task/965277/stat : 965277 (Finalizer) S 965262 965265 960561 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 183400290 19498610688 30224 134679101440 94349355257856 94349355261552 140730686490608 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94349355269368 94349355270160 94349385326592 140730686497798 140730686497888 140730686497888 140730686504904 0
[pid=965265/tid=965284] ppid=965262 vsize=19041612 memory=1200 CPUtime=0 cores=5,7
/proc/965265/task/965284/stat : 965284 (Common-Cleaner) S 965262 965265 960561 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 183400290 19498610688 30224 134679101440 94349355257856 94349355261552 140730686490608 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94349355269368 94349355270160 94349385326592 140730686497798 140730686497888 140730686497888 140730686504904 0
[pid=965265/tid=965285] ppid=965262 vsize=19041612 memory=2240 CPUtime=0 cores=5,7
/proc/965265/task/965285/stat : 965285 (Timer-0) S 965262 965265 960561 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 183400303 19498610688 30224 134679101440 94349355257856 94349355261552 140730686490608 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94349355269368 94349355270160 94349385326592 140730686497798 140730686497888 140730686497888 140730686504904 0
Current children cumulated CPU time: 2.47 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 120896 KiB

[startup+3.10559 s]
/proc/loadavg: 4.21 4.13 4.15 5/328 965287
/proc/meminfo: memFree=110990108/131524600 swapFree=130798872/131071996
[pid=965265] ppid=965262 vsize=19041612 memory=168156 CPUtime=4.24 cores=5,7
/proc/965265/stat : 965265 (java) S 965262 965265 960561 0 -1 1077936128 17133 0 0 0 418 6 0 0 20 0 19 0 183400287 19498610688 42039 134679101440 94349355257856 94349355261552 140730686490608 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94349355269368 94349355270160 94349385326592 140730686497798 140730686497888 140730686497888 140730686504904 0
/proc/965265/statm: 4760403 42039 5857 1 0 553399 0
[pid=965265/tid=965267] ppid=965262 vsize=19041612 memory=0 CPUtime=3.01 cores=5,7
/proc/965265/task/965267/stat : 965267 (java) R 965262 965265 960561 0 -1 4194368 6578 0 0 0 298 3 0 0 20 0 19 0 183400287 19498610688 42039 134679101440 94349355257856 94349355261552 140730686490608 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94349355269368 94349355270160 94349385326592 140730686497798 140730686497888 140730686497888 140730686504904 0
[pid=965265/tid=965277] ppid=965262 vsize=19041612 memory=-9031802371056116412 CPUtime=0 cores=5,7
/proc/965265/task/965277/stat : 965277 (Finalizer) S 965262 965265 960561 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 183400290 19498610688 42039 134679101440 94349355257856 94349355261552 140730686490608 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94349355269368 94349355270160 94349385326592 140730686497798 140730686497888 140730686497888 140730686504904 0
[pid=965265/tid=965284] ppid=965262 vsize=19041612 memory=4892 CPUtime=0 cores=5,7
/proc/965265/task/965284/stat : 965284 (Common-Cleaner) S 965262 965265 960561 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 183400290 19498610688 42039 134679101440 94349355257856 94349355261552 140730686490608 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94349355269368 94349355270160 94349385326592 140730686497798 140730686497888 140730686497888 140730686504904 0
[pid=965265/tid=965285] ppid=965262 vsize=19041612 memory=1200 CPUtime=0 cores=5,7
/proc/965265/task/965285/stat : 965285 (Timer-0) S 965262 965265 960561 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 183400303 19498610688 42039 134679101440 94349355257856 94349355261552 140730686490608 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94349355269368 94349355270160 94349385326592 140730686497798 140730686497888 140730686497888 140730686504904 0
Current children cumulated CPU time: 4.24 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 168156 KiB

[startup+6.3003 s]
/proc/loadavg: 4.28 4.15 4.15 5/330 965289
/proc/meminfo: memFree=110922652/131524600 swapFree=130798872/131071996
[pid=965265] ppid=965262 vsize=19108176 memory=184936 CPUtime=7.43 cores=5,7
/proc/965265/stat : 965265 (java) S 965262 965265 960561 0 -1 1077936128 18464 0 0 0 737 6 0 0 20 0 20 0 183400287 19566772224 46234 134679101440 94349355257856 94349355261552 140730686490608 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94349355269368 94349355270160 94349385326592 140730686497798 140730686497888 140730686497888 140730686504904 0
/proc/965265/statm: 4777044 46234 5873 1 0 553688 0
[pid=965265/tid=965267] ppid=965262 vsize=19108176 memory=1200 CPUtime=6.19 cores=5,7
/proc/965265/task/965267/stat : 965267 (java) R 965262 965265 960561 0 -1 4194368 6653 0 0 0 616 3 0 0 20 0 20 0 183400287 19566772224 46234 134679101440 94349355257856 94349355261552 140730686490608 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94349355269368 94349355270160 94349385326592 140730686497798 140730686497888 140730686497888 140730686504904 0
[pid=965265/tid=965277] ppid=965262 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/965265/task/965277/stat : 965277 (Finalizer) S 965262 965265 960561 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183400290 19566772224 46234 134679101440 94349355257856 94349355261552 140730686490608 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94349355269368 94349355270160 94349385326592 140730686497798 140730686497888 140730686497888 140730686504904 0
[pid=965265/tid=965284] ppid=965262 vsize=19108176 memory=4892 CPUtime=0 cores=5,7
/proc/965265/task/965284/stat : 965284 (Common-Cleaner) S 965262 965265 960561 0 -1 1077936192 57 0 0 0 0 0 0 0 20 0 20 0 183400290 19566772224 46234 134679101440 94349355257856 94349355261552 140730686490608 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94349355269368 94349355270160 94349385326592 140730686497798 140730686497888 140730686497888 140730686504904 0
[pid=965265/tid=965285] ppid=965262 vsize=19108176 memory=-5158697563450915880 CPUtime=0 cores=5,7
/proc/965265/task/965285/stat : 965285 (Timer-0) S 965262 965265 960561 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183400303 19566772224 46234 134679101440 94349355257856 94349355261552 140730686490608 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94349355269368 94349355270160 94349385326592 140730686497798 140730686497888 140730686497888 140730686504904 0
Current children cumulated CPU time: 7.43 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 184936 KiB

[startup+12.7003 s]
/proc/loadavg: 4.25 4.15 4.15 5/333 965295
/proc/meminfo: memFree=110878860/131524600 swapFree=130798872/131071996
[pid=965265] ppid=965262 vsize=19108176 memory=197408 CPUtime=13.85 cores=5,7
/proc/965265/stat : 965265 (java) S 965262 965265 960561 0 -1 1077936128 21252 0 0 0 1378 7 0 0 20 0 20 0 183400287 19566772224 49352 134679101440 94349355257856 94349355261552 140730686490608 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94349355269368 94349355270160 94349385326592 140730686497798 140730686497888 140730686497888 140730686504904 0
/proc/965265/statm: 4777044 49352 5879 1 0 553688 0
[pid=965265/tid=965267] ppid=965262 vsize=19108176 memory=4892 CPUtime=12.56 cores=5,7
/proc/965265/task/965267/stat : 965267 (java) R 965262 965265 960561 0 -1 4194368 7288 0 0 0 1253 3 0 0 20 0 20 0 183400287 19566772224 49352 134679101440 94349355257856 94349355261552 140730686490608 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94349355269368 94349355270160 94349385326592 140730686497798 140730686497888 140730686497888 140730686504904 0
[pid=965265/tid=965277] ppid=965262 vsize=19108176 memory=197376 CPUtime=0 cores=5,7
/proc/965265/task/965277/stat : 965277 (Finalizer) S 965262 965265 960561 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183400290 19566772224 49352 134679101440 94349355257856 94349355261552 140730686490608 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94349355269368 94349355270160 94349385326592 140730686497798 140730686497888 140730686497888 140730686504904 0
[pid=965265/tid=965284] ppid=965262 vsize=19108176 memory=27344 CPUtime=0 cores=5,7
/proc/965265/task/965284/stat : 965284 (Common-Cleaner) S 965262 965265 960561 0 -1 1077936192 57 0 0 0 0 0 0 0 20 0 20 0 183400290 19566772224 49352 134679101440 94349355257856 94349355261552 140730686490608 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94349355269368 94349355270160 94349385326592 140730686497798 140730686497888 140730686497888 140730686504904 0
[pid=965265/tid=965285] ppid=965262 vsize=19108176 memory=4892 CPUtime=0 cores=5,7
/proc/965265/task/965285/stat : 965285 (Timer-0) S 965262 965265 960561 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183400303 19566772224 49352 134679101440 94349355257856 94349355261552 140730686490608 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94349355269368 94349355270160 94349385326592 140730686497798 140730686497888 140730686497888 140730686504904 0
Current children cumulated CPU time: 13.85 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 197408 KiB

[startup+25.5004 s]
/proc/loadavg: 4.20 4.14 4.15 5/333 965297
/proc/meminfo: memFree=110711668/131524600 swapFree=130798872/131071996
[pid=965265] ppid=965262 vsize=19108176 memory=332988 CPUtime=26.73 cores=5,7
/proc/965265/stat : 965265 (java) S 965262 965265 960561 0 -1 1077936128 26327 0 0 0 2662 11 0 0 20 0 20 0 183400287 19566772224 83247 134679101440 94349355257856 94349355261552 140730686490608 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94349355269368 94349355270160 94349385326592 140730686497798 140730686497888 140730686497888 140730686504904 0
/proc/965265/statm: 4777044 83247 5879 1 0 553688 0
[pid=965265/tid=965267] ppid=965262 vsize=19108176 memory=6943526294502006880 CPUtime=25.17 cores=5,7
/proc/965265/task/965267/stat : 965267 (java) R 965262 965265 960561 0 -1 4194368 8579 0 0 0 2514 3 0 0 20 0 20 0 183400287 19566772224 83247 134679101440 94349355257856 94349355261552 140730686490608 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94349355269368 94349355270160 94349385326592 140730686497798 140730686497888 140730686497888 140730686504904 0
[pid=965265/tid=965277] ppid=965262 vsize=19108176 memory=7676 CPUtime=0 cores=5,7
/proc/965265/task/965277/stat : 965277 (Finalizer) S 965262 965265 960561 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183400290 19566772224 83247 134679101440 94349355257856 94349355261552 140730686490608 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94349355269368 94349355270160 94349385326592 140730686497798 140730686497888 140730686497888 140730686504904 0
[pid=965265/tid=965284] ppid=965262 vsize=19108176 memory=3474 CPUtime=0 cores=5,7
/proc/965265/task/965284/stat : 965284 (Common-Cleaner) S 965262 965265 960561 0 -1 1077936192 57 0 0 0 0 0 0 0 20 0 20 0 183400290 19566772224 83247 134679101440 94349355257856 94349355261552 140730686490608 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94349355269368 94349355270160 94349385326592 140730686497798 140730686497888 140730686497888 140730686504904 0
[pid=965265/tid=965285] ppid=965262 vsize=19108176 memory=4892 CPUtime=0 cores=5,7
/proc/965265/task/965285/stat : 965285 (Timer-0) S 965262 965265 960561 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183400303 19566772224 83247 134679101440 94349355257856 94349355261552 140730686490608 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94349355269368 94349355270160 94349385326592 140730686497798 140730686497888 140730686497888 140730686504904 0
Current children cumulated CPU time: 26.73 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 332988 KiB

[startup+51.1058 s]
/proc/loadavg: 4.47 4.21 4.17 5/333 965304
/proc/meminfo: memFree=110369432/131524600 swapFree=130798872/131071996
[pid=965265] ppid=965262 vsize=19108176 memory=554656 CPUtime=52.39 cores=5,7
/proc/965265/stat : 965265 (java) S 965262 965265 960561 0 -1 1077936128 30036 0 0 0 5222 17 0 0 20 0 20 0 183400287 19566772224 138664 134679101440 94349355257856 94349355261552 140730686490608 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94349355269368 94349355270160 94349385326592 140730686497798 140730686497888 140730686497888 140730686504904 0
/proc/965265/statm: 4777044 138664 5879 1 0 553688 0

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

/proc/965265/task/965277/stat : 965277 (Finalizer) S 965262 965265 960561 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183400290 19566772224 669448 134679101440 94349355257856 94349355261552 140730686490608 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94349355269368 94349355270160 94349385326592 140730686497798 140730686497888 140730686497888 140730686504904 0
[pid=965265/tid=965284] ppid=965262 vsize=19108176 memory=2677792 CPUtime=0 cores=5,7
/proc/965265/task/965284/stat : 965284 (Common-Cleaner) S 965262 965265 960561 0 -1 1077936192 4188 0 0 0 0 0 0 0 20 0 20 0 183400290 19566772224 669448 134679101440 94349355257856 94349355261552 140730686490608 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94349355269368 94349355270160 94349385326592 140730686497798 140730686497888 140730686497888 140730686504904 0
[pid=965265/tid=965285] ppid=965262 vsize=19108176 memory=7676 CPUtime=0 cores=5,7
/proc/965265/task/965285/stat : 965285 (Timer-0) S 965262 965265 960561 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183400303 19566772224 669448 134679101440 94349355257856 94349355261552 140730686490608 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94349355269368 94349355270160 94349385326592 140730686497798 140730686497888 140730686497888 140730686504904 0
Current children cumulated CPU time: 3222.67 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2677792 KiB

[startup+3282.3 s]
/proc/loadavg: 4.23 4.18 4.17 5/333 967285
/proc/meminfo: memFree=116930840/131524600 swapFree=130798872/131071996
[pid=965265] ppid=965262 vsize=19108176 memory=2677792 CPUtime=3282.68 cores=5,7
/proc/965265/stat : 965265 (java) S 965262 965265 960561 0 -1 1077936128 176507 0 0 0 328080 188 0 0 20 0 20 0 183400287 19566772224 669448 134679101440 94349355257856 94349355261552 140730686490608 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94349355269368 94349355270160 94349385326592 140730686497798 140730686497888 140730686497888 140730686504904 0
/proc/965265/statm: 4777044 669448 5895 1 0 687476 0
[pid=965265/tid=965267] ppid=965262 vsize=19108176 memory=2677792 CPUtime=3267.78 cores=5,7
/proc/965265/task/965267/stat : 965267 (java) R 965262 965265 960561 0 -1 4194368 74139 0 0 0 326758 20 0 0 20 0 20 0 183400287 19566772224 669448 134679101440 94349355257856 94349355261552 140730686490608 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94349355269368 94349355270160 94349385326592 140730686497798 140730686497888 140730686497888 140730686504904 0
[pid=965265/tid=965277] ppid=965262 vsize=19108176 memory=2677792 CPUtime=0 cores=5,7
/proc/965265/task/965277/stat : 965277 (Finalizer) S 965262 965265 960561 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183400290 19566772224 669448 134679101440 94349355257856 94349355261552 140730686490608 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94349355269368 94349355270160 94349385326592 140730686497798 140730686497888 140730686497888 140730686504904 0
[pid=965265/tid=965284] ppid=965262 vsize=19108176 memory=2677792 CPUtime=0 cores=5,7
/proc/965265/task/965284/stat : 965284 (Common-Cleaner) S 965262 965265 960561 0 -1 1077936192 4273 0 0 0 0 0 0 0 20 0 20 0 183400290 19566772224 669448 134679101440 94349355257856 94349355261552 140730686490608 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94349355269368 94349355270160 94349385326592 140730686497798 140730686497888 140730686497888 140730686504904 0
[pid=965265/tid=965285] ppid=965262 vsize=19108176 memory=27344 CPUtime=0 cores=5,7
/proc/965265/task/965285/stat : 965285 (Timer-0) S 965262 965265 960561 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183400303 19566772224 669448 134679101440 94349355257856 94349355261552 140730686490608 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94349355269368 94349355270160 94349385326592 140730686497798 140730686497888 140730686497888 140730686504904 0
Current children cumulated CPU time: 3282.68 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2677792 KiB

[startup+3342.3 s]
/proc/loadavg: 4.18 4.18 4.17 5/332 967296
/proc/meminfo: memFree=116925228/131524600 swapFree=130798872/131071996
[pid=965265] ppid=965262 vsize=19108176 memory=2677792 CPUtime=3342.58 cores=5,7
/proc/965265/stat : 965265 (java) S 965262 965265 960561 0 -1 1077936128 177645 0 0 0 334068 190 0 0 20 0 20 0 183400287 19566772224 669448 134679101440 94349355257856 94349355261552 140730686490608 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94349355269368 94349355270160 94349385326592 140730686497798 140730686497888 140730686497888 140730686504904 0
/proc/965265/statm: 4777044 669448 5895 1 0 687476 0
[pid=965265/tid=965267] ppid=965262 vsize=19108176 memory=2677792 CPUtime=3327.65 cores=5,7
/proc/965265/task/965267/stat : 965267 (java) R 965262 965265 960561 0 -1 4194368 75027 0 0 0 332745 20 0 0 20 0 20 0 183400287 19566772224 669448 134679101440 94349355257856 94349355261552 140730686490608 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94349355269368 94349355270160 94349385326592 140730686497798 140730686497888 140730686497888 140730686504904 0
[pid=965265/tid=965277] ppid=965262 vsize=19108176 memory=144 CPUtime=0 cores=5,7
/proc/965265/task/965277/stat : 965277 (Finalizer) S 965262 965265 960561 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183400290 19566772224 669448 134679101440 94349355257856 94349355261552 140730686490608 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94349355269368 94349355270160 94349385326592 140730686497798 140730686497888 140730686497888 140730686504904 0
[pid=965265/tid=965284] ppid=965262 vsize=19108176 memory=2677792 CPUtime=0 cores=5,7
/proc/965265/task/965284/stat : 965284 (Common-Cleaner) S 965262 965265 960561 0 -1 1077936192 4398 0 0 0 0 0 0 0 20 0 20 0 183400290 19566772224 669448 134679101440 94349355257856 94349355261552 140730686490608 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94349355269368 94349355270160 94349385326592 140730686497798 140730686497888 140730686497888 140730686504904 0
[pid=965265/tid=965285] ppid=965262 vsize=19108176 memory=2677792 CPUtime=0 cores=5,7
/proc/965265/task/965285/stat : 965285 (Timer-0) S 965262 965265 960561 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183400303 19566772224 669448 134679101440 94349355257856 94349355261552 140730686490608 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94349355269368 94349355270160 94349385326592 140730686497798 140730686497888 140730686497888 140730686504904 0
Current children cumulated CPU time: 3342.58 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2677792 KiB

[startup+3402.3 s]
/proc/loadavg: 4.13 4.16 4.16 5/332 967306
/proc/meminfo: memFree=116924676/131524600 swapFree=130798872/131071996
[pid=965265] ppid=965262 vsize=19108176 memory=2677792 CPUtime=3402.49 cores=5,7
/proc/965265/stat : 965265 (java) S 965262 965265 960561 0 -1 1077936128 179097 0 0 0 340057 192 0 0 20 0 20 0 183400287 19566772224 669448 134679101440 94349355257856 94349355261552 140730686490608 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94349355269368 94349355270160 94349385326592 140730686497798 140730686497888 140730686497888 140730686504904 0
/proc/965265/statm: 4777044 669448 5895 1 0 687476 0
[pid=965265/tid=965267] ppid=965262 vsize=19108176 memory=2240 CPUtime=3387.52 cores=5,7
/proc/965265/task/965267/stat : 965267 (java) R 965262 965265 960561 0 -1 4194368 76259 0 0 0 338732 20 0 0 20 0 20 0 183400287 19566772224 669448 134679101440 94349355257856 94349355261552 140730686490608 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94349355269368 94349355270160 94349385326592 140730686497798 140730686497888 140730686497888 140730686504904 0
[pid=965265/tid=965277] ppid=965262 vsize=19108176 memory=2677792 CPUtime=0 cores=5,7
/proc/965265/task/965277/stat : 965277 (Finalizer) S 965262 965265 960561 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183400290 19566772224 669448 134679101440 94349355257856 94349355261552 140730686490608 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94349355269368 94349355270160 94349385326592 140730686497798 140730686497888 140730686497888 140730686504904 0
[pid=965265/tid=965284] ppid=965262 vsize=19108176 memory=2677792 CPUtime=0 cores=5,7
/proc/965265/task/965284/stat : 965284 (Common-Cleaner) S 965262 965265 960561 0 -1 1077936192 4483 0 0 0 0 0 0 0 20 0 20 0 183400290 19566772224 669448 134679101440 94349355257856 94349355261552 140730686490608 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94349355269368 94349355270160 94349385326592 140730686497798 140730686497888 140730686497888 140730686504904 0
[pid=965265/tid=965285] ppid=965262 vsize=19108176 memory=-9031802371056116412 CPUtime=0 cores=5,7
/proc/965265/task/965285/stat : 965285 (Timer-0) S 965262 965265 960561 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183400303 19566772224 669448 134679101440 94349355257856 94349355261552 140730686490608 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94349355269368 94349355270160 94349385326592 140730686497798 140730686497888 140730686497888 140730686504904 0
Current children cumulated CPU time: 3402.49 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2677792 KiB

[startup+3462.3 s]
/proc/loadavg: 4.22 4.17 4.16 5/331 967317
/proc/meminfo: memFree=116923968/131524600 swapFree=130798872/131071996
[pid=965265] ppid=965262 vsize=19108176 memory=2677792 CPUtime=3462.37 cores=5,7
/proc/965265/stat : 965265 (java) S 965262 965265 960561 0 -1 1077936128 180325 0 0 0 346044 193 0 0 20 0 20 0 183400287 19566772224 669448 134679101440 94349355257856 94349355261552 140730686490608 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94349355269368 94349355270160 94349385326592 140730686497798 140730686497888 140730686497888 140730686504904 0
/proc/965265/statm: 4777044 669448 5895 1 0 687476 0
[pid=965265/tid=965267] ppid=965262 vsize=19108176 memory=2677792 CPUtime=3447.36 cores=5,7
/proc/965265/task/965267/stat : 965267 (java) R 965262 965265 960561 0 -1 4194368 77224 0 0 0 344716 20 0 0 20 0 20 0 183400287 19566772224 669448 134679101440 94349355257856 94349355261552 140730686490608 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94349355269368 94349355270160 94349385326592 140730686497798 140730686497888 140730686497888 140730686504904 0
[pid=965265/tid=965277] ppid=965262 vsize=19108176 memory=2240 CPUtime=0 cores=5,7
/proc/965265/task/965277/stat : 965277 (Finalizer) S 965262 965265 960561 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183400290 19566772224 669448 134679101440 94349355257856 94349355261552 140730686490608 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94349355269368 94349355270160 94349385326592 140730686497798 140730686497888 140730686497888 140730686504904 0
[pid=965265/tid=965284] ppid=965262 vsize=19108176 memory=2677792 CPUtime=0 cores=5,7
/proc/965265/task/965284/stat : 965284 (Common-Cleaner) S 965262 965265 960561 0 -1 1077936192 4605 0 0 0 0 0 0 0 20 0 20 0 183400290 19566772224 669448 134679101440 94349355257856 94349355261552 140730686490608 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94349355269368 94349355270160 94349385326592 140730686497798 140730686497888 140730686497888 140730686504904 0
[pid=965265/tid=965285] ppid=965262 vsize=19108176 memory=2677792 CPUtime=0 cores=5,7
/proc/965265/task/965285/stat : 965285 (Timer-0) S 965262 965265 960561 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183400303 19566772224 669448 134679101440 94349355257856 94349355261552 140730686490608 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94349355269368 94349355270160 94349385326592 140730686497798 140730686497888 140730686497888 140730686504904 0
Current children cumulated CPU time: 3462.37 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2677792 KiB

[startup+3522.3 s]
/proc/loadavg: 4.18 4.17 4.16 5/331 967327
/proc/meminfo: memFree=116904784/131524600 swapFree=130798872/131071996
[pid=965265] ppid=965262 vsize=19108176 memory=2694176 CPUtime=3522.39 cores=5,7
/proc/965265/stat : 965265 (java) S 965262 965265 960561 0 -1 1077936128 183436 0 0 0 352043 196 0 0 20 0 20 0 183400287 19566772224 673544 134679101440 94349355257856 94349355261552 140730686490608 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94349355269368 94349355270160 94349385326592 140730686497798 140730686497888 140730686497888 140730686504904 0
/proc/965265/statm: 4777044 673544 5895 1 0 687476 0
[pid=965265/tid=965267] ppid=965262 vsize=19108176 memory=2694176 CPUtime=3507.05 cores=5,7
/proc/965265/task/965267/stat : 965267 (java) R 965262 965265 960561 0 -1 4194368 78285 0 0 0 350685 20 0 0 20 0 20 0 183400287 19566772224 673544 134679101440 94349355257856 94349355261552 140730686490608 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94349355269368 94349355270160 94349385326592 140730686497798 140730686497888 140730686497888 140730686504904 0
[pid=965265/tid=965277] ppid=965262 vsize=19108176 memory=2694176 CPUtime=0 cores=5,7
/proc/965265/task/965277/stat : 965277 (Finalizer) S 965262 965265 960561 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183400290 19566772224 673544 134679101440 94349355257856 94349355261552 140730686490608 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94349355269368 94349355270160 94349385326592 140730686497798 140730686497888 140730686497888 140730686504904 0
[pid=965265/tid=965284] ppid=965262 vsize=19108176 memory=4892 CPUtime=0 cores=5,7
/proc/965265/task/965284/stat : 965284 (Common-Cleaner) S 965262 965265 960561 0 -1 1077936192 4688 0 0 0 0 0 0 0 20 0 20 0 183400290 19566772224 673544 134679101440 94349355257856 94349355261552 140730686490608 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94349355269368 94349355270160 94349385326592 140730686497798 140730686497888 140730686497888 140730686504904 0
[pid=965265/tid=965285] ppid=965262 vsize=19108176 memory=2694176 CPUtime=0 cores=5,7
/proc/965265/task/965285/stat : 965285 (Timer-0) S 965262 965265 960561 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183400303 19566772224 673544 134679101440 94349355257856 94349355261552 140730686490608 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94349355269368 94349355270160 94349385326592 140730686497798 140730686497888 140730686497888 140730686504904 0
Current children cumulated CPU time: 3522.39 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2694176 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.15 4.16 5/331 967337
/proc/meminfo: memFree=116891620/131524600 swapFree=130798872/131071996
[pid=965265] ppid=965262 vsize=19108176 memory=2694176 CPUtime=3582.31 cores=5,7
/proc/965265/stat : 965265 (java) S 965262 965265 960561 0 -1 1077936128 184496 0 0 0 358032 199 0 0 20 0 20 0 183400287 19566772224 673544 134679101440 94349355257856 94349355261552 140730686490608 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94349355269368 94349355270160 94349385326592 140730686497798 140730686497888 140730686497888 140730686504904 0
/proc/965265/statm: 4777044 673544 5895 1 0 687476 0
[pid=965265/tid=965267] ppid=965262 vsize=19108176 memory=2694176 CPUtime=3566.92 cores=5,7
/proc/965265/task/965267/stat : 965267 (java) R 965262 965265 960561 0 -1 4194368 79133 0 0 0 356672 20 0 0 20 0 20 0 183400287 19566772224 673544 134679101440 94349355257856 94349355261552 140730686490608 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94349355269368 94349355270160 94349385326592 140730686497798 140730686497888 140730686497888 140730686504904 0
[pid=965265/tid=965277] ppid=965262 vsize=19108176 memory=-9031802371056116412 CPUtime=0 cores=5,7
/proc/965265/task/965277/stat : 965277 (Finalizer) S 965262 965265 960561 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183400290 19566772224 673544 134679101440 94349355257856 94349355261552 140730686490608 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94349355269368 94349355270160 94349385326592 140730686497798 140730686497888 140730686497888 140730686504904 0
[pid=965265/tid=965284] ppid=965262 vsize=19108176 memory=27344 CPUtime=0 cores=5,7
/proc/965265/task/965284/stat : 965284 (Common-Cleaner) S 965262 965265 960561 0 -1 1077936192 4812 0 0 0 0 0 0 0 20 0 20 0 183400290 19566772224 673544 134679101440 94349355257856 94349355261552 140730686490608 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94349355269368 94349355270160 94349385326592 140730686497798 140730686497888 140730686497888 140730686504904 0
[pid=965265/tid=965285] ppid=965262 vsize=19108176 memory=2694176 CPUtime=0 cores=5,7
/proc/965265/task/965285/stat : 965285 (Timer-0) S 965262 965265 960561 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183400303 19566772224 673544 134679101440 94349355257856 94349355261552 140730686490608 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94349355269368 94349355270160 94349385326592 140730686497798 140730686497888 140730686497888 140730686504904 0
Current children cumulated CPU time: 3582.31 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2694176 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3600.11 s]
/proc/loadavg: 4.07 4.14 4.16 5/331 967338
/proc/meminfo: memFree=116891576/131524600 swapFree=130798872/131071996
[pid=965265] ppid=965262 vsize=19108176 memory=2694176 CPUtime=3600.08 cores=5,7
/proc/965265/stat : 965265 (java) S 965262 965265 960561 0 -1 1077936128 185022 0 0 0 359809 199 0 0 20 0 20 0 183400287 19566772224 673544 134679101440 94349355257856 94349355261552 140730686490608 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94349355269368 94349355270160 94349385326592 140730686497798 140730686497888 140730686497888 140730686504904 0
/proc/965265/statm: 4777044 673544 5895 1 0 687476 0
[pid=965265/tid=965267] ppid=965262 vsize=19108176 memory=16256 CPUtime=3584.68 cores=5,7
/proc/965265/task/965267/stat : 965267 (java) R 965262 965265 960561 0 -1 4194368 79543 0 0 0 358448 20 0 0 20 0 20 0 183400287 19566772224 673544 134679101440 94349355257856 94349355261552 140730686490608 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94349355269368 94349355270160 94349385326592 140730686497798 140730686497888 140730686497888 140730686504904 0
[pid=965265/tid=965277] ppid=965262 vsize=19108176 memory=2677792 CPUtime=0 cores=5,7
/proc/965265/task/965277/stat : 965277 (Finalizer) S 965262 965265 960561 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183400290 19566772224 673544 134679101440 94349355257856 94349355261552 140730686490608 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94349355269368 94349355270160 94349385326592 140730686497798 140730686497888 140730686497888 140730686504904 0
[pid=965265/tid=965284] ppid=965262 vsize=19108176 memory=2694176 CPUtime=0 cores=5,7
/proc/965265/task/965284/stat : 965284 (Common-Cleaner) S 965262 965265 960561 0 -1 1077936192 4812 0 0 0 0 0 0 0 20 0 20 0 183400290 19566772224 673544 134679101440 94349355257856 94349355261552 140730686490608 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94349355269368 94349355270160 94349385326592 140730686497798 140730686497888 140730686497888 140730686504904 0
[pid=965265/tid=965285] ppid=965262 vsize=19108176 memory=2694176 CPUtime=0 cores=5,7
/proc/965265/task/965285/stat : 965285 (Timer-0) S 965262 965265 960561 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183400303 19566772224 673544 134679101440 94349355257856 94349355261552 140730686490608 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94349355269368 94349355270160 94349385326592 140730686497798 140730686497888 140730686497888 140730686504904 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2694176 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.21 s, system=2.00939 s

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

[startup+3600.21 s]*
/proc/loadavg: 4.07 4.14 4.16 5/312 967341
/proc/meminfo: memFree=119568288/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): 3600.21
CPU time (s): 3600.22
CPU user time (s): 3598.21
CPU system time (s): 2.00939
CPU usage (%): 100
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 2694176

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.21
system time used= 2.00939
maximum resident set size= 2695876
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 188643
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2984
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 104999
involuntary context switches= 4138


# summary of solver processes directly reported to runsolver:
#   pid: 965265
#   total CPU time (s): 3600.22
#   total CPU user time (s): 3598.21
#   total CPU system time (s): 2.00939

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.17577 second user time and 17.4513 second system time

The end

Launcher Data 

Begin job on nodeC014 at 2024-07-18 16:20:24
IDJOB=4443224
IDBENCH=147867
IDSOLVER=3058
FILE ID=nodeC014/4443224-1721312411
RUNJOBID= nodeC014-1721305283-960574
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-army11.17ls.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4443224-1721312411/watcher-4443224-1721312411 -o /tmp/evaluation-result-4443224-1721312411/solver-4443224-1721312411 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721305283-960574 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4443224-1721312411.opb

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

MD5SUM BENCH= 577423e4c806b19b8b5f6a5daee1c614
RANDOM SEED=756947136

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		: 3600.197
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		: 3660.534
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		: 3609.323
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		: 3609.071
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		: 3609.285
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		: 3637.743
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		: 3599.655
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		: 3650.639
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:        111218392 kB
MemAvailable:   114285920 kB
Buffers:          437608 kB
Cached:          3433792 kB
SwapCached:        12904 kB
Active:          1340548 kB
Inactive:       18347940 kB
Active(anon):       9324 kB
Inactive(anon): 15828164 kB
Active(file):    1331224 kB
Inactive(file):  2519776 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       130798872 kB
Dirty:              3192 kB
Writeback:             4 kB
AnonPages:      15808232 kB
Mapped:            69544 kB
Shmem:             20400 kB
KReclaimable:     112348 kB
Slab:             210936 kB
SReclaimable:     112348 kB
SUnreclaim:        98588 kB
KernelStack:        4972 kB
PageTables:        41708 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:   21411208 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            35168 kB
HardwareCorrupted:     0 kB
AnonHugePages:  15503360 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= 890080 MiB
End job on nodeC014 at 2024-07-18 17:20:24