Trace number 4450054

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j Resolution Default 2024-07-07? (TO) 3600.23 3586.02

General information on the benchmark

NamePB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/
normalized-3col-almost3reg-l070-r069-n1.cnf-extracted.pb.metafix.opb
MD5SUM06224f4c25a1c1b3a15eb701c288d1cc
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3834
Total number of constraints8964
Number of constraints which are clauses4245
Number of constraints which are cardinality constraints (but not clauses)4719
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint3
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 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 4
Number of bits of the biggest sum of numbers3
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.06	c version CUSTOM.v20240707
0.00/0.07	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.07	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.07	c java.vm.version	22.0.1+8-16
0.00/0.07	c java.vm.vendor	Oracle Corporation
0.00/0.07	c sun.arch.data.model	64
0.00/0.07	c java.version		22.0.1
0.00/0.07	c os.name		Linux
0.00/0.07	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.07	c os.arch		amd64
0.00/0.08	c Free memory 		2106806208
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.08	c Number of processors 	2
0.14/0.11	--- Begin Solver configuration ---
0.14/0.11	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.14/0.11	Learn all clauses as in MiniSAT
0.14/0.11	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.11	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.11	No reason simplification
0.14/0.11	Glucose 2.1 dynamic restart strategy
0.14/0.11	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.11	timeout=2147483s
0.14/0.11	DB Simplification allowed=false
0.14/0.11	Listener: none
0.14/0.11	--- End Solver configuration ---
0.14/0.11	c Pseudo Boolean Optimization by upper bound
0.14/0.11	c --- Begin Solver configuration ---
0.14/0.11	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.14/0.11	c Learn all clauses as in MiniSAT
0.14/0.11	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.11	c No reason simplification
0.14/0.11	c Glucose 2.1 dynamic restart strategy
0.14/0.11	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.11	c timeout=2147483s
0.14/0.11	c DB Simplification allowed=false
0.14/0.11	c Listener: none
0.14/0.11	c --- End Solver configuration ---
0.14/0.11	c solving HOME/instance-4450054-1721406613.opb
0.14/0.11	c reading problem ... 
0.14/0.11	c  no objective function found
0.33/0.25	c ... done. Wall clock time 0.138s.
0.33/0.25	c declared #vars     3834
0.33/0.25	c #constraints  8964
0.33/0.25	c constraints type 
0.33/0.25	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 2967
0.33/0.25	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 4719
0.33/0.25	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1278
0.33/0.25	c 8964 constraints processed.
2.07/1.36	c cleaning 2491 clauses out of 5001 with flag 272305/5001
3.12/2.22	c cleaning 4250 clauses out of 8510 with flag 364960/11001
4.24/3.33	c cleaning 5623 clauses out of 11260 with flag 487659/18001
5.54/4.68	c cleaning 6812 clauses out of 13636 with flag 619669/26000
7.19/6.26	c cleaning 7909 clauses out of 15824 with flag 738870/35000
8.94/7.96	c cleaning 8951 clauses out of 17916 with flag 885972/45001
10.95/9.91	c cleaning 9975 clauses out of 19964 with flag 1040271/56000
12.85/11.89	c cleaning 10991 clauses out of 21990 with flag 1204507/68001
15.27/14.21	c cleaning 11991 clauses out of 23998 with flag 1365815/81000
18.18/17.13	c cleaning 12996 clauses out of 26008 with flag 1555844/95001
21.32/20.26	c cleaning 13998 clauses out of 28012 with flag 1767729/110001
24.61/23.54	c cleaning 15000 clauses out of 30014 with flag 1995896/126001
27.89/26.74	c cleaning 15996 clauses out of 32013 with flag 2197365/143000
31.22/30.01	c cleaning 17002 clauses out of 34017 with flag 2418677/161000
34.76/33.56	c cleaning 18006 clauses out of 36017 with flag 2664283/180002
38.72/37.42	c cleaning 18999 clauses out of 38012 with flag 2927093/200003
44.27/42.90	c cleaning 19995 clauses out of 40011 with flag 3236895/221001
50.03/48.62	c cleaning 20994 clauses out of 42016 with flag 3601010/243001
56.17/54.71	c cleaning 21996 clauses out of 44022 with flag 3961572/266001
62.53/61.04	c cleaning 23005 clauses out of 46026 with flag 4303121/290001
69.06/67.51	c cleaning 24005 clauses out of 48022 with flag 4662142/315002
76.18/74.65	c cleaning 24993 clauses out of 50015 with flag 5043724/341000
83.82/82.27	c cleaning 26002 clauses out of 52022 with flag 5457361/368000
91.56/89.92	c cleaning 26997 clauses out of 54020 with flag 5854175/396000
100.26/98.41	c cleaning 28002 clauses out of 56023 with flag 6284431/425000
108.92/107.02	c cleaning 28996 clauses out of 58021 with flag 6736810/455000
118.47/116.57	c cleaning 30005 clauses out of 60026 with flag 7236337/486001
128.22/126.28	c cleaning 31003 clauses out of 62022 with flag 7728209/518002
138.79/136.79	c cleaning 32001 clauses out of 64019 with flag 8262225/551002
150.98/148.91	c cleaning 32999 clauses out of 66016 with flag 8840781/585000
164.33/162.27	c cleaning 34001 clauses out of 68018 with flag 9437114/620001
178.31/176.21	c cleaning 35003 clauses out of 70016 with flag 10050252/656000
189.88/187.72	c cleaning 36001 clauses out of 72013 with flag 10606744/693000
204.84/202.61	c cleaning 37000 clauses out of 74013 with flag 11277010/731001
219.33/217.04	c cleaning 37994 clauses out of 76014 with flag 11943642/770002
235.83/233.28	c cleaning 38995 clauses out of 78018 with flag 12624668/810000
253.61/250.98	c cleaning 40003 clauses out of 80026 with flag 13335688/851003
270.49/267.90	c cleaning 41001 clauses out of 82021 with flag 14086663/893001
289.31/286.51	c cleaning 41991 clauses out of 84021 with flag 14863140/936002
307.68/304.94	c cleaning 43001 clauses out of 86029 with flag 15659703/980001
327.41/324.52	c cleaning 44005 clauses out of 88029 with flag 16435979/1025002
347.19/344.33	c cleaning 45004 clauses out of 90024 with flag 17229094/1071002
368.39/365.47	c cleaning 45993 clauses out of 92019 with flag 18071603/1118001
391.80/388.79	c cleaning 47007 clauses out of 94025 with flag 18953938/1166000
413.95/410.58	c cleaning 48002 clauses out of 96018 with flag 19816247/1215000
436.43/433.06	c cleaning 49000 clauses out of 98016 with flag 20725505/1265000
462.35/458.98	c cleaning 50005 clauses out of 100020 with flag 21603484/1316004
488.11/484.54	c cleaning 50993 clauses out of 102011 with flag 22495083/1368000
514.05/510.30	c cleaning 51996 clauses out of 104018 with flag 23401373/1421000
541.91/538.24	c cleaning 53002 clauses out of 106023 with flag 24305977/1475001
573.56/569.88	c cleaning 54006 clauses out of 108023 with flag 25267906/1530003
602.94/599.11	c cleaning 54997 clauses out of 110014 with flag 26249809/1586000
633.51/629.68	c cleaning 55997 clauses out of 112018 with flag 27281921/1643001
663.98/659.72	c cleaning 57006 clauses out of 114022 with flag 28329611/1701002
697.49/693.21	c cleaning 58000 clauses out of 116014 with flag 29348278/1760000
729.43/725.18	c cleaning 58996 clauses out of 118014 with flag 30373911/1820000
769.71/765.36	c cleaning 60000 clauses out of 120018 with flag 31499936/1881000
810.29/805.87	c cleaning 60998 clauses out of 122018 with flag 32592717/1943000
854.04/849.41	c cleaning 62005 clauses out of 124022 with flag 33738671/2006002
896.88/891.53	c cleaning 62996 clauses out of 126015 with flag 34881676/2070000
939.40/934.04	c cleaning 64003 clauses out of 128019 with flag 36039510/2135000
981.48/976.06	c cleaning 64999 clauses out of 130017 with flag 37227681/2201001
1022.34/1016.84	c cleaning 66000 clauses out of 132018 with flag 38433308/2268001
1071.81/1066.21	c cleaning 66999 clauses out of 134017 with flag 39630932/2336000
1120.23/1114.64	c cleaning 68004 clauses out of 136019 with flag 40872361/2405001
1172.64/1166.95	c cleaning 69001 clauses out of 138015 with flag 42164482/2475001
1217.90/1211.97	c cleaning 69999 clauses out of 140014 with flag 43386725/2546001
1268.21/1261.82	c cleaning 71003 clauses out of 142015 with flag 44674142/2618001
1300.02/1293.51	c cleaning 71997 clauses out of 144011 with flag 45793993/2691000
1323.09/1316.64	c cleaning 72999 clauses out of 146014 with flag 46916740/2765000
1352.27/1345.76	c cleaning 74001 clauses out of 148018 with flag 48173767/2840003
1384.09/1377.41	c cleaning 75002 clauses out of 150016 with flag 49346663/2916002
1415.01/1408.24	c cleaning 75994 clauses out of 152013 with flag 50513184/2993001
1446.34/1439.46	c cleaning 77004 clauses out of 154018 with flag 51705554/3071000
1485.01/1478.03	c cleaning 77995 clauses out of 156015 with flag 53027235/3150001
1516.81/1509.76	c cleaning 79002 clauses out of 158022 with flag 54299689/3230003
1551.06/1543.21	c cleaning 80000 clauses out of 160018 with flag 55619558/3311001
1591.47/1583.64	c cleaning 80998 clauses out of 162017 with flag 56990115/3393000
1631.68/1623.79	c cleaning 81998 clauses out of 164021 with flag 58388509/3476002
1678.81/1670.50	c cleaning 83005 clauses out of 166021 with flag 59838980/3560000
1721.63/1713.38	c cleaning 84000 clauses out of 168016 with flag 61261804/3645000
1769.02/1760.40	c cleaning 84992 clauses out of 170016 with flag 62655382/3731000
1813.73/1805.04	c cleaning 86000 clauses out of 172024 with flag 64141959/3818000
1855.89/1846.92	c cleaning 87005 clauses out of 174027 with flag 65708640/3906003
1908.11/1898.60	c cleaning 88001 clauses out of 176019 with flag 67258555/3995000
1959.82/1950.25	c cleaning 88999 clauses out of 178018 with flag 68801589/4085000
2007.06/1997.40	c cleaning 90004 clauses out of 180021 with flag 70364334/4176002
2063.49/2053.67	c cleaning 91001 clauses out of 182015 with flag 71966249/4268000
2124.73/2114.93	c cleaning 92003 clauses out of 184015 with flag 73637622/4361001
2185.26/2175.25	c cleaning 92997 clauses out of 186012 with flag 75371814/4455001
2237.85/2227.74	c cleaning 93994 clauses out of 188014 with flag 77093745/4550000
2300.53/2290.40	c cleaning 94999 clauses out of 190020 with flag 78965830/4646000
2359.61/2349.50	c cleaning 96002 clauses out of 192021 with flag 80802990/4743000
2432.47/2422.01	c cleaning 97005 clauses out of 194021 with flag 82558897/4841002
2507.12/2496.46	c cleaning 98000 clauses out of 196015 with flag 84463766/4940001
2575.47/2564.11	c cleaning 99001 clauses out of 198014 with flag 86391705/5040000
2647.67/2636.20	c cleaning 99998 clauses out of 200014 with flag 88204111/5141001
2708.56/2696.91	c cleaning 100998 clauses out of 202015 with flag 90047709/5243000
2783.07/2771.23	c cleaning 101996 clauses out of 204017 with flag 91988906/5346000
2857.29/2845.22	c cleaning 103000 clauses out of 206021 with flag 93932184/5450000
2924.42/2912.16	c cleaning 104006 clauses out of 208021 with flag 95833219/5555000
2996.69/2984.37	c cleaning 105003 clauses out of 210016 with flag 97802670/5661001
3076.90/3064.32	c cleaning 105994 clauses out of 212014 with flag 99814450/5768002
3154.61/3141.84	c cleaning 106999 clauses out of 214019 with flag 101802971/5876001
3238.73/3225.71	c cleaning 108001 clauses out of 216019 with flag 103806909/5985000
3319.46/3306.02	c cleaning 108999 clauses out of 218019 with flag 105818448/6095001
3405.96/3392.37	c cleaning 110003 clauses out of 220021 with flag 107890756/6206002
3502.77/3488.95	c cleaning 111005 clauses out of 222018 with flag 109974522/6318002
3591.30/3577.19	c cleaning 111997 clauses out of 224012 with flag 112184000/6431001
3600.08/3585.91	c starts		: 3331
3600.08/3585.91	c timeout
3600.08/3585.92	c conflicts		: 6450207
3600.08/3585.92	c decisions		: 8020203
3600.08/3585.92	c propagations		: 2011252962
3600.08/3585.92	c inspects		: 35493375674
3600.08/3585.92	c shortcuts		: 0
3600.08/3585.92	c learnt literals	: 0
3600.08/3585.92	c learnt binary clauses	: 0
3600.08/3585.92	c learnt ternary clauses	: 3124
3600.08/3585.92	c learnt constraints	: 6450207
3600.08/3585.92	c ignored constraints	: 0
3600.08/3585.92	c root simplifications	: 0
3600.08/3585.92	c removed literals (reason simplification)	: 0
3600.08/3585.92	c reason swapping (by a shorter reason)	: 0
3600.08/3585.92	c Calls to reduceDB	: 109
3600.08/3585.92	c Number of update (reduction) of LBD	: 2341190
3600.08/3585.92	c Imported unit clauses	: 0
3600.08/3585.92	c No decision after first conflict	: false
3600.08/3585.92	c number of reductions to clauses (during analyze)	: 0
3600.08/3585.92	c number of learned constraints concerned by reduction	: 0
3600.08/3585.92	c number of learning phase by resolution	: 0
3600.08/3585.92	c number of learning phase by cutting planes	: 0
3600.08/3585.92	c number of rounding to 1 operations	: 0
3600.08/3585.92	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.08/3585.92	c number of reductions of the coefficients by power 2 	: 0
3600.08/3585.92	c number of right shift for reduction by power 2 	: 0
3600.08/3585.92	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.08/3585.92	c number of ending skipping 	: 0
3600.08/3585.92	c number of internal skipping 	: 0
3600.08/3585.92	c number of derivation steps 	: 0
3600.08/3585.92	c number of skipped derivation steps 	: 0
3600.08/3585.92	c number of remaining unassigned 	: 0
3600.08/3585.92	c number of remaining assigned 	: 0
3600.08/3585.92	c number of falsified literals weakened from reason	: 0
3600.08/3585.92	c number of falsified literals weakened from conflict	: 0
3600.08/3585.92	c time for arithmetic operations	: 0
3600.08/3585.93	c minimum degree of deleted constraints	: null
3600.08/3585.93	c maximum degree of deleted constraints	: null
3600.08/3585.93	c number of deleted constraints	: 0
3600.08/3585.93	c speed (assignments/second)	: 560912.876727916
3600.08/3585.93	c non guided choices	: 27707
3600.08/3585.98	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 131221
3600.08/3585.98	s UNKNOWN
3600.08/3585.98	c Total wall clock time (in seconds): 3585.874

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 (59692 MiB free)
  memory of node 1: 64473 MiB (62951 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4450054-1721406613/watcher-4450054-1721406613 -o /tmp/evaluation-result-4450054-1721406613/solver-4450054-1721406613 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1721403130-1036851 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4450054-1721406613.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=1038893, runsolver pid=1038890
Current StackSize limit: 8192 KiB


[startup+0.100256 s]*
/proc/loadavg: 1.17 1.12 1.16 2/255 1038911
/proc/meminfo: memFree=125543720/131524600 swapFree=131071216/131071996
[pid=1038893] ppid=1038890 vsize=18975048 memory=64920 CPUtime=0.14 cores=4,6
/proc/1038893/stat : 1038893 (java) S 1038890 1038893 1034712 0 -1 1077936128 7179 0 0 0 13 1 0 0 20 0 18 0 192823720 19430449152 16230 134679101440 93928770326528 93928770330224 140732916458464 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93928770338040 93928770338832 93928779694080 140732916462597 140732916462687 140732916462687 140732916469704 0
/proc/1038893/statm: 4743762 16230 5636 1 0 549363 0
[pid=1038893/tid=1038895] ppid=1038890 vsize=18975048 memory=4026532033 CPUtime=0.08 cores=4,6
/proc/1038893/task/1038895/stat : 1038895 (java) R 1038890 1038893 1034712 0 -1 4194368 5732 0 0 0 7 1 0 0 20 0 18 0 192823720 19430449152 16230 134679101440 93928770326528 93928770330224 140732916458464 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93928770338040 93928770338832 93928779694080 140732916462597 140732916462687 140732916462687 140732916469704 0
[pid=1038893/tid=1038904] ppid=1038890 vsize=18975048 memory=219932787024 CPUtime=0 cores=4,6
/proc/1038893/task/1038904/stat : 1038904 (Finalizer) S 1038890 1038893 1034712 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 192823723 19430449152 16230 134679101440 93928770326528 93928770330224 140732916458464 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93928770338040 93928770338832 93928779694080 140732916462597 140732916462687 140732916462687 140732916469704 0
[pid=1038893/tid=1038911] ppid=1038890 vsize=18975048 memory=55195583184104 CPUtime=0 cores=4,6
/proc/1038893/task/1038911/stat : 1038911 (Common-Cleaner) S 1038890 1038893 1034712 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 192823723 19430449152 16230 134679101440 93928770326528 93928770330224 140732916458464 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93928770338040 93928770338832 93928779694080 140732916462597 140732916462687 140732916462687 140732916469704 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 64920 KiB

[startup+0.206064 s]*
/proc/loadavg: 1.17 1.12 1.16 3/255 1038911
/proc/meminfo: memFree=125489412/131524600 swapFree=131071216/131071996
[pid=1038893] ppid=1038890 vsize=18975048 memory=127560 CPUtime=0.33 cores=4,6
/proc/1038893/stat : 1038893 (java) S 1038890 1038893 1034712 0 -1 1077936128 7906 0 0 0 30 3 0 0 20 0 18 0 192823720 19430449152 31890 134679101440 93928770326528 93928770330224 140732916458464 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93928770338040 93928770338832 93928779694080 140732916462597 140732916462687 140732916462687 140732916469704 0
/proc/1038893/statm: 4743762 31890 5869 1 0 549855 0
[pid=1038893/tid=1038895] ppid=1038890 vsize=18975048 memory=4028575437 CPUtime=0.19 cores=4,6
/proc/1038893/task/1038895/stat : 1038895 (java) R 1038890 1038893 1034712 0 -1 4194368 5884 0 0 0 16 3 0 0 20 0 18 0 192823720 19430449152 31890 134679101440 93928770326528 93928770330224 140732916458464 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93928770338040 93928770338832 93928779694080 140732916462597 140732916462687 140732916462687 140732916469704 0
[pid=1038893/tid=1038904] ppid=1038890 vsize=18975048 memory=1905112 CPUtime=0 cores=4,6
/proc/1038893/task/1038904/stat : 1038904 (Finalizer) S 1038890 1038893 1034712 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 192823723 19430449152 31890 134679101440 93928770326528 93928770330224 140732916458464 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93928770338040 93928770338832 93928779694080 140732916462597 140732916462687 140732916462687 140732916469704 0
[pid=1038893/tid=1038911] ppid=1038890 vsize=18975048 memory=61788356084926 CPUtime=0 cores=4,6
/proc/1038893/task/1038911/stat : 1038911 (Common-Cleaner) S 1038890 1038893 1034712 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 192823723 19430449152 31890 134679101440 93928770326528 93928770330224 140732916458464 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93928770338040 93928770338832 93928779694080 140732916462597 140732916462687 140732916462687 140732916469704 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 127560 KiB

[startup+0.305337 s]*
/proc/loadavg: 1.17 1.12 1.16 4/257 1038913
/proc/meminfo: memFree=125444588/131524600 swapFree=131071216/131071996
[pid=1038893] ppid=1038890 vsize=19108176 memory=163796 CPUtime=0.51 cores=4,6
/proc/1038893/stat : 1038893 (java) S 1038890 1038893 1034712 0 -1 1077936128 9288 0 0 0 47 4 0 0 20 0 20 0 192823720 19566772224 40949 134679101440 93928770326528 93928770330224 140732916458464 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93928770338040 93928770338832 93928779694080 140732916462597 140732916462687 140732916462687 140732916469704 0
/proc/1038893/statm: 4777044 40949 5869 1 0 551203 0
[pid=1038893/tid=1038895] ppid=1038890 vsize=19108176 memory=-7235980008837440095 CPUtime=0.26 cores=4,6
/proc/1038893/task/1038895/stat : 1038895 (java) R 1038890 1038893 1034712 0 -1 4194368 5932 0 0 0 23 3 0 0 20 0 20 0 192823720 19566772224 40949 134679101440 93928770326528 93928770330224 140732916458464 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93928770338040 93928770338832 93928779694080 140732916462597 140732916462687 140732916462687 140732916469704 0
[pid=1038893/tid=1038904] ppid=1038890 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/1038893/task/1038904/stat : 1038904 (Finalizer) S 1038890 1038893 1034712 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 192823723 19566772224 40949 134679101440 93928770326528 93928770330224 140732916458464 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93928770338040 93928770338832 93928779694080 140732916462597 140732916462687 140732916462687 140732916469704 0
[pid=1038893/tid=1038911] ppid=1038890 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/1038893/task/1038911/stat : 1038911 (Common-Cleaner) S 1038890 1038893 1034712 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 192823723 19566772224 40949 134679101440 93928770326528 93928770330224 140732916458464 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93928770338040 93928770338832 93928779694080 140732916462597 140732916462687 140732916462687 140732916469704 0
[pid=1038893/tid=1038913] ppid=1038890 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/1038893/task/1038913/stat : 1038913 (Timer-0) S 1038890 1038893 1034712 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 192823746 19566772224 40949 134679101440 93928770326528 93928770330224 140732916458464 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93928770338040 93928770338832 93928779694080 140732916462597 140732916462687 140732916462687 140732916469704 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 163796 KiB

[startup+0.700215 s]
/proc/loadavg: 1.17 1.12 1.16 3/257 1038913
/proc/meminfo: memFree=125442896/131524600 swapFree=131071216/131071996
[pid=1038893] ppid=1038890 vsize=19108176 memory=166212 CPUtime=1.26 cores=4,6
/proc/1038893/stat : 1038893 (java) S 1038890 1038893 1034712 0 -1 1077936128 10013 0 0 0 122 4 0 0 20 0 20 0 192823720 19566772224 41553 134679101440 93928770326528 93928770330224 140732916458464 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93928770338040 93928770338832 93928779694080 140732916462597 140732916462687 140732916462687 140732916469704 0
/proc/1038893/statm: 4777044 41553 5885 1 0 551641 0
[pid=1038893/tid=1038895] ppid=1038890 vsize=19108176 memory=50060 CPUtime=0.65 cores=4,6
/proc/1038893/task/1038895/stat : 1038895 (java) R 1038890 1038893 1034712 0 -1 4194368 5950 0 0 0 62 3 0 0 20 0 20 0 192823720 19566772224 41553 134679101440 93928770326528 93928770330224 140732916458464 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93928770338040 93928770338832 93928779694080 140732916462597 140732916462687 140732916462687 140732916469704 0
[pid=1038893/tid=1038904] ppid=1038890 vsize=19108176 memory=13124 CPUtime=0 cores=4,6
/proc/1038893/task/1038904/stat : 1038904 (Finalizer) S 1038890 1038893 1034712 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 192823723 19566772224 41553 134679101440 93928770326528 93928770330224 140732916458464 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93928770338040 93928770338832 93928779694080 140732916462597 140732916462687 140732916462687 140732916469704 0
[pid=1038893/tid=1038911] ppid=1038890 vsize=19108176 memory=2328 CPUtime=0 cores=4,6
/proc/1038893/task/1038911/stat : 1038911 (Common-Cleaner) S 1038890 1038893 1034712 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 192823723 19566772224 41553 134679101440 93928770326528 93928770330224 140732916458464 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93928770338040 93928770338832 93928779694080 140732916462597 140732916462687 140732916462687 140732916469704 0
[pid=1038893/tid=1038913] ppid=1038890 vsize=19108176 memory=100 CPUtime=0 cores=4,6
/proc/1038893/task/1038913/stat : 1038913 (Timer-0) S 1038890 1038893 1034712 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 192823746 19566772224 41553 134679101440 93928770326528 93928770330224 140732916458464 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93928770338040 93928770338832 93928779694080 140732916462597 140732916462687 140732916462687 140732916469704 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 166212 KiB

[startup+1.50025 s]
/proc/loadavg: 1.17 1.12 1.16 2/257 1038913
/proc/meminfo: memFree=125441032/131524600 swapFree=131071216/131071996
[pid=1038893] ppid=1038890 vsize=19108176 memory=167244 CPUtime=2.39 cores=4,6
/proc/1038893/stat : 1038893 (java) S 1038890 1038893 1034712 0 -1 1077936128 14780 0 0 0 234 5 0 0 20 0 20 0 192823720 19566772224 41811 134679101440 93928770326528 93928770330224 140732916458464 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93928770338040 93928770338832 93928779694080 140732916462597 140732916462687 140732916462687 140732916469704 0
/proc/1038893/statm: 4777044 41811 5885 1 0 552438 0
[pid=1038893/tid=1038895] ppid=1038890 vsize=19108176 memory=13124 CPUtime=1.45 cores=4,6
/proc/1038893/task/1038895/stat : 1038895 (java) R 1038890 1038893 1034712 0 -1 4194368 7138 0 0 0 142 3 0 0 20 0 20 0 192823720 19566772224 41811 134679101440 93928770326528 93928770330224 140732916458464 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93928770338040 93928770338832 93928779694080 140732916462597 140732916462687 140732916462687 140732916469704 0
[pid=1038893/tid=1038904] ppid=1038890 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/1038893/task/1038904/stat : 1038904 (Finalizer) S 1038890 1038893 1034712 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 192823723 19566772224 41811 134679101440 93928770326528 93928770330224 140732916458464 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93928770338040 93928770338832 93928779694080 140732916462597 140732916462687 140732916462687 140732916469704 0
[pid=1038893/tid=1038911] ppid=1038890 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/1038893/task/1038911/stat : 1038911 (Common-Cleaner) S 1038890 1038893 1034712 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 192823723 19566772224 41811 134679101440 93928770326528 93928770330224 140732916458464 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93928770338040 93928770338832 93928779694080 140732916462597 140732916462687 140732916462687 140732916469704 0
[pid=1038893/tid=1038913] ppid=1038890 vsize=19108176 memory=224194199869 CPUtime=0 cores=4,6
/proc/1038893/task/1038913/stat : 1038913 (Timer-0) S 1038890 1038893 1034712 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 192823746 19566772224 41811 134679101440 93928770326528 93928770330224 140732916458464 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93928770338040 93928770338832 93928779694080 140732916462597 140732916462687 140732916462687 140732916469704 0
Current children cumulated CPU time: 2.39 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 167244 KiB

[startup+3.10502 s]
/proc/loadavg: 1.17 1.12 1.16 2/257 1038914
/proc/meminfo: memFree=125441084/131524600 swapFree=131071216/131071996
[pid=1038893] ppid=1038890 vsize=19108176 memory=167492 CPUtime=4.04 cores=4,6
/proc/1038893/stat : 1038893 (java) S 1038890 1038893 1034712 0 -1 1077936128 16436 0 0 0 399 5 0 0 20 0 20 0 192823720 19566772224 41873 134679101440 93928770326528 93928770330224 140732916458464 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93928770338040 93928770338832 93928779694080 140732916462597 140732916462687 140732916462687 140732916469704 0
/proc/1038893/statm: 4777044 41873 5885 1 0 552444 0
[pid=1038893/tid=1038895] ppid=1038890 vsize=19108176 memory=-7235980008837440095 CPUtime=3.04 cores=4,6
/proc/1038893/task/1038895/stat : 1038895 (java) R 1038890 1038893 1034712 0 -1 4194368 7467 0 0 0 301 3 0 0 20 0 20 0 192823720 19566772224 41873 134679101440 93928770326528 93928770330224 140732916458464 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93928770338040 93928770338832 93928779694080 140732916462597 140732916462687 140732916462687 140732916469704 0
[pid=1038893/tid=1038904] ppid=1038890 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/1038893/task/1038904/stat : 1038904 (Finalizer) S 1038890 1038893 1034712 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 192823723 19566772224 41873 134679101440 93928770326528 93928770330224 140732916458464 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93928770338040 93928770338832 93928779694080 140732916462597 140732916462687 140732916462687 140732916469704 0
[pid=1038893/tid=1038911] ppid=1038890 vsize=19108176 memory=13124 CPUtime=0 cores=4,6
/proc/1038893/task/1038911/stat : 1038911 (Common-Cleaner) S 1038890 1038893 1034712 0 -1 1077936192 34 0 0 0 0 0 0 0 20 0 20 0 192823723 19566772224 41873 134679101440 93928770326528 93928770330224 140732916458464 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93928770338040 93928770338832 93928779694080 140732916462597 140732916462687 140732916462687 140732916469704 0
[pid=1038893/tid=1038913] ppid=1038890 vsize=19108176 memory=164 CPUtime=0 cores=4,6
/proc/1038893/task/1038913/stat : 1038913 (Timer-0) S 1038890 1038893 1034712 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 192823746 19566772224 41873 134679101440 93928770326528 93928770330224 140732916458464 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93928770338040 93928770338832 93928779694080 140732916462597 140732916462687 140732916462687 140732916469704 0
Current children cumulated CPU time: 4.04 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 167492 KiB

[startup+6.30568 s]
/proc/loadavg: 1.16 1.12 1.16 2/258 1038971
/proc/meminfo: memFree=125437188/131524600 swapFree=131071216/131071996
[pid=1038893] ppid=1038890 vsize=19108176 memory=171416 CPUtime=7.33 cores=4,6
/proc/1038893/stat : 1038893 (java) S 1038890 1038893 1034712 0 -1 1077936128 20058 0 0 0 728 5 0 0 20 0 20 0 192823720 19566772224 42854 134679101440 93928770326528 93928770330224 140732916458464 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93928770338040 93928770338832 93928779694080 140732916462597 140732916462687 140732916462687 140732916469704 0
/proc/1038893/statm: 4777044 42854 5885 1 0 552807 0
[pid=1038893/tid=1038895] ppid=1038890 vsize=19108176 memory=0 CPUtime=6.23 cores=4,6
/proc/1038893/task/1038895/stat : 1038895 (java) R 1038890 1038893 1034712 0 -1 4194368 8129 0 0 0 620 3 0 0 20 0 20 0 192823720 19566772224 42854 134679101440 93928770326528 93928770330224 140732916458464 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93928770338040 93928770338832 93928779694080 140732916462597 140732916462687 140732916462687 140732916469704 0
[pid=1038893/tid=1038904] ppid=1038890 vsize=19108176 memory=13124 CPUtime=0 cores=4,6
/proc/1038893/task/1038904/stat : 1038904 (Finalizer) S 1038890 1038893 1034712 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 192823723 19566772224 42854 134679101440 93928770326528 93928770330224 140732916458464 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93928770338040 93928770338832 93928779694080 140732916462597 140732916462687 140732916462687 140732916469704 0
[pid=1038893/tid=1038911] ppid=1038890 vsize=19108176 memory=14364 CPUtime=0 cores=4,6
/proc/1038893/task/1038911/stat : 1038911 (Common-Cleaner) S 1038890 1038893 1034712 0 -1 1077936192 34 0 0 0 0 0 0 0 20 0 20 0 192823723 19566772224 42854 134679101440 93928770326528 93928770330224 140732916458464 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93928770338040 93928770338832 93928779694080 140732916462597 140732916462687 140732916462687 140732916469704 0
[pid=1038893/tid=1038913] ppid=1038890 vsize=19108176 memory=50060 CPUtime=0 cores=4,6
/proc/1038893/task/1038913/stat : 1038913 (Timer-0) S 1038890 1038893 1034712 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 192823746 19566772224 42854 134679101440 93928770326528 93928770330224 140732916458464 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93928770338040 93928770338832 93928779694080 140732916462597 140732916462687 140732916462687 140732916469704 0
Current children cumulated CPU time: 7.33 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 171416 KiB

[startup+12.7002 s]
/proc/loadavg: 1.14 1.11 1.16 2/258 1038971
/proc/meminfo: memFree=125429536/131524600 swapFree=131071216/131071996
[pid=1038893] ppid=1038890 vsize=19108176 memory=178336 CPUtime=13.74 cores=4,6
/proc/1038893/stat : 1038893 (java) S 1038890 1038893 1034712 0 -1 1077936128 23176 0 0 0 1369 5 0 0 20 0 20 0 192823720 19566772224 44584 134679101440 93928770326528 93928770330224 140732916458464 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93928770338040 93928770338832 93928779694080 140732916462597 140732916462687 140732916462687 140732916469704 0
/proc/1038893/statm: 4777044 44584 5901 1 0 552807 0
[pid=1038893/tid=1038895] ppid=1038890 vsize=19108176 memory=-7235980008837440095 CPUtime=12.61 cores=4,6
/proc/1038893/task/1038895/stat : 1038895 (java) R 1038890 1038893 1034712 0 -1 4194368 9277 0 0 0 1258 3 0 0 20 0 20 0 192823720 19566772224 44584 134679101440 93928770326528 93928770330224 140732916458464 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93928770338040 93928770338832 93928779694080 140732916462597 140732916462687 140732916462687 140732916469704 0
[pid=1038893/tid=1038904] ppid=1038890 vsize=19108176 memory=178336 CPUtime=0 cores=4,6
/proc/1038893/task/1038904/stat : 1038904 (Finalizer) S 1038890 1038893 1034712 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 192823723 19566772224 44584 134679101440 93928770326528 93928770330224 140732916458464 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93928770338040 93928770338832 93928779694080 140732916462597 140732916462687 140732916462687 140732916469704 0
[pid=1038893/tid=1038911] ppid=1038890 vsize=19108176 memory=13124 CPUtime=0 cores=4,6
/proc/1038893/task/1038911/stat : 1038911 (Common-Cleaner) S 1038890 1038893 1034712 0 -1 1077936192 34 0 0 0 0 0 0 0 20 0 20 0 192823723 19566772224 44584 134679101440 93928770326528 93928770330224 140732916458464 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93928770338040 93928770338832 93928779694080 140732916462597 140732916462687 140732916462687 140732916469704 0
[pid=1038893/tid=1038913] ppid=1038890 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/1038893/task/1038913/stat : 1038913 (Timer-0) S 1038890 1038893 1034712 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 192823746 19566772224 44584 134679101440 93928770326528 93928770330224 140732916458464 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93928770338040 93928770338832 93928779694080 140732916462597 140732916462687 140732916462687 140732916469704 0
Current children cumulated CPU time: 13.74 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 178336 KiB

[startup+25.5009 s]
/proc/loadavg: 1.18 1.12 1.16 2/258 1038974
/proc/meminfo: memFree=125318492/131524600 swapFree=131071216/131071996
[pid=1038893] ppid=1038890 vsize=19108176 memory=359128 CPUtime=26.7 cores=4,6
/proc/1038893/stat : 1038893 (java) S 1038890 1038893 1034712 0 -1 1077936128 28505 0 0 0 2661 9 0 0 20 0 20 0 192823720 19566772224 89782 134679101440 93928770326528 93928770330224 140732916458464 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93928770338040 93928770338832 93928779694080 140732916462597 140732916462687 140732916462687 140732916469704 0
/proc/1038893/statm: 4777044 89782 5910 1 0 552807 0
[pid=1038893/tid=1038895] ppid=1038890 vsize=19108176 memory=-7235980008837440095 CPUtime=25.23 cores=4,6
/proc/1038893/task/1038895/stat : 1038895 (java) R 1038890 1038893 1034712 0 -1 4194368 10078 0 0 0 2520 3 0 0 20 0 20 0 192823720 19566772224 89782 134679101440 93928770326528 93928770330224 140732916458464 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93928770338040 93928770338832 93928779694080 140732916462597 140732916462687 140732916462687 140732916469704 0
[pid=1038893/tid=1038904] ppid=1038890 vsize=19108176 memory=2503 CPUtime=0 cores=4,6
/proc/1038893/task/1038904/stat : 1038904 (Finalizer) S 1038890 1038893 1034712 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 192823723 19566772224 89782 134679101440 93928770326528 93928770330224 140732916458464 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93928770338040 93928770338832 93928779694080 140732916462597 140732916462687 140732916462687 140732916469704 0
[pid=1038893/tid=1038911] ppid=1038890 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/1038893/task/1038911/stat : 1038911 (Common-Cleaner) S 1038890 1038893 1034712 0 -1 1077936192 34 0 0 0 0 0 0 0 20 0 20 0 192823723 19566772224 89782 134679101440 93928770326528 93928770330224 140732916458464 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93928770338040 93928770338832 93928779694080 140732916462597 140732916462687 140732916462687 140732916469704 0
[pid=1038893/tid=1038913] ppid=1038890 vsize=19108176 memory=5628 CPUtime=0 cores=4,6
/proc/1038893/task/1038913/stat : 1038913 (Timer-0) S 1038890 1038893 1034712 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 192823746 19566772224 89782 134679101440 93928770326528 93928770330224 140732916458464 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93928770338040 93928770338832 93928779694080 140732916462597 140732916462687 140732916462687 140732916469704 0
Current children cumulated CPU time: 26.7 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 359128 KiB

[startup+51.1052 s]
/proc/loadavg: 1.12 1.11 1.16 2/255 1038978
/proc/meminfo: memFree=124952368/131524600 swapFree=131071216/131071996
[pid=1038893] ppid=1038890 vsize=19108176 memory=654716 CPUtime=52.52 cores=4,6
/proc/1038893/stat : 1038893 (java) S 1038890 1038893 1034712 0 -1 1077936128 33874 0 0 0 5236 16 0 0 20 0 20 0 192823720 19566772224 163679 134679101440 93928770326528 93928770330224 140732916458464 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93928770338040 93928770338832 93928779694080 140732916462597 140732916462687 140732916462687 140732916469704 0
/proc/1038893/statm: 4777044 163679 5910 1 0 552807 0
[pid=1038893/tid=1038895] ppid=1038890 vsize=19108176 memory=572704 CPUtime=50.49 cores=4,6
/proc/1038893/task/1038895/stat : 1038895 (java) R 1038890 1038893 1034712 0 -1 4194368 11810 0 0 0 5046 3 0 0 20 0 20 0 192823720 19566772224 163679 134679101440 93928770326528 93928770330224 140732916458464 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93928770338040 93928770338832 93928779694080 140732916462597 140732916462687 140732916462687 140732916469704 0

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

/proc/1038893/task/1038904/stat : 1038904 (Finalizer) S 1038890 1038893 1034712 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 192823723 19566772224 1211210 134679101440 93928770326528 93928770330224 140732916458464 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93928770338040 93928770338832 93928779694080 140732916462597 140732916462687 140732916462687 140732916469704 0
[pid=1038893/tid=1038911] ppid=1038890 vsize=19108176 memory=4844840 CPUtime=0 cores=4,6
/proc/1038893/task/1038911/stat : 1038911 (Common-Cleaner) S 1038890 1038893 1034712 0 -1 1077936192 1387 0 0 0 0 0 0 0 20 0 20 0 192823723 19566772224 1211210 134679101440 93928770326528 93928770330224 140732916458464 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93928770338040 93928770338832 93928779694080 140732916462597 140732916462687 140732916462687 140732916469704 0
[pid=1038893/tid=1038913] ppid=1038890 vsize=19108176 memory=4844840 CPUtime=0 cores=4,6
/proc/1038893/task/1038913/stat : 1038913 (Timer-0) S 1038890 1038893 1034712 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 192823746 19566772224 1211210 134679101440 93928770326528 93928770330224 140732916458464 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93928770338040 93928770338832 93928779694080 140732916462597 140732916462687 140732916462687 140732916469704 0
Current children cumulated CPU time: 3235.33 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4844840 KiB

[startup+3282.3 s]
/proc/loadavg: 1.12 1.16 1.11 2/254 1040136
/proc/meminfo: memFree=120317384/131524600 swapFree=131071216/131071996
[pid=1038893] ppid=1038890 vsize=19108176 memory=5262944 CPUtime=3295.78 cores=4,6
/proc/1038893/stat : 1038893 (java) S 1038890 1038893 1034712 0 -1 1077936128 186606 0 0 0 329356 222 0 0 20 0 20 0 192823720 19566772224 1315736 134679101440 93928770326528 93928770330224 140732916458464 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93928770338040 93928770338832 93928779694080 140732916462597 140732916462687 140732916462687 140732916469704 0
/proc/1038893/statm: 4777044 1315736 5910 1 0 1742311 0
[pid=1038893/tid=1038895] ppid=1038890 vsize=19108176 memory=5154400 CPUtime=3260 cores=4,6
/proc/1038893/task/1038895/stat : 1038895 (java) R 1038890 1038893 1034712 0 -1 4194368 63968 0 0 0 325954 46 0 0 20 0 20 0 192823720 19566772224 1315736 134679101440 93928770326528 93928770330224 140732916458464 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 7 0 0 93928770338040 93928770338832 93928779694080 140732916462597 140732916462687 140732916462687 140732916469704 0
[pid=1038893/tid=1038904] ppid=1038890 vsize=19108176 memory=5107296 CPUtime=0 cores=4,6
/proc/1038893/task/1038904/stat : 1038904 (Finalizer) S 1038890 1038893 1034712 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 192823723 19566772224 1315736 134679101440 93928770326528 93928770330224 140732916458464 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93928770338040 93928770338832 93928779694080 140732916462597 140732916462687 140732916462687 140732916469704 0
[pid=1038893/tid=1038911] ppid=1038890 vsize=19108176 memory=50060 CPUtime=0 cores=4,6
/proc/1038893/task/1038911/stat : 1038911 (Common-Cleaner) S 1038890 1038893 1034712 0 -1 1077936192 1388 0 0 0 0 0 0 0 20 0 20 0 192823723 19566772224 1315736 134679101440 93928770326528 93928770330224 140732916458464 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93928770338040 93928770338832 93928779694080 140732916462597 140732916462687 140732916462687 140732916469704 0
[pid=1038893/tid=1038913] ppid=1038890 vsize=19108176 memory=5262944 CPUtime=0 cores=4,6
/proc/1038893/task/1038913/stat : 1038913 (Timer-0) S 1038890 1038893 1034712 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 192823746 19566772224 1315736 134679101440 93928770326528 93928770330224 140732916458464 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93928770338040 93928770338832 93928779694080 140732916462597 140732916462687 140732916462687 140732916469704 0
Current children cumulated CPU time: 3295.78 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5262944 KiB

[startup+3342.3 s]
/proc/loadavg: 1.19 1.17 1.11 2/254 1040530
/proc/meminfo: memFree=120174948/131524600 swapFree=131071216/131071996
[pid=1038893] ppid=1038890 vsize=19108176 memory=5404264 CPUtime=3355.83 cores=4,6
/proc/1038893/stat : 1038893 (java) S 1038890 1038893 1034712 0 -1 1077936128 186883 0 0 0 335357 226 0 0 20 0 20 0 192823720 19566772224 1351066 134679101440 93928770326528 93928770330224 140732916458464 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93928770338040 93928770338832 93928779694080 140732916462597 140732916462687 140732916462687 140732916469704 0
/proc/1038893/statm: 4777044 1351066 5910 1 0 1742311 0
[pid=1038893/tid=1038895] ppid=1038890 vsize=19108176 memory=5262944 CPUtime=3319.75 cores=4,6
/proc/1038893/task/1038895/stat : 1038895 (java) R 1038890 1038893 1034712 0 -1 4194368 64134 0 0 0 331929 46 0 0 20 0 20 0 192823720 19566772224 1351066 134679101440 93928770326528 93928770330224 140732916458464 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 7 0 0 93928770338040 93928770338832 93928779694080 140732916462597 140732916462687 140732916462687 140732916469704 0
[pid=1038893/tid=1038904] ppid=1038890 vsize=19108176 memory=22148 CPUtime=0 cores=4,6
/proc/1038893/task/1038904/stat : 1038904 (Finalizer) S 1038890 1038893 1034712 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 192823723 19566772224 1351066 134679101440 93928770326528 93928770330224 140732916458464 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93928770338040 93928770338832 93928779694080 140732916462597 140732916462687 140732916462687 140732916469704 0
[pid=1038893/tid=1038911] ppid=1038890 vsize=19108176 memory=5404264 CPUtime=0 cores=4,6
/proc/1038893/task/1038911/stat : 1038911 (Common-Cleaner) S 1038890 1038893 1034712 0 -1 1077936192 1388 0 0 0 0 0 0 0 20 0 20 0 192823723 19566772224 1351066 134679101440 93928770326528 93928770330224 140732916458464 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93928770338040 93928770338832 93928779694080 140732916462597 140732916462687 140732916462687 140732916469704 0
[pid=1038893/tid=1038913] ppid=1038890 vsize=19108176 memory=14364 CPUtime=0 cores=4,6
/proc/1038893/task/1038913/stat : 1038913 (Timer-0) S 1038890 1038893 1034712 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 192823746 19566772224 1351066 134679101440 93928770326528 93928770330224 140732916458464 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93928770338040 93928770338832 93928779694080 140732916462597 140732916462687 140732916462687 140732916469704 0
Current children cumulated CPU time: 3355.83 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5404264 KiB

[startup+3402.3 s]
/proc/loadavg: 1.18 1.17 1.11 2/254 1040541
/proc/meminfo: memFree=120170856/131524600 swapFree=131071216/131071996
[pid=1038893] ppid=1038890 vsize=19108176 memory=5408364 CPUtime=3416.07 cores=4,6
/proc/1038893/stat : 1038893 (java) S 1038890 1038893 1034712 0 -1 1077936128 187114 0 0 0 341379 228 0 0 20 0 20 0 192823720 19566772224 1352091 134679101440 93928770326528 93928770330224 140732916458464 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93928770338040 93928770338832 93928779694080 140732916462597 140732916462687 140732916462687 140732916469704 0
/proc/1038893/statm: 4777044 1352091 5910 1 0 1742311 0
[pid=1038893/tid=1038895] ppid=1038890 vsize=19108176 memory=22148 CPUtime=3379.26 cores=4,6
/proc/1038893/task/1038895/stat : 1038895 (java) R 1038890 1038893 1034712 0 -1 4194368 64184 0 0 0 337880 46 0 0 20 0 20 0 192823720 19566772224 1352091 134679101440 93928770326528 93928770330224 140732916458464 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 7 0 0 93928770338040 93928770338832 93928779694080 140732916462597 140732916462687 140732916462687 140732916469704 0
[pid=1038893/tid=1038904] ppid=1038890 vsize=19108176 memory=5404264 CPUtime=0 cores=4,6
/proc/1038893/task/1038904/stat : 1038904 (Finalizer) S 1038890 1038893 1034712 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 192823723 19566772224 1352091 134679101440 93928770326528 93928770330224 140732916458464 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93928770338040 93928770338832 93928779694080 140732916462597 140732916462687 140732916462687 140732916469704 0
[pid=1038893/tid=1038911] ppid=1038890 vsize=19108176 memory=5408364 CPUtime=0 cores=4,6
/proc/1038893/task/1038911/stat : 1038911 (Common-Cleaner) S 1038890 1038893 1034712 0 -1 1077936192 1388 0 0 0 0 0 0 0 20 0 20 0 192823723 19566772224 1352091 134679101440 93928770326528 93928770330224 140732916458464 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93928770338040 93928770338832 93928779694080 140732916462597 140732916462687 140732916462687 140732916469704 0
[pid=1038893/tid=1038913] ppid=1038890 vsize=19108176 memory=5408364 CPUtime=0 cores=4,6
/proc/1038893/task/1038913/stat : 1038913 (Timer-0) S 1038890 1038893 1034712 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 192823746 19566772224 1352091 134679101440 93928770326528 93928770330224 140732916458464 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93928770338040 93928770338832 93928779694080 140732916462597 140732916462687 140732916462687 140732916469704 0
Current children cumulated CPU time: 3416.07 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5408364 KiB

[startup+3462.3 s]
/proc/loadavg: 1.10 1.15 1.11 2/254 1040552
/proc/meminfo: memFree=120170648/131524600 swapFree=131071216/131071996
[pid=1038893] ppid=1038890 vsize=19108176 memory=5408564 CPUtime=3476.2 cores=4,6
/proc/1038893/stat : 1038893 (java) S 1038890 1038893 1034712 0 -1 1077936128 187542 0 0 0 347391 229 0 0 20 0 20 0 192823720 19566772224 1352141 134679101440 93928770326528 93928770330224 140732916458464 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93928770338040 93928770338832 93928779694080 140732916462597 140732916462687 140732916462687 140732916469704 0
/proc/1038893/statm: 4777044 1352141 5910 1 0 1742311 0
[pid=1038893/tid=1038895] ppid=1038890 vsize=19108176 memory=22148 CPUtime=3438.92 cores=4,6
/proc/1038893/task/1038895/stat : 1038895 (java) R 1038890 1038893 1034712 0 -1 4194368 64388 0 0 0 343846 46 0 0 20 0 20 0 192823720 19566772224 1352141 134679101440 93928770326528 93928770330224 140732916458464 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 7 0 0 93928770338040 93928770338832 93928779694080 140732916462597 140732916462687 140732916462687 140732916469704 0
[pid=1038893/tid=1038904] ppid=1038890 vsize=19108176 memory=5404264 CPUtime=0 cores=4,6
/proc/1038893/task/1038904/stat : 1038904 (Finalizer) S 1038890 1038893 1034712 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 192823723 19566772224 1352141 134679101440 93928770326528 93928770330224 140732916458464 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93928770338040 93928770338832 93928779694080 140732916462597 140732916462687 140732916462687 140732916469704 0
[pid=1038893/tid=1038911] ppid=1038890 vsize=19108176 memory=5408564 CPUtime=0 cores=4,6
/proc/1038893/task/1038911/stat : 1038911 (Common-Cleaner) S 1038890 1038893 1034712 0 -1 1077936192 1388 0 0 0 0 0 0 0 20 0 20 0 192823723 19566772224 1352141 134679101440 93928770326528 93928770330224 140732916458464 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93928770338040 93928770338832 93928779694080 140732916462597 140732916462687 140732916462687 140732916469704 0
[pid=1038893/tid=1038913] ppid=1038890 vsize=19108176 memory=5408364 CPUtime=0 cores=4,6
/proc/1038893/task/1038913/stat : 1038913 (Timer-0) S 1038890 1038893 1034712 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 192823746 19566772224 1352141 134679101440 93928770326528 93928770330224 140732916458464 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93928770338040 93928770338832 93928779694080 140732916462597 140732916462687 140732916462687 140732916469704 0
Current children cumulated CPU time: 3476.2 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5408564 KiB

[startup+3522.3 s]
/proc/loadavg: 1.09 1.14 1.10 2/255 1040731
/proc/meminfo: memFree=120169972/131524600 swapFree=131071216/131071996
[pid=1038893] ppid=1038890 vsize=19108176 memory=5408580 CPUtime=3536.15 cores=4,6
/proc/1038893/stat : 1038893 (java) S 1038890 1038893 1034712 0 -1 1077936128 189556 0 0 0 353383 232 0 0 20 0 20 0 192823720 19566772224 1352145 134679101440 93928770326528 93928770330224 140732916458464 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93928770338040 93928770338832 93928779694080 140732916462597 140732916462687 140732916462687 140732916469704 0
/proc/1038893/statm: 4777044 1352145 5910 1 0 1742312 0
[pid=1038893/tid=1038895] ppid=1038890 vsize=19108176 memory=5408368 CPUtime=3498.75 cores=4,6
/proc/1038893/task/1038895/stat : 1038895 (java) R 1038890 1038893 1034712 0 -1 4194368 65032 0 0 0 349829 46 0 0 20 0 20 0 192823720 19566772224 1352145 134679101440 93928770326528 93928770330224 140732916458464 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 7 0 0 93928770338040 93928770338832 93928779694080 140732916462597 140732916462687 140732916462687 140732916469704 0
[pid=1038893/tid=1038904] ppid=1038890 vsize=19108176 memory=5408580 CPUtime=0 cores=4,6
/proc/1038893/task/1038904/stat : 1038904 (Finalizer) S 1038890 1038893 1034712 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 192823723 19566772224 1352145 134679101440 93928770326528 93928770330224 140732916458464 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93928770338040 93928770338832 93928779694080 140732916462597 140732916462687 140732916462687 140732916469704 0
[pid=1038893/tid=1038911] ppid=1038890 vsize=19108176 memory=13124 CPUtime=0 cores=4,6
/proc/1038893/task/1038911/stat : 1038911 (Common-Cleaner) S 1038890 1038893 1034712 0 -1 1077936192 1505 0 0 0 0 0 0 0 20 0 20 0 192823723 19566772224 1352145 134679101440 93928770326528 93928770330224 140732916458464 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93928770338040 93928770338832 93928779694080 140732916462597 140732916462687 140732916462687 140732916469704 0
[pid=1038893/tid=1038913] ppid=1038890 vsize=19108176 memory=2328 CPUtime=0 cores=4,6
/proc/1038893/task/1038913/stat : 1038913 (Timer-0) S 1038890 1038893 1034712 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 192823746 19566772224 1352145 134679101440 93928770326528 93928770330224 140732916458464 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93928770338040 93928770338832 93928779694080 140732916462597 140732916462687 140732916462687 140732916469704 0
Current children cumulated CPU time: 3536.15 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5408580 KiB

[startup+3582.3 s]
/proc/loadavg: 1.08 1.13 1.09 2/255 1040741
/proc/meminfo: memFree=120145376/131524600 swapFree=131071216/131071996
[pid=1038893] ppid=1038890 vsize=19108176 memory=5433160 CPUtime=3596.48 cores=4,6
/proc/1038893/stat : 1038893 (java) S 1038890 1038893 1034712 0 -1 1077936128 190350 0 0 0 359414 234 0 0 20 0 20 0 192823720 19566772224 1358290 134679101440 93928770326528 93928770330224 140732916458464 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93928770338040 93928770338832 93928779694080 140732916462597 140732916462687 140732916462687 140732916469704 0
/proc/1038893/statm: 4777044 1358290 5910 1 0 1742312 0
[pid=1038893/tid=1038895] ppid=1038890 vsize=19108176 memory=5433160 CPUtime=3558.12 cores=4,6
/proc/1038893/task/1038895/stat : 1038895 (java) R 1038890 1038893 1034712 0 -1 4194368 65347 0 0 0 355766 46 0 0 20 0 20 0 192823720 19566772224 1358290 134679101440 93928770326528 93928770330224 140732916458464 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 9 0 0 93928770338040 93928770338832 93928779694080 140732916462597 140732916462687 140732916462687 140732916469704 0
[pid=1038893/tid=1038904] ppid=1038890 vsize=19108176 memory=14364 CPUtime=0 cores=4,6
/proc/1038893/task/1038904/stat : 1038904 (Finalizer) S 1038890 1038893 1034712 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 192823723 19566772224 1358290 134679101440 93928770326528 93928770330224 140732916458464 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93928770338040 93928770338832 93928779694080 140732916462597 140732916462687 140732916462687 140732916469704 0
[pid=1038893/tid=1038911] ppid=1038890 vsize=19108176 memory=5433160 CPUtime=0 cores=4,6
/proc/1038893/task/1038911/stat : 1038911 (Common-Cleaner) S 1038890 1038893 1034712 0 -1 1077936192 1505 0 0 0 0 0 0 0 20 0 20 0 192823723 19566772224 1358290 134679101440 93928770326528 93928770330224 140732916458464 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93928770338040 93928770338832 93928779694080 140732916462597 140732916462687 140732916462687 140732916469704 0
[pid=1038893/tid=1038913] ppid=1038890 vsize=19108176 memory=14364 CPUtime=0 cores=4,6
/proc/1038893/task/1038913/stat : 1038913 (Timer-0) S 1038890 1038893 1034712 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 192823746 19566772224 1358290 134679101440 93928770326528 93928770330224 140732916458464 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93928770338040 93928770338832 93928779694080 140732916462597 140732916462687 140732916462687 140732916469704 0
Current children cumulated CPU time: 3596.48 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5433160 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3585.9 s]
/proc/loadavg: 1.07 1.12 1.09 2/255 1040743
/proc/meminfo: memFree=120145320/131524600 swapFree=131071216/131071996
[pid=1038893] ppid=1038890 vsize=19108176 memory=5433160 CPUtime=3600.08 cores=4,6
/proc/1038893/stat : 1038893 (java) S 1038890 1038893 1034712 0 -1 1077936128 190352 0 0 0 359774 234 0 0 20 0 20 0 192823720 19566772224 1358290 134679101440 93928770326528 93928770330224 140732916458464 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93928770338040 93928770338832 93928779694080 140732916462597 140732916462687 140732916462687 140732916469704 0
/proc/1038893/statm: 4777044 1358290 5910 1 0 1742312 0
[pid=1038893/tid=1038895] ppid=1038890 vsize=19108176 memory=14364 CPUtime=3561.71 cores=4,6
/proc/1038893/task/1038895/stat : 1038895 (java) R 1038890 1038893 1034712 0 -1 4194368 65349 0 0 0 356125 46 0 0 20 0 20 0 192823720 19566772224 1358290 134679101440 93928770326528 93928770330224 140732916458464 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 9 0 0 93928770338040 93928770338832 93928779694080 140732916462597 140732916462687 140732916462687 140732916469704 0
[pid=1038893/tid=1038904] ppid=1038890 vsize=19108176 memory=5408580 CPUtime=0 cores=4,6
/proc/1038893/task/1038904/stat : 1038904 (Finalizer) S 1038890 1038893 1034712 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 192823723 19566772224 1358290 134679101440 93928770326528 93928770330224 140732916458464 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93928770338040 93928770338832 93928779694080 140732916462597 140732916462687 140732916462687 140732916469704 0
[pid=1038893/tid=1038911] ppid=1038890 vsize=19108176 memory=2328 CPUtime=0 cores=4,6
/proc/1038893/task/1038911/stat : 1038911 (Common-Cleaner) S 1038890 1038893 1034712 0 -1 1077936192 1505 0 0 0 0 0 0 0 20 0 20 0 192823723 19566772224 1358290 134679101440 93928770326528 93928770330224 140732916458464 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93928770338040 93928770338832 93928779694080 140732916462597 140732916462687 140732916462687 140732916469704 0
[pid=1038893/tid=1038913] ppid=1038890 vsize=19108176 memory=5433160 CPUtime=0 cores=4,6
/proc/1038893/task/1038913/stat : 1038913 (Timer-0) S 1038890 1038893 1034712 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 192823746 19566772224 1358290 134679101440 93928770326528 93928770330224 140732916458464 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93928770338040 93928770338832 93928779694080 140732916462597 140732916462687 140732916462687 140732916469704 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5433160 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.86 s, system=2.3651 s

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

[startup+3586.01 s]*
/proc/loadavg: 1.07 1.12 1.09 2/237 1040746
/proc/meminfo: memFree=125490072/131524600 swapFree=131071216/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): 3586.02
CPU time (s): 3600.23
CPU user time (s): 3597.86
CPU system time (s): 2.3651
CPU usage (%): 100.396
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 5433160

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.86
system time used= 2.3651
maximum resident set size= 5434352
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 192982
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3544
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 110353
involuntary context switches= 3425


# summary of solver processes directly reported to runsolver:
#   pid: 1038893
#   total CPU time (s): 3600.23
#   total CPU user time (s): 3597.86
#   total CPU system time (s): 2.3651

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.98831 second user time and 16.7088 second system time

The end

Launcher Data 

Begin job on nodeC018 at 2024-07-19 18:30:25
IDJOB=4450054
IDBENCH=160390
IDSOLVER=3058
FILE ID=nodeC018/4450054-1721406613
RUNJOBID= nodeC018-1721403130-1036851
SLURM_JOB_ID= 7545430
Free space on /tmp= 890084 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/normalized-3col-almost3reg-l070-r069-n1.cnf-extracted.pb.metafix.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4450054-1721406613/watcher-4450054-1721406613 -o /tmp/evaluation-result-4450054-1721406613/solver-4450054-1721406613 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1721403130-1036851 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4450054-1721406613.opb

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

MD5SUM BENCH= 06224f4c25a1c1b3a15eb701c288d1cc
RANDOM SEED=929685338

nodeC018.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		: 2616.285
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.52
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		: 1784.882
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.30
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		: 2561.850
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.52
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		: 3216.455
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.30
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		: 3527.270
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.52
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		: 1619.939
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.30
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		: 3332.353
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.52
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		: 1297.628
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.30
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        125587580 kB
MemAvailable:   129738292 kB
Buffers:          533104 kB
Cached:          4418084 kB
SwapCached:          148 kB
Active:          1079976 kB
Inactive:        4204372 kB
Active(anon):       1460 kB
Inactive(anon):   377464 kB
Active(file):    1078516 kB
Inactive(file):  3826908 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071216 kB
Dirty:               720 kB
Writeback:             0 kB
AnonPages:        333000 kB
Mapped:           108492 kB
Shmem:             45784 kB
KReclaimable:     170220 kB
Slab:             273616 kB
SReclaimable:     170220 kB
SUnreclaim:       103396 kB
KernelStack:        3840 kB
PageTables:         9276 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     749452 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            37568 kB
HardwareCorrupted:     0 kB
AnonHugePages:    210944 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:      283348 kB
DirectMap2M:    28850176 kB
DirectMap1G:    106954752 kB

Free space on /tmp at the end= 890084 MiB
End job on nodeC018 at 2024-07-19 19:30:11