Trace number 4514059

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 VeriPB 2025-06-06? (TO) 3600.16 3609.21

General information on the benchmark

NamePB24/normalized-PB16/DEC-LIN/elffers/
rand6reg/normalized-rand6reg-v071-n1.opb
MD5SUM6929a7343695a3957aad0265eef3dd9c
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.031444
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables213
Total number of constraints71
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)71
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint6
Maximum length of a constraint6
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 7
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.13/0.13	c Pseudo Boolean Optimization by upper bound
0.13/0.13	c --- Begin Solver configuration ---
0.13/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.13/0.13	c Learn all clauses as in MiniSAT
0.13/0.13	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.13	c Expensive reason simplification
0.13/0.13	c Glucose 2.1 dynamic restart strategy
0.13/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.13/0.13	c timeout=2147483s
0.13/0.13	c DB Simplification allowed=false
0.13/0.13	c Listener: none
0.13/0.13	c --- End Solver configuration ---
0.13/0.13	c solving HOME/instance-4514059-1751223190.opb
0.13/0.13	c reading problem ... 
0.13/0.13	c using VERIPB proof format
0.13/0.13	c  no objective function found
0.13/0.15	c ... done. Wall clock time 0.019s.
0.13/0.15	c declared #vars     213
0.13/0.15	c #constraints  142
0.13/0.15	c constraints type 
0.13/0.15	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 71
0.13/0.15	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 71
0.13/0.15	c 142 constraints processed.
1.48/0.88	c cleaning 2491 clauses out of 5001 with flag 40812/5001
2.86/1.54	c cleaning 4250 clauses out of 8509 with flag 106090/11000
4.25/2.34	c cleaning 5627 clauses out of 11260 with flag 202528/18001
5.27/3.24	c cleaning 6810 clauses out of 13632 with flag 321445/26000
6.63/4.43	c cleaning 7906 clauses out of 15824 with flag 443015/35002
8.12/5.84	c cleaning 8953 clauses out of 17919 with flag 585234/45003
9.68/7.31	c cleaning 9977 clauses out of 19965 with flag 736212/56002
11.57/9.20	c cleaning 10987 clauses out of 21986 with flag 900797/68000
13.77/11.42	c cleaning 11986 clauses out of 23999 with flag 1082571/81000
16.28/13.92	c cleaning 13000 clauses out of 26014 with flag 1232697/95001
18.88/16.58	c cleaning 13990 clauses out of 28013 with flag 1431799/110000
21.60/19.21	c cleaning 15006 clauses out of 30023 with flag 1644643/126000
24.70/22.34	c cleaning 15997 clauses out of 32017 with flag 1886503/143000
28.42/26.07	c cleaning 17001 clauses out of 34020 with flag 2136163/161000
32.52/30.03	c cleaning 18004 clauses out of 36022 with flag 2410984/180003
36.41/34.09	c cleaning 19000 clauses out of 38015 with flag 2729252/200000
40.90/38.58	c cleaning 19992 clauses out of 40015 with flag 3037290/221000
45.99/43.68	c cleaning 20996 clauses out of 42023 with flag 3353549/243000
50.89/48.51	c cleaning 22002 clauses out of 44028 with flag 3679212/266001
56.48/54.20	c cleaning 23006 clauses out of 46025 with flag 4035132/290000
62.46/60.12	c cleaning 24001 clauses out of 48019 with flag 4402317/315000
69.17/67.00	c cleaning 25006 clauses out of 50018 with flag 4784494/341000
75.15/72.98	c cleaning 25999 clauses out of 52014 with flag 5136660/368002
81.35/79.11	c cleaning 26999 clauses out of 54013 with flag 5495442/396000
88.04/85.84	c cleaning 27996 clauses out of 56016 with flag 5861312/425002
95.36/93.24	c cleaning 28999 clauses out of 58018 with flag 6236062/455000
102.64/100.57	c cleaning 29998 clauses out of 60020 with flag 6597718/486001
110.13/108.09	c cleaning 30998 clauses out of 62021 with flag 6978300/518000
118.42/116.30	c cleaning 32000 clauses out of 64023 with flag 7408806/551000
127.06/125.08	c cleaning 32996 clauses out of 66023 with flag 7862087/585000
136.23/134.22	c cleaning 33998 clauses out of 68027 with flag 8324656/620000
145.51/143.53	c cleaning 35008 clauses out of 70029 with flag 8793603/656000
156.18/154.24	c cleaning 35998 clauses out of 72021 with flag 9189081/693000
167.61/166.19	c cleaning 37001 clauses out of 74023 with flag 9742518/731000
179.17/177.73	c cleaning 38003 clauses out of 76022 with flag 10260514/770000
190.23/188.84	c cleaning 38994 clauses out of 78019 with flag 10785212/810000
200.92/199.58	c cleaning 39999 clauses out of 80025 with flag 11296967/851000
211.10/209.78	c cleaning 41005 clauses out of 82027 with flag 11838835/893001
222.66/221.38	c cleaning 41989 clauses out of 84021 with flag 12371318/936000
235.33/234.04	c cleaning 43007 clauses out of 86032 with flag 12929281/980000
249.28/248.13	c cleaning 44005 clauses out of 88026 with flag 13481500/1025001
261.78/260.68	c cleaning 45001 clauses out of 90020 with flag 14043112/1071000
276.25/275.19	c cleaning 45994 clauses out of 92019 with flag 14600855/1118000
291.04/290.10	c cleaning 46996 clauses out of 94026 with flag 15162935/1166001
305.93/304.90	c cleaning 48004 clauses out of 96029 with flag 15814625/1215000
319.82/318.96	c cleaning 49010 clauses out of 98028 with flag 16457459/1265003
335.19/334.35	c cleaning 49999 clauses out of 100015 with flag 17083441/1316000
350.67/349.95	c cleaning 50997 clauses out of 102016 with flag 17676724/1368000
366.84/366.13	c cleaning 51997 clauses out of 104019 with flag 18331441/1421000
385.63/385.01	c cleaning 52997 clauses out of 106022 with flag 19027991/1475000
403.16/402.62	c cleaning 54004 clauses out of 108025 with flag 19698099/1530000
418.92/418.47	c cleaning 54996 clauses out of 110022 with flag 20325624/1586001
435.64/435.26	c cleaning 56000 clauses out of 112026 with flag 20970783/1643001
453.04/452.63	c cleaning 56999 clauses out of 114025 with flag 21639122/1701000
470.78/470.49	c cleaning 58006 clauses out of 116028 with flag 22346760/1760002
491.38/491.04	c cleaning 59000 clauses out of 118020 with flag 23061056/1820000
515.95/515.77	c cleaning 59998 clauses out of 120020 with flag 23821318/1881000
539.36/539.28	c cleaning 60999 clauses out of 122022 with flag 24592522/1943000
561.97/561.96	c cleaning 62001 clauses out of 124023 with flag 25345317/2006000
584.27/584.26	c cleaning 63000 clauses out of 126022 with flag 26096157/2070000
605.81/605.89	c cleaning 64004 clauses out of 128023 with flag 26849812/2135001
633.83/633.91	c cleaning 65001 clauses out of 130018 with flag 27656129/2201000
657.26/657.47	c cleaning 65994 clauses out of 132017 with flag 28445156/2268000
682.80/683.03	c cleaning 66996 clauses out of 134023 with flag 29243052/2336000
711.22/711.50	c cleaning 68001 clauses out of 136028 with flag 30083163/2405001
737.72/738.02	c cleaning 69002 clauses out of 138026 with flag 30918920/2475000
765.55/765.92	c cleaning 70005 clauses out of 140026 with flag 31765201/2546002
798.52/799.02	c cleaning 70999 clauses out of 142020 with flag 32665618/2618001
835.07/835.70	c cleaning 71996 clauses out of 144021 with flag 33601935/2691001
873.26/874.03	c cleaning 73001 clauses out of 146025 with flag 34580934/2765001
910.15/911.01	c cleaning 73999 clauses out of 148023 with flag 35538292/2840000
945.95/946.97	c cleaning 74998 clauses out of 150025 with flag 36469114/2916001
984.79/986.00	c cleaning 76001 clauses out of 152027 with flag 37470460/2993001
1024.98/1026.20	c cleaning 77005 clauses out of 154026 with flag 38457125/3071001
1061.30/1062.93	c cleaning 77999 clauses out of 156022 with flag 39423659/3150002
1098.55/1100.22	c cleaning 78998 clauses out of 158023 with flag 40417553/3230002
1132.68/1134.41	c cleaning 79998 clauses out of 160023 with flag 41421572/3311000
1169.38/1171.22	c cleaning 81006 clauses out of 162025 with flag 42445020/3393000
1211.48/1213.49	c cleaning 82000 clauses out of 164020 with flag 43456645/3476001
1250.90/1252.92	c cleaning 83001 clauses out of 166020 with flag 44512807/3560001
1288.79/1290.93	c cleaning 83997 clauses out of 168021 with flag 45541859/3645003
1325.26/1327.50	c cleaning 85002 clauses out of 170022 with flag 46537418/3731001
1368.13/1370.59	c cleaning 85996 clauses out of 172019 with flag 47563849/3818000
1406.86/1409.38	c cleaning 86988 clauses out of 174024 with flag 48614048/3906001
1448.63/1451.21	c cleaning 88011 clauses out of 176036 with flag 49641706/3995001
1496.83/1499.53	c cleaning 89002 clauses out of 178024 with flag 50623312/4085000
1546.86/1549.76	c cleaning 89995 clauses out of 180022 with flag 51675116/4176000
1598.56/1601.55	c cleaning 91003 clauses out of 182029 with flag 52764987/4268002
1641.84/1644.92	c cleaning 92000 clauses out of 184025 with flag 53860353/4361001
1693.98/1697.29	c cleaning 92997 clauses out of 186025 with flag 55043272/4455001
1783.70/1787.32	c cleaning 93999 clauses out of 188027 with flag 56262073/4550000
1839.44/1843.18	c cleaning 95008 clauses out of 190030 with flag 57388148/4646002
1892.98/1896.85	c cleaning 96001 clauses out of 192022 with flag 58573175/4743002
1961.79/1965.80	c cleaning 96996 clauses out of 194020 with flag 59736705/4841001
2027.50/2031.75	c cleaning 98002 clauses out of 196026 with flag 60992777/4940003
2087.73/2092.14	c cleaning 99003 clauses out of 198024 with flag 62245117/5040003
2141.95/2146.44	c cleaning 100002 clauses out of 200019 with flag 63392907/5141001
2198.79/2203.68	c cleaning 100999 clauses out of 202018 with flag 64538311/5243002
2259.57/2264.47	c cleaning 101977 clauses out of 204017 with flag 65657899/5346000
2319.33/2324.38	c cleaning 103012 clauses out of 206043 with flag 66844772/5450003
2398.38/2403.47	c cleaning 103998 clauses out of 208030 with flag 68000473/5555002
2473.27/2478.58	c cleaning 105001 clauses out of 210031 with flag 69002503/5661001
2552.33/2557.89	c cleaning 106001 clauses out of 212029 with flag 70052887/5768000
2631.30/2637.25	c cleaning 106995 clauses out of 214028 with flag 71113761/5876000
2715.51/2721.71	c cleaning 108006 clauses out of 216033 with flag 72189007/5985000
2804.29/2810.79	c cleaning 109005 clauses out of 218029 with flag 73294184/6095002
2889.89/2896.59	c cleaning 109997 clauses out of 220024 with flag 74404973/6206002
2968.80/2975.62	c cleaning 111002 clauses out of 222026 with flag 75539808/6318001
3044.72/3051.73	c cleaning 111998 clauses out of 224023 with flag 76666036/6431000
3130.62/3137.91	c cleaning 112998 clauses out of 226025 with flag 77754560/6545000
3217.45/3224.98	c cleaning 114002 clauses out of 228027 with flag 78906062/6660000
3308.60/3316.33	c cleaning 115003 clauses out of 230026 with flag 80069797/6776001
3392.82/3400.88	c cleaning 115990 clauses out of 232022 with flag 81291023/6893000
3485.33/3493.50	c cleaning 116998 clauses out of 234032 with flag 82543996/7011000
3567.49/3575.93	c cleaning 117999 clauses out of 236034 with flag 83809037/7130000
3600.02/3609.11	c starts		: 131
3600.02/3609.12	c timeout
3600.02/3609.12	c conflicts		: 7186874
3600.02/3609.12	c decisions		: 7933530
3600.02/3609.12	c propagations		: 168784929
3600.02/3609.12	c inspects		: 38898304169
3600.02/3609.13	c shortcuts		: 0
3600.02/3609.13	c learnt literals	: 0
3600.02/3609.13	c learnt binary clauses	: 0
3600.02/3609.13	c learnt ternary clauses	: 0
3600.02/3609.13	c learnt constraints	: 7186874
3600.02/3609.13	c ignored constraints	: 0
3600.02/3609.13	c root simplifications	: 0
3600.02/3609.13	c removed literals (reason simplification)	: 117188959
3600.02/3609.13	c reason swapping (by a shorter reason)	: 0
3600.02/3609.13	c Calls to reduceDB	: 115
3600.02/3609.13	c Number of update (reduction) of LBD	: 2510973
3600.02/3609.13	c Imported unit clauses	: 0
3600.02/3609.13	c No decision after first conflict	: false
3600.02/3609.13	c number of reductions to clauses (during analyze)	: 0
3600.02/3609.13	c number of learned constraints concerned by reduction	: 0
3600.02/3609.13	c number of learning phase by resolution	: 0
3600.02/3609.13	c number of learning phase by cutting planes	: 0
3600.02/3609.13	c number of rounding to 1 operations	: 0
3600.02/3609.13	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.02/3609.13	c number of reductions of the coefficients by power 2 	: 0
3600.02/3609.13	c number of right shift for reduction by power 2 	: 0
3600.02/3609.13	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.02/3609.13	c number of ending skipping 	: 0
3600.02/3609.13	c number of internal skipping 	: 0
3600.02/3609.13	c number of derivation steps 	: 0
3600.02/3609.13	c number of skipped derivation steps 	: 0
3600.02/3609.13	c number of remaining unassigned 	: 0
3600.02/3609.13	c number of remaining assigned 	: 0
3600.02/3609.13	c number of falsified literals weakened from reason	: 0
3600.02/3609.13	c number of falsified literals weakened from conflict	: 0
3600.02/3609.13	c time for arithmetic operations	: 0
3600.02/3609.13	c minimum degree of deleted constraints	: null
3600.02/3609.13	c maximum degree of deleted constraints	: null
3600.02/3609.13	c number of deleted constraints	: 0
3600.02/3609.13	c speed (assignments/second)	: 46768.06813452451
3600.02/3609.13	c non guided choices	: 64
3600.02/3609.18	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 174909
3600.02/3609.19	s UNKNOWN
3600.02/3609.19	c Total wall clock time (in seconds): 3609.061

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: 63708 MiB (57430 MiB free)
  memory of node 1: 64465 MiB (52224 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4514059-1751223190/watcher-4514059-1751223190 -o /tmp/evaluation-result-4514059-1751223190/solver-4514059-1751223190 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751218367-30658 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4514059-1751223190 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4514059-1751223190.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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 FSIZE limit: 102400000 KiB
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
Current StackSize limit: 8192 KiB

solver pid=31501, runsolver pid=31498

[startup+0.100059 s]*
/proc/loadavg: 4.07 4.11 4.15 5/342 31519
/proc/meminfo: memFree=112275204/131250000 swapFree=33010684/33010684
[pid=31501] ppid=31498 vsize=18930384 memory=57800 CPUtime=0.13 cores=4,6
/proc/31501/stat : 31501 (java) S 31498 31501 30647 0 -1 4194304 6592 0 0 0 12 1 0 0 20 0 18 0 37997628 19384713216 14450 18446744073709551615 93962843852800 93962843856496 140727107083168 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93962843864312 93962843865104 93962869706752 140727107086640 140727107086822 140727107086822 140727107092424 0
/proc/31501/statm: 4732596 14450 5338 1 0 547622 0
[pid=31501/tid=31503] ppid=31498 vsize=18930384 memory=4026531960 CPUtime=0.08 cores=4,6
/proc/31501/task/31503/stat : 31503 (java) R 31498 31501 30647 0 -1 4194368 5085 0 0 0 7 1 0 0 20 0 18 0 37997629 19384713216 14450 18446744073709551615 93962843852800 93962843856496 140727107083168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93962843864312 93962843865104 93962869706752 140727107086640 140727107086822 140727107086822 140727107092424 0
[pid=31501/tid=31512] ppid=31498 vsize=18930384 memory=228522721619 CPUtime=0 cores=4,6
/proc/31501/task/31512/stat : 31512 (Finalizer) S 31498 31501 30647 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 37997631 19384713216 14482 18446744073709551615 93962843852800 93962843856496 140727107083168 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93962843864312 93962843865104 93962869706752 140727107086640 140727107086822 140727107086822 140727107092424 0
[pid=31501/tid=31519] ppid=31498 vsize=18930384 memory=59585004333716 CPUtime=0 cores=4,6
/proc/31501/task/31519/stat : 31519 (Common-Cleaner) S 31498 31501 30647 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 37997632 19384713216 14482 18446744073709551615 93962843852800 93962843856496 140727107083168 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93962843864312 93962843865104 93962869706752 140727107086640 140727107086822 140727107086822 140727107092424 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57800 KiB

[startup+0.205887 s]*
/proc/loadavg: 4.07 4.11 4.15 7/343 31520
/proc/meminfo: memFree=112264996/131250000 swapFree=33010684/33010684
[pid=31501] ppid=31498 vsize=18996948 memory=65412 CPUtime=0.33 cores=4,6
/proc/31501/stat : 31501 (java) S 31498 31501 30647 0 -1 4194304 7533 0 0 0 31 2 0 0 20 0 19 0 37997628 19452874752 16353 18446744073709551615 93962843852800 93962843856496 140727107083168 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93962843864312 93962843865104 93962869706752 140727107086640 140727107086822 140727107086822 140727107092424 0
/proc/31501/statm: 4749237 16353 5402 1 0 548524 0
[pid=31501/tid=31503] ppid=31498 vsize=18996948 memory=4026597660 CPUtime=0.17 cores=4,6
/proc/31501/task/31503/stat : 31503 (java) R 31498 31501 30647 0 -1 4194368 5332 0 0 0 16 1 0 0 20 0 19 0 37997629 19452874752 16353 18446744073709551615 93962843852800 93962843856496 140727107083168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93962843864312 93962843865104 93962869706752 140727107086640 140727107086822 140727107086822 140727107092424 0
[pid=31501/tid=31512] ppid=31498 vsize=18996948 memory=2569 CPUtime=0 cores=4,6
/proc/31501/task/31512/stat : 31512 (Finalizer) S 31498 31501 30647 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 37997631 19452874752 16353 18446744073709551615 93962843852800 93962843856496 140727107083168 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93962843864312 93962843865104 93962869706752 140727107086640 140727107086822 140727107086822 140727107092424 0
[pid=31501/tid=31519] ppid=31498 vsize=18996948 memory=58485492679654 CPUtime=0 cores=4,6
/proc/31501/task/31519/stat : 31519 (Common-Cleaner) S 31498 31501 30647 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 37997632 19452874752 16353 18446744073709551615 93962843852800 93962843856496 140727107083168 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93962843864312 93962843865104 93962869706752 140727107086640 140727107086822 140727107086822 140727107092424 0
[pid=31501/tid=31520] ppid=31498 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/31501/task/31520/stat : 31520 (Timer-0) S 31498 31501 30647 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 37997643 19452874752 16353 18446744073709551615 93962843852800 93962843856496 140727107083168 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93962843864312 93962843865104 93962869706752 140727107086640 140727107086822 140727107086822 140727107092424 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 65412 KiB

[startup+0.305788 s]*
/proc/loadavg: 4.07 4.11 4.15 6/343 31520
/proc/meminfo: memFree=112255104/131250000 swapFree=33010684/33010684
[pid=31501] ppid=31498 vsize=18996948 memory=77400 CPUtime=0.52 cores=4,6
/proc/31501/stat : 31501 (java) S 31498 31501 30647 0 -1 4194304 9886 0 0 0 49 3 0 0 20 0 19 0 37997628 19452874752 19350 18446744073709551615 93962843852800 93962843856496 140727107083168 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93962843864312 93962843865104 93962869706752 140727107086640 140727107086822 140727107086822 140727107092424 0
/proc/31501/statm: 4749237 19350 5434 1 0 549847 0
[pid=31501/tid=31503] ppid=31498 vsize=18996948 memory=-6000919472639470444 CPUtime=0.23 cores=4,6
/proc/31501/task/31503/stat : 31503 (java) R 31498 31501 30647 0 -1 4194368 5348 0 0 0 22 1 0 0 20 0 19 0 37997629 19452874752 19350 18446744073709551615 93962843852800 93962843856496 140727107083168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93962843864312 93962843865104 93962869706752 140727107086640 140727107086822 140727107086822 140727107092424 0
[pid=31501/tid=31512] ppid=31498 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/31501/task/31512/stat : 31512 (Finalizer) S 31498 31501 30647 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 37997631 19452874752 19350 18446744073709551615 93962843852800 93962843856496 140727107083168 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93962843864312 93962843865104 93962869706752 140727107086640 140727107086822 140727107086822 140727107092424 0
[pid=31501/tid=31519] ppid=31498 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/31501/task/31519/stat : 31519 (Common-Cleaner) S 31498 31501 30647 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 37997632 19452874752 19350 18446744073709551615 93962843852800 93962843856496 140727107083168 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93962843864312 93962843865104 93962869706752 140727107086640 140727107086822 140727107086822 140727107092424 0
[pid=31501/tid=31520] ppid=31498 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/31501/task/31520/stat : 31520 (Timer-0) S 31498 31501 30647 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 37997643 19452874752 19350 18446744073709551615 93962843852800 93962843856496 140727107083168 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93962843864312 93962843865104 93962869706752 140727107086640 140727107086822 140727107086822 140727107092424 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 77400 KiB

[startup+0.700251 s]
/proc/loadavg: 4.07 4.11 4.15 6/343 31520
/proc/meminfo: memFree=112216856/131250000 swapFree=33010684/33010684
[pid=31501] ppid=31498 vsize=18996948 memory=139304 CPUtime=1.28 cores=4,6
/proc/31501/stat : 31501 (java) S 31498 31501 30647 0 -1 4194304 12484 0 0 0 123 5 0 0 20 0 19 0 37997628 19452874752 34826 18446744073709551615 93962843852800 93962843856496 140727107083168 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93962843864312 93962843865104 93962869706752 140727107086640 140727107086822 140727107086822 140727107092424 0
/proc/31501/statm: 4749237 34826 5434 1 0 551392 0
[pid=31501/tid=31503] ppid=31498 vsize=18996948 memory=17408 CPUtime=0.6 cores=4,6
/proc/31501/task/31503/stat : 31503 (java) R 31498 31501 30647 0 -1 4194368 5375 0 0 0 57 3 0 0 20 0 19 0 37997629 19452874752 34826 18446744073709551615 93962843852800 93962843856496 140727107083168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93962843864312 93962843865104 93962869706752 140727107086640 140727107086822 140727107086822 140727107092424 0
[pid=31501/tid=31512] ppid=31498 vsize=18996948 memory=10752 CPUtime=0 cores=4,6
/proc/31501/task/31512/stat : 31512 (Finalizer) S 31498 31501 30647 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 37997631 19452874752 34826 18446744073709551615 93962843852800 93962843856496 140727107083168 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93962843864312 93962843865104 93962869706752 140727107086640 140727107086822 140727107086822 140727107092424 0
[pid=31501/tid=31519] ppid=31498 vsize=18996948 memory=3328 CPUtime=0 cores=4,6
/proc/31501/task/31519/stat : 31519 (Common-Cleaner) S 31498 31501 30647 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 37997632 19452874752 34826 18446744073709551615 93962843852800 93962843856496 140727107083168 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93962843864312 93962843865104 93962869706752 140727107086640 140727107086822 140727107086822 140727107092424 0
[pid=31501/tid=31520] ppid=31498 vsize=18996948 memory=4764 CPUtime=0 cores=4,6
/proc/31501/task/31520/stat : 31520 (Timer-0) S 31498 31501 30647 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 37997643 19452874752 34826 18446744073709551615 93962843852800 93962843856496 140727107083168 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93962843864312 93962843865104 93962869706752 140727107086640 140727107086822 140727107086822 140727107092424 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 139304 KiB

[startup+1.50025 s]
/proc/loadavg: 4.07 4.11 4.15 5/344 31521
/proc/meminfo: memFree=112154472/131250000 swapFree=33010684/33010684
[pid=31501] ppid=31498 vsize=19063512 memory=170468 CPUtime=2.86 cores=4,6
/proc/31501/stat : 31501 (java) S 31498 31501 30647 0 -1 4194304 19986 0 0 0 279 7 0 0 20 0 20 0 37997628 19521036288 42617 18446744073709551615 93962843852800 93962843856496 140727107083168 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93962843864312 93962843865104 93962869706752 140727107086640 140727107086822 140727107086822 140727107092424 0
/proc/31501/statm: 4765878 42617 5466 1 0 552576 0
[pid=31501/tid=31503] ppid=31498 vsize=19063512 memory=0 CPUtime=1.36 cores=4,6
/proc/31501/task/31503/stat : 31503 (java) R 31498 31501 30647 0 -1 4194368 5800 0 0 0 132 4 0 0 20 0 20 0 37997629 19521036288 42617 18446744073709551615 93962843852800 93962843856496 140727107083168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93962843864312 93962843865104 93962869706752 140727107086640 140727107086822 140727107086822 140727107092424 0
[pid=31501/tid=31512] ppid=31498 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/31501/task/31512/stat : 31512 (Finalizer) S 31498 31501 30647 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37997631 19521036288 42617 18446744073709551615 93962843852800 93962843856496 140727107083168 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93962843864312 93962843865104 93962869706752 140727107086640 140727107086822 140727107086822 140727107092424 0
[pid=31501/tid=31519] ppid=31498 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/31501/task/31519/stat : 31519 (Common-Cleaner) S 31498 31501 30647 0 -1 4194368 43 0 0 0 0 0 0 0 20 0 20 0 37997632 19521036288 42617 18446744073709551615 93962843852800 93962843856496 140727107083168 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93962843864312 93962843865104 93962869706752 140727107086640 140727107086822 140727107086822 140727107092424 0
[pid=31501/tid=31520] ppid=31498 vsize=19063512 memory=4764 CPUtime=0 cores=4,6
/proc/31501/task/31520/stat : 31520 (Timer-0) S 31498 31501 30647 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37997643 19521036288 42617 18446744073709551615 93962843852800 93962843856496 140727107083168 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93962843864312 93962843865104 93962869706752 140727107086640 140727107086822 140727107086822 140727107092424 0
Current children cumulated CPU time: 2.86 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 170468 KiB

[startup+3.10562 s]
/proc/loadavg: 4.07 4.11 4.15 5/344 31521
/proc/meminfo: memFree=112137260/131250000 swapFree=33010684/33010684
[pid=31501] ppid=31498 vsize=19063512 memory=175668 CPUtime=5.17 cores=4,6
/proc/31501/stat : 31501 (java) S 31498 31501 30647 0 -1 4194304 21940 0 0 0 508 9 0 0 20 0 20 0 37997628 19521036288 43917 18446744073709551615 93962843852800 93962843856496 140727107083168 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93962843864312 93962843865104 93962869706752 140727107086640 140727107086822 140727107086822 140727107092424 0
/proc/31501/statm: 4765878 43917 5466 1 0 552740 0
[pid=31501/tid=31503] ppid=31498 vsize=19063512 memory=10752 CPUtime=2.94 cores=4,6
/proc/31501/task/31503/stat : 31503 (java) R 31498 31501 30647 0 -1 4194368 6195 0 0 0 289 5 0 0 20 0 20 0 37997629 19521036288 43917 18446744073709551615 93962843852800 93962843856496 140727107083168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93962843864312 93962843865104 93962869706752 140727107086640 140727107086822 140727107086822 140727107092424 0
[pid=31501/tid=31512] ppid=31498 vsize=19063512 memory=-6000919472639470444 CPUtime=0 cores=4,6
/proc/31501/task/31512/stat : 31512 (Finalizer) S 31498 31501 30647 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37997631 19521036288 43917 18446744073709551615 93962843852800 93962843856496 140727107083168 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93962843864312 93962843865104 93962869706752 140727107086640 140727107086822 140727107086822 140727107092424 0
[pid=31501/tid=31519] ppid=31498 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/31501/task/31519/stat : 31519 (Common-Cleaner) S 31498 31501 30647 0 -1 4194368 43 0 0 0 0 0 0 0 20 0 20 0 37997632 19521036288 43917 18446744073709551615 93962843852800 93962843856496 140727107083168 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93962843864312 93962843865104 93962869706752 140727107086640 140727107086822 140727107086822 140727107092424 0
[pid=31501/tid=31520] ppid=31498 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/31501/task/31520/stat : 31520 (Timer-0) S 31498 31501 30647 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37997643 19521036288 43917 18446744073709551615 93962843852800 93962843856496 140727107083168 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93962843864312 93962843865104 93962869706752 140727107086640 140727107086822 140727107086822 140727107092424 0
Current children cumulated CPU time: 5.17 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 175668 KiB

[startup+6.30021 s]
/proc/loadavg: 4.14 4.13 4.16 5/344 31521
/proc/meminfo: memFree=111945200/131250000 swapFree=33010684/33010684
[pid=31501] ppid=31498 vsize=19063512 memory=333112 CPUtime=8.68 cores=4,6
/proc/31501/stat : 31501 (java) S 31498 31501 30647 0 -1 4194304 22482 0 0 0 855 13 0 0 20 0 20 0 37997628 19521036288 83278 18446744073709551615 93962843852800 93962843856496 140727107083168 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93962843864312 93962843865104 93962869706752 140727107086640 140727107086822 140727107086822 140727107092424 0
/proc/31501/statm: 4765878 83278 5466 1 0 552743 0
[pid=31501/tid=31503] ppid=31498 vsize=19063512 memory=0 CPUtime=6.13 cores=4,6
/proc/31501/task/31503/stat : 31503 (java) R 31498 31501 30647 0 -1 4194368 6525 0 0 0 603 10 0 0 20 0 20 0 37997629 19521036288 83278 18446744073709551615 93962843852800 93962843856496 140727107083168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93962843864312 93962843865104 93962869706752 140727107086640 140727107086822 140727107086822 140727107092424 0
[pid=31501/tid=31512] ppid=31498 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/31501/task/31512/stat : 31512 (Finalizer) S 31498 31501 30647 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37997631 19521036288 83278 18446744073709551615 93962843852800 93962843856496 140727107083168 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93962843864312 93962843865104 93962869706752 140727107086640 140727107086822 140727107086822 140727107092424 0
[pid=31501/tid=31519] ppid=31498 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/31501/task/31519/stat : 31519 (Common-Cleaner) S 31498 31501 30647 0 -1 4194368 43 0 0 0 0 0 0 0 20 0 20 0 37997632 19521036288 83278 18446744073709551615 93962843852800 93962843856496 140727107083168 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93962843864312 93962843865104 93962869706752 140727107086640 140727107086822 140727107086822 140727107092424 0
[pid=31501/tid=31520] ppid=31498 vsize=19063512 memory=171108 CPUtime=0 cores=4,6
/proc/31501/task/31520/stat : 31520 (Timer-0) S 31498 31501 30647 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37997643 19521036288 83278 18446744073709551615 93962843852800 93962843856496 140727107083168 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93962843864312 93962843865104 93962869706752 140727107086640 140727107086822 140727107086822 140727107092424 0
Current children cumulated CPU time: 8.68 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 333112 KiB

[startup+12.7002 s]
/proc/loadavg: 4.13 4.13 4.15 5/344 31521
/proc/meminfo: memFree=111361120/131250000 swapFree=33010684/33010684
[pid=31501] ppid=31498 vsize=19063512 memory=965944 CPUtime=15.07 cores=4,6
/proc/31501/stat : 31501 (java) S 31498 31501 30647 0 -1 4194304 25122 0 0 0 1478 29 0 0 20 0 20 0 37997628 19521036288 241486 18446744073709551615 93962843852800 93962843856496 140727107083168 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93962843864312 93962843865104 93962869706752 140727107086640 140727107086822 140727107086822 140727107092424 0
/proc/31501/statm: 4765878 241486 5466 1 0 552743 0
[pid=31501/tid=31503] ppid=31498 vsize=19063512 memory=171108 CPUtime=12.51 cores=4,6
/proc/31501/task/31503/stat : 31503 (java) R 31498 31501 30647 0 -1 4194368 8137 0 0 0 1226 25 0 0 20 0 20 0 37997629 19521036288 241486 18446744073709551615 93962843852800 93962843856496 140727107083168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93962843864312 93962843865104 93962869706752 140727107086640 140727107086822 140727107086822 140727107092424 0
[pid=31501/tid=31512] ppid=31498 vsize=19063512 memory=853304 CPUtime=0 cores=4,6
/proc/31501/task/31512/stat : 31512 (Finalizer) S 31498 31501 30647 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37997631 19521036288 241486 18446744073709551615 93962843852800 93962843856496 140727107083168 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93962843864312 93962843865104 93962869706752 140727107086640 140727107086822 140727107086822 140727107092424 0
[pid=31501/tid=31519] ppid=31498 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/31501/task/31519/stat : 31519 (Common-Cleaner) S 31498 31501 30647 0 -1 4194368 43 0 0 0 0 0 0 0 20 0 20 0 37997632 19521036288 241486 18446744073709551615 93962843852800 93962843856496 140727107083168 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93962843864312 93962843865104 93962869706752 140727107086640 140727107086822 140727107086822 140727107092424 0
[pid=31501/tid=31520] ppid=31498 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/31501/task/31520/stat : 31520 (Timer-0) S 31498 31501 30647 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37997643 19521036288 241486 18446744073709551615 93962843852800 93962843856496 140727107083168 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93962843864312 93962843865104 93962869706752 140727107086640 140727107086822 140727107086822 140727107092424 0
Current children cumulated CPU time: 15.07 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 965944 KiB

[startup+25.5002 s]
/proc/loadavg: 4.10 4.12 4.15 5/344 31521
/proc/meminfo: memFree=110897592/131250000 swapFree=33010684/33010684
[pid=31501] ppid=31498 vsize=19063512 memory=1310128 CPUtime=27.92 cores=4,6
/proc/31501/stat : 31501 (java) S 31498 31501 30647 0 -1 4194304 29503 0 0 0 2752 40 0 0 20 0 20 0 37997628 19521036288 327532 18446744073709551615 93962843852800 93962843856496 140727107083168 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93962843864312 93962843865104 93962869706752 140727107086640 140727107086822 140727107086822 140727107092424 0
/proc/31501/statm: 4765878 327532 5466 1 0 552743 0
[pid=31501/tid=31503] ppid=31498 vsize=19063512 memory=853304 CPUtime=25.26 cores=4,6
/proc/31501/task/31503/stat : 31503 (java) R 31498 31501 30647 0 -1 4194368 9130 0 0 0 2491 35 0 0 20 0 20 0 37997629 19521036288 327532 18446744073709551615 93962843852800 93962843856496 140727107083168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93962843864312 93962843865104 93962869706752 140727107086640 140727107086822 140727107086822 140727107092424 0
[pid=31501/tid=31512] ppid=31498 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/31501/task/31512/stat : 31512 (Finalizer) S 31498 31501 30647 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37997631 19521036288 327532 18446744073709551615 93962843852800 93962843856496 140727107083168 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93962843864312 93962843865104 93962869706752 140727107086640 140727107086822 140727107086822 140727107092424 0
[pid=31501/tid=31519] ppid=31498 vsize=19063512 memory=1310128 CPUtime=0 cores=4,6
/proc/31501/task/31519/stat : 31519 (Common-Cleaner) S 31498 31501 30647 0 -1 4194368 43 0 0 0 0 0 0 0 20 0 20 0 37997632 19521036288 327532 18446744073709551615 93962843852800 93962843856496 140727107083168 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93962843864312 93962843865104 93962869706752 140727107086640 140727107086822 140727107086822 140727107092424 0
[pid=31501/tid=31520] ppid=31498 vsize=19063512 memory=17408 CPUtime=0 cores=4,6
/proc/31501/task/31520/stat : 31520 (Timer-0) S 31498 31501 30647 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37997643 19521036288 327532 18446744073709551615 93962843852800 93962843856496 140727107083168 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93962843864312 93962843865104 93962869706752 140727107086640 140727107086822 140727107086822 140727107092424 0
Current children cumulated CPU time: 27.92 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1310128 KiB

[startup+51.1057 s]
/proc/loadavg: 4.15 4.13 4.15 5/344 31522
/proc/meminfo: memFree=110784120/131250000 swapFree=33010684/33010684
[pid=31501] ppid=31498 vsize=19063512 memory=1312180 CPUtime=53.49 cores=4,6
/proc/31501/stat : 31501 (java) S 31498 31501 30647 0 -1 4194304 34667 0 0 0 5298 51 0 0 20 0 20 0 37997628 19521036288 328045 18446744073709551615 93962843852800 93962843856496 140727107083168 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93962843864312 93962843865104 93962869706752 140727107086640 140727107086822 140727107086822 140727107092424 0
/proc/31501/statm: 4765878 328045 5466 1 0 552743 0

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

/proc/31501/task/31512/stat : 31512 (Finalizer) S 31498 31501 30647 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37997631 19521036288 539235 18446744073709551615 93962843852800 93962843856496 140727107083168 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93962843864312 93962843865104 93962869706752 140727107086640 140727107086822 140727107086822 140727107092424 0
[pid=31501/tid=31519] ppid=31498 vsize=19063512 memory=2156940 CPUtime=0 cores=4,6
/proc/31501/task/31519/stat : 31519 (Common-Cleaner) S 31498 31501 30647 0 -1 4194368 1878 0 0 0 0 0 0 0 20 0 20 0 37997632 19521036288 539235 18446744073709551615 93962843852800 93962843856496 140727107083168 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93962843864312 93962843865104 93962869706752 140727107086640 140727107086822 140727107086822 140727107092424 0
[pid=31501/tid=31520] ppid=31498 vsize=19063512 memory=-6000919472639470444 CPUtime=0 cores=4,6
/proc/31501/task/31520/stat : 31520 (Timer-0) S 31498 31501 30647 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37997643 19521036288 539235 18446744073709551615 93962843852800 93962843856496 140727107083168 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93962843864312 93962843865104 93962869706752 140727107086640 140727107086822 140727107086822 140727107092424 0
Current children cumulated CPU time: 3214.85 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2156940 KiB

[startup+3282.3 s]
/proc/loadavg: 4.16 4.15 4.10 5/344 31900
/proc/meminfo: memFree=111083800/131250000 swapFree=33010684/33010684
[pid=31501] ppid=31498 vsize=19063512 memory=2156940 CPUtime=3274.71 cores=4,6
/proc/31501/stat : 31501 (java) S 31498 31501 30647 0 -1 4194304 99124 0 0 0 326738 733 0 0 20 0 20 0 37997628 19521036288 539235 18446744073709551615 93962843852800 93962843856496 140727107083168 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93962843864312 93962843865104 93962869706752 140727107086640 140727107086822 140727107086822 140727107092424 0
/proc/31501/statm: 4765878 539235 5530 1 0 554242 0
[pid=31501/tid=31503] ppid=31498 vsize=19063512 memory=2156940 CPUtime=3262.66 cores=4,6
/proc/31501/task/31503/stat : 31503 (java) R 31498 31501 30647 0 -1 4194368 41261 0 0 0 325631 635 0 0 20 0 20 0 37997629 19521036288 539235 18446744073709551615 93962843852800 93962843856496 140727107083168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93962843864312 93962843865104 93962869706752 140727107086640 140727107086822 140727107086822 140727107092424 0
[pid=31501/tid=31512] ppid=31498 vsize=19063512 memory=2156940 CPUtime=0 cores=4,6
/proc/31501/task/31512/stat : 31512 (Finalizer) S 31498 31501 30647 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37997631 19521036288 539235 18446744073709551615 93962843852800 93962843856496 140727107083168 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93962843864312 93962843865104 93962869706752 140727107086640 140727107086822 140727107086822 140727107092424 0
[pid=31501/tid=31519] ppid=31498 vsize=19063512 memory=14720 CPUtime=0 cores=4,6
/proc/31501/task/31519/stat : 31519 (Common-Cleaner) S 31498 31501 30647 0 -1 4194368 1878 0 0 0 0 0 0 0 20 0 20 0 37997632 19521036288 539235 18446744073709551615 93962843852800 93962843856496 140727107083168 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93962843864312 93962843865104 93962869706752 140727107086640 140727107086822 140727107086822 140727107092424 0
[pid=31501/tid=31520] ppid=31498 vsize=19063512 memory=2156940 CPUtime=0 cores=4,6
/proc/31501/task/31520/stat : 31520 (Timer-0) S 31498 31501 30647 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37997643 19521036288 539235 18446744073709551615 93962843852800 93962843856496 140727107083168 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93962843864312 93962843865104 93962869706752 140727107086640 140727107086822 140727107086822 140727107092424 0
Current children cumulated CPU time: 3274.71 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2156940 KiB

[startup+3342.3 s]
/proc/loadavg: 4.11 4.14 4.10 5/342 31902
/proc/meminfo: memFree=110955980/131250000 swapFree=33010684/33010684
[pid=31501] ppid=31498 vsize=19063512 memory=2156940 CPUtime=3334.49 cores=4,6
/proc/31501/stat : 31501 (java) S 31498 31501 30647 0 -1 4194304 100215 0 0 0 332706 743 0 0 20 0 20 0 37997628 19521036288 539235 18446744073709551615 93962843852800 93962843856496 140727107083168 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93962843864312 93962843865104 93962869706752 140727107086640 140727107086822 140727107086822 140727107092424 0
/proc/31501/statm: 4765878 539235 5530 1 0 554242 0
[pid=31501/tid=31503] ppid=31498 vsize=19063512 memory=14720 CPUtime=3322.42 cores=4,6
/proc/31501/task/31503/stat : 31503 (java) R 31498 31501 30647 0 -1 4194368 42227 0 0 0 331599 643 0 0 20 0 20 0 37997629 19521036288 539235 18446744073709551615 93962843852800 93962843856496 140727107083168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93962843864312 93962843865104 93962869706752 140727107086640 140727107086822 140727107086822 140727107092424 0
[pid=31501/tid=31512] ppid=31498 vsize=19063512 memory=5760 CPUtime=0 cores=4,6
/proc/31501/task/31512/stat : 31512 (Finalizer) S 31498 31501 30647 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37997631 19521036288 539235 18446744073709551615 93962843852800 93962843856496 140727107083168 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93962843864312 93962843865104 93962869706752 140727107086640 140727107086822 140727107086822 140727107092424 0
[pid=31501/tid=31519] ppid=31498 vsize=19063512 memory=17536 CPUtime=0 cores=4,6
/proc/31501/task/31519/stat : 31519 (Common-Cleaner) S 31498 31501 30647 0 -1 4194368 1966 0 0 0 0 0 0 0 20 0 20 0 37997632 19521036288 539235 18446744073709551615 93962843852800 93962843856496 140727107083168 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93962843864312 93962843865104 93962869706752 140727107086640 140727107086822 140727107086822 140727107092424 0
[pid=31501/tid=31520] ppid=31498 vsize=19063512 memory=2156940 CPUtime=0 cores=4,6
/proc/31501/task/31520/stat : 31520 (Timer-0) S 31498 31501 30647 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37997643 19521036288 539235 18446744073709551615 93962843852800 93962843856496 140727107083168 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93962843864312 93962843865104 93962869706752 140727107086640 140727107086822 140727107086822 140727107092424 0
Current children cumulated CPU time: 3334.49 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2156940 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.13 4.09 5/342 31905
/proc/meminfo: memFree=110821940/131250000 swapFree=33010684/33010684
[pid=31501] ppid=31498 vsize=19063512 memory=2156940 CPUtime=3394.33 cores=4,6
/proc/31501/stat : 31501 (java) S 31498 31501 30647 0 -1 4194304 101294 0 0 0 338679 754 0 0 20 0 20 0 37997628 19521036288 539235 18446744073709551615 93962843852800 93962843856496 140727107083168 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93962843864312 93962843865104 93962869706752 140727107086640 140727107086822 140727107086822 140727107092424 0
/proc/31501/statm: 4765878 539235 5530 1 0 554242 0
[pid=31501/tid=31503] ppid=31498 vsize=19063512 memory=2156940 CPUtime=3382.15 cores=4,6
/proc/31501/task/31503/stat : 31503 (java) R 31498 31501 30647 0 -1 4194368 42449 0 0 0 337563 652 0 0 20 0 20 0 37997629 19521036288 539235 18446744073709551615 93962843852800 93962843856496 140727107083168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93962843864312 93962843865104 93962869706752 140727107086640 140727107086822 140727107086822 140727107092424 0
[pid=31501/tid=31512] ppid=31498 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/31501/task/31512/stat : 31512 (Finalizer) S 31498 31501 30647 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37997631 19521036288 539235 18446744073709551615 93962843852800 93962843856496 140727107083168 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93962843864312 93962843865104 93962869706752 140727107086640 140727107086822 140727107086822 140727107092424 0
[pid=31501/tid=31519] ppid=31498 vsize=19063512 memory=2156940 CPUtime=0 cores=4,6
/proc/31501/task/31519/stat : 31519 (Common-Cleaner) S 31498 31501 30647 0 -1 4194368 2054 0 0 0 0 0 0 0 20 0 20 0 37997632 19521036288 539235 18446744073709551615 93962843852800 93962843856496 140727107083168 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93962843864312 93962843865104 93962869706752 140727107086640 140727107086822 140727107086822 140727107092424 0
[pid=31501/tid=31520] ppid=31498 vsize=19063512 memory=2156940 CPUtime=0 cores=4,6
/proc/31501/task/31520/stat : 31520 (Timer-0) S 31498 31501 30647 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37997643 19521036288 539235 18446744073709551615 93962843852800 93962843856496 140727107083168 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93962843864312 93962843865104 93962869706752 140727107086640 140727107086822 140727107086822 140727107092424 0
Current children cumulated CPU time: 3394.33 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2156940 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/343 31908
/proc/meminfo: memFree=110699704/131250000 swapFree=33010684/33010684
[pid=31501] ppid=31498 vsize=19063512 memory=2156940 CPUtime=3454.16 cores=4,6
/proc/31501/stat : 31501 (java) S 31498 31501 30647 0 -1 4194304 101332 0 0 0 344652 764 0 0 20 0 20 0 37997628 19521036288 539235 18446744073709551615 93962843852800 93962843856496 140727107083168 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93962843864312 93962843865104 93962869706752 140727107086640 140727107086822 140727107086822 140727107092424 0
/proc/31501/statm: 4765878 539235 5530 1 0 554242 0
[pid=31501/tid=31503] ppid=31498 vsize=19063512 memory=4764 CPUtime=3441.88 cores=4,6
/proc/31501/task/31503/stat : 31503 (java) R 31498 31501 30647 0 -1 4194368 42458 0 0 0 343527 661 0 0 20 0 20 0 37997629 19521036288 539235 18446744073709551615 93962843852800 93962843856496 140727107083168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93962843864312 93962843865104 93962869706752 140727107086640 140727107086822 140727107086822 140727107092424 0
[pid=31501/tid=31512] ppid=31498 vsize=19063512 memory=2156940 CPUtime=0 cores=4,6
/proc/31501/task/31512/stat : 31512 (Finalizer) S 31498 31501 30647 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37997631 19521036288 539235 18446744073709551615 93962843852800 93962843856496 140727107083168 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93962843864312 93962843865104 93962869706752 140727107086640 140727107086822 140727107086822 140727107092424 0
[pid=31501/tid=31519] ppid=31498 vsize=19063512 memory=2156940 CPUtime=0 cores=4,6
/proc/31501/task/31519/stat : 31519 (Common-Cleaner) S 31498 31501 30647 0 -1 4194368 2054 0 0 0 0 0 0 0 20 0 20 0 37997632 19521036288 539235 18446744073709551615 93962843852800 93962843856496 140727107083168 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93962843864312 93962843865104 93962869706752 140727107086640 140727107086822 140727107086822 140727107092424 0
[pid=31501/tid=31520] ppid=31498 vsize=19063512 memory=4252 CPUtime=0 cores=4,6
/proc/31501/task/31520/stat : 31520 (Timer-0) S 31498 31501 30647 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37997643 19521036288 539235 18446744073709551615 93962843852800 93962843856496 140727107083168 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93962843864312 93962843865104 93962869706752 140727107086640 140727107086822 140727107086822 140727107092424 0
Current children cumulated CPU time: 3454.16 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2156940 KiB

[startup+3522.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/345 31912
/proc/meminfo: memFree=110509412/131250000 swapFree=33010684/33010684
[pid=31501] ppid=31498 vsize=19063512 memory=2156940 CPUtime=3514.02 cores=4,6
/proc/31501/stat : 31501 (java) S 31498 31501 30647 0 -1 4194304 102138 0 0 0 350628 774 0 0 20 0 20 0 37997628 19521036288 539235 18446744073709551615 93962843852800 93962843856496 140727107083168 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93962843864312 93962843865104 93962869706752 140727107086640 140727107086822 140727107086822 140727107092424 0
/proc/31501/statm: 4765878 539235 5530 1 0 554242 0
[pid=31501/tid=31503] ppid=31498 vsize=19063512 memory=4764 CPUtime=3501.6 cores=4,6
/proc/31501/task/31503/stat : 31503 (java) R 31498 31501 30647 0 -1 4194368 43199 0 0 0 349491 669 0 0 20 0 20 0 37997629 19521036288 539235 18446744073709551615 93962843852800 93962843856496 140727107083168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93962843864312 93962843865104 93962869706752 140727107086640 140727107086822 140727107086822 140727107092424 0
[pid=31501/tid=31512] ppid=31498 vsize=19063512 memory=4252 CPUtime=0 cores=4,6
/proc/31501/task/31512/stat : 31512 (Finalizer) S 31498 31501 30647 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37997631 19521036288 539235 18446744073709551615 93962843852800 93962843856496 140727107083168 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93962843864312 93962843865104 93962869706752 140727107086640 140727107086822 140727107086822 140727107092424 0
[pid=31501/tid=31519] ppid=31498 vsize=19063512 memory=14720 CPUtime=0 cores=4,6
/proc/31501/task/31519/stat : 31519 (Common-Cleaner) S 31498 31501 30647 0 -1 4194368 2054 0 0 0 0 0 0 0 20 0 20 0 37997632 19521036288 539235 18446744073709551615 93962843852800 93962843856496 140727107083168 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93962843864312 93962843865104 93962869706752 140727107086640 140727107086822 140727107086822 140727107092424 0
[pid=31501/tid=31520] ppid=31498 vsize=19063512 memory=14720 CPUtime=0 cores=4,6
/proc/31501/task/31520/stat : 31520 (Timer-0) S 31498 31501 30647 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37997643 19521036288 539235 18446744073709551615 93962843852800 93962843856496 140727107083168 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93962843864312 93962843865104 93962869706752 140727107086640 140727107086822 140727107086822 140727107092424 0
Current children cumulated CPU time: 3514.02 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2156940 KiB

[startup+3582.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/347 31916
/proc/meminfo: memFree=110365940/131250000 swapFree=33010684/33010684
[pid=31501] ppid=31498 vsize=19063512 memory=2156940 CPUtime=3573.88 cores=4,6
/proc/31501/stat : 31501 (java) S 31498 31501 30647 0 -1 4194304 103691 0 0 0 356602 786 0 0 20 0 20 0 37997628 19521036288 539235 18446744073709551615 93962843852800 93962843856496 140727107083168 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93962843864312 93962843865104 93962869706752 140727107086640 140727107086822 140727107086822 140727107092424 0
/proc/31501/statm: 4765878 539235 5530 1 0 554242 0
[pid=31501/tid=31503] ppid=31498 vsize=19063512 memory=4764 CPUtime=3561.31 cores=4,6
/proc/31501/task/31503/stat : 31503 (java) R 31498 31501 30647 0 -1 4194368 43912 0 0 0 355452 679 0 0 20 0 20 0 37997629 19521036288 539235 18446744073709551615 93962843852800 93962843856496 140727107083168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93962843864312 93962843865104 93962869706752 140727107086640 140727107086822 140727107086822 140727107092424 0
[pid=31501/tid=31512] ppid=31498 vsize=19063512 memory=2156940 CPUtime=0 cores=4,6
/proc/31501/task/31512/stat : 31512 (Finalizer) S 31498 31501 30647 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37997631 19521036288 539235 18446744073709551615 93962843852800 93962843856496 140727107083168 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93962843864312 93962843865104 93962869706752 140727107086640 140727107086822 140727107086822 140727107092424 0
[pid=31501/tid=31519] ppid=31498 vsize=19063512 memory=2156940 CPUtime=0 cores=4,6
/proc/31501/task/31519/stat : 31519 (Common-Cleaner) S 31498 31501 30647 0 -1 4194368 2143 0 0 0 0 0 0 0 20 0 20 0 37997632 19521036288 539235 18446744073709551615 93962843852800 93962843856496 140727107083168 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93962843864312 93962843865104 93962869706752 140727107086640 140727107086822 140727107086822 140727107092424 0
[pid=31501/tid=31520] ppid=31498 vsize=19063512 memory=14720 CPUtime=0 cores=4,6
/proc/31501/task/31520/stat : 31520 (Timer-0) S 31498 31501 30647 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37997643 19521036288 539235 18446744073709551615 93962843852800 93962843856496 140727107083168 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93962843864312 93962843865104 93962869706752 140727107086640 140727107086822 140727107086822 140727107092424 0
Current children cumulated CPU time: 3573.88 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2156940 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.11 s]
/proc/loadavg: 4.10 4.11 4.09 5/347 31917
/proc/meminfo: memFree=110318428/131250000 swapFree=33010684/33010684
[pid=31501] ppid=31498 vsize=19063512 memory=2156940 CPUtime=3600.02 cores=4,6
/proc/31501/stat : 31501 (java) S 31498 31501 30647 0 -1 4194304 104527 0 0 0 359209 793 0 0 20 0 20 0 37997628 19521036288 539235 18446744073709551615 93962843852800 93962843856496 140727107083168 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93962843864312 93962843865104 93962869706752 140727107086640 140727107086822 140727107086822 140727107092424 0
/proc/31501/statm: 4765878 539235 5530 1 0 554242 0
[pid=31501/tid=31503] ppid=31498 vsize=19063512 memory=2156940 CPUtime=3587.38 cores=4,6
/proc/31501/task/31503/stat : 31503 (java) R 31498 31501 30647 0 -1 4194368 44542 0 0 0 358053 685 0 0 20 0 20 0 37997629 19521036288 539235 18446744073709551615 93962843852800 93962843856496 140727107083168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93962843864312 93962843865104 93962869706752 140727107086640 140727107086822 140727107086822 140727107092424 0
[pid=31501/tid=31512] ppid=31498 vsize=19063512 memory=2156940 CPUtime=0 cores=4,6
/proc/31501/task/31512/stat : 31512 (Finalizer) S 31498 31501 30647 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37997631 19521036288 539235 18446744073709551615 93962843852800 93962843856496 140727107083168 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93962843864312 93962843865104 93962869706752 140727107086640 140727107086822 140727107086822 140727107092424 0
[pid=31501/tid=31519] ppid=31498 vsize=19063512 memory=1792 CPUtime=0 cores=4,6
/proc/31501/task/31519/stat : 31519 (Common-Cleaner) S 31498 31501 30647 0 -1 4194368 2271 0 0 0 0 0 0 0 20 0 20 0 37997632 19521036288 539235 18446744073709551615 93962843852800 93962843856496 140727107083168 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93962843864312 93962843865104 93962869706752 140727107086640 140727107086822 140727107086822 140727107092424 0
[pid=31501/tid=31520] ppid=31498 vsize=19063512 memory=2156940 CPUtime=0 cores=4,6
/proc/31501/task/31520/stat : 31520 (Timer-0) S 31498 31501 30647 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37997643 19521036288 539235 18446744073709551615 93962843852800 93962843856496 140727107083168 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93962843864312 93962843865104 93962869706752 140727107086640 140727107086822 140727107086822 140727107092424 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2156940 KiB

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

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

# cumulated CPU time of all completed processes:  user=3592.21 s, system=7.94466 s

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

[startup+3609.2 s]*
/proc/loadavg: 4.10 4.11 4.09 5/329 31920
/proc/meminfo: memFree=110626088/131250000 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): 3609.21
CPU time (s): 3600.16
CPU user time (s): 3592.21
CPU system time (s): 7.94466
CPU usage (%): 99.7491
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 2156940

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.21
system time used= 7.94466
maximum resident set size= 2157836
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 107359
page faults= 0
swaps= 0
block input operations= 0
block output operations= 5588040
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 108925
involuntary context switches= 8624


# summary of solver processes directly reported to runsolver:
#   pid: 31501
#   total CPU time (s): 3600.16
#   total CPU user time (s): 3592.21
#   total CPU system time (s): 7.94466

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.80938 second user time and 17.243 second system time

The end

Launcher Data 

Begin job on nodeC026 at 2025-06-29 20:53:10
IDJOB=4514059
IDBENCH=162599
IDSOLVER=3364
FILE ID=nodeC026/4514059-1751223190
RUNJOBID= nodeC026-1751218367-30658
SLURM_JOB_ID= 9587668
Free space on /tmp= 433056 MiB

SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06
BENCH NAME= PB24/normalized-PB16/DEC-LIN/elffers/rand6reg/normalized-rand6reg-v071-n1.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4514059-1751223190/watcher-4514059-1751223190 -o /tmp/evaluation-result-4514059-1751223190/solver-4514059-1751223190 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751218367-30658 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4514059-1751223190 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4514059-1751223190.opb

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

MD5SUM BENCH= 6929a7343695a3957aad0265eef3dd9c
RANDOM SEED=1527076713

nodeC026 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.817
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.59
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.783
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.59
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.349
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.59
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		: 3616.276
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.59
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.990
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.59
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.794
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.59
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		: 3599.737
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.59
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		: 3601.955
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.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        112287272 kB
MemAvailable:   123365204 kB
Buffers:            3280 kB
Cached:         11870532 kB
SwapCached:            0 kB
Active:          6719848 kB
Inactive:       11612824 kB
Active(anon):    6477368 kB
Inactive(anon):        0 kB
Active(file):     242480 kB
Inactive(file): 11612824 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             41068 kB
Writeback:             4 kB
AnonPages:       6462564 kB
Mapped:           123000 kB
Shmem:             18080 kB
KReclaimable:     123732 kB
Slab:             212404 kB
SReclaimable:     123732 kB
SUnreclaim:        88672 kB
KernelStack:        5264 kB
PageTables:        16304 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    7061276 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151496 kB
VmallocChunk:          0 kB
Percpu:             3680 kB
HardwareCorrupted:     0 kB
AnonHugePages:   6254592 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:      187092 kB
DirectMap2M:     9021440 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 433052 MiB
End job on nodeC026 at 2025-06-29 21:53:19