Trace number 4442762

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.18 3622.71

General information on the benchmark

NamePB24/normalized-PB06/DEC-LIN/submitted-PB06/
roussel/normalized-pigeon-cardinality-45-40.opb
MD5SUMc29178bae55e2a953331375c03582f77
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.016246
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1800
Total number of constraints85
Number of constraints which are clauses45
Number of constraints which are cardinality constraints (but not clauses)40
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint40
Maximum length of a constraint45
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 46
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.06/0.74	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.06/0.74	c This is free software under the dual EPL/GNU LGPL licenses.
0.06/0.74	c See www.sat4j.org for details.
0.06/0.78	c version CUSTOM.v20240707
0.06/0.79	c java.runtime.name	OpenJDK Runtime Environment
0.06/0.79	c java.vm.name		OpenJDK 64-Bit Server VM
0.06/0.79	c java.vm.version	22.0.1+8-16
0.06/0.79	c java.vm.vendor	Oracle Corporation
0.06/0.79	c sun.arch.data.model	64
0.06/0.79	c java.version		22.0.1
0.06/0.79	c os.name		Linux
0.06/0.79	c os.version		4.18.0-301.1.el8.x86_64
0.06/0.79	c os.arch		amd64
0.06/0.79	c Free memory 		2104792832
0.06/0.79	c Max memory 		16282288128
0.06/0.79	c Total memory 		2113929216
0.13/0.80	c Number of processors 	2
0.13/0.88	--- Begin Solver configuration ---
0.13/0.88	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.13/0.88	Learn all clauses as in MiniSAT
0.13/0.88	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.88	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.88	Expensive reason simplification
0.13/0.88	Glucose 2.1 dynamic restart strategy
0.13/0.88	Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.88	timeout=2147483s
0.13/0.88	DB Simplification allowed=false
0.13/0.88	Listener: none
0.13/0.88	--- End Solver configuration ---
0.13/0.88	c Pseudo Boolean Optimization by upper bound
0.13/0.88	c --- Begin Solver configuration ---
0.13/0.88	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.13/0.88	c Learn all clauses as in MiniSAT
0.13/0.88	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.88	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.88	c Expensive reason simplification
0.13/0.88	c Glucose 2.1 dynamic restart strategy
0.13/0.88	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.88	c timeout=2147483s
0.13/0.88	c DB Simplification allowed=false
0.13/0.88	c Listener: none
0.13/0.88	c --- End Solver configuration ---
0.13/0.88	c solving HOME/instance-4442762-1721817186.opb
0.13/0.88	c reading problem ... 
0.13/0.88	c using VERIPB proof format
0.13/0.88	c  no objective function found
0.23/0.91	c ... done. Wall clock time 0.031s.
0.23/0.91	c declared #vars     1800
0.23/0.91	c #constraints  85
0.23/0.91	c constraints type 
0.23/0.91	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 40
0.23/0.91	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 45
0.23/0.91	c 85 constraints processed.
3.36/2.51	c cleaning 2501 clauses out of 5002 with flag 32783/5002
5.60/4.42	c cleaning 4227 clauses out of 8501 with flag 77997/11002
8.85/8.23	c cleaning 5615 clauses out of 11272 with flag 138804/18000
12.11/11.48	c cleaning 6810 clauses out of 13657 with flag 208012/26000
16.40/15.64	c cleaning 7905 clauses out of 15847 with flag 288393/35000
22.12/21.28	c cleaning 8960 clauses out of 17949 with flag 388147/45007
26.03/24.85	c cleaning 9960 clauses out of 19982 with flag 467749/56000
30.44/29.22	c cleaning 10986 clauses out of 22024 with flag 551541/68002
35.31/34.15	c cleaning 12010 clauses out of 24036 with flag 643354/81000
40.07/39.80	c cleaning 13003 clauses out of 26026 with flag 745914/95000
45.46/45.24	c cleaning 14003 clauses out of 28024 with flag 855875/110001
51.70/51.51	c cleaning 15003 clauses out of 30022 with flag 980529/126002
59.39/59.12	c cleaning 16003 clauses out of 32018 with flag 1114779/143001
66.79/66.40	c cleaning 16996 clauses out of 34015 with flag 1260997/161001
75.66/77.47	c cleaning 17998 clauses out of 36019 with flag 1396116/180001
83.02/84.77	c cleaning 18988 clauses out of 38020 with flag 1542009/200000
89.65/91.40	c cleaning 19975 clauses out of 40033 with flag 1694966/221001
97.88/99.46	c cleaning 20682 clauses out of 42057 with flag 1895148/243000
105.58/107.20	c cleaning 22168 clauses out of 44376 with flag 2050624/266001
113.11/114.65	c cleaning 23101 clauses out of 46209 with flag 2212175/290002
119.98/121.35	c cleaning 24019 clauses out of 48108 with flag 2368023/315002
133.04/134.30	c cleaning 25011 clauses out of 50088 with flag 2546191/341001
148.07/149.20	c cleaning 26000 clauses out of 52076 with flag 2763503/368000
163.97/165.06	c cleaning 27008 clauses out of 54077 with flag 2977822/396001
179.72/181.40	c cleaning 28017 clauses out of 56068 with flag 3211102/425000
193.41/194.87	c cleaning 29018 clauses out of 58051 with flag 3419891/455000
213.52/215.01	c cleaning 30001 clauses out of 60033 with flag 3628288/486000
231.68/233.61	c cleaning 31007 clauses out of 62033 with flag 3853983/518001
244.38/245.99	c cleaning 31993 clauses out of 64027 with flag 4083177/551002
255.42/256.96	c cleaning 33003 clauses out of 66034 with flag 4303507/585002
269.46/273.87	c cleaning 33994 clauses out of 68029 with flag 4559279/620000
292.78/297.30	c cleaning 34990 clauses out of 70035 with flag 4793434/656000
315.00/319.81	c cleaning 36011 clauses out of 72046 with flag 5057048/693001
338.84/343.45	c cleaning 36996 clauses out of 74034 with flag 5325019/731000
352.65/357.30	c cleaning 37999 clauses out of 76038 with flag 5557095/770000
368.25/372.49	c cleaning 38997 clauses out of 78039 with flag 5799386/810000
395.29/402.37	c cleaning 40015 clauses out of 80043 with flag 6121443/851001
412.51/419.74	c cleaning 41006 clauses out of 82027 with flag 6400168/893000
429.47/436.44	c cleaning 41998 clauses out of 84021 with flag 6660518/936000
447.38/454.58	c cleaning 43005 clauses out of 86025 with flag 6952212/980002
467.01/474.66	c cleaning 43987 clauses out of 88020 with flag 7280539/1025002
509.91/520.52	c cleaning 44997 clauses out of 90034 with flag 7666971/1071003
529.43/539.34	c cleaning 46009 clauses out of 92036 with flag 7982488/1118002
550.07/560.68	c cleaning 47009 clauses out of 94028 with flag 8285425/1166003
571.38/582.08	c cleaning 48007 clauses out of 96016 with flag 8589530/1215000
593.70/609.10	c cleaning 48992 clauses out of 98010 with flag 8902503/1265001
618.60/633.63	c cleaning 50001 clauses out of 100017 with flag 9215171/1316000
644.57/659.78	c cleaning 51010 clauses out of 102019 with flag 9524769/1368003
671.33/686.41	c cleaning 51987 clauses out of 104006 with flag 9851152/1421000
697.21/712.59	c cleaning 53003 clauses out of 106019 with flag 10186640/1475000
723.45/741.16	c cleaning 53996 clauses out of 108016 with flag 10541565/1530000
752.47/773.89	c cleaning 55005 clauses out of 110020 with flag 10899355/1586000
781.78/803.38	c cleaning 55991 clauses out of 112015 with flag 11239762/1643000
811.41/832.65	c cleaning 57000 clauses out of 114025 with flag 11598656/1701001
843.12/864.37	c cleaning 58001 clauses out of 116024 with flag 11951570/1760000
874.15/895.36	c cleaning 59006 clauses out of 118024 with flag 12334368/1820001
905.63/926.81	c cleaning 59999 clauses out of 120019 with flag 12707151/1881002
938.20/960.91	c cleaning 61010 clauses out of 122019 with flag 13083130/1943001
972.96/995.65	c cleaning 61989 clauses out of 124009 with flag 13466812/2006001
1006.50/1029.15	c cleaning 63001 clauses out of 126019 with flag 13856634/2070000
1041.17/1063.88	c cleaning 63997 clauses out of 128019 with flag 14258292/2135001
1076.03/1098.54	c cleaning 65005 clauses out of 130021 with flag 14665811/2201000
1111.12/1133.66	c cleaning 65995 clauses out of 132017 with flag 15082835/2268001
1148.17/1170.94	c cleaning 66996 clauses out of 134021 with flag 15500728/2336000
1185.17/1207.84	c cleaning 68004 clauses out of 136025 with flag 15934234/2405000
1222.62/1246.50	c cleaning 69011 clauses out of 138023 with flag 16371192/2475002
1261.55/1289.56	c cleaning 69990 clauses out of 140010 with flag 16820458/2546000
1302.14/1333.33	c cleaning 71006 clauses out of 142024 with flag 17278231/2618004
1343.02/1373.86	c cleaning 71998 clauses out of 144014 with flag 17732980/2691000
1383.74/1416.53	c cleaning 72999 clauses out of 146017 with flag 18197719/2765001
1425.63/1458.10	c cleaning 73997 clauses out of 148017 with flag 18675733/2840000
1468.95/1501.41	c cleaning 74999 clauses out of 150021 with flag 19158445/2916001
1514.64/1546.62	c cleaning 75995 clauses out of 152021 with flag 19646396/2993000
1561.74/1594.10	c cleaning 76996 clauses out of 154026 with flag 20132122/3071000
1606.62/1638.71	c cleaning 78006 clauses out of 156030 with flag 20634383/3150000
1653.99/1687.10	c cleaning 79001 clauses out of 158025 with flag 21144776/3230001
1703.36/1736.15	c cleaning 79998 clauses out of 160023 with flag 21658315/3311000
1752.34/1785.04	c cleaning 81004 clauses out of 162025 with flag 22181200/3393000
1802.31/1835.55	c cleaning 81996 clauses out of 164021 with flag 22715035/3476000
1853.57/1886.58	c cleaning 83001 clauses out of 166028 with flag 23253015/3560003
1906.30/1939.29	c cleaning 84009 clauses out of 168025 with flag 23792745/3645001
1959.91/1992.91	c cleaning 84990 clauses out of 170018 with flag 24348071/3731003
2014.48/2047.27	c cleaning 86006 clauses out of 172025 with flag 24906019/3818000
2069.74/2102.35	c cleaning 86997 clauses out of 174020 with flag 25468335/3906001
2124.51/2157.05	c cleaning 88007 clauses out of 176024 with flag 26044937/3995002
2181.28/2213.38	c cleaning 88997 clauses out of 178015 with flag 26640522/4085000
2240.84/2275.25	c cleaning 90008 clauses out of 180019 with flag 27221578/4176001
2300.26/2334.17	c cleaning 90996 clauses out of 182011 with flag 27813412/4268001
2358.36/2392.29	c cleaning 91991 clauses out of 184014 with flag 28417243/4361000
2420.45/2453.83	c cleaning 93006 clauses out of 186025 with flag 29023840/4455002
2479.27/2512.83	c cleaning 93993 clauses out of 188017 with flag 29648237/4550000
2541.31/2574.42	c cleaning 95006 clauses out of 190024 with flag 30274567/4646000
2605.51/2638.74	c cleaning 95997 clauses out of 192018 with flag 30899514/4743000
2672.51/2705.24	c cleaning 97009 clauses out of 194022 with flag 31530941/4841001
2738.17/2771.86	c cleaning 97989 clauses out of 196012 with flag 32177766/4940000
2807.95/2840.72	c cleaning 99005 clauses out of 198023 with flag 32823394/5040000
2879.30/2911.19	c cleaning 100004 clauses out of 200022 with flag 33487155/5141004
2946.99/2978.47	c cleaning 101006 clauses out of 202014 with flag 34150199/5243000
3015.38/3046.28	c cleaning 101997 clauses out of 204008 with flag 34822945/5346000
3086.24/3115.88	c cleaning 102996 clauses out of 206011 with flag 35499753/5450000
3158.59/3186.73	c cleaning 103995 clauses out of 208017 with flag 36192550/5555002
3234.15/3261.05	c cleaning 104995 clauses out of 210021 with flag 36885889/5661001
3309.82/3335.45	c cleaning 105998 clauses out of 212025 with flag 37589620/5768000
3386.70/3411.37	c cleaning 106997 clauses out of 214028 with flag 38295751/5876001
3466.97/3490.17	c cleaning 108002 clauses out of 216030 with flag 39003881/5985000
3544.61/3566.62	c cleaning 109012 clauses out of 218029 with flag 39742393/6095001
3600.04/3622.61	c starts		: 43285
3600.04/3622.61	c timeout
3600.04/3622.62	c conflicts		: 6175214
3600.04/3622.62	c decisions		: 50711264
3600.04/3622.62	c propagations		: 255304149
3600.04/3622.62	c inspects		: 23728591158
3600.04/3622.62	c shortcuts		: 0
3600.04/3622.62	c learnt literals	: 0
3600.04/3622.62	c learnt binary clauses	: 0
3600.04/3622.62	c learnt ternary clauses	: 0
3600.04/3622.62	c learnt constraints	: 6175214
3600.04/3622.62	c ignored constraints	: 0
3600.04/3622.62	c root simplifications	: 0
3600.04/3622.62	c removed literals (reason simplification)	: 66526247
3600.04/3622.62	c reason swapping (by a shorter reason)	: 0
3600.04/3622.62	c Calls to reduceDB	: 106
3600.04/3622.62	c Number of update (reduction) of LBD	: 3043165
3600.04/3622.62	c Imported unit clauses	: 0
3600.04/3622.62	c No decision after first conflict	: false
3600.04/3622.62	c number of reductions to clauses (during analyze)	: 0
3600.04/3622.62	c number of learned constraints concerned by reduction	: 0
3600.04/3622.62	c number of learning phase by resolution	: 0
3600.04/3622.62	c number of learning phase by cutting planes	: 0
3600.04/3622.62	c number of rounding to 1 operations	: 0
3600.04/3622.62	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.04/3622.62	c number of reductions of the coefficients by power 2 	: 0
3600.04/3622.62	c number of right shift for reduction by power 2 	: 0
3600.04/3622.62	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.04/3622.62	c number of ending skipping 	: 0
3600.04/3622.62	c number of internal skipping 	: 0
3600.04/3622.62	c number of derivation steps 	: 0
3600.04/3622.62	c number of skipped derivation steps 	: 0
3600.04/3622.62	c number of remaining unassigned 	: 0
3600.04/3622.62	c number of remaining assigned 	: 0
3600.04/3622.62	c number of falsified literals weakened from reason	: 0
3600.04/3622.62	c number of falsified literals weakened from conflict	: 0
3600.04/3622.62	c time for arithmetic operations	: 0
3600.04/3622.62	c minimum degree of deleted constraints	: null
3600.04/3622.62	c maximum degree of deleted constraints	: null
3600.04/3622.62	c number of deleted constraints	: 0
3600.04/3622.63	c speed (assignments/second)	: 70492.86468074954
3600.04/3622.63	c non guided choices	: 120027
3600.04/3622.69	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 189230
3600.04/3622.69	s UNKNOWN
3600.04/3622.69	c Total wall clock time (in seconds): 3621.811

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4442762-1721817186/watcher-4442762-1721817186 -o /tmp/evaluation-result-4442762-1721817186/solver-4442762-1721817186 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721817186-237222 --watchdog 3760 java -Dveripb=PROOFDIR/proof-4442762-1721817186 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4442762-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=237273, runsolver pid=237264
Current StackSize limit: 8192 KiB


[startup+0.100081 s]*
/proc/loadavg: 0.04 0.07 0.08 2/260 237284
/proc/meminfo: memFree=60575492/131524600 swapFree=131057564/131071996
[pid=237273] ppid=237264 vsize=37736 memory=2044 CPUtime=0 cores=5,7
/proc/237273/stat : 237273 (java) D 237264 237273 237209 0 -1 4194304 135 0 3 0 0 0 0 0 20 0 1 0 18241510 38641664 511 134679101440 94723329830912 94723329834608 140725562159296 0 0 0 0 0 0 0 0 0 17 5 0 0 9 0 0 94723329842424 94723329843216 94723354316800 140725562164139 140725562164321 140725562164321 140725562171336 0
/proc/237273/statm: 9434 511 467 1 0 459 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37736 KiB
Current children cumulated memory: 2044 KiB

[startup+0.206099 s]*
/proc/loadavg: 0.04 0.07 0.08 3/260 237284
/proc/meminfo: memFree=60574848/131524600 swapFree=131057564/131071996
[pid=237273] ppid=237264 vsize=37736 memory=2044 CPUtime=0 cores=5,7
/proc/237273/stat : 237273 (java) D 237264 237273 237209 0 -1 4194304 155 0 3 0 0 0 0 0 20 0 1 0 18241510 38641664 511 134679101440 94723329830912 94723329834608 140725562159296 0 0 0 0 0 0 0 0 0 17 5 0 0 30 0 0 94723329842424 94723329843216 94723354316800 140725562164139 140725562164321 140725562164321 140725562171336 0
/proc/237273/statm: 9434 511 467 1 0 459 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37736 KiB
Current children cumulated memory: 2044 KiB

[startup+0.305254 s]*
/proc/loadavg: 0.04 0.07 0.08 2/262 237288
/proc/meminfo: memFree=60565900/131524600 swapFree=131057564/131071996
[pid=237273] ppid=237264 vsize=37736 memory=5628 CPUtime=0 cores=5,7
/proc/237273/stat : 237273 (java) D 237264 237273 237209 0 -1 4194304 462 0 4 0 0 0 0 0 20 0 1 0 18241510 38641664 1407 134679101440 94723329830912 94723329834608 140725562159296 0 0 0 0 0 0 0 0 0 17 5 0 0 39 0 0 94723329842424 94723329843216 94723354316800 140725562164139 140725562164321 140725562164321 140725562171336 0
/proc/237273/statm: 9434 1407 1128 1 0 254 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37736 KiB
Current children cumulated memory: 5628 KiB

[startup+0.700248 s]
/proc/loadavg: 0.04 0.07 0.08 2/267 237293
/proc/meminfo: memFree=60527384/131524600 swapFree=131057564/131071996
[pid=237273] ppid=237264 vsize=18975048 memory=53644 CPUtime=0.06 cores=5,7
/proc/237273/stat : 237273 (java) S 237264 237273 237209 0 -1 1077936128 6484 0 65 0 4 2 0 0 20 0 18 0 18241510 19430449152 13411 134679101440 94723329830912 94723329834608 140725562159296 0 0 0 0 0 16800975 0 0 0 17 5 0 0 43 0 0 94723329842424 94723329843216 94723354316800 140725562164139 140725562164321 140725562164321 140725562171336 0
/proc/237273/statm: 4743762 13411 5196 1 0 548643 0
[pid=237273/tid=237292] ppid=237264 vsize=18975048 memory=25588 CPUtime=0.03 cores=5,7
/proc/237273/task/237292/stat : 237292 (java) D 237264 237273 237209 0 -1 4194368 5340 0 50 0 2 1 0 0 20 0 18 0 18241545 19430449152 13411 134679101440 94723329830912 94723329834608 140725562159296 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 28 0 0 94723329842424 94723329843216 94723354316800 140725562164139 140725562164321 140725562164321 140725562171336 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 53644 KiB

[startup+1.50023 s]
/proc/loadavg: 0.04 0.07 0.08 14/334 237360
/proc/meminfo: memFree=60271208/131524600 swapFree=131057564/131071996
[pid=237273] ppid=237264 vsize=19108176 memory=174248 CPUtime=1.39 cores=5,7
/proc/237273/stat : 237273 (java) S 237264 237273 237209 0 -1 1077936128 12316 0 65 0 133 6 0 0 20 0 20 0 18241510 19566772224 43562 134679101440 94723329830912 94723329834608 140725562159296 0 0 0 0 0 16800975 0 0 0 17 5 0 0 43 0 0 94723329842424 94723329843216 94723354316800 140725562164139 140725562164321 140725562164321 140725562171336 0
/proc/237273/statm: 4777044 43562 5776 1 0 552564 0
[pid=237273/tid=237292] ppid=237264 vsize=19108176 memory=25588 CPUtime=0.69 cores=5,7
/proc/237273/task/237292/stat : 237292 (java) R 237264 237273 237209 0 -1 4194368 6136 0 50 0 65 4 0 0 20 0 20 0 18241545 19566772224 43562 134679101440 94723329830912 94723329834608 140725562159296 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 39 0 0 94723329842424 94723329843216 94723354316800 140725562164139 140725562164321 140725562164321 140725562171336 0
[pid=237273/tid=237327] ppid=237264 vsize=19108176 memory=13520 CPUtime=0 cores=5,7
/proc/237273/task/237327/stat : 237327 (Finalizer) S 237264 237273 237209 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18241573 19566772224 43562 134679101440 94723329830912 94723329834608 140725562159296 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94723329842424 94723329843216 94723354316800 140725562164139 140725562164321 140725562164321 140725562171336 0
[pid=237273/tid=237354] ppid=237264 vsize=19108176 memory=74704 CPUtime=0 cores=5,7
/proc/237273/task/237354/stat : 237354 (Common-Cleaner) S 237264 237273 237209 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 18241573 19566772224 43562 134679101440 94723329830912 94723329834608 140725562159296 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94723329842424 94723329843216 94723354316800 140725562164139 140725562164321 140725562164321 140725562171336 0
[pid=237273/tid=237359] ppid=237264 vsize=19108176 memory=12936 CPUtime=0 cores=5,7
/proc/237273/task/237359/stat : 237359 (Timer-0) S 237264 237273 237209 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18241603 19566772224 43562 134679101440 94723329830912 94723329834608 140725562159296 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94723329842424 94723329843216 94723354316800 140725562164139 140725562164321 140725562164321 140725562171336 0
Current children cumulated CPU time: 1.39 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 174248 KiB

[startup+3.10616 s]
/proc/loadavg: 0.84 0.24 0.14 9/340 237366
/proc/meminfo: memFree=59390032/131524600 swapFree=131057564/131071996
[pid=237273] ppid=237264 vsize=19108176 memory=261480 CPUtime=4.18 cores=5,7
/proc/237273/stat : 237273 (java) S 237264 237273 237209 0 -1 1077936128 18738 0 65 0 409 9 0 0 20 0 20 0 18241510 19566772224 65370 134679101440 94723329830912 94723329834608 140725562159296 0 0 0 0 0 16800975 0 0 0 17 5 0 0 43 0 0 94723329842424 94723329843216 94723354316800 140725562164139 140725562164321 140725562164321 140725562171336 0
/proc/237273/statm: 4777044 65370 5796 1 0 553199 0
[pid=237273/tid=237292] ppid=237264 vsize=19108176 memory=0 CPUtime=2.21 cores=5,7
/proc/237273/task/237292/stat : 237292 (java) R 237264 237273 237209 0 -1 4194368 7434 0 50 0 215 6 0 0 20 0 20 0 18241545 19566772224 65370 134679101440 94723329830912 94723329834608 140725562159296 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 39 0 0 94723329842424 94723329843216 94723354316800 140725562164139 140725562164321 140725562164321 140725562171336 0
[pid=237273/tid=237327] ppid=237264 vsize=19108176 memory=60516 CPUtime=0 cores=5,7
/proc/237273/task/237327/stat : 237327 (Finalizer) S 237264 237273 237209 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18241573 19566772224 65370 134679101440 94723329830912 94723329834608 140725562159296 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94723329842424 94723329843216 94723354316800 140725562164139 140725562164321 140725562164321 140725562171336 0
[pid=237273/tid=237354] ppid=237264 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/237273/task/237354/stat : 237354 (Common-Cleaner) S 237264 237273 237209 0 -1 1077936192 42 0 0 0 0 0 0 0 20 0 20 0 18241573 19566772224 65370 134679101440 94723329830912 94723329834608 140725562159296 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94723329842424 94723329843216 94723354316800 140725562164139 140725562164321 140725562164321 140725562171336 0
[pid=237273/tid=237359] ppid=237264 vsize=19108176 memory=176000 CPUtime=0 cores=5,7
/proc/237273/task/237359/stat : 237359 (Timer-0) S 237264 237273 237209 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18241603 19566772224 65370 134679101440 94723329830912 94723329834608 140725562159296 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94723329842424 94723329843216 94723354316800 140725562164139 140725562164321 140725562164321 140725562171336 0
Current children cumulated CPU time: 4.18 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 261480 KiB

[startup+6.30026 s]
/proc/loadavg: 0.84 0.24 0.14 7/340 237366
/proc/meminfo: memFree=58699972/131524600 swapFree=131057564/131071996
[pid=237273] ppid=237264 vsize=19108176 memory=528976 CPUtime=7.53 cores=5,7
/proc/237273/stat : 237273 (java) S 237264 237273 237209 0 -1 1077936128 19459 0 65 0 736 17 0 0 20 0 20 0 18241510 19566772224 132244 134679101440 94723329830912 94723329834608 140725562159296 0 0 0 0 0 16800975 0 0 0 17 5 0 0 43 0 0 94723329842424 94723329843216 94723354316800 140725562164139 140725562164321 140725562164321 140725562171336 0
/proc/237273/statm: 4777044 132244 5796 1 0 659723 0
[pid=237273/tid=237292] ppid=237264 vsize=19108176 memory=6220129952381272151 CPUtime=5.29 cores=5,7
/proc/237273/task/237292/stat : 237292 (java) R 237264 237273 237209 0 -1 4194368 7611 0 50 0 518 11 0 0 20 0 20 0 18241545 19566772224 132244 134679101440 94723329830912 94723329834608 140725562159296 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 39 0 0 94723329842424 94723329843216 94723354316800 140725562164139 140725562164321 140725562164321 140725562171336 0
[pid=237273/tid=237327] ppid=237264 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/237273/task/237327/stat : 237327 (Finalizer) S 237264 237273 237209 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18241573 19566772224 132244 134679101440 94723329830912 94723329834608 140725562159296 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94723329842424 94723329843216 94723354316800 140725562164139 140725562164321 140725562164321 140725562171336 0
[pid=237273/tid=237354] ppid=237264 vsize=19108176 memory=25588 CPUtime=0 cores=5,7
/proc/237273/task/237354/stat : 237354 (Common-Cleaner) S 237264 237273 237209 0 -1 1077936192 42 0 0 0 0 0 0 0 20 0 20 0 18241573 19566772224 132244 134679101440 94723329830912 94723329834608 140725562159296 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94723329842424 94723329843216 94723354316800 140725562164139 140725562164321 140725562164321 140725562171336 0
[pid=237273/tid=237359] ppid=237264 vsize=19108176 memory=5552 CPUtime=0 cores=5,7
/proc/237273/task/237359/stat : 237359 (Timer-0) S 237264 237273 237209 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18241603 19566772224 132244 134679101440 94723329830912 94723329834608 140725562159296 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94723329842424 94723329843216 94723354316800 140725562164139 140725562164321 140725562164321 140725562171336 0
Current children cumulated CPU time: 7.53 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 528976 KiB

[startup+12.7003 s]
/proc/loadavg: 1.40 0.38 0.19 7/341 237369
/proc/meminfo: memFree=57552844/131524600 swapFree=131057564/131071996
[pid=237273] ppid=237264 vsize=19108176 memory=823640 CPUtime=13.45 cores=5,7
/proc/237273/stat : 237273 (java) S 237264 237273 237209 0 -1 1077936128 20385 0 65 0 1321 24 0 0 20 0 20 0 18241510 19566772224 205910 134679101440 94723329830912 94723329834608 140725562159296 0 0 0 0 0 16800975 0 0 0 17 5 0 0 43 0 0 94723329842424 94723329843216 94723354316800 140725562164139 140725562164321 140725562164321 140725562171336 0
/proc/237273/statm: 4777044 205910 5796 1 0 828915 0
[pid=237273/tid=237292] ppid=237264 vsize=19108176 memory=0 CPUtime=10.91 cores=5,7
/proc/237273/task/237292/stat : 237292 (java) R 237264 237273 237209 0 -1 4194368 7808 0 50 0 1075 16 0 0 20 0 20 0 18241545 19566772224 205910 134679101440 94723329830912 94723329834608 140725562159296 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 99 0 0 94723329842424 94723329843216 94723354316800 140725562164139 140725562164321 140725562164321 140725562171336 0
[pid=237273/tid=237327] ppid=237264 vsize=19108176 memory=5552 CPUtime=0 cores=5,7
/proc/237273/task/237327/stat : 237327 (Finalizer) S 237264 237273 237209 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18241573 19566772224 205910 134679101440 94723329830912 94723329834608 140725562159296 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94723329842424 94723329843216 94723354316800 140725562164139 140725562164321 140725562164321 140725562171336 0
[pid=237273/tid=237354] ppid=237264 vsize=19108176 memory=688832 CPUtime=0 cores=5,7
/proc/237273/task/237354/stat : 237354 (Common-Cleaner) S 237264 237273 237209 0 -1 1077936192 42 0 0 0 0 0 0 0 20 0 20 0 18241573 19566772224 205910 134679101440 94723329830912 94723329834608 140725562159296 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94723329842424 94723329843216 94723354316800 140725562164139 140725562164321 140725562164321 140725562171336 0
[pid=237273/tid=237359] ppid=237264 vsize=19108176 memory=13520 CPUtime=0 cores=5,7
/proc/237273/task/237359/stat : 237359 (Timer-0) S 237264 237273 237209 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18241603 19566772224 205910 134679101440 94723329830912 94723329834608 140725562159296 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94723329842424 94723329843216 94723354316800 140725562164139 140725562164321 140725562164321 140725562171336 0
Current children cumulated CPU time: 13.45 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 823640 KiB

[startup+25.5012 s]
/proc/loadavg: 1.80 0.50 0.23 7/341 237370
/proc/meminfo: memFree=55510748/131524600 swapFree=131057564/131071996
[pid=237273] ppid=237264 vsize=19108176 memory=1546068 CPUtime=26.79 cores=5,7
/proc/237273/stat : 237273 (java) S 237264 237273 237209 0 -1 1077936128 27252 0 65 0 2636 43 0 0 20 0 20 0 18241510 19566772224 386517 134679101440 94723329830912 94723329834608 140725562159296 0 0 0 0 0 16800975 0 0 0 17 5 0 0 43 0 0 94723329842424 94723329843216 94723354316800 140725562164139 140725562164321 140725562164321 140725562171336 0
/proc/237273/statm: 4777044 386517 5796 1 0 829816 0
[pid=237273/tid=237292] ppid=237264 vsize=19108176 memory=688832 CPUtime=23.41 cores=5,7
/proc/237273/task/237292/stat : 237292 (java) R 237264 237273 237209 0 -1 4194368 9216 0 50 0 2312 29 0 0 20 0 20 0 18241545 19566772224 386517 134679101440 94723329830912 94723329834608 140725562159296 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 99 0 0 94723329842424 94723329843216 94723354316800 140725562164139 140725562164321 140725562164321 140725562171336 0
[pid=237273/tid=237327] ppid=237264 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/237273/task/237327/stat : 237327 (Finalizer) S 237264 237273 237209 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18241573 19566772224 386517 134679101440 94723329830912 94723329834608 140725562159296 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94723329842424 94723329843216 94723354316800 140725562164139 140725562164321 140725562164321 140725562171336 0
[pid=237273/tid=237354] ppid=237264 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/237273/task/237354/stat : 237354 (Common-Cleaner) S 237264 237273 237209 0 -1 1077936192 42 0 0 0 0 0 0 0 20 0 20 0 18241573 19566772224 386517 134679101440 94723329830912 94723329834608 140725562159296 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94723329842424 94723329843216 94723354316800 140725562164139 140725562164321 140725562164321 140725562171336 0
[pid=237273/tid=237359] ppid=237264 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/237273/task/237359/stat : 237359 (Timer-0) S 237264 237273 237209 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18241603 19566772224 386517 134679101440 94723329830912 94723329834608 140725562159296 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94723329842424 94723329843216 94723354316800 140725562164139 140725562164321 140725562164321 140725562171336 0
Current children cumulated CPU time: 26.79 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1546068 KiB

[startup+51.1072 s]
/proc/loadavg: 2.63 0.80 0.33 9/340 237375
/proc/meminfo: memFree=51164748/131524600 swapFree=131057564/131071996
[pid=237273] ppid=237264 vsize=19108176 memory=2349836 CPUtime=51.31 cores=5,7
/proc/237273/stat : 237273 (java) S 237264 237273 237209 0 -1 1077936128 33285 0 65 0 5058 73 0 0 20 0 20 0 18241510 19566772224 587459 134679101440 94723329830912 94723329834608 140725562159296 0 0 0 0 0 16800975 0 0 0 17 5 0 0 43 0 0 94723329842424 94723329843216 94723354316800 140725562164139 140725562164321 140725562164321 140725562171336 0
/proc/237273/statm: 4777044 587459 5811 1 0 829839 0
[pid=237273/tid=237292] ppid=237264 vsize=19108176 memory=7234299888495907433 CPUtime=47.53 cores=5,7
/proc/237273/task/237292/stat : 237292 (java) R 237264 237273 237209 0 -1 4194368 12573 0 50 0 4700 53 0 0 20 0 20 0 18241545 19566772224 587459 134679101440 94723329830912 94723329834608 140725562159296 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 201 0 0 94723329842424 94723329843216 94723354316800 140725562164139 140725562164321 140725562164321 140725562171336 0
[pid=237273/tid=237327] ppid=237264 vsize=19108176 memory=2255368 CPUtime=0 cores=5,7
/proc/237273/task/237327/stat : 237327 (Finalizer) S 237264 237273 237209 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18241573 19566772224 587459 134679101440 94723329830912 94723329834608 140725562159296 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94723329842424 94723329843216 94723354316800 140725562164139 140725562164321 140725562164321 140725562171336 0
[pid=237273/tid=237354] ppid=237264 vsize=19108176 memory=74704 CPUtime=0 cores=5,7
/proc/237273/task/237354/stat : 237354 (Common-Cleaner) S 237264 237273 237209 0 -1 1077936192 42 0 0 0 0 0 0 0 20 0 20 0 18241573 19566772224 587459 134679101440 94723329830912 94723329834608 140725562159296 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94723329842424 94723329843216 94723354316800 140725562164139 140725562164321 140725562164321 140725562171336 0
[pid=237273/tid=237359] ppid=237264 vsize=19108176 memory=5552 CPUtime=0 cores=5,7
/proc/237273/task/237359/stat : 237359 (Timer-0) S 237264 237273 237209 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18241603 19566772224 587459 134679101440 94723329830912 94723329834608 140725562159296 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94723329842424 94723329843216 94723354316800 140725562164139 140725562164321 140725562164321 140725562171336 0
Current children cumulated CPU time: 51.31 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2349836 KiB

[startup+102.301 s]
/proc/loadavg: 3.70 1.40 0.57 7/338 237449
/proc/meminfo: memFree=48873220/131524600 swapFree=131057564/131071996
[pid=237273] ppid=237264 vsize=19108176 memory=2799468 CPUtime=100.83 cores=5,7
/proc/237273/stat : 237273 (java) S 237264 237273 237209 0 -1 1077936128 43675 0 65 0 9977 106 0 0 20 0 20 0 18241510 19566772224 699867 134679101440 94723329830912 94723329834608 140725562159296 0 0 0 0 0 16800975 0 0 0 17 5 0 0 43 0 0 94723329842424 94723329843216 94723354316800 140725562164139 140725562164321 140725562164321 140725562171336 0
/proc/237273/statm: 4777044 699867 5812 1 0 829840 0
[pid=237273/tid=237292] ppid=237264 vsize=19108176 memory=13520 CPUtime=95.34 cores=5,7
/proc/237273/task/237292/stat : 237292 (java) R 237264 237273 237209 0 -1 4194368 16607 0 50 0 9459 75 0 0 20 0 20 0 18241545 19566772224 699867 134679101440 94723329830912 94723329834608 140725562159296 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 425 0 0 94723329842424 94723329843216 94723354316800 140725562164139 140725562164321 140725562164321 140725562171336 0
[pid=237273/tid=237327] ppid=237264 vsize=19108176 memory=16120 CPUtime=0 cores=5,7
/proc/237273/task/237327/stat : 237327 (Finalizer) S 237264 237273 237209 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18241573 19566772224 699867 134679101440 94723329830912 94723329834608 140725562159296 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94723329842424 94723329843216 94723354316800 140725562164139 140725562164321 140725562164321 140725562171336 0
[pid=237273/tid=237354] ppid=237264 vsize=19108176 memory=279504930144224 CPUtime=0 cores=5,7
/proc/237273/task/237354/stat : 237354 (Common-Cleaner) S 237264 237273 237209 0 -1 1077936192 94 0 0 0 0 0 0 0 20 0 20 0 18241573 19566772224 699867 134679101440 94723329830912 94723329834608 140725562159296 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94723329842424 94723329843216 94723354316800 140725562164139 140725562164321 140725562164321 140725562171336 0
[pid=237273/tid=237359] ppid=237264 vsize=19108176 memory=13520 CPUtime=0 cores=5,7
/proc/237273/task/237359/stat : 237359 (Timer-0) S 237264 237273 237209 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18241603 19566772224 699867 134679101440 94723329830912 94723329834608 140725562159296 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94723329842424 94723329843216 94723354316800 140725562164139 140725562164321 140725562164321 140725562171336 0
Current children cumulated CPU time: 100.83 s
Current children cumulated vsize: 19108176 KiB

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

/proc/meminfo: memFree=10621404/131524600 swapFree=131057564/131071996
[pid=237273] ppid=237264 vsize=19108176 memory=3289024 CPUtime=3194.42 cores=5,7
/proc/237273/stat : 237273 (java) S 237264 237273 237209 0 -1 1077936128 275016 0 65 0 318135 1307 0 0 20 0 20 0 18241510 19566772224 822256 134679101440 94723329830912 94723329834608 140725562159296 0 0 0 0 0 16800975 0 0 0 17 5 0 0 43 0 0 94723329842424 94723329843216 94723354316800 140725562164139 140725562164321 140725562164321 140725562171336 0
/proc/237273/statm: 4777044 822256 5825 1 0 833448 0
[pid=237273/tid=237292] ppid=237264 vsize=19108176 memory=5552 CPUtime=3099.28 cores=5,7
/proc/237273/task/237292/stat : 237292 (java) R 237264 237273 237209 0 -1 4194368 103410 0 50 0 308760 1168 0 0 20 0 20 0 18241545 19566772224 822256 134679101440 94723329830912 94723329834608 140725562159296 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 6637 0 0 94723329842424 94723329843216 94723354316800 140725562164139 140725562164321 140725562164321 140725562171336 0
[pid=237273/tid=237327] ppid=237264 vsize=19108176 memory=3289016 CPUtime=0 cores=5,7
/proc/237273/task/237327/stat : 237327 (Finalizer) S 237264 237273 237209 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18241573 19566772224 822256 134679101440 94723329830912 94723329834608 140725562159296 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94723329842424 94723329843216 94723354316800 140725562164139 140725562164321 140725562164321 140725562171336 0
[pid=237273/tid=237354] ppid=237264 vsize=19108176 memory=5552 CPUtime=0 cores=5,7
/proc/237273/task/237354/stat : 237354 (Common-Cleaner) S 237264 237273 237209 0 -1 1077936192 1683 0 0 0 0 0 0 0 20 0 20 0 18241573 19566772224 822256 134679101440 94723329830912 94723329834608 140725562159296 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94723329842424 94723329843216 94723354316800 140725562164139 140725562164321 140725562164321 140725562171336 0
[pid=237273/tid=237359] ppid=237264 vsize=19108176 memory=3289024 CPUtime=0 cores=5,7
/proc/237273/task/237359/stat : 237359 (Timer-0) S 237264 237273 237209 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18241603 19566772224 822256 134679101440 94723329830912 94723329834608 140725562159296 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94723329842424 94723329843216 94723354316800 140725562164139 140725562164321 140725562164321 140725562171336 0
Current children cumulated CPU time: 3194.42 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3289024 KiB

[startup+3282.3 s]
/proc/loadavg: 4.94 4.55 4.24 6/339 238998
/proc/meminfo: memFree=9779396/131524600 swapFree=131057564/131071996
[pid=237273] ppid=237264 vsize=19108176 memory=3289028 CPUtime=3255.48 cores=5,7
/proc/237273/stat : 237273 (java) S 237264 237273 237209 0 -1 1077936128 275909 0 65 0 324219 1329 0 0 20 0 20 0 18241510 19566772224 822257 134679101440 94723329830912 94723329834608 140725562159296 0 0 0 0 0 16800975 0 0 0 17 5 0 0 43 0 0 94723329842424 94723329843216 94723354316800 140725562164139 140725562164321 140725562164321 140725562171336 0
/proc/237273/statm: 4777044 822257 5825 1 0 833448 0
[pid=237273/tid=237292] ppid=237264 vsize=19108176 memory=3289024 CPUtime=3158.27 cores=5,7
/proc/237273/task/237292/stat : 237292 (java) R 237264 237273 237209 0 -1 4194368 103995 0 50 0 314640 1187 0 0 20 0 20 0 18241545 19566772224 822257 134679101440 94723329830912 94723329834608 140725562159296 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 6657 0 0 94723329842424 94723329843216 94723354316800 140725562164139 140725562164321 140725562164321 140725562171336 0
[pid=237273/tid=237327] ppid=237264 vsize=19108176 memory=3289024 CPUtime=0 cores=5,7
/proc/237273/task/237327/stat : 237327 (Finalizer) S 237264 237273 237209 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18241573 19566772224 822257 134679101440 94723329830912 94723329834608 140725562159296 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94723329842424 94723329843216 94723354316800 140725562164139 140725562164321 140725562164321 140725562171336 0
[pid=237273/tid=237354] ppid=237264 vsize=19108176 memory=-8887687174441116348 CPUtime=0 cores=5,7
/proc/237273/task/237354/stat : 237354 (Common-Cleaner) S 237264 237273 237209 0 -1 1077936192 1684 0 0 0 0 0 0 0 20 0 20 0 18241573 19566772224 822257 134679101440 94723329830912 94723329834608 140725562159296 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94723329842424 94723329843216 94723354316800 140725562164139 140725562164321 140725562164321 140725562171336 0
[pid=237273/tid=237359] ppid=237264 vsize=19108176 memory=74704 CPUtime=0 cores=5,7
/proc/237273/task/237359/stat : 237359 (Timer-0) S 237264 237273 237209 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18241603 19566772224 822257 134679101440 94723329830912 94723329834608 140725562159296 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94723329842424 94723329843216 94723354316800 140725562164139 140725562164321 140725562164321 140725562171336 0
Current children cumulated CPU time: 3255.48 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3289028 KiB

[startup+3342.3 s]
/proc/loadavg: 4.47 4.48 4.23 6/337 239177
/proc/meminfo: memFree=9175940/131524600 swapFree=131057564/131071996
[pid=237273] ppid=237264 vsize=19108176 memory=3289056 CPUtime=3316.57 cores=5,7
/proc/237273/stat : 237273 (java) S 237264 237273 237209 0 -1 1077936128 280483 0 65 0 330306 1351 0 0 20 0 20 0 18241510 19566772224 822264 134679101440 94723329830912 94723329834608 140725562159296 0 0 0 0 0 16800975 0 0 0 17 5 0 0 43 0 0 94723329842424 94723329843216 94723354316800 140725562164139 140725562164321 140725562164321 140725562171336 0
/proc/237273/statm: 4777044 822264 5825 1 0 833448 0
[pid=237273/tid=237292] ppid=237264 vsize=19108176 memory=3289056 CPUtime=3216.97 cores=5,7
/proc/237273/task/237292/stat : 237292 (java) R 237264 237273 237209 0 -1 4194368 105579 0 50 0 320490 1207 0 0 20 0 20 0 18241545 19566772224 822264 134679101440 94723329830912 94723329834608 140725562159296 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 6675 0 0 94723329842424 94723329843216 94723354316800 140725562164139 140725562164321 140725562164321 140725562171336 0
[pid=237273/tid=237327] ppid=237264 vsize=19108176 memory=3289056 CPUtime=0 cores=5,7
/proc/237273/task/237327/stat : 237327 (Finalizer) S 237264 237273 237209 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18241573 19566772224 822264 134679101440 94723329830912 94723329834608 140725562159296 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94723329842424 94723329843216 94723354316800 140725562164139 140725562164321 140725562164321 140725562171336 0
[pid=237273/tid=237354] ppid=237264 vsize=19108176 memory=3289056 CPUtime=0 cores=5,7
/proc/237273/task/237354/stat : 237354 (Common-Cleaner) S 237264 237273 237209 0 -1 1077936192 1804 0 0 0 0 0 0 0 20 0 20 0 18241573 19566772224 822264 134679101440 94723329830912 94723329834608 140725562159296 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94723329842424 94723329843216 94723354316800 140725562164139 140725562164321 140725562164321 140725562171336 0
[pid=237273/tid=237359] ppid=237264 vsize=19108176 memory=13520 CPUtime=0 cores=5,7
/proc/237273/task/237359/stat : 237359 (Timer-0) S 237264 237273 237209 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18241603 19566772224 822264 134679101440 94723329830912 94723329834608 140725562159296 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94723329842424 94723329843216 94723354316800 140725562164139 140725562164321 140725562164321 140725562171336 0
Current children cumulated CPU time: 3316.57 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3289056 KiB

[startup+3402.3 s]
/proc/loadavg: 4.32 4.44 4.23 6/337 239188
/proc/meminfo: memFree=8564580/131524600 swapFree=131057564/131071996
[pid=237273] ppid=237264 vsize=19108176 memory=3289056 CPUtime=3377.73 cores=5,7
/proc/237273/stat : 237273 (java) S 237264 237273 237209 0 -1 1077936128 281211 0 65 0 336399 1374 0 0 20 0 20 0 18241510 19566772224 822264 134679101440 94723329830912 94723329834608 140725562159296 0 0 0 0 0 16800975 0 0 0 17 5 0 0 43 0 0 94723329842424 94723329843216 94723354316800 140725562164139 140725562164321 140725562164321 140725562171336 0
/proc/237273/statm: 4777044 822264 5825 1 0 833448 0
[pid=237273/tid=237292] ppid=237264 vsize=19108176 memory=3289056 CPUtime=3275.84 cores=5,7
/proc/237273/task/237292/stat : 237292 (java) R 237264 237273 237209 0 -1 4194368 105896 0 50 0 326356 1228 0 0 20 0 20 0 18241545 19566772224 822264 134679101440 94723329830912 94723329834608 140725562159296 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 6693 0 0 94723329842424 94723329843216 94723354316800 140725562164139 140725562164321 140725562164321 140725562171336 0
[pid=237273/tid=237327] ppid=237264 vsize=19108176 memory=13520 CPUtime=0 cores=5,7
/proc/237273/task/237327/stat : 237327 (Finalizer) S 237264 237273 237209 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18241573 19566772224 822264 134679101440 94723329830912 94723329834608 140725562159296 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94723329842424 94723329843216 94723354316800 140725562164139 140725562164321 140725562164321 140725562171336 0
[pid=237273/tid=237354] ppid=237264 vsize=19108176 memory=3289056 CPUtime=0 cores=5,7
/proc/237273/task/237354/stat : 237354 (Common-Cleaner) S 237264 237273 237209 0 -1 1077936192 1804 0 0 0 0 0 0 0 20 0 20 0 18241573 19566772224 822264 134679101440 94723329830912 94723329834608 140725562159296 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94723329842424 94723329843216 94723354316800 140725562164139 140725562164321 140725562164321 140725562171336 0
[pid=237273/tid=237359] ppid=237264 vsize=19108176 memory=3289056 CPUtime=0 cores=5,7
/proc/237273/task/237359/stat : 237359 (Timer-0) S 237264 237273 237209 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18241603 19566772224 822264 134679101440 94723329830912 94723329834608 140725562159296 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94723329842424 94723329843216 94723354316800 140725562164139 140725562164321 140725562164321 140725562171336 0
Current children cumulated CPU time: 3377.73 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3289056 KiB

[startup+3462.3 s]
/proc/loadavg: 4.44 4.45 4.25 6/339 239256
/proc/meminfo: memFree=8056376/131524600 swapFree=131057564/131071996
[pid=237273] ppid=237264 vsize=19108176 memory=3289056 CPUtime=3438.03 cores=5,7
/proc/237273/stat : 237273 (java) S 237264 237273 237209 0 -1 1077936128 282072 0 65 0 342409 1394 0 0 20 0 20 0 18241510 19566772224 822264 134679101440 94723329830912 94723329834608 140725562159296 0 0 0 0 0 16800975 0 0 0 17 5 0 0 43 0 0 94723329842424 94723329843216 94723354316800 140725562164139 140725562164321 140725562164321 140725562171336 0
/proc/237273/statm: 4777044 822264 5825 1 0 833448 0
[pid=237273/tid=237292] ppid=237264 vsize=19108176 memory=13520 CPUtime=3334.99 cores=5,7
/proc/237273/task/237292/stat : 237292 (java) R 237264 237273 237209 0 -1 4194368 106574 0 50 0 332252 1247 0 0 20 0 20 0 18241545 19566772224 822264 134679101440 94723329830912 94723329834608 140725562159296 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 6703 0 0 94723329842424 94723329843216 94723354316800 140725562164139 140725562164321 140725562164321 140725562171336 0
[pid=237273/tid=237327] ppid=237264 vsize=19108176 memory=3289056 CPUtime=0 cores=5,7
/proc/237273/task/237327/stat : 237327 (Finalizer) S 237264 237273 237209 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18241573 19566772224 822264 134679101440 94723329830912 94723329834608 140725562159296 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94723329842424 94723329843216 94723354316800 140725562164139 140725562164321 140725562164321 140725562171336 0
[pid=237273/tid=237354] ppid=237264 vsize=19108176 memory=3289056 CPUtime=0 cores=5,7
/proc/237273/task/237354/stat : 237354 (Common-Cleaner) S 237264 237273 237209 0 -1 1077936192 1804 0 0 0 0 0 0 0 20 0 20 0 18241573 19566772224 822264 134679101440 94723329830912 94723329834608 140725562159296 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94723329842424 94723329843216 94723354316800 140725562164139 140725562164321 140725562164321 140725562171336 0
[pid=237273/tid=237359] ppid=237264 vsize=19108176 memory=3289056 CPUtime=0 cores=5,7
/proc/237273/task/237359/stat : 237359 (Timer-0) S 237264 237273 237209 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18241603 19566772224 822264 134679101440 94723329830912 94723329834608 140725562159296 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94723329842424 94723329843216 94723354316800 140725562164139 140725562164321 140725562164321 140725562171336 0
Current children cumulated CPU time: 3438.03 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3289056 KiB

[startup+3522.3 s]
/proc/loadavg: 4.31 4.41 4.25 6/339 239266
/proc/meminfo: memFree=7321668/131524600 swapFree=131057564/131071996
[pid=237273] ppid=237264 vsize=19108176 memory=3289120 CPUtime=3499.14 cores=5,7
/proc/237273/stat : 237273 (java) S 237264 237273 237209 0 -1 1077936128 286687 0 65 0 348495 1419 0 0 20 0 20 0 18241510 19566772224 822280 134679101440 94723329830912 94723329834608 140725562159296 0 0 0 0 0 16800975 0 0 0 17 5 0 0 43 0 0 94723329842424 94723329843216 94723354316800 140725562164139 140725562164321 140725562164321 140725562171336 0
/proc/237273/statm: 4777044 822280 5825 1 0 833460 0
[pid=237273/tid=237292] ppid=237264 vsize=19108176 memory=3289056 CPUtime=3393.63 cores=5,7
/proc/237273/task/237292/stat : 237292 (java) R 237264 237273 237209 0 -1 4194368 107939 0 50 0 338094 1269 0 0 20 0 20 0 18241545 19566772224 822280 134679101440 94723329830912 94723329834608 140725562159296 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 6734 0 0 94723329842424 94723329843216 94723354316800 140725562164139 140725562164321 140725562164321 140725562171336 0
[pid=237273/tid=237327] ppid=237264 vsize=19108176 memory=3289056 CPUtime=0 cores=5,7
/proc/237273/task/237327/stat : 237327 (Finalizer) S 237264 237273 237209 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18241573 19566772224 822280 134679101440 94723329830912 94723329834608 140725562159296 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94723329842424 94723329843216 94723354316800 140725562164139 140725562164321 140725562164321 140725562171336 0
[pid=237273/tid=237354] ppid=237264 vsize=19108176 memory=13520 CPUtime=0 cores=5,7
/proc/237273/task/237354/stat : 237354 (Common-Cleaner) S 237264 237273 237209 0 -1 1077936192 1916 0 0 0 0 0 0 0 20 0 20 0 18241573 19566772224 822280 134679101440 94723329830912 94723329834608 140725562159296 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94723329842424 94723329843216 94723354316800 140725562164139 140725562164321 140725562164321 140725562171336 0
[pid=237273/tid=237359] ppid=237264 vsize=19108176 memory=-8887687174441116348 CPUtime=0 cores=5,7
/proc/237273/task/237359/stat : 237359 (Timer-0) S 237264 237273 237209 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18241603 19566772224 822280 134679101440 94723329830912 94723329834608 140725562159296 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94723329842424 94723329843216 94723354316800 140725562164139 140725562164321 140725562164321 140725562171336 0
Current children cumulated CPU time: 3499.14 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3289120 KiB

[startup+3582.3 s]
/proc/loadavg: 4.35 4.40 4.26 6/339 239346
/proc/meminfo: memFree=14645204/131524600 swapFree=131057564/131071996
[pid=237273] ppid=237264 vsize=19108176 memory=3289128 CPUtime=3560.35 cores=5,7
/proc/237273/stat : 237273 (java) S 237264 237273 237209 0 -1 1077936128 287314 0 65 0 354597 1438 0 0 20 0 20 0 18241510 19566772224 822282 134679101440 94723329830912 94723329834608 140725562159296 0 0 0 0 0 16800975 0 0 0 17 5 0 0 43 0 0 94723329842424 94723329843216 94723354316800 140725562164139 140725562164321 140725562164321 140725562171336 0
/proc/237273/statm: 4777044 822282 5825 1 0 833460 0
[pid=237273/tid=237292] ppid=237264 vsize=19108176 memory=3289128 CPUtime=3452.55 cores=5,7
/proc/237273/task/237292/stat : 237292 (java) R 237264 237273 237209 0 -1 4194368 108107 0 50 0 343969 1286 0 0 20 0 20 0 18241545 19566772224 822282 134679101440 94723329830912 94723329834608 140725562159296 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 6750 0 0 94723329842424 94723329843216 94723354316800 140725562164139 140725562164321 140725562164321 140725562171336 0
[pid=237273/tid=237327] ppid=237264 vsize=19108176 memory=3289056 CPUtime=0 cores=5,7
/proc/237273/task/237327/stat : 237327 (Finalizer) S 237264 237273 237209 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18241573 19566772224 822282 134679101440 94723329830912 94723329834608 140725562159296 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94723329842424 94723329843216 94723354316800 140725562164139 140725562164321 140725562164321 140725562171336 0
[pid=237273/tid=237354] ppid=237264 vsize=19108176 memory=3289120 CPUtime=0 cores=5,7
/proc/237273/task/237354/stat : 237354 (Common-Cleaner) S 237264 237273 237209 0 -1 1077936192 1916 0 0 0 0 0 0 0 20 0 20 0 18241573 19566772224 822282 134679101440 94723329830912 94723329834608 140725562159296 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94723329842424 94723329843216 94723354316800 140725562164139 140725562164321 140725562164321 140725562171336 0
[pid=237273/tid=237359] ppid=237264 vsize=19108176 memory=12936 CPUtime=0 cores=5,7
/proc/237273/task/237359/stat : 237359 (Timer-0) S 237264 237273 237209 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18241603 19566772224 822282 134679101440 94723329830912 94723329834608 140725562159296 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94723329842424 94723329843216 94723354316800 140725562164139 140725562164321 140725562164321 140725562171336 0
Current children cumulated CPU time: 3560.35 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3289128 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3622.6 s]
/proc/loadavg: 4.29 4.38 4.26 5/339 239422
/proc/meminfo: memFree=34108236/131524600 swapFree=131057564/131071996
[pid=237273] ppid=237264 vsize=19108176 memory=3289128 CPUtime=3600.04 cores=5,7
/proc/237273/stat : 237273 (java) S 237264 237273 237209 0 -1 1077936128 287751 0 65 0 358553 1451 0 0 20 0 20 0 18241510 19566772224 822282 134679101440 94723329830912 94723329834608 140725562159296 0 0 0 0 0 16800975 0 0 0 17 5 0 0 43 0 0 94723329842424 94723329843216 94723354316800 140725562164139 140725562164321 140725562164321 140725562171336 0
/proc/237273/statm: 4777044 822282 5825 1 0 833460 0
[pid=237273/tid=237292] ppid=237264 vsize=19108176 memory=3289128 CPUtime=3490.41 cores=5,7
/proc/237273/task/237292/stat : 237292 (java) R 237264 237273 237209 0 -1 4194368 108493 0 50 0 347743 1298 0 0 20 0 20 0 18241545 19566772224 822282 134679101440 94723329830912 94723329834608 140725562159296 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 6931 0 0 94723329842424 94723329843216 94723354316800 140725562164139 140725562164321 140725562164321 140725562171336 0
[pid=237273/tid=237327] ppid=237264 vsize=19108176 memory=74704 CPUtime=0 cores=5,7
/proc/237273/task/237327/stat : 237327 (Finalizer) S 237264 237273 237209 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18241573 19566772224 822282 134679101440 94723329830912 94723329834608 140725562159296 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94723329842424 94723329843216 94723354316800 140725562164139 140725562164321 140725562164321 140725562171336 0
[pid=237273/tid=237354] ppid=237264 vsize=19108176 memory=3289128 CPUtime=0 cores=5,7
/proc/237273/task/237354/stat : 237354 (Common-Cleaner) S 237264 237273 237209 0 -1 1077936192 1916 0 0 0 0 0 0 0 20 0 20 0 18241573 19566772224 822282 134679101440 94723329830912 94723329834608 140725562159296 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94723329842424 94723329843216 94723354316800 140725562164139 140725562164321 140725562164321 140725562171336 0
[pid=237273/tid=237359] ppid=237264 vsize=19108176 memory=3289128 CPUtime=0 cores=5,7
/proc/237273/task/237359/stat : 237359 (Timer-0) S 237264 237273 237209 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18241603 19566772224 822282 134679101440 94723329830912 94723329834608 140725562159296 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94723329842424 94723329843216 94723354316800 140725562164139 140725562164321 140725562164321 140725562171336 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3289128 KiB

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

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

# cumulated CPU time of all completed processes:  user=3585.65 s, system=14.5312 s

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

Child status: 143

Real time (s): 3622.71
CPU time (s): 3600.18
CPU user time (s): 3585.65
CPU system time (s): 14.5312
CPU usage (%): 99.3783
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 3289128

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.65
system time used= 14.5312
maximum resident set size= 3290436
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 289248
page faults= 65
swaps= 0
block input operations= 7768
block output operations= 24789832
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 123633
involuntary context switches= 18303


# summary of solver processes directly reported to runsolver:
#   pid: 237273
#   total CPU time (s): 3600.18
#   total CPU user time (s): 3585.65
#   total CPU system time (s): 14.5312

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.4789 second user time and 15.9102 second system time

The end

Launcher Data 

Begin job on nodeC015 at 2024-07-24 12:33:06
IDJOB=4442762
IDBENCH=147846
IDSOLVER=3079
FILE ID=nodeC015/4442762-1721817186
RUNJOBID= nodeC015-1721817186-237222
SLURM_JOB_ID= 7816866
Free space on /tmp= 890080 MiB

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

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

MD5SUM BENCH= c29178bae55e2a953331375c03582f77
RANDOM SEED=990321049

nodeC015.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		: 3362.567
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.37
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		: 3047.379
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.17
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3639.347
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.37
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		: 3283.235
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.17
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		: 3604.264
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.37
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		: 3188.512
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.17
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		: 3442.734
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.37
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		: 3026.456
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.17
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        60580000 kB
MemAvailable:   129610996 kB
Buffers:          249052 kB
Cached:         69265428 kB
SwapCached:          792 kB
Active:          2575388 kB
Inactive:       67261768 kB
Active(anon):       1800 kB
Inactive(anon):   373664 kB
Active(file):    2573588 kB
Inactive(file): 66888104 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131057564 kB
Dirty:             19372 kB
Writeback:             0 kB
AnonPages:        321368 kB
Mapped:           118468 kB
Shmem:             52776 kB
KReclaimable:     630712 kB
Slab:             757568 kB
SReclaimable:     630712 kB
SUnreclaim:       126856 kB
KernelStack:        3920 kB
PageTables:         9704 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     740652 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            16224 kB
HardwareCorrupted:     0 kB
AnonHugePages:    204800 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:      367316 kB
DirectMap2M:    43446272 kB
DirectMap1G:    92274688 kB

Free space on /tmp at the end= 890020 MiB
End job on nodeC015 at 2024-07-24 13:33:29