Trace number 4442894

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j Resolution Default 2024-07-07? (TO) 3600.2 3579.24

General information on the benchmark

NamePB24/normalized-PB06/DEC-LIN/
submitted-PB06/roussel/normalized-pigeon-clauses-55-50.opb
MD5SUM447851c4fd40c5c34c03bb94532f1e8d
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 benchmark3.26785
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2750
Total number of constraints74305
Number of constraints which are clauses74305
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint50
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 51
Number of bits of the biggest sum of numbers6
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 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.09	c Free memory 		2106806208
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.12	--- Begin Solver configuration ---
0.13/0.12	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.12	Learn all clauses as in MiniSAT
0.13/0.12	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.12	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.12	No reason simplification
0.13/0.12	Glucose 2.1 dynamic restart strategy
0.13/0.12	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.12	timeout=2147483s
0.13/0.12	DB Simplification allowed=false
0.13/0.12	Listener: none
0.13/0.12	--- 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@5e91993f
0.13/0.13	c Learn all clauses as in MiniSAT
0.13/0.13	c LOGGER=java.util.logging.Logger@cac736f 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 No 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-4442894-1721308832.opb
0.13/0.13	c reading problem ... 
0.13/0.13	c  no objective function found
0.72/0.47	c ... done. Wall clock time 0.335s.
0.72/0.47	c declared #vars     2750
0.72/0.47	c #constraints  74305
0.72/0.47	c constraints type 
0.72/0.47	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 74250
0.72/0.47	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 55
0.72/0.47	c 74305 constraints processed.
3.02/1.66	c cleaning 2496 clauses out of 5000 with flag 33149/5000
4.11/2.58	c cleaning 4247 clauses out of 8506 with flag 72898/11002
5.44/3.89	c cleaning 5611 clauses out of 11257 with flag 120832/18000
6.51/4.85	c cleaning 6822 clauses out of 13647 with flag 171926/26001
7.90/6.20	c cleaning 7902 clauses out of 15826 with flag 232080/35002
10.13/8.22	c cleaning 8949 clauses out of 17923 with flag 315076/45001
12.79/10.89	c cleaning 9971 clauses out of 19974 with flag 400128/56001
16.75/14.70	c cleaning 10983 clauses out of 22002 with flag 499485/68000
21.37/19.37	c cleaning 11994 clauses out of 24019 with flag 609242/81000
26.04/23.96	c cleaning 12999 clauses out of 26025 with flag 723475/95000
32.00/29.81	c cleaning 13999 clauses out of 28026 with flag 837891/110000
38.17/35.91	c cleaning 15001 clauses out of 30029 with flag 957759/126002
42.04/39.78	c cleaning 16004 clauses out of 32031 with flag 1084394/143005
44.49/42.17	c cleaning 16999 clauses out of 34022 with flag 1211917/161000
47.14/44.76	c cleaning 18000 clauses out of 36023 with flag 1332995/180000
51.30/48.90	c cleaning 18988 clauses out of 38023 with flag 1479449/200000
54.91/52.40	c cleaning 19996 clauses out of 40037 with flag 1607833/221002
59.75/56.96	c cleaning 21008 clauses out of 42041 with flag 1751538/243002
63.92/61.03	c cleaning 21997 clauses out of 44033 with flag 1884133/266002
67.69/64.76	c cleaning 22985 clauses out of 46035 with flag 2040720/290001
75.88/72.88	c cleaning 23998 clauses out of 48049 with flag 2222101/315000
80.38/77.28	c cleaning 25016 clauses out of 50052 with flag 2387188/341001
88.53/85.40	c cleaning 26003 clauses out of 52035 with flag 2583948/368000
100.47/97.11	c cleaning 27000 clauses out of 54032 with flag 2791005/396000
111.27/107.84	c cleaning 28002 clauses out of 56032 with flag 2994612/425000
117.50/113.64	c cleaning 28990 clauses out of 58030 with flag 3198695/455000
125.11/121.10	c cleaning 29993 clauses out of 60041 with flag 3399908/486001
137.96/133.88	c cleaning 30997 clauses out of 62048 with flag 3646195/518001
151.23/147.01	c cleaning 32004 clauses out of 64050 with flag 3871360/551000
159.21/155.06	c cleaning 32992 clauses out of 66046 with flag 4060221/585000
166.45/162.18	c cleaning 34015 clauses out of 68054 with flag 4268078/620000
175.19/170.74	c cleaning 34985 clauses out of 70041 with flag 4478220/656002
182.91/178.30	c cleaning 35987 clauses out of 72054 with flag 4687181/693000
190.57/185.87	c cleaning 37010 clauses out of 74068 with flag 4905481/731001
227.64/222.32	c cleaning 38026 clauses out of 76057 with flag 5176251/770000
240.81/235.20	c cleaning 38994 clauses out of 78033 with flag 5508511/810002
267.34/261.50	c cleaning 40009 clauses out of 80039 with flag 5835106/851002
277.42/271.42	c cleaning 41000 clauses out of 82028 with flag 6113225/893000
284.77/278.61	c cleaning 41985 clauses out of 84028 with flag 6379268/936000
293.05/286.88	c cleaning 43003 clauses out of 86043 with flag 6653293/980000
304.01/297.70	c cleaning 43992 clauses out of 88040 with flag 6916789/1025000
314.85/308.33	c cleaning 45012 clauses out of 90051 with flag 7189258/1071003
329.42/322.31	c cleaning 46010 clauses out of 92037 with flag 7492401/1118001
341.09/333.96	c cleaning 46996 clauses out of 94027 with flag 7773781/1166001
352.36/344.92	c cleaning 47970 clauses out of 96030 with flag 8091531/1215000
364.08/356.55	c cleaning 49013 clauses out of 98060 with flag 8427136/1265000
398.50/390.86	c cleaning 50010 clauses out of 100047 with flag 8790570/1316000
437.17/429.28	c cleaning 51003 clauses out of 102039 with flag 9182142/1368002
471.23/463.06	c cleaning 51992 clauses out of 104034 with flag 9608000/1421000
513.02/504.72	c cleaning 53005 clauses out of 106043 with flag 10068135/1475001
538.02/529.40	c cleaning 54004 clauses out of 108039 with flag 10504078/1530002
552.97/544.26	c cleaning 55011 clauses out of 110033 with flag 10845612/1586000
571.55/562.02	c cleaning 55998 clauses out of 112022 with flag 11219193/1643000
611.15/601.33	c cleaning 56992 clauses out of 114025 with flag 11594030/1701001
655.27/645.34	c cleaning 57995 clauses out of 116033 with flag 12021328/1760001
787.78/777.54	c cleaning 59014 clauses out of 118038 with flag 12488798/1820001
820.86/810.35	c cleaning 59996 clauses out of 120023 with flag 12894261/1881000
860.34/849.78	c cleaning 60991 clauses out of 122028 with flag 13516809/1943001
910.00/899.27	c cleaning 62007 clauses out of 124036 with flag 14064545/2006000
953.32/942.42	c cleaning 63004 clauses out of 126029 with flag 14617515/2070000
1003.88/993.17	c cleaning 64002 clauses out of 128025 with flag 15111823/2135000
1067.18/1056.60	c cleaning 64997 clauses out of 130024 with flag 15588288/2201001
1088.30/1076.62	c cleaning 65991 clauses out of 132026 with flag 15991108/2268000
1118.48/1106.64	c cleaning 67014 clauses out of 134036 with flag 16435181/2336001
1137.71/1125.68	c cleaning 67997 clauses out of 136024 with flag 16874683/2405003
1163.27/1151.07	c cleaning 68997 clauses out of 138024 with flag 17312924/2475000
1185.61/1172.96	c cleaning 69997 clauses out of 140027 with flag 17770248/2546000
1211.23/1198.36	c cleaning 71005 clauses out of 142031 with flag 18243006/2618001
1240.05/1227.17	c cleaning 72001 clauses out of 144025 with flag 18684931/2691000
1269.18/1256.38	c cleaning 73008 clauses out of 146024 with flag 19131988/2765000
1296.34/1283.36	c cleaning 73996 clauses out of 148019 with flag 19631282/2840003
1323.74/1310.66	c cleaning 75009 clauses out of 150020 with flag 20100359/2916000
1353.02/1339.55	c cleaning 75989 clauses out of 152012 with flag 20586478/2993001
1392.85/1379.25	c cleaning 76995 clauses out of 154022 with flag 21053943/3071000
1431.95/1418.03	c cleaning 78001 clauses out of 156027 with flag 21581278/3150000
1471.10/1457.38	c cleaning 78998 clauses out of 158026 with flag 22052310/3230000
1503.85/1489.96	c cleaning 80001 clauses out of 160028 with flag 22569328/3311000
1531.15/1517.09	c cleaning 81006 clauses out of 162027 with flag 23122792/3393000
1569.19/1554.63	c cleaning 82011 clauses out of 164021 with flag 23643326/3476000
1608.41/1593.00	c cleaning 82995 clauses out of 166010 with flag 24146402/3560000
1648.46/1632.89	c cleaning 83999 clauses out of 168015 with flag 24658669/3645000
1687.91/1672.13	c cleaning 84999 clauses out of 170016 with flag 25208783/3731000
1725.79/1709.51	c cleaning 85995 clauses out of 172019 with flag 25767629/3818002
1764.02/1747.65	c cleaning 86998 clauses out of 174023 with flag 26337127/3906001
1812.64/1796.38	c cleaning 88007 clauses out of 176024 with flag 26879356/3995000
1867.92/1851.83	c cleaning 89007 clauses out of 178018 with flag 27400274/4085001
1914.40/1897.86	c cleaning 89982 clauses out of 180011 with flag 27966546/4176001
1965.11/1948.31	c cleaning 91002 clauses out of 182028 with flag 28569703/4268000
2017.98/2001.03	c cleaning 92008 clauses out of 184030 with flag 29129594/4361004
2070.54/2053.13	c cleaning 93002 clauses out of 186019 with flag 29699389/4455001
2130.36/2112.77	c cleaning 94004 clauses out of 188016 with flag 30258342/4550000
2173.36/2155.78	c cleaning 94995 clauses out of 190014 with flag 30862185/4646002
2233.44/2215.76	c cleaning 95995 clauses out of 192018 with flag 31475276/4743001
2279.09/2261.11	c cleaning 96993 clauses out of 194022 with flag 32099244/4841000
2337.87/2320.17	c cleaning 98000 clauses out of 196029 with flag 32699414/4940000
2394.59/2376.41	c cleaning 99001 clauses out of 198030 with flag 33312477/5040001
2458.67/2440.26	c cleaning 99996 clauses out of 200029 with flag 33924403/5141001
2527.12/2508.53	c cleaning 101017 clauses out of 202034 with flag 34534480/5243002
2582.68/2563.62	c cleaning 101987 clauses out of 204015 with flag 35191365/5346000
2648.02/2628.01	c cleaning 103004 clauses out of 206029 with flag 35832587/5450001
2714.95/2695.37	c cleaning 103998 clauses out of 208024 with flag 36490047/5555000
2775.11/2755.36	c cleaning 105009 clauses out of 210026 with flag 37152635/5661000
2842.66/2822.79	c cleaning 105994 clauses out of 212017 with flag 37819434/5768000
2917.08/2897.58	c cleaning 107006 clauses out of 214024 with flag 38475590/5876001
2987.51/2967.88	c cleaning 107999 clauses out of 216019 with flag 39146743/5985002
3063.28/3043.81	c cleaning 108995 clauses out of 218018 with flag 39828179/6095000
3143.39/3124.02	c cleaning 110004 clauses out of 220025 with flag 40504681/6206002
3223.25/3203.68	c cleaning 111005 clauses out of 222019 with flag 41190465/6318000
3291.07/3271.28	c cleaning 111997 clauses out of 224016 with flag 41929680/6431002
3373.92/3353.91	c cleaning 112999 clauses out of 226017 with flag 42657924/6545000
3462.95/3442.82	c cleaning 114000 clauses out of 228018 with flag 43359112/6660000
3546.00/3525.40	c cleaning 115001 clauses out of 230018 with flag 44082771/6776000
3600.04/3579.13	c starts		: 33492
3600.04/3579.13	c timeout
3600.04/3579.13	c conflicts		: 6865273
3600.04/3579.13	c decisions		: 58915995
3600.04/3579.13	c propagations		: 273857137
3600.04/3579.13	c inspects		: 27672167826
3600.04/3579.13	c shortcuts		: 0
3600.04/3579.13	c learnt literals	: 0
3600.04/3579.13	c learnt binary clauses	: 0
3600.04/3579.13	c learnt ternary clauses	: 0
3600.04/3579.13	c learnt constraints	: 6865273
3600.04/3579.13	c ignored constraints	: 0
3600.04/3579.13	c root simplifications	: 0
3600.04/3579.13	c removed literals (reason simplification)	: 0
3600.04/3579.13	c reason swapping (by a shorter reason)	: 0
3600.04/3579.13	c Calls to reduceDB	: 112
3600.04/3579.13	c Number of update (reduction) of LBD	: 3198901
3600.04/3579.13	c Imported unit clauses	: 0
3600.04/3579.13	c No decision after first conflict	: false
3600.04/3579.13	c number of reductions to clauses (during analyze)	: 0
3600.04/3579.13	c number of learned constraints concerned by reduction	: 0
3600.04/3579.13	c number of learning phase by resolution	: 0
3600.04/3579.13	c number of learning phase by cutting planes	: 0
3600.04/3579.13	c number of rounding to 1 operations	: 0
3600.04/3579.13	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.04/3579.13	c number of reductions of the coefficients by power 2 	: 0
3600.04/3579.13	c number of right shift for reduction by power 2 	: 0
3600.04/3579.13	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.04/3579.13	c number of ending skipping 	: 0
3600.04/3579.13	c number of internal skipping 	: 0
3600.04/3579.13	c number of derivation steps 	: 0
3600.04/3579.13	c number of skipped derivation steps 	: 0
3600.04/3579.13	c number of remaining unassigned 	: 0
3600.04/3579.13	c number of remaining assigned 	: 0
3600.04/3579.13	c number of falsified literals weakened from reason	: 0
3600.04/3579.13	c number of falsified literals weakened from conflict	: 0
3600.04/3579.13	c time for arithmetic operations	: 0
3600.04/3579.14	c minimum degree of deleted constraints	: null
3600.04/3579.14	c maximum degree of deleted constraints	: null
3600.04/3579.14	c number of deleted constraints	: 0
3600.04/3579.14	c speed (assignments/second)	: 76524.87936852482
3600.04/3579.14	c non guided choices	: 365006
3600.04/3579.20	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 204290
3600.04/3579.20	s UNKNOWN
3600.04/3579.20	c Total wall clock time (in seconds): 3579.072

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4442894-1721308832/watcher-4442894-1721308832 -o /tmp/evaluation-result-4442894-1721308832/solver-4442894-1721308832 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721305283-960572 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4442894-1721308832.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=962671, runsolver pid=962668

[startup+0.103995 s]*
/proc/loadavg: 4.27 4.22 4.19 6/331 962691
/proc/meminfo: memFree=90279436/131524600 swapFree=130798616/131071996
[pid=962671] ppid=962668 vsize=18975048 memory=63212 CPUtime=0.13 cores=4,6
/proc/962671/stat : 962671 (java) S 962668 962671 960561 0 -1 1077936128 7192 0 0 0 11 2 0 0 20 0 18 0 183042313 19430449152 15803 134679101440 93946968223744 93946968227440 140735687360544 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93946968235256 93946968236048 93946969567232 140735687369734 140735687369824 140735687369824 140735687376840 0
/proc/962671/statm: 4743762 15803 5704 1 0 549318 0
[pid=962671/tid=962673] ppid=962668 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=4,6
/proc/962671/task/962673/stat : 962673 (java) D 962668 962671 960561 0 -1 1078198336 5750 0 0 0 7 1 0 0 20 0 18 0 183042313 19430449152 15803 134679101440 93946968223744 93946968227440 140735687360544 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93946968235256 93946968236048 93946969567232 140735687369734 140735687369824 140735687369824 140735687376840 0
[pid=962671/tid=962682] ppid=962668 vsize=18975048 memory=237146210664 CPUtime=0 cores=4,6
/proc/962671/task/962682/stat : 962682 (Finalizer) S 962668 962671 960561 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 183042316 19430449152 15803 134679101440 93946968223744 93946968227440 140735687360544 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93946968235256 93946968236048 93946969567232 140735687369734 140735687369824 140735687369824 140735687376840 0
[pid=962671/tid=962689] ppid=962668 vsize=18975048 memory=14134446136991189 CPUtime=0 cores=4,6
/proc/962671/task/962689/stat : 962689 (Common-Cleaner) S 962668 962671 960561 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 183042316 19430449152 15803 134679101440 93946968223744 93946968227440 140735687360544 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93946968235256 93946968236048 93946969567232 140735687369734 140735687369824 140735687369824 140735687376840 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 63212 KiB

[startup+0.206553 s]*
/proc/loadavg: 4.27 4.22 4.19 7/331 962691
/proc/meminfo: memFree=90260924/131524600 swapFree=130798616/131071996
[pid=962671] ppid=962668 vsize=18975048 memory=82164 CPUtime=0.32 cores=4,6
/proc/962671/stat : 962671 (java) S 962668 962671 960561 0 -1 1077936128 7843 0 0 0 30 2 0 0 20 0 18 0 183042313 19430449152 20541 134679101440 93946968223744 93946968227440 140735687360544 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93946968235256 93946968236048 93946969567232 140735687369734 140735687369824 140735687369824 140735687376840 0
/proc/962671/statm: 4743762 20541 5829 1 0 549790 0
[pid=962671/tid=962673] ppid=962668 vsize=18975276 memory=4782652875487838339 CPUtime=0.18 cores=4,6
/proc/962671/task/962673/stat : 962673 (java) R 962668 962671 960561 0 -1 4194368 5917 0 0 0 16 2 0 0 20 0 18 0 183042313 19430682624 20541 134679101440 93946968223744 93946968227440 140735687360544 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93946968235256 93946968236048 93946969567232 140735687369734 140735687369824 140735687369824 140735687376840 0
[pid=962671/tid=962682] ppid=962668 vsize=18975276 memory=1285800 CPUtime=0 cores=4,6
/proc/962671/task/962682/stat : 962682 (Finalizer) S 962668 962671 960561 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 183042316 19430682624 20606 134679101440 93946968223744 93946968227440 140735687360544 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93946968235256 93946968236048 93946969567232 140735687369734 140735687369824 140735687369824 140735687376840 0
[pid=962671/tid=962689] ppid=962668 vsize=18975276 memory=13571496182286042 CPUtime=0 cores=4,6
/proc/962671/task/962689/stat : 962689 (Common-Cleaner) S 962668 962671 960561 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 183042316 19430682624 20606 134679101440 93946968223744 93946968227440 140735687360544 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93946968235256 93946968236048 93946969567232 140735687369734 140735687369824 140735687369824 140735687376840 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 82164 KiB

[startup+0.310553 s]*
/proc/loadavg: 4.27 4.22 4.19 7/332 962694
/proc/meminfo: memFree=90217980/131524600 swapFree=130798616/131071996
[pid=962671] ppid=962668 vsize=18975048 memory=124148 CPUtime=0.52 cores=4,6
/proc/962671/stat : 962671 (java) S 962668 962671 960561 0 -1 1077936128 9026 0 0 0 49 3 0 0 20 0 18 0 183042313 19430449152 31037 134679101440 93946968223744 93946968227440 140735687360544 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93946968235256 93946968236048 93946969567232 140735687369734 140735687369824 140735687369824 140735687376840 0
/proc/962671/statm: 4743762 31037 5829 1 0 550553 0
[pid=962671/tid=962673] ppid=962668 vsize=18975048 memory=-8599452421666939580 CPUtime=0.27 cores=4,6
/proc/962671/task/962673/stat : 962673 (java) R 962668 962671 960561 0 -1 4194368 5938 0 0 0 25 2 0 0 20 0 18 0 183042313 19430449152 31037 134679101440 93946968223744 93946968227440 140735687360544 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93946968235256 93946968236048 93946969567232 140735687369734 140735687369824 140735687369824 140735687376840 0
[pid=962671/tid=962682] ppid=962668 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/962671/task/962682/stat : 962682 (Finalizer) S 962668 962671 960561 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 183042316 19430449152 31037 134679101440 93946968223744 93946968227440 140735687360544 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93946968235256 93946968236048 93946969567232 140735687369734 140735687369824 140735687369824 140735687376840 0
[pid=962671/tid=962689] ppid=962668 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/962671/task/962689/stat : 962689 (Common-Cleaner) S 962668 962671 960561 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 183042316 19430449152 31037 134679101440 93946968223744 93946968227440 140735687360544 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93946968235256 93946968236048 93946969567232 140735687369734 140735687369824 140735687369824 140735687376840 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 124148 KiB

[startup+0.700552 s]
/proc/loadavg: 4.27 4.22 4.19 6/309 962704
/proc/meminfo: memFree=102604588/131524600 swapFree=130798616/131071996
[pid=962671] ppid=962668 vsize=19108176 memory=188980 CPUtime=1.28 cores=4,6
/proc/962671/stat : 962671 (java) S 962668 962671 960561 0 -1 1077936128 17166 0 0 0 122 6 0 0 20 0 20 0 183042313 19566772224 47245 134679101440 93946968223744 93946968227440 140735687360544 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93946968235256 93946968236048 93946969567232 140735687369734 140735687369824 140735687369824 140735687376840 0
/proc/962671/statm: 4777044 47245 5845 1 0 556723 0
[pid=962671/tid=962673] ppid=962668 vsize=19108176 memory=736 CPUtime=0.6 cores=4,6
/proc/962671/task/962673/stat : 962673 (java) R 962668 962671 960561 0 -1 4194368 6014 0 0 0 57 3 0 0 20 0 20 0 183042313 19566772224 47245 134679101440 93946968223744 93946968227440 140735687360544 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93946968235256 93946968236048 93946969567232 140735687369734 140735687369824 140735687369824 140735687376840 0
[pid=962671/tid=962682] ppid=962668 vsize=19108176 memory=4892 CPUtime=0 cores=4,6
/proc/962671/task/962682/stat : 962682 (Finalizer) S 962668 962671 960561 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183042316 19566772224 47245 134679101440 93946968223744 93946968227440 140735687360544 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93946968235256 93946968236048 93946969567232 140735687369734 140735687369824 140735687369824 140735687376840 0
[pid=962671/tid=962689] ppid=962668 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/962671/task/962689/stat : 962689 (Common-Cleaner) S 962668 962671 960561 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 183042316 19566772224 47245 134679101440 93946968223744 93946968227440 140735687360544 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93946968235256 93946968236048 93946969567232 140735687369734 140735687369824 140735687369824 140735687376840 0
[pid=962671/tid=962696] ppid=962668 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/962671/task/962696/stat : 962696 (Timer-0) S 962668 962671 960561 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183042360 19566772224 47245 134679101440 93946968223744 93946968227440 140735687360544 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93946968235256 93946968236048 93946969567232 140735687369734 140735687369824 140735687369824 140735687376840 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 188980 KiB

[startup+1.50055 s]
/proc/loadavg: 4.27 4.22 4.19 8/331 962759
/proc/meminfo: memFree=102542248/131524600 swapFree=130798616/131071996
[pid=962671] ppid=962668 vsize=19108176 memory=190608 CPUtime=2.84 cores=4,6
/proc/962671/stat : 962671 (java) S 962668 962671 960561 0 -1 1077936128 22551 0 0 0 278 6 0 0 20 0 20 0 183042313 19566772224 47652 134679101440 93946968223744 93946968227440 140735687360544 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93946968235256 93946968236048 93946969567232 140735687369734 140735687369824 140735687369824 140735687376840 0
/proc/962671/statm: 4777044 47652 5861 1 0 556728 0
[pid=962671/tid=962673] ppid=962668 vsize=19108176 memory=4892 CPUtime=1.39 cores=4,6
/proc/962671/task/962673/stat : 962673 (java) R 962668 962671 960561 0 -1 4194368 6101 0 0 0 136 3 0 0 20 0 20 0 183042313 19566772224 47652 134679101440 93946968223744 93946968227440 140735687360544 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93946968235256 93946968236048 93946969567232 140735687369734 140735687369824 140735687369824 140735687376840 0
[pid=962671/tid=962682] ppid=962668 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/962671/task/962682/stat : 962682 (Finalizer) S 962668 962671 960561 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183042316 19566772224 47652 134679101440 93946968223744 93946968227440 140735687360544 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93946968235256 93946968236048 93946969567232 140735687369734 140735687369824 140735687369824 140735687376840 0
[pid=962671/tid=962689] ppid=962668 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/962671/task/962689/stat : 962689 (Common-Cleaner) S 962668 962671 960561 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 183042316 19566772224 47652 134679101440 93946968223744 93946968227440 140735687360544 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93946968235256 93946968236048 93946969567232 140735687369734 140735687369824 140735687369824 140735687376840 0
[pid=962671/tid=962696] ppid=962668 vsize=19108176 memory=280919181272336 CPUtime=0 cores=4,6
/proc/962671/task/962696/stat : 962696 (Timer-0) S 962668 962671 960561 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183042360 19566772224 47652 134679101440 93946968223744 93946968227440 140735687360544 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93946968235256 93946968236048 93946969567232 140735687369734 140735687369824 140735687369824 140735687376840 0
Current children cumulated CPU time: 2.84 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 190608 KiB

[startup+3.10573 s]
/proc/loadavg: 4.25 4.22 4.18 7/332 962761
/proc/meminfo: memFree=102157124/131524600 swapFree=130798616/131071996
[pid=962671] ppid=962668 vsize=19108176 memory=211764 CPUtime=4.71 cores=4,6
/proc/962671/stat : 962671 (java) S 962668 962671 960561 0 -1 1077936128 24699 0 0 0 464 7 0 0 20 0 20 0 183042313 19566772224 52941 134679101440 93946968223744 93946968227440 140735687360544 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93946968235256 93946968236048 93946969567232 140735687369734 140735687369824 140735687369824 140735687376840 0
/proc/962671/statm: 4777044 52941 5861 1 0 556758 0
[pid=962671/tid=962673] ppid=962668 vsize=19108176 memory=0 CPUtime=2.94 cores=4,6
/proc/962671/task/962673/stat : 962673 (java) R 962668 962671 960561 0 -1 4194368 6996 0 0 0 291 3 0 0 20 0 20 0 183042313 19566772224 52941 134679101440 93946968223744 93946968227440 140735687360544 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93946968235256 93946968236048 93946969567232 140735687369734 140735687369824 140735687369824 140735687376840 0
[pid=962671/tid=962682] ppid=962668 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/962671/task/962682/stat : 962682 (Finalizer) S 962668 962671 960561 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183042316 19566772224 52941 134679101440 93946968223744 93946968227440 140735687360544 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93946968235256 93946968236048 93946969567232 140735687369734 140735687369824 140735687369824 140735687376840 0
[pid=962671/tid=962689] ppid=962668 vsize=19108176 memory=4892 CPUtime=0 cores=4,6
/proc/962671/task/962689/stat : 962689 (Common-Cleaner) S 962668 962671 960561 0 -1 1077936192 40 0 0 0 0 0 0 0 20 0 20 0 183042316 19566772224 52941 134679101440 93946968223744 93946968227440 140735687360544 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93946968235256 93946968236048 93946969567232 140735687369734 140735687369824 140735687369824 140735687376840 0
[pid=962671/tid=962696] ppid=962668 vsize=19108176 memory=7676 CPUtime=0 cores=4,6
/proc/962671/task/962696/stat : 962696 (Timer-0) S 962668 962671 960561 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183042360 19566772224 52941 134679101440 93946968223744 93946968227440 140735687360544 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93946968235256 93946968236048 93946969567232 140735687369734 140735687369824 140735687369824 140735687376840 0
Current children cumulated CPU time: 4.71 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 211764 KiB

[startup+6.30026 s]
/proc/loadavg: 4.25 4.22 4.18 5/333 962762
/proc/meminfo: memFree=102088176/131524600 swapFree=130798616/131071996
[pid=962671] ppid=962668 vsize=19108176 memory=283948 CPUtime=8 cores=4,6
/proc/962671/stat : 962671 (java) S 962668 962671 960561 0 -1 1077936128 25024 0 0 0 790 10 0 0 20 0 20 0 183042313 19566772224 70987 134679101440 93946968223744 93946968227440 140735687360544 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93946968235256 93946968236048 93946969567232 140735687369734 140735687369824 140735687369824 140735687376840 0
/proc/962671/statm: 4777044 70987 5861 1 0 556760 0
[pid=962671/tid=962673] ppid=962668 vsize=19108176 memory=0 CPUtime=6.06 cores=4,6
/proc/962671/task/962673/stat : 962673 (java) R 962668 962671 960561 0 -1 4194368 7006 0 0 0 603 3 0 0 20 0 20 0 183042313 19566772224 70987 134679101440 93946968223744 93946968227440 140735687360544 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93946968235256 93946968236048 93946969567232 140735687369734 140735687369824 140735687369824 140735687376840 0
[pid=962671/tid=962682] ppid=962668 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/962671/task/962682/stat : 962682 (Finalizer) S 962668 962671 960561 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183042316 19566772224 70987 134679101440 93946968223744 93946968227440 140735687360544 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93946968235256 93946968236048 93946969567232 140735687369734 140735687369824 140735687369824 140735687376840 0
[pid=962671/tid=962689] ppid=962668 vsize=19108176 memory=4892 CPUtime=0 cores=4,6
/proc/962671/task/962689/stat : 962689 (Common-Cleaner) S 962668 962671 960561 0 -1 1077936192 40 0 0 0 0 0 0 0 20 0 20 0 183042316 19566772224 70987 134679101440 93946968223744 93946968227440 140735687360544 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93946968235256 93946968236048 93946969567232 140735687369734 140735687369824 140735687369824 140735687376840 0
[pid=962671/tid=962696] ppid=962668 vsize=19108176 memory=4275085893349487 CPUtime=0 cores=4,6
/proc/962671/task/962696/stat : 962696 (Timer-0) S 962668 962671 960561 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183042360 19566772224 70987 134679101440 93946968223744 93946968227440 140735687360544 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93946968235256 93946968236048 93946969567232 140735687369734 140735687369824 140735687369824 140735687376840 0
Current children cumulated CPU time: 8 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 283948 KiB

[startup+12.7003 s]
/proc/loadavg: 4.23 4.22 4.18 5/333 962764
/proc/meminfo: memFree=101634476/131524600 swapFree=130798616/131071996
[pid=962671] ppid=962668 vsize=19108176 memory=509928 CPUtime=14.75 cores=4,6
/proc/962671/stat : 962671 (java) S 962668 962671 960561 0 -1 1077936128 27963 0 0 0 1462 13 0 0 20 0 20 0 183042313 19566772224 127482 134679101440 93946968223744 93946968227440 140735687360544 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93946968235256 93946968236048 93946969567232 140735687369734 140735687369824 140735687369824 140735687376840 0
/proc/962671/statm: 4777044 127482 5861 1 0 556760 0
[pid=962671/tid=962673] ppid=962668 vsize=19108176 memory=4892 CPUtime=12.23 cores=4,6
/proc/962671/task/962673/stat : 962673 (java) R 962668 962671 960561 0 -1 4194368 7738 0 0 0 1220 3 0 0 20 0 20 0 183042313 19566772224 127482 134679101440 93946968223744 93946968227440 140735687360544 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93946968235256 93946968236048 93946969567232 140735687369734 140735687369824 140735687369824 140735687376840 0
[pid=962671/tid=962682] ppid=962668 vsize=19108176 memory=436020 CPUtime=0 cores=4,6
/proc/962671/task/962682/stat : 962682 (Finalizer) S 962668 962671 960561 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183042316 19566772224 127482 134679101440 93946968223744 93946968227440 140735687360544 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93946968235256 93946968236048 93946969567232 140735687369734 140735687369824 140735687369824 140735687376840 0
[pid=962671/tid=962689] ppid=962668 vsize=19108176 memory=7676 CPUtime=0 cores=4,6
/proc/962671/task/962689/stat : 962689 (Common-Cleaner) S 962668 962671 960561 0 -1 1077936192 40 0 0 0 0 0 0 0 20 0 20 0 183042316 19566772224 127482 134679101440 93946968223744 93946968227440 140735687360544 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93946968235256 93946968236048 93946969567232 140735687369734 140735687369824 140735687369824 140735687376840 0
[pid=962671/tid=962696] ppid=962668 vsize=19108176 memory=1200 CPUtime=0 cores=4,6
/proc/962671/task/962696/stat : 962696 (Timer-0) S 962668 962671 960561 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183042360 19566772224 127482 134679101440 93946968223744 93946968227440 140735687360544 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93946968235256 93946968236048 93946969567232 140735687369734 140735687369824 140735687369824 140735687376840 0
Current children cumulated CPU time: 14.75 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 509928 KiB

[startup+25.5003 s]
/proc/loadavg: 4.26 4.22 4.19 5/333 962900
/proc/meminfo: memFree=113392108/131524600 swapFree=130798616/131071996
[pid=962671] ppid=962668 vsize=19108176 memory=816136 CPUtime=27.62 cores=4,6
/proc/962671/stat : 962671 (java) S 962668 962671 960561 0 -1 1077936128 30860 0 0 0 2742 20 0 0 20 0 20 0 183042313 19566772224 204034 134679101440 93946968223744 93946968227440 140735687360544 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93946968235256 93946968236048 93946969567232 140735687369734 140735687369824 140735687369824 140735687376840 0
/proc/962671/statm: 4777044 204034 5893 1 0 663278 0
[pid=962671/tid=962673] ppid=962668 vsize=19108176 memory=436020 CPUtime=24.75 cores=4,6
/proc/962671/task/962673/stat : 962673 (java) R 962668 962671 960561 0 -1 4194368 8497 0 0 0 2470 5 0 0 20 0 20 0 183042313 19566772224 204034 134679101440 93946968223744 93946968227440 140735687360544 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93946968235256 93946968236048 93946969567232 140735687369734 140735687369824 140735687369824 140735687376840 0
[pid=962671/tid=962682] ppid=962668 vsize=19108176 memory=411444 CPUtime=0 cores=4,6
/proc/962671/task/962682/stat : 962682 (Finalizer) S 962668 962671 960561 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183042316 19566772224 204034 134679101440 93946968223744 93946968227440 140735687360544 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93946968235256 93946968236048 93946969567232 140735687369734 140735687369824 140735687369824 140735687376840 0
[pid=962671/tid=962689] ppid=962668 vsize=19108176 memory=4892 CPUtime=0 cores=4,6
/proc/962671/task/962689/stat : 962689 (Common-Cleaner) S 962668 962671 960561 0 -1 1077936192 40 0 0 0 0 0 0 0 20 0 20 0 183042316 19566772224 204034 134679101440 93946968223744 93946968227440 140735687360544 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93946968235256 93946968236048 93946969567232 140735687369734 140735687369824 140735687369824 140735687376840 0
[pid=962671/tid=962696] ppid=962668 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/962671/task/962696/stat : 962696 (Timer-0) S 962668 962671 960561 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183042360 19566772224 204034 134679101440 93946968223744 93946968227440 140735687360544 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93946968235256 93946968236048 93946969567232 140735687369734 140735687369824 140735687369824 140735687376840 0
Current children cumulated CPU time: 27.62 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 816136 KiB

[startup+51.1056 s]
/proc/loadavg: 4.32 4.24 4.19 5/333 962904
/proc/meminfo: memFree=110479748/131524600 swapFree=130798616/131071996
[pid=962671] ppid=962668 vsize=19108176 memory=1385784 CPUtime=53.54 cores=4,6
/proc/962671/stat : 962671 (java) S 962668 962671 960561 0 -1 1077936128 36594 0 0 0 5323 31 0 0 20 0 20 0 183042313 19566772224 346446 134679101440 93946968223744 93946968227440 140735687360544 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93946968235256 93946968236048 93946969567232 140735687369734 140735687369824 140735687369824 140735687376840 0
/proc/962671/statm: 4777044 346446 5893 1 0 663279 0
[pid=962671/tid=962673] ppid=962668 vsize=19108176 memory=7676 CPUtime=49.66 cores=4,6
/proc/962671/task/962673/stat : 962673 (java) R 962668 962671 960561 0 -1 4194368 10356 0 0 0 4960 6 0 0 20 0 20 0 183042313 19566772224 346446 134679101440 93946968223744 93946968227440 140735687360544 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93946968235256 93946968236048 93946969567232 140735687369734 140735687369824 140735687369824 140735687376840 0
[pid=962671/tid=962682] ppid=962668 vsize=19108176 memory=1316152 CPUtime=0 cores=4,6
/proc/962671/task/962682/stat : 962682 (Finalizer) S 962668 962671 960561 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183042316 19566772224 346446 134679101440 93946968223744 93946968227440 140735687360544 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93946968235256 93946968236048 93946969567232 140735687369734 140735687369824 140735687369824 140735687376840 0

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

[startup+3222.3 s]
/proc/loadavg: 4.12 4.15 4.16 5/333 964956
/proc/meminfo: memFree=72887720/131524600 swapFree=130798872/131071996
[pid=962671] ppid=962668 vsize=19108176 memory=11969716 CPUtime=3241.91 cores=4,6
/proc/962671/stat : 962671 (java) S 962668 962671 960561 0 -1 1077936128 361452 0 0 0 323817 374 0 0 20 0 20 0 183042313 19566772224 2992429 134679101440 93946968223744 93946968227440 140735687360544 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93946968235256 93946968236048 93946969567232 140735687369734 140735687369824 140735687369824 140735687376840 0
/proc/962671/statm: 4777044 2992429 5893 1 0 3934830 0
[pid=962671/tid=962673] ppid=962668 vsize=19108176 memory=11969504 CPUtime=3177.24 cores=4,6
/proc/962671/task/962673/stat : 962673 (java) R 962668 962671 960561 0 -1 4194368 133927 0 0 0 317657 67 0 0 20 0 20 0 183042313 19566772224 2992429 134679101440 93946968223744 93946968227440 140735687360544 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 4 0 0 93946968235256 93946968236048 93946969567232 140735687369734 140735687369824 140735687369824 140735687376840 0
[pid=962671/tid=962682] ppid=962668 vsize=19108176 memory=11969716 CPUtime=0 cores=4,6
/proc/962671/task/962682/stat : 962682 (Finalizer) S 962668 962671 960561 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183042316 19566772224 2992429 134679101440 93946968223744 93946968227440 140735687360544 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93946968235256 93946968236048 93946969567232 140735687369734 140735687369824 140735687369824 140735687376840 0
[pid=962671/tid=962689] ppid=962668 vsize=19108176 memory=11969716 CPUtime=0 cores=4,6
/proc/962671/task/962689/stat : 962689 (Common-Cleaner) S 962668 962671 960561 0 -1 1077936192 2924 0 0 0 0 0 0 0 20 0 20 0 183042316 19566772224 2992429 134679101440 93946968223744 93946968227440 140735687360544 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93946968235256 93946968236048 93946969567232 140735687369734 140735687369824 140735687369824 140735687376840 0
[pid=962671/tid=962696] ppid=962668 vsize=19108176 memory=11969716 CPUtime=0 cores=4,6
/proc/962671/task/962696/stat : 962696 (Timer-0) S 962668 962671 960561 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183042360 19566772224 2992429 134679101440 93946968223744 93946968227440 140735687360544 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93946968235256 93946968236048 93946969567232 140735687369734 140735687369824 140735687369824 140735687376840 0
Current children cumulated CPU time: 3241.91 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 11969716 KiB

[startup+3282.3 s]
/proc/loadavg: 4.11 4.13 4.16 5/333 964967
/proc/meminfo: memFree=72886960/131524600 swapFree=130798872/131071996
[pid=962671] ppid=962668 vsize=19108176 memory=11969732 CPUtime=3302.15 cores=4,6
/proc/962671/stat : 962671 (java) S 962668 962671 960561 0 -1 1077936128 366873 0 0 0 329839 376 0 0 20 0 20 0 183042313 19566772224 2992433 134679101440 93946968223744 93946968227440 140735687360544 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93946968235256 93946968236048 93946969567232 140735687369734 140735687369824 140735687369824 140735687376840 0
/proc/962671/statm: 4777044 2992433 5893 1 0 3934830 0
[pid=962671/tid=962673] ppid=962668 vsize=19108176 memory=11969732 CPUtime=3236.72 cores=4,6
/proc/962671/task/962673/stat : 962673 (java) R 962668 962671 960561 0 -1 4194368 135888 0 0 0 323604 68 0 0 20 0 20 0 183042313 19566772224 2992433 134679101440 93946968223744 93946968227440 140735687360544 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 4 0 0 93946968235256 93946968236048 93946969567232 140735687369734 140735687369824 140735687369824 140735687376840 0
[pid=962671/tid=962682] ppid=962668 vsize=19108176 memory=11969732 CPUtime=0 cores=4,6
/proc/962671/task/962682/stat : 962682 (Finalizer) S 962668 962671 960561 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183042316 19566772224 2992433 134679101440 93946968223744 93946968227440 140735687360544 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93946968235256 93946968236048 93946969567232 140735687369734 140735687369824 140735687369824 140735687376840 0
[pid=962671/tid=962689] ppid=962668 vsize=19108176 memory=11969732 CPUtime=0 cores=4,6
/proc/962671/task/962689/stat : 962689 (Common-Cleaner) S 962668 962671 960561 0 -1 1077936192 2998 0 0 0 0 0 0 0 20 0 20 0 183042316 19566772224 2992433 134679101440 93946968223744 93946968227440 140735687360544 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93946968235256 93946968236048 93946969567232 140735687369734 140735687369824 140735687369824 140735687376840 0
[pid=962671/tid=962696] ppid=962668 vsize=19108176 memory=11969732 CPUtime=0 cores=4,6
/proc/962671/task/962696/stat : 962696 (Timer-0) S 962668 962671 960561 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183042360 19566772224 2992433 134679101440 93946968223744 93946968227440 140735687360544 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93946968235256 93946968236048 93946969567232 140735687369734 140735687369824 140735687369824 140735687376840 0
Current children cumulated CPU time: 3302.15 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 11969732 KiB

[startup+3342.3 s]
/proc/loadavg: 4.09 4.12 4.15 6/331 964977
/proc/meminfo: memFree=72785132/131524600 swapFree=130798872/131071996
[pid=962671] ppid=962668 vsize=19108176 memory=11969732 CPUtime=3362.34 cores=4,6
/proc/962671/stat : 962671 (java) S 962668 962671 960561 0 -1 1077936128 369915 0 0 0 335856 378 0 0 20 0 20 0 183042313 19566772224 2992433 134679101440 93946968223744 93946968227440 140735687360544 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93946968235256 93946968236048 93946969567232 140735687369734 140735687369824 140735687369824 140735687376840 0
/proc/962671/statm: 4777044 2992433 5893 1 0 3934830 0
[pid=962671/tid=962673] ppid=962668 vsize=19108176 memory=11969732 CPUtime=3296.25 cores=4,6
/proc/962671/task/962673/stat : 962673 (java) R 962668 962671 960561 0 -1 4194368 138414 0 0 0 329557 68 0 0 20 0 20 0 183042313 19566772224 2992433 134679101440 93946968223744 93946968227440 140735687360544 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 4 0 0 93946968235256 93946968236048 93946969567232 140735687369734 140735687369824 140735687369824 140735687376840 0
[pid=962671/tid=962682] ppid=962668 vsize=19108176 memory=164 CPUtime=0 cores=4,6
/proc/962671/task/962682/stat : 962682 (Finalizer) S 962668 962671 960561 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183042316 19566772224 2992433 134679101440 93946968223744 93946968227440 140735687360544 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93946968235256 93946968236048 93946969567232 140735687369734 140735687369824 140735687369824 140735687376840 0
[pid=962671/tid=962689] ppid=962668 vsize=19108176 memory=11969732 CPUtime=0 cores=4,6
/proc/962671/task/962689/stat : 962689 (Common-Cleaner) S 962668 962671 960561 0 -1 1077936192 3122 0 0 0 0 0 0 0 20 0 20 0 183042316 19566772224 2992433 134679101440 93946968223744 93946968227440 140735687360544 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93946968235256 93946968236048 93946969567232 140735687369734 140735687369824 140735687369824 140735687376840 0
[pid=962671/tid=962696] ppid=962668 vsize=19108176 memory=7676 CPUtime=0 cores=4,6
/proc/962671/task/962696/stat : 962696 (Timer-0) S 962668 962671 960561 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183042360 19566772224 2992433 134679101440 93946968223744 93946968227440 140735687360544 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93946968235256 93946968236048 93946969567232 140735687369734 140735687369824 140735687369824 140735687376840 0
Current children cumulated CPU time: 3362.34 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 11969732 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.13 4.15 5/331 964988
/proc/meminfo: memFree=72175052/131524600 swapFree=130798872/131071996
[pid=962671] ppid=962668 vsize=19108176 memory=11969732 CPUtime=3422.52 cores=4,6
/proc/962671/stat : 962671 (java) S 962668 962671 960561 0 -1 1077936128 375000 0 0 0 341872 380 0 0 20 0 20 0 183042313 19566772224 2992433 134679101440 93946968223744 93946968227440 140735687360544 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93946968235256 93946968236048 93946969567232 140735687369734 140735687369824 140735687369824 140735687376840 0
/proc/962671/statm: 4777044 2992433 5893 1 0 3934830 0
[pid=962671/tid=962673] ppid=962668 vsize=19108176 memory=7676 CPUtime=3355.79 cores=4,6
/proc/962671/task/962673/stat : 962673 (java) R 962668 962671 960561 0 -1 4194368 140475 0 0 0 335511 68 0 0 20 0 20 0 183042313 19566772224 2992433 134679101440 93946968223744 93946968227440 140735687360544 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 4 0 0 93946968235256 93946968236048 93946969567232 140735687369734 140735687369824 140735687369824 140735687376840 0
[pid=962671/tid=962682] ppid=962668 vsize=19108176 memory=11969732 CPUtime=0 cores=4,6
/proc/962671/task/962682/stat : 962682 (Finalizer) S 962668 962671 960561 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183042316 19566772224 2992433 134679101440 93946968223744 93946968227440 140735687360544 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93946968235256 93946968236048 93946969567232 140735687369734 140735687369824 140735687369824 140735687376840 0
[pid=962671/tid=962689] ppid=962668 vsize=19108176 memory=-8599452421666939580 CPUtime=0 cores=4,6
/proc/962671/task/962689/stat : 962689 (Common-Cleaner) S 962668 962671 960561 0 -1 1077936192 3122 0 0 0 0 0 0 0 20 0 20 0 183042316 19566772224 2992433 134679101440 93946968223744 93946968227440 140735687360544 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93946968235256 93946968236048 93946969567232 140735687369734 140735687369824 140735687369824 140735687376840 0
[pid=962671/tid=962696] ppid=962668 vsize=19108176 memory=11969732 CPUtime=0 cores=4,6
/proc/962671/task/962696/stat : 962696 (Timer-0) S 962668 962671 960561 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183042360 19566772224 2992433 134679101440 93946968223744 93946968227440 140735687360544 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93946968235256 93946968236048 93946969567232 140735687369734 140735687369824 140735687369824 140735687376840 0
Current children cumulated CPU time: 3422.52 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 11969732 KiB

[startup+3462.3 s]
/proc/loadavg: 4.07 4.12 4.15 5/331 964999
/proc/meminfo: memFree=72174148/131524600 swapFree=130798872/131071996
[pid=962671] ppid=962668 vsize=19108176 memory=11969732 CPUtime=3482.53 cores=4,6
/proc/962671/stat : 962671 (java) S 962668 962671 960561 0 -1 1077936128 380215 0 0 0 347870 383 0 0 20 0 20 0 183042313 19566772224 2992433 134679101440 93946968223744 93946968227440 140735687360544 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93946968235256 93946968236048 93946969567232 140735687369734 140735687369824 140735687369824 140735687376840 0
/proc/962671/statm: 4777044 2992433 5893 1 0 3934830 0
[pid=962671/tid=962673] ppid=962668 vsize=19108176 memory=7676 CPUtime=3415.31 cores=4,6
/proc/962671/task/962673/stat : 962673 (java) R 962668 962671 960561 0 -1 4194368 142754 0 0 0 341462 69 0 0 20 0 20 0 183042313 19566772224 2992433 134679101440 93946968223744 93946968227440 140735687360544 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 4 0 0 93946968235256 93946968236048 93946969567232 140735687369734 140735687369824 140735687369824 140735687376840 0
[pid=962671/tid=962682] ppid=962668 vsize=19108176 memory=11969732 CPUtime=0 cores=4,6
/proc/962671/task/962682/stat : 962682 (Finalizer) S 962668 962671 960561 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183042316 19566772224 2992433 134679101440 93946968223744 93946968227440 140735687360544 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93946968235256 93946968236048 93946969567232 140735687369734 140735687369824 140735687369824 140735687376840 0
[pid=962671/tid=962689] ppid=962668 vsize=19108176 memory=11969732 CPUtime=0 cores=4,6
/proc/962671/task/962689/stat : 962689 (Common-Cleaner) S 962668 962671 960561 0 -1 1077936192 3244 0 0 0 0 0 0 0 20 0 20 0 183042316 19566772224 2992433 134679101440 93946968223744 93946968227440 140735687360544 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93946968235256 93946968236048 93946969567232 140735687369734 140735687369824 140735687369824 140735687376840 0
[pid=962671/tid=962696] ppid=962668 vsize=19108176 memory=11969732 CPUtime=0 cores=4,6
/proc/962671/task/962696/stat : 962696 (Timer-0) S 962668 962671 960561 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183042360 19566772224 2992433 134679101440 93946968223744 93946968227440 140735687360544 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93946968235256 93946968236048 93946969567232 140735687369734 140735687369824 140735687369824 140735687376840 0
Current children cumulated CPU time: 3482.53 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 11969732 KiB

[startup+3522.3 s]
/proc/loadavg: 4.07 4.11 4.14 5/331 965009
/proc/meminfo: memFree=72173392/131524600 swapFree=130798872/131071996
[pid=962671] ppid=962668 vsize=19108176 memory=11969740 CPUtime=3542.9 cores=4,6
/proc/962671/stat : 962671 (java) S 962668 962671 960561 0 -1 1077936128 385252 0 0 0 353906 384 0 0 20 0 20 0 183042313 19566772224 2992435 134679101440 93946968223744 93946968227440 140735687360544 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93946968235256 93946968236048 93946969567232 140735687369734 140735687369824 140735687369824 140735687376840 0
/proc/962671/statm: 4777044 2992435 5893 1 0 3934830 0
[pid=962671/tid=962673] ppid=962668 vsize=19108176 memory=7676 CPUtime=3474.6 cores=4,6
/proc/962671/task/962673/stat : 962673 (java) R 962668 962671 960561 0 -1 4194368 144660 0 0 0 347391 69 0 0 20 0 20 0 183042313 19566772224 2992435 134679101440 93946968223744 93946968227440 140735687360544 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 4 0 0 93946968235256 93946968236048 93946969567232 140735687369734 140735687369824 140735687369824 140735687376840 0
[pid=962671/tid=962682] ppid=962668 vsize=19108176 memory=11969740 CPUtime=0 cores=4,6
/proc/962671/task/962682/stat : 962682 (Finalizer) S 962668 962671 960561 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183042316 19566772224 2992435 134679101440 93946968223744 93946968227440 140735687360544 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93946968235256 93946968236048 93946969567232 140735687369734 140735687369824 140735687369824 140735687376840 0
[pid=962671/tid=962689] ppid=962668 vsize=19108176 memory=7676 CPUtime=0 cores=4,6
/proc/962671/task/962689/stat : 962689 (Common-Cleaner) S 962668 962671 960561 0 -1 1077936192 3244 0 0 0 0 0 0 0 20 0 20 0 183042316 19566772224 2992435 134679101440 93946968223744 93946968227440 140735687360544 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93946968235256 93946968236048 93946969567232 140735687369734 140735687369824 140735687369824 140735687376840 0
[pid=962671/tid=962696] ppid=962668 vsize=19108176 memory=11969740 CPUtime=0 cores=4,6
/proc/962671/task/962696/stat : 962696 (Timer-0) S 962668 962671 960561 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183042360 19566772224 2992435 134679101440 93946968223744 93946968227440 140735687360544 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93946968235256 93946968236048 93946969567232 140735687369734 140735687369824 140735687369824 140735687376840 0
Current children cumulated CPU time: 3542.9 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 11969740 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3579.11 s]
/proc/loadavg: 4.21 4.13 4.15 5/330 965151
/proc/meminfo: memFree=88378376/131524600 swapFree=130798872/131071996
[pid=962671] ppid=962668 vsize=19108176 memory=11971788 CPUtime=3600.04 cores=4,6
/proc/962671/stat : 962671 (java) S 962668 962671 960561 0 -1 1077936128 387379 0 0 0 359618 386 0 0 20 0 20 0 183042313 19566772224 2992947 134679101440 93946968223744 93946968227440 140735687360544 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93946968235256 93946968236048 93946969567232 140735687369734 140735687369824 140735687369824 140735687376840 0
/proc/962671/statm: 4777044 2992947 5893 1 0 3934830 0
[pid=962671/tid=962673] ppid=962668 vsize=19108176 memory=736 CPUtime=3530.84 cores=4,6
/proc/962671/task/962673/stat : 962673 (java) R 962668 962671 960561 0 -1 4194368 146472 0 0 0 353015 69 0 0 20 0 20 0 183042313 19566772224 2992947 134679101440 93946968223744 93946968227440 140735687360544 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 4 0 0 93946968235256 93946968236048 93946969567232 140735687369734 140735687369824 140735687369824 140735687376840 0
[pid=962671/tid=962682] ppid=962668 vsize=19108176 memory=27344 CPUtime=0 cores=4,6
/proc/962671/task/962682/stat : 962682 (Finalizer) S 962668 962671 960561 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183042316 19566772224 2992947 134679101440 93946968223744 93946968227440 140735687360544 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93946968235256 93946968236048 93946969567232 140735687369734 140735687369824 140735687369824 140735687376840 0
[pid=962671/tid=962689] ppid=962668 vsize=19108176 memory=4892 CPUtime=0 cores=4,6
/proc/962671/task/962689/stat : 962689 (Common-Cleaner) S 962668 962671 960561 0 -1 1077936192 3289 0 0 0 0 0 0 0 20 0 20 0 183042316 19566772224 2992947 134679101440 93946968223744 93946968227440 140735687360544 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93946968235256 93946968236048 93946969567232 140735687369734 140735687369824 140735687369824 140735687376840 0
[pid=962671/tid=962696] ppid=962668 vsize=19108176 memory=11971788 CPUtime=0 cores=4,6
/proc/962671/task/962696/stat : 962696 (Timer-0) S 962668 962671 960561 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183042360 19566772224 2992947 134679101440 93946968223744 93946968227440 140735687360544 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93946968235256 93946968236048 93946969567232 140735687369734 140735687369824 140735687369824 140735687376840 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 11971788 KiB

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

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

# cumulated CPU time of all completed processes:  user=3596.3 s, system=3.89869 s

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

[startup+3579.2 s]
/proc/loadavg: 4.21 4.13 4.15 5/330 965151
/proc/meminfo: memFree=88378376/131524600 swapFree=130798872/131071996
[pid=962671] ppid=962668 vsize=19307868 memory=11972404 CPUtime=3600.16 cores=4,6
/proc/962671/stat : 962671 (java) S 962668 962671 960561 0 -1 1077936128 390240 0 0 0 359630 386 0 0 20 0 20 0 183042313 19771256832 2993101 134679101440 93946968223744 93946968227440 140735687360544 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93946968235256 93946968236048 93946969567232 140735687369734 140735687369824 140735687369824 140735687376840 0
/proc/962671/statm: 4826967 2993101 5889 1 0 3935765 0
[pid=962671/tid=962673] ppid=962668 vsize=19307868 memory=27344 CPUtime=3530.85 cores=4,6
/proc/962671/task/962673/stat : 962673 (java) S 962668 962671 960561 0 -1 1077936192 146592 0 0 0 353016 69 0 0 20 0 20 0 183042313 19771256832 2993101 134679101440 93946968223744 93946968227440 140735687360544 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 4 0 0 93946968235256 93946968236048 93946969567232 140735687369734 140735687369824 140735687369824 140735687376840 0
[pid=962671/tid=962682] ppid=962668 vsize=19307868 memory=4892 CPUtime=0 cores=4,6
/proc/962671/task/962682/stat : 962682 (Finalizer) S 962668 962671 960561 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183042316 19771256832 2993101 134679101440 93946968223744 93946968227440 140735687360544 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93946968235256 93946968236048 93946969567232 140735687369734 140735687369824 140735687369824 140735687376840 0
[pid=962671/tid=962689] ppid=962668 vsize=19307868 memory=736 CPUtime=0 cores=4,6
/proc/962671/task/962689/stat : 962689 (Common-Cleaner) S 962668 962671 960561 0 -1 1077936192 3289 0 0 0 0 0 0 0 20 0 20 0 183042316 19771256832 2993101 134679101440 93946968223744 93946968227440 140735687360544 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93946968235256 93946968236048 93946969567232 140735687369734 140735687369824 140735687369824 140735687376840 0
Current children cumulated CPU time: 3600.16 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 11972404 KiB

Child status: 143

Real time (s): 3579.24
CPU time (s): 3600.2
CPU user time (s): 3596.3
CPU system time (s): 3.89869
CPU usage (%): 100.586
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 11972404

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.3
system time used= 3.89869
maximum resident set size= 11973444
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 390427
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3696
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 111570
involuntary context switches= 16043


# summary of solver processes directly reported to runsolver:
#   pid: 962671
#   total CPU time (s): 3600.2
#   total CPU user time (s): 3596.3
#   total CPU system time (s): 3.89869

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.54885 second user time and 18.659 second system time

The end

Launcher Data 

Begin job on nodeC014 at 2024-07-18 15:20:44
IDJOB=4442894
IDBENCH=147856
IDSOLVER=3058
FILE ID=nodeC014/4442894-1721308832
RUNJOBID= nodeC014-1721305283-960572
SLURM_JOB_ID= 7542633
Free space on /tmp= 890068 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/roussel/normalized-pigeon-clauses-55-50.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4442894-1721308832/watcher-4442894-1721308832 -o /tmp/evaluation-result-4442894-1721308832/solver-4442894-1721308832 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721305283-960572 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4442894-1721308832.opb

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

MD5SUM BENCH= 447851c4fd40c5c34c03bb94532f1e8d
RANDOM SEED=195617796

nodeC014.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		: 3674.011
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.32
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.654
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.96
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		: 3639.462
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.32
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		: 3599.654
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.96
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		: 3649.068
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.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.654
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 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.96
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		: 3637.937
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.32
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		: 3599.866
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.96
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        90321524 kB
MemAvailable:   93463840 kB
Buffers:          433568 kB
Cached:          3512560 kB
SwapCached:        12880 kB
Active:          1347096 kB
Inactive:       39196284 kB
Active(anon):       9308 kB
Inactive(anon): 36608316 kB
Active(file):    1337788 kB
Inactive(file):  2587968 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       130798616 kB
Dirty:              2696 kB
Writeback:             0 kB
AnonPages:      36588420 kB
Mapped:            69316 kB
Shmem:             20360 kB
KReclaimable:     112412 kB
Slab:             211176 kB
SReclaimable:     112412 kB
SUnreclaim:        98764 kB
KernelStack:        5056 kB
PageTables:        82116 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:   43535008 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            35168 kB
HardwareCorrupted:     0 kB
AnonHugePages:  36126720 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:      232148 kB
DirectMap2M:    25755648 kB
DirectMap1G:    110100480 kB

Free space on /tmp at the end= 890068 MiB
End job on nodeC014 at 2024-07-18 16:20:23