Trace number 4446272

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j Resolution 2024 2024-07-07? (TO) 3600.33 3637.42

General information on the benchmark

NamePB24/normalized-PB11/DEC-LIN/
lopes/normalized-121.opb
MD5SUM385cc980e0c43194d9e7f2f21b5d5aa0
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 variables55296
Total number of constraints1282690
Number of constraints which are clauses1152492
Number of constraints which are cardinality constraints (but not clauses)4030
Number of constraints which are nor clauses,nor cardinality constraints126168
Minimum length of a constraint2
Maximum length of a constraint756
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 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 757
Number of bits of the biggest sum of numbers10
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.08	c version CUSTOM.v20240707
0.00/0.09	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.09	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.09	c java.vm.version	22.0.1+8-16
0.00/0.09	c java.vm.vendor	Oracle Corporation
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		22.0.1
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.09	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.14/0.14	--- Begin Solver configuration ---
0.14/0.14	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.14/0.14	Learn all clauses as in MiniSAT
0.14/0.14	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.14	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.14	Expensive reason simplification
0.14/0.14	Glucose 2.1 dynamic restart strategy
0.14/0.14	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.14	timeout=2147483s
0.14/0.14	DB Simplification allowed=false
0.14/0.14	Listener: none
0.14/0.14	--- End Solver configuration ---
0.14/0.14	c Pseudo Boolean Optimization by upper bound
0.14/0.14	c --- Begin Solver configuration ---
0.14/0.14	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.14/0.14	c Learn all clauses as in MiniSAT
0.14/0.14	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.14	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.14	c Expensive reason simplification
0.14/0.14	c Glucose 2.1 dynamic restart strategy
0.14/0.14	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.14	c timeout=2147483s
0.14/0.14	c DB Simplification allowed=false
0.14/0.14	c Listener: none
0.14/0.14	c --- End Solver configuration ---
0.14/0.14	c solving HOME/instance-4446272-1721820838.opb
0.14/0.14	c reading problem ... 
0.14/0.15	c using VERIPB proof format
0.14/0.15	c  no objective function found
7.09/4.86	c ... done. Wall clock time 4.719s.
7.09/4.86	c declared #vars     55296
7.09/4.86	c #constraints  1284718
7.09/4.86	c constraints type 
7.09/4.86	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 269329
7.09/4.86	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 4032
7.09/4.86	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 126168
7.09/4.86	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 885189
7.09/4.86	c 1284718 constraints processed.
19.46/14.98	c cleaning 2483 clauses out of 5000 with flag 347659/5000
26.61/21.85	c cleaning 4143 clauses out of 8517 with flag 919570/11000
30.01/26.08	c cleaning 5671 clauses out of 11374 with flag 1231744/18000
36.27/32.32	c cleaning 6805 clauses out of 13703 with flag 1633506/26000
49.65/45.83	c cleaning 7870 clauses out of 15898 with flag 2187312/35000
66.11/62.59	c cleaning 8840 clauses out of 18028 with flag 2774511/45000
75.53/72.01	c cleaning 9936 clauses out of 20189 with flag 3327208/56001
89.41/86.05	c cleaning 10671 clauses out of 22252 with flag 3910526/68000
102.48/99.23	c cleaning 11875 clauses out of 24581 with flag 4353470/81000
118.76/115.66	c cleaning 13068 clauses out of 26708 with flag 4645027/95002
134.37/133.18	c cleaning 14273 clauses out of 28638 with flag 5430045/110000
146.63/145.47	c cleaning 15001 clauses out of 30365 with flag 5815714/126000
157.89/156.68	c cleaning 16172 clauses out of 32364 with flag 5958551/143000
177.52/176.22	c cleaning 17052 clauses out of 34192 with flag 6386721/161000
199.44/198.42	c cleaning 17949 clauses out of 36140 with flag 7140188/180000
212.14/211.14	c cleaning 18903 clauses out of 38191 with flag 7641735/200000
234.71/234.06	c cleaning 20095 clauses out of 40288 with flag 8506146/221000
255.51/255.86	c cleaning 19878 clauses out of 42193 with flag 9292301/243000
272.18/272.52	c cleaning 22549 clauses out of 45315 with flag 10008265/266000
292.23/292.62	c cleaning 22099 clauses out of 46767 with flag 10816876/290001
313.89/314.37	c cleaning 22355 clauses out of 49668 with flag 11332608/315001
333.35/333.86	c cleaning 23477 clauses out of 53312 with flag 11851943/341000
350.22/350.75	c cleaning 25223 clauses out of 56835 with flag 12317088/368000
366.64/367.08	c cleaning 25797 clauses out of 59612 with flag 12771638/396000
384.37/384.81	c cleaning 27497 clauses out of 62815 with flag 13169051/425000
407.53/408.04	c cleaning 28116 clauses out of 65318 with flag 13819030/455000
435.86/436.42	c cleaning 28161 clauses out of 68202 with flag 14506840/486000
457.21/457.84	c cleaning 30517 clauses out of 72041 with flag 15074466/518000
480.84/481.54	c cleaning 31030 clauses out of 74524 with flag 15804661/551000
508.76/509.58	c cleaning 31626 clauses out of 77495 with flag 16385488/585001
532.31/534.63	c cleaning 33637 clauses out of 80868 with flag 16915919/620000
555.97/558.32	c cleaning 34916 clauses out of 83231 with flag 17559321/656000
579.43/582.19	c cleaning 35534 clauses out of 85315 with flag 18128321/693000
601.39/604.07	c cleaning 36315 clauses out of 87781 with flag 18787126/731000
623.18/626.07	c cleaning 37728 clauses out of 90466 with flag 19458303/770000
648.70/651.88	c cleaning 38617 clauses out of 92738 with flag 20092968/810000
678.80/682.27	c cleaning 39207 clauses out of 95123 with flag 20810155/851002
705.91/709.66	c cleaning 40154 clauses out of 97915 with flag 21470939/893001
726.86/730.81	c cleaning 41973 clauses out of 100760 with flag 22094801/936000
749.61/753.87	c cleaning 42216 clauses out of 102787 with flag 22786848/980000
783.75/788.23	c cleaning 41077 clauses out of 105571 with flag 23745612/1025000
818.32/823.17	c cleaning 43815 clauses out of 110494 with flag 24629381/1071000
837.55/842.50	c cleaning 45722 clauses out of 113679 with flag 25263427/1118000
864.24/869.20	c cleaning 46357 clauses out of 115945 with flag 25892237/1166003
888.32/893.62	c cleaning 47669 clauses out of 118584 with flag 26686087/1215000
907.19/912.82	c cleaning 49112 clauses out of 120917 with flag 27486108/1265002
926.06/931.72	c cleaning 49979 clauses out of 122803 with flag 28140776/1316000
962.10/968.20	c cleaning 49825 clauses out of 124824 with flag 29166493/1368000
984.06/990.28	c cleaning 50930 clauses out of 127998 with flag 29734295/1421000
1006.54/1012.99	c cleaning 52397 clauses out of 131068 with flag 30236758/1475000
1029.75/1037.34	c cleaning 53446 clauses out of 133670 with flag 30894958/1530000
1054.15/1061.97	c cleaning 54176 clauses out of 136224 with flag 31495712/1586000
1091.09/1099.03	c cleaning 54294 clauses out of 139048 with flag 32362884/1643000
1122.91/1131.08	c cleaning 56562 clauses out of 142754 with flag 32936687/1701000
1142.58/1150.69	c cleaning 57941 clauses out of 145194 with flag 33412652/1760002
1169.89/1178.12	c cleaning 58412 clauses out of 147252 with flag 34005945/1820001
1189.44/1197.92	c cleaning 60260 clauses out of 149839 with flag 34649962/1881000
1212.09/1221.47	c cleaning 60677 clauses out of 151579 with flag 35375641/1943000
1240.92/1250.91	c cleaning 62183 clauses out of 153902 with flag 36200749/2006000
1278.61/1288.73	c cleaning 61362 clauses out of 155721 with flag 37093033/2070002
1306.59/1316.97	c cleaning 63677 clauses out of 159357 with flag 38016348/2135000
1337.74/1348.30	c cleaning 65065 clauses out of 161680 with flag 38916216/2201000
1368.17/1379.13	c cleaning 65688 clauses out of 163620 with flag 39699938/2268005
1400.91/1411.99	c cleaning 66438 clauses out of 165927 with flag 40377120/2336000
1426.99/1438.26	c cleaning 68152 clauses out of 168489 with flag 40985753/2405000
1450.08/1461.43	c cleaning 69198 clauses out of 170337 with flag 41572046/2475000
1487.27/1498.80	c cleaning 69257 clauses out of 172139 with flag 42421167/2546000
1524.95/1536.79	c cleaning 70665 clauses out of 174883 with flag 43344094/2618001
1568.31/1580.37	c cleaning 71432 clauses out of 177217 with flag 44111282/2691000
1611.08/1623.23	c cleaning 73024 clauses out of 179785 with flag 45302223/2765000
1668.21/1681.42	c cleaning 72504 clauses out of 181761 with flag 46369201/2840000
1699.20/1712.86	c cleaning 74528 clauses out of 185257 with flag 47072685/2916000
1736.38/1750.47	c cleaning 75110 clauses out of 187730 with flag 47708447/2993001
1781.37/1795.50	c cleaning 76885 clauses out of 190619 with flag 48423465/3071000
1824.76/1839.04	c cleaning 76941 clauses out of 192734 with flag 49223129/3150000
1856.72/1871.12	c cleaning 78870 clauses out of 195794 with flag 49960005/3230001
1893.44/1908.09	c cleaning 79590 clauses out of 197924 with flag 50741136/3311001
1937.32/1952.19	c cleaning 80107 clauses out of 200333 with flag 51719680/3393000
1978.42/1993.51	c cleaning 81750 clauses out of 203230 with flag 52696415/3476004
2016.96/2032.56	c cleaning 83251 clauses out of 205476 with flag 53595739/3560000
2081.35/2097.66	c cleaning 82751 clauses out of 207225 with flag 54986086/3645000
2145.00/2162.01	c cleaning 83834 clauses out of 210474 with flag 56533543/3731000
2193.14/2210.96	c cleaning 85926 clauses out of 213641 with flag 57746189/3818001
2244.58/2262.68	c cleaning 86853 clauses out of 215717 with flag 58951505/3906003
2293.55/2311.74	c cleaning 87539 clauses out of 217861 with flag 59800718/3995000
2353.58/2372.06	c cleaning 88402 clauses out of 220322 with flag 61194870/4085000
2423.70/2442.50	c cleaning 88769 clauses out of 222921 with flag 62903049/4176001
2487.26/2506.62	c cleaning 89891 clauses out of 226152 with flag 64227767/4268001
2527.15/2546.54	c cleaning 91735 clauses out of 229260 with flag 65111406/4361000
2560.22/2579.60	c cleaning 93220 clauses out of 231525 with flag 66043783/4455000
2601.44/2620.95	c cleaning 93648 clauses out of 233306 with flag 67117024/4550001
2641.55/2661.40	c cleaning 95179 clauses out of 235658 with flag 68371649/4646001
2678.43/2698.40	c cleaning 96309 clauses out of 237478 with flag 69231829/4743000
2732.81/2754.37	c cleaning 96343 clauses out of 239169 with flag 70642359/4841000
2831.77/2853.57	c cleaning 95252 clauses out of 241826 with flag 73720963/4940000
2902.31/2924.16	c cleaning 97540 clauses out of 246574 with flag 75483436/5040000
2988.15/3010.41	c cleaning 97830 clauses out of 250037 with flag 77288144/5141003
3071.58/3094.18	c cleaning 97882 clauses out of 254205 with flag 78766378/5243001
3136.21/3159.44	c cleaning 101030 clauses out of 259323 with flag 79982385/5346001
3188.18/3211.89	c cleaning 102909 clauses out of 262292 with flag 80949126/5450000
3232.41/3256.45	c cleaning 103770 clauses out of 264383 with flag 81844795/5555000
3294.44/3318.96	c cleaning 104510 clauses out of 266613 with flag 83128313/5661000
3358.93/3383.59	c cleaning 104683 clauses out of 269103 with flag 84076949/5768000
3416.79/3441.83	c cleaning 106846 clauses out of 272421 with flag 85336712/5876001
3503.45/3529.76	c cleaning 106916 clauses out of 274578 with flag 86684434/5985004
3581.60/3618.58	c cleaning 108312 clauses out of 277658 with flag 88318894/6095000
3600.06/3637.21	c starts		: 24595
3600.06/3637.21	c timeout
3600.06/3637.22	c conflicts		: 6120405
3600.06/3637.22	c decisions		: 171026959
3600.06/3637.22	c propagations		: 4700570629
3600.06/3637.22	c inspects		: 35331697241
3600.06/3637.22	c shortcuts		: 0
3600.06/3637.22	c learnt literals	: 18
3600.06/3637.22	c learnt binary clauses	: 11528
3600.06/3637.22	c learnt ternary clauses	: 21171
3600.06/3637.22	c learnt constraints	: 6120387
3600.06/3637.22	c ignored constraints	: 0
3600.06/3637.22	c root simplifications	: 0
3600.06/3637.22	c removed literals (reason simplification)	: 63977837
3600.06/3637.22	c reason swapping (by a shorter reason)	: 0
3600.06/3637.22	c Calls to reduceDB	: 106
3600.06/3637.22	c Number of update (reduction) of LBD	: 3614553
3600.06/3637.22	c Imported unit clauses	: 0
3600.06/3637.22	c No decision after first conflict	: false
3600.06/3637.22	c number of reductions to clauses (during analyze)	: 0
3600.06/3637.22	c number of learned constraints concerned by reduction	: 0
3600.06/3637.22	c number of learning phase by resolution	: 0
3600.06/3637.22	c number of learning phase by cutting planes	: 0
3600.06/3637.22	c number of rounding to 1 operations	: 0
3600.06/3637.22	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.06/3637.22	c number of reductions of the coefficients by power 2 	: 0
3600.06/3637.22	c number of right shift for reduction by power 2 	: 0
3600.06/3637.22	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.06/3637.22	c number of ending skipping 	: 0
3600.06/3637.22	c number of internal skipping 	: 0
3600.06/3637.22	c number of derivation steps 	: 0
3600.06/3637.22	c number of skipped derivation steps 	: 0
3600.06/3637.22	c number of remaining unassigned 	: 0
3600.06/3637.22	c number of remaining assigned 	: 0
3600.06/3637.22	c number of falsified literals weakened from reason	: 0
3600.06/3637.22	c number of falsified literals weakened from conflict	: 0
3600.06/3637.22	c time for arithmetic operations	: 0
3600.06/3637.22	c minimum degree of deleted constraints	: null
3600.06/3637.22	c maximum degree of deleted constraints	: null
3600.06/3637.22	c number of deleted constraints	: 0
3600.06/3637.22	c speed (assignments/second)	: 1294092.394964114
3600.06/3637.22	c non guided choices	: 10383589
3600.06/3637.29	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 183223
3600.06/3637.29	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 11528
3600.06/3637.29	s UNKNOWN
3600.06/3637.29	c Total wall clock time (in seconds): 3637.151

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63931 MiB (49602 MiB free)
  memory of node 1: 64510 MiB (48455 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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

solver pid=184112, runsolver pid=184109

[startup+0.102947 s]*
/proc/loadavg: 4.53 4.29 4.14 6/335 184130
/proc/meminfo: memFree=100364956/131524600 swapFree=131070704/131071996
[pid=184112] ppid=184109 vsize=18975048 memory=63228 CPUtime=0.14 cores=1,3
/proc/184112/stat : 184112 (java) S 184109 184112 181698 0 -1 1077936128 7183 0 0 0 12 2 0 0 20 0 18 0 18606791 19430449152 15807 134679101440 94186454179840 94186454183536 140727417209904 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94186454191352 94186454192144 94186457210880 140727417213867 140727417214049 140727417214049 140727417221064 0
/proc/184112/statm: 4743762 15807 5714 1 0 549310 0
[pid=184112/tid=184114] ppid=184109 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=1,3
/proc/184112/task/184114/stat : 184114 (java) R 184109 184112 181698 0 -1 1077936192 5713 0 0 0 7 1 0 0 20 0 18 0 18606791 19430449152 15807 134679101440 94186454179840 94186454183536 140727417209904 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94186454191352 94186454192144 94186457210880 140727417213867 140727417214049 140727417214049 140727417221064 0
[pid=184112/tid=184123] ppid=184109 vsize=18975048 memory=237146210664 CPUtime=0 cores=1,3
/proc/184112/task/184123/stat : 184123 (Finalizer) S 184109 184112 181698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18606794 19430449152 15807 134679101440 94186454179840 94186454183536 140727417209904 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94186454191352 94186454192144 94186457210880 140727417213867 140727417214049 140727417214049 140727417221064 0
[pid=184112/tid=184130] ppid=184109 vsize=18975048 memory=13855165888293772 CPUtime=0 cores=1,3
/proc/184112/task/184130/stat : 184130 (Common-Cleaner) S 184109 184112 181698 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 18606794 19430449152 15807 134679101440 94186454179840 94186454183536 140727417209904 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94186454191352 94186454192144 94186457210880 140727417213867 140727417214049 140727417214049 140727417221064 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 63228 KiB

[startup+0.206447 s]*
/proc/loadavg: 4.53 4.29 4.14 7/335 184130
/proc/meminfo: memFree=100341744/131524600 swapFree=131070704/131071996
[pid=184112] ppid=184109 vsize=18975048 memory=83856 CPUtime=0.32 cores=1,3
/proc/184112/stat : 184112 (java) S 184109 184112 181698 0 -1 1077936128 7665 0 0 0 29 3 0 0 20 0 18 0 18606791 19430449152 20964 134679101440 94186454179840 94186454183536 140727417209904 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94186454191352 94186454192144 94186457210880 140727417213867 140727417214049 140727417214049 140727417221064 0
/proc/184112/statm: 4743762 20964 5855 1 0 549613 0
[pid=184112/tid=184114] ppid=184109 vsize=18975048 memory=4782652875487838339 CPUtime=0.17 cores=1,3
/proc/184112/task/184114/stat : 184114 (java) R 184109 184112 181698 0 -1 4194368 5963 0 0 0 15 2 0 0 20 0 18 0 18606791 19430449152 20964 134679101440 94186454179840 94186454183536 140727417209904 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94186454191352 94186454192144 94186457210880 140727417213867 140727417214049 140727417214049 140727417221064 0
[pid=184112/tid=184123] ppid=184109 vsize=18975048 memory=1010558 CPUtime=0 cores=1,3
/proc/184112/task/184123/stat : 184123 (Finalizer) S 184109 184112 181698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18606794 19430449152 20964 134679101440 94186454179840 94186454183536 140727417209904 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94186454191352 94186454192144 94186457210880 140727417213867 140727417214049 140727417214049 140727417221064 0
[pid=184112/tid=184130] ppid=184109 vsize=18975048 memory=14415916817450633 CPUtime=0 cores=1,3
/proc/184112/task/184130/stat : 184130 (Common-Cleaner) S 184109 184112 181698 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 18606794 19430449152 20964 134679101440 94186454179840 94186454183536 140727417209904 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94186454191352 94186454192144 94186457210880 140727417213867 140727417214049 140727417214049 140727417221064 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 83856 KiB

[startup+0.306458 s]*
/proc/loadavg: 4.53 4.29 4.14 7/335 184130
/proc/meminfo: memFree=100294228/131524600 swapFree=131070704/131071996
[pid=184112] ppid=184109 vsize=18975048 memory=123084 CPUtime=0.51 cores=1,3
/proc/184112/stat : 184112 (java) S 184109 184112 181698 0 -1 1077936128 9217 0 0 0 47 4 0 0 20 0 18 0 18606791 19430449152 30771 134679101440 94186454179840 94186454183536 140727417209904 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94186454191352 94186454192144 94186457210880 140727417213867 140727417214049 140727417214049 140727417221064 0
/proc/184112/statm: 4743762 30771 5855 1 0 550613 0
[pid=184112/tid=184114] ppid=184109 vsize=18975048 memory=-8529089166424449724 CPUtime=0.27 cores=1,3
/proc/184112/task/184114/stat : 184114 (java) R 184109 184112 181698 0 -1 4194368 5986 0 0 0 24 3 0 0 20 0 18 0 18606791 19430449152 30771 134679101440 94186454179840 94186454183536 140727417209904 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94186454191352 94186454192144 94186457210880 140727417213867 140727417214049 140727417214049 140727417221064 0
[pid=184112/tid=184123] ppid=184109 vsize=18975048 memory=0 CPUtime=0 cores=1,3
/proc/184112/task/184123/stat : 184123 (Finalizer) S 184109 184112 181698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18606794 19430449152 30771 134679101440 94186454179840 94186454183536 140727417209904 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94186454191352 94186454192144 94186457210880 140727417213867 140727417214049 140727417214049 140727417221064 0
[pid=184112/tid=184130] ppid=184109 vsize=18975048 memory=0 CPUtime=0 cores=1,3
/proc/184112/task/184130/stat : 184130 (Common-Cleaner) S 184109 184112 181698 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 18606794 19430449152 30771 134679101440 94186454179840 94186454183536 140727417209904 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94186454191352 94186454192144 94186457210880 140727417213867 140727417214049 140727417214049 140727417221064 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 123084 KiB

[startup+0.705365 s]
/proc/loadavg: 4.53 4.29 4.14 8/336 184131
/proc/meminfo: memFree=100049912/131524600 swapFree=131070704/131071996
[pid=184112] ppid=184109 vsize=19041612 memory=191848 CPUtime=1.28 cores=1,3
/proc/184112/stat : 184112 (java) S 184109 184112 181698 0 -1 1077936128 16268 0 0 0 122 6 0 0 20 0 19 0 18606791 19498610688 47962 134679101440 94186454179840 94186454183536 140727417209904 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94186454191352 94186454192144 94186457210880 140727417213867 140727417214049 140727417214049 140727417221064 0
/proc/184112/statm: 4760403 47962 5855 1 0 555493 0
[pid=184112/tid=184114] ppid=184109 vsize=19041612 memory=5516 CPUtime=0.6 cores=1,3
/proc/184112/task/184114/stat : 184114 (java) S 184109 184112 181698 0 -1 1077936192 6009 0 0 0 57 3 0 0 20 0 19 0 18606791 19498610688 47962 134679101440 94186454179840 94186454183536 140727417209904 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94186454191352 94186454192144 94186457210880 140727417213867 140727417214049 140727417214049 140727417221064 0
[pid=184112/tid=184123] ppid=184109 vsize=19041612 memory=13524 CPUtime=0 cores=1,3
/proc/184112/task/184123/stat : 184123 (Finalizer) S 184109 184112 181698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 18606794 19498610688 47962 134679101440 94186454179840 94186454183536 140727417209904 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94186454191352 94186454192144 94186457210880 140727417213867 140727417214049 140727417214049 140727417221064 0
[pid=184112/tid=184130] ppid=184109 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/184112/task/184130/stat : 184130 (Common-Cleaner) S 184109 184112 181698 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 18606794 19498610688 47962 134679101440 94186454179840 94186454183536 140727417209904 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94186454191352 94186454192144 94186457210880 140727417213867 140727417214049 140727417214049 140727417221064 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 191848 KiB

[startup+1.50046 s]
/proc/loadavg: 4.53 4.29 4.14 6/336 184131
/proc/meminfo: memFree=99684364/131524600 swapFree=131070704/131071996
[pid=184112] ppid=184109 vsize=19041612 memory=416728 CPUtime=2.82 cores=1,3
/proc/184112/stat : 184112 (java) S 184109 184112 181698 0 -1 1077936128 19840 0 0 0 272 10 0 0 20 0 19 0 18606791 19498610688 104182 134679101440 94186454179840 94186454183536 140727417209904 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94186454191352 94186454192144 94186457210880 140727417213867 140727417214049 140727417214049 140727417221064 0
/proc/184112/statm: 4760403 104182 5887 1 0 949638 0
[pid=184112/tid=184114] ppid=184109 vsize=19041612 memory=13524 CPUtime=1.24 cores=1,3
/proc/184112/task/184114/stat : 184114 (java) R 184109 184112 181698 0 -1 4194368 6096 0 0 0 118 6 0 0 20 0 19 0 18606791 19498610688 104182 134679101440 94186454179840 94186454183536 140727417209904 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94186454191352 94186454192144 94186457210880 140727417213867 140727417214049 140727417214049 140727417221064 0
[pid=184112/tid=184123] ppid=184109 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/184112/task/184123/stat : 184123 (Finalizer) S 184109 184112 181698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 18606794 19498610688 104182 134679101440 94186454179840 94186454183536 140727417209904 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94186454191352 94186454192144 94186457210880 140727417213867 140727417214049 140727417214049 140727417221064 0
[pid=184112/tid=184130] ppid=184109 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/184112/task/184130/stat : 184130 (Common-Cleaner) S 184109 184112 181698 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 18606794 19498610688 104182 134679101440 94186454179840 94186454183536 140727417209904 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94186454191352 94186454192144 94186457210880 140727417213867 140727417214049 140727417214049 140727417221064 0
Current children cumulated CPU time: 2.82 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 416728 KiB

[startup+3.10845 s]
/proc/loadavg: 4.53 4.29 4.14 7/337 184134
/proc/meminfo: memFree=97960420/131524600 swapFree=131070704/131071996
[pid=184112] ppid=184109 vsize=19041612 memory=1187260 CPUtime=5.13 cores=1,3
/proc/184112/stat : 184112 (java) S 184109 184112 181698 0 -1 1077936128 21365 0 0 0 487 26 0 0 20 0 19 0 18606791 19498610688 296815 134679101440 94186454179840 94186454183536 140727417209904 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94186454191352 94186454192144 94186457210880 140727417213867 140727417214049 140727417214049 140727417221064 0
/proc/184112/statm: 4760403 296815 5887 1 0 1595117 0
[pid=184112/tid=184114] ppid=184109 vsize=19041612 memory=0 CPUtime=2.6 cores=1,3
/proc/184112/task/184114/stat : 184114 (java) S 184109 184112 181698 0 -1 1077936192 6384 0 0 0 242 18 0 0 20 0 19 0 18606791 19498610688 296815 134679101440 94186454179840 94186454183536 140727417209904 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94186454191352 94186454192144 94186457210880 140727417213867 140727417214049 140727417214049 140727417221064 0
[pid=184112/tid=184123] ppid=184109 vsize=19041612 memory=13524 CPUtime=0 cores=1,3
/proc/184112/task/184123/stat : 184123 (Finalizer) S 184109 184112 181698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 18606794 19498610688 296815 134679101440 94186454179840 94186454183536 140727417209904 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94186454191352 94186454192144 94186457210880 140727417213867 140727417214049 140727417214049 140727417221064 0
[pid=184112/tid=184130] ppid=184109 vsize=19041612 memory=550008 CPUtime=0 cores=1,3
/proc/184112/task/184130/stat : 184130 (Common-Cleaner) S 184109 184112 181698 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 18606794 19498610688 296815 134679101440 94186454179840 94186454183536 140727417209904 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94186454191352 94186454192144 94186457210880 140727417213867 140727417214049 140727417214049 140727417221064 0
Current children cumulated CPU time: 5.13 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 1187260 KiB

[startup+6.30047 s]
/proc/loadavg: 4.49 4.28 4.14 5/338 184135
/proc/meminfo: memFree=96758212/131524600 swapFree=131070704/131071996
[pid=184112] ppid=184109 vsize=19108176 memory=2243036 CPUtime=9.36 cores=1,3
/proc/184112/stat : 184112 (java) S 184109 184112 181698 0 -1 1077936128 23002 0 0 0 888 48 0 0 20 0 20 0 18606791 19566772224 560759 134679101440 94186454179840 94186454183536 140727417209904 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94186454191352 94186454192144 94186457210880 140727417213867 140727417214049 140727417214049 140727417221064 0
/proc/184112/statm: 4777044 560759 5887 1 0 2094879 0
[pid=184112/tid=184114] ppid=184109 vsize=19108176 memory=0 CPUtime=5.44 cores=1,3
/proc/184112/task/184114/stat : 184114 (java) R 184109 184112 181698 0 -1 4194368 6930 0 0 0 510 34 0 0 20 0 20 0 18606791 19566772224 560759 134679101440 94186454179840 94186454183536 140727417209904 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94186454191352 94186454192144 94186457210880 140727417213867 140727417214049 140727417214049 140727417221064 0
[pid=184112/tid=184123] ppid=184109 vsize=19108176 memory=12156 CPUtime=0 cores=1,3
/proc/184112/task/184123/stat : 184123 (Finalizer) S 184109 184112 181698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18606794 19566772224 560759 134679101440 94186454179840 94186454183536 140727417209904 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94186454191352 94186454192144 94186457210880 140727417213867 140727417214049 140727417214049 140727417221064 0
[pid=184112/tid=184130] ppid=184109 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/184112/task/184130/stat : 184130 (Common-Cleaner) S 184109 184112 181698 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18606794 19566772224 560759 134679101440 94186454179840 94186454183536 140727417209904 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94186454191352 94186454192144 94186457210880 140727417213867 140727417214049 140727417214049 140727417221064 0
[pid=184112/tid=184135] ppid=184109 vsize=19108176 memory=2242780 CPUtime=0 cores=1,3
/proc/184112/task/184135/stat : 184135 (Timer-0) S 184109 184112 181698 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18607279 19566772224 560759 134679101440 94186454179840 94186454183536 140727417209904 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94186454191352 94186454192144 94186457210880 140727417213867 140727417214049 140727417214049 140727417221064 0
Current children cumulated CPU time: 9.36 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2243036 KiB

[startup+12.7005 s]
/proc/loadavg: 4.53 4.30 4.15 6/338 184136
/proc/meminfo: memFree=96613956/131524600 swapFree=131070704/131071996
[pid=184112] ppid=184109 vsize=19108176 memory=2245356 CPUtime=16.71 cores=1,3
/proc/184112/stat : 184112 (java) S 184109 184112 181698 0 -1 1077936128 23490 0 0 0 1622 49 0 0 20 0 20 0 18606791 19566772224 561339 134679101440 94186454179840 94186454183536 140727417209904 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94186454191352 94186454192144 94186457210880 140727417213867 140727417214049 140727417214049 140727417221064 0
/proc/184112/statm: 4777044 561339 5903 1 0 2094901 0
[pid=184112/tid=184114] ppid=184109 vsize=19108176 memory=2245092 CPUtime=11.77 cores=1,3
/proc/184112/task/184114/stat : 184114 (java) R 184109 184112 181698 0 -1 4194368 6965 0 0 0 1143 34 0 0 20 0 20 0 18606791 19566772224 561339 134679101440 94186454179840 94186454183536 140727417209904 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94186454191352 94186454192144 94186457210880 140727417213867 140727417214049 140727417214049 140727417221064 0
[pid=184112/tid=184123] ppid=184109 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/184112/task/184123/stat : 184123 (Finalizer) S 184109 184112 181698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18606794 19566772224 561339 134679101440 94186454179840 94186454183536 140727417209904 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94186454191352 94186454192144 94186457210880 140727417213867 140727417214049 140727417214049 140727417221064 0
[pid=184112/tid=184130] ppid=184109 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/184112/task/184130/stat : 184130 (Common-Cleaner) S 184109 184112 181698 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18606794 19566772224 561339 134679101440 94186454179840 94186454183536 140727417209904 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94186454191352 94186454192144 94186457210880 140727417213867 140727417214049 140727417214049 140727417221064 0
[pid=184112/tid=184135] ppid=184109 vsize=19108176 memory=2238592 CPUtime=0 cores=1,3
/proc/184112/task/184135/stat : 184135 (Timer-0) S 184109 184112 181698 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18607279 19566772224 561339 134679101440 94186454179840 94186454183536 140727417209904 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94186454191352 94186454192144 94186457210880 140727417213867 140727417214049 140727417214049 140727417221064 0
Current children cumulated CPU time: 16.71 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2245356 KiB

[startup+25.5003 s]
/proc/loadavg: 4.75 4.36 4.17 2/338 184139
/proc/meminfo: memFree=96143512/131524600 swapFree=131070704/131071996
[pid=184112] ppid=184109 vsize=19108176 memory=2243076 CPUtime=29.69 cores=1,3
/proc/184112/stat : 184112 (java) S 184109 184112 181698 0 -1 1077936128 33876 0 0 0 2917 52 0 0 20 0 20 0 18606791 19566772224 560769 134679101440 94186454179840 94186454183536 140727417209904 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94186454191352 94186454192144 94186457210880 140727417213867 140727417214049 140727417214049 140727417221064 0
/proc/184112/statm: 4777044 560769 5919 1 0 2094917 0
[pid=184112/tid=184114] ppid=184109 vsize=19108176 memory=0 CPUtime=23.58 cores=1,3
/proc/184112/task/184114/stat : 184114 (java) D 184109 184112 181698 0 -1 4194368 9322 0 0 0 2322 36 0 0 20 0 20 0 18606791 19566772224 560769 134679101440 94186454179840 94186454183536 140727417209904 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94186454191352 94186454192144 94186457210880 140727417213867 140727417214049 140727417214049 140727417221064 0
[pid=184112/tid=184123] ppid=184109 vsize=19108176 memory=2238592 CPUtime=0 cores=1,3
/proc/184112/task/184123/stat : 184123 (Finalizer) S 184109 184112 181698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18606794 19566772224 560769 134679101440 94186454179840 94186454183536 140727417209904 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94186454191352 94186454192144 94186457210880 140727417213867 140727417214049 140727417214049 140727417221064 0
[pid=184112/tid=184130] ppid=184109 vsize=19108176 memory=417 CPUtime=0 cores=1,3
/proc/184112/task/184130/stat : 184130 (Common-Cleaner) S 184109 184112 181698 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18606794 19566772224 560769 134679101440 94186454179840 94186454183536 140727417209904 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94186454191352 94186454192144 94186457210880 140727417213867 140727417214049 140727417214049 140727417221064 0
[pid=184112/tid=184135] ppid=184109 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/184112/task/184135/stat : 184135 (Timer-0) S 184109 184112 181698 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18607279 19566772224 560769 134679101440 94186454179840 94186454183536 140727417209904 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94186454191352 94186454192144 94186457210880 140727417213867 140727417214049 140727417214049 140727417221064 0
Current children cumulated CPU time: 29.69 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2243076 KiB

[startup+51.1064 s]
/proc/loadavg: 4.63 4.36 4.18 5/337 184143
/proc/meminfo: memFree=95437544/131524600 swapFree=131070704/131071996
[pid=184112] ppid=184109 vsize=19108176 memory=2287496 CPUtime=55 cores=1,3
/proc/184112/stat : 184112 (java) S 184109 184112 181698 0 -1 1077936128 41011 0 0 0 5444 56 0 0 20 0 20 0 18606791 19566772224 571874 134679101440 94186454179840 94186454183536 140727417209904 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94186454191352 94186454192144 94186457210880 140727417213867 140727417214049 140727417214049 140727417221064 0
/proc/184112/statm: 4777044 571874 5935 1 0 2450022 0
[pid=184112/tid=184114] ppid=184109 vsize=19108176 memory=2243152 CPUtime=48.66 cores=1,3
/proc/184112/task/184114/stat : 184114 (java) R 184109 184112 181698 0 -1 4194368 11757 0 0 0 4828 38 0 0 20 0 20 0 18606791 19566772224 571874 134679101440 94186454179840 94186454183536 140727417209904 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 105 0 0 94186454191352 94186454192144 94186457210880 140727417213867 140727417214049 140727417214049 140727417221064 0
[pid=184112/tid=184123] ppid=184109 vsize=19108176 memory=2287496 CPUtime=0 cores=1,3
/proc/184112/task/184123/stat : 184123 (Finalizer) S 184109 184112 181698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18606794 19566772224 571874 134679101440 94186454179840 94186454183536 140727417209904 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94186454191352 94186454192144 94186457210880 140727417213867 140727417214049 140727417214049 140727417221064 0
[pid=184112/tid=184130] ppid=184109 vsize=19108176 memory=2243156 CPUtime=0 cores=1,3
/proc/184112/task/184130/stat : 184130 (Common-Cleaner) S 184109 184112 181698 0 -1 1077936192 64 0 0 0 0 0 0 0 20 0 20 0 18606794 19566772224 571874 134679101440 94186454179840 94186454183536 140727417209904 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94186454191352 94186454192144 94186457210880 140727417213867 140727417214049 140727417214049 140727417221064 0
[pid=184112/tid=184135] ppid=184109 vsize=19108176 memory=2243156 CPUtime=0 cores=1,3
/proc/184112/task/184135/stat : 184135 (Timer-0) S 184109 184112 181698 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18607279 19566772224 571874 134679101440 94186454179840 94186454183536 140727417209904 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94186454191352 94186454192144 94186457210880 140727417213867 140727417214049 140727417214049 140727417221064 0
Current children cumulated CPU time: 55 s
Current children cumulated vsize: 19108176 KiB

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

/proc/184112/task/184123/stat : 184123 (Finalizer) S 184109 184112 181698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18606794 19566772224 1907950 134679101440 94186454179840 94186454183536 140727417209904 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94186454191352 94186454192144 94186457210880 140727417213867 140727417214049 140727417214049 140727417221064 0
[pid=184112/tid=184130] ppid=184109 vsize=19108176 memory=7630884 CPUtime=0 cores=1,3
/proc/184112/task/184130/stat : 184130 (Common-Cleaner) S 184109 184112 181698 0 -1 1077936192 5287 0 0 0 0 0 0 0 20 0 20 0 18606794 19566772224 1907950 134679101440 94186454179840 94186454183536 140727417209904 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94186454191352 94186454192144 94186457210880 140727417213867 140727417214049 140727417214049 140727417221064 0
[pid=184112/tid=184135] ppid=184109 vsize=19108176 memory=7631800 CPUtime=0 cores=1,3
/proc/184112/task/184135/stat : 184135 (Timer-0) S 184109 184112 181698 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18607279 19566772224 1907950 134679101440 94186454179840 94186454183536 140727417209904 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94186454191352 94186454192144 94186457210880 140727417213867 140727417214049 140727417214049 140727417221064 0
Current children cumulated CPU time: 3198.41 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 7631800 KiB

[startup+3282.3 s]
/proc/loadavg: 4.13 4.14 4.13 5/335 185774
/proc/meminfo: memFree=78053540/131524600 swapFree=131070704/131071996
[pid=184112] ppid=184109 vsize=19108176 memory=7631800 CPUtime=3258.1 cores=1,3
/proc/184112/stat : 184112 (java) S 184109 184112 181698 0 -1 1077936128 4113908 0 0 0 324696 1114 0 0 20 0 20 0 18606791 19566772224 1907950 134679101440 94186454179840 94186454183536 140727417209904 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94186454191352 94186454192144 94186457210880 140727417213867 140727417214049 140727417214049 140727417221064 0
/proc/184112/statm: 4777044 1907950 5935 1 0 2450283 0
[pid=184112/tid=184114] ppid=184109 vsize=19108176 memory=7631800 CPUtime=3241.53 cores=1,3
/proc/184112/task/184114/stat : 184114 (java) R 184109 184112 181698 0 -1 4194368 3143052 0 0 0 323244 909 0 0 20 0 20 0 18606791 19566772224 1907950 134679101440 94186454179840 94186454183536 140727417209904 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 2133 0 0 94186454191352 94186454192144 94186457210880 140727417213867 140727417214049 140727417214049 140727417221064 0
[pid=184112/tid=184123] ppid=184109 vsize=19108176 memory=7631800 CPUtime=0 cores=1,3
/proc/184112/task/184123/stat : 184123 (Finalizer) S 184109 184112 181698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18606794 19566772224 1907950 134679101440 94186454179840 94186454183536 140727417209904 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94186454191352 94186454192144 94186457210880 140727417213867 140727417214049 140727417214049 140727417221064 0
[pid=184112/tid=184130] ppid=184109 vsize=19108176 memory=7631800 CPUtime=0 cores=1,3
/proc/184112/task/184130/stat : 184130 (Common-Cleaner) S 184109 184112 181698 0 -1 1077936192 5416 0 0 0 0 0 0 0 20 0 20 0 18606794 19566772224 1907950 134679101440 94186454179840 94186454183536 140727417209904 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94186454191352 94186454192144 94186457210880 140727417213867 140727417214049 140727417214049 140727417221064 0
[pid=184112/tid=184135] ppid=184109 vsize=19108176 memory=7631800 CPUtime=0 cores=1,3
/proc/184112/task/184135/stat : 184135 (Timer-0) S 184109 184112 181698 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18607279 19566772224 1907950 134679101440 94186454179840 94186454183536 140727417209904 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94186454191352 94186454192144 94186457210880 140727417213867 140727417214049 140727417214049 140727417221064 0
Current children cumulated CPU time: 3258.1 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 7631800 KiB

[startup+3342.3 s]
/proc/loadavg: 4.10 4.12 4.13 5/337 185956
/proc/meminfo: memFree=77617684/131524600 swapFree=131070704/131071996
[pid=184112] ppid=184109 vsize=19108176 memory=7631800 CPUtime=3317.73 cores=1,3
/proc/184112/stat : 184112 (java) S 184109 184112 181698 0 -1 1077936128 4153964 0 0 0 330639 1134 0 0 20 0 20 0 18606791 19566772224 1907950 134679101440 94186454179840 94186454183536 140727417209904 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94186454191352 94186454192144 94186457210880 140727417213867 140727417214049 140727417214049 140727417221064 0
/proc/184112/statm: 4777044 1907950 5935 1 0 2450283 0
[pid=184112/tid=184114] ppid=184109 vsize=19108176 memory=7631800 CPUtime=3301.14 cores=1,3
/proc/184112/task/184114/stat : 184114 (java) R 184109 184112 181698 0 -1 4194368 3182457 0 0 0 329187 927 0 0 20 0 20 0 18606791 19566772224 1907950 134679101440 94186454179840 94186454183536 140727417209904 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 2157 0 0 94186454191352 94186454192144 94186457210880 140727417213867 140727417214049 140727417214049 140727417221064 0
[pid=184112/tid=184123] ppid=184109 vsize=19108176 memory=7631800 CPUtime=0 cores=1,3
/proc/184112/task/184123/stat : 184123 (Finalizer) S 184109 184112 181698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18606794 19566772224 1907950 134679101440 94186454179840 94186454183536 140727417209904 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94186454191352 94186454192144 94186457210880 140727417213867 140727417214049 140727417214049 140727417221064 0
[pid=184112/tid=184130] ppid=184109 vsize=19108176 memory=67084 CPUtime=0 cores=1,3
/proc/184112/task/184130/stat : 184130 (Common-Cleaner) S 184109 184112 181698 0 -1 1077936192 5538 0 0 0 0 0 0 0 20 0 20 0 18606794 19566772224 1907950 134679101440 94186454179840 94186454183536 140727417209904 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94186454191352 94186454192144 94186457210880 140727417213867 140727417214049 140727417214049 140727417221064 0
[pid=184112/tid=184135] ppid=184109 vsize=19108176 memory=13524 CPUtime=0 cores=1,3
/proc/184112/task/184135/stat : 184135 (Timer-0) S 184109 184112 181698 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18607279 19566772224 1907950 134679101440 94186454179840 94186454183536 140727417209904 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94186454191352 94186454192144 94186457210880 140727417213867 140727417214049 140727417214049 140727417221064 0
Current children cumulated CPU time: 3317.73 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 7631800 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.11 4.12 5/337 185966
/proc/meminfo: memFree=77356428/131524600 swapFree=131070704/131071996
[pid=184112] ppid=184109 vsize=19108176 memory=7631800 CPUtime=3377.61 cores=1,3
/proc/184112/stat : 184112 (java) S 184109 184112 181698 0 -1 1077936128 4189840 0 0 0 336611 1150 0 0 20 0 20 0 18606791 19566772224 1907950 134679101440 94186454179840 94186454183536 140727417209904 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94186454191352 94186454192144 94186457210880 140727417213867 140727417214049 140727417214049 140727417221064 0
/proc/184112/statm: 4777044 1907950 5935 1 0 2450283 0
[pid=184112/tid=184114] ppid=184109 vsize=19108176 memory=7631800 CPUtime=3360.7 cores=1,3
/proc/184112/task/184114/stat : 184114 (java) R 184109 184112 181698 0 -1 4194368 3211934 0 0 0 335130 940 0 0 20 0 20 0 18606791 19566772224 1907950 134679101440 94186454179840 94186454183536 140727417209904 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 2171 0 0 94186454191352 94186454192144 94186457210880 140727417213867 140727417214049 140727417214049 140727417221064 0
[pid=184112/tid=184123] ppid=184109 vsize=19108176 memory=5516 CPUtime=0 cores=1,3
/proc/184112/task/184123/stat : 184123 (Finalizer) S 184109 184112 181698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18606794 19566772224 1907950 134679101440 94186454179840 94186454183536 140727417209904 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94186454191352 94186454192144 94186457210880 140727417213867 140727417214049 140727417214049 140727417221064 0
[pid=184112/tid=184130] ppid=184109 vsize=19108176 memory=67084 CPUtime=0 cores=1,3
/proc/184112/task/184130/stat : 184130 (Common-Cleaner) S 184109 184112 181698 0 -1 1077936192 5601 0 0 0 0 0 0 0 20 0 20 0 18606794 19566772224 1907950 134679101440 94186454179840 94186454183536 140727417209904 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94186454191352 94186454192144 94186457210880 140727417213867 140727417214049 140727417214049 140727417221064 0
[pid=184112/tid=184135] ppid=184109 vsize=19108176 memory=7631800 CPUtime=0 cores=1,3
/proc/184112/task/184135/stat : 184135 (Timer-0) S 184109 184112 181698 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18607279 19566772224 1907950 134679101440 94186454179840 94186454183536 140727417209904 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94186454191352 94186454192144 94186457210880 140727417213867 140727417214049 140727417214049 140727417221064 0
Current children cumulated CPU time: 3377.61 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 7631800 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.11 4.12 5/339 186035
/proc/meminfo: memFree=77062276/131524600 swapFree=131070704/131071996
[pid=184112] ppid=184109 vsize=19108176 memory=7643372 CPUtime=3437.01 cores=1,3
/proc/184112/stat : 184112 (java) S 184109 184112 181698 0 -1 1077936128 4227616 0 0 0 342530 1171 0 0 20 0 20 0 18606791 19566772224 1910843 134679101440 94186454179840 94186454183536 140727417209904 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94186454191352 94186454192144 94186457210880 140727417213867 140727417214049 140727417214049 140727417221064 0
/proc/184112/statm: 4777044 1910843 5935 1 0 2450283 0
[pid=184112/tid=184114] ppid=184109 vsize=19108176 memory=7631800 CPUtime=3419.81 cores=1,3
/proc/184112/task/184114/stat : 184114 (java) R 184109 184112 181698 0 -1 4194368 3242769 0 0 0 341023 958 0 0 20 0 20 0 18606791 19566772224 1910843 134679101440 94186454179840 94186454183536 140727417209904 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 2227 0 0 94186454191352 94186454192144 94186457210880 140727417213867 140727417214049 140727417214049 140727417221064 0
[pid=184112/tid=184123] ppid=184109 vsize=19108176 memory=5516 CPUtime=0 cores=1,3
/proc/184112/task/184123/stat : 184123 (Finalizer) S 184109 184112 181698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18606794 19566772224 1910843 134679101440 94186454179840 94186454183536 140727417209904 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94186454191352 94186454192144 94186457210880 140727417213867 140727417214049 140727417214049 140727417221064 0
[pid=184112/tid=184130] ppid=184109 vsize=19108176 memory=67084 CPUtime=0 cores=1,3
/proc/184112/task/184130/stat : 184130 (Common-Cleaner) S 184109 184112 181698 0 -1 1077936192 5662 0 0 0 0 0 0 0 20 0 20 0 18606794 19566772224 1910843 134679101440 94186454179840 94186454183536 140727417209904 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94186454191352 94186454192144 94186457210880 140727417213867 140727417214049 140727417214049 140727417221064 0
[pid=184112/tid=184135] ppid=184109 vsize=19108176 memory=7631800 CPUtime=0 cores=1,3
/proc/184112/task/184135/stat : 184135 (Timer-0) S 184109 184112 181698 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18607279 19566772224 1910843 134679101440 94186454179840 94186454183536 140727417209904 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94186454191352 94186454192144 94186457210880 140727417213867 140727417214049 140727417214049 140727417221064 0
Current children cumulated CPU time: 3437.01 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 7643372 KiB

[startup+3522.3 s]
/proc/loadavg: 4.07 4.10 4.11 5/339 186046
/proc/meminfo: memFree=76822920/131524600 swapFree=131070704/131071996
[pid=184112] ppid=184109 vsize=19108176 memory=7643372 CPUtime=3496.13 cores=1,3
/proc/184112/stat : 184112 (java) S 184109 184112 181698 0 -1 1077936128 4254971 0 0 0 348428 1185 0 0 20 0 20 0 18606791 19566772224 1910843 134679101440 94186454179840 94186454183536 140727417209904 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94186454191352 94186454192144 94186457210880 140727417213867 140727417214049 140727417214049 140727417221064 0
/proc/184112/statm: 4777044 1910843 5935 1 0 2450283 0
[pid=184112/tid=184114] ppid=184109 vsize=19108176 memory=12156 CPUtime=3478.9 cores=1,3
/proc/184112/task/184114/stat : 184114 (java) R 184109 184112 181698 0 -1 4194368 3269786 0 0 0 346920 970 0 0 20 0 20 0 18606791 19566772224 1910843 134679101440 94186454179840 94186454183536 140727417209904 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 2256 0 0 94186454191352 94186454192144 94186457210880 140727417213867 140727417214049 140727417214049 140727417221064 0
[pid=184112/tid=184123] ppid=184109 vsize=19108176 memory=67084 CPUtime=0 cores=1,3
/proc/184112/task/184123/stat : 184123 (Finalizer) S 184109 184112 181698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18606794 19566772224 1910843 134679101440 94186454179840 94186454183536 140727417209904 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94186454191352 94186454192144 94186457210880 140727417213867 140727417214049 140727417214049 140727417221064 0
[pid=184112/tid=184130] ppid=184109 vsize=19108176 memory=104 CPUtime=0 cores=1,3
/proc/184112/task/184130/stat : 184130 (Common-Cleaner) S 184109 184112 181698 0 -1 1077936192 5787 0 0 0 0 0 0 0 20 0 20 0 18606794 19566772224 1910843 134679101440 94186454179840 94186454183536 140727417209904 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94186454191352 94186454192144 94186457210880 140727417213867 140727417214049 140727417214049 140727417221064 0
[pid=184112/tid=184135] ppid=184109 vsize=19108176 memory=-8529089166424449724 CPUtime=0 cores=1,3
/proc/184112/task/184135/stat : 184135 (Timer-0) S 184109 184112 181698 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18607279 19566772224 1910843 134679101440 94186454179840 94186454183536 140727417209904 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94186454191352 94186454192144 94186457210880 140727417213867 140727417214049 140727417214049 140727417221064 0
Current children cumulated CPU time: 3496.13 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 7643372 KiB

[startup+3582.3 s]
/proc/loadavg: 4.56 4.24 4.16 5/318 186076
/proc/meminfo: memFree=85458320/131524600 swapFree=131070704/131071996
[pid=184112] ppid=184109 vsize=19108176 memory=7643372 CPUtime=3555.49 cores=1,3
/proc/184112/stat : 184112 (java) S 184109 184112 181698 0 -1 1077936128 4264783 0 0 0 354349 1200 0 0 20 0 20 0 18606791 19566772224 1910843 134679101440 94186454179840 94186454183536 140727417209904 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94186454191352 94186454192144 94186457210880 140727417213867 140727417214049 140727417214049 140727417221064 0
/proc/184112/statm: 4777044 1910843 5935 1 0 2450283 0
[pid=184112/tid=184114] ppid=184109 vsize=19108176 memory=7643372 CPUtime=3538.23 cores=1,3
/proc/184112/task/184114/stat : 184114 (java) R 184109 184112 181698 0 -1 4194368 3279080 0 0 0 352840 983 0 0 20 0 20 0 18606791 19566772224 1910843 134679101440 94186454179840 94186454183536 140727417209904 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 2284 0 0 94186454191352 94186454192144 94186457210880 140727417213867 140727417214049 140727417214049 140727417221064 0
[pid=184112/tid=184123] ppid=184109 vsize=19108176 memory=7643372 CPUtime=0 cores=1,3
/proc/184112/task/184123/stat : 184123 (Finalizer) S 184109 184112 181698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18606794 19566772224 1910843 134679101440 94186454179840 94186454183536 140727417209904 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94186454191352 94186454192144 94186457210880 140727417213867 140727417214049 140727417214049 140727417221064 0
[pid=184112/tid=184130] ppid=184109 vsize=19108176 memory=13524 CPUtime=0 cores=1,3
/proc/184112/task/184130/stat : 184130 (Common-Cleaner) S 184109 184112 181698 0 -1 1077936192 5872 0 0 0 0 0 0 0 20 0 20 0 18606794 19566772224 1910843 134679101440 94186454179840 94186454183536 140727417209904 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94186454191352 94186454192144 94186457210880 140727417213867 140727417214049 140727417214049 140727417221064 0
[pid=184112/tid=184135] ppid=184109 vsize=19108176 memory=12156 CPUtime=0 cores=1,3
/proc/184112/task/184135/stat : 184135 (Timer-0) S 184109 184112 181698 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18607279 19566772224 1910843 134679101440 94186454179840 94186454183536 140727417209904 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94186454191352 94186454192144 94186457210880 140727417213867 140727417214049 140727417214049 140727417221064 0
Current children cumulated CPU time: 3555.49 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 7643372 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3637.2 s]
/proc/loadavg: 4.43 4.24 4.16 5/338 186136
/proc/meminfo: memFree=89068900/131524600 swapFree=131070704/131071996
[pid=184112] ppid=184109 vsize=19108176 memory=7643372 CPUtime=3600.06 cores=1,3
/proc/184112/stat : 184112 (java) S 184109 184112 181698 0 -1 1077936128 4305885 0 0 0 358795 1211 0 0 20 0 20 0 18606791 19566772224 1910843 134679101440 94186454179840 94186454183536 140727417209904 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94186454191352 94186454192144 94186457210880 140727417213867 140727417214049 140727417214049 140727417221064 0
/proc/184112/statm: 4777044 1910843 5935 1 0 2450283 0
[pid=184112/tid=184114] ppid=184109 vsize=19108176 memory=39140 CPUtime=3582.77 cores=1,3
/proc/184112/task/184114/stat : 184114 (java) R 184109 184112 181698 0 -1 4194368 3320167 0 0 0 357284 993 0 0 20 0 20 0 18606791 19566772224 1910843 134679101440 94186454179840 94186454183536 140727417209904 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 3309 0 0 94186454191352 94186454192144 94186457210880 140727417213867 140727417214049 140727417214049 140727417221064 0
[pid=184112/tid=184123] ppid=184109 vsize=19108176 memory=2212 CPUtime=0 cores=1,3
/proc/184112/task/184123/stat : 184123 (Finalizer) S 184109 184112 181698 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18606794 19566772224 1910843 134679101440 94186454179840 94186454183536 140727417209904 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94186454191352 94186454192144 94186457210880 140727417213867 140727417214049 140727417214049 140727417221064 0
[pid=184112/tid=184130] ppid=184109 vsize=19108176 memory=1896 CPUtime=0 cores=1,3
/proc/184112/task/184130/stat : 184130 (Common-Cleaner) S 184109 184112 181698 0 -1 1077936192 5872 0 0 0 0 0 0 0 20 0 20 0 18606794 19566772224 1910843 134679101440 94186454179840 94186454183536 140727417209904 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94186454191352 94186454192144 94186457210880 140727417213867 140727417214049 140727417214049 140727417221064 0
[pid=184112/tid=184135] ppid=184109 vsize=19108176 memory=1936 CPUtime=0 cores=1,3
/proc/184112/task/184135/stat : 184135 (Timer-0) S 184109 184112 181698 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18607279 19566772224 1910843 134679101440 94186454179840 94186454183536 140727417209904 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94186454191352 94186454192144 94186457210880 140727417213867 140727417214049 140727417214049 140727417221064 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 7643372 KiB

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

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

# cumulated CPU time of all completed processes:  user=3588.09 s, system=12.2387 s

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

[startup+3637.41 s]
/proc/loadavg: 4.43 4.24 4.16 4/320 186139
/proc/meminfo: memFree=89586896/131524600 swapFree=131070704/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): 3637.42
CPU time (s): 3600.33
CPU user time (s): 3588.09
CPU system time (s): 12.2387
CPU usage (%): 98.9802
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 7643372

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.09
system time used= 12.2387
maximum resident set size= 7645108
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4309841
page faults= 0
swaps= 0
block input operations= 0
block output operations= 7166568
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 111874
involuntary context switches= 15480


# summary of solver processes directly reported to runsolver:
#   pid: 184112
#   total CPU time (s): 3600.33
#   total CPU user time (s): 3588.09
#   total CPU system time (s): 12.2387

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.9549 second user time and 17.5524 second system time

The end

Launcher Data 

Begin job on nodeC022 at 2024-07-24 13:33:59
IDJOB=4446272
IDBENCH=155547
IDSOLVER=3079
FILE ID=nodeC022/4446272-1721820838
RUNJOBID= nodeC022-1721817186-181710
SLURM_JOB_ID= 7816878
Free space on /tmp= 889408 MiB

SOLVER NAME= Sat4j Resolution 2024 2024-07-07
BENCH NAME= PB24/normalized-PB11/DEC-LIN/lopes/normalized-121.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446272-1721820838/watcher-4446272-1721820838 -o /tmp/evaluation-result-4446272-1721820838/solver-4446272-1721820838 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1721817186-181710 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4446272-1721820838 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4446272-1721820838.opb

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

MD5SUM BENCH= 385cc980e0c43194d9e7f2f21b5d5aa0
RANDOM SEED=1019234138

nodeC022.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3602.782
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.87
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3672.020
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.136
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.87
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3606.273
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3601.393
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.87
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3676.070
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3601.393
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.87
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3596.840
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        100411264 kB
MemAvailable:   122002016 kB
Buffers:          252236 kB
Cached:         22053276 kB
SwapCached:          296 kB
Active:          3131464 kB
Inactive:       27121760 kB
Active(anon):       3880 kB
Inactive(anon):  7997536 kB
Active(file):    3127584 kB
Inactive(file): 19124224 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131070704 kB
Dirty:            121860 kB
Writeback:           248 kB
AnonPages:       7946096 kB
Mapped:           134664 kB
Shmem:             53884 kB
KReclaimable:     357184 kB
Slab:             483696 kB
SReclaimable:     357184 kB
SUnreclaim:       126512 kB
KernelStack:        5120 kB
PageTables:        25700 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:   17153576 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            21344 kB
HardwareCorrupted:     0 kB
AnonHugePages:   7620608 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      334548 kB
DirectMap2M:    36139008 kB
DirectMap1G:    99614720 kB

Free space on /tmp at the end= 889976 MiB
End job on nodeC022 at 2024-07-24 14:34:36