Trace number 4453342

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.2 3589.31

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/vc-lines-v2_shuffle/normalized-grid8_59.shuf-3.opb
MD5SUM254a849970c239072df004e28e5fe1a7
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 benchmark0.14232
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables472
Total number of constraints473
Number of constraints which are clauses472
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint472
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 17
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 489
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 		2104792832
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.14/0.12	--- Begin Solver configuration ---
0.14/0.12	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.14/0.12	Learn all clauses as in MiniSAT
0.14/0.12	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.12	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.12	Expensive reason simplification
0.14/0.12	Glucose 2.1 dynamic restart strategy
0.14/0.12	Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.14/0.12	timeout=2147483s
0.14/0.12	DB Simplification allowed=false
0.14/0.12	Listener: none
0.14/0.12	--- End Solver configuration ---
0.14/0.12	c Pseudo Boolean Optimization by upper bound
0.14/0.12	c --- Begin Solver configuration ---
0.14/0.12	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.14/0.12	c Learn all clauses as in MiniSAT
0.14/0.12	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.12	c Expensive reason simplification
0.14/0.12	c Glucose 2.1 dynamic restart strategy
0.14/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.14/0.12	c timeout=2147483s
0.14/0.12	c DB Simplification allowed=false
0.14/0.12	c Listener: none
0.14/0.12	c --- End Solver configuration ---
0.14/0.12	c solving HOME/instance-4453342-1721843091.opb
0.14/0.12	c reading problem ... 
0.18/0.27	c using VERIPB proof format
0.18/0.27	c  no objective function found
0.18/0.30	c ... done. Wall clock time 0.174s.
0.18/0.30	c declared #vars     472
0.18/0.30	c #constraints  473
0.18/0.30	c constraints type 
0.18/0.30	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 472
0.18/0.30	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
0.18/0.30	c 473 constraints processed.
2.38/1.47	c cleaning 2497 clauses out of 5000 with flag 10920/5000
4.35/2.41	c cleaning 4249 clauses out of 8503 with flag 24022/11000
5.21/3.16	c cleaning 5626 clauses out of 11256 with flag 39250/18002
6.27/4.07	c cleaning 6813 clauses out of 13628 with flag 56754/26000
7.60/5.24	c cleaning 7908 clauses out of 15815 with flag 76441/35000
9.12/6.61	c cleaning 8954 clauses out of 17908 with flag 98469/45001
10.52/7.92	c cleaning 9977 clauses out of 19954 with flag 122594/56001
12.05/9.45	c cleaning 10989 clauses out of 21977 with flag 148765/68001
13.80/11.15	c cleaning 11995 clauses out of 23989 with flag 177170/81002
15.75/13.07	c cleaning 12992 clauses out of 25993 with flag 207636/95001
17.84/15.07	c cleaning 14001 clauses out of 28002 with flag 240211/110002
20.14/17.21	c cleaning 15000 clauses out of 30000 with flag 275129/126001
22.58/19.59	c cleaning 15998 clauses out of 31999 with flag 312244/143000
25.44/22.35	c cleaning 16995 clauses out of 34001 with flag 351420/161000
28.50/25.31	c cleaning 17998 clauses out of 36006 with flag 392851/180000
31.69/28.47	c cleaning 19004 clauses out of 38008 with flag 436420/200000
35.29/31.96	c cleaning 20003 clauses out of 40005 with flag 482175/221001
39.53/36.97	c cleaning 21001 clauses out of 42001 with flag 530244/243000
43.79/41.01	c cleaning 22000 clauses out of 44001 with flag 580516/266001
47.78/45.00	c cleaning 23000 clauses out of 46000 with flag 633039/290000
52.28/49.41	c cleaning 23998 clauses out of 48001 with flag 687620/315001
57.22/54.27	c cleaning 24997 clauses out of 50002 with flag 744296/341000
63.23/60.14	c cleaning 25996 clauses out of 52005 with flag 803291/368000
69.02/66.29	c cleaning 27005 clauses out of 54009 with flag 864322/396000
73.49/70.79	c cleaning 27996 clauses out of 56004 with flag 927575/425000
78.13/75.36	c cleaning 29004 clauses out of 58009 with flag 993013/455001
83.72/80.81	c cleaning 30000 clauses out of 60005 with flag 1060615/486001
89.77/86.70	c cleaning 31003 clauses out of 62005 with flag 1130691/518001
95.57/92.55	c cleaning 32001 clauses out of 64001 with flag 1202941/551000
102.54/99.90	c cleaning 32997 clauses out of 66002 with flag 1277105/585002
110.18/107.49	c cleaning 34000 clauses out of 68004 with flag 1353543/620001
116.64/113.71	c cleaning 34992 clauses out of 70004 with flag 1432097/656001
123.97/120.96	c cleaning 36006 clauses out of 72011 with flag 1512867/693000
132.87/130.16	c cleaning 36993 clauses out of 74006 with flag 1595779/731001
142.34/139.51	c cleaning 38000 clauses out of 76012 with flag 1680916/770000
153.18/150.14	c cleaning 39005 clauses out of 78013 with flag 1768057/810001
164.61/161.97	c cleaning 40001 clauses out of 80008 with flag 1857427/851001
173.52/170.72	c cleaning 41001 clauses out of 82007 with flag 1949080/893001
182.95/180.07	c cleaning 42003 clauses out of 84005 with flag 2042863/936000
194.01/191.33	c cleaning 43002 clauses out of 86003 with flag 2139202/980001
203.68/200.91	c cleaning 43997 clauses out of 88002 with flag 2237544/1025002
214.10/211.32	c cleaning 44994 clauses out of 90003 with flag 2337980/1071000
225.25/222.68	c cleaning 45994 clauses out of 92010 with flag 2440599/1118001
235.64/232.93	c cleaning 47008 clauses out of 94016 with flag 2545116/1166001
246.74/244.01	c cleaning 47999 clauses out of 96007 with flag 2651936/1215000
259.66/256.80	c cleaning 48997 clauses out of 98008 with flag 2760769/1265000
273.65/270.77	c cleaning 49997 clauses out of 100012 with flag 2871869/1316001
286.82/283.80	c cleaning 51004 clauses out of 102014 with flag 2985352/1368000
301.84/298.73	c cleaning 52002 clauses out of 104010 with flag 3101442/1421000
316.88/314.10	c cleaning 53001 clauses out of 106009 with flag 3219485/1475001
331.88/328.76	c cleaning 53991 clauses out of 108007 with flag 3339395/1530000
347.46/344.41	c cleaning 55000 clauses out of 110016 with flag 3461328/1586000
363.85/360.71	c cleaning 56002 clauses out of 112017 with flag 3585940/1643001
385.03/382.29	c cleaning 57001 clauses out of 114014 with flag 3712727/1701000
402.09/399.22	c cleaning 58006 clauses out of 116014 with flag 3841980/1760001
419.31/416.41	c cleaning 58999 clauses out of 118008 with flag 3973187/1820001
438.92/436.03	c cleaning 60001 clauses out of 120008 with flag 4106741/1881000
459.43/456.48	c cleaning 60998 clauses out of 122008 with flag 4242401/1943001
476.03/472.94	c cleaning 62001 clauses out of 124011 with flag 4379895/2006002
494.01/490.89	c cleaning 63002 clauses out of 126009 with flag 4519995/2070001
515.12/511.80	c cleaning 63997 clauses out of 128006 with flag 4661879/2135000
536.42/533.15	c cleaning 65001 clauses out of 130009 with flag 4805870/2201000
559.38/556.00	c cleaning 66000 clauses out of 132009 with flag 4951916/2268001
580.89/576.96	c cleaning 66999 clauses out of 134008 with flag 5100329/2336000
605.71/601.94	c cleaning 68005 clauses out of 136009 with flag 5251131/2405000
629.04/625.54	c cleaning 69002 clauses out of 138005 with flag 5403942/2475001
653.86/650.24	c cleaning 70000 clauses out of 140003 with flag 5558682/2546001
678.51/674.83	c cleaning 70999 clauses out of 142002 with flag 5715925/2618000
705.64/701.99	c cleaning 71999 clauses out of 144004 with flag 5875511/2691001
737.68/733.91	c cleaning 72997 clauses out of 146004 with flag 6036906/2765000
766.91/763.03	c cleaning 73999 clauses out of 148008 with flag 6200848/2840001
797.30/793.44	c cleaning 75000 clauses out of 150010 with flag 6366994/2916002
830.12/826.26	c cleaning 75999 clauses out of 152009 with flag 6535199/2993001
859.41/855.46	c cleaning 77002 clauses out of 154011 with flag 6705340/3071002
890.80/886.75	c cleaning 78000 clauses out of 156009 with flag 6877914/3150002
919.94/916.02	c cleaning 78998 clauses out of 158008 with flag 7052496/3230001
954.90/951.02	c cleaning 80002 clauses out of 160011 with flag 7229704/3311002
989.75/985.70	c cleaning 81000 clauses out of 162008 with flag 7408925/3393001
1024.27/1020.20	c cleaning 82003 clauses out of 164007 with flag 7590155/3476000
1059.49/1054.82	c cleaning 82998 clauses out of 166005 with flag 7773294/3560001
1091.93/1087.10	c cleaning 84000 clauses out of 168006 with flag 7958730/3645000
1129.18/1124.31	c cleaning 85003 clauses out of 170007 with flag 8146805/3731001
1175.02/1170.22	c cleaning 85997 clauses out of 172003 with flag 8337215/3818000
1214.15/1209.36	c cleaning 87000 clauses out of 174006 with flag 8529323/3906000
1256.55/1251.87	c cleaning 87996 clauses out of 176007 with flag 8723371/3995001
1297.90/1293.10	c cleaning 89001 clauses out of 178010 with flag 8919661/4085000
1343.32/1337.63	c cleaning 90005 clauses out of 180009 with flag 9118049/4176000
1385.36/1379.76	c cleaning 90999 clauses out of 182005 with flag 9319356/4268001
1430.93/1425.41	c cleaning 91995 clauses out of 184007 with flag 9522285/4361002
1465.02/1459.44	c cleaning 92994 clauses out of 186011 with flag 9727268/4455001
1501.62/1495.87	c cleaning 94008 clauses out of 188016 with flag 9934074/4550000
1537.55/1531.52	c cleaning 95002 clauses out of 190008 with flag 10143646/4646000
1579.05/1572.39	c cleaning 96000 clauses out of 192006 with flag 10355442/4743000
1614.93/1608.12	c cleaning 96994 clauses out of 194006 with flag 10569121/4841000
1659.35/1652.70	c cleaning 98000 clauses out of 196013 with flag 10785543/4940001
1704.56/1698.19	c cleaning 99000 clauses out of 198013 with flag 11003446/5040001
1753.63/1746.19	c cleaning 100007 clauses out of 200013 with flag 11223434/5141001
1799.81/1794.57	c cleaning 100995 clauses out of 202005 with flag 11445918/5243000
1853.82/1848.77	c cleaning 102000 clauses out of 204011 with flag 11670702/5346001
1898.57/1893.13	c cleaning 103005 clauses out of 206011 with flag 11897668/5450001
1953.56/1949.14	c cleaning 103998 clauses out of 208006 with flag 12126657/5555001
2015.90/2010.94	c cleaning 104998 clauses out of 210007 with flag 12358058/5661000
2072.30/2068.29	c cleaning 106005 clauses out of 212010 with flag 12591505/5768001
2129.09/2124.99	c cleaning 106999 clauses out of 214005 with flag 12827587/5876001
2180.04/2175.17	c cleaning 107994 clauses out of 216005 with flag 13065911/5985000
2236.43/2231.67	c cleaning 109003 clauses out of 218012 with flag 13306063/6095001
2296.16/2291.38	c cleaning 109996 clauses out of 220008 with flag 13548515/6206000
2350.71/2346.05	c cleaning 111003 clauses out of 222014 with flag 13792656/6318002
2402.98/2398.42	c cleaning 112000 clauses out of 224009 with flag 14039184/6431000
2458.92/2453.64	c cleaning 113000 clauses out of 226009 with flag 14287369/6545000
2504.41/2499.01	c cleaning 113997 clauses out of 228009 with flag 14538203/6660000
2558.72/2552.74	c cleaning 115002 clauses out of 230012 with flag 14791621/6776000
2625.95/2620.22	c cleaning 116002 clauses out of 232011 with flag 15047281/6893001
2686.11/2680.46	c cleaning 116997 clauses out of 234008 with flag 15304728/7011000
2756.24/2749.86	c cleaning 117995 clauses out of 236011 with flag 15564862/7130000
2820.04/2814.18	c cleaning 119003 clauses out of 238016 with flag 15826906/7250000
2885.25/2878.49	c cleaning 120002 clauses out of 240014 with flag 16091336/7371001
2951.85/2944.89	c cleaning 121001 clauses out of 242012 with flag 16357351/7493001
3005.86/2998.32	c cleaning 121999 clauses out of 244010 with flag 16625350/7616000
3063.86/3056.50	c cleaning 123005 clauses out of 246013 with flag 16896265/7740002
3126.58/3118.39	c cleaning 124000 clauses out of 248007 with flag 17169538/7865001
3188.36/3178.82	c cleaning 124993 clauses out of 250006 with flag 17444834/7991000
3254.77/3245.21	c cleaning 126002 clauses out of 252014 with flag 17721405/8118001
3322.89/3312.34	c cleaning 127001 clauses out of 254012 with flag 18000423/8246001
3399.45/3390.51	c cleaning 127998 clauses out of 256010 with flag 18281824/8375000
3472.34/3462.50	c cleaning 129006 clauses out of 258013 with flag 18565177/8505001
3549.37/3538.29	c cleaning 130000 clauses out of 260008 with flag 18851699/8636002
3600.04/3589.21	c starts		: 1
3600.04/3589.21	c timeout
3600.04/3589.21	c conflicts		: 8727447
3600.04/3589.21	c decisions		: 9270044
3600.04/3589.21	c propagations		: 79720577
3600.04/3589.23	c inspects		: 12257001579
3600.04/3589.23	c shortcuts		: 0
3600.04/3589.23	c learnt literals	: 0
3600.04/3589.23	c learnt binary clauses	: 0
3600.04/3589.23	c learnt ternary clauses	: 0
3600.04/3589.23	c learnt constraints	: 8727447
3600.04/3589.23	c ignored constraints	: 0
3600.04/3589.23	c root simplifications	: 0
3600.04/3589.23	c removed literals (reason simplification)	: 116356509
3600.04/3589.23	c reason swapping (by a shorter reason)	: 0
3600.04/3589.23	c Calls to reduceDB	: 127
3600.04/3589.23	c Number of update (reduction) of LBD	: 138249
3600.04/3589.23	c Imported unit clauses	: 0
3600.04/3589.23	c No decision after first conflict	: false
3600.04/3589.23	c number of reductions to clauses (during analyze)	: 0
3600.04/3589.23	c number of learned constraints concerned by reduction	: 0
3600.04/3589.23	c number of learning phase by resolution	: 0
3600.04/3589.23	c number of learning phase by cutting planes	: 0
3600.04/3589.23	c number of rounding to 1 operations	: 0
3600.04/3589.23	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.04/3589.23	c number of reductions of the coefficients by power 2 	: 0
3600.04/3589.23	c number of right shift for reduction by power 2 	: 0
3600.04/3589.23	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.04/3589.23	c number of ending skipping 	: 0
3600.04/3589.23	c number of internal skipping 	: 0
3600.04/3589.23	c number of derivation steps 	: 0
3600.04/3589.23	c number of skipped derivation steps 	: 0
3600.04/3589.23	c number of remaining unassigned 	: 0
3600.04/3589.23	c number of remaining assigned 	: 0
3600.04/3589.23	c number of falsified literals weakened from reason	: 0
3600.04/3589.23	c number of falsified literals weakened from conflict	: 0
3600.04/3589.23	c time for arithmetic operations	: 0
3600.04/3589.23	c minimum degree of deleted constraints	: null
3600.04/3589.23	c maximum degree of deleted constraints	: null
3600.04/3589.23	c number of deleted constraints	: 0
3600.04/3589.23	c speed (assignments/second)	: 22212.94655445476
3600.04/3589.23	c non guided choices	: 183
3600.04/3589.29	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 221453
3600.04/3589.29	s UNKNOWN
3600.04/3589.29	c Total wall clock time (in seconds): 3589.165

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63968 MiB (53531 MiB free)
  memory of node 1: 64473 MiB (56926 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4453342-1721843091/watcher-4453342-1721843091 -o /tmp/evaluation-result-4453342-1721843091/solver-4453342-1721843091 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1721839470-206803 --watchdog 3760 java -Dveripb=PROOFDIR/proof-4453342-1721843091 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4453342-1721843091.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=209119, runsolver pid=209116
Current StackSize limit: 8192 KiB


[startup+0.100082 s]*
/proc/loadavg: 4.14 4.11 4.09 5/306 209146
/proc/meminfo: memFree=113064732/131524600 swapFree=131061696/131071996
[pid=209119] ppid=209116 vsize=18993908 memory=66944 CPUtime=0.14 cores=4,6
/proc/209119/stat : 209119 (java) S 209116 209119 206792 0 -1 1077936128 7293 0 0 0 12 2 0 0 20 0 18 0 20837478 19449761792 16736 134679101440 94217791746048 94217791749744 140732014646832 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94217791757560 94217791758352 94217811050496 140732014654383 140732014654565 140732014654565 140732014661576 0
/proc/209119/statm: 4748477 16736 6007 1 0 549388 0
[pid=209119/tid=209121] ppid=209116 vsize=18993908 memory=4026532157 CPUtime=0.08 cores=4,6
/proc/209119/task/209121/stat : 209121 (java) R 209116 209119 206792 0 -1 4194368 5841 0 0 0 7 1 0 0 20 0 18 0 20837479 19449761792 16736 134679101440 94217791746048 94217791749744 140732014646832 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94217791757560 94217791758352 94217811050496 140732014654383 140732014654565 140732014654565 140732014661576 0
[pid=209119/tid=209139] ppid=209116 vsize=18993908 memory=215671374179 CPUtime=0 cores=4,6
/proc/209119/task/209139/stat : 209139 (Finalizer) S 209116 209119 206792 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 20837481 19449761792 16736 134679101440 94217791746048 94217791749744 140732014646832 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94217791757560 94217791758352 94217811050496 140732014654383 140732014654565 140732014654565 140732014661576 0
[pid=209119/tid=209146] ppid=209116 vsize=18993908 memory=16104770974127046 CPUtime=0 cores=4,6
/proc/209119/task/209146/stat : 209146 (Common-Cleaner) S 209116 209119 206792 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 20837482 19449761792 16736 134679101440 94217791746048 94217791749744 140732014646832 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94217791757560 94217791758352 94217811050496 140732014654383 140732014654565 140732014654565 140732014661576 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18993908 KiB
Current children cumulated memory: 66944 KiB

[startup+0.205823 s]*
/proc/loadavg: 4.14 4.11 4.09 3/306 209146
/proc/meminfo: memFree=113062884/131524600 swapFree=131061696/131071996
[pid=209119] ppid=209116 vsize=18993908 memory=67512 CPUtime=0.18 cores=4,6
/proc/209119/stat : 209119 (java) S 209116 209119 206792 0 -1 1077936128 7488 0 0 0 16 2 0 0 20 0 18 0 20837478 19449761792 16878 134679101440 94217791746048 94217791749744 140732014646832 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94217791757560 94217791758352 94217811050496 140732014654383 140732014654565 140732014654565 140732014661576 0
/proc/209119/statm: 4748477 16878 6024 1 0 549509 0
[pid=209119/tid=209121] ppid=209116 vsize=18993908 memory=3472328300254199927 CPUtime=0.11 cores=4,6
/proc/209119/task/209121/stat : 209121 (java) D 209116 209119 206792 0 -1 4194368 5948 0 0 0 10 1 0 0 20 0 18 0 20837479 19449761792 16878 134679101440 94217791746048 94217791749744 140732014646832 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94217791757560 94217791758352 94217811050496 140732014654383 140732014654565 140732014654565 140732014661576 0
[pid=209119/tid=209139] ppid=209116 vsize=18993908 memory=1446650 CPUtime=0 cores=4,6
/proc/209119/task/209139/stat : 209139 (Finalizer) S 209116 209119 206792 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 20837481 19449761792 16878 134679101440 94217791746048 94217791749744 140732014646832 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94217791757560 94217791758352 94217811050496 140732014654383 140732014654565 140732014654565 140732014661576 0
[pid=209119/tid=209146] ppid=209116 vsize=18993908 memory=15823295995971297 CPUtime=0 cores=4,6
/proc/209119/task/209146/stat : 209146 (Common-Cleaner) S 209116 209119 206792 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 20837482 19449761792 16878 134679101440 94217791746048 94217791749744 140732014646832 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94217791757560 94217791758352 94217811050496 140732014654383 140732014654565 140732014654565 140732014661576 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 18993908 KiB
Current children cumulated memory: 67512 KiB

[startup+0.30679 s]*
/proc/loadavg: 4.14 4.11 4.09 6/306 209146
/proc/meminfo: memFree=113559492/131524600 swapFree=131061696/131071996
[pid=209119] ppid=209116 vsize=19060472 memory=69912 CPUtime=0.24 cores=4,6
/proc/209119/stat : 209119 (java) S 209116 209119 206792 0 -1 1077936128 7640 0 0 0 22 2 0 0 20 0 19 0 20837478 19517923328 17478 134679101440 94217791746048 94217791749744 140732014646832 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94217791757560 94217791758352 94217811050496 140732014654383 140732014654565 140732014654565 140732014661576 0
/proc/209119/statm: 4765118 17478 6024 1 0 549852 0
[pid=209119/tid=209121] ppid=209116 vsize=19060472 memory=-8744980452220838588 CPUtime=0.14 cores=4,6
/proc/209119/task/209121/stat : 209121 (java) S 209116 209119 206792 0 -1 1077936192 6016 0 0 0 13 1 0 0 20 0 19 0 20837479 19517923328 17478 134679101440 94217791746048 94217791749744 140732014646832 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94217791757560 94217791758352 94217811050496 140732014654383 140732014654565 140732014654565 140732014661576 0
[pid=209119/tid=209139] ppid=209116 vsize=19060472 memory=0 CPUtime=0 cores=4,6
/proc/209119/task/209139/stat : 209139 (Finalizer) S 209116 209119 206792 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 20837481 19517923328 17478 134679101440 94217791746048 94217791749744 140732014646832 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94217791757560 94217791758352 94217811050496 140732014654383 140732014654565 140732014654565 140732014661576 0
[pid=209119/tid=209146] ppid=209116 vsize=19060472 memory=0 CPUtime=0 cores=4,6
/proc/209119/task/209146/stat : 209146 (Common-Cleaner) S 209116 209119 206792 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 20837482 19517923328 17478 134679101440 94217791746048 94217791749744 140732014646832 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94217791757560 94217791758352 94217811050496 140732014654383 140732014654565 140732014654565 140732014661576 0
[pid=209119/tid=209147] ppid=209116 vsize=19060472 memory=0 CPUtime=0 cores=4,6
/proc/209119/task/209147/stat : 209147 (Timer-0) S 209116 209119 206792 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 20837509 19517923328 17478 134679101440 94217791746048 94217791749744 140732014646832 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94217791757560 94217791758352 94217811050496 140732014654383 140732014654565 140732014654565 140732014661576 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 19060472 KiB
Current children cumulated memory: 69912 KiB

[startup+0.704325 s]
/proc/loadavg: 4.14 4.11 4.09 6/307 209152
/proc/meminfo: memFree=116600200/131524600 swapFree=131061696/131071996
[pid=209119] ppid=209116 vsize=19127036 memory=169036 CPUtime=1.01 cores=4,6
/proc/209119/stat : 209119 (java) S 209116 209119 206792 0 -1 1077936128 10340 0 0 0 97 4 0 0 20 0 20 0 20837478 19586084864 42259 134679101440 94217791746048 94217791749744 140732014646832 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94217791757560 94217791758352 94217811050496 140732014654383 140732014654565 140732014654565 140732014661576 0
/proc/209119/statm: 4781759 42259 6135 1 0 551436 0
[pid=209119/tid=209121] ppid=209116 vsize=19127036 memory=12248 CPUtime=0.52 cores=4,6
/proc/209119/task/209121/stat : 209121 (java) R 209116 209119 206792 0 -1 4194368 6138 0 0 0 50 2 0 0 20 0 20 0 20837479 19586084864 42259 134679101440 94217791746048 94217791749744 140732014646832 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94217791757560 94217791758352 94217811050496 140732014654383 140732014654565 140732014654565 140732014661576 0
[pid=209119/tid=209139] ppid=209116 vsize=19127036 memory=12248 CPUtime=0 cores=4,6
/proc/209119/task/209139/stat : 209139 (Finalizer) S 209116 209119 206792 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20837481 19586084864 42259 134679101440 94217791746048 94217791749744 140732014646832 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94217791757560 94217791758352 94217811050496 140732014654383 140732014654565 140732014654565 140732014661576 0
[pid=209119/tid=209146] ppid=209116 vsize=19127036 memory=6737 CPUtime=0 cores=4,6
/proc/209119/task/209146/stat : 209146 (Common-Cleaner) R 209116 209119 206792 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 20837482 19586084864 42259 134679101440 94217791746048 94217791749744 140732014646832 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94217791757560 94217791758352 94217811050496 140732014654383 140732014654565 140732014654565 140732014661576 0
[pid=209119/tid=209147] ppid=209116 vsize=19127036 memory=5448 CPUtime=0 cores=4,6
/proc/209119/task/209147/stat : 209147 (Timer-0) S 209116 209119 206792 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20837509 19586084864 42259 134679101440 94217791746048 94217791749744 140732014646832 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94217791757560 94217791758352 94217811050496 140732014654383 140732014654565 140732014654565 140732014661576 0
Current children cumulated CPU time: 1.01 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 169036 KiB

[startup+1.50132 s]
/proc/loadavg: 4.14 4.11 4.09 8/332 209186
/proc/meminfo: memFree=116451432/131524600 swapFree=131061696/131071996
[pid=209119] ppid=209116 vsize=19127036 memory=189644 CPUtime=2.57 cores=4,6
/proc/209119/stat : 209119 (java) S 209116 209119 206792 0 -1 1077936128 19691 0 0 0 250 7 0 0 20 0 20 0 20837478 19586084864 47411 134679101440 94217791746048 94217791749744 140732014646832 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94217791757560 94217791758352 94217811050496 140732014654383 140732014654565 140732014654565 140732014661576 0
/proc/209119/statm: 4781759 47411 6151 1 0 554381 0
[pid=209119/tid=209121] ppid=209116 vsize=19127036 memory=12248 CPUtime=1.27 cores=4,6
/proc/209119/task/209121/stat : 209121 (java) S 209116 209119 206792 0 -1 1077936192 7084 0 0 0 123 4 0 0 20 0 20 0 20837479 19586084864 47411 134679101440 94217791746048 94217791749744 140732014646832 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94217791757560 94217791758352 94217811050496 140732014654383 140732014654565 140732014654565 140732014661576 0
[pid=209119/tid=209139] ppid=209116 vsize=19127036 memory=0 CPUtime=0 cores=4,6
/proc/209119/task/209139/stat : 209139 (Finalizer) S 209116 209119 206792 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20837481 19586084864 47411 134679101440 94217791746048 94217791749744 140732014646832 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94217791757560 94217791758352 94217811050496 140732014654383 140732014654565 140732014654565 140732014661576 0
[pid=209119/tid=209146] ppid=209116 vsize=19127036 memory=0 CPUtime=0 cores=4,6
/proc/209119/task/209146/stat : 209146 (Common-Cleaner) S 209116 209119 206792 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 20837482 19586084864 47411 134679101440 94217791746048 94217791749744 140732014646832 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94217791757560 94217791758352 94217811050496 140732014654383 140732014654565 140732014654565 140732014661576 0
[pid=209119/tid=209147] ppid=209116 vsize=19127036 memory=65 CPUtime=0 cores=4,6
/proc/209119/task/209147/stat : 209147 (Timer-0) S 209116 209119 206792 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20837509 19586084864 47411 134679101440 94217791746048 94217791749744 140732014646832 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94217791757560 94217791758352 94217811050496 140732014654383 140732014654565 140732014654565 140732014661576 0
Current children cumulated CPU time: 2.57 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 189644 KiB

[startup+3.10578 s]
/proc/loadavg: 4.29 4.14 4.10 5/333 209187
/proc/meminfo: memFree=115998444/131524600 swapFree=131061696/131071996
[pid=209119] ppid=209116 vsize=19127036 memory=503512 CPUtime=5.21 cores=4,6
/proc/209119/stat : 209119 (java) S 209116 209119 206792 0 -1 1077936128 22295 0 0 0 504 17 0 0 20 0 20 0 20837478 19586084864 125878 134679101440 94217791746048 94217791749744 140732014646832 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94217791757560 94217791758352 94217811050496 140732014654383 140732014654565 140732014654565 140732014661576 0
/proc/209119/statm: 4781759 125878 6151 1 0 661037 0
[pid=209119/tid=209121] ppid=209116 vsize=19127036 memory=192648 CPUtime=2.78 cores=4,6
/proc/209119/task/209121/stat : 209121 (java) R 209116 209119 206792 0 -1 4194368 7698 0 0 0 268 10 0 0 20 0 20 0 20837479 19586084864 125878 134679101440 94217791746048 94217791749744 140732014646832 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94217791757560 94217791758352 94217811050496 140732014654383 140732014654565 140732014654565 140732014661576 0
[pid=209119/tid=209139] ppid=209116 vsize=19127036 memory=0 CPUtime=0 cores=4,6
/proc/209119/task/209139/stat : 209139 (Finalizer) S 209116 209119 206792 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20837481 19586084864 125878 134679101440 94217791746048 94217791749744 140732014646832 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94217791757560 94217791758352 94217811050496 140732014654383 140732014654565 140732014654565 140732014661576 0
[pid=209119/tid=209146] ppid=209116 vsize=19127036 memory=12248 CPUtime=0 cores=4,6
/proc/209119/task/209146/stat : 209146 (Common-Cleaner) S 209116 209119 206792 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 20 0 20837482 19586084864 125878 134679101440 94217791746048 94217791749744 140732014646832 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94217791757560 94217791758352 94217811050496 140732014654383 140732014654565 140732014654565 140732014661576 0
[pid=209119/tid=209147] ppid=209116 vsize=19127036 memory=164 CPUtime=0 cores=4,6
/proc/209119/task/209147/stat : 209147 (Timer-0) S 209116 209119 206792 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20837509 19586084864 125878 134679101440 94217791746048 94217791749744 140732014646832 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94217791757560 94217791758352 94217811050496 140732014654383 140732014654565 140732014654565 140732014661576 0
Current children cumulated CPU time: 5.21 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 503512 KiB

[startup+6.30032 s]
/proc/loadavg: 4.29 4.14 4.10 5/333 209187
/proc/meminfo: memFree=115167324/131524600 swapFree=131061696/131071996
[pid=209119] ppid=209116 vsize=19127036 memory=1241640 CPUtime=8.8 cores=4,6
/proc/209119/stat : 209119 (java) S 209116 209119 206792 0 -1 1077936128 23686 0 0 0 845 35 0 0 20 0 20 0 20837478 19586084864 310410 134679101440 94217791746048 94217791749744 140732014646832 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94217791757560 94217791758352 94217811050496 140732014654383 140732014654565 140732014654565 140732014661576 0
/proc/209119/statm: 4781759 310410 6151 1 0 957682 0
[pid=209119/tid=209121] ppid=209116 vsize=19127036 memory=0 CPUtime=5.82 cores=4,6
/proc/209119/task/209121/stat : 209121 (java) S 209116 209119 206792 0 -1 1077936192 8048 0 0 0 557 25 0 0 20 0 20 0 20837479 19586084864 310410 134679101440 94217791746048 94217791749744 140732014646832 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94217791757560 94217791758352 94217811050496 140732014654383 140732014654565 140732014654565 140732014661576 0
[pid=209119/tid=209139] ppid=209116 vsize=19127036 memory=12248 CPUtime=0 cores=4,6
/proc/209119/task/209139/stat : 209139 (Finalizer) S 209116 209119 206792 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20837481 19586084864 310410 134679101440 94217791746048 94217791749744 140732014646832 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94217791757560 94217791758352 94217811050496 140732014654383 140732014654565 140732014654565 140732014661576 0
[pid=209119/tid=209146] ppid=209116 vsize=19127036 memory=11496 CPUtime=0 cores=4,6
/proc/209119/task/209146/stat : 209146 (Common-Cleaner) S 209116 209119 206792 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 20 0 20837482 19586084864 310410 134679101440 94217791746048 94217791749744 140732014646832 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94217791757560 94217791758352 94217811050496 140732014654383 140732014654565 140732014654565 140732014661576 0
[pid=209119/tid=209147] ppid=209116 vsize=19127036 memory=0 CPUtime=0 cores=4,6
/proc/209119/task/209147/stat : 209147 (Timer-0) S 209116 209119 206792 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20837509 19586084864 310410 134679101440 94217791746048 94217791749744 140732014646832 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94217791757560 94217791758352 94217811050496 140732014654383 140732014654565 140732014654565 140732014661576 0
Current children cumulated CPU time: 8.8 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 1241640 KiB

[startup+12.7003 s]
/proc/loadavg: 4.24 4.14 4.10 5/333 209189
/proc/meminfo: memFree=113716140/131524600 swapFree=131061696/131071996
[pid=209119] ppid=209116 vsize=19127036 memory=2304844 CPUtime=15.45 cores=4,6
/proc/209119/stat : 209119 (java) S 209116 209119 206792 0 -1 1077936128 24845 0 0 0 1480 65 0 0 20 0 20 0 20837478 19586084864 576211 134679101440 94217791746048 94217791749744 140732014646832 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94217791757560 94217791758352 94217811050496 140732014654383 140732014654565 140732014654565 140732014661576 0
/proc/209119/statm: 4781759 576211 6151 1 0 1166574 0
[pid=209119/tid=209121] ppid=209116 vsize=19127036 memory=-8744980452220838588 CPUtime=11.95 cores=4,6
/proc/209119/task/209121/stat : 209121 (java) R 209116 209119 206792 0 -1 4194368 8486 0 0 0 1145 50 0 0 20 0 20 0 20837479 19586084864 576211 134679101440 94217791746048 94217791749744 140732014646832 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94217791757560 94217791758352 94217811050496 140732014654383 140732014654565 140732014654565 140732014661576 0
[pid=209119/tid=209139] ppid=209116 vsize=19127036 memory=0 CPUtime=0 cores=4,6
/proc/209119/task/209139/stat : 209139 (Finalizer) S 209116 209119 206792 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20837481 19586084864 576211 134679101440 94217791746048 94217791749744 140732014646832 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94217791757560 94217791758352 94217811050496 140732014654383 140732014654565 140732014654565 140732014661576 0
[pid=209119/tid=209146] ppid=209116 vsize=19127036 memory=454656 CPUtime=0 cores=4,6
/proc/209119/task/209146/stat : 209146 (Common-Cleaner) S 209116 209119 206792 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 20 0 20837482 19586084864 576211 134679101440 94217791746048 94217791749744 140732014646832 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94217791757560 94217791758352 94217811050496 140732014654383 140732014654565 140732014654565 140732014661576 0
[pid=209119/tid=209147] ppid=209116 vsize=19127036 memory=12248 CPUtime=0 cores=4,6
/proc/209119/task/209147/stat : 209147 (Timer-0) S 209116 209119 206792 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20837509 19586084864 576211 134679101440 94217791746048 94217791749744 140732014646832 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94217791757560 94217791758352 94217811050496 140732014654383 140732014654565 140732014654565 140732014661576 0
Current children cumulated CPU time: 15.45 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2304844 KiB

[startup+25.5003 s]
/proc/loadavg: 4.20 4.13 4.10 5/333 209190
/proc/meminfo: memFree=112642564/131524600 swapFree=131061696/131071996
[pid=209119] ppid=209116 vsize=19127036 memory=2463140 CPUtime=28.7 cores=4,6
/proc/209119/stat : 209119 (java) S 209116 209119 206792 0 -1 1077936128 29089 0 0 0 2788 82 0 0 20 0 20 0 20837478 19586084864 615785 134679101440 94217791746048 94217791749744 140732014646832 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94217791757560 94217791758352 94217811050496 140732014654383 140732014654565 140732014654565 140732014661576 0
/proc/209119/statm: 4781759 615785 6151 1 0 1166577 0
[pid=209119/tid=209121] ppid=209116 vsize=19127036 memory=0 CPUtime=24.36 cores=4,6
/proc/209119/task/209121/stat : 209121 (java) R 209116 209119 206792 0 -1 4194368 10160 0 0 0 2372 64 0 0 20 0 20 0 20837479 19586084864 615785 134679101440 94217791746048 94217791749744 140732014646832 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94217791757560 94217791758352 94217811050496 140732014654383 140732014654565 140732014654565 140732014661576 0
[pid=209119/tid=209139] ppid=209116 vsize=19127036 memory=2456776 CPUtime=0 cores=4,6
/proc/209119/task/209139/stat : 209139 (Finalizer) S 209116 209119 206792 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20837481 19586084864 615785 134679101440 94217791746048 94217791749744 140732014646832 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94217791757560 94217791758352 94217811050496 140732014654383 140732014654565 140732014654565 140732014661576 0
[pid=209119/tid=209146] ppid=209116 vsize=19127036 memory=11496 CPUtime=0 cores=4,6
/proc/209119/task/209146/stat : 209146 (Common-Cleaner) S 209116 209119 206792 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 20 0 20837482 19586084864 615785 134679101440 94217791746048 94217791749744 140732014646832 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94217791757560 94217791758352 94217811050496 140732014654383 140732014654565 140732014654565 140732014661576 0
[pid=209119/tid=209147] ppid=209116 vsize=19127036 memory=0 CPUtime=0 cores=4,6
/proc/209119/task/209147/stat : 209147 (Timer-0) S 209116 209119 206792 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20837509 19586084864 615785 134679101440 94217791746048 94217791749744 140732014646832 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94217791757560 94217791758352 94217811050496 140732014654383 140732014654565 140732014654565 140732014661576 0
Current children cumulated CPU time: 28.7 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2463140 KiB

[startup+51.1057 s]
/proc/loadavg: 4.21 4.14 4.10 5/331 209263
/proc/meminfo: memFree=115276952/131524600 swapFree=131061696/131071996
[pid=209119] ppid=209116 vsize=19127036 memory=3373128 CPUtime=53.99 cores=4,6
/proc/209119/stat : 209119 (java) S 209116 209119 206792 0 -1 1077936128 35610 0 0 0 5274 125 0 0 20 0 20 0 20837478 19586084864 843282 134679101440 94217791746048 94217791749744 140732014646832 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94217791757560 94217791758352 94217811050496 140732014654383 140732014654565 140732014654565 140732014661576 0
/proc/209119/statm: 4781759 843282 6151 1 0 1166584 0
[pid=209119/tid=209121] ppid=209116 vsize=19127036 memory=11496 CPUtime=48.4 cores=4,6
/proc/209119/task/209121/stat : 209121 (java) R 209116 209119 206792 0 -1 4194368 13380 0 0 0 4747 93 0 0 20 0 20 0 20837479 19586084864 843282 134679101440 94217791746048 94217791749744 140732014646832 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 87 0 0 94217791757560 94217791758352 94217811050496 140732014654383 140732014654565 140732014654565 140732014661576 0

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

/proc/209119/task/209139/stat : 209139 (Finalizer) S 209116 209119 206792 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20837481 19586084864 837780 134679101440 94217791746048 94217791749744 140732014646832 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94217791757560 94217791758352 94217811050496 140732014654383 140732014654565 140732014654565 140732014661576 0
[pid=209119/tid=209146] ppid=209116 vsize=19127036 memory=3351120 CPUtime=0 cores=4,6
/proc/209119/task/209146/stat : 209146 (Common-Cleaner) S 209116 209119 206792 0 -1 1077936192 3710 0 0 0 0 0 0 0 20 0 20 0 20837482 19586084864 837780 134679101440 94217791746048 94217791749744 140732014646832 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94217791757560 94217791758352 94217811050496 140732014654383 140732014654565 140732014654565 140732014661576 0
[pid=209119/tid=209147] ppid=209116 vsize=19127036 memory=3351120 CPUtime=0 cores=4,6
/proc/209119/task/209147/stat : 209147 (Timer-0) S 209116 209119 206792 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20837509 19586084864 837780 134679101440 94217791746048 94217791749744 140732014646832 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94217791757560 94217791758352 94217811050496 140732014654383 140732014654565 140732014654565 140732014661576 0
Current children cumulated CPU time: 3231.86 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 3351120 KiB

[startup+3282.3 s]
/proc/loadavg: 4.20 4.19 4.14 5/331 211034
/proc/meminfo: memFree=92147664/131524600 swapFree=131061696/131071996
[pid=209119] ppid=209116 vsize=19127036 memory=3351120 CPUtime=3292.71 cores=4,6
/proc/209119/stat : 209119 (java) S 209116 209119 206792 0 -1 1077936128 473634 0 0 0 327486 1785 0 0 20 0 20 0 20837478 19586084864 837780 134679101440 94217791746048 94217791749744 140732014646832 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94217791757560 94217791758352 94217811050496 140732014654383 140732014654565 140732014654565 140732014661576 0
/proc/209119/statm: 4781759 837780 6182 1 0 849977 0
[pid=209119/tid=209121] ppid=209116 vsize=19127036 memory=3351120 CPUtime=3208.87 cores=4,6
/proc/209119/task/209121/stat : 209121 (java) R 209116 209119 206792 0 -1 4194368 174353 0 0 0 319298 1589 0 0 20 0 20 0 20837479 19586084864 837780 134679101440 94217791746048 94217791749744 140732014646832 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 2512 0 0 94217791757560 94217791758352 94217811050496 140732014654383 140732014654565 140732014654565 140732014661576 0
[pid=209119/tid=209139] ppid=209116 vsize=19127036 memory=3351120 CPUtime=0 cores=4,6
/proc/209119/task/209139/stat : 209139 (Finalizer) S 209116 209119 206792 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20837481 19586084864 837780 134679101440 94217791746048 94217791749744 140732014646832 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94217791757560 94217791758352 94217811050496 140732014654383 140732014654565 140732014654565 140732014661576 0
[pid=209119/tid=209146] ppid=209116 vsize=19127036 memory=3351120 CPUtime=0 cores=4,6
/proc/209119/task/209146/stat : 209146 (Common-Cleaner) S 209116 209119 206792 0 -1 1077936192 3797 0 0 0 0 0 0 0 20 0 20 0 20837482 19586084864 837780 134679101440 94217791746048 94217791749744 140732014646832 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94217791757560 94217791758352 94217811050496 140732014654383 140732014654565 140732014654565 140732014661576 0
[pid=209119/tid=209147] ppid=209116 vsize=19127036 memory=11496 CPUtime=0 cores=4,6
/proc/209119/task/209147/stat : 209147 (Timer-0) S 209116 209119 206792 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20837509 19586084864 837780 134679101440 94217791746048 94217791749744 140732014646832 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94217791757560 94217791758352 94217811050496 140732014654383 140732014654565 140732014654565 140732014661576 0
Current children cumulated CPU time: 3292.71 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 3351120 KiB

[startup+3342.3 s]
/proc/loadavg: 4.15 4.17 4.13 5/334 211049
/proc/meminfo: memFree=91842656/131524600 swapFree=131061696/131071996
[pid=209119] ppid=209116 vsize=19127036 memory=3351120 CPUtime=3351.5 cores=4,6
/proc/209119/stat : 209119 (java) S 209116 209119 206792 0 -1 1077936128 476411 0 0 0 333343 1807 0 0 20 0 20 0 20837478 19586084864 837780 134679101440 94217791746048 94217791749744 140732014646832 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94217791757560 94217791758352 94217811050496 140732014654383 140732014654565 140732014654565 140732014661576 0
/proc/209119/statm: 4781759 837780 6182 1 0 849977 0
[pid=209119/tid=209121] ppid=209116 vsize=19127036 memory=3351120 CPUtime=3266.61 cores=4,6
/proc/209119/task/209121/stat : 209121 (java) R 209116 209119 206792 0 -1 4194368 175323 0 0 0 325053 1608 0 0 20 0 20 0 20837479 19586084864 837780 134679101440 94217791746048 94217791749744 140732014646832 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 2663 0 0 94217791757560 94217791758352 94217811050496 140732014654383 140732014654565 140732014654565 140732014661576 0
[pid=209119/tid=209139] ppid=209116 vsize=19127036 memory=3351120 CPUtime=0 cores=4,6
/proc/209119/task/209139/stat : 209139 (Finalizer) S 209116 209119 206792 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20837481 19586084864 837780 134679101440 94217791746048 94217791749744 140732014646832 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94217791757560 94217791758352 94217811050496 140732014654383 140732014654565 140732014654565 140732014661576 0
[pid=209119/tid=209146] ppid=209116 vsize=19127036 memory=3351120 CPUtime=0 cores=4,6
/proc/209119/task/209146/stat : 209146 (Common-Cleaner) S 209116 209119 206792 0 -1 1077936192 3797 0 0 0 0 0 0 0 20 0 20 0 20837482 19586084864 837780 134679101440 94217791746048 94217791749744 140732014646832 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94217791757560 94217791758352 94217811050496 140732014654383 140732014654565 140732014654565 140732014661576 0
[pid=209119/tid=209147] ppid=209116 vsize=19127036 memory=3351120 CPUtime=0 cores=4,6
/proc/209119/task/209147/stat : 209147 (Timer-0) S 209116 209119 206792 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20837509 19586084864 837780 134679101440 94217791746048 94217791749744 140732014646832 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94217791757560 94217791758352 94217811050496 140732014654383 140732014654565 140732014654565 140732014661576 0
Current children cumulated CPU time: 3351.5 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 3351120 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.15 4.13 5/335 211061
/proc/meminfo: memFree=91561972/131524600 swapFree=131061696/131071996
[pid=209119] ppid=209116 vsize=19127036 memory=3353560 CPUtime=3411.24 cores=4,6
/proc/209119/stat : 209119 (java) S 209116 209119 206792 0 -1 1077936128 477366 0 0 0 339294 1830 0 0 20 0 20 0 20837478 19586084864 838390 134679101440 94217791746048 94217791749744 140732014646832 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94217791757560 94217791758352 94217811050496 140732014654383 140732014654565 140732014654565 140732014661576 0
/proc/209119/statm: 4781759 838390 6182 1 0 849977 0
[pid=209119/tid=209121] ppid=209116 vsize=19127036 memory=3351120 CPUtime=3325.6 cores=4,6
/proc/209119/task/209121/stat : 209121 (java) R 209116 209119 206792 0 -1 4194368 176023 0 0 0 330931 1629 0 0 20 0 20 0 20837479 19586084864 838390 134679101440 94217791746048 94217791749744 140732014646832 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 2710 0 0 94217791757560 94217791758352 94217811050496 140732014654383 140732014654565 140732014654565 140732014661576 0
[pid=209119/tid=209139] ppid=209116 vsize=19127036 memory=11496 CPUtime=0 cores=4,6
/proc/209119/task/209139/stat : 209139 (Finalizer) S 209116 209119 206792 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20837481 19586084864 838390 134679101440 94217791746048 94217791749744 140732014646832 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94217791757560 94217791758352 94217811050496 140732014654383 140732014654565 140732014654565 140732014661576 0
[pid=209119/tid=209146] ppid=209116 vsize=19127036 memory=12248 CPUtime=0 cores=4,6
/proc/209119/task/209146/stat : 209146 (Common-Cleaner) S 209116 209119 206792 0 -1 1077936192 3884 0 0 0 0 0 0 0 20 0 20 0 20837482 19586084864 838390 134679101440 94217791746048 94217791749744 140732014646832 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94217791757560 94217791758352 94217811050496 140732014654383 140732014654565 140732014654565 140732014661576 0
[pid=209119/tid=209147] ppid=209116 vsize=19127036 memory=3351560 CPUtime=0 cores=4,6
/proc/209119/task/209147/stat : 209147 (Timer-0) S 209116 209119 206792 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20837509 19586084864 838390 134679101440 94217791746048 94217791749744 140732014646832 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94217791757560 94217791758352 94217811050496 140732014654383 140732014654565 140732014654565 140732014661576 0
Current children cumulated CPU time: 3411.24 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 3353560 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.14 4.12 5/335 211072
/proc/meminfo: memFree=91277980/131524600 swapFree=131061696/131071996
[pid=209119] ppid=209116 vsize=19127036 memory=3353648 CPUtime=3472.14 cores=4,6
/proc/209119/stat : 209119 (java) S 209116 209119 206792 0 -1 1077936128 487674 0 0 0 345359 1855 0 0 20 0 20 0 20837478 19586084864 838412 134679101440 94217791746048 94217791749744 140732014646832 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94217791757560 94217791758352 94217811050496 140732014654383 140732014654565 140732014654565 140732014661576 0
/proc/209119/statm: 4781759 838412 6182 1 0 849977 0
[pid=209119/tid=209121] ppid=209116 vsize=19127036 memory=3351120 CPUtime=3384.34 cores=4,6
/proc/209119/task/209121/stat : 209121 (java) R 209116 209119 206792 0 -1 4194368 177765 0 0 0 336783 1651 0 0 20 0 20 0 20837479 19586084864 838412 134679101440 94217791746048 94217791749744 140732014646832 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 2748 0 0 94217791757560 94217791758352 94217811050496 140732014654383 140732014654565 140732014654565 140732014661576 0
[pid=209119/tid=209139] ppid=209116 vsize=19127036 memory=5640 CPUtime=0 cores=4,6
/proc/209119/task/209139/stat : 209139 (Finalizer) S 209116 209119 206792 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20837481 19586084864 838412 134679101440 94217791746048 94217791749744 140732014646832 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94217791757560 94217791758352 94217811050496 140732014654383 140732014654565 140732014654565 140732014661576 0
[pid=209119/tid=209146] ppid=209116 vsize=19127036 memory=3353648 CPUtime=0 cores=4,6
/proc/209119/task/209146/stat : 209146 (Common-Cleaner) S 209116 209119 206792 0 -1 1077936192 3884 0 0 0 0 0 0 0 20 0 20 0 20837482 19586084864 838412 134679101440 94217791746048 94217791749744 140732014646832 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94217791757560 94217791758352 94217811050496 140732014654383 140732014654565 140732014654565 140732014661576 0
[pid=209119/tid=209147] ppid=209116 vsize=19127036 memory=5640 CPUtime=0 cores=4,6
/proc/209119/task/209147/stat : 209147 (Timer-0) S 209116 209119 206792 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20837509 19586084864 838412 134679101440 94217791746048 94217791749744 140732014646832 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94217791757560 94217791758352 94217811050496 140732014654383 140732014654565 140732014654565 140732014661576 0
Current children cumulated CPU time: 3472.14 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 3353648 KiB

[startup+3522.3 s]
/proc/loadavg: 4.07 4.13 4.12 5/335 211083
/proc/meminfo: memFree=90983468/131524600 swapFree=131061696/131071996
[pid=209119] ppid=209116 vsize=19127036 memory=3353648 CPUtime=3532.12 cores=4,6
/proc/209119/stat : 209119 (java) S 209116 209119 206792 0 -1 1077936128 488496 0 0 0 351335 1877 0 0 20 0 20 0 20837478 19586084864 838412 134679101440 94217791746048 94217791749744 140732014646832 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94217791757560 94217791758352 94217811050496 140732014654383 140732014654565 140732014654565 140732014661576 0
/proc/209119/statm: 4781759 838412 6182 1 0 849977 0
[pid=209119/tid=209121] ppid=209116 vsize=19127036 memory=5640 CPUtime=3443.35 cores=4,6
/proc/209119/task/209121/stat : 209121 (java) R 209116 209119 206792 0 -1 4194368 178346 0 0 0 342664 1671 0 0 20 0 20 0 20837479 19586084864 838412 134679101440 94217791746048 94217791749744 140732014646832 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 2783 0 0 94217791757560 94217791758352 94217811050496 140732014654383 140732014654565 140732014654565 140732014661576 0
[pid=209119/tid=209139] ppid=209116 vsize=19127036 memory=75972 CPUtime=0 cores=4,6
/proc/209119/task/209139/stat : 209139 (Finalizer) S 209116 209119 206792 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20837481 19586084864 838412 134679101440 94217791746048 94217791749744 140732014646832 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94217791757560 94217791758352 94217811050496 140732014654383 140732014654565 140732014654565 140732014661576 0
[pid=209119/tid=209146] ppid=209116 vsize=19127036 memory=7968 CPUtime=0 cores=4,6
/proc/209119/task/209146/stat : 209146 (Common-Cleaner) S 209116 209119 206792 0 -1 1077936192 3938 0 0 0 0 0 0 0 20 0 20 0 20837482 19586084864 838412 134679101440 94217791746048 94217791749744 140732014646832 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94217791757560 94217791758352 94217811050496 140732014654383 140732014654565 140732014654565 140732014661576 0
[pid=209119/tid=209147] ppid=209116 vsize=19127036 memory=3353648 CPUtime=0 cores=4,6
/proc/209119/task/209147/stat : 209147 (Timer-0) S 209116 209119 206792 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20837509 19586084864 838412 134679101440 94217791746048 94217791749744 140732014646832 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94217791757560 94217791758352 94217811050496 140732014654383 140732014654565 140732014654565 140732014661576 0
Current children cumulated CPU time: 3532.12 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 3353648 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.12 4.11 5/335 211093
/proc/meminfo: memFree=90728228/131524600 swapFree=131061696/131071996
[pid=209119] ppid=209116 vsize=19127036 memory=3353648 CPUtime=3593.16 cores=4,6
/proc/209119/stat : 209119 (java) S 209116 209119 206792 0 -1 1077936128 492139 0 0 0 357415 1901 0 0 20 0 20 0 20837478 19586084864 838412 134679101440 94217791746048 94217791749744 140732014646832 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94217791757560 94217791758352 94217811050496 140732014654383 140732014654565 140732014654565 140732014661576 0
/proc/209119/statm: 4781759 838412 6182 1 0 849977 0
[pid=209119/tid=209121] ppid=209116 vsize=19127036 memory=1948 CPUtime=3502.13 cores=4,6
/proc/209119/task/209121/stat : 209121 (java) R 209116 209119 206792 0 -1 4194368 179157 0 0 0 348522 1691 0 0 20 0 20 0 20837479 19586084864 838412 134679101440 94217791746048 94217791749744 140732014646832 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 2814 0 0 94217791757560 94217791758352 94217811050496 140732014654383 140732014654565 140732014654565 140732014661576 0
[pid=209119/tid=209139] ppid=209116 vsize=19127036 memory=3353648 CPUtime=0 cores=4,6
/proc/209119/task/209139/stat : 209139 (Finalizer) S 209116 209119 206792 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20837481 19586084864 838412 134679101440 94217791746048 94217791749744 140732014646832 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94217791757560 94217791758352 94217811050496 140732014654383 140732014654565 140732014654565 140732014661576 0
[pid=209119/tid=209146] ppid=209116 vsize=19127036 memory=11496 CPUtime=0 cores=4,6
/proc/209119/task/209146/stat : 209146 (Common-Cleaner) S 209116 209119 206792 0 -1 1077936192 3939 0 0 0 0 0 0 0 20 0 20 0 20837482 19586084864 838412 134679101440 94217791746048 94217791749744 140732014646832 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94217791757560 94217791758352 94217811050496 140732014654383 140732014654565 140732014654565 140732014661576 0
[pid=209119/tid=209147] ppid=209116 vsize=19127036 memory=75972 CPUtime=0 cores=4,6
/proc/209119/task/209147/stat : 209147 (Timer-0) S 209116 209119 206792 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20837509 19586084864 838412 134679101440 94217791746048 94217791749744 140732014646832 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94217791757560 94217791758352 94217811050496 140732014654383 140732014654565 140732014654565 140732014661576 0
Current children cumulated CPU time: 3593.16 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 3353648 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3589.2 s]
/proc/loadavg: 4.06 4.11 4.11 5/335 211094
/proc/meminfo: memFree=90701832/131524600 swapFree=131061696/131071996
[pid=209119] ppid=209116 vsize=19127036 memory=3353648 CPUtime=3600.04 cores=4,6
/proc/209119/stat : 209119 (java) S 209116 209119 206792 0 -1 1077936128 492466 0 0 0 358101 1903 0 0 20 0 20 0 20837478 19586084864 838412 134679101440 94217791746048 94217791749744 140732014646832 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94217791757560 94217791758352 94217811050496 140732014654383 140732014654565 140732014654565 140732014661576 0
/proc/209119/statm: 4781759 838412 6182 1 0 849977 0
[pid=209119/tid=209121] ppid=209116 vsize=19127036 memory=1420155 CPUtime=3509.02 cores=4,6
/proc/209119/task/209121/stat : 209121 (java) R 209116 209119 206792 0 -1 4194368 179391 0 0 0 349208 1694 0 0 20 0 20 0 20837479 19586084864 838412 134679101440 94217791746048 94217791749744 140732014646832 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 2814 0 0 94217791757560 94217791758352 94217811050496 140732014654383 140732014654565 140732014654565 140732014661576 0
[pid=209119/tid=209139] ppid=209116 vsize=19127036 memory=5640 CPUtime=0 cores=4,6
/proc/209119/task/209139/stat : 209139 (Finalizer) S 209116 209119 206792 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20837481 19586084864 838412 134679101440 94217791746048 94217791749744 140732014646832 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94217791757560 94217791758352 94217811050496 140732014654383 140732014654565 140732014654565 140732014661576 0
[pid=209119/tid=209146] ppid=209116 vsize=19127036 memory=18928 CPUtime=0 cores=4,6
/proc/209119/task/209146/stat : 209146 (Common-Cleaner) S 209116 209119 206792 0 -1 1077936192 3939 0 0 0 0 0 0 0 20 0 20 0 20837482 19586084864 838412 134679101440 94217791746048 94217791749744 140732014646832 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94217791757560 94217791758352 94217811050496 140732014654383 140732014654565 140732014654565 140732014661576 0
[pid=209119/tid=209147] ppid=209116 vsize=19127036 memory=2164 CPUtime=0 cores=4,6
/proc/209119/task/209147/stat : 209147 (Timer-0) S 209116 209119 206792 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20837509 19586084864 838412 134679101440 94217791746048 94217791749744 140732014646832 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94217791757560 94217791758352 94217811050496 140732014654383 140732014654565 140732014654565 140732014661576 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 3353648 KiB

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

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

# cumulated CPU time of all completed processes:  user=3581.15 s, system=19.0559 s

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

[startup+3589.3 s]*
/proc/loadavg: 4.06 4.11 4.11 7/317 211098
/proc/meminfo: memFree=93922428/131524600 swapFree=131061696/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): 3589.31
CPU time (s): 3600.2
CPU user time (s): 3581.15
CPU system time (s): 19.0559
CPU usage (%): 100.304
Max. virtual memory (cumulated for all children) (KiB): 19127036
Max. memory (cumulated for all children) (KiB): 4621940

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3581.15
system time used= 19.0559
maximum resident set size= 4621944
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 495587
page faults= 0
swaps= 0
block input operations= 0
block output operations= 28057240
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 119566
involuntary context switches= 18311


# summary of solver processes directly reported to runsolver:
#   pid: 209119
#   total CPU time (s): 3600.2
#   total CPU user time (s): 3581.15
#   total CPU system time (s): 19.0559

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.79857 second user time and 20.2916 second system time

The end

Launcher Data 

Begin job on nodeC020 at 2024-07-24 19:44:51
IDJOB=4453342
IDBENCH=171267
IDSOLVER=3079
FILE ID=nodeC020/4453342-1721843091
RUNJOBID= nodeC020-1721839470-206803
SLURM_JOB_ID= 7891544
Free space on /tmp= 890080 MiB

SOLVER NAME= Sat4j Resolution 2024 2024-07-07
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/vertex-cover/vc-lines-v2_shuffle/normalized-grid8_59.shuf-3.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-4453342-1721843091/watcher-4453342-1721843091 -o /tmp/evaluation-result-4453342-1721843091/solver-4453342-1721843091 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1721839470-206803 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4453342-1721843091 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4453342-1721843091.opb

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

MD5SUM BENCH= 254a849970c239072df004e28e5fe1a7
RANDOM SEED=1455013244

nodeC020.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		: 3677.751
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.31
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		: 3671.961
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.25
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		: 3662.528
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.31
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		: 3696.252
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.25
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		: 3636.792
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.31
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.635
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.25
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		: 3629.864
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.31
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		: 3680.365
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.25
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        113109804 kB
MemAvailable:   126359200 kB
Buffers:          266000 kB
Cached:         13768100 kB
SwapCached:          120 kB
Active:          2592736 kB
Inactive:       15121340 kB
Active(anon):       2336 kB
Inactive(anon):  3731548 kB
Active(file):    2590400 kB
Inactive(file): 11389792 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131061696 kB
Dirty:             79116 kB
Writeback:             0 kB
AnonPages:       3679004 kB
Mapped:           129464 kB
Shmem:             53880 kB
KReclaimable:     218056 kB
Slab:             336560 kB
SReclaimable:     218056 kB
SUnreclaim:       118504 kB
KernelStack:        4704 kB
PageTables:        17444 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    5116588 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            18496 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3477504 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:      363220 kB
DirectMap2M:    44498944 kB
DirectMap1G:    91226112 kB

Free space on /tmp at the end= 890080 MiB
End job on nodeC020 at 2024-07-24 20:44:41