Trace number 4450144

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.17 3591.21

General information on the benchmark

NamePB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/
normalized-3col-almost3reg-l080-r079-n1.cnf-extracted.pb.metafix.opb
MD5SUMc7ad59296e2e055fc86df3342558d493
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4329
Total number of constraints10136
Number of constraints which are clauses4785
Number of constraints which are cardinality constraints (but not clauses)5351
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint3
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 4
Number of bits of the biggest sum of numbers3
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.06	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.06	c See www.sat4j.org for details.
0.00/0.06	c version CUSTOM.v20240707
0.00/0.07	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.07	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.07	c java.vm.version	22.0.1+8-16
0.00/0.07	c java.vm.vendor	Oracle Corporation
0.00/0.07	c sun.arch.data.model	64
0.00/0.07	c java.version		22.0.1
0.00/0.07	c os.name		Linux
0.00/0.07	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.07	c os.arch		amd64
0.00/0.08	c Free memory 		2106806208
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.08	c Number of processors 	2
0.14/0.11	--- Begin Solver configuration ---
0.14/0.11	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.14/0.11	Learn all clauses as in MiniSAT
0.14/0.11	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.11	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.11	No reason simplification
0.14/0.11	Glucose 2.1 dynamic restart strategy
0.14/0.11	Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.14/0.11	timeout=2147483s
0.14/0.11	DB Simplification allowed=false
0.14/0.11	Listener: none
0.14/0.11	--- End Solver configuration ---
0.14/0.12	c Pseudo Boolean Optimization by upper bound
0.14/0.12	c --- Begin Solver configuration ---
0.14/0.12	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.14/0.12	c Learn all clauses as in MiniSAT
0.14/0.12	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.12	c No reason simplification
0.14/0.12	c Glucose 2.1 dynamic restart strategy
0.14/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.14/0.12	c timeout=2147483s
0.14/0.12	c DB Simplification allowed=false
0.14/0.12	c Listener: none
0.14/0.12	c --- End Solver configuration ---
0.14/0.12	c solving HOME/instance-4450144-1721406707.opb
0.14/0.12	c reading problem ... 
0.14/0.12	c  no objective function found
0.33/0.29	c ... done. Wall clock time 0.167s.
0.33/0.29	c declared #vars     4329
0.33/0.29	c #constraints  10136
0.33/0.29	c constraints type 
0.33/0.29	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 3342
0.33/0.29	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 5351
0.33/0.29	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1443
0.33/0.29	c 10136 constraints processed.
2.13/1.41	c cleaning 2488 clauses out of 5000 with flag 295457/5000
3.19/2.30	c cleaning 4256 clauses out of 8512 with flag 424559/11000
4.43/3.50	c cleaning 5621 clauses out of 11256 with flag 710611/18000
6.02/5.03	c cleaning 6813 clauses out of 13637 with flag 1071158/26002
7.93/6.94	c cleaning 7906 clauses out of 15823 with flag 1507968/35001
10.14/9.17	c cleaning 8947 clauses out of 17917 with flag 2001748/45001
12.73/11.70	c cleaning 9977 clauses out of 19970 with flag 2559451/56001
15.35/14.33	c cleaning 10995 clauses out of 21993 with flag 3049432/68001
18.35/17.30	c cleaning 11997 clauses out of 23997 with flag 3448556/81000
21.40/20.30	c cleaning 12998 clauses out of 26002 with flag 3814791/95002
24.70/23.67	c cleaning 13989 clauses out of 28002 with flag 4081676/110000
28.05/26.93	c cleaning 14994 clauses out of 30014 with flag 4361456/126001
32.03/30.86	c cleaning 15995 clauses out of 32020 with flag 4676825/143001
36.30/35.04	c cleaning 17003 clauses out of 34024 with flag 5020929/161000
40.78/39.52	c cleaning 18003 clauses out of 36023 with flag 5407829/180002
45.42/44.15	c cleaning 18998 clauses out of 38019 with flag 5835265/200001
50.74/49.45	c cleaning 20001 clauses out of 40020 with flag 6277024/221000
56.65/55.20	c cleaning 21004 clauses out of 42020 with flag 6720370/243001
63.10/61.67	c cleaning 22007 clauses out of 44016 with flag 7146189/266001
69.85/68.32	c cleaning 22999 clauses out of 46008 with flag 7608259/290000
76.50/75.00	c cleaning 23994 clauses out of 48009 with flag 8100793/315000
83.94/82.37	c cleaning 25001 clauses out of 50015 with flag 8607254/341000
92.27/90.43	c cleaning 25999 clauses out of 52014 with flag 9117966/368000
100.98/99.19	c cleaning 27001 clauses out of 54015 with flag 9664017/396000
109.82/107.92	c cleaning 28001 clauses out of 56016 with flag 10212425/425002
119.58/117.69	c cleaning 28998 clauses out of 58016 with flag 10804528/455003
129.96/127.94	c cleaning 29994 clauses out of 60016 with flag 11392007/486001
141.24/139.18	c cleaning 31007 clauses out of 62023 with flag 11991214/518002
154.20/152.07	c cleaning 32004 clauses out of 64015 with flag 12722167/551001
166.38/164.19	c cleaning 32994 clauses out of 66010 with flag 13381491/585000
178.75/176.20	c cleaning 33994 clauses out of 68017 with flag 14078662/620001
190.14/187.54	c cleaning 35005 clauses out of 70022 with flag 14745962/656000
202.91/200.36	c cleaning 36000 clauses out of 72017 with flag 15488397/693000
218.13/215.43	c cleaning 37001 clauses out of 74017 with flag 16228674/731000
234.09/231.44	c cleaning 37986 clauses out of 76016 with flag 16981185/770000
250.56/247.73	c cleaning 39010 clauses out of 78033 with flag 17671645/810003
266.13/263.39	c cleaning 40001 clauses out of 80021 with flag 18411774/851001
283.84/280.97	c cleaning 41003 clauses out of 82019 with flag 19242100/893000
302.21/299.34	c cleaning 42002 clauses out of 84017 with flag 20135658/936001
321.35/318.41	c cleaning 42993 clauses out of 86014 with flag 20989051/980000
340.41/337.35	c cleaning 43999 clauses out of 88024 with flag 21819391/1025003
360.18/356.74	c cleaning 45007 clauses out of 90023 with flag 22671488/1071001
382.04/378.58	c cleaning 45998 clauses out of 92015 with flag 23567793/1118000
406.34/402.73	c cleaning 47002 clauses out of 94017 with flag 24580868/1166000
429.62/425.93	c cleaning 48006 clauses out of 96016 with flag 25536260/1215001
452.08/448.44	c cleaning 48998 clauses out of 98010 with flag 26602536/1265001
478.73/475.07	c cleaning 49999 clauses out of 100011 with flag 27574559/1316000
506.11/502.24	c cleaning 50995 clauses out of 102012 with flag 28600762/1368000
535.60/531.63	c cleaning 51995 clauses out of 104017 with flag 29724433/1421000
562.18/558.11	c cleaning 52999 clauses out of 106022 with flag 30840916/1475000
590.13/585.76	c cleaning 54002 clauses out of 108023 with flag 31883232/1530000
625.57/621.23	c cleaning 54999 clauses out of 110023 with flag 33121112/1586002
658.10/653.77	c cleaning 56005 clauses out of 112025 with flag 34230856/1643003
693.45/689.03	c cleaning 56997 clauses out of 114017 with flag 35450398/1701000
729.88/725.47	c cleaning 57998 clauses out of 116020 with flag 36721288/1760000
762.88/758.30	c cleaning 59003 clauses out of 118024 with flag 37886529/1820002
804.42/799.73	c cleaning 60006 clauses out of 120022 with flag 39206276/1881003
843.89/839.12	c cleaning 61001 clauses out of 122013 with flag 40475235/1943000
882.23/877.43	c cleaning 61995 clauses out of 124012 with flag 41629869/2006000
924.50/919.61	c cleaning 63003 clauses out of 126017 with flag 42981796/2070000
965.35/960.41	c cleaning 64000 clauses out of 128015 with flag 44369103/2135001
1012.48/1007.32	c cleaning 64996 clauses out of 130014 with flag 45731575/2201000
1056.97/1051.70	c cleaning 66002 clauses out of 132018 with flag 47060595/2268000
1104.84/1099.57	c cleaning 67004 clauses out of 134017 with flag 48491366/2336001
1149.08/1143.70	c cleaning 68001 clauses out of 136013 with flag 49821273/2405001
1197.77/1192.36	c cleaning 69001 clauses out of 138012 with flag 51323741/2475001
1250.05/1244.57	c cleaning 69992 clauses out of 140012 with flag 52790758/2546002
1302.28/1296.68	c cleaning 71001 clauses out of 142020 with flag 54322031/2618002
1359.39/1353.79	c cleaning 72007 clauses out of 144021 with flag 55956870/2691004
1413.98/1408.25	c cleaning 72996 clauses out of 146010 with flag 57533479/2765000
1471.45/1465.70	c cleaning 73996 clauses out of 148014 with flag 59168755/2840000
1531.65/1525.93	c cleaning 74995 clauses out of 150019 with flag 60773613/2916001
1600.96/1594.43	c cleaning 75997 clauses out of 152023 with flag 62424788/2993000
1663.82/1657.22	c cleaning 77002 clauses out of 154027 with flag 64034014/3071001
1733.92/1727.32	c cleaning 78006 clauses out of 156025 with flag 65811341/3150001
1794.08/1787.38	c cleaning 78996 clauses out of 158021 with flag 67520554/3230003
1847.50/1840.77	c cleaning 80008 clauses out of 160023 with flag 69120105/3311001
1915.42/1908.68	c cleaning 81005 clauses out of 162018 with flag 70756109/3393004
1987.33/1980.39	c cleaning 81995 clauses out of 164012 with flag 72552097/3476003
2059.16/2052.12	c cleaning 83003 clauses out of 166016 with flag 74392889/3560002
2134.06/2126.87	c cleaning 84000 clauses out of 168012 with flag 76107377/3645001
2214.23/2207.07	c cleaning 84993 clauses out of 170013 with flag 77937894/3731002
2294.79/2287.69	c cleaning 85997 clauses out of 172018 with flag 79914523/3818000
2367.69/2359.82	c cleaning 87002 clauses out of 174021 with flag 81801925/3906000
2456.23/2448.40	c cleaning 88004 clauses out of 176019 with flag 83679196/3995000
2535.33/2527.34	c cleaning 89001 clauses out of 178015 with flag 85630437/4085000
2623.17/2615.25	c cleaning 89999 clauses out of 180014 with flag 87511953/4176000
2706.85/2698.71	c cleaning 90996 clauses out of 182015 with flag 89470601/4268000
2800.72/2792.61	c cleaning 92005 clauses out of 184019 with flag 91458020/4361000
2895.92/2887.75	c cleaning 93000 clauses out of 186014 with flag 93513003/4455000
3004.33/2996.10	c cleaning 93997 clauses out of 188014 with flag 95537665/4550000
3091.34/3083.05	c cleaning 95000 clauses out of 190017 with flag 97491080/4646000
3184.01/3175.52	c cleaning 96002 clauses out of 192017 with flag 99567985/4743000
3275.13/3266.70	c cleaning 97002 clauses out of 194016 with flag 101712788/4841001
3379.48/3370.96	c cleaning 97993 clauses out of 196013 with flag 103743870/4940000
3494.13/3485.40	c cleaning 99003 clauses out of 198021 with flag 105863582/5040001
3600.02/3591.11	c starts		: 3640
3600.02/3591.12	c timeout
3600.02/3591.12	c conflicts		: 5140552
3600.02/3591.12	c decisions		: 6551786
3600.02/3591.12	c propagations		: 1624071047
3600.02/3591.12	c inspects		: 33561137714
3600.02/3591.12	c shortcuts		: 0
3600.02/3591.12	c learnt literals	: 0
3600.02/3591.12	c learnt binary clauses	: 0
3600.02/3591.12	c learnt ternary clauses	: 3445
3600.02/3591.12	c learnt constraints	: 5140552
3600.02/3591.12	c ignored constraints	: 0
3600.02/3591.12	c root simplifications	: 0
3600.02/3591.12	c removed literals (reason simplification)	: 0
3600.02/3591.12	c reason swapping (by a shorter reason)	: 0
3600.02/3591.12	c Calls to reduceDB	: 96
3600.02/3591.12	c Number of update (reduction) of LBD	: 1890689
3600.02/3591.12	c Imported unit clauses	: 0
3600.02/3591.12	c No decision after first conflict	: false
3600.02/3591.12	c number of reductions to clauses (during analyze)	: 0
3600.02/3591.12	c number of learned constraints concerned by reduction	: 0
3600.02/3591.12	c number of learning phase by resolution	: 0
3600.02/3591.12	c number of learning phase by cutting planes	: 0
3600.02/3591.12	c number of rounding to 1 operations	: 0
3600.02/3591.12	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.02/3591.12	c number of reductions of the coefficients by power 2 	: 0
3600.02/3591.12	c number of right shift for reduction by power 2 	: 0
3600.02/3591.12	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.02/3591.12	c number of ending skipping 	: 0
3600.02/3591.12	c number of internal skipping 	: 0
3600.02/3591.12	c number of derivation steps 	: 0
3600.02/3591.13	c number of skipped derivation steps 	: 0
3600.02/3591.13	c number of remaining unassigned 	: 0
3600.02/3591.13	c number of remaining assigned 	: 0
3600.02/3591.13	c number of falsified literals weakened from reason	: 0
3600.02/3591.13	c number of falsified literals weakened from conflict	: 0
3600.02/3591.13	c time for arithmetic operations	: 0
3600.02/3591.13	c minimum degree of deleted constraints	: null
3600.02/3591.13	c maximum degree of deleted constraints	: null
3600.02/3591.13	c number of deleted constraints	: 0
3600.02/3591.13	c speed (assignments/second)	: 452282.5336071045
3600.02/3591.13	c non guided choices	: 34351
3600.02/3591.18	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 199569
3600.02/3591.18	s UNKNOWN
3600.02/3591.18	c Total wall clock time (in seconds): 3591.066

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: 63931 MiB (61473 MiB free)
  memory of node 1: 64510 MiB (61381 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4450144-1721406707/watcher-4450144-1721406707 -o /tmp/evaluation-result-4450144-1721406707/solver-4450144-1721406707 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1721399514-987390 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4450144-1721406707.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=991795, runsolver pid=991792

[startup+0.101807 s]*
/proc/loadavg: 2.42 2.21 2.19 5/281 991813
/proc/meminfo: memFree=125761308/131524600 swapFree=131071996/131071996
[pid=991795] ppid=991792 vsize=18975048 memory=63752 CPUtime=0.14 cores=4,6
/proc/991795/stat : 991795 (java) S 991792 991795 987379 0 -1 1077936128 7286 0 0 0 11 3 0 0 20 0 18 0 192831278 19430449152 15938 134679101440 94816650326016 94816650329712 140734837300416 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94816650337528 94816650338320 94816672657408 140734837302278 140734837302368 140734837302368 140734837309384 0
/proc/991795/statm: 4743762 15938 5754 1 0 549378 0
[pid=991795/tid=991797] ppid=991792 vsize=18975048 memory=4026531957 CPUtime=0.08 cores=4,6
/proc/991795/task/991797/stat : 991797 (java) R 991792 991795 987379 0 -1 1077936192 5758 0 0 0 6 2 0 0 20 0 18 0 192831278 19430449152 15938 134679101440 94816650326016 94816650329712 140734837300416 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94816650337528 94816650338320 94816672657408 140734837302278 140734837302368 140734837302368 140734837309384 0
[pid=991795/tid=991806] ppid=991792 vsize=18975048 memory=241407623517 CPUtime=0 cores=4,6
/proc/991795/task/991806/stat : 991806 (Finalizer) S 991792 991795 987379 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 192831281 19430449152 15938 134679101440 94816650326016 94816650329712 140734837300416 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94816650337528 94816650338320 94816672657408 140734837302278 140734837302368 140734837302368 140734837309384 0
[pid=991795/tid=991813] ppid=991792 vsize=18975048 memory=56320862741100 CPUtime=0 cores=4,6
/proc/991795/task/991813/stat : 991813 (Common-Cleaner) S 991792 991795 987379 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 192831281 19430449152 15938 134679101440 94816650326016 94816650329712 140734837300416 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94816650337528 94816650338320 94816672657408 140734837302278 140734837302368 140734837302368 140734837309384 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 63752 KiB

[startup+0.205476 s]*
/proc/loadavg: 2.42 2.21 2.19 4/281 991813
/proc/meminfo: memFree=125729528/131524600 swapFree=131071996/131071996
[pid=991795] ppid=991792 vsize=18975048 memory=96000 CPUtime=0.33 cores=4,6
/proc/991795/stat : 991795 (java) S 991792 991795 987379 0 -1 1077936128 8340 0 0 0 29 4 0 0 20 0 18 0 192831278 19430449152 24000 134679101440 94816650326016 94816650329712 140734837300416 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94816650337528 94816650338320 94816672657408 140734837302278 140734837302368 140734837302368 140734837309384 0
/proc/991795/statm: 4743762 24000 5857 1 0 550135 0
[pid=991795/tid=991797] ppid=991792 vsize=18975048 memory=4028271354 CPUtime=0.17 cores=4,6
/proc/991795/task/991797/stat : 991797 (java) R 991792 991795 987379 0 -1 1077936192 5923 0 0 0 14 3 0 0 20 0 18 0 192831278 19430449152 24000 134679101440 94816650326016 94816650329712 140734837300416 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94816650337528 94816650338320 94816672657408 140734837302278 140734837302368 140734837302368 140734837309384 0
[pid=991795/tid=991806] ppid=991792 vsize=18975048 memory=14942 CPUtime=0 cores=4,6
/proc/991795/task/991806/stat : 991806 (Finalizer) S 991792 991795 987379 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 192831281 19430449152 24000 134679101440 94816650326016 94816650329712 140734837300416 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94816650337528 94816650338320 94816672657408 140734837302278 140734837302368 140734837302368 140734837309384 0
[pid=991795/tid=991813] ppid=991792 vsize=18975048 memory=55221351089403 CPUtime=0 cores=4,6
/proc/991795/task/991813/stat : 991813 (Common-Cleaner) S 991792 991795 987379 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 192831281 19430449152 24000 134679101440 94816650326016 94816650329712 140734837300416 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94816650337528 94816650338320 94816672657408 140734837302278 140734837302368 140734837302368 140734837309384 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 96000 KiB

[startup+0.308295 s]*
/proc/loadavg: 2.42 2.21 2.19 6/283 991815
/proc/meminfo: memFree=125662876/131524600 swapFree=131071996/131071996
[pid=991795] ppid=991792 vsize=19108176 memory=162320 CPUtime=0.5 cores=4,6
/proc/991795/stat : 991795 (java) S 991792 991795 987379 0 -1 1077936128 9356 0 0 0 45 5 0 0 20 0 20 0 192831278 19566772224 40580 134679101440 94816650326016 94816650329712 140734837300416 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94816650337528 94816650338320 94816672657408 140734837302278 140734837302368 140734837302368 140734837309384 0
/proc/991795/statm: 4777044 40580 5873 1 0 551174 0
[pid=991795/tid=991797] ppid=991792 vsize=19108176 memory=-9030952465697383100 CPUtime=0.25 cores=4,6
/proc/991795/task/991797/stat : 991797 (java) R 991792 991795 987379 0 -1 4194368 5987 0 0 0 21 4 0 0 20 0 20 0 192831278 19566772224 40580 134679101440 94816650326016 94816650329712 140734837300416 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94816650337528 94816650338320 94816672657408 140734837302278 140734837302368 140734837302368 140734837309384 0
[pid=991795/tid=991806] ppid=991792 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/991795/task/991806/stat : 991806 (Finalizer) S 991792 991795 987379 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 192831281 19566772224 40580 134679101440 94816650326016 94816650329712 140734837300416 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94816650337528 94816650338320 94816672657408 140734837302278 140734837302368 140734837302368 140734837309384 0
[pid=991795/tid=991813] ppid=991792 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/991795/task/991813/stat : 991813 (Common-Cleaner) S 991792 991795 987379 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 192831281 19566772224 40580 134679101440 94816650326016 94816650329712 140734837300416 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94816650337528 94816650338320 94816672657408 140734837302278 140734837302368 140734837302368 140734837309384 0
[pid=991795/tid=991815] ppid=991792 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/991795/task/991815/stat : 991815 (Timer-0) S 991792 991795 987379 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 192831307 19566772224 40580 134679101440 94816650326016 94816650329712 140734837300416 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94816650337528 94816650338320 94816672657408 140734837302278 140734837302368 140734837302368 140734837309384 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 162320 KiB

[startup+0.700217 s]
/proc/loadavg: 2.42 2.21 2.19 4/283 991815
/proc/meminfo: memFree=125660456/131524600 swapFree=131071996/131071996
[pid=991795] ppid=991792 vsize=19108176 memory=164672 CPUtime=1.26 cores=4,6
/proc/991795/stat : 991795 (java) S 991792 991795 987379 0 -1 1077936128 10133 0 0 0 120 6 0 0 20 0 20 0 192831278 19566772224 41168 134679101440 94816650326016 94816650329712 140734837300416 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94816650337528 94816650338320 94816672657408 140734837302278 140734837302368 140734837302368 140734837309384 0
/proc/991795/statm: 4777044 41168 5873 1 0 551648 0
[pid=991795/tid=991797] ppid=991792 vsize=19108176 memory=13012 CPUtime=0.63 cores=4,6
/proc/991795/task/991797/stat : 991797 (java) R 991792 991795 987379 0 -1 4194368 5996 0 0 0 59 4 0 0 20 0 20 0 192831278 19566772224 41168 134679101440 94816650326016 94816650329712 140734837300416 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94816650337528 94816650338320 94816672657408 140734837302278 140734837302368 140734837302368 140734837309384 0
[pid=991795/tid=991806] ppid=991792 vsize=19108176 memory=13012 CPUtime=0 cores=4,6
/proc/991795/task/991806/stat : 991806 (Finalizer) S 991792 991795 987379 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 192831281 19566772224 41168 134679101440 94816650326016 94816650329712 140734837300416 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94816650337528 94816650338320 94816672657408 140734837302278 140734837302368 140734837302368 140734837309384 0
[pid=991795/tid=991813] ppid=991792 vsize=19108176 memory=2337 CPUtime=0 cores=4,6
/proc/991795/task/991813/stat : 991813 (Common-Cleaner) S 991792 991795 987379 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 192831281 19566772224 41168 134679101440 94816650326016 94816650329712 140734837300416 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94816650337528 94816650338320 94816672657408 140734837302278 140734837302368 140734837302368 140734837309384 0
[pid=991795/tid=991815] ppid=991792 vsize=19108176 memory=26268 CPUtime=0 cores=4,6
/proc/991795/task/991815/stat : 991815 (Timer-0) S 991792 991795 987379 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 192831307 19566772224 41168 134679101440 94816650326016 94816650329712 140734837300416 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94816650337528 94816650338320 94816672657408 140734837302278 140734837302368 140734837302368 140734837309384 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 164672 KiB

[startup+1.50022 s]
/proc/loadavg: 2.42 2.21 2.19 3/283 991815
/proc/meminfo: memFree=125640728/131524600 swapFree=131071996/131071996
[pid=991795] ppid=991792 vsize=19108176 memory=169320 CPUtime=2.32 cores=4,6
/proc/991795/stat : 991795 (java) S 991792 991795 987379 0 -1 1077936128 15089 0 0 0 225 7 0 0 20 0 20 0 192831278 19566772224 42330 134679101440 94816650326016 94816650329712 140734837300416 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94816650337528 94816650338320 94816672657408 140734837302278 140734837302368 140734837302368 140734837309384 0
/proc/991795/statm: 4777044 42330 5873 1 0 552715 0
[pid=991795/tid=991797] ppid=991792 vsize=19108176 memory=13012 CPUtime=1.42 cores=4,6
/proc/991795/task/991797/stat : 991797 (java) R 991792 991795 987379 0 -1 4194368 6999 0 0 0 138 4 0 0 20 0 20 0 192831278 19566772224 42330 134679101440 94816650326016 94816650329712 140734837300416 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94816650337528 94816650338320 94816672657408 140734837302278 140734837302368 140734837302368 140734837309384 0
[pid=991795/tid=991806] ppid=991792 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/991795/task/991806/stat : 991806 (Finalizer) S 991792 991795 987379 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 192831281 19566772224 42330 134679101440 94816650326016 94816650329712 140734837300416 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94816650337528 94816650338320 94816672657408 140734837302278 140734837302368 140734837302368 140734837309384 0
[pid=991795/tid=991813] ppid=991792 vsize=19108176 memory=65 CPUtime=0 cores=4,6
/proc/991795/task/991813/stat : 991813 (Common-Cleaner) S 991792 991795 987379 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 192831281 19566772224 42330 134679101440 94816650326016 94816650329712 140734837300416 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94816650337528 94816650338320 94816672657408 140734837302278 140734837302368 140734837302368 140734837309384 0
[pid=991795/tid=991815] ppid=991792 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/991795/task/991815/stat : 991815 (Timer-0) S 991792 991795 987379 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 192831307 19566772224 42330 134679101440 94816650326016 94816650329712 140734837300416 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94816650337528 94816650338320 94816672657408 140734837302278 140734837302368 140734837302368 140734837309384 0
Current children cumulated CPU time: 2.32 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 169320 KiB

[startup+3.1053 s]
/proc/loadavg: 2.39 2.20 2.19 3/283 991816
/proc/meminfo: memFree=125630804/131524600 swapFree=131071996/131071996
[pid=991795] ppid=991792 vsize=19108176 memory=169464 CPUtime=4.02 cores=4,6
/proc/991795/stat : 991795 (java) S 991792 991795 987379 0 -1 1077936128 15814 0 0 0 395 7 0 0 20 0 20 0 192831278 19566772224 42366 134679101440 94816650326016 94816650329712 140734837300416 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94816650337528 94816650338320 94816672657408 140734837302278 140734837302368 140734837302368 140734837309384 0
/proc/991795/statm: 4777044 42366 5873 1 0 552721 0
[pid=991795/tid=991797] ppid=991792 vsize=19108176 memory=169320 CPUtime=3.02 cores=4,6
/proc/991795/task/991797/stat : 991797 (java) R 991792 991795 987379 0 -1 4194368 7346 0 0 0 298 4 0 0 20 0 20 0 192831278 19566772224 42366 134679101440 94816650326016 94816650329712 140734837300416 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94816650337528 94816650338320 94816672657408 140734837302278 140734837302368 140734837302368 140734837309384 0
[pid=991795/tid=991806] ppid=991792 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/991795/task/991806/stat : 991806 (Finalizer) S 991792 991795 987379 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 192831281 19566772224 42366 134679101440 94816650326016 94816650329712 140734837300416 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94816650337528 94816650338320 94816672657408 140734837302278 140734837302368 140734837302368 140734837309384 0
[pid=991795/tid=991813] ppid=991792 vsize=19108176 memory=13012 CPUtime=0 cores=4,6
/proc/991795/task/991813/stat : 991813 (Common-Cleaner) S 991792 991795 987379 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 192831281 19566772224 42366 134679101440 94816650326016 94816650329712 140734837300416 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94816650337528 94816650338320 94816672657408 140734837302278 140734837302368 140734837302368 140734837309384 0
[pid=991795/tid=991815] ppid=991792 vsize=19108176 memory=11488 CPUtime=0 cores=4,6
/proc/991795/task/991815/stat : 991815 (Timer-0) S 991792 991795 987379 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 192831307 19566772224 42366 134679101440 94816650326016 94816650329712 140734837300416 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94816650337528 94816650338320 94816672657408 140734837302278 140734837302368 140734837302368 140734837309384 0
Current children cumulated CPU time: 4.02 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 169464 KiB

[startup+6.30018 s]
/proc/loadavg: 2.39 2.20 2.19 3/283 991816
/proc/meminfo: memFree=125644780/131524600 swapFree=131071996/131071996
[pid=991795] ppid=991792 vsize=19108176 memory=173984 CPUtime=7.31 cores=4,6
/proc/991795/stat : 991795 (java) S 991792 991795 987379 0 -1 1077936128 19267 0 0 0 724 7 0 0 20 0 20 0 192831278 19566772224 43496 134679101440 94816650326016 94816650329712 140734837300416 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94816650337528 94816650338320 94816672657408 140734837302278 140734837302368 140734837302368 140734837309384 0
/proc/991795/statm: 4777044 43496 5873 1 0 552721 0
[pid=991795/tid=991797] ppid=991792 vsize=19108176 memory=0 CPUtime=6.21 cores=4,6
/proc/991795/task/991797/stat : 991797 (java) R 991792 991795 987379 0 -1 4194368 8114 0 0 0 617 4 0 0 20 0 20 0 192831278 19566772224 43496 134679101440 94816650326016 94816650329712 140734837300416 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94816650337528 94816650338320 94816672657408 140734837302278 140734837302368 140734837302368 140734837309384 0
[pid=991795/tid=991806] ppid=991792 vsize=19108176 memory=11488 CPUtime=0 cores=4,6
/proc/991795/task/991806/stat : 991806 (Finalizer) S 991792 991795 987379 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 192831281 19566772224 43496 134679101440 94816650326016 94816650329712 140734837300416 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94816650337528 94816650338320 94816672657408 140734837302278 140734837302368 140734837302368 140734837309384 0
[pid=991795/tid=991813] ppid=991792 vsize=19108176 memory=13012 CPUtime=0 cores=4,6
/proc/991795/task/991813/stat : 991813 (Common-Cleaner) S 991792 991795 987379 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 192831281 19566772224 43496 134679101440 94816650326016 94816650329712 140734837300416 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94816650337528 94816650338320 94816672657408 140734837302278 140734837302368 140734837302368 140734837309384 0
[pid=991795/tid=991815] ppid=991792 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/991795/task/991815/stat : 991815 (Timer-0) S 991792 991795 987379 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 192831307 19566772224 43496 134679101440 94816650326016 94816650329712 140734837300416 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94816650337528 94816650338320 94816672657408 140734837302278 140734837302368 140734837302368 140734837309384 0
Current children cumulated CPU time: 7.31 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 173984 KiB

[startup+12.7003 s]
/proc/loadavg: 2.36 2.20 2.19 3/282 991882
/proc/meminfo: memFree=125635008/131524600 swapFree=131071996/131071996
[pid=991795] ppid=991792 vsize=19108176 memory=262436 CPUtime=13.77 cores=4,6
/proc/991795/stat : 991795 (java) S 991792 991795 987379 0 -1 1077936128 22068 0 0 0 1368 9 0 0 20 0 20 0 192831278 19566772224 65609 134679101440 94816650326016 94816650329712 140734837300416 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94816650337528 94816650338320 94816672657408 140734837302278 140734837302368 140734837302368 140734837309384 0
/proc/991795/statm: 4777044 65609 5905 1 0 552721 0
[pid=991795/tid=991797] ppid=991792 vsize=19108176 memory=-9030952465697383100 CPUtime=12.53 cores=4,6
/proc/991795/task/991797/stat : 991797 (java) R 991792 991795 987379 0 -1 4194368 8631 0 0 0 1248 5 0 0 20 0 20 0 192831278 19566772224 65609 134679101440 94816650326016 94816650329712 140734837300416 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94816650337528 94816650338320 94816672657408 140734837302278 140734837302368 140734837302368 140734837309384 0
[pid=991795/tid=991806] ppid=991792 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/991795/task/991806/stat : 991806 (Finalizer) S 991792 991795 987379 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 192831281 19566772224 65609 134679101440 94816650326016 94816650329712 140734837300416 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94816650337528 94816650338320 94816672657408 140734837302278 140734837302368 140734837302368 140734837309384 0
[pid=991795/tid=991813] ppid=991792 vsize=19108176 memory=13012 CPUtime=0 cores=4,6
/proc/991795/task/991813/stat : 991813 (Common-Cleaner) S 991792 991795 987379 0 -1 1077936192 59 0 0 0 0 0 0 0 20 0 20 0 192831281 19566772224 65609 134679101440 94816650326016 94816650329712 140734837300416 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94816650337528 94816650338320 94816672657408 140734837302278 140734837302368 140734837302368 140734837309384 0
[pid=991795/tid=991815] ppid=991792 vsize=19108176 memory=45656 CPUtime=0 cores=4,6
/proc/991795/task/991815/stat : 991815 (Timer-0) S 991792 991795 987379 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 192831307 19566772224 65609 134679101440 94816650326016 94816650329712 140734837300416 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94816650337528 94816650338320 94816672657408 140734837302278 140734837302368 140734837302368 140734837309384 0
Current children cumulated CPU time: 13.77 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 262436 KiB

[startup+25.5003 s]
/proc/loadavg: 2.52 2.24 2.20 3/283 991887
/proc/meminfo: memFree=125296852/131524600 swapFree=131071996/131071996
[pid=991795] ppid=991792 vsize=19108176 memory=397816 CPUtime=26.65 cores=4,6
/proc/991795/stat : 991795 (java) S 991792 991795 987379 0 -1 1077936128 25800 0 0 0 2653 12 0 0 20 0 20 0 192831278 19566772224 99454 134679101440 94816650326016 94816650329712 140734837300416 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94816650337528 94816650338320 94816672657408 140734837302278 140734837302368 140734837302368 140734837309384 0
/proc/991795/statm: 4777044 99454 5916 1 0 552721 0
[pid=991795/tid=991797] ppid=991792 vsize=19108176 memory=326052 CPUtime=25.17 cores=4,6
/proc/991795/task/991797/stat : 991797 (java) R 991792 991795 987379 0 -1 4194368 9752 0 0 0 2512 5 0 0 20 0 20 0 192831278 19566772224 99454 134679101440 94816650326016 94816650329712 140734837300416 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94816650337528 94816650338320 94816672657408 140734837302278 140734837302368 140734837302368 140734837309384 0
[pid=991795/tid=991806] ppid=991792 vsize=19108176 memory=326048 CPUtime=0 cores=4,6
/proc/991795/task/991806/stat : 991806 (Finalizer) S 991792 991795 987379 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 192831281 19566772224 99454 134679101440 94816650326016 94816650329712 140734837300416 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94816650337528 94816650338320 94816672657408 140734837302278 140734837302368 140734837302368 140734837309384 0
[pid=991795/tid=991813] ppid=991792 vsize=19108176 memory=11488 CPUtime=0 cores=4,6
/proc/991795/task/991813/stat : 991813 (Common-Cleaner) S 991792 991795 987379 0 -1 1077936192 59 0 0 0 0 0 0 0 20 0 20 0 192831281 19566772224 99454 134679101440 94816650326016 94816650329712 140734837300416 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94816650337528 94816650338320 94816672657408 140734837302278 140734837302368 140734837302368 140734837309384 0
[pid=991795/tid=991815] ppid=991792 vsize=19108176 memory=-9030952465697383100 CPUtime=0 cores=4,6
/proc/991795/task/991815/stat : 991815 (Timer-0) S 991792 991795 987379 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 192831307 19566772224 99454 134679101440 94816650326016 94816650329712 140734837300416 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94816650337528 94816650338320 94816672657408 140734837302278 140734837302368 140734837302368 140734837309384 0
Current children cumulated CPU time: 26.65 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 397816 KiB

[startup+51.1053 s]
/proc/loadavg: 2.54 2.27 2.21 3/283 991890
/proc/meminfo: memFree=124567832/131524600 swapFree=131071996/131071996
[pid=991795] ppid=991792 vsize=19108176 memory=713280 CPUtime=52.5 cores=4,6
/proc/991795/stat : 991795 (java) S 991792 991795 987379 0 -1 1077936128 32219 0 0 0 5231 19 0 0 20 0 20 0 192831278 19566772224 178320 134679101440 94816650326016 94816650329712 140734837300416 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94816650337528 94816650338320 94816672657408 140734837302278 140734837302368 140734837302368 140734837309384 0
/proc/991795/statm: 4777044 178320 5916 1 0 552721 0
[pid=991795/tid=991797] ppid=991792 vsize=19108176 memory=653884 CPUtime=50.41 cores=4,6
/proc/991795/task/991797/stat : 991797 (java) R 991792 991795 987379 0 -1 4194368 11287 0 0 0 5036 5 0 0 20 0 20 0 192831278 19566772224 178320 134679101440 94816650326016 94816650329712 140734837300416 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94816650337528 94816650338320 94816672657408 140734837302278 140734837302368 140734837302368 140734837309384 0

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

/proc/991795/task/991806/stat : 991806 (Finalizer) S 991792 991795 987379 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 192831281 19566772224 1188275 134679101440 94816650326016 94816650329712 140734837300416 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94816650337528 94816650338320 94816672657408 140734837302278 140734837302368 140734837302368 140734837309384 0
[pid=991795/tid=991813] ppid=991792 vsize=19108176 memory=4753100 CPUtime=0 cores=4,6
/proc/991795/task/991813/stat : 991813 (Common-Cleaner) S 991792 991795 987379 0 -1 1077936192 3045 0 0 0 0 0 0 0 20 0 20 0 192831281 19566772224 1188275 134679101440 94816650326016 94816650329712 140734837300416 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94816650337528 94816650338320 94816672657408 140734837302278 140734837302368 140734837302368 140734837309384 0
[pid=991795/tid=991815] ppid=991792 vsize=19108176 memory=11488 CPUtime=0 cores=4,6
/proc/991795/task/991815/stat : 991815 (Timer-0) S 991792 991795 987379 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 192831307 19566772224 1188275 134679101440 94816650326016 94816650329712 140734837300416 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94816650337528 94816650338320 94816672657408 140734837302278 140734837302368 140734837302368 140734837309384 0
Current children cumulated CPU time: 3230.83 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4753100 KiB

[startup+3282.3 s]
/proc/loadavg: 2.22 2.16 2.15 3/279 993432
/proc/meminfo: memFree=115524036/131524600 swapFree=131071996/131071996
[pid=991795] ppid=991792 vsize=19108176 memory=4812556 CPUtime=3290.82 cores=4,6
/proc/991795/stat : 991795 (java) S 991792 991795 987379 0 -1 1077936128 221779 0 0 0 328866 216 0 0 20 0 20 0 192831278 19566772224 1203139 134679101440 94816650326016 94816650329712 140734837300416 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94816650337528 94816650338320 94816672657408 140734837302278 140734837302368 140734837302368 140734837309384 0
/proc/991795/statm: 4777044 1203139 5916 1 0 1506759 0
[pid=991795/tid=991797] ppid=991792 vsize=19108176 memory=-9030952465697383100 CPUtime=3261.09 cores=4,6
/proc/991795/task/991797/stat : 991797 (java) R 991792 991795 987379 0 -1 4194368 92680 0 0 0 326068 41 0 0 20 0 20 0 192831278 19566772224 1203139 134679101440 94816650326016 94816650329712 140734837300416 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 94816650337528 94816650338320 94816672657408 140734837302278 140734837302368 140734837302368 140734837309384 0
[pid=991795/tid=991806] ppid=991792 vsize=19108176 memory=32304 CPUtime=0 cores=4,6
/proc/991795/task/991806/stat : 991806 (Finalizer) S 991792 991795 987379 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 192831281 19566772224 1203139 134679101440 94816650326016 94816650329712 140734837300416 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94816650337528 94816650338320 94816672657408 140734837302278 140734837302368 140734837302368 140734837309384 0
[pid=991795/tid=991813] ppid=991792 vsize=19108176 memory=5444 CPUtime=0 cores=4,6
/proc/991795/task/991813/stat : 991813 (Common-Cleaner) S 991792 991795 987379 0 -1 1077936192 3045 0 0 0 0 0 0 0 20 0 20 0 192831281 19566772224 1203139 134679101440 94816650326016 94816650329712 140734837300416 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94816650337528 94816650338320 94816672657408 140734837302278 140734837302368 140734837302368 140734837309384 0
[pid=991795/tid=991815] ppid=991792 vsize=19108176 memory=4812556 CPUtime=0 cores=4,6
/proc/991795/task/991815/stat : 991815 (Timer-0) S 991792 991795 987379 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 192831307 19566772224 1203139 134679101440 94816650326016 94816650329712 140734837300416 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94816650337528 94816650338320 94816672657408 140734837302278 140734837302368 140734837302368 140734837309384 0
Current children cumulated CPU time: 3290.82 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4812556 KiB

[startup+3342.3 s]
/proc/loadavg: 2.13 2.14 2.14 3/279 993443
/proc/meminfo: memFree=115500312/131524600 swapFree=131071996/131071996
[pid=991795] ppid=991792 vsize=19108176 memory=4829612 CPUtime=3350.93 cores=4,6
/proc/991795/stat : 991795 (java) S 991792 991795 987379 0 -1 1077936128 225092 0 0 0 334875 218 0 0 20 0 20 0 192831278 19566772224 1207403 134679101440 94816650326016 94816650329712 140734837300416 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94816650337528 94816650338320 94816672657408 140734837302278 140734837302368 140734837302368 140734837309384 0
/proc/991795/statm: 4777044 1207403 5916 1 0 1506759 0
[pid=991795/tid=991797] ppid=991792 vsize=19108176 memory=2636 CPUtime=3320.69 cores=4,6
/proc/991795/task/991797/stat : 991797 (java) R 991792 991795 987379 0 -1 4194368 94217 0 0 0 332027 42 0 0 20 0 20 0 192831278 19566772224 1207403 134679101440 94816650326016 94816650329712 140734837300416 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 94816650337528 94816650338320 94816672657408 140734837302278 140734837302368 140734837302368 140734837309384 0
[pid=991795/tid=991806] ppid=991792 vsize=19108176 memory=4812556 CPUtime=0 cores=4,6
/proc/991795/task/991806/stat : 991806 (Finalizer) S 991792 991795 987379 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 192831281 19566772224 1207403 134679101440 94816650326016 94816650329712 140734837300416 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94816650337528 94816650338320 94816672657408 140734837302278 140734837302368 140734837302368 140734837309384 0
[pid=991795/tid=991813] ppid=991792 vsize=19108176 memory=11488 CPUtime=0 cores=4,6
/proc/991795/task/991813/stat : 991813 (Common-Cleaner) S 991792 991795 987379 0 -1 1077936192 3092 0 0 0 0 0 0 0 20 0 20 0 192831281 19566772224 1207403 134679101440 94816650326016 94816650329712 140734837300416 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94816650337528 94816650338320 94816672657408 140734837302278 140734837302368 140734837302368 140734837309384 0
[pid=991795/tid=991815] ppid=991792 vsize=19108176 memory=-9030952465697383100 CPUtime=0 cores=4,6
/proc/991795/task/991815/stat : 991815 (Timer-0) S 991792 991795 987379 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 192831307 19566772224 1207403 134679101440 94816650326016 94816650329712 140734837300416 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94816650337528 94816650338320 94816672657408 140734837302278 140734837302368 140734837302368 140734837309384 0
Current children cumulated CPU time: 3350.93 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4829612 KiB

[startup+3402.3 s]
/proc/loadavg: 2.16 2.15 2.14 3/281 993623
/proc/meminfo: memFree=115449652/131524600 swapFree=131071996/131071996
[pid=991795] ppid=991792 vsize=19108176 memory=4879024 CPUtime=3410.96 cores=4,6
/proc/991795/stat : 991795 (java) S 991792 991795 987379 0 -1 1077936128 228834 0 0 0 340875 221 0 0 20 0 20 0 192831278 19566772224 1219756 134679101440 94816650326016 94816650329712 140734837300416 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94816650337528 94816650338320 94816672657408 140734837302278 140734837302368 140734837302368 140734837309384 0
/proc/991795/statm: 4777044 1219756 5916 1 0 1506759 0
[pid=991795/tid=991797] ppid=991792 vsize=19108176 memory=2636 CPUtime=3380.42 cores=4,6
/proc/991795/task/991797/stat : 991797 (java) R 991792 991795 987379 0 -1 4194368 96319 0 0 0 338000 42 0 0 20 0 20 0 192831278 19566772224 1219756 134679101440 94816650326016 94816650329712 140734837300416 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 94816650337528 94816650338320 94816672657408 140734837302278 140734837302368 140734837302368 140734837309384 0
[pid=991795/tid=991806] ppid=991792 vsize=19108176 memory=4829612 CPUtime=0 cores=4,6
/proc/991795/task/991806/stat : 991806 (Finalizer) S 991792 991795 987379 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 192831281 19566772224 1219756 134679101440 94816650326016 94816650329712 140734837300416 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94816650337528 94816650338320 94816672657408 140734837302278 140734837302368 140734837302368 140734837309384 0
[pid=991795/tid=991813] ppid=991792 vsize=19108176 memory=11488 CPUtime=0 cores=4,6
/proc/991795/task/991813/stat : 991813 (Common-Cleaner) S 991792 991795 987379 0 -1 1077936192 3173 0 0 0 0 0 0 0 20 0 20 0 192831281 19566772224 1219756 134679101440 94816650326016 94816650329712 140734837300416 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94816650337528 94816650338320 94816672657408 140734837302278 140734837302368 140734837302368 140734837309384 0
[pid=991795/tid=991815] ppid=991792 vsize=19108176 memory=4829612 CPUtime=0 cores=4,6
/proc/991795/task/991815/stat : 991815 (Timer-0) S 991792 991795 987379 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 192831307 19566772224 1219756 134679101440 94816650326016 94816650329712 140734837300416 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94816650337528 94816650338320 94816672657408 140734837302278 140734837302368 140734837302368 140734837309384 0
Current children cumulated CPU time: 3410.96 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4879024 KiB

[startup+3462.3 s]
/proc/loadavg: 2.12 2.13 2.14 3/281 993633
/proc/meminfo: memFree=115443080/131524600 swapFree=131071996/131071996
[pid=991795] ppid=991792 vsize=19108176 memory=4879024 CPUtime=3470.83 cores=4,6
/proc/991795/stat : 991795 (java) S 991792 991795 987379 0 -1 1077936128 230745 0 0 0 346860 223 0 0 20 0 20 0 192831278 19566772224 1219756 134679101440 94816650326016 94816650329712 140734837300416 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94816650337528 94816650338320 94816672657408 140734837302278 140734837302368 140734837302368 140734837309384 0
/proc/991795/statm: 4777044 1219756 5916 1 0 1506759 0
[pid=991795/tid=991797] ppid=991792 vsize=19108176 memory=2636 CPUtime=3440.26 cores=4,6
/proc/991795/task/991797/stat : 991797 (java) R 991792 991795 987379 0 -1 4194368 98029 0 0 0 343984 42 0 0 20 0 20 0 192831278 19566772224 1219756 134679101440 94816650326016 94816650329712 140734837300416 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 94816650337528 94816650338320 94816672657408 140734837302278 140734837302368 140734837302368 140734837309384 0
[pid=991795/tid=991806] ppid=991792 vsize=19108176 memory=11488 CPUtime=0 cores=4,6
/proc/991795/task/991806/stat : 991806 (Finalizer) S 991792 991795 987379 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 192831281 19566772224 1219756 134679101440 94816650326016 94816650329712 140734837300416 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94816650337528 94816650338320 94816672657408 140734837302278 140734837302368 140734837302368 140734837309384 0
[pid=991795/tid=991813] ppid=991792 vsize=19108176 memory=-8549727012531061399 CPUtime=0 cores=4,6
/proc/991795/task/991813/stat : 991813 (Common-Cleaner) S 991792 991795 987379 0 -1 1077936192 3255 0 0 0 0 0 0 0 20 0 20 0 192831281 19566772224 1219756 134679101440 94816650326016 94816650329712 140734837300416 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94816650337528 94816650338320 94816672657408 140734837302278 140734837302368 140734837302368 140734837309384 0
[pid=991795/tid=991815] ppid=991792 vsize=19108176 memory=4879024 CPUtime=0 cores=4,6
/proc/991795/task/991815/stat : 991815 (Timer-0) S 991792 991795 987379 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 192831307 19566772224 1219756 134679101440 94816650326016 94816650329712 140734837300416 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94816650337528 94816650338320 94816672657408 140734837302278 140734837302368 140734837302368 140734837309384 0
Current children cumulated CPU time: 3470.83 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4879024 KiB

[startup+3522.3 s]
/proc/loadavg: 2.10 2.12 2.13 3/282 993700
/proc/meminfo: memFree=114569628/131524600 swapFree=131071996/131071996
[pid=991795] ppid=991792 vsize=19108176 memory=5425852 CPUtime=3531.16 cores=4,6
/proc/991795/stat : 991795 (java) S 991792 991795 987379 0 -1 1077936128 234641 0 0 0 352878 238 0 0 20 0 20 0 192831278 19566772224 1356463 134679101440 94816650326016 94816650329712 140734837300416 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94816650337528 94816650338320 94816672657408 140734837302278 140734837302368 140734837302368 140734837309384 0
/proc/991795/statm: 4777044 1356463 5916 1 0 1506759 0
[pid=991795/tid=991797] ppid=991792 vsize=19108176 memory=5175996 CPUtime=3499.65 cores=4,6
/proc/991795/task/991797/stat : 991797 (java) R 991792 991795 987379 0 -1 4194368 99854 0 0 0 349923 42 0 0 20 0 20 0 192831278 19566772224 1356463 134679101440 94816650326016 94816650329712 140734837300416 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 94816650337528 94816650338320 94816672657408 140734837302278 140734837302368 140734837302368 140734837309384 0
[pid=991795/tid=991806] ppid=991792 vsize=19108176 memory=5444 CPUtime=0 cores=4,6
/proc/991795/task/991806/stat : 991806 (Finalizer) S 991792 991795 987379 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 192831281 19566772224 1356463 134679101440 94816650326016 94816650329712 140734837300416 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94816650337528 94816650338320 94816672657408 140734837302278 140734837302368 140734837302368 140734837309384 0
[pid=991795/tid=991813] ppid=991792 vsize=19108176 memory=5175996 CPUtime=0 cores=4,6
/proc/991795/task/991813/stat : 991813 (Common-Cleaner) S 991792 991795 987379 0 -1 1077936192 3303 0 0 0 0 0 0 0 20 0 20 0 192831281 19566772224 1356463 134679101440 94816650326016 94816650329712 140734837300416 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94816650337528 94816650338320 94816672657408 140734837302278 140734837302368 140734837302368 140734837309384 0
[pid=991795/tid=991815] ppid=991792 vsize=19108176 memory=5425852 CPUtime=0 cores=4,6
/proc/991795/task/991815/stat : 991815 (Timer-0) S 991792 991795 987379 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 192831307 19566772224 1356463 134679101440 94816650326016 94816650329712 140734837300416 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94816650337528 94816650338320 94816672657408 140734837302278 140734837302368 140734837302368 140734837309384 0
Current children cumulated CPU time: 3531.16 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5425852 KiB

[startup+3582.3 s]
/proc/loadavg: 2.14 2.13 2.13 3/281 993711
/proc/meminfo: memFree=114095008/131524600 swapFree=131071996/131071996
[pid=991795] ppid=991792 vsize=19108176 memory=5425852 CPUtime=3591.04 cores=4,6
/proc/991795/stat : 991795 (java) S 991792 991795 987379 0 -1 1077936128 236946 0 0 0 358863 241 0 0 20 0 20 0 192831278 19566772224 1356463 134679101440 94816650326016 94816650329712 140734837300416 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94816650337528 94816650338320 94816672657408 140734837302278 140734837302368 140734837302368 140734837309384 0
/proc/991795/statm: 4777044 1356463 5916 1 0 1506759 0
[pid=991795/tid=991797] ppid=991792 vsize=19108176 memory=5425852 CPUtime=3559.5 cores=4,6
/proc/991795/task/991797/stat : 991797 (java) R 991792 991795 987379 0 -1 4194368 101942 0 0 0 355908 42 0 0 20 0 20 0 192831278 19566772224 1356463 134679101440 94816650326016 94816650329712 140734837300416 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 94816650337528 94816650338320 94816672657408 140734837302278 140734837302368 140734837302368 140734837309384 0
[pid=991795/tid=991806] ppid=991792 vsize=19108176 memory=39384 CPUtime=0 cores=4,6
/proc/991795/task/991806/stat : 991806 (Finalizer) S 991792 991795 987379 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 192831281 19566772224 1356463 134679101440 94816650326016 94816650329712 140734837300416 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94816650337528 94816650338320 94816672657408 140734837302278 140734837302368 140734837302368 140734837309384 0
[pid=991795/tid=991813] ppid=991792 vsize=19108176 memory=97 CPUtime=0 cores=4,6
/proc/991795/task/991813/stat : 991813 (Common-Cleaner) S 991792 991795 987379 0 -1 1077936192 3445 0 0 0 0 0 0 0 20 0 20 0 192831281 19566772224 1356463 134679101440 94816650326016 94816650329712 140734837300416 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94816650337528 94816650338320 94816672657408 140734837302278 140734837302368 140734837302368 140734837309384 0
[pid=991795/tid=991815] ppid=991792 vsize=19108176 memory=-9030952465697383100 CPUtime=0 cores=4,6
/proc/991795/task/991815/stat : 991815 (Timer-0) S 991792 991795 987379 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 192831307 19566772224 1356463 134679101440 94816650326016 94816650329712 140734837300416 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94816650337528 94816650338320 94816672657408 140734837302278 140734837302368 140734837302368 140734837309384 0
Current children cumulated CPU time: 3591.04 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5425852 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3591.11 s]
/proc/loadavg: 2.11 2.12 2.13 3/281 993713
/proc/meminfo: memFree=113846616/131524600 swapFree=131071996/131071996
[pid=991795] ppid=991792 vsize=19108176 memory=5673660 CPUtime=3600.02 cores=4,6
/proc/991795/stat : 991795 (java) S 991792 991795 987379 0 -1 1077936128 238725 0 0 0 359757 245 0 0 20 0 20 0 192831278 19566772224 1418415 134679101440 94816650326016 94816650329712 140734837300416 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94816650337528 94816650338320 94816672657408 140734837302278 140734837302368 140734837302368 140734837309384 0
/proc/991795/statm: 4777044 1418415 5916 1 0 1506759 0
[pid=991795/tid=991797] ppid=991792 vsize=19108176 memory=5425852 CPUtime=3568.06 cores=4,6
/proc/991795/task/991797/stat : 991797 (java) R 991792 991795 987379 0 -1 4194368 102256 0 0 0 356764 42 0 0 20 0 20 0 192831278 19566772224 1418415 134679101440 94816650326016 94816650329712 140734837300416 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 94816650337528 94816650338320 94816672657408 140734837302278 140734837302368 140734837302368 140734837309384 0
[pid=991795/tid=991806] ppid=991792 vsize=19108176 memory=5425852 CPUtime=0 cores=4,6
/proc/991795/task/991806/stat : 991806 (Finalizer) S 991792 991795 987379 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 192831281 19566772224 1418415 134679101440 94816650326016 94816650329712 140734837300416 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94816650337528 94816650338320 94816672657408 140734837302278 140734837302368 140734837302368 140734837309384 0
[pid=991795/tid=991813] ppid=991792 vsize=19108176 memory=11488 CPUtime=0 cores=4,6
/proc/991795/task/991813/stat : 991813 (Common-Cleaner) S 991792 991795 987379 0 -1 1077936192 3445 0 0 0 0 0 0 0 20 0 20 0 192831281 19566772224 1418415 134679101440 94816650326016 94816650329712 140734837300416 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94816650337528 94816650338320 94816672657408 140734837302278 140734837302368 140734837302368 140734837309384 0
[pid=991795/tid=991815] ppid=991792 vsize=19108176 memory=5425852 CPUtime=0 cores=4,6
/proc/991795/task/991815/stat : 991815 (Timer-0) S 991792 991795 987379 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 192831307 19566772224 1418415 134679101440 94816650326016 94816650329712 140734837300416 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94816650337528 94816650338320 94816672657408 140734837302278 140734837302368 140734837302368 140734837309384 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5673660 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.7 s, system=2.47462 s

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

[startup+3591.21 s]*
/proc/loadavg: 2.11 2.12 2.13 3/261 993716
/proc/meminfo: memFree=119508292/131524600 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3591.21
CPU time (s): 3600.17
CPU user time (s): 3597.7
CPU system time (s): 2.47462
CPU usage (%): 100.249
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 5673660

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.7
system time used= 2.47462
maximum resident set size= 5675416
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 242325
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3480
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 110011
involuntary context switches= 2698


# summary of solver processes directly reported to runsolver:
#   pid: 991795
#   total CPU time (s): 3600.17
#   total CPU user time (s): 3597.7
#   total CPU system time (s): 2.47462

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.4481 second user time and 12.2009 second system time

The end

Launcher Data 

Begin job on nodeC016 at 2024-07-19 18:31:59
IDJOB=4450144
IDBENCH=160408
IDSOLVER=3058
FILE ID=nodeC016/4450144-1721406707
RUNJOBID= nodeC016-1721399514-987390
SLURM_JOB_ID= 7545428
Free space on /tmp= 890080 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/normalized-3col-almost3reg-l080-r079-n1.cnf-extracted.pb.metafix.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4450144-1721406707/watcher-4450144-1721406707 -o /tmp/evaluation-result-4450144-1721406707/solver-4450144-1721406707 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1721399514-987390 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4450144-1721406707.opb

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

MD5SUM BENCH= c7ad59296e2e055fc86df3342558d493
RANDOM SEED=95847412

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        125804072 kB
MemAvailable:   129545392 kB
Buffers:          395896 kB
Cached:          4187580 kB
SwapCached:            0 kB
Active:           643140 kB
Inactive:        4460480 kB
Active(anon):       1480 kB
Inactive(anon):   564580 kB
Active(file):     641660 kB
Inactive(file):  3895900 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              2748 kB
Writeback:             0 kB
AnonPages:        518676 kB
Mapped:           126616 kB
Shmem:             45912 kB
KReclaimable:      86812 kB
Slab:             198188 kB
SReclaimable:      86812 kB
SUnreclaim:       111376 kB
KernelStack:        4256 kB
PageTables:        10100 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    2920760 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            72416 kB
HardwareCorrupted:     0 kB
AnonHugePages:    352256 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:      207572 kB
DirectMap2M:    13197312 kB
DirectMap1G:    122683392 kB

Free space on /tmp at the end= 890080 MiB
End job on nodeC016 at 2024-07-19 19:31:50