Trace number 4451662

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.23 3620.21

General information on the benchmark

NamePB24/normalized-PB16/DEC-LIN/elffers/
rand6reg/normalized-rand6reg-v081-n1.opb
MD5SUM094ef2080fcb5c00ba6533ba0fd987cd
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.201899
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables243
Total number of constraints81
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)81
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.06	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.06	c See www.sat4j.org for details.
0.00/0.07	c version CUSTOM.v20240707
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		4.18.0-301.1.el8.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		2104792832
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.13/0.13	--- Begin Solver configuration ---
0.13/0.13	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.13/0.13	Learn all clauses as in MiniSAT
0.13/0.13	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.13	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.13	Expensive reason simplification
0.13/0.13	Glucose 2.1 dynamic restart strategy
0.13/0.13	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	timeout=2147483s
0.13/0.13	DB Simplification allowed=false
0.13/0.13	Listener: none
0.13/0.13	--- End Solver configuration ---
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@2401f4c3
0.13/0.13	c Learn all clauses as in MiniSAT
0.13/0.13	c LOGGER=java.util.logging.Logger@762efe5d 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-4451662-1721840751.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.018s.
0.13/0.15	c declared #vars     243
0.13/0.15	c #constraints  162
0.13/0.15	c constraints type 
0.13/0.15	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 81
0.13/0.15	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 81
0.13/0.15	c 162 constraints processed.
1.46/0.88	c cleaning 2493 clauses out of 5000 with flag 47521/5000
2.87/1.56	c cleaning 4247 clauses out of 8507 with flag 126112/11000
4.04/2.34	c cleaning 5626 clauses out of 11262 with flag 215001/18002
5.03/3.30	c cleaning 6808 clauses out of 13634 with flag 330017/26000
6.33/4.46	c cleaning 7908 clauses out of 15828 with flag 460885/35002
7.67/5.76	c cleaning 8948 clauses out of 17918 with flag 610959/45000
9.07/7.05	c cleaning 9979 clauses out of 19970 with flag 747124/56000
10.37/8.39	c cleaning 10992 clauses out of 21991 with flag 883943/68000
11.67/9.68	c cleaning 11996 clauses out of 23999 with flag 1001797/81000
13.27/11.28	c cleaning 12991 clauses out of 26004 with flag 1147671/95001
15.27/13.28	c cleaning 14001 clauses out of 28012 with flag 1317943/110000
17.57/15.57	c cleaning 14998 clauses out of 30011 with flag 1501560/126000
20.13/18.07	c cleaning 15998 clauses out of 32014 with flag 1707778/143001
23.41/21.12	c cleaning 16994 clauses out of 34017 with flag 1933974/161002
26.50/24.22	c cleaning 18004 clauses out of 36021 with flag 2157719/180000
29.68/27.43	c cleaning 18997 clauses out of 38017 with flag 2397720/200000
33.48/31.24	c cleaning 19998 clauses out of 40020 with flag 2649970/221000
37.56/35.53	c cleaning 21008 clauses out of 42024 with flag 2922588/243002
41.56/39.57	c cleaning 22000 clauses out of 44017 with flag 3190081/266003
45.96/43.99	c cleaning 22997 clauses out of 46014 with flag 3479628/290000
50.58/48.53	c cleaning 24002 clauses out of 48019 with flag 3789682/315002
55.26/53.25	c cleaning 25001 clauses out of 50015 with flag 4098553/341000
60.36/58.34	c cleaning 25999 clauses out of 52015 with flag 4409697/368001
66.24/64.21	c cleaning 27000 clauses out of 54015 with flag 4727265/396000
71.99/70.17	c cleaning 28000 clauses out of 56015 with flag 5073142/425000
77.77/76.00	c cleaning 28997 clauses out of 58015 with flag 5419106/455000
84.97/83.16	c cleaning 30003 clauses out of 60018 with flag 5779037/486000
93.73/91.90	c cleaning 31002 clauses out of 62018 with flag 6200861/518003
100.28/98.67	c cleaning 31995 clauses out of 64013 with flag 6582375/551000
107.77/106.13	c cleaning 32998 clauses out of 66020 with flag 6894398/585002
114.85/113.25	c cleaning 34007 clauses out of 68022 with flag 7234539/620002
122.87/121.36	c cleaning 34997 clauses out of 70013 with flag 7575914/656000
128.71/127.33	c cleaning 36000 clauses out of 72016 with flag 7900212/693000
135.64/134.20	c cleaning 36985 clauses out of 74018 with flag 8269786/731002
142.85/141.42	c cleaning 38015 clauses out of 76031 with flag 8646003/770000
150.52/149.17	c cleaning 38992 clauses out of 78016 with flag 9051996/810000
158.59/157.39	c cleaning 40005 clauses out of 80025 with flag 9475258/851001
168.38/167.13	c cleaning 40998 clauses out of 82019 with flag 9959244/893000
178.27/177.04	c cleaning 42004 clauses out of 84022 with flag 10422773/936001
188.45/187.28	c cleaning 43003 clauses out of 86019 with flag 10906907/980002
197.59/196.57	c cleaning 43997 clauses out of 88015 with flag 11362916/1025001
207.49/206.41	c cleaning 45007 clauses out of 90019 with flag 11851617/1071002
218.16/217.15	c cleaning 45997 clauses out of 92011 with flag 12347495/1118001
228.50/227.75	c cleaning 46998 clauses out of 94014 with flag 12827943/1166001
240.48/239.77	c cleaning 48002 clauses out of 96015 with flag 13352060/1215000
253.53/252.91	c cleaning 48994 clauses out of 98013 with flag 13919056/1265000
268.11/267.53	c cleaning 50001 clauses out of 100022 with flag 14558390/1316003
281.78/281.34	c cleaning 51007 clauses out of 102023 with flag 15186120/1368005
295.36/295.08	c cleaning 51999 clauses out of 104013 with flag 15781897/1421002
311.52/311.41	c cleaning 53000 clauses out of 106014 with flag 16407267/1475002
327.29/327.37	c cleaning 53993 clauses out of 108013 with flag 17007992/1530001
342.92/343.30	c cleaning 55007 clauses out of 110021 with flag 17680258/1586002
359.40/359.86	c cleaning 56000 clauses out of 112013 with flag 18337062/1643001
377.80/378.35	c cleaning 57004 clauses out of 114012 with flag 18998478/1701000
395.30/395.89	c cleaning 57998 clauses out of 116010 with flag 19643100/1760002
412.88/413.57	c cleaning 58999 clauses out of 118013 with flag 20332033/1820003
430.66/431.39	c cleaning 59997 clauses out of 120011 with flag 20990659/1881000
453.85/454.80	c cleaning 60998 clauses out of 122016 with flag 21669700/1943002
476.35/477.54	c cleaning 62001 clauses out of 124019 with flag 22366711/2006003
499.13/500.58	c cleaning 63004 clauses out of 126017 with flag 23074469/2070002
519.09/520.64	c cleaning 64001 clauses out of 128011 with flag 23802774/2135000
539.68/541.47	c cleaning 64998 clauses out of 130011 with flag 24545576/2201001
564.84/566.88	c cleaning 65998 clauses out of 132012 with flag 25327966/2268000
587.51/589.75	c cleaning 67002 clauses out of 134015 with flag 26100196/2336001
614.20/616.64	c cleaning 67999 clauses out of 136012 with flag 26907145/2405000
639.78/642.43	c cleaning 69006 clauses out of 138013 with flag 27761969/2475000
668.91/671.89	c cleaning 69998 clauses out of 140008 with flag 28610088/2546001
698.65/701.77	c cleaning 71000 clauses out of 142009 with flag 29495286/2618000
726.15/729.28	c cleaning 71995 clauses out of 144009 with flag 30360557/2691000
753.94/757.13	c cleaning 72999 clauses out of 146016 with flag 31248333/2765002
783.56/786.85	c cleaning 73997 clauses out of 148016 with flag 32108312/2840001
813.09/816.45	c cleaning 75005 clauses out of 150019 with flag 33027232/2916001
845.69/849.14	c cleaning 76001 clauses out of 152013 with flag 34011013/2993000
874.31/877.88	c cleaning 76998 clauses out of 154012 with flag 34940928/3071000
908.43/912.11	c cleaning 78005 clauses out of 156014 with flag 35896300/3150000
942.54/946.46	c cleaning 78998 clauses out of 158010 with flag 36879074/3230001
976.29/980.45	c cleaning 80002 clauses out of 160011 with flag 37843582/3311000
1013.87/1018.15	c cleaning 80986 clauses out of 162011 with flag 38886453/3393002
1047.85/1052.20	c cleaning 82011 clauses out of 164023 with flag 39885962/3476000
1091.71/1096.22	c cleaning 82997 clauses out of 166012 with flag 40910807/3560000
1133.76/1138.37	c cleaning 84004 clauses out of 168015 with flag 41984711/3645000
1170.87/1175.55	c cleaning 85001 clauses out of 170014 with flag 43009430/3731003
1209.97/1214.73	c cleaning 85998 clauses out of 172010 with flag 44128507/3818000
1250.76/1255.67	c cleaning 87001 clauses out of 174013 with flag 45197304/3906001
1288.99/1294.20	c cleaning 88000 clauses out of 176011 with flag 46258471/3995000
1331.28/1336.69	c cleaning 88995 clauses out of 178011 with flag 47408963/4085000
1374.76/1380.28	c cleaning 90004 clauses out of 180017 with flag 48548885/4176001
1422.77/1429.42	c cleaning 91002 clauses out of 182015 with flag 49664143/4268003
1472.11/1479.00	c cleaning 92000 clauses out of 184010 with flag 50751285/4361000
1521.11/1528.02	c cleaning 92995 clauses out of 186010 with flag 51914606/4455000
1565.80/1572.82	c cleaning 93995 clauses out of 188015 with flag 53066355/4550000
1611.52/1618.79	c cleaning 95002 clauses out of 190020 with flag 54238060/4646000
1658.27/1665.65	c cleaning 96001 clauses out of 192018 with flag 55417730/4743000
1710.67/1718.27	c cleaning 97008 clauses out of 194021 with flag 56667845/4841004
1760.03/1768.96	c cleaning 97994 clauses out of 196009 with flag 57916155/4940000
1810.28/1819.48	c cleaning 98999 clauses out of 198015 with flag 59115874/5040000
1864.42/1873.82	c cleaning 100006 clauses out of 200017 with flag 60376823/5141001
1920.17/1929.75	c cleaning 101000 clauses out of 202012 with flag 61669974/5243002
1984.50/1994.36	c cleaning 101995 clauses out of 204010 with flag 63053427/5346000
2039.02/2049.33	c cleaning 103003 clauses out of 206016 with flag 64396118/5450001
2097.81/2108.45	c cleaning 104004 clauses out of 208013 with flag 65702988/5555001
2154.82/2165.68	c cleaning 104997 clauses out of 210008 with flag 67030160/5661000
2212.20/2223.31	c cleaning 106006 clauses out of 212013 with flag 68356892/5768002
2268.81/2280.15	c cleaning 106998 clauses out of 214005 with flag 69703463/5876000
2334.67/2346.24	c cleaning 107999 clauses out of 216007 with flag 71076270/5985000
2396.85/2408.74	c cleaning 108998 clauses out of 218008 with flag 72458822/6095000
2464.79/2477.07	c cleaning 110001 clauses out of 220010 with flag 73878018/6206000
2534.78/2547.27	c cleaning 110998 clauses out of 222010 with flag 75333000/6318001
2606.00/2618.66	c cleaning 112002 clauses out of 224011 with flag 76808499/6431000
2674.34/2687.11	c cleaning 112997 clauses out of 226009 with flag 78154910/6545000
2740.00/2752.92	c cleaning 114000 clauses out of 228013 with flag 79506144/6660001
2804.51/2817.69	c cleaning 114998 clauses out of 230013 with flag 80931628/6776001
2870.37/2883.78	c cleaning 115998 clauses out of 232015 with flag 82343043/6893001
2942.41/2956.43	c cleaning 117004 clauses out of 234017 with flag 83904082/7011001
3016.06/3032.24	c cleaning 117981 clauses out of 236012 with flag 85436202/7130000
3089.16/3105.92	c cleaning 119001 clauses out of 238033 with flag 87087003/7250002
3169.18/3186.18	c cleaning 119997 clauses out of 240030 with flag 88688794/7371000
3250.93/3268.03	c cleaning 121002 clauses out of 242033 with flag 90365269/7493000
3340.68/3358.09	c cleaning 122000 clauses out of 244032 with flag 91971604/7616001
3417.20/3435.16	c cleaning 122998 clauses out of 246033 with flag 93640548/7740002
3497.25/3515.71	c cleaning 123995 clauses out of 248033 with flag 95355394/7865000
3579.67/3599.68	c cleaning 125005 clauses out of 250038 with flag 97059450/7991000
3600.09/3620.12	c starts		: 10529
3600.09/3620.12	c timeout
3600.09/3620.13	c conflicts		: 8031690
3600.09/3620.13	c decisions		: 9753996
3600.09/3620.13	c propagations		: 179337640
3600.09/3620.13	c inspects		: 46190640642
3600.09/3620.13	c shortcuts		: 0
3600.09/3620.13	c learnt literals	: 0
3600.09/3620.13	c learnt binary clauses	: 0
3600.09/3620.13	c learnt ternary clauses	: 0
3600.09/3620.13	c learnt constraints	: 8031690
3600.09/3620.13	c ignored constraints	: 0
3600.09/3620.13	c root simplifications	: 0
3600.09/3620.13	c removed literals (reason simplification)	: 96399480
3600.09/3620.13	c reason swapping (by a shorter reason)	: 0
3600.09/3620.13	c Calls to reduceDB	: 122
3600.09/3620.13	c Number of update (reduction) of LBD	: 2420994
3600.09/3620.13	c Imported unit clauses	: 0
3600.09/3620.13	c No decision after first conflict	: false
3600.09/3620.13	c number of reductions to clauses (during analyze)	: 0
3600.09/3620.13	c number of learned constraints concerned by reduction	: 0
3600.09/3620.13	c number of learning phase by resolution	: 0
3600.09/3620.13	c number of learning phase by cutting planes	: 0
3600.09/3620.13	c number of rounding to 1 operations	: 0
3600.09/3620.13	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.09/3620.13	c number of reductions of the coefficients by power 2 	: 0
3600.09/3620.13	c number of right shift for reduction by power 2 	: 0
3600.09/3620.13	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.09/3620.13	c number of ending skipping 	: 0
3600.09/3620.13	c number of internal skipping 	: 0
3600.09/3620.13	c number of derivation steps 	: 0
3600.09/3620.13	c number of skipped derivation steps 	: 0
3600.09/3620.13	c number of remaining unassigned 	: 0
3600.09/3620.13	c number of remaining assigned 	: 0
3600.09/3620.13	c number of falsified literals weakened from reason	: 0
3600.09/3620.13	c number of falsified literals weakened from conflict	: 0
3600.09/3620.13	c time for arithmetic operations	: 0
3600.09/3620.13	c minimum degree of deleted constraints	: null
3600.09/3620.13	c maximum degree of deleted constraints	: null
3600.09/3620.13	c number of deleted constraints	: 0
3600.09/3620.13	c speed (assignments/second)	: 49541.195092777016
3600.09/3620.13	c non guided choices	: 115
3600.09/3620.19	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 165723
3600.09/3620.19	s UNKNOWN
3600.09/3620.19	c Total wall clock time (in seconds): 3620.057

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63968 MiB (55311 MiB free)
  memory of node 1: 64473 MiB (53116 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.100918 s]*
/proc/loadavg: 4.00 4.10 4.07 8/331 251757
/proc/meminfo: memFree=110985880/131524600 swapFree=131071728/131071996
[pid=251739] ppid=251736 vsize=18975048 memory=64488 CPUtime=0.13 cores=0,2
/proc/251739/stat : 251739 (java) S 251736 251739 250658 0 -1 1077936128 7216 0 0 0 11 2 0 0 20 0 18 0 20598124 19430449152 16122 134679101440 94834514239488 94834514243184 140735556391632 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94834514251000 94834514251792 94834534559744 140735556400043 140735556400225 140735556400225 140735556407240 0
/proc/251739/statm: 4743762 16122 5499 1 0 549321 0
[pid=251739/tid=251741] ppid=251736 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=0,2
/proc/251739/task/251741/stat : 251741 (java) R 251736 251739 250658 0 -1 1077936192 5748 0 0 0 7 1 0 0 20 0 18 0 20598124 19430449152 16122 134679101440 94834514239488 94834514243184 140735556391632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94834514251000 94834514251792 94834534559744 140735556400043 140735556400225 140735556400225 140735556407240 0
[pid=251739/tid=251750] ppid=251736 vsize=18975048 memory=232851243367 CPUtime=0 cores=0,2
/proc/251739/task/251750/stat : 251750 (Finalizer) S 251736 251739 250658 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 20598127 19430449152 16122 134679101440 94834514239488 94834514243184 140735556391632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94834514251000 94834514251792 94834534559744 140735556400043 140735556400225 140735556400225 140735556407240 0
[pid=251739/tid=251757] ppid=251736 vsize=18975048 memory=14130048089961189 CPUtime=0 cores=0,2
/proc/251739/task/251757/stat : 251757 (Common-Cleaner) S 251736 251739 250658 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 20598127 19430449152 16122 134679101440 94834514239488 94834514243184 140735556391632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94834514251000 94834514251792 94834534559744 140735556400043 140735556400225 140735556400225 140735556407240 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 64488 KiB

[startup+0.20923 s]*
/proc/loadavg: 4.00 4.10 4.07 7/332 251758
/proc/meminfo: memFree=110978704/131524600 swapFree=131071728/131071996
[pid=251739] ppid=251736 vsize=19041612 memory=72452 CPUtime=0.32 cores=0,2
/proc/251739/stat : 251739 (java) S 251736 251739 250658 0 -1 1077936128 8227 0 0 0 30 2 0 0 20 0 19 0 20598124 19498610688 18113 134679101440 94834514239488 94834514243184 140735556391632 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94834514251000 94834514251792 94834534559744 140735556400043 140735556400225 140735556400225 140735556407240 0
/proc/251739/statm: 4760403 18113 5763 1 0 550162 0
[pid=251739/tid=251741] ppid=251736 vsize=19041612 memory=4782652875487838339 CPUtime=0.16 cores=0,2
/proc/251739/task/251741/stat : 251741 (java) R 251736 251739 250658 0 -1 4194368 5994 0 0 0 15 1 0 0 20 0 19 0 20598124 19498610688 18113 134679101440 94834514239488 94834514243184 140735556391632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94834514251000 94834514251792 94834534559744 140735556400043 140735556400225 140735556400225 140735556407240 0
[pid=251739/tid=251750] ppid=251736 vsize=19041612 memory=770575 CPUtime=0 cores=0,2
/proc/251739/task/251750/stat : 251750 (Finalizer) S 251736 251739 250658 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 20598127 19498610688 18113 134679101440 94834514239488 94834514243184 140735556391632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94834514251000 94834514251792 94834534559744 140735556400043 140735556400225 140735556400225 140735556407240 0
[pid=251739/tid=251757] ppid=251736 vsize=19041612 memory=15816698926204594 CPUtime=0 cores=0,2
/proc/251739/task/251757/stat : 251757 (Common-Cleaner) S 251736 251739 250658 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 20598127 19498610688 18113 134679101440 94834514239488 94834514243184 140735556391632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94834514251000 94834514251792 94834534559744 140735556400043 140735556400225 140735556400225 140735556407240 0
[pid=251739/tid=251758] ppid=251736 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/251739/task/251758/stat : 251758 (Timer-0) S 251736 251739 250658 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 20598140 19498610688 18113 134679101440 94834514239488 94834514243184 140735556391632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94834514251000 94834514251792 94834534559744 140735556400043 140735556400225 140735556400225 140735556407240 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 72452 KiB

[startup+0.315218 s]*
/proc/loadavg: 4.00 4.10 4.07 8/332 251758
/proc/meminfo: memFree=110963336/131524600 swapFree=131071728/131071996
[pid=251739] ppid=251736 vsize=19041612 memory=86412 CPUtime=0.52 cores=0,2
/proc/251739/stat : 251739 (java) S 251736 251739 250658 0 -1 1077936128 10459 0 0 0 50 2 0 0 20 0 19 0 20598124 19498610688 21603 134679101440 94834514239488 94834514243184 140735556391632 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94834514251000 94834514251792 94834534559744 140735556400043 140735556400225 140735556400225 140735556407240 0
/proc/251739/statm: 4760403 21603 5763 1 0 551560 0
[pid=251739/tid=251741] ppid=251736 vsize=19041612 memory=-8744410939473502908 CPUtime=0.25 cores=0,2
/proc/251739/task/251741/stat : 251741 (java) R 251736 251739 250658 0 -1 4194368 6011 0 0 0 24 1 0 0 20 0 19 0 20598124 19498610688 21603 134679101440 94834514239488 94834514243184 140735556391632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94834514251000 94834514251792 94834534559744 140735556400043 140735556400225 140735556400225 140735556407240 0
[pid=251739/tid=251750] ppid=251736 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/251739/task/251750/stat : 251750 (Finalizer) S 251736 251739 250658 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 20598127 19498610688 21603 134679101440 94834514239488 94834514243184 140735556391632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94834514251000 94834514251792 94834534559744 140735556400043 140735556400225 140735556400225 140735556407240 0
[pid=251739/tid=251757] ppid=251736 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/251739/task/251757/stat : 251757 (Common-Cleaner) S 251736 251739 250658 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 20598127 19498610688 21603 134679101440 94834514239488 94834514243184 140735556391632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94834514251000 94834514251792 94834534559744 140735556400043 140735556400225 140735556400225 140735556407240 0
[pid=251739/tid=251758] ppid=251736 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/251739/task/251758/stat : 251758 (Timer-0) S 251736 251739 250658 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 20598140 19498610688 21603 134679101440 94834514239488 94834514243184 140735556391632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94834514251000 94834514251792 94834534559744 140735556400043 140735556400225 140735556400225 140735556407240 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 86412 KiB

[startup+0.701219 s]
/proc/loadavg: 4.00 4.10 4.07 6/332 251758
/proc/meminfo: memFree=110934460/131524600 swapFree=131071728/131071996
[pid=251739] ppid=251736 vsize=19041612 memory=146240 CPUtime=1.27 cores=0,2
/proc/251739/stat : 251739 (java) S 251736 251739 250658 0 -1 1077936128 12171 0 0 0 123 4 0 0 20 0 19 0 20598124 19498610688 36560 134679101440 94834514239488 94834514243184 140735556391632 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94834514251000 94834514251792 94834534559744 140735556400043 140735556400225 140735556400225 140735556407240 0
/proc/251739/statm: 4760403 36560 5800 1 0 552459 0
[pid=251739/tid=251741] ppid=251736 vsize=19041612 memory=72092 CPUtime=0.6 cores=0,2
/proc/251739/task/251741/stat : 251741 (java) R 251736 251739 250658 0 -1 4194368 6049 0 0 0 57 3 0 0 20 0 19 0 20598124 19498610688 36560 134679101440 94834514239488 94834514243184 140735556391632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94834514251000 94834514251792 94834534559744 140735556400043 140735556400225 140735556400225 140735556407240 0
[pid=251739/tid=251750] ppid=251736 vsize=19041612 memory=12264 CPUtime=0 cores=0,2
/proc/251739/task/251750/stat : 251750 (Finalizer) S 251736 251739 250658 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 20598127 19498610688 36560 134679101440 94834514239488 94834514243184 140735556391632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94834514251000 94834514251792 94834534559744 140735556400043 140735556400225 140735556400225 140735556407240 0
[pid=251739/tid=251757] ppid=251736 vsize=19041612 memory=2248 CPUtime=0 cores=0,2
/proc/251739/task/251757/stat : 251757 (Common-Cleaner) S 251736 251739 250658 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 20598127 19498610688 36560 134679101440 94834514239488 94834514243184 140735556391632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94834514251000 94834514251792 94834534559744 140735556400043 140735556400225 140735556400225 140735556407240 0
[pid=251739/tid=251758] ppid=251736 vsize=19041612 memory=25948 CPUtime=0 cores=0,2
/proc/251739/task/251758/stat : 251758 (Timer-0) S 251736 251739 250658 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 20598140 19498610688 36560 134679101440 94834514239488 94834514243184 140735556391632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94834514251000 94834514251792 94834534559744 140735556400043 140735556400225 140735556400225 140735556407240 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 146240 KiB

[startup+1.50624 s]
/proc/loadavg: 4.00 4.10 4.07 6/333 251759
/proc/meminfo: memFree=110868520/131524600 swapFree=131071728/131071996
[pid=251739] ppid=251736 vsize=19108176 memory=179096 CPUtime=2.87 cores=0,2
/proc/251739/stat : 251739 (java) S 251736 251739 250658 0 -1 1077936128 20622 0 0 0 281 6 0 0 20 0 20 0 20598124 19566772224 44774 134679101440 94834514239488 94834514243184 140735556391632 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94834514251000 94834514251792 94834534559744 140735556400043 140735556400225 140735556400225 140735556407240 0
/proc/251739/statm: 4777044 44774 5816 1 0 554570 0
[pid=251739/tid=251741] ppid=251736 vsize=19108176 memory=12264 CPUtime=1.37 cores=0,2
/proc/251739/task/251741/stat : 251741 (java) R 251736 251739 250658 0 -1 4194368 6379 0 0 0 134 3 0 0 20 0 20 0 20598124 19566772224 44774 134679101440 94834514239488 94834514243184 140735556391632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94834514251000 94834514251792 94834534559744 140735556400043 140735556400225 140735556400225 140735556407240 0
[pid=251739/tid=251750] ppid=251736 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/251739/task/251750/stat : 251750 (Finalizer) S 251736 251739 250658 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20598127 19566772224 44774 134679101440 94834514239488 94834514243184 140735556391632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94834514251000 94834514251792 94834534559744 140735556400043 140735556400225 140735556400225 140735556407240 0
[pid=251739/tid=251757] ppid=251736 vsize=19108176 memory=2248 CPUtime=0 cores=0,2
/proc/251739/task/251757/stat : 251757 (Common-Cleaner) S 251736 251739 250658 0 -1 1077936192 44 0 0 0 0 0 0 0 20 0 20 0 20598127 19566772224 44774 134679101440 94834514239488 94834514243184 140735556391632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94834514251000 94834514251792 94834534559744 140735556400043 140735556400225 140735556400225 140735556407240 0
[pid=251739/tid=251758] ppid=251736 vsize=19108176 memory=25948 CPUtime=0 cores=0,2
/proc/251739/task/251758/stat : 251758 (Timer-0) S 251736 251739 250658 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20598140 19566772224 44774 134679101440 94834514239488 94834514243184 140735556391632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94834514251000 94834514251792 94834534559744 140735556400043 140735556400225 140735556400225 140735556407240 0
Current children cumulated CPU time: 2.87 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 179096 KiB

[startup+3.10622 s]
/proc/loadavg: 4.00 4.10 4.07 4/333 251760
/proc/meminfo: memFree=110825844/131524600 swapFree=131071728/131071996
[pid=251739] ppid=251736 vsize=19108176 memory=196064 CPUtime=4.94 cores=0,2
/proc/251739/stat : 251739 (java) S 251736 251739 250658 0 -1 1077936128 22171 0 0 0 486 8 0 0 20 0 20 0 20598124 19566772224 49016 134679101440 94834514239488 94834514243184 140735556391632 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94834514251000 94834514251792 94834534559744 140735556400043 140735556400225 140735556400225 140735556407240 0
/proc/251739/statm: 4777044 49016 5816 1 0 554588 0
[pid=251739/tid=251741] ppid=251736 vsize=19108176 memory=0 CPUtime=2.96 cores=0,2
/proc/251739/task/251741/stat : 251741 (java) R 251736 251739 250658 0 -1 4194368 6870 0 0 0 291 5 0 0 20 0 20 0 20598124 19566772224 49016 134679101440 94834514239488 94834514243184 140735556391632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94834514251000 94834514251792 94834534559744 140735556400043 140735556400225 140735556400225 140735556407240 0
[pid=251739/tid=251750] ppid=251736 vsize=19108176 memory=-8744410939473502908 CPUtime=0 cores=0,2
/proc/251739/task/251750/stat : 251750 (Finalizer) S 251736 251739 250658 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20598127 19566772224 49016 134679101440 94834514239488 94834514243184 140735556391632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94834514251000 94834514251792 94834534559744 140735556400043 140735556400225 140735556400225 140735556407240 0
[pid=251739/tid=251757] ppid=251736 vsize=19108176 memory=12264 CPUtime=0 cores=0,2
/proc/251739/task/251757/stat : 251757 (Common-Cleaner) S 251736 251739 250658 0 -1 1077936192 44 0 0 0 0 0 0 0 20 0 20 0 20598127 19566772224 49016 134679101440 94834514239488 94834514243184 140735556391632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94834514251000 94834514251792 94834534559744 140735556400043 140735556400225 140735556400225 140735556407240 0
[pid=251739/tid=251758] ppid=251736 vsize=19108176 memory=2248 CPUtime=0 cores=0,2
/proc/251739/task/251758/stat : 251758 (Timer-0) S 251736 251739 250658 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20598140 19566772224 49016 134679101440 94834514239488 94834514243184 140735556391632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94834514251000 94834514251792 94834534559744 140735556400043 140735556400225 140735556400225 140735556407240 0
Current children cumulated CPU time: 4.94 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 196064 KiB

[startup+6.30623 s]
/proc/loadavg: 4.00 4.10 4.07 5/333 251760
/proc/meminfo: memFree=110585256/131524600 swapFree=131071728/131071996
[pid=251739] ppid=251736 vsize=19108176 memory=405136 CPUtime=8.37 cores=0,2
/proc/251739/stat : 251739 (java) S 251736 251739 250658 0 -1 1077936128 25145 0 0 0 822 15 0 0 20 0 20 0 20598124 19566772224 101284 134679101440 94834514239488 94834514243184 140735556391632 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94834514251000 94834514251792 94834534559744 140735556400043 140735556400225 140735556400225 140735556407240 0
/proc/251739/statm: 4777044 101284 5816 1 0 554590 0
[pid=251739/tid=251741] ppid=251736 vsize=19108176 memory=2248 CPUtime=6.14 cores=0,2
/proc/251739/task/251741/stat : 251741 (java) R 251736 251739 250658 0 -1 4194368 7334 0 0 0 603 11 0 0 20 0 20 0 20598124 19566772224 101284 134679101440 94834514239488 94834514243184 140735556391632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94834514251000 94834514251792 94834534559744 140735556400043 140735556400225 140735556400225 140735556407240 0
[pid=251739/tid=251750] ppid=251736 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/251739/task/251750/stat : 251750 (Finalizer) S 251736 251739 250658 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20598127 19566772224 101284 134679101440 94834514239488 94834514243184 140735556391632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94834514251000 94834514251792 94834534559744 140735556400043 140735556400225 140735556400225 140735556407240 0
[pid=251739/tid=251757] ppid=251736 vsize=19108176 memory=12264 CPUtime=0 cores=0,2
/proc/251739/task/251757/stat : 251757 (Common-Cleaner) S 251736 251739 250658 0 -1 1077936192 44 0 0 0 0 0 0 0 20 0 20 0 20598127 19566772224 101284 134679101440 94834514239488 94834514243184 140735556391632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94834514251000 94834514251792 94834534559744 140735556400043 140735556400225 140735556400225 140735556407240 0
[pid=251739/tid=251758] ppid=251736 vsize=19108176 memory=-5158697563450915880 CPUtime=0 cores=0,2
/proc/251739/task/251758/stat : 251758 (Timer-0) S 251736 251739 250658 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20598140 19566772224 101284 134679101440 94834514239488 94834514243184 140735556391632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94834514251000 94834514251792 94834534559744 140735556400043 140735556400225 140735556400225 140735556407240 0
Current children cumulated CPU time: 8.37 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 405136 KiB

[startup+12.7003 s]
/proc/loadavg: 4.00 4.10 4.07 5/333 251763
/proc/meminfo: memFree=110060488/131524600 swapFree=131071728/131071996
[pid=251739] ppid=251736 vsize=19108176 memory=868068 CPUtime=14.77 cores=0,2
/proc/251739/stat : 251739 (java) S 251736 251739 250658 0 -1 1077936128 28824 0 0 0 1449 28 0 0 20 0 20 0 20598124 19566772224 217017 134679101440 94834514239488 94834514243184 140735556391632 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94834514251000 94834514251792 94834534559744 140735556400043 140735556400225 140735556400225 140735556407240 0
/proc/251739/statm: 4777044 217017 5816 1 0 554590 0
[pid=251739/tid=251741] ppid=251736 vsize=19108176 memory=12264 CPUtime=12.49 cores=0,2
/proc/251739/task/251741/stat : 251741 (java) R 251736 251739 250658 0 -1 4194368 8643 0 0 0 1226 23 0 0 20 0 20 0 20598124 19566772224 217017 134679101440 94834514239488 94834514243184 140735556391632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94834514251000 94834514251792 94834534559744 140735556400043 140735556400225 140735556400225 140735556407240 0
[pid=251739/tid=251750] ppid=251736 vsize=19108176 memory=716452 CPUtime=0 cores=0,2
/proc/251739/task/251750/stat : 251750 (Finalizer) S 251736 251739 250658 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20598127 19566772224 217017 134679101440 94834514239488 94834514243184 140735556391632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94834514251000 94834514251792 94834534559744 140735556400043 140735556400225 140735556400225 140735556407240 0
[pid=251739/tid=251757] ppid=251736 vsize=19108176 memory=72092 CPUtime=0 cores=0,2
/proc/251739/task/251757/stat : 251757 (Common-Cleaner) S 251736 251739 250658 0 -1 1077936192 44 0 0 0 0 0 0 0 20 0 20 0 20598127 19566772224 217017 134679101440 94834514239488 94834514243184 140735556391632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94834514251000 94834514251792 94834534559744 140735556400043 140735556400225 140735556400225 140735556407240 0
[pid=251739/tid=251758] ppid=251736 vsize=19108176 memory=12264 CPUtime=0 cores=0,2
/proc/251739/task/251758/stat : 251758 (Timer-0) S 251736 251739 250658 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20598140 19566772224 217017 134679101440 94834514239488 94834514243184 140735556391632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94834514251000 94834514251792 94834534559744 140735556400043 140735556400225 140735556400225 140735556407240 0
Current children cumulated CPU time: 14.77 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 868068 KiB

[startup+25.5003 s]
/proc/loadavg: 4.07 4.11 4.07 5/333 251764
/proc/meminfo: memFree=109488064/131524600 swapFree=131071728/131071996
[pid=251739] ppid=251736 vsize=19108176 memory=1324904 CPUtime=27.79 cores=0,2
/proc/251739/stat : 251739 (java) S 251736 251739 250658 0 -1 1077936128 35674 0 0 0 2736 43 0 0 20 0 20 0 20598124 19566772224 331226 134679101440 94834514239488 94834514243184 140735556391632 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94834514251000 94834514251792 94834534559744 140735556400043 140735556400225 140735556400225 140735556407240 0
/proc/251739/statm: 4777044 331226 5816 1 0 554590 0
[pid=251739/tid=251741] ppid=251736 vsize=19108176 memory=6943526294502006880 CPUtime=25.22 cores=0,2
/proc/251739/task/251741/stat : 251741 (java) R 251736 251739 250658 0 -1 4194368 10748 0 0 0 2484 38 0 0 20 0 20 0 20598124 19566772224 331226 134679101440 94834514239488 94834514243184 140735556391632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94834514251000 94834514251792 94834534559744 140735556400043 140735556400225 140735556400225 140735556407240 0
[pid=251739/tid=251750] ppid=251736 vsize=19108176 memory=11616 CPUtime=0 cores=0,2
/proc/251739/task/251750/stat : 251750 (Finalizer) S 251736 251739 250658 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20598127 19566772224 331226 134679101440 94834514239488 94834514243184 140735556391632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94834514251000 94834514251792 94834534559744 140735556400043 140735556400225 140735556400225 140735556407240 0
[pid=251739/tid=251757] ppid=251736 vsize=19108176 memory=3564 CPUtime=0 cores=0,2
/proc/251739/task/251757/stat : 251757 (Common-Cleaner) S 251736 251739 250658 0 -1 1077936192 44 0 0 0 0 0 0 0 20 0 20 0 20598127 19566772224 331226 134679101440 94834514239488 94834514243184 140735556391632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94834514251000 94834514251792 94834534559744 140735556400043 140735556400225 140735556400225 140735556407240 0
[pid=251739/tid=251758] ppid=251736 vsize=19108176 memory=12264 CPUtime=0 cores=0,2
/proc/251739/task/251758/stat : 251758 (Timer-0) S 251736 251739 250658 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20598140 19566772224 331226 134679101440 94834514239488 94834514243184 140735556391632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94834514251000 94834514251792 94834534559744 140735556400043 140735556400225 140735556400225 140735556407240 0
Current children cumulated CPU time: 27.79 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1324904 KiB

[startup+51.1058 s]
/proc/loadavg: 4.04 4.10 4.07 5/333 251767
/proc/meminfo: memFree=109162112/131524600 swapFree=131071728/131071996
[pid=251739] ppid=251736 vsize=19108176 memory=1335192 CPUtime=53.17 cores=0,2
/proc/251739/stat : 251739 (java) S 251736 251739 250658 0 -1 1077936128 42470 0 0 0 5263 54 0 0 20 0 20 0 20598124 19566772224 333798 134679101440 94834514239488 94834514243184 140735556391632 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94834514251000 94834514251792 94834534559744 140735556400043 140735556400225 140735556400225 140735556407240 0
/proc/251739/statm: 4777044 333798 5816 1 0 554590 0

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

/proc/251739/task/251750/stat : 251750 (Finalizer) S 251736 251739 250658 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20598127 19566772224 542497 134679101440 94834514239488 94834514243184 140735556391632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94834514251000 94834514251792 94834534559744 140735556400043 140735556400225 140735556400225 140735556407240 0
[pid=251739/tid=251757] ppid=251736 vsize=19108176 memory=2169988 CPUtime=0 cores=0,2
/proc/251739/task/251757/stat : 251757 (Common-Cleaner) S 251736 251739 250658 0 -1 1077936192 4414 0 0 0 0 0 0 0 20 0 20 0 20598127 19566772224 542497 134679101440 94834514239488 94834514243184 140735556391632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94834514251000 94834514251792 94834534559744 140735556400043 140735556400225 140735556400225 140735556407240 0
[pid=251739/tid=251758] ppid=251736 vsize=19108176 memory=2288 CPUtime=0 cores=0,2
/proc/251739/task/251758/stat : 251758 (Timer-0) S 251736 251739 250658 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20598140 19566772224 542497 134679101440 94834514239488 94834514243184 140735556391632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94834514251000 94834514251792 94834534559744 140735556400043 140735556400225 140735556400225 140735556407240 0
Current children cumulated CPU time: 3205.32 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2169988 KiB

[startup+3282.3 s]
/proc/loadavg: 4.11 4.13 4.09 5/338 253678
/proc/meminfo: memFree=101592668/131524600 swapFree=131071728/131071996
[pid=251739] ppid=251736 vsize=19108176 memory=2169988 CPUtime=3265.17 cores=0,2
/proc/251739/stat : 251739 (java) S 251736 251739 250658 0 -1 1077936128 184717 0 0 0 325714 803 0 0 20 0 20 0 20598124 19566772224 542497 134679101440 94834514239488 94834514243184 140735556391632 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94834514251000 94834514251792 94834534559744 140735556400043 140735556400225 140735556400225 140735556407240 0
/proc/251739/statm: 4777044 542497 5831 1 0 555800 0
[pid=251739/tid=251741] ppid=251736 vsize=19108176 memory=2169988 CPUtime=3250.74 cores=0,2
/proc/251739/task/251741/stat : 251741 (java) R 251736 251739 250658 0 -1 4194368 82136 0 0 0 324399 675 0 0 20 0 20 0 20598124 19566772224 542497 134679101440 94834514239488 94834514243184 140735556391632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 994 0 0 94834514251000 94834514251792 94834534559744 140735556400043 140735556400225 140735556400225 140735556407240 0
[pid=251739/tid=251750] ppid=251736 vsize=19108176 memory=2169988 CPUtime=0 cores=0,2
/proc/251739/task/251750/stat : 251750 (Finalizer) S 251736 251739 250658 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20598127 19566772224 542497 134679101440 94834514239488 94834514243184 140735556391632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94834514251000 94834514251792 94834534559744 140735556400043 140735556400225 140735556400225 140735556407240 0
[pid=251739/tid=251757] ppid=251736 vsize=19108176 memory=11616 CPUtime=0 cores=0,2
/proc/251739/task/251757/stat : 251757 (Common-Cleaner) S 251736 251739 250658 0 -1 1077936192 4497 0 0 0 0 0 0 0 20 0 20 0 20598127 19566772224 542497 134679101440 94834514239488 94834514243184 140735556391632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94834514251000 94834514251792 94834534559744 140735556400043 140735556400225 140735556400225 140735556407240 0
[pid=251739/tid=251758] ppid=251736 vsize=19108176 memory=2169988 CPUtime=0 cores=0,2
/proc/251739/task/251758/stat : 251758 (Timer-0) S 251736 251739 250658 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20598140 19566772224 542497 134679101440 94834514239488 94834514243184 140735556391632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94834514251000 94834514251792 94834534559744 140735556400043 140735556400225 140735556400225 140735556407240 0
Current children cumulated CPU time: 3265.17 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2169988 KiB

[startup+3342.3 s]
/proc/loadavg: 4.14 4.13 4.09 5/339 253705
/proc/meminfo: memFree=100917096/131524600 swapFree=131071728/131071996
[pid=251739] ppid=251736 vsize=19108176 memory=2169988 CPUtime=3325.02 cores=0,2
/proc/251739/stat : 251739 (java) S 251736 251739 250658 0 -1 1077936128 186157 0 0 0 331689 813 0 0 20 0 20 0 20598124 19566772224 542497 134679101440 94834514239488 94834514243184 140735556391632 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94834514251000 94834514251792 94834534559744 140735556400043 140735556400225 140735556400225 140735556407240 0
/proc/251739/statm: 4777044 542497 5831 1 0 555800 0
[pid=251739/tid=251741] ppid=251736 vsize=19108176 memory=2169988 CPUtime=3310.43 cores=0,2
/proc/251739/task/251741/stat : 251741 (java) R 251736 251739 250658 0 -1 4194368 83376 0 0 0 330360 683 0 0 20 0 20 0 20598124 19566772224 542497 134679101440 94834514239488 94834514243184 140735556391632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 997 0 0 94834514251000 94834514251792 94834534559744 140735556400043 140735556400225 140735556400225 140735556407240 0
[pid=251739/tid=251750] ppid=251736 vsize=19108176 memory=2169988 CPUtime=0 cores=0,2
/proc/251739/task/251750/stat : 251750 (Finalizer) S 251736 251739 250658 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20598127 19566772224 542497 134679101440 94834514239488 94834514243184 140735556391632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94834514251000 94834514251792 94834534559744 140735556400043 140735556400225 140735556400225 140735556407240 0
[pid=251739/tid=251757] ppid=251736 vsize=19108176 memory=2169988 CPUtime=0 cores=0,2
/proc/251739/task/251757/stat : 251757 (Common-Cleaner) S 251736 251739 250658 0 -1 1077936192 4518 0 0 0 0 0 0 0 20 0 20 0 20598127 19566772224 542497 134679101440 94834514239488 94834514243184 140735556391632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94834514251000 94834514251792 94834534559744 140735556400043 140735556400225 140735556400225 140735556407240 0
[pid=251739/tid=251758] ppid=251736 vsize=19108176 memory=5592 CPUtime=0 cores=0,2
/proc/251739/task/251758/stat : 251758 (Timer-0) S 251736 251739 250658 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20598140 19566772224 542497 134679101440 94834514239488 94834514243184 140735556391632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94834514251000 94834514251792 94834534559744 140735556400043 140735556400225 140735556400225 140735556407240 0
Current children cumulated CPU time: 3325.02 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2169988 KiB

[startup+3402.3 s]
/proc/loadavg: 4.29 4.17 4.11 5/338 253852
/proc/meminfo: memFree=104976680/131524600 swapFree=131071728/131071996
[pid=251739] ppid=251736 vsize=19108176 memory=2169988 CPUtime=3384.79 cores=0,2
/proc/251739/stat : 251739 (java) S 251736 251739 250658 0 -1 1077936128 189615 0 0 0 337656 823 0 0 20 0 20 0 20598124 19566772224 542497 134679101440 94834514239488 94834514243184 140735556391632 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94834514251000 94834514251792 94834534559744 140735556400043 140735556400225 140735556400225 140735556407240 0
/proc/251739/statm: 4777044 542497 5831 1 0 555800 0
[pid=251739/tid=251741] ppid=251736 vsize=19108176 memory=2169988 CPUtime=3369.89 cores=0,2
/proc/251739/task/251741/stat : 251741 (java) R 251736 251739 250658 0 -1 4194368 84812 0 0 0 336298 691 0 0 20 0 20 0 20598124 19566772224 542497 134679101440 94834514239488 94834514243184 140735556391632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 1010 0 0 94834514251000 94834514251792 94834534559744 140735556400043 140735556400225 140735556400225 140735556407240 0
[pid=251739/tid=251750] ppid=251736 vsize=19108176 memory=2169988 CPUtime=0 cores=0,2
/proc/251739/task/251750/stat : 251750 (Finalizer) S 251736 251739 250658 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20598127 19566772224 542497 134679101440 94834514239488 94834514243184 140735556391632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94834514251000 94834514251792 94834534559744 140735556400043 140735556400225 140735556400225 140735556407240 0
[pid=251739/tid=251757] ppid=251736 vsize=19108176 memory=2169988 CPUtime=0 cores=0,2
/proc/251739/task/251757/stat : 251757 (Common-Cleaner) S 251736 251739 250658 0 -1 1077936192 4579 0 0 0 0 0 0 0 20 0 20 0 20598127 19566772224 542497 134679101440 94834514239488 94834514243184 140735556391632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94834514251000 94834514251792 94834534559744 140735556400043 140735556400225 140735556400225 140735556407240 0
[pid=251739/tid=251758] ppid=251736 vsize=19108176 memory=2169988 CPUtime=0 cores=0,2
/proc/251739/task/251758/stat : 251758 (Timer-0) S 251736 251739 250658 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20598140 19566772224 542497 134679101440 94834514239488 94834514243184 140735556391632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94834514251000 94834514251792 94834534559744 140735556400043 140735556400225 140735556400225 140735556407240 0
Current children cumulated CPU time: 3384.79 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2169988 KiB

[startup+3462.3 s]
/proc/loadavg: 4.40 4.25 4.14 6/338 253863
/proc/meminfo: memFree=104150504/131524600 swapFree=131071728/131071996
[pid=251739] ppid=251736 vsize=19108176 memory=2172040 CPUtime=3444.13 cores=0,2
/proc/251739/stat : 251739 (java) S 251736 251739 250658 0 -1 1077936128 192220 0 0 0 343581 832 0 0 20 0 20 0 20598124 19566772224 543010 134679101440 94834514239488 94834514243184 140735556391632 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94834514251000 94834514251792 94834534559744 140735556400043 140735556400225 140735556400225 140735556407240 0
/proc/251739/statm: 4777044 543010 5831 1 0 555800 0
[pid=251739/tid=251741] ppid=251736 vsize=19108176 memory=2169988 CPUtime=3429.06 cores=0,2
/proc/251739/task/251741/stat : 251741 (java) R 251736 251739 250658 0 -1 4194368 86032 0 0 0 342208 698 0 0 20 0 20 0 20598124 19566772224 543010 134679101440 94834514239488 94834514243184 140735556391632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 1026 0 0 94834514251000 94834514251792 94834534559744 140735556400043 140735556400225 140735556400225 140735556407240 0
[pid=251739/tid=251750] ppid=251736 vsize=19108176 memory=72196 CPUtime=0 cores=0,2
/proc/251739/task/251750/stat : 251750 (Finalizer) S 251736 251739 250658 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20598127 19566772224 543010 134679101440 94834514239488 94834514243184 140735556391632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94834514251000 94834514251792 94834534559744 140735556400043 140735556400225 140735556400225 140735556407240 0
[pid=251739/tid=251757] ppid=251736 vsize=19108176 memory=2169988 CPUtime=0 cores=0,2
/proc/251739/task/251757/stat : 251757 (Common-Cleaner) S 251736 251739 250658 0 -1 1077936192 4677 0 0 0 0 0 0 0 20 0 20 0 20598127 19566772224 543010 134679101440 94834514239488 94834514243184 140735556391632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94834514251000 94834514251792 94834534559744 140735556400043 140735556400225 140735556400225 140735556407240 0
[pid=251739/tid=251758] ppid=251736 vsize=19108176 memory=2172040 CPUtime=0 cores=0,2
/proc/251739/task/251758/stat : 251758 (Timer-0) S 251736 251739 250658 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20598140 19566772224 543010 134679101440 94834514239488 94834514243184 140735556391632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94834514251000 94834514251792 94834534559744 140735556400043 140735556400225 140735556400225 140735556407240 0
Current children cumulated CPU time: 3444.13 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2172040 KiB

[startup+3522.3 s]
/proc/loadavg: 4.24 4.24 4.14 5/337 253873
/proc/meminfo: memFree=103392984/131524600 swapFree=131071728/131071996
[pid=251739] ppid=251736 vsize=19108176 memory=2172040 CPUtime=3503.76 cores=0,2
/proc/251739/stat : 251739 (java) S 251736 251739 250658 0 -1 1077936128 193998 0 0 0 349534 842 0 0 20 0 20 0 20598124 19566772224 543010 134679101440 94834514239488 94834514243184 140735556391632 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94834514251000 94834514251792 94834534559744 140735556400043 140735556400225 140735556400225 140735556407240 0
/proc/251739/statm: 4777044 543010 5831 1 0 555800 0
[pid=251739/tid=251741] ppid=251736 vsize=19108176 memory=2169988 CPUtime=3488.51 cores=0,2
/proc/251739/task/251741/stat : 251741 (java) R 251736 251739 250658 0 -1 4194368 87571 0 0 0 348144 707 0 0 20 0 20 0 20598124 19566772224 543010 134679101440 94834514239488 94834514243184 140735556391632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 1040 0 0 94834514251000 94834514251792 94834534559744 140735556400043 140735556400225 140735556400225 140735556407240 0
[pid=251739/tid=251750] ppid=251736 vsize=19108176 memory=2169988 CPUtime=0 cores=0,2
/proc/251739/task/251750/stat : 251750 (Finalizer) S 251736 251739 250658 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20598127 19566772224 543010 134679101440 94834514239488 94834514243184 140735556391632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94834514251000 94834514251792 94834534559744 140735556400043 140735556400225 140735556400225 140735556407240 0
[pid=251739/tid=251757] ppid=251736 vsize=19108176 memory=72196 CPUtime=0 cores=0,2
/proc/251739/task/251757/stat : 251757 (Common-Cleaner) S 251736 251739 250658 0 -1 1077936192 4740 0 0 0 0 0 0 0 20 0 20 0 20598127 19566772224 543010 134679101440 94834514239488 94834514243184 140735556391632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94834514251000 94834514251792 94834534559744 140735556400043 140735556400225 140735556400225 140735556407240 0
[pid=251739/tid=251758] ppid=251736 vsize=19108176 memory=11616 CPUtime=0 cores=0,2
/proc/251739/task/251758/stat : 251758 (Timer-0) S 251736 251739 250658 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20598140 19566772224 543010 134679101440 94834514239488 94834514243184 140735556391632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94834514251000 94834514251792 94834534559744 140735556400043 140735556400225 140735556400225 140735556407240 0
Current children cumulated CPU time: 3503.76 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2172040 KiB

[startup+3582.3 s]
/proc/loadavg: 4.13 4.21 4.13 5/336 253884
/proc/meminfo: memFree=102849216/131524600 swapFree=131071728/131071996
[pid=251739] ppid=251736 vsize=19108176 memory=2172048 CPUtime=3562.43 cores=0,2
/proc/251739/stat : 251739 (java) S 251736 251739 250658 0 -1 1077936128 197183 0 0 0 355393 850 0 0 20 0 20 0 20598124 19566772224 543012 134679101440 94834514239488 94834514243184 140735556391632 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94834514251000 94834514251792 94834534559744 140735556400043 140735556400225 140735556400225 140735556407240 0
/proc/251739/statm: 4777044 543012 5831 1 0 555800 0
[pid=251739/tid=251741] ppid=251736 vsize=19108176 memory=2172048 CPUtime=3546.91 cores=0,2
/proc/251739/task/251741/stat : 251741 (java) R 251736 251739 250658 0 -1 4194368 88731 0 0 0 353978 713 0 0 20 0 20 0 20598124 19566772224 543012 134679101440 94834514239488 94834514243184 140735556391632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 1168 0 0 94834514251000 94834514251792 94834534559744 140735556400043 140735556400225 140735556400225 140735556407240 0
[pid=251739/tid=251750] ppid=251736 vsize=19108176 memory=11616 CPUtime=0 cores=0,2
/proc/251739/task/251750/stat : 251750 (Finalizer) S 251736 251739 250658 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20598127 19566772224 543012 134679101440 94834514239488 94834514243184 140735556391632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94834514251000 94834514251792 94834534559744 140735556400043 140735556400225 140735556400225 140735556407240 0
[pid=251739/tid=251757] ppid=251736 vsize=19108176 memory=2172048 CPUtime=0 cores=0,2
/proc/251739/task/251757/stat : 251757 (Common-Cleaner) S 251736 251739 250658 0 -1 1077936192 4802 0 0 0 0 0 0 0 20 0 20 0 20598127 19566772224 543012 134679101440 94834514239488 94834514243184 140735556391632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94834514251000 94834514251792 94834534559744 140735556400043 140735556400225 140735556400225 140735556407240 0
[pid=251739/tid=251758] ppid=251736 vsize=19108176 memory=11616 CPUtime=0 cores=0,2
/proc/251739/task/251758/stat : 251758 (Timer-0) S 251736 251739 250658 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20598140 19566772224 543012 134679101440 94834514239488 94834514243184 140735556391632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94834514251000 94834514251792 94834534559744 140735556400043 140735556400225 140735556400225 140735556407240 0
Current children cumulated CPU time: 3562.43 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2172048 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3620.11 s]
/proc/loadavg: 4.20 4.21 4.14 5/334 253890
/proc/meminfo: memFree=102416784/131524600 swapFree=131071728/131071996
[pid=251739] ppid=251736 vsize=19108176 memory=2172048 CPUtime=3600.09 cores=0,2
/proc/251739/stat : 251739 (java) S 251736 251739 250658 0 -1 1077936128 198218 0 0 0 359154 855 0 0 20 0 20 0 20598124 19566772224 543012 134679101440 94834514239488 94834514243184 140735556391632 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94834514251000 94834514251792 94834534559744 140735556400043 140735556400225 140735556400225 140735556407240 0
/proc/251739/statm: 4777044 543012 5831 1 0 555800 0
[pid=251739/tid=251741] ppid=251736 vsize=19108176 memory=2169988 CPUtime=3584.56 cores=0,2
/proc/251739/task/251741/stat : 251741 (java) R 251736 251739 250658 0 -1 4194368 89522 0 0 0 357739 717 0 0 20 0 20 0 20598124 19566772224 543012 134679101440 94834514239488 94834514243184 140735556391632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 1171 0 0 94834514251000 94834514251792 94834534559744 140735556400043 140735556400225 140735556400225 140735556407240 0
[pid=251739/tid=251750] ppid=251736 vsize=19108176 memory=2172048 CPUtime=0 cores=0,2
/proc/251739/task/251750/stat : 251750 (Finalizer) S 251736 251739 250658 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20598127 19566772224 543012 134679101440 94834514239488 94834514243184 140735556391632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94834514251000 94834514251792 94834534559744 140735556400043 140735556400225 140735556400225 140735556407240 0
[pid=251739/tid=251757] ppid=251736 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/251739/task/251757/stat : 251757 (Common-Cleaner) S 251736 251739 250658 0 -1 1077936192 4863 0 0 0 0 0 0 0 20 0 20 0 20598127 19566772224 543012 134679101440 94834514239488 94834514243184 140735556391632 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94834514251000 94834514251792 94834534559744 140735556400043 140735556400225 140735556400225 140735556407240 0
[pid=251739/tid=251758] ppid=251736 vsize=19108176 memory=2172048 CPUtime=0 cores=0,2
/proc/251739/task/251758/stat : 251758 (Timer-0) S 251736 251739 250658 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20598140 19566772224 543012 134679101440 94834514239488 94834514243184 140735556391632 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94834514251000 94834514251792 94834534559744 140735556400043 140735556400225 140735556400225 140735556407240 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2172048 KiB

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

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

# cumulated CPU time of all completed processes:  user=3591.66 s, system=8.56947 s

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

[startup+3620.21 s]*
/proc/loadavg: 4.20 4.21 4.14 5/315 253893
/proc/meminfo: memFree=104568788/131524600 swapFree=131071728/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): 3620.21
CPU time (s): 3600.23
CPU user time (s): 3591.66
CPU system time (s): 8.56947
CPU usage (%): 99.4481
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 2172048

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.66
system time used= 8.56947
maximum resident set size= 2173912
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 202054
page faults= 0
swaps= 0
block input operations= 0
block output operations= 7025688
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 110013
involuntary context switches= 30621


# summary of solver processes directly reported to runsolver:
#   pid: 251739
#   total CPU time (s): 3600.23
#   total CPU user time (s): 3591.66
#   total CPU system time (s): 8.56947

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.63672 second user time and 19.0952 second system time

The end

Launcher Data 

Begin job on nodeC024 at 2024-07-24 19:05:51
IDJOB=4451662
IDBENCH=162593
IDSOLVER=3079
FILE ID=nodeC024/4451662-1721840751
RUNJOBID= nodeC024-1721840221-250668
SLURM_JOB_ID= 7891548
Free space on /tmp= 890080 MiB

SOLVER NAME= Sat4j Resolution 2024 2024-07-07
BENCH NAME= PB24/normalized-PB16/DEC-LIN/elffers/rand6reg/normalized-rand6reg-v081-n1.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-4451662-1721840751/watcher-4451662-1721840751 -o /tmp/evaluation-result-4451662-1721840751/solver-4451662-1721840751 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1721840221-250668 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4451662-1721840751 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4451662-1721840751.opb

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

MD5SUM BENCH= 094ef2080fcb5c00ba6533ba0fd987cd
RANDOM SEED=766184161

nodeC024.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		: 3614.375
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		: 3687.929
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.58
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		: 3644.065
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		: 3600.311
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.58
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		: 3677.731
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		: 3688.060
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.58
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		: 3600.314
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		: 3600.201
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.58
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        111031056 kB
MemAvailable:   125266088 kB
Buffers:          266116 kB
Cached:         14725740 kB
SwapCached:           92 kB
Active:          2669688 kB
Inactive:       17055172 kB
Active(anon):       1556 kB
Inactive(anon):  4785520 kB
Active(file):    2668132 kB
Inactive(file): 12269652 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071728 kB
Dirty:             76576 kB
Writeback:           224 kB
AnonPages:       4732356 kB
Mapped:           139136 kB
Shmem:             54012 kB
KReclaimable:     274144 kB
Slab:             400468 kB
SReclaimable:     274144 kB
SUnreclaim:       126324 kB
KernelStack:        5008 kB
PageTables:        19120 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    7408504 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            20032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4470784 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:      408276 kB
DirectMap2M:    48648192 kB
DirectMap1G:    87031808 kB

Free space on /tmp at the end= 890076 MiB
End job on nodeC024 at 2024-07-24 20:06:12