Trace number 4262838

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 2017-07-05? (TO) 2520.1499 2495.1499

General information on the benchmark

NameBinPacking/BinPacking-sum-skj2/
BinPacking-sum-n1w4b3r4.xml
MD5SUMe6d791e594f9eaa90e121e32c21c79c6
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables101
Number of constraints13
Number of domains2
Minimum domain size6
Maximum domain size47
Distribution of domain sizes[{"size":6,"count":1},{"size":47,"count":100}]
Minimum variable degree2
Maximum variable degree5
Distribution of variable degrees[{"degree":2,"count":1},{"degree":4,"count":95},{"degree":5,"count":5}]
Minimum constraint arity6
Maximum constraint arity100
Distribution of constraint arities[{"arity":6,"count":1},{"arity":20,"count":10},{"arity":100,"count":2}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"ordered","count":5},{"type":"lex","count":1},{"type":"sum","count":5},{"type":"count","count":1},{"type":"cardinality","count":1}]
Optimization problemYES
Type of objectivemax VAR

Solver Data 

16.44/6.57	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
16.44/6.57	c This is free software under the dual EPL/GNU LGPL licenses.
16.44/6.57	c See www.sat4j.org for details.
16.44/6.57	c That software uses the Rhino library from the Mozilla project.
16.44/6.57	c version CUSTOM.v20170705
16.44/6.57	c java.runtime.name	Java(TM) SE Runtime Environment
16.44/6.57	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
16.44/6.57	c java.vm.version	25.131-b11
16.44/6.57	c java.vm.vendor	Oracle Corporation
16.44/6.57	c sun.arch.data.model	64
16.44/6.57	c java.version		1.8.0_131
16.44/6.57	c os.name		Linux
16.44/6.57	c os.version		3.10.0-514.16.1.el7.x86_64
16.44/6.57	c os.arch		amd64
16.44/6.57	c Free memory 		499604488
16.44/6.57	c Max memory 		7247757312
16.44/6.57	c Total memory 		504889344
16.44/6.57	c Number of processors 	4
16.44/6.57	c c --- Begin Solver configuration ---
16.44/6.57	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b71fc7e
16.44/6.57	c Learn all clauses as in MiniSAT
16.44/6.57	c LOGGER=java.util.logging.Logger@25f38edc claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
16.44/6.57	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
16.44/6.57	c No reason simplification
16.44/6.57	c Glucose 2.1 dynamic restart strategy
16.44/6.57	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
16.44/6.57	c timeout=2147483s
16.44/6.57	c DB Simplification allowed=false
16.44/6.57	c Listener: org.sat4j.minisat.core.VoidTracing@1a86f2f1
16.44/6.57	c --- End Solver configuration ---
16.44/6.57	c constraints type 
16.44/6.57	c org.sat4j.minisat.constraints.card.MinWatchCard => 202
16.44/6.57	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 256022
16.44/6.57	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 11480148
16.44/6.57	c org.sat4j.minisat.constraints.cnf.UnitClause => 304
16.44/6.57	c 11736676 constraints processed.
2520.09/2495.10	c starts		: 4960
2520.09/2495.10	c conflicts		: 2205735
2520.09/2495.10	c decisions		: 65804690
2520.09/2495.10	c propagations		: 8826097060
2520.09/2495.10	c inspects		: 19234558016
2520.09/2495.10	c shortcuts		: 0
2520.09/2495.10	c learnt literals	: 25
2520.09/2495.10	c learnt binary clauses	: 1829
2520.09/2495.10	c learnt ternary clauses	: 3649
2520.09/2495.10	c learnt constraints	: 2205710
2520.09/2495.10	c ignored constraints	: 0
2520.09/2495.10	c root simplifications	: 0
2520.09/2495.10	c removed literals (reason simplification)	: 0
2520.09/2495.10	c reason swapping (by a shorter reason)	: 0
2520.09/2495.10	c Calls to reduceDB	: 62
2520.09/2495.10	c Number of update (reduction) of LBD	: 1953212
2520.09/2495.10	c Imported unit clauses	: 0
2520.09/2495.10	c number of reductions to clauses (during analyze)	: 0
2520.09/2495.10	c number of learned constraints concerned by reduction	: 0
2520.09/2495.10	c number of learning phase by resolution	: 0
2520.09/2495.10	c number of learning phase by cutting planes	: 0
2520.09/2495.10	c number of rounding to 1 operations	: 0
2520.09/2495.10	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
2520.09/2495.10	c number of reductions of the coefficients by power 2 	: 0
2520.09/2495.10	c number of right shift for reduction by power 2 	: 0
2520.09/2495.10	c number of reductions of the coefficients by GCD over coefficients 	: 0
2520.09/2495.10	c speed (assignments/second)	: 3546761.0182057833
2520.09/2495.10	c non guided choices	2544991
2520.11/2495.13	c learnt constraints type 
2520.11/2495.13	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 1829
2520.11/2495.13	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 68089
2520.11/2495.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 (12313 MiB free)
  memory of node 1: 16384 MiB (12952 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4262838-1502634883/watcher-4262838-1502634883 -o /tmp/evaluation-result-4262838-1502634883/solver-4262838-1502634883 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1502624010-4808 --watchdog 2580 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4262838-1502634883.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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=6392, runsolver pid=6389

[startup+0.100164 s]*
/proc/loadavg: 2.01 2.62 3.05 3/216 6407
/proc/meminfo: memFree=25854132/32770624 swapFree=67108860/67108860
[pid=6392] ppid=6389 vsize=10555400 memory=30520 CPUtime=0.12 cores=0,2,4,6
/proc/6392/stat : 6392 (java) S 6389 6392 31727 0 -1 1077944320 6738 0 0 0 11 1 0 0 20 0 15 0 96559899 10808729600 7630 33554432000 4194304 4196468 140727271543472 140727271526016 139915695279863 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 25866240 140727271552134 140727271552287 140727271552287 140727271555023 0
/proc/6392/statm: 2638850 7630 2788 1 0 2627263 0
[pid=6392/tid=6394] ppid=6389 vsize=10555400 memory=8326441112148417179 CPUtime=0.09 cores=0,2,4,6
/proc/6392/task/6394/stat : 6394 (java) R 6389 6392 31727 0 -1 4202560 4591 0 0 0 8 1 0 0 20 0 15 0 96559899 10808729600 7630 33554432000 4194304 4196468 140727271543472 139915699468208 139915679360350 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25866240 140727271552134 140727271552287 140727271552287 140727271555023 0
[pid=6392/tid=6395] ppid=6389 vsize=10555400 memory=-9181546050914066336 CPUtime=0 cores=0,2,4,6
/proc/6392/task/6395/stat : 6395 (java) S 6389 6392 31727 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96559900 10808729600 7630 33554432000 4194304 4196468 140727271543472 139915621354640 139915695290069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25866240 140727271552134 140727271552287 140727271552287 140727271555023 0
[pid=6392/tid=6396] ppid=6389 vsize=10555400 memory=139850250241664 CPUtime=0 cores=0,2,4,6
/proc/6392/task/6396/stat : 6396 (java) S 6389 6392 31727 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96559900 10808729600 7630 33554432000 4194304 4196468 140727271543472 139915620301840 139915695290069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25866240 140727271552134 140727271552287 140727271552287 140727271555023 0
[pid=6392/tid=6397] ppid=6389 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6392/task/6397/stat : 6397 (java) S 6389 6392 31727 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96559900 10808729600 7630 33554432000 4194304 4196468 140727271543472 139915619249040 139915695290069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25866240 140727271552134 140727271552287 140727271552287 140727271555023 0
[pid=6392/tid=6398] ppid=6389 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6392/task/6398/stat : 6398 (java) S 6389 6392 31727 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96559900 10808729600 7630 33554432000 4194304 4196468 140727271543472 139915618196240 139915695290069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25866240 140727271552134 140727271552287 140727271552287 140727271555023 0
[pid=6392/tid=6399] ppid=6389 vsize=10555400 memory=139850250241664 CPUtime=0 cores=0,2,4,6
/proc/6392/task/6399/stat : 6399 (java) S 6389 6392 31727 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96559902 10808729600 7630 33554432000 4194304 4196468 140727271543472 139914931845488 139915695291010 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25866240 140727271552134 140727271552287 140727271552287 140727271555023 0
[pid=6392/tid=6400] ppid=6389 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6392/task/6400/stat : 6400 (java) S 6389 6392 31727 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 96559902 10808729600 7630 33554432000 4194304 4196468 140727271543472 139914930791456 139915695290069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25866240 140727271552134 140727271552287 140727271552287 140727271555023 0
[pid=6392/tid=6401] ppid=6389 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6392/task/6401/stat : 6401 (java) S 6389 6392 31727 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96559902 10808729600 7630 33554432000 4194304 4196468 140727271543472 139914929738608 139915695290069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25866240 140727271552134 140727271552287 140727271552287 140727271555023 0
[pid=6392/tid=6402] ppid=6389 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6392/task/6402/stat : 6402 (java) S 6389 6392 31727 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96559905 10808729600 7630 33554432000 4194304 4196468 140727271543472 139914928686928 139915695298459 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25866240 140727271552134 140727271552287 140727271552287 140727271555023 0
[pid=6392/tid=6403] ppid=6389 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6392/task/6403/stat : 6403 (java) S 6389 6392 31727 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 15 0 96559905 10808729600 7630 33554432000 4194304 4196468 140727271543472 139914927635312 139915695291010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25866240 140727271552134 140727271552287 140727271552287 140727271555023 0
[pid=6392/tid=6404] ppid=6389 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6392/task/6404/stat : 6404 (java) S 6389 6392 31727 0 -1 1077944384 132 0 0 0 0 0 0 0 20 0 15 0 96559905 10808729600 7630 33554432000 4194304 4196468 140727271543472 139914926582512 139915695291010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25866240 140727271552134 140727271552287 140727271552287 140727271555023 0
[pid=6392/tid=6405] ppid=6389 vsize=10555400 memory=139850250241664 CPUtime=0.01 cores=0,2,4,6
/proc/6392/task/6405/stat : 6405 (java) R 6389 6392 31727 0 -1 4202560 351 0 0 0 1 0 0 0 20 0 15 0 96559905 10808729600 7630 33554432000 4194304 4196468 140727271543472 139914925529712 139915674149075 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25866240 140727271552134 140727271552287 140727271552287 140727271555023 0
[pid=6392/tid=6406] ppid=6389 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6392/task/6406/stat : 6406 (java) S 6389 6392 31727 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96559905 10808729600 7630 33554432000 4194304 4196468 140727271543472 139914924477152 139915695290069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25866240 140727271552134 140727271552287 140727271552287 140727271555023 0
[pid=6392/tid=6407] ppid=6389 vsize=10555400 memory=139850250241664 CPUtime=0 cores=0,2,4,6
/proc/6392/task/6407/stat : 6407 (java) S 6389 6392 31727 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96559905 10808729600 7630 33554432000 4194304 4196468 140727271543472 139914923424432 139915695291010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25866240 140727271552134 140727271552287 140727271552287 140727271555023 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10555400 KiB
Current children cumulated memory: 30520 KiB

[startup+0.210495 s]*
/proc/loadavg: 2.01 2.62 3.05 3/216 6407
/proc/meminfo: memFree=25847556/32770624 swapFree=67108860/67108860
[pid=6392] ppid=6389 vsize=10555400 memory=38036 CPUtime=0.28 cores=0,2,4,6
/proc/6392/stat : 6392 (java) S 6389 6392 31727 0 -1 1077944320 7757 0 0 0 26 2 0 0 20 0 15 0 96559899 10808729600 9509 33554432000 4194304 4196468 140727271543472 140727271526016 139915695279863 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 25866240 140727271552134 140727271552287 140727271552287 140727271555023 0
/proc/6392/statm: 2638850 9509 2934 1 0 2627263 0
[pid=6392/tid=6394] ppid=6389 vsize=10555400 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/6392/task/6394/stat : 6394 (java) R 6389 6392 31727 0 -1 4202560 5359 0 0 0 18 1 0 0 20 0 15 0 96559899 10808729600 9575 33554432000 4194304 4196468 140727271543472 139915699512064 139915679500096 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25866240 140727271552134 140727271552287 140727271552287 140727271555023 0
[pid=6392/tid=6395] ppid=6389 vsize=10555400 memory=342 CPUtime=0 cores=0,2,4,6
/proc/6392/task/6395/stat : 6395 (java) S 6389 6392 31727 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96559900 10808729600 9575 33554432000 4194304 4196468 140727271543472 139915621354640 139915695290069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25866240 140727271552134 140727271552287 140727271552287 140727271555023 0
[pid=6392/tid=6396] ppid=6389 vsize=10555400 memory=3545095300437821088 CPUtime=0 cores=0,2,4,6
/proc/6392/task/6396/stat : 6396 (java) S 6389 6392 31727 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96559900 10808729600 9575 33554432000 4194304 4196468 140727271543472 139915620301840 139915695290069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25866240 140727271552134 140727271552287 140727271552287 140727271555023 0
[pid=6392/tid=6397] ppid=6389 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6392/task/6397/stat : 6397 (java) S 6389 6392 31727 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96559900 10808729600 9575 33554432000 4194304 4196468 140727271543472 139915619249040 139915695290069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25866240 140727271552134 140727271552287 140727271552287 140727271555023 0
[pid=6392/tid=6398] ppid=6389 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6392/task/6398/stat : 6398 (java) S 6389 6392 31727 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96559900 10808729600 9575 33554432000 4194304 4196468 140727271543472 139915618196240 139915695290069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25866240 140727271552134 140727271552287 140727271552287 140727271555023 0
[pid=6392/tid=6399] ppid=6389 vsize=10555400 memory=139850250241664 CPUtime=0 cores=0,2,4,6
/proc/6392/task/6399/stat : 6399 (java) S 6389 6392 31727 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96559902 10808729600 9575 33554432000 4194304 4196468 140727271543472 139914931845488 139915695291010 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25866240 140727271552134 140727271552287 140727271552287 140727271555023 0
[pid=6392/tid=6400] ppid=6389 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6392/task/6400/stat : 6400 (java) S 6389 6392 31727 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 96559902 10808729600 9575 33554432000 4194304 4196468 140727271543472 139914930791456 139915695290069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25866240 140727271552134 140727271552287 140727271552287 140727271555023 0
[pid=6392/tid=6401] ppid=6389 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6392/task/6401/stat : 6401 (java) S 6389 6392 31727 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96559902 10808729600 9575 33554432000 4194304 4196468 140727271543472 139914929738608 139915695290069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25866240 140727271552134 140727271552287 140727271552287 140727271555023 0
[pid=6392/tid=6402] ppid=6389 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6392/task/6402/stat : 6402 (java) S 6389 6392 31727 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96559905 10808729600 9575 33554432000 4194304 4196468 140727271543472 139914928686928 139915695298459 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25866240 140727271552134 140727271552287 140727271552287 140727271555023 0
[pid=6392/tid=6403] ppid=6389 vsize=10555400 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/6392/task/6403/stat : 6403 (java) S 6389 6392 31727 0 -1 1077944384 404 0 0 0 1 0 0 0 20 0 15 0 96559905 10808729600 9575 33554432000 4194304 4196468 140727271543472 139914927635312 139915695291010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25866240 140727271552134 140727271552287 140727271552287 140727271555023 0
[pid=6392/tid=6404] ppid=6389 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6392/task/6404/stat : 6404 (java) S 6389 6392 31727 0 -1 1077944384 226 0 0 0 0 0 0 0 20 0 15 0 96559905 10808729600 9575 33554432000 4194304 4196468 140727271543472 139914926582512 139915695291010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25866240 140727271552134 140727271552287 140727271552287 140727271555023 0
[pid=6392/tid=6405] ppid=6389 vsize=10555400 memory=139850250241664 CPUtime=0.05 cores=0,2,4,6
/proc/6392/task/6405/stat : 6405 (java) R 6389 6392 31727 0 -1 4202560 404 0 0 0 5 0 0 0 20 0 15 0 96559905 10808729600 9575 33554432000 4194304 4196468 140727271543472 139914925529712 139915679360350 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25866240 140727271552134 140727271552287 140727271552287 140727271555023 0
[pid=6392/tid=6406] ppid=6389 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6392/task/6406/stat : 6406 (java) S 6389 6392 31727 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96559905 10808729600 9575 33554432000 4194304 4196468 140727271543472 139914924477152 139915695290069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25866240 140727271552134 140727271552287 140727271552287 140727271555023 0
[pid=6392/tid=6407] ppid=6389 vsize=10555400 memory=139850250241664 CPUtime=0 cores=0,2,4,6
/proc/6392/task/6407/stat : 6407 (java) S 6389 6392 31727 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96559905 10808729600 9575 33554432000 4194304 4196468 140727271543472 139914923424432 139915695291010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25866240 140727271552134 140727271552287 140727271552287 140727271555023 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 10555400 KiB
Current children cumulated memory: 38036 KiB

[startup+0.310779 s]*
/proc/loadavg: 2.01 2.62 3.05 4/216 6407
/proc/meminfo: memFree=25839012/32770624 swapFree=67108860/67108860
[pid=6392] ppid=6389 vsize=10555476 memory=46300 CPUtime=0.51 cores=0,2,4,6
/proc/6392/stat : 6392 (java) S 6389 6392 31727 0 -1 1077944320 8881 0 0 0 48 3 0 0 20 0 15 0 96559899 10808807424 11575 33554432000 4194304 4196468 140727271543472 140727271526016 139915695279863 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 25866240 140727271552134 140727271552287 140727271552287 140727271555023 0
/proc/6392/statm: 2638869 11575 3031 1 0 2627263 0
[pid=6392/tid=6394] ppid=6389 vsize=10555476 memory=53476 CPUtime=0.3 cores=0,2,4,6
/proc/6392/task/6394/stat : 6394 (java) R 6389 6392 31727 0 -1 4202560 5766 0 0 0 28 2 0 0 20 0 15 0 96559899 10808807424 11575 33554432000 4194304 4196468 140727271543472 139915699516416 139915695301789 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25866240 140727271552134 140727271552287 140727271552287 140727271555023 0
[pid=6392/tid=6395] ppid=6389 vsize=10555476 memory=35 CPUtime=0 cores=0,2,4,6
/proc/6392/task/6395/stat : 6395 (java) S 6389 6392 31727 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96559900 10808807424 11575 33554432000 4194304 4196468 140727271543472 139915621354640 139915695290069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25866240 140727271552134 140727271552287 140727271552287 140727271555023 0
[pid=6392/tid=6396] ppid=6389 vsize=10555476 memory=139850250299680 CPUtime=0 cores=0,2,4,6
/proc/6392/task/6396/stat : 6396 (java) S 6389 6392 31727 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96559900 10808807424 11575 33554432000 4194304 4196468 140727271543472 139915620301840 139915695290069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25866240 140727271552134 140727271552287 140727271552287 140727271555023 0
[pid=6392/tid=6397] ppid=6389 vsize=10555476 memory=60388 CPUtime=0 cores=0,2,4,6
/proc/6392/task/6397/stat : 6397 (java) S 6389 6392 31727 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96559900 10808807424 11575 33554432000 4194304 4196468 140727271543472 139915619249040 139915695290069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25866240 140727271552134 140727271552287 140727271552287 140727271555023 0
[pid=6392/tid=6398] ppid=6389 vsize=10555476 memory=35 CPUtime=0 cores=0,2,4,6
/proc/6392/task/6398/stat : 6398 (java) S 6389 6392 31727 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96559900 10808807424 11575 33554432000 4194304 4196468 140727271543472 139915618196240 139915695290069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25866240 140727271552134 140727271552287 140727271552287 140727271555023 0
[pid=6392/tid=6399] ppid=6389 vsize=10555476 memory=139850250306592 CPUtime=0 cores=0,2,4,6
/proc/6392/task/6399/stat : 6399 (java) S 6389 6392 31727 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96559902 10808807424 11575 33554432000 4194304 4196468 140727271543472 139914931845488 139915695291010 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25866240 140727271552134 140727271552287 140727271552287 140727271555023 0
[pid=6392/tid=6400] ppid=6389 vsize=10555476 memory=35 CPUtime=0 cores=0,2,4,6
/proc/6392/task/6400/stat : 6400 (java) S 6389 6392 31727 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 96559902 10808807424 11575 33554432000 4194304 4196468 140727271543472 139914930791456 139915695290069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25866240 140727271552134 140727271552287 140727271552287 140727271555023 0
[pid=6392/tid=6401] ppid=6389 vsize=10555476 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/6392/task/6401/stat : 6401 (java) S 6389 6392 31727 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96559902 10808807424 11575 33554432000 4194304 4196468 140727271543472 139914929738608 139915695290069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25866240 140727271552134 140727271552287 140727271552287 140727271555023 0
[pid=6392/tid=6402] ppid=6389 vsize=10555476 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/6392/task/6402/stat : 6402 (java) S 6389 6392 31727 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96559905 10808807424 11575 33554432000 4194304 4196468 140727271543472 139914928686928 139915695298459 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25866240 140727271552134 140727271552287 140727271552287 140727271555023 0
[pid=6392/tid=6403] ppid=6389 vsize=10555476 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/6392/task/6403/stat : 6403 (java) R 6389 6392 31727 0 -1 4202560 657 0 0 0 4 0 0 0 20 0 15 0 96559905 10808807424 11575 33554432000 4194304 4196468 140727271543472 139914927625696 139915678837937 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25866240 140727271552134 140727271552287 140727271552287 140727271555023 0
[pid=6392/tid=6404] ppid=6389 vsize=10555476 memory=139850107964943 CPUtime=0.03 cores=0,2,4,6
/proc/6392/task/6404/stat : 6404 (java) R 6389 6392 31727 0 -1 4202560 368 0 0 0 3 0 0 0 20 0 15 0 96559905 10808807424 11575 33554432000 4194304 4196468 140727271543472 139914926582512 139915676824370 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25866240 140727271552134 140727271552287 140727271552287 140727271555023 0
[pid=6392/tid=6405] ppid=6389 vsize=10555476 memory=139850250247964 CPUtime=0.11 cores=0,2,4,6
/proc/6392/task/6405/stat : 6405 (java) R 6389 6392 31727 0 -1 1077944384 727 0 0 0 11 0 0 0 20 0 15 0 96559905 10808807424 11575 33554432000 4194304 4196468 140727271543472 139914925529712 139915695291010 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25866240 140727271552134 140727271552287 140727271552287 140727271555023 0
[pid=6392/tid=6406] ppid=6389 vsize=10555476 memory=139850107969487 CPUtime=0 cores=0,2,4,6
/proc/6392/task/6406/stat : 6406 (java) S 6389 6392 31727 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96559905 10808807424 11575 33554432000 4194304 4196468 140727271543472 139914924477152 139915695290069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25866240 140727271552134 140727271552287 140727271552287 140727271555023 0
[pid=6392/tid=6407] ppid=6389 vsize=10555476 memory=279700358227904 CPUtime=0 cores=0,2,4,6
/proc/6392/task/6407/stat : 6407 (java) S 6389 6392 31727 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96559905 10808807424 11575 33554432000 4194304 4196468 140727271543472 139914923424432 139915695291010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25866240 140727271552134 140727271552287 140727271552287 140727271555023 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 46300 KiB

[startup+0.700879 s]
/proc/loadavg: 2.01 2.62 3.05 4/216 6407
/proc/meminfo: memFree=25752592/32770624 swapFree=67108860/67108860
[pid=6392] ppid=6389 vsize=10555476 memory=234932 CPUtime=1.53 cores=0,2,4,6
/proc/6392/stat : 6392 (java) S 6389 6392 31727 0 -1 1077944320 11242 0 0 0 140 13 0 0 20 0 15 0 96559899 10808807424 58733 33554432000 4194304 4196468 140727271543472 140727271526016 139915695279863 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 25866240 140727271552134 140727271552287 140727271552287 140727271555023 0
/proc/6392/statm: 2638869 58733 3097 1 0 2627263 0
[pid=6392/tid=6394] ppid=6389 vsize=10555476 memory=2372 CPUtime=0.6 cores=0,2,4,6
/proc/6392/task/6394/stat : 6394 (java) R 6389 6392 31727 0 -1 4202560 5986 0 0 0 57 3 0 0 20 0 15 0 96559899 10808807424 58733 33554432000 4194304 4196468 140727271543472 139915699497016 139915289793674 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25866240 140727271552134 140727271552287 140727271552287 140727271555023 0
[pid=6392/tid=6395] ppid=6389 vsize=10555476 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/6392/task/6395/stat : 6395 (java) S 6389 6392 31727 0 -1 1077944384 40 0 0 0 5 1 0 0 20 0 15 0 96559900 10808807424 58733 33554432000 4194304 4196468 140727271543472 139915621354640 139915695290069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25866240 140727271552134 140727271552287 140727271552287 140727271555023 0
[pid=6392/tid=6396] ppid=6389 vsize=10555476 memory=10640 CPUtime=0.07 cores=0,2,4,6
/proc/6392/task/6396/stat : 6396 (java) S 6389 6392 31727 0 -1 1077944384 36 0 0 0 5 2 0 0 20 0 15 0 96559900 10808807424 58733 33554432000 4194304 4196468 140727271543472 139915620301840 139915695290069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25866240 140727271552134 140727271552287 140727271552287 140727271555023 0
[pid=6392/tid=6397] ppid=6389 vsize=10555476 memory=15876 CPUtime=0.06 cores=0,2,4,6
/proc/6392/task/6397/stat : 6397 (java) S 6389 6392 31727 0 -1 1077944384 32 0 0 0 5 1 0 0 20 0 15 0 96559900 10808807424 58733 33554432000 4194304 4196468 140727271543472 139915619249040 139915695290069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25866240 140727271552134 140727271552287 140727271552287 140727271555023 0
[pid=6392/tid=6398] ppid=6389 vsize=10555476 memory=15676 CPUtime=0.07 cores=0,2,4,6
/proc/6392/task/6398/stat : 6398 (java) S 6389 6392 31727 0 -1 1077944384 38 0 0 0 5 2 0 0 20 0 15 0 96559900 10808807424 58733 33554432000 4194304 4196468 140727271543472 139915618196240 139915695290069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25866240 140727271552134 140727271552287 140727271552287 140727271555023 0
[pid=6392/tid=6399] ppid=6389 vsize=10555476 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/6392/task/6399/stat : 6399 (java) S 6389 6392 31727 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 96559902 10808807424 58733 33554432000 4194304 4196468 140727271543472 139914931845488 139915695291010 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25866240 140727271552134 140727271552287 140727271552287 140727271555023 0
[pid=6392/tid=6400] ppid=6389 vsize=10555476 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/6392/task/6400/stat : 6400 (java) S 6389 6392 31727 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 96559902 10808807424 58733 33554432000 4194304 4196468 140727271543472 139914930791456 139915695290069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25866240 140727271552134 140727271552287 140727271552287 140727271555023 0
[pid=6392/tid=6401] ppid=6389 vsize=10555476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6392/task/6401/stat : 6401 (java) S 6389 6392 31727 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 96559902 10808807424 58733 33554432000 4194304 4196468 140727271543472 139914929738608 139915695290069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25866240 140727271552134 140727271552287 140727271552287 140727271555023 0
[pid=6392/tid=6402] ppid=6389 vsize=10555476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6392/task/6402/stat : 6402 (java) S 6389 6392 31727 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96559905 10808807424 58733 33554432000 4194304 4196468 140727271543472 139914928686928 139915695298459 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25866240 140727271552134 140727271552287 140727271552287 140727271555023 0
[pid=6392/tid=6403] ppid=6389 vsize=10555476 memory=6656426216303648864 CPUtime=0.24 cores=0,2,4,6
/proc/6392/task/6403/stat : 6403 (java) S 6389 6392 31727 0 -1 1077944384 1605 0 0 0 24 0 0 0 20 0 15 0 96559905 10808807424 58733 33554432000 4194304 4196468 140727271543472 139914927635312 139915695291010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25866240 140727271552134 140727271552287 140727271552287 140727271555023 0
[pid=6392/tid=6404] ppid=6389 vsize=10555476 memory=0 CPUtime=0.22 cores=0,2,4,6
/proc/6392/task/6404/stat : 6404 (java) S 6389 6392 31727 0 -1 1077944384 1191 0 0 0 22 0 0 0 20 0 15 0 96559905 10808807424 58733 33554432000 4194304 4196468 140727271543472 139914926582512 139915695291010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25866240 140727271552134 140727271552287 140727271552287 140727271555023 0
[pid=6392/tid=6405] ppid=6389 vsize=10555476 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/6392/task/6405/stat : 6405 (java) S 6389 6392 31727 0 -1 1077944384 867 0 0 0 15 0 0 0 20 0 15 0 96559905 10808807424 58733 33554432000 4194304 4196468 140727271543472 139914925529712 139915695291010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25866240 140727271552134 140727271552287 140727271552287 140727271555023 0
[pid=6392/tid=6406] ppid=6389 vsize=10555476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6392/task/6406/stat : 6406 (java) S 6389 6392 31727 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96559905 10808807424 58733 33554432000 4194304 4196468 140727271543472 139914924477152 139915695290069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25866240 140727271552134 140727271552287 140727271552287 140727271555023 0
[pid=6392/tid=6407] ppid=6389 vsize=10555476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6392/task/6407/stat : 6407 (java) S 6389 6392 31727 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96559905 10808807424 58733 33554432000 4194304 4196468 140727271543472 139914923424432 139915695291010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25866240 140727271552134 140727271552287 140727271552287 140727271555023 0
Current children cumulated CPU time: 1.53 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 234932 KiB

[startup+1.50667 s]
/proc/loadavg: 2.01 2.62 3.05 5/216 6407
/proc/meminfo: memFree=25551776/32770624 swapFree=67108860/67108860
[pid=6392] ppid=6389 vsize=10555476 memory=598244 CPUtime=3.76 cores=0,2,4,6
/proc/6392/stat : 6392 (java) S 6389 6392 31727 0 -1 1077944320 13564 0 0 0 335 41 0 0 20 0 15 0 96559899 10808807424 149561 33554432000 4194304 4196468 140727271543472 140727271526016 139915695279863 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 25866240 140727271552134 140727271552287 140727271552287 140727271555023 0
/proc/6392/statm: 2638869 149561 3122 1 0 2627263 0
[pid=6392/tid=6394] ppid=6389 vsize=10555476 memory=3467828003725456703 CPUtime=1.04 cores=0,2,4,6
/proc/6392/task/6394/stat : 6394 (java) S 6389 6392 31727 0 -1 1077944384 6051 0 0 0 100 4 0 0 20 0 15 0 96559899 10808807424 149561 33554432000 4194304 4196468 140727271543472 139915699514880 139915695290069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25866240 140727271552134 140727271552287 140727271552287 140727271555023 0
[pid=6392/tid=6395] ppid=6389 vsize=10555476 memory=328468 CPUtime=0.42 cores=0,2,4,6
/proc/6392/task/6395/stat : 6395 (java) R 6389 6392 31727 0 -1 4202560 537 0 0 0 34 8 0 0 20 0 15 0 96559900 10808807424 149561 33554432000 4194304 4196468 140727271543472 139915621354840 139915680230541 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25866240 140727271552134 140727271552287 140727271552287 140727271555023 0
[pid=6392/tid=6396] ppid=6389 vsize=10555476 memory=2241 CPUtime=0.43 cores=0,2,4,6
/proc/6392/task/6396/stat : 6396 (java) R 6389 6392 31727 0 -1 4202560 309 0 0 0 34 9 0 0 20 0 15 0 96559900 10808807424 149561 33554432000 4194304 4196468 140727271543472 139915620301840 139915680231335 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25866240 140727271552134 140727271552287 140727271552287 140727271555023 0
[pid=6392/tid=6397] ppid=6389 vsize=10555476 memory=10640 CPUtime=0.42 cores=0,2,4,6
/proc/6392/task/6397/stat : 6397 (java) R 6389 6392 31727 0 -1 4202560 298 0 0 0 34 8 0 0 20 0 15 0 96559900 10808807424 149561 33554432000 4194304 4196468 140727271543472 139915619249040 139915675306005 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25866240 140727271552134 140727271552287 140727271552287 140727271555023 0
[pid=6392/tid=6398] ppid=6389 vsize=10555476 memory=15876 CPUtime=0.43 cores=0,2,4,6
/proc/6392/task/6398/stat : 6398 (java) R 6389 6392 31727 0 -1 4202560 310 0 0 0 34 9 0 0 20 0 15 0 96559900 10808807424 149561 33554432000 4194304 4196468 140727271543472 139915618196240 139915680231335 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25866240 140727271552134 140727271552287 140727271552287 140727271555023 0
[pid=6392/tid=6399] ppid=6389 vsize=10555476 memory=15676 CPUtime=0 cores=0,2,4,6
/proc/6392/task/6399/stat : 6399 (java) S 6389 6392 31727 0 -1 1077944384 213 0 0 0 0 0 0 0 20 0 15 0 96559902 10808807424 149561 33554432000 4194304 4196468 140727271543472 139914931843808 139915695290069 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25866240 140727271552134 140727271552287 140727271552287 140727271555023 0

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

/proc/6392/task/6400/stat : 6400 (java) S 6389 6392 31727 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 16 0 96559902 10876968960 758504 33554432000 4194304 4196468 140727271543472 139914930791520 139915695290069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25866240 140727271552134 140727271552287 140727271552287 140727271555023 0
[pid=6392/tid=6401] ppid=6389 vsize=10622040 memory=3034016 CPUtime=0 cores=0,2,4,6
/proc/6392/task/6401/stat : 6401 (java) S 6389 6392 31727 0 -1 1077944384 100 0 0 0 0 0 0 0 20 0 16 0 96559902 10876968960 758504 33554432000 4194304 4196468 140727271543472 139914929738624 139915695290069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25866240 140727271552134 140727271552287 140727271552287 140727271555023 0
[pid=6392/tid=6402] ppid=6389 vsize=10622040 memory=3034016 CPUtime=0 cores=0,2,4,6
/proc/6392/task/6402/stat : 6402 (java) S 6389 6392 31727 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 96559905 10876968960 758504 33554432000 4194304 4196468 140727271543472 139914928686928 139915695298459 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25866240 140727271552134 140727271552287 140727271552287 140727271555023 0
[pid=6392/tid=6403] ppid=6389 vsize=10622040 memory=3034016 CPUtime=1.96 cores=0,2,4,6
/proc/6392/task/6403/stat : 6403 (java) S 6389 6392 31727 0 -1 1077944384 7990 0 0 0 195 1 0 0 20 0 16 0 96559905 10876968960 758504 33554432000 4194304 4196468 140727271543472 139914927635312 139915695291010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25866240 140727271552134 140727271552287 140727271552287 140727271555023 0
[pid=6392/tid=6404] ppid=6389 vsize=10622040 memory=4012 CPUtime=1.54 cores=0,2,4,6
/proc/6392/task/6404/stat : 6404 (java) S 6389 6392 31727 0 -1 1077944384 6350 0 0 0 152 2 0 0 20 0 16 0 96559905 10876968960 758504 33554432000 4194304 4196468 140727271543472 139914926582512 139915695291010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25866240 140727271552134 140727271552287 140727271552287 140727271555023 0
[pid=6392/tid=6405] ppid=6389 vsize=10622040 memory=27768 CPUtime=0.34 cores=0,2,4,6
/proc/6392/task/6405/stat : 6405 (java) S 6389 6392 31727 0 -1 1077944384 4761 0 0 0 33 1 0 0 20 0 16 0 96559905 10876968960 758504 33554432000 4194304 4196468 140727271543472 139914925529712 139915695291010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25866240 140727271552134 140727271552287 140727271552287 140727271555023 0
[pid=6392/tid=6406] ppid=6389 vsize=10622040 memory=4012 CPUtime=0 cores=0,2,4,6
/proc/6392/task/6406/stat : 6406 (java) S 6389 6392 31727 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 96559905 10876968960 758504 33554432000 4194304 4196468 140727271543472 139914924477152 139915695290069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25866240 140727271552134 140727271552287 140727271552287 140727271555023 0
[pid=6392/tid=6407] ppid=6389 vsize=10622040 memory=27792 CPUtime=1.47 cores=0,2,4,6
/proc/6392/task/6407/stat : 6407 (java) S 6389 6392 31727 0 -1 1077944384 2405 0 0 0 69 78 0 0 20 0 16 0 96559905 10876968960 758504 33554432000 4194304 4196468 140727271543472 139914923424432 139915695291010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25866240 140727271552134 140727271552287 140727271552287 140727271555023 0
[pid=6392/tid=6408] ppid=6389 vsize=10622040 memory=3034016 CPUtime=0 cores=0,2,4,6
/proc/6392/task/6408/stat : 6408 (java) S 6389 6392 31727 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 96560560 10876968960 758504 33554432000 4194304 4196468 140727271543472 139914922369968 139915695291010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25866240 140727271552134 140727271552287 140727271552287 140727271555023 0
Current children cumulated CPU time: 2467.44 s
Current children cumulated vsize: 10622040 KiB
Current children cumulated memory: 3034016 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2494.9 s]
/proc/loadavg: 1.00 1.29 1.75 2/197 6556
/proc/meminfo: memFree=23551560/32770624 swapFree=67108860/67108860
[pid=6392] ppid=6389 vsize=10622040 memory=3034016 CPUtime=2520.08 cores=0,2,4,6
/proc/6392/stat : 6392 (java) S 6389 6392 31727 0 -1 1077944320 283119 0 0 0 251660 348 0 0 20 0 16 0 96559899 10876968960 758504 33554432000 4194304 4196468 140727271543472 140727271526016 139915695279863 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 25866240 140727271552134 140727271552287 140727271552287 140727271555023 0
/proc/6392/statm: 2655510 758504 3167 1 0 2643904 0
[pid=6392/tid=6394] ppid=6389 vsize=10622040 memory=3034016 CPUtime=2486.09 cores=0,2,4,6
/proc/6392/task/6394/stat : 6394 (java) R 6389 6392 31727 0 -1 4202560 211210 0 0 0 248579 30 0 0 20 0 16 0 96559899 10876968960 758504 33554432000 4194304 4196468 140727271543472 139915699518816 139915291783135 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25866240 140727271552134 140727271552287 140727271552287 140727271555023 0
[pid=6392/tid=6395] ppid=6389 vsize=10622040 memory=3034016 CPUtime=6.62 cores=0,2,4,6
/proc/6392/task/6395/stat : 6395 (java) S 6389 6392 31727 0 -1 1077944384 14631 0 0 0 600 62 0 0 20 0 16 0 96559900 10876968960 758504 33554432000 4194304 4196468 140727271543472 139915621354640 139915695290069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25866240 140727271552134 140727271552287 140727271552287 140727271555023 0
[pid=6392/tid=6396] ppid=6389 vsize=10622040 memory=3034016 CPUtime=6.57 cores=0,2,4,6
/proc/6392/task/6396/stat : 6396 (java) S 6389 6392 31727 0 -1 1077944384 8185 0 0 0 595 62 0 0 20 0 16 0 96559900 10876968960 758504 33554432000 4194304 4196468 140727271543472 139915620301840 139915695290069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25866240 140727271552134 140727271552287 140727271552287 140727271555023 0
[pid=6392/tid=6397] ppid=6389 vsize=10622040 memory=3034016 CPUtime=6.56 cores=0,2,4,6
/proc/6392/task/6397/stat : 6397 (java) S 6389 6392 31727 0 -1 1077944384 11008 0 0 0 598 58 0 0 20 0 16 0 96559900 10876968960 758504 33554432000 4194304 4196468 140727271543472 139915619249040 139915695290069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25866240 140727271552134 140727271552287 140727271552287 140727271555023 0
[pid=6392/tid=6398] ppid=6389 vsize=10622040 memory=3034016 CPUtime=6.62 cores=0,2,4,6
/proc/6392/task/6398/stat : 6398 (java) S 6389 6392 31727 0 -1 1077944384 7350 0 0 0 596 66 0 0 20 0 16 0 96559900 10876968960 758504 33554432000 4194304 4196468 140727271543472 139915618196240 139915695290069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25866240 140727271552134 140727271552287 140727271552287 140727271555023 0
[pid=6392/tid=6399] ppid=6389 vsize=10622040 memory=3034016 CPUtime=2.17 cores=0,2,4,6
/proc/6392/task/6399/stat : 6399 (java) S 6389 6392 31727 0 -1 1077944384 7729 0 0 0 214 3 0 0 20 0 16 0 96559902 10876968960 758504 33554432000 4194304 4196468 140727271543472 139914931845488 139915695291010 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25866240 140727271552134 140727271552287 140727271552287 140727271555023 0
[pid=6392/tid=6400] ppid=6389 vsize=10622040 memory=3034016 CPUtime=0 cores=0,2,4,6
/proc/6392/task/6400/stat : 6400 (java) S 6389 6392 31727 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 16 0 96559902 10876968960 758504 33554432000 4194304 4196468 140727271543472 139914930791520 139915695290069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25866240 140727271552134 140727271552287 140727271552287 140727271555023 0
[pid=6392/tid=6401] ppid=6389 vsize=10622040 memory=3034016 CPUtime=0 cores=0,2,4,6
/proc/6392/task/6401/stat : 6401 (java) S 6389 6392 31727 0 -1 1077944384 100 0 0 0 0 0 0 0 20 0 16 0 96559902 10876968960 758504 33554432000 4194304 4196468 140727271543472 139914929738624 139915695290069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25866240 140727271552134 140727271552287 140727271552287 140727271555023 0
[pid=6392/tid=6402] ppid=6389 vsize=10622040 memory=3034016 CPUtime=0 cores=0,2,4,6
/proc/6392/task/6402/stat : 6402 (java) S 6389 6392 31727 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 96559905 10876968960 758504 33554432000 4194304 4196468 140727271543472 139914928686928 139915695298459 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25866240 140727271552134 140727271552287 140727271552287 140727271555023 0
[pid=6392/tid=6403] ppid=6389 vsize=10622040 memory=1296 CPUtime=1.96 cores=0,2,4,6
/proc/6392/task/6403/stat : 6403 (java) S 6389 6392 31727 0 -1 1077944384 7996 0 0 0 195 1 0 0 20 0 16 0 96559905 10876968960 758504 33554432000 4194304 4196468 140727271543472 139914927635312 139915695291010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25866240 140727271552134 140727271552287 140727271552287 140727271555023 0
[pid=6392/tid=6404] ppid=6389 vsize=10622040 memory=2400 CPUtime=1.54 cores=0,2,4,6
/proc/6392/task/6404/stat : 6404 (java) S 6389 6392 31727 0 -1 1077944384 6354 0 0 0 152 2 0 0 20 0 16 0 96559905 10876968960 758504 33554432000 4194304 4196468 140727271543472 139914926582512 139915695291010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25866240 140727271552134 140727271552287 140727271552287 140727271555023 0
[pid=6392/tid=6405] ppid=6389 vsize=10622040 memory=3034016 CPUtime=0.34 cores=0,2,4,6
/proc/6392/task/6405/stat : 6405 (java) S 6389 6392 31727 0 -1 1077944384 4765 0 0 0 33 1 0 0 20 0 16 0 96559905 10876968960 758504 33554432000 4194304 4196468 140727271543472 139914925529712 139915695291010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25866240 140727271552134 140727271552287 140727271552287 140727271555023 0
[pid=6392/tid=6406] ppid=6389 vsize=10622040 memory=3034016 CPUtime=0 cores=0,2,4,6
/proc/6392/task/6406/stat : 6406 (java) S 6389 6392 31727 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 96559905 10876968960 758504 33554432000 4194304 4196468 140727271543472 139914924477152 139915695290069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25866240 140727271552134 140727271552287 140727271552287 140727271555023 0
[pid=6392/tid=6407] ppid=6389 vsize=10622040 memory=3034016 CPUtime=1.51 cores=0,2,4,6
/proc/6392/task/6407/stat : 6407 (java) S 6389 6392 31727 0 -1 1077944384 2412 0 0 0 71 80 0 0 20 0 16 0 96559905 10876968960 758504 33554432000 4194304 4196468 140727271543472 139914923424432 139915695291010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25866240 140727271552134 140727271552287 140727271552287 140727271555023 0
[pid=6392/tid=6408] ppid=6389 vsize=10622040 memory=4012 CPUtime=0 cores=0,2,4,6
/proc/6392/task/6408/stat : 6408 (java) S 6389 6392 31727 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 96560560 10876968960 758504 33554432000 4194304 4196468 140727271543472 139914922369968 139915695291010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25866240 140727271552134 140727271552287 140727271552287 140727271555023 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 10622040 KiB
Current children cumulated memory: 3034016 KiB

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

[startup+2495.15 s]
# the end of solver process 6392 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2516.65 s, system=3.50389 s

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

[startup+2495.01 s]*
/proc/loadavg: 1.00 1.28 1.74 1/198 6559
/proc/meminfo: memFree=23551560/32770624 swapFree=67108860/67108860
[pid=6392] ppid=6389 vsize=10821732 memory=3034308 CPUtime=2520.09 cores=0,2,4,6
/proc/6392/stat : 6392 (java) S 6389 6392 31727 0 -1 1077944320 283956 0 0 0 251661 348 0 0 20 0 17 0 96559899 11081453568 758577 33554432000 4194304 4196468 140727271543472 140727271526016 139915695279863 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 25866240 140727271552134 140727271552287 140727271552287 140727271555023 0
/proc/6392/statm: 2705433 758577 3169 1 0 2693827 0
[pid=6392/tid=6394] ppid=6389 vsize=10821732 memory=6935054825532540783 CPUtime=2486.11 cores=0,2,4,6
/proc/6392/task/6394/stat : 6394 (java) S 6389 6392 31727 0 -1 1077944384 211285 0 0 0 248581 30 0 0 20 0 17 0 96559899 11081453568 758577 33554432000 4194304 4196468 140727271543472 139915699522736 139915695290069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25866240 140727271552134 140727271552287 140727271552287 140727271555023 0
[pid=6392/tid=6395] ppid=6389 vsize=10821732 memory=4872558044660077418 CPUtime=6.62 cores=0,2,4,6
/proc/6392/task/6395/stat : 6395 (java) S 6389 6392 31727 0 -1 1077944384 14631 0 0 0 600 62 0 0 20 0 17 0 96559900 11081453568 758577 33554432000 4194304 4196468 140727271543472 139915621354640 139915695290069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25866240 140727271552134 140727271552287 140727271552287 140727271555023 0
[pid=6392/tid=6396] ppid=6389 vsize=10821732 memory=13571509067188477 CPUtime=6.57 cores=0,2,4,6
/proc/6392/task/6396/stat : 6396 (java) S 6389 6392 31727 0 -1 1077944384 8185 0 0 0 595 62 0 0 20 0 17 0 96559900 11081453568 758577 33554432000 4194304 4196468 140727271543472 139915620301840 139915695290069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25866240 140727271552134 140727271552287 140727271552287 140727271555023 0
[pid=6392/tid=6397] ppid=6389 vsize=10821732 memory=4872558044660077418 CPUtime=6.56 cores=0,2,4,6
/proc/6392/task/6397/stat : 6397 (java) S 6389 6392 31727 0 -1 1077944384 11008 0 0 0 598 58 0 0 20 0 17 0 96559900 11081453568 758577 33554432000 4194304 4196468 140727271543472 139915619249040 139915695290069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25866240 140727271552134 140727271552287 140727271552287 140727271555023 0
[pid=6392/tid=6398] ppid=6389 vsize=10821732 memory=840 CPUtime=6.62 cores=0,2,4,6
/proc/6392/task/6398/stat : 6398 (java) S 6389 6392 31727 0 -1 1077944384 7350 0 0 0 596 66 0 0 20 0 17 0 96559900 11081453568 758577 33554432000 4194304 4196468 140727271543472 139915618196240 139915695290069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25866240 140727271552134 140727271552287 140727271552287 140727271555023 0
[pid=6392/tid=6399] ppid=6389 vsize=10821732 memory=8112282956445269571 CPUtime=2.17 cores=0,2,4,6
/proc/6392/task/6399/stat : 6399 (java) S 6389 6392 31727 0 -1 1077944384 7761 0 0 0 214 3 0 0 20 0 17 0 96559902 11081453568 758577 33554432000 4194304 4196468 140727271543472 139914931845488 139915695291010 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25866240 140727271552134 140727271552287 140727271552287 140727271555023 0
[pid=6392/tid=6400] ppid=6389 vsize=10821732 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/6392/task/6400/stat : 6400 (java) S 6389 6392 31727 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 17 0 96559902 11081453568 758577 33554432000 4194304 4196468 140727271543472 139914930791520 139915695290069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25866240 140727271552134 140727271552287 140727271552287 140727271555023 0
[pid=6392/tid=6401] ppid=6389 vsize=10821732 memory=3328 CPUtime=0 cores=0,2,4,6
/proc/6392/task/6401/stat : 6401 (java) S 6389 6392 31727 0 -1 1077944384 100 0 0 0 0 0 0 0 20 0 17 0 96559902 11081453568 758577 33554432000 4194304 4196468 140727271543472 139914929738624 139915695290069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25866240 140727271552134 140727271552287 140727271552287 140727271555023 0
[pid=6392/tid=6402] ppid=6389 vsize=10821732 memory=3034016 CPUtime=0 cores=0,2,4,6
/proc/6392/task/6402/stat : 6402 (java) S 6389 6392 31727 0 -1 1077944384 217 0 0 0 0 0 0 0 20 0 17 0 96559905 11081453568 758577 33554432000 4194304 4196468 140727271543472 139914928686928 139915695298459 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25866240 140727271552134 140727271552287 140727271552287 140727271555023 0
[pid=6392/tid=6403] ppid=6389 vsize=10821732 memory=8112282956445269571 CPUtime=1.96 cores=0,2,4,6
/proc/6392/task/6403/stat : 6403 (java) S 6389 6392 31727 0 -1 1077944384 7996 0 0 0 195 1 0 0 20 0 17 0 96559905 11081453568 758577 33554432000 4194304 4196468 140727271543472 139914927635312 139915695291010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25866240 140727271552134 140727271552287 140727271552287 140727271555023 0
[pid=6392/tid=6404] ppid=6389 vsize=10821732 memory=1692 CPUtime=1.54 cores=0,2,4,6
/proc/6392/task/6404/stat : 6404 (java) S 6389 6392 31727 0 -1 1077944384 6354 0 0 0 152 2 0 0 20 0 17 0 96559905 11081453568 758577 33554432000 4194304 4196468 140727271543472 139914926582512 139915695291010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25866240 140727271552134 140727271552287 140727271552287 140727271555023 0
[pid=6392/tid=6405] ppid=6389 vsize=10821732 memory=916 CPUtime=0.34 cores=0,2,4,6
/proc/6392/task/6405/stat : 6405 (java) S 6389 6392 31727 0 -1 1077944384 4932 0 0 0 33 1 0 0 20 0 17 0 96559905 11081453568 758577 33554432000 4194304 4196468 140727271543472 139914925529712 139915695291010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25866240 140727271552134 140727271552287 140727271552287 140727271555023 0
[pid=6392/tid=6406] ppid=6389 vsize=10821732 memory=3832 CPUtime=0 cores=0,2,4,6
/proc/6392/task/6406/stat : 6406 (java) S 6389 6392 31727 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 96559905 11081453568 758577 33554432000 4194304 4196468 140727271543472 139914924477152 139915695290069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25866240 140727271552134 140727271552287 140727271552287 140727271555023 0
[pid=6392/tid=6407] ppid=6389 vsize=10821732 memory=6935054825532540783 CPUtime=1.51 cores=0,2,4,6
/proc/6392/task/6407/stat : 6407 (java) S 6389 6392 31727 0 -1 1077944384 2412 0 0 0 71 80 0 0 20 0 17 0 96559905 11081453568 758577 33554432000 4194304 4196468 140727271543472 139914923424432 139915695291010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25866240 140727271552134 140727271552287 140727271552287 140727271555023 0
[pid=6392/tid=6557] ppid=6389 vsize=10821732 memory=840 CPUtime=0 cores=0,2,4,6
/proc/6392/task/6557/stat : 6557 (java) S 6389 6392 31727 0 -1 1077944384 178 0 0 0 0 0 0 0 20 0 17 0 96809390 11081453568 758577 33554432000 4194304 4196468 140727271543472 139914921316464 139915695290069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25866240 140727271552134 140727271552287 140727271552287 140727271555023 0
[pid=6392/tid=6558] ppid=6389 vsize=10821732 memory=2536 CPUtime=0 cores=0,2,4,6
/proc/6392/task/6558/stat : 6558 (java) S 6389 6392 31727 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 17 0 96809390 11081453568 758577 33554432000 4194304 4196468 140727271543472 139914920264592 139915695291010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25866240 140727271552134 140727271552287 140727271552287 140727271555023 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 10821732 KiB
Current children cumulated memory: 3034308 KiB

[startup+2495.12 s]
/proc/loadavg: 1.00 1.28 1.74 1/198 6559
/proc/meminfo: memFree=23551560/32770624 swapFree=67108860/67108860
[pid=6392] ppid=6389 vsize=10821732 memory=3034312 CPUtime=2520.11 cores=0,2,4,6
/proc/6392/stat : 6392 (java) S 6389 6392 31727 0 -1 1077944320 284248 0 0 0 251663 348 0 0 20 0 17 0 96559899 11081453568 758578 33554432000 4194304 4196468 140727271543472 140727271526016 139915695279863 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 25866240 140727271552134 140727271552287 140727271552287 140727271555023 0
/proc/6392/statm: 2705433 758578 3169 1 0 2693827 0
[pid=6392/tid=6394] ppid=6389 vsize=10821732 memory=3034016 CPUtime=2486.11 cores=0,2,4,6
/proc/6392/task/6394/stat : 6394 (java) S 6389 6392 31727 0 -1 1077944384 211285 0 0 0 248581 30 0 0 20 0 17 0 96559899 11081453568 758578 33554432000 4194304 4196468 140727271543472 139915699522736 139915695290069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25866240 140727271552134 140727271552287 140727271552287 140727271555023 0
[pid=6392/tid=6395] ppid=6389 vsize=10821732 memory=3034016 CPUtime=6.62 cores=0,2,4,6
/proc/6392/task/6395/stat : 6395 (java) S 6389 6392 31727 0 -1 1077944384 14631 0 0 0 600 62 0 0 20 0 17 0 96559900 11081453568 758578 33554432000 4194304 4196468 140727271543472 139915621354640 139915695290069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25866240 140727271552134 140727271552287 140727271552287 140727271555023 0
[pid=6392/tid=6396] ppid=6389 vsize=10821732 memory=3034016 CPUtime=6.57 cores=0,2,4,6
/proc/6392/task/6396/stat : 6396 (java) S 6389 6392 31727 0 -1 1077944384 8185 0 0 0 595 62 0 0 20 0 17 0 96559900 11081453568 758578 33554432000 4194304 4196468 140727271543472 139915620301840 139915695290069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25866240 140727271552134 140727271552287 140727271552287 140727271555023 0
[pid=6392/tid=6397] ppid=6389 vsize=10821732 memory=3034016 CPUtime=6.56 cores=0,2,4,6
/proc/6392/task/6397/stat : 6397 (java) S 6389 6392 31727 0 -1 1077944384 11008 0 0 0 598 58 0 0 20 0 17 0 96559900 11081453568 758578 33554432000 4194304 4196468 140727271543472 139915619249040 139915695290069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25866240 140727271552134 140727271552287 140727271552287 140727271555023 0
[pid=6392/tid=6398] ppid=6389 vsize=10821732 memory=3034016 CPUtime=6.62 cores=0,2,4,6
/proc/6392/task/6398/stat : 6398 (java) S 6389 6392 31727 0 -1 1077944384 7350 0 0 0 596 66 0 0 20 0 17 0 96559900 11081453568 758578 33554432000 4194304 4196468 140727271543472 139915618196240 139915695290069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25866240 140727271552134 140727271552287 140727271552287 140727271555023 0
[pid=6392/tid=6399] ppid=6389 vsize=10821732 memory=3034016 CPUtime=2.17 cores=0,2,4,6
/proc/6392/task/6399/stat : 6399 (java) S 6389 6392 31727 0 -1 1077944384 7761 0 0 0 214 3 0 0 20 0 17 0 96559902 11081453568 758578 33554432000 4194304 4196468 140727271543472 139914931845488 139915695291010 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25866240 140727271552134 140727271552287 140727271552287 140727271555023 0
[pid=6392/tid=6400] ppid=6389 vsize=10821732 memory=3034016 CPUtime=0 cores=0,2,4,6
/proc/6392/task/6400/stat : 6400 (java) S 6389 6392 31727 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 17 0 96559902 11081453568 758578 33554432000 4194304 4196468 140727271543472 139914930791520 139915695290069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25866240 140727271552134 140727271552287 140727271552287 140727271555023 0
[pid=6392/tid=6401] ppid=6389 vsize=10821732 memory=3034016 CPUtime=0 cores=0,2,4,6
/proc/6392/task/6401/stat : 6401 (java) S 6389 6392 31727 0 -1 1077944384 100 0 0 0 0 0 0 0 20 0 17 0 96559902 11081453568 758578 33554432000 4194304 4196468 140727271543472 139914929738624 139915695290069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25866240 140727271552134 140727271552287 140727271552287 140727271555023 0
[pid=6392/tid=6402] ppid=6389 vsize=10821732 memory=3034016 CPUtime=0 cores=0,2,4,6
/proc/6392/task/6402/stat : 6402 (java) S 6389 6392 31727 0 -1 1077944384 217 0 0 0 0 0 0 0 20 0 17 0 96559905 11081453568 758578 33554432000 4194304 4196468 140727271543472 139914928686928 139915695298459 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25866240 140727271552134 140727271552287 140727271552287 140727271555023 0
[pid=6392/tid=6403] ppid=6389 vsize=10821732 memory=3034016 CPUtime=1.96 cores=0,2,4,6
/proc/6392/task/6403/stat : 6403 (java) S 6389 6392 31727 0 -1 1077944384 8082 0 0 0 195 1 0 0 20 0 17 0 96559905 11081453568 758578 33554432000 4194304 4196468 140727271543472 139914927635312 139915695291010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25866240 140727271552134 140727271552287 140727271552287 140727271555023 0
[pid=6392/tid=6404] ppid=6389 vsize=10821732 memory=3034016 CPUtime=1.54 cores=0,2,4,6
/proc/6392/task/6404/stat : 6404 (java) S 6389 6392 31727 0 -1 1077944384 6434 0 0 0 152 2 0 0 20 0 17 0 96559905 11081453568 758578 33554432000 4194304 4196468 140727271543472 139914926582512 139915695291010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25866240 140727271552134 140727271552287 140727271552287 140727271555023 0
[pid=6392/tid=6405] ppid=6389 vsize=10821732 memory=1296 CPUtime=0.34 cores=0,2,4,6
/proc/6392/task/6405/stat : 6405 (java) S 6389 6392 31727 0 -1 1077944384 4942 0 0 0 33 1 0 0 20 0 17 0 96559905 11081453568 758578 33554432000 4194304 4196468 140727271543472 139914925529712 139915695291010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25866240 140727271552134 140727271552287 140727271552287 140727271555023 0
[pid=6392/tid=6406] ppid=6389 vsize=10821732 memory=2400 CPUtime=0 cores=0,2,4,6
/proc/6392/task/6406/stat : 6406 (java) S 6389 6392 31727 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 96559905 11081453568 758578 33554432000 4194304 4196468 140727271543472 139914924477152 139915695290069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25866240 140727271552134 140727271552287 140727271552287 140727271555023 0
[pid=6392/tid=6407] ppid=6389 vsize=10821732 memory=4012 CPUtime=1.51 cores=0,2,4,6
/proc/6392/task/6407/stat : 6407 (java) S 6389 6392 31727 0 -1 1077944384 2412 0 0 0 71 80 0 0 20 0 17 0 96559905 11081453568 758578 33554432000 4194304 4196468 140727271543472 139914923424432 139915695291010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25866240 140727271552134 140727271552287 140727271552287 140727271555023 0
[pid=6392/tid=6557] ppid=6389 vsize=10821732 memory=27792 CPUtime=0 cores=0,2,4,6
/proc/6392/task/6557/stat : 6557 (java) S 6389 6392 31727 0 -1 1077944384 178 0 0 0 0 0 0 0 20 0 17 0 96809390 11081453568 758578 33554432000 4194304 4196468 140727271543472 139914921316464 139915695290069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25866240 140727271552134 140727271552287 140727271552287 140727271555023 0
[pid=6392/tid=6558] ppid=6389 vsize=10821732 memory=960 CPUtime=0.01 cores=0,2,4,6
/proc/6392/task/6558/stat : 6558 (java) R 6389 6392 31727 0 -1 4202560 187 0 0 0 1 0 0 0 20 0 17 0 96809390 11081453568 758578 33554432000 4194304 4196468 140727271543472 139914920260760 139915287362273 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25866240 140727271552134 140727271552287 140727271552287 140727271555023 0
Current children cumulated CPU time: 2520.11 s
Current children cumulated vsize: 10821732 KiB
Current children cumulated memory: 3034312 KiB

Child status: 143
Real time (s): 2495.15
CPU time (s): 2520.15
CPU user time (s): 2516.65
CPU system time (s): 3.50389
CPU usage (%): 101.002
Max. virtual memory (cumulated for all children) (KiB): 10821732
Max. memory (cumulated for all children) (KiB): 3034312

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.65
system time used= 3.50388
maximum resident set size= 3034876
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 284401
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1688
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 57486
involuntary context switches= 2716


# summary of solver processes directly reported to runsolver:
#   pid: 6392
#   total CPU time (s): 2520.15
#   total CPU user time (s): 2516.65
#   total CPU system time (s): 3.50389

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.3033 second user time and 23.4695 second system time

The end

Launcher Data 

Begin job on node105 at 2017-08-13 16:20:24
IDJOB=4262838
IDBENCH=137636
IDSOLVER=2651
FILE ID=node105/4262838-1502634883
RUNJOBID= node105-1502624010-4808
PBS_JOBID= 20628295
Free space on /tmp= 60664 MiB

SOLVER NAME= sat4j-CSP 2017-07-05
BENCH NAME= XCSP17/BinPacking/BinPacking-sum-skj2/BinPacking-sum-n1w4b3r4.xml
COMMAND LINE= java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4262838-1502634883/watcher-4262838-1502634883 -o /tmp/evaluation-result-4262838-1502634883/solver-4262838-1502634883 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1502624010-4808 --watchdog 2580  java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4262838-1502634883.xml

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

MD5SUM BENCH= e6d791e594f9eaa90e121e32c21c79c6
RANDOM SEED=955241802

node105.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.17
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.17
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.17
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.17
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:        25872848 kB
MemAvailable:   31271576 kB
Buffers:          170864 kB
Cached:          5503248 kB
SwapCached:            0 kB
Active:          1373044 kB
Inactive:        5061284 kB
Active(anon):     762812 kB
Inactive(anon):    25060 kB
Active(file):     610232 kB
Inactive(file):  5036224 kB
Unevictable:        6248 kB
Mlocked:            6248 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              1608 kB
Writeback:             0 kB
AnonPages:        765940 kB
Mapped:            55172 kB
Shmem:             25228 kB
Slab:             161956 kB
SReclaimable:     136212 kB
SUnreclaim:        25744 kB
KernelStack:        3504 kB
PageTables:         6568 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1567032 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    651264 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 60664 MiB
End job on node105 at 2017-08-13 17:02:00