Trace number 4442912

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.21 3556.29

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.04/0.48	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.04/0.48	c This is free software under the dual EPL/GNU LGPL licenses.
0.04/0.48	c See www.sat4j.org for details.
0.10/0.52	c version CUSTOM.v20240707
0.10/0.53	c java.runtime.name	OpenJDK Runtime Environment
0.10/0.53	c java.vm.name		OpenJDK 64-Bit Server VM
0.10/0.53	c java.vm.version	22.0.1+8-16
0.10/0.53	c java.vm.vendor	Oracle Corporation
0.10/0.53	c sun.arch.data.model	64
0.10/0.53	c java.version		22.0.1
0.10/0.53	c os.name		Linux
0.10/0.53	c os.version		4.18.0-301.1.el8.x86_64
0.10/0.53	c os.arch		amd64
0.10/0.54	c Free memory 		2104792832
0.10/0.54	c Max memory 		16282288128
0.10/0.54	c Total memory 		2113929216
0.10/0.54	c Number of processors 	2
0.17/0.62	--- Begin Solver configuration ---
0.17/0.62	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.17/0.62	Learn all clauses as in MiniSAT
0.17/0.62	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.17/0.62	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.17/0.62	Expensive reason simplification
0.17/0.62	Glucose 2.1 dynamic restart strategy
0.17/0.62	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.17/0.62	timeout=2147483s
0.17/0.62	DB Simplification allowed=false
0.17/0.62	Listener: none
0.17/0.62	--- End Solver configuration ---
0.17/0.62	c Pseudo Boolean Optimization by upper bound
0.17/0.62	c --- Begin Solver configuration ---
0.17/0.62	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.17/0.62	c Learn all clauses as in MiniSAT
0.17/0.62	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.17/0.62	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.17/0.62	c Expensive reason simplification
0.17/0.62	c Glucose 2.1 dynamic restart strategy
0.17/0.62	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.17/0.62	c timeout=2147483s
0.17/0.62	c DB Simplification allowed=false
0.17/0.62	c Listener: none
0.17/0.62	c --- End Solver configuration ---
0.17/0.62	c solving HOME/instance-4442912-1721817186.opb
0.17/0.62	c reading problem ... 
0.17/0.62	c using VERIPB proof format
0.17/0.63	c  no objective function found
0.75/0.94	c ... done. Wall clock time 0.315s.
0.75/0.94	c declared #vars     2750
0.75/0.94	c #constraints  74305
0.75/0.94	c constraints type 
0.75/0.94	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 74250
0.75/0.94	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 55
0.75/0.94	c 74305 constraints processed.
4.74/3.15	c cleaning 2501 clauses out of 5001 with flag 33375/5001
7.36/5.40	c cleaning 4248 clauses out of 8499 with flag 75779/11000
10.59/8.68	c cleaning 5625 clauses out of 11254 with flag 128038/18003
15.14/13.05	c cleaning 6813 clauses out of 13626 with flag 182997/26000
19.74/17.54	c cleaning 7905 clauses out of 15815 with flag 248914/35002
24.72/22.40	c cleaning 8947 clauses out of 17908 with flag 328909/45000
31.40/28.95	c cleaning 9976 clauses out of 19963 with flag 415033/56002
38.17/35.94	c cleaning 10979 clauses out of 21986 with flag 507872/68001
42.56/40.18	c cleaning 11984 clauses out of 24007 with flag 615990/81001
49.64/46.94	c cleaning 12997 clauses out of 26023 with flag 745340/95001
57.65/54.83	c cleaning 14001 clauses out of 28027 with flag 869735/110002
71.24/68.99	c cleaning 14991 clauses out of 30026 with flag 978839/126002
81.24/78.81	c cleaning 15992 clauses out of 32033 with flag 1128235/143000
88.41/85.76	c cleaning 17010 clauses out of 34043 with flag 1245198/161002
99.85/97.73	c cleaning 18000 clauses out of 36031 with flag 1378638/180000
110.74/108.44	c cleaning 19009 clauses out of 38031 with flag 1518636/200000
122.39/119.90	c cleaning 19992 clauses out of 40022 with flag 1650086/221000
133.88/131.65	c cleaning 20994 clauses out of 42033 with flag 1814341/243003
146.55/144.29	c cleaning 21998 clauses out of 44036 with flag 1983171/266000
157.19/155.04	c cleaning 22998 clauses out of 46038 with flag 2174528/290000
166.69/164.42	c cleaning 24007 clauses out of 48041 with flag 2345004/315001
186.06/183.22	c cleaning 24998 clauses out of 50035 with flag 2553465/341002
197.72/195.30	c cleaning 26003 clauses out of 52036 with flag 2738834/368001
210.49/207.95	c cleaning 26996 clauses out of 54033 with flag 2929211/396001
230.16/229.39	c cleaning 27998 clauses out of 56039 with flag 3147253/425003
243.40/242.33	c cleaning 29011 clauses out of 58038 with flag 3371963/455000
263.27/262.03	c cleaning 29996 clauses out of 60027 with flag 3630296/486000
273.33/271.89	c cleaning 30992 clauses out of 62031 with flag 3848634/518000
297.26/295.70	c cleaning 32007 clauses out of 64039 with flag 4092966/551000
339.41/338.08	c cleaning 33009 clauses out of 66034 with flag 4388847/585002
357.54/355.92	c cleaning 33999 clauses out of 68023 with flag 4643963/620000
369.76/368.19	c cleaning 35001 clauses out of 70024 with flag 4871094/656000
387.97/386.47	c cleaning 36000 clauses out of 72026 with flag 5109123/693003
400.63/398.81	c cleaning 37012 clauses out of 74024 with flag 5354352/731001
415.05/413.30	c cleaning 37980 clauses out of 76012 with flag 5605774/770001
433.78/431.91	c cleaning 38988 clauses out of 78032 with flag 5875256/810001
471.01/473.29	c cleaning 39995 clauses out of 80043 with flag 6157198/851000
500.80/505.70	c cleaning 41019 clauses out of 82048 with flag 6440241/893000
534.25/538.51	c cleaning 42006 clauses out of 84030 with flag 6756768/936001
551.62/555.68	c cleaning 43003 clauses out of 86024 with flag 7030823/980001
577.69/581.75	c cleaning 43974 clauses out of 88020 with flag 7305300/1025000
612.70/616.05	c cleaning 45006 clauses out of 90048 with flag 7639888/1071002
634.06/637.04	c cleaning 46005 clauses out of 92040 with flag 7964957/1118000
652.24/654.90	c cleaning 46996 clauses out of 94035 with flag 8230925/1166000
681.20/683.25	c cleaning 47989 clauses out of 96039 with flag 8631546/1215000
705.60/707.58	c cleaning 49003 clauses out of 98050 with flag 8924434/1265000
725.22/726.54	c cleaning 50012 clauses out of 100047 with flag 9253859/1316000
753.02/753.89	c cleaning 50995 clauses out of 102035 with flag 9575179/1368000
773.46/773.51	c cleaning 52003 clauses out of 104041 with flag 9896569/1421001
798.81/799.14	c cleaning 52995 clauses out of 106037 with flag 10249059/1475000
824.65/825.94	c cleaning 54018 clauses out of 108042 with flag 10614566/1530000
850.65/851.85	c cleaning 54986 clauses out of 110026 with flag 10915502/1586002
871.52/872.17	c cleaning 56001 clauses out of 112039 with flag 11266233/1643001
897.81/898.23	c cleaning 57000 clauses out of 114037 with flag 11632781/1701000
924.86/924.53	c cleaning 58015 clauses out of 116037 with flag 11971602/1760000
954.23/953.83	c cleaning 58998 clauses out of 118022 with flag 12303681/1820000
982.65/982.85	c cleaning 59998 clauses out of 120024 with flag 12702103/1881000
1010.32/1010.40	c cleaning 60993 clauses out of 122027 with flag 13059268/1943001
1038.01/1037.33	c cleaning 62004 clauses out of 124034 with flag 13436937/2006001
1067.34/1065.74	c cleaning 62991 clauses out of 126029 with flag 13815999/2070000
1100.38/1098.45	c cleaning 64009 clauses out of 128038 with flag 14188444/2135000
1131.99/1129.36	c cleaning 65001 clauses out of 130029 with flag 14562088/2201000
1166.51/1163.53	c cleaning 66000 clauses out of 132028 with flag 14939378/2268000
1199.29/1195.20	c cleaning 66996 clauses out of 134029 with flag 15346704/2336001
1233.17/1229.01	c cleaning 68007 clauses out of 136032 with flag 15746232/2405000
1267.11/1262.22	c cleaning 68999 clauses out of 138025 with flag 16182249/2475000
1307.51/1305.92	c cleaning 69998 clauses out of 140026 with flag 16572900/2546000
1346.38/1344.74	c cleaning 71001 clauses out of 142028 with flag 16980873/2618000
1387.38/1385.82	c cleaning 72004 clauses out of 144030 with flag 17392946/2691003
1426.81/1425.04	c cleaning 73000 clauses out of 146025 with flag 17830607/2765002
1470.18/1467.79	c cleaning 74005 clauses out of 148025 with flag 18264415/2840002
1527.06/1523.48	c cleaning 74993 clauses out of 150021 with flag 18762374/2916003
1572.40/1567.77	c cleaning 75985 clauses out of 152026 with flag 19273037/2993001
1624.51/1618.77	c cleaning 77019 clauses out of 154041 with flag 19721440/3071001
1672.23/1665.31	c cleaning 77996 clauses out of 156024 with flag 20183694/3150003
1717.21/1708.83	c cleaning 79003 clauses out of 158027 with flag 20675087/3230002
1768.79/1759.04	c cleaning 80002 clauses out of 160025 with flag 21154937/3311003
1824.16/1814.88	c cleaning 80987 clauses out of 162022 with flag 21631821/3393002
1878.12/1867.50	c cleaning 82015 clauses out of 164033 with flag 22117083/3476000
1935.14/1922.86	c cleaning 83003 clauses out of 166019 with flag 22630797/3560001
1988.64/1975.15	c cleaning 84008 clauses out of 168015 with flag 23122463/3645000
2044.72/2030.60	c cleaning 84999 clauses out of 170007 with flag 23631459/3731000
2103.74/2089.38	c cleaning 85995 clauses out of 172012 with flag 24145323/3818004
2161.33/2145.45	c cleaning 86986 clauses out of 174013 with flag 24669403/3906000
2228.19/2211.01	c cleaning 88003 clauses out of 176027 with flag 25178885/3995000
2287.84/2269.22	c cleaning 89005 clauses out of 178024 with flag 25709208/4085000
2351.85/2331.88	c cleaning 90002 clauses out of 180019 with flag 26245291/4176000
2426.53/2405.39	c cleaning 90996 clauses out of 182017 with flag 26769508/4268000
2497.01/2474.53	c cleaning 91992 clauses out of 184021 with flag 27311337/4361000
2564.56/2541.08	c cleaning 93006 clauses out of 186029 with flag 27864237/4455000
2636.56/2611.99	c cleaning 93995 clauses out of 188023 with flag 28412849/4550000
2713.79/2688.17	c cleaning 95004 clauses out of 190028 with flag 28958028/4646000
2785.50/2758.81	c cleaning 96003 clauses out of 192025 with flag 29517906/4743001
2866.61/2837.44	c cleaning 96994 clauses out of 194021 with flag 30077128/4841000
2946.10/2916.08	c cleaning 98010 clauses out of 196027 with flag 30637105/4940000
3022.07/2989.42	c cleaning 98998 clauses out of 198018 with flag 31254127/5040001
3104.18/3070.56	c cleaning 99997 clauses out of 200020 with flag 31850683/5141001
3190.68/3154.65	c cleaning 100999 clauses out of 202024 with flag 32428589/5243002
3270.37/3233.29	c cleaning 101996 clauses out of 204024 with flag 33053569/5346001
3359.91/3320.26	c cleaning 103002 clauses out of 206029 with flag 33677611/5450002
3471.26/3428.90	c cleaning 104001 clauses out of 208026 with flag 34453198/5555001
3561.64/3518.40	c cleaning 104995 clauses out of 210025 with flag 35072787/5661001
3600.09/3556.21	c starts		: 33179
3600.09/3556.21	c timeout
3600.09/3556.21	c conflicts		: 5715109
3600.09/3556.21	c decisions		: 53474470
3600.09/3556.21	c propagations		: 233219368
3600.09/3556.21	c inspects		: 21829614800
3600.09/3556.21	c shortcuts		: 0
3600.09/3556.21	c learnt literals	: 0
3600.09/3556.21	c learnt binary clauses	: 0
3600.09/3556.21	c learnt ternary clauses	: 0
3600.09/3556.21	c learnt constraints	: 5715109
3600.09/3556.21	c ignored constraints	: 0
3600.09/3556.21	c root simplifications	: 0
3600.09/3556.21	c removed literals (reason simplification)	: 31039941
3600.09/3556.21	c reason swapping (by a shorter reason)	: 0
3600.09/3556.21	c Calls to reduceDB	: 102
3600.09/3556.21	c Number of update (reduction) of LBD	: 2890151
3600.09/3556.21	c Imported unit clauses	: 0
3600.09/3556.21	c No decision after first conflict	: false
3600.09/3556.21	c number of reductions to clauses (during analyze)	: 0
3600.09/3556.21	c number of learned constraints concerned by reduction	: 0
3600.09/3556.21	c number of learning phase by resolution	: 0
3600.09/3556.21	c number of learning phase by cutting planes	: 0
3600.09/3556.21	c number of rounding to 1 operations	: 0
3600.09/3556.21	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.09/3556.21	c number of reductions of the coefficients by power 2 	: 0
3600.09/3556.21	c number of right shift for reduction by power 2 	: 0
3600.09/3556.21	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.09/3556.21	c number of ending skipping 	: 0
3600.09/3556.21	c number of internal skipping 	: 0
3600.09/3556.21	c number of derivation steps 	: 0
3600.09/3556.21	c number of skipped derivation steps 	: 0
3600.09/3556.21	c number of remaining unassigned 	: 0
3600.09/3556.21	c number of remaining assigned 	: 0
3600.09/3556.21	c number of falsified literals weakened from reason	: 0
3600.09/3556.21	c number of falsified literals weakened from conflict	: 0
3600.09/3556.21	c time for arithmetic operations	: 0
3600.09/3556.21	c minimum degree of deleted constraints	: null
3600.09/3556.21	c maximum degree of deleted constraints	: null
3600.09/3556.21	c number of deleted constraints	: 0
3600.09/3556.21	c speed (assignments/second)	: 65598.19715571612
3600.09/3556.21	c non guided choices	: 444675
3600.09/3556.27	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 159138
3600.09/3556.28	s UNKNOWN
3600.09/3556.28	c Total wall clock time (in seconds): 3555.654

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 (60346 MiB free)
  memory of node 1: 64473 MiB (61788 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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=193423, runsolver pid=193420
Current StackSize limit: 8192 KiB


[startup+0.10008 s]*
/proc/loadavg: 0.13 0.10 0.16 1/263 193442
/proc/meminfo: memFree=125054284/131524600 swapFree=131070960/131071996
[pid=193423] ppid=193420 vsize=104392 memory=7780 CPUtime=0 cores=5,7
/proc/193423/stat : 193423 (java) S 193420 193423 193361 0 -1 1077936128 583 0 12 0 0 0 0 0 20 0 2 0 18247024 106897408 1945 134679101440 93863875334144 93863875337840 140730075892160 0 0 0 0 0 0 0 0 0 17 5 0 0 8 0 0 93863875345656 93863875346448 93863905759232 140730075894703 140730075894885 140730075894885 140730075901896 0
/proc/193423/statm: 26098 1945 1574 1 0 582 0
[pid=193423/tid=193442] ppid=193420 vsize=104392 memory=4026531971 CPUtime=0 cores=5,7
/proc/193423/task/193442/stat : 193442 (java) D 193420 193423 193361 0 -1 4194368 14 0 0 0 0 0 0 0 20 0 2 0 18247033 106897408 2012 134679101440 93863875334144 93863875337840 140730075892160 0 0 0 0 0 0 0 0 0 -1 5 0 0 1 0 0 93863875345656 93863875346448 93863905759232 140730075894703 140730075894885 140730075894885 140730075901896 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 104392 KiB
Current children cumulated memory: 7780 KiB

[startup+0.205894 s]*
/proc/loadavg: 0.13 0.10 0.16 1/265 193444
/proc/meminfo: memFree=125019868/131524600 swapFree=131070960/131071996
[pid=193423] ppid=193420 vsize=299296 memory=20916 CPUtime=0 cores=5,7
/proc/193423/stat : 193423 (java) S 193420 193423 193361 0 -1 1077936128 1464 0 31 0 0 0 0 0 20 0 2 0 18247024 306479104 5229 134679101440 93863875334144 93863875337840 140730075892160 0 0 0 0 0 16784588 0 0 0 17 5 0 0 8 0 0 93863875345656 93863875346448 93863905759232 140730075894703 140730075894885 140730075894885 140730075901896 0
/proc/193423/statm: 74824 5229 3097 1 0 2366 0
[pid=193423/tid=193442] ppid=193420 vsize=299296 memory=8737651120394928259 CPUtime=0 cores=5,7
/proc/193423/task/193442/stat : 193442 (java) D 193420 193423 193361 0 -1 4194368 891 0 19 0 0 0 0 0 20 0 2 0 18247033 306479104 5229 134679101440 93863875334144 93863875337840 140730075892160 0 0 0 4 0 16784588 0 0 0 -1 5 0 0 11 0 0 93863875345656 93863875346448 93863905759232 140730075894703 140730075894885 140730075894885 140730075901896 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 299296 KiB
Current children cumulated memory: 20916 KiB

[startup+0.306029 s]*
/proc/loadavg: 0.13 0.10 0.16 2/285 193464
/proc/meminfo: memFree=124977640/131524600 swapFree=131070960/131071996
[pid=193423] ppid=193420 vsize=18194260 memory=33484 CPUtime=0.01 cores=5,7
/proc/193423/stat : 193423 (java) S 193420 193423 193361 0 -1 1077936128 3391 0 47 0 0 1 0 0 20 0 7 0 18247024 18630922240 8371 134679101440 93863875334144 93863875337840 140730075892160 0 0 0 0 0 16784588 0 0 0 17 5 0 0 8 0 0 93863875345656 93863875346448 93863905759232 140730075894703 140730075894885 140730075894885 140730075901896 0
/proc/193423/statm: 4548565 8371 3879 1 0 542698 0
[pid=193423/tid=193442] ppid=193420 vsize=18194260 memory=-8960587011465192124 CPUtime=0.01 cores=5,7
/proc/193423/task/193442/stat : 193442 (java) D 193420 193423 193361 0 -1 4194368 2819 0 35 0 0 1 0 0 20 0 7 0 18247033 18630922240 8371 134679101440 93863875334144 93863875337840 140730075892160 0 0 0 4 0 16784588 0 0 0 -1 5 0 0 20 0 0 93863875345656 93863875346448 93863905759232 140730075894703 140730075894885 140730075894885 140730075901896 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 18194260 KiB
Current children cumulated memory: 33484 KiB

[startup+0.700207 s]
/proc/loadavg: 0.13 0.10 0.16 1/329 193508
/proc/meminfo: memFree=124874792/131524600 swapFree=131070960/131071996
[pid=193423] ppid=193420 vsize=18993908 memory=80840 CPUtime=0.35 cores=5,7
/proc/193423/stat : 193423 (java) S 193420 193423 193361 0 -1 1077936128 7871 0 70 0 31 4 0 0 20 0 18 0 18247024 19449761792 20210 134679101440 93863875334144 93863875337840 140730075892160 0 0 0 0 0 16800975 0 0 0 17 5 0 0 8 0 0 93863875345656 93863875346448 93863905759232 140730075894703 140730075894885 140730075894885 140730075901896 0
/proc/193423/statm: 4748477 20210 6038 1 0 549637 0
[pid=193423/tid=193442] ppid=193420 vsize=18993908 memory=0 CPUtime=0.19 cores=5,7
/proc/193423/task/193442/stat : 193442 (java) R 193420 193423 193361 0 -1 4194368 6072 0 54 0 16 3 0 0 20 0 18 0 18247033 19449761792 20210 134679101440 93863875334144 93863875337840 140730075892160 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 40 0 0 93863875345656 93863875346448 93863905759232 140730075894703 140730075894885 140730075894885 140730075901896 0
[pid=193423/tid=193478] ppid=193420 vsize=18993908 memory=5448 CPUtime=0 cores=5,7
/proc/193423/task/193478/stat : 193478 (Finalizer) S 193420 193423 193361 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 18247061 19449761792 20210 134679101440 93863875334144 93863875337840 140730075892160 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93863875345656 93863875346448 93863905759232 140730075894703 140730075894885 140730075894885 140730075901896 0
[pid=193423/tid=193508] ppid=193420 vsize=18993908 memory=140451738951793 CPUtime=0 cores=5,7
/proc/193423/task/193508/stat : 193508 (Common-Cleaner) S 193420 193423 193361 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 18 0 18247062 19449761792 20210 134679101440 93863875334144 93863875337840 140730075892160 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93863875345656 93863875346448 93863905759232 140730075894703 140730075894885 140730075894885 140730075901896 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 18993908 KiB
Current children cumulated memory: 80840 KiB

[startup+1.50554 s]
/proc/loadavg: 0.13 0.10 0.16 10/312 193524
/proc/meminfo: memFree=124566184/131524600 swapFree=131070960/131071996
[pid=193423] ppid=193420 vsize=19127036 memory=187832 CPUtime=1.93 cores=5,7
/proc/193423/stat : 193423 (java) S 193420 193423 193361 0 -1 1077936128 17409 0 70 0 185 8 0 0 20 0 20 0 18247024 19586084864 46958 134679101440 93863875334144 93863875337840 140730075892160 0 0 0 0 0 16800975 0 0 0 17 5 0 0 8 0 0 93863875345656 93863875346448 93863905759232 140730075894703 140730075894885 140730075894885 140730075901896 0
/proc/193423/statm: 4781759 46958 6062 1 0 555875 0
[pid=193423/tid=193442] ppid=193420 vsize=19127036 memory=0 CPUtime=0.95 cores=5,7
/proc/193423/task/193442/stat : 193442 (java) R 193420 193423 193361 0 -1 4194368 6210 0 54 0 90 5 0 0 20 0 20 0 18247033 19586084864 46958 134679101440 93863875334144 93863875337840 140730075892160 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 40 0 0 93863875345656 93863875346448 93863905759232 140730075894703 140730075894885 140730075894885 140730075901896 0
[pid=193423/tid=193478] ppid=193420 vsize=19127036 memory=0 CPUtime=0 cores=5,7
/proc/193423/task/193478/stat : 193478 (Finalizer) S 193420 193423 193361 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18247061 19586084864 46958 134679101440 93863875334144 93863875337840 140730075892160 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93863875345656 93863875346448 93863905759232 140730075894703 140730075894885 140730075894885 140730075901896 0
[pid=193423/tid=193508] ppid=193420 vsize=19127036 memory=5448 CPUtime=0 cores=5,7
/proc/193423/task/193508/stat : 193508 (Common-Cleaner) S 193420 193423 193361 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 18247062 19586084864 46958 134679101440 93863875334144 93863875337840 140730075892160 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93863875345656 93863875346448 93863905759232 140730075894703 140730075894885 140730075894885 140730075901896 0
[pid=193423/tid=193524] ppid=193420 vsize=19127036 memory=0 CPUtime=0 cores=5,7
/proc/193423/task/193524/stat : 193524 (Timer-0) S 193420 193423 193361 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18247119 19586084864 46958 134679101440 93863875334144 93863875337840 140730075892160 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93863875345656 93863875346448 93863905759232 140730075894703 140730075894885 140730075894885 140730075901896 0
Current children cumulated CPU time: 1.93 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 187832 KiB

[startup+3.10625 s]
/proc/loadavg: 0.92 0.26 0.21 5/337 193584
/proc/meminfo: memFree=123670600/131524600 swapFree=131070960/131071996
[pid=193423] ppid=193420 vsize=19127036 memory=233116 CPUtime=4.74 cores=5,7
/proc/193423/stat : 193423 (java) S 193420 193423 193361 0 -1 1077936128 24441 0 70 0 464 10 0 0 20 0 20 0 18247024 19586084864 58279 134679101440 93863875334144 93863875337840 140730075892160 0 0 0 0 0 16800975 0 0 0 17 5 0 0 8 0 0 93863875345656 93863875346448 93863905759232 140730075894703 140730075894885 140730075894885 140730075901896 0
/proc/193423/statm: 4781759 58279 6107 1 0 664479 0
[pid=193423/tid=193442] ppid=193420 vsize=19127036 memory=0 CPUtime=2.45 cores=5,7
/proc/193423/task/193442/stat : 193442 (java) R 193420 193423 193361 0 -1 4194368 6738 0 54 0 239 6 0 0 20 0 20 0 18247033 19586084864 58279 134679101440 93863875334144 93863875337840 140730075892160 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 40 0 0 93863875345656 93863875346448 93863905759232 140730075894703 140730075894885 140730075894885 140730075901896 0
[pid=193423/tid=193478] ppid=193420 vsize=19127036 memory=11496 CPUtime=0 cores=5,7
/proc/193423/task/193478/stat : 193478 (Finalizer) S 193420 193423 193361 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18247061 19586084864 58279 134679101440 93863875334144 93863875337840 140730075892160 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93863875345656 93863875346448 93863905759232 140730075894703 140730075894885 140730075894885 140730075901896 0
[pid=193423/tid=193508] ppid=193420 vsize=19127036 memory=0 CPUtime=0 cores=5,7
/proc/193423/task/193508/stat : 193508 (Common-Cleaner) S 193420 193423 193361 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 18247062 19586084864 58279 134679101440 93863875334144 93863875337840 140730075892160 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93863875345656 93863875346448 93863905759232 140730075894703 140730075894885 140730075894885 140730075901896 0
[pid=193423/tid=193524] ppid=193420 vsize=19127036 memory=0 CPUtime=0 cores=5,7
/proc/193423/task/193524/stat : 193524 (Timer-0) S 193420 193423 193361 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18247119 19586084864 58279 134679101440 93863875334144 93863875337840 140730075892160 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93863875345656 93863875346448 93863905759232 140730075894703 140730075894885 140730075894885 140730075901896 0
Current children cumulated CPU time: 4.74 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 233116 KiB

[startup+6.30024 s]
/proc/loadavg: 0.92 0.26 0.21 5/317 193601
/proc/meminfo: memFree=123359972/131524600 swapFree=131070960/131071996
[pid=193423] ppid=193420 vsize=19127036 memory=471444 CPUtime=8.28 cores=5,7
/proc/193423/stat : 193423 (java) S 193420 193423 193361 0 -1 1077936128 25771 0 70 0 811 17 0 0 20 0 20 0 18247024 19586084864 117861 134679101440 93863875334144 93863875337840 140730075892160 0 0 0 0 0 16800975 0 0 0 17 5 0 0 8 0 0 93863875345656 93863875346448 93863905759232 140730075894703 140730075894885 140730075894885 140730075901896 0
/proc/193423/statm: 4781759 117861 6108 1 0 664539 0
[pid=193423/tid=193442] ppid=193420 vsize=19127036 memory=0 CPUtime=5.5 cores=5,7
/proc/193423/task/193442/stat : 193442 (java) R 193420 193423 193361 0 -1 4194368 7585 0 54 0 540 10 0 0 20 0 20 0 18247033 19586084864 117861 134679101440 93863875334144 93863875337840 140730075892160 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 40 0 0 93863875345656 93863875346448 93863905759232 140730075894703 140730075894885 140730075894885 140730075901896 0
[pid=193423/tid=193478] ppid=193420 vsize=19127036 memory=33 CPUtime=0 cores=5,7
/proc/193423/task/193478/stat : 193478 (Finalizer) S 193420 193423 193361 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18247061 19586084864 117861 134679101440 93863875334144 93863875337840 140730075892160 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93863875345656 93863875346448 93863905759232 140730075894703 140730075894885 140730075894885 140730075901896 0
[pid=193423/tid=193508] ppid=193420 vsize=19127036 memory=280903477776032 CPUtime=0 cores=5,7
/proc/193423/task/193508/stat : 193508 (Common-Cleaner) S 193420 193423 193361 0 -1 1077936192 39 0 0 0 0 0 0 0 20 0 20 0 18247062 19586084864 117861 134679101440 93863875334144 93863875337840 140730075892160 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93863875345656 93863875346448 93863905759232 140730075894703 140730075894885 140730075894885 140730075901896 0
[pid=193423/tid=193524] ppid=193420 vsize=19127036 memory=444820 CPUtime=0 cores=5,7
/proc/193423/task/193524/stat : 193524 (Timer-0) S 193420 193423 193361 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18247119 19586084864 117861 134679101440 93863875334144 93863875337840 140730075892160 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93863875345656 93863875346448 93863905759232 140730075894703 140730075894885 140730075894885 140730075901896 0
Current children cumulated CPU time: 8.28 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 471444 KiB

[startup+12.7003 s]
/proc/loadavg: 1.55 0.42 0.27 7/338 193652
/proc/meminfo: memFree=121606584/131524600 swapFree=131070960/131071996
[pid=193423] ppid=193420 vsize=19127036 memory=1009440 CPUtime=14.79 cores=5,7
/proc/193423/stat : 193423 (java) S 193420 193423 193361 0 -1 1077936128 26652 0 70 0 1447 32 0 0 20 0 20 0 18247024 19586084864 252360 134679101440 93863875334144 93863875337840 140730075892160 0 0 0 0 0 16800975 0 0 0 17 5 0 0 8 0 0 93863875345656 93863875346448 93863905759232 140730075894703 140730075894885 140730075894885 140730075901896 0
/proc/193423/statm: 4781759 252360 6108 1 0 800317 0
[pid=193423/tid=193442] ppid=193420 vsize=19127036 memory=984864 CPUtime=11.74 cores=5,7
/proc/193423/task/193442/stat : 193442 (java) R 193420 193423 193361 0 -1 4194368 7813 0 54 0 1152 22 0 0 20 0 20 0 18247033 19586084864 252360 134679101440 93863875334144 93863875337840 140730075892160 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 40 0 0 93863875345656 93863875346448 93863905759232 140730075894703 140730075894885 140730075894885 140730075901896 0
[pid=193423/tid=193478] ppid=193420 vsize=19127036 memory=33 CPUtime=0 cores=5,7
/proc/193423/task/193478/stat : 193478 (Finalizer) S 193420 193423 193361 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18247061 19586084864 252360 134679101440 93863875334144 93863875337840 140730075892160 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93863875345656 93863875346448 93863905759232 140730075894703 140730075894885 140730075894885 140730075901896 0
[pid=193423/tid=193508] ppid=193420 vsize=19127036 memory=0 CPUtime=0 cores=5,7
/proc/193423/task/193508/stat : 193508 (Common-Cleaner) S 193420 193423 193361 0 -1 1077936192 39 0 0 0 0 0 0 0 20 0 20 0 18247062 19586084864 252360 134679101440 93863875334144 93863875337840 140730075892160 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93863875345656 93863875346448 93863905759232 140730075894703 140730075894885 140730075894885 140730075901896 0
[pid=193423/tid=193524] ppid=193420 vsize=19127036 memory=280903477826752 CPUtime=0 cores=5,7
/proc/193423/task/193524/stat : 193524 (Timer-0) S 193420 193423 193361 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18247119 19586084864 252360 134679101440 93863875334144 93863875337840 140730075892160 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93863875345656 93863875346448 93863905759232 140730075894703 140730075894885 140730075894885 140730075901896 0
Current children cumulated CPU time: 14.79 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 1009440 KiB

[startup+25.5003 s]
/proc/loadavg: 1.93 0.54 0.31 5/336 193790
/proc/meminfo: memFree=119824116/131524600 swapFree=131070960/131071996
[pid=193423] ppid=193420 vsize=19127036 memory=1261820 CPUtime=27.93 cores=5,7
/proc/193423/stat : 193423 (java) S 193420 193423 193361 0 -1 1077936128 33191 0 70 0 2749 44 0 0 20 0 20 0 18247024 19586084864 315455 134679101440 93863875334144 93863875337840 140730075892160 0 0 0 0 0 16800975 0 0 0 17 5 0 0 8 0 0 93863875345656 93863875346448 93863905759232 140730075894703 140730075894885 140730075894885 140730075901896 0
/proc/193423/statm: 4781759 315455 6108 1 0 800321 0
[pid=193423/tid=193442] ppid=193420 vsize=19127036 memory=11496 CPUtime=24.21 cores=5,7
/proc/193423/task/193442/stat : 193442 (java) R 193420 193423 193361 0 -1 4194368 9392 0 54 0 2392 29 0 0 20 0 20 0 18247033 19586084864 315455 134679101440 93863875334144 93863875337840 140730075892160 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 40 0 0 93863875345656 93863875346448 93863905759232 140730075894703 140730075894885 140730075894885 140730075901896 0
[pid=193423/tid=193478] ppid=193420 vsize=19127036 memory=11496 CPUtime=0 cores=5,7
/proc/193423/task/193478/stat : 193478 (Finalizer) S 193420 193423 193361 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18247061 19586084864 315455 134679101440 93863875334144 93863875337840 140730075892160 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93863875345656 93863875346448 93863905759232 140730075894703 140730075894885 140730075894885 140730075901896 0
[pid=193423/tid=193508] ppid=193420 vsize=19127036 memory=1229040 CPUtime=0 cores=5,7
/proc/193423/task/193508/stat : 193508 (Common-Cleaner) S 193420 193423 193361 0 -1 1077936192 39 0 0 0 0 0 0 0 20 0 20 0 18247062 19586084864 315455 134679101440 93863875334144 93863875337840 140730075892160 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93863875345656 93863875346448 93863905759232 140730075894703 140730075894885 140730075894885 140730075901896 0
[pid=193423/tid=193524] ppid=193420 vsize=19127036 memory=4308 CPUtime=0 cores=5,7
/proc/193423/task/193524/stat : 193524 (Timer-0) S 193420 193423 193361 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18247119 19586084864 315455 134679101440 93863875334144 93863875337840 140730075892160 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93863875345656 93863875346448 93863905759232 140730075894703 140730075894885 140730075894885 140730075901896 0
Current children cumulated CPU time: 27.93 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 1261820 KiB

[startup+51.1061 s]
/proc/loadavg: 2.81 0.86 0.42 6/336 193861
/proc/meminfo: memFree=117614376/131524600 swapFree=131070960/131071996
[pid=193423] ppid=193420 vsize=19127036 memory=1890840 CPUtime=53.85 cores=5,7
/proc/193423/stat : 193423 (java) S 193420 193423 193361 0 -1 1077936128 43084 0 70 0 5313 72 0 0 20 0 20 0 18247024 19586084864 472710 134679101440 93863875334144 93863875337840 140730075892160 0 0 0 0 0 16800975 0 0 0 17 5 0 0 8 0 0 93863875345656 93863875346448 93863905759232 140730075894703 140730075894885 140730075894885 140730075901896 0
/proc/193423/statm: 4781759 472710 6124 1 0 800324 0
[pid=193423/tid=193442] ppid=193420 vsize=19127036 memory=1890840 CPUtime=48.94 cores=5,7
/proc/193423/task/193442/stat : 193442 (java) R 193420 193423 193361 0 -1 4194368 12173 0 54 0 4845 49 0 0 20 0 20 0 18247033 19586084864 472710 134679101440 93863875334144 93863875337840 140730075892160 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 71 0 0 93863875345656 93863875346448 93863905759232 140730075894703 140730075894885 140730075894885 140730075901896 0
[pid=193423/tid=193478] ppid=193420 vsize=19127036 memory=1571296 CPUtime=0 cores=5,7
/proc/193423/task/193478/stat : 193478 (Finalizer) S 193420 193423 193361 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18247061 19586084864 472710 134679101440 93863875334144 93863875337840 140730075892160 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93863875345656 93863875346448 93863905759232 140730075894703 140730075894885 140730075894885 140730075901896 0
[pid=193423/tid=193508] ppid=193420 vsize=19127036 memory=962212 CPUtime=0 cores=5,7
/proc/193423/task/193508/stat : 193508 (Common-Cleaner) S 193420 193423 193361 0 -1 1077936192 39 0 0 0 0 0 0 0 20 0 20 0 18247062 19586084864 472710 134679101440 93863875334144 93863875337840 140730075892160 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93863875345656 93863875346448 93863905759232 140730075894703 140730075894885 140730075894885 140730075901896 0
[pid=193423/tid=193524] ppid=193420 vsize=19127036 memory=1505640 CPUtime=0 cores=5,7
/proc/193423/task/193524/stat : 193524 (Timer-0) S 193420 193423 193361 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18247119 19586084864 472710 134679101440 93863875334144 93863875337840 140730075892160 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93863875345656 93863875346448 93863905759232 140730075894703 140730075894885 140730075894885 140730075901896 0
Current children cumulated CPU time: 53.85 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 1890840 KiB

[startup+102.3 s]
/proc/loadavg: 3.63 1.42 0.64 5/336 193870
/proc/meminfo: memFree=113016836/131524600 swapFree=131070960/131071996
[pid=193423] ppid=193420 vsize=19127036 memory=2827072 CPUtime=104.5 cores=5,7
/proc/193423/stat : 193423 (java) S 193420 193423 193361 0 -1 1077936128 55129 0 70 0 10332 118 0 0 20 0 20 0 18247024 19586084864 706768 134679101440 93863875334144 93863875337840 140730075892160 0 0 0 0 0 16800975 0 0 0 17 5 0 0 8 0 0 93863875345656 93863875346448 93863905759232 140730075894703 140730075894885 140730075894885 140730075901896 0
/proc/193423/statm: 4781759 706768 6125 1 0 800327 0

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

/proc/meminfo: memFree=74002604/131524600 swapFree=131070960/131071996
[pid=193423] ppid=193420 vsize=19127036 memory=2739748 CPUtime=3198.24 cores=5,7
/proc/193423/stat : 193423 (java) S 193420 193423 193361 0 -1 1077936128 440318 0 70 0 318332 1492 0 0 20 0 20 0 18247024 19586084864 684937 134679101440 93863875334144 93863875337840 140730075892160 0 0 0 0 0 16800975 0 0 0 17 5 0 0 8 0 0 93863875345656 93863875346448 93863905759232 140730075894703 140730075894885 140730075894885 140730075901896 0
/proc/193423/statm: 4781759 684937 6139 1 0 694865 0
[pid=193423/tid=193442] ppid=193420 vsize=19127036 memory=164 CPUtime=3065.16 cores=5,7
/proc/193423/task/193442/stat : 193442 (java) R 193420 193423 193361 0 -1 4194368 146075 0 54 0 305214 1302 0 0 20 0 20 0 18247033 19586084864 684937 134679101440 93863875334144 93863875337840 140730075892160 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 3702 0 0 93863875345656 93863875346448 93863905759232 140730075894703 140730075894885 140730075894885 140730075901896 0
[pid=193423/tid=193478] ppid=193420 vsize=19127036 memory=2739732 CPUtime=0 cores=5,7
/proc/193423/task/193478/stat : 193478 (Finalizer) S 193420 193423 193361 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18247061 19586084864 684937 134679101440 93863875334144 93863875337840 140730075892160 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93863875345656 93863875346448 93863905759232 140730075894703 140730075894885 140730075894885 140730075901896 0
[pid=193423/tid=193508] ppid=193420 vsize=19127036 memory=2739732 CPUtime=0 cores=5,7
/proc/193423/task/193508/stat : 193508 (Common-Cleaner) S 193420 193423 193361 0 -1 1077936192 2465 0 0 0 0 0 0 0 20 0 20 0 18247062 19586084864 684937 134679101440 93863875334144 93863875337840 140730075892160 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93863875345656 93863875346448 93863905759232 140730075894703 140730075894885 140730075894885 140730075901896 0
[pid=193423/tid=193524] ppid=193420 vsize=19127036 memory=-9177041268555686588 CPUtime=0 cores=5,7
/proc/193423/task/193524/stat : 193524 (Timer-0) S 193420 193423 193361 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18247119 19586084864 684937 134679101440 93863875334144 93863875337840 140730075892160 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93863875345656 93863875346448 93863905759232 140730075894703 140730075894885 140730075894885 140730075901896 0
Current children cumulated CPU time: 3198.24 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2739748 KiB

[startup+3222.3 s]
/proc/loadavg: 4.25 4.25 4.12 5/332 195396
/proc/meminfo: memFree=70203008/131524600 swapFree=131070960/131071996
[pid=193423] ppid=193420 vsize=19127036 memory=2739752 CPUtime=3259.32 cores=5,7
/proc/193423/stat : 193423 (java) S 193420 193423 193361 0 -1 1077936128 443007 0 70 0 324415 1517 0 0 20 0 20 0 18247024 19586084864 684938 134679101440 93863875334144 93863875337840 140730075892160 0 0 0 0 0 16800975 0 0 0 17 5 0 0 8 0 0 93863875345656 93863875346448 93863905759232 140730075894703 140730075894885 140730075894885 140730075901896 0
/proc/193423/statm: 4781759 684938 6139 1 0 694865 0
[pid=193423/tid=193442] ppid=193420 vsize=19127036 memory=2739732 CPUtime=3123.85 cores=5,7
/proc/193423/task/193442/stat : 193442 (java) R 193420 193423 193361 0 -1 4194368 147667 0 54 0 311060 1325 0 0 20 0 20 0 18247033 19586084864 684938 134679101440 93863875334144 93863875337840 140730075892160 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 3722 0 0 93863875345656 93863875346448 93863905759232 140730075894703 140730075894885 140730075894885 140730075901896 0
[pid=193423/tid=193478] ppid=193420 vsize=19127036 memory=2739748 CPUtime=0 cores=5,7
/proc/193423/task/193478/stat : 193478 (Finalizer) S 193420 193423 193361 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18247061 19586084864 684938 134679101440 93863875334144 93863875337840 140730075892160 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93863875345656 93863875346448 93863905759232 140730075894703 140730075894885 140730075894885 140730075901896 0
[pid=193423/tid=193508] ppid=193420 vsize=19127036 memory=2739732 CPUtime=0 cores=5,7
/proc/193423/task/193508/stat : 193508 (Common-Cleaner) S 193420 193423 193361 0 -1 1077936192 2598 0 0 0 0 0 0 0 20 0 20 0 18247062 19586084864 684938 134679101440 93863875334144 93863875337840 140730075892160 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93863875345656 93863875346448 93863905759232 140730075894703 140730075894885 140730075894885 140730075901896 0
[pid=193423/tid=193524] ppid=193420 vsize=19127036 memory=2739752 CPUtime=0 cores=5,7
/proc/193423/task/193524/stat : 193524 (Timer-0) S 193420 193423 193361 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18247119 19586084864 684938 134679101440 93863875334144 93863875337840 140730075892160 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93863875345656 93863875346448 93863905759232 140730075894703 140730075894885 140730075894885 140730075901896 0
Current children cumulated CPU time: 3259.32 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2739752 KiB

[startup+3282.3 s]
/proc/loadavg: 4.27 4.25 4.12 5/335 195413
/proc/meminfo: memFree=71069872/131524600 swapFree=131070960/131071996
[pid=193423] ppid=193420 vsize=19127036 memory=2739752 CPUtime=3320.39 cores=5,7
/proc/193423/stat : 193423 (java) S 193420 193423 193361 0 -1 1077936128 447986 0 70 0 330499 1540 0 0 20 0 20 0 18247024 19586084864 684938 134679101440 93863875334144 93863875337840 140730075892160 0 0 0 0 0 16800975 0 0 0 17 5 0 0 8 0 0 93863875345656 93863875346448 93863905759232 140730075894703 140730075894885 140730075894885 140730075901896 0
/proc/193423/statm: 4781759 684938 6139 1 0 694865 0
[pid=193423/tid=193442] ppid=193420 vsize=19127036 memory=2739752 CPUtime=3182.62 cores=5,7
/proc/193423/task/193442/stat : 193442 (java) R 193420 193423 193361 0 -1 4194368 149611 0 54 0 316917 1345 0 0 20 0 20 0 18247033 19586084864 684938 134679101440 93863875334144 93863875337840 140730075892160 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 3742 0 0 93863875345656 93863875346448 93863905759232 140730075894703 140730075894885 140730075894885 140730075901896 0
[pid=193423/tid=193478] ppid=193420 vsize=19127036 memory=38868 CPUtime=0 cores=5,7
/proc/193423/task/193478/stat : 193478 (Finalizer) S 193420 193423 193361 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18247061 19586084864 684938 134679101440 93863875334144 93863875337840 140730075892160 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93863875345656 93863875346448 93863905759232 140730075894703 140730075894885 140730075894885 140730075901896 0
[pid=193423/tid=193508] ppid=193420 vsize=19127036 memory=2720 CPUtime=0 cores=5,7
/proc/193423/task/193508/stat : 193508 (Common-Cleaner) S 193420 193423 193361 0 -1 1077936192 2598 0 0 0 0 0 0 0 20 0 20 0 18247062 19586084864 684938 134679101440 93863875334144 93863875337840 140730075892160 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93863875345656 93863875346448 93863905759232 140730075894703 140730075894885 140730075894885 140730075901896 0
[pid=193423/tid=193524] ppid=193420 vsize=19127036 memory=11496 CPUtime=0 cores=5,7
/proc/193423/task/193524/stat : 193524 (Timer-0) S 193420 193423 193361 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18247119 19586084864 684938 134679101440 93863875334144 93863875337840 140730075892160 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93863875345656 93863875346448 93863905759232 140730075894703 140730075894885 140730075894885 140730075901896 0
Current children cumulated CPU time: 3320.39 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2739752 KiB

[startup+3342.3 s]
/proc/loadavg: 4.30 4.26 4.13 5/335 195591
/proc/meminfo: memFree=70568268/131524600 swapFree=131070960/131071996
[pid=193423] ppid=193420 vsize=19127036 memory=2739752 CPUtime=3382.99 cores=5,7
/proc/193423/stat : 193423 (java) S 193420 193423 193361 0 -1 1077936128 453732 0 70 0 336735 1564 0 0 20 0 20 0 18247024 19586084864 684938 134679101440 93863875334144 93863875337840 140730075892160 0 0 0 0 0 16800975 0 0 0 17 5 0 0 8 0 0 93863875345656 93863875346448 93863905759232 140730075894703 140730075894885 140730075894885 140730075901896 0
/proc/193423/statm: 4781759 684938 6139 1 0 694865 0
[pid=193423/tid=193442] ppid=193420 vsize=19127036 memory=38868 CPUtime=3241.5 cores=5,7
/proc/193423/task/193442/stat : 193442 (java) R 193420 193423 193361 0 -1 4194368 152087 0 54 0 322784 1366 0 0 20 0 20 0 18247033 19586084864 684938 134679101440 93863875334144 93863875337840 140730075892160 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 3759 0 0 93863875345656 93863875346448 93863905759232 140730075894703 140730075894885 140730075894885 140730075901896 0
[pid=193423/tid=193478] ppid=193420 vsize=19127036 memory=11496 CPUtime=0 cores=5,7
/proc/193423/task/193478/stat : 193478 (Finalizer) S 193420 193423 193361 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18247061 19586084864 684938 134679101440 93863875334144 93863875337840 140730075892160 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93863875345656 93863875346448 93863905759232 140730075894703 140730075894885 140730075894885 140730075901896 0
[pid=193423/tid=193508] ppid=193420 vsize=19127036 memory=18928 CPUtime=0 cores=5,7
/proc/193423/task/193508/stat : 193508 (Common-Cleaner) S 193420 193423 193361 0 -1 1077936192 2665 0 0 0 0 0 0 0 20 0 20 0 18247062 19586084864 684938 134679101440 93863875334144 93863875337840 140730075892160 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93863875345656 93863875346448 93863905759232 140730075894703 140730075894885 140730075894885 140730075901896 0
[pid=193423/tid=193524] ppid=193420 vsize=19127036 memory=5440 CPUtime=0 cores=5,7
/proc/193423/task/193524/stat : 193524 (Timer-0) S 193420 193423 193361 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18247119 19586084864 684938 134679101440 93863875334144 93863875337840 140730075892160 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93863875345656 93863875346448 93863905759232 140730075894703 140730075894885 140730075894885 140730075901896 0
Current children cumulated CPU time: 3382.99 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2739752 KiB

[startup+3402.3 s]
/proc/loadavg: 4.20 4.24 4.13 5/335 195602
/proc/meminfo: memFree=70139712/131524600 swapFree=131070960/131071996
[pid=193423] ppid=193420 vsize=19127036 memory=2739756 CPUtime=3442.73 cores=5,7
/proc/193423/stat : 193423 (java) S 193420 193423 193361 0 -1 1077936128 456174 0 70 0 342690 1583 0 0 20 0 20 0 18247024 19586084864 684939 134679101440 93863875334144 93863875337840 140730075892160 0 0 0 0 0 16800975 0 0 0 17 5 0 0 8 0 0 93863875345656 93863875346448 93863905759232 140730075894703 140730075894885 140730075894885 140730075901896 0
/proc/193423/statm: 4781759 684939 6139 1 0 694865 0
[pid=193423/tid=193442] ppid=193420 vsize=19127036 memory=2739756 CPUtime=3300.49 cores=5,7
/proc/193423/task/193442/stat : 193442 (java) R 193420 193423 193361 0 -1 4194368 153654 0 54 0 328665 1384 0 0 20 0 20 0 18247033 19586084864 684939 134679101440 93863875334144 93863875337840 140730075892160 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 3771 0 0 93863875345656 93863875346448 93863905759232 140730075894703 140730075894885 140730075894885 140730075901896 0
[pid=193423/tid=193478] ppid=193420 vsize=19127036 memory=5640 CPUtime=0 cores=5,7
/proc/193423/task/193478/stat : 193478 (Finalizer) S 193420 193423 193361 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18247061 19586084864 684939 134679101440 93863875334144 93863875337840 140730075892160 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93863875345656 93863875346448 93863905759232 140730075894703 140730075894885 140730075894885 140730075901896 0
[pid=193423/tid=193508] ppid=193420 vsize=19127036 memory=12248 CPUtime=0 cores=5,7
/proc/193423/task/193508/stat : 193508 (Common-Cleaner) S 193420 193423 193361 0 -1 1077936192 2695 0 0 0 0 0 0 0 20 0 20 0 18247062 19586084864 684939 134679101440 93863875334144 93863875337840 140730075892160 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93863875345656 93863875346448 93863905759232 140730075894703 140730075894885 140730075894885 140730075901896 0
[pid=193423/tid=193524] ppid=193420 vsize=19127036 memory=11496 CPUtime=0 cores=5,7
/proc/193423/task/193524/stat : 193524 (Timer-0) S 193420 193423 193361 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18247119 19586084864 684939 134679101440 93863875334144 93863875337840 140730075892160 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93863875345656 93863875346448 93863905759232 140730075894703 140730075894885 140730075894885 140730075901896 0
Current children cumulated CPU time: 3442.73 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2739756 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.21 4.13 5/333 195668
/proc/meminfo: memFree=69576296/131524600 swapFree=131070960/131071996
[pid=193423] ppid=193420 vsize=19127036 memory=2739800 CPUtime=3505.16 cores=5,7
/proc/193423/stat : 193423 (java) S 193420 193423 193361 0 -1 1077936128 461270 0 70 0 348903 1613 0 0 20 0 20 0 18247024 19586084864 684950 134679101440 93863875334144 93863875337840 140730075892160 0 0 0 0 0 16800975 0 0 0 17 5 0 0 8 0 0 93863875345656 93863875346448 93863905759232 140730075894703 140730075894885 140730075894885 140730075901896 0
/proc/193423/statm: 4781759 684950 6139 1 0 694877 0
[pid=193423/tid=193442] ppid=193420 vsize=19127036 memory=2739756 CPUtime=3358.83 cores=5,7
/proc/193423/task/193442/stat : 193442 (java) D 193420 193423 193361 0 -1 4194368 155369 0 54 0 334473 1410 0 0 20 0 20 0 18247033 19586084864 684950 134679101440 93863875334144 93863875337840 140730075892160 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 3782 0 0 93863875345656 93863875346448 93863905759232 140730075894703 140730075894885 140730075894885 140730075901896 0
[pid=193423/tid=193478] ppid=193420 vsize=19127036 memory=5640 CPUtime=0 cores=5,7
/proc/193423/task/193478/stat : 193478 (Finalizer) S 193420 193423 193361 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18247061 19586084864 684950 134679101440 93863875334144 93863875337840 140730075892160 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93863875345656 93863875346448 93863905759232 140730075894703 140730075894885 140730075894885 140730075901896 0
[pid=193423/tid=193508] ppid=193420 vsize=19127036 memory=11496 CPUtime=0 cores=5,7
/proc/193423/task/193508/stat : 193508 (Common-Cleaner) S 193420 193423 193361 0 -1 1077936192 2737 0 0 0 0 0 0 0 20 0 20 0 18247062 19586084864 684950 134679101440 93863875334144 93863875337840 140730075892160 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93863875345656 93863875346448 93863905759232 140730075894703 140730075894885 140730075894885 140730075901896 0
[pid=193423/tid=193524] ppid=193420 vsize=19127036 memory=2739800 CPUtime=0 cores=5,7
/proc/193423/task/193524/stat : 193524 (Timer-0) S 193420 193423 193361 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18247119 19586084864 684950 134679101440 93863875334144 93863875337840 140730075892160 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93863875345656 93863875346448 93863905759232 140730075894703 140730075894885 140730075894885 140730075901896 0
Current children cumulated CPU time: 3505.16 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2739800 KiB

[startup+3522.3 s]
/proc/loadavg: 4.19 4.22 4.13 5/333 195679
/proc/meminfo: memFree=68989028/131524600 swapFree=131070960/131071996
[pid=193423] ppid=193420 vsize=19127036 memory=2739800 CPUtime=3565.5 cores=5,7
/proc/193423/stat : 193423 (java) S 193420 193423 193361 0 -1 1077936128 463533 0 70 0 354917 1633 0 0 20 0 20 0 18247024 19586084864 684950 134679101440 93863875334144 93863875337840 140730075892160 0 0 0 0 0 16800975 0 0 0 17 5 0 0 8 0 0 93863875345656 93863875346448 93863905759232 140730075894703 140730075894885 140730075894885 140730075901896 0
/proc/193423/statm: 4781759 684950 6139 1 0 694877 0
[pid=193423/tid=193442] ppid=193420 vsize=19127036 memory=2739800 CPUtime=3417.77 cores=5,7
/proc/193423/task/193442/stat : 193442 (java) R 193420 193423 193361 0 -1 4194368 157241 0 54 0 340349 1428 0 0 20 0 20 0 18247033 19586084864 684950 134679101440 93863875334144 93863875337840 140730075892160 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 3822 0 0 93863875345656 93863875346448 93863905759232 140730075894703 140730075894885 140730075894885 140730075901896 0
[pid=193423/tid=193478] ppid=193420 vsize=19127036 memory=2739800 CPUtime=0 cores=5,7
/proc/193423/task/193478/stat : 193478 (Finalizer) S 193420 193423 193361 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18247061 19586084864 684950 134679101440 93863875334144 93863875337840 140730075892160 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93863875345656 93863875346448 93863905759232 140730075894703 140730075894885 140730075894885 140730075901896 0
[pid=193423/tid=193508] ppid=193420 vsize=19127036 memory=11496 CPUtime=0 cores=5,7
/proc/193423/task/193508/stat : 193508 (Common-Cleaner) S 193420 193423 193361 0 -1 1077936192 2809 0 0 0 0 0 0 0 20 0 20 0 18247062 19586084864 684950 134679101440 93863875334144 93863875337840 140730075892160 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93863875345656 93863875346448 93863905759232 140730075894703 140730075894885 140730075894885 140730075901896 0
[pid=193423/tid=193524] ppid=193420 vsize=19127036 memory=1948 CPUtime=0 cores=5,7
/proc/193423/task/193524/stat : 193524 (Timer-0) S 193420 193423 193361 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18247119 19586084864 684950 134679101440 93863875334144 93863875337840 140730075892160 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93863875345656 93863875346448 93863905759232 140730075894703 140730075894885 140730075894885 140730075901896 0
Current children cumulated CPU time: 3565.5 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2739800 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3556.2 s]
/proc/loadavg: 4.25 4.23 4.14 5/333 195685
/proc/meminfo: memFree=68666212/131524600 swapFree=131070960/131071996
[pid=193423] ppid=193420 vsize=19127036 memory=2739800 CPUtime=3600.09 cores=5,7
/proc/193423/stat : 193423 (java) S 193420 193423 193361 0 -1 1077936128 466610 0 70 0 358364 1645 0 0 20 0 20 0 18247024 19586084864 684950 134679101440 93863875334144 93863875337840 140730075892160 0 0 0 0 0 16800975 0 0 0 17 5 0 0 8 0 0 93863875345656 93863875346448 93863905759232 140730075894703 140730075894885 140730075894885 140730075901896 0
/proc/193423/statm: 4781759 684950 6139 1 0 694877 0
[pid=193423/tid=193442] ppid=193420 vsize=19127036 memory=-9177041268555686588 CPUtime=3450.94 cores=5,7
/proc/193423/task/193442/stat : 193442 (java) R 193420 193423 193361 0 -1 4194368 157772 0 54 0 343655 1439 0 0 20 0 20 0 18247033 19586084864 684950 134679101440 93863875334144 93863875337840 140730075892160 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 3835 0 0 93863875345656 93863875346448 93863905759232 140730075894703 140730075894885 140730075894885 140730075901896 0
[pid=193423/tid=193478] ppid=193420 vsize=19127036 memory=26812 CPUtime=0 cores=5,7
/proc/193423/task/193478/stat : 193478 (Finalizer) S 193420 193423 193361 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18247061 19586084864 684950 134679101440 93863875334144 93863875337840 140730075892160 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93863875345656 93863875346448 93863905759232 140730075894703 140730075894885 140730075894885 140730075901896 0
[pid=193423/tid=193508] ppid=193420 vsize=19127036 memory=7380 CPUtime=0 cores=5,7
/proc/193423/task/193508/stat : 193508 (Common-Cleaner) S 193420 193423 193361 0 -1 1077936192 2839 0 0 0 0 0 0 0 20 0 20 0 18247062 19586084864 684950 134679101440 93863875334144 93863875337840 140730075892160 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93863875345656 93863875346448 93863905759232 140730075894703 140730075894885 140730075894885 140730075901896 0
[pid=193423/tid=193524] ppid=193420 vsize=19127036 memory=5796695868719759386 CPUtime=0 cores=5,7
/proc/193423/task/193524/stat : 193524 (Timer-0) S 193420 193423 193361 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18247119 19586084864 684950 134679101440 93863875334144 93863875337840 140730075892160 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93863875345656 93863875346448 93863905759232 140730075894703 140730075894885 140730075894885 140730075901896 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 2739800 KiB

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

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

# cumulated CPU time of all completed processes:  user=3583.75 s, system=16.4637 s

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

Child status: 143

Real time (s): 3556.29
CPU time (s): 3600.21
CPU user time (s): 3583.75
CPU system time (s): 16.4637
CPU usage (%): 101.235
Max. virtual memory (cumulated for all children) (KiB): 19127036
Max. memory (cumulated for all children) (KiB): 3156668

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.75
system time used= 16.4637
maximum resident set size= 3156668
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 468163
page faults= 70
swaps= 0
block input operations= 11480
block output operations= 26779104
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 126569
involuntary context switches= 18847


# summary of solver processes directly reported to runsolver:
#   pid: 193423
#   total CPU time (s): 3600.21
#   total CPU user time (s): 3583.75
#   total CPU system time (s): 16.4637

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.58161 second user time and 18.8616 second system time

The end

Launcher Data 

Begin job on nodeC020 at 2024-07-24 12:33:07
IDJOB=4442912
IDBENCH=147856
IDSOLVER=3079
FILE ID=nodeC020/4442912-1721817186
RUNJOBID= nodeC020-1721817186-193374
SLURM_JOB_ID= 7816874
Free space on /tmp= 890072 MiB

SOLVER NAME= Sat4j Resolution 2024 2024-07-07
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/roussel/normalized-pigeon-clauses-55-50.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-4442912-1721817186/watcher-4442912-1721817186 -o /tmp/evaluation-result-4442912-1721817186/solver-4442912-1721817186 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1721817186-193374 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4442912-1721817186 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4442912-1721817186.opb

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

MD5SUM BENCH= 447851c4fd40c5c34c03bb94532f1e8d
RANDOM SEED=990321049

nodeC020.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		: 3545.309
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.31
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		: 3662.989
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.25
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		: 3394.990
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.31
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		: 3559.958
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.25
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		: 3328.423
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.31
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		: 3682.239
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.25
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		: 3550.511
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.31
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		: 3659.976
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.25
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        125068236 kB
MemAvailable:   129772732 kB
Buffers:          238196 kB
Cached:          5253460 kB
SwapCached:           68 kB
Active:          2544612 kB
Inactive:        3225020 kB
Active(anon):       1480 kB
Inactive(anon):   330152 kB
Active(file):    2543132 kB
Inactive(file):  2894868 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131070960 kB
Dirty:             12596 kB
Writeback:             0 kB
AnonPages:        277080 kB
Mapped:           111036 kB
Shmem:             53952 kB
KReclaimable:     212636 kB
Slab:             328964 kB
SReclaimable:     212636 kB
SUnreclaim:       116328 kB
KernelStack:        3936 kB
PageTables:         9628 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     609184 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            22592 kB
HardwareCorrupted:     0 kB
AnonHugePages:    157696 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:      363220 kB
DirectMap2M:    44498944 kB
DirectMap1G:    91226112 kB

Free space on /tmp at the end= 890064 MiB
End job on nodeC020 at 2024-07-24 13:32:23