Trace number 4442984

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 3555.15

General information on the benchmark

NamePB24/normalized-PB06/DEC-LIN/submitted-PB06/
prestwich/robin/normalized-robin18.opb
MD5SUM524c0290a9c7ac599d8004695d4c7f99
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 benchmark3575.64
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables23409
Total number of constraints1386
Number of constraints which are clauses612
Number of constraints which are cardinality constraints (but not clauses)774
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint153
Maximum length of a constraint289
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 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 291
Number of bits of the biggest sum of numbers9
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.13/0.12	--- Begin Solver configuration ---
0.13/0.12	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.12	Learn all clauses as in MiniSAT
0.13/0.12	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.12	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.12	No reason simplification
0.13/0.12	Glucose 2.1 dynamic restart strategy
0.13/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.13/0.12	timeout=2147483s
0.13/0.12	DB Simplification allowed=false
0.13/0.12	Listener: none
0.13/0.12	--- End Solver configuration ---
0.13/0.12	c Pseudo Boolean Optimization by upper bound
0.13/0.12	c --- Begin Solver configuration ---
0.13/0.12	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.12	c Learn all clauses as in MiniSAT
0.13/0.12	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.12	c No reason simplification
0.13/0.12	c Glucose 2.1 dynamic restart strategy
0.13/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.13/0.12	c timeout=2147483s
0.13/0.12	c DB Simplification allowed=false
0.13/0.12	c Listener: none
0.13/0.12	c --- End Solver configuration ---
0.13/0.12	c solving HOME/instance-4442984-1721308852.opb
0.13/0.12	c reading problem ... 
0.13/0.12	c  no objective function found
0.71/0.49	c ... done. Wall clock time 0.368s.
0.71/0.50	c declared #vars     23409
0.71/0.50	c #constraints  1386
0.71/0.50	c constraints type 
0.71/0.50	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 774
0.71/0.50	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 612
0.71/0.50	c 1386 constraints processed.
2.63/1.50	c cleaning 2486 clauses out of 5001 with flag 19395/5001
3.60/2.45	c cleaning 4250 clauses out of 8515 with flag 40408/11001
5.16/3.76	c cleaning 5613 clauses out of 11267 with flag 65734/18003
6.74/5.17	c cleaning 6805 clauses out of 13651 with flag 95778/26000
8.42/6.76	c cleaning 7886 clauses out of 15846 with flag 129512/35000
10.62/8.82	c cleaning 8966 clauses out of 17962 with flag 166327/45002
13.14/11.21	c cleaning 9987 clauses out of 19994 with flag 205070/56000
15.83/13.82	c cleaning 10994 clauses out of 22008 with flag 249876/68001
18.78/16.65	c cleaning 11996 clauses out of 24013 with flag 299524/81000
21.83/19.59	c cleaning 12982 clauses out of 26018 with flag 354299/95001
25.09/22.68	c cleaning 13990 clauses out of 28036 with flag 412933/110001
28.82/26.25	c cleaning 15017 clauses out of 30047 with flag 475802/126002
32.71/29.97	c cleaning 15992 clauses out of 32028 with flag 546155/143000
37.00/34.05	c cleaning 16981 clauses out of 34037 with flag 618875/161001
41.72/38.64	c cleaning 17990 clauses out of 36056 with flag 695038/180001
47.10/43.75	c cleaning 19022 clauses out of 38065 with flag 775359/200000
52.81/48.95	c cleaning 19992 clauses out of 40043 with flag 860790/221000
58.54/54.54	c cleaning 21006 clauses out of 42051 with flag 952553/243000
65.14/60.81	c cleaning 21986 clauses out of 44045 with flag 1047940/266000
71.94/67.52	c cleaning 22977 clauses out of 46060 with flag 1145957/290001
79.54/74.86	c cleaning 24020 clauses out of 48083 with flag 1251120/315001
87.05/82.23	c cleaning 24999 clauses out of 50064 with flag 1361167/341002
95.61/90.51	c cleaning 26009 clauses out of 52064 with flag 1477218/368001
103.94/98.46	c cleaning 27000 clauses out of 54056 with flag 1597176/396002
113.40/107.63	c cleaning 27990 clauses out of 56055 with flag 1720586/425001
123.47/117.42	c cleaning 29013 clauses out of 58064 with flag 1849291/455000
133.85/127.59	c cleaning 30014 clauses out of 60051 with flag 1984387/486000
143.54/137.14	c cleaning 31000 clauses out of 62037 with flag 2124633/518000
154.21/147.64	c cleaning 31993 clauses out of 64038 with flag 2269148/551001
165.19/158.15	c cleaning 32975 clauses out of 66044 with flag 2421320/585000
177.07/169.74	c cleaning 34002 clauses out of 68069 with flag 2579950/620000
190.44/182.83	c cleaning 35018 clauses out of 70068 with flag 2739819/656001
204.06/196.29	c cleaning 36006 clauses out of 72054 with flag 2907220/693005
217.43/209.42	c cleaning 36986 clauses out of 74043 with flag 3080206/731000
232.23/224.04	c cleaning 38005 clauses out of 76058 with flag 3257448/770001
246.61/238.22	c cleaning 38998 clauses out of 78052 with flag 3440332/810000
262.28/253.42	c cleaning 40028 clauses out of 80056 with flag 3629439/851002
277.82/268.65	c cleaning 40991 clauses out of 82027 with flag 3823892/893001
295.17/285.13	c cleaning 41992 clauses out of 84035 with flag 4022103/936000
313.15/302.84	c cleaning 42989 clauses out of 86043 with flag 4226549/980000
331.02/320.49	c cleaning 43997 clauses out of 88055 with flag 4435930/1025001
349.50/338.60	c cleaning 45018 clauses out of 90059 with flag 4656413/1071002
370.04/358.88	c cleaning 45977 clauses out of 92039 with flag 4881277/1118000
390.62/379.02	c cleaning 47008 clauses out of 94064 with flag 5107903/1166002
412.68/400.84	c cleaning 48000 clauses out of 96054 with flag 5344829/1215000
435.27/422.83	c cleaning 48998 clauses out of 98054 with flag 5583757/1265000
458.59/445.88	c cleaning 49986 clauses out of 100056 with flag 5831525/1316000
482.01/468.90	c cleaning 51017 clauses out of 102070 with flag 6085073/1368000
508.07/493.94	c cleaning 51994 clauses out of 104053 with flag 6349205/1421000
533.96/519.24	c cleaning 52998 clauses out of 106060 with flag 6616894/1475001
560.28/545.33	c cleaning 54000 clauses out of 108061 with flag 6884041/1530000
588.37/572.90	c cleaning 55009 clauses out of 110061 with flag 7164319/1586000
614.92/599.32	c cleaning 55983 clauses out of 112053 with flag 7448700/1643001
644.11/628.15	c cleaning 57001 clauses out of 114070 with flag 7737340/1701001
674.56/658.23	c cleaning 57987 clauses out of 116068 with flag 8031216/1760000
704.56/688.20	c cleaning 58997 clauses out of 118081 with flag 8334567/1820000
736.07/719.37	c cleaning 60009 clauses out of 120084 with flag 8640176/1881000
767.33/750.27	c cleaning 61019 clauses out of 122076 with flag 8952370/1943001
801.64/784.24	c cleaning 62001 clauses out of 124056 with flag 9274998/2006000
836.04/818.02	c cleaning 63006 clauses out of 126056 with flag 9599118/2070001
871.15/853.04	c cleaning 64000 clauses out of 128049 with flag 9934177/2135000
905.94/887.60	c cleaning 64974 clauses out of 130050 with flag 10279136/2201001
943.04/924.51	c cleaning 66003 clauses out of 132076 with flag 10626113/2268001
981.21/961.82	c cleaning 66990 clauses out of 134074 with flag 10976712/2336002
1019.70/1000.22	c cleaning 68022 clauses out of 136085 with flag 11335109/2405003
1059.37/1039.96	c cleaning 68991 clauses out of 138060 with flag 11696074/2475000
1099.07/1079.24	c cleaning 70014 clauses out of 140069 with flag 12067959/2546000
1138.83/1118.93	c cleaning 70998 clauses out of 142055 with flag 12446743/2618000
1179.08/1158.78	c cleaning 72000 clauses out of 144058 with flag 12836259/2691001
1221.99/1201.55	c cleaning 72997 clauses out of 146057 with flag 13231043/2765000
1265.78/1245.47	c cleaning 74004 clauses out of 148063 with flag 13628222/2840003
1312.11/1291.42	c cleaning 74972 clauses out of 150056 with flag 14035923/2916000
1357.90/1337.00	c cleaning 76005 clauses out of 152086 with flag 14449465/2993002
1406.24/1384.91	c cleaning 77021 clauses out of 154080 with flag 14867851/3071001
1454.92/1433.70	c cleaning 77993 clauses out of 156058 with flag 15291045/3150000
1504.45/1483.00	c cleaning 78991 clauses out of 158065 with flag 15723054/3230000
1556.26/1534.07	c cleaning 79969 clauses out of 160074 with flag 16163391/3311000
1609.81/1587.46	c cleaning 81022 clauses out of 162105 with flag 16607332/3393000
1664.19/1641.35	c cleaning 81989 clauses out of 164083 with flag 17058538/3476000
1720.01/1697.03	c cleaning 82994 clauses out of 166094 with flag 17520380/3560000
1776.36/1752.95	c cleaning 84006 clauses out of 168100 with flag 17986057/3645000
1835.03/1810.00	c cleaning 85020 clauses out of 170094 with flag 18459349/3731000
1894.49/1869.28	c cleaning 85980 clauses out of 172075 with flag 18944182/3818001
1956.14/1930.15	c cleaning 87013 clauses out of 174094 with flag 19432120/3906000
2019.13/1992.25	c cleaning 88013 clauses out of 176081 with flag 19930558/3995000
2081.95/2054.71	c cleaning 88987 clauses out of 178068 with flag 20436069/4085000
2146.03/2118.06	c cleaning 90017 clauses out of 180081 with flag 20948500/4176000
2211.21/2182.47	c cleaning 90967 clauses out of 182064 with flag 21466528/4268000
2277.85/2248.20	c cleaning 92020 clauses out of 184097 with flag 21994577/4361000
2345.94/2316.02	c cleaning 93006 clauses out of 186077 with flag 22528296/4455000
2415.66/2385.03	c cleaning 94003 clauses out of 188071 with flag 23071872/4550000
2485.54/2454.50	c cleaning 95017 clauses out of 190068 with flag 23616759/4646000
2558.29/2526.53	c cleaning 95980 clauses out of 192051 with flag 24168589/4743000
2635.08/2601.71	c cleaning 97004 clauses out of 194071 with flag 24733260/4841000
2710.28/2675.99	c cleaning 97988 clauses out of 196067 with flag 25301518/4940000
2787.55/2752.13	c cleaning 99005 clauses out of 198079 with flag 25878758/5040000
2866.30/2829.79	c cleaning 99976 clauses out of 200074 with flag 26467923/5141000
2946.26/2908.59	c cleaning 101017 clauses out of 202099 with flag 27057506/5243001
3025.81/2987.37	c cleaning 102004 clauses out of 204081 with flag 27652007/5346000
3109.94/3070.52	c cleaning 103007 clauses out of 206077 with flag 28264574/5450000
3193.52/3153.46	c cleaning 104009 clauses out of 208071 with flag 28876390/5555001
3281.23/3240.23	c cleaning 105000 clauses out of 210061 with flag 29499774/5661000
3371.21/3328.38	c cleaning 106002 clauses out of 212061 with flag 30128414/5768000
3459.78/3416.17	c cleaning 106996 clauses out of 214059 with flag 30764557/5876000
3550.12/3505.56	c cleaning 108008 clauses out of 216064 with flag 31414527/5985001
3600.02/3555.01	c starts		: 35791
3600.02/3555.03	c conflicts		: 6050590
3600.02/3555.03	c decisions		: 203935835
3600.02/3555.03	c propagations		: 2073047578
3600.02/3555.03	c inspects		: 17078936536
3600.02/3555.03	c shortcuts		: 0
3600.02/3555.03	c learnt literals	: 0
3600.02/3555.03	c learnt binary clauses	: 0
3600.02/3555.03	c learnt ternary clauses	: 0
3600.02/3555.03	c learnt constraints	: 6050590
3600.02/3555.03	c ignored constraints	: 0
3600.02/3555.03	c root simplifications	: 0
3600.02/3555.03	c removed literals (reason simplification)	: 0
3600.02/3555.03	c reason swapping (by a shorter reason)	: 0
3600.02/3555.03	c Calls to reduceDB	: 105
3600.02/3555.03	c Number of update (reduction) of LBD	: 1875176
3600.02/3555.03	c timeout
3600.02/3555.03	c Imported unit clauses	: 0
3600.02/3555.03	c No decision after first conflict	: false
3600.02/3555.03	c number of reductions to clauses (during analyze)	: 0
3600.02/3555.03	c number of learned constraints concerned by reduction	: 0
3600.02/3555.03	c number of learning phase by resolution	: 0
3600.02/3555.03	c number of learning phase by cutting planes	: 0
3600.02/3555.03	c number of rounding to 1 operations	: 0
3600.02/3555.03	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.02/3555.03	c number of reductions of the coefficients by power 2 	: 0
3600.02/3555.03	c number of right shift for reduction by power 2 	: 0
3600.02/3555.03	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.02/3555.03	c number of ending skipping 	: 0
3600.02/3555.03	c number of internal skipping 	: 0
3600.02/3555.03	c number of derivation steps 	: 0
3600.02/3555.03	c number of skipped derivation steps 	: 0
3600.02/3555.03	c number of remaining unassigned 	: 0
3600.02/3555.03	c number of remaining assigned 	: 0
3600.02/3555.03	c number of falsified literals weakened from reason	: 0
3600.02/3555.03	c number of falsified literals weakened from conflict	: 0
3600.02/3555.03	c time for arithmetic operations	: 0
3600.02/3555.04	c minimum degree of deleted constraints	: null
3600.02/3555.04	c maximum degree of deleted constraints	: null
3600.02/3555.04	c number of deleted constraints	: 0
3600.02/3555.04	c speed (assignments/second)	: 583212.5236177364
3600.02/3555.04	c non guided choices	: 90292
3600.02/3555.09	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 173645
3600.02/3555.09	s UNKNOWN
3600.02/3555.09	c Total wall clock time (in seconds): 3554.97

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

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

solver pid=962880, runsolver pid=962877

[startup+0.100523 s]*
/proc/loadavg: 4.19 4.21 4.18 5/331 962898
/proc/meminfo: memFree=114049292/131524600 swapFree=130798616/131071996
[pid=962880] ppid=962877 vsize=18975048 memory=62956 CPUtime=0.13 cores=0,2
/proc/962880/stat : 962880 (java) S 962877 962880 960561 0 -1 1077936128 7201 0 0 0 11 2 0 0 20 0 18 0 183044345 19430449152 15739 134679101440 94008100511744 94008100515440 140729913289184 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94008100523256 94008100524048 94008100974592 140729913291782 140729913291872 140729913291872 140729913298888 0
/proc/962880/statm: 4743762 15739 5637 1 0 549318 0
[pid=962880/tid=962882] ppid=962877 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=0,2
/proc/962880/task/962882/stat : 962882 (java) R 962877 962880 960561 0 -1 1078198336 5736 0 0 0 7 1 0 0 20 0 18 0 183044346 19430449152 15739 134679101440 94008100511744 94008100515440 140729913289184 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94008100523256 94008100524048 94008100974592 140729913291782 140729913291872 140729913291872 140729913298888 0
[pid=962880/tid=962891] ppid=962877 vsize=18975048 memory=237146210664 CPUtime=0 cores=0,2
/proc/962880/task/962891/stat : 962891 (Finalizer) S 962877 962880 960561 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 183044348 19430449152 15739 134679101440 94008100511744 94008100515440 140729913289184 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94008100523256 94008100524048 94008100974592 140729913291782 140729913291872 140729913291872 140729913298888 0
[pid=962880/tid=962898] ppid=962877 vsize=18975048 memory=14134446136991189 CPUtime=0 cores=0,2
/proc/962880/task/962898/stat : 962898 (Common-Cleaner) S 962877 962880 960561 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 183044349 19430449152 15739 134679101440 94008100511744 94008100515440 140729913289184 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94008100523256 94008100524048 94008100974592 140729913291782 140729913291872 140729913291872 140729913298888 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 62956 KiB

[startup+0.205764 s]*
/proc/loadavg: 4.19 4.21 4.18 7/331 962898
/proc/meminfo: memFree=114015916/131524600 swapFree=130798616/131071996
[pid=962880] ppid=962877 vsize=18975048 memory=93996 CPUtime=0.33 cores=0,2
/proc/962880/stat : 962880 (java) S 962877 962880 960561 0 -1 1077936128 8631 0 0 0 30 3 0 0 20 0 18 0 183044345 19430449152 23499 134679101440 94008100511744 94008100515440 140729913289184 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94008100523256 94008100524048 94008100974592 140729913291782 140729913291872 140729913291872 140729913298888 0
/proc/962880/statm: 4743762 23499 5852 1 0 550213 0
[pid=962880/tid=962882] ppid=962877 vsize=18975048 memory=4782652875487838339 CPUtime=0.18 cores=0,2
/proc/962880/task/962882/stat : 962882 (java) R 962877 962880 960561 0 -1 4194368 5901 0 0 0 16 2 0 0 20 0 18 0 183044346 19430449152 23499 134679101440 94008100511744 94008100515440 140729913289184 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94008100523256 94008100524048 94008100974592 140729913291782 140729913291872 140729913291872 140729913298888 0
[pid=962880/tid=962891] ppid=962877 vsize=18975048 memory=1285800 CPUtime=0 cores=0,2
/proc/962880/task/962891/stat : 962891 (Finalizer) S 962877 962880 960561 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 183044348 19430449152 23499 134679101440 94008100511744 94008100515440 140729913289184 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94008100523256 94008100524048 94008100974592 140729913291782 140729913291872 140729913291872 140729913298888 0
[pid=962880/tid=962898] ppid=962877 vsize=18975048 memory=13571496182286042 CPUtime=0 cores=0,2
/proc/962880/task/962898/stat : 962898 (Common-Cleaner) S 962877 962880 960561 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 183044349 19430449152 23499 134679101440 94008100511744 94008100515440 140729913289184 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94008100523256 94008100524048 94008100974592 140729913291782 140729913291872 140729913291872 140729913298888 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 93996 KiB

[startup+0.310369 s]*
/proc/loadavg: 4.19 4.21 4.18 5/332 962899
/proc/meminfo: memFree=113938024/131524600 swapFree=130798616/131071996
[pid=962880] ppid=962877 vsize=19041612 memory=168104 CPUtime=0.51 cores=0,2
/proc/962880/stat : 962880 (java) S 962877 962880 960561 0 -1 1077936128 9237 0 0 0 47 4 0 0 20 0 19 0 183044345 19498610688 42026 134679101440 94008100511744 94008100515440 140729913289184 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94008100523256 94008100524048 94008100974592 140729913291782 140729913291872 140729913291872 140729913298888 0
/proc/962880/statm: 4760403 42026 5868 1 0 550837 0
[pid=962880/tid=962882] ppid=962877 vsize=19041612 memory=-8671226341704901308 CPUtime=0.26 cores=0,2
/proc/962880/task/962882/stat : 962882 (java) S 962877 962880 960561 0 -1 1077936192 5935 0 0 0 23 3 0 0 20 0 19 0 183044346 19498610688 42026 134679101440 94008100511744 94008100515440 140729913289184 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94008100523256 94008100524048 94008100974592 140729913291782 140729913291872 140729913291872 140729913298888 0
[pid=962880/tid=962891] ppid=962877 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/962880/task/962891/stat : 962891 (Finalizer) S 962877 962880 960561 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 183044348 19498610688 42026 134679101440 94008100511744 94008100515440 140729913289184 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94008100523256 94008100524048 94008100974592 140729913291782 140729913291872 140729913291872 140729913298888 0
[pid=962880/tid=962898] ppid=962877 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/962880/task/962898/stat : 962898 (Common-Cleaner) S 962877 962880 960561 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 183044349 19498610688 42026 134679101440 94008100511744 94008100515440 140729913289184 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94008100523256 94008100524048 94008100974592 140729913291782 140729913291872 140729913291872 140729913298888 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 168104 KiB

[startup+0.706766 s]
/proc/loadavg: 4.19 4.21 4.18 8/333 962900
/proc/meminfo: memFree=113935444/131524600 swapFree=130798616/131071996
[pid=962880] ppid=962877 vsize=19108176 memory=172380 CPUtime=1.25 cores=0,2
/proc/962880/stat : 962880 (java) S 962877 962880 960561 0 -1 1077936128 10601 0 0 0 120 5 0 0 20 0 20 0 183044345 19566772224 43095 134679101440 94008100511744 94008100515440 140729913289184 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94008100523256 94008100524048 94008100974592 140729913291782 140729913291872 140729913291872 140729913298888 0
/proc/962880/statm: 4777044 43095 5915 1 0 552008 0
[pid=962880/tid=962882] ppid=962877 vsize=19108176 memory=736 CPUtime=0.59 cores=0,2
/proc/962880/task/962882/stat : 962882 (java) R 962877 962880 960561 0 -1 4194368 5971 0 0 0 56 3 0 0 20 0 20 0 183044346 19566772224 43095 134679101440 94008100511744 94008100515440 140729913289184 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94008100523256 94008100524048 94008100974592 140729913291782 140729913291872 140729913291872 140729913298888 0
[pid=962880/tid=962891] ppid=962877 vsize=19108176 memory=4892 CPUtime=0 cores=0,2
/proc/962880/task/962891/stat : 962891 (Finalizer) S 962877 962880 960561 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183044348 19566772224 43095 134679101440 94008100511744 94008100515440 140729913289184 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94008100523256 94008100524048 94008100974592 140729913291782 140729913291872 140729913291872 140729913298888 0
[pid=962880/tid=962898] ppid=962877 vsize=19108176 memory=280197492695720 CPUtime=0 cores=0,2
/proc/962880/task/962898/stat : 962898 (Common-Cleaner) S 962877 962880 960561 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 183044349 19566772224 43095 134679101440 94008100511744 94008100515440 140729913289184 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94008100523256 94008100524048 94008100974592 140729913291782 140729913291872 140729913291872 140729913298888 0
[pid=962880/tid=962900] ppid=962877 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/962880/task/962900/stat : 962900 (Timer-0) S 962877 962880 960561 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183044396 19566772224 43095 134679101440 94008100511744 94008100515440 140729913289184 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94008100523256 94008100524048 94008100974592 140729913291782 140729913291872 140729913291872 140729913298888 0
Current children cumulated CPU time: 1.25 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 172380 KiB

[startup+1.50077 s]
/proc/loadavg: 4.19 4.21 4.18 6/333 962900
/proc/meminfo: memFree=113919264/131524600 swapFree=130798616/131071996
[pid=962880] ppid=962877 vsize=19108176 memory=176980 CPUtime=2.63 cores=0,2
/proc/962880/stat : 962880 (java) S 962877 962880 960561 0 -1 1077936128 15852 0 0 0 258 5 0 0 20 0 20 0 183044345 19566772224 44245 134679101440 94008100511744 94008100515440 140729913289184 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94008100523256 94008100524048 94008100974592 140729913291782 140729913291872 140729913291872 140729913298888 0
/proc/962880/statm: 4777044 44245 5915 1 0 552982 0
[pid=962880/tid=962882] ppid=962877 vsize=19108176 memory=4892 CPUtime=1.38 cores=0,2
/proc/962880/task/962882/stat : 962882 (java) R 962877 962880 960561 0 -1 4194368 7007 0 0 0 135 3 0 0 20 0 20 0 183044346 19566772224 44245 134679101440 94008100511744 94008100515440 140729913289184 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94008100523256 94008100524048 94008100974592 140729913291782 140729913291872 140729913291872 140729913298888 0
[pid=962880/tid=962891] ppid=962877 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/962880/task/962891/stat : 962891 (Finalizer) S 962877 962880 960561 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183044348 19566772224 44245 134679101440 94008100511744 94008100515440 140729913289184 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94008100523256 94008100524048 94008100974592 140729913291782 140729913291872 140729913291872 140729913298888 0
[pid=962880/tid=962898] ppid=962877 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/962880/task/962898/stat : 962898 (Common-Cleaner) S 962877 962880 960561 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 183044349 19566772224 44245 134679101440 94008100511744 94008100515440 140729913289184 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94008100523256 94008100524048 94008100974592 140729913291782 140729913291872 140729913291872 140729913298888 0
[pid=962880/tid=962900] ppid=962877 vsize=19108176 memory=280197492548880 CPUtime=0 cores=0,2
/proc/962880/task/962900/stat : 962900 (Timer-0) S 962877 962880 960561 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183044396 19566772224 44245 134679101440 94008100511744 94008100515440 140729913289184 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94008100523256 94008100524048 94008100974592 140729913291782 140729913291872 140729913291872 140729913298888 0
Current children cumulated CPU time: 2.63 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 176980 KiB

[startup+3.1056 s]
/proc/loadavg: 4.26 4.22 4.19 6/333 962900
/proc/meminfo: memFree=113709068/131524600 swapFree=130798616/131071996
[pid=962880] ppid=962877 vsize=19108176 memory=301328 CPUtime=4.56 cores=0,2
/proc/962880/stat : 962880 (java) S 962877 962880 960561 0 -1 1077936128 18489 0 0 0 447 9 0 0 20 0 20 0 183044345 19566772224 75332 134679101440 94008100511744 94008100515440 140729913289184 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94008100523256 94008100524048 94008100974592 140729913291782 140729913291872 140729913291872 140729913298888 0
/proc/962880/statm: 4777044 75332 5947 1 0 857945 0
[pid=962880/tid=962882] ppid=962877 vsize=19108176 memory=0 CPUtime=2.83 cores=0,2
/proc/962880/task/962882/stat : 962882 (java) R 962877 962880 960561 0 -1 4194368 7389 0 0 0 280 3 0 0 20 0 20 0 183044346 19566772224 75332 134679101440 94008100511744 94008100515440 140729913289184 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94008100523256 94008100524048 94008100974592 140729913291782 140729913291872 140729913291872 140729913298888 0
[pid=962880/tid=962891] ppid=962877 vsize=19108176 memory=4892 CPUtime=0 cores=0,2
/proc/962880/task/962891/stat : 962891 (Finalizer) S 962877 962880 960561 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183044348 19566772224 75332 134679101440 94008100511744 94008100515440 140729913289184 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94008100523256 94008100524048 94008100974592 140729913291782 140729913291872 140729913291872 140729913298888 0
[pid=962880/tid=962898] ppid=962877 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/962880/task/962898/stat : 962898 (Common-Cleaner) S 962877 962880 960561 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 20 0 183044349 19566772224 75332 134679101440 94008100511744 94008100515440 140729913289184 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94008100523256 94008100524048 94008100974592 140729913291782 140729913291872 140729913291872 140729913298888 0
[pid=962880/tid=962900] ppid=962877 vsize=19108176 memory=7676 CPUtime=0 cores=0,2
/proc/962880/task/962900/stat : 962900 (Timer-0) S 962877 962880 960561 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183044396 19566772224 75332 134679101440 94008100511744 94008100515440 140729913289184 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94008100523256 94008100524048 94008100974592 140729913291782 140729913291872 140729913291872 140729913298888 0
Current children cumulated CPU time: 4.56 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 301328 KiB

[startup+6.30026 s]
/proc/loadavg: 4.26 4.22 4.19 5/333 962900
/proc/meminfo: memFree=113222296/131524600 swapFree=130798616/131071996
[pid=962880] ppid=962877 vsize=19108176 memory=589536 CPUtime=8.03 cores=0,2
/proc/962880/stat : 962880 (java) S 962877 962880 960561 0 -1 1077936128 19794 0 0 0 789 14 0 0 20 0 20 0 183044345 19566772224 147384 134679101440 94008100511744 94008100515440 140729913289184 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94008100523256 94008100524048 94008100974592 140729913291782 140729913291872 140729913291872 140729913298888 0
/proc/962880/statm: 4777044 147384 5947 1 0 858265 0
[pid=962880/tid=962882] ppid=962877 vsize=19108176 memory=4892 CPUtime=5.9 cores=0,2
/proc/962880/task/962882/stat : 962882 (java) R 962877 962880 960561 0 -1 4194368 7589 0 0 0 584 6 0 0 20 0 20 0 183044346 19566772224 147384 134679101440 94008100511744 94008100515440 140729913289184 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94008100523256 94008100524048 94008100974592 140729913291782 140729913291872 140729913291872 140729913298888 0
[pid=962880/tid=962891] ppid=962877 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/962880/task/962891/stat : 962891 (Finalizer) S 962877 962880 960561 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183044348 19566772224 147384 134679101440 94008100511744 94008100515440 140729913289184 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94008100523256 94008100524048 94008100974592 140729913291782 140729913291872 140729913291872 140729913298888 0
[pid=962880/tid=962898] ppid=962877 vsize=19108176 memory=-6163001859702092992 CPUtime=0 cores=0,2
/proc/962880/task/962898/stat : 962898 (Common-Cleaner) S 962877 962880 960561 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 20 0 183044349 19566772224 147384 134679101440 94008100511744 94008100515440 140729913289184 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94008100523256 94008100524048 94008100974592 140729913291782 140729913291872 140729913291872 140729913298888 0
[pid=962880/tid=962900] ppid=962877 vsize=19108176 memory=176980 CPUtime=0 cores=0,2
/proc/962880/task/962900/stat : 962900 (Timer-0) S 962877 962880 960561 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183044396 19566772224 147384 134679101440 94008100511744 94008100515440 140729913289184 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94008100523256 94008100524048 94008100974592 140729913291782 140729913291872 140729913291872 140729913298888 0
Current children cumulated CPU time: 8.03 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 589536 KiB

[startup+12.7003 s]
/proc/loadavg: 4.24 4.22 4.18 5/333 962901
/proc/meminfo: memFree=112534144/131524600 swapFree=130798616/131071996
[pid=962880] ppid=962877 vsize=19108176 memory=1044928 CPUtime=14.73 cores=0,2
/proc/962880/stat : 962880 (java) S 962877 962880 960561 0 -1 1077936128 20819 0 0 0 1450 23 0 0 20 0 20 0 183044345 19566772224 261232 134679101440 94008100511744 94008100515440 140729913289184 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94008100523256 94008100524048 94008100974592 140729913291782 140729913291872 140729913291872 140729913298888 0
/proc/962880/statm: 4777044 261232 5947 1 0 1142347 0
[pid=962880/tid=962882] ppid=962877 vsize=19108176 memory=0 CPUtime=11.9 cores=0,2
/proc/962880/task/962882/stat : 962882 (java) R 962877 962880 960561 0 -1 4194368 7686 0 0 0 1182 8 0 0 20 0 20 0 183044346 19566772224 261232 134679101440 94008100511744 94008100515440 140729913289184 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94008100523256 94008100524048 94008100974592 140729913291782 140729913291872 140729913291872 140729913298888 0
[pid=962880/tid=962891] ppid=962877 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/962880/task/962891/stat : 962891 (Finalizer) S 962877 962880 960561 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183044348 19566772224 261232 134679101440 94008100511744 94008100515440 140729913289184 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94008100523256 94008100524048 94008100974592 140729913291782 140729913291872 140729913291872 140729913298888 0
[pid=962880/tid=962898] ppid=962877 vsize=19108176 memory=971200 CPUtime=0 cores=0,2
/proc/962880/task/962898/stat : 962898 (Common-Cleaner) S 962877 962880 960561 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 20 0 183044349 19566772224 261232 134679101440 94008100511744 94008100515440 140729913289184 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94008100523256 94008100524048 94008100974592 140729913291782 140729913291872 140729913291872 140729913298888 0
[pid=962880/tid=962900] ppid=962877 vsize=19108176 memory=4892 CPUtime=0 cores=0,2
/proc/962880/task/962900/stat : 962900 (Timer-0) S 962877 962880 960561 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183044396 19566772224 261232 134679101440 94008100511744 94008100515440 140729913289184 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94008100523256 94008100524048 94008100974592 140729913291782 140729913291872 140729913291872 140729913298888 0
Current children cumulated CPU time: 14.73 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1044928 KiB

[startup+25.5003 s]
/proc/loadavg: 4.27 4.22 4.19 5/333 962903
/proc/meminfo: memFree=110906848/131524600 swapFree=130798616/131071996
[pid=962880] ppid=962877 vsize=19108176 memory=1980276 CPUtime=28.13 cores=0,2
/proc/962880/stat : 962880 (java) S 962877 962880 960561 0 -1 1077936128 25055 0 0 0 2769 44 0 0 20 0 20 0 183044345 19566772224 495069 134679101440 94008100511744 94008100515440 140729913289184 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94008100523256 94008100524048 94008100974592 140729913291782 140729913291872 140729913291872 140729913298888 0
/proc/962880/statm: 4777044 495069 5952 1 0 1261415 0
[pid=962880/tid=962882] ppid=962877 vsize=19108176 memory=971200 CPUtime=23.99 cores=0,2
/proc/962880/task/962882/stat : 962882 (java) R 962877 962880 960561 0 -1 4194368 9052 0 0 0 2386 13 0 0 20 0 20 0 183044346 19566772224 495069 134679101440 94008100511744 94008100515440 140729913289184 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94008100523256 94008100524048 94008100974592 140729913291782 140729913291872 140729913291872 140729913298888 0
[pid=962880/tid=962891] ppid=962877 vsize=19108176 memory=-8671226341704901308 CPUtime=0 cores=0,2
/proc/962880/task/962891/stat : 962891 (Finalizer) S 962877 962880 960561 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183044348 19566772224 495069 134679101440 94008100511744 94008100515440 140729913289184 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94008100523256 94008100524048 94008100974592 140729913291782 140729913291872 140729913291872 140729913298888 0
[pid=962880/tid=962898] ppid=962877 vsize=19108176 memory=27344 CPUtime=0 cores=0,2
/proc/962880/task/962898/stat : 962898 (Common-Cleaner) S 962877 962880 960561 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 20 0 183044349 19566772224 495069 134679101440 94008100511744 94008100515440 140729913289184 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94008100523256 94008100524048 94008100974592 140729913291782 140729913291872 140729913291872 140729913298888 0
[pid=962880/tid=962900] ppid=962877 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/962880/task/962900/stat : 962900 (Timer-0) S 962877 962880 960561 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183044396 19566772224 495069 134679101440 94008100511744 94008100515440 140729913289184 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94008100523256 94008100524048 94008100974592 140729913291782 140729913291872 140729913291872 140729913298888 0
Current children cumulated CPU time: 28.13 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1980276 KiB

[startup+51.1058 s]
/proc/loadavg: 4.23 4.22 4.18 5/333 962907
/proc/meminfo: memFree=108522420/131524600 swapFree=130798616/131071996
[pid=962880] ppid=962877 vsize=19108176 memory=3221772 CPUtime=55.05 cores=0,2
/proc/962880/stat : 962880 (java) S 962877 962880 960561 0 -1 1077936128 43386 0 0 0 5433 72 0 0 20 0 20 0 183044345 19566772224 805443 134679101440 94008100511744 94008100515440 140729913289184 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94008100523256 94008100524048 94008100974592 140729913291782 140729913291872 140729913291872 140729913298888 0
/proc/962880/statm: 4777044 805443 5952 1 0 1263061 0
[pid=962880/tid=962882] ppid=962877 vsize=19108176 memory=2816056 CPUtime=48.37 cores=0,2
/proc/962880/task/962882/stat : 962882 (java) S 962877 962880 960561 0 -1 1077936192 12425 0 0 0 4820 17 0 0 20 0 20 0 183044346 19566772224 805443 134679101440 94008100511744 94008100515440 140729913289184 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94008100523256 94008100524048 94008100974592 140729913291782 140729913291872 140729913291872 140729913298888 0
[pid=962880/tid=962891] ppid=962877 vsize=19108176 memory=27344 CPUtime=0 cores=0,2
/proc/962880/task/962891/stat : 962891 (Finalizer) S 962877 962880 960561 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183044348 19566772224 805443 134679101440 94008100511744 94008100515440 140729913289184 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94008100523256 94008100524048 94008100974592 140729913291782 140729913291872 140729913291872 140729913298888 0

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

/proc/962880/task/962891/stat : 962891 (Finalizer) S 962877 962880 960561 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183044348 19566772224 3899762 134679101440 94008100511744 94008100515440 140729913289184 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94008100523256 94008100524048 94008100974592 140729913291782 140729913291872 140729913291872 140729913298888 0
[pid=962880/tid=962898] ppid=962877 vsize=19108176 memory=15599044 CPUtime=0 cores=0,2
/proc/962880/task/962898/stat : 962898 (Common-Cleaner) S 962877 962880 960561 0 -1 1077936192 2980 0 0 0 0 0 0 0 20 0 20 0 183044349 19566772224 3899762 134679101440 94008100511744 94008100515440 140729913289184 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94008100523256 94008100524048 94008100974592 140729913291782 140729913291872 140729913291872 140729913298888 0
[pid=962880/tid=962900] ppid=962877 vsize=19108176 memory=15599048 CPUtime=0 cores=0,2
/proc/962880/task/962900/stat : 962900 (Timer-0) S 962877 962880 960561 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183044396 19566772224 3899762 134679101440 94008100511744 94008100515440 140729913289184 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94008100523256 94008100524048 94008100974592 140729913291782 140729913291872 140729913291872 140729913298888 0
Current children cumulated CPU time: 3202.4 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 15599048 KiB

[startup+3222.3 s]
/proc/loadavg: 4.09 4.14 4.16 5/333 964959
/proc/meminfo: memFree=72887404/131524600 swapFree=130798872/131071996
[pid=962880] ppid=962877 vsize=19108176 memory=15599048 CPUtime=3262.77 cores=0,2
/proc/962880/stat : 962880 (java) S 962877 962880 960561 0 -1 1077936128 609746 0 0 0 325805 472 0 0 20 0 20 0 183044345 19566772224 3899762 134679101440 94008100511744 94008100515440 140729913289184 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94008100523256 94008100524048 94008100974592 140729913291782 140729913291872 140729913291872 140729913298888 0
/proc/962880/statm: 4777044 3899762 5952 1 0 4089744 0
[pid=962880/tid=962882] ppid=962877 vsize=19108176 memory=15599036 CPUtime=3149.45 cores=0,2
/proc/962880/task/962882/stat : 962882 (java) R 962877 962880 960561 0 -1 4194368 300256 0 0 0 314845 100 0 0 20 0 20 0 183044346 19566772224 3899762 134679101440 94008100511744 94008100515440 140729913289184 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 11 0 0 94008100523256 94008100524048 94008100974592 140729913291782 140729913291872 140729913291872 140729913298888 0
[pid=962880/tid=962891] ppid=962877 vsize=19108176 memory=736 CPUtime=0 cores=0,2
/proc/962880/task/962891/stat : 962891 (Finalizer) S 962877 962880 960561 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183044348 19566772224 3899762 134679101440 94008100511744 94008100515440 140729913289184 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94008100523256 94008100524048 94008100974592 140729913291782 140729913291872 140729913291872 140729913298888 0
[pid=962880/tid=962898] ppid=962877 vsize=19108176 memory=15599048 CPUtime=0 cores=0,2
/proc/962880/task/962898/stat : 962898 (Common-Cleaner) S 962877 962880 960561 0 -1 1077936192 3109 0 0 0 0 0 0 0 20 0 20 0 183044349 19566772224 3899762 134679101440 94008100511744 94008100515440 140729913289184 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94008100523256 94008100524048 94008100974592 140729913291782 140729913291872 140729913291872 140729913298888 0
[pid=962880/tid=962900] ppid=962877 vsize=19108176 memory=15599048 CPUtime=0 cores=0,2
/proc/962880/task/962900/stat : 962900 (Timer-0) S 962877 962880 960561 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183044396 19566772224 3899762 134679101440 94008100511744 94008100515440 140729913289184 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94008100523256 94008100524048 94008100974592 140729913291782 140729913291872 140729913291872 140729913298888 0
Current children cumulated CPU time: 3262.77 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 15599048 KiB

[startup+3282.3 s]
/proc/loadavg: 4.08 4.12 4.16 5/333 964970
/proc/meminfo: memFree=72877908/131524600 swapFree=130798872/131071996
[pid=962880] ppid=962877 vsize=19108176 memory=15607920 CPUtime=3324.94 cores=0,2
/proc/962880/stat : 962880 (java) S 962877 962880 960561 0 -1 1077936128 641159 0 0 0 332017 477 0 0 20 0 20 0 183044345 19566772224 3901980 134679101440 94008100511744 94008100515440 140729913289184 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94008100523256 94008100524048 94008100974592 140729913291782 140729913291872 140729913291872 140729913298888 0
/proc/962880/statm: 4777044 3901980 5967 1 0 4090396 0
[pid=962880/tid=962882] ppid=962877 vsize=19108176 memory=15605208 CPUtime=3208.06 cores=0,2
/proc/962880/task/962882/stat : 962882 (java) R 962877 962880 960561 0 -1 4194368 315605 0 0 0 320704 102 0 0 20 0 20 0 183044346 19566772224 3901980 134679101440 94008100511744 94008100515440 140729913289184 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 11 0 0 94008100523256 94008100524048 94008100974592 140729913291782 140729913291872 140729913291872 140729913298888 0
[pid=962880/tid=962891] ppid=962877 vsize=19108176 memory=15599052 CPUtime=0 cores=0,2
/proc/962880/task/962891/stat : 962891 (Finalizer) S 962877 962880 960561 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183044348 19566772224 3901980 134679101440 94008100511744 94008100515440 140729913289184 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94008100523256 94008100524048 94008100974592 140729913291782 140729913291872 140729913291872 140729913298888 0
[pid=962880/tid=962898] ppid=962877 vsize=19108176 memory=15599052 CPUtime=0 cores=0,2
/proc/962880/task/962898/stat : 962898 (Common-Cleaner) S 962877 962880 960561 0 -1 1077936192 3228 0 0 0 0 0 0 0 20 0 20 0 183044349 19566772224 3901980 134679101440 94008100511744 94008100515440 140729913289184 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94008100523256 94008100524048 94008100974592 140729913291782 140729913291872 140729913291872 140729913298888 0
[pid=962880/tid=962900] ppid=962877 vsize=19108176 memory=15599052 CPUtime=0 cores=0,2
/proc/962880/task/962900/stat : 962900 (Timer-0) S 962877 962880 960561 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183044396 19566772224 3901980 134679101440 94008100511744 94008100515440 140729913289184 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94008100523256 94008100524048 94008100974592 140729913291782 140729913291872 140729913291872 140729913298888 0
Current children cumulated CPU time: 3324.94 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 15607920 KiB

[startup+3342.3 s]
/proc/loadavg: 4.15 4.13 4.16 5/331 964980
/proc/meminfo: memFree=72704864/131524600 swapFree=130798872/131071996
[pid=962880] ppid=962877 vsize=19108176 memory=15779964 CPUtime=3385.16 cores=0,2
/proc/962880/stat : 962880 (java) S 962877 962880 960561 0 -1 1077936128 653176 0 0 0 338032 484 0 0 20 0 20 0 183044345 19566772224 3944991 134679101440 94008100511744 94008100515440 140729913289184 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94008100523256 94008100524048 94008100974592 140729913291782 140729913291872 140729913291872 140729913298888 0
/proc/962880/statm: 4777044 3944991 5967 1 0 4090403 0
[pid=962880/tid=962882] ppid=962877 vsize=19108176 memory=15607920 CPUtime=3266.99 cores=0,2
/proc/962880/task/962882/stat : 962882 (java) R 962877 962880 960561 0 -1 4194368 322262 0 0 0 326596 103 0 0 20 0 20 0 183044346 19566772224 3944991 134679101440 94008100511744 94008100515440 140729913289184 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 11 0 0 94008100523256 94008100524048 94008100974592 140729913291782 140729913291872 140729913291872 140729913298888 0
[pid=962880/tid=962891] ppid=962877 vsize=19108176 memory=15607932 CPUtime=0 cores=0,2
/proc/962880/task/962891/stat : 962891 (Finalizer) S 962877 962880 960561 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183044348 19566772224 3944991 134679101440 94008100511744 94008100515440 140729913289184 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94008100523256 94008100524048 94008100974592 140729913291782 140729913291872 140729913291872 140729913298888 0
[pid=962880/tid=962898] ppid=962877 vsize=19108176 memory=4892 CPUtime=0 cores=0,2
/proc/962880/task/962898/stat : 962898 (Common-Cleaner) S 962877 962880 960561 0 -1 1077936192 3368 0 0 0 0 0 0 0 20 0 20 0 183044349 19566772224 3944991 134679101440 94008100511744 94008100515440 140729913289184 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94008100523256 94008100524048 94008100974592 140729913291782 140729913291872 140729913291872 140729913298888 0
[pid=962880/tid=962900] ppid=962877 vsize=19108176 memory=15779964 CPUtime=0 cores=0,2
/proc/962880/task/962900/stat : 962900 (Timer-0) S 962877 962880 960561 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183044396 19566772224 3944991 134679101440 94008100511744 94008100515440 140729913289184 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94008100523256 94008100524048 94008100974592 140729913291782 140729913291872 140729913291872 140729913298888 0
Current children cumulated CPU time: 3385.16 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 15779964 KiB

[startup+3402.3 s]
/proc/loadavg: 4.15 4.14 4.16 5/331 964992
/proc/meminfo: memFree=72174760/131524600 swapFree=130798872/131071996
[pid=962880] ppid=962877 vsize=19108176 memory=16308372 CPUtime=3445.36 cores=0,2
/proc/962880/stat : 962880 (java) S 962877 962880 960561 0 -1 1077936128 661277 0 0 0 344040 496 0 0 20 0 20 0 183044345 19566772224 4077093 134679101440 94008100511744 94008100515440 140729913289184 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94008100523256 94008100524048 94008100974592 140729913291782 140729913291872 140729913291872 140729913298888 0
/proc/962880/statm: 4777044 4077093 5967 1 0 4090408 0
[pid=962880/tid=962882] ppid=962877 vsize=19108176 memory=15607920 CPUtime=3325.97 cores=0,2
/proc/962880/task/962882/stat : 962882 (java) R 962877 962880 960561 0 -1 4194368 328941 0 0 0 332492 105 0 0 20 0 20 0 183044346 19566772224 4077093 134679101440 94008100511744 94008100515440 140729913289184 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 11 0 0 94008100523256 94008100524048 94008100974592 140729913291782 140729913291872 140729913291872 140729913298888 0
[pid=962880/tid=962891] ppid=962877 vsize=19108176 memory=15607932 CPUtime=0 cores=0,2
/proc/962880/task/962891/stat : 962891 (Finalizer) S 962877 962880 960561 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183044348 19566772224 4077093 134679101440 94008100511744 94008100515440 140729913289184 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94008100523256 94008100524048 94008100974592 140729913291782 140729913291872 140729913291872 140729913298888 0
[pid=962880/tid=962898] ppid=962877 vsize=19108176 memory=16308372 CPUtime=0 cores=0,2
/proc/962880/task/962898/stat : 962898 (Common-Cleaner) S 962877 962880 960561 0 -1 1077936192 3368 0 0 0 0 0 0 0 20 0 20 0 183044349 19566772224 4077093 134679101440 94008100511744 94008100515440 140729913289184 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94008100523256 94008100524048 94008100974592 140729913291782 140729913291872 140729913291872 140729913298888 0
[pid=962880/tid=962900] ppid=962877 vsize=19108176 memory=16308372 CPUtime=0 cores=0,2
/proc/962880/task/962900/stat : 962900 (Timer-0) S 962877 962880 960561 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183044396 19566772224 4077093 134679101440 94008100511744 94008100515440 140729913289184 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94008100523256 94008100524048 94008100974592 140729913291782 140729913291872 140729913291872 140729913298888 0
Current children cumulated CPU time: 3445.36 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 16308372 KiB

[startup+3462.3 s]
/proc/loadavg: 4.05 4.11 4.14 5/331 965002
/proc/meminfo: memFree=72173996/131524600 swapFree=130798872/131071996
[pid=962880] ppid=962877 vsize=19108176 memory=16308540 CPUtime=3506.4 cores=0,2
/proc/962880/stat : 962880 (java) S 962877 962880 960561 0 -1 1077936128 679270 0 0 0 350140 500 0 0 20 0 20 0 183044345 19566772224 4077135 134679101440 94008100511744 94008100515440 140729913289184 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94008100523256 94008100524048 94008100974592 140729913291782 140729913291872 140729913291872 140729913298888 0
/proc/962880/statm: 4777044 4077135 5967 1 0 4090451 0
[pid=962880/tid=962882] ppid=962877 vsize=19108176 memory=15607920 CPUtime=3384.68 cores=0,2
/proc/962880/task/962882/stat : 962882 (java) R 962877 962880 960561 0 -1 4194368 335694 0 0 0 338362 106 0 0 20 0 20 0 183044346 19566772224 4077135 134679101440 94008100511744 94008100515440 140729913289184 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 11 0 0 94008100523256 94008100524048 94008100974592 140729913291782 140729913291872 140729913291872 140729913298888 0
[pid=962880/tid=962891] ppid=962877 vsize=19108176 memory=15607932 CPUtime=0 cores=0,2
/proc/962880/task/962891/stat : 962891 (Finalizer) S 962877 962880 960561 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183044348 19566772224 4077135 134679101440 94008100511744 94008100515440 140729913289184 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94008100523256 94008100524048 94008100974592 140729913291782 140729913291872 140729913291872 140729913298888 0
[pid=962880/tid=962898] ppid=962877 vsize=19108176 memory=16308540 CPUtime=0 cores=0,2
/proc/962880/task/962898/stat : 962898 (Common-Cleaner) S 962877 962880 960561 0 -1 1077936192 3415 0 0 0 0 0 0 0 20 0 20 0 183044349 19566772224 4077135 134679101440 94008100511744 94008100515440 140729913289184 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94008100523256 94008100524048 94008100974592 140729913291782 140729913291872 140729913291872 140729913298888 0
[pid=962880/tid=962900] ppid=962877 vsize=19108176 memory=16308540 CPUtime=0 cores=0,2
/proc/962880/task/962900/stat : 962900 (Timer-0) S 962877 962880 960561 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183044396 19566772224 4077135 134679101440 94008100511744 94008100515440 140729913289184 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94008100523256 94008100524048 94008100974592 140729913291782 140729913291872 140729913291872 140729913298888 0
Current children cumulated CPU time: 3506.4 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 16308540 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.12 4.14 5/331 965012
/proc/meminfo: memFree=72173168/131524600 swapFree=130798872/131071996
[pid=962880] ppid=962877 vsize=19108176 memory=16308584 CPUtime=3566.87 cores=0,2
/proc/962880/stat : 962880 (java) S 962877 962880 960561 0 -1 1077936128 687302 0 0 0 356184 503 0 0 20 0 20 0 183044345 19566772224 4077146 134679101440 94008100511744 94008100515440 140729913289184 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94008100523256 94008100524048 94008100974592 140729913291782 140729913291872 140729913291872 140729913298888 0
/proc/962880/statm: 4777044 4077146 5967 1 0 4090466 0
[pid=962880/tid=962882] ppid=962877 vsize=19108176 memory=15607920 CPUtime=3443.87 cores=0,2
/proc/962880/task/962882/stat : 962882 (java) R 962877 962880 960561 0 -1 4194368 342508 0 0 0 344280 107 0 0 20 0 20 0 183044346 19566772224 4077146 134679101440 94008100511744 94008100515440 140729913289184 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 11 0 0 94008100523256 94008100524048 94008100974592 140729913291782 140729913291872 140729913291872 140729913298888 0
[pid=962880/tid=962891] ppid=962877 vsize=19108176 memory=16308540 CPUtime=0 cores=0,2
/proc/962880/task/962891/stat : 962891 (Finalizer) S 962877 962880 960561 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183044348 19566772224 4077146 134679101440 94008100511744 94008100515440 140729913289184 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94008100523256 94008100524048 94008100974592 140729913291782 140729913291872 140729913291872 140729913298888 0
[pid=962880/tid=962898] ppid=962877 vsize=19108176 memory=16308448 CPUtime=0 cores=0,2
/proc/962880/task/962898/stat : 962898 (Common-Cleaner) S 962877 962880 960561 0 -1 1077936192 3493 0 0 0 0 0 0 0 20 0 20 0 183044349 19566772224 4077146 134679101440 94008100511744 94008100515440 140729913289184 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94008100523256 94008100524048 94008100974592 140729913291782 140729913291872 140729913291872 140729913298888 0
[pid=962880/tid=962900] ppid=962877 vsize=19108176 memory=15779964 CPUtime=0 cores=0,2
/proc/962880/task/962900/stat : 962900 (Timer-0) S 962877 962880 960561 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183044396 19566772224 4077146 134679101440 94008100511744 94008100515440 140729913289184 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94008100523256 94008100524048 94008100974592 140729913291782 140729913291872 140729913291872 140729913298888 0
Current children cumulated CPU time: 3566.87 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 16308584 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3555 s]*
/proc/loadavg: 4.14 4.12 4.14 5/331 965018
/proc/meminfo: memFree=72164612/131524600 swapFree=130798872/131071996
[pid=962880] ppid=962877 vsize=19108176 memory=16308600 CPUtime=3600.02 cores=0,2
/proc/962880/stat : 962880 (java) S 962877 962880 960561 0 -1 1077936128 694616 0 0 0 359497 505 0 0 20 0 20 0 183044345 19566772224 4077150 134679101440 94008100511744 94008100515440 140729913289184 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94008100523256 94008100524048 94008100974592 140729913291782 140729913291872 140729913291872 140729913298888 0
/proc/962880/statm: 4777044 4077150 5967 1 0 4090469 0
[pid=962880/tid=962882] ppid=962877 vsize=19108176 memory=-8671506712875016892 CPUtime=3476 cores=0,2
/proc/962880/task/962882/stat : 962882 (java) R 962877 962880 960561 0 -1 4194368 344539 0 0 0 347492 108 0 0 20 0 20 0 183044346 19566772224 4077150 134679101440 94008100511744 94008100515440 140729913289184 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 11 0 0 94008100523256 94008100524048 94008100974592 140729913291782 140729913291872 140729913291872 140729913298888 0
[pid=962880/tid=962891] ppid=962877 vsize=19108176 memory=-9044459746194447340 CPUtime=0 cores=0,2
/proc/962880/task/962891/stat : 962891 (Finalizer) S 962877 962880 960561 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183044348 19566772224 4077150 134679101440 94008100511744 94008100515440 140729913289184 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94008100523256 94008100524048 94008100974592 140729913291782 140729913291872 140729913291872 140729913298888 0
[pid=962880/tid=962898] ppid=962877 vsize=19108176 memory=11588 CPUtime=0 cores=0,2
/proc/962880/task/962898/stat : 962898 (Common-Cleaner) S 962877 962880 960561 0 -1 1077936192 3540 0 0 0 0 0 0 0 20 0 20 0 183044349 19566772224 4077150 134679101440 94008100511744 94008100515440 140729913289184 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94008100523256 94008100524048 94008100974592 140729913291782 140729913291872 140729913291872 140729913298888 0
[pid=962880/tid=962900] ppid=962877 vsize=19108176 memory=2768 CPUtime=0 cores=0,2
/proc/962880/task/962900/stat : 962900 (Timer-0) S 962877 962880 960561 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183044396 19566772224 4077150 134679101440 94008100511744 94008100515440 140729913289184 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94008100523256 94008100524048 94008100974592 140729913291782 140729913291872 140729913291872 140729913298888 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 16308600 KiB

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

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

# cumulated CPU time of all completed processes:  user=3595.11 s, system=5.11093 s

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

[startup+3555.14 s]*
/proc/loadavg: 4.14 4.12 4.14 5/313 965021
/proc/meminfo: memFree=88093020/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): 3555.15
CPU time (s): 3600.22
CPU user time (s): 3595.11
CPU system time (s): 5.11093
CPU usage (%): 101.268
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 16308600

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.11
system time used= 5.11092
maximum resident set size= 16310344
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 697686
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3752
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 111843
involuntary context switches= 35362


# summary of solver processes directly reported to runsolver:
#   pid: 962880
#   total CPU time (s): 3600.22
#   total CPU user time (s): 3595.11
#   total CPU system time (s): 5.11093

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.68619 second user time and 17.0993 second system time

The end

Launcher Data 

Begin job on nodeC014 at 2024-07-18 15:21:04
IDJOB=4442984
IDBENCH=147859
IDSOLVER=3058
FILE ID=nodeC014/4442984-1721308852
RUNJOBID= nodeC014-1721305283-960571
SLURM_JOB_ID= 7542633
Free space on /tmp= 890064 MiB

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

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

MD5SUM BENCH= 524c0290a9c7ac599d8004695d4c7f99
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		: 3642.362
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.127
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		: 3659.833
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		: 3688.085
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		: 3617.638
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		: 3599.780
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		: 3673.330
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		: 3688.057
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:        114093412 kB
MemAvailable:   117237108 kB
Buffers:          433596 kB
Cached:          3514264 kB
SwapCached:        12880 kB
Active:          1348008 kB
Inactive:       15470728 kB
Active(anon):       9308 kB
Inactive(anon): 12882276 kB
Active(file):    1338700 kB
Inactive(file):  2588452 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       130798616 kB
Dirty:             16292 kB
Writeback:             0 kB
AnonPages:      12862392 kB
Mapped:            69452 kB
Shmem:             20360 kB
KReclaimable:     112380 kB
Slab:             210908 kB
SReclaimable:     112380 kB
SUnreclaim:        98528 kB
KernelStack:        5056 kB
PageTables:        35776 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:   22188900 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            35168 kB
HardwareCorrupted:     0 kB
AnonHugePages:  12548096 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= 890064 MiB
End job on nodeC014 at 2024-07-18 16:20:20