Trace number 4510984

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 2025-06-06? (TO) 3600.18 3606.24

General information on the benchmark

NamePB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/
normalized-3col-almost3reg-l090-r089-n1.cnf-plain.pb.metafix.opb
MD5SUM60aa0ac85dc632e57e54cb255f142331
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 variables4830
Total number of constraints15140
Number of constraints which are clauses15140
Number of constraints which are cardinality constraints (but not clauses)0
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.07	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.07	c version PB25.v20250606
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.09	c Free memory 		2104792832
0.00/0.09	c Max memory 		16282288128
0.00/0.09	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.12/0.13	c Pseudo Boolean Optimization by upper bound
0.12/0.13	c --- Begin Solver configuration ---
0.12/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.12/0.13	c Learn all clauses as in MiniSAT
0.12/0.13	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.13	c Expensive reason simplification
0.12/0.13	c Glucose 2.1 dynamic restart strategy
0.12/0.13	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.12/0.13	c timeout=2147483s
0.12/0.13	c DB Simplification allowed=false
0.12/0.13	c Listener: none
0.12/0.13	c --- End Solver configuration ---
0.12/0.13	c solving HOME/instance-4510984-1751199199.opb
0.12/0.13	c reading problem ... 
0.12/0.13	c  no objective function found
0.32/0.26	c ... done. Wall clock time 0.131s.
0.32/0.26	c declared #vars     4830
0.32/0.26	c #constraints  15140
0.32/0.26	c constraints type 
0.32/0.26	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 13530
0.32/0.26	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1610
0.32/0.26	c 15140 constraints processed.
2.40/1.52	c cleaning 2478 clauses out of 5000 with flag 306910/5000
3.34/2.43	c cleaning 4255 clauses out of 8522 with flag 454791/11000
4.48/3.46	c cleaning 5628 clauses out of 11267 with flag 720077/18000
5.88/4.80	c cleaning 6816 clauses out of 13641 with flag 1283873/26002
7.48/6.46	c cleaning 7905 clauses out of 15823 with flag 1880676/35000
9.38/8.33	c cleaning 8949 clauses out of 17920 with flag 2337917/45002
11.28/10.27	c cleaning 9981 clauses out of 19970 with flag 2501996/56001
13.47/12.48	c cleaning 10988 clauses out of 21988 with flag 2699435/68000
15.88/14.82	c cleaning 11993 clauses out of 24001 with flag 2900695/81001
18.58/17.53	c cleaning 12997 clauses out of 26007 with flag 3131521/95000
21.67/20.68	c cleaning 13991 clauses out of 28010 with flag 3392824/110000
24.96/23.93	c cleaning 14998 clauses out of 30019 with flag 3665164/126000
28.88/27.83	c cleaning 16003 clauses out of 32022 with flag 3983245/143001
33.00/31.96	c cleaning 17002 clauses out of 34022 with flag 4301897/161004
37.70/36.60	c cleaning 18002 clauses out of 36018 with flag 4647653/180002
42.79/41.79	c cleaning 18996 clauses out of 38015 with flag 5011735/200001
48.08/47.06	c cleaning 20006 clauses out of 40019 with flag 5393689/221001
52.97/51.94	c cleaning 20999 clauses out of 42014 with flag 5760095/243002
57.85/56.81	c cleaning 22005 clauses out of 44013 with flag 6060500/266000
62.88/61.83	c cleaning 22993 clauses out of 46008 with flag 6363999/290000
67.97/66.99	c cleaning 23993 clauses out of 48016 with flag 6722068/315001
73.65/72.67	c cleaning 24999 clauses out of 50022 with flag 7155107/341000
79.47/78.43	c cleaning 26009 clauses out of 52024 with flag 7594966/368001
85.65/84.66	c cleaning 26999 clauses out of 54014 with flag 8029608/396000
92.24/91.20	c cleaning 27988 clauses out of 56016 with flag 8519569/425001
99.62/98.68	c cleaning 28992 clauses out of 58027 with flag 9008244/455000
107.94/106.97	c cleaning 30002 clauses out of 60036 with flag 9561013/486001
115.62/114.60	c cleaning 31005 clauses out of 62034 with flag 10159319/518001
124.35/123.35	c cleaning 32013 clauses out of 64029 with flag 10753179/551001
133.14/132.14	c cleaning 32996 clauses out of 66016 with flag 11334321/585001
141.81/140.86	c cleaning 33998 clauses out of 68020 with flag 11923436/620001
151.59/150.63	c cleaning 34999 clauses out of 70023 with flag 12553861/656002
161.77/160.87	c cleaning 36000 clauses out of 72023 with flag 13218416/693001
172.38/171.45	c cleaning 36998 clauses out of 74022 with flag 13879174/731000
184.75/183.80	c cleaning 37999 clauses out of 76026 with flag 14610898/770002
197.73/196.87	c cleaning 38998 clauses out of 78026 with flag 15348293/810001
210.10/209.25	c cleaning 40002 clauses out of 80028 with flag 16097448/851001
223.97/223.19	c cleaning 40996 clauses out of 82027 with flag 16893282/893002
238.57/237.73	c cleaning 42002 clauses out of 84029 with flag 17750531/936000
251.95/251.13	c cleaning 43002 clauses out of 86028 with flag 18575416/980001
264.51/263.79	c cleaning 44010 clauses out of 88028 with flag 19357383/1025003
278.41/277.65	c cleaning 44999 clauses out of 90015 with flag 20167570/1071000
289.98/289.27	c cleaning 46000 clauses out of 92016 with flag 20979460/1118000
303.26/302.54	c cleaning 46998 clauses out of 94017 with flag 21774098/1166001
317.96/317.25	c cleaning 48000 clauses out of 96018 with flag 22678868/1215000
331.23/330.51	c cleaning 49004 clauses out of 98019 with flag 23532603/1265001
348.40/347.79	c cleaning 49997 clauses out of 100015 with flag 24550294/1316001
363.10/362.44	c cleaning 51005 clauses out of 102019 with flag 25450064/1368002
379.67/379.06	c cleaning 52003 clauses out of 104013 with flag 26452265/1421001
395.93/395.30	c cleaning 52996 clauses out of 106009 with flag 27441997/1475000
415.53/414.97	c cleaning 53998 clauses out of 108014 with flag 28566055/1530001
432.99/432.46	c cleaning 54996 clauses out of 110016 with flag 29601390/1586001
447.35/446.80	c cleaning 55998 clauses out of 112019 with flag 30493280/1643000
468.25/467.78	c cleaning 57001 clauses out of 114021 with flag 31633452/1701000
489.01/488.57	c cleaning 58005 clauses out of 116021 with flag 32805469/1760001
507.57/507.11	c cleaning 58997 clauses out of 118015 with flag 33871034/1820000
527.35/526.96	c cleaning 60006 clauses out of 120019 with flag 35052996/1881001
547.31/546.97	c cleaning 60993 clauses out of 122012 with flag 36262225/1943000
567.96/567.66	c cleaning 62001 clauses out of 124019 with flag 37513650/2006000
585.96/585.63	c cleaning 63002 clauses out of 126018 with flag 38678850/2070000
607.60/607.38	c cleaning 64000 clauses out of 128017 with flag 39917729/2135001
631.35/631.13	c cleaning 65007 clauses out of 130017 with flag 41251422/2201001
655.29/655.17	c cleaning 65997 clauses out of 132010 with flag 42581406/2268001
683.40/683.32	c cleaning 66997 clauses out of 134012 with flag 43995653/2336000
707.24/707.25	c cleaning 67991 clauses out of 136016 with flag 45373531/2405001
733.77/733.80	c cleaning 69002 clauses out of 138025 with flag 46782096/2475001
761.00/761.17	c cleaning 70001 clauses out of 140023 with flag 48223254/2546001
791.72/791.91	c cleaning 71001 clauses out of 142021 with flag 49600566/2618000
824.63/824.98	c cleaning 72008 clauses out of 144021 with flag 51126716/2691001
854.66/854.99	c cleaning 72998 clauses out of 146012 with flag 52669610/2765000
883.70/884.04	c cleaning 74000 clauses out of 148014 with flag 54160619/2840000
910.02/910.44	c cleaning 75002 clauses out of 150017 with flag 55625369/2916003
943.24/943.75	c cleaning 76001 clauses out of 152012 with flag 57212368/2993000
978.93/979.45	c cleaning 77000 clauses out of 154011 with flag 58823669/3071000
1008.66/1009.27	c cleaning 77992 clauses out of 156014 with flag 60318749/3150003
1045.68/1046.39	c cleaning 78998 clauses out of 158021 with flag 61937644/3230002
1084.99/1085.79	c cleaning 80008 clauses out of 160021 with flag 63755441/3311000
1120.71/1121.52	c cleaning 80998 clauses out of 162013 with flag 65406688/3393000
1162.09/1162.97	c cleaning 81992 clauses out of 164015 with flag 66872935/3476000
1198.10/1199.09	c cleaning 82998 clauses out of 166023 with flag 68456681/3560000
1231.51/1232.58	c cleaning 83995 clauses out of 168026 with flag 69917143/3645001
1269.71/1270.87	c cleaning 84998 clauses out of 170030 with flag 71690845/3731000
1313.90/1315.11	c cleaning 86001 clauses out of 172032 with flag 73440724/3818000
1351.30/1352.62	c cleaning 87010 clauses out of 174033 with flag 75285152/3906002
1395.98/1397.10	c cleaning 87986 clauses out of 176023 with flag 77079602/3995002
1434.78/1435.97	c cleaning 89010 clauses out of 178035 with flag 78964226/4085000
1482.25/1483.57	c cleaning 90008 clauses out of 180025 with flag 80853701/4176000
1540.00/1541.42	c cleaning 91001 clauses out of 182019 with flag 82759013/4268002
1589.67/1591.23	c cleaning 92006 clauses out of 184017 with flag 84717108/4361001
1636.65/1638.35	c cleaning 92993 clauses out of 186010 with flag 86702890/4455000
1680.81/1682.54	c cleaning 93992 clauses out of 188017 with flag 88624590/4550000
1725.99/1727.87	c cleaning 95010 clauses out of 190026 with flag 90528385/4646001
1777.05/1779.08	c cleaning 96001 clauses out of 192017 with flag 92595464/4743002
1833.31/1835.42	c cleaning 97006 clauses out of 194016 with flag 94750381/4841002
1894.95/1897.29	c cleaning 97993 clauses out of 196009 with flag 96828378/4940001
1961.18/1963.57	c cleaning 99007 clauses out of 198015 with flag 98923280/5040000
2021.12/2023.61	c cleaning 100005 clauses out of 200011 with flag 100835351/5141003
2086.75/2089.42	c cleaning 100986 clauses out of 202004 with flag 102933730/5243001
2140.51/2143.36	c cleaning 101997 clauses out of 204017 with flag 104978645/5346000
2201.75/2204.74	c cleaning 103007 clauses out of 206021 with flag 107179801/5450001
2254.51/2257.60	c cleaning 104001 clauses out of 208013 with flag 109325524/5555000
2315.75/2318.97	c cleaning 104992 clauses out of 210012 with flag 111447155/5661000
2387.26/2390.60	c cleaning 106006 clauses out of 212021 with flag 113728728/5768001
2461.68/2465.26	c cleaning 107000 clauses out of 214014 with flag 115964440/5876000
2546.55/2550.37	c cleaning 108001 clauses out of 216014 with flag 118106931/5985000
2628.15/2632.12	c cleaning 108993 clauses out of 218013 with flag 120318797/6095000
2693.17/2697.25	c cleaning 110007 clauses out of 220022 with flag 122513649/6206002
2776.39/2780.62	c cleaning 111005 clauses out of 222013 with flag 124779159/6318000
2859.10/2863.50	c cleaning 111996 clauses out of 224008 with flag 126964606/6431000
2945.51/2950.14	c cleaning 112999 clauses out of 226014 with flag 129152481/6545002
3031.32/3036.11	c cleaning 113999 clauses out of 228013 with flag 131398514/6660000
3135.98/3141.07	c cleaning 115001 clauses out of 230015 with flag 133826239/6776001
3234.36/3239.68	c cleaning 115986 clauses out of 232013 with flag 136132552/6893000
3332.42/3337.83	c cleaning 117008 clauses out of 234028 with flag 138337063/7011001
3423.69/3429.31	c cleaning 118001 clauses out of 236020 with flag 140528862/7130001
3538.29/3544.27	c cleaning 119002 clauses out of 238019 with flag 143051971/7250001
3600.03/3606.12	c starts		: 12994
3600.03/3606.12	c conflicts		: 7333359
3600.03/3606.12	c decisions		: 9714140
3600.03/3606.12	c propagations		: 2727344662
3600.03/3606.12	c inspects		: 38546880864
3600.03/3606.12	c shortcuts		: 0
3600.03/3606.12	c learnt literals	: 0
3600.03/3606.12	c learnt binary clauses	: 0
3600.03/3606.12	c learnt ternary clauses	: 4257
3600.03/3606.12	c learnt constraints	: 7333359
3600.03/3606.12	c ignored constraints	: 0
3600.03/3606.12	c root simplifications	: 0
3600.03/3606.12	c removed literals (reason simplification)	: 798264711
3600.03/3606.12	c reason swapping (by a shorter reason)	: 0
3600.03/3606.12	c Calls to reduceDB	: 116
3600.03/3606.12	c Number of update (reduction) of LBD	: 3086644
3600.03/3606.12	c Imported unit clauses	: 0
3600.03/3606.12	c No decision after first conflict	: false
3600.03/3606.12	c number of reductions to clauses (during analyze)	: 0
3600.03/3606.12	c number of learned constraints concerned by reduction	: 0
3600.03/3606.12	c number of learning phase by resolution	: 0
3600.03/3606.12	c number of learning phase by cutting planes	: 0
3600.03/3606.12	c number of rounding to 1 operations	: 0
3600.03/3606.12	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.03/3606.12	c number of reductions of the coefficients by power 2 	: 0
3600.03/3606.12	c number of right shift for reduction by power 2 	: 0
3600.03/3606.12	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.03/3606.13	c number of ending skipping 	: 0
3600.03/3606.13	c number of internal skipping 	: 0
3600.03/3606.13	c number of derivation steps 	: 0
3600.03/3606.13	c number of skipped derivation steps 	: 0
3600.03/3606.13	c number of remaining unassigned 	: 0
3600.03/3606.13	c number of remaining assigned 	: 0
3600.03/3606.13	c number of falsified literals weakened from reason	: 0
3600.03/3606.13	c number of falsified literals weakened from conflict	: 0
3600.03/3606.13	c time for arithmetic operations	: 0
3600.03/3606.14	c timeout
3600.03/3606.14	c minimum degree of deleted constraints	: null
3600.03/3606.14	c maximum degree of deleted constraints	: null
3600.03/3606.14	c number of deleted constraints	: 0
3600.03/3606.14	c speed (assignments/second)	: 756363.9167655566
3600.03/3606.14	c non guided choices	: 47491
3600.03/3606.19	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 202375
3600.03/3606.19	s UNKNOWN
3600.03/3606.20	c Total wall clock time (in seconds): 3606.065

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: 63665 MiB (61052 MiB free)
  memory of node 1: 64507 MiB (63064 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4510984-1751199199/watcher-4510984-1751199199 -o /tmp/evaluation-result-4510984-1751199199/solver-4510984-1751199199 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751191546-27851 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4510984-1751199199.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=30410, runsolver pid=30407
Current StackSize limit: 8192 KiB


[startup+0.100061 s]*
/proc/loadavg: 4.20 4.19 4.15 5/338 30428
/proc/meminfo: memFree=127065200/131249996 swapFree=33010684/33010684
[pid=30410] ppid=30407 vsize=18930384 memory=59464 CPUtime=0.12 cores=0,2
/proc/30410/stat : 30410 (java) S 30407 30410 27841 0 -1 4194304 6484 0 0 0 10 2 0 0 20 0 18 0 35597770 19384713216 14866 18446744073709551615 93981187915776 93981187919472 140722985682272 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93981187927288 93981187928080 93981221228544 140722985691521 140722985691622 140722985691622 140722985697224 0
/proc/30410/statm: 4732596 14866 5351 1 0 547604 0
[pid=30410/tid=30412] ppid=30407 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=0,2
/proc/30410/task/30412/stat : 30412 (java) R 30407 30410 27841 0 -1 4194368 5059 0 0 0 6 1 0 0 20 0 18 0 35597772 19384713216 14866 18446744073709551615 93981187915776 93981187919472 140722985682272 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93981187927288 93981187928080 93981221228544 140722985691521 140722985691622 140722985691622 140722985697224 0
[pid=30410/tid=30421] ppid=30407 vsize=18930384 memory=237112656212 CPUtime=0 cores=0,2
/proc/30410/task/30421/stat : 30421 (Finalizer) S 30407 30410 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 35597774 19384713216 14866 18446744073709551615 93981187915776 93981187919472 140722985682272 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93981187927288 93981187928080 93981221228544 140722985691521 140722985691622 140722985691622 140722985697224 0
[pid=30410/tid=30428] ppid=30407 vsize=18930384 memory=58485492706614 CPUtime=0 cores=0,2
/proc/30410/task/30428/stat : 30428 (Common-Cleaner) S 30407 30410 27841 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 35597774 19384713216 14866 18446744073709551615 93981187915776 93981187919472 140722985682272 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93981187927288 93981187928080 93981221228544 140722985691521 140722985691622 140722985691622 140722985697224 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 59464 KiB

[startup+0.205923 s]*
/proc/loadavg: 4.20 4.19 4.15 7/338 30428
/proc/meminfo: memFree=127056756/131249996 swapFree=33010684/33010684
[pid=30410] ppid=30407 vsize=18930384 memory=69496 CPUtime=0.32 cores=0,2
/proc/30410/stat : 30410 (java) S 30407 30410 27841 0 -1 4194304 6838 0 0 0 30 2 0 0 20 0 18 0 35597770 19384713216 17374 18446744073709551615 93981187915776 93981187919472 140722985682272 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93981187927288 93981187928080 93981221228544 140722985691521 140722985691622 140722985691622 140722985697224 0
/proc/30410/statm: 4732596 17374 5447 1 0 547907 0
[pid=30410/tid=30412] ppid=30407 vsize=18930384 memory=4026597660 CPUtime=0.17 cores=0,2
/proc/30410/task/30412/stat : 30412 (java) R 30407 30410 27841 0 -1 4194368 5267 0 0 0 16 1 0 0 20 0 18 0 35597772 19384713216 17374 18446744073709551615 93981187915776 93981187919472 140722985682272 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93981187927288 93981187928080 93981221228544 140722985691521 140722985691622 140722985691622 140722985697224 0
[pid=30410/tid=30421] ppid=30407 vsize=18930384 memory=18949 CPUtime=0 cores=0,2
/proc/30410/task/30421/stat : 30421 (Finalizer) S 30407 30410 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 35597774 19384713216 17374 18446744073709551615 93981187915776 93981187919472 140722985682272 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93981187927288 93981187928080 93981221228544 140722985691521 140722985691622 140722985691622 140722985697224 0
[pid=30410/tid=30428] ppid=30407 vsize=18930384 memory=57385981051877 CPUtime=0 cores=0,2
/proc/30410/task/30428/stat : 30428 (Common-Cleaner) S 30407 30410 27841 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 35597774 19384713216 17374 18446744073709551615 93981187915776 93981187919472 140722985682272 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93981187927288 93981187928080 93981221228544 140722985691521 140722985691622 140722985691622 140722985697224 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 69496 KiB

[startup+0.305749 s]*
/proc/loadavg: 4.20 4.19 4.15 7/339 30429
/proc/meminfo: memFree=127035772/131249996 swapFree=33010684/33010684
[pid=30410] ppid=30407 vsize=18996948 memory=93980 CPUtime=0.5 cores=0,2
/proc/30410/stat : 30410 (java) S 30407 30410 27841 0 -1 4194304 8330 0 0 0 47 3 0 0 20 0 19 0 35597770 19452874752 23495 18446744073709551615 93981187915776 93981187919472 140722985682272 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93981187927288 93981187928080 93981221228544 140722985691521 140722985691622 140722985691622 140722985697224 0
/proc/30410/statm: 4749237 23495 5447 1 0 549219 0
[pid=30410/tid=30412] ppid=30407 vsize=18996948 memory=-6000919477085432940 CPUtime=0.25 cores=0,2
/proc/30410/task/30412/stat : 30412 (java) R 30407 30410 27841 0 -1 4194368 5309 0 0 0 23 2 0 0 20 0 19 0 35597772 19452874752 23495 18446744073709551615 93981187915776 93981187919472 140722985682272 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93981187927288 93981187928080 93981221228544 140722985691521 140722985691622 140722985691622 140722985697224 0
[pid=30410/tid=30421] ppid=30407 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/30410/task/30421/stat : 30421 (Finalizer) S 30407 30410 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 35597774 19452874752 23495 18446744073709551615 93981187915776 93981187919472 140722985682272 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93981187927288 93981187928080 93981221228544 140722985691521 140722985691622 140722985691622 140722985697224 0
[pid=30410/tid=30428] ppid=30407 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/30410/task/30428/stat : 30428 (Common-Cleaner) S 30407 30410 27841 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 35597774 19452874752 23495 18446744073709551615 93981187915776 93981187919472 140722985682272 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93981187927288 93981187928080 93981221228544 140722985691521 140722985691622 140722985691622 140722985697224 0
[pid=30410/tid=30429] ppid=30407 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/30410/task/30429/stat : 30429 (Timer-0) S 30407 30410 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 35597798 19452874752 23495 18446744073709551615 93981187915776 93981187919472 140722985682272 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93981187927288 93981187928080 93981221228544 140722985691521 140722985691622 140722985691622 140722985697224 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 93980 KiB

[startup+0.700226 s]
/proc/loadavg: 4.20 4.19 4.15 6/339 30429
/proc/meminfo: memFree=127028716/131249996 swapFree=33010684/33010684
[pid=30410] ppid=30407 vsize=18996948 memory=105564 CPUtime=1.27 cores=0,2
/proc/30410/stat : 30410 (java) S 30407 30410 27841 0 -1 4194304 11284 0 0 0 123 4 0 0 20 0 19 0 35597770 19452874752 26391 18446744073709551615 93981187915776 93981187919472 140722985682272 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93981187927288 93981187928080 93981221228544 140722985691521 140722985691622 140722985691622 140722985697224 0
/proc/30410/statm: 4749237 26391 5447 1 0 551523 0
[pid=30410/tid=30412] ppid=30407 vsize=18996948 memory=17536 CPUtime=0.62 cores=0,2
/proc/30410/task/30412/stat : 30412 (java) R 30407 30410 27841 0 -1 4194368 5324 0 0 0 60 2 0 0 20 0 19 0 35597772 19452874752 26391 18446744073709551615 93981187915776 93981187919472 140722985682272 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93981187927288 93981187928080 93981221228544 140722985691521 140722985691622 140722985691622 140722985697224 0
[pid=30410/tid=30421] ppid=30407 vsize=18996948 memory=10752 CPUtime=0 cores=0,2
/proc/30410/task/30421/stat : 30421 (Finalizer) S 30407 30410 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 35597774 19452874752 26391 18446744073709551615 93981187915776 93981187919472 140722985682272 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93981187927288 93981187928080 93981221228544 140722985691521 140722985691622 140722985691622 140722985697224 0
[pid=30410/tid=30428] ppid=30407 vsize=18996948 memory=3328 CPUtime=0 cores=0,2
/proc/30410/task/30428/stat : 30428 (Common-Cleaner) S 30407 30410 27841 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 35597774 19452874752 26391 18446744073709551615 93981187915776 93981187919472 140722985682272 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93981187927288 93981187928080 93981221228544 140722985691521 140722985691622 140722985691622 140722985697224 0
[pid=30410/tid=30429] ppid=30407 vsize=18996948 memory=4756 CPUtime=0 cores=0,2
/proc/30410/task/30429/stat : 30429 (Timer-0) S 30407 30410 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 35597798 19452874752 26391 18446744073709551615 93981187915776 93981187919472 140722985682272 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93981187927288 93981187928080 93981221228544 140722985691521 140722985691622 140722985691622 140722985697224 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 105564 KiB

[startup+1.50015 s]
/proc/loadavg: 4.20 4.19 4.15 5/339 30429
/proc/meminfo: memFree=127026700/131249996 swapFree=33010684/33010684
[pid=30410] ppid=30407 vsize=18996948 memory=107800 CPUtime=2.4 cores=0,2
/proc/30410/stat : 30410 (java) S 30407 30410 27841 0 -1 4194304 13661 0 0 0 235 5 0 0 20 0 19 0 35597770 19452874752 26950 18446744073709551615 93981187915776 93981187919472 140722985682272 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93981187927288 93981187928080 93981221228544 140722985691521 140722985691622 140722985691622 140722985697224 0
/proc/30410/statm: 4749237 26950 5447 1 0 551527 0
[pid=30410/tid=30412] ppid=30407 vsize=18996948 memory=10752 CPUtime=1.42 cores=0,2
/proc/30410/task/30412/stat : 30412 (java) R 30407 30410 27841 0 -1 4194368 5440 0 0 0 140 2 0 0 20 0 19 0 35597772 19452874752 26950 18446744073709551615 93981187915776 93981187919472 140722985682272 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93981187927288 93981187928080 93981221228544 140722985691521 140722985691622 140722985691622 140722985697224 0
[pid=30410/tid=30421] ppid=30407 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/30410/task/30421/stat : 30421 (Finalizer) S 30407 30410 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 35597774 19452874752 26950 18446744073709551615 93981187915776 93981187919472 140722985682272 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93981187927288 93981187928080 93981221228544 140722985691521 140722985691622 140722985691622 140722985697224 0
[pid=30410/tid=30428] ppid=30407 vsize=18996948 memory=3328 CPUtime=0 cores=0,2
/proc/30410/task/30428/stat : 30428 (Common-Cleaner) S 30407 30410 27841 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 35597774 19452874752 26950 18446744073709551615 93981187915776 93981187919472 140722985682272 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93981187927288 93981187928080 93981221228544 140722985691521 140722985691622 140722985691622 140722985697224 0
[pid=30410/tid=30429] ppid=30407 vsize=18996948 memory=4756 CPUtime=0 cores=0,2
/proc/30410/task/30429/stat : 30429 (Timer-0) S 30407 30410 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 35597798 19452874752 26950 18446744073709551615 93981187915776 93981187919472 140722985682272 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93981187927288 93981187928080 93981221228544 140722985691521 140722985691622 140722985691622 140722985697224 0
Current children cumulated CPU time: 2.4 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 107800 KiB

[startup+3.10558 s]
/proc/loadavg: 4.20 4.19 4.15 5/339 30429
/proc/meminfo: memFree=127009812/131249996 swapFree=33010684/33010684
[pid=30410] ppid=30407 vsize=18996948 memory=122396 CPUtime=4.18 cores=0,2
/proc/30410/stat : 30410 (java) S 30407 30410 27841 0 -1 4194304 16117 0 0 0 413 5 0 0 20 0 19 0 35597770 19452874752 30599 18446744073709551615 93981187915776 93981187919472 140722985682272 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93981187927288 93981187928080 93981221228544 140722985691521 140722985691622 140722985691622 140722985697224 0
/proc/30410/statm: 4749237 30599 5447 1 0 551556 0
[pid=30410/tid=30412] ppid=30407 vsize=18996948 memory=10752 CPUtime=3.02 cores=0,2
/proc/30410/task/30412/stat : 30412 (java) R 30407 30410 27841 0 -1 4194368 6582 0 0 0 299 3 0 0 20 0 19 0 35597772 19452874752 30599 18446744073709551615 93981187915776 93981187919472 140722985682272 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93981187927288 93981187928080 93981221228544 140722985691521 140722985691622 140722985691622 140722985697224 0
[pid=30410/tid=30421] ppid=30407 vsize=18996948 memory=-6000919477085432940 CPUtime=0 cores=0,2
/proc/30410/task/30421/stat : 30421 (Finalizer) S 30407 30410 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 35597774 19452874752 30599 18446744073709551615 93981187915776 93981187919472 140722985682272 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93981187927288 93981187928080 93981221228544 140722985691521 140722985691622 140722985691622 140722985697224 0
[pid=30410/tid=30428] ppid=30407 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/30410/task/30428/stat : 30428 (Common-Cleaner) S 30407 30410 27841 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 35597774 19452874752 30599 18446744073709551615 93981187915776 93981187919472 140722985682272 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93981187927288 93981187928080 93981221228544 140722985691521 140722985691622 140722985691622 140722985697224 0
[pid=30410/tid=30429] ppid=30407 vsize=18996948 memory=3328 CPUtime=0 cores=0,2
/proc/30410/task/30429/stat : 30429 (Timer-0) S 30407 30410 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 35597798 19452874752 30599 18446744073709551615 93981187915776 93981187919472 140722985682272 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93981187927288 93981187928080 93981221228544 140722985691521 140722985691622 140722985691622 140722985697224 0
Current children cumulated CPU time: 4.18 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 122396 KiB

[startup+6.30015 s]
/proc/loadavg: 4.18 4.18 4.15 5/339 30429
/proc/meminfo: memFree=126997572/131249996 swapFree=33010684/33010684
[pid=30410] ppid=30407 vsize=18996948 memory=133024 CPUtime=7.38 cores=0,2
/proc/30410/stat : 30410 (java) S 30407 30410 27841 0 -1 4194304 17706 0 0 0 733 5 0 0 20 0 19 0 35597770 19452874752 33256 18446744073709551615 93981187915776 93981187919472 140722985682272 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93981187927288 93981187928080 93981221228544 140722985691521 140722985691622 140722985691622 140722985697224 0
/proc/30410/statm: 4749237 33256 5447 1 0 551557 0
[pid=30410/tid=30412] ppid=30407 vsize=18996948 memory=0 CPUtime=6.21 cores=0,2
/proc/30410/task/30412/stat : 30412 (java) R 30407 30410 27841 0 -1 4194368 7180 0 0 0 618 3 0 0 20 0 19 0 35597772 19452874752 33256 18446744073709551615 93981187915776 93981187919472 140722985682272 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93981187927288 93981187928080 93981221228544 140722985691521 140722985691622 140722985691622 140722985697224 0
[pid=30410/tid=30421] ppid=30407 vsize=18996948 memory=3328 CPUtime=0 cores=0,2
/proc/30410/task/30421/stat : 30421 (Finalizer) S 30407 30410 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 35597774 19452874752 33256 18446744073709551615 93981187915776 93981187919472 140722985682272 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93981187927288 93981187928080 93981221228544 140722985691521 140722985691622 140722985691622 140722985697224 0
[pid=30410/tid=30428] ppid=30407 vsize=18996948 memory=10752 CPUtime=0 cores=0,2
/proc/30410/task/30428/stat : 30428 (Common-Cleaner) S 30407 30410 27841 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 35597774 19452874752 33256 18446744073709551615 93981187915776 93981187919472 140722985682272 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93981187927288 93981187928080 93981221228544 140722985691521 140722985691622 140722985691622 140722985697224 0
[pid=30410/tid=30429] ppid=30407 vsize=18996948 memory=109964 CPUtime=0 cores=0,2
/proc/30410/task/30429/stat : 30429 (Timer-0) S 30407 30410 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 35597798 19452874752 33256 18446744073709551615 93981187915776 93981187919472 140722985682272 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93981187927288 93981187928080 93981221228544 140722985691521 140722985691622 140722985691622 140722985697224 0
Current children cumulated CPU time: 7.38 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 133024 KiB

[startup+12.7001 s]
/proc/loadavg: 4.17 4.18 4.15 5/339 30429
/proc/meminfo: memFree=126968900/131249996 swapFree=33010684/33010684
[pid=30410] ppid=30407 vsize=19063512 memory=178712 CPUtime=13.79 cores=0,2
/proc/30410/stat : 30410 (java) S 30407 30410 27841 0 -1 4194304 19997 0 0 0 1372 7 0 0 20 0 20 0 35597770 19521036288 44678 18446744073709551615 93981187915776 93981187919472 140722985682272 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93981187927288 93981187928080 93981221228544 140722985691521 140722985691622 140722985691622 140722985697224 0
/proc/30410/statm: 4765878 44678 5511 1 0 551846 0
[pid=30410/tid=30412] ppid=30407 vsize=19063512 memory=109964 CPUtime=12.58 cores=0,2
/proc/30410/task/30412/stat : 30412 (java) R 30407 30410 27841 0 -1 4194368 7848 0 0 0 1254 4 0 0 20 0 20 0 35597772 19521036288 44678 18446744073709551615 93981187915776 93981187919472 140722985682272 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93981187927288 93981187928080 93981221228544 140722985691521 140722985691622 140722985691622 140722985697224 0
[pid=30410/tid=30421] ppid=30407 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/30410/task/30421/stat : 30421 (Finalizer) S 30407 30410 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35597774 19521036288 44678 18446744073709551615 93981187915776 93981187919472 140722985682272 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93981187927288 93981187928080 93981221228544 140722985691521 140722985691622 140722985691622 140722985697224 0
[pid=30410/tid=30428] ppid=30407 vsize=19063512 memory=159776 CPUtime=0 cores=0,2
/proc/30410/task/30428/stat : 30428 (Common-Cleaner) S 30407 30410 27841 0 -1 4194368 54 0 0 0 0 0 0 0 20 0 20 0 35597774 19521036288 44678 18446744073709551615 93981187915776 93981187919472 140722985682272 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93981187927288 93981187928080 93981221228544 140722985691521 140722985691622 140722985691622 140722985697224 0
[pid=30410/tid=30429] ppid=30407 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/30410/task/30429/stat : 30429 (Timer-0) S 30407 30410 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35597798 19521036288 44678 18446744073709551615 93981187915776 93981187919472 140722985682272 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93981187927288 93981187928080 93981221228544 140722985691521 140722985691622 140722985691622 140722985697224 0
Current children cumulated CPU time: 13.79 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 178712 KiB

[startup+25.5002 s]
/proc/loadavg: 4.29 4.21 4.16 5/340 30430
/proc/meminfo: memFree=126948460/131249996 swapFree=33010684/33010684
[pid=30410] ppid=30407 vsize=19063512 memory=178712 CPUtime=26.59 cores=0,2
/proc/30410/stat : 30410 (java) S 30407 30410 27841 0 -1 4194304 22996 0 0 0 2652 7 0 0 20 0 20 0 35597770 19521036288 44678 18446744073709551615 93981187915776 93981187919472 140722985682272 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93981187927288 93981187928080 93981221228544 140722985691521 140722985691622 140722985691622 140722985697224 0
/proc/30410/statm: 4765878 44678 5511 1 0 551846 0
[pid=30410/tid=30412] ppid=30407 vsize=19063512 memory=10752 CPUtime=25.34 cores=0,2
/proc/30410/task/30412/stat : 30412 (java) R 30407 30410 27841 0 -1 4194368 8775 0 0 0 2530 4 0 0 20 0 20 0 35597772 19521036288 44678 18446744073709551615 93981187915776 93981187919472 140722985682272 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93981187927288 93981187928080 93981221228544 140722985691521 140722985691622 140722985691622 140722985697224 0
[pid=30410/tid=30421] ppid=30407 vsize=19063512 memory=159776 CPUtime=0 cores=0,2
/proc/30410/task/30421/stat : 30421 (Finalizer) S 30407 30410 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35597774 19521036288 44678 18446744073709551615 93981187915776 93981187919472 140722985682272 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93981187927288 93981187928080 93981221228544 140722985691521 140722985691622 140722985691622 140722985697224 0
[pid=30410/tid=30428] ppid=30407 vsize=19063512 memory=4380 CPUtime=0 cores=0,2
/proc/30410/task/30428/stat : 30428 (Common-Cleaner) S 30407 30410 27841 0 -1 4194368 54 0 0 0 0 0 0 0 20 0 20 0 35597774 19521036288 44678 18446744073709551615 93981187915776 93981187919472 140722985682272 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93981187927288 93981187928080 93981221228544 140722985691521 140722985691622 140722985691622 140722985697224 0
[pid=30410/tid=30429] ppid=30407 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/30410/task/30429/stat : 30429 (Timer-0) S 30407 30410 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35597798 19521036288 44678 18446744073709551615 93981187915776 93981187919472 140722985682272 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93981187927288 93981187928080 93981221228544 140722985691521 140722985691622 140722985691622 140722985697224 0
Current children cumulated CPU time: 26.59 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 178712 KiB

[startup+51.1057 s]
/proc/loadavg: 4.19 4.19 4.15 5/340 30431
/proc/meminfo: memFree=126801068/131249996 swapFree=33010684/33010684
[pid=30410] ppid=30407 vsize=19063512 memory=189072 CPUtime=52.17 cores=0,2
/proc/30410/stat : 30410 (java) S 30407 30410 27841 0 -1 4194304 24098 0 0 0 5209 8 0 0 20 0 20 0 35597770 19521036288 47268 18446744073709551615 93981187915776 93981187919472 140722985682272 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93981187927288 93981187928080 93981221228544 140722985691521 140722985691622 140722985691622 140722985697224 0
/proc/30410/statm: 4765878 47268 5511 1 0 551846 0
[pid=30410/tid=30412] ppid=30407 vsize=19063512 memory=189072 CPUtime=50.86 cores=0,2
/proc/30410/task/30412/stat : 30412 (java) R 30407 30410 27841 0 -1 4194368 8845 0 0 0 5082 4 0 0 20 0 20 0 35597772 19521036288 47268 18446744073709551615 93981187915776 93981187919472 140722985682272 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93981187927288 93981187928080 93981221228544 140722985691521 140722985691622 140722985691622 140722985697224 0
[pid=30410/tid=30421] ppid=30407 vsize=19063512 memory=189072 CPUtime=0 cores=0,2

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

/proc/30410/task/30421/stat : 30421 (Finalizer) S 30407 30410 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35597774 19521036288 374665 18446744073709551615 93981187915776 93981187919472 140722985682272 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93981187927288 93981187928080 93981221228544 140722985691521 140722985691622 140722985691622 140722985697224 0
[pid=30410/tid=30428] ppid=30407 vsize=19063512 memory=1498660 CPUtime=0 cores=0,2
/proc/30410/task/30428/stat : 30428 (Common-Cleaner) S 30407 30410 27841 0 -1 4194368 1065 0 0 0 0 0 0 0 20 0 20 0 35597774 19521036288 374665 18446744073709551615 93981187915776 93981187919472 140722985682272 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93981187927288 93981187928080 93981221228544 140722985691521 140722985691622 140722985691622 140722985697224 0
[pid=30410/tid=30429] ppid=30407 vsize=19063512 memory=1498660 CPUtime=0 cores=0,2
/proc/30410/task/30429/stat : 30429 (Timer-0) S 30407 30410 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35597798 19521036288 374665 18446744073709551615 93981187915776 93981187919472 140722985682272 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93981187927288 93981187928080 93981221228544 140722985691521 140722985691622 140722985691622 140722985697224 0
Current children cumulated CPU time: 3217.1 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1498660 KiB

[startup+3282.3 s]
/proc/loadavg: 4.24 4.21 4.18 5/342 32243
/proc/meminfo: memFree=99494836/131249996 swapFree=33010684/33010684
[pid=30410] ppid=30407 vsize=19063512 memory=1560220 CPUtime=3277.07 cores=0,2
/proc/30410/stat : 30410 (java) S 30407 30410 27841 0 -1 4194304 61649 0 0 0 327612 95 0 0 20 0 20 0 35597770 19521036288 390055 18446744073709551615 93981187915776 93981187919472 140722985682272 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93981187927288 93981187928080 93981221228544 140722985691521 140722985691622 140722985691622 140722985697224 0
/proc/30410/statm: 4765878 390055 5511 1 0 553919 0
[pid=30410/tid=30412] ppid=30407 vsize=19063512 memory=1560220 CPUtime=3271.7 cores=0,2
/proc/30410/task/30412/stat : 30412 (java) R 30407 30410 27841 0 -1 4194368 26843 0 0 0 327156 14 0 0 20 0 20 0 35597772 19521036288 390055 18446744073709551615 93981187915776 93981187919472 140722985682272 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93981187927288 93981187928080 93981221228544 140722985691521 140722985691622 140722985691622 140722985697224 0
[pid=30410/tid=30421] ppid=30407 vsize=19063512 memory=17536 CPUtime=0 cores=0,2
/proc/30410/task/30421/stat : 30421 (Finalizer) S 30407 30410 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35597774 19521036288 390055 18446744073709551615 93981187915776 93981187919472 140722985682272 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93981187927288 93981187928080 93981221228544 140722985691521 140722985691622 140722985691622 140722985697224 0
[pid=30410/tid=30428] ppid=30407 vsize=19063512 memory=14848 CPUtime=0 cores=0,2
/proc/30410/task/30428/stat : 30428 (Common-Cleaner) S 30407 30410 27841 0 -1 4194368 1065 0 0 0 0 0 0 0 20 0 20 0 35597774 19521036288 390055 18446744073709551615 93981187915776 93981187919472 140722985682272 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93981187927288 93981187928080 93981221228544 140722985691521 140722985691622 140722985691622 140722985697224 0
[pid=30410/tid=30429] ppid=30407 vsize=19063512 memory=4756 CPUtime=0 cores=0,2
/proc/30410/task/30429/stat : 30429 (Timer-0) S 30407 30410 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35597798 19521036288 390055 18446744073709551615 93981187915776 93981187919472 140722985682272 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93981187927288 93981187928080 93981221228544 140722985691521 140722985691622 140722985691622 140722985697224 0
Current children cumulated CPU time: 3277.07 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1560220 KiB

[startup+3342.3 s]
/proc/loadavg: 4.20 4.20 4.18 5/342 32245
/proc/meminfo: memFree=99499816/131249996 swapFree=33010684/33010684
[pid=30410] ppid=30407 vsize=19063512 memory=1560220 CPUtime=3336.92 cores=0,2
/proc/30410/stat : 30410 (java) S 30407 30410 27841 0 -1 4194304 62343 0 0 0 333595 97 0 0 20 0 20 0 35597770 19521036288 390055 18446744073709551615 93981187915776 93981187919472 140722985682272 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93981187927288 93981187928080 93981221228544 140722985691521 140722985691622 140722985691622 140722985697224 0
/proc/30410/statm: 4765878 390055 5511 1 0 553919 0
[pid=30410/tid=30412] ppid=30407 vsize=19063512 memory=1560220 CPUtime=3331.53 cores=0,2
/proc/30410/task/30412/stat : 30412 (java) R 30407 30410 27841 0 -1 4194368 27373 0 0 0 333139 14 0 0 20 0 20 0 35597772 19521036288 390055 18446744073709551615 93981187915776 93981187919472 140722985682272 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93981187927288 93981187928080 93981221228544 140722985691521 140722985691622 140722985691622 140722985697224 0
[pid=30410/tid=30421] ppid=30407 vsize=19063512 memory=1560220 CPUtime=0 cores=0,2
/proc/30410/task/30421/stat : 30421 (Finalizer) S 30407 30410 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35597774 19521036288 390055 18446744073709551615 93981187915776 93981187919472 140722985682272 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93981187927288 93981187928080 93981221228544 140722985691521 140722985691622 140722985691622 140722985697224 0
[pid=30410/tid=30428] ppid=30407 vsize=19063512 memory=2688 CPUtime=0 cores=0,2
/proc/30410/task/30428/stat : 30428 (Common-Cleaner) S 30407 30410 27841 0 -1 4194368 1164 0 0 0 0 0 0 0 20 0 20 0 35597774 19521036288 390055 18446744073709551615 93981187915776 93981187919472 140722985682272 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93981187927288 93981187928080 93981221228544 140722985691521 140722985691622 140722985691622 140722985697224 0
[pid=30410/tid=30429] ppid=30407 vsize=19063512 memory=14848 CPUtime=0 cores=0,2
/proc/30410/task/30429/stat : 30429 (Timer-0) S 30407 30410 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35597798 19521036288 390055 18446744073709551615 93981187915776 93981187919472 140722985682272 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93981187927288 93981187928080 93981221228544 140722985691521 140722985691622 140722985691622 140722985697224 0
Current children cumulated CPU time: 3336.92 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1560220 KiB

[startup+3402.3 s]
/proc/loadavg: 4.13 4.18 4.18 5/342 32247
/proc/meminfo: memFree=99498932/131249996 swapFree=33010684/33010684
[pid=30410] ppid=30407 vsize=19063512 memory=1560220 CPUtime=3396.76 cores=0,2
/proc/30410/stat : 30410 (java) S 30407 30410 27841 0 -1 4194304 62717 0 0 0 339578 98 0 0 20 0 20 0 35597770 19521036288 390055 18446744073709551615 93981187915776 93981187919472 140722985682272 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93981187927288 93981187928080 93981221228544 140722985691521 140722985691622 140722985691622 140722985697224 0
/proc/30410/statm: 4765878 390055 5511 1 0 553919 0
[pid=30410/tid=30412] ppid=30407 vsize=19063512 memory=1560220 CPUtime=3391.36 cores=0,2
/proc/30410/task/30412/stat : 30412 (java) R 30407 30410 27841 0 -1 4194368 27601 0 0 0 339122 14 0 0 20 0 20 0 35597772 19521036288 390055 18446744073709551615 93981187915776 93981187919472 140722985682272 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93981187927288 93981187928080 93981221228544 140722985691521 140722985691622 140722985691622 140722985697224 0
[pid=30410/tid=30421] ppid=30407 vsize=19063512 memory=5632 CPUtime=0 cores=0,2
/proc/30410/task/30421/stat : 30421 (Finalizer) S 30407 30410 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35597774 19521036288 390055 18446744073709551615 93981187915776 93981187919472 140722985682272 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93981187927288 93981187928080 93981221228544 140722985691521 140722985691622 140722985691622 140722985697224 0
[pid=30410/tid=30428] ppid=30407 vsize=19063512 memory=1560220 CPUtime=0 cores=0,2
/proc/30410/task/30428/stat : 30428 (Common-Cleaner) S 30407 30410 27841 0 -1 4194368 1261 0 0 0 0 0 0 0 20 0 20 0 35597774 19521036288 390055 18446744073709551615 93981187915776 93981187919472 140722985682272 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93981187927288 93981187928080 93981221228544 140722985691521 140722985691622 140722985691622 140722985697224 0
[pid=30410/tid=30429] ppid=30407 vsize=19063512 memory=14848 CPUtime=0 cores=0,2
/proc/30410/task/30429/stat : 30429 (Timer-0) S 30407 30410 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35597798 19521036288 390055 18446744073709551615 93981187915776 93981187919472 140722985682272 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93981187927288 93981187928080 93981221228544 140722985691521 140722985691622 140722985691622 140722985697224 0
Current children cumulated CPU time: 3396.76 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1560220 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.16 4.17 5/343 32251
/proc/meminfo: memFree=99375980/131249996 swapFree=33010684/33010684
[pid=30410] ppid=30407 vsize=19063512 memory=1560220 CPUtime=3456.6 cores=0,2
/proc/30410/stat : 30410 (java) S 30407 30410 27841 0 -1 4194304 62941 0 0 0 345561 99 0 0 20 0 20 0 35597770 19521036288 390055 18446744073709551615 93981187915776 93981187919472 140722985682272 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93981187927288 93981187928080 93981221228544 140722985691521 140722985691622 140722985691622 140722985697224 0
/proc/30410/statm: 4765878 390055 5511 1 0 553919 0
[pid=30410/tid=30412] ppid=30407 vsize=19063512 memory=1560220 CPUtime=3451.18 cores=0,2
/proc/30410/task/30412/stat : 30412 (java) R 30407 30410 27841 0 -1 4194368 27795 0 0 0 345104 14 0 0 20 0 20 0 35597772 19521036288 390055 18446744073709551615 93981187915776 93981187919472 140722985682272 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93981187927288 93981187928080 93981221228544 140722985691521 140722985691622 140722985691622 140722985697224 0
[pid=30410/tid=30421] ppid=30407 vsize=19063512 memory=5632 CPUtime=0 cores=0,2
/proc/30410/task/30421/stat : 30421 (Finalizer) S 30407 30410 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35597774 19521036288 390055 18446744073709551615 93981187915776 93981187919472 140722985682272 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93981187927288 93981187928080 93981221228544 140722985691521 140722985691622 140722985691622 140722985697224 0
[pid=30410/tid=30428] ppid=30407 vsize=19063512 memory=17536 CPUtime=0 cores=0,2
/proc/30410/task/30428/stat : 30428 (Common-Cleaner) S 30407 30410 27841 0 -1 4194368 1261 0 0 0 0 0 0 0 20 0 20 0 35597774 19521036288 390055 18446744073709551615 93981187915776 93981187919472 140722985682272 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93981187927288 93981187928080 93981221228544 140722985691521 140722985691622 140722985691622 140722985697224 0
[pid=30410/tid=30429] ppid=30407 vsize=19063512 memory=1560220 CPUtime=0 cores=0,2
/proc/30410/task/30429/stat : 30429 (Timer-0) S 30407 30410 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35597798 19521036288 390055 18446744073709551615 93981187915776 93981187919472 140722985682272 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93981187927288 93981187928080 93981221228544 140722985691521 140722985691622 140722985691622 140722985697224 0
Current children cumulated CPU time: 3456.6 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1560220 KiB

[startup+3522.3 s]
/proc/loadavg: 4.13 4.16 4.17 5/343 32254
/proc/meminfo: memFree=99371788/131249996 swapFree=33010684/33010684
[pid=30410] ppid=30407 vsize=19063512 memory=1560220 CPUtime=3516.45 cores=0,2
/proc/30410/stat : 30410 (java) S 30407 30410 27841 0 -1 4194304 63107 0 0 0 351545 100 0 0 20 0 20 0 35597770 19521036288 390055 18446744073709551615 93981187915776 93981187919472 140722985682272 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93981187927288 93981187928080 93981221228544 140722985691521 140722985691622 140722985691622 140722985697224 0
/proc/30410/statm: 4765878 390055 5511 1 0 553919 0
[pid=30410/tid=30412] ppid=30407 vsize=19063512 memory=5632 CPUtime=3511 cores=0,2
/proc/30410/task/30412/stat : 30412 (java) R 30407 30410 27841 0 -1 4194368 27933 0 0 0 351086 14 0 0 20 0 20 0 35597772 19521036288 390055 18446744073709551615 93981187915776 93981187919472 140722985682272 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93981187927288 93981187928080 93981221228544 140722985691521 140722985691622 140722985691622 140722985697224 0
[pid=30410/tid=30421] ppid=30407 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/30410/task/30421/stat : 30421 (Finalizer) S 30407 30410 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35597774 19521036288 390055 18446744073709551615 93981187915776 93981187919472 140722985682272 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93981187927288 93981187928080 93981221228544 140722985691521 140722985691622 140722985691622 140722985697224 0
[pid=30410/tid=30428] ppid=30407 vsize=19063512 memory=1560220 CPUtime=0 cores=0,2
/proc/30410/task/30428/stat : 30428 (Common-Cleaner) S 30407 30410 27841 0 -1 4194368 1261 0 0 0 0 0 0 0 20 0 20 0 35597774 19521036288 390055 18446744073709551615 93981187915776 93981187919472 140722985682272 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93981187927288 93981187928080 93981221228544 140722985691521 140722985691622 140722985691622 140722985697224 0
[pid=30410/tid=30429] ppid=30407 vsize=19063512 memory=1560220 CPUtime=0 cores=0,2
/proc/30410/task/30429/stat : 30429 (Timer-0) S 30407 30410 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35597798 19521036288 390055 18446744073709551615 93981187915776 93981187919472 140722985682272 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93981187927288 93981187928080 93981221228544 140722985691521 140722985691622 140722985691622 140722985697224 0
Current children cumulated CPU time: 3516.45 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1560220 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.14 4.16 5/342 32260
/proc/meminfo: memFree=99322284/131249996 swapFree=33010684/33010684
[pid=30410] ppid=30407 vsize=19063512 memory=1560220 CPUtime=3576.29 cores=0,2
/proc/30410/stat : 30410 (java) S 30407 30410 27841 0 -1 4194304 63592 0 0 0 357528 101 0 0 20 0 20 0 35597770 19521036288 390055 18446744073709551615 93981187915776 93981187919472 140722985682272 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93981187927288 93981187928080 93981221228544 140722985691521 140722985691622 140722985691622 140722985697224 0
/proc/30410/statm: 4765878 390055 5511 1 0 553919 0
[pid=30410/tid=30412] ppid=30407 vsize=19063512 memory=1560220 CPUtime=3570.83 cores=0,2
/proc/30410/task/30412/stat : 30412 (java) R 30407 30410 27841 0 -1 4194368 28371 0 0 0 357069 14 0 0 20 0 20 0 35597772 19521036288 390055 18446744073709551615 93981187915776 93981187919472 140722985682272 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93981187927288 93981187928080 93981221228544 140722985691521 140722985691622 140722985691622 140722985697224 0
[pid=30410/tid=30421] ppid=30407 vsize=19063512 memory=1560220 CPUtime=0 cores=0,2
/proc/30410/task/30421/stat : 30421 (Finalizer) S 30407 30410 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35597774 19521036288 390055 18446744073709551615 93981187915776 93981187919472 140722985682272 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93981187927288 93981187928080 93981221228544 140722985691521 140722985691622 140722985691622 140722985697224 0
[pid=30410/tid=30428] ppid=30407 vsize=19063512 memory=1560220 CPUtime=0 cores=0,2
/proc/30410/task/30428/stat : 30428 (Common-Cleaner) S 30407 30410 27841 0 -1 4194368 1261 0 0 0 0 0 0 0 20 0 20 0 35597774 19521036288 390055 18446744073709551615 93981187915776 93981187919472 140722985682272 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93981187927288 93981187928080 93981221228544 140722985691521 140722985691622 140722985691622 140722985697224 0
[pid=30410/tid=30429] ppid=30407 vsize=19063512 memory=14848 CPUtime=0 cores=0,2
/proc/30410/task/30429/stat : 30429 (Timer-0) S 30407 30410 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35597798 19521036288 390055 18446744073709551615 93981187915776 93981187919472 140722985682272 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93981187927288 93981187928080 93981221228544 140722985691521 140722985691622 140722985691622 140722985697224 0
Current children cumulated CPU time: 3576.29 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1560220 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3606.11 s]
/proc/loadavg: 4.06 4.13 4.16 5/342 32261
/proc/meminfo: memFree=98621304/131249996 swapFree=33010684/33010684
[pid=30410] ppid=30407 vsize=19063512 memory=1560220 CPUtime=3600.03 cores=0,2
/proc/30410/stat : 30410 (java) S 30407 30410 27841 0 -1 4194304 63656 0 0 0 359902 101 0 0 20 0 20 0 35597770 19521036288 390055 18446744073709551615 93981187915776 93981187919472 140722985682272 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93981187927288 93981187928080 93981221228544 140722985691521 140722985691622 140722985691622 140722985697224 0
/proc/30410/statm: 4765878 390055 5511 1 0 553919 0
[pid=30410/tid=30412] ppid=30407 vsize=19063512 memory=1560220 CPUtime=3594.56 cores=0,2
/proc/30410/task/30412/stat : 30412 (java) R 30407 30410 27841 0 -1 4194368 28422 0 0 0 359442 14 0 0 20 0 20 0 35597772 19521036288 390055 18446744073709551615 93981187915776 93981187919472 140722985682272 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93981187927288 93981187928080 93981221228544 140722985691521 140722985691622 140722985691622 140722985697224 0
[pid=30410/tid=30421] ppid=30407 vsize=19063512 memory=1560220 CPUtime=0 cores=0,2
/proc/30410/task/30421/stat : 30421 (Finalizer) S 30407 30410 27841 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 35597774 19521036288 390055 18446744073709551615 93981187915776 93981187919472 140722985682272 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93981187927288 93981187928080 93981221228544 140722985691521 140722985691622 140722985691622 140722985697224 0
[pid=30410/tid=30428] ppid=30407 vsize=19063512 memory=1560220 CPUtime=0 cores=0,2
/proc/30410/task/30428/stat : 30428 (Common-Cleaner) S 30407 30410 27841 0 -1 4194368 1261 0 0 0 0 0 0 0 20 0 20 0 35597774 19521036288 390055 18446744073709551615 93981187915776 93981187919472 140722985682272 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93981187927288 93981187928080 93981221228544 140722985691521 140722985691622 140722985691622 140722985697224 0
[pid=30410/tid=30429] ppid=30407 vsize=19063512 memory=14848 CPUtime=0 cores=0,2
/proc/30410/task/30429/stat : 30429 (Timer-0) S 30407 30410 27841 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 35597798 19521036288 390055 18446744073709551615 93981187915776 93981187919472 140722985682272 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93981187927288 93981187928080 93981221228544 140722985691521 140722985691622 140722985691622 140722985697224 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1560220 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.16 s, system=1.02596 s

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

[startup+3606.2 s]*
/proc/loadavg: 4.06 4.13 4.16 5/324 32264
/proc/meminfo: memFree=99669628/131249996 swapFree=33010684/33010684
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): 3606.24
CPU time (s): 3600.18
CPU user time (s): 3599.16
CPU system time (s): 1.02596
CPU usage (%): 99.8322
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 1560220

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.16
system time used= 1.02596
maximum resident set size= 1561116
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 65915
page faults= 0
swaps= 0
block input operations= 0
block output operations= 14496
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 103510
involuntary context switches= 8930


# summary of solver processes directly reported to runsolver:
#   pid: 30410
#   total CPU time (s): 3600.18
#   total CPU user time (s): 3599.16
#   total CPU system time (s): 1.02596

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.88606 second user time and 17.1115 second system time

The end

Launcher Data 

Begin job on nodeC024 at 2025-06-29 14:13:19
IDJOB=4510984
IDBENCH=160409
IDSOLVER=3363
FILE ID=nodeC024/4510984-1751199199
RUNJOBID= nodeC024-1751191546-27851
SLURM_JOB_ID= 9587580
Free space on /tmp= 433056 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/normalized-3col-almost3reg-l090-r089-n1.cnf-plain.pb.metafix.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4510984-1751199199/watcher-4510984-1751199199 -o /tmp/evaluation-result-4510984-1751199199/solver-4510984-1751199199 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751191546-27851 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4510984-1751199199.opb

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

MD5SUM BENCH= 60aa0ac85dc632e57e54cb255f142331
RANDOM SEED=243802123

nodeC024 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/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		: 3599.686
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.670
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.36
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		: 3599.647
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.36
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		: 3600.319
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.743
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.654
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.36
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		: 3610.246
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.36
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		: 3597.291
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        127096136 kB
MemAvailable:   126778684 kB
Buffers:            3280 kB
Cached:           492128 kB
SwapCached:            0 kB
Active:          3345656 kB
Inactive:         237568 kB
Active(anon):    3105880 kB
Inactive(anon):        0 kB
Active(file):     239776 kB
Inactive(file):   237568 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              1392 kB
Writeback:            24 kB
AnonPages:       3090572 kB
Mapped:           122304 kB
Shmem:             18064 kB
KReclaimable:      88488 kB
Slab:             175460 kB
SReclaimable:      88488 kB
SUnreclaim:        86972 kB
KernelStack:        5216 kB
PageTables:         9784 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    7050124 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151448 kB
VmallocChunk:          0 kB
Percpu:             3808 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2881536 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      195284 kB
DirectMap2M:     6916096 kB
DirectMap1G:    128974848 kB

Free space on /tmp at the end= 432996 MiB
End job on nodeC024 at 2025-06-29 15:13:25