Trace number 4440234

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 NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution 2024 2024-07-07? (TO) 3600.34 3625

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-UMTS.opb
MD5SUM542a59a1a1b8906e0495f473b09f11e4
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark30102502
Best CPU time to get the best result obtained on this benchmark71252.6
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6402
Total number of constraints4465
Number of constraints which are clauses2785
Number of constraints which are cardinality constraints (but not clauses)1428
Number of constraints which are nor clauses,nor cardinality constraints252
Minimum length of a constraint1
Maximum length of a constraint511
Number of terms in the objective function 4170
Biggest coefficient in the objective function 23582998528
Number of bits for the biggest coefficient in the objective function 35
Sum of the numbers in the objective function 2904924551250
Number of bits of the sum of numbers in the objective function 42
Biggest number in a constraint 1024000000000
Number of bits of the biggest number in a constraint 40
Biggest sum of numbers in a constraint 2904924551250
Number of bits of the biggest sum of numbers42
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.13/0.17	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.13/0.17	c This is free software under the dual EPL/GNU LGPL licenses.
0.13/0.17	c See www.sat4j.org for details.
0.13/0.18	c version CUSTOM.v20240707
0.13/0.21	c java.runtime.name	OpenJDK Runtime Environment
0.13/0.21	c java.vm.name		OpenJDK 64-Bit Server VM
0.13/0.21	c java.vm.version	22.0.1+8-16
0.13/0.21	c java.vm.vendor	Oracle Corporation
0.13/0.21	c sun.arch.data.model	64
0.13/0.21	c java.version		22.0.1
0.13/0.21	c os.name		Linux
0.13/0.21	c os.version		4.18.0-301.1.el8.x86_64
0.13/0.21	c os.arch		amd64
0.13/0.22	c Free memory 		2113181440
0.30/0.23	c Max memory 		16282288128
0.30/0.23	c Total memory 		2122317824
0.30/0.24	c Number of processors 	2
0.47/0.34	--- Begin Solver configuration ---
0.47/0.34	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.47/0.34	Learn all clauses as in MiniSAT
0.47/0.34	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.47/0.34	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.47/0.34	Expensive reason simplification
0.47/0.34	Glucose 2.1 dynamic restart strategy
0.47/0.34	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.47/0.34	timeout=2147483s
0.47/0.34	DB Simplification allowed=false
0.47/0.34	Listener: none
0.47/0.34	--- End Solver configuration ---
0.47/0.34	c Pseudo Boolean Optimization by upper bound
0.47/0.34	c --- Begin Solver configuration ---
0.47/0.34	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.47/0.34	c Learn all clauses as in MiniSAT
0.47/0.34	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.47/0.34	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.47/0.34	c Expensive reason simplification
0.47/0.34	c Glucose 2.1 dynamic restart strategy
0.47/0.34	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.47/0.34	c timeout=2147483s
0.47/0.34	c DB Simplification allowed=false
0.47/0.34	c Listener: none
0.47/0.34	c --- End Solver configuration ---
0.47/0.34	c solving HOME/instance-4440234-1721765708.opb
0.47/0.34	c reading problem ... 
0.50/1.01	c using VERIPB proof format
0.50/1.01	c  objective function found
1.26/1.43	c ... done. Wall clock time 1.077s.
1.26/1.43	c declared #vars     6402
1.26/1.43	c #constraints  5929
1.26/1.43	c constraints type 
1.26/1.43	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 91
1.26/1.43	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 167
1.26/1.43	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 240
1.26/1.43	c org.sat4j.specs.Constr$1 => 2581
1.26/1.43	c org.sat4j.pb.constraints.pb.UnitClausePB => 1279
1.26/1.43	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1571
1.26/1.43	c 5929 constraints processed.
1.26/1.46	c objective function length is 4170 literals
4.61/3.14	c cleaning 2491 clauses out of 5002 with flag 14830/5002
5.99/3.84	c cleaning 4259 clauses out of 8518 with flag 28759/11009
7.12/4.55	c cleaning 5631 clauses out of 11261 with flag 44905/18011
7.92/5.29	c cleaning 6807 clauses out of 13624 with flag 61634/26005
9.30/6.22	c cleaning 7907 clauses out of 15822 with flag 80023/35010
11.03/7.87	c cleaning 8955 clauses out of 17917 with flag 100070/45012
12.25/9.03	c cleaning 9978 clauses out of 19955 with flag 122257/56005
13.36/10.19	c cleaning 10983 clauses out of 21975 with flag 146287/68003
14.63/11.49	c cleaning 11994 clauses out of 23993 with flag 172301/81004
16.28/13.11	c cleaning 13002 clauses out of 26003 with flag 200362/95008
18.46/15.22	c cleaning 13994 clauses out of 27994 with flag 230488/110001
20.46/17.28	c cleaning 14999 clauses out of 30000 with flag 262665/126001
22.58/19.23	c cleaning 15990 clauses out of 32002 with flag 296712/143002
24.81/21.30	c cleaning 17004 clauses out of 34010 with flag 332715/161000
27.31/23.88	c cleaning 18001 clauses out of 36006 with flag 370720/180000
30.29/26.87	c cleaning 19003 clauses out of 38012 with flag 410961/200007
33.09/29.67	c cleaning 19997 clauses out of 40004 with flag 453007/221002
35.98/32.51	c cleaning 20998 clauses out of 42008 with flag 497075/243003
39.37/35.93	c cleaning 22003 clauses out of 44010 with flag 543160/266003
43.90/46.40	c cleaning 23000 clauses out of 46006 with flag 591232/290002
47.99/50.59	c cleaning 23999 clauses out of 48008 with flag 641281/315004
52.28/54.81	c cleaning 25001 clauses out of 50005 with flag 693319/341000
56.87/59.43	c cleaning 26000 clauses out of 52004 with flag 747319/368000
61.95/64.56	c cleaning 27005 clauses out of 54009 with flag 803329/396005
67.17/69.76	c cleaning 27999 clauses out of 55999 with flag 861319/425000
72.95/84.00	c cleaning 29001 clauses out of 58002 with flag 921323/455002
79.07/90.05	c cleaning 29995 clauses out of 59999 with flag 983319/486000
85.93/96.94	c cleaning 30999 clauses out of 62005 with flag 1047321/518001
92.31/103.30	c cleaning 32001 clauses out of 64007 with flag 1113457/551002
98.53/109.68	c cleaning 32999 clauses out of 66008 with flag 1181620/585004
105.22/116.34	c cleaning 33997 clauses out of 68007 with flag 1251672/620002
112.40/123.57	c cleaning 35002 clauses out of 70009 with flag 1323949/656001
119.06/130.26	c cleaning 35991 clauses out of 72006 with flag 1398134/693000
126.77/138.08	c cleaning 37010 clauses out of 74021 with flag 1474205/731006
135.93/147.21	c cleaning 38002 clauses out of 76009 with flag 1552211/770004
144.14/155.44	c cleaning 38999 clauses out of 78004 with flag 1632212/810001
153.60/164.92	c cleaning 40005 clauses out of 80010 with flag 1714240/851006
164.00/175.57	c cleaning 40992 clauses out of 82001 with flag 1798266/893002
174.47/186.09	c cleaning 41995 clauses out of 84007 with flag 1884550/936000
183.55/195.13	c cleaning 42995 clauses out of 86015 with flag 1972834/980003
193.40/205.17	c cleaning 44010 clauses out of 88020 with flag 2062980/1025003
202.90/214.66	c cleaning 45003 clauses out of 90007 with flag 2155135/1071000
213.97/225.73	c cleaning 46004 clauses out of 92013 with flag 2249177/1118009
225.52/237.38	c cleaning 47000 clauses out of 94001 with flag 2345161/1166001
235.90/247.76	c cleaning 47989 clauses out of 96000 with flag 2443159/1215000
247.93/259.70	c cleaning 48999 clauses out of 98015 with flag 2543167/1265004
259.96/271.81	c cleaning 50002 clauses out of 100015 with flag 2645217/1316003
273.49/285.34	c cleaning 51003 clauses out of 102010 with flag 2749253/1368000
289.59/303.84	c cleaning 52003 clauses out of 104008 with flag 2855368/1421001
305.01/319.28	c cleaning 53005 clauses out of 106009 with flag 2963432/1475005
322.88/337.19	c cleaning 54000 clauses out of 108003 with flag 3073674/1530004
338.70/352.99	c cleaning 54998 clauses out of 110004 with flag 3185861/1586005
353.37/367.66	c cleaning 55993 clauses out of 112002 with flag 3299974/1643001
370.69/385.00	c cleaning 57002 clauses out of 114008 with flag 3415999/1701000
388.56/402.80	c cleaning 57997 clauses out of 116011 with flag 3534150/1760005
408.18/422.46	c cleaning 58997 clauses out of 118014 with flag 3654225/1820005
425.85/440.56	c cleaning 59999 clauses out of 120014 with flag 3776304/1881002
445.15/459.93	c cleaning 61000 clauses out of 122015 with flag 3900326/1943002
463.92/478.72	c cleaning 62005 clauses out of 124014 with flag 4026619/2006001
484.06/498.94	c cleaning 63005 clauses out of 126010 with flag 4154623/2070002
508.21/523.46	c cleaning 64002 clauses out of 128005 with flag 4284724/2135002
532.67/547.80	c cleaning 64997 clauses out of 130005 with flag 4416855/2201004
558.76/574.65	c cleaning 65995 clauses out of 132005 with flag 4550915/2268001
586.96/602.98	c cleaning 66993 clauses out of 134009 with flag 4687068/2336000
607.00/622.91	c cleaning 68004 clauses out of 136021 with flag 4825343/2405005
627.08/643.03	c cleaning 69003 clauses out of 138017 with flag 4965557/2475005
647.37/663.32	c cleaning 69999 clauses out of 140009 with flag 5107886/2546000
668.13/684.44	c cleaning 71001 clauses out of 142012 with flag 5251890/2618002
692.26/708.61	c cleaning 71994 clauses out of 144009 with flag 5398031/2691000
715.45/731.86	c cleaning 72999 clauses out of 146015 with flag 5546260/2765000
741.18/757.74	c cleaning 73995 clauses out of 148017 with flag 5696414/2840001
768.88/785.79	c cleaning 75010 clauses out of 150021 with flag 5848457/2916000
793.33/810.42	c cleaning 75999 clauses out of 152012 with flag 6002459/2993001
827.14/844.21	c cleaning 76997 clauses out of 154014 with flag 6158671/3071002
850.80/868.00	c cleaning 78000 clauses out of 156016 with flag 6316745/3150001
877.23/894.40	c cleaning 79001 clauses out of 158019 with flag 6476774/3230004
904.04/921.35	c cleaning 80002 clauses out of 160014 with flag 6638903/3311000
934.02/951.40	c cleaning 81003 clauses out of 162015 with flag 6802983/3393003
963.94/981.37	c cleaning 82004 clauses out of 164010 with flag 6968987/3476001
993.75/1011.26	c cleaning 83003 clauses out of 166005 with flag 7136985/3560000
1023.54/1041.15	c cleaning 83998 clauses out of 168002 with flag 7306985/3645000
1058.48/1076.24	c cleaning 84992 clauses out of 170004 with flag 7479329/3731000
1094.63/1112.29	c cleaning 86007 clauses out of 172019 with flag 7653473/3818007
1135.17/1152.94	c cleaning 87002 clauses out of 174005 with flag 7829589/3906000
1174.22/1192.14	c cleaning 87992 clauses out of 176003 with flag 8008072/3995000
1210.56/1228.61	c cleaning 89009 clauses out of 178017 with flag 8188282/4085006
1247.98/1266.22	c cleaning 89987 clauses out of 180002 with flag 8370341/4176000
1286.39/1304.77	c cleaning 91003 clauses out of 182015 with flag 8554401/4268000
1325.50/1343.99	c cleaning 92004 clauses out of 184018 with flag 8740485/4361006
1367.75/1386.38	c cleaning 93006 clauses out of 186013 with flag 8928576/4455005
1409.01/1427.66	c cleaning 93996 clauses out of 188004 with flag 9118592/4550002
1454.17/1472.99	c cleaning 94994 clauses out of 190007 with flag 9310727/4646001
1503.27/1522.14	c cleaning 96007 clauses out of 192013 with flag 9504844/4743001
1554.89/1573.97	c cleaning 97004 clauses out of 194014 with flag 9701120/4841009
1603.08/1622.21	c cleaning 97995 clauses out of 196002 with flag 9899192/4940001
1657.53/1676.83	c cleaning 99000 clauses out of 198008 with flag 10099532/5040002
1708.97/1728.38	c cleaning 99996 clauses out of 200006 with flag 10301593/5141000
1759.67/1779.03	c cleaning 100995 clauses out of 202010 with flag 10505796/5243000
1807.57/1827.11	c cleaning 102003 clauses out of 204018 with flag 10711887/5346003
1850.29/1869.89	c cleaning 102997 clauses out of 206013 with flag 10919892/5450001
1898.72/1918.43	c cleaning 104005 clauses out of 208019 with flag 11129937/5555004
1943.35/1963.23	c cleaning 104997 clauses out of 210011 with flag 11341933/5661001
1994.58/2014.51	c cleaning 105998 clauses out of 212015 with flag 11555951/5768002
2044.72/2064.73	c cleaning 107001 clauses out of 214015 with flag 11771964/5876000
2091.37/2111.50	c cleaning 108005 clauses out of 216016 with flag 11989985/5985002
2146.94/2166.92	c cleaning 109000 clauses out of 218009 with flag 12209997/6095000
2199.51/2219.63	c cleaning 110005 clauses out of 220009 with flag 12432018/6206000
2258.61/2278.99	c cleaning 110993 clauses out of 222006 with flag 12656081/6318002
2319.84/2340.33	c cleaning 111994 clauses out of 224011 with flag 12882171/6431000
2380.47/2401.14	c cleaning 113004 clauses out of 226017 with flag 13110205/6545000
2445.26/2466.06	c cleaning 114005 clauses out of 228013 with flag 13340312/6660000
2509.95/2530.71	c cleaning 115000 clauses out of 230011 with flag 13572502/6776003
2568.93/2589.82	c cleaning 115998 clauses out of 232008 with flag 13806698/6893000
2635.09/2656.27	c cleaning 117001 clauses out of 234011 with flag 14042720/7011001
2709.17/2730.46	c cleaning 118005 clauses out of 236009 with flag 14280734/7130000
2787.52/2808.97	c cleaning 118991 clauses out of 238004 with flag 14520898/7250000
2867.09/2888.60	c cleaning 120010 clauses out of 240020 with flag 14763197/7371007
2942.21/2963.95	c cleaning 121002 clauses out of 242004 with flag 15007502/7493001
3011.62/3033.66	c cleaning 122001 clauses out of 244001 with flag 15253708/7616000
3081.83/3104.36	c cleaning 123002 clauses out of 246004 with flag 15501799/7740004
3157.57/3180.30	c cleaning 123991 clauses out of 247998 with flag 15751792/7865000
3244.84/3267.73	c cleaning 125006 clauses out of 250012 with flag 16003916/7991005
3332.90/3356.06	c cleaning 126000 clauses out of 252002 with flag 16258221/8118001
3415.91/3439.22	c cleaning 127001 clauses out of 254005 with flag 16514484/8246004
3496.37/3520.01	c cleaning 127991 clauses out of 256001 with flag 16772572/8375001
3592.51/3616.88	c cleaning 129005 clauses out of 258009 with flag 17032571/8505000
3600.09/3624.82	c timeout
3600.09/3624.82	c starts		: 261
3600.09/3624.83	c conflicts		: 8522412
3600.09/3624.83	c decisions		: 8556029
3600.09/3624.84	c propagations		: 147477660
3600.09/3624.84	c inspects		: 23936516458
3600.09/3624.84	c shortcuts		: 0
3600.09/3624.84	c learnt literals	: 0
3600.09/3624.84	c learnt binary clauses	: 0
3600.09/3624.84	c learnt ternary clauses	: 0
3600.09/3624.84	c learnt constraints	: 8522412
3600.09/3624.84	c ignored constraints	: 0
3600.09/3624.84	c root simplifications	: 0
3600.09/3624.84	c removed literals (reason simplification)	: 129050095
3600.09/3624.85	c reason swapping (by a shorter reason)	: 0
3600.09/3624.85	c Calls to reduceDB	: 126
3600.09/3624.85	c Number of update (reduction) of LBD	: 9531
3600.09/3624.85	c Imported unit clauses	: 0
3600.09/3624.85	c No decision after first conflict	: false
3600.09/3624.85	c number of reductions to clauses (during analyze)	: 0
3600.09/3624.85	c number of learned constraints concerned by reduction	: 0
3600.09/3624.85	c number of learning phase by resolution	: 0
3600.09/3624.85	c number of learning phase by cutting planes	: 0
3600.09/3624.85	c number of rounding to 1 operations	: 0
3600.09/3624.85	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.09/3624.85	c number of reductions of the coefficients by power 2 	: 0
3600.09/3624.85	c number of right shift for reduction by power 2 	: 0
3600.09/3624.85	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.09/3624.85	c number of ending skipping 	: 0
3600.09/3624.85	c number of internal skipping 	: 0
3600.09/3624.85	c number of derivation steps 	: 0
3600.09/3624.85	c number of skipped derivation steps 	: 0
3600.09/3624.85	c number of remaining unassigned 	: 0
3600.09/3624.85	c number of remaining assigned 	: 0
3600.09/3624.85	c number of falsified literals weakened from reason	: 0
3600.09/3624.85	c number of falsified literals weakened from conflict	: 0
3600.09/3624.85	c time for arithmetic operations	: 0
3600.09/3624.85	c minimum degree of deleted constraints	: null
3600.09/3624.85	c maximum degree of deleted constraints	: null
3600.09/3624.85	c number of deleted constraints	: 0
3600.09/3624.86	c speed (assignments/second)	: 40701.827885499864
3600.09/3624.86	c non guided choices	: 657
3600.23/3624.98	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 146416
3600.23/3624.98	s UNKNOWN
3600.23/3624.98	c Total wall clock time (in seconds): 3624.639

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

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=125675, runsolver pid=125671

[startup+0.10642 s]*
/proc/loadavg: 2.08 2.11 2.09 8/288 125743
/proc/meminfo: memFree=126096988/131655788 swapFree=131071996/131071996
[pid=125675] ppid=125671 vsize=18975048 memory=55868 CPUtime=0.13 cores=0,2
/proc/125675/stat : 125675 (java) S 125671 125675 125633 0 -1 1077936128 6431 0 0 0 10 3 0 0 20 0 18 0 12560571 19430449152 13967 134679101440 93848944525312 93848944529008 140732107338384 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93848944536824 93848944537616 93848949010432 140732107342763 140732107342945 140732107342945 140732107349960 0
/proc/125675/statm: 4743762 13967 5678 1 0 550779 0
[pid=125675/tid=125682] ppid=125671 vsize=18975048 memory=4026531971 CPUtime=0.09 cores=0,2
/proc/125675/task/125682/stat : 125682 (java) R 125671 125675 125633 0 -1 4194368 5349 0 0 0 6 3 0 0 20 0 18 0 12560571 19430449152 14023 134679101440 93848944525312 93848944529008 140732107338384 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93848944536824 93848944537616 93848949010432 140732107342763 140732107342945 140732107342945 140732107349960 0
[pid=125675/tid=125712] ppid=125671 vsize=18975048 memory=673 CPUtime=0 cores=0,2
/proc/125675/task/125712/stat : 125712 (Finalizer) S 125671 125675 125633 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 12560577 19430449152 14023 134679101440 93848944525312 93848944529008 140732107338384 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93848944536824 93848944537616 93848949010432 140732107342763 140732107342945 140732107342945 140732107349960 0
[pid=125675/tid=125727] ppid=125671 vsize=18975048 memory=13852958324442654 CPUtime=0 cores=0,2
/proc/125675/task/125727/stat : 125727 (Common-Cleaner) S 125671 125675 125633 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 12560578 19430449152 14023 134679101440 93848944525312 93848944529008 140732107338384 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93848944536824 93848944537616 93848949010432 140732107342763 140732107342945 140732107342945 140732107349960 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 55868 KiB

[startup+0.21545 s]*
/proc/loadavg: 2.08 2.11 2.09 11/319 125774
/proc/meminfo: memFree=126056772/131655788 swapFree=131071996/131071996
[pid=125675] ppid=125671 vsize=18975048 memory=60656 CPUtime=0.3 cores=0,2
/proc/125675/stat : 125675 (java) S 125671 125675 125633 0 -1 1077936128 7093 0 0 0 26 4 0 0 20 0 18 0 12560571 19430449152 15164 134679101440 93848944525312 93848944529008 140732107338384 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93848944536824 93848944537616 93848949010432 140732107342763 140732107342945 140732107342945 140732107349960 0
/proc/125675/statm: 4743762 15164 5703 1 0 551321 0
[pid=125675/tid=125682] ppid=125671 vsize=18975048 memory=8737651120394928259 CPUtime=0.19 cores=0,2
/proc/125675/task/125682/stat : 125682 (java) R 125671 125675 125633 0 -1 4194368 5662 0 0 0 16 3 0 0 20 0 18 0 12560571 19430449152 15164 134679101440 93848944525312 93848944529008 140732107338384 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93848944536824 93848944537616 93848949010432 140732107342763 140732107342945 140732107342945 140732107349960 0
[pid=125675/tid=125712] ppid=125671 vsize=18975048 memory=673 CPUtime=0 cores=0,2
/proc/125675/task/125712/stat : 125712 (Finalizer) S 125671 125675 125633 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 12560577 19430449152 15164 134679101440 93848944525312 93848944529008 140732107338384 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93848944536824 93848944537616 93848949010432 140732107342763 140732107342945 140732107342945 140732107349960 0
[pid=125675/tid=125727] ppid=125671 vsize=18975048 memory=13852958324442654 CPUtime=0 cores=0,2
/proc/125675/task/125727/stat : 125727 (Common-Cleaner) S 125671 125675 125633 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 12560578 19430449152 15164 134679101440 93848944525312 93848944529008 140732107338384 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93848944536824 93848944537616 93848949010432 140732107342763 140732107342945 140732107342945 140732107349960 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 60656 KiB

[startup+0.319813 s]*
/proc/loadavg: 2.08 2.11 2.09 14/319 125774
/proc/meminfo: memFree=126027920/131655788 swapFree=131071996/131071996
[pid=125675] ppid=125671 vsize=18975048 memory=65880 CPUtime=0.47 cores=0,2
/proc/125675/stat : 125675 (java) S 125671 125675 125633 0 -1 1077936128 7386 0 0 0 42 5 0 0 20 0 18 0 12560571 19430449152 16470 134679101440 93848944525312 93848944529008 140732107338384 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93848944536824 93848944537616 93848949010432 140732107342763 140732107342945 140732107342945 140732107349960 0
/proc/125675/statm: 4743762 16470 5712 1 0 551538 0
[pid=125675/tid=125682] ppid=125671 vsize=18975048 memory=-8816749991358669500 CPUtime=0.29 cores=0,2
/proc/125675/task/125682/stat : 125682 (java) R 125671 125675 125633 0 -1 4194368 5852 0 0 0 25 4 0 0 20 0 18 0 12560571 19430449152 16470 134679101440 93848944525312 93848944529008 140732107338384 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93848944536824 93848944537616 93848949010432 140732107342763 140732107342945 140732107342945 140732107349960 0
[pid=125675/tid=125712] ppid=125671 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/125675/task/125712/stat : 125712 (Finalizer) S 125671 125675 125633 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 12560577 19430449152 16470 134679101440 93848944525312 93848944529008 140732107338384 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93848944536824 93848944537616 93848949010432 140732107342763 140732107342945 140732107342945 140732107349960 0
[pid=125675/tid=125727] ppid=125671 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/125675/task/125727/stat : 125727 (Common-Cleaner) S 125671 125675 125633 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 12560578 19430449152 16470 134679101440 93848944525312 93848944529008 140732107338384 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93848944536824 93848944537616 93848949010432 140732107342763 140732107342945 140732107342945 140732107349960 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 65880 KiB

[startup+0.700362 s]
/proc/loadavg: 2.08 2.11 2.09 1/319 125774
/proc/meminfo: memFree=126019176/131655788 swapFree=131071996/131071996
[pid=125675] ppid=125671 vsize=18975048 memory=66028 CPUtime=0.5 cores=0,2
/proc/125675/stat : 125675 (java) S 125671 125675 125633 0 -1 1077936128 7437 0 0 0 45 5 0 0 20 0 18 0 12560571 19430449152 16507 134679101440 93848944525312 93848944529008 140732107338384 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93848944536824 93848944537616 93848949010432 140732107342763 140732107342945 140732107342945 140732107349960 0
/proc/125675/statm: 4743762 16507 5717 1 0 551565 0
[pid=125675/tid=125682] ppid=125671 vsize=18975048 memory=16092 CPUtime=0.3 cores=0,2
/proc/125675/task/125682/stat : 125682 (java) D 125671 125675 125633 0 -1 1078198336 5886 0 0 0 26 4 0 0 20 0 18 0 12560571 19430449152 16507 134679101440 93848944525312 93848944529008 140732107338384 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93848944536824 93848944537616 93848949010432 140732107342763 140732107342945 140732107342945 140732107349960 0
[pid=125675/tid=125712] ppid=125671 vsize=18975048 memory=12412 CPUtime=0 cores=0,2
/proc/125675/task/125712/stat : 125712 (Finalizer) S 125671 125675 125633 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 12560577 19430449152 16507 134679101440 93848944525312 93848944529008 140732107338384 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93848944536824 93848944537616 93848949010432 140732107342763 140732107342945 140732107342945 140732107349960 0
[pid=125675/tid=125727] ppid=125671 vsize=18975048 memory=1904 CPUtime=0 cores=0,2
/proc/125675/task/125727/stat : 125727 (Common-Cleaner) S 125671 125675 125633 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 12560578 19430449152 16507 134679101440 93848944525312 93848944529008 140732107338384 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93848944536824 93848944537616 93848949010432 140732107342763 140732107342945 140732107342945 140732107349960 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 66028 KiB

[startup+1.5014 s]
/proc/loadavg: 2.08 2.11 2.09 1/319 125774
/proc/meminfo: memFree=126018952/131655788 swapFree=131071996/131071996
[pid=125675] ppid=125671 vsize=19041612 memory=109840 CPUtime=1.45 cores=0,2
/proc/125675/stat : 125675 (java) S 125671 125675 125633 0 -1 1077936128 9530 0 0 0 137 8 0 0 20 0 19 0 12560571 19498610688 27460 134679101440 93848944525312 93848944529008 140732107338384 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93848944536824 93848944537616 93848949010432 140732107342763 140732107342945 140732107342945 140732107349960 0
/proc/125675/statm: 4760403 27460 5893 1 0 553179 0
[pid=125675/tid=125682] ppid=125671 vsize=19041612 memory=12412 CPUtime=0.7 cores=0,2
/proc/125675/task/125682/stat : 125682 (java) R 125671 125675 125633 0 -1 4194368 6082 0 0 0 64 6 0 0 20 0 19 0 12560571 19498610688 27460 134679101440 93848944525312 93848944529008 140732107338384 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93848944536824 93848944537616 93848949010432 140732107342763 140732107342945 140732107342945 140732107349960 0
[pid=125675/tid=125712] ppid=125671 vsize=19041612 memory=1904 CPUtime=0 cores=0,2
/proc/125675/task/125712/stat : 125712 (Finalizer) S 125671 125675 125633 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 12560577 19498610688 27460 134679101440 93848944525312 93848944529008 140732107338384 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93848944536824 93848944537616 93848949010432 140732107342763 140732107342945 140732107342945 140732107349960 0
[pid=125675/tid=125727] ppid=125671 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/125675/task/125727/stat : 125727 (Common-Cleaner) S 125671 125675 125633 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 12560578 19498610688 27460 134679101440 93848944525312 93848944529008 140732107338384 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93848944536824 93848944537616 93848949010432 140732107342763 140732107342945 140732107342945 140732107349960 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 109840 KiB

[startup+3.10939 s]
/proc/loadavg: 2.08 2.11 2.09 10/328 125783
/proc/meminfo: memFree=125462040/131655788 swapFree=131071996/131071996
[pid=125675] ppid=125671 vsize=19108176 memory=182372 CPUtime=4.61 cores=0,2
/proc/125675/stat : 125675 (java) S 125671 125675 125633 0 -1 1077936128 22193 0 0 0 447 14 0 0 20 0 20 0 12560571 19566772224 45593 134679101440 93848944525312 93848944529008 140732107338384 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93848944536824 93848944537616 93848949010432 140732107342763 140732107342945 140732107342945 140732107349960 0
/proc/125675/statm: 4777044 45593 5946 1 0 556839 0
[pid=125675/tid=125682] ppid=125671 vsize=19108176 memory=0 CPUtime=2.13 cores=0,2
/proc/125675/task/125682/stat : 125682 (java) R 125671 125675 125633 0 -1 4194368 6999 0 0 0 204 9 0 0 20 0 20 0 12560571 19566772224 45593 134679101440 93848944525312 93848944529008 140732107338384 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93848944536824 93848944537616 93848949010432 140732107342763 140732107342945 140732107342945 140732107349960 0
[pid=125675/tid=125712] ppid=125671 vsize=19108176 memory=12412 CPUtime=0 cores=0,2
/proc/125675/task/125712/stat : 125712 (Finalizer) S 125671 125675 125633 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 12560577 19566772224 45593 134679101440 93848944525312 93848944529008 140732107338384 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93848944536824 93848944537616 93848949010432 140732107342763 140732107342945 140732107342945 140732107349960 0
[pid=125675/tid=125727] ppid=125671 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/125675/task/125727/stat : 125727 (Common-Cleaner) S 125671 125675 125633 0 -1 1077936192 47 0 0 0 0 0 0 0 20 0 20 0 12560578 19566772224 45593 134679101440 93848944525312 93848944529008 140732107338384 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93848944536824 93848944537616 93848949010432 140732107342763 140732107342945 140732107342945 140732107349960 0
[pid=125675/tid=125776] ppid=125671 vsize=19108176 memory=281315794680896 CPUtime=0 cores=0,2
/proc/125675/task/125776/stat : 125776 (Timer-0) S 125671 125675 125633 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 12560719 19566772224 45593 134679101440 93848944525312 93848944529008 140732107338384 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93848944536824 93848944537616 93848949010432 140732107342763 140732107342945 140732107342945 140732107349960 0
Current children cumulated CPU time: 4.61 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 182372 KiB

[startup+6.30025 s]
/proc/loadavg: 2.56 2.21 2.13 6/328 125783
/proc/meminfo: memFree=123620148/131655788 swapFree=131071996/131071996
[pid=125675] ppid=125671 vsize=19108176 memory=344740 CPUtime=9.41 cores=0,2
/proc/125675/stat : 125675 (java) S 125671 125675 125633 0 -1 1077936128 25446 0 0 0 920 21 0 0 20 0 20 0 12560571 19566772224 86185 134679101440 93848944525312 93848944529008 140732107338384 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93848944536824 93848944537616 93848949010432 140732107342763 140732107342945 140732107342945 140732107349960 0
/proc/125675/statm: 4777044 86185 5963 1 0 556901 0
[pid=125675/tid=125682] ppid=125671 vsize=19108176 memory=0 CPUtime=5.27 cores=0,2
/proc/125675/task/125682/stat : 125682 (java) R 125671 125675 125633 0 -1 4194368 7912 0 0 0 513 14 0 0 20 0 20 0 12560571 19566772224 86185 134679101440 93848944525312 93848944529008 140732107338384 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93848944536824 93848944537616 93848949010432 140732107342763 140732107342945 140732107342945 140732107349960 0
[pid=125675/tid=125712] ppid=125671 vsize=19108176 memory=12412 CPUtime=0 cores=0,2
/proc/125675/task/125712/stat : 125712 (Finalizer) S 125671 125675 125633 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 12560577 19566772224 86185 134679101440 93848944525312 93848944529008 140732107338384 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93848944536824 93848944537616 93848949010432 140732107342763 140732107342945 140732107342945 140732107349960 0
[pid=125675/tid=125727] ppid=125671 vsize=19108176 memory=-9103574092138455740 CPUtime=0 cores=0,2
/proc/125675/task/125727/stat : 125727 (Common-Cleaner) S 125671 125675 125633 0 -1 1077936192 57 0 0 0 0 0 0 0 20 0 20 0 12560578 19566772224 86185 134679101440 93848944525312 93848944529008 140732107338384 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93848944536824 93848944537616 93848949010432 140732107342763 140732107342945 140732107342945 140732107349960 0
[pid=125675/tid=125776] ppid=125671 vsize=19108176 memory=-2546404450263329401 CPUtime=0 cores=0,2
/proc/125675/task/125776/stat : 125776 (Timer-0) S 125671 125675 125633 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 12560719 19566772224 86185 134679101440 93848944525312 93848944529008 140732107338384 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93848944536824 93848944537616 93848949010432 140732107342763 140732107342945 140732107342945 140732107349960 0
Current children cumulated CPU time: 9.41 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 344740 KiB

[startup+12.7004 s]
/proc/loadavg: 2.75 2.25 2.14 5/329 125786
/proc/meminfo: memFree=119635028/131655788 swapFree=131071996/131071996
[pid=125675] ppid=125671 vsize=19108176 memory=949184 CPUtime=15.96 cores=0,2
/proc/125675/stat : 125675 (java) S 125671 125675 125633 0 -1 1077936128 27571 0 0 0 1559 37 0 0 20 0 20 0 12560571 19566772224 237296 134679101440 93848944525312 93848944529008 140732107338384 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93848944536824 93848944537616 93848949010432 140732107342763 140732107342945 140732107342945 140732107349960 0
/proc/125675/statm: 4777044 237296 5978 1 0 556901 0
[pid=125675/tid=125682] ppid=125671 vsize=19108176 memory=948916 CPUtime=11.57 cores=0,2
/proc/125675/task/125682/stat : 125682 (java) R 125671 125675 125633 0 -1 4194368 9111 0 0 0 1127 30 0 0 20 0 20 0 12560571 19566772224 237296 134679101440 93848944525312 93848944529008 140732107338384 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 4 0 0 93848944536824 93848944537616 93848949010432 140732107342763 140732107342945 140732107342945 140732107349960 0
[pid=125675/tid=125712] ppid=125671 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/125675/task/125712/stat : 125712 (Finalizer) S 125671 125675 125633 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 12560577 19566772224 237296 134679101440 93848944525312 93848944529008 140732107338384 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93848944536824 93848944537616 93848949010432 140732107342763 140732107342945 140732107342945 140732107349960 0
[pid=125675/tid=125727] ppid=125671 vsize=19108176 memory=12412 CPUtime=0 cores=0,2
/proc/125675/task/125727/stat : 125727 (Common-Cleaner) S 125671 125675 125633 0 -1 1077936192 57 0 0 0 0 0 0 0 20 0 20 0 12560578 19566772224 237296 134679101440 93848944525312 93848944529008 140732107338384 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93848944536824 93848944537616 93848949010432 140732107342763 140732107342945 140732107342945 140732107349960 0
[pid=125675/tid=125776] ppid=125671 vsize=19108176 memory=5572 CPUtime=0 cores=0,2
/proc/125675/task/125776/stat : 125776 (Timer-0) S 125671 125675 125633 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 12560719 19566772224 237296 134679101440 93848944525312 93848944529008 140732107338384 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93848944536824 93848944537616 93848949010432 140732107342763 140732107342945 140732107342945 140732107349960 0
Current children cumulated CPU time: 15.96 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 949184 KiB

[startup+25.5005 s]
/proc/loadavg: 3.11 2.36 2.18 6/328 125788
/proc/meminfo: memFree=113980596/131655788 swapFree=131071996/131071996
[pid=125675] ppid=125671 vsize=19108176 memory=1348620 CPUtime=29 cores=0,2
/proc/125675/stat : 125675 (java) S 125671 125675 125633 0 -1 1077936128 32670 0 0 0 2846 54 0 0 20 0 20 0 12560571 19566772224 337155 134679101440 93848944525312 93848944529008 140732107338384 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93848944536824 93848944537616 93848949010432 140732107342763 140732107342945 140732107342945 140732107349960 0
/proc/125675/statm: 4777044 337155 5978 1 0 556901 0
[pid=125675/tid=125682] ppid=125671 vsize=19108176 memory=0 CPUtime=24.25 cores=0,2
/proc/125675/task/125682/stat : 125682 (java) R 125671 125675 125633 0 -1 4194368 10782 0 0 0 2381 44 0 0 20 0 20 0 12560571 19566772224 337155 134679101440 93848944525312 93848944529008 140732107338384 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 4 0 0 93848944536824 93848944537616 93848949010432 140732107342763 140732107342945 140732107342945 140732107349960 0
[pid=125675/tid=125712] ppid=125671 vsize=19108176 memory=1348616 CPUtime=0 cores=0,2
/proc/125675/task/125712/stat : 125712 (Finalizer) S 125671 125675 125633 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 12560577 19566772224 337155 134679101440 93848944525312 93848944529008 140732107338384 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93848944536824 93848944537616 93848949010432 140732107342763 140732107342945 140732107342945 140732107349960 0
[pid=125675/tid=125727] ppid=125671 vsize=19108176 memory=-9103574092138455740 CPUtime=0 cores=0,2
/proc/125675/task/125727/stat : 125727 (Common-Cleaner) S 125671 125675 125633 0 -1 1077936192 57 0 0 0 0 0 0 0 20 0 20 0 12560578 19566772224 337155 134679101440 93848944525312 93848944529008 140732107338384 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93848944536824 93848944537616 93848949010432 140732107342763 140732107342945 140732107342945 140732107349960 0
[pid=125675/tid=125776] ppid=125671 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/125675/task/125776/stat : 125776 (Timer-0) S 125671 125675 125633 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 12560719 19566772224 337155 134679101440 93848944525312 93848944529008 140732107338384 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93848944536824 93848944537616 93848949010432 140732107342763 140732107342945 140732107342945 140732107349960 0
Current children cumulated CPU time: 29 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1348620 KiB

[startup+51.1136 s]
/proc/loadavg: 3.64 2.54 2.24 5/327 125794
/proc/meminfo: memFree=109353148/131655788 swapFree=131071996/131071996
[pid=125675] ppid=125671 vsize=19108176 memory=1356824 CPUtime=48.6 cores=0,2
/proc/125675/stat : 125675 (java) S 125671 125675 125633 0 -1 1077936128 36314 0 0 0 4797 63 0 0 20 0 20 0 12560571 19566772224 339206 134679101440 93848944525312 93848944529008 140732107338384 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93848944536824 93848944537616 93848949010432 140732107342763 140732107342945 140732107342945 140732107349960 0
/proc/125675/statm: 4777044 339206 5978 1 0 556901 0
[pid=125675/tid=125682] ppid=125671 vsize=19108176 memory=1356824 CPUtime=43.6 cores=0,2
/proc/125675/task/125682/stat : 125682 (java) R 125671 125675 125633 0 -1 4194368 12575 0 0 0 4309 51 0 0 20 0 20 0 12560571 19566772224 339206 134679101440 93848944525312 93848944529008 140732107338384 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 599 0 0 93848944536824 93848944537616 93848949010432 140732107342763 140732107342945 140732107342945 140732107349960 0
[pid=125675/tid=125712] ppid=125671 vsize=19108176 memory=1356824 CPUtime=0 cores=0,2
/proc/125675/task/125712/stat : 125712 (Finalizer) S 125671 125675 125633 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 12560577 19566772224 339206 134679101440 93848944525312 93848944529008 140732107338384 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93848944536824 93848944537616 93848949010432 140732107342763 140732107342945 140732107342945 140732107349960 0
[pid=125675/tid=125727] ppid=125671 vsize=19108176 memory=11932 CPUtime=0 cores=0,2
/proc/125675/task/125727/stat : 125727 (Common-Cleaner) S 125671 125675 125633 0 -1 1077936192 57 0 0 0 0 0 0 0 20 0 20 0 12560578 19566772224 339206 134679101440 93848944525312 93848944529008 140732107338384 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93848944536824 93848944537616 93848949010432 140732107342763 140732107342945 140732107342945 140732107349960 0
[pid=125675/tid=125776] ppid=125671 vsize=19108176 memory=1356824 CPUtime=0 cores=0,2
/proc/125675/task/125776/stat : 125776 (Timer-0) S 125671 125675 125633 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 12560719 19566772224 339206 134679101440 93848944525312 93848944529008 140732107338384 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93848944536824 93848944537616 93848949010432 140732107342763 140732107342945 140732107342945 140732107349960 0

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

[startup+3282.3 s]
/proc/loadavg: 5.67 4.80 4.42 8/324 127581
/proc/meminfo: memFree=7106092/131655788 swapFree=131071996/131071996
[pid=125675] ppid=125671 vsize=19108176 memory=2190472 CPUtime=3259.4 cores=0,2
/proc/125675/stat : 125675 (java) S 125671 125675 125633 0 -1 1077936128 136798 0 0 0 325081 859 0 0 20 0 20 0 12560571 19566772224 547618 134679101440 93848944525312 93848944529008 140732107338384 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93848944536824 93848944537616 93848949010432 140732107342763 140732107342945 140732107342945 140732107349960 0
/proc/125675/statm: 4777044 547618 5978 1 0 559723 0
[pid=125675/tid=125682] ppid=125671 vsize=19108176 memory=2190472 CPUtime=3229.76 cores=0,2
/proc/125675/task/125682/stat : 125682 (java) R 125671 125675 125633 0 -1 4194368 62140 0 0 0 322301 675 0 0 20 0 20 0 12560571 19566772224 547618 134679101440 93848944525312 93848944529008 140732107338384 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 2413 0 0 93848944536824 93848944537616 93848949010432 140732107342763 140732107342945 140732107342945 140732107349960 0
[pid=125675/tid=125712] ppid=125671 vsize=19108176 memory=16092 CPUtime=0 cores=0,2
/proc/125675/task/125712/stat : 125712 (Finalizer) S 125671 125675 125633 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 12560577 19566772224 547618 134679101440 93848944525312 93848944529008 140732107338384 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93848944536824 93848944537616 93848949010432 140732107342763 140732107342945 140732107342945 140732107349960 0
[pid=125675/tid=125727] ppid=125671 vsize=19108176 memory=2190380 CPUtime=0 cores=0,2
/proc/125675/task/125727/stat : 125727 (Common-Cleaner) S 125671 125675 125633 0 -1 1077936192 2830 0 0 0 0 0 0 0 20 0 20 0 12560578 19566772224 547618 134679101440 93848944525312 93848944529008 140732107338384 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93848944536824 93848944537616 93848949010432 140732107342763 140732107342945 140732107342945 140732107349960 0
[pid=125675/tid=125776] ppid=125671 vsize=19108176 memory=-7234046156037512572 CPUtime=0 cores=0,2
/proc/125675/task/125776/stat : 125776 (Timer-0) S 125671 125675 125633 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 12560719 19566772224 547618 134679101440 93848944525312 93848944529008 140732107338384 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93848944536824 93848944537616 93848949010432 140732107342763 140732107342945 140732107342945 140732107349960 0
Current children cumulated CPU time: 3259.4 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2190472 KiB

[startup+3342.3 s]
/proc/loadavg: 4.95 4.78 4.44 5/326 127596
/proc/meminfo: memFree=6046612/131655788 swapFree=131071996/131071996
[pid=125675] ppid=125671 vsize=19108176 memory=2190472 CPUtime=3319.22 cores=0,2
/proc/125675/stat : 125675 (java) S 125671 125675 125633 0 -1 1077936128 138338 0 0 0 331052 870 0 0 20 0 20 0 12560571 19566772224 547618 134679101440 93848944525312 93848944529008 140732107338384 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93848944536824 93848944537616 93848949010432 140732107342763 140732107342945 140732107342945 140732107349960 0
/proc/125675/statm: 4777044 547618 5978 1 0 559723 0
[pid=125675/tid=125682] ppid=125671 vsize=19108176 memory=0 CPUtime=3289.22 cores=0,2
/proc/125675/task/125682/stat : 125682 (java) R 125671 125675 125633 0 -1 4194368 62867 0 0 0 328238 684 0 0 20 0 20 0 12560571 19566772224 547618 134679101440 93848944525312 93848944529008 140732107338384 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 2418 0 0 93848944536824 93848944537616 93848949010432 140732107342763 140732107342945 140732107342945 140732107349960 0
[pid=125675/tid=125712] ppid=125671 vsize=19108176 memory=2190472 CPUtime=0 cores=0,2
/proc/125675/task/125712/stat : 125712 (Finalizer) S 125671 125675 125633 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 12560577 19566772224 547618 134679101440 93848944525312 93848944529008 140732107338384 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93848944536824 93848944537616 93848949010432 140732107342763 140732107342945 140732107342945 140732107349960 0
[pid=125675/tid=125727] ppid=125671 vsize=19108176 memory=13956 CPUtime=0 cores=0,2
/proc/125675/task/125727/stat : 125727 (Common-Cleaner) S 125671 125675 125633 0 -1 1077936192 2964 0 0 0 0 0 0 0 20 0 20 0 12560578 19566772224 547618 134679101440 93848944525312 93848944529008 140732107338384 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93848944536824 93848944537616 93848949010432 140732107342763 140732107342945 140732107342945 140732107349960 0
[pid=125675/tid=125776] ppid=125671 vsize=19108176 memory=5572 CPUtime=0 cores=0,2
/proc/125675/task/125776/stat : 125776 (Timer-0) S 125671 125675 125633 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 12560719 19566772224 547618 134679101440 93848944525312 93848944529008 140732107338384 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93848944536824 93848944537616 93848949010432 140732107342763 140732107342945 140732107342945 140732107349960 0
Current children cumulated CPU time: 3319.22 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2190472 KiB

[startup+3402.3 s]
/proc/loadavg: 4.81 4.76 4.46 9/326 127607
/proc/meminfo: memFree=4986404/131655788 swapFree=131071996/131071996
[pid=125675] ppid=125671 vsize=19108176 memory=2190472 CPUtime=3379.06 cores=0,2
/proc/125675/stat : 125675 (java) S 125671 125675 125633 0 -1 1077936128 139979 0 0 0 337023 883 0 0 20 0 20 0 12560571 19566772224 547618 134679101440 93848944525312 93848944529008 140732107338384 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93848944536824 93848944537616 93848949010432 140732107342763 140732107342945 140732107342945 140732107349960 0
/proc/125675/statm: 4777044 547618 5978 1 0 559723 0
[pid=125675/tid=125682] ppid=125671 vsize=19108176 memory=2190472 CPUtime=3348.67 cores=0,2
/proc/125675/task/125682/stat : 125682 (java) R 125671 125675 125633 0 -1 4194368 63659 0 0 0 334174 693 0 0 20 0 20 0 12560571 19566772224 547618 134679101440 93848944525312 93848944529008 140732107338384 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 2422 0 0 93848944536824 93848944537616 93848949010432 140732107342763 140732107342945 140732107342945 140732107349960 0
[pid=125675/tid=125712] ppid=125671 vsize=19108176 memory=2190472 CPUtime=0 cores=0,2
/proc/125675/task/125712/stat : 125712 (Finalizer) S 125671 125675 125633 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 12560577 19566772224 547618 134679101440 93848944525312 93848944529008 140732107338384 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93848944536824 93848944537616 93848949010432 140732107342763 140732107342945 140732107342945 140732107349960 0
[pid=125675/tid=125727] ppid=125671 vsize=19108176 memory=5572 CPUtime=0 cores=0,2
/proc/125675/task/125727/stat : 125727 (Common-Cleaner) S 125671 125675 125633 0 -1 1077936192 2965 0 0 0 0 0 0 0 20 0 20 0 12560578 19566772224 547618 134679101440 93848944525312 93848944529008 140732107338384 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93848944536824 93848944537616 93848949010432 140732107342763 140732107342945 140732107342945 140732107349960 0
[pid=125675/tid=125776] ppid=125671 vsize=19108176 memory=2190472 CPUtime=0 cores=0,2
/proc/125675/task/125776/stat : 125776 (Timer-0) S 125671 125675 125633 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 12560719 19566772224 547618 134679101440 93848944525312 93848944529008 140732107338384 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93848944536824 93848944537616 93848949010432 140732107342763 140732107342945 140732107342945 140732107349960 0
Current children cumulated CPU time: 3379.06 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2190472 KiB

[startup+3462.3 s]
/proc/loadavg: 5.05 4.85 4.51 4/325 127617
/proc/meminfo: memFree=4131164/131655788 swapFree=131071996/131071996
[pid=125675] ppid=125671 vsize=19108176 memory=2190564 CPUtime=3438.82 cores=0,2
/proc/125675/stat : 125675 (java) S 125671 125675 125633 0 -1 1077936128 143077 0 0 0 342988 894 0 0 20 0 20 0 12560571 19566772224 547641 134679101440 93848944525312 93848944529008 140732107338384 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93848944536824 93848944537616 93848949010432 140732107342763 140732107342945 140732107342945 140732107349960 0
/proc/125675/statm: 4777044 547641 5978 1 0 559731 0
[pid=125675/tid=125682] ppid=125671 vsize=19108176 memory=2190472 CPUtime=3407.95 cores=0,2
/proc/125675/task/125682/stat : 125682 (java) R 125671 125675 125633 0 -1 4194368 64262 0 0 0 340094 701 0 0 20 0 20 0 12560571 19566772224 547641 134679101440 93848944525312 93848944529008 140732107338384 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 2458 0 0 93848944536824 93848944537616 93848949010432 140732107342763 140732107342945 140732107342945 140732107349960 0
[pid=125675/tid=125712] ppid=125671 vsize=19108176 memory=2190472 CPUtime=0 cores=0,2
/proc/125675/task/125712/stat : 125712 (Finalizer) S 125671 125675 125633 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 12560577 19566772224 547641 134679101440 93848944525312 93848944529008 140732107338384 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93848944536824 93848944537616 93848949010432 140732107342763 140732107342945 140732107342945 140732107349960 0
[pid=125675/tid=125727] ppid=125671 vsize=19108176 memory=5572 CPUtime=0 cores=0,2
/proc/125675/task/125727/stat : 125727 (Common-Cleaner) S 125671 125675 125633 0 -1 1077936192 3058 0 0 0 0 0 0 0 20 0 20 0 12560578 19566772224 547641 134679101440 93848944525312 93848944529008 140732107338384 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93848944536824 93848944537616 93848949010432 140732107342763 140732107342945 140732107342945 140732107349960 0
[pid=125675/tid=125776] ppid=125671 vsize=19108176 memory=13956 CPUtime=0 cores=0,2
/proc/125675/task/125776/stat : 125776 (Timer-0) S 125671 125675 125633 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 12560719 19566772224 547641 134679101440 93848944525312 93848944529008 140732107338384 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93848944536824 93848944537616 93848949010432 140732107342763 140732107342945 140732107342945 140732107349960 0
Current children cumulated CPU time: 3438.82 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2190564 KiB

[startup+3522.3 s]
/proc/loadavg: 4.64 4.76 4.50 8/326 127899
/proc/meminfo: memFree=34104640/131655788 swapFree=131071996/131071996
[pid=125675] ppid=125671 vsize=19108176 memory=2190584 CPUtime=3498.67 cores=0,2
/proc/125675/stat : 125675 (java) S 125671 125675 125633 0 -1 1077936128 145107 0 0 0 348963 904 0 0 20 0 20 0 12560571 19566772224 547646 134679101440 93848944525312 93848944529008 140732107338384 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93848944536824 93848944537616 93848949010432 140732107342763 140732107342945 140732107342945 140732107349960 0
/proc/125675/statm: 4777044 547646 5978 1 0 559731 0
[pid=125675/tid=125682] ppid=125671 vsize=19108176 memory=5572 CPUtime=3467.47 cores=0,2
/proc/125675/task/125682/stat : 125682 (java) R 125671 125675 125633 0 -1 4194368 65336 0 0 0 346039 708 0 0 20 0 20 0 12560571 19566772224 547646 134679101440 93848944525312 93848944529008 140732107338384 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 2461 0 0 93848944536824 93848944537616 93848949010432 140732107342763 140732107342945 140732107342945 140732107349960 0
[pid=125675/tid=125712] ppid=125671 vsize=19108176 memory=16092 CPUtime=0 cores=0,2
/proc/125675/task/125712/stat : 125712 (Finalizer) S 125671 125675 125633 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 12560577 19566772224 547646 134679101440 93848944525312 93848944529008 140732107338384 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93848944536824 93848944537616 93848949010432 140732107342763 140732107342945 140732107342945 140732107349960 0
[pid=125675/tid=125727] ppid=125671 vsize=19108176 memory=2190584 CPUtime=0 cores=0,2
/proc/125675/task/125727/stat : 125727 (Common-Cleaner) S 125671 125675 125633 0 -1 1077936192 3202 0 0 0 0 0 0 0 20 0 20 0 12560578 19566772224 547646 134679101440 93848944525312 93848944529008 140732107338384 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93848944536824 93848944537616 93848949010432 140732107342763 140732107342945 140732107342945 140732107349960 0
[pid=125675/tid=125776] ppid=125671 vsize=19108176 memory=26928 CPUtime=0 cores=0,2
/proc/125675/task/125776/stat : 125776 (Timer-0) S 125671 125675 125633 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 12560719 19566772224 547646 134679101440 93848944525312 93848944529008 140732107338384 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93848944536824 93848944537616 93848949010432 140732107342763 140732107342945 140732107342945 140732107349960 0
Current children cumulated CPU time: 3498.67 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2190584 KiB

[startup+3582.3 s]
/proc/loadavg: 4.60 4.71 4.49 6/327 128045
/proc/meminfo: memFree=99395872/131655788 swapFree=131071996/131071996
[pid=125675] ppid=125671 vsize=19108176 memory=2190592 CPUtime=3558.34 cores=0,2
/proc/125675/stat : 125675 (java) S 125671 125675 125633 0 -1 1077936128 145975 0 0 0 354916 918 0 0 20 0 20 0 12560571 19566772224 547648 134679101440 93848944525312 93848944529008 140732107338384 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93848944536824 93848944537616 93848949010432 140732107342763 140732107342945 140732107342945 140732107349960 0
/proc/125675/statm: 4777044 547648 5978 1 0 559731 0
[pid=125675/tid=125682] ppid=125671 vsize=19108176 memory=49800 CPUtime=3526.94 cores=0,2
/proc/125675/task/125682/stat : 125682 (java) R 125671 125675 125633 0 -1 4194368 66094 0 0 0 351975 719 0 0 20 0 20 0 12560571 19566772224 547648 134679101440 93848944525312 93848944529008 140732107338384 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 2477 0 0 93848944536824 93848944537616 93848949010432 140732107342763 140732107342945 140732107342945 140732107349960 0
[pid=125675/tid=125712] ppid=125671 vsize=19108176 memory=12412 CPUtime=0 cores=0,2
/proc/125675/task/125712/stat : 125712 (Finalizer) S 125671 125675 125633 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 12560577 19566772224 547648 134679101440 93848944525312 93848944529008 140732107338384 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93848944536824 93848944537616 93848949010432 140732107342763 140732107342945 140732107342945 140732107349960 0
[pid=125675/tid=125727] ppid=125671 vsize=19108176 memory=2164 CPUtime=0 cores=0,2
/proc/125675/task/125727/stat : 125727 (Common-Cleaner) S 125671 125675 125633 0 -1 1077936192 3203 0 0 0 0 0 0 0 20 0 20 0 12560578 19566772224 547648 134679101440 93848944525312 93848944529008 140732107338384 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93848944536824 93848944537616 93848949010432 140732107342763 140732107342945 140732107342945 140732107349960 0
[pid=125675/tid=125776] ppid=125671 vsize=19108176 memory=13956 CPUtime=0 cores=0,2
/proc/125675/task/125776/stat : 125776 (Timer-0) S 125671 125675 125633 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 12560719 19566772224 547648 134679101440 93848944525312 93848944529008 140732107338384 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93848944536824 93848944537616 93848949010432 140732107342763 140732107342945 140732107342945 140732107349960 0
Current children cumulated CPU time: 3558.34 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2190592 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3624.8 s]
/proc/loadavg: 4.52 4.69 4.49 5/328 128053
/proc/meminfo: memFree=86937096/131655788 swapFree=131071996/131071996
[pid=125675] ppid=125671 vsize=19108176 memory=2190600 CPUtime=3600.09 cores=0,2
/proc/125675/stat : 125675 (java) S 125671 125675 125633 0 -1 1077936128 147163 0 0 0 359083 926 0 0 20 0 20 0 12560571 19566772224 547650 134679101440 93848944525312 93848944529008 140732107338384 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93848944536824 93848944537616 93848949010432 140732107342763 140732107342945 140732107342945 140732107349960 0
/proc/125675/statm: 4777044 547650 5978 1 0 559733 0
[pid=125675/tid=125682] ppid=125671 vsize=19108176 memory=49800 CPUtime=3568.48 cores=0,2
/proc/125675/task/125682/stat : 125682 (java) R 125671 125675 125633 0 -1 4194368 66353 0 0 0 356123 725 0 0 20 0 20 0 12560571 19566772224 547650 134679101440 93848944525312 93848944529008 140732107338384 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 2543 0 0 93848944536824 93848944537616 93848949010432 140732107342763 140732107342945 140732107342945 140732107349960 0
[pid=125675/tid=125712] ppid=125671 vsize=19108176 memory=12412 CPUtime=0 cores=0,2
/proc/125675/task/125712/stat : 125712 (Finalizer) S 125671 125675 125633 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 12560577 19566772224 547650 134679101440 93848944525312 93848944529008 140732107338384 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93848944536824 93848944537616 93848949010432 140732107342763 140732107342945 140732107342945 140732107349960 0
[pid=125675/tid=125727] ppid=125671 vsize=19108176 memory=5572 CPUtime=0 cores=0,2
/proc/125675/task/125727/stat : 125727 (Common-Cleaner) S 125671 125675 125633 0 -1 1077936192 3296 0 0 0 0 0 0 0 20 0 20 0 12560578 19566772224 547650 134679101440 93848944525312 93848944529008 140732107338384 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93848944536824 93848944537616 93848949010432 140732107342763 140732107342945 140732107342945 140732107349960 0
[pid=125675/tid=125776] ppid=125671 vsize=19108176 memory=16092 CPUtime=0 cores=0,2
/proc/125675/task/125776/stat : 125776 (Timer-0) S 125671 125675 125633 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 12560719 19566772224 547650 134679101440 93848944525312 93848944529008 140732107338384 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93848944536824 93848944537616 93848949010432 140732107342763 140732107342945 140732107342945 140732107349960 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2190600 KiB

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

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

# cumulated CPU time of all completed processes:  user=3591.05 s, system=9.2837 s

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

[startup+3624.91 s]
/proc/loadavg: 4.52 4.69 4.49 5/328 128053
/proc/meminfo: memFree=86937096/131655788 swapFree=131071996/131071996
[pid=125675] ppid=125671 vsize=19307868 memory=2191256 CPUtime=3600.23 cores=0,2
/proc/125675/stat : 125675 (java) S 125671 125675 125633 0 -1 1077936128 149544 0 0 0 359096 927 0 0 20 0 21 0 12560571 19771256832 547814 134679101440 93848944525312 93848944529008 140732107338384 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93848944536824 93848944537616 93848949010432 140732107342763 140732107342945 140732107342945 140732107349960 0
/proc/125675/statm: 4826967 547814 5977 1 0 560674 0
[pid=125675/tid=125682] ppid=125671 vsize=19307868 memory=2190592 CPUtime=3568.5 cores=0,2
/proc/125675/task/125682/stat : 125682 (java) S 125671 125675 125633 0 -1 1077936192 66683 0 0 0 356125 725 0 0 20 0 21 0 12560571 19771256832 547814 134679101440 93848944525312 93848944529008 140732107338384 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 2544 0 0 93848944536824 93848944537616 93848949010432 140732107342763 140732107342945 140732107342945 140732107349960 0
[pid=125675/tid=125712] ppid=125671 vsize=19307868 memory=2190592 CPUtime=0 cores=0,2
/proc/125675/task/125712/stat : 125712 (Finalizer) S 125671 125675 125633 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 21 0 12560577 19771256832 547814 134679101440 93848944525312 93848944529008 140732107338384 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93848944536824 93848944537616 93848949010432 140732107342763 140732107342945 140732107342945 140732107349960 0
[pid=125675/tid=125727] ppid=125671 vsize=19307868 memory=2190592 CPUtime=0 cores=0,2
/proc/125675/task/125727/stat : 125727 (Common-Cleaner) S 125671 125675 125633 0 -1 1077936192 3296 0 0 0 0 0 0 0 20 0 21 0 12560578 19771256832 547814 134679101440 93848944525312 93848944529008 140732107338384 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93848944536824 93848944537616 93848949010432 140732107342763 140732107342945 140732107342945 140732107349960 0
Current children cumulated CPU time: 3600.23 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 2191256 KiB

Child status: 143

Real time (s): 3625
CPU time (s): 3600.34
CPU user time (s): 3591.05
CPU system time (s): 9.2837
CPU usage (%): 99.3197
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 2191256

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.05
system time used= 9.2837
maximum resident set size= 2192300
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 149668
page faults= 0
swaps= 0
block input operations= 8
block output operations= 11358912
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 114796
involuntary context switches= 26809


# summary of solver processes directly reported to runsolver:
#   pid: 125675
#   total CPU time (s): 3600.34
#   total CPU user time (s): 3591.05
#   total CPU system time (s): 9.2837

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.6448 second user time and 38.7361 second system time

The end

Launcher Data 

Begin job on nodeC012 at 2024-07-23 22:15:08
IDJOB=4440234
IDBENCH=146797
IDSOLVER=3079
FILE ID=nodeC012/4440234-1721765708
RUNJOBID= nodeC012-1721765708-125643
SLURM_JOB_ID= 7770677
Free space on /tmp= 723776 MiB

SOLVER NAME= Sat4j Resolution 2024 2024-07-07
BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-UMTS.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-4440234-1721765708/watcher-4440234-1721765708 -o /tmp/evaluation-result-4440234-1721765708/solver-4440234-1721765708 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1721765708-125643 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4440234-1721765708 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4440234-1721765708.opb

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

MD5SUM BENCH= 542a59a1a1b8906e0495f473b09f11e4
RANDOM SEED=624132211

nodeC012.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	: 0xb00001f
cpu MHz		: 1197.173
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.47
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	: 0xb00001f
cpu MHz		: 1197.191
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.32
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	: 0xb00001f
cpu MHz		: 1197.174
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.47
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	: 0xb00001f
cpu MHz		: 1197.167
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.32
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	: 0xb00001f
cpu MHz		: 1197.167
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.47
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	: 0xb00001f
cpu MHz		: 1197.168
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.32
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	: 0xb00001f
cpu MHz		: 1197.178
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.47
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	: 0xb00001f
cpu MHz		: 1197.193
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        126205820 kB
MemAvailable:   129937256 kB
Buffers:          193424 kB
Cached:          4342228 kB
SwapCached:            0 kB
Active:          1243380 kB
Inactive:        3625652 kB
Active(anon):       1344 kB
Inactive(anon):   377924 kB
Active(file):    1242036 kB
Inactive(file):  3247728 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              5052 kB
Writeback:             0 kB
AnonPages:        330472 kB
Mapped:           107048 kB
Shmem:             45896 kB
KReclaimable:     163404 kB
Slab:             263888 kB
SReclaimable:     163404 kB
SUnreclaim:       100484 kB
KernelStack:        3780 kB
PageTables:         9420 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     597180 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            19136 kB
HardwareCorrupted:     0 kB
AnonHugePages:    202752 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:      316232 kB
DirectMap2M:    35239936 kB
DirectMap1G:    100663296 kB

Free space on /tmp at the end= 723772 MiB
End job on nodeC012 at 2024-07-23 23:15:34