Trace number 4451701

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 Cutting Planes 2024 2024-07-12? (TO) 3600.17 3541.48

General information on the benchmark

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

Solver Data 

0.00/0.06	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.06	c See www.sat4j.org for details.
0.00/0.07	c version CUSTOM.v20240707
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		2106806208
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.14/0.16	Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.14/0.16	 - never skip resolution steps
0.14/0.16	 - Auto-division on coefficients is disabled
0.14/0.16	 - No postprocessing
0.14/0.16	 - Conflict is considered as is when resolving
0.14/0.16	 - Use constraints as they come during conflict analysis
0.14/0.16	 - Weaken first using unassigned literals
0.14/0.16	 - Bump strategy: ALWAYS_ONE
0.14/0.16	 - Bumper: EFFECTIVE
0.14/0.16	--- Begin Solver configuration ---
0.14/0.16	org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@5ecddf8f
0.14/0.16	Learn all clauses as in MiniSAT
0.14/0.16	LOGGER=java.util.logging.Logger@5f5a92bb claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.16	VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.14/0.16	No reason simplification
0.14/0.16	Dynamic restart strategy considering the size of the coefficients
0.14/0.16	Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.UnassignedLiteralsHaveSameLevelLBDComputerStrategy@449b2d27
0.14/0.16	timeout=2147483s
0.14/0.16	DB Simplification allowed=false
0.14/0.16	Listener: none
0.14/0.16	--- End Solver configuration ---
0.14/0.16	c Pseudo Boolean Optimization by upper bound
0.14/0.16	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.14/0.16	c  - never skip resolution steps
0.14/0.16	c  - Auto-division on coefficients is disabled
0.14/0.16	c  - No postprocessing
0.14/0.16	c  - Conflict is considered as is when resolving
0.14/0.16	c  - Use constraints as they come during conflict analysis
0.14/0.16	c  - Weaken first using unassigned literals
0.14/0.16	c  - Bump strategy: ALWAYS_ONE
0.14/0.16	c  - Bumper: EFFECTIVE
0.14/0.16	c --- Begin Solver configuration ---
0.14/0.16	c org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@5ecddf8f
0.14/0.16	c Learn all clauses as in MiniSAT
0.14/0.16	c LOGGER=java.util.logging.Logger@5f5a92bb claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.16	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.14/0.16	c No reason simplification
0.14/0.16	c Dynamic restart strategy considering the size of the coefficients
0.14/0.16	c Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.UnassignedLiteralsHaveSameLevelLBDComputerStrategy@449b2d27
0.14/0.16	c timeout=2147483s
0.14/0.16	c DB Simplification allowed=false
0.14/0.16	c Listener: none
0.14/0.16	c --- End Solver configuration ---
0.14/0.16	c solving HOME/instance-4451701-1721430136.opb
0.14/0.16	c reading problem ... 
0.14/0.16	c  no objective function found
0.14/0.18	c ... done. Wall clock time 0.022s.
0.14/0.18	c declared #vars     303
0.14/0.18	c #constraints  202
0.14/0.18	c constraints type 
0.14/0.18	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 101
0.14/0.18	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 101
0.14/0.18	c 202 constraints processed.
8.75/6.35	c cleaning 2501 clauses out of 5001 with flag 0/5001
15.15/12.37	c cleaning 4248 clauses out of 8500 with flag 0/11001
22.31/19.38	c cleaning 5623 clauses out of 11252 with flag 0/18001
29.92/26.85	c cleaning 6814 clauses out of 13628 with flag 0/26000
39.77/36.45	c cleaning 7905 clauses out of 15814 with flag 0/35000
51.82/48.29	c cleaning 8950 clauses out of 17910 with flag 0/45001
64.20/60.23	c cleaning 9980 clauses out of 19960 with flag 0/56001
79.98/75.78	c cleaning 10989 clauses out of 21982 with flag 0/68003
95.97/91.49	c cleaning 11991 clauses out of 23990 with flag 0/81000
115.38/110.53	c cleaning 13001 clauses out of 26001 with flag 0/95002
138.14/132.97	c cleaning 13995 clauses out of 27999 with flag 0/110001
161.27/155.51	c cleaning 15004 clauses out of 30007 with flag 0/126004
185.21/179.02	c cleaning 15997 clauses out of 32001 with flag 0/143002
212.42/205.93	c cleaning 16999 clauses out of 34004 with flag 0/161002
238.76/231.77	c cleaning 17998 clauses out of 36004 with flag 0/180001
271.14/263.49	c cleaning 19000 clauses out of 38011 with flag 0/200006
305.77/297.12	c cleaning 20003 clauses out of 40005 with flag 0/221000
341.98/332.92	c cleaning 21003 clauses out of 42005 with flag 0/243003
381.76/372.14	c cleaning 21996 clauses out of 43999 with flag 0/266000
423.27/412.94	c cleaning 22997 clauses out of 46004 with flag 0/290001
470.21/459.13	c cleaning 24008 clauses out of 48016 with flag 0/315010
516.28/504.44	c cleaning 25000 clauses out of 50000 with flag 0/341002
565.75/553.09	c cleaning 25995 clauses out of 52000 with flag 0/368002
627.54/614.04	c cleaning 27003 clauses out of 54008 with flag 0/396005
690.72/676.08	c cleaning 28000 clauses out of 56001 with flag 0/425001
753.80/737.90	c cleaning 28996 clauses out of 58004 with flag 0/455004
839.53/822.30	c cleaning 30003 clauses out of 60005 with flag 0/486001
908.82/890.64	c cleaning 30999 clauses out of 62001 with flag 0/518000
975.69/956.40	c cleaning 32003 clauses out of 64009 with flag 0/551007
1066.68/1046.05	c cleaning 32998 clauses out of 65999 with flag 0/585000
1166.47/1144.16	c cleaning 34001 clauses out of 68006 with flag 0/620005
1273.41/1248.93	c cleaning 34998 clauses out of 70000 with flag 0/656000
1393.46/1367.73	c cleaning 35997 clauses out of 72003 with flag 0/693001
1508.48/1481.72	c cleaning 37005 clauses out of 74009 with flag 0/731004
1626.47/1598.40	c cleaning 37997 clauses out of 76000 with flag 0/770000
1742.78/1713.28	c cleaning 39000 clauses out of 78003 with flag 0/810000
1884.36/1853.25	c cleaning 39999 clauses out of 80007 with flag 0/851004
2021.27/1988.28	c cleaning 41002 clauses out of 82006 with flag 0/893002
2167.74/2132.19	c cleaning 41995 clauses out of 84002 with flag 0/936000
2319.92/2281.65	c cleaning 43007 clauses out of 86013 with flag 0/980006
2482.21/2441.71	c cleaning 44001 clauses out of 88006 with flag 0/1025006
2660.84/2617.37	c cleaning 44992 clauses out of 90001 with flag 0/1071002
2844.49/2798.43	c cleaning 45998 clauses out of 92009 with flag 0/1118002
3054.06/3003.81	c cleaning 47003 clauses out of 94010 with flag 0/1166001
3245.65/3192.58	c cleaning 48004 clauses out of 96011 with flag 0/1215005
3473.46/3416.73	c cleaning 48997 clauses out of 98004 with flag 0/1265002
3600.04/3541.41	c starts		: 2916
3600.04/3541.41	c timeout
3600.04/3541.41	c conflicts		: 1295808
3600.04/3541.41	c decisions		: 1452667
3600.04/3541.41	c propagations		: 17885056
3600.04/3541.41	c inspects		: 3344707185
3600.04/3541.41	c shortcuts		: 0
3600.04/3541.41	c learnt literals	: 0
3600.04/3541.42	c learnt binary clauses	: 0
3600.04/3541.42	c learnt ternary clauses	: 0
3600.04/3541.42	c learnt constraints	: 1295808
3600.04/3541.42	c ignored constraints	: 0
3600.04/3541.42	c root simplifications	: 0
3600.04/3541.42	c removed literals (reason simplification)	: 0
3600.04/3541.42	c reason swapping (by a shorter reason)	: 0
3600.04/3541.42	c Calls to reduceDB	: 46
3600.04/3541.42	c Number of update (reduction) of LBD	: 1050507
3600.04/3541.42	c Imported unit clauses	: 0
3600.04/3541.42	c No decision after first conflict	: false
3600.04/3541.42	c number of reductions to clauses (during analyze)	: 0
3600.04/3541.42	c number of learned constraints concerned by reduction	: 0
3600.04/3541.42	c number of learning phase by resolution	: 0
3600.04/3541.42	c number of learning phase by cutting planes	: 0
3600.04/3541.42	c number of rounding to 1 operations	: 0
3600.04/3541.42	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.04/3541.42	c number of reductions of the coefficients by power 2 	: 0
3600.04/3541.42	c number of right shift for reduction by power 2 	: 0
3600.04/3541.42	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.04/3541.42	c number of ending skipping 	: 0
3600.04/3541.42	c number of internal skipping 	: 0
3600.04/3541.42	c number of derivation steps 	: 10205885
3600.04/3541.42	c number of skipped derivation steps 	: 0
3600.04/3541.42	c number of remaining unassigned 	: 7371
3600.04/3541.42	c number of remaining assigned 	: 661532662
3600.04/3541.42	c number of falsified literals weakened from reason	: 0
3600.04/3541.42	c number of falsified literals weakened from conflict	: 0
3600.04/3541.42	c time for arithmetic operations	: 8126506692
3600.04/3541.42	c minimum degree of deleted constraints	: 1
3600.04/3541.42	c maximum degree of deleted constraints	: 2418630
3600.04/3541.42	c number of deleted constraints	: 1215995
3600.04/3541.42	c speed (assignments/second)	: 5050.50374981433
3600.04/3541.42	c non guided choices	: 88
3600.04/3541.46	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 1
3600.04/3541.46	c learnt constraints type org.sat4j.pb.constraints.pb.MinWatchCardPB	: 26
3600.04/3541.46	c learnt constraints type org.sat4j.pb.constraints.pb.PuebloMinWatchPb	: 79786
3600.04/3541.46	s UNKNOWN
3600.04/3541.46	c Total wall clock time (in seconds): 3541.315

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4451701-1721430136/watcher-4451701-1721430136 -o /tmp/evaluation-result-4451701-1721430136/solver-4451701-1721430136 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1721422956-1045725 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4451701-1721430136.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.100483 s]*
/proc/loadavg: 4.23 4.22 4.24 7/333 1050682
/proc/meminfo: memFree=119057164/131524600 swapFree=131071996/131071996
[pid=1050664] ppid=1050661 vsize=18975048 memory=65616 CPUtime=0.14 cores=0,2
/proc/1050664/stat : 1050664 (java) S 1050661 1050664 1045715 0 -1 1077936128 7203 0 0 0 12 2 0 0 20 0 18 0 195177779 19430449152 16404 134679101440 94466753187840 94466753191536 140725146031520 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94466753199352 94466753200144 94466760208384 140725146039283 140725146039391 140725146039391 140725146046408 0
/proc/1050664/statm: 4743762 16404 5737 1 0 549357 0
[pid=1050664/tid=1050666] ppid=1050661 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=0,2
/proc/1050664/task/1050666/stat : 1050666 (java) D 1050661 1050664 1045715 0 -1 1078198336 5765 0 0 0 7 1 0 0 20 0 18 0 195177779 19430449152 16404 134679101440 94466753187840 94466753191536 140725146031520 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94466753199352 94466753200144 94466760208384 140725146039283 140725146039391 140725146039391 140725146046408 0
[pid=1050664/tid=1050675] ppid=1050661 vsize=18975048 memory=237146210664 CPUtime=0 cores=0,2
/proc/1050664/task/1050675/stat : 1050675 (Finalizer) S 1050661 1050664 1045715 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 195177782 19430449152 16404 134679101440 94466753187840 94466753191536 140725146031520 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94466753199352 94466753200144 94466760208384 140725146039283 140725146039391 140725146039391 140725146046408 0
[pid=1050664/tid=1050682] ppid=1050661 vsize=18975048 memory=14126753849302661 CPUtime=0 cores=0,2
/proc/1050664/task/1050682/stat : 1050682 (Common-Cleaner) S 1050661 1050664 1045715 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 195177783 19430449152 16404 134679101440 94466753187840 94466753191536 140725146031520 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94466753199352 94466753200144 94466760208384 140725146039283 140725146039391 140725146039391 140725146046408 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 65616 KiB

[startup+0.206262 s]*
/proc/loadavg: 4.23 4.22 4.24 7/334 1050683
/proc/meminfo: memFree=119044572/131524600 swapFree=131071996/131071996
[pid=1050664] ppid=1050661 vsize=19041612 memory=71252 CPUtime=0.33 cores=0,2
/proc/1050664/stat : 1050664 (java) S 1050661 1050664 1045715 0 -1 1077936128 7665 0 0 0 31 2 0 0 20 0 19 0 195177779 19498610688 17813 134679101440 94466753187840 94466753191536 140725146031520 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94466753199352 94466753200144 94466760208384 140725146039283 140725146039391 140725146039391 140725146046408 0
/proc/1050664/statm: 4760403 17813 5754 1 0 549993 0
[pid=1050664/tid=1050666] ppid=1050661 vsize=19041612 memory=6876556183782621315 CPUtime=0.19 cores=0,2
/proc/1050664/task/1050666/stat : 1050666 (java) R 1050661 1050664 1045715 0 -1 4194368 6088 0 0 0 17 2 0 0 20 0 19 0 195177779 19498610688 17813 134679101440 94466753187840 94466753191536 140725146031520 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94466753199352 94466753200144 94466760208384 140725146039283 140725146039391 140725146039391 140725146046408 0
[pid=1050664/tid=1050675] ppid=1050661 vsize=19041612 memory=19020 CPUtime=0 cores=0,2
/proc/1050664/task/1050675/stat : 1050675 (Finalizer) S 1050661 1050664 1045715 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 195177782 19498610688 17813 134679101440 94466753187840 94466753191536 140725146031520 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94466753199352 94466753200144 94466760208384 140725146039283 140725146039391 140725146039391 140725146046408 0
[pid=1050664/tid=1050682] ppid=1050661 vsize=19041612 memory=15544020042516216 CPUtime=0 cores=0,2
/proc/1050664/task/1050682/stat : 1050682 (Common-Cleaner) S 1050661 1050664 1045715 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 195177783 19498610688 17813 134679101440 94466753187840 94466753191536 140725146031520 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94466753199352 94466753200144 94466760208384 140725146039283 140725146039391 140725146039391 140725146046408 0
[pid=1050664/tid=1050683] ppid=1050661 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/1050664/task/1050683/stat : 1050683 (Timer-0) S 1050661 1050664 1045715 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 195177797 19498610688 17813 134679101440 94466753187840 94466753191536 140725146031520 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94466753199352 94466753200144 94466760208384 140725146039283 140725146039391 140725146039391 140725146046408 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 71252 KiB

[startup+0.305966 s]*
/proc/loadavg: 4.23 4.22 4.24 8/334 1050683
/proc/meminfo: memFree=119031780/131524600 swapFree=131071996/131071996
[pid=1050664] ppid=1050661 vsize=19041612 memory=84488 CPUtime=0.52 cores=0,2
/proc/1050664/stat : 1050664 (java) S 1050661 1050664 1045715 0 -1 1077936128 7980 0 0 0 50 2 0 0 20 0 19 0 195177779 19498610688 21122 134679101440 94466753187840 94466753191536 140725146031520 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94466753199352 94466753200144 94466760208384 140725146039283 140725146039391 140725146039391 140725146046408 0
/proc/1050664/statm: 4760403 21122 5858 1 0 550135 0
[pid=1050664/tid=1050666] ppid=1050661 vsize=19041612 memory=-7811877811187377505 CPUtime=0.28 cores=0,2
/proc/1050664/task/1050666/stat : 1050666 (java) R 1050661 1050664 1045715 0 -1 4194368 6126 0 0 0 26 2 0 0 20 0 19 0 195177779 19498610688 21122 134679101440 94466753187840 94466753191536 140725146031520 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94466753199352 94466753200144 94466760208384 140725146039283 140725146039391 140725146039391 140725146046408 0
[pid=1050664/tid=1050675] ppid=1050661 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/1050664/task/1050675/stat : 1050675 (Finalizer) S 1050661 1050664 1045715 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 195177782 19498610688 21122 134679101440 94466753187840 94466753191536 140725146031520 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94466753199352 94466753200144 94466760208384 140725146039283 140725146039391 140725146039391 140725146046408 0
[pid=1050664/tid=1050682] ppid=1050661 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/1050664/task/1050682/stat : 1050682 (Common-Cleaner) S 1050661 1050664 1045715 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 195177783 19498610688 21122 134679101440 94466753187840 94466753191536 140725146031520 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94466753199352 94466753200144 94466760208384 140725146039283 140725146039391 140725146039391 140725146046408 0
[pid=1050664/tid=1050683] ppid=1050661 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/1050664/task/1050683/stat : 1050683 (Timer-0) S 1050661 1050664 1045715 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 195177797 19498610688 21122 134679101440 94466753187840 94466753191536 140725146031520 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94466753199352 94466753200144 94466760208384 140725146039283 140725146039391 140725146039391 140725146046408 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 84488 KiB

[startup+0.7036 s]
/proc/loadavg: 4.23 4.22 4.24 8/334 1050683
/proc/meminfo: memFree=118956752/131524600 swapFree=131071996/131071996
[pid=1050664] ppid=1050661 vsize=19108176 memory=170592 CPUtime=1.29 cores=0,2
/proc/1050664/stat : 1050664 (java) S 1050661 1050664 1045715 0 -1 1077936128 10655 0 0 0 125 4 0 0 20 0 20 0 195177779 19566772224 42648 134679101440 94466753187840 94466753191536 140725146031520 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94466753199352 94466753200144 94466760208384 140725146039283 140725146039391 140725146039391 140725146046408 0
/proc/1050664/statm: 4777044 42648 5890 1 0 552306 0
[pid=1050664/tid=1050666] ppid=1050661 vsize=19108176 memory=48568 CPUtime=0.66 cores=0,2
/proc/1050664/task/1050666/stat : 1050666 (java) R 1050661 1050664 1045715 0 -1 4194368 6173 0 0 0 63 3 0 0 20 0 20 0 195177779 19566772224 42648 134679101440 94466753187840 94466753191536 140725146031520 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94466753199352 94466753200144 94466760208384 140725146039283 140725146039391 140725146039391 140725146046408 0
[pid=1050664/tid=1050675] ppid=1050661 vsize=19108176 memory=12576 CPUtime=0 cores=0,2
/proc/1050664/task/1050675/stat : 1050675 (Finalizer) S 1050661 1050664 1045715 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 195177782 19566772224 42648 134679101440 94466753187840 94466753191536 140725146031520 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94466753199352 94466753200144 94466760208384 140725146039283 140725146039391 140725146039391 140725146046408 0
[pid=1050664/tid=1050682] ppid=1050661 vsize=19108176 memory=2232 CPUtime=0 cores=0,2
/proc/1050664/task/1050682/stat : 1050682 (Common-Cleaner) S 1050661 1050664 1045715 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 195177783 19566772224 42648 134679101440 94466753187840 94466753191536 140725146031520 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94466753199352 94466753200144 94466760208384 140725146039283 140725146039391 140725146039391 140725146046408 0
[pid=1050664/tid=1050683] ppid=1050661 vsize=19108176 memory=1892 CPUtime=0 cores=0,2
/proc/1050664/task/1050683/stat : 1050683 (Timer-0) S 1050661 1050664 1045715 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 195177797 19566772224 42648 134679101440 94466753187840 94466753191536 140725146031520 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94466753199352 94466753200144 94466760208384 140725146039283 140725146039391 140725146039391 140725146046408 0
Current children cumulated CPU time: 1.29 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 170592 KiB

[startup+1.50125 s]
/proc/loadavg: 4.23 4.22 4.24 6/335 1050684
/proc/meminfo: memFree=118919976/131524600 swapFree=131071996/131071996
[pid=1050664] ppid=1050661 vsize=19108176 memory=220908 CPUtime=2.81 cores=0,2
/proc/1050664/stat : 1050664 (java) S 1050661 1050664 1045715 0 -1 1077936128 19768 0 0 0 275 6 0 0 20 0 20 0 195177779 19566772224 55227 134679101440 94466753187840 94466753191536 140725146031520 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94466753199352 94466753200144 94466760208384 140725146039283 140725146039391 140725146039391 140725146046408 0
/proc/1050664/statm: 4777044 55227 5906 1 0 555510 0
[pid=1050664/tid=1050666] ppid=1050661 vsize=19108176 memory=12576 CPUtime=1.39 cores=0,2
/proc/1050664/task/1050666/stat : 1050666 (java) R 1050661 1050664 1045715 0 -1 4194368 6446 0 0 0 136 3 0 0 20 0 20 0 195177779 19566772224 55227 134679101440 94466753187840 94466753191536 140725146031520 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94466753199352 94466753200144 94466760208384 140725146039283 140725146039391 140725146039391 140725146046408 0
[pid=1050664/tid=1050675] ppid=1050661 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/1050664/task/1050675/stat : 1050675 (Finalizer) S 1050661 1050664 1045715 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 195177782 19566772224 55227 134679101440 94466753187840 94466753191536 140725146031520 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94466753199352 94466753200144 94466760208384 140725146039283 140725146039391 140725146039391 140725146046408 0
[pid=1050664/tid=1050682] ppid=1050661 vsize=19108176 memory=2232 CPUtime=0 cores=0,2
/proc/1050664/task/1050682/stat : 1050682 (Common-Cleaner) S 1050661 1050664 1045715 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 195177783 19566772224 55227 134679101440 94466753187840 94466753191536 140725146031520 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94466753199352 94466753200144 94466760208384 140725146039283 140725146039391 140725146039391 140725146046408 0
[pid=1050664/tid=1050683] ppid=1050661 vsize=19108176 memory=1892 CPUtime=0 cores=0,2
/proc/1050664/task/1050683/stat : 1050683 (Timer-0) S 1050661 1050664 1045715 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 195177797 19566772224 55227 134679101440 94466753187840 94466753191536 140725146031520 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94466753199352 94466753200144 94466760208384 140725146039283 140725146039391 140725146039391 140725146046408 0
Current children cumulated CPU time: 2.81 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 220908 KiB

[startup+3.10571 s]
/proc/loadavg: 4.21 4.22 4.24 7/335 1050686
/proc/meminfo: memFree=118416264/131524600 swapFree=131071996/131071996
[pid=1050664] ppid=1050661 vsize=19108176 memory=741808 CPUtime=5.35 cores=0,2
/proc/1050664/stat : 1050664 (java) S 1050661 1050664 1045715 0 -1 1077936128 23161 0 0 0 517 18 0 0 20 0 20 0 195177779 19566772224 185452 134679101440 94466753187840 94466753191536 140725146031520 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94466753199352 94466753200144 94466760208384 140725146039283 140725146039391 140725146039391 140725146046408 0
/proc/1050664/statm: 4777044 185452 5906 1 0 662329 0
[pid=1050664/tid=1050666] ppid=1050661 vsize=19108176 memory=0 CPUtime=2.94 cores=0,2
/proc/1050664/task/1050666/stat : 1050666 (java) R 1050661 1050664 1045715 0 -1 4194368 7132 0 0 0 281 13 0 0 20 0 20 0 195177779 19566772224 185452 134679101440 94466753187840 94466753191536 140725146031520 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94466753199352 94466753200144 94466760208384 140725146039283 140725146039391 140725146039391 140725146046408 0
[pid=1050664/tid=1050675] ppid=1050661 vsize=19108176 memory=-7811877811187377505 CPUtime=0 cores=0,2
/proc/1050664/task/1050675/stat : 1050675 (Finalizer) S 1050661 1050664 1045715 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 195177782 19566772224 185452 134679101440 94466753187840 94466753191536 140725146031520 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94466753199352 94466753200144 94466760208384 140725146039283 140725146039391 140725146039391 140725146046408 0
[pid=1050664/tid=1050682] ppid=1050661 vsize=19108176 memory=12576 CPUtime=0 cores=0,2
/proc/1050664/task/1050682/stat : 1050682 (Common-Cleaner) S 1050661 1050664 1045715 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 195177783 19566772224 185452 134679101440 94466753187840 94466753191536 140725146031520 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94466753199352 94466753200144 94466760208384 140725146039283 140725146039391 140725146039391 140725146046408 0
[pid=1050664/tid=1050683] ppid=1050661 vsize=19108176 memory=2232 CPUtime=0 cores=0,2
/proc/1050664/task/1050683/stat : 1050683 (Timer-0) S 1050661 1050664 1045715 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 195177797 19566772224 185452 134679101440 94466753187840 94466753191536 140725146031520 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94466753199352 94466753200144 94466760208384 140725146039283 140725146039391 140725146039391 140725146046408 0
Current children cumulated CPU time: 5.35 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 741808 KiB

[startup+6.30164 s]
/proc/loadavg: 4.21 4.22 4.24 5/335 1050686
/proc/meminfo: memFree=118178492/131524600 swapFree=131071996/131071996
[pid=1050664] ppid=1050661 vsize=19108176 memory=1058696 CPUtime=8.75 cores=0,2
/proc/1050664/stat : 1050664 (java) S 1050661 1050664 1045715 0 -1 1077936128 24037 0 0 0 849 26 0 0 20 0 20 0 195177779 19566772224 264674 134679101440 94466753187840 94466753191536 140725146031520 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94466753199352 94466753200144 94466760208384 140725146039283 140725146039391 140725146039391 140725146046408 0
/proc/1050664/statm: 4777044 264674 5906 1 0 789762 0
[pid=1050664/tid=1050666] ppid=1050661 vsize=19108176 memory=2232 CPUtime=6.01 cores=0,2
/proc/1050664/task/1050666/stat : 1050666 (java) R 1050661 1050664 1045715 0 -1 4194368 7439 0 0 0 582 19 0 0 20 0 20 0 195177779 19566772224 264674 134679101440 94466753187840 94466753191536 140725146031520 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94466753199352 94466753200144 94466760208384 140725146039283 140725146039391 140725146039391 140725146046408 0
[pid=1050664/tid=1050675] ppid=1050661 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/1050664/task/1050675/stat : 1050675 (Finalizer) S 1050661 1050664 1045715 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 195177782 19566772224 264674 134679101440 94466753187840 94466753191536 140725146031520 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94466753199352 94466753200144 94466760208384 140725146039283 140725146039391 140725146039391 140725146046408 0
[pid=1050664/tid=1050682] ppid=1050661 vsize=19108176 memory=12576 CPUtime=0 cores=0,2
/proc/1050664/task/1050682/stat : 1050682 (Common-Cleaner) S 1050661 1050664 1045715 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 195177783 19566772224 264674 134679101440 94466753187840 94466753191536 140725146031520 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94466753199352 94466753200144 94466760208384 140725146039283 140725146039391 140725146039391 140725146046408 0
[pid=1050664/tid=1050683] ppid=1050661 vsize=19108176 memory=-2832536777585008440 CPUtime=0 cores=0,2
/proc/1050664/task/1050683/stat : 1050683 (Timer-0) S 1050661 1050664 1045715 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 195177797 19566772224 264674 134679101440 94466753187840 94466753191536 140725146031520 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94466753199352 94466753200144 94466760208384 140725146039283 140725146039391 140725146039391 140725146046408 0
Current children cumulated CPU time: 8.75 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1058696 KiB

[startup+12.7002 s]
/proc/loadavg: 4.28 4.23 4.25 5/335 1050686
/proc/meminfo: memFree=117077368/131524600 swapFree=131071996/131071996
[pid=1050664] ppid=1050661 vsize=19108176 memory=1981264 CPUtime=15.61 cores=0,2
/proc/1050664/stat : 1050664 (java) S 1050661 1050664 1045715 0 -1 1077936128 26261 0 0 0 1518 43 0 0 20 0 20 0 195177779 19566772224 495316 134679101440 94466753187840 94466753191536 140725146031520 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94466753199352 94466753200144 94466760208384 140725146039283 140725146039391 140725146039391 140725146046408 0
/proc/1050664/statm: 4777044 495316 5906 1 0 789826 0
[pid=1050664/tid=1050666] ppid=1050661 vsize=19108176 memory=12576 CPUtime=12.26 cores=0,2
/proc/1050664/task/1050666/stat : 1050666 (java) R 1050661 1050664 1045715 0 -1 4194368 8993 0 0 0 1191 35 0 0 20 0 20 0 195177779 19566772224 495316 134679101440 94466753187840 94466753191536 140725146031520 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94466753199352 94466753200144 94466760208384 140725146039283 140725146039391 140725146039391 140725146046408 0
[pid=1050664/tid=1050675] ppid=1050661 vsize=19108176 memory=1354544 CPUtime=0 cores=0,2
/proc/1050664/task/1050675/stat : 1050675 (Finalizer) S 1050661 1050664 1045715 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 195177782 19566772224 495316 134679101440 94466753187840 94466753191536 140725146031520 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94466753199352 94466753200144 94466760208384 140725146039283 140725146039391 140725146039391 140725146046408 0
[pid=1050664/tid=1050682] ppid=1050661 vsize=19108176 memory=48568 CPUtime=0 cores=0,2
/proc/1050664/task/1050682/stat : 1050682 (Common-Cleaner) S 1050661 1050664 1045715 0 -1 1077936192 40 0 0 0 0 0 0 0 20 0 20 0 195177783 19566772224 495316 134679101440 94466753187840 94466753191536 140725146031520 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94466753199352 94466753200144 94466760208384 140725146039283 140725146039391 140725146039391 140725146046408 0
[pid=1050664/tid=1050683] ppid=1050661 vsize=19108176 memory=12576 CPUtime=0 cores=0,2
/proc/1050664/task/1050683/stat : 1050683 (Timer-0) S 1050661 1050664 1045715 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 195177797 19566772224 495316 134679101440 94466753187840 94466753191536 140725146031520 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94466753199352 94466753200144 94466760208384 140725146039283 140725146039391 140725146039391 140725146046408 0
Current children cumulated CPU time: 15.61 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1981264 KiB

[startup+25.5003 s]
/proc/loadavg: 4.21 4.22 4.24 6/335 1050689
/proc/meminfo: memFree=116906544/131524600 swapFree=131071996/131071996
[pid=1050664] ppid=1050661 vsize=19108176 memory=2079928 CPUtime=28.62 cores=0,2
/proc/1050664/stat : 1050664 (java) S 1050661 1050664 1045715 0 -1 1077936128 29532 0 0 0 2816 46 0 0 20 0 20 0 195177779 19566772224 519982 134679101440 94466753187840 94466753191536 140725146031520 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94466753199352 94466753200144 94466760208384 140725146039283 140725146039391 140725146039391 140725146046408 0
/proc/1050664/statm: 4777044 519982 5906 1 0 789826 0
[pid=1050664/tid=1050666] ppid=1050661 vsize=19108176 memory=6944656574621848725 CPUtime=24.61 cores=0,2
/proc/1050664/task/1050666/stat : 1050666 (java) R 1050661 1050664 1045715 0 -1 4194368 11109 0 0 0 2426 35 0 0 20 0 20 0 195177779 19566772224 519982 134679101440 94466753187840 94466753191536 140725146031520 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94466753199352 94466753200144 94466760208384 140725146039283 140725146039391 140725146039391 140725146046408 0
[pid=1050664/tid=1050675] ppid=1050661 vsize=19108176 memory=11604 CPUtime=0 cores=0,2
/proc/1050664/task/1050675/stat : 1050675 (Finalizer) S 1050661 1050664 1045715 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 195177782 19566772224 519982 134679101440 94466753187840 94466753191536 140725146031520 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94466753199352 94466753200144 94466760208384 140725146039283 140725146039391 140725146039391 140725146046408 0
[pid=1050664/tid=1050682] ppid=1050661 vsize=19108176 memory=3484 CPUtime=0 cores=0,2
/proc/1050664/task/1050682/stat : 1050682 (Common-Cleaner) S 1050661 1050664 1045715 0 -1 1077936192 40 0 0 0 0 0 0 0 20 0 20 0 195177783 19566772224 519982 134679101440 94466753187840 94466753191536 140725146031520 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94466753199352 94466753200144 94466760208384 140725146039283 140725146039391 140725146039391 140725146046408 0
[pid=1050664/tid=1050683] ppid=1050661 vsize=19108176 memory=12576 CPUtime=0 cores=0,2
/proc/1050664/task/1050683/stat : 1050683 (Timer-0) S 1050661 1050664 1045715 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 195177797 19566772224 519982 134679101440 94466753187840 94466753191536 140725146031520 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94466753199352 94466753200144 94466760208384 140725146039283 140725146039391 140725146039391 140725146046408 0
Current children cumulated CPU time: 28.62 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2079928 KiB

[startup+51.1063 s]
/proc/loadavg: 4.14 4.20 4.24 5/335 1050692
/proc/meminfo: memFree=116021652/131524600 swapFree=131071996/131071996
[pid=1050664] ppid=1050661 vsize=19108176 memory=2825204 CPUtime=54.78 cores=0,2
/proc/1050664/stat : 1050664 (java) S 1050661 1050664 1045715 0 -1 1077936128 35303 0 0 0 5417 61 0 0 20 0 20 0 195177779 19566772224 706301 134679101440 94466753187840 94466753191536 140725146031520 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94466753199352 94466753200144 94466760208384 140725146039283 140725146039391 140725146039391 140725146046408 0
/proc/1050664/statm: 4777044 706301 5906 1 0 923518 0

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

/proc/meminfo: memFree=113799720/131524600 swapFree=131071996/131071996
[pid=1050664] ppid=1050661 vsize=19108176 memory=3653172 CPUtime=3214.88 cores=0,2
/proc/1050664/stat : 1050664 (java) S 1050661 1050664 1045715 0 -1 1077936128 311421 0 0 0 321263 225 0 0 20 0 20 0 195177779 19566772224 913293 134679101440 94466753187840 94466753191536 140725146031520 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94466753199352 94466753200144 94466760208384 140725146039283 140725146039391 140725146039391 140725146046408 0
/proc/1050664/statm: 4777044 913293 5919 1 0 924730 0
[pid=1050664/tid=1050666] ppid=1050661 vsize=19108176 memory=3653072 CPUtime=3071.54 cores=0,2
/proc/1050664/task/1050666/stat : 1050666 (java) R 1050661 1050664 1045715 0 -1 4194368 154732 0 0 0 307081 73 0 0 20 0 20 0 195177779 19566772224 913293 134679101440 94466753187840 94466753191536 140725146031520 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 27 0 0 94466753199352 94466753200144 94466760208384 140725146039283 140725146039391 140725146039391 140725146046408 0
[pid=1050664/tid=1050675] ppid=1050661 vsize=19108176 memory=3653100 CPUtime=0 cores=0,2
/proc/1050664/task/1050675/stat : 1050675 (Finalizer) S 1050661 1050664 1045715 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 195177782 19566772224 913293 134679101440 94466753187840 94466753191536 140725146031520 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94466753199352 94466753200144 94466760208384 140725146039283 140725146039391 140725146039391 140725146046408 0
[pid=1050664/tid=1050682] ppid=1050661 vsize=19108176 memory=3653072 CPUtime=0 cores=0,2
/proc/1050664/task/1050682/stat : 1050682 (Common-Cleaner) S 1050661 1050664 1045715 0 -1 1077936192 2530 0 0 0 0 0 0 0 20 0 20 0 195177783 19566772224 913293 134679101440 94466753187840 94466753191536 140725146031520 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94466753199352 94466753200144 94466760208384 140725146039283 140725146039391 140725146039391 140725146046408 0
[pid=1050664/tid=1050683] ppid=1050661 vsize=19108176 memory=12576 CPUtime=0 cores=0,2
/proc/1050664/task/1050683/stat : 1050683 (Timer-0) S 1050661 1050664 1045715 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 195177797 19566772224 913293 134679101440 94466753187840 94466753191536 140725146031520 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94466753199352 94466753200144 94466760208384 140725146039283 140725146039391 140725146039391 140725146046408 0
Current children cumulated CPU time: 3214.88 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3653172 KiB

[startup+3222.3 s]
/proc/loadavg: 4.39 4.31 4.25 5/332 1052334
/proc/meminfo: memFree=113803380/131524600 swapFree=131071996/131071996
[pid=1050664] ppid=1050661 vsize=19108176 memory=3653192 CPUtime=3275.57 cores=0,2
/proc/1050664/stat : 1050664 (java) S 1050661 1050664 1045715 0 -1 1077936128 315750 0 0 0 327329 228 0 0 20 0 20 0 195177779 19566772224 913298 134679101440 94466753187840 94466753191536 140725146031520 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94466753199352 94466753200144 94466760208384 140725146039283 140725146039391 140725146039391 140725146046408 0
/proc/1050664/statm: 4777044 913298 5919 1 0 924733 0
[pid=1050664/tid=1050666] ppid=1050661 vsize=19108176 memory=3653100 CPUtime=3130.07 cores=0,2
/proc/1050664/task/1050666/stat : 1050666 (java) R 1050661 1050664 1045715 0 -1 4194368 157837 0 0 0 312933 74 0 0 20 0 20 0 195177779 19566772224 913298 134679101440 94466753187840 94466753191536 140725146031520 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 27 0 0 94466753199352 94466753200144 94466760208384 140725146039283 140725146039391 140725146039391 140725146046408 0
[pid=1050664/tid=1050675] ppid=1050661 vsize=19108176 memory=3653072 CPUtime=0 cores=0,2
/proc/1050664/task/1050675/stat : 1050675 (Finalizer) S 1050661 1050664 1045715 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 195177782 19566772224 913298 134679101440 94466753187840 94466753191536 140725146031520 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94466753199352 94466753200144 94466760208384 140725146039283 140725146039391 140725146039391 140725146046408 0
[pid=1050664/tid=1050682] ppid=1050661 vsize=19108176 memory=3653172 CPUtime=0 cores=0,2
/proc/1050664/task/1050682/stat : 1050682 (Common-Cleaner) S 1050661 1050664 1045715 0 -1 1077936192 2602 0 0 0 0 0 0 0 20 0 20 0 195177783 19566772224 913298 134679101440 94466753187840 94466753191536 140725146031520 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94466753199352 94466753200144 94466760208384 140725146039283 140725146039391 140725146039391 140725146046408 0
[pid=1050664/tid=1050683] ppid=1050661 vsize=19108176 memory=12576 CPUtime=0 cores=0,2
/proc/1050664/task/1050683/stat : 1050683 (Timer-0) S 1050661 1050664 1045715 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 195177797 19566772224 913298 134679101440 94466753187840 94466753191536 140725146031520 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94466753199352 94466753200144 94466760208384 140725146039283 140725146039391 140725146039391 140725146046408 0
Current children cumulated CPU time: 3275.57 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3653192 KiB

[startup+3282.3 s]
/proc/loadavg: 4.30 4.30 4.25 5/332 1052344
/proc/meminfo: memFree=113803124/131524600 swapFree=131071996/131071996
[pid=1050664] ppid=1050661 vsize=19108176 memory=3653192 CPUtime=3336.4 cores=0,2
/proc/1050664/stat : 1050664 (java) S 1050661 1050664 1045715 0 -1 1077936128 318101 0 0 0 333410 230 0 0 20 0 20 0 195177779 19566772224 913298 134679101440 94466753187840 94466753191536 140725146031520 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94466753199352 94466753200144 94466760208384 140725146039283 140725146039391 140725146039391 140725146046408 0
/proc/1050664/statm: 4777044 913298 5919 1 0 924733 0
[pid=1050664/tid=1050666] ppid=1050661 vsize=19108176 memory=3653192 CPUtime=3188.45 cores=0,2
/proc/1050664/task/1050666/stat : 1050666 (java) S 1050661 1050664 1045715 0 -1 1077936192 159282 0 0 0 318771 74 0 0 20 0 20 0 195177779 19566772224 913298 134679101440 94466753187840 94466753191536 140725146031520 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 27 0 0 94466753199352 94466753200144 94466760208384 140725146039283 140725146039391 140725146039391 140725146046408 0
[pid=1050664/tid=1050675] ppid=1050661 vsize=19108176 memory=3653192 CPUtime=0 cores=0,2
/proc/1050664/task/1050675/stat : 1050675 (Finalizer) S 1050661 1050664 1045715 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 195177782 19566772224 913298 134679101440 94466753187840 94466753191536 140725146031520 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94466753199352 94466753200144 94466760208384 140725146039283 140725146039391 140725146039391 140725146046408 0
[pid=1050664/tid=1050682] ppid=1050661 vsize=19108176 memory=3653192 CPUtime=0 cores=0,2
/proc/1050664/task/1050682/stat : 1050682 (Common-Cleaner) S 1050661 1050664 1045715 0 -1 1077936192 2674 0 0 0 0 0 0 0 20 0 20 0 195177783 19566772224 913298 134679101440 94466753187840 94466753191536 140725146031520 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94466753199352 94466753200144 94466760208384 140725146039283 140725146039391 140725146039391 140725146046408 0
[pid=1050664/tid=1050683] ppid=1050661 vsize=19108176 memory=3653192 CPUtime=0 cores=0,2
/proc/1050664/task/1050683/stat : 1050683 (Timer-0) S 1050661 1050664 1045715 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 195177797 19566772224 913298 134679101440 94466753187840 94466753191536 140725146031520 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94466753199352 94466753200144 94466760208384 140725146039283 140725146039391 140725146039391 140725146046408 0
Current children cumulated CPU time: 3336.4 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3653192 KiB

[startup+3342.3 s]
/proc/loadavg: 4.17 4.26 4.24 5/334 1052526
/proc/meminfo: memFree=113800868/131524600 swapFree=131071996/131071996
[pid=1050664] ppid=1050661 vsize=19108176 memory=3653192 CPUtime=3397.11 cores=0,2
/proc/1050664/stat : 1050664 (java) S 1050661 1050664 1045715 0 -1 1077936128 322874 0 0 0 339478 233 0 0 20 0 20 0 195177779 19566772224 913298 134679101440 94466753187840 94466753191536 140725146031520 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94466753199352 94466753200144 94466760208384 140725146039283 140725146039391 140725146039391 140725146046408 0
/proc/1050664/statm: 4777044 913298 5919 1 0 924733 0
[pid=1050664/tid=1050666] ppid=1050661 vsize=19108176 memory=3653192 CPUtime=3246.79 cores=0,2
/proc/1050664/task/1050666/stat : 1050666 (java) R 1050661 1050664 1045715 0 -1 4194368 162244 0 0 0 324604 75 0 0 20 0 20 0 195177779 19566772224 913298 134679101440 94466753187840 94466753191536 140725146031520 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 27 0 0 94466753199352 94466753200144 94466760208384 140725146039283 140725146039391 140725146039391 140725146046408 0
[pid=1050664/tid=1050675] ppid=1050661 vsize=19108176 memory=3653192 CPUtime=0 cores=0,2
/proc/1050664/task/1050675/stat : 1050675 (Finalizer) S 1050661 1050664 1045715 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 195177782 19566772224 913298 134679101440 94466753187840 94466753191536 140725146031520 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94466753199352 94466753200144 94466760208384 140725146039283 140725146039391 140725146039391 140725146046408 0
[pid=1050664/tid=1050682] ppid=1050661 vsize=19108176 memory=11604 CPUtime=0 cores=0,2
/proc/1050664/task/1050682/stat : 1050682 (Common-Cleaner) S 1050661 1050664 1045715 0 -1 1077936192 2746 0 0 0 0 0 0 0 20 0 20 0 195177783 19566772224 913298 134679101440 94466753187840 94466753191536 140725146031520 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94466753199352 94466753200144 94466760208384 140725146039283 140725146039391 140725146039391 140725146046408 0
[pid=1050664/tid=1050683] ppid=1050661 vsize=19108176 memory=48568 CPUtime=0 cores=0,2
/proc/1050664/task/1050683/stat : 1050683 (Timer-0) S 1050661 1050664 1045715 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 195177797 19566772224 913298 134679101440 94466753187840 94466753191536 140725146031520 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94466753199352 94466753200144 94466760208384 140725146039283 140725146039391 140725146039391 140725146046408 0
Current children cumulated CPU time: 3397.11 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3653192 KiB

[startup+3402.3 s]
/proc/loadavg: 3.98 4.19 4.22 4/308 1052570
/proc/meminfo: memFree=117441236/131524600 swapFree=131071996/131071996
[pid=1050664] ppid=1050661 vsize=19108176 memory=3653244 CPUtime=3458.88 cores=0,2
/proc/1050664/stat : 1050664 (java) S 1050661 1050664 1045715 0 -1 1077936128 339413 0 0 0 345651 237 0 0 20 0 20 0 195177779 19566772224 913311 134679101440 94466753187840 94466753191536 140725146031520 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94466753199352 94466753200144 94466760208384 140725146039283 140725146039391 140725146039391 140725146046408 0
/proc/1050664/statm: 4777044 913311 5919 1 0 924733 0
[pid=1050664/tid=1050666] ppid=1050661 vsize=19108176 memory=3653192 CPUtime=3305.31 cores=0,2
/proc/1050664/task/1050666/stat : 1050666 (java) R 1050661 1050664 1045715 0 -1 4194368 167745 0 0 0 330456 75 0 0 20 0 20 0 195177779 19566772224 913311 134679101440 94466753187840 94466753191536 140725146031520 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 27 0 0 94466753199352 94466753200144 94466760208384 140725146039283 140725146039391 140725146039391 140725146046408 0
[pid=1050664/tid=1050675] ppid=1050661 vsize=19108176 memory=3653192 CPUtime=0 cores=0,2
/proc/1050664/task/1050675/stat : 1050675 (Finalizer) S 1050661 1050664 1045715 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 195177782 19566772224 913311 134679101440 94466753187840 94466753191536 140725146031520 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94466753199352 94466753200144 94466760208384 140725146039283 140725146039391 140725146039391 140725146046408 0
[pid=1050664/tid=1050682] ppid=1050661 vsize=19108176 memory=11604 CPUtime=0 cores=0,2
/proc/1050664/task/1050682/stat : 1050682 (Common-Cleaner) S 1050661 1050664 1045715 0 -1 1077936192 2746 0 0 0 0 0 0 0 20 0 20 0 195177783 19566772224 913311 134679101440 94466753187840 94466753191536 140725146031520 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94466753199352 94466753200144 94466760208384 140725146039283 140725146039391 140725146039391 140725146046408 0
[pid=1050664/tid=1050683] ppid=1050661 vsize=19108176 memory=3653244 CPUtime=0 cores=0,2
/proc/1050664/task/1050683/stat : 1050683 (Timer-0) S 1050661 1050664 1045715 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 195177797 19566772224 913311 134679101440 94466753187840 94466753191536 140725146031520 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94466753199352 94466753200144 94466760208384 140725146039283 140725146039391 140725146039391 140725146046408 0
Current children cumulated CPU time: 3458.88 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3653244 KiB

[startup+3462.3 s]
/proc/loadavg: 3.31 3.97 4.14 4/282 1052614
/proc/meminfo: memFree=120541048/131524600 swapFree=131071996/131071996
[pid=1050664] ppid=1050661 vsize=19108176 memory=3653256 CPUtime=3519.7 cores=0,2
/proc/1050664/stat : 1050664 (java) S 1050661 1050664 1045715 0 -1 1077936128 343389 0 0 0 351732 238 0 0 20 0 20 0 195177779 19566772224 913314 134679101440 94466753187840 94466753191536 140725146031520 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94466753199352 94466753200144 94466760208384 140725146039283 140725146039391 140725146039391 140725146046408 0
/proc/1050664/statm: 4777044 913314 5919 1 0 924733 0
[pid=1050664/tid=1050666] ppid=1050661 vsize=19108176 memory=3653192 CPUtime=3363.7 cores=0,2
/proc/1050664/task/1050666/stat : 1050666 (java) R 1050661 1050664 1045715 0 -1 4194368 170760 0 0 0 336294 76 0 0 20 0 20 0 195177779 19566772224 913314 134679101440 94466753187840 94466753191536 140725146031520 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 27 0 0 94466753199352 94466753200144 94466760208384 140725146039283 140725146039391 140725146039391 140725146046408 0
[pid=1050664/tid=1050675] ppid=1050661 vsize=19108176 memory=3653192 CPUtime=0 cores=0,2
/proc/1050664/task/1050675/stat : 1050675 (Finalizer) S 1050661 1050664 1045715 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 195177782 19566772224 913314 134679101440 94466753187840 94466753191536 140725146031520 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94466753199352 94466753200144 94466760208384 140725146039283 140725146039391 140725146039391 140725146046408 0
[pid=1050664/tid=1050682] ppid=1050661 vsize=19108176 memory=3653256 CPUtime=0 cores=0,2
/proc/1050664/task/1050682/stat : 1050682 (Common-Cleaner) S 1050661 1050664 1045715 0 -1 1077936192 2773 0 0 0 0 0 0 0 20 0 20 0 195177783 19566772224 913314 134679101440 94466753187840 94466753191536 140725146031520 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94466753199352 94466753200144 94466760208384 140725146039283 140725146039391 140725146039391 140725146046408 0
[pid=1050664/tid=1050683] ppid=1050661 vsize=19108176 memory=3653256 CPUtime=0 cores=0,2
/proc/1050664/task/1050683/stat : 1050683 (Timer-0) S 1050661 1050664 1045715 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 195177797 19566772224 913314 134679101440 94466753187840 94466753191536 140725146031520 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94466753199352 94466753200144 94466760208384 140725146039283 140725146039391 140725146039391 140725146046408 0
Current children cumulated CPU time: 3519.7 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3653256 KiB

[startup+3522.3 s]
/proc/loadavg: 2.53 3.62 4.01 4/282 1052642
/proc/meminfo: memFree=120540652/131524600 swapFree=131071996/131071996
[pid=1050664] ppid=1050661 vsize=19108176 memory=3653256 CPUtime=3580.63 cores=0,2
/proc/1050664/stat : 1050664 (java) S 1050661 1050664 1045715 0 -1 1077936128 345562 0 0 0 357822 241 0 0 20 0 20 0 195177779 19566772224 913314 134679101440 94466753187840 94466753191536 140725146031520 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94466753199352 94466753200144 94466760208384 140725146039283 140725146039391 140725146039391 140725146046408 0
/proc/1050664/statm: 4777044 913314 5919 1 0 924733 0
[pid=1050664/tid=1050666] ppid=1050661 vsize=19108176 memory=3653256 CPUtime=3422.16 cores=0,2
/proc/1050664/task/1050666/stat : 1050666 (java) R 1050661 1050664 1045715 0 -1 4194368 171971 0 0 0 342140 76 0 0 20 0 20 0 195177779 19566772224 913314 134679101440 94466753187840 94466753191536 140725146031520 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 27 0 0 94466753199352 94466753200144 94466760208384 140725146039283 140725146039391 140725146039391 140725146046408 0
[pid=1050664/tid=1050675] ppid=1050661 vsize=19108176 memory=3653256 CPUtime=0 cores=0,2
/proc/1050664/task/1050675/stat : 1050675 (Finalizer) S 1050661 1050664 1045715 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 195177782 19566772224 913314 134679101440 94466753187840 94466753191536 140725146031520 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94466753199352 94466753200144 94466760208384 140725146039283 140725146039391 140725146039391 140725146046408 0
[pid=1050664/tid=1050682] ppid=1050661 vsize=19108176 memory=3653256 CPUtime=0 cores=0,2
/proc/1050664/task/1050682/stat : 1050682 (Common-Cleaner) S 1050661 1050664 1045715 0 -1 1077936192 2833 0 0 0 0 0 0 0 20 0 20 0 195177783 19566772224 913314 134679101440 94466753187840 94466753191536 140725146031520 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94466753199352 94466753200144 94466760208384 140725146039283 140725146039391 140725146039391 140725146046408 0
[pid=1050664/tid=1050683] ppid=1050661 vsize=19108176 memory=3653256 CPUtime=0 cores=0,2
/proc/1050664/task/1050683/stat : 1050683 (Timer-0) S 1050661 1050664 1045715 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 195177797 19566772224 913314 134679101440 94466753187840 94466753191536 140725146031520 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94466753199352 94466753200144 94466760208384 140725146039283 140725146039391 140725146039391 140725146046408 0
Current children cumulated CPU time: 3580.63 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3653256 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3541.4 s]
/proc/loadavg: 2.61 3.56 3.98 5/282 1052645
/proc/meminfo: memFree=120540724/131524600 swapFree=131071996/131071996
[pid=1050664] ppid=1050661 vsize=19108176 memory=3653264 CPUtime=3600.04 cores=0,2
/proc/1050664/stat : 1050664 (java) S 1050661 1050664 1045715 0 -1 1077936128 348551 0 0 0 359761 243 0 0 20 0 20 0 195177779 19566772224 913316 134679101440 94466753187840 94466753191536 140725146031520 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94466753199352 94466753200144 94466760208384 140725146039283 140725146039391 140725146039391 140725146046408 0
/proc/1050664/statm: 4777044 913316 5919 1 0 924733 0
[pid=1050664/tid=1050666] ppid=1050661 vsize=19108176 memory=18875 CPUtime=3440.74 cores=0,2
/proc/1050664/task/1050666/stat : 1050666 (java) R 1050661 1050664 1045715 0 -1 4194368 174171 0 0 0 343998 76 0 0 20 0 20 0 195177779 19566772224 913316 134679101440 94466753187840 94466753191536 140725146031520 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 27 0 0 94466753199352 94466753200144 94466760208384 140725146039283 140725146039391 140725146039391 140725146046408 0
[pid=1050664/tid=1050675] ppid=1050661 vsize=19108176 memory=2199 CPUtime=0 cores=0,2
/proc/1050664/task/1050675/stat : 1050675 (Finalizer) S 1050661 1050664 1045715 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 195177782 19566772224 913316 134679101440 94466753187840 94466753191536 140725146031520 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94466753199352 94466753200144 94466760208384 140725146039283 140725146039391 140725146039391 140725146046408 0
[pid=1050664/tid=1050682] ppid=1050661 vsize=19108176 memory=3977018427041920599 CPUtime=0 cores=0,2
/proc/1050664/task/1050682/stat : 1050682 (Common-Cleaner) S 1050661 1050664 1045715 0 -1 1077936192 2833 0 0 0 0 0 0 0 20 0 20 0 195177783 19566772224 913316 134679101440 94466753187840 94466753191536 140725146031520 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94466753199352 94466753200144 94466760208384 140725146039283 140725146039391 140725146039391 140725146046408 0
[pid=1050664/tid=1050683] ppid=1050661 vsize=19108176 memory=2652 CPUtime=0 cores=0,2
/proc/1050664/task/1050683/stat : 1050683 (Timer-0) S 1050661 1050664 1045715 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 195177797 19566772224 913316 134679101440 94466753187840 94466753191536 140725146031520 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94466753199352 94466753200144 94466760208384 140725146039283 140725146039391 140725146039391 140725146046408 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3653264 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.72 s, system=2.44913 s

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

Child status: 143

Real time (s): 3541.48
CPU time (s): 3600.17
CPU user time (s): 3597.72
CPU system time (s): 2.44913
CPU usage (%): 101.657
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 3653264

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.72
system time used= 2.44913
maximum resident set size= 3654840
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 351632
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3744
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 144038
involuntary context switches= 36355


# summary of solver processes directly reported to runsolver:
#   pid: 1050664
#   total CPU time (s): 3600.17
#   total CPU user time (s): 3597.72
#   total CPU system time (s): 2.44913

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.61468 second user time and 17.474 second system time

The end

Launcher Data 

Begin job on nodeC022 at 2024-07-20 01:02:29
IDJOB=4451701
IDBENCH=162608
IDSOLVER=3052
FILE ID=nodeC022/4451701-1721430136
RUNJOBID= nodeC022-1721422956-1045725
SLURM_JOB_ID= 7545605
Free space on /tmp= 890080 MiB

SOLVER NAME= Sat4j Cutting Planes 2024 2024-07-12
BENCH NAME= PB24/normalized-PB16/DEC-LIN/elffers/rand6reg/normalized-rand6reg-v101-n1.opb
COMMAND LINE= java -jar sat4j-pb.jar CuttingPlanesPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4451701-1721430136/watcher-4451701-1721430136 -o /tmp/evaluation-result-4451701-1721430136/solver-4451701-1721430136 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1721422956-1045725 --watchdog 3760  java -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4451701-1721430136.opb

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

MD5SUM BENCH= 92a92dfaf57ade1ebbf8178b56974969
RANDOM SEED=437935241

nodeC022.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		: 3636.689
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.66
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		: 3686.085
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.96
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		: 3624.965
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.66
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.027
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.96
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		: 3625.144
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.66
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		: 3686.135
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.96
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		: 3680.514
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.66
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		: 3599.971
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.96
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        119103436 kB
MemAvailable:   121643688 kB
Buffers:          530852 kB
Cached:          2834236 kB
SwapCached:            0 kB
Active:          1231472 kB
Inactive:       10516128 kB
Active(anon):       1548 kB
Inactive(anon):  8426868 kB
Active(file):    1229924 kB
Inactive(file):  2089260 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:               736 kB
Writeback:             0 kB
AnonPages:       8381840 kB
Mapped:           127952 kB
Shmem:             45912 kB
KReclaimable:     121432 kB
Slab:             238240 kB
SReclaimable:     121432 kB
SUnreclaim:       116808 kB
KernelStack:        5088 kB
PageTables:        26164 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:   10435904 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            70880 kB
HardwareCorrupted:     0 kB
AnonHugePages:   8052736 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:      260820 kB
DirectMap2M:    28872704 kB
DirectMap1G:    106954752 kB

Free space on /tmp at the end= 890080 MiB
End job on nodeC022 at 2024-07-20 02:01:30