Trace number 4452082

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 2024 2024-07-07? (TO) 3600.17 3612.59

General information on the benchmark

NamePB24/normalized-PB16/DEC-LIN/quimper/
SyncCodes/d_n_k/normalized-7_6_28.opb
MD5SUMfe5132cea97c009eada70044fd563797
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark14.7243
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1260
Total number of constraints5990
Number of constraints which are clauses5985
Number of constraints which are cardinality constraints (but not clauses)5
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint35
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 28
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 63
Number of bits of the biggest sum of numbers6
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 		2104792832
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.13/0.12	--- Begin Solver configuration ---
0.13/0.12	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.13/0.12	Learn all clauses as in MiniSAT
0.13/0.12	LOGGER=java.util.logging.Logger@762efe5d 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	Expensive 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@2401f4c3
0.13/0.12	c Learn all clauses as in MiniSAT
0.13/0.12	c LOGGER=java.util.logging.Logger@762efe5d 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 Expensive 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-4452082-1721840839.opb
0.13/0.12	c reading problem ... 
0.13/0.13	c using VERIPB proof format
0.13/0.13	c  no objective function found
0.33/0.22	c ... done. Wall clock time 0.099s.
0.33/0.22	c declared #vars     1260
0.33/0.22	c #constraints  5994
0.33/0.22	c constraints type 
0.33/0.23	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 2414
0.33/0.23	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 3
0.33/0.23	c org.sat4j.specs.Constr$1 => 4
0.33/0.23	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 3570
0.33/0.23	c org.sat4j.pb.constraints.pb.UnitClausePB => 3
0.33/0.23	c 5994 constraints processed.
1.47/0.88	c cleaning 2489 clauses out of 5000 with flag 16765/5000
2.46/1.32	c cleaning 4253 clauses out of 8511 with flag 39774/11000
3.13/1.81	c cleaning 5630 clauses out of 11259 with flag 67607/18001
3.71/2.39	c cleaning 6814 clauses out of 13630 with flag 98058/26002
4.50/3.08	c cleaning 7902 clauses out of 15815 with flag 133573/35001
5.29/3.84	c cleaning 8957 clauses out of 17913 with flag 177240/45001
6.37/4.73	c cleaning 9975 clauses out of 19956 with flag 231013/56001
7.50/5.75	c cleaning 10986 clauses out of 21980 with flag 287985/68000
8.94/6.97	c cleaning 11995 clauses out of 23995 with flag 346498/81001
10.15/8.15	c cleaning 12997 clauses out of 26002 with flag 403159/95003
11.50/9.33	c cleaning 14001 clauses out of 28003 with flag 465868/110001
12.79/10.67	c cleaning 14998 clauses out of 30003 with flag 537189/126002
14.37/12.15	c cleaning 16001 clauses out of 32003 with flag 619744/143000
16.12/13.85	c cleaning 16998 clauses out of 34003 with flag 713598/161001
17.92/15.68	c cleaning 18001 clauses out of 36004 with flag 811454/180000
19.92/17.62	c cleaning 18994 clauses out of 38003 with flag 912616/200000
22.01/19.74	c cleaning 20004 clauses out of 40011 with flag 1020691/221002
24.32/22.04	c cleaning 21000 clauses out of 42005 with flag 1136119/243000
26.99/24.59	c cleaning 21996 clauses out of 44005 with flag 1264634/266000
29.68/27.27	c cleaning 23002 clauses out of 46010 with flag 1389694/290001
33.27/30.88	c cleaning 24001 clauses out of 48007 with flag 1535197/315000
36.91/34.88	c cleaning 25000 clauses out of 50006 with flag 1666438/341000
41.01/38.99	c cleaning 26001 clauses out of 52007 with flag 1808969/368001
44.99/42.93	c cleaning 26998 clauses out of 54008 with flag 1972645/396003
48.89/46.85	c cleaning 28001 clauses out of 56007 with flag 2150296/425000
52.97/50.95	c cleaning 28998 clauses out of 58006 with flag 2338700/455000
57.07/55.10	c cleaning 29998 clauses out of 60009 with flag 2513664/486001
61.77/59.73	c cleaning 31001 clauses out of 62010 with flag 2714842/518000
66.55/64.64	c cleaning 32000 clauses out of 64010 with flag 2907665/551001
72.22/70.33	c cleaning 32996 clauses out of 66009 with flag 3133693/585000
78.01/76.18	c cleaning 34007 clauses out of 68015 with flag 3365222/620002
84.29/82.49	c cleaning 35004 clauses out of 70007 with flag 3604331/656001
89.88/88.01	c cleaning 35997 clauses out of 72003 with flag 3793945/693001
95.08/93.26	c cleaning 36999 clauses out of 74005 with flag 3977223/731000
101.00/99.22	c cleaning 37993 clauses out of 76006 with flag 4180454/770000
107.68/105.95	c cleaning 39000 clauses out of 78013 with flag 4395342/810000
114.07/112.35	c cleaning 39999 clauses out of 80015 with flag 4626639/851002
121.25/119.52	c cleaning 41006 clauses out of 82015 with flag 4863031/893001
127.86/126.26	c cleaning 41999 clauses out of 84008 with flag 5100160/936000
134.53/132.90	c cleaning 42998 clauses out of 86009 with flag 5345750/980000
142.33/140.78	c cleaning 44000 clauses out of 88011 with flag 5589785/1025000
150.31/148.71	c cleaning 44999 clauses out of 90013 with flag 5838839/1071002
158.41/156.94	c cleaning 45996 clauses out of 92012 with flag 6078279/1118000
167.09/165.67	c cleaning 47005 clauses out of 94017 with flag 6332098/1166001
176.47/175.04	c cleaning 47998 clauses out of 96014 with flag 6600368/1215003
186.07/184.68	c cleaning 49004 clauses out of 98014 with flag 6889382/1265001
195.07/193.76	c cleaning 50001 clauses out of 100013 with flag 7158884/1316004
204.65/203.33	c cleaning 50997 clauses out of 102008 with flag 7444428/1368000
215.62/214.30	c cleaning 52000 clauses out of 104011 with flag 7733648/1421000
226.93/225.77	c cleaning 53002 clauses out of 106013 with flag 8046500/1475002
239.71/238.59	c cleaning 53999 clauses out of 108010 with flag 8400019/1530001
251.79/253.27	c cleaning 54998 clauses out of 110010 with flag 8726632/1586000
264.25/265.79	c cleaning 56001 clauses out of 112013 with flag 9061400/1643001
277.73/279.20	c cleaning 56999 clauses out of 114011 with flag 9411731/1701000
290.53/292.16	c cleaning 57997 clauses out of 116012 with flag 9764104/1760000
303.00/304.64	c cleaning 59005 clauses out of 118018 with flag 10104808/1820003
317.34/319.03	c cleaning 60000 clauses out of 120010 with flag 10477039/1881000
331.80/333.53	c cleaning 61001 clauses out of 122012 with flag 10852711/1943002
346.02/347.84	c cleaning 62004 clauses out of 124010 with flag 11233833/2006001
361.80/363.61	c cleaning 62998 clauses out of 126006 with flag 11644649/2070001
379.42/381.34	c cleaning 63997 clauses out of 128008 with flag 12102805/2135001
397.09/399.02	c cleaning 64999 clauses out of 130010 with flag 12566371/2201000
412.71/414.74	c cleaning 65997 clauses out of 132012 with flag 12937255/2268001
430.87/432.91	c cleaning 67001 clauses out of 134015 with flag 13349500/2336001
448.60/450.73	c cleaning 68005 clauses out of 136013 with flag 13766085/2405000
468.84/471.18	c cleaning 68999 clauses out of 138009 with flag 14210108/2475001
486.31/488.63	c cleaning 69999 clauses out of 140011 with flag 14607540/2546002
506.24/508.78	c cleaning 70994 clauses out of 142010 with flag 15031838/2618000
528.03/530.59	c cleaning 72004 clauses out of 144018 with flag 15519964/2691002
551.78/554.38	c cleaning 73002 clauses out of 146014 with flag 16017244/2765002
575.01/577.60	c cleaning 73995 clauses out of 148010 with flag 16524451/2840000
600.17/602.90	c cleaning 75006 clauses out of 150016 with flag 17082139/2916001
623.15/626.07	c cleaning 75999 clauses out of 152009 with flag 17626611/2993000
646.92/649.81	c cleaning 77002 clauses out of 154011 with flag 18179746/3071001
674.88/677.91	c cleaning 77998 clauses out of 156008 with flag 18780661/3150000
700.90/704.00	c cleaning 79000 clauses out of 158010 with flag 19352843/3230000
730.34/733.55	c cleaning 79998 clauses out of 160010 with flag 19927908/3311000
756.36/759.62	c cleaning 80994 clauses out of 162012 with flag 20433295/3393000
785.38/788.75	c cleaning 82006 clauses out of 164021 with flag 20971485/3476003
812.20/815.67	c cleaning 83001 clauses out of 166013 with flag 21528693/3560001
843.71/847.29	c cleaning 83998 clauses out of 168011 with flag 22115038/3645000
878.50/882.13	c cleaning 84997 clauses out of 170013 with flag 22759054/3731000
906.10/909.80	c cleaning 85999 clauses out of 172016 with flag 23376370/3818000
934.30/938.14	c cleaning 87002 clauses out of 174018 with flag 23988767/3906001
967.16/971.11	c cleaning 88002 clauses out of 176015 with flag 24620460/3995000
999.37/1003.45	c cleaning 89002 clauses out of 178013 with flag 25241869/4085000
1035.05/1039.26	c cleaning 90003 clauses out of 180011 with flag 25920802/4176000
1073.85/1078.16	c cleaning 90999 clauses out of 182008 with flag 26626537/4268000
1111.34/1115.87	c cleaning 91997 clauses out of 184009 with flag 27343799/4361000
1153.92/1158.51	c cleaning 93003 clauses out of 186014 with flag 28094573/4455002
1189.42/1194.13	c cleaning 93999 clauses out of 188009 with flag 28716628/4550000
1226.50/1231.36	c cleaning 94997 clauses out of 190010 with flag 29387384/4646000
1268.30/1273.32	c cleaning 96000 clauses out of 192015 with flag 30075981/4743002
1317.65/1322.87	c cleaning 97003 clauses out of 194013 with flag 30857904/4841000
1366.42/1372.17	c cleaning 98001 clauses out of 196011 with flag 31617182/4940001
1412.07/1417.99	c cleaning 99000 clauses out of 198010 with flag 32389077/5040001
1463.31/1469.46	c cleaning 100003 clauses out of 200010 with flag 33202537/5141001
1513.34/1520.06	c cleaning 100996 clauses out of 202006 with flag 33998944/5243000
1565.12/1571.94	c cleaning 101999 clauses out of 204010 with flag 34813656/5346000
1625.83/1632.83	c cleaning 103002 clauses out of 206013 with flag 35669565/5450002
1692.41/1699.62	c cleaning 104003 clauses out of 208012 with flag 36566543/5555003
1757.14/1765.03	c cleaning 104999 clauses out of 210007 with flag 37505625/5661001
1833.77/1842.01	c cleaning 106001 clauses out of 212008 with flag 38617808/5768001
1911.07/1918.98	c cleaning 106997 clauses out of 214006 with flag 39756909/5876000
1981.17/1988.98	c cleaning 107996 clauses out of 216010 with flag 40808141/5985002
2033.90/2042.16	c cleaning 109000 clauses out of 218013 with flag 41547538/6095001
2079.77/2088.11	c cleaning 109997 clauses out of 220014 with flag 42279652/6206002
2130.80/2139.36	c cleaning 111002 clauses out of 222015 with flag 43021969/6318000
2185.27/2193.91	c cleaning 112001 clauses out of 224014 with flag 43823648/6431001
2243.60/2252.46	c cleaning 113000 clauses out of 226012 with flag 44658355/6545000
2305.89/2314.84	c cleaning 114002 clauses out of 228013 with flag 45565117/6660001
2366.82/2375.94	c cleaning 115001 clauses out of 230012 with flag 46414706/6776002
2436.88/2446.15	c cleaning 116004 clauses out of 232011 with flag 47308014/6893002
2506.16/2515.60	c cleaning 116997 clauses out of 234006 with flag 48223607/7011001
2576.34/2585.92	c cleaning 117999 clauses out of 236008 with flag 49153110/7130000
2638.64/2648.41	c cleaning 118999 clauses out of 238011 with flag 50053005/7250002
2708.99/2718.95	c cleaning 119998 clauses out of 240010 with flag 50937615/7371000
2793.74/2803.90	c cleaning 121005 clauses out of 242015 with flag 51870767/7493003
2884.09/2894.49	c cleaning 122002 clauses out of 244007 with flag 52930417/7616000
2980.72/2991.47	c cleaning 122995 clauses out of 246006 with flag 54009018/7740001
3064.31/3075.47	c cleaning 123997 clauses out of 248011 with flag 55026654/7865001
3155.58/3166.99	c cleaning 125002 clauses out of 250013 with flag 56058148/7991000
3249.38/3260.90	c cleaning 125997 clauses out of 252012 with flag 57125438/8118001
3334.89/3346.62	c cleaning 127003 clauses out of 254016 with flag 58169993/8246002
3428.33/3440.36	c cleaning 127997 clauses out of 256012 with flag 59253894/8375001
3530.70/3543.05	c cleaning 129002 clauses out of 258013 with flag 60385790/8505000
3600.02/3612.51	c starts		: 783
3600.02/3612.51	c timeout
3600.02/3612.52	c conflicts		: 8593657
3600.02/3612.52	c decisions		: 9389525
3600.02/3612.52	c propagations		: 873865072
3600.02/3612.52	c inspects		: 47798930218
3600.02/3612.52	c shortcuts		: 0
3600.02/3612.52	c learnt literals	: 3
3600.02/3612.52	c learnt binary clauses	: 53
3600.02/3612.52	c learnt ternary clauses	: 508
3600.02/3612.52	c learnt constraints	: 8593654
3600.02/3612.52	c ignored constraints	: 0
3600.02/3612.52	c root simplifications	: 0
3600.02/3612.52	c removed literals (reason simplification)	: 97025817
3600.02/3612.52	c reason swapping (by a shorter reason)	: 0
3600.02/3612.52	c Calls to reduceDB	: 126
3600.02/3612.52	c Number of update (reduction) of LBD	: 1413348
3600.02/3612.52	c Imported unit clauses	: 0
3600.02/3612.52	c No decision after first conflict	: false
3600.02/3612.52	c number of reductions to clauses (during analyze)	: 0
3600.02/3612.52	c number of learned constraints concerned by reduction	: 0
3600.02/3612.52	c number of learning phase by resolution	: 0
3600.02/3612.52	c number of learning phase by cutting planes	: 0
3600.02/3612.52	c number of rounding to 1 operations	: 0
3600.02/3612.52	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.02/3612.52	c number of reductions of the coefficients by power 2 	: 0
3600.02/3612.52	c number of right shift for reduction by power 2 	: 0
3600.02/3612.52	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.02/3612.52	c number of ending skipping 	: 0
3600.02/3612.52	c number of internal skipping 	: 0
3600.02/3612.52	c number of derivation steps 	: 0
3600.02/3612.52	c number of skipped derivation steps 	: 0
3600.02/3612.52	c number of remaining unassigned 	: 0
3600.02/3612.52	c number of remaining assigned 	: 0
3600.02/3612.52	c number of falsified literals weakened from reason	: 0
3600.02/3612.52	c number of falsified literals weakened from conflict	: 0
3600.02/3612.52	c time for arithmetic operations	: 0
3600.02/3612.52	c minimum degree of deleted constraints	: null
3600.02/3612.52	c maximum degree of deleted constraints	: null
3600.02/3612.52	c number of deleted constraints	: 0
3600.02/3612.52	c speed (assignments/second)	: 241914.6966768412
3600.02/3612.52	c non guided choices	: 137
3600.02/3612.58	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 217614
3600.02/3612.58	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 53
3600.02/3612.58	s UNKNOWN
3600.02/3612.58	c Total wall clock time (in seconds): 3612.453

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4452082-1721840839/watcher-4452082-1721840839 -o /tmp/evaluation-result-4452082-1721840839/solver-4452082-1721840839 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1721840837-196140 --watchdog 3760 java -Dveripb=PROOFDIR/proof-4452082-1721840839 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4452082-1721840839.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.100204 s]*
/proc/loadavg: 1.82 2.12 2.93 9/333 196678
/proc/meminfo: memFree=123820020/131524600 swapFree=131061428/131071996
[pid=196660] ppid=196657 vsize=18975048 memory=65136 CPUtime=0.13 cores=4,6
/proc/196660/stat : 196660 (java) S 196657 196660 196129 0 -1 1077936128 7762 0 0 0 12 1 0 0 20 0 18 0 20606821 19430449152 16284 134679101440 94253973065728 94253973069424 140729386552752 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94253973077240 94253973078032 94253983019008 140729386554283 140729386554465 140729386554465 140729386561480 0
/proc/196660/statm: 4743762 16284 5663 1 0 549373 0
[pid=196660/tid=196662] ppid=196657 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=4,6
/proc/196660/task/196662/stat : 196662 (java) R 196657 196660 196129 0 -1 1078198336 6280 0 0 0 7 1 0 0 20 0 18 0 20606822 19430449152 16284 134679101440 94253973065728 94253973069424 140729386552752 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94253973077240 94253973078032 94253983019008 140729386554283 140729386554465 140729386554465 140729386561480 0
[pid=196660/tid=196671] ppid=196657 vsize=18975048 memory=237146210664 CPUtime=0 cores=4,6
/proc/196660/task/196671/stat : 196671 (Finalizer) S 196657 196660 196129 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 20606824 19430449152 16284 134679101440 94253973065728 94253973069424 140729386552752 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94253973077240 94253973078032 94253983019008 140729386554283 140729386554465 140729386554465 140729386561480 0
[pid=196660/tid=196678] ppid=196657 vsize=18975048 memory=13855165888404792 CPUtime=0 cores=4,6
/proc/196660/task/196678/stat : 196678 (Common-Cleaner) S 196657 196660 196129 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 20606825 19430449152 16284 134679101440 94253973065728 94253973069424 140729386552752 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94253973077240 94253973078032 94253983019008 140729386554283 140729386554465 140729386554465 140729386561480 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 65136 KiB

[startup+0.206124 s]*
/proc/loadavg: 1.82 2.12 2.93 10/333 196678
/proc/meminfo: memFree=123793132/131524600 swapFree=131061428/131071996
[pid=196660] ppid=196657 vsize=18975048 memory=82472 CPUtime=0.33 cores=4,6
/proc/196660/stat : 196660 (java) S 196657 196660 196129 0 -1 1077936128 8411 0 0 0 31 2 0 0 20 0 18 0 20606821 19430449152 20618 134679101440 94253973065728 94253973069424 140729386552752 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94253973077240 94253973078032 94253983019008 140729386554283 140729386554465 140729386554465 140729386561480 0
/proc/196660/statm: 4743762 20618 5845 1 0 549822 0
[pid=196660/tid=196662] ppid=196657 vsize=18975048 memory=4782652875487838339 CPUtime=0.18 cores=4,6
/proc/196660/task/196662/stat : 196662 (java) R 196657 196660 196129 0 -1 4194368 6468 0 0 0 17 1 0 0 20 0 18 0 20606822 19430449152 20618 134679101440 94253973065728 94253973069424 140729386552752 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94253973077240 94253973078032 94253983019008 140729386554283 140729386554465 140729386554465 140729386561480 0
[pid=196660/tid=196671] ppid=196657 vsize=18975048 memory=1121866 CPUtime=0 cores=4,6
/proc/196660/task/196671/stat : 196671 (Finalizer) S 196657 196660 196129 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 20606824 19430449152 20618 134679101440 94253973065728 94253973069424 140729386552752 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94253973077240 94253973078032 94253983019008 140729386554283 140729386554465 140729386554465 140729386561480 0
[pid=196660/tid=196678] ppid=196657 vsize=18975048 memory=14415916817450633 CPUtime=0 cores=4,6
/proc/196660/task/196678/stat : 196678 (Common-Cleaner) S 196657 196660 196129 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 20606825 19430449152 20618 134679101440 94253973065728 94253973069424 140729386552752 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94253973077240 94253973078032 94253983019008 140729386554283 140729386554465 140729386554465 140729386561480 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 82472 KiB

[startup+0.308124 s]*
/proc/loadavg: 1.82 2.12 2.93 10/334 196679
/proc/meminfo: memFree=123775832/131524600 swapFree=131061428/131071996
[pid=196660] ppid=196657 vsize=19041612 memory=89792 CPUtime=0.52 cores=4,6
/proc/196660/stat : 196660 (java) S 196657 196660 196129 0 -1 1077936128 9697 0 0 0 50 2 0 0 20 0 19 0 20606821 19498610688 22448 134679101440 94253973065728 94253973069424 140729386552752 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94253973077240 94253973078032 94253983019008 140729386554283 140729386554465 140729386554465 140729386561480 0
/proc/196660/statm: 4760403 22448 5845 1 0 551006 0
[pid=196660/tid=196662] ppid=196657 vsize=19041612 memory=-8671791473451901628 CPUtime=0.26 cores=4,6
/proc/196660/task/196662/stat : 196662 (java) R 196657 196660 196129 0 -1 4194368 6563 0 0 0 25 1 0 0 20 0 19 0 20606822 19498610688 22448 134679101440 94253973065728 94253973069424 140729386552752 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94253973077240 94253973078032 94253983019008 140729386554283 140729386554465 140729386554465 140729386561480 0
[pid=196660/tid=196671] ppid=196657 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/196660/task/196671/stat : 196671 (Finalizer) S 196657 196660 196129 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 20606824 19498610688 22448 134679101440 94253973065728 94253973069424 140729386552752 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94253973077240 94253973078032 94253983019008 140729386554283 140729386554465 140729386554465 140729386561480 0
[pid=196660/tid=196678] ppid=196657 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/196660/task/196678/stat : 196678 (Common-Cleaner) S 196657 196660 196129 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 20606825 19498610688 22448 134679101440 94253973065728 94253973069424 140729386552752 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94253973077240 94253973078032 94253983019008 140729386554283 140729386554465 140729386554465 140729386561480 0
[pid=196660/tid=196679] ppid=196657 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/196660/task/196679/stat : 196679 (Timer-0) S 196657 196660 196129 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 20606845 19498610688 22448 134679101440 94253973065728 94253973069424 140729386552752 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94253973077240 94253973078032 94253983019008 140729386554283 140729386554465 140729386554465 140729386561480 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 89792 KiB

[startup+0.700242 s]
/proc/loadavg: 1.82 2.12 2.93 9/334 196679
/proc/meminfo: memFree=123732972/131524600 swapFree=131061428/131071996
[pid=196660] ppid=196657 vsize=19041612 memory=127544 CPUtime=1.27 cores=4,6
/proc/196660/stat : 196660 (java) S 196657 196660 196129 0 -1 1077936128 11551 0 0 0 124 3 0 0 20 0 19 0 20606821 19498610688 31886 134679101440 94253973065728 94253973069424 140729386552752 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94253973077240 94253973078032 94253983019008 140729386554283 140729386554465 140729386554465 140729386561480 0
/proc/196660/statm: 4760403 31886 5877 1 0 552123 0
[pid=196660/tid=196662] ppid=196657 vsize=19041612 memory=13524 CPUtime=0.6 cores=4,6
/proc/196660/task/196662/stat : 196662 (java) R 196657 196660 196129 0 -1 4194368 6582 0 0 0 58 2 0 0 20 0 19 0 20606822 19498610688 31886 134679101440 94253973065728 94253973069424 140729386552752 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94253973077240 94253973078032 94253983019008 140729386554283 140729386554465 140729386554465 140729386561480 0
[pid=196660/tid=196671] ppid=196657 vsize=19041612 memory=13524 CPUtime=0 cores=4,6
/proc/196660/task/196671/stat : 196671 (Finalizer) S 196657 196660 196129 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 20606824 19498610688 31886 134679101440 94253973065728 94253973069424 140729386552752 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94253973077240 94253973078032 94253983019008 140729386554283 140729386554465 140729386554465 140729386561480 0
[pid=196660/tid=196678] ppid=196657 vsize=19041612 memory=117636 CPUtime=0 cores=4,6
/proc/196660/task/196678/stat : 196678 (Common-Cleaner) S 196657 196660 196129 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 20606825 19498610688 31886 134679101440 94253973065728 94253973069424 140729386552752 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94253973077240 94253973078032 94253983019008 140729386554283 140729386554465 140729386554465 140729386561480 0
[pid=196660/tid=196679] ppid=196657 vsize=19041612 memory=1896 CPUtime=0 cores=4,6
/proc/196660/task/196679/stat : 196679 (Timer-0) S 196657 196660 196129 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 20606845 19498610688 31886 134679101440 94253973065728 94253973069424 140729386552752 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94253973077240 94253973078032 94253983019008 140729386554283 140729386554465 140729386554465 140729386561480 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 127544 KiB

[startup+1.50112 s]
/proc/loadavg: 1.82 2.12 2.93 7/335 196680
/proc/meminfo: memFree=123647012/131524600 swapFree=131061428/131071996
[pid=196660] ppid=196657 vsize=19108176 memory=184620 CPUtime=2.76 cores=4,6
/proc/196660/stat : 196660 (java) S 196657 196660 196129 0 -1 1077936128 23020 0 0 0 271 5 0 0 20 0 20 0 20606821 19566772224 46155 134679101440 94253973065728 94253973069424 140729386552752 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94253973077240 94253973078032 94253983019008 140729386554283 140729386554465 140729386554465 140729386561480 0
/proc/196660/statm: 4777044 46155 5877 1 0 555716 0
[pid=196660/tid=196662] ppid=196657 vsize=19108176 memory=13524 CPUtime=1.39 cores=4,6
/proc/196660/task/196662/stat : 196662 (java) R 196657 196660 196129 0 -1 4194368 7051 0 0 0 136 3 0 0 20 0 20 0 20606822 19566772224 46155 134679101440 94253973065728 94253973069424 140729386552752 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94253973077240 94253973078032 94253983019008 140729386554283 140729386554465 140729386554465 140729386561480 0
[pid=196660/tid=196671] ppid=196657 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/196660/task/196671/stat : 196671 (Finalizer) S 196657 196660 196129 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20606824 19566772224 46155 134679101440 94253973065728 94253973069424 140729386552752 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94253973077240 94253973078032 94253983019008 140729386554283 140729386554465 140729386554465 140729386561480 0
[pid=196660/tid=196678] ppid=196657 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/196660/task/196678/stat : 196678 (Common-Cleaner) S 196657 196660 196129 0 -1 1077936192 46 0 0 0 0 0 0 0 20 0 20 0 20606825 19566772224 46155 134679101440 94253973065728 94253973069424 140729386552752 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94253973077240 94253973078032 94253983019008 140729386554283 140729386554465 140729386554465 140729386561480 0
[pid=196660/tid=196679] ppid=196657 vsize=19108176 memory=65 CPUtime=0 cores=4,6
/proc/196660/task/196679/stat : 196679 (Timer-0) S 196657 196660 196129 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20606845 19566772224 46155 134679101440 94253973065728 94253973069424 140729386552752 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94253973077240 94253973078032 94253983019008 140729386554283 140729386554465 140729386554465 140729386561480 0
Current children cumulated CPU time: 2.76 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 184620 KiB

[startup+3.10612 s]
/proc/loadavg: 2.07 2.17 2.94 5/336 196683
/proc/meminfo: memFree=123604632/131524600 swapFree=131061428/131071996
[pid=196660] ppid=196657 vsize=19108176 memory=185036 CPUtime=4.6 cores=4,6
/proc/196660/stat : 196660 (java) S 196657 196660 196129 0 -1 1077936128 25025 0 0 0 454 6 0 0 20 0 20 0 20606821 19566772224 46259 134679101440 94253973065728 94253973069424 140729386552752 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94253973077240 94253973078032 94253983019008 140729386554283 140729386554465 140729386554465 140729386561480 0
/proc/196660/statm: 4777044 46259 5877 1 0 555719 0
[pid=196660/tid=196662] ppid=196657 vsize=19108176 memory=0 CPUtime=2.97 cores=4,6
/proc/196660/task/196662/stat : 196662 (java) R 196657 196660 196129 0 -1 4194368 7426 0 0 0 293 4 0 0 20 0 20 0 20606822 19566772224 46259 134679101440 94253973065728 94253973069424 140729386552752 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94253973077240 94253973078032 94253983019008 140729386554283 140729386554465 140729386554465 140729386561480 0
[pid=196660/tid=196671] ppid=196657 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/196660/task/196671/stat : 196671 (Finalizer) S 196657 196660 196129 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20606824 19566772224 46259 134679101440 94253973065728 94253973069424 140729386552752 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94253973077240 94253973078032 94253983019008 140729386554283 140729386554465 140729386554465 140729386561480 0
[pid=196660/tid=196678] ppid=196657 vsize=19108176 memory=184620 CPUtime=0 cores=4,6
/proc/196660/task/196678/stat : 196678 (Common-Cleaner) S 196657 196660 196129 0 -1 1077936192 46 0 0 0 0 0 0 0 20 0 20 0 20606825 19566772224 46259 134679101440 94253973065728 94253973069424 140729386552752 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94253973077240 94253973078032 94253983019008 140729386554283 140729386554465 140729386554465 140729386561480 0
[pid=196660/tid=196679] ppid=196657 vsize=19108176 memory=13524 CPUtime=0 cores=4,6
/proc/196660/task/196679/stat : 196679 (Timer-0) S 196657 196660 196129 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20606845 19566772224 46259 134679101440 94253973065728 94253973069424 140729386552752 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94253973077240 94253973078032 94253983019008 140729386554283 140729386554465 140729386554465 140729386561480 0
Current children cumulated CPU time: 4.6 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 185036 KiB

[startup+6.30214 s]
/proc/loadavg: 2.07 2.17 2.94 5/336 196683
/proc/meminfo: memFree=123481112/131524600 swapFree=131061428/131071996
[pid=196660] ppid=196657 vsize=19108176 memory=183280 CPUtime=8.11 cores=4,6
/proc/196660/stat : 196660 (java) S 196657 196660 196129 0 -1 1077936128 28932 0 0 0 804 7 0 0 20 0 20 0 20606821 19566772224 45820 134679101440 94253973065728 94253973069424 140729386552752 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94253973077240 94253973078032 94253983019008 140729386554283 140729386554465 140729386554465 140729386561480 0
/proc/196660/statm: 4777044 45820 5877 1 0 555720 0
[pid=196660/tid=196662] ppid=196657 vsize=19108176 memory=13524 CPUtime=6.14 cores=4,6
/proc/196660/task/196662/stat : 196662 (java) R 196657 196660 196129 0 -1 4194368 7916 0 0 0 610 4 0 0 20 0 20 0 20606822 19566772224 45820 134679101440 94253973065728 94253973069424 140729386552752 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94253973077240 94253973078032 94253983019008 140729386554283 140729386554465 140729386554465 140729386561480 0
[pid=196660/tid=196671] ppid=196657 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/196660/task/196671/stat : 196671 (Finalizer) S 196657 196660 196129 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20606824 19566772224 45820 134679101440 94253973065728 94253973069424 140729386552752 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94253973077240 94253973078032 94253983019008 140729386554283 140729386554465 140729386554465 140729386561480 0
[pid=196660/tid=196678] ppid=196657 vsize=19108176 memory=5795966038909276503 CPUtime=0 cores=4,6
/proc/196660/task/196678/stat : 196678 (Common-Cleaner) S 196657 196660 196129 0 -1 1077936192 46 0 0 0 0 0 0 0 20 0 20 0 20606825 19566772224 45820 134679101440 94253973065728 94253973069424 140729386552752 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94253973077240 94253973078032 94253983019008 140729386554283 140729386554465 140729386554465 140729386561480 0
[pid=196660/tid=196679] ppid=196657 vsize=19108176 memory=5516 CPUtime=0 cores=4,6
/proc/196660/task/196679/stat : 196679 (Timer-0) S 196657 196660 196129 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20606845 19566772224 45820 134679101440 94253973065728 94253973069424 140729386552752 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94253973077240 94253973078032 94253983019008 140729386554283 140729386554465 140729386554465 140729386561480 0
Current children cumulated CPU time: 8.11 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 183280 KiB

[startup+12.7002 s]
/proc/loadavg: 2.39 2.23 2.96 5/336 196886
/proc/meminfo: memFree=122809052/131524600 swapFree=131061428/131071996
[pid=196660] ppid=196657 vsize=19108176 memory=331008 CPUtime=15.03 cores=4,6
/proc/196660/stat : 196660 (java) S 196657 196660 196129 0 -1 1077936128 35672 0 0 0 1490 13 0 0 20 0 20 0 20606821 19566772224 82752 134679101440 94253973065728 94253973069424 140729386552752 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94253973077240 94253973078032 94253983019008 140729386554283 140729386554465 140729386554465 140729386561480 0
/proc/196660/statm: 4777044 82752 5877 1 0 555736 0
[pid=196660/tid=196662] ppid=196657 vsize=19108176 memory=0 CPUtime=12.48 cores=4,6
/proc/196660/task/196662/stat : 196662 (java) R 196657 196660 196129 0 -1 4194368 9104 0 0 0 1239 9 0 0 20 0 20 0 20606822 19566772224 82752 134679101440 94253973065728 94253973069424 140729386552752 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94253973077240 94253973078032 94253983019008 140729386554283 140729386554465 140729386554465 140729386561480 0
[pid=196660/tid=196671] ppid=196657 vsize=19108176 memory=331008 CPUtime=0 cores=4,6
/proc/196660/task/196671/stat : 196671 (Finalizer) S 196657 196660 196129 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20606824 19566772224 82752 134679101440 94253973065728 94253973069424 140729386552752 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94253973077240 94253973078032 94253983019008 140729386554283 140729386554465 140729386554465 140729386561480 0
[pid=196660/tid=196678] ppid=196657 vsize=19108176 memory=253028 CPUtime=0 cores=4,6
/proc/196660/task/196678/stat : 196678 (Common-Cleaner) S 196657 196660 196129 0 -1 1077936192 46 0 0 0 0 0 0 0 20 0 20 0 20606825 19566772224 82752 134679101440 94253973065728 94253973069424 140729386552752 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94253973077240 94253973078032 94253983019008 140729386554283 140729386554465 140729386554465 140729386561480 0
[pid=196660/tid=196679] ppid=196657 vsize=19108176 memory=16100 CPUtime=0 cores=4,6
/proc/196660/task/196679/stat : 196679 (Timer-0) S 196657 196660 196129 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20606845 19566772224 82752 134679101440 94253973065728 94253973069424 140729386552752 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94253973077240 94253973078032 94253983019008 140729386554283 140729386554465 140729386554465 140729386561480 0
Current children cumulated CPU time: 15.03 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 331008 KiB

[startup+25.5002 s]
/proc/loadavg: 2.82 2.33 2.98 5/312 196918
/proc/meminfo: memFree=121937664/131524600 swapFree=131061428/131071996
[pid=196660] ppid=196657 vsize=19108176 memory=743500 CPUtime=27.99 cores=4,6
/proc/196660/stat : 196660 (java) S 196657 196660 196129 0 -1 1077936128 43976 0 0 0 2775 24 0 0 20 0 20 0 20606821 19566772224 185875 134679101440 94253973065728 94253973069424 140729386552752 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94253973077240 94253973078032 94253983019008 140729386554283 140729386554465 140729386554465 140729386561480 0
/proc/196660/statm: 4777044 185875 5893 1 0 555736 0
[pid=196660/tid=196662] ppid=196657 vsize=19108176 memory=16100 CPUtime=25.24 cores=4,6
/proc/196660/task/196662/stat : 196662 (java) R 196657 196660 196129 0 -1 4194368 11290 0 0 0 2505 19 0 0 20 0 20 0 20606822 19566772224 185875 134679101440 94253973065728 94253973069424 140729386552752 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94253973077240 94253973078032 94253983019008 140729386554283 140729386554465 140729386554465 140729386561480 0
[pid=196660/tid=196671] ppid=196657 vsize=19108176 memory=-8671791473451901628 CPUtime=0 cores=4,6
/proc/196660/task/196671/stat : 196671 (Finalizer) S 196657 196660 196129 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20606824 19566772224 185875 134679101440 94253973065728 94253973069424 140729386552752 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94253973077240 94253973078032 94253983019008 140729386554283 140729386554465 140729386554465 140729386561480 0
[pid=196660/tid=196678] ppid=196657 vsize=19108176 memory=-9044459746194447340 CPUtime=0 cores=4,6
/proc/196660/task/196678/stat : 196678 (Common-Cleaner) S 196657 196660 196129 0 -1 1077936192 46 0 0 0 0 0 0 0 20 0 20 0 20606825 19566772224 185875 134679101440 94253973065728 94253973069424 140729386552752 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94253973077240 94253973078032 94253983019008 140729386554283 140729386554465 140729386554465 140729386561480 0
[pid=196660/tid=196679] ppid=196657 vsize=19108176 memory=12156 CPUtime=0 cores=4,6
/proc/196660/task/196679/stat : 196679 (Timer-0) S 196657 196660 196129 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20606845 19566772224 185875 134679101440 94253973065728 94253973069424 140729386552752 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94253973077240 94253973078032 94253983019008 140729386554283 140729386554465 140729386554465 140729386561480 0
Current children cumulated CPU time: 27.99 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 743500 KiB

[startup+51.1058 s]
/proc/loadavg: 3.53 2.54 3.03 5/336 196960
/proc/meminfo: memFree=116788040/131524600 swapFree=131061428/131071996
[pid=196660] ppid=196657 vsize=19108176 memory=1071180 CPUtime=53.19 cores=4,6
/proc/196660/stat : 196660 (java) S 196657 196660 196129 0 -1 1077936128 46505 0 0 0 5281 38 0 0 20 0 20 0 20606821 19566772224 267795 134679101440 94253973065728 94253973069424 140729386552752 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94253973077240 94253973078032 94253983019008 140729386554283 140729386554465 140729386554465 140729386561480 0
/proc/196660/statm: 4777044 267795 5893 1 0 555736 0
[pid=196660/tid=196662] ppid=196657 vsize=19108176 memory=5516 CPUtime=50.43 cores=4,6
/proc/196660/task/196662/stat : 196662 (java) R 196657 196660 196129 0 -1 4194368 13695 0 0 0 5011 32 0 0 20 0 20 0 20606822 19566772224 267795 134679101440 94253973065728 94253973069424 140729386552752 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 35 0 0 94253973077240 94253973078032 94253983019008 140729386554283 140729386554465 140729386554465 140729386561480 0

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

/proc/meminfo: memFree=110166680/131524600 swapFree=131061428/131071996
[pid=196660] ppid=196657 vsize=19108176 memory=1536020 CPUtime=3270.72 cores=4,6
/proc/196660/stat : 196660 (java) S 196657 196660 196129 0 -1 1077936128 173545 0 0 0 326642 430 0 0 20 0 20 0 20606821 19566772224 384005 134679101440 94253973065728 94253973069424 140729386552752 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94253973077240 94253973078032 94253983019008 140729386554283 140729386554465 140729386554465 140729386561480 0
/proc/196660/statm: 4777044 384005 5924 1 0 557110 0
[pid=196660/tid=196662] ppid=196657 vsize=19108176 memory=1536020 CPUtime=3263.15 cores=4,6
/proc/196660/task/196662/stat : 196662 (java) R 196657 196660 196129 0 -1 4194368 72800 0 0 0 325972 343 0 0 20 0 20 0 20606822 19566772224 384005 134679101440 94253973065728 94253973069424 140729386552752 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 820 0 0 94253973077240 94253973078032 94253983019008 140729386554283 140729386554465 140729386554465 140729386561480 0
[pid=196660/tid=196671] ppid=196657 vsize=19108176 memory=13524 CPUtime=0 cores=4,6
/proc/196660/task/196671/stat : 196671 (Finalizer) S 196657 196660 196129 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20606824 19566772224 384005 134679101440 94253973065728 94253973069424 140729386552752 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94253973077240 94253973078032 94253983019008 140729386554283 140729386554465 140729386554465 140729386561480 0
[pid=196660/tid=196678] ppid=196657 vsize=19108176 memory=1536020 CPUtime=0 cores=4,6
/proc/196660/task/196678/stat : 196678 (Common-Cleaner) S 196657 196660 196129 0 -1 1077936192 4062 0 0 0 0 0 0 0 20 0 20 0 20606825 19566772224 384005 134679101440 94253973065728 94253973069424 140729386552752 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94253973077240 94253973078032 94253983019008 140729386554283 140729386554465 140729386554465 140729386561480 0
[pid=196660/tid=196679] ppid=196657 vsize=19108176 memory=1536020 CPUtime=0 cores=4,6
/proc/196660/task/196679/stat : 196679 (Timer-0) S 196657 196660 196129 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20606845 19566772224 384005 134679101440 94253973065728 94253973069424 140729386552752 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94253973077240 94253973078032 94253983019008 140729386554283 140729386554465 140729386554465 140729386561480 0
Current children cumulated CPU time: 3270.72 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1536020 KiB

[startup+3342.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/335 198827
/proc/meminfo: memFree=110049472/131524600 swapFree=131061428/131071996
[pid=196660] ppid=196657 vsize=19108176 memory=1536020 CPUtime=3330.6 cores=4,6
/proc/196660/stat : 196660 (java) S 196657 196660 196129 0 -1 1077936128 174434 0 0 0 332623 437 0 0 20 0 20 0 20606821 19566772224 384005 134679101440 94253973065728 94253973069424 140729386552752 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94253973077240 94253973078032 94253983019008 140729386554283 140729386554465 140729386554465 140729386561480 0
/proc/196660/statm: 4777044 384005 5924 1 0 557110 0
[pid=196660/tid=196662] ppid=196657 vsize=19108176 memory=12156 CPUtime=3323 cores=4,6
/proc/196660/task/196662/stat : 196662 (java) R 196657 196660 196129 0 -1 4194368 73600 0 0 0 331952 348 0 0 20 0 20 0 20606822 19566772224 384005 134679101440 94253973065728 94253973069424 140729386552752 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 821 0 0 94253973077240 94253973078032 94253983019008 140729386554283 140729386554465 140729386554465 140729386561480 0
[pid=196660/tid=196671] ppid=196657 vsize=19108176 memory=1536020 CPUtime=0 cores=4,6
/proc/196660/task/196671/stat : 196671 (Finalizer) S 196657 196660 196129 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20606824 19566772224 384005 134679101440 94253973065728 94253973069424 140729386552752 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94253973077240 94253973078032 94253983019008 140729386554283 140729386554465 140729386554465 140729386561480 0
[pid=196660/tid=196678] ppid=196657 vsize=19108176 memory=12156 CPUtime=0 cores=4,6
/proc/196660/task/196678/stat : 196678 (Common-Cleaner) S 196657 196660 196129 0 -1 1077936192 4100 0 0 0 0 0 0 0 20 0 20 0 20606825 19566772224 384005 134679101440 94253973065728 94253973069424 140729386552752 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94253973077240 94253973078032 94253983019008 140729386554283 140729386554465 140729386554465 140729386561480 0
[pid=196660/tid=196679] ppid=196657 vsize=19108176 memory=1536020 CPUtime=0 cores=4,6
/proc/196660/task/196679/stat : 196679 (Timer-0) S 196657 196660 196129 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20606845 19566772224 384005 134679101440 94253973065728 94253973069424 140729386552752 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94253973077240 94253973078032 94253983019008 140729386554283 140729386554465 140729386554465 140729386561480 0
Current children cumulated CPU time: 3330.6 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1536020 KiB

[startup+3402.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/335 198838
/proc/meminfo: memFree=109999192/131524600 swapFree=131061428/131071996
[pid=196660] ppid=196657 vsize=19108176 memory=1536020 CPUtime=3390.45 cores=4,6
/proc/196660/stat : 196660 (java) S 196657 196660 196129 0 -1 1077936128 176626 0 0 0 338602 443 0 0 20 0 20 0 20606821 19566772224 384005 134679101440 94253973065728 94253973069424 140729386552752 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94253973077240 94253973078032 94253983019008 140729386554283 140729386554465 140729386554465 140729386561480 0
/proc/196660/statm: 4777044 384005 5924 1 0 557110 0
[pid=196660/tid=196662] ppid=196657 vsize=19108176 memory=1536020 CPUtime=3382.72 cores=4,6
/proc/196660/task/196662/stat : 196662 (java) R 196657 196660 196129 0 -1 4194368 74656 0 0 0 337920 352 0 0 20 0 20 0 20606822 19566772224 384005 134679101440 94253973065728 94253973069424 140729386552752 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 830 0 0 94253973077240 94253973078032 94253983019008 140729386554283 140729386554465 140729386554465 140729386561480 0
[pid=196660/tid=196671] ppid=196657 vsize=19108176 memory=67600 CPUtime=0 cores=4,6
/proc/196660/task/196671/stat : 196671 (Finalizer) S 196657 196660 196129 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20606824 19566772224 384005 134679101440 94253973065728 94253973069424 140729386552752 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94253973077240 94253973078032 94253983019008 140729386554283 140729386554465 140729386554465 140729386561480 0
[pid=196660/tid=196678] ppid=196657 vsize=19108176 memory=67600 CPUtime=0 cores=4,6
/proc/196660/task/196678/stat : 196678 (Common-Cleaner) S 196657 196660 196129 0 -1 1077936192 4215 0 0 0 0 0 0 0 20 0 20 0 20606825 19566772224 384005 134679101440 94253973065728 94253973069424 140729386552752 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94253973077240 94253973078032 94253983019008 140729386554283 140729386554465 140729386554465 140729386561480 0
[pid=196660/tid=196679] ppid=196657 vsize=19108176 memory=1536020 CPUtime=0 cores=4,6
/proc/196660/task/196679/stat : 196679 (Timer-0) S 196657 196660 196129 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20606845 19566772224 384005 134679101440 94253973065728 94253973069424 140729386552752 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94253973077240 94253973078032 94253983019008 140729386554283 140729386554465 140729386554465 140729386561480 0
Current children cumulated CPU time: 3390.45 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1536020 KiB

[startup+3462.3 s]
/proc/loadavg: 4.17 4.12 4.09 5/333 198849
/proc/meminfo: memFree=109947904/131524600 swapFree=131061428/131071996
[pid=196660] ppid=196657 vsize=19108176 memory=1536020 CPUtime=3450.22 cores=4,6
/proc/196660/stat : 196660 (java) S 196657 196660 196129 0 -1 1077936128 177020 0 0 0 344574 448 0 0 20 0 20 0 20606821 19566772224 384005 134679101440 94253973065728 94253973069424 140729386552752 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94253973077240 94253973078032 94253983019008 140729386554283 140729386554465 140729386554465 140729386561480 0
/proc/196660/statm: 4777044 384005 5924 1 0 557110 0
[pid=196660/tid=196662] ppid=196657 vsize=19108176 memory=1536020 CPUtime=3442.46 cores=4,6
/proc/196660/task/196662/stat : 196662 (java) R 196657 196660 196129 0 -1 4194368 74959 0 0 0 343891 355 0 0 20 0 20 0 20606822 19566772224 384005 134679101440 94253973065728 94253973069424 140729386552752 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 840 0 0 94253973077240 94253973078032 94253983019008 140729386554283 140729386554465 140729386554465 140729386561480 0
[pid=196660/tid=196671] ppid=196657 vsize=19108176 memory=67600 CPUtime=0 cores=4,6
/proc/196660/task/196671/stat : 196671 (Finalizer) S 196657 196660 196129 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20606824 19566772224 384005 134679101440 94253973065728 94253973069424 140729386552752 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94253973077240 94253973078032 94253983019008 140729386554283 140729386554465 140729386554465 140729386561480 0
[pid=196660/tid=196678] ppid=196657 vsize=19108176 memory=1536020 CPUtime=0 cores=4,6
/proc/196660/task/196678/stat : 196678 (Common-Cleaner) S 196657 196660 196129 0 -1 1077936192 4302 0 0 0 0 0 0 0 20 0 20 0 20606825 19566772224 384005 134679101440 94253973065728 94253973069424 140729386552752 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94253973077240 94253973078032 94253983019008 140729386554283 140729386554465 140729386554465 140729386561480 0
[pid=196660/tid=196679] ppid=196657 vsize=19108176 memory=1536020 CPUtime=0 cores=4,6
/proc/196660/task/196679/stat : 196679 (Timer-0) S 196657 196660 196129 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20606845 19566772224 384005 134679101440 94253973065728 94253973069424 140729386552752 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94253973077240 94253973078032 94253983019008 140729386554283 140729386554465 140729386554465 140729386561480 0
Current children cumulated CPU time: 3450.22 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1536020 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/333 198859
/proc/meminfo: memFree=109854440/131524600 swapFree=131061428/131071996
[pid=196660] ppid=196657 vsize=19108176 memory=1536020 CPUtime=3510.04 cores=4,6
/proc/196660/stat : 196660 (java) S 196657 196660 196129 0 -1 1077936128 178053 0 0 0 350551 453 0 0 20 0 20 0 20606821 19566772224 384005 134679101440 94253973065728 94253973069424 140729386552752 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94253973077240 94253973078032 94253983019008 140729386554283 140729386554465 140729386554465 140729386561480 0
/proc/196660/statm: 4777044 384005 5924 1 0 557110 0
[pid=196660/tid=196662] ppid=196657 vsize=19108176 memory=1536020 CPUtime=3502.26 cores=4,6
/proc/196660/task/196662/stat : 196662 (java) R 196657 196660 196129 0 -1 4194368 75877 0 0 0 349867 359 0 0 20 0 20 0 20606822 19566772224 384005 134679101440 94253973065728 94253973069424 140729386552752 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 847 0 0 94253973077240 94253973078032 94253983019008 140729386554283 140729386554465 140729386554465 140729386561480 0
[pid=196660/tid=196671] ppid=196657 vsize=19108176 memory=1536020 CPUtime=0 cores=4,6
/proc/196660/task/196671/stat : 196671 (Finalizer) S 196657 196660 196129 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20606824 19566772224 384005 134679101440 94253973065728 94253973069424 140729386552752 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94253973077240 94253973078032 94253983019008 140729386554283 140729386554465 140729386554465 140729386561480 0
[pid=196660/tid=196678] ppid=196657 vsize=19108176 memory=1536020 CPUtime=0 cores=4,6
/proc/196660/task/196678/stat : 196678 (Common-Cleaner) S 196657 196660 196129 0 -1 1077936192 4362 0 0 0 0 0 0 0 20 0 20 0 20606825 19566772224 384005 134679101440 94253973065728 94253973069424 140729386552752 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94253973077240 94253973078032 94253983019008 140729386554283 140729386554465 140729386554465 140729386561480 0
[pid=196660/tid=196679] ppid=196657 vsize=19108176 memory=1536020 CPUtime=0 cores=4,6
/proc/196660/task/196679/stat : 196679 (Timer-0) S 196657 196660 196129 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20606845 19566772224 384005 134679101440 94253973065728 94253973069424 140729386552752 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94253973077240 94253973078032 94253983019008 140729386554283 140729386554465 140729386554465 140729386561480 0
Current children cumulated CPU time: 3510.04 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1536020 KiB

[startup+3582.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/333 198869
/proc/meminfo: memFree=109792416/131524600 swapFree=131061428/131071996
[pid=196660] ppid=196657 vsize=19108176 memory=1536020 CPUtime=3569.84 cores=4,6
/proc/196660/stat : 196660 (java) S 196657 196660 196129 0 -1 1077936128 179259 0 0 0 356526 458 0 0 20 0 20 0 20606821 19566772224 384005 134679101440 94253973065728 94253973069424 140729386552752 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94253973077240 94253973078032 94253983019008 140729386554283 140729386554465 140729386554465 140729386561480 0
/proc/196660/statm: 4777044 384005 5924 1 0 557110 0
[pid=196660/tid=196662] ppid=196657 vsize=19108176 memory=67600 CPUtime=3562.03 cores=4,6
/proc/196660/task/196662/stat : 196662 (java) R 196657 196660 196129 0 -1 4194368 76996 0 0 0 355840 363 0 0 20 0 20 0 20606822 19566772224 384005 134679101440 94253973065728 94253973069424 140729386552752 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 856 0 0 94253973077240 94253973078032 94253983019008 140729386554283 140729386554465 140729386554465 140729386561480 0
[pid=196660/tid=196671] ppid=196657 vsize=19108176 memory=1536020 CPUtime=0 cores=4,6
/proc/196660/task/196671/stat : 196671 (Finalizer) S 196657 196660 196129 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20606824 19566772224 384005 134679101440 94253973065728 94253973069424 140729386552752 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94253973077240 94253973078032 94253983019008 140729386554283 140729386554465 140729386554465 140729386561480 0
[pid=196660/tid=196678] ppid=196657 vsize=19108176 memory=12156 CPUtime=0 cores=4,6
/proc/196660/task/196678/stat : 196678 (Common-Cleaner) S 196657 196660 196129 0 -1 1077936192 4400 0 0 0 0 0 0 0 20 0 20 0 20606825 19566772224 384005 134679101440 94253973065728 94253973069424 140729386552752 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94253973077240 94253973078032 94253983019008 140729386554283 140729386554465 140729386554465 140729386561480 0
[pid=196660/tid=196679] ppid=196657 vsize=19108176 memory=1536020 CPUtime=0 cores=4,6
/proc/196660/task/196679/stat : 196679 (Timer-0) S 196657 196660 196129 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20606845 19566772224 384005 134679101440 94253973065728 94253973069424 140729386552752 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94253973077240 94253973078032 94253983019008 140729386554283 140729386554465 140729386554465 140729386561480 0
Current children cumulated CPU time: 3569.84 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1536020 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612.5 s]
/proc/loadavg: 4.09 4.11 4.09 4/307 198909
/proc/meminfo: memFree=113092208/131524600 swapFree=131061428/131071996
[pid=196660] ppid=196657 vsize=19108176 memory=1536020 CPUtime=3600.02 cores=4,6
/proc/196660/stat : 196660 (java) S 196657 196660 196129 0 -1 1077936128 180572 0 0 0 359543 459 0 0 20 0 20 0 20606821 19566772224 384005 134679101440 94253973065728 94253973069424 140729386552752 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94253973077240 94253973078032 94253983019008 140729386554283 140729386554465 140729386554465 140729386561480 0
/proc/196660/statm: 4777044 384005 5924 1 0 557110 0
[pid=196660/tid=196662] ppid=196657 vsize=19108176 memory=1536020 CPUtime=3592.07 cores=4,6
/proc/196660/task/196662/stat : 196662 (java) R 196657 196660 196129 0 -1 4194368 77428 0 0 0 358843 364 0 0 20 0 20 0 20606822 19566772224 384005 134679101440 94253973065728 94253973069424 140729386552752 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 858 0 0 94253973077240 94253973078032 94253983019008 140729386554283 140729386554465 140729386554465 140729386561480 0
[pid=196660/tid=196671] ppid=196657 vsize=19108176 memory=12156 CPUtime=0 cores=4,6
/proc/196660/task/196671/stat : 196671 (Finalizer) S 196657 196660 196129 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20606824 19566772224 384005 134679101440 94253973065728 94253973069424 140729386552752 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94253973077240 94253973078032 94253983019008 140729386554283 140729386554465 140729386554465 140729386561480 0
[pid=196660/tid=196678] ppid=196657 vsize=19108176 memory=1536020 CPUtime=0 cores=4,6
/proc/196660/task/196678/stat : 196678 (Common-Cleaner) S 196657 196660 196129 0 -1 1077936192 4496 0 0 0 0 0 0 0 20 0 20 0 20606825 19566772224 384005 134679101440 94253973065728 94253973069424 140729386552752 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94253973077240 94253973078032 94253983019008 140729386554283 140729386554465 140729386554465 140729386561480 0
[pid=196660/tid=196679] ppid=196657 vsize=19108176 memory=12156 CPUtime=0 cores=4,6
/proc/196660/task/196679/stat : 196679 (Timer-0) S 196657 196660 196129 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20606845 19566772224 384005 134679101440 94253973065728 94253973069424 140729386552752 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94253973077240 94253973078032 94253983019008 140729386554283 140729386554465 140729386554465 140729386561480 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1536020 KiB

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

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

# cumulated CPU time of all completed processes:  user=3595.57 s, system=4.60712 s

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

[startup+3612.5 s]
/proc/loadavg: 4.09 4.11 4.09 4/307 198909
/proc/meminfo: memFree=113092208/131524600 swapFree=131061428/131071996
[pid=196660] ppid=196657 vsize=19108176 memory=1536020 CPUtime=3600.02 cores=4,6
/proc/196660/stat : 196660 (java) S 196657 196660 196129 0 -1 1077936128 180572 0 0 0 359543 459 0 0 20 0 20 0 20606821 19566772224 384005 134679101440 94253973065728 94253973069424 140729386552752 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94253973077240 94253973078032 94253983019008 140729386554283 140729386554465 140729386554465 140729386561480 0
/proc/196660/statm: 4777044 384005 5924 1 0 557110 0
[pid=196660/tid=196662] ppid=196657 vsize=19108176 memory=1536020 CPUtime=3592.07 cores=4,6
/proc/196660/task/196662/stat : 196662 (java) R 196657 196660 196129 0 -1 4194368 77428 0 0 0 358843 364 0 0 20 0 20 0 20606822 19566772224 384005 134679101440 94253973065728 94253973069424 140729386552752 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 858 0 0 94253973077240 94253973078032 94253983019008 140729386554283 140729386554465 140729386554465 140729386561480 0
[pid=196660/tid=196671] ppid=196657 vsize=19108176 memory=12156 CPUtime=0 cores=4,6
/proc/196660/task/196671/stat : 196671 (Finalizer) S 196657 196660 196129 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20606824 19566772224 384005 134679101440 94253973065728 94253973069424 140729386552752 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94253973077240 94253973078032 94253983019008 140729386554283 140729386554465 140729386554465 140729386561480 0
[pid=196660/tid=196678] ppid=196657 vsize=19108176 memory=1536020 CPUtime=0 cores=4,6
/proc/196660/task/196678/stat : 196678 (Common-Cleaner) S 196657 196660 196129 0 -1 1077936192 4496 0 0 0 0 0 0 0 20 0 20 0 20606825 19566772224 384005 134679101440 94253973065728 94253973069424 140729386552752 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94253973077240 94253973078032 94253983019008 140729386554283 140729386554465 140729386554465 140729386561480 0
[pid=196660/tid=196679] ppid=196657 vsize=19108176 memory=12156 CPUtime=0 cores=4,6
/proc/196660/task/196679/stat : 196679 (Timer-0) S 196657 196660 196129 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20606845 19566772224 384005 134679101440 94253973065728 94253973069424 140729386552752 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94253973077240 94253973078032 94253983019008 140729386554283 140729386554465 140729386554465 140729386561480 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1536020 KiB

Child status: 143

Real time (s): 3612.59
CPU time (s): 3600.17
CPU user time (s): 3595.57
CPU system time (s): 4.60712
CPU usage (%): 99.6563
Max. virtual memory (cumulated for all children) (KiB): 19109844
Max. memory (cumulated for all children) (KiB): 1536020

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.57
system time used= 4.60712
maximum resident set size= 1537448
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 183002
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2164544
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 102050
involuntary context switches= 7772


# summary of solver processes directly reported to runsolver:
#   pid: 196660
#   total CPU time (s): 3600.17
#   total CPU user time (s): 3595.57
#   total CPU system time (s): 4.60712

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.95482 second user time and 18.1269 second system time

The end

Launcher Data 

Begin job on nodeC022 at 2024-07-24 19:07:19
IDJOB=4452082
IDBENCH=162875
IDSOLVER=3079
FILE ID=nodeC022/4452082-1721840839
RUNJOBID= nodeC022-1721840837-196140
SLURM_JOB_ID= 7891554
Free space on /tmp= 890080 MiB

SOLVER NAME= Sat4j Resolution 2024 2024-07-07
BENCH NAME= PB24/normalized-PB16/DEC-LIN/quimper/SyncCodes/d_n_k/normalized-7_6_28.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4452082-1721840839/watcher-4452082-1721840839 -o /tmp/evaluation-result-4452082-1721840839/solver-4452082-1721840839 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1721840837-196140 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4452082-1721840839 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4452082-1721840839.opb

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

MD5SUM BENCH= fe5132cea97c009eada70044fd563797
RANDOM SEED=1276413107

nodeC022.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		: 3661.304
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.87
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		: 3599.937
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	: 7006.75
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		: 3661.376
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.87
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		: 3599.937
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	: 7006.75
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		: 3599.987
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.87
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.942
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	: 7006.75
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.993
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.87
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        123883100 kB
MemAvailable:   129226724 kB
Buffers:          269236 kB
Cached:          5823400 kB
SwapCached:         1408 kB
Active:          2525068 kB
Inactive:        4341756 kB
Active(anon):       1944 kB
Inactive(anon):   826052 kB
Active(file):    2523124 kB
Inactive(file):  3515704 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131061428 kB
Dirty:              8824 kB
Writeback:             0 kB
AnonPages:        772644 kB
Mapped:           134504 kB
Shmem:             53732 kB
KReclaimable:     292984 kB
Slab:             417312 kB
SReclaimable:     292984 kB
SUnreclaim:       124328 kB
KernelStack:        5040 kB
PageTables:        11568 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    7441524 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            17248 kB
HardwareCorrupted:     0 kB
AnonHugePages:    462848 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:      334548 kB
DirectMap2M:    36139008 kB
DirectMap1G:    99614720 kB

Free space on /tmp at the end= 890068 MiB
End job on nodeC022 at 2024-07-24 20:07:32