Trace number 4290168

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-CSP 2018-07-11? (TO) 2400.19 2320.18

General information on the benchmark

NameSubisomorphism/
Subisomorphism-g34-g36_c18.xml
MD5SUMbf1db001ac5fdaef8f815bb03b0feb23
Bench CategoryCSP (decision problem)
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.568914
Satisfiable
(Un)Satisfiability was proved
Number of variables120
Number of constraints241
Number of domains1
Minimum domain size120
Maximum domain size120
Distribution of domain sizes[{"size":120,"count":120}]
Minimum variable degree5
Maximum variable degree5
Distribution of variable degrees[{"degree":5,"count":120}]
Minimum constraint arity2
Maximum constraint arity120
Distribution of constraint arities[{"arity":2,"count":240},{"arity":120,"count":1}]
Number of extensional constraints240
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":240},{"type":"allDifferent","count":1}]
Optimization problemNO
Type of objective

Solver Data 

64.68/29.35	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
64.68/29.35	c This is free software under the dual EPL/GNU LGPL licenses.
64.68/29.35	c See www.sat4j.org for details.
64.68/29.35	c That software uses the Rhino library from the Mozilla project.
64.68/29.35	c version 2.3.6-SNAPSHOT
64.68/29.35	c java.runtime.name	Java(TM) SE Runtime Environment
64.68/29.35	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
64.68/29.35	c java.vm.version	25.131-b11
64.68/29.35	c java.vm.vendor	Oracle Corporation
64.68/29.35	c sun.arch.data.model	64
64.68/29.35	c java.version		1.8.0_131
64.68/29.35	c os.name		Linux
64.68/29.35	c os.version		3.10.0-514.16.1.el7.x86_64
64.68/29.35	c os.arch		amd64
64.68/29.35	c Free memory 		499604488
64.68/29.35	c Max memory 		7247757312
64.68/29.35	c Total memory 		504889344
64.68/29.35	c Number of processors 	4
64.68/29.35	c c --- Begin Solver configuration ---
64.68/29.35	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b71fc7e
64.68/29.35	c Learn all clauses as in MiniSAT
64.68/29.35	c LOGGER=java.util.logging.Logger@25f38edc claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
64.68/29.35	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
64.68/29.35	c No reason simplification
64.68/29.35	c Glucose 2.1 dynamic restart strategy
64.68/29.35	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
64.68/29.35	c timeout=2147483s
64.68/29.35	c DB Simplification allowed=false
64.68/29.35	c Listener: org.sat4j.minisat.core.VoidTracing@1a86f2f1
64.68/29.35	c --- End Solver configuration ---
64.68/29.35	c constraints type 
64.68/29.35	c org.sat4j.minisat.constraints.card.MinWatchCard => 240
64.68/29.35	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 37836000
64.68/29.35	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1231680
64.68/29.35	c org.sat4j.minisat.constraints.cnf.UnitClause => 480
64.68/29.35	c 39068400 constraints processed.
2400.10/2320.10	c starts		: 13107
2400.10/2320.10	c conflicts		: 3862136
2400.10/2320.10	c decisions		: 71043940
2400.10/2320.10	c propagations		: 9478131401
2400.10/2320.10	c inspects		: 16758945161
2400.10/2320.10	c shortcuts		: 0
2400.10/2320.10	c learnt literals	: 0
2400.10/2320.10	c learnt binary clauses	: 668
2400.10/2320.10	c learnt ternary clauses	: 9082
2400.10/2320.10	c learnt constraints	: 3862136
2400.10/2320.10	c ignored constraints	: 0
2400.10/2320.10	c root simplifications	: 0
2400.10/2320.10	c removed literals (reason simplification)	: 0
2400.10/2320.10	c reason swapping (by a shorter reason)	: 0
2400.10/2320.10	c Calls to reduceDB	: 83
2400.10/2320.10	c Number of update (reduction) of LBD	: 3812915
2400.10/2320.10	c Imported unit clauses	: 0
2400.10/2320.10	c number of reductions to clauses (during analyze)	: 0
2400.10/2320.10	c number of learned constraints concerned by reduction	: 0
2400.10/2320.10	c number of learning phase by resolution	: 0
2400.10/2320.10	c number of learning phase by cutting planes	: 0
2400.10/2320.10	c number of rounding to 1 operations	: 0
2400.10/2320.10	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
2400.10/2320.10	c number of reductions of the coefficients by power 2 	: 0
2400.10/2320.10	c number of right shift for reduction by power 2 	: 0
2400.10/2320.10	c number of reductions of the coefficients by GCD over coefficients 	: 0
2400.10/2320.10	c number of ending skipping 	: 0
2400.10/2320.10	c number of internal skipping 	: 0
2400.10/2320.10	c number of derivation steps 	: 0
2400.10/2320.10	c number of skipped derivation steps 	: 0
2400.10/2320.10	c number of remaining unassigned 	: 0
2400.10/2320.10	c number of remaining assigned 	: 0
2400.10/2320.10	c speed (assignments/second)	: 4137677.092350817
2400.10/2320.10	c non guided choices	: 6534486
2400.12/2320.13	c learnt constraints type org.sat4j.minisat.constraints.cnf.LearntBinaryClause	: 668
2400.12/2320.13	c learnt constraints type org.sat4j.minisat.constraints.cnf.LearntWLClause	: 129728
2400.12/2320.13	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 (10839 MiB free)
  memory of node 1: 16384 MiB (5285 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4290168-1532220401/watcher-4290168-1532220401 -o /tmp/evaluation-result-4290168-1532220401/solver-4290168-1532220401 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node135-1532209914-25960 --watchdog 2560 java -DCompetitionOutput -jar HOME/sat4j-csp-final.jar HOME/instance-4290168-1532220401.xml 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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
Current StackSize limit: 8192 KiB

solver pid=27936, runsolver pid=27933

[startup+0.101296 s]*
/proc/loadavg: 2.04 2.03 2.08 2/220 27951
/proc/meminfo: memFree=16494088/32770624 swapFree=67108860/67108860
[pid=27936] ppid=27933 vsize=10659012 memory=30092 CPUtime=0.13 cores=0,2,4,6
/proc/27936/stat : 27936 (java) S 27933 27936 23369 0 -1 1077944320 6616 0 0 0 11 2 0 0 20 0 15 0 39603298 10914828288 7523 33554432000 4194304 4196468 140728215950848 140728215933392 140108660686583 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 35364864 140728215954545 140728215954697 140728215954697 140728215957455 0
/proc/27936/statm: 2664753 7523 2846 1 0 2627263 0
[pid=27936/tid=27938] ppid=27933 vsize=10659012 memory=-8773748148829981827 CPUtime=0.09 cores=0,2,4,6
/proc/27936/task/27938/stat : 27938 (java) R 27933 27936 23369 0 -1 4202560 4432 0 0 0 8 1 0 0 20 0 15 0 39603299 10914828288 7523 33554432000 4194304 4196468 140728215950848 140108664910464 140108660708509 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35364864 140728215954545 140728215954697 140728215954697 140728215957455 0
[pid=27936/tid=27939] ppid=27933 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27936/task/27939/stat : 27939 (java) S 27933 27936 23369 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39603300 10914828288 7523 33554432000 4194304 4196468 140728215950848 140108613307536 140108660696789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35364864 140728215954545 140728215954697 140728215954697 140728215957455 0
[pid=27936/tid=27940] ppid=27933 vsize=10659012 memory=139879906649728 CPUtime=0 cores=0,2,4,6
/proc/27936/task/27940/stat : 27940 (java) S 27933 27936 23369 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39603300 10914828288 7523 33554432000 4194304 4196468 140728215950848 140108612254736 140108660696789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35364864 140728215954545 140728215954697 140728215954697 140728215957455 0
[pid=27936/tid=27941] ppid=27933 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27936/task/27941/stat : 27941 (java) S 27933 27936 23369 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39603300 10914828288 7523 33554432000 4194304 4196468 140728215950848 140108265872272 140108660696789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35364864 140728215954545 140728215954697 140728215954697 140728215957455 0
[pid=27936/tid=27942] ppid=27933 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27936/task/27942/stat : 27942 (java) S 27933 27936 23369 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39603300 10914828288 7523 33554432000 4194304 4196468 140728215950848 140108264819472 140108660696789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35364864 140728215954545 140728215954697 140728215954697 140728215957455 0
[pid=27936/tid=27943] ppid=27933 vsize=10659012 memory=139879906649728 CPUtime=0 cores=0,2,4,6
/proc/27936/task/27943/stat : 27943 (java) S 27933 27936 23369 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39603301 10914828288 7523 33554432000 4194304 4196468 140728215950848 140108220545392 140108660697730 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35364864 140728215954545 140728215954697 140728215954697 140728215957455 0
[pid=27936/tid=27944] ppid=27933 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27936/task/27944/stat : 27944 (java) S 27933 27936 23369 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 39603301 10914828288 7523 33554432000 4194304 4196468 140728215950848 140108219491360 140108660696789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35364864 140728215954545 140728215954697 140728215954697 140728215957455 0
[pid=27936/tid=27945] ppid=27933 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27936/task/27945/stat : 27945 (java) S 27933 27936 23369 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 39603302 10914828288 7523 33554432000 4194304 4196468 140728215950848 140108218438512 140108660696789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35364864 140728215954545 140728215954697 140728215954697 140728215957455 0
[pid=27936/tid=27946] ppid=27933 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27936/task/27946/stat : 27946 (java) S 27933 27936 23369 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39603304 10914828288 7523 33554432000 4194304 4196468 140728215950848 140108217386832 140108660705179 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35364864 140728215954545 140728215954697 140728215954697 140728215957455 0
[pid=27936/tid=27947] ppid=27933 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27936/task/27947/stat : 27947 (java) S 27933 27936 23369 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 15 0 39603304 10914828288 7523 33554432000 4194304 4196468 140728215950848 140108216335216 140108660697730 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35364864 140728215954545 140728215954697 140728215954697 140728215957455 0
[pid=27936/tid=27948] ppid=27933 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27936/task/27948/stat : 27948 (java) R 27933 27936 23369 0 -1 4202560 146 0 0 0 0 0 0 0 20 0 15 0 39603304 10914828288 7523 33554432000 4194304 4196468 140728215950848 140108215282416 140108660707930 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35364864 140728215954545 140728215954697 140728215954697 140728215957455 0
[pid=27936/tid=27949] ppid=27933 vsize=10659012 memory=139879906649728 CPUtime=0.01 cores=0,2,4,6
/proc/27936/task/27949/stat : 27949 (java) R 27933 27936 23369 0 -1 4202560 371 0 0 0 1 0 0 0 20 0 15 0 39603304 10914828288 7523 33554432000 4194304 4196468 140728215950848 140108214229616 140108660698518 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35364864 140728215954545 140728215954697 140728215954697 140728215957455 0
[pid=27936/tid=27950] ppid=27933 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27936/task/27950/stat : 27950 (java) S 27933 27936 23369 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39603304 10914828288 7523 33554432000 4194304 4196468 140728215950848 140108213177056 140108660696789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35364864 140728215954545 140728215954697 140728215954697 140728215957455 0
[pid=27936/tid=27951] ppid=27933 vsize=10659012 memory=139879906649728 CPUtime=0 cores=0,2,4,6
/proc/27936/task/27951/stat : 27951 (java) S 27933 27936 23369 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39603304 10914828288 7523 33554432000 4194304 4196468 140728215950848 140108212124336 140108660697730 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35364864 140728215954545 140728215954697 140728215954697 140728215957455 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 30092 KiB

[startup+0.216118 s]*
/proc/loadavg: 2.04 2.03 2.08 3/220 27951
/proc/meminfo: memFree=16482040/32770624 swapFree=67108860/67108860
[pid=27936] ppid=27933 vsize=10659012 memory=42064 CPUtime=0.32 cores=0,2,4,6
/proc/27936/stat : 27936 (java) S 27933 27936 23369 0 -1 1077944320 8086 0 0 0 30 2 0 0 20 0 15 0 39603298 10914828288 10516 33554432000 4194304 4196468 140728215950848 140728215933392 140108660686583 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 35364864 140728215954545 140728215954697 140728215954697 140728215957455 0
/proc/27936/statm: 2664753 10516 3006 1 0 2627263 0
[pid=27936/tid=27938] ppid=27933 vsize=10659012 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/27936/task/27938/stat : 27938 (java) R 27933 27936 23369 0 -1 4202560 4989 0 0 0 18 1 0 0 20 0 15 0 39603299 10914828288 10516 33554432000 4194304 4196468 140728215950848 140108664921720 140108646055376 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35364864 140728215954545 140728215954697 140728215954697 140728215957455 0
[pid=27936/tid=27939] ppid=27933 vsize=10659012 memory=365 CPUtime=0 cores=0,2,4,6
/proc/27936/task/27939/stat : 27939 (java) S 27933 27936 23369 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39603300 10914828288 10516 33554432000 4194304 4196468 140728215950848 140108613307536 140108660696789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35364864 140728215954545 140728215954697 140728215954697 140728215957455 0
[pid=27936/tid=27940] ppid=27933 vsize=10659012 memory=139879906846901 CPUtime=0 cores=0,2,4,6
/proc/27936/task/27940/stat : 27940 (java) S 27933 27936 23369 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39603300 10914828288 10516 33554432000 4194304 4196468 140728215950848 140108612254736 140108660696789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35364864 140728215954545 140728215954697 140728215954697 140728215957455 0
[pid=27936/tid=27941] ppid=27933 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27936/task/27941/stat : 27941 (java) S 27933 27936 23369 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39603300 10914828288 10516 33554432000 4194304 4196468 140728215950848 140108265872272 140108660696789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35364864 140728215954545 140728215954697 140728215954697 140728215957455 0
[pid=27936/tid=27942] ppid=27933 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27936/task/27942/stat : 27942 (java) S 27933 27936 23369 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39603300 10914828288 10516 33554432000 4194304 4196468 140728215950848 140108264819472 140108660696789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35364864 140728215954545 140728215954697 140728215954697 140728215957455 0
[pid=27936/tid=27943] ppid=27933 vsize=10659012 memory=139879906649728 CPUtime=0 cores=0,2,4,6
/proc/27936/task/27943/stat : 27943 (java) S 27933 27936 23369 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39603301 10914828288 10516 33554432000 4194304 4196468 140728215950848 140108220545392 140108660697730 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35364864 140728215954545 140728215954697 140728215954697 140728215957455 0
[pid=27936/tid=27944] ppid=27933 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27936/task/27944/stat : 27944 (java) S 27933 27936 23369 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 39603301 10914828288 10516 33554432000 4194304 4196468 140728215950848 140108219491360 140108660696789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35364864 140728215954545 140728215954697 140728215954697 140728215957455 0
[pid=27936/tid=27945] ppid=27933 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27936/task/27945/stat : 27945 (java) S 27933 27936 23369 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 39603302 10914828288 10516 33554432000 4194304 4196468 140728215950848 140108218438512 140108660696789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35364864 140728215954545 140728215954697 140728215954697 140728215957455 0
[pid=27936/tid=27946] ppid=27933 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27936/task/27946/stat : 27946 (java) S 27933 27936 23369 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39603304 10914828288 10516 33554432000 4194304 4196468 140728215950848 140108217386832 140108660705179 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35364864 140728215954545 140728215954697 140728215954697 140728215957455 0
[pid=27936/tid=27947] ppid=27933 vsize=10659012 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/27936/task/27947/stat : 27947 (java) S 27933 27936 23369 0 -1 1077944384 616 0 0 0 2 0 0 0 20 0 15 0 39603304 10914828288 10516 33554432000 4194304 4196468 140728215950848 140108216335216 140108660697730 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35364864 140728215954545 140728215954697 140728215954697 140728215957455 0
[pid=27936/tid=27948] ppid=27933 vsize=10659012 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/27936/task/27948/stat : 27948 (java) S 27933 27936 23369 0 -1 1077944384 357 0 0 0 2 0 0 0 20 0 15 0 39603304 10914828288 10516 33554432000 4194304 4196468 140728215950848 140108215282416 140108660697730 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35364864 140728215954545 140728215954697 140728215954697 140728215957455 0
[pid=27936/tid=27949] ppid=27933 vsize=10659012 memory=139879906649728 CPUtime=0.06 cores=0,2,4,6
/proc/27936/task/27949/stat : 27949 (java) S 27933 27936 23369 0 -1 1077944384 756 0 0 0 6 0 0 0 20 0 15 0 39603304 10914828288 10516 33554432000 4194304 4196468 140728215950848 140108214229616 140108660697730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35364864 140728215954545 140728215954697 140728215954697 140728215957455 0
[pid=27936/tid=27950] ppid=27933 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27936/task/27950/stat : 27950 (java) S 27933 27936 23369 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39603304 10914828288 10516 33554432000 4194304 4196468 140728215950848 140108213177056 140108660696789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35364864 140728215954545 140728215954697 140728215954697 140728215957455 0
[pid=27936/tid=27951] ppid=27933 vsize=10659012 memory=139879906649728 CPUtime=0 cores=0,2,4,6
/proc/27936/task/27951/stat : 27951 (java) S 27933 27936 23369 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39603304 10914828288 10516 33554432000 4194304 4196468 140728215950848 140108212124336 140108660697730 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35364864 140728215954545 140728215954697 140728215954697 140728215957455 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 42064 KiB

[startup+0.315118 s]*
/proc/loadavg: 2.04 2.03 2.08 5/220 27951
/proc/meminfo: memFree=16477080/32770624 swapFree=67108860/67108860
[pid=27936] ppid=27933 vsize=10659088 memory=47272 CPUtime=0.51 cores=0,2,4,6
/proc/27936/stat : 27936 (java) S 27933 27936 23369 0 -1 1077944320 8898 0 0 0 48 3 0 0 20 0 15 0 39603298 10914906112 11818 33554432000 4194304 4196468 140728215950848 140728215933392 140108660686583 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 35364864 140728215954545 140728215954697 140728215954697 140728215957455 0
/proc/27936/statm: 2664772 11818 3039 1 0 2627263 0
[pid=27936/tid=27938] ppid=27933 vsize=10659088 memory=7311146985107750967 CPUtime=0.29 cores=0,2,4,6
/proc/27936/task/27938/stat : 27938 (java) R 27933 27936 23369 0 -1 4202560 5620 0 0 0 27 2 0 0 20 0 15 0 39603299 10914906112 11818 33554432000 4194304 4196468 140728215950848 140108664910944 140108644767070 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35364864 140728215954545 140728215954697 140728215954697 140728215957455 0
[pid=27936/tid=27939] ppid=27933 vsize=10659088 memory=288230613314699287 CPUtime=0 cores=0,2,4,6
/proc/27936/task/27939/stat : 27939 (java) S 27933 27936 23369 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39603300 10914906112 11818 33554432000 4194304 4196468 140728215950848 140108613307536 140108660696789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35364864 140728215954545 140728215954697 140728215954697 140728215957455 0
[pid=27936/tid=27940] ppid=27933 vsize=10659088 memory=139879906842098 CPUtime=0 cores=0,2,4,6
/proc/27936/task/27940/stat : 27940 (java) S 27933 27936 23369 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39603300 10914906112 11818 33554432000 4194304 4196468 140728215950848 140108612254736 140108660696789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35364864 140728215954545 140728215954697 140728215954697 140728215957455 0
[pid=27936/tid=27941] ppid=27933 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27936/task/27941/stat : 27941 (java) S 27933 27936 23369 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39603300 10914906112 11818 33554432000 4194304 4196468 140728215950848 140108265872272 140108660696789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35364864 140728215954545 140728215954697 140728215954697 140728215957455 0
[pid=27936/tid=27942] ppid=27933 vsize=10659088 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27936/task/27942/stat : 27942 (java) S 27933 27936 23369 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39603300 10914906112 11818 33554432000 4194304 4196468 140728215950848 140108264819472 140108660696789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35364864 140728215954545 140728215954697 140728215954697 140728215957455 0
[pid=27936/tid=27943] ppid=27933 vsize=10659088 memory=139879906649728 CPUtime=0 cores=0,2,4,6
/proc/27936/task/27943/stat : 27943 (java) S 27933 27936 23369 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39603301 10914906112 11818 33554432000 4194304 4196468 140728215950848 140108220545392 140108660697730 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35364864 140728215954545 140728215954697 140728215954697 140728215957455 0
[pid=27936/tid=27944] ppid=27933 vsize=10659088 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27936/task/27944/stat : 27944 (java) S 27933 27936 23369 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 39603301 10914906112 11818 33554432000 4194304 4196468 140728215950848 140108219491360 140108660696789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35364864 140728215954545 140728215954697 140728215954697 140728215957455 0
[pid=27936/tid=27945] ppid=27933 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27936/task/27945/stat : 27945 (java) S 27933 27936 23369 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 39603302 10914906112 11818 33554432000 4194304 4196468 140728215950848 140108218438512 140108660696789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35364864 140728215954545 140728215954697 140728215954697 140728215957455 0
[pid=27936/tid=27946] ppid=27933 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27936/task/27946/stat : 27946 (java) S 27933 27936 23369 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39603304 10914906112 11818 33554432000 4194304 4196468 140728215950848 140108217386832 140108660705179 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35364864 140728215954545 140728215954697 140728215954697 140728215957455 0
[pid=27936/tid=27947] ppid=27933 vsize=10659088 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/27936/task/27947/stat : 27947 (java) S 27933 27936 23369 0 -1 1077944384 631 0 0 0 4 0 0 0 20 0 15 0 39603304 10914906112 11818 33554432000 4194304 4196468 140728215950848 140108216335216 140108660697730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35364864 140728215954545 140728215954697 140728215954697 140728215957455 0
[pid=27936/tid=27948] ppid=27933 vsize=10659088 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/27936/task/27948/stat : 27948 (java) S 27933 27936 23369 0 -1 1077944384 465 0 0 0 4 0 0 0 20 0 15 0 39603304 10914906112 11818 33554432000 4194304 4196468 140728215950848 140108215282416 140108660697730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35364864 140728215954545 140728215954697 140728215954697 140728215957455 0
[pid=27936/tid=27949] ppid=27933 vsize=10659088 memory=139879906649728 CPUtime=0.11 cores=0,2,4,6
/proc/27936/task/27949/stat : 27949 (java) S 27933 27936 23369 0 -1 1077944384 816 0 0 0 11 0 0 0 20 0 15 0 39603304 10914906112 11818 33554432000 4194304 4196468 140728215950848 140108214229616 140108660697730 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35364864 140728215954545 140728215954697 140728215954697 140728215957455 0
[pid=27936/tid=27950] ppid=27933 vsize=10659088 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27936/task/27950/stat : 27950 (java) S 27933 27936 23369 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39603304 10914906112 11818 33554432000 4194304 4196468 140728215950848 140108213177056 140108660696789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35364864 140728215954545 140728215954697 140728215954697 140728215957455 0
[pid=27936/tid=27951] ppid=27933 vsize=10659088 memory=139879906649728 CPUtime=0 cores=0,2,4,6
/proc/27936/task/27951/stat : 27951 (java) S 27933 27936 23369 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39603304 10914906112 11818 33554432000 4194304 4196468 140728215950848 140108212124336 140108660697730 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35364864 140728215954545 140728215954697 140728215954697 140728215957455 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 47272 KiB

[startup+0.700732 s]
/proc/loadavg: 2.04 2.03 2.08 5/220 27951
/proc/meminfo: memFree=16444568/32770624 swapFree=67108860/67108860
[pid=27936] ppid=27933 vsize=10659088 memory=106228 CPUtime=1.48 cores=0,2,4,6
/proc/27936/stat : 27936 (java) S 27933 27936 23369 0 -1 1077944320 12361 0 0 0 144 4 0 0 20 0 15 0 39603298 10914906112 26557 33554432000 4194304 4196468 140728215950848 140728215933392 140108660686583 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 35364864 140728215954545 140728215954697 140728215954697 140728215957455 0
/proc/27936/statm: 2664772 26557 3099 1 0 2627263 0
[pid=27936/tid=27938] ppid=27933 vsize=10659088 memory=1728 CPUtime=0.66 cores=0,2,4,6
/proc/27936/task/27938/stat : 27938 (java) R 27933 27936 23369 0 -1 4202560 5751 0 0 0 63 3 0 0 20 0 15 0 39603299 10914906112 26557 33554432000 4194304 4196468 140728215950848 140108664904976 140108295267493 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35364864 140728215954545 140728215954697 140728215954697 140728215957455 0
[pid=27936/tid=27939] ppid=27933 vsize=10659088 memory=792 CPUtime=0 cores=0,2,4,6
/proc/27936/task/27939/stat : 27939 (java) S 27933 27936 23369 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39603300 10914906112 26557 33554432000 4194304 4196468 140728215950848 140108613307536 140108660696789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35364864 140728215954545 140728215954697 140728215954697 140728215957455 0
[pid=27936/tid=27940] ppid=27933 vsize=10659088 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/27936/task/27940/stat : 27940 (java) S 27933 27936 23369 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39603300 10914906112 26557 33554432000 4194304 4196468 140728215950848 140108612254736 140108660696789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35364864 140728215954545 140728215954697 140728215954697 140728215957455 0
[pid=27936/tid=27941] ppid=27933 vsize=10659088 memory=1948 CPUtime=0 cores=0,2,4,6
/proc/27936/task/27941/stat : 27941 (java) S 27933 27936 23369 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39603300 10914906112 26557 33554432000 4194304 4196468 140728215950848 140108265872272 140108660696789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35364864 140728215954545 140728215954697 140728215954697 140728215957455 0
[pid=27936/tid=27942] ppid=27933 vsize=10659088 memory=5524 CPUtime=0 cores=0,2,4,6
/proc/27936/task/27942/stat : 27942 (java) S 27933 27936 23369 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39603300 10914906112 26557 33554432000 4194304 4196468 140728215950848 140108264819472 140108660696789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35364864 140728215954545 140728215954697 140728215954697 140728215957455 0
[pid=27936/tid=27943] ppid=27933 vsize=10659088 memory=1444 CPUtime=0 cores=0,2,4,6
/proc/27936/task/27943/stat : 27943 (java) S 27933 27936 23369 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 39603301 10914906112 26557 33554432000 4194304 4196468 140728215950848 140108220545392 140108660697730 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35364864 140728215954545 140728215954697 140728215954697 140728215957455 0
[pid=27936/tid=27944] ppid=27933 vsize=10659088 memory=1200 CPUtime=0 cores=0,2,4,6
/proc/27936/task/27944/stat : 27944 (java) S 27933 27936 23369 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 39603301 10914906112 26557 33554432000 4194304 4196468 140728215950848 140108219491360 140108660696789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35364864 140728215954545 140728215954697 140728215954697 140728215957455 0
[pid=27936/tid=27945] ppid=27933 vsize=10659088 memory=1008 CPUtime=0 cores=0,2,4,6
/proc/27936/task/27945/stat : 27945 (java) S 27933 27936 23369 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 39603302 10914906112 26557 33554432000 4194304 4196468 140728215950848 140108218438512 140108660696789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35364864 140728215954545 140728215954697 140728215954697 140728215957455 0
[pid=27936/tid=27946] ppid=27933 vsize=10659088 memory=7518026621751088994 CPUtime=0 cores=0,2,4,6
/proc/27936/task/27946/stat : 27946 (java) S 27933 27936 23369 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39603304 10914906112 26557 33554432000 4194304 4196468 140728215950848 140108217386832 140108660705179 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35364864 140728215954545 140728215954697 140728215954697 140728215957455 0
[pid=27936/tid=27947] ppid=27933 vsize=10659088 memory=6082227202167695463 CPUtime=0.36 cores=0,2,4,6
/proc/27936/task/27947/stat : 27947 (java) R 27933 27936 23369 0 -1 4202560 3136 0 0 0 36 0 0 0 20 0 15 0 39603304 10914906112 26557 33554432000 4194304 4196468 140728215950848 140108216320264 140108642231544 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35364864 140728215954545 140728215954697 140728215954697 140728215957455 0
[pid=27936/tid=27948] ppid=27933 vsize=10659088 memory=7810487918915055718 CPUtime=0.22 cores=0,2,4,6
/proc/27936/task/27948/stat : 27948 (java) S 27933 27936 23369 0 -1 1077944384 1075 0 0 0 22 0 0 0 20 0 15 0 39603304 10914906112 26557 33554432000 4194304 4196468 140728215950848 140108215282416 140108660697730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35364864 140728215954545 140728215954697 140728215954697 140728215957455 0
[pid=27936/tid=27949] ppid=27933 vsize=10659088 memory=0 CPUtime=0.2 cores=0,2,4,6
/proc/27936/task/27949/stat : 27949 (java) S 27933 27936 23369 0 -1 1077944384 1036 0 0 0 20 0 0 0 20 0 15 0 39603304 10914906112 26557 33554432000 4194304 4196468 140728215950848 140108214229616 140108660697730 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35364864 140728215954545 140728215954697 140728215954697 140728215957455 0
[pid=27936/tid=27950] ppid=27933 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27936/task/27950/stat : 27950 (java) S 27933 27936 23369 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39603304 10914906112 26557 33554432000 4194304 4196468 140728215950848 140108213177056 140108660696789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35364864 140728215954545 140728215954697 140728215954697 140728215957455 0
[pid=27936/tid=27951] ppid=27933 vsize=10659088 memory=33 CPUtime=0 cores=0,2,4,6
/proc/27936/task/27951/stat : 27951 (java) S 27933 27936 23369 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39603304 10914906112 26557 33554432000 4194304 4196468 140728215950848 140108212124336 140108660697730 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35364864 140728215954545 140728215954697 140728215954697 140728215957455 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 106228 KiB

[startup+1.50116 s]
/proc/loadavg: 2.04 2.03 2.08 3/220 27951
/proc/meminfo: memFree=16381176/32770624 swapFree=67108860/67108860
[pid=27936] ppid=27933 vsize=10659088 memory=236268 CPUtime=2.99 cores=0,2,4,6
/proc/27936/stat : 27936 (java) S 27933 27936 23369 0 -1 1077944320 18914 0 0 0 288 11 0 0 20 0 15 0 39603298 10914906112 59067 33554432000 4194304 4196468 140728215950848 140728215933392 140108660686583 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 35364864 140728215954545 140728215954697 140728215954697 140728215957455 0
/proc/27936/statm: 2664772 59067 3133 1 0 2627263 0
[pid=27936/tid=27938] ppid=27933 vsize=10659088 memory=6791534058613427641 CPUtime=1.4 cores=0,2,4,6
/proc/27936/task/27938/stat : 27938 (java) R 27933 27936 23369 0 -1 4202560 7416 0 0 0 136 4 0 0 20 0 15 0 39603299 10914906112 59067 33554432000 4194304 4196468 140728215950848 140108664909360 140108660698518 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35364864 140728215954545 140728215954697 140728215954697 140728215957455 0
[pid=27936/tid=27939] ppid=27933 vsize=10659088 memory=-6951259422114956437 CPUtime=0.05 cores=0,2,4,6
/proc/27936/task/27939/stat : 27939 (java) S 27933 27936 23369 0 -1 1077944384 132 0 0 0 4 1 0 0 20 0 15 0 39603300 10914906112 59067 33554432000 4194304 4196468 140728215950848 140108613307536 140108660696789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35364864 140728215954545 140728215954697 140728215954697 140728215957455 0
[pid=27936/tid=27940] ppid=27933 vsize=10659088 memory=-6509546260019855299 CPUtime=0.05 cores=0,2,4,6
/proc/27936/task/27940/stat : 27940 (java) S 27933 27936 23369 0 -1 1077944384 90 0 0 0 4 1 0 0 20 0 15 0 39603300 10914906112 59067 33554432000 4194304 4196468 140728215950848 140108612254736 140108660696789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35364864 140728215954545 140728215954697 140728215954697 140728215957455 0
[pid=27936/tid=27941] ppid=27933 vsize=10659088 memory=-7390251449858225344 CPUtime=0.05 cores=0,2,4,6
/proc/27936/task/27941/stat : 27941 (java) S 27933 27936 23369 0 -1 1077944384 33 0 0 0 4 1 0 0 20 0 15 0 39603300 10914906112 59067 33554432000 4194304 4196468 140728215950848 140108265872272 140108660696789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35364864 140728215954545 140728215954697 140728215954697 140728215957455 0
[pid=27936/tid=27942] ppid=27933 vsize=10659088 memory=4134692831991786133 CPUtime=0.05 cores=0,2,4,6
/proc/27936/task/27942/stat : 27942 (java) S 27933 27936 23369 0 -1 1077944384 120 0 0 0 4 1 0 0 20 0 15 0 39603300 10914906112 59067 33554432000 4194304 4196468 140728215950848 140108264819472 140108660696789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35364864 140728215954545 140728215954697 140728215954697 140728215957455 0
[pid=27936/tid=27943] ppid=27933 vsize=10659088 memory=-7165351541977658656 CPUtime=0 cores=0,2,4,6
/proc/27936/task/27943/stat : 27943 (java) S 27933 27936 23369 0 -1 1077944384 189 0 0 0 0 0 0 0 20 0 15 0 39603301 10914906112 59067 33554432000 4194304 4196468 140728215950848 140108220545392 140108660697730 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35364864 140728215954545 140728215954697 140728215954697 140728215957455 0

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

/proc/27936/task/27944/stat : 27944 (java) S 27933 27936 23369 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 16 0 39603301 10983067648 1515535 33554432000 4194304 4196468 140728215950848 140108219491424 140108660696789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35364864 140728215954545 140728215954697 140728215954697 140728215957455 0
[pid=27936/tid=27945] ppid=27933 vsize=10725652 memory=6062140 CPUtime=0 cores=0,2,4,6
/proc/27936/task/27945/stat : 27945 (java) S 27933 27936 23369 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 16 0 39603302 10983067648 1515535 33554432000 4194304 4196468 140728215950848 140108218438528 140108660696789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35364864 140728215954545 140728215954697 140728215954697 140728215957455 0
[pid=27936/tid=27946] ppid=27933 vsize=10725652 memory=6062140 CPUtime=0 cores=0,2,4,6
/proc/27936/task/27946/stat : 27946 (java) S 27933 27936 23369 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 39603304 10983067648 1515535 33554432000 4194304 4196468 140728215950848 140108217386832 140108660705179 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35364864 140728215954545 140728215954697 140728215954697 140728215957455 0
[pid=27936/tid=27947] ppid=27933 vsize=10725652 memory=6062140 CPUtime=1.9 cores=0,2,4,6
/proc/27936/task/27947/stat : 27947 (java) S 27933 27936 23369 0 -1 1077944384 12125 0 0 0 188 2 0 0 20 0 16 0 39603304 10983067648 1515535 33554432000 4194304 4196468 140728215950848 140108216335216 140108660697730 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35364864 140728215954545 140728215954697 140728215954697 140728215957455 0
[pid=27936/tid=27948] ppid=27933 vsize=10725652 memory=6791534058613427641 CPUtime=1.98 cores=0,2,4,6
/proc/27936/task/27948/stat : 27948 (java) S 27933 27936 23369 0 -1 1077944384 7998 0 0 0 197 1 0 0 20 0 16 0 39603304 10983067648 1515535 33554432000 4194304 4196468 140728215950848 140108215282416 140108660697730 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35364864 140728215954545 140728215954697 140728215954697 140728215957455 0
[pid=27936/tid=27949] ppid=27933 vsize=10725652 memory=1008 CPUtime=0.39 cores=0,2,4,6
/proc/27936/task/27949/stat : 27949 (java) S 27933 27936 23369 0 -1 1077944384 4190 0 0 0 38 1 0 0 20 0 16 0 39603304 10983067648 1515535 33554432000 4194304 4196468 140728215950848 140108214229616 140108660697730 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35364864 140728215954545 140728215954697 140728215954697 140728215957455 0
[pid=27936/tid=27950] ppid=27933 vsize=10725652 memory=6062140 CPUtime=0 cores=0,2,4,6
/proc/27936/task/27950/stat : 27950 (java) S 27933 27936 23369 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 39603304 10983067648 1515535 33554432000 4194304 4196468 140728215950848 140108213177056 140108660696789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35364864 140728215954545 140728215954697 140728215954697 140728215957455 0
[pid=27936/tid=27951] ppid=27933 vsize=10725652 memory=14000 CPUtime=1.25 cores=0,2,4,6
/proc/27936/task/27951/stat : 27951 (java) S 27933 27936 23369 0 -1 1077944384 1958 0 0 0 63 62 0 0 20 0 16 0 39603304 10983067648 1515535 33554432000 4194304 4196468 140728215950848 140108212124336 140108660697730 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35364864 140728215954545 140728215954697 140728215954697 140728215957455 0
[pid=27936/tid=27952] ppid=27933 vsize=10725652 memory=1399101730491701635 CPUtime=0 cores=0,2,4,6
/proc/27936/task/27952/stat : 27952 (java) S 27933 27936 23369 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 39606240 10983067648 1515535 33554432000 4194304 4196468 140728215950848 140108211069872 140108660697730 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35364864 140728215954545 140728215954697 140728215954697 140728215957455 0
Current children cumulated CPU time: 2341.94 s
Current children cumulated vsize: 10725652 KiB
Current children cumulated memory: 6062140 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2319.9 s]
/proc/loadavg: 1.90 1.96 2.02 3/222 28126
/proc/meminfo: memFree=17330168/32770624 swapFree=67108860/67108860
[pid=27936] ppid=27933 vsize=10725652 memory=6070344 CPUtime=2400.08 cores=0,2,4,6
/proc/27936/stat : 27936 (java) S 27933 27936 23369 0 -1 1077944320 451030 0 0 0 239432 576 0 0 20 0 16 0 39603298 10983067648 1517586 33554432000 4194304 4196468 140728215950848 140728215933392 140108660686583 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 35364864 140728215954545 140728215954697 140728215954697 140728215957455 0
/proc/27936/statm: 2681413 1517586 3186 1 0 2643904 0
[pid=27936/tid=27938] ppid=27933 vsize=10725652 memory=6070344 CPUtime=2287.38 cores=0,2,4,6
/proc/27936/task/27938/stat : 27938 (java) R 27933 27936 23369 0 -1 4202560 241917 0 0 0 228701 37 0 0 20 0 16 0 39603299 10983067648 1517586 33554432000 4194304 4196468 140728215950848 140108664925536 140108297058847 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35364864 140728215954545 140728215954697 140728215954697 140728215957455 0
[pid=27936/tid=27939] ppid=27933 vsize=10725652 memory=6070344 CPUtime=25.1 cores=0,2,4,6
/proc/27936/task/27939/stat : 27939 (java) S 27933 27936 23369 0 -1 1077944384 38219 0 0 0 2392 118 0 0 20 0 16 0 39603300 10983067648 1517586 33554432000 4194304 4196468 140728215950848 140108613307536 140108660696789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35364864 140728215954545 140728215954697 140728215954697 140728215957455 0
[pid=27936/tid=27940] ppid=27933 vsize=10725652 memory=6070344 CPUtime=25.01 cores=0,2,4,6
/proc/27936/task/27940/stat : 27940 (java) S 27933 27936 23369 0 -1 1077944384 34555 0 0 0 2380 121 0 0 20 0 16 0 39603300 10983067648 1517586 33554432000 4194304 4196468 140728215950848 140108612254736 140108660696789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35364864 140728215954545 140728215954697 140728215954697 140728215957455 0
[pid=27936/tid=27941] ppid=27933 vsize=10725652 memory=6070344 CPUtime=25.02 cores=0,2,4,6
/proc/27936/task/27941/stat : 27941 (java) S 27933 27936 23369 0 -1 1077944384 44050 0 0 0 2385 117 0 0 20 0 16 0 39603300 10983067648 1517586 33554432000 4194304 4196468 140728215950848 140108265872272 140108660696789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35364864 140728215954545 140728215954697 140728215954697 140728215957455 0
[pid=27936/tid=27942] ppid=27933 vsize=10725652 memory=6070344 CPUtime=24.99 cores=0,2,4,6
/proc/27936/task/27942/stat : 27942 (java) S 27933 27936 23369 0 -1 1077944384 35145 0 0 0 2373 126 0 0 20 0 16 0 39603300 10983067648 1517586 33554432000 4194304 4196468 140728215950848 140108264819472 140108660696789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35364864 140728215954545 140728215954697 140728215954697 140728215957455 0
[pid=27936/tid=27943] ppid=27933 vsize=10725652 memory=0 CPUtime=6.93 cores=0,2,4,6
/proc/27936/task/27943/stat : 27943 (java) S 27933 27936 23369 0 -1 1077944384 29354 0 0 0 689 4 0 0 20 0 16 0 39603301 10983067648 1517586 33554432000 4194304 4196468 140728215950848 140108220545392 140108660697730 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35364864 140728215954545 140728215954697 140728215954697 140728215957455 0
[pid=27936/tid=27944] ppid=27933 vsize=10725652 memory=7670301315261816931 CPUtime=0 cores=0,2,4,6
/proc/27936/task/27944/stat : 27944 (java) S 27933 27936 23369 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 16 0 39603301 10983067648 1517586 33554432000 4194304 4196468 140728215950848 140108219491424 140108660696789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35364864 140728215954545 140728215954697 140728215954697 140728215957455 0
[pid=27936/tid=27945] ppid=27933 vsize=10725652 memory=6070344 CPUtime=0 cores=0,2,4,6
/proc/27936/task/27945/stat : 27945 (java) S 27933 27936 23369 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 16 0 39603302 10983067648 1517586 33554432000 4194304 4196468 140728215950848 140108218438528 140108660696789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35364864 140728215954545 140728215954697 140728215954697 140728215957455 0
[pid=27936/tid=27946] ppid=27933 vsize=10725652 memory=6070344 CPUtime=0 cores=0,2,4,6
/proc/27936/task/27946/stat : 27946 (java) S 27933 27936 23369 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 39603304 10983067648 1517586 33554432000 4194304 4196468 140728215950848 140108217386832 140108660705179 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35364864 140728215954545 140728215954697 140728215954697 140728215957455 0
[pid=27936/tid=27947] ppid=27933 vsize=10725652 memory=6070344 CPUtime=1.9 cores=0,2,4,6
/proc/27936/task/27947/stat : 27947 (java) S 27933 27936 23369 0 -1 1077944384 12134 0 0 0 188 2 0 0 20 0 16 0 39603304 10983067648 1517586 33554432000 4194304 4196468 140728215950848 140108216335216 140108660697730 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35364864 140728215954545 140728215954697 140728215954697 140728215957455 0
[pid=27936/tid=27948] ppid=27933 vsize=10725652 memory=6070344 CPUtime=1.98 cores=0,2,4,6
/proc/27936/task/27948/stat : 27948 (java) S 27933 27936 23369 0 -1 1077944384 8006 0 0 0 197 1 0 0 20 0 16 0 39603304 10983067648 1517586 33554432000 4194304 4196468 140728215950848 140108215282416 140108660697730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35364864 140728215954545 140728215954697 140728215954697 140728215957455 0
[pid=27936/tid=27949] ppid=27933 vsize=10725652 memory=1008 CPUtime=0.39 cores=0,2,4,6
/proc/27936/task/27949/stat : 27949 (java) S 27933 27936 23369 0 -1 1077944384 4196 0 0 0 38 1 0 0 20 0 16 0 39603304 10983067648 1517586 33554432000 4194304 4196468 140728215950848 140108214229616 140108660697730 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35364864 140728215954545 140728215954697 140728215954697 140728215957455 0
[pid=27936/tid=27950] ppid=27933 vsize=10725652 memory=3828 CPUtime=0 cores=0,2,4,6
/proc/27936/task/27950/stat : 27950 (java) S 27933 27936 23369 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 39603304 10983067648 1517586 33554432000 4194304 4196468 140728215950848 140108213177056 140108660696789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35364864 140728215954545 140728215954697 140728215954697 140728215957455 0
[pid=27936/tid=27951] ppid=27933 vsize=10725652 memory=14004 CPUtime=1.29 cores=0,2,4,6
/proc/27936/task/27951/stat : 27951 (java) S 27933 27936 23369 0 -1 1077944384 1997 0 0 0 65 64 0 0 20 0 16 0 39603304 10983067648 1517586 33554432000 4194304 4196468 140728215950848 140108212124336 140108660697730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35364864 140728215954545 140728215954697 140728215954697 140728215957455 0
[pid=27936/tid=27952] ppid=27933 vsize=10725652 memory=1408 CPUtime=0 cores=0,2,4,6
/proc/27936/task/27952/stat : 27952 (java) S 27933 27936 23369 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 39606240 10983067648 1517586 33554432000 4194304 4196468 140728215950848 140108211069872 140108660697730 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35364864 140728215954545 140728215954697 140728215954697 140728215957455 0
Current children cumulated CPU time: 2400.08 s
Current children cumulated vsize: 10725652 KiB
Current children cumulated memory: 6070344 KiB

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

[startup+2320.18 s]
# the end of solver process 27936 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2394.39 s, system=5.80326 s

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

[startup+2320.01 s]*
/proc/loadavg: 1.90 1.96 2.02 2/223 28129
/proc/meminfo: memFree=17330168/32770624 swapFree=67108860/67108860
[pid=27936] ppid=27933 vsize=10925344 memory=6070672 CPUtime=2400.1 cores=0,2,4,6
/proc/27936/stat : 27936 (java) S 27933 27936 23369 0 -1 1077944320 452009 0 0 0 239434 576 0 0 20 0 17 0 39603298 11187552256 1517668 33554432000 4194304 4196468 140728215950848 140728215933392 140108660686583 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35364864 140728215954545 140728215954697 140728215954697 140728215957455 0
/proc/27936/statm: 2731336 1517668 3189 1 0 2693827 0
[pid=27936/tid=27938] ppid=27933 vsize=10925344 memory=7528 CPUtime=2287.4 cores=0,2,4,6
/proc/27936/task/27938/stat : 27938 (java) S 27933 27936 23369 0 -1 1077944384 241992 0 0 0 228703 37 0 0 20 0 17 0 39603299 11187552256 1517668 33554432000 4194304 4196468 140728215950848 140108664929456 140108660696789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35364864 140728215954545 140728215954697 140728215954697 140728215957455 0
[pid=27936/tid=27939] ppid=27933 vsize=10925344 memory=836 CPUtime=25.1 cores=0,2,4,6
/proc/27936/task/27939/stat : 27939 (java) S 27933 27936 23369 0 -1 1077944384 38219 0 0 0 2392 118 0 0 20 0 17 0 39603300 11187552256 1517668 33554432000 4194304 4196468 140728215950848 140108613307536 140108660696789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35364864 140728215954545 140728215954697 140728215954697 140728215957455 0
[pid=27936/tid=27940] ppid=27933 vsize=10925344 memory=4126316290023845779 CPUtime=25.01 cores=0,2,4,6
/proc/27936/task/27940/stat : 27940 (java) S 27933 27936 23369 0 -1 1077944384 34555 0 0 0 2380 121 0 0 20 0 17 0 39603300 11187552256 1517668 33554432000 4194304 4196468 140728215950848 140108612254736 140108660696789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35364864 140728215954545 140728215954697 140728215954697 140728215957455 0
[pid=27936/tid=27941] ppid=27933 vsize=10925344 memory=952 CPUtime=25.02 cores=0,2,4,6
/proc/27936/task/27941/stat : 27941 (java) S 27933 27936 23369 0 -1 1077944384 44050 0 0 0 2385 117 0 0 20 0 17 0 39603300 11187552256 1517668 33554432000 4194304 4196468 140728215950848 140108265872272 140108660696789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35364864 140728215954545 140728215954697 140728215954697 140728215957455 0
[pid=27936/tid=27942] ppid=27933 vsize=10925344 memory=2340 CPUtime=24.99 cores=0,2,4,6
/proc/27936/task/27942/stat : 27942 (java) S 27933 27936 23369 0 -1 1077944384 35145 0 0 0 2373 126 0 0 20 0 17 0 39603300 11187552256 1517668 33554432000 4194304 4196468 140728215950848 140108264819472 140108660696789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35364864 140728215954545 140728215954697 140728215954697 140728215957455 0
[pid=27936/tid=27943] ppid=27933 vsize=10925344 memory=1572 CPUtime=6.93 cores=0,2,4,6
/proc/27936/task/27943/stat : 27943 (java) S 27933 27936 23369 0 -1 1077944384 29390 0 0 0 689 4 0 0 20 0 17 0 39603301 11187552256 1517668 33554432000 4194304 4196468 140728215950848 140108220545392 140108660697730 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35364864 140728215954545 140728215954697 140728215954697 140728215957455 0
[pid=27936/tid=27944] ppid=27933 vsize=10925344 memory=928 CPUtime=0 cores=0,2,4,6
/proc/27936/task/27944/stat : 27944 (java) S 27933 27936 23369 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 17 0 39603301 11187552256 1517668 33554432000 4194304 4196468 140728215950848 140108219491424 140108660696789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35364864 140728215954545 140728215954697 140728215954697 140728215957455 0
[pid=27936/tid=27945] ppid=27933 vsize=10925344 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/27936/task/27945/stat : 27945 (java) S 27933 27936 23369 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 17 0 39603302 11187552256 1517668 33554432000 4194304 4196468 140728215950848 140108218438528 140108660696789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35364864 140728215954545 140728215954697 140728215954697 140728215957455 0
[pid=27936/tid=27946] ppid=27933 vsize=10925344 memory=4132 CPUtime=0 cores=0,2,4,6
/proc/27936/task/27946/stat : 27946 (java) S 27933 27936 23369 0 -1 1077944384 214 0 0 0 0 0 0 0 20 0 17 0 39603304 11187552256 1517668 33554432000 4194304 4196468 140728215950848 140108217386832 140108660705179 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35364864 140728215954545 140728215954697 140728215954697 140728215957455 0
[pid=27936/tid=27947] ppid=27933 vsize=10925344 memory=2196 CPUtime=1.9 cores=0,2,4,6
/proc/27936/task/27947/stat : 27947 (java) S 27933 27936 23369 0 -1 1077944384 12134 0 0 0 188 2 0 0 20 0 17 0 39603304 11187552256 1517668 33554432000 4194304 4196468 140728215950848 140108216335216 140108660697730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35364864 140728215954545 140728215954697 140728215954697 140728215957455 0
[pid=27936/tid=27948] ppid=27933 vsize=10925344 memory=6070344 CPUtime=1.98 cores=0,2,4,6
/proc/27936/task/27948/stat : 27948 (java) S 27933 27936 23369 0 -1 1077944384 8006 0 0 0 197 1 0 0 20 0 17 0 39603304 11187552256 1517668 33554432000 4194304 4196468 140728215950848 140108215282416 140108660697730 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35364864 140728215954545 140728215954697 140728215954697 140728215957455 0
[pid=27936/tid=27949] ppid=27933 vsize=10925344 memory=6791534058613427641 CPUtime=0.39 cores=0,2,4,6
/proc/27936/task/27949/stat : 27949 (java) S 27933 27936 23369 0 -1 1077944384 4465 0 0 0 38 1 0 0 20 0 17 0 39603304 11187552256 1517668 33554432000 4194304 4196468 140728215950848 140108214229616 140108660697730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35364864 140728215954545 140728215954697 140728215954697 140728215957455 0
[pid=27936/tid=27950] ppid=27933 vsize=10925344 memory=9444 CPUtime=0 cores=0,2,4,6
/proc/27936/task/27950/stat : 27950 (java) S 27933 27936 23369 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 39603304 11187552256 1517668 33554432000 4194304 4196468 140728215950848 140108213177056 140108660696789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35364864 140728215954545 140728215954697 140728215954697 140728215957455 0
[pid=27936/tid=27951] ppid=27933 vsize=10925344 memory=18488 CPUtime=1.29 cores=0,2,4,6
/proc/27936/task/27951/stat : 27951 (java) S 27933 27936 23369 0 -1 1077944384 1997 0 0 0 65 64 0 0 20 0 17 0 39603304 11187552256 1517668 33554432000 4194304 4196468 140728215950848 140108212124336 140108660697730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35364864 140728215954545 140728215954697 140728215954697 140728215957455 0
[pid=27936/tid=28127] ppid=27933 vsize=10925344 memory=1792 CPUtime=0 cores=0,2,4,6
/proc/27936/task/28127/stat : 28127 (java) S 27933 27936 23369 0 -1 1077944384 192 0 0 0 0 0 0 0 20 0 17 0 39835289 11187552256 1517668 33554432000 4194304 4196468 140728215950848 140108210016368 140108660696789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35364864 140728215954545 140728215954697 140728215954697 140728215957455 0
[pid=27936/tid=28128] ppid=27933 vsize=10925344 memory=1232 CPUtime=0 cores=0,2,4,6
/proc/27936/task/28128/stat : 28128 (java) S 27933 27936 23369 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 17 0 39835289 11187552256 1517668 33554432000 4194304 4196468 140728215950848 140108141421456 140108660697730 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35364864 140728215954545 140728215954697 140728215954697 140728215957455 0
Current children cumulated CPU time: 2400.1 s
Current children cumulated vsize: 10925344 KiB
Current children cumulated memory: 6070672 KiB

[startup+2320.12 s]
/proc/loadavg: 1.90 1.96 2.02 2/223 28129
/proc/meminfo: memFree=17330168/32770624 swapFree=67108860/67108860
[pid=27936] ppid=27933 vsize=10925344 memory=6070736 CPUtime=2400.12 cores=0,2,4,6
/proc/27936/stat : 27936 (java) S 27933 27936 23369 0 -1 1077944320 453117 0 0 0 239436 576 0 0 20 0 17 0 39603298 11187552256 1517684 33554432000 4194304 4196468 140728215950848 140728215933392 140108660686583 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35364864 140728215954545 140728215954697 140728215954697 140728215957455 0
/proc/27936/statm: 2731336 1517684 3189 1 0 2693827 0
[pid=27936/tid=27938] ppid=27933 vsize=10925344 memory=6070344 CPUtime=2287.4 cores=0,2,4,6
/proc/27936/task/27938/stat : 27938 (java) S 27933 27936 23369 0 -1 1077944384 241992 0 0 0 228703 37 0 0 20 0 17 0 39603299 11187552256 1517684 33554432000 4194304 4196468 140728215950848 140108664929456 140108660696789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35364864 140728215954545 140728215954697 140728215954697 140728215957455 0
[pid=27936/tid=27939] ppid=27933 vsize=10925344 memory=6070344 CPUtime=25.1 cores=0,2,4,6
/proc/27936/task/27939/stat : 27939 (java) S 27933 27936 23369 0 -1 1077944384 38219 0 0 0 2392 118 0 0 20 0 17 0 39603300 11187552256 1517684 33554432000 4194304 4196468 140728215950848 140108613307536 140108660696789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35364864 140728215954545 140728215954697 140728215954697 140728215957455 0
[pid=27936/tid=27940] ppid=27933 vsize=10925344 memory=6070344 CPUtime=25.01 cores=0,2,4,6
/proc/27936/task/27940/stat : 27940 (java) S 27933 27936 23369 0 -1 1077944384 34555 0 0 0 2380 121 0 0 20 0 17 0 39603300 11187552256 1517684 33554432000 4194304 4196468 140728215950848 140108612254736 140108660696789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35364864 140728215954545 140728215954697 140728215954697 140728215957455 0
[pid=27936/tid=27941] ppid=27933 vsize=10925344 memory=6070344 CPUtime=25.02 cores=0,2,4,6
/proc/27936/task/27941/stat : 27941 (java) S 27933 27936 23369 0 -1 1077944384 44050 0 0 0 2385 117 0 0 20 0 17 0 39603300 11187552256 1517684 33554432000 4194304 4196468 140728215950848 140108265872272 140108660696789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35364864 140728215954545 140728215954697 140728215954697 140728215957455 0
[pid=27936/tid=27942] ppid=27933 vsize=10925344 memory=6070344 CPUtime=24.99 cores=0,2,4,6
/proc/27936/task/27942/stat : 27942 (java) S 27933 27936 23369 0 -1 1077944384 35145 0 0 0 2373 126 0 0 20 0 17 0 39603300 11187552256 1517684 33554432000 4194304 4196468 140728215950848 140108264819472 140108660696789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35364864 140728215954545 140728215954697 140728215954697 140728215957455 0
[pid=27936/tid=27943] ppid=27933 vsize=10925344 memory=6070344 CPUtime=6.93 cores=0,2,4,6
/proc/27936/task/27943/stat : 27943 (java) S 27933 27936 23369 0 -1 1077944384 29390 0 0 0 689 4 0 0 20 0 17 0 39603301 11187552256 1517684 33554432000 4194304 4196468 140728215950848 140108220545392 140108660697730 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35364864 140728215954545 140728215954697 140728215954697 140728215957455 0
[pid=27936/tid=27944] ppid=27933 vsize=10925344 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27936/task/27944/stat : 27944 (java) S 27933 27936 23369 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 17 0 39603301 11187552256 1517684 33554432000 4194304 4196468 140728215950848 140108219491424 140108660696789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35364864 140728215954545 140728215954697 140728215954697 140728215957455 0
[pid=27936/tid=27945] ppid=27933 vsize=10925344 memory=7670301315261816931 CPUtime=0 cores=0,2,4,6
/proc/27936/task/27945/stat : 27945 (java) S 27933 27936 23369 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 17 0 39603302 11187552256 1517684 33554432000 4194304 4196468 140728215950848 140108218438528 140108660696789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35364864 140728215954545 140728215954697 140728215954697 140728215957455 0
[pid=27936/tid=27946] ppid=27933 vsize=10925344 memory=6070344 CPUtime=0 cores=0,2,4,6
/proc/27936/task/27946/stat : 27946 (java) S 27933 27936 23369 0 -1 1077944384 214 0 0 0 0 0 0 0 20 0 17 0 39603304 11187552256 1517684 33554432000 4194304 4196468 140728215950848 140108217386832 140108660705179 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35364864 140728215954545 140728215954697 140728215954697 140728215957455 0
[pid=27936/tid=27947] ppid=27933 vsize=10925344 memory=6070344 CPUtime=1.9 cores=0,2,4,6
/proc/27936/task/27947/stat : 27947 (java) S 27933 27936 23369 0 -1 1077944384 12209 0 0 0 188 2 0 0 20 0 17 0 39603304 11187552256 1517684 33554432000 4194304 4196468 140728215950848 140108216335216 140108660697730 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35364864 140728215954545 140728215954697 140728215954697 140728215957455 0
[pid=27936/tid=27948] ppid=27933 vsize=10925344 memory=1008 CPUtime=1.98 cores=0,2,4,6
/proc/27936/task/27948/stat : 27948 (java) S 27933 27936 23369 0 -1 1077944384 8193 0 0 0 197 1 0 0 20 0 17 0 39603304 11187552256 1517684 33554432000 4194304 4196468 140728215950848 140108215282416 140108660697730 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35364864 140728215954545 140728215954697 140728215954697 140728215957455 0
[pid=27936/tid=27949] ppid=27933 vsize=10925344 memory=3828 CPUtime=0.4 cores=0,2,4,6
/proc/27936/task/27949/stat : 27949 (java) S 27933 27936 23369 0 -1 1077944384 5071 0 0 0 39 1 0 0 20 0 17 0 39603304 11187552256 1517684 33554432000 4194304 4196468 140728215950848 140108214229616 140108660697730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35364864 140728215954545 140728215954697 140728215954697 140728215957455 0
[pid=27936/tid=27950] ppid=27933 vsize=10925344 memory=14004 CPUtime=0 cores=0,2,4,6
/proc/27936/task/27950/stat : 27950 (java) S 27933 27936 23369 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 39603304 11187552256 1517684 33554432000 4194304 4196468 140728215950848 140108213177056 140108660696789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35364864 140728215954545 140728215954697 140728215954697 140728215957455 0
[pid=27936/tid=27951] ppid=27933 vsize=10925344 memory=6070344 CPUtime=1.29 cores=0,2,4,6
/proc/27936/task/27951/stat : 27951 (java) S 27933 27936 23369 0 -1 1077944384 1997 0 0 0 65 64 0 0 20 0 17 0 39603304 11187552256 1517684 33554432000 4194304 4196468 140728215950848 140108212124336 140108660697730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35364864 140728215954545 140728215954697 140728215954697 140728215957455 0
[pid=27936/tid=28127] ppid=27933 vsize=10925344 memory=6070344 CPUtime=0 cores=0,2,4,6
/proc/27936/task/28127/stat : 28127 (java) S 27933 27936 23369 0 -1 1077944384 192 0 0 0 0 0 0 0 20 0 17 0 39835289 11187552256 1517684 33554432000 4194304 4196468 140728215950848 140108210016368 140108660696789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35364864 140728215954545 140728215954697 140728215954697 140728215957455 0
[pid=27936/tid=28128] ppid=27933 vsize=10925344 memory=644 CPUtime=0.01 cores=0,2,4,6
/proc/27936/task/28128/stat : 28128 (java) R 27933 27936 23369 0 -1 4202560 312 0 0 0 1 0 0 0 20 0 17 0 39835289 11187552256 1517684 33554432000 4194304 4196468 140728215950848 140108141417592 140108295294957 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35364864 140728215954545 140728215954697 140728215954697 140728215957455 0
Current children cumulated CPU time: 2400.12 s
Current children cumulated vsize: 10925344 KiB
Current children cumulated memory: 6070736 KiB

Child status: 143
Real time (s): 2320.18
CPU time (s): 2400.19
CPU user time (s): 2394.39
CPU system time (s): 5.80326
CPU usage (%): 103.448
Max. virtual memory (cumulated for all children) (KiB): 10925344
Max. memory (cumulated for all children) (KiB): 6070736

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2394.39
system time used= 5.80326
maximum resident set size= 6070960
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 453451
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1640
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 53924
involuntary context switches= 4383


# summary of solver processes directly reported to runsolver:
#   pid: 27936
#   total CPU time (s): 2400.19
#   total CPU user time (s): 2394.39
#   total CPU system time (s): 5.80326

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.2341 second user time and 22.656 second system time

The end

Launcher Data 

Begin job on node135 at 2018-07-22 02:46:41
IDJOB=4290168
IDBENCH=141496
IDSOLVER=2742
FILE ID=node135/4290168-1532220401
RUNJOBID= node135-1532209914-25960
PBS_JOBID= 21018932
Free space on /tmp= 52936 MiB

SOLVER NAME= Sat4j-CSP 2018-07-11
BENCH NAME= XCSP18/Subisomorphism/Subisomorphism-g34-g36_c18.xml
COMMAND LINE= java -DCompetitionOutput -jar DIR/sat4j-csp-final.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4290168-1532220401/watcher-4290168-1532220401 -o /tmp/evaluation-result-4290168-1532220401/solver-4290168-1532220401 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node135-1532209914-25960 --watchdog 2560  java -DCompetitionOutput -jar HOME/sat4j-csp-final.jar HOME/instance-4290168-1532220401.xml

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

MD5SUM BENCH= bf1db001ac5fdaef8f815bb03b0feb23
RANDOM SEED=501706340

node135.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:        16511820 kB
MemAvailable:   24886188 kB
Buffers:          133252 kB
Cached:          8448472 kB
SwapCached:            0 kB
Active:          8325884 kB
Inactive:        7350992 kB
Active(anon):    7044516 kB
Inactive(anon):    69908 kB
Active(file):    1281368 kB
Inactive(file):  7281084 kB
Unevictable:        7200 kB
Mlocked:            7200 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2340 kB
Writeback:             0 kB
AnonPages:       7101524 kB
Mapped:            46928 kB
Shmem:             17056 kB
Slab:             267280 kB
SReclaimable:     240376 kB
SUnreclaim:        26904 kB
KernelStack:        3616 kB
PageTables:        18804 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    8557460 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   6692864 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       93568 kB
DirectMap2M:    33452032 kB

Free space on /tmp at the end= 52932 MiB
End job on node135 at 2018-07-22 03:25:22