Trace number 4302081

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j-CSP 2018-07-11? (TO) 252.111 219.542

General information on the benchmark

NameTravelingTournament/
TravelingTournament-a2-galaxy16_c18.xml
MD5SUM8cfce4baee5c579b6f10529c309e3c1c
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark23746
Best CPU time to get the best result obtained on this benchmark252.047
Satisfiable
(Un)Satisfiability was proved
Number of variables1936
Number of constraints8495
Number of domains3
Minimum domain size2
Maximum domain size66
Distribution of domain sizes[{"size":2,"count":960},{"size":16,"count":480},{"size":66,"count":496}]
Minimum variable degree2
Maximum variable degree50
Distribution of variable degrees[{"degree":2,"count":976},{"degree":47,"count":448},{"degree":48,"count":480},{"degree":49,"count":30},{"degree":50,"count":2}]
Minimum constraint arity2
Maximum constraint arity30
Distribution of constraint arities[{"arity":2,"count":481},{"arity":3,"count":32},{"arity":4,"count":6496},{"arity":5,"count":464},{"arity":16,"count":510},{"arity":18,"count":480},{"arity":30,"count":32}]
Number of extensional constraints496
Number of intensional constraints6977
Distribution of constraint types[{"type":"extension","count":496},{"type":"intension","count":6977},{"type":"regular","count":16},{"type":"allDifferent","count":30},{"type":"cardinality","count":16},{"type":"element","count":960}]
Optimization problemYES
Type of objectivemin SUM

Solver Data 

55.29/24.68	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
55.29/24.68	c This is free software under the dual EPL/GNU LGPL licenses.
55.29/24.68	c See www.sat4j.org for details.
55.29/24.68	c That software uses the Rhino library from the Mozilla project.
55.29/24.68	c version 2.3.6-SNAPSHOT
55.29/24.68	c java.runtime.name	Java(TM) SE Runtime Environment
55.29/24.68	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
55.29/24.68	c java.vm.version	25.131-b11
55.29/24.68	c java.vm.vendor	Oracle Corporation
55.29/24.68	c sun.arch.data.model	64
55.29/24.68	c java.version		1.8.0_131
55.29/24.68	c os.name		Linux
55.29/24.68	c os.version		3.10.0-514.16.1.el7.x86_64
55.29/24.68	c os.arch		amd64
55.29/24.68	c Free memory 		499604488
55.29/24.68	c Max memory 		7247757312
55.29/24.68	c Total memory 		504889344
55.29/24.68	c Number of processors 	4
55.29/24.68	c c --- Begin Solver configuration ---
55.29/24.68	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b71fc7e
55.29/24.68	c Learn all clauses as in MiniSAT
55.29/24.68	c LOGGER=java.util.logging.Logger@25f38edc claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
55.29/24.68	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
55.29/24.68	c No reason simplification
55.29/24.68	c Glucose 2.1 dynamic restart strategy
55.29/24.68	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
55.29/24.68	c timeout=2147483s
55.29/24.68	c DB Simplification allowed=false
55.29/24.68	c Listener: org.sat4j.minisat.core.VoidTracing@1a86f2f1
55.29/24.68	c --- End Solver configuration ---
55.29/24.68	c constraints type 
55.29/24.68	c org.sat4j.minisat.constraints.card.MinWatchCard => 3872
55.29/24.68	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 11941088
55.29/24.68	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 4231840
55.29/24.68	c org.sat4j.specs.Constr$1 => 1712
55.29/24.68	c org.sat4j.minisat.constraints.cnf.UnitClause => 19458
55.29/24.68	c 16197970 constraints processed.
252.06/219.50	c starts		: 1094
252.06/219.50	c conflicts		: 377431
252.06/219.50	c decisions		: 26132845
252.06/219.50	c propagations		: 561855874
252.06/219.50	c inspects		: 794585682
252.06/219.50	c shortcuts		: 0
252.06/219.50	c learnt literals	: 219
252.06/219.50	c learnt binary clauses	: 5134
252.06/219.50	c learnt ternary clauses	: 6144
252.06/219.50	c learnt constraints	: 377212
252.06/219.50	c ignored constraints	: 0
252.06/219.50	c root simplifications	: 0
252.06/219.50	c removed literals (reason simplification)	: 0
252.06/219.50	c reason swapping (by a shorter reason)	: 0
252.06/219.50	c Calls to reduceDB	: 23
252.06/219.50	c Number of update (reduction) of LBD	: 281339
252.06/219.50	c Imported unit clauses	: 0
252.06/219.50	c number of reductions to clauses (during analyze)	: 0
252.06/219.50	c number of learned constraints concerned by reduction	: 0
252.06/219.50	c number of learning phase by resolution	: 0
252.06/219.50	c number of learning phase by cutting planes	: 0
252.06/219.50	c number of rounding to 1 operations	: 0
252.06/219.50	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
252.06/219.50	c number of reductions of the coefficients by power 2 	: 0
252.06/219.50	c number of right shift for reduction by power 2 	: 0
252.06/219.50	c number of reductions of the coefficients by GCD over coefficients 	: 0
252.06/219.50	c number of ending skipping 	: 0
252.06/219.50	c number of internal skipping 	: 0
252.06/219.50	c number of derivation steps 	: 0
252.06/219.50	c number of skipped derivation steps 	: 0
252.06/219.50	c number of remaining unassigned 	: 0
252.06/219.50	c number of remaining assigned 	: 0
252.06/219.50	c speed (assignments/second)	: 2885914.8385373596
252.06/219.50	c non guided choices	: 15668908
252.06/219.52	c learnt constraints type org.sat4j.minisat.constraints.cnf.LearntBinaryClause	: 5134
252.06/219.52	c learnt constraints type org.sat4j.minisat.constraints.cnf.LearntWLClause	: 30544
252.06/219.52	s UNKNOWN

Verifier Data


Watcher Data 

runsolver version 3.4.0 (svn: 3012) 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: 16374 MiB (11749 MiB free)
  memory of node 1: 16384 MiB (15834 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302081-1532887215/watcher-4302081-1532887215 -o /tmp/evaluation-result-4302081-1532887215/solver-4302081-1532887215 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node136-1532879536-13547 --watchdog 312 java -DCompetitionOutput -jar HOME/sat4j-csp-final.jar HOME/instance-4302081-1532887215.xml 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=20564, runsolver pid=20561
Current StackSize limit: 8192 KiB


[startup+0.100105 s]*
/proc/loadavg: 2.05 2.18 2.31 4/215 20579
/proc/meminfo: memFree=28230320/32770624 swapFree=67108860/67108860
[pid=20564] ppid=20561 vsize=10659012 memory=26752 CPUtime=0.09 cores=1,3,5,7
/proc/20564/stat : 20564 (java) S 20561 20564 13514 0 -1 1077944320 5037 0 0 0 8 1 0 0 20 0 15 0 106284627 10914828288 6622 33554432000 4194304 4196468 140728342695056 140728342677600 140214192205559 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 22454272 140728342701174 140728342701326 140728342701326 140728342704079 0
/proc/20564/statm: 2664753 6688 2817 1 0 2627263 0
[pid=20564/tid=20566] ppid=20561 vsize=10659012 memory=-8341684059579388028 CPUtime=0.07 cores=1,3,5,7
/proc/20564/task/20566/stat : 20566 (java) R 20561 20564 13514 0 -1 4202560 2981 0 0 0 6 1 0 0 20 0 15 0 106284627 10914828288 6688 33554432000 4194304 4196468 140728342695056 140214196443312 140214192227485 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22454272 140728342701174 140728342701326 140728342701326 140728342704079 0
[pid=20564/tid=20567] ppid=20561 vsize=10659012 memory=8257237230052613020 CPUtime=0 cores=1,3,5,7
/proc/20564/task/20567/stat : 20567 (java) S 20561 20564 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106284628 10914828288 6688 33554432000 4194304 4196468 140728342695056 140214118279824 140214192215765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22454272 140728342701174 140728342701326 140728342701326 140728342704079 0
[pid=20564/tid=20568] ppid=20561 vsize=10659012 memory=140469246822016 CPUtime=0 cores=1,3,5,7
/proc/20564/task/20568/stat : 20568 (java) S 20561 20564 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106284628 10914828288 6688 33554432000 4194304 4196468 140728342695056 140214117227024 140214192215765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22454272 140728342701174 140728342701326 140728342701326 140728342704079 0
[pid=20564/tid=20569] ppid=20561 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20564/task/20569/stat : 20569 (java) S 20561 20564 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106284628 10914828288 6688 33554432000 4194304 4196468 140728342695056 140214116174224 140214192215765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22454272 140728342701174 140728342701326 140728342701326 140728342704079 0
[pid=20564/tid=20570] ppid=20561 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20564/task/20570/stat : 20570 (java) S 20561 20564 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106284628 10914828288 6688 33554432000 4194304 4196468 140728342695056 140214115121424 140214192215765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22454272 140728342701174 140728342701326 140728342701326 140728342704079 0
[pid=20564/tid=20571] ppid=20561 vsize=10659012 memory=140469246822016 CPUtime=0 cores=1,3,5,7
/proc/20564/task/20571/stat : 20571 (java) S 20561 20564 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106284629 10914828288 6688 33554432000 4194304 4196468 140728342695056 140213227588464 140214192216706 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22454272 140728342701174 140728342701326 140728342701326 140728342704079 0
[pid=20564/tid=20572] ppid=20561 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20564/task/20572/stat : 20572 (java) S 20561 20564 13514 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106284630 10914828288 6688 33554432000 4194304 4196468 140728342695056 140213226534432 140214192215765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22454272 140728342701174 140728342701326 140728342701326 140728342704079 0
[pid=20564/tid=20573] ppid=20561 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20564/task/20573/stat : 20573 (java) S 20561 20564 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106284630 10914828288 6688 33554432000 4194304 4196468 140728342695056 140213225481584 140214192215765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22454272 140728342701174 140728342701326 140728342701326 140728342704079 0
[pid=20564/tid=20574] ppid=20561 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20564/task/20574/stat : 20574 (java) S 20561 20564 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106284632 10914828288 6688 33554432000 4194304 4196468 140728342695056 140213224429904 140214192224155 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22454272 140728342701174 140728342701326 140728342701326 140728342704079 0
[pid=20564/tid=20575] ppid=20561 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20564/task/20575/stat : 20575 (java) S 20561 20564 13514 0 -1 1077944384 444 0 0 0 0 0 0 0 20 0 15 0 106284632 10914828288 6688 33554432000 4194304 4196468 140728342695056 140213223377264 140214192216706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22454272 140728342701174 140728342701326 140728342701326 140728342704079 0
[pid=20564/tid=20576] ppid=20561 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20564/task/20576/stat : 20576 (java) S 20561 20564 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106284632 10914828288 6688 33554432000 4194304 4196468 140728342695056 140213222324464 140214192216706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22454272 140728342701174 140728342701326 140728342701326 140728342704079 0
[pid=20564/tid=20577] ppid=20561 vsize=10659012 memory=140469246822016 CPUtime=0 cores=1,3,5,7
/proc/20564/task/20577/stat : 20577 (java) R 20561 20564 13514 0 -1 4202560 294 0 0 0 0 0 0 0 20 0 15 0 106284632 10914828288 6688 33554432000 4194304 4196468 140728342695056 140213221271664 140214171147096 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22454272 140728342701174 140728342701326 140728342701326 140728342704079 0
[pid=20564/tid=20578] ppid=20561 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20564/task/20578/stat : 20578 (java) S 20561 20564 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106284633 10914828288 6688 33554432000 4194304 4196468 140728342695056 140213220219104 140214192215765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22454272 140728342701174 140728342701326 140728342701326 140728342704079 0
[pid=20564/tid=20579] ppid=20561 vsize=10659012 memory=140469246822016 CPUtime=0 cores=1,3,5,7
/proc/20564/task/20579/stat : 20579 (java) S 20561 20564 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106284635 10914828288 6688 33554432000 4194304 4196468 140728342695056 140213219167408 140214192216706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22454272 140728342701174 140728342701326 140728342701326 140728342704079 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 26752 KiB

[startup+0.210545 s]*
/proc/loadavg: 2.05 2.18 2.31 4/215 20579
/proc/meminfo: memFree=28220396/32770624 swapFree=67108860/67108860
[pid=20564] ppid=20561 vsize=10659012 memory=38392 CPUtime=0.27 cores=1,3,5,7
/proc/20564/stat : 20564 (java) S 20561 20564 13514 0 -1 1077944320 7807 0 0 0 24 3 0 0 20 0 15 0 106284627 10914828288 9598 33554432000 4194304 4196468 140728342695056 140728342677600 140214192205559 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 22454272 140728342701174 140728342701326 140728342701326 140728342704079 0
/proc/20564/statm: 2664753 9598 2961 1 0 2627263 0
[pid=20564/tid=20566] ppid=20561 vsize=10659012 memory=7022364594140610616 CPUtime=0.18 cores=1,3,5,7
/proc/20564/task/20566/stat : 20566 (java) R 20561 20564 13514 0 -1 4202560 5033 0 0 0 16 2 0 0 20 0 15 0 106284627 10914828288 9598 33554432000 4194304 4196468 140728342695056 140214196430224 140214176286046 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22454272 140728342701174 140728342701326 140728342701326 140728342704079 0
[pid=20564/tid=20567] ppid=20561 vsize=10659012 memory=339 CPUtime=0 cores=1,3,5,7
/proc/20564/task/20567/stat : 20567 (java) S 20561 20564 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106284628 10914828288 9598 33554432000 4194304 4196468 140728342695056 140214118279824 140214192215765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22454272 140728342701174 140728342701326 140728342701326 140728342704079 0
[pid=20564/tid=20568] ppid=20561 vsize=10659012 memory=288370845398533760 CPUtime=0 cores=1,3,5,7
/proc/20564/task/20568/stat : 20568 (java) S 20561 20564 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106284628 10914828288 9664 33554432000 4194304 4196468 140728342695056 140214117227024 140214192215765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22454272 140728342701174 140728342701326 140728342701326 140728342704079 0
[pid=20564/tid=20569] ppid=20561 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20564/task/20569/stat : 20569 (java) S 20561 20564 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106284628 10914828288 9664 33554432000 4194304 4196468 140728342695056 140214116174224 140214192215765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22454272 140728342701174 140728342701326 140728342701326 140728342704079 0
[pid=20564/tid=20570] ppid=20561 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20564/task/20570/stat : 20570 (java) S 20561 20564 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106284628 10914828288 9664 33554432000 4194304 4196468 140728342695056 140214115121424 140214192215765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22454272 140728342701174 140728342701326 140728342701326 140728342704079 0
[pid=20564/tid=20571] ppid=20561 vsize=10659012 memory=140469246822016 CPUtime=0 cores=1,3,5,7
/proc/20564/task/20571/stat : 20571 (java) S 20561 20564 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106284629 10914828288 9664 33554432000 4194304 4196468 140728342695056 140213227588464 140214192216706 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22454272 140728342701174 140728342701326 140728342701326 140728342704079 0
[pid=20564/tid=20572] ppid=20561 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20564/task/20572/stat : 20572 (java) S 20561 20564 13514 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106284630 10914828288 9664 33554432000 4194304 4196468 140728342695056 140213226534432 140214192215765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22454272 140728342701174 140728342701326 140728342701326 140728342704079 0
[pid=20564/tid=20573] ppid=20561 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20564/task/20573/stat : 20573 (java) S 20561 20564 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106284630 10914828288 9664 33554432000 4194304 4196468 140728342695056 140213225481584 140214192215765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22454272 140728342701174 140728342701326 140728342701326 140728342704079 0
[pid=20564/tid=20574] ppid=20561 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20564/task/20574/stat : 20574 (java) S 20561 20564 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106284632 10914828288 9664 33554432000 4194304 4196468 140728342695056 140213224429904 140214192224155 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22454272 140728342701174 140728342701326 140728342701326 140728342704079 0
[pid=20564/tid=20575] ppid=20561 vsize=10659012 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/20564/task/20575/stat : 20575 (java) R 20561 20564 13514 0 -1 4202560 664 0 0 0 1 0 0 0 20 0 15 0 106284632 10914828288 9664 33554432000 4194304 4196468 140728342695056 140213223363064 140214176101571 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22454272 140728342701174 140728342701326 140728342701326 140728342704079 0
[pid=20564/tid=20576] ppid=20561 vsize=10659012 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/20564/task/20576/stat : 20576 (java) R 20561 20564 13514 0 -1 4202560 145 0 0 0 1 0 0 0 20 0 15 0 106284632 10914828288 9664 33554432000 4194304 4196468 140728342695056 140213222315480 140214184494897 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22454272 140728342701174 140728342701326 140728342701326 140728342704079 0
[pid=20564/tid=20577] ppid=20561 vsize=10659012 memory=140469246822016 CPUtime=0.05 cores=1,3,5,7
/proc/20564/task/20577/stat : 20577 (java) R 20561 20564 13514 0 -1 4202560 656 0 0 0 5 0 0 0 20 0 15 0 106284632 10914828288 9664 33554432000 4194304 4196468 140728342695056 140213221266040 140214171137806 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22454272 140728342701174 140728342701326 140728342701326 140728342704079 0
[pid=20564/tid=20578] ppid=20561 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20564/task/20578/stat : 20578 (java) S 20561 20564 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106284633 10914828288 9664 33554432000 4194304 4196468 140728342695056 140213220219104 140214192215765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22454272 140728342701174 140728342701326 140728342701326 140728342704079 0
[pid=20564/tid=20579] ppid=20561 vsize=10659012 memory=140469246822016 CPUtime=0 cores=1,3,5,7
/proc/20564/task/20579/stat : 20579 (java) S 20561 20564 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106284635 10914828288 9664 33554432000 4194304 4196468 140728342695056 140213219167408 140214192216706 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22454272 140728342701174 140728342701326 140728342701326 140728342704079 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 38392 KiB

[startup+0.311772 s]*
/proc/loadavg: 2.05 2.18 2.31 4/215 20579
/proc/meminfo: memFree=28209720/32770624 swapFree=67108860/67108860
[pid=20564] ppid=20561 vsize=10659012 memory=49976 CPUtime=0.51 cores=1,3,5,7
/proc/20564/stat : 20564 (java) S 20561 20564 13514 0 -1 1077944320 9180 0 0 0 48 3 0 0 20 0 15 0 106284627 10914828288 12494 33554432000 4194304 4196468 140728342695056 140728342677600 140214192205559 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 22454272 140728342701174 140728342701326 140728342701326 140728342704079 0
/proc/20564/statm: 2664753 12494 3043 1 0 2627263 0
[pid=20564/tid=20566] ppid=20561 vsize=10659012 memory=7311146985107750967 CPUtime=0.27 cores=1,3,5,7
/proc/20564/task/20566/stat : 20566 (java) R 20561 20564 13514 0 -1 4202560 5481 0 0 0 25 2 0 0 20 0 15 0 106284627 10914828288 12494 33554432000 4194304 4196468 140728342695056 140214196441648 140213789379627 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22454272 140728342701174 140728342701326 140728342701326 140728342704079 0
[pid=20564/tid=20567] ppid=20561 vsize=10659012 memory=10530 CPUtime=0 cores=1,3,5,7
/proc/20564/task/20567/stat : 20567 (java) S 20561 20564 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106284628 10914828288 12494 33554432000 4194304 4196468 140728342695056 140214118279824 140214192215765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22454272 140728342701174 140728342701326 140728342701326 140728342704079 0
[pid=20564/tid=20568] ppid=20561 vsize=10659012 memory=288370845398533760 CPUtime=0 cores=1,3,5,7
/proc/20564/task/20568/stat : 20568 (java) S 20561 20564 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106284628 10914828288 12494 33554432000 4194304 4196468 140728342695056 140214117227024 140214192215765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22454272 140728342701174 140728342701326 140728342701326 140728342704079 0
[pid=20564/tid=20569] ppid=20561 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20564/task/20569/stat : 20569 (java) S 20561 20564 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106284628 10914828288 12494 33554432000 4194304 4196468 140728342695056 140214116174224 140214192215765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22454272 140728342701174 140728342701326 140728342701326 140728342704079 0
[pid=20564/tid=20570] ppid=20561 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20564/task/20570/stat : 20570 (java) S 20561 20564 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106284628 10914828288 12494 33554432000 4194304 4196468 140728342695056 140214115121424 140214192215765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22454272 140728342701174 140728342701326 140728342701326 140728342704079 0
[pid=20564/tid=20571] ppid=20561 vsize=10659012 memory=140469246822016 CPUtime=0 cores=1,3,5,7
/proc/20564/task/20571/stat : 20571 (java) S 20561 20564 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106284629 10914828288 12494 33554432000 4194304 4196468 140728342695056 140213227588464 140214192216706 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22454272 140728342701174 140728342701326 140728342701326 140728342704079 0
[pid=20564/tid=20572] ppid=20561 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20564/task/20572/stat : 20572 (java) S 20561 20564 13514 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106284630 10914828288 12494 33554432000 4194304 4196468 140728342695056 140213226534432 140214192215765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22454272 140728342701174 140728342701326 140728342701326 140728342704079 0
[pid=20564/tid=20573] ppid=20561 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20564/task/20573/stat : 20573 (java) S 20561 20564 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106284630 10914828288 12494 33554432000 4194304 4196468 140728342695056 140213225481584 140214192215765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22454272 140728342701174 140728342701326 140728342701326 140728342704079 0
[pid=20564/tid=20574] ppid=20561 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20564/task/20574/stat : 20574 (java) S 20561 20564 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106284632 10914828288 12494 33554432000 4194304 4196468 140728342695056 140213224429904 140214192224155 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22454272 140728342701174 140728342701326 140728342701326 140728342704079 0
[pid=20564/tid=20575] ppid=20561 vsize=10659012 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/20564/task/20575/stat : 20575 (java) R 20561 20564 13514 0 -1 4202560 989 0 0 0 5 0 0 0 20 0 15 0 106284632 10914828288 12494 33554432000 4194304 4196468 140728342695056 140213223369896 140214184495008 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22454272 140728342701174 140728342701326 140728342701326 140728342704079 0
[pid=20564/tid=20576] ppid=20561 vsize=10659012 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/20564/task/20576/stat : 20576 (java) R 20561 20564 13514 0 -1 4202560 446 0 0 0 4 0 0 0 20 0 15 0 106284632 10914828288 12494 33554432000 4194304 4196468 140728342695056 140213222309128 140214177314403 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22454272 140728342701174 140728342701326 140728342701326 140728342704079 0
[pid=20564/tid=20577] ppid=20561 vsize=10659012 memory=140469246822016 CPUtime=0.12 cores=1,3,5,7
/proc/20564/task/20577/stat : 20577 (java) R 20561 20564 13514 0 -1 4202560 929 0 0 0 12 0 0 0 20 0 15 0 106284632 10914828288 12494 33554432000 4194304 4196468 140728342695056 140213221268600 140214185305406 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22454272 140728342701174 140728342701326 140728342701326 140728342704079 0
[pid=20564/tid=20578] ppid=20561 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20564/task/20578/stat : 20578 (java) S 20561 20564 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106284633 10914828288 12494 33554432000 4194304 4196468 140728342695056 140213220219104 140214192215765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22454272 140728342701174 140728342701326 140728342701326 140728342704079 0
[pid=20564/tid=20579] ppid=20561 vsize=10659012 memory=140469246822016 CPUtime=0 cores=1,3,5,7
/proc/20564/task/20579/stat : 20579 (java) S 20561 20564 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106284635 10914828288 12494 33554432000 4194304 4196468 140728342695056 140213219167408 140214192216706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22454272 140728342701174 140728342701326 140728342701326 140728342704079 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 49976 KiB

[startup+0.700838 s]
/proc/loadavg: 2.05 2.18 2.31 5/215 20579
/proc/meminfo: memFree=28182292/32770624 swapFree=67108860/67108860
[pid=20564] ppid=20561 vsize=10659088 memory=134856 CPUtime=1.79 cores=1,3,5,7
/proc/20564/stat : 20564 (java) S 20561 20564 13514 0 -1 1077944320 14015 0 0 0 174 5 0 0 20 0 15 0 106284627 10914906112 33714 33554432000 4194304 4196468 140728342695056 140728342677600 140214192205559 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 22454272 140728342701174 140728342701326 140728342701326 140728342704079 0
/proc/20564/statm: 2664772 33714 3091 1 0 2627263 0
[pid=20564/tid=20566] ppid=20561 vsize=10659088 memory=0 CPUtime=0.65 cores=1,3,5,7
/proc/20564/task/20566/stat : 20566 (java) R 20561 20564 13514 0 -1 4202560 5857 0 0 0 62 3 0 0 20 0 15 0 106284627 10914906112 33714 33554432000 4194304 4196468 140728342695056 140214196439200 140214192217494 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22454272 140728342701174 140728342701326 140728342701326 140728342704079 0
[pid=20564/tid=20567] ppid=20561 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20564/task/20567/stat : 20567 (java) S 20561 20564 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106284628 10914906112 33714 33554432000 4194304 4196468 140728342695056 140214118279824 140214192215765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22454272 140728342701174 140728342701326 140728342701326 140728342704079 0
[pid=20564/tid=20568] ppid=20561 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20564/task/20568/stat : 20568 (java) S 20561 20564 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106284628 10914906112 33714 33554432000 4194304 4196468 140728342695056 140214117227024 140214192215765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22454272 140728342701174 140728342701326 140728342701326 140728342704079 0
[pid=20564/tid=20569] ppid=20561 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20564/task/20569/stat : 20569 (java) S 20561 20564 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106284628 10914906112 33714 33554432000 4194304 4196468 140728342695056 140214116174224 140214192215765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22454272 140728342701174 140728342701326 140728342701326 140728342704079 0
[pid=20564/tid=20570] ppid=20561 vsize=10659088 memory=228820892279738 CPUtime=0 cores=1,3,5,7
/proc/20564/task/20570/stat : 20570 (java) S 20561 20564 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106284628 10914906112 33714 33554432000 4194304 4196468 140728342695056 140214115121424 140214192215765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22454272 140728342701174 140728342701326 140728342701326 140728342704079 0
[pid=20564/tid=20571] ppid=20561 vsize=10659088 memory=605488 CPUtime=0 cores=1,3,5,7
/proc/20564/task/20571/stat : 20571 (java) S 20561 20564 13514 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 106284629 10914906112 33714 33554432000 4194304 4196468 140728342695056 140213227588464 140214192216706 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22454272 140728342701174 140728342701326 140728342701326 140728342704079 0
[pid=20564/tid=20572] ppid=20561 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20564/task/20572/stat : 20572 (java) S 20561 20564 13514 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106284630 10914906112 33714 33554432000 4194304 4196468 140728342695056 140213226534432 140214192215765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22454272 140728342701174 140728342701326 140728342701326 140728342704079 0
[pid=20564/tid=20573] ppid=20561 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20564/task/20573/stat : 20573 (java) S 20561 20564 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106284630 10914906112 33714 33554432000 4194304 4196468 140728342695056 140213225481584 140214192215765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22454272 140728342701174 140728342701326 140728342701326 140728342704079 0
[pid=20564/tid=20574] ppid=20561 vsize=10659088 memory=7809523229951467572 CPUtime=0 cores=1,3,5,7
/proc/20564/task/20574/stat : 20574 (java) S 20561 20564 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106284632 10914906112 33714 33554432000 4194304 4196468 140728342695056 140213224429904 140214192224155 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22454272 140728342701174 140728342701326 140728342701326 140728342704079 0
[pid=20564/tid=20575] ppid=20561 vsize=10659088 memory=0 CPUtime=0.42 cores=1,3,5,7
/proc/20564/task/20575/stat : 20575 (java) R 20561 20564 13514 0 -1 4202560 2742 0 0 0 42 0 0 0 20 0 15 0 106284632 10914906112 33714 33554432000 4194304 4196468 140728342695056 140213223362656 140214178269552 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22454272 140728342701174 140728342701326 140728342701326 140728342704079 0
[pid=20564/tid=20576] ppid=20561 vsize=10659088 memory=0 CPUtime=0.41 cores=1,3,5,7
/proc/20564/task/20576/stat : 20576 (java) R 20561 20564 13514 0 -1 4202560 2351 0 0 0 41 0 0 0 20 0 15 0 106284632 10914906112 33714 33554432000 4194304 4196468 140728342695056 140213222310200 140214177127326 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22454272 140728342701174 140728342701326 140728342701326 140728342704079 0
[pid=20564/tid=20577] ppid=20561 vsize=10659088 memory=0 CPUtime=0.27 cores=1,3,5,7
/proc/20564/task/20577/stat : 20577 (java) R 20561 20564 13514 0 -1 1077944384 1695 0 0 0 27 0 0 0 20 0 15 0 106284632 10914906112 33714 33554432000 4194304 4196468 140728342695056 140213221271664 140214192216706 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22454272 140728342701174 140728342701326 140728342701326 140728342704079 0
[pid=20564/tid=20578] ppid=20561 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20564/task/20578/stat : 20578 (java) S 20561 20564 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106284633 10914906112 33714 33554432000 4194304 4196468 140728342695056 140213220219104 140214192215765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22454272 140728342701174 140728342701326 140728342701326 140728342704079 0
[pid=20564/tid=20579] ppid=20561 vsize=10659088 memory=-1088251628401078322 CPUtime=0 cores=1,3,5,7
/proc/20564/task/20579/stat : 20579 (java) S 20561 20564 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106284635 10914906112 33714 33554432000 4194304 4196468 140728342695056 140213219167408 140214192216706 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22454272 140728342701174 140728342701326 140728342701326 140728342704079 0
Current children cumulated CPU time: 1.79 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 134856 KiB

[startup+1.50086 s]
/proc/loadavg: 2.05 2.18 2.31 3/215 20579
/proc/meminfo: memFree=28026248/32770624 swapFree=67108860/67108860
[pid=20564] ppid=20561 vsize=10661136 memory=369976 CPUtime=4.44 cores=1,3,5,7
/proc/20564/stat : 20564 (java) S 20561 20564 13514 0 -1 1077944320 19920 0 0 0 433 11 0 0 20 0 15 0 106284627 10917003264 92494 33554432000 4194304 4196468 140728342695056 140728342677600 140214192205559 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 22454272 140728342701174 140728342701326 140728342701326 140728342704079 0
/proc/20564/statm: 2665284 92494 3145 1 0 2627775 0
[pid=20564/tid=20566] ppid=20561 vsize=10661136 memory=280938240066176 CPUtime=1.39 cores=1,3,5,7
/proc/20564/task/20566/stat : 20566 (java) R 20561 20564 13514 0 -1 4202560 6212 0 0 0 134 5 0 0 20 0 15 0 106284627 10917003264 92494 33554432000 4194304 4196468 140728342695056 140214196440312 140213793028721 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22454272 140728342701174 140728342701326 140728342701326 140728342704079 0
[pid=20564/tid=20567] ppid=20561 vsize=10661136 memory=56 CPUtime=0.03 cores=1,3,5,7
/proc/20564/task/20567/stat : 20567 (java) S 20561 20564 13514 0 -1 1077944384 44 0 0 0 3 0 0 0 20 0 15 0 106284628 10917003264 92494 33554432000 4194304 4196468 140728342695056 140214118279824 140214192215765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22454272 140728342701174 140728342701326 140728342701326 140728342704079 0
[pid=20564/tid=20568] ppid=20561 vsize=10661136 memory=10757 CPUtime=0.02 cores=1,3,5,7
/proc/20564/task/20568/stat : 20568 (java) S 20561 20564 13514 0 -1 1077944384 28 0 0 0 2 0 0 0 20 0 15 0 106284628 10917003264 92494 33554432000 4194304 4196468 140728342695056 140214117227024 140214192215765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22454272 140728342701174 140728342701326 140728342701326 140728342704079 0
[pid=20564/tid=20569] ppid=20561 vsize=10661136 memory=25040 CPUtime=0.01 cores=1,3,5,7
/proc/20564/task/20569/stat : 20569 (java) S 20561 20564 13514 0 -1 1077944384 22 0 0 0 1 0 0 0 20 0 15 0 106284628 10917003264 92494 33554432000 4194304 4196468 140728342695056 140214116174224 140214192215765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22454272 140728342701174 140728342701326 140728342701326 140728342704079 0
[pid=20564/tid=20570] ppid=20561 vsize=10661136 memory=9198851636693084315 CPUtime=0.02 cores=1,3,5,7
/proc/20564/task/20570/stat : 20570 (java) S 20561 20564 13514 0 -1 1077944384 40 0 0 0 2 0 0 0 20 0 15 0 106284628 10917003264 92494 33554432000 4194304 4196468 140728342695056 140214115121424 140214192215765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22454272 140728342701174 140728342701326 140728342701326 140728342704079 0
[pid=20564/tid=20571] ppid=20561 vsize=10661136 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/20564/task/20571/stat : 20571 (java) S 20561 20564 13514 0 -1 1077944384 210 0 0 0 0 0 0 0 20 0 15 0 106284629 10917003264 92494 33554432000 4194304 4196468 140728342695056 140213227588464 140214192216706 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22454272 140728342701174 140728342701326 140728342701326 140728342704079 0

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

/proc/20564/task/20568/stat : 20568 (java) S 20561 20564 13514 0 -1 1077944384 4007 0 0 0 699 41 0 0 20 0 16 0 106284628 10985164800 988217 33554432000 4194304 4196468 140728342695056 140214117227024 140214192215765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22454272 140728342701174 140728342701326 140728342701326 140728342704079 0
[pid=20564/tid=20569] ppid=20561 vsize=10727700 memory=3952868 CPUtime=7.4 cores=1,3,5,7
/proc/20564/task/20569/stat : 20569 (java) S 20561 20564 13514 0 -1 1077944384 4850 0 0 0 698 42 0 0 20 0 16 0 106284628 10985164800 988217 33554432000 4194304 4196468 140728342695056 140214116174224 140214192215765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22454272 140728342701174 140728342701326 140728342701326 140728342704079 0
[pid=20564/tid=20570] ppid=20561 vsize=10727700 memory=804 CPUtime=7.42 cores=1,3,5,7
/proc/20564/task/20570/stat : 20570 (java) S 20561 20564 13514 0 -1 1077944384 3593 0 0 0 697 45 0 0 20 0 16 0 106284628 10985164800 988217 33554432000 4194304 4196468 140728342695056 140214115121424 140214192215765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22454272 140728342701174 140728342701326 140728342701326 140728342704079 0
[pid=20564/tid=20571] ppid=20561 vsize=10727700 memory=0 CPUtime=3.29 cores=1,3,5,7
/proc/20564/task/20571/stat : 20571 (java) S 20561 20564 13514 0 -1 1077944384 13742 0 0 0 328 1 0 0 20 0 16 0 106284629 10985164800 988217 33554432000 4194304 4196468 140728342695056 140213227588464 140214192216706 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22454272 140728342701174 140728342701326 140728342701326 140728342704079 0
[pid=20564/tid=20572] ppid=20561 vsize=10727700 memory=1 CPUtime=0 cores=1,3,5,7
/proc/20564/task/20572/stat : 20572 (java) S 20561 20564 13514 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 16 0 106284630 10985164800 988217 33554432000 4194304 4196468 140728342695056 140213226534496 140214192215765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22454272 140728342701174 140728342701326 140728342701326 140728342704079 0
[pid=20564/tid=20573] ppid=20561 vsize=10727700 memory=3952868 CPUtime=0 cores=1,3,5,7
/proc/20564/task/20573/stat : 20573 (java) S 20561 20564 13514 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 16 0 106284630 10985164800 988217 33554432000 4194304 4196468 140728342695056 140213225481584 140214192215765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22454272 140728342701174 140728342701326 140728342701326 140728342704079 0
[pid=20564/tid=20574] ppid=20561 vsize=10727700 memory=2204 CPUtime=0 cores=1,3,5,7
/proc/20564/task/20574/stat : 20574 (java) S 20561 20564 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 106284632 10985164800 988217 33554432000 4194304 4196468 140728342695056 140213224429904 140214192224155 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22454272 140728342701174 140728342701326 140728342701326 140728342704079 0
[pid=20564/tid=20575] ppid=20561 vsize=10727700 memory=466 CPUtime=4.66 cores=1,3,5,7
/proc/20564/task/20575/stat : 20575 (java) S 20561 20564 13514 0 -1 1077944384 15288 0 0 0 464 2 0 0 20 0 16 0 106284632 10985164800 988217 33554432000 4194304 4196468 140728342695056 140213223377264 140214192216706 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22454272 140728342701174 140728342701326 140728342701326 140728342704079 0
[pid=20564/tid=20576] ppid=20561 vsize=10727700 memory=490 CPUtime=4.9 cores=1,3,5,7
/proc/20564/task/20576/stat : 20576 (java) S 20561 20564 13514 0 -1 1077944384 13489 0 0 0 489 1 0 0 20 0 16 0 106284632 10985164800 988217 33554432000 4194304 4196468 140728342695056 140213222324464 140214192216706 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 22454272 140728342701174 140728342701326 140728342701326 140728342704079 0
[pid=20564/tid=20577] ppid=20561 vsize=10727700 memory=6791534058613427641 CPUtime=0.89 cores=1,3,5,7
/proc/20564/task/20577/stat : 20577 (java) S 20561 20564 13514 0 -1 1077944384 5948 0 0 0 88 1 0 0 20 0 16 0 106284632 10985164800 988217 33554432000 4194304 4196468 140728342695056 140213221271664 140214192216706 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22454272 140728342701174 140728342701326 140728342701326 140728342704079 0
[pid=20564/tid=20578] ppid=20561 vsize=10727700 memory=30284 CPUtime=0 cores=1,3,5,7
/proc/20564/task/20578/stat : 20578 (java) S 20561 20564 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 106284633 10985164800 988217 33554432000 4194304 4196468 140728342695056 140213220219104 140214192215765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22454272 140728342701174 140728342701326 140728342701326 140728342704079 0
[pid=20564/tid=20579] ppid=20561 vsize=10727700 memory=3952868 CPUtime=0.08 cores=1,3,5,7
/proc/20564/task/20579/stat : 20579 (java) S 20561 20564 13514 0 -1 1077944384 617 0 0 0 4 4 0 0 20 0 16 0 106284635 10985164800 988217 33554432000 4194304 4196468 140728342695056 140213219167408 140214192216706 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22454272 140728342701174 140728342701326 140728342701326 140728342704079 0
[pid=20564/tid=20580] ppid=20561 vsize=10727700 memory=8836 CPUtime=0 cores=1,3,5,7
/proc/20564/task/20580/stat : 20580 (java) S 20561 20564 13514 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 106287109 10985164800 988217 33554432000 4194304 4196468 140728342695056 140213216015792 140214192216706 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22454272 140728342701174 140728342701326 140728342701326 140728342704079 0
Current children cumulated CPU time: 195.01 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 3952868 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+219.301 s]
/proc/loadavg: 2.09 2.17 2.29 3/218 20689
/proc/meminfo: memFree=21439608/32770624 swapFree=67108860/67108860
[pid=20564] ppid=20561 vsize=10727700 memory=3952868 CPUtime=252.05 cores=1,3,5,7
/proc/20564/stat : 20564 (java) S 20561 20564 13514 0 -1 1077944320 93905 0 0 0 24996 209 0 0 20 0 16 0 106284627 10985164800 988217 33554432000 4194304 4196468 140728342695056 140728342677600 140214192205559 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 22454272 140728342701174 140728342701326 140728342701326 140728342704079 0
/proc/20564/statm: 2681925 988217 3205 1 0 2644416 0
[pid=20564/tid=20566] ppid=20561 vsize=10727700 memory=3952868 CPUtime=208.37 cores=1,3,5,7
/proc/20564/task/20566/stat : 20566 (java) R 20561 20564 13514 0 -1 4202560 26169 0 0 0 20811 26 0 0 20 0 16 0 106284627 10985164800 988217 33554432000 4194304 4196468 140728342695056 140214196444296 140213787897920 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22454272 140728342701174 140728342701326 140728342701326 140728342704079 0
[pid=20564/tid=20567] ppid=20561 vsize=10727700 memory=3952868 CPUtime=7.49 cores=1,3,5,7
/proc/20564/task/20567/stat : 20567 (java) S 20561 20564 13514 0 -1 1077944384 4725 0 0 0 708 41 0 0 20 0 16 0 106284628 10985164800 988217 33554432000 4194304 4196468 140728342695056 140214118279824 140214192215765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22454272 140728342701174 140728342701326 140728342701326 140728342704079 0
[pid=20564/tid=20568] ppid=20561 vsize=10727700 memory=164 CPUtime=7.4 cores=1,3,5,7
/proc/20564/task/20568/stat : 20568 (java) S 20561 20564 13514 0 -1 1077944384 4007 0 0 0 699 41 0 0 20 0 16 0 106284628 10985164800 988217 33554432000 4194304 4196468 140728342695056 140214117227024 140214192215765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22454272 140728342701174 140728342701326 140728342701326 140728342704079 0
[pid=20564/tid=20569] ppid=20561 vsize=10727700 memory=3952868 CPUtime=7.4 cores=1,3,5,7
/proc/20564/task/20569/stat : 20569 (java) S 20561 20564 13514 0 -1 1077944384 4850 0 0 0 698 42 0 0 20 0 16 0 106284628 10985164800 988217 33554432000 4194304 4196468 140728342695056 140214116174224 140214192215765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22454272 140728342701174 140728342701326 140728342701326 140728342704079 0
[pid=20564/tid=20570] ppid=20561 vsize=10727700 memory=3952868 CPUtime=7.42 cores=1,3,5,7
/proc/20564/task/20570/stat : 20570 (java) S 20561 20564 13514 0 -1 1077944384 3593 0 0 0 697 45 0 0 20 0 16 0 106284628 10985164800 988217 33554432000 4194304 4196468 140728342695056 140214115121424 140214192215765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22454272 140728342701174 140728342701326 140728342701326 140728342704079 0
[pid=20564/tid=20571] ppid=20561 vsize=10727700 memory=3952868 CPUtime=3.3 cores=1,3,5,7
/proc/20564/task/20571/stat : 20571 (java) S 20561 20564 13514 0 -1 1077944384 13752 0 0 0 329 1 0 0 20 0 16 0 106284629 10985164800 988217 33554432000 4194304 4196468 140728342695056 140213227588464 140214192216706 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22454272 140728342701174 140728342701326 140728342701326 140728342704079 0
[pid=20564/tid=20572] ppid=20561 vsize=10727700 memory=280938240951504 CPUtime=0 cores=1,3,5,7
/proc/20564/task/20572/stat : 20572 (java) S 20561 20564 13514 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 16 0 106284630 10985164800 988217 33554432000 4194304 4196468 140728342695056 140213226534496 140214192215765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22454272 140728342701174 140728342701326 140728342701326 140728342704079 0
[pid=20564/tid=20573] ppid=20561 vsize=10727700 memory=3952868 CPUtime=0 cores=1,3,5,7
/proc/20564/task/20573/stat : 20573 (java) S 20561 20564 13514 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 16 0 106284630 10985164800 988217 33554432000 4194304 4196468 140728342695056 140213225481584 140214192215765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22454272 140728342701174 140728342701326 140728342701326 140728342704079 0
[pid=20564/tid=20574] ppid=20561 vsize=10727700 memory=3952868 CPUtime=0 cores=1,3,5,7
/proc/20564/task/20574/stat : 20574 (java) S 20561 20564 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 106284632 10985164800 988217 33554432000 4194304 4196468 140728342695056 140213224429904 140214192224155 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22454272 140728342701174 140728342701326 140728342701326 140728342704079 0
[pid=20564/tid=20575] ppid=20561 vsize=10727700 memory=1700 CPUtime=4.67 cores=1,3,5,7
/proc/20564/task/20575/stat : 20575 (java) S 20561 20564 13514 0 -1 1077944384 15291 0 0 0 465 2 0 0 20 0 16 0 106284632 10985164800 988217 33554432000 4194304 4196468 140728342695056 140213223377264 140214192216706 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22454272 140728342701174 140728342701326 140728342701326 140728342704079 0
[pid=20564/tid=20576] ppid=20561 vsize=10727700 memory=1172 CPUtime=4.9 cores=1,3,5,7
/proc/20564/task/20576/stat : 20576 (java) S 20561 20564 13514 0 -1 1077944384 13502 0 0 0 489 1 0 0 20 0 16 0 106284632 10985164800 988217 33554432000 4194304 4196468 140728342695056 140213222324464 140214192216706 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 22454272 140728342701174 140728342701326 140728342701326 140728342704079 0
[pid=20564/tid=20577] ppid=20561 vsize=10727700 memory=3952868 CPUtime=0.89 cores=1,3,5,7
/proc/20564/task/20577/stat : 20577 (java) S 20561 20564 13514 0 -1 1077944384 5951 0 0 0 88 1 0 0 20 0 16 0 106284632 10985164800 988217 33554432000 4194304 4196468 140728342695056 140213221271664 140214192216706 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22454272 140728342701174 140728342701326 140728342701326 140728342704079 0
[pid=20564/tid=20578] ppid=20561 vsize=10727700 memory=3952868 CPUtime=0 cores=1,3,5,7
/proc/20564/task/20578/stat : 20578 (java) S 20561 20564 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 106284633 10985164800 988217 33554432000 4194304 4196468 140728342695056 140213220219104 140214192215765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22454272 140728342701174 140728342701326 140728342701326 140728342704079 0
[pid=20564/tid=20579] ppid=20561 vsize=10727700 memory=3952868 CPUtime=0.11 cores=1,3,5,7
/proc/20564/task/20579/stat : 20579 (java) S 20561 20564 13514 0 -1 1077944384 657 0 0 0 6 5 0 0 20 0 16 0 106284635 10985164800 988217 33554432000 4194304 4196468 140728342695056 140213219167408 140214192216706 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22454272 140728342701174 140728342701326 140728342701326 140728342704079 0
[pid=20564/tid=20580] ppid=20561 vsize=10727700 memory=3952868 CPUtime=0 cores=1,3,5,7
/proc/20564/task/20580/stat : 20580 (java) S 20561 20564 13514 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 106287109 10985164800 988217 33554432000 4194304 4196468 140728342695056 140213216015792 140214192216706 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22454272 140728342701174 140728342701326 140728342701326 140728342704079 0
Current children cumulated CPU time: 252.05 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 3952868 KiB

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

[startup+219.542 s]
# the end of solver process 20564 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=249.99 s, system=2.12077 s

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

[startup+219.405 s]
/proc/loadavg: 2.09 2.17 2.29 3/218 20689
/proc/meminfo: memFree=21439608/32770624 swapFree=67108860/67108860
[pid=20564] ppid=20561 vsize=10927392 memory=3953180 CPUtime=252.06 cores=1,3,5,7
/proc/20564/stat : 20564 (java) S 20561 20564 13514 0 -1 1077944320 95021 0 0 0 24997 209 0 0 20 0 17 0 106284627 11189649408 988295 33554432000 4194304 4196468 140728342695056 140728342677600 140214192205559 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22454272 140728342701174 140728342701326 140728342701326 140728342704079 0
/proc/20564/statm: 2731848 988295 3208 1 0 2694339 0
[pid=20564/tid=20566] ppid=20561 vsize=10927392 memory=2324 CPUtime=208.38 cores=1,3,5,7
/proc/20564/task/20566/stat : 20566 (java) S 20561 20564 13514 0 -1 1077944384 26249 0 0 0 20812 26 0 0 20 0 17 0 106284627 11189649408 988295 33554432000 4194304 4196468 140728342695056 140214196448432 140214192215765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22454272 140728342701174 140728342701326 140728342701326 140728342704079 0
[pid=20564/tid=20567] ppid=20561 vsize=10927392 memory=1584 CPUtime=7.49 cores=1,3,5,7
/proc/20564/task/20567/stat : 20567 (java) S 20561 20564 13514 0 -1 1077944384 4725 0 0 0 708 41 0 0 20 0 17 0 106284628 11189649408 988295 33554432000 4194304 4196468 140728342695056 140214118279824 140214192215765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22454272 140728342701174 140728342701326 140728342701326 140728342704079 0
[pid=20564/tid=20568] ppid=20561 vsize=10927392 memory=6791534058613427641 CPUtime=7.4 cores=1,3,5,7
/proc/20564/task/20568/stat : 20568 (java) S 20561 20564 13514 0 -1 1077944384 4007 0 0 0 699 41 0 0 20 0 17 0 106284628 11189649408 988295 33554432000 4194304 4196468 140728342695056 140214117227024 140214192215765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22454272 140728342701174 140728342701326 140728342701326 140728342704079 0
[pid=20564/tid=20569] ppid=20561 vsize=10927392 memory=1700 CPUtime=7.4 cores=1,3,5,7
/proc/20564/task/20569/stat : 20569 (java) S 20561 20564 13514 0 -1 1077944384 4850 0 0 0 698 42 0 0 20 0 17 0 106284628 11189649408 988295 33554432000 4194304 4196468 140728342695056 140214116174224 140214192215765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22454272 140728342701174 140728342701326 140728342701326 140728342704079 0
[pid=20564/tid=20570] ppid=20561 vsize=10927392 memory=1172 CPUtime=7.42 cores=1,3,5,7
/proc/20564/task/20570/stat : 20570 (java) S 20561 20564 13514 0 -1 1077944384 3593 0 0 0 697 45 0 0 20 0 17 0 106284628 11189649408 988295 33554432000 4194304 4196468 140728342695056 140214115121424 140214192215765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22454272 140728342701174 140728342701326 140728342701326 140728342704079 0
[pid=20564/tid=20571] ppid=20561 vsize=10927392 memory=1812 CPUtime=3.3 cores=1,3,5,7
/proc/20564/task/20571/stat : 20571 (java) S 20561 20564 13514 0 -1 1077944384 13786 0 0 0 329 1 0 0 20 0 17 0 106284629 11189649408 988295 33554432000 4194304 4196468 140728342695056 140213227588464 140214192216706 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22454272 140728342701174 140728342701326 140728342701326 140728342704079 0
[pid=20564/tid=20572] ppid=20561 vsize=10927392 memory=1020 CPUtime=0 cores=1,3,5,7
/proc/20564/task/20572/stat : 20572 (java) S 20561 20564 13514 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 17 0 106284630 11189649408 988295 33554432000 4194304 4196468 140728342695056 140213226534496 140214192215765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22454272 140728342701174 140728342701326 140728342701326 140728342704079 0
[pid=20564/tid=20573] ppid=20561 vsize=10927392 memory=5456 CPUtime=0 cores=1,3,5,7
/proc/20564/task/20573/stat : 20573 (java) S 20561 20564 13514 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 17 0 106284630 11189649408 988295 33554432000 4194304 4196468 140728342695056 140213225481584 140214192215765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22454272 140728342701174 140728342701326 140728342701326 140728342704079 0
[pid=20564/tid=20574] ppid=20561 vsize=10927392 memory=496 CPUtime=0 cores=1,3,5,7
/proc/20564/task/20574/stat : 20574 (java) S 20561 20564 13514 0 -1 1077944384 232 0 0 0 0 0 0 0 20 0 17 0 106284632 11189649408 988295 33554432000 4194304 4196468 140728342695056 140213224429904 140214192224155 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22454272 140728342701174 140728342701326 140728342701326 140728342704079 0
[pid=20564/tid=20575] ppid=20561 vsize=10927392 memory=928 CPUtime=4.67 cores=1,3,5,7
/proc/20564/task/20575/stat : 20575 (java) S 20561 20564 13514 0 -1 1077944384 15291 0 0 0 465 2 0 0 20 0 17 0 106284632 11189649408 988295 33554432000 4194304 4196468 140728342695056 140213223377264 140214192216706 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22454272 140728342701174 140728342701326 140728342701326 140728342704079 0
[pid=20564/tid=20576] ppid=20561 vsize=10927392 memory=1172 CPUtime=4.9 cores=1,3,5,7
/proc/20564/task/20576/stat : 20576 (java) S 20561 20564 13514 0 -1 1077944384 13502 0 0 0 489 1 0 0 20 0 17 0 106284632 11189649408 988295 33554432000 4194304 4196468 140728342695056 140213222324464 140214192216706 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 22454272 140728342701174 140728342701326 140728342701326 140728342704079 0
[pid=20564/tid=20577] ppid=20561 vsize=10927392 memory=1968 CPUtime=0.89 cores=1,3,5,7
/proc/20564/task/20577/stat : 20577 (java) S 20561 20564 13514 0 -1 1077944384 6312 0 0 0 88 1 0 0 20 0 17 0 106284632 11189649408 988295 33554432000 4194304 4196468 140728342695056 140213221271664 140214192216706 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22454272 140728342701174 140728342701326 140728342701326 140728342704079 0
[pid=20564/tid=20578] ppid=20561 vsize=10927392 memory=1572 CPUtime=0 cores=1,3,5,7
/proc/20564/task/20578/stat : 20578 (java) S 20561 20564 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 106284633 11189649408 988295 33554432000 4194304 4196468 140728342695056 140213220219104 140214192215765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22454272 140728342701174 140728342701326 140728342701326 140728342704079 0
[pid=20564/tid=20579] ppid=20561 vsize=10927392 memory=924 CPUtime=0.11 cores=1,3,5,7
/proc/20564/task/20579/stat : 20579 (java) S 20561 20564 13514 0 -1 1077944384 657 0 0 0 6 5 0 0 20 0 17 0 106284635 11189649408 988295 33554432000 4194304 4196468 140728342695056 140213219167408 140214192216706 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22454272 140728342701174 140728342701326 140728342701326 140728342704079 0
Current children cumulated CPU time: 252.06 s
Current children cumulated vsize: 10927392 KiB
Current children cumulated memory: 3953180 KiB

[startup+219.501 s]
/proc/loadavg: 2.09 2.17 2.29 3/218 20689
/proc/meminfo: memFree=21439608/32770624 swapFree=67108860/67108860
[pid=20564] ppid=20561 vsize=10927392 memory=3953180 CPUtime=252.06 cores=1,3,5,7
/proc/20564/stat : 20564 (java) S 20561 20564 13514 0 -1 1077944320 95021 0 0 0 24997 209 0 0 20 0 17 0 106284627 11189649408 988295 33554432000 4194304 4196468 140728342695056 140728342677600 140214192205559 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 22454272 140728342701174 140728342701326 140728342701326 140728342704079 0
/proc/20564/statm: 2731848 988295 3208 1 0 2694339 0
[pid=20564/tid=20566] ppid=20561 vsize=10927392 memory=3952868 CPUtime=208.38 cores=1,3,5,7
/proc/20564/task/20566/stat : 20566 (java) S 20561 20564 13514 0 -1 1077944384 26249 0 0 0 20812 26 0 0 20 0 17 0 106284627 11189649408 988295 33554432000 4194304 4196468 140728342695056 140214196448432 140214192215765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22454272 140728342701174 140728342701326 140728342701326 140728342704079 0
[pid=20564/tid=20567] ppid=20561 vsize=10927392 memory=3952868 CPUtime=7.49 cores=1,3,5,7
/proc/20564/task/20567/stat : 20567 (java) S 20561 20564 13514 0 -1 1077944384 4725 0 0 0 708 41 0 0 20 0 17 0 106284628 11189649408 988295 33554432000 4194304 4196468 140728342695056 140214118279824 140214192215765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22454272 140728342701174 140728342701326 140728342701326 140728342704079 0
[pid=20564/tid=20568] ppid=20561 vsize=10927392 memory=3952868 CPUtime=7.4 cores=1,3,5,7
/proc/20564/task/20568/stat : 20568 (java) S 20561 20564 13514 0 -1 1077944384 4007 0 0 0 699 41 0 0 20 0 17 0 106284628 11189649408 988295 33554432000 4194304 4196468 140728342695056 140214117227024 140214192215765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22454272 140728342701174 140728342701326 140728342701326 140728342704079 0
[pid=20564/tid=20569] ppid=20561 vsize=10927392 memory=164 CPUtime=7.4 cores=1,3,5,7
/proc/20564/task/20569/stat : 20569 (java) S 20561 20564 13514 0 -1 1077944384 4850 0 0 0 698 42 0 0 20 0 17 0 106284628 11189649408 988295 33554432000 4194304 4196468 140728342695056 140214116174224 140214192215765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22454272 140728342701174 140728342701326 140728342701326 140728342704079 0
[pid=20564/tid=20570] ppid=20561 vsize=10927392 memory=3952868 CPUtime=7.42 cores=1,3,5,7
/proc/20564/task/20570/stat : 20570 (java) S 20561 20564 13514 0 -1 1077944384 3593 0 0 0 697 45 0 0 20 0 17 0 106284628 11189649408 988295 33554432000 4194304 4196468 140728342695056 140214115121424 140214192215765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22454272 140728342701174 140728342701326 140728342701326 140728342704079 0
[pid=20564/tid=20571] ppid=20561 vsize=10927392 memory=3952868 CPUtime=3.3 cores=1,3,5,7
/proc/20564/task/20571/stat : 20571 (java) S 20561 20564 13514 0 -1 1077944384 13786 0 0 0 329 1 0 0 20 0 17 0 106284629 11189649408 988295 33554432000 4194304 4196468 140728342695056 140213227588464 140214192216706 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22454272 140728342701174 140728342701326 140728342701326 140728342704079 0
[pid=20564/tid=20572] ppid=20561 vsize=10927392 memory=3952868 CPUtime=0 cores=1,3,5,7
/proc/20564/task/20572/stat : 20572 (java) S 20561 20564 13514 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 17 0 106284630 11189649408 988295 33554432000 4194304 4196468 140728342695056 140213226534496 140214192215765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22454272 140728342701174 140728342701326 140728342701326 140728342704079 0
[pid=20564/tid=20573] ppid=20561 vsize=10927392 memory=1700 CPUtime=0 cores=1,3,5,7
/proc/20564/task/20573/stat : 20573 (java) S 20561 20564 13514 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 17 0 106284630 11189649408 988295 33554432000 4194304 4196468 140728342695056 140213225481584 140214192215765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22454272 140728342701174 140728342701326 140728342701326 140728342704079 0
[pid=20564/tid=20574] ppid=20561 vsize=10927392 memory=1172 CPUtime=0 cores=1,3,5,7
/proc/20564/task/20574/stat : 20574 (java) S 20561 20564 13514 0 -1 1077944384 232 0 0 0 0 0 0 0 20 0 17 0 106284632 11189649408 988295 33554432000 4194304 4196468 140728342695056 140213224429904 140214192224155 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22454272 140728342701174 140728342701326 140728342701326 140728342704079 0
[pid=20564/tid=20575] ppid=20561 vsize=10927392 memory=3952868 CPUtime=4.67 cores=1,3,5,7
/proc/20564/task/20575/stat : 20575 (java) S 20561 20564 13514 0 -1 1077944384 15291 0 0 0 465 2 0 0 20 0 17 0 106284632 11189649408 988295 33554432000 4194304 4196468 140728342695056 140213223377264 140214192216706 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22454272 140728342701174 140728342701326 140728342701326 140728342704079 0
[pid=20564/tid=20576] ppid=20561 vsize=10927392 memory=3952868 CPUtime=4.9 cores=1,3,5,7
/proc/20564/task/20576/stat : 20576 (java) S 20561 20564 13514 0 -1 1077944384 13502 0 0 0 489 1 0 0 20 0 17 0 106284632 11189649408 988295 33554432000 4194304 4196468 140728342695056 140213222324464 140214192216706 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 22454272 140728342701174 140728342701326 140728342701326 140728342704079 0
[pid=20564/tid=20577] ppid=20561 vsize=10927392 memory=3952868 CPUtime=0.89 cores=1,3,5,7
/proc/20564/task/20577/stat : 20577 (java) S 20561 20564 13514 0 -1 1077944384 6312 0 0 0 88 1 0 0 20 0 17 0 106284632 11189649408 988295 33554432000 4194304 4196468 140728342695056 140213221271664 140214192216706 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22454272 140728342701174 140728342701326 140728342701326 140728342704079 0
[pid=20564/tid=20578] ppid=20561 vsize=10927392 memory=3952868 CPUtime=0 cores=1,3,5,7
/proc/20564/task/20578/stat : 20578 (java) S 20561 20564 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 106284633 11189649408 988295 33554432000 4194304 4196468 140728342695056 140213220219104 140214192215765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22454272 140728342701174 140728342701326 140728342701326 140728342704079 0
[pid=20564/tid=20579] ppid=20561 vsize=10927392 memory=3952868 CPUtime=0.11 cores=1,3,5,7
/proc/20564/task/20579/stat : 20579 (java) S 20561 20564 13514 0 -1 1077944384 657 0 0 0 6 5 0 0 20 0 17 0 106284635 11189649408 988295 33554432000 4194304 4196468 140728342695056 140213219167408 140214192216706 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22454272 140728342701174 140728342701326 140728342701326 140728342704079 0
Current children cumulated CPU time: 252.06 s
Current children cumulated vsize: 10927392 KiB
Current children cumulated memory: 3953180 KiB

Child status: 143
Real time (s): 219.542
CPU time (s): 252.111
CPU user time (s): 249.99
CPU system time (s): 2.12077
CPU usage (%): 114.835
Max. virtual memory (cumulated for all children) (KiB): 10927392
Max. memory (cumulated for all children) (KiB): 3953180

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 249.99
system time used= 2.12078
maximum resident set size= 3953264
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 95486
page faults= 0
swaps= 0
block input operations= 0
block output operations= 320
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7912
involuntary context switches= 419


# summary of solver processes directly reported to runsolver:
#   pid: 20564
#   total CPU time (s): 252.111
#   total CPU user time (s): 249.99
#   total CPU system time (s): 2.12077

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.43915 second user time and 2.17402 second system time

The end

Launcher Data 

Begin job on node136 at 2018-07-29 20:00:15
IDJOB=4302081
IDBENCH=141551
IDSOLVER=2773
FILE ID=node136/4302081-1532887215
RUNJOBID= node136-1532879536-13547
PBS_JOBID= 21022516
Free space on /tmp= 60224 MiB

SOLVER NAME= Sat4j-CSP 2018-07-11
BENCH NAME= XCSP18/TravelingTournament/TravelingTournament-a2-galaxy16_c18.xml
COMMAND LINE= java -DCompetitionOutput -jar DIR/sat4j-csp-final.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4302081-1532887215/watcher-4302081-1532887215 -o /tmp/evaluation-result-4302081-1532887215/solver-4302081-1532887215 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node136-1532879536-13547 --watchdog 312  java -DCompetitionOutput -jar HOME/sat4j-csp-final.jar HOME/instance-4302081-1532887215.xml

TIME LIMIT= 252 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 8cfce4baee5c579b6f10529c309e3c1c
RANDOM SEED=1626652683

node136.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.50
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.50
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.50
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.50
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        28245880 kB
MemAvailable:   31550900 kB
Buffers:          214484 kB
Cached:          3360392 kB
SwapCached:            0 kB
Active:          2096564 kB
Inactive:        1953496 kB
Active(anon):     425852 kB
Inactive(anon):    76480 kB
Active(file):    1670712 kB
Inactive(file):  1877016 kB
Unevictable:        7328 kB
Mlocked:            7328 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2892 kB
Writeback:             0 kB
AnonPages:        489396 kB
Mapped:            45396 kB
Shmem:             25228 kB
Slab:             174096 kB
SReclaimable:     146256 kB
SUnreclaim:        27840 kB
KernelStack:        3792 kB
PageTables:         5992 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1570872 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    378880 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      112000 kB
DirectMap2M:    33433600 kB

Free space on /tmp at the end= 60224 MiB
End job on node136 at 2018-07-29 20:03:54