Trace number 4504994

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 NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution 2025-06-06? (TO) 3600.28 3593.94

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/zahidi/
IC/normalized-minisat25_6_3_3_ic.opb
MD5SUM9beff3f3155855feaa4c9645b72566dc
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/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.277731
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables15725
Total number of constraints31332
Number of constraints which are clauses14450
Number of constraints which are cardinality constraints (but not clauses)7
Number of constraints which are nor clauses,nor cardinality constraints16875
Minimum length of a constraint2
Maximum length of a constraint300
Number of terms in the objective function 1825
Biggest coefficient in the objective function 111980168
Number of bits for the biggest coefficient in the objective function 27
Sum of the numbers in the objective function 9113142699
Number of bits of the sum of numbers in the objective function 34
Biggest number in a constraint 111980168
Number of bits of the biggest number in a constraint 27
Biggest sum of numbers in a constraint 9113142699
Number of bits of the biggest sum of numbers34
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.11/0.18	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.11/0.18	c This is free software under the dual EPL/GNU LGPL licenses.
0.11/0.18	c See www.sat4j.org for details.
0.11/0.19	c version PB25.v20250606
0.11/0.22	c java.runtime.name	OpenJDK Runtime Environment
0.11/0.22	c java.vm.name		OpenJDK 64-Bit Server VM
0.11/0.22	c java.vm.version	22.0.1+8-16
0.28/0.23	c java.vm.vendor	Oracle Corporation
0.28/0.23	c sun.arch.data.model	64
0.28/0.23	c java.version		22.0.1
0.28/0.23	c os.name		Linux
0.28/0.23	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.28/0.23	c os.arch		amd64
0.28/0.24	c Free memory 		2104792832
0.28/0.24	c Max memory 		16282288128
0.28/0.24	c Total memory 		2113929216
0.28/0.25	c Number of processors 	2
0.44/0.35	c Pseudo Boolean Optimization by upper bound
0.44/0.35	c --- Begin Solver configuration ---
0.44/0.35	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.44/0.35	c Learn all clauses as in MiniSAT
0.44/0.35	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.44/0.35	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.44/0.35	c Expensive reason simplification
0.44/0.35	c Glucose 2.1 dynamic restart strategy
0.44/0.35	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.44/0.35	c timeout=2147483s
0.44/0.35	c DB Simplification allowed=false
0.44/0.35	c Listener: none
0.44/0.35	c --- End Solver configuration ---
0.44/0.35	c solving HOME/instance-4504994-1751461067.opb
0.44/0.35	c reading problem ... 
0.44/0.35	c  objective function found
1.71/1.01	c ... done. Wall clock time 0.654s.
1.71/1.01	c declared #vars     15725
1.71/1.01	c #constraints  33139
1.71/1.01	c constraints type 
1.71/1.01	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 3625
1.71/1.01	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 7
1.71/1.01	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 14775
1.71/1.01	c org.sat4j.specs.Constr$1 => 3
1.71/1.01	c org.sat4j.pb.constraints.pb.UnitClausesPB => 3
1.71/1.01	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 14726
1.71/1.01	c 33139 constraints processed.
1.71/1.04	c objective function length is 1825 literals
5.98/3.62	c cleaning 2498 clauses out of 5001 with flag 18672/5001
10.15/7.62	c cleaning 4248 clauses out of 8503 with flag 42121/11001
13.43/10.88	c cleaning 5626 clauses out of 11255 with flag 73182/18001
16.68/14.01	c cleaning 6806 clauses out of 13628 with flag 121192/26000
20.34/17.71	c cleaning 7905 clauses out of 15823 with flag 170304/35001
24.55/21.82	c cleaning 8957 clauses out of 17918 with flag 241807/45001
29.04/26.36	c cleaning 9971 clauses out of 19960 with flag 310401/56000
34.64/31.90	c cleaning 10984 clauses out of 21990 with flag 421044/68001
39.93/37.24	c cleaning 12000 clauses out of 24006 with flag 510219/81001
47.20/44.29	c cleaning 12997 clauses out of 26005 with flag 584827/95000
54.58/51.58	c cleaning 13999 clauses out of 28008 with flag 662778/110000
62.66/59.63	c cleaning 14998 clauses out of 30010 with flag 752458/126001
70.62/67.61	c cleaning 15996 clauses out of 32012 with flag 848495/143001
79.43/76.24	c cleaning 16999 clauses out of 34016 with flag 956458/161001
88.52/85.35	c cleaning 18002 clauses out of 36017 with flag 1088166/180001
98.30/95.03	c cleaning 18997 clauses out of 38014 with flag 1236791/200000
107.87/104.65	c cleaning 20001 clauses out of 40017 with flag 1385199/221000
118.42/115.16	c cleaning 21001 clauses out of 42016 with flag 1557032/243000
128.96/125.67	c cleaning 21999 clauses out of 44017 with flag 1745639/266002
140.17/136.71	c cleaning 23005 clauses out of 46017 with flag 1942721/290001
152.25/148.88	c cleaning 24000 clauses out of 48012 with flag 2130623/315001
165.49/162.07	c cleaning 25001 clauses out of 50013 with flag 2329083/341002
178.66/175.28	c cleaning 25995 clauses out of 52010 with flag 2537268/368000
192.80/189.38	c cleaning 27000 clauses out of 54016 with flag 2733173/396001
206.38/202.98	c cleaning 27999 clauses out of 56016 with flag 2916097/425001
220.41/217.00	c cleaning 29007 clauses out of 58018 with flag 3113625/455002
236.08/232.53	c cleaning 30003 clauses out of 60009 with flag 3275677/486000
250.84/247.24	c cleaning 30997 clauses out of 62006 with flag 3433039/518000
266.51/262.94	c cleaning 31994 clauses out of 64009 with flag 3639102/551000
285.46/281.80	c cleaning 33001 clauses out of 66015 with flag 3885617/585000
305.73/302.11	c cleaning 33999 clauses out of 68015 with flag 4158622/620001
326.25/322.67	c cleaning 35001 clauses out of 70016 with flag 4432367/656001
345.51/342.00	c cleaning 35997 clauses out of 72015 with flag 4669795/693001
364.04/360.45	c cleaning 37000 clauses out of 74017 with flag 4971007/731000
381.82/377.73	c cleaning 38004 clauses out of 76017 with flag 5286759/770000
403.10/399.05	c cleaning 39001 clauses out of 78015 with flag 5576660/810002
423.92/419.80	c cleaning 40001 clauses out of 80013 with flag 5874168/851001
444.78/440.76	c cleaning 41003 clauses out of 82011 with flag 6192601/893000
468.08/464.09	c cleaning 41999 clauses out of 84011 with flag 6481227/936003
489.91/485.73	c cleaning 42997 clauses out of 86011 with flag 6725171/980002
511.28/507.10	c cleaning 43996 clauses out of 88013 with flag 6966468/1025001
532.08/527.85	c cleaning 45007 clauses out of 90016 with flag 7194585/1071000
552.44/548.13	c cleaning 46002 clauses out of 92012 with flag 7470434/1118003
578.29/574.10	c cleaning 46998 clauses out of 94007 with flag 7784760/1166000
606.13/601.85	c cleaning 47991 clauses out of 96010 with flag 8111005/1215001
632.88/628.62	c cleaning 49006 clauses out of 98020 with flag 8458220/1265002
657.93/653.72	c cleaning 50001 clauses out of 100014 with flag 8824370/1316002
683.14/679.00	c cleaning 51004 clauses out of 102012 with flag 9155499/1368001
706.68/702.47	c cleaning 51998 clauses out of 104007 with flag 9485095/1421000
730.93/726.79	c cleaning 52999 clauses out of 106009 with flag 9803396/1475000
756.89/752.72	c cleaning 54000 clauses out of 108012 with flag 10144372/1530002
783.10/778.32	c cleaning 55002 clauses out of 110011 with flag 10472390/1586001
811.13/806.34	c cleaning 55996 clauses out of 112008 with flag 10813185/1643000
841.42/836.58	c cleaning 56993 clauses out of 114014 with flag 11160962/1701002
872.06/867.20	c cleaning 58002 clauses out of 116020 with flag 11544879/1760001
903.35/898.45	c cleaning 58993 clauses out of 118017 with flag 11956254/1820000
931.91/927.08	c cleaning 60000 clauses out of 120024 with flag 12374151/1881000
964.44/959.57	c cleaning 61006 clauses out of 122024 with flag 12807449/1943000
995.89/991.11	c cleaning 62001 clauses out of 124018 with flag 13228967/2006000
1030.24/1025.31	c cleaning 63010 clauses out of 126019 with flag 13674160/2070002
1063.76/1058.95	c cleaning 64001 clauses out of 128007 with flag 14102088/2135000
1093.59/1088.79	c cleaning 64998 clauses out of 130007 with flag 14539842/2201001
1135.56/1129.92	c cleaning 65998 clauses out of 132008 with flag 14998388/2268000
1176.88/1171.31	c cleaning 66999 clauses out of 134010 with flag 15471631/2336000
1214.71/1209.15	c cleaning 67979 clauses out of 136012 with flag 15953022/2405001
1248.56/1243.08	c cleaning 69013 clauses out of 138033 with flag 16412634/2475001
1288.89/1283.31	c cleaning 70010 clauses out of 140020 with flag 16975908/2546001
1324.13/1318.66	c cleaning 70997 clauses out of 142010 with flag 17441972/2618001
1363.21/1357.60	c cleaning 71996 clauses out of 144012 with flag 17937586/2691000
1400.82/1395.18	c cleaning 72998 clauses out of 146017 with flag 18455047/2765001
1436.83/1431.01	c cleaning 73997 clauses out of 148020 with flag 18948742/2840002
1470.61/1464.74	c cleaning 74995 clauses out of 150021 with flag 19394677/2916000
1507.24/1501.35	c cleaning 76008 clauses out of 152026 with flag 19967779/2993000
1546.53/1540.56	c cleaning 77008 clauses out of 154019 with flag 20530119/3071001
1584.81/1578.76	c cleaning 77999 clauses out of 156013 with flag 21000497/3150003
1626.12/1619.34	c cleaning 78998 clauses out of 158011 with flag 21493873/3230000
1664.64/1657.86	c cleaning 80006 clauses out of 160013 with flag 22002589/3311000
1706.27/1699.52	c cleaning 80998 clauses out of 162008 with flag 22559396/3393001
1748.15/1741.43	c cleaning 82000 clauses out of 164009 with flag 23116215/3476000
1790.58/1783.87	c cleaning 83000 clauses out of 166010 with flag 23667277/3560001
1831.83/1825.08	c cleaning 83997 clauses out of 168010 with flag 24239625/3645001
1882.93/1876.30	c cleaning 84999 clauses out of 170012 with flag 24840935/3731000
1924.55/1917.83	c cleaning 85999 clauses out of 172014 with flag 25418432/3818001
1972.56/1965.99	c cleaning 86998 clauses out of 174014 with flag 26050181/3906000
2017.70/2011.07	c cleaning 87995 clauses out of 176017 with flag 26693006/3995001
2064.11/2057.54	c cleaning 89005 clauses out of 178022 with flag 27331133/4085001
2109.24/2102.61	c cleaning 90003 clauses out of 180017 with flag 27899819/4176001
2158.30/2151.68	c cleaning 91001 clauses out of 182013 with flag 28497401/4268000
2205.51/2198.99	c cleaning 91996 clauses out of 184012 with flag 29115385/4361000
2251.53/2245.00	c cleaning 93002 clauses out of 186016 with flag 29747716/4455000
2298.14/2291.63	c cleaning 93997 clauses out of 188015 with flag 30338555/4550001
2344.34/2337.84	c cleaning 95004 clauses out of 190018 with flag 30967002/4646001
2406.34/2399.99	c cleaning 96001 clauses out of 192013 with flag 31687410/4743000
2468.06/2461.61	c cleaning 96996 clauses out of 194012 with flag 32405308/4841000
2525.75/2519.41	c cleaning 98004 clauses out of 196016 with flag 33154936/4940000
2577.49/2571.03	c cleaning 98997 clauses out of 198014 with flag 33829428/5040002
2632.78/2626.43	c cleaning 100003 clauses out of 200015 with flag 34500903/5141000
2684.89/2678.16	c cleaning 100999 clauses out of 202012 with flag 35169864/5243000
2739.98/2733.16	c cleaning 101991 clauses out of 204013 with flag 35828900/5346000
2792.07/2785.38	c cleaning 103002 clauses out of 206022 with flag 36538458/5450000
2845.38/2838.68	c cleaning 104009 clauses out of 208021 with flag 37232397/5555001
2899.89/2893.16	c cleaning 104984 clauses out of 210012 with flag 37946738/5661001
2959.27/2952.54	c cleaning 106008 clauses out of 212027 with flag 38640565/5768000
3011.97/3005.38	c cleaning 106987 clauses out of 214019 with flag 39397588/5876000
3072.42/3065.88	c cleaning 108012 clauses out of 216032 with flag 40067929/5985000
3130.78/3124.15	c cleaning 108999 clauses out of 218020 with flag 40752996/6095000
3184.85/3178.15	c cleaning 110004 clauses out of 220023 with flag 41501188/6206002
3240.23/3233.61	c cleaning 110995 clauses out of 222018 with flag 42275204/6318001
3305.85/3299.31	c cleaning 112005 clauses out of 224023 with flag 43119454/6431001
3374.19/3367.80	c cleaning 112998 clauses out of 226017 with flag 43936882/6545000
3435.06/3428.70	c cleaning 113998 clauses out of 228019 with flag 44804605/6660000
3495.59/3489.28	c cleaning 114999 clauses out of 230022 with flag 45585834/6776001
3553.59/3547.32	c cleaning 116004 clauses out of 232022 with flag 46334814/6893000
3600.06/3593.82	c timeout
3600.06/3593.84	c starts		: 19253
3600.06/3593.84	c conflicts		: 6983677
3600.06/3593.84	c decisions		: 10488991
3600.06/3593.84	c propagations		: 4199486842
3600.06/3593.84	c inspects		: 32361283901
3600.06/3593.84	c shortcuts		: 0
3600.06/3593.84	c learnt literals	: 0
3600.06/3593.84	c learnt binary clauses	: 0
3600.06/3593.84	c learnt ternary clauses	: 3
3600.06/3593.84	c learnt constraints	: 6983677
3600.06/3593.84	c ignored constraints	: 0
3600.06/3593.84	c root simplifications	: 0
3600.06/3593.84	c removed literals (reason simplification)	: 397257978
3600.06/3593.84	c reason swapping (by a shorter reason)	: 0
3600.06/3593.84	c Calls to reduceDB	: 113
3600.06/3593.84	c Number of update (reduction) of LBD	: 2106447
3600.06/3593.84	c Imported unit clauses	: 0
3600.06/3593.84	c No decision after first conflict	: false
3600.06/3593.84	c number of reductions to clauses (during analyze)	: 0
3600.06/3593.84	c number of learned constraints concerned by reduction	: 0
3600.06/3593.84	c number of learning phase by resolution	: 0
3600.06/3593.84	c number of learning phase by cutting planes	: 0
3600.06/3593.84	c number of rounding to 1 operations	: 0
3600.06/3593.84	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.06/3593.84	c number of reductions of the coefficients by power 2 	: 0
3600.06/3593.84	c number of right shift for reduction by power 2 	: 0
3600.06/3593.84	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.06/3593.84	c number of ending skipping 	: 0
3600.06/3593.84	c number of internal skipping 	: 0
3600.06/3593.84	c number of derivation steps 	: 0
3600.06/3593.84	c number of skipped derivation steps 	: 0
3600.06/3593.84	c number of remaining unassigned 	: 0
3600.06/3593.84	c number of remaining assigned 	: 0
3600.06/3593.84	c number of falsified literals weakened from reason	: 0
3600.06/3593.84	c number of falsified literals weakened from conflict	: 0
3600.06/3593.84	c time for arithmetic operations	: 0
3600.06/3593.84	c minimum degree of deleted constraints	: null
3600.06/3593.84	c maximum degree of deleted constraints	: null
3600.06/3593.84	c number of deleted constraints	: 0
3600.06/3593.85	c speed (assignments/second)	: 1168864.7744886912
3600.06/3593.85	c non guided choices	: 3
3600.23/3593.91	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 206695
3600.23/3593.91	s UNKNOWN
3600.23/3593.91	c Total wall clock time (in seconds): 3593.561

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: 63837 MiB (62914 MiB free)
  memory of node 1: 64465 MiB (60070 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4504994-1751461067/watcher-4504994-1751461067 -o /tmp/evaluation-result-4504994-1751461067/solver-4504994-1751461067 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1751453868-61309 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4504994-1751461067.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=62287, runsolver pid=62284
Current StackSize limit: 8192 KiB


[startup+0.100072 s]*
/proc/loadavg: 4.25 4.16 4.14 5/300 62309
/proc/meminfo: memFree=125928604/131382120 swapFree=33010416/33010684
[pid=62287] ppid=62284 vsize=18930384 memory=48092 CPUtime=0.11 cores=0,2
/proc/62287/stat : 62287 (java) S 62284 62287 61299 0 -1 4194304 5753 0 0 0 7 4 0 0 20 0 18 0 61785554 19384713216 12023 18446744073709551615 93896015958016 93896015961712 140736309196864 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93896015969528 93896015970320 93896035307520 140736309205377 140736309205478 140736309205478 140736309211080 0
/proc/62287/statm: 4732596 12023 5302 1 0 546995 0
[pid=62287/tid=62290] ppid=62284 vsize=18930384 memory=4026531959 CPUtime=0.06 cores=0,2
/proc/62287/task/62290/stat : 62290 (java) R 62284 62287 61299 0 -1 4194368 4618 0 0 0 4 2 0 0 20 0 18 0 61785556 19384713216 12023 18446744073709551615 93896015958016 93896015961712 140736309196864 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93896015969528 93896015970320 93896035307520 140736309205377 140736309205478 140736309205478 140736309211080 0
[pid=62287/tid=62301] ppid=62284 vsize=18930384 memory=215637821677 CPUtime=0 cores=0,2
/proc/62287/task/62301/stat : 62301 (Finalizer) S 62284 62287 61299 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 61785561 19384713216 12023 18446744073709551615 93896015958016 93896015961712 140736309196864 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93896015969528 93896015970320 93896035307520 140736309205377 140736309205478 140736309205478 140736309211080 0
[pid=62287/tid=62309] ppid=62284 vsize=18930384 memory=19982 CPUtime=0 cores=0,2
/proc/62287/task/62309/stat : 62309 (Common-Cleaner) S 62284 62287 61299 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 61785562 19384713216 12023 18446744073709551615 93896015958016 93896015961712 140736309196864 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93896015969528 93896015970320 93896035307520 140736309205377 140736309205478 140736309205478 140736309211080 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 48092 KiB

[startup+0.214048 s]*
/proc/loadavg: 4.25 4.16 4.14 4/305 62319
/proc/meminfo: memFree=125927576/131382120 swapFree=33010416/33010684
[pid=62287] ppid=62284 vsize=18930384 memory=52204 CPUtime=0.28 cores=0,2
/proc/62287/stat : 62287 (java) S 62284 62287 61299 0 -1 4194304 6226 0 0 0 23 5 0 0 20 0 18 0 61785554 19384713216 13051 18446744073709551615 93896015958016 93896015961712 140736309196864 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93896015969528 93896015970320 93896035307520 140736309205377 140736309205478 140736309205478 140736309211080 0
/proc/62287/statm: 4732596 13051 5334 1 0 547331 0
[pid=62287/tid=62290] ppid=62284 vsize=18930384 memory=4026728732 CPUtime=0.17 cores=0,2
/proc/62287/task/62290/stat : 62290 (java) R 62284 62287 61299 0 -1 4194368 4968 0 0 0 14 3 0 0 20 0 18 0 61785556 19384713216 13051 18446744073709551615 93896015958016 93896015961712 140736309196864 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93896015969528 93896015970320 93896035307520 140736309205377 140736309205478 140736309205478 140736309211080 0
[pid=62287/tid=62301] ppid=62284 vsize=18930384 memory=2576 CPUtime=0 cores=0,2
/proc/62287/task/62301/stat : 62301 (Finalizer) S 62284 62287 61299 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 61785561 19384713216 13083 18446744073709551615 93896015958016 93896015961712 140736309196864 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93896015969528 93896015970320 93896035307520 140736309205377 140736309205478 140736309205478 140736309211080 0
[pid=62287/tid=62309] ppid=62284 vsize=18930384 memory=54096036103158 CPUtime=0 cores=0,2
/proc/62287/task/62309/stat : 62309 (Common-Cleaner) S 62284 62287 61299 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 61785562 19384713216 13083 18446744073709551615 93896015958016 93896015961712 140736309196864 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93896015969528 93896015970320 93896035307520 140736309205377 140736309205478 140736309205478 140736309211080 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 52204 KiB

[startup+0.32054 s]*
/proc/loadavg: 4.25 4.16 4.14 8/322 62336
/proc/meminfo: memFree=125909828/131382120 swapFree=33010416/33010684
[pid=62287] ppid=62284 vsize=18930384 memory=58288 CPUtime=0.44 cores=0,2
/proc/62287/stat : 62287 (java) S 62284 62287 61299 0 -1 4194304 6740 0 0 0 39 5 0 0 20 0 18 0 61785554 19384713216 14572 18446744073709551615 93896015958016 93896015961712 140736309196864 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93896015969528 93896015970320 93896035307520 140736309205377 140736309205478 140736309205478 140736309211080 0
/proc/62287/statm: 4732596 14572 5334 1 0 547753 0
[pid=62287/tid=62290] ppid=62284 vsize=18930384 memory=-6000919485658655337 CPUtime=0.27 cores=0,2
/proc/62287/task/62290/stat : 62290 (java) R 62284 62287 61299 0 -1 4194368 5163 0 0 0 24 3 0 0 20 0 18 0 61785556 19384713216 14572 18446744073709551615 93896015958016 93896015961712 140736309196864 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93896015969528 93896015970320 93896035307520 140736309205377 140736309205478 140736309205478 140736309211080 0
[pid=62287/tid=62301] ppid=62284 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/62287/task/62301/stat : 62301 (Finalizer) S 62284 62287 61299 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 61785561 19384713216 14572 18446744073709551615 93896015958016 93896015961712 140736309196864 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93896015969528 93896015970320 93896035307520 140736309205377 140736309205478 140736309205478 140736309211080 0
[pid=62287/tid=62309] ppid=62284 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/62287/task/62309/stat : 62309 (Common-Cleaner) S 62284 62287 61299 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 61785562 19384713216 14572 18446744073709551615 93896015958016 93896015961712 140736309196864 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93896015969528 93896015970320 93896035307520 140736309205377 140736309205478 140736309205478 140736309211080 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 58288 KiB

[startup+0.700342 s]
/proc/loadavg: 4.25 4.16 4.14 9/322 62336
/proc/meminfo: memFree=125896788/131382120 swapFree=33010416/33010684
[pid=62287] ppid=62284 vsize=18930384 memory=94992 CPUtime=1.14 cores=0,2
/proc/62287/stat : 62287 (java) S 62284 62287 61299 0 -1 4194304 8733 0 0 0 107 7 0 0 20 0 18 0 61785554 19384713216 23748 18446744073709551615 93896015958016 93896015961712 140736309196864 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93896015969528 93896015970320 93896035307520 140736309205377 140736309205478 140736309205478 140736309211080 0
/proc/62287/statm: 4732596 23748 5398 1 0 548980 0
[pid=62287/tid=62290] ppid=62284 vsize=18930384 memory=17792 CPUtime=0.58 cores=0,2
/proc/62287/task/62290/stat : 62290 (java) R 62284 62287 61299 0 -1 4194368 5297 0 0 0 54 4 0 0 20 0 18 0 61785556 19384713216 23748 18446744073709551615 93896015958016 93896015961712 140736309196864 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93896015969528 93896015970320 93896035307520 140736309205377 140736309205478 140736309205478 140736309211080 0
[pid=62287/tid=62301] ppid=62284 vsize=18930384 memory=11264 CPUtime=0 cores=0,2
/proc/62287/task/62301/stat : 62301 (Finalizer) S 62284 62287 61299 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 61785561 19384713216 23748 18446744073709551615 93896015958016 93896015961712 140736309196864 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93896015969528 93896015970320 93896035307520 140736309205377 140736309205478 140736309205478 140736309211080 0
[pid=62287/tid=62309] ppid=62284 vsize=18930384 memory=3200 CPUtime=0 cores=0,2
/proc/62287/task/62309/stat : 62309 (Common-Cleaner) S 62284 62287 61299 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 61785562 19384713216 23748 18446744073709551615 93896015958016 93896015961712 140736309196864 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93896015969528 93896015970320 93896035307520 140736309205377 140736309205478 140736309205478 140736309211080 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 94992 KiB

[startup+1.50031 s]
/proc/loadavg: 4.25 4.16 4.14 9/324 62338
/proc/meminfo: memFree=125710436/131382120 swapFree=33010416/33010684
[pid=62287] ppid=62284 vsize=19063512 memory=166540 CPUtime=2.69 cores=0,2
/proc/62287/stat : 62287 (java) S 62284 62287 61299 0 -1 4194304 11867 0 0 0 259 10 0 0 20 0 20 0 61785554 19521036288 41635 18446744073709551615 93896015958016 93896015961712 140736309196864 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93896015969528 93896015970320 93896035307520 140736309205377 140736309205478 140736309205478 140736309211080 0
/proc/62287/statm: 4765878 41635 5462 1 0 550199 0
[pid=62287/tid=62290] ppid=62284 vsize=19063512 memory=3200 CPUtime=1.3 cores=0,2
/proc/62287/task/62290/stat : 62290 (java) R 62284 62287 61299 0 -1 4194368 5587 0 0 0 124 6 0 0 20 0 20 0 61785556 19521036288 41635 18446744073709551615 93896015958016 93896015961712 140736309196864 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93896015969528 93896015970320 93896035307520 140736309205377 140736309205478 140736309205478 140736309211080 0
[pid=62287/tid=62301] ppid=62284 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/62287/task/62301/stat : 62301 (Finalizer) S 62284 62287 61299 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 61785561 19521036288 41635 18446744073709551615 93896015958016 93896015961712 140736309196864 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93896015969528 93896015970320 93896035307520 140736309205377 140736309205478 140736309205478 140736309211080 0
[pid=62287/tid=62309] ppid=62284 vsize=19063512 memory=11264 CPUtime=0 cores=0,2
/proc/62287/task/62309/stat : 62309 (Common-Cleaner) S 62284 62287 61299 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 61785562 19521036288 41635 18446744073709551615 93896015958016 93896015961712 140736309196864 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93896015969528 93896015970320 93896035307520 140736309205377 140736309205478 140736309205478 140736309211080 0
Current children cumulated CPU time: 2.69 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 166540 KiB

[startup+3.1129 s]
/proc/loadavg: 4.25 4.16 4.14 4/305 62345
/proc/meminfo: memFree=125715024/131382120 swapFree=33010416/33010684
[pid=62287] ppid=62284 vsize=19063512 memory=187916 CPUtime=5.23 cores=0,2
/proc/62287/stat : 62287 (java) S 62284 62287 61299 0 -1 4194304 22846 0 0 0 511 12 0 0 20 0 20 0 61785554 19521036288 46979 18446744073709551615 93896015958016 93896015961712 140736309196864 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93896015969528 93896015970320 93896035307520 140736309205377 140736309205478 140736309205478 140736309211080 0
/proc/62287/statm: 4765878 46979 5494 1 0 555706 0
[pid=62287/tid=62290] ppid=62284 vsize=19063512 memory=11264 CPUtime=2.9 cores=0,2
/proc/62287/task/62290/stat : 62290 (java) R 62284 62287 61299 0 -1 4194368 5807 0 0 0 284 6 0 0 20 0 20 0 61785556 19521036288 46979 18446744073709551615 93896015958016 93896015961712 140736309196864 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93896015969528 93896015970320 93896035307520 140736309205377 140736309205478 140736309205478 140736309211080 0
[pid=62287/tid=62301] ppid=62284 vsize=19063512 memory=198340509722 CPUtime=0 cores=0,2
/proc/62287/task/62301/stat : 62301 (Finalizer) S 62284 62287 61299 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 61785561 19521036288 46979 18446744073709551615 93896015958016 93896015961712 140736309196864 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93896015969528 93896015970320 93896035307520 140736309205377 140736309205478 140736309205478 140736309211080 0
[pid=62287/tid=62309] ppid=62284 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/62287/task/62309/stat : 62309 (Common-Cleaner) S 62284 62287 61299 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 61785562 19521036288 46979 18446744073709551615 93896015958016 93896015961712 140736309196864 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93896015969528 93896015970320 93896035307520 140736309205377 140736309205478 140736309205478 140736309211080 0
[pid=62287/tid=62339] ppid=62284 vsize=19063512 memory=5504 CPUtime=0 cores=0,2
/proc/62287/task/62339/stat : 62339 (Timer-0) S 62284 62287 61299 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 61785660 19521036288 46979 18446744073709551615 93896015958016 93896015961712 140736309196864 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93896015969528 93896015970320 93896035307520 140736309205377 140736309205478 140736309205478 140736309211080 0
Current children cumulated CPU time: 5.23 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 187916 KiB

[startup+6.30036 s]
/proc/loadavg: 4.39 4.19 4.15 6/325 62404
/proc/meminfo: memFree=125508132/131382120 swapFree=33010416/33010684
[pid=62287] ppid=62284 vsize=19063512 memory=183940 CPUtime=8.8 cores=0,2
/proc/62287/stat : 62287 (java) S 62284 62287 61299 0 -1 4194304 24248 0 0 0 868 12 0 0 20 0 20 0 61785554 19521036288 45985 18446744073709551615 93896015958016 93896015961712 140736309196864 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93896015969528 93896015970320 93896035307520 140736309205377 140736309205478 140736309205478 140736309211080 0
/proc/62287/statm: 4765878 45985 5494 1 0 555750 0
[pid=62287/tid=62290] ppid=62284 vsize=19063512 memory=0 CPUtime=6.05 cores=0,2
/proc/62287/task/62290/stat : 62290 (java) R 62284 62287 61299 0 -1 4194368 6779 0 0 0 599 6 0 0 20 0 20 0 61785556 19521036288 45985 18446744073709551615 93896015958016 93896015961712 140736309196864 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93896015969528 93896015970320 93896035307520 140736309205377 140736309205478 140736309205478 140736309211080 0
[pid=62287/tid=62301] ppid=62284 vsize=19063512 memory=5504 CPUtime=0 cores=0,2
/proc/62287/task/62301/stat : 62301 (Finalizer) S 62284 62287 61299 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 61785561 19521036288 45985 18446744073709551615 93896015958016 93896015961712 140736309196864 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93896015969528 93896015970320 93896035307520 140736309205377 140736309205478 140736309205478 140736309211080 0
[pid=62287/tid=62309] ppid=62284 vsize=19063512 memory=11264 CPUtime=0 cores=0,2
/proc/62287/task/62309/stat : 62309 (Common-Cleaner) S 62284 62287 61299 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 61785562 19521036288 45985 18446744073709551615 93896015958016 93896015961712 140736309196864 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93896015969528 93896015970320 93896035307520 140736309205377 140736309205478 140736309205478 140736309211080 0
[pid=62287/tid=62339] ppid=62284 vsize=19063512 memory=14464 CPUtime=0 cores=0,2
/proc/62287/task/62339/stat : 62339 (Timer-0) S 62284 62287 61299 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 61785660 19521036288 45985 18446744073709551615 93896015958016 93896015961712 140736309196864 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93896015969528 93896015970320 93896035307520 140736309205377 140736309205478 140736309205478 140736309211080 0
Current children cumulated CPU time: 8.8 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 183940 KiB

[startup+12.7005 s]
/proc/loadavg: 4.36 4.19 4.15 5/326 62406
/proc/meminfo: memFree=125240732/131382120 swapFree=33010416/33010684
[pid=62287] ppid=62284 vsize=19063512 memory=184964 CPUtime=15.36 cores=0,2
/proc/62287/stat : 62287 (java) S 62284 62287 61299 0 -1 4194304 30066 0 0 0 1522 14 0 0 20 0 20 0 61785554 19521036288 46241 18446744073709551615 93896015958016 93896015961712 140736309196864 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93896015969528 93896015970320 93896035307520 140736309205377 140736309205478 140736309205478 140736309211080 0
/proc/62287/statm: 4765878 46241 5526 1 0 555990 0
[pid=62287/tid=62290] ppid=62284 vsize=19063512 memory=11264 CPUtime=12.44 cores=0,2
/proc/62287/task/62290/stat : 62290 (java) R 62284 62287 61299 0 -1 4194368 8155 0 0 0 1237 7 0 0 20 0 20 0 61785556 19521036288 46241 18446744073709551615 93896015958016 93896015961712 140736309196864 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93896015969528 93896015970320 93896035307520 140736309205377 140736309205478 140736309205478 140736309211080 0
[pid=62287/tid=62301] ppid=62284 vsize=19063512 memory=-6000919489836247657 CPUtime=0 cores=0,2
/proc/62287/task/62301/stat : 62301 (Finalizer) S 62284 62287 61299 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 61785561 19521036288 46241 18446744073709551615 93896015958016 93896015961712 140736309196864 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93896015969528 93896015970320 93896035307520 140736309205377 140736309205478 140736309205478 140736309211080 0
[pid=62287/tid=62309] ppid=62284 vsize=19063512 memory=184964 CPUtime=0 cores=0,2
/proc/62287/task/62309/stat : 62309 (Common-Cleaner) S 62284 62287 61299 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 61785562 19521036288 46241 18446744073709551615 93896015958016 93896015961712 140736309196864 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93896015969528 93896015970320 93896035307520 140736309205377 140736309205478 140736309205478 140736309211080 0
[pid=62287/tid=62339] ppid=62284 vsize=19063512 memory=-6000919498426116713 CPUtime=0 cores=0,2
/proc/62287/task/62339/stat : 62339 (Timer-0) S 62284 62287 61299 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 61785660 19521036288 46241 18446744073709551615 93896015958016 93896015961712 140736309196864 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93896015969528 93896015970320 93896035307520 140736309205377 140736309205478 140736309205478 140736309211080 0
Current children cumulated CPU time: 15.36 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 184964 KiB

[startup+25.5005 s]
/proc/loadavg: 4.36 4.20 4.16 5/325 62406
/proc/meminfo: memFree=125232540/131382120 swapFree=33010416/33010684
[pid=62287] ppid=62284 vsize=19063512 memory=195420 CPUtime=28.24 cores=0,2
/proc/62287/stat : 62287 (java) S 62284 62287 61299 0 -1 4194304 33758 0 0 0 2810 14 0 0 20 0 20 0 61785554 19521036288 48855 18446744073709551615 93896015958016 93896015961712 140736309196864 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93896015969528 93896015970320 93896035307520 140736309205377 140736309205478 140736309205478 140736309211080 0
/proc/62287/statm: 4765878 48855 5526 1 0 555990 0
[pid=62287/tid=62290] ppid=62284 vsize=19063512 memory=184964 CPUtime=25.09 cores=0,2
/proc/62287/task/62290/stat : 62290 (java) R 62284 62287 61299 0 -1 4194368 8720 0 0 0 2502 7 0 0 20 0 20 0 61785556 19521036288 48855 18446744073709551615 93896015958016 93896015961712 140736309196864 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93896015969528 93896015970320 93896035307520 140736309205377 140736309205478 140736309205478 140736309211080 0
[pid=62287/tid=62301] ppid=62284 vsize=19063512 memory=183940 CPUtime=0 cores=0,2
/proc/62287/task/62301/stat : 62301 (Finalizer) S 62284 62287 61299 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 61785561 19521036288 48855 18446744073709551615 93896015958016 93896015961712 140736309196864 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93896015969528 93896015970320 93896035307520 140736309205377 140736309205478 140736309205478 140736309211080 0
[pid=62287/tid=62309] ppid=62284 vsize=19063512 memory=195420 CPUtime=0 cores=0,2
/proc/62287/task/62309/stat : 62309 (Common-Cleaner) S 62284 62287 61299 0 -1 4194368 58 0 0 0 0 0 0 0 20 0 20 0 61785562 19521036288 48855 18446744073709551615 93896015958016 93896015961712 140736309196864 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93896015969528 93896015970320 93896035307520 140736309205377 140736309205478 140736309205478 140736309211080 0
[pid=62287/tid=62339] ppid=62284 vsize=19063512 memory=185092 CPUtime=0 cores=0,2
/proc/62287/task/62339/stat : 62339 (Timer-0) S 62284 62287 61299 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 61785660 19521036288 48855 18446744073709551615 93896015958016 93896015961712 140736309196864 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93896015969528 93896015970320 93896035307520 140736309205377 140736309205478 140736309205478 140736309211080 0
Current children cumulated CPU time: 28.24 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 195420 KiB

[startup+51.1135 s]
/proc/loadavg: 4.39 4.21 4.16 5/325 62406
/proc/meminfo: memFree=125118360/131382120 swapFree=33010416/33010684
[pid=62287] ppid=62284 vsize=19063512 memory=294108 CPUtime=54.19 cores=0,2
/proc/62287/stat : 62287 (java) S 62284 62287 61299 0 -1 4194304 36004 0 0 0 5400 19 0 0 20 0 20 0 61785554 19521036288 73527 18446744073709551615 93896015958016 93896015961712 140736309196864 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93896015969528 93896015970320 93896035307520 140736309205377 140736309205478 140736309205478 140736309211080 0
/proc/62287/statm: 4765878 73527 5526 1 0 555990 0
[pid=62287/tid=62290] ppid=62284 vsize=19063512 memory=11264 CPUtime=50.44 cores=0,2
/proc/62287/task/62290/stat : 62290 (java) R 62284 62287 61299 0 -1 4194368 9214 0 0 0 5037 7 0 0 20 0 20 0 61785556 19521036288 73527 18446744073709551615 93896015958016 93896015961712 140736309196864 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93896015969528 93896015970320 93896035307520 140736309205377 140736309205478 140736309205478 140736309211080 0
[pid=62287/tid=62301] ppid=62284 vsize=19063512 memory=184964 CPUtime=0 cores=0,2
/proc/62287/task/62301/stat : 62301 (Finalizer) S 62284 62287 61299 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 61785561 19521036288 73527 18446744073709551615 93896015958016 93896015961712 140736309196864 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93896015969528 93896015970320 93896035307520 140736309205377 140736309205478 140736309205478 140736309211080 0
[pid=62287/tid=62309] ppid=62284 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/62287/task/62309/stat : 62309 (Common-Cleaner) S 62284 62287 61299 0 -1 4194368 58 0 0 0 0 0 0 0 20 0 20 0 61785562 19521036288 73527 18446744073709551615 93896015958016 93896015961712 140736309196864 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93896015969528 93896015970320 93896035307520 140736309205377 140736309205478 140736309205478 140736309211080 0
[pid=62287/tid=62339] ppid=62284 vsize=19063512 memory=224304 CPUtime=0 cores=0,2
/proc/62287/task/62339/stat : 62339 (Timer-0) S 62284 62287 61299 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 61785660 19521036288 73527 18446744073709551615 93896015958016 93896015961712 140736309196864 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93896015969528 93896015970320 93896035307520 140736309205377 140736309205478 140736309205478 140736309211080 0

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

[startup+3282.3 s]
/proc/loadavg: 4.16 4.15 4.18 5/326 62633
/proc/meminfo: memFree=120602816/131382120 swapFree=33010416/33010684
[pid=62287] ppid=62284 vsize=19063512 memory=2724544 CPUtime=3288.88 cores=0,2
/proc/62287/stat : 62287 (java) S 62284 62287 61299 0 -1 4194304 113657 0 0 0 328674 214 0 0 20 0 20 0 61785554 19521036288 681136 18446744073709551615 93896015958016 93896015961712 140736309196864 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93896015969528 93896015970320 93896035307520 140736309205377 140736309205478 140736309205478 140736309211080 0
/proc/62287/statm: 4765878 681136 5558 1 0 731191 0
[pid=62287/tid=62290] ppid=62284 vsize=19063512 memory=2724544 CPUtime=3265.11 cores=0,2
/proc/62287/task/62290/stat : 62290 (java) R 62284 62287 61299 0 -1 4194368 51938 0 0 0 326491 20 0 0 20 0 20 0 61785556 19521036288 681136 18446744073709551615 93896015958016 93896015961712 140736309196864 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93896015969528 93896015970320 93896035307520 140736309205377 140736309205478 140736309205478 140736309211080 0
[pid=62287/tid=62301] ppid=62284 vsize=19063512 memory=2724544 CPUtime=0 cores=0,2
/proc/62287/task/62301/stat : 62301 (Finalizer) S 62284 62287 61299 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 61785561 19521036288 681136 18446744073709551615 93896015958016 93896015961712 140736309196864 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93896015969528 93896015970320 93896035307520 140736309205377 140736309205478 140736309205478 140736309211080 0
[pid=62287/tid=62309] ppid=62284 vsize=19063512 memory=4352 CPUtime=0 cores=0,2
/proc/62287/task/62309/stat : 62309 (Common-Cleaner) S 62284 62287 61299 0 -1 4194368 1029 0 0 0 0 0 0 0 20 0 20 0 61785562 19521036288 681136 18446744073709551615 93896015958016 93896015961712 140736309196864 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93896015969528 93896015970320 93896035307520 140736309205377 140736309205478 140736309205478 140736309211080 0
[pid=62287/tid=62339] ppid=62284 vsize=19063512 memory=14464 CPUtime=0 cores=0,2
/proc/62287/task/62339/stat : 62339 (Timer-0) S 62284 62287 61299 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 61785660 19521036288 681136 18446744073709551615 93896015958016 93896015961712 140736309196864 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93896015969528 93896015970320 93896035307520 140736309205377 140736309205478 140736309205478 140736309211080 0
Current children cumulated CPU time: 3288.88 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2724544 KiB

[startup+3342.3 s]
/proc/loadavg: 4.11 4.14 4.17 5/326 62635
/proc/meminfo: memFree=120602332/131382120 swapFree=33010416/33010684
[pid=62287] ppid=62284 vsize=19063512 memory=2724544 CPUtime=3348.74 cores=0,2
/proc/62287/stat : 62287 (java) S 62284 62287 61299 0 -1 4194304 114481 0 0 0 334658 216 0 0 20 0 20 0 61785554 19521036288 681136 18446744073709551615 93896015958016 93896015961712 140736309196864 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93896015969528 93896015970320 93896035307520 140736309205377 140736309205478 140736309205478 140736309211080 0
/proc/62287/statm: 4765878 681136 5558 1 0 731191 0
[pid=62287/tid=62290] ppid=62284 vsize=19063512 memory=11264 CPUtime=3324.93 cores=0,2
/proc/62287/task/62290/stat : 62290 (java) R 62284 62287 61299 0 -1 4194368 52707 0 0 0 332473 20 0 0 20 0 20 0 61785556 19521036288 681136 18446744073709551615 93896015958016 93896015961712 140736309196864 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93896015969528 93896015970320 93896035307520 140736309205377 140736309205478 140736309205478 140736309211080 0
[pid=62287/tid=62301] ppid=62284 vsize=19063512 memory=17792 CPUtime=0 cores=0,2
/proc/62287/task/62301/stat : 62301 (Finalizer) S 62284 62287 61299 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 61785561 19521036288 681136 18446744073709551615 93896015958016 93896015961712 140736309196864 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93896015969528 93896015970320 93896035307520 140736309205377 140736309205478 140736309205478 140736309211080 0
[pid=62287/tid=62309] ppid=62284 vsize=19063512 memory=2724544 CPUtime=0 cores=0,2
/proc/62287/task/62309/stat : 62309 (Common-Cleaner) S 62284 62287 61299 0 -1 4194368 1046 0 0 0 0 0 0 0 20 0 20 0 61785562 19521036288 681136 18446744073709551615 93896015958016 93896015961712 140736309196864 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93896015969528 93896015970320 93896035307520 140736309205377 140736309205478 140736309205478 140736309211080 0
[pid=62287/tid=62339] ppid=62284 vsize=19063512 memory=2724544 CPUtime=0 cores=0,2
/proc/62287/task/62339/stat : 62339 (Timer-0) S 62284 62287 61299 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 61785660 19521036288 681136 18446744073709551615 93896015958016 93896015961712 140736309196864 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93896015969528 93896015970320 93896035307520 140736309205377 140736309205478 140736309205478 140736309211080 0
Current children cumulated CPU time: 3348.74 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2724544 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.13 4.17 5/327 62640
/proc/meminfo: memFree=120598336/131382120 swapFree=33010416/33010684
[pid=62287] ppid=62284 vsize=19063512 memory=2726608 CPUtime=3408.71 cores=0,2
/proc/62287/stat : 62287 (java) S 62284 62287 61299 0 -1 4194304 115672 0 0 0 340651 220 0 0 20 0 20 0 61785554 19521036288 681652 18446744073709551615 93896015958016 93896015961712 140736309196864 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93896015969528 93896015970320 93896035307520 140736309205377 140736309205478 140736309205478 140736309211080 0
/proc/62287/statm: 4765878 681652 5558 1 0 731191 0
[pid=62287/tid=62290] ppid=62284 vsize=19063512 memory=2724544 CPUtime=3384.53 cores=0,2
/proc/62287/task/62290/stat : 62290 (java) R 62284 62287 61299 0 -1 4194368 53239 0 0 0 338433 20 0 0 20 0 20 0 61785556 19521036288 681652 18446744073709551615 93896015958016 93896015961712 140736309196864 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93896015969528 93896015970320 93896035307520 140736309205377 140736309205478 140736309205478 140736309211080 0
[pid=62287/tid=62301] ppid=62284 vsize=19063512 memory=17792 CPUtime=0 cores=0,2
/proc/62287/task/62301/stat : 62301 (Finalizer) S 62284 62287 61299 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 61785561 19521036288 681652 18446744073709551615 93896015958016 93896015961712 140736309196864 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93896015969528 93896015970320 93896035307520 140736309205377 140736309205478 140736309205478 140736309211080 0
[pid=62287/tid=62309] ppid=62284 vsize=19063512 memory=2724544 CPUtime=0 cores=0,2
/proc/62287/task/62309/stat : 62309 (Common-Cleaner) S 62284 62287 61299 0 -1 4194368 1063 0 0 0 0 0 0 0 20 0 20 0 61785562 19521036288 681652 18446744073709551615 93896015958016 93896015961712 140736309196864 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93896015969528 93896015970320 93896035307520 140736309205377 140736309205478 140736309205478 140736309211080 0
[pid=62287/tid=62339] ppid=62284 vsize=19063512 memory=2724544 CPUtime=0 cores=0,2
/proc/62287/task/62339/stat : 62339 (Timer-0) S 62284 62287 61299 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 61785660 19521036288 681652 18446744073709551615 93896015958016 93896015961712 140736309196864 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93896015969528 93896015970320 93896035307520 140736309205377 140736309205478 140736309205478 140736309211080 0
Current children cumulated CPU time: 3408.71 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2726608 KiB

[startup+3462.3 s]
/proc/loadavg: 4.14 4.13 4.17 5/328 62647
/proc/meminfo: memFree=120586008/131382120 swapFree=33010416/33010684
[pid=62287] ppid=62284 vsize=19063512 memory=2726608 CPUtime=3468.59 cores=0,2
/proc/62287/stat : 62287 (java) S 62284 62287 61299 0 -1 4194304 115919 0 0 0 346637 222 0 0 20 0 20 0 61785554 19521036288 681652 18446744073709551615 93896015958016 93896015961712 140736309196864 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93896015969528 93896015970320 93896035307520 140736309205377 140736309205478 140736309205478 140736309211080 0
/proc/62287/statm: 4765878 681652 5558 1 0 731191 0
[pid=62287/tid=62290] ppid=62284 vsize=19063512 memory=2724544 CPUtime=3444.38 cores=0,2
/proc/62287/task/62290/stat : 62290 (java) R 62284 62287 61299 0 -1 4194368 53482 0 0 0 344418 20 0 0 20 0 20 0 61785556 19521036288 681652 18446744073709551615 93896015958016 93896015961712 140736309196864 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93896015969528 93896015970320 93896035307520 140736309205377 140736309205478 140736309205478 140736309211080 0
[pid=62287/tid=62301] ppid=62284 vsize=19063512 memory=14464 CPUtime=0 cores=0,2
/proc/62287/task/62301/stat : 62301 (Finalizer) S 62284 62287 61299 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 61785561 19521036288 681652 18446744073709551615 93896015958016 93896015961712 140736309196864 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93896015969528 93896015970320 93896035307520 140736309205377 140736309205478 140736309205478 140736309211080 0
[pid=62287/tid=62309] ppid=62284 vsize=19063512 memory=17792 CPUtime=0 cores=0,2
/proc/62287/task/62309/stat : 62309 (Common-Cleaner) S 62284 62287 61299 0 -1 4194368 1063 0 0 0 0 0 0 0 20 0 20 0 61785562 19521036288 681652 18446744073709551615 93896015958016 93896015961712 140736309196864 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93896015969528 93896015970320 93896035307520 140736309205377 140736309205478 140736309205478 140736309211080 0
[pid=62287/tid=62339] ppid=62284 vsize=19063512 memory=2726608 CPUtime=0 cores=0,2
/proc/62287/task/62339/stat : 62339 (Timer-0) S 62284 62287 61299 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 61785660 19521036288 681652 18446744073709551615 93896015958016 93896015961712 140736309196864 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93896015969528 93896015970320 93896035307520 140736309205377 140736309205478 140736309205478 140736309211080 0
Current children cumulated CPU time: 3468.59 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2726608 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.12 4.16 5/327 62649
/proc/meminfo: memFree=120504128/131382120 swapFree=33010416/33010684
[pid=62287] ppid=62284 vsize=19063512 memory=2726608 CPUtime=3528.63 cores=0,2
/proc/62287/stat : 62287 (java) S 62284 62287 61299 0 -1 4194304 116791 0 0 0 352639 224 0 0 20 0 20 0 61785554 19521036288 681652 18446744073709551615 93896015958016 93896015961712 140736309196864 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93896015969528 93896015970320 93896035307520 140736309205377 140736309205478 140736309205478 140736309211080 0
/proc/62287/statm: 4765878 681652 5558 1 0 731191 0
[pid=62287/tid=62290] ppid=62284 vsize=19063512 memory=2726608 CPUtime=3504.07 cores=0,2
/proc/62287/task/62290/stat : 62290 (java) R 62284 62287 61299 0 -1 4194368 54204 0 0 0 350387 20 0 0 20 0 20 0 61785556 19521036288 681652 18446744073709551615 93896015958016 93896015961712 140736309196864 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93896015969528 93896015970320 93896035307520 140736309205377 140736309205478 140736309205478 140736309211080 0
[pid=62287/tid=62301] ppid=62284 vsize=19063512 memory=19968 CPUtime=0 cores=0,2
/proc/62287/task/62301/stat : 62301 (Finalizer) S 62284 62287 61299 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 61785561 19521036288 681652 18446744073709551615 93896015958016 93896015961712 140736309196864 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93896015969528 93896015970320 93896035307520 140736309205377 140736309205478 140736309205478 140736309211080 0
[pid=62287/tid=62309] ppid=62284 vsize=19063512 memory=5504 CPUtime=0 cores=0,2
/proc/62287/task/62309/stat : 62309 (Common-Cleaner) S 62284 62287 61299 0 -1 4194368 1063 0 0 0 0 0 0 0 20 0 20 0 61785562 19521036288 681652 18446744073709551615 93896015958016 93896015961712 140736309196864 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93896015969528 93896015970320 93896035307520 140736309205377 140736309205478 140736309205478 140736309211080 0
[pid=62287/tid=62339] ppid=62284 vsize=19063512 memory=4252 CPUtime=0 cores=0,2
/proc/62287/task/62339/stat : 62339 (Timer-0) S 62284 62287 61299 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 61785660 19521036288 681652 18446744073709551615 93896015958016 93896015961712 140736309196864 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93896015969528 93896015970320 93896035307520 140736309205377 140736309205478 140736309205478 140736309211080 0
Current children cumulated CPU time: 3528.63 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2726608 KiB

[startup+3582.3 s]
/proc/loadavg: 4.07 4.11 4.15 5/328 62652
/proc/meminfo: memFree=120504168/131382120 swapFree=33010416/33010684
[pid=62287] ppid=62284 vsize=19063512 memory=2726608 CPUtime=3588.58 cores=0,2
/proc/62287/stat : 62287 (java) S 62284 62287 61299 0 -1 4194304 118302 0 0 0 358631 227 0 0 20 0 20 0 61785554 19521036288 681652 18446744073709551615 93896015958016 93896015961712 140736309196864 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93896015969528 93896015970320 93896035307520 140736309205377 140736309205478 140736309205478 140736309211080 0
/proc/62287/statm: 4765878 681652 5558 1 0 731191 0
[pid=62287/tid=62290] ppid=62284 vsize=19063512 memory=17792 CPUtime=3563.85 cores=0,2
/proc/62287/task/62290/stat : 62290 (java) R 62284 62287 61299 0 -1 4194368 55111 0 0 0 356365 20 0 0 20 0 20 0 61785556 19521036288 681652 18446744073709551615 93896015958016 93896015961712 140736309196864 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93896015969528 93896015970320 93896035307520 140736309205377 140736309205478 140736309205478 140736309211080 0
[pid=62287/tid=62301] ppid=62284 vsize=19063512 memory=4896 CPUtime=0 cores=0,2
/proc/62287/task/62301/stat : 62301 (Finalizer) S 62284 62287 61299 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 61785561 19521036288 681652 18446744073709551615 93896015958016 93896015961712 140736309196864 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93896015969528 93896015970320 93896035307520 140736309205377 140736309205478 140736309205478 140736309211080 0
[pid=62287/tid=62309] ppid=62284 vsize=19063512 memory=14464 CPUtime=0 cores=0,2
/proc/62287/task/62309/stat : 62309 (Common-Cleaner) S 62284 62287 61299 0 -1 4194368 1074 0 0 0 0 0 0 0 20 0 20 0 61785562 19521036288 681652 18446744073709551615 93896015958016 93896015961712 140736309196864 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93896015969528 93896015970320 93896035307520 140736309205377 140736309205478 140736309205478 140736309211080 0
[pid=62287/tid=62339] ppid=62284 vsize=19063512 memory=19968 CPUtime=0 cores=0,2
/proc/62287/task/62339/stat : 62339 (Timer-0) S 62284 62287 61299 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 61785660 19521036288 681652 18446744073709551615 93896015958016 93896015961712 140736309196864 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93896015969528 93896015970320 93896035307520 140736309205377 140736309205478 140736309205478 140736309211080 0
Current children cumulated CPU time: 3588.58 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2726608 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3593.8 s]
/proc/loadavg: 4.06 4.11 4.15 5/308 62669
/proc/meminfo: memFree=122049144/131382120 swapFree=33010416/33010684
[pid=62287] ppid=62284 vsize=19063512 memory=2726608 CPUtime=3600.06 cores=0,2
/proc/62287/stat : 62287 (java) S 62284 62287 61299 0 -1 4194304 118341 0 0 0 359779 227 0 0 20 0 20 0 61785554 19521036288 681652 18446744073709551615 93896015958016 93896015961712 140736309196864 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93896015969528 93896015970320 93896035307520 140736309205377 140736309205478 140736309205478 140736309211080 0
/proc/62287/statm: 4765878 681652 5558 1 0 731191 0
[pid=62287/tid=62290] ppid=62284 vsize=19063512 memory=2726608 CPUtime=3575.32 cores=0,2
/proc/62287/task/62290/stat : 62290 (java) R 62284 62287 61299 0 -1 4194368 55150 0 0 0 357512 20 0 0 20 0 20 0 61785556 19521036288 681652 18446744073709551615 93896015958016 93896015961712 140736309196864 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93896015969528 93896015970320 93896035307520 140736309205377 140736309205478 140736309205478 140736309211080 0
[pid=62287/tid=62301] ppid=62284 vsize=19063512 memory=7092 CPUtime=0 cores=0,2
/proc/62287/task/62301/stat : 62301 (Finalizer) S 62284 62287 61299 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 61785561 19521036288 681652 18446744073709551615 93896015958016 93896015961712 140736309196864 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93896015969528 93896015970320 93896035307520 140736309205377 140736309205478 140736309205478 140736309211080 0
[pid=62287/tid=62309] ppid=62284 vsize=19063512 memory=-6000919489836247657 CPUtime=0 cores=0,2
/proc/62287/task/62309/stat : 62309 (Common-Cleaner) S 62284 62287 61299 0 -1 4194368 1074 0 0 0 0 0 0 0 20 0 20 0 61785562 19521036288 681652 18446744073709551615 93896015958016 93896015961712 140736309196864 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93896015969528 93896015970320 93896035307520 140736309205377 140736309205478 140736309205478 140736309211080 0
[pid=62287/tid=62339] ppid=62284 vsize=19063512 memory=11264 CPUtime=0 cores=0,2
/proc/62287/task/62339/stat : 62339 (Timer-0) S 62284 62287 61299 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 61785660 19521036288 681652 18446744073709551615 93896015958016 93896015961712 140736309196864 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93896015969528 93896015970320 93896035307520 140736309205377 140736309205478 140736309205478 140736309211080 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2726608 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.98 s, system=2.3037 s

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

[startup+3593.9 s]
/proc/loadavg: 4.06 4.11 4.15 5/308 62669
/proc/meminfo: memFree=122049144/131382120 swapFree=33010416/33010684
[pid=62287] ppid=62284 vsize=19263204 memory=2727248 CPUtime=3600.23 cores=0,2
/proc/62287/stat : 62287 (java) S 62284 62287 61299 0 -1 4194304 120145 0 0 0 359796 227 0 0 20 0 21 0 61785554 19725520896 681812 18446744073709551615 93896015958016 93896015961712 140736309196864 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93896015969528 93896015970320 93896035307520 140736309205377 140736309205478 140736309205478 140736309211080 0
/proc/62287/statm: 4815801 681812 5558 1 0 732105 0
[pid=62287/tid=62290] ppid=62284 vsize=19263204 memory=14464 CPUtime=3575.34 cores=0,2
/proc/62287/task/62290/stat : 62290 (java) S 62284 62287 61299 0 -1 4194368 55405 0 0 0 357514 20 0 0 20 0 21 0 61785556 19725520896 681812 18446744073709551615 93896015958016 93896015961712 140736309196864 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93896015969528 93896015970320 93896035307520 140736309205377 140736309205478 140736309205478 140736309211080 0
[pid=62287/tid=62301] ppid=62284 vsize=19263204 memory=17792 CPUtime=0 cores=0,2
/proc/62287/task/62301/stat : 62301 (Finalizer) S 62284 62287 61299 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 61785561 19725520896 681812 18446744073709551615 93896015958016 93896015961712 140736309196864 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93896015969528 93896015970320 93896035307520 140736309205377 140736309205478 140736309205478 140736309211080 0
[pid=62287/tid=62309] ppid=62284 vsize=19263204 memory=2726608 CPUtime=0 cores=0,2
/proc/62287/task/62309/stat : 62309 (Common-Cleaner) S 62284 62287 61299 0 -1 4194368 1074 0 0 0 0 0 0 0 20 0 21 0 61785562 19725520896 681812 18446744073709551615 93896015958016 93896015961712 140736309196864 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93896015969528 93896015970320 93896035307520 140736309205377 140736309205478 140736309205478 140736309211080 0
Current children cumulated CPU time: 3600.23 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 2727248 KiB

Child status: 143

Real time (s): 3593.94
CPU time (s): 3600.28
CPU user time (s): 3597.98
CPU system time (s): 2.3037
CPU usage (%): 100.176
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 2727248

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.98
system time used= 2.3037
maximum resident set size= 2727376
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 120220
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3376
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 109400
involuntary context switches= 10107


# summary of solver processes directly reported to runsolver:
#   pid: 62287
#   total CPU time (s): 3600.28
#   total CPU user time (s): 3597.98
#   total CPU system time (s): 2.3037

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.6352 second user time and 40.5578 second system time

The end

Launcher Data 

Begin job on nodeC002 at 2025-07-02 14:57:47
IDJOB=4504994
IDBENCH=155719
IDSOLVER=3363
FILE ID=nodeC002/4504994-1751461067
RUNJOBID= nodeC002-1751453868-61309
SLURM_JOB_ID= 9598443
Free space on /tmp= 432680 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/IC/normalized-minisat25_6_3_3_ic.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4504994-1751461067/watcher-4504994-1751461067 -o /tmp/evaluation-result-4504994-1751461067/solver-4504994-1751461067 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1751453868-61309 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4504994-1751461067.opb

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

MD5SUM BENCH= 9beff3f3155855feaa4c9645b72566dc
RANDOM SEED=120496568

nodeC002 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/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	: 0xb00001f
cpu MHz		: 3491.528
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.81
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	: 0xb00001f
cpu MHz		: 3548.558
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.81
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	: 0xb00001f
cpu MHz		: 1197.223
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.81
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	: 0xb00001f
cpu MHz		: 1197.088
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.81
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	: 0xb00001f
cpu MHz		: 3492.568
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.81
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	: 0xb00001f
cpu MHz		: 1197.394
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.81
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	: 0xb00001f
cpu MHz		: 1197.980
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.81
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	: 0xb00001f
cpu MHz		: 3491.905
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        125928684 kB
MemAvailable:   126363876 kB
Buffers:            2128 kB
Cached:          1241860 kB
SwapCached:           28 kB
Active:          3930936 kB
Inactive:         938772 kB
Active(anon):    3637248 kB
Inactive(anon):     6404 kB
Active(file):     293688 kB
Inactive(file):   932368 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             41784 kB
Writeback:             0 kB
AnonPages:       3629076 kB
Mapped:           123152 kB
Shmem:             17932 kB
KReclaimable:      97528 kB
Slab:             181140 kB
SReclaimable:      97528 kB
SUnreclaim:        83612 kB
KernelStack:        4504 kB
PageTables:        10704 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:   13025180 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149912 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3418112 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      181064 kB
DirectMap2M:     8110080 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432688 MiB
End job on nodeC002 at 2025-07-02 15:57:42