Trace number 4451632

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.24 3613.99

General information on the benchmark

NamePB24/normalized-PB16/DEC-LIN/elffers/
rand6reg/normalized-rand6reg-v101-n3.opb
MD5SUMff2431c9aac399448d9270c6fef4de20
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.378551
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables303
Total number of constraints101
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)101
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint6
Maximum length of a constraint6
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 7
Number of bits of the biggest sum of numbers3
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.06	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.06	c See www.sat4j.org for details.
0.00/0.07	c version CUSTOM.v20240707
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		2104792832
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.08	c Number of processors 	2
0.14/0.12	--- Begin Solver configuration ---
0.14/0.12	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.14/0.12	Learn all clauses as in MiniSAT
0.14/0.12	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.12	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.12	Expensive reason simplification
0.14/0.12	Glucose 2.1 dynamic restart strategy
0.14/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.14/0.12	timeout=2147483s
0.14/0.12	DB Simplification allowed=false
0.14/0.12	Listener: none
0.14/0.12	--- End Solver configuration ---
0.14/0.12	c Pseudo Boolean Optimization by upper bound
0.14/0.12	c --- Begin Solver configuration ---
0.14/0.12	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.14/0.12	c Learn all clauses as in MiniSAT
0.14/0.12	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.12	c Expensive reason simplification
0.14/0.12	c Glucose 2.1 dynamic restart strategy
0.14/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.14/0.12	c timeout=2147483s
0.14/0.12	c DB Simplification allowed=false
0.14/0.12	c Listener: none
0.14/0.12	c --- End Solver configuration ---
0.14/0.12	c solving HOME/instance-4451632-1721840498.opb
0.14/0.12	c reading problem ... 
0.14/0.13	c using VERIPB proof format
0.14/0.13	c  no objective function found
0.14/0.15	c ... done. Wall clock time 0.023s.
0.14/0.15	c declared #vars     303
0.14/0.15	c #constraints  202
0.14/0.15	c constraints type 
0.14/0.15	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 101
0.14/0.15	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 101
0.14/0.15	c 202 constraints processed.
1.45/0.83	c cleaning 2484 clauses out of 5000 with flag 38943/5000
2.44/1.39	c cleaning 4255 clauses out of 8517 with flag 89042/11001
3.79/2.17	c cleaning 5623 clauses out of 11262 with flag 149962/18001
5.03/3.10	c cleaning 6811 clauses out of 13638 with flag 228363/26000
6.13/4.25	c cleaning 7911 clauses out of 15828 with flag 320980/35001
7.50/5.52	c cleaning 8950 clauses out of 17916 with flag 419016/45000
9.00/7.04	c cleaning 9977 clauses out of 19967 with flag 531185/56001
10.69/8.71	c cleaning 10981 clauses out of 21989 with flag 657447/68000
12.50/10.54	c cleaning 11972 clauses out of 24008 with flag 795561/81000
14.61/12.60	c cleaning 12986 clauses out of 26038 with flag 938283/95002
16.50/14.56	c cleaning 13995 clauses out of 28050 with flag 1090593/110000
18.79/16.92	c cleaning 14994 clauses out of 30055 with flag 1254063/126000
21.57/19.59	c cleaning 15999 clauses out of 32062 with flag 1432114/143001
24.82/22.71	c cleaning 16996 clauses out of 34062 with flag 1632714/161000
28.22/26.17	c cleaning 17998 clauses out of 36067 with flag 1837179/180001
32.41/30.34	c cleaning 18998 clauses out of 38068 with flag 2070977/200000
36.92/34.86	c cleaning 20000 clauses out of 40070 with flag 2319543/221000
41.41/39.39	c cleaning 21000 clauses out of 42071 with flag 2594793/243001
46.50/44.42	c cleaning 22001 clauses out of 44070 with flag 2876663/266000
51.89/49.81	c cleaning 22999 clauses out of 46069 with flag 3182123/290000
57.38/55.38	c cleaning 24004 clauses out of 48072 with flag 3490648/315002
63.56/61.50	c cleaning 24994 clauses out of 50066 with flag 3817939/341000
69.90/67.94	c cleaning 25999 clauses out of 52073 with flag 4131908/368001
76.58/74.63	c cleaning 27005 clauses out of 54074 with flag 4477060/396001
83.68/81.70	c cleaning 27997 clauses out of 56069 with flag 4828971/425001
91.77/89.60	c cleaning 29014 clauses out of 58074 with flag 5201988/455003
100.51/98.50	c cleaning 30003 clauses out of 60057 with flag 5569071/486000
108.68/106.71	c cleaning 30999 clauses out of 62055 with flag 5942175/518001
117.37/115.45	c cleaning 32000 clauses out of 64057 with flag 6338602/551002
127.60/125.88	c cleaning 32986 clauses out of 66055 with flag 6768108/585000
138.29/136.51	c cleaning 33994 clauses out of 68070 with flag 7186164/620001
149.68/147.90	c cleaning 34991 clauses out of 70075 with flag 7624430/656000
160.68/159.15	c cleaning 36005 clauses out of 72084 with flag 8074301/693000
168.47/166.92	c cleaning 37032 clauses out of 74081 with flag 8462571/731002
174.96/173.40	c cleaning 38016 clauses out of 76048 with flag 8817506/770001
186.41/185.23	c cleaning 39004 clauses out of 78031 with flag 9218658/810000
196.32/195.20	c cleaning 40014 clauses out of 80030 with flag 9637693/851003
205.79/204.66	c cleaning 40996 clauses out of 82013 with flag 10127511/893000
213.08/211.94	c cleaning 41996 clauses out of 84018 with flag 10554007/936001
220.63/219.93	c cleaning 43001 clauses out of 86022 with flag 10980273/980001
230.11/229.48	c cleaning 44005 clauses out of 88023 with flag 11435557/1025003
240.50/239.86	c cleaning 44996 clauses out of 90015 with flag 12023019/1071000
250.56/250.38	c cleaning 46006 clauses out of 92021 with flag 12542370/1118002
260.57/260.39	c cleaning 46992 clauses out of 94013 with flag 13057720/1166000
271.64/271.42	c cleaning 47981 clauses out of 96021 with flag 13616815/1215000
284.85/284.98	c cleaning 48994 clauses out of 98041 with flag 14201014/1265001
297.45/297.54	c cleaning 50001 clauses out of 100048 with flag 14828980/1316002
310.15/310.43	c cleaning 51016 clauses out of 102045 with flag 15498555/1368000
325.56/325.83	c cleaning 52008 clauses out of 104030 with flag 16096655/1421001
339.03/339.37	c cleaning 53008 clauses out of 106025 with flag 16747736/1475004
355.93/356.27	c cleaning 54003 clauses out of 108015 with flag 17447681/1530002
373.00/373.37	c cleaning 54996 clauses out of 110012 with flag 18205554/1586002
388.62/388.90	c cleaning 56003 clauses out of 112015 with flag 18978042/1643001
403.50/403.86	c cleaning 56997 clauses out of 114011 with flag 19662699/1701000
419.90/420.26	c cleaning 57993 clauses out of 116017 with flag 20471139/1760003
440.66/441.26	c cleaning 58986 clauses out of 118021 with flag 21230117/1820000
461.01/461.65	c cleaning 59991 clauses out of 120037 with flag 22034183/1881002
480.03/480.62	c cleaning 60999 clauses out of 122045 with flag 22869873/1943001
501.76/502.42	c cleaning 62001 clauses out of 124045 with flag 23657740/2006000
522.48/523.30	c cleaning 63009 clauses out of 126044 with flag 24514340/2070000
541.71/542.63	c cleaning 64010 clauses out of 128035 with flag 25330164/2135000
577.42/578.40	c cleaning 65002 clauses out of 130026 with flag 26213186/2201001
612.97/614.08	c cleaning 66000 clauses out of 132024 with flag 27108298/2268001
646.16/647.33	c cleaning 67003 clauses out of 134023 with flag 28038071/2336000
665.30/666.43	c cleaning 67999 clauses out of 136021 with flag 28759240/2405001
681.51/682.62	c cleaning 69003 clauses out of 138022 with flag 29493027/2475001
703.12/704.25	c cleaning 69997 clauses out of 140018 with flag 30333612/2546000
731.42/732.61	c cleaning 70988 clauses out of 142021 with flag 31286638/2618000
754.44/755.66	c cleaning 72010 clauses out of 144034 with flag 32213036/2691001
779.52/780.77	c cleaning 73006 clauses out of 146024 with flag 33121164/2765001
808.06/809.31	c cleaning 74002 clauses out of 148017 with flag 33965881/2840000
836.91/838.28	c cleaning 74999 clauses out of 150016 with flag 34830991/2916001
870.51/872.05	c cleaning 75999 clauses out of 152017 with flag 35771908/2993001
899.56/901.36	c cleaning 77001 clauses out of 154017 with flag 36734289/3071000
936.81/939.04	c cleaning 77999 clauses out of 156019 with flag 37751876/3150003
966.48/968.72	c cleaning 79000 clauses out of 158017 with flag 38811848/3230000
993.70/996.02	c cleaning 80000 clauses out of 160019 with flag 39832795/3311002
1034.91/1037.46	c cleaning 81005 clauses out of 162019 with flag 40823349/3393002
1065.31/1067.96	c cleaning 81990 clauses out of 164015 with flag 41876846/3476003
1097.78/1100.52	c cleaning 82993 clauses out of 166022 with flag 42999687/3560000
1128.76/1131.60	c cleaning 84005 clauses out of 168031 with flag 44020838/3645002
1177.61/1180.71	c cleaning 85003 clauses out of 170026 with flag 45165333/3731002
1228.13/1231.78	c cleaning 86000 clauses out of 172021 with flag 46317961/3818000
1266.78/1270.48	c cleaning 87000 clauses out of 174022 with flag 47503710/3906001
1301.26/1305.41	c cleaning 88001 clauses out of 176022 with flag 48586769/3995001
1344.43/1349.06	c cleaning 88998 clauses out of 178020 with flag 49664930/4085000
1383.65/1388.71	c cleaning 90003 clauses out of 180023 with flag 50808624/4176001
1420.86/1426.06	c cleaning 91005 clauses out of 182021 with flag 51959316/4268002
1457.67/1463.02	c cleaning 92002 clauses out of 184015 with flag 53105010/4361001
1499.18/1504.62	c cleaning 92999 clauses out of 186013 with flag 54262523/4455001
1548.80/1554.51	c cleaning 94001 clauses out of 188013 with flag 55465352/4550000
1588.90/1594.71	c cleaning 94995 clauses out of 190012 with flag 56691708/4646000
1633.85/1640.05	c cleaning 96004 clauses out of 192017 with flag 57925745/4743000
1674.10/1680.68	c cleaning 97003 clauses out of 194014 with flag 59153798/4841001
1715.69/1722.53	c cleaning 97999 clauses out of 196010 with flag 60389477/4940000
1762.57/1769.58	c cleaning 99002 clauses out of 198011 with flag 61708383/5040000
1811.94/1819.19	c cleaning 100004 clauses out of 200011 with flag 62943494/5141002
1860.48/1867.71	c cleaning 100976 clauses out of 202006 with flag 64332601/5243001
1908.10/1915.57	c cleaning 102011 clauses out of 204029 with flag 65911760/5346000
1953.49/1961.06	c cleaning 103003 clauses out of 206019 with flag 67305181/5450001
1998.28/2006.06	c cleaning 103999 clauses out of 208015 with flag 68624153/5555000
2046.88/2054.72	c cleaning 105000 clauses out of 210017 with flag 69988246/5661001
2114.47/2122.69	c cleaning 106000 clauses out of 212017 with flag 71447705/5768001
2165.66/2174.00	c cleaning 107000 clauses out of 214016 with flag 72829450/5876000
2215.50/2224.13	c cleaning 108001 clauses out of 216016 with flag 74217781/5985000
2269.66/2278.49	c cleaning 109002 clauses out of 218017 with flag 75659808/6095002
2326.51/2335.49	c cleaning 109998 clauses out of 220014 with flag 77177924/6206001
2386.12/2395.18	c cleaning 110999 clauses out of 222015 with flag 78680747/6318000
2437.48/2447.17	c cleaning 112002 clauses out of 224016 with flag 80086888/6431000
2495.43/2505.21	c cleaning 112999 clauses out of 226016 with flag 81624943/6545002
2552.32/2562.38	c cleaning 113999 clauses out of 228015 with flag 83111390/6660000
2611.04/2621.29	c cleaning 115002 clauses out of 230017 with flag 84667701/6776001
2671.18/2681.55	c cleaning 115992 clauses out of 232014 with flag 86220325/6893000
2733.91/2744.40	c cleaning 117002 clauses out of 234023 with flag 87784744/7011001
2796.64/2807.31	c cleaning 118004 clauses out of 236020 with flag 89376060/7130000
2854.64/2865.58	c cleaning 119003 clauses out of 238019 with flag 90869872/7250003
2915.89/2927.04	c cleaning 120002 clauses out of 240014 with flag 92430568/7371001
2986.85/2998.68	c cleaning 120999 clauses out of 242012 with flag 94038743/7493001
3057.37/3069.25	c cleaning 122000 clauses out of 244014 with flag 95736933/7616002
3117.60/3129.69	c cleaning 122997 clauses out of 246013 with flag 97246786/7740001
3185.03/3197.43	c cleaning 123999 clauses out of 248015 with flag 98920214/7865000
3253.61/3266.43	c cleaning 125001 clauses out of 250017 with flag 100623219/7991001
3317.90/3330.82	c cleaning 126005 clauses out of 252018 with flag 102298335/8118003
3388.92/3402.22	c cleaning 127000 clauses out of 254011 with flag 103992027/8246001
3457.92/3471.43	c cleaning 128001 clauses out of 256011 with flag 105730976/8375001
3550.40/3564.12	c cleaning 128998 clauses out of 258009 with flag 107531719/8505000
3600.09/3613.91	c starts		: 10055
3600.09/3613.92	c conflicts		: 8576209
3600.09/3613.92	c timeout
3600.09/3613.92	c decisions		: 10708291
3600.09/3613.92	c propagations		: 206282504
3600.09/3613.92	c inspects		: 45770979739
3600.09/3613.92	c shortcuts		: 0
3600.09/3613.92	c learnt literals	: 0
3600.09/3613.92	c learnt binary clauses	: 0
3600.09/3613.92	c learnt ternary clauses	: 0
3600.09/3613.92	c learnt constraints	: 8576209
3600.09/3613.92	c ignored constraints	: 0
3600.09/3613.92	c root simplifications	: 0
3600.09/3613.92	c removed literals (reason simplification)	: 103198262
3600.09/3613.92	c reason swapping (by a shorter reason)	: 0
3600.09/3613.92	c Calls to reduceDB	: 126
3600.09/3613.92	c Number of update (reduction) of LBD	: 2701034
3600.09/3613.92	c Imported unit clauses	: 0
3600.09/3613.92	c No decision after first conflict	: false
3600.09/3613.92	c number of reductions to clauses (during analyze)	: 0
3600.09/3613.92	c number of learned constraints concerned by reduction	: 0
3600.09/3613.92	c number of learning phase by resolution	: 0
3600.09/3613.92	c number of learning phase by cutting planes	: 0
3600.09/3613.92	c number of rounding to 1 operations	: 0
3600.09/3613.92	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.09/3613.92	c number of reductions of the coefficients by power 2 	: 0
3600.09/3613.92	c number of right shift for reduction by power 2 	: 0
3600.09/3613.92	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.09/3613.92	c number of ending skipping 	: 0
3600.09/3613.92	c number of internal skipping 	: 0
3600.09/3613.92	c number of derivation steps 	: 0
3600.09/3613.92	c number of skipped derivation steps 	: 0
3600.09/3613.92	c number of remaining unassigned 	: 0
3600.09/3613.92	c number of remaining assigned 	: 0
3600.09/3613.92	c number of falsified literals weakened from reason	: 0
3600.09/3613.92	c number of falsified literals weakened from conflict	: 0
3600.09/3613.92	c time for arithmetic operations	: 0
3600.09/3613.92	c minimum degree of deleted constraints	: null
3600.09/3613.92	c maximum degree of deleted constraints	: null
3600.09/3613.92	c number of deleted constraints	: 0
3600.09/3613.92	c speed (assignments/second)	: 57082.4345246578
3600.09/3613.92	c non guided choices	: 373
3600.09/3613.97	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 200220
3600.09/3613.98	s UNKNOWN
3600.09/3613.98	c Total wall clock time (in seconds): 3613.853

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4451632-1721840498/watcher-4451632-1721840498 -o /tmp/evaluation-result-4451632-1721840498/solver-4451632-1721840498 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1721840221-250669 --watchdog 3760 java -Dveripb=PROOFDIR/proof-4451632-1721840498 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4451632-1721840498.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
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=251625, runsolver pid=251622

[startup+0.101383 s]*
/proc/loadavg: 4.18 4.01 4.02 7/335 251643
/proc/meminfo: memFree=112332804/131524600 swapFree=131071728/131071996
[pid=251625] ppid=251622 vsize=18975048 memory=64820 CPUtime=0.14 cores=4,6
/proc/251625/stat : 251625 (java) S 251622 251625 250658 0 -1 1077936128 7242 0 0 0 12 2 0 0 20 0 18 0 20572785 19430449152 16205 134679101440 94143460843520 94143460847216 140735432977488 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94143460855032 94143460855824 94143471161344 140735432983467 140735432983649 140735432983649 140735432990664 0
/proc/251625/statm: 4743762 16205 5557 1 0 549372 0
[pid=251625/tid=251627] ppid=251622 vsize=18975048 memory=4026561586 CPUtime=0.09 cores=4,6
/proc/251625/task/251627/stat : 251627 (java) R 251622 251625 250658 0 -1 1078198336 5765 0 0 0 7 2 0 0 20 0 18 0 20572785 19430449152 16205 134679101440 94143460843520 94143460847216 140735432977488 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94143460855032 94143460855824 94143471161344 140735432983467 140735432983649 140735432983649 140735432990664 0
[pid=251625/tid=251636] ppid=251622 vsize=18975048 memory=232851243367 CPUtime=0 cores=4,6
/proc/251625/task/251636/stat : 251636 (Finalizer) S 251622 251625 250658 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 20572788 19430449152 16205 134679101440 94143460843520 94143460847216 140735432977488 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94143460855032 94143460855824 94143471161344 140735432983467 140735432983649 140735432983649 140735432990664 0
[pid=251625/tid=251643] ppid=251622 vsize=18975048 memory=14130048089961189 CPUtime=0 cores=4,6
/proc/251625/task/251643/stat : 251643 (Common-Cleaner) S 251622 251625 250658 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 20572789 19430449152 16205 134679101440 94143460843520 94143460847216 140735432977488 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94143460855032 94143460855824 94143471161344 140735432983467 140735432983649 140735432983649 140735432990664 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 64820 KiB

[startup+0.205904 s]*
/proc/loadavg: 4.18 4.01 4.02 6/336 251644
/proc/meminfo: memFree=112325040/131524600 swapFree=131071728/131071996
[pid=251625] ppid=251622 vsize=19041612 memory=73144 CPUtime=0.31 cores=4,6
/proc/251625/stat : 251625 (java) S 251622 251625 250658 0 -1 1077936128 8316 0 0 0 29 2 0 0 20 0 19 0 20572785 19498610688 18286 134679101440 94143460843520 94143460847216 140735432977488 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94143460855032 94143460855824 94143471161344 140735432983467 140735432983649 140735432983649 140735432990664 0
/proc/251625/statm: 4760403 18286 5826 1 0 550243 0
[pid=251625/tid=251627] ppid=251622 vsize=19041612 memory=4782652875487838339 CPUtime=0.17 cores=4,6
/proc/251625/task/251627/stat : 251627 (java) R 251622 251625 250658 0 -1 1077936192 5998 0 0 0 15 2 0 0 20 0 19 0 20572785 19498610688 18286 134679101440 94143460843520 94143460847216 140735432977488 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94143460855032 94143460855824 94143471161344 140735432983467 140735432983649 140735432983649 140735432990664 0
[pid=251625/tid=251636] ppid=251622 vsize=19041612 memory=770575 CPUtime=0 cores=4,6
/proc/251625/task/251636/stat : 251636 (Finalizer) S 251622 251625 250658 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 20572788 19498610688 18286 134679101440 94143460843520 94143460847216 140735432977488 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94143460855032 94143460855824 94143471161344 140735432983467 140735432983649 140735432983649 140735432990664 0
[pid=251625/tid=251643] ppid=251622 vsize=19041612 memory=15816698926204594 CPUtime=0 cores=4,6
/proc/251625/task/251643/stat : 251643 (Common-Cleaner) S 251622 251625 250658 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 20572789 19498610688 18286 134679101440 94143460843520 94143460847216 140735432977488 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94143460855032 94143460855824 94143471161344 140735432983467 140735432983649 140735432983649 140735432990664 0
[pid=251625/tid=251644] ppid=251622 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/251625/task/251644/stat : 251644 (Timer-0) S 251622 251625 250658 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 20572801 19498610688 18286 134679101440 94143460843520 94143460847216 140735432977488 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94143460855032 94143460855824 94143471161344 140735432983467 140735432983649 140735432983649 140735432990664 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 73144 KiB

[startup+0.312826 s]*
/proc/loadavg: 4.18 4.01 4.02 7/336 251644
/proc/meminfo: memFree=112308556/131524600 swapFree=131071728/131071996
[pid=251625] ppid=251622 vsize=19041612 memory=88472 CPUtime=0.51 cores=4,6
/proc/251625/stat : 251625 (java) S 251622 251625 250658 0 -1 1077936128 10422 0 0 0 49 2 0 0 20 0 19 0 20572785 19498610688 22118 134679101440 94143460843520 94143460847216 140735432977488 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94143460855032 94143460855824 94143471161344 140735432983467 140735432983649 140735432983649 140735432990664 0
/proc/251625/statm: 4760403 22118 5826 1 0 551482 0
[pid=251625/tid=251627] ppid=251622 vsize=19041612 memory=-9032923890113553084 CPUtime=0.26 cores=4,6
/proc/251625/task/251627/stat : 251627 (java) R 251622 251625 250658 0 -1 4194368 6029 0 0 0 24 2 0 0 20 0 19 0 20572785 19498610688 22118 134679101440 94143460843520 94143460847216 140735432977488 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94143460855032 94143460855824 94143471161344 140735432983467 140735432983649 140735432983649 140735432990664 0
[pid=251625/tid=251636] ppid=251622 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/251625/task/251636/stat : 251636 (Finalizer) S 251622 251625 250658 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 20572788 19498610688 22118 134679101440 94143460843520 94143460847216 140735432977488 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94143460855032 94143460855824 94143471161344 140735432983467 140735432983649 140735432983649 140735432990664 0
[pid=251625/tid=251643] ppid=251622 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/251625/task/251643/stat : 251643 (Common-Cleaner) S 251622 251625 250658 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 20572789 19498610688 22118 134679101440 94143460843520 94143460847216 140735432977488 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94143460855032 94143460855824 94143471161344 140735432983467 140735432983649 140735432983649 140735432990664 0
[pid=251625/tid=251644] ppid=251622 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/251625/task/251644/stat : 251644 (Timer-0) S 251622 251625 250658 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 20572801 19498610688 22118 134679101440 94143460843520 94143460847216 140735432977488 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94143460855032 94143460855824 94143471161344 140735432983467 140735432983649 140735432983649 140735432990664 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 88472 KiB

[startup+0.700825 s]
/proc/loadavg: 4.18 4.01 4.02 7/336 251644
/proc/meminfo: memFree=112267744/131524600 swapFree=131071728/131071996
[pid=251625] ppid=251622 vsize=19041612 memory=163808 CPUtime=1.27 cores=4,6
/proc/251625/stat : 251625 (java) S 251622 251625 250658 0 -1 1077936128 12451 0 0 0 122 5 0 0 20 0 19 0 20572785 19498610688 40952 134679101440 94143460843520 94143460847216 140735432977488 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94143460855032 94143460855824 94143471161344 140735432983467 140735432983649 140735432983649 140735432990664 0
/proc/251625/statm: 4760403 40952 5860 1 0 552672 0
[pid=251625/tid=251627] ppid=251622 vsize=19041612 memory=72092 CPUtime=0.64 cores=4,6
/proc/251625/task/251627/stat : 251627 (java) R 251622 251625 250658 0 -1 4194368 6064 0 0 0 60 4 0 0 20 0 19 0 20572785 19498610688 40952 134679101440 94143460843520 94143460847216 140735432977488 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94143460855032 94143460855824 94143471161344 140735432983467 140735432983649 140735432983649 140735432990664 0
[pid=251625/tid=251636] ppid=251622 vsize=19041612 memory=12264 CPUtime=0 cores=4,6
/proc/251625/task/251636/stat : 251636 (Finalizer) S 251622 251625 250658 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 20572788 19498610688 40952 134679101440 94143460843520 94143460847216 140735432977488 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94143460855032 94143460855824 94143471161344 140735432983467 140735432983649 140735432983649 140735432990664 0
[pid=251625/tid=251643] ppid=251622 vsize=19041612 memory=2248 CPUtime=0 cores=4,6
/proc/251625/task/251643/stat : 251643 (Common-Cleaner) S 251622 251625 250658 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 20572789 19498610688 40952 134679101440 94143460843520 94143460847216 140735432977488 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94143460855032 94143460855824 94143471161344 140735432983467 140735432983649 140735432983649 140735432990664 0
[pid=251625/tid=251644] ppid=251622 vsize=19041612 memory=25948 CPUtime=0 cores=4,6
/proc/251625/task/251644/stat : 251644 (Timer-0) S 251622 251625 250658 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 20572801 19498610688 40952 134679101440 94143460843520 94143460847216 140735432977488 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94143460855032 94143460855824 94143471161344 140735432983467 140735432983649 140735432983649 140735432990664 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 163808 KiB

[startup+1.50084 s]
/proc/loadavg: 4.18 4.01 4.02 6/337 251645
/proc/meminfo: memFree=112216676/131524600 swapFree=131071728/131071996
[pid=251625] ppid=251622 vsize=19108176 memory=179036 CPUtime=2.84 cores=4,6
/proc/251625/stat : 251625 (java) S 251622 251625 250658 0 -1 1077936128 20111 0 0 0 277 7 0 0 20 0 20 0 20572785 19566772224 44759 134679101440 94143460843520 94143460847216 140735432977488 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94143460855032 94143460855824 94143471161344 140735432983467 140735432983649 140735432983649 140735432990664 0
/proc/251625/statm: 4777044 44759 5892 1 0 554474 0
[pid=251625/tid=251627] ppid=251622 vsize=19108176 memory=12264 CPUtime=1.4 cores=4,6
/proc/251625/task/251627/stat : 251627 (java) R 251622 251625 250658 0 -1 4194368 6475 0 0 0 135 5 0 0 20 0 20 0 20572785 19566772224 44759 134679101440 94143460843520 94143460847216 140735432977488 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94143460855032 94143460855824 94143471161344 140735432983467 140735432983649 140735432983649 140735432990664 0
[pid=251625/tid=251636] ppid=251622 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/251625/task/251636/stat : 251636 (Finalizer) S 251622 251625 250658 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20572788 19566772224 44759 134679101440 94143460843520 94143460847216 140735432977488 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94143460855032 94143460855824 94143471161344 140735432983467 140735432983649 140735432983649 140735432990664 0
[pid=251625/tid=251643] ppid=251622 vsize=19108176 memory=2248 CPUtime=0 cores=4,6
/proc/251625/task/251643/stat : 251643 (Common-Cleaner) S 251622 251625 250658 0 -1 1077936192 44 0 0 0 0 0 0 0 20 0 20 0 20572789 19566772224 44759 134679101440 94143460843520 94143460847216 140735432977488 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94143460855032 94143460855824 94143471161344 140735432983467 140735432983649 140735432983649 140735432990664 0
[pid=251625/tid=251644] ppid=251622 vsize=19108176 memory=25948 CPUtime=0 cores=4,6
/proc/251625/task/251644/stat : 251644 (Timer-0) S 251622 251625 250658 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20572801 19566772224 44759 134679101440 94143460843520 94143460847216 140735432977488 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94143460855032 94143460855824 94143471161344 140735432983467 140735432983649 140735432983649 140735432990664 0
Current children cumulated CPU time: 2.84 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 179036 KiB

[startup+3.10574 s]
/proc/loadavg: 4.18 4.01 4.02 5/337 251645
/proc/meminfo: memFree=112142212/131524600 swapFree=131071728/131071996
[pid=251625] ppid=251622 vsize=19108176 memory=230808 CPUtime=5.03 cores=4,6
/proc/251625/stat : 251625 (java) S 251622 251625 250658 0 -1 1077936128 21878 0 0 0 494 9 0 0 20 0 20 0 20572785 19566772224 57702 134679101440 94143460843520 94143460847216 140735432977488 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94143460855032 94143460855824 94143471161344 140735432983467 140735432983649 140735432983649 140735432990664 0
/proc/251625/statm: 4777044 57702 5892 1 0 554479 0
[pid=251625/tid=251627] ppid=251622 vsize=19108176 memory=0 CPUtime=2.99 cores=4,6
/proc/251625/task/251627/stat : 251627 (java) R 251622 251625 250658 0 -1 4194368 7002 0 0 0 292 7 0 0 20 0 20 0 20572785 19566772224 57702 134679101440 94143460843520 94143460847216 140735432977488 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94143460855032 94143460855824 94143471161344 140735432983467 140735432983649 140735432983649 140735432990664 0
[pid=251625/tid=251636] ppid=251622 vsize=19108176 memory=-9032923890113553084 CPUtime=0 cores=4,6
/proc/251625/task/251636/stat : 251636 (Finalizer) S 251622 251625 250658 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20572788 19566772224 57702 134679101440 94143460843520 94143460847216 140735432977488 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94143460855032 94143460855824 94143471161344 140735432983467 140735432983649 140735432983649 140735432990664 0
[pid=251625/tid=251643] ppid=251622 vsize=19108176 memory=12264 CPUtime=0 cores=4,6
/proc/251625/task/251643/stat : 251643 (Common-Cleaner) S 251622 251625 250658 0 -1 1077936192 44 0 0 0 0 0 0 0 20 0 20 0 20572789 19566772224 57702 134679101440 94143460843520 94143460847216 140735432977488 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94143460855032 94143460855824 94143471161344 140735432983467 140735432983649 140735432983649 140735432990664 0
[pid=251625/tid=251644] ppid=251622 vsize=19108176 memory=2248 CPUtime=0 cores=4,6
/proc/251625/task/251644/stat : 251644 (Timer-0) S 251622 251625 250658 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20572801 19566772224 57702 134679101440 94143460843520 94143460847216 140735432977488 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94143460855032 94143460855824 94143471161344 140735432983467 140735432983649 140735432983649 140735432990664 0
Current children cumulated CPU time: 5.03 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 230808 KiB

[startup+6.30027 s]
/proc/loadavg: 4.17 4.00 4.02 6/337 251647
/proc/meminfo: memFree=111897952/131524600 swapFree=131071728/131071996
[pid=251625] ppid=251622 vsize=19108176 memory=439552 CPUtime=8.3 cores=4,6
/proc/251625/stat : 251625 (java) S 251622 251625 250658 0 -1 1077936128 22949 0 0 0 816 14 0 0 20 0 20 0 20572785 19566772224 109888 134679101440 94143460843520 94143460847216 140735432977488 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94143460855032 94143460855824 94143471161344 140735432983467 140735432983649 140735432983649 140735432990664 0
/proc/251625/statm: 4777044 109888 5892 1 0 554479 0
[pid=251625/tid=251627] ppid=251622 vsize=19108176 memory=2248 CPUtime=6.16 cores=4,6
/proc/251625/task/251627/stat : 251627 (java) R 251622 251625 250658 0 -1 4194368 7386 0 0 0 605 11 0 0 20 0 20 0 20572785 19566772224 109888 134679101440 94143460843520 94143460847216 140735432977488 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94143460855032 94143460855824 94143471161344 140735432983467 140735432983649 140735432983649 140735432990664 0
[pid=251625/tid=251636] ppid=251622 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/251625/task/251636/stat : 251636 (Finalizer) S 251622 251625 250658 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20572788 19566772224 109888 134679101440 94143460843520 94143460847216 140735432977488 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94143460855032 94143460855824 94143471161344 140735432983467 140735432983649 140735432983649 140735432990664 0
[pid=251625/tid=251643] ppid=251622 vsize=19108176 memory=12264 CPUtime=0 cores=4,6
/proc/251625/task/251643/stat : 251643 (Common-Cleaner) S 251622 251625 250658 0 -1 1077936192 44 0 0 0 0 0 0 0 20 0 20 0 20572789 19566772224 109888 134679101440 94143460843520 94143460847216 140735432977488 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94143460855032 94143460855824 94143471161344 140735432983467 140735432983649 140735432983649 140735432990664 0
[pid=251625/tid=251644] ppid=251622 vsize=19108176 memory=-5158697563450915880 CPUtime=0 cores=4,6
/proc/251625/task/251644/stat : 251644 (Timer-0) S 251622 251625 250658 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20572801 19566772224 109888 134679101440 94143460843520 94143460847216 140735432977488 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94143460855032 94143460855824 94143471161344 140735432983467 140735432983649 140735432983649 140735432990664 0
Current children cumulated CPU time: 8.3 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 439552 KiB

[startup+12.7002 s]
/proc/loadavg: 4.15 4.00 4.02 6/337 251647
/proc/meminfo: memFree=111177148/131524600 swapFree=131071728/131071996
[pid=251625] ppid=251622 vsize=19108176 memory=1107124 CPUtime=14.7 cores=4,6
/proc/251625/stat : 251625 (java) S 251622 251625 250658 0 -1 1077936128 27020 0 0 0 1440 30 0 0 20 0 20 0 20572785 19566772224 276781 134679101440 94143460843520 94143460847216 140735432977488 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94143460855032 94143460855824 94143471161344 140735432983467 140735432983649 140735432983649 140735432990664 0
/proc/251625/statm: 4777044 276781 5892 1 0 554479 0
[pid=251625/tid=251627] ppid=251622 vsize=19108176 memory=12264 CPUtime=12.53 cores=4,6
/proc/251625/task/251627/stat : 251627 (java) R 251622 251625 250658 0 -1 4194368 9154 0 0 0 1227 26 0 0 20 0 20 0 20572785 19566772224 276781 134679101440 94143460843520 94143460847216 140735432977488 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94143460855032 94143460855824 94143471161344 140735432983467 140735432983649 140735432983649 140735432990664 0
[pid=251625/tid=251636] ppid=251622 vsize=19108176 memory=759040 CPUtime=0 cores=4,6
/proc/251625/task/251636/stat : 251636 (Finalizer) S 251622 251625 250658 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20572788 19566772224 276781 134679101440 94143460843520 94143460847216 140735432977488 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94143460855032 94143460855824 94143471161344 140735432983467 140735432983649 140735432983649 140735432990664 0
[pid=251625/tid=251643] ppid=251622 vsize=19108176 memory=72092 CPUtime=0 cores=4,6
/proc/251625/task/251643/stat : 251643 (Common-Cleaner) S 251622 251625 250658 0 -1 1077936192 44 0 0 0 0 0 0 0 20 0 20 0 20572789 19566772224 276781 134679101440 94143460843520 94143460847216 140735432977488 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94143460855032 94143460855824 94143471161344 140735432983467 140735432983649 140735432983649 140735432990664 0
[pid=251625/tid=251644] ppid=251622 vsize=19108176 memory=12264 CPUtime=0 cores=4,6
/proc/251625/task/251644/stat : 251644 (Timer-0) S 251622 251625 250658 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20572801 19566772224 276781 134679101440 94143460843520 94143460847216 140735432977488 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94143460855032 94143460855824 94143471161344 140735432983467 140735432983649 140735432983649 140735432990664 0
Current children cumulated CPU time: 14.7 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1107124 KiB

[startup+25.5003 s]
/proc/loadavg: 4.34 4.05 4.04 6/337 251650
/proc/meminfo: memFree=110829252/131524600 swapFree=131071728/131071996
[pid=251625] ppid=251622 vsize=19108176 memory=1313984 CPUtime=27.62 cores=4,6
/proc/251625/stat : 251625 (java) S 251622 251625 250658 0 -1 1077936128 32874 0 0 0 2721 41 0 0 20 0 20 0 20572785 19566772224 328496 134679101440 94143460843520 94143460847216 140735432977488 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94143460855032 94143460855824 94143471161344 140735432983467 140735432983649 140735432983649 140735432990664 0
/proc/251625/statm: 4777044 328496 5892 1 0 554479 0
[pid=251625/tid=251627] ppid=251622 vsize=19108176 memory=6943526294502006880 CPUtime=25.29 cores=4,6
/proc/251625/task/251627/stat : 251627 (java) R 251622 251625 250658 0 -1 4194368 10739 0 0 0 2492 37 0 0 20 0 20 0 20572785 19566772224 328496 134679101440 94143460843520 94143460847216 140735432977488 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94143460855032 94143460855824 94143471161344 140735432983467 140735432983649 140735432983649 140735432990664 0
[pid=251625/tid=251636] ppid=251622 vsize=19108176 memory=11616 CPUtime=0 cores=4,6
/proc/251625/task/251636/stat : 251636 (Finalizer) S 251622 251625 250658 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20572788 19566772224 328496 134679101440 94143460843520 94143460847216 140735432977488 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94143460855032 94143460855824 94143471161344 140735432983467 140735432983649 140735432983649 140735432990664 0
[pid=251625/tid=251643] ppid=251622 vsize=19108176 memory=3564 CPUtime=0 cores=4,6
/proc/251625/task/251643/stat : 251643 (Common-Cleaner) S 251622 251625 250658 0 -1 1077936192 44 0 0 0 0 0 0 0 20 0 20 0 20572789 19566772224 328496 134679101440 94143460843520 94143460847216 140735432977488 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94143460855032 94143460855824 94143471161344 140735432983467 140735432983649 140735432983649 140735432990664 0
[pid=251625/tid=251644] ppid=251622 vsize=19108176 memory=12264 CPUtime=0 cores=4,6
/proc/251625/task/251644/stat : 251644 (Timer-0) S 251622 251625 250658 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20572801 19566772224 328496 134679101440 94143460843520 94143460847216 140735432977488 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94143460855032 94143460855824 94143471161344 140735432983467 140735432983649 140735432983649 140735432990664 0
Current children cumulated CPU time: 27.62 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1313984 KiB

[startup+51.1058 s]
/proc/loadavg: 4.35 4.08 4.05 5/337 251654
/proc/meminfo: memFree=110623148/131524600 swapFree=131071728/131071996
[pid=251625] ppid=251622 vsize=19108176 memory=1318316 CPUtime=53.19 cores=4,6
/proc/251625/stat : 251625 (java) S 251622 251625 250658 0 -1 1077936128 41599 0 0 0 5268 51 0 0 20 0 20 0 20572785 19566772224 329579 134679101440 94143460843520 94143460847216 140735432977488 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94143460855032 94143460855824 94143471161344 140735432983467 140735432983649 140735432983649 140735432990664 0
/proc/251625/statm: 4777044 329579 5892 1 0 554479 0

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

/proc/meminfo: memFree=93993988/131524600 swapFree=131071728/131071996
[pid=251625] ppid=251622 vsize=19108176 memory=2169688 CPUtime=3269.5 cores=4,6
/proc/251625/stat : 251625 (java) S 251622 251625 250658 0 -1 1077936128 202895 0 0 0 326104 846 0 0 20 0 20 0 20572785 19566772224 542422 134679101440 94143460843520 94143460847216 140735432977488 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94143460855032 94143460855824 94143471161344 140735432983467 140735432983649 140735432983649 140735432990664 0
/proc/251625/statm: 4777044 542422 5907 1 0 555456 0
[pid=251625/tid=251627] ppid=251622 vsize=19108176 memory=2169688 CPUtime=3253.28 cores=4,6
/proc/251625/task/251627/stat : 251627 (java) R 251622 251625 250658 0 -1 4194368 85797 0 0 0 324605 723 0 0 20 0 20 0 20572785 19566772224 542422 134679101440 94143460843520 94143460847216 140735432977488 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 1121 0 0 94143460855032 94143460855824 94143471161344 140735432983467 140735432983649 140735432983649 140735432990664 0
[pid=251625/tid=251636] ppid=251622 vsize=19108176 memory=2169688 CPUtime=0 cores=4,6
/proc/251625/task/251636/stat : 251636 (Finalizer) S 251622 251625 250658 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20572788 19566772224 542422 134679101440 94143460843520 94143460847216 140735432977488 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94143460855032 94143460855824 94143471161344 140735432983467 140735432983649 140735432983649 140735432990664 0
[pid=251625/tid=251643] ppid=251622 vsize=19108176 memory=2169688 CPUtime=0 cores=4,6
/proc/251625/task/251643/stat : 251643 (Common-Cleaner) S 251622 251625 250658 0 -1 1077936192 3642 0 0 0 0 0 0 0 20 0 20 0 20572789 19566772224 542422 134679101440 94143460843520 94143460847216 140735432977488 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94143460855032 94143460855824 94143471161344 140735432983467 140735432983649 140735432983649 140735432990664 0
[pid=251625/tid=251644] ppid=251622 vsize=19108176 memory=2169688 CPUtime=0 cores=4,6
/proc/251625/task/251644/stat : 251644 (Timer-0) S 251622 251625 250658 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20572801 19566772224 542422 134679101440 94143460843520 94143460847216 140735432977488 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94143460855032 94143460855824 94143471161344 140735432983467 140735432983649 140735432983649 140735432990664 0
Current children cumulated CPU time: 3269.5 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2169688 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.14 4.10 6/337 253337
/proc/meminfo: memFree=93799012/131524600 swapFree=131071728/131071996
[pid=251625] ppid=251622 vsize=19108176 memory=2169696 CPUtime=3329.38 cores=4,6
/proc/251625/stat : 251625 (java) S 251622 251625 250658 0 -1 1077936128 205349 0 0 0 332078 860 0 0 20 0 20 0 20572785 19566772224 542424 134679101440 94143460843520 94143460847216 140735432977488 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94143460855032 94143460855824 94143471161344 140735432983467 140735432983649 140735432983649 140735432990664 0
/proc/251625/statm: 4777044 542424 5907 1 0 555456 0
[pid=251625/tid=251627] ppid=251622 vsize=19108176 memory=2169696 CPUtime=3312.89 cores=4,6
/proc/251625/task/251627/stat : 251627 (java) R 251622 251625 250658 0 -1 4194368 87418 0 0 0 330555 734 0 0 20 0 20 0 20572785 19566772224 542424 134679101440 94143460843520 94143460847216 140735432977488 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 1132 0 0 94143460855032 94143460855824 94143471161344 140735432983467 140735432983649 140735432983649 140735432990664 0
[pid=251625/tid=251636] ppid=251622 vsize=19108176 memory=25948 CPUtime=0 cores=4,6
/proc/251625/task/251636/stat : 251636 (Finalizer) S 251622 251625 250658 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20572788 19566772224 542424 134679101440 94143460843520 94143460847216 140735432977488 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94143460855032 94143460855824 94143471161344 140735432983467 140735432983649 140735432983649 140735432990664 0
[pid=251625/tid=251643] ppid=251622 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/251625/task/251643/stat : 251643 (Common-Cleaner) S 251622 251625 250658 0 -1 1077936192 3723 0 0 0 0 0 0 0 20 0 20 0 20572789 19566772224 542424 134679101440 94143460843520 94143460847216 140735432977488 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94143460855032 94143460855824 94143471161344 140735432983467 140735432983649 140735432983649 140735432990664 0
[pid=251625/tid=251644] ppid=251622 vsize=19108176 memory=2169696 CPUtime=0 cores=4,6
/proc/251625/task/251644/stat : 251644 (Timer-0) S 251622 251625 250658 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20572801 19566772224 542424 134679101440 94143460843520 94143460847216 140735432977488 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94143460855032 94143460855824 94143471161344 140735432983467 140735432983649 140735432983649 140735432990664 0
Current children cumulated CPU time: 3329.38 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2169696 KiB

[startup+3402.3 s]
/proc/loadavg: 4.09 4.13 4.09 5/337 253417
/proc/meminfo: memFree=97221360/131524600 swapFree=131071728/131071996
[pid=251625] ppid=251622 vsize=19108176 memory=2169696 CPUtime=3389.02 cores=4,6
/proc/251625/stat : 251625 (java) S 251622 251625 250658 0 -1 1077936128 207978 0 0 0 338028 874 0 0 20 0 20 0 20572785 19566772224 542424 134679101440 94143460843520 94143460847216 140735432977488 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94143460855032 94143460855824 94143471161344 140735432983467 140735432983649 140735432983649 140735432990664 0
/proc/251625/statm: 4777044 542424 5907 1 0 555456 0
[pid=251625/tid=251627] ppid=251622 vsize=19108176 memory=2169696 CPUtime=3372.36 cores=4,6
/proc/251625/task/251627/stat : 251627 (java) R 251622 251625 250658 0 -1 4194368 88969 0 0 0 336490 746 0 0 20 0 20 0 20572785 19566772224 542424 134679101440 94143460843520 94143460847216 140735432977488 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 1142 0 0 94143460855032 94143460855824 94143471161344 140735432983467 140735432983649 140735432983649 140735432990664 0
[pid=251625/tid=251636] ppid=251622 vsize=19108176 memory=11616 CPUtime=0 cores=4,6
/proc/251625/task/251636/stat : 251636 (Finalizer) S 251622 251625 250658 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20572788 19566772224 542424 134679101440 94143460843520 94143460847216 140735432977488 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94143460855032 94143460855824 94143471161344 140735432983467 140735432983649 140735432983649 140735432990664 0
[pid=251625/tid=251643] ppid=251622 vsize=19108176 memory=11616 CPUtime=0 cores=4,6
/proc/251625/task/251643/stat : 251643 (Common-Cleaner) S 251622 251625 250658 0 -1 1077936192 3804 0 0 0 0 0 0 0 20 0 20 0 20572789 19566772224 542424 134679101440 94143460843520 94143460847216 140735432977488 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94143460855032 94143460855824 94143471161344 140735432983467 140735432983649 140735432983649 140735432990664 0
[pid=251625/tid=251644] ppid=251622 vsize=19108176 memory=2169696 CPUtime=0 cores=4,6
/proc/251625/task/251644/stat : 251644 (Timer-0) S 251622 251625 250658 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20572801 19566772224 542424 134679101440 94143460843520 94143460847216 140735432977488 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94143460855032 94143460855824 94143471161344 140735432983467 140735432983649 140735432983649 140735432990664 0
Current children cumulated CPU time: 3389.02 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2169696 KiB

[startup+3462.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/338 253596
/proc/meminfo: memFree=96912980/131524600 swapFree=131071728/131071996
[pid=251625] ppid=251622 vsize=19108176 memory=2169696 CPUtime=3448.84 cores=4,6
/proc/251625/stat : 251625 (java) S 251622 251625 250658 0 -1 1077936128 210391 0 0 0 343998 886 0 0 20 0 20 0 20572785 19566772224 542424 134679101440 94143460843520 94143460847216 140735432977488 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94143460855032 94143460855824 94143471161344 140735432983467 140735432983649 140735432983649 140735432990664 0
/proc/251625/statm: 4777044 542424 5907 1 0 555456 0
[pid=251625/tid=251627] ppid=251622 vsize=19108176 memory=2169696 CPUtime=3432.01 cores=4,6
/proc/251625/task/251627/stat : 251627 (java) R 251622 251625 250658 0 -1 4194368 90331 0 0 0 342444 757 0 0 20 0 20 0 20572785 19566772224 542424 134679101440 94143460843520 94143460847216 140735432977488 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 1154 0 0 94143460855032 94143460855824 94143471161344 140735432983467 140735432983649 140735432983649 140735432990664 0
[pid=251625/tid=251636] ppid=251622 vsize=19108176 memory=11616 CPUtime=0 cores=4,6
/proc/251625/task/251636/stat : 251636 (Finalizer) S 251622 251625 250658 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20572788 19566772224 542424 134679101440 94143460843520 94143460847216 140735432977488 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94143460855032 94143460855824 94143471161344 140735432983467 140735432983649 140735432983649 140735432990664 0
[pid=251625/tid=251643] ppid=251622 vsize=19108176 memory=11616 CPUtime=0 cores=4,6
/proc/251625/task/251643/stat : 251643 (Common-Cleaner) S 251622 251625 250658 0 -1 1077936192 3865 0 0 0 0 0 0 0 20 0 20 0 20572789 19566772224 542424 134679101440 94143460843520 94143460847216 140735432977488 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94143460855032 94143460855824 94143471161344 140735432983467 140735432983649 140735432983649 140735432990664 0
[pid=251625/tid=251644] ppid=251622 vsize=19108176 memory=11616 CPUtime=0 cores=4,6
/proc/251625/task/251644/stat : 251644 (Timer-0) S 251622 251625 250658 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20572801 19566772224 542424 134679101440 94143460843520 94143460847216 140735432977488 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94143460855032 94143460855824 94143471161344 140735432983467 140735432983649 140735432983649 140735432990664 0
Current children cumulated CPU time: 3448.84 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2169696 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.14 4.09 5/338 253675
/proc/meminfo: memFree=101777048/131524600 swapFree=131071728/131071996
[pid=251625] ppid=251622 vsize=19108176 memory=2169740 CPUtime=3508.66 cores=4,6
/proc/251625/stat : 251625 (java) S 251622 251625 250658 0 -1 1077936128 212938 0 0 0 349967 899 0 0 20 0 20 0 20572785 19566772224 542435 134679101440 94143460843520 94143460847216 140735432977488 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94143460855032 94143460855824 94143471161344 140735432983467 140735432983649 140735432983649 140735432990664 0
/proc/251625/statm: 4777044 542435 5907 1 0 555456 0
[pid=251625/tid=251627] ppid=251622 vsize=19108176 memory=2169696 CPUtime=3491.66 cores=4,6
/proc/251625/task/251627/stat : 251627 (java) R 251622 251625 250658 0 -1 4194368 91728 0 0 0 348399 767 0 0 20 0 20 0 20572785 19566772224 542435 134679101440 94143460843520 94143460847216 140735432977488 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 1162 0 0 94143460855032 94143460855824 94143471161344 140735432983467 140735432983649 140735432983649 140735432990664 0
[pid=251625/tid=251636] ppid=251622 vsize=19108176 memory=11616 CPUtime=0 cores=4,6
/proc/251625/task/251636/stat : 251636 (Finalizer) S 251622 251625 250658 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20572788 19566772224 542435 134679101440 94143460843520 94143460847216 140735432977488 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94143460855032 94143460855824 94143471161344 140735432983467 140735432983649 140735432983649 140735432990664 0
[pid=251625/tid=251643] ppid=251622 vsize=19108176 memory=11616 CPUtime=0 cores=4,6
/proc/251625/task/251643/stat : 251643 (Common-Cleaner) S 251622 251625 250658 0 -1 1077936192 3926 0 0 0 0 0 0 0 20 0 20 0 20572789 19566772224 542435 134679101440 94143460843520 94143460847216 140735432977488 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94143460855032 94143460855824 94143471161344 140735432983467 140735432983649 140735432983649 140735432990664 0
[pid=251625/tid=251644] ppid=251622 vsize=19108176 memory=2169740 CPUtime=0 cores=4,6
/proc/251625/task/251644/stat : 251644 (Timer-0) S 251622 251625 250658 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20572801 19566772224 542435 134679101440 94143460843520 94143460847216 140735432977488 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94143460855032 94143460855824 94143471161344 140735432983467 140735432983649 140735432983649 140735432990664 0
Current children cumulated CPU time: 3508.66 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2169740 KiB

[startup+3582.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/339 253701
/proc/meminfo: memFree=101063448/131524600 swapFree=131071728/131071996
[pid=251625] ppid=251622 vsize=19108176 memory=2169740 CPUtime=3568.55 cores=4,6
/proc/251625/stat : 251625 (java) S 251622 251625 250658 0 -1 1077936128 215430 0 0 0 355944 911 0 0 20 0 20 0 20572785 19566772224 542435 134679101440 94143460843520 94143460847216 140735432977488 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94143460855032 94143460855824 94143471161344 140735432983467 140735432983649 140735432983649 140735432990664 0
/proc/251625/statm: 4777044 542435 5907 1 0 555456 0
[pid=251625/tid=251627] ppid=251622 vsize=19108176 memory=12264 CPUtime=3551.4 cores=4,6
/proc/251625/task/251627/stat : 251627 (java) R 251622 251625 250658 0 -1 4194368 93064 0 0 0 354362 778 0 0 20 0 20 0 20572785 19566772224 542435 134679101440 94143460843520 94143460847216 140735432977488 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 1166 0 0 94143460855032 94143460855824 94143471161344 140735432983467 140735432983649 140735432983649 140735432990664 0
[pid=251625/tid=251636] ppid=251622 vsize=19108176 memory=2169740 CPUtime=0 cores=4,6
/proc/251625/task/251636/stat : 251636 (Finalizer) S 251622 251625 250658 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20572788 19566772224 542435 134679101440 94143460843520 94143460847216 140735432977488 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94143460855032 94143460855824 94143471161344 140735432983467 140735432983649 140735432983649 140735432990664 0
[pid=251625/tid=251643] ppid=251622 vsize=19108176 memory=-9032923890113553084 CPUtime=0 cores=4,6
/proc/251625/task/251643/stat : 251643 (Common-Cleaner) S 251622 251625 250658 0 -1 1077936192 4069 0 0 0 0 0 0 0 20 0 20 0 20572789 19566772224 542435 134679101440 94143460843520 94143460847216 140735432977488 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94143460855032 94143460855824 94143471161344 140735432983467 140735432983649 140735432983649 140735432990664 0
[pid=251625/tid=251644] ppid=251622 vsize=19108176 memory=1626208 CPUtime=0 cores=4,6
/proc/251625/task/251644/stat : 251644 (Timer-0) S 251622 251625 250658 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20572801 19566772224 542435 134679101440 94143460843520 94143460847216 140735432977488 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94143460855032 94143460855824 94143471161344 140735432983467 140735432983649 140735432983649 140735432990664 0
Current children cumulated CPU time: 3568.55 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2169740 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3613.9 s]
/proc/loadavg: 4.26 4.16 4.10 5/339 253708
/proc/meminfo: memFree=100576220/131524600 swapFree=131071728/131071996
[pid=251625] ppid=251622 vsize=19108176 memory=2169740 CPUtime=3600.09 cores=4,6
/proc/251625/stat : 251625 (java) S 251622 251625 250658 0 -1 1077936128 217041 0 0 0 359090 919 0 0 20 0 20 0 20572785 19566772224 542435 134679101440 94143460843520 94143460847216 140735432977488 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94143460855032 94143460855824 94143471161344 140735432983467 140735432983649 140735432983649 140735432990664 0
/proc/251625/statm: 4777044 542435 5907 1 0 555456 0
[pid=251625/tid=251627] ppid=251622 vsize=19108176 memory=2169740 CPUtime=3582.86 cores=4,6
/proc/251625/task/251627/stat : 251627 (java) R 251622 251625 250658 0 -1 4194368 93436 0 0 0 357501 785 0 0 20 0 20 0 20572785 19566772224 542435 134679101440 94143460843520 94143460847216 140735432977488 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 1168 0 0 94143460855032 94143460855824 94143471161344 140735432983467 140735432983649 140735432983649 140735432990664 0
[pid=251625/tid=251636] ppid=251622 vsize=19108176 memory=12264 CPUtime=0 cores=4,6
/proc/251625/task/251636/stat : 251636 (Finalizer) S 251622 251625 250658 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20572788 19566772224 542435 134679101440 94143460843520 94143460847216 140735432977488 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94143460855032 94143460855824 94143471161344 140735432983467 140735432983649 140735432983649 140735432990664 0
[pid=251625/tid=251643] ppid=251622 vsize=19108176 memory=11616 CPUtime=0 cores=4,6
/proc/251625/task/251643/stat : 251643 (Common-Cleaner) S 251622 251625 250658 0 -1 1077936192 4151 0 0 0 0 0 0 0 20 0 20 0 20572789 19566772224 542435 134679101440 94143460843520 94143460847216 140735432977488 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94143460855032 94143460855824 94143471161344 140735432983467 140735432983649 140735432983649 140735432990664 0
[pid=251625/tid=251644] ppid=251622 vsize=19108176 memory=2169740 CPUtime=0 cores=4,6
/proc/251625/task/251644/stat : 251644 (Timer-0) S 251622 251625 250658 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20572801 19566772224 542435 134679101440 94143460843520 94143460847216 140735432977488 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94143460855032 94143460855824 94143471161344 140735432983467 140735432983649 140735432983649 140735432990664 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2169740 KiB

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

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

# cumulated CPU time of all completed processes:  user=3591.03 s, system=9.20879 s

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

[startup+3613.9 s]
/proc/loadavg: 4.26 4.16 4.10 5/339 253708
/proc/meminfo: memFree=100576220/131524600 swapFree=131071728/131071996
[pid=251625] ppid=251622 vsize=19108176 memory=2169740 CPUtime=3600.09 cores=4,6
/proc/251625/stat : 251625 (java) S 251622 251625 250658 0 -1 1077936128 217041 0 0 0 359090 919 0 0 20 0 20 0 20572785 19566772224 542435 134679101440 94143460843520 94143460847216 140735432977488 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94143460855032 94143460855824 94143471161344 140735432983467 140735432983649 140735432983649 140735432990664 0
/proc/251625/statm: 4777044 542435 5907 1 0 555456 0
[pid=251625/tid=251627] ppid=251622 vsize=19108176 memory=2169740 CPUtime=3582.86 cores=4,6
/proc/251625/task/251627/stat : 251627 (java) R 251622 251625 250658 0 -1 4194368 93436 0 0 0 357501 785 0 0 20 0 20 0 20572785 19566772224 542435 134679101440 94143460843520 94143460847216 140735432977488 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 1168 0 0 94143460855032 94143460855824 94143471161344 140735432983467 140735432983649 140735432983649 140735432990664 0
[pid=251625/tid=251636] ppid=251622 vsize=19108176 memory=12264 CPUtime=0 cores=4,6
/proc/251625/task/251636/stat : 251636 (Finalizer) S 251622 251625 250658 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20572788 19566772224 542435 134679101440 94143460843520 94143460847216 140735432977488 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94143460855032 94143460855824 94143471161344 140735432983467 140735432983649 140735432983649 140735432990664 0
[pid=251625/tid=251643] ppid=251622 vsize=19108176 memory=11616 CPUtime=0 cores=4,6
/proc/251625/task/251643/stat : 251643 (Common-Cleaner) S 251622 251625 250658 0 -1 1077936192 4151 0 0 0 0 0 0 0 20 0 20 0 20572789 19566772224 542435 134679101440 94143460843520 94143460847216 140735432977488 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94143460855032 94143460855824 94143471161344 140735432983467 140735432983649 140735432983649 140735432990664 0
[pid=251625/tid=251644] ppid=251622 vsize=19108176 memory=2169740 CPUtime=0 cores=4,6
/proc/251625/task/251644/stat : 251644 (Timer-0) S 251622 251625 250658 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20572801 19566772224 542435 134679101440 94143460843520 94143460847216 140735432977488 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94143460855032 94143460855824 94143471161344 140735432983467 140735432983649 140735432983649 140735432990664 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2169740 KiB

Child status: 143

Real time (s): 3613.99
CPU time (s): 3600.24
CPU user time (s): 3591.03
CPU system time (s): 9.20879
CPU usage (%): 99.6194
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 2169740

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.03
system time used= 9.20879
maximum resident set size= 2171744
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 220454
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8549552
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 111833
involuntary context switches= 10060


# summary of solver processes directly reported to runsolver:
#   pid: 251625
#   total CPU time (s): 3600.24
#   total CPU user time (s): 3591.03
#   total CPU system time (s): 9.20879

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.73208 second user time and 18.2138 second system time

The end

Launcher Data 

Begin job on nodeC024 at 2024-07-24 19:01:38
IDJOB=4451632
IDBENCH=162590
IDSOLVER=3079
FILE ID=nodeC024/4451632-1721840498
RUNJOBID= nodeC024-1721840221-250669
SLURM_JOB_ID= 7891548
Free space on /tmp= 890080 MiB

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

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

MD5SUM BENCH= ff2431c9aac399448d9270c6fef4de20
RANDOM SEED=2061877072

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        112377888 kB
MemAvailable:   125530120 kB
Buffers:          265704 kB
Cached:         13644960 kB
SwapCached:           92 kB
Active:          2669444 kB
Inactive:       15711684 kB
Active(anon):       1556 kB
Inactive(anon):  4523020 kB
Active(file):    2667888 kB
Inactive(file): 11188664 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071728 kB
Dirty:             68252 kB
Writeback:             0 kB
AnonPages:       4469860 kB
Mapped:           139052 kB
Shmem:             54012 kB
KReclaimable:     271008 kB
Slab:             397416 kB
SReclaimable:     271008 kB
SUnreclaim:       126408 kB
KernelStack:        5104 kB
PageTables:        18792 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    7419396 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            20032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4206592 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      408276 kB
DirectMap2M:    48648192 kB
DirectMap1G:    87031808 kB

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