Trace number 4424867

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j Resolution Default 2024-07-07? (TO) 3600.31 3568.28

General information on the benchmark

NamePB24/WBO/PARTIAL-LIN/PB10/oliveras/j120/
normalized-j12013_1-unsat--soft-66-100-0.wbo
MD5SUM267510a1ea4cacab83d8ba49d7b7c44e
Bench CategoryPARTIAL-LIN (WBO, both soft and hard constraints, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark4904
Best CPU time to get the best result obtained on this benchmark3600.39
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables29282
Total number of constraints92908
Number of soft constraints31669
Number of constraints which are clauses92428
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints480
Minimum length of a constraint1
Maximum length of a constraint93
Top cost 1605974
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 1605973
Biggest number in a constraint 32
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 554
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.12/0.12	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.12/0.12	c This is free software under the dual EPL/GNU LGPL licenses.
0.12/0.12	c See www.sat4j.org for details.
0.12/0.13	c version CUSTOM.v20240707
0.12/0.14	c java.runtime.name	OpenJDK Runtime Environment
0.12/0.14	c java.vm.name		OpenJDK 64-Bit Server VM
0.12/0.14	c java.vm.version	22.0.1+8-16
0.12/0.14	c java.vm.vendor	Oracle Corporation
0.12/0.14	c sun.arch.data.model	64
0.12/0.14	c java.version		22.0.1
0.12/0.14	c os.name		Linux
0.12/0.14	c os.version		4.18.0-301.1.el8.x86_64
0.12/0.14	c os.arch		amd64
0.12/0.14	c Free memory 		2113181440
0.12/0.14	c Max memory 		16282288128
0.12/0.14	c Total memory 		2122317824
0.12/0.15	c Number of processors 	2
0.12/0.19	--- Begin Solver configuration ---
0.12/0.19	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.12/0.19	Learn all clauses as in MiniSAT
0.12/0.19	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.19	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.19	No reason simplification
0.12/0.19	Glucose 2.1 dynamic restart strategy
0.12/0.19	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.12/0.19	timeout=2147483s
0.12/0.19	DB Simplification allowed=false
0.12/0.19	Listener: none
0.12/0.19	--- End Solver configuration ---
0.12/0.20	c Pseudo Boolean Optimization by upper bound
0.12/0.20	c --- Begin Solver configuration ---
0.12/0.20	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.12/0.20	c Learn all clauses as in MiniSAT
0.12/0.20	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.20	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.20	c No reason simplification
0.12/0.20	c Glucose 2.1 dynamic restart strategy
0.12/0.20	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.12/0.20	c timeout=2147483s
0.12/0.20	c DB Simplification allowed=false
0.12/0.20	c Listener: none
0.12/0.20	c --- End Solver configuration ---
0.12/0.20	c solving HOME/instance-4424867-1720882168.wbo
0.12/0.20	c reading problem ... 
1.59/0.91	c ... done. Wall clock time 0.709s.
1.59/0.91	c declared #vars     29282
1.59/0.91	c internal #vars     60951
1.59/0.91	c #constraints  92909
1.59/0.91	c constraints type 
1.59/0.91	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 48920
1.59/0.91	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 480
1.59/0.91	c org.sat4j.specs.Constr$1 => 4482
1.59/0.91	c org.sat4j.pb.constraints.pb.UnitClausePB => 1124
1.59/0.91	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 37903
1.59/0.91	c 92909 constraints processed.
1.59/0.92	c objective function length is 31669 literals
2.19/1.28	c SATISFIABLE
2.19/1.28	c OPTIMIZING...
2.19/1.28	c Got one! Elapsed wall clock time (in seconds):1.092
2.19/1.28	o 5384
11.08/8.65	c cleaning 2559 clauses out of 5129 with flag 12406/5129
21.67/19.05	c cleaning 4279 clauses out of 8572 with flag 26405/11131
26.09/23.26	c cleaning 5643 clauses out of 11291 with flag 63377/18129
28.02/24.91	c cleaning 6817 clauses out of 13648 with flag 126211/26129
30.31/26.65	c cleaning 7903 clauses out of 15834 with flag 231893/35132
32.53/28.89	c cleaning 8953 clauses out of 17930 with flag 367554/45131
34.93/31.26	c cleaning 9975 clauses out of 19975 with flag 522767/56129
37.97/34.28	c cleaning 10980 clauses out of 22000 with flag 709116/68129
42.26/38.60	c cleaning 12000 clauses out of 24021 with flag 838188/81130
45.41/41.61	c cleaning 12995 clauses out of 26020 with flag 1008247/95129
48.51/44.71	c cleaning 13993 clauses out of 28025 with flag 1237243/110129
52.15/48.35	c cleaning 15000 clauses out of 30035 with flag 1498739/126132
55.83/51.95	c cleaning 15999 clauses out of 32032 with flag 1774021/143129
61.40/57.43	c cleaning 17009 clauses out of 34033 with flag 2007325/161129
66.69/62.68	c cleaning 17994 clauses out of 36025 with flag 2198225/180130
79.78/75.80	c cleaning 19002 clauses out of 38030 with flag 2381856/200129
84.88/80.71	c cleaning 20007 clauses out of 40029 with flag 2664769/221130
90.28/86.17	c cleaning 21003 clauses out of 42021 with flag 2953506/243129
96.46/92.34	c cleaning 22002 clauses out of 44019 with flag 3323485/266130
108.06/103.88	c cleaning 22980 clauses out of 46016 with flag 3588092/290129
114.65/110.38	c cleaning 23998 clauses out of 48036 with flag 3985795/315129
126.34/122.05	c cleaning 25008 clauses out of 50039 with flag 4343314/341130
134.26/129.86	c cleaning 25994 clauses out of 52030 with flag 4767536/368129
142.19/137.67	c cleaning 26996 clauses out of 54037 with flag 5198882/396130
154.29/149.66	c cleaning 28015 clauses out of 56043 with flag 5589221/425132
168.42/163.65	c cleaning 29007 clauses out of 58025 with flag 6062162/455129
188.52/183.66	c cleaning 29998 clauses out of 60019 with flag 6512435/486130
201.40/196.54	c cleaning 31002 clauses out of 62021 with flag 6986343/518130
215.79/210.86	c cleaning 31996 clauses out of 64019 with flag 7447959/551130
227.01/221.90	c cleaning 32997 clauses out of 66023 with flag 8127675/585130
242.32/237.13	c cleaning 34007 clauses out of 68026 with flag 8670990/620130
255.63/249.81	c cleaning 34994 clauses out of 70019 with flag 9378681/656130
267.96/262.04	c cleaning 36002 clauses out of 72028 with flag 10271488/693133
288.34/282.38	c cleaning 37000 clauses out of 74022 with flag 10957918/731129
306.31/300.24	c cleaning 37986 clauses out of 76023 with flag 11596416/770130
318.84/312.52	c cleaning 39008 clauses out of 78041 with flag 12389498/810134
333.31/326.93	c cleaning 39993 clauses out of 80030 with flag 13297694/851131
352.74/346.29	c cleaning 40997 clauses out of 82035 with flag 14004760/893129
366.07/359.41	c cleaning 41989 clauses out of 84039 with flag 14845200/936130
397.85/391.15	c cleaning 43008 clauses out of 86052 with flag 15520204/980132
415.71/408.42	c cleaning 44008 clauses out of 88043 with flag 16605290/1025131
433.82/426.21	c cleaning 44995 clauses out of 90034 with flag 17835404/1071130
450.26/442.59	c cleaning 46006 clauses out of 92043 with flag 19135626/1118134
467.56/459.72	c cleaning 46989 clauses out of 94033 with flag 20524118/1166130
488.16/480.03	c cleaning 48003 clauses out of 96044 with flag 22176982/1215130
509.33/500.97	c cleaning 49004 clauses out of 98040 with flag 23898486/1265129
532.82/523.62	c cleaning 50000 clauses out of 100038 with flag 25682327/1316131
553.75/544.47	c cleaning 50997 clauses out of 102037 with flag 27511909/1368130
579.10/569.59	c cleaning 52011 clauses out of 104039 with flag 29489123/1421129
616.58/606.95	c cleaning 53008 clauses out of 106029 with flag 30497273/1475130
638.10/628.19	c cleaning 53987 clauses out of 108020 with flag 31846871/1530129
661.90/651.60	c cleaning 55014 clauses out of 110035 with flag 33518223/1586131
702.88/692.52	c cleaning 56001 clauses out of 112021 with flag 34505759/1643131
735.88/725.42	c cleaning 57002 clauses out of 114018 with flag 35469319/1701129
781.74/771.22	c cleaning 57987 clauses out of 116017 with flag 36379128/1760130
806.77/796.15	c cleaning 58999 clauses out of 118030 with flag 37437068/1820130
831.12/820.15	c cleaning 59999 clauses out of 120032 with flag 38729177/1881131
863.02/851.61	c cleaning 61012 clauses out of 122031 with flag 39902212/1943129
893.73/882.04	c cleaning 62003 clauses out of 124019 with flag 41180103/2006129
929.42/917.69	c cleaning 63000 clauses out of 126016 with flag 42342174/2070129
964.48/952.42	c cleaning 63995 clauses out of 128016 with flag 43709917/2135129
1002.21/990.07	c cleaning 64993 clauses out of 130021 with flag 45007385/2201129
1051.16/1038.83	c cleaning 66002 clauses out of 132030 with flag 46107174/2268131
1084.76/1072.37	c cleaning 66987 clauses out of 134027 with flag 47361603/2336130
1115.86/1103.40	c cleaning 68010 clauses out of 136039 with flag 48772395/2405129
1150.15/1137.34	c cleaning 68999 clauses out of 138029 with flag 50363650/2475129
1181.90/1168.87	c cleaning 69997 clauses out of 140030 with flag 51641233/2546129
1229.26/1215.93	c cleaning 71008 clauses out of 142033 with flag 52847309/2618129
1276.04/1262.49	c cleaning 72006 clauses out of 144027 with flag 54131901/2691131
1326.31/1312.66	c cleaning 72989 clauses out of 146019 with flag 55495857/2765129
1371.06/1357.18	c cleaning 74000 clauses out of 148030 with flag 57031247/2840129
1411.01/1396.33	c cleaning 75004 clauses out of 150030 with flag 58780778/2916129
1448.64/1433.80	c cleaning 75998 clauses out of 152026 with flag 60515927/2993129
1499.00/1483.73	c cleaning 77000 clauses out of 154028 with flag 62110557/3071129
1543.63/1528.27	c cleaning 78009 clauses out of 156030 with flag 63693285/3150131
1582.33/1566.53	c cleaning 79007 clauses out of 158020 with flag 65893473/3230130
1624.95/1608.71	c cleaning 79991 clauses out of 160012 with flag 68103242/3311129
1667.38/1650.75	c cleaning 81001 clauses out of 162021 with flag 70468243/3393129
1708.79/1692.01	c cleaning 81999 clauses out of 164022 with flag 72224406/3476131
1761.99/1744.75	c cleaning 82994 clauses out of 166021 with flag 73888496/3560129
1818.35/1801.01	c cleaning 83989 clauses out of 168028 with flag 75725546/3645130
1863.44/1845.67	c cleaning 85011 clauses out of 170039 with flag 78049748/3731130
1913.60/1895.40	c cleaning 85984 clauses out of 172027 with flag 79709351/3818129
1957.28/1939.00	c cleaning 87013 clauses out of 174044 with flag 81371344/3906130
1997.32/1978.54	c cleaning 87999 clauses out of 176030 with flag 83269292/3995129
2052.07/2032.39	c cleaning 88996 clauses out of 178031 with flag 85250477/4085129
2105.66/2085.76	c cleaning 90004 clauses out of 180036 with flag 87396775/4176130
2163.72/2143.21	c cleaning 90999 clauses out of 182031 with flag 89238192/4268129
2207.10/2186.36	c cleaning 91984 clauses out of 184032 with flag 91350308/4361129
2274.12/2253.15	c cleaning 93006 clauses out of 186049 with flag 93066996/4455130
2339.24/2318.16	c cleaning 94006 clauses out of 188043 with flag 94863035/4550130
2389.52/2367.95	c cleaning 95000 clauses out of 190036 with flag 96784209/4646129
2459.41/2437.66	c cleaning 96015 clauses out of 192037 with flag 98659115/4743130
2515.79/2493.49	c cleaning 97003 clauses out of 194023 with flag 100600808/4841131
2561.05/2538.47	c cleaning 97994 clauses out of 196020 with flag 102958845/4940131
2611.98/2588.73	c cleaning 98992 clauses out of 198024 with flag 105652761/5040129
2670.78/2647.27	c cleaning 100000 clauses out of 200036 with flag 108254633/5141133
2734.22/2710.09	c cleaning 100991 clauses out of 202033 with flag 111082901/5243130
2779.45/2754.61	c cleaning 102024 clauses out of 204047 with flag 114050809/5346135
2823.95/2798.85	c cleaning 102994 clauses out of 206017 with flag 116186682/5450129
2869.87/2844.59	c cleaning 103999 clauses out of 208024 with flag 118341234/5555130
2911.54/2885.69	c cleaning 105001 clauses out of 210024 with flag 120808459/5661129
2960.23/2932.81	c cleaning 105998 clauses out of 212026 with flag 123490238/5768132
3008.37/2980.62	c cleaning 106994 clauses out of 214025 with flag 126347690/5876129
3056.93/3028.80	c cleaning 107996 clauses out of 216031 with flag 129159631/5985129
3111.79/3083.00	c cleaning 109011 clauses out of 218035 with flag 131916155/6095129
3166.24/3137.01	c cleaning 110004 clauses out of 220027 with flag 134144050/6206132
3226.64/3197.15	c cleaning 111000 clauses out of 222021 with flag 136288092/6318130
3283.54/3253.70	c cleaning 112005 clauses out of 224020 with flag 138826869/6431129
3344.42/3314.38	c cleaning 112991 clauses out of 226017 with flag 141465980/6545131
3401.10/3370.37	c cleaning 113998 clauses out of 228024 with flag 143804889/6660129
3455.23/3424.10	c cleaning 115009 clauses out of 230027 with flag 146282077/6776130
3515.27/3483.73	c cleaning 115993 clauses out of 232019 with flag 148528280/6893131
3570.75/3538.86	c cleaning 117001 clauses out of 234024 with flag 151009701/7011129
3600.02/3568.14	c starts		: 14721
3600.02/3568.17	c conflicts		: 7067801
3600.02/3568.17	c decisions		: 15291333
3600.02/3568.17	c propagations		: 7496653959
3600.02/3568.17	c inspects		: 23145324190
3600.02/3568.17	c shortcuts		: 0
3600.02/3568.17	c learnt literals	: 0
3600.02/3568.17	c learnt binary clauses	: 0
3600.02/3568.17	c learnt ternary clauses	: 48
3600.02/3568.17	c learnt constraints	: 7067801
3600.02/3568.17	c ignored constraints	: 0
3600.02/3568.17	c root simplifications	: 0
3600.02/3568.17	c removed literals (reason simplification)	: 0
3600.02/3568.17	c reason swapping (by a shorter reason)	: 0
3600.02/3568.17	c Calls to reduceDB	: 114
3600.02/3568.17	c Number of update (reduction) of LBD	: 2916258
3600.02/3568.17	c Imported unit clauses	: 0
3600.02/3568.17	c No decision after first conflict	: false
3600.02/3568.17	c number of reductions to clauses (during analyze)	: 0
3600.02/3568.18	c number of learned constraints concerned by reduction	: 0
3600.02/3568.18	c number of learning phase by resolution	: 0
3600.02/3568.18	c number of learning phase by cutting planes	: 0
3600.02/3568.19	c number of rounding to 1 operations	: 0
3600.02/3568.19	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.02/3568.19	c number of reductions of the coefficients by power 2 	: 0
3600.02/3568.19	c number of right shift for reduction by power 2 	: 0
3600.02/3568.19	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.02/3568.19	c number of ending skipping 	: 0
3600.02/3568.19	c number of internal skipping 	: 0
3600.02/3568.19	c number of derivation steps 	: 0
3600.02/3568.19	c number of skipped derivation steps 	: 0
3600.02/3568.19	c number of remaining unassigned 	: 0
3600.02/3568.19	c number of remaining assigned 	: 0
3600.02/3568.19	c number of falsified literals weakened from reason	: 0
3600.02/3568.19	c number of falsified literals weakened from conflict	: 0
3600.02/3568.19	c time for arithmetic operations	: 0
3600.02/3568.19	c minimum degree of deleted constraints	: null
3600.02/3568.19	c maximum degree of deleted constraints	: null
3600.02/3568.19	c number of deleted constraints	: 0
3600.02/3568.20	c speed (assignments/second)	: 2101533.6715042205
3600.02/3568.20	c non guided choices	: 226124
3600.22/3568.23	c timeout
3600.22/3568.23	Exception in thread "Thread-0" java.lang.NullPointerException: Cannot invoke "org.sat4j.specs.Constr.getClass()" because the return value of "java.util.Iterator.next()" is null
3600.22/3568.23		at org.sat4j.minisat.core.Solver.printLearntClausesInfos(Solver.java:1962)
3600.22/3568.23		at org.sat4j.minisat.core.Solver.printStat(Solver.java:2108)
3600.22/3568.23		at org.sat4j.minisat.core.Solver.printStat(Solver.java:2099)
3600.22/3568.23		at org.sat4j.tools.SolverDecorator.printStat(SolverDecorator.java:180)
3600.22/3568.23		at org.sat4j.OptimizationMode.displayResult(OptimizationMode.java:93)
3600.22/3568.23		at org.sat4j.AbstractLauncher.displayResult(AbstractLauncher.java:122)
3600.22/3568.23		at org.sat4j.AbstractLauncher$1.run(AbstractLauncher.java:91)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4424867-1720882168/watcher-4424867-1720882168 -o /tmp/evaluation-result-4424867-1720882168/solver-4424867-1720882168 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1720881342-702392 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4424867-1720882168.wbo 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=703664, runsolver pid=703661

[startup+0.100372 s]*
/proc/loadavg: 4.19 4.07 3.06 5/316 703682
/proc/meminfo: memFree=117579724/131655788 swapFree=131071996/131071996
[pid=703664] ppid=703661 vsize=18975048 memory=56064 CPUtime=0.12 cores=5,7
/proc/703664/stat : 703664 (java) S 703661 703664 698245 0 -1 1077936128 6598 0 0 0 10 2 0 0 20 0 18 0 140372678 19430449152 14016 134679101440 94782352498688 94782352502384 140732480540896 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94782352510200 94782352510992 94782379864064 140732480545773 140732480545863 140732480545863 140732480552904 0
/proc/703664/statm: 4743762 14016 5530 1 0 550925 0
[pid=703664/tid=703666] ppid=703661 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=5,7
/proc/703664/task/703666/stat : 703666 (java) R 703661 703664 698245 0 -1 4194368 5495 0 0 0 7 1 0 0 20 0 18 0 140372678 19430449152 14016 134679101440 94782352498688 94782352502384 140732480540896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94782352510200 94782352510992 94782379864064 140732480545773 140732480545863 140732480545863 140732480552904 0
[pid=703664/tid=703675] ppid=703661 vsize=18975048 memory=228556276070 CPUtime=0 cores=5,7
/proc/703664/task/703675/stat : 703675 (Finalizer) S 703661 703664 698245 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 140372681 19430449152 14016 134679101440 94782352498688 94782352502384 140732480540896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94782352510200 94782352510992 94782379864064 140732480545773 140732480545863 140732480545863 140732480552904 0
[pid=703664/tid=703682] ppid=703661 vsize=18975048 memory=15815599515270057 CPUtime=0 cores=5,7
/proc/703664/task/703682/stat : 703682 (Common-Cleaner) S 703661 703664 698245 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 140372682 19430449152 14016 134679101440 94782352498688 94782352502384 140732480540896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94782352510200 94782352510992 94782379864064 140732480545773 140732480545863 140732480545863 140732480552904 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 56064 KiB

[startup+0.218634 s]*
/proc/loadavg: 4.19 4.07 3.06 8/316 703682
/proc/meminfo: memFree=117566188/131655788 swapFree=131071996/131071996
[pid=703664] ppid=703661 vsize=18975048 memory=70404 CPUtime=0.33 cores=5,7
/proc/703664/stat : 703664 (java) S 703661 703664 698245 0 -1 1077936128 7462 0 0 0 31 2 0 0 20 0 18 0 140372678 19430449152 17601 134679101440 94782352498688 94782352502384 140732480540896 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94782352510200 94782352510992 94782379864064 140732480545773 140732480545863 140732480545863 140732480552904 0
/proc/703664/statm: 4743762 17601 5737 1 0 551621 0
[pid=703664/tid=703666] ppid=703661 vsize=18975048 memory=4782652875487838339 CPUtime=0.2 cores=5,7
/proc/703664/task/703666/stat : 703666 (java) R 703661 703664 698245 0 -1 4194368 5925 0 0 0 18 2 0 0 20 0 18 0 140372678 19430449152 17601 134679101440 94782352498688 94782352502384 140732480540896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94782352510200 94782352510992 94782379864064 140732480545773 140732480545863 140732480545863 140732480552904 0
[pid=703664/tid=703675] ppid=703661 vsize=18975048 memory=3715 CPUtime=0 cores=5,7
/proc/703664/task/703675/stat : 703675 (Finalizer) S 703661 703664 698245 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 140372681 19430449152 17601 134679101440 94782352498688 94782352502384 140732480540896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94782352510200 94782352510992 94782379864064 140732480545773 140732480545863 140732480545863 140732480552904 0
[pid=703664/tid=703682] ppid=703661 vsize=18975048 memory=14973377819450890 CPUtime=0 cores=5,7
/proc/703664/task/703682/stat : 703682 (Common-Cleaner) S 703661 703664 698245 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 140372682 19430449152 17601 134679101440 94782352498688 94782352502384 140732480540896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94782352510200 94782352510992 94782379864064 140732480545773 140732480545863 140732480545863 140732480552904 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 70404 KiB

[startup+0.330041 s]*
/proc/loadavg: 4.19 4.07 3.06 7/316 703684
/proc/meminfo: memFree=117559260/131655788 swapFree=131071996/131071996
[pid=703664] ppid=703661 vsize=18975048 memory=79112 CPUtime=0.52 cores=5,7
/proc/703664/stat : 703664 (java) S 703661 703664 698245 0 -1 1077936128 7579 0 0 0 49 3 0 0 20 0 18 0 140372678 19430449152 19778 134679101440 94782352498688 94782352502384 140732480540896 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94782352510200 94782352510992 94782379864064 140732480545773 140732480545863 140732480545863 140732480552904 0
/proc/703664/statm: 4743762 19778 5805 1 0 551675 0
[pid=703664/tid=703666] ppid=703661 vsize=18975048 memory=-9103855575738262204 CPUtime=0.29 cores=5,7
/proc/703664/task/703666/stat : 703666 (java) S 703661 703664 698245 0 -1 1077936192 5934 0 0 0 27 2 0 0 20 0 18 0 140372678 19430449152 19778 134679101440 94782352498688 94782352502384 140732480540896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94782352510200 94782352510992 94782379864064 140732480545773 140732480545863 140732480545863 140732480552904 0
[pid=703664/tid=703675] ppid=703661 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/703664/task/703675/stat : 703675 (Finalizer) S 703661 703664 698245 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 140372681 19430449152 19778 134679101440 94782352498688 94782352502384 140732480540896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94782352510200 94782352510992 94782379864064 140732480545773 140732480545863 140732480545863 140732480552904 0
[pid=703664/tid=703682] ppid=703661 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/703664/task/703682/stat : 703682 (Common-Cleaner) S 703661 703664 698245 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 140372682 19430449152 19778 134679101440 94782352498688 94782352502384 140732480540896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94782352510200 94782352510992 94782379864064 140732480545773 140732480545863 140732480545863 140732480552904 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 79112 KiB

[startup+0.703041 s]
/proc/loadavg: 4.19 4.07 3.06 7/316 703684
/proc/meminfo: memFree=117505768/131655788 swapFree=131071996/131071996
[pid=703664] ppid=703661 vsize=19041612 memory=174084 CPUtime=1.21 cores=5,7
/proc/703664/stat : 703664 (java) S 703661 703664 698245 0 -1 1077936128 9281 0 0 0 116 5 0 0 20 0 19 0 140372678 19498610688 43521 134679101440 94782352498688 94782352502384 140732480540896 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94782352510200 94782352510992 94782379864064 140732480545773 140732480545863 140732480545863 140732480552904 0
/proc/703664/statm: 4760403 43521 5805 1 0 552948 0
[pid=703664/tid=703666] ppid=703661 vsize=19041612 memory=5476 CPUtime=0.62 cores=5,7
/proc/703664/task/703666/stat : 703666 (java) R 703661 703664 698245 0 -1 4194368 5992 0 0 0 58 4 0 0 20 0 19 0 140372678 19498610688 43521 134679101440 94782352498688 94782352502384 140732480540896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94782352510200 94782352510992 94782379864064 140732480545773 140732480545863 140732480545863 140732480552904 0
[pid=703664/tid=703675] ppid=703661 vsize=19041612 memory=12320 CPUtime=0 cores=5,7
/proc/703664/task/703675/stat : 703675 (Finalizer) S 703661 703664 698245 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 140372681 19498610688 43521 134679101440 94782352498688 94782352502384 140732480540896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94782352510200 94782352510992 94782379864064 140732480545773 140732480545863 140732480545863 140732480552904 0
[pid=703664/tid=703682] ppid=703661 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/703664/task/703682/stat : 703682 (Common-Cleaner) S 703661 703664 698245 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 140372682 19498610688 43521 134679101440 94782352498688 94782352502384 140732480540896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94782352510200 94782352510992 94782379864064 140732480545773 140732480545863 140732480545863 140732480552904 0
Current children cumulated CPU time: 1.21 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 174084 KiB

[startup+1.50102 s]
/proc/loadavg: 4.19 4.07 3.06 6/318 703686
/proc/meminfo: memFree=117447420/131655788 swapFree=131071996/131071996
[pid=703664] ppid=703661 vsize=19108176 memory=194280 CPUtime=2.78 cores=5,7
/proc/703664/stat : 703664 (java) S 703661 703664 698245 0 -1 1077936128 12458 0 0 0 271 7 0 0 20 0 20 0 140372678 19566772224 48570 134679101440 94782352498688 94782352502384 140732480540896 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94782352510200 94782352510992 94782379864064 140732480545773 140732480545863 140732480545863 140732480552904 0
/proc/703664/statm: 4777044 48570 5889 1 0 554988 0
[pid=703664/tid=703666] ppid=703661 vsize=19108176 memory=12320 CPUtime=1.37 cores=5,7
/proc/703664/task/703666/stat : 703666 (java) R 703661 703664 698245 0 -1 4194368 6123 0 0 0 133 4 0 0 20 0 20 0 140372678 19566772224 48570 134679101440 94782352498688 94782352502384 140732480540896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94782352510200 94782352510992 94782379864064 140732480545773 140732480545863 140732480545863 140732480552904 0
[pid=703664/tid=703675] ppid=703661 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/703664/task/703675/stat : 703675 (Finalizer) S 703661 703664 698245 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140372681 19566772224 48570 134679101440 94782352498688 94782352502384 140732480540896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94782352510200 94782352510992 94782379864064 140732480545773 140732480545863 140732480545863 140732480552904 0
[pid=703664/tid=703682] ppid=703661 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/703664/task/703682/stat : 703682 (Common-Cleaner) S 703661 703664 698245 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 140372682 19566772224 48570 134679101440 94782352498688 94782352502384 140732480540896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94782352510200 94782352510992 94782379864064 140732480545773 140732480545863 140732480545863 140732480552904 0
[pid=703664/tid=703686] ppid=703661 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/703664/task/703686/stat : 703686 (Timer-0) S 703661 703664 698245 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140372774 19566772224 48570 134679101440 94782352498688 94782352502384 140732480540896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94782352510200 94782352510992 94782379864064 140732480545773 140732480545863 140732480545863 140732480552904 0
Current children cumulated CPU time: 2.78 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 194280 KiB

[startup+3.11319 s]
/proc/loadavg: 4.19 4.07 3.06 6/318 703686
/proc/meminfo: memFree=117437168/131655788 swapFree=131071996/131071996
[pid=703664] ppid=703661 vsize=19108176 memory=198944 CPUtime=5.08 cores=5,7
/proc/703664/stat : 703664 (java) S 703661 703664 698245 0 -1 1077936128 14794 0 0 0 501 7 0 0 20 0 20 0 140372678 19566772224 49736 134679101440 94782352498688 94782352502384 140732480540896 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94782352510200 94782352510992 94782379864064 140732480545773 140732480545863 140732480545863 140732480552904 0
/proc/703664/statm: 4777044 49736 5905 1 0 555920 0
[pid=703664/tid=703666] ppid=703661 vsize=19108176 memory=0 CPUtime=2.97 cores=5,7
/proc/703664/task/703666/stat : 703666 (java) R 703661 703664 698245 0 -1 4194368 6210 0 0 0 293 4 0 0 20 0 20 0 140372678 19566772224 49736 134679101440 94782352498688 94782352502384 140732480540896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94782352510200 94782352510992 94782379864064 140732480545773 140732480545863 140732480545863 140732480552904 0
[pid=703664/tid=703675] ppid=703661 vsize=19108176 memory=12712 CPUtime=0 cores=5,7
/proc/703664/task/703675/stat : 703675 (Finalizer) S 703661 703664 698245 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140372681 19566772224 49736 134679101440 94782352498688 94782352502384 140732480540896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94782352510200 94782352510992 94782379864064 140732480545773 140732480545863 140732480545863 140732480552904 0
[pid=703664/tid=703682] ppid=703661 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/703664/task/703682/stat : 703682 (Common-Cleaner) S 703661 703664 698245 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 140372682 19566772224 49736 134679101440 94782352498688 94782352502384 140732480540896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94782352510200 94782352510992 94782379864064 140732480545773 140732480545863 140732480545863 140732480552904 0
[pid=703664/tid=703686] ppid=703661 vsize=19108176 memory=12320 CPUtime=0 cores=5,7
/proc/703664/task/703686/stat : 703686 (Timer-0) S 703661 703664 698245 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140372774 19566772224 49736 134679101440 94782352498688 94782352502384 140732480540896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94782352510200 94782352510992 94782379864064 140732480545773 140732480545863 140732480545863 140732480552904 0
Current children cumulated CPU time: 5.08 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 198944 KiB

[startup+6.30043 s]
/proc/loadavg: 4.17 4.07 3.07 6/318 703686
/proc/meminfo: memFree=117437044/131655788 swapFree=131071996/131071996
[pid=703664] ppid=703661 vsize=19108176 memory=199088 CPUtime=8.44 cores=5,7
/proc/703664/stat : 703664 (java) S 703661 703664 698245 0 -1 1077936128 17458 0 0 0 836 8 0 0 20 0 20 0 140372678 19566772224 49772 134679101440 94782352498688 94782352502384 140732480540896 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94782352510200 94782352510992 94782379864064 140732480545773 140732480545863 140732480545863 140732480552904 0
/proc/703664/statm: 4777044 49772 5905 1 0 555920 0
[pid=703664/tid=703666] ppid=703661 vsize=19108176 memory=0 CPUtime=6.15 cores=5,7
/proc/703664/task/703666/stat : 703666 (java) R 703661 703664 698245 0 -1 4194368 6457 0 0 0 611 4 0 0 20 0 20 0 140372678 19566772224 49772 134679101440 94782352498688 94782352502384 140732480540896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94782352510200 94782352510992 94782379864064 140732480545773 140732480545863 140732480545863 140732480552904 0
[pid=703664/tid=703675] ppid=703661 vsize=19108176 memory=12320 CPUtime=0 cores=5,7
/proc/703664/task/703675/stat : 703675 (Finalizer) S 703661 703664 698245 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140372681 19566772224 49772 134679101440 94782352498688 94782352502384 140732480540896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94782352510200 94782352510992 94782379864064 140732480545773 140732480545863 140732480545863 140732480552904 0
[pid=703664/tid=703682] ppid=703661 vsize=19108176 memory=12712 CPUtime=0 cores=5,7
/proc/703664/task/703682/stat : 703682 (Common-Cleaner) S 703661 703664 698245 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 140372682 19566772224 49772 134679101440 94782352498688 94782352502384 140732480540896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94782352510200 94782352510992 94782379864064 140732480545773 140732480545863 140732480545863 140732480552904 0
[pid=703664/tid=703686] ppid=703661 vsize=19108176 memory=37200 CPUtime=0 cores=5,7
/proc/703664/task/703686/stat : 703686 (Timer-0) S 703661 703664 698245 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140372774 19566772224 49772 134679101440 94782352498688 94782352502384 140732480540896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94782352510200 94782352510992 94782379864064 140732480545773 140732480545863 140732480545863 140732480552904 0
Current children cumulated CPU time: 8.44 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 199088 KiB

[startup+12.7004 s]
/proc/loadavg: 4.16 4.07 3.07 5/318 703687
/proc/meminfo: memFree=117439984/131655788 swapFree=131071996/131071996
[pid=703664] ppid=703661 vsize=19108176 memory=196024 CPUtime=15.29 cores=5,7
/proc/703664/stat : 703664 (java) S 703661 703664 698245 0 -1 1077936128 21169 0 0 0 1521 8 0 0 20 0 20 0 140372678 19566772224 49006 134679101440 94782352498688 94782352502384 140732480540896 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94782352510200 94782352510992 94782379864064 140732480545773 140732480545863 140732480545863 140732480552904 0
/proc/703664/statm: 4777044 49006 5917 1 0 555952 0
[pid=703664/tid=703666] ppid=703661 vsize=19108176 memory=182276 CPUtime=12.54 cores=5,7
/proc/703664/task/703666/stat : 703666 (java) R 703661 703664 698245 0 -1 4194368 8138 0 0 0 1250 4 0 0 20 0 20 0 140372678 19566772224 49006 134679101440 94782352498688 94782352502384 140732480540896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94782352510200 94782352510992 94782379864064 140732480545773 140732480545863 140732480545863 140732480552904 0
[pid=703664/tid=703675] ppid=703661 vsize=19108176 memory=196020 CPUtime=0 cores=5,7
/proc/703664/task/703675/stat : 703675 (Finalizer) S 703661 703664 698245 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140372681 19566772224 49006 134679101440 94782352498688 94782352502384 140732480540896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94782352510200 94782352510992 94782379864064 140732480545773 140732480545863 140732480545863 140732480552904 0
[pid=703664/tid=703682] ppid=703661 vsize=19108176 memory=198972 CPUtime=0 cores=5,7
/proc/703664/task/703682/stat : 703682 (Common-Cleaner) S 703661 703664 698245 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 140372682 19566772224 49006 134679101440 94782352498688 94782352502384 140732480540896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94782352510200 94782352510992 94782379864064 140732480545773 140732480545863 140732480545863 140732480552904 0
[pid=703664/tid=703686] ppid=703661 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/703664/task/703686/stat : 703686 (Timer-0) S 703661 703664 698245 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140372774 19566772224 49006 134679101440 94782352498688 94782352502384 140732480540896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94782352510200 94782352510992 94782379864064 140732480545773 140732480545863 140732480545863 140732480552904 0
Current children cumulated CPU time: 15.29 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 196024 KiB

[startup+25.5005 s]
/proc/loadavg: 4.20 4.08 3.09 6/318 703689
/proc/meminfo: memFree=117414804/131655788 swapFree=131071996/131071996
[pid=703664] ppid=703661 vsize=19108176 memory=222268 CPUtime=28.85 cores=5,7
/proc/703664/stat : 703664 (java) S 703661 703664 698245 0 -1 1077936128 30186 0 0 0 2873 12 0 0 20 0 20 0 140372678 19566772224 55567 134679101440 94782352498688 94782352502384 140732480540896 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94782352510200 94782352510992 94782379864064 140732480545773 140732480545863 140732480545863 140732480552904 0
/proc/703664/statm: 4777044 55567 5949 1 0 555952 0
[pid=703664/tid=703666] ppid=703661 vsize=19108176 memory=196020 CPUtime=25.16 cores=5,7
/proc/703664/task/703666/stat : 703666 (java) R 703661 703664 698245 0 -1 4194368 9512 0 0 0 2512 4 0 0 20 0 20 0 140372678 19566772224 55567 134679101440 94782352498688 94782352502384 140732480540896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94782352510200 94782352510992 94782379864064 140732480545773 140732480545863 140732480545863 140732480552904 0
[pid=703664/tid=703675] ppid=703661 vsize=19108176 memory=221476 CPUtime=0 cores=5,7
/proc/703664/task/703675/stat : 703675 (Finalizer) S 703661 703664 698245 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140372681 19566772224 55567 134679101440 94782352498688 94782352502384 140732480540896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94782352510200 94782352510992 94782379864064 140732480545773 140732480545863 140732480545863 140732480552904 0
[pid=703664/tid=703682] ppid=703661 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/703664/task/703682/stat : 703682 (Common-Cleaner) S 703661 703664 698245 0 -1 1077936192 60 0 0 0 0 0 0 0 20 0 20 0 140372682 19566772224 55567 134679101440 94782352498688 94782352502384 140732480540896 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94782352510200 94782352510992 94782379864064 140732480545773 140732480545863 140732480545863 140732480552904 0
[pid=703664/tid=703686] ppid=703661 vsize=19108176 memory=6944656592455097440 CPUtime=0 cores=5,7
/proc/703664/task/703686/stat : 703686 (Timer-0) S 703661 703664 698245 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140372774 19566772224 55567 134679101440 94782352498688 94782352502384 140732480540896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94782352510200 94782352510992 94782379864064 140732480545773 140732480545863 140732480545863 140732480552904 0
Current children cumulated CPU time: 28.85 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 222268 KiB

[startup+51.1135 s]
/proc/loadavg: 4.19 4.09 3.12 5/320 703697
/proc/meminfo: memFree=117136692/131655788 swapFree=131071996/131071996
[pid=703664] ppid=703661 vsize=19108176 memory=496480 CPUtime=55.05 cores=5,7
/proc/703664/stat : 703664 (java) S 703661 703664 698245 0 -1 1077936128 41982 0 0 0 5484 21 0 0 20 0 20 0 140372678 19566772224 124120 134679101440 94782352498688 94782352502384 140732480540896 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94782352510200 94782352510992 94782379864064 140732480545773 140732480545863 140732480545863 140732480552904 0
/proc/703664/statm: 4777044 124120 5949 1 0 819129 0
[pid=703664/tid=703666] ppid=703661 vsize=19108176 memory=303268 CPUtime=50.05 cores=5,7
/proc/703664/task/703666/stat : 703666 (java) R 703661 703664 698245 0 -1 4194368 11719 0 0 0 5000 5 0 0 20 0 20 0 140372678 19566772224 124120 134679101440 94782352498688 94782352502384 140732480540896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94782352510200 94782352510992 94782379864064 140732480545773 140732480545863 140732480545863 140732480552904 0
[pid=703664/tid=703675] ppid=703661 vsize=19108176 memory=303320 CPUtime=0 cores=5,7
/proc/703664/task/703675/stat : 703675 (Finalizer) S 703661 703664 698245 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140372681 19566772224 124120 134679101440 94782352498688 94782352502384 140732480540896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94782352510200 94782352510992 94782379864064 140732480545773 140732480545863 140732480545863 140732480552904 0
[pid=703664/tid=703682] ppid=703661 vsize=19108176 memory=12712 CPUtime=0 cores=5,7
/proc/703664/task/703682/stat : 703682 (Common-Cleaner) S 703661 703664 698245 0 -1 1077936192 60 0 0 0 0 0 0 0 20 0 20 0 140372682 19566772224 124120 134679101440 94782352498688 94782352502384 140732480540896 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94782352510200 94782352510992 94782379864064 140732480545773 140732480545863 140732480545863 140732480552904 0
[pid=703664/tid=703686] ppid=703661 vsize=19108176 memory=196024 CPUtime=0 cores=5,7

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

[startup+3222.3 s]
/proc/loadavg: 1.07 1.67 2.88 2/241 705543
/proc/meminfo: memFree=121049060/131655788 swapFree=131071996/131071996
[pid=703664] ppid=703661 vsize=19108176 memory=9007860 CPUtime=3251.8 cores=5,7
/proc/703664/stat : 703664 (java) S 703661 703664 698245 0 -1 1077936128 220244 0 0 0 324801 379 0 0 20 0 20 0 140372678 19566772224 2251965 134679101440 94782352498688 94782352502384 140732480540896 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94782352510200 94782352510992 94782379864064 140732480545773 140732480545863 140732480545863 140732480552904 0
/proc/703664/statm: 4777044 2251965 5980 1 0 2861922 0
[pid=703664/tid=703666] ppid=703661 vsize=19108176 memory=9007660 CPUtime=3182.95 cores=5,7
/proc/703664/task/703666/stat : 703666 (java) R 703661 703664 698245 0 -1 4194368 75517 0 0 0 318252 43 0 0 20 0 20 0 140372678 19566772224 2251965 134679101440 94782352498688 94782352502384 140732480540896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 5 0 0 94782352510200 94782352510992 94782379864064 140732480545773 140732480545863 140732480545863 140732480552904 0
[pid=703664/tid=703675] ppid=703661 vsize=19108176 memory=9007836 CPUtime=0 cores=5,7
/proc/703664/task/703675/stat : 703675 (Finalizer) S 703661 703664 698245 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140372681 19566772224 2251965 134679101440 94782352498688 94782352502384 140732480540896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94782352510200 94782352510992 94782379864064 140732480545773 140732480545863 140732480545863 140732480552904 0
[pid=703664/tid=703682] ppid=703661 vsize=19108176 memory=9007848 CPUtime=0 cores=5,7
/proc/703664/task/703682/stat : 703682 (Common-Cleaner) S 703661 703664 698245 0 -1 1077936192 1488 0 0 0 0 0 0 0 20 0 20 0 140372682 19566772224 2251965 134679101440 94782352498688 94782352502384 140732480540896 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94782352510200 94782352510992 94782379864064 140732480545773 140732480545863 140732480545863 140732480552904 0
[pid=703664/tid=703686] ppid=703661 vsize=19108176 memory=37200 CPUtime=0 cores=5,7
/proc/703664/task/703686/stat : 703686 (Timer-0) S 703661 703664 698245 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140372774 19566772224 2251965 134679101440 94782352498688 94782352502384 140732480540896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94782352510200 94782352510992 94782379864064 140732480545773 140732480545863 140732480545863 140732480552904 0
Current children cumulated CPU time: 3251.8 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 9007860 KiB

[startup+3282.3 s]
/proc/loadavg: 1.08 1.56 2.76 2/241 705553
/proc/meminfo: memFree=121048512/131655788 swapFree=131071996/131071996
[pid=703664] ppid=703661 vsize=19108176 memory=9007872 CPUtime=3312.45 cores=5,7
/proc/703664/stat : 703664 (java) S 703661 703664 698245 0 -1 1077936128 221069 0 0 0 330863 382 0 0 20 0 20 0 140372678 19566772224 2251968 134679101440 94782352498688 94782352502384 140732480540896 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94782352510200 94782352510992 94782379864064 140732480545773 140732480545863 140732480545863 140732480552904 0
/proc/703664/statm: 4777044 2251968 5980 1 0 2861922 0
[pid=703664/tid=703666] ppid=703661 vsize=19108176 memory=9007868 CPUtime=3242.07 cores=5,7
/proc/703664/task/703666/stat : 703666 (java) R 703661 703664 698245 0 -1 4194368 75809 0 0 0 324164 43 0 0 20 0 20 0 140372678 19566772224 2251968 134679101440 94782352498688 94782352502384 140732480540896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 5 0 0 94782352510200 94782352510992 94782379864064 140732480545773 140732480545863 140732480545863 140732480552904 0
[pid=703664/tid=703675] ppid=703661 vsize=19108176 memory=9007868 CPUtime=0 cores=5,7
/proc/703664/task/703675/stat : 703675 (Finalizer) S 703661 703664 698245 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140372681 19566772224 2251968 134679101440 94782352498688 94782352502384 140732480540896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94782352510200 94782352510992 94782379864064 140732480545773 140732480545863 140732480545863 140732480552904 0
[pid=703664/tid=703682] ppid=703661 vsize=19108176 memory=9007868 CPUtime=0 cores=5,7
/proc/703664/task/703682/stat : 703682 (Common-Cleaner) S 703661 703664 698245 0 -1 1077936192 1489 0 0 0 0 0 0 0 20 0 20 0 140372682 19566772224 2251968 134679101440 94782352498688 94782352502384 140732480540896 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94782352510200 94782352510992 94782379864064 140732480545773 140732480545863 140732480545863 140732480552904 0
[pid=703664/tid=703686] ppid=703661 vsize=19108176 memory=9007868 CPUtime=0 cores=5,7
/proc/703664/task/703686/stat : 703686 (Timer-0) S 703661 703664 698245 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140372774 19566772224 2251968 134679101440 94782352498688 94782352502384 140732480540896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94782352510200 94782352510992 94782379864064 140732480545773 140732480545863 140732480545863 140732480552904 0
Current children cumulated CPU time: 3312.45 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 9007872 KiB

[startup+3342.3 s]
/proc/loadavg: 1.13 1.49 2.66 2/239 705564
/proc/meminfo: memFree=121048436/131655788 swapFree=131071996/131071996
[pid=703664] ppid=703661 vsize=19108176 memory=9007900 CPUtime=3372.62 cores=5,7
/proc/703664/stat : 703664 (java) S 703661 703664 698245 0 -1 1077936128 225727 0 0 0 336877 385 0 0 20 0 20 0 140372678 19566772224 2251975 134679101440 94782352498688 94782352502384 140732480540896 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94782352510200 94782352510992 94782379864064 140732480545773 140732480545863 140732480545863 140732480552904 0
/proc/703664/statm: 4777044 2251975 5980 1 0 2861922 0
[pid=703664/tid=703666] ppid=703661 vsize=19108176 memory=9007900 CPUtime=3301.7 cores=5,7
/proc/703664/task/703666/stat : 703666 (java) R 703661 703664 698245 0 -1 4194368 77273 0 0 0 330127 43 0 0 20 0 20 0 140372678 19566772224 2251975 134679101440 94782352498688 94782352502384 140732480540896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 5 0 0 94782352510200 94782352510992 94782379864064 140732480545773 140732480545863 140732480545863 140732480552904 0
[pid=703664/tid=703675] ppid=703661 vsize=19108176 memory=9007900 CPUtime=0 cores=5,7
/proc/703664/task/703675/stat : 703675 (Finalizer) S 703661 703664 698245 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140372681 19566772224 2251975 134679101440 94782352498688 94782352502384 140732480540896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94782352510200 94782352510992 94782379864064 140732480545773 140732480545863 140732480545863 140732480552904 0
[pid=703664/tid=703682] ppid=703661 vsize=19108176 memory=9007900 CPUtime=0 cores=5,7
/proc/703664/task/703682/stat : 703682 (Common-Cleaner) S 703661 703664 698245 0 -1 1077936192 1576 0 0 0 0 0 0 0 20 0 20 0 140372682 19566772224 2251975 134679101440 94782352498688 94782352502384 140732480540896 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94782352510200 94782352510992 94782379864064 140732480545773 140732480545863 140732480545863 140732480552904 0
[pid=703664/tid=703686] ppid=703661 vsize=19108176 memory=12712 CPUtime=0 cores=5,7
/proc/703664/task/703686/stat : 703686 (Timer-0) S 703661 703664 698245 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140372774 19566772224 2251975 134679101440 94782352498688 94782352502384 140732480540896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94782352510200 94782352510992 94782379864064 140732480545773 140732480545863 140732480545863 140732480552904 0
Current children cumulated CPU time: 3372.62 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 9007900 KiB

[startup+3402.3 s]
/proc/loadavg: 1.14 1.43 2.56 2/239 705575
/proc/meminfo: memFree=121048200/131655788 swapFree=131071996/131071996
[pid=703664] ppid=703661 vsize=19108176 memory=9007908 CPUtime=3433.07 cores=5,7
/proc/703664/stat : 703664 (java) S 703661 703664 698245 0 -1 1077936128 226660 0 0 0 342919 388 0 0 20 0 20 0 140372678 19566772224 2251977 134679101440 94782352498688 94782352502384 140732480540896 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94782352510200 94782352510992 94782379864064 140732480545773 140732480545863 140732480545863 140732480552904 0
/proc/703664/statm: 4777044 2251977 5980 1 0 2861922 0
[pid=703664/tid=703666] ppid=703661 vsize=19108176 memory=9007900 CPUtime=3361.04 cores=5,7
/proc/703664/task/703666/stat : 703666 (java) R 703661 703664 698245 0 -1 4194368 77926 0 0 0 336060 44 0 0 20 0 20 0 140372678 19566772224 2251977 134679101440 94782352498688 94782352502384 140732480540896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 5 0 0 94782352510200 94782352510992 94782379864064 140732480545773 140732480545863 140732480545863 140732480552904 0
[pid=703664/tid=703675] ppid=703661 vsize=19108176 memory=12712 CPUtime=0 cores=5,7
/proc/703664/task/703675/stat : 703675 (Finalizer) S 703661 703664 698245 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140372681 19566772224 2251977 134679101440 94782352498688 94782352502384 140732480540896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94782352510200 94782352510992 94782379864064 140732480545773 140732480545863 140732480545863 140732480552904 0
[pid=703664/tid=703682] ppid=703661 vsize=19108176 memory=12712 CPUtime=0 cores=5,7
/proc/703664/task/703682/stat : 703682 (Common-Cleaner) S 703661 703664 698245 0 -1 1077936192 1576 0 0 0 0 0 0 0 20 0 20 0 140372682 19566772224 2251977 134679101440 94782352498688 94782352502384 140732480540896 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94782352510200 94782352510992 94782379864064 140732480545773 140732480545863 140732480545863 140732480552904 0
[pid=703664/tid=703686] ppid=703661 vsize=19108176 memory=9007908 CPUtime=0 cores=5,7
/proc/703664/task/703686/stat : 703686 (Timer-0) S 703661 703664 698245 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140372774 19566772224 2251977 134679101440 94782352498688 94782352502384 140732480540896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94782352510200 94782352510992 94782379864064 140732480545773 140732480545863 140732480545863 140732480552904 0
Current children cumulated CPU time: 3433.07 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 9007908 KiB

[startup+3462.3 s]
/proc/loadavg: 1.05 1.35 2.46 2/240 705586
/proc/meminfo: memFree=121047820/131655788 swapFree=131071996/131071996
[pid=703664] ppid=703661 vsize=19108176 memory=9007936 CPUtime=3493.46 cores=5,7
/proc/703664/stat : 703664 (java) S 703661 703664 698245 0 -1 1077936128 227121 0 0 0 348956 390 0 0 20 0 20 0 140372678 19566772224 2251984 134679101440 94782352498688 94782352502384 140732480540896 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94782352510200 94782352510992 94782379864064 140732480545773 140732480545863 140732480545863 140732480552904 0
/proc/703664/statm: 4777044 2251984 5980 1 0 2861922 0
[pid=703664/tid=703666] ppid=703661 vsize=19108176 memory=9007900 CPUtime=3420.42 cores=5,7
/proc/703664/task/703666/stat : 703666 (java) R 703661 703664 698245 0 -1 4194368 78061 0 0 0 341998 44 0 0 20 0 20 0 140372678 19566772224 2251984 134679101440 94782352498688 94782352502384 140732480540896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 5 0 0 94782352510200 94782352510992 94782379864064 140732480545773 140732480545863 140732480545863 140732480552904 0
[pid=703664/tid=703675] ppid=703661 vsize=19108176 memory=9007936 CPUtime=0 cores=5,7
/proc/703664/task/703675/stat : 703675 (Finalizer) S 703661 703664 698245 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140372681 19566772224 2251984 134679101440 94782352498688 94782352502384 140732480540896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94782352510200 94782352510992 94782379864064 140732480545773 140732480545863 140732480545863 140732480552904 0
[pid=703664/tid=703682] ppid=703661 vsize=19108176 memory=9007936 CPUtime=0 cores=5,7
/proc/703664/task/703682/stat : 703682 (Common-Cleaner) S 703661 703664 698245 0 -1 1077936192 1576 0 0 0 0 0 0 0 20 0 20 0 140372682 19566772224 2251984 134679101440 94782352498688 94782352502384 140732480540896 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94782352510200 94782352510992 94782379864064 140732480545773 140732480545863 140732480545863 140732480552904 0
[pid=703664/tid=703686] ppid=703661 vsize=19108176 memory=9007936 CPUtime=0 cores=5,7
/proc/703664/task/703686/stat : 703686 (Timer-0) S 703661 703664 698245 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140372774 19566772224 2251984 134679101440 94782352498688 94782352502384 140732480540896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94782352510200 94782352510992 94782379864064 140732480545773 140732480545863 140732480545863 140732480552904 0
Current children cumulated CPU time: 3493.46 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 9007936 KiB

[startup+3522.3 s]
/proc/loadavg: 1.13 1.31 2.38 2/240 705596
/proc/meminfo: memFree=121047504/131655788 swapFree=131071996/131071996
[pid=703664] ppid=703661 vsize=19108176 memory=9007936 CPUtime=3553.82 cores=5,7
/proc/703664/stat : 703664 (java) S 703661 703664 698245 0 -1 1077936128 228085 0 0 0 354989 393 0 0 20 0 20 0 140372678 19566772224 2251984 134679101440 94782352498688 94782352502384 140732480540896 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94782352510200 94782352510992 94782379864064 140732480545773 140732480545863 140732480545863 140732480552904 0
/proc/703664/statm: 4777044 2251984 5980 1 0 2861922 0
[pid=703664/tid=703666] ppid=703661 vsize=19108176 memory=9007936 CPUtime=3479.82 cores=5,7
/proc/703664/task/703666/stat : 703666 (java) R 703661 703664 698245 0 -1 4194368 78585 0 0 0 347938 44 0 0 20 0 20 0 140372678 19566772224 2251984 134679101440 94782352498688 94782352502384 140732480540896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 5 0 0 94782352510200 94782352510992 94782379864064 140732480545773 140732480545863 140732480545863 140732480552904 0
[pid=703664/tid=703675] ppid=703661 vsize=19108176 memory=9007936 CPUtime=0 cores=5,7
/proc/703664/task/703675/stat : 703675 (Finalizer) S 703661 703664 698245 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140372681 19566772224 2251984 134679101440 94782352498688 94782352502384 140732480540896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94782352510200 94782352510992 94782379864064 140732480545773 140732480545863 140732480545863 140732480552904 0
[pid=703664/tid=703682] ppid=703661 vsize=19108176 memory=12712 CPUtime=0 cores=5,7
/proc/703664/task/703682/stat : 703682 (Common-Cleaner) S 703661 703664 698245 0 -1 1077936192 1577 0 0 0 0 0 0 0 20 0 20 0 140372682 19566772224 2251984 134679101440 94782352498688 94782352502384 140732480540896 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94782352510200 94782352510992 94782379864064 140732480545773 140732480545863 140732480545863 140732480552904 0
[pid=703664/tid=703686] ppid=703661 vsize=19108176 memory=1900 CPUtime=0 cores=5,7
/proc/703664/task/703686/stat : 703686 (Timer-0) S 703661 703664 698245 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140372774 19566772224 2251984 134679101440 94782352498688 94782352502384 140732480540896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94782352510200 94782352510992 94782379864064 140732480545773 140732480545863 140732480545863 140732480552904 0
Current children cumulated CPU time: 3553.82 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 9007936 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3568.11 s]
/proc/loadavg: 1.13 1.29 2.32 2/240 705604
/proc/meminfo: memFree=121047320/131655788 swapFree=131071996/131071996
[pid=703664] ppid=703661 vsize=19108176 memory=9007936 CPUtime=3600.02 cores=5,7
/proc/703664/stat : 703664 (java) S 703661 703664 698245 0 -1 1077936128 232124 0 0 0 359606 396 0 0 20 0 20 0 140372678 19566772224 2251984 134679101440 94782352498688 94782352502384 140732480540896 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94782352510200 94782352510992 94782379864064 140732480545773 140732480545863 140732480545863 140732480552904 0
/proc/703664/statm: 4777044 2251984 5980 1 0 2861922 0
[pid=703664/tid=703666] ppid=703661 vsize=19108176 memory=9007936 CPUtime=3525.07 cores=5,7
/proc/703664/task/703666/stat : 703666 (java) R 703661 703664 698245 0 -1 4194368 80001 0 0 0 352463 44 0 0 20 0 20 0 140372678 19566772224 2251984 134679101440 94782352498688 94782352502384 140732480540896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 5 0 0 94782352510200 94782352510992 94782379864064 140732480545773 140732480545863 140732480545863 140732480552904 0
[pid=703664/tid=703675] ppid=703661 vsize=19108176 memory=9007936 CPUtime=0 cores=5,7
/proc/703664/task/703675/stat : 703675 (Finalizer) S 703661 703664 698245 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 140372681 19566772224 2251984 134679101440 94782352498688 94782352502384 140732480540896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94782352510200 94782352510992 94782379864064 140732480545773 140732480545863 140732480545863 140732480552904 0
[pid=703664/tid=703682] ppid=703661 vsize=19108176 memory=9007936 CPUtime=0 cores=5,7
/proc/703664/task/703682/stat : 703682 (Common-Cleaner) S 703661 703664 698245 0 -1 1077936192 1627 0 0 0 0 0 0 0 20 0 20 0 140372682 19566772224 2251984 134679101440 94782352498688 94782352502384 140732480540896 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94782352510200 94782352510992 94782379864064 140732480545773 140732480545863 140732480545863 140732480552904 0
[pid=703664/tid=703686] ppid=703661 vsize=19108176 memory=9007936 CPUtime=0 cores=5,7
/proc/703664/task/703686/stat : 703686 (Timer-0) S 703661 703664 698245 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 140372774 19566772224 2251984 134679101440 94782352498688 94782352502384 140732480540896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94782352510200 94782352510992 94782379864064 140732480545773 140732480545863 140732480545863 140732480552904 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 9007936 KiB

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

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

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

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

[startup+3568.21 s]
/proc/loadavg: 1.13 1.29 2.32 2/240 705604
/proc/meminfo: memFree=121047320/131655788 swapFree=131071996/131071996
[pid=703664] ppid=703661 vsize=19307868 memory=9008680 CPUtime=3600.22 cores=5,7
/proc/703664/stat : 703664 (java) S 703661 703664 698245 0 -1 1077936128 234880 0 0 0 359625 397 0 0 20 0 21 0 140372678 19771256832 2252170 134679101440 94782352498688 94782352502384 140732480540896 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94782352510200 94782352510992 94782379864064 140732480545773 140732480545863 140732480545863 140732480552904 0
/proc/703664/statm: 4826967 2252170 5979 1 0 2862828 0
[pid=703664/tid=703666] ppid=703661 vsize=19307868 memory=11452 CPUtime=3525.17 cores=5,7
/proc/703664/task/703666/stat : 703666 (java) R 703661 703664 698245 0 -1 4194368 80117 0 0 0 352473 44 0 0 20 0 21 0 140372678 19771256832 2252170 134679101440 94782352498688 94782352502384 140732480540896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 5 0 0 94782352510200 94782352510992 94782379864064 140732480545773 140732480545863 140732480545863 140732480552904 0
[pid=703664/tid=703675] ppid=703661 vsize=19307868 memory=13600 CPUtime=0 cores=5,7
/proc/703664/task/703675/stat : 703675 (Finalizer) S 703661 703664 698245 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 140372681 19771256832 2252170 134679101440 94782352498688 94782352502384 140732480540896 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94782352510200 94782352510992 94782379864064 140732480545773 140732480545863 140732480545863 140732480552904 0
[pid=703664/tid=703682] ppid=703661 vsize=19307868 memory=11548 CPUtime=0 cores=5,7
/proc/703664/task/703682/stat : 703682 (Common-Cleaner) S 703661 703664 698245 0 -1 1077936192 1627 0 0 0 0 0 0 0 20 0 21 0 140372682 19771256832 2252170 134679101440 94782352498688 94782352502384 140732480540896 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94782352510200 94782352510992 94782379864064 140732480545773 140732480545863 140732480545863 140732480552904 0
Current children cumulated CPU time: 3600.22 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 9008680 KiB

Child status: 143

Real time (s): 3568.28
CPU time (s): 3600.31
CPU user time (s): 3596.3
CPU system time (s): 4.01354
CPU usage (%): 100.898
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 9008680

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.3
system time used= 4.01354
maximum resident set size= 9009364
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 235303
page faults= 0
swaps= 0
block input operations= 8
block output operations= 3592
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 113057
involuntary context switches= 3639


# summary of solver processes directly reported to runsolver:
#   pid: 703664
#   total CPU time (s): 3600.31
#   total CPU user time (s): 3596.3
#   total CPU system time (s): 4.01354

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.5693 second user time and 38.4453 second system time

The end

Launcher Data 

Begin job on nodeC004 at 2024-07-13 16:49:41
IDJOB=4424867
IDBENCH=143838
IDSOLVER=3037
FILE ID=nodeC004/4424867-1720882168
RUNJOBID= nodeC004-1720881342-702392
SLURM_JOB_ID= 7483752
Free space on /tmp= 723776 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/WBO/PARTIAL-LIN/PB10/oliveras/j120/normalized-j12013_1-unsat--soft-66-100-0.wbo
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4424867-1720882168/watcher-4424867-1720882168 -o /tmp/evaluation-result-4424867-1720882168/solver-4424867-1720882168 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1720881342-702392 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4424867-1720882168.wbo

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

MD5SUM BENCH= 267510a1ea4cacab83d8ba49d7b7c44e
RANDOM SEED=81517098

nodeC004.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	: 0xb00001f
cpu MHz		: 3580.280
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 invpcid_single pti 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	: 6984.29
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		: 3636.997
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 invpcid_single pti 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	: 6983.37
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.445
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 invpcid_single pti 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	: 6984.29
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.351
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 invpcid_single pti 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	: 6983.37
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		: 3561.024
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 invpcid_single pti 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	: 6984.29
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		: 3554.605
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 invpcid_single pti 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	: 6983.37
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.422
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 invpcid_single pti 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	: 6984.29
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		: 1197.308
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 invpcid_single pti 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	: 6983.37
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        117615556 kB
MemAvailable:   117523384 kB
Buffers:          324140 kB
Cached:           432852 kB
SwapCached:            0 kB
Active:           481156 kB
Inactive:       13036740 kB
Active(anon):       3368 kB
Inactive(anon): 12794908 kB
Active(file):     477788 kB
Inactive(file):   241832 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              3672 kB
Writeback:             0 kB
AnonPages:      12760204 kB
Mapped:           122128 kB
Shmem:             37700 kB
KReclaimable:      56816 kB
Slab:             146144 kB
SReclaimable:      56816 kB
SUnreclaim:        89328 kB
KernelStack:        4780 kB
PageTables:        34844 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:   15726188 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            45952 kB
HardwareCorrupted:     0 kB
AnonHugePages:  12464128 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:      166728 kB
DirectMap2M:     7077888 kB
DirectMap1G:    128974848 kB

Free space on /tmp at the end= 723780 MiB
End job on nodeC004 at 2024-07-13 17:49:09