Trace number 4263054

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.29 2481.5801

General information on the benchmark

NameQueenAttacking/QueenAttacking-m1-s1/
QueenAttacking-13.xml
MD5SUM83249ccae4b5534eb2335929a7f4c3a6
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark20
Best CPU time to get the best result obtained on this benchmark19880.199
Satisfiable
(Un)Satisfiability was proved
Number of variables209
Number of constraints208
Number of domains2
Minimum domain size2
Maximum domain size169
Distribution of domain sizes[{"size":2,"count":39},{"size":169,"count":170}]
Minimum variable degree2
Maximum variable degree39
Distribution of variable degrees[{"degree":2,"count":41},{"degree":3,"count":128},{"degree":4,"count":39},{"degree":39,"count":1}]
Minimum constraint arity2
Maximum constraint arity169
Distribution of constraint arities[{"arity":2,"count":168},{"arity":3,"count":39},{"arity":169,"count":1}]
Number of extensional constraints0
Number of intensional constraints207
Distribution of constraint types[{"type":"intension","count":207},{"type":"allDifferent","count":1}]
Optimization problemYES
Type of objectivemin SUM

Solver Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4263054-1502627423/watcher-4263054-1502627423 -o /tmp/evaluation-result-4263054-1502627423/solver-4263054-1502627423 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1502619133-1622 --watchdog 2580 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4263054-1502627423.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
solver pid=3579, runsolver pid=3576
Current StackSize limit: 8192 KiB


[startup+0.100168 s]*
/proc/loadavg: 2.01 2.42 3.10 3/216 3594
/proc/meminfo: memFree=27804676/32770624 swapFree=67108860/67108860
[pid=3579] ppid=3576 vsize=10555400 memory=30980 CPUtime=0.12 cores=0,2,4,6
/proc/3579/stat : 3579 (java) S 3576 3579 31794 0 -1 1077944320 6775 0 0 0 10 2 0 0 20 0 15 0 95830393 10808729600 7745 33554432000 4194304 4196468 140721676064368 140721676046912 140004631006967 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 8826880 140721676067974 140721676068127 140721676068127 140721676070863 0
/proc/3579/statm: 2638850 7745 2815 1 0 2627263 0
[pid=3579/tid=3581] ppid=3576 vsize=10555400 memory=8326441112148417179 CPUtime=0.09 cores=0,2,4,6
/proc/3579/task/3581/stat : 3581 (java) R 3576 3579 31794 0 -1 4202560 4642 0 0 0 8 1 0 0 20 0 15 0 95830394 10808729600 7745 33554432000 4194304 4196468 140721676064368 140004635228656 140004615087454 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8826880 140721676067974 140721676068127 140721676068127 140721676070863 0
[pid=3579/tid=3582] ppid=3576 vsize=10555400 memory=-7025452035940392864 CPUtime=0 cores=0,2,4,6
/proc/3579/task/3582/stat : 3582 (java) S 3576 3579 31794 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95830394 10808729600 7745 33554432000 4194304 4196468 140721676064368 140004594113296 140004631017173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8826880 140721676067974 140721676068127 140721676068127 140721676070863 0
[pid=3579/tid=3583] ppid=3576 vsize=10555400 memory=140651381896832 CPUtime=0 cores=0,2,4,6
/proc/3579/task/3583/stat : 3583 (java) S 3576 3579 31794 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95830394 10808729600 7745 33554432000 4194304 4196468 140721676064368 140004236647312 140004631017173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8826880 140721676067974 140721676068127 140721676068127 140721676070863 0
[pid=3579/tid=3584] ppid=3576 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3579/task/3584/stat : 3584 (java) S 3576 3579 31794 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95830394 10808729600 7745 33554432000 4194304 4196468 140721676064368 140004235594768 140004631017173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8826880 140721676067974 140721676068127 140721676068127 140721676070863 0
[pid=3579/tid=3585] ppid=3576 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3579/task/3585/stat : 3585 (java) S 3576 3579 31794 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95830394 10808729600 7745 33554432000 4194304 4196468 140721676064368 140004234542224 140004631017173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8826880 140721676067974 140721676068127 140721676068127 140721676070863 0
[pid=3579/tid=3586] ppid=3576 vsize=10555400 memory=140651381896832 CPUtime=0 cores=0,2,4,6
/proc/3579/task/3586/stat : 3586 (java) S 3576 3579 31794 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95830396 10808729600 7745 33554432000 4194304 4196468 140721676064368 140004122683376 140004631018114 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8826880 140721676067974 140721676068127 140721676068127 140721676070863 0
[pid=3579/tid=3587] ppid=3576 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3579/task/3587/stat : 3587 (java) S 3576 3579 31794 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95830396 10808729600 7745 33554432000 4194304 4196468 140721676064368 140004121629600 140004631017173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8826880 140721676067974 140721676068127 140721676068127 140721676070863 0
[pid=3579/tid=3588] ppid=3576 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3579/task/3588/stat : 3588 (java) S 3576 3579 31794 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95830396 10808729600 7745 33554432000 4194304 4196468 140721676064368 140004120577008 140004631017173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8826880 140721676067974 140721676068127 140721676068127 140721676070863 0
[pid=3579/tid=3589] ppid=3576 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3579/task/3589/stat : 3589 (java) S 3576 3579 31794 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95830399 10808729600 7745 33554432000 4194304 4196468 140721676064368 140004119525584 140004631025563 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8826880 140721676067974 140721676068127 140721676068127 140721676070863 0
[pid=3579/tid=3590] ppid=3576 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3579/task/3590/stat : 3590 (java) S 3576 3579 31794 0 -1 1077944384 437 0 0 0 0 0 0 0 20 0 15 0 95830399 10808729600 7745 33554432000 4194304 4196468 140721676064368 140004118473200 140004631018114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8826880 140721676067974 140721676068127 140721676068127 140721676070863 0
[pid=3579/tid=3591] ppid=3576 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3579/task/3591/stat : 3591 (java) S 3576 3579 31794 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95830399 10808729600 7745 33554432000 4194304 4196468 140721676064368 140004117420656 140004631018114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8826880 140721676067974 140721676068127 140721676068127 140721676070863 0
[pid=3579/tid=3592] ppid=3576 vsize=10555400 memory=140651381896832 CPUtime=0.01 cores=0,2,4,6
/proc/3579/task/3592/stat : 3592 (java) R 3576 3579 31794 0 -1 4202560 332 0 0 0 1 0 0 0 20 0 15 0 95830399 10808729600 7745 33554432000 4194304 4196468 140721676064368 140004116368112 140004615257720 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8826880 140721676067974 140721676068127 140721676068127 140721676070863 0
[pid=3579/tid=3593] ppid=3576 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3579/task/3593/stat : 3593 (java) S 3576 3579 31794 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95830399 10808729600 7745 33554432000 4194304 4196468 140721676064368 140004115315808 140004631017173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8826880 140721676067974 140721676068127 140721676068127 140721676070863 0
[pid=3579/tid=3594] ppid=3576 vsize=10555400 memory=140651381896832 CPUtime=0 cores=0,2,4,6
/proc/3579/task/3594/stat : 3594 (java) S 3576 3579 31794 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95830399 10808729600 7745 33554432000 4194304 4196468 140721676064368 140004114262320 140004631018114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8826880 140721676067974 140721676068127 140721676068127 140721676070863 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10555400 KiB
Current children cumulated memory: 30980 KiB

[startup+0.210439 s]*
/proc/loadavg: 2.01 2.42 3.10 3/216 3594
/proc/meminfo: memFree=27796688/32770624 swapFree=67108860/67108860
[pid=3579] ppid=3576 vsize=10555400 memory=39904 CPUtime=0.29 cores=0,2,4,6
/proc/3579/stat : 3579 (java) S 3576 3579 31794 0 -1 1077944320 8013 0 0 0 27 2 0 0 20 0 15 0 95830393 10808729600 9976 33554432000 4194304 4196468 140721676064368 140721676046912 140004631006967 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 8826880 140721676067974 140721676068127 140721676068127 140721676070863 0
/proc/3579/statm: 2638850 9976 2926 1 0 2627263 0
[pid=3579/tid=3581] ppid=3576 vsize=10555400 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/3579/task/3581/stat : 3581 (java) R 3576 3579 31794 0 -1 4202560 5232 0 0 0 19 1 0 0 20 0 15 0 95830394 10808729600 9976 33554432000 4194304 4196468 140721676064368 140004635234576 140004615227200 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8826880 140721676067974 140721676068127 140721676068127 140721676070863 0
[pid=3579/tid=3582] ppid=3576 vsize=10555400 memory=331 CPUtime=0 cores=0,2,4,6
/proc/3579/task/3582/stat : 3582 (java) S 3576 3579 31794 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95830394 10808729600 9976 33554432000 4194304 4196468 140721676064368 140004594113296 140004631017173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8826880 140721676067974 140721676068127 140721676068127 140721676070863 0
[pid=3579/tid=3583] ppid=3576 vsize=10555400 memory=140651381911058 CPUtime=0 cores=0,2,4,6
/proc/3579/task/3583/stat : 3583 (java) S 3576 3579 31794 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95830394 10808729600 9976 33554432000 4194304 4196468 140721676064368 140004236647312 140004631017173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8826880 140721676067974 140721676068127 140721676068127 140721676070863 0
[pid=3579/tid=3584] ppid=3576 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3579/task/3584/stat : 3584 (java) S 3576 3579 31794 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95830394 10808729600 9976 33554432000 4194304 4196468 140721676064368 140004235594768 140004631017173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8826880 140721676067974 140721676068127 140721676068127 140721676070863 0
[pid=3579/tid=3585] ppid=3576 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3579/task/3585/stat : 3585 (java) S 3576 3579 31794 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95830394 10808729600 9976 33554432000 4194304 4196468 140721676064368 140004234542224 140004631017173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8826880 140721676067974 140721676068127 140721676068127 140721676070863 0
[pid=3579/tid=3586] ppid=3576 vsize=10555400 memory=140651381896832 CPUtime=0 cores=0,2,4,6
/proc/3579/task/3586/stat : 3586 (java) S 3576 3579 31794 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95830396 10808729600 9976 33554432000 4194304 4196468 140721676064368 140004122683376 140004631018114 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8826880 140721676067974 140721676068127 140721676068127 140721676070863 0
[pid=3579/tid=3587] ppid=3576 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3579/task/3587/stat : 3587 (java) S 3576 3579 31794 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95830396 10808729600 9976 33554432000 4194304 4196468 140721676064368 140004121629600 140004631017173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8826880 140721676067974 140721676068127 140721676068127 140721676070863 0
[pid=3579/tid=3588] ppid=3576 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3579/task/3588/stat : 3588 (java) S 3576 3579 31794 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95830396 10808729600 9976 33554432000 4194304 4196468 140721676064368 140004120577008 140004631017173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8826880 140721676067974 140721676068127 140721676068127 140721676070863 0
[pid=3579/tid=3589] ppid=3576 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3579/task/3589/stat : 3589 (java) S 3576 3579 31794 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95830399 10808729600 9976 33554432000 4194304 4196468 140721676064368 140004119525584 140004631025563 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8826880 140721676067974 140721676068127 140721676068127 140721676070863 0
[pid=3579/tid=3590] ppid=3576 vsize=10555400 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/3579/task/3590/stat : 3590 (java) S 3576 3579 31794 0 -1 1077944384 500 0 0 0 1 0 0 0 20 0 15 0 95830399 10808729600 9976 33554432000 4194304 4196468 140721676064368 140004118473200 140004631018114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8826880 140721676067974 140721676068127 140721676068127 140721676070863 0
[pid=3579/tid=3591] ppid=3576 vsize=10555400 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/3579/task/3591/stat : 3591 (java) S 3576 3579 31794 0 -1 1077944384 135 0 0 0 1 0 0 0 20 0 15 0 95830399 10808729600 9976 33554432000 4194304 4196468 140721676064368 140004117420656 140004631018114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8826880 140721676067974 140721676068127 140721676068127 140721676070863 0
[pid=3579/tid=3592] ppid=3576 vsize=10555400 memory=140651381896832 CPUtime=0.05 cores=0,2,4,6
/proc/3579/task/3592/stat : 3592 (java) S 3576 3579 31794 0 -1 1077944384 784 0 0 0 5 0 0 0 20 0 15 0 95830399 10808729600 9976 33554432000 4194304 4196468 140721676064368 140004116368112 140004631018114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8826880 140721676067974 140721676068127 140721676068127 140721676070863 0
[pid=3579/tid=3593] ppid=3576 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3579/task/3593/stat : 3593 (java) S 3576 3579 31794 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95830399 10808729600 9976 33554432000 4194304 4196468 140721676064368 140004115315808 140004631017173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8826880 140721676067974 140721676068127 140721676068127 140721676070863 0
[pid=3579/tid=3594] ppid=3576 vsize=10555400 memory=140651381896832 CPUtime=0 cores=0,2,4,6
/proc/3579/task/3594/stat : 3594 (java) S 3576 3579 31794 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95830399 10808729600 9976 33554432000 4194304 4196468 140721676064368 140004114262320 140004631018114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8826880 140721676067974 140721676068127 140721676068127 140721676070863 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 10555400 KiB
Current children cumulated memory: 39904 KiB

[startup+0.31322 s]*
/proc/loadavg: 2.01 2.42 3.10 4/216 3594
/proc/meminfo: memFree=27790236/32770624 swapFree=67108860/67108860
[pid=3579] ppid=3576 vsize=10555476 memory=45856 CPUtime=0.51 cores=0,2,4,6
/proc/3579/stat : 3579 (java) S 3576 3579 31794 0 -1 1077944320 8586 0 0 0 49 2 0 0 20 0 15 0 95830393 10808807424 11464 33554432000 4194304 4196468 140721676064368 140721676046912 140004631006967 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 8826880 140721676067974 140721676068127 140721676068127 140721676070863 0
/proc/3579/statm: 2638869 11464 2998 1 0 2627263 0
[pid=3579/tid=3581] ppid=3576 vsize=10555476 memory=53476 CPUtime=0.3 cores=0,2,4,6
/proc/3579/task/3581/stat : 3581 (java) R 3576 3579 31794 0 -1 4202560 5593 0 0 0 29 1 0 0 20 0 15 0 95830394 10808807424 11464 33554432000 4194304 4196468 140721676064368 140004635241968 140004631018902 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8826880 140721676067974 140721676068127 140721676068127 140721676070863 0
[pid=3579/tid=3582] ppid=3576 vsize=10555476 memory=35 CPUtime=0 cores=0,2,4,6
/proc/3579/task/3582/stat : 3582 (java) S 3576 3579 31794 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95830394 10808807424 11464 33554432000 4194304 4196468 140721676064368 140004594113296 140004631017173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8826880 140721676067974 140721676068127 140721676068127 140721676070863 0
[pid=3579/tid=3583] ppid=3576 vsize=10555476 memory=140651381954848 CPUtime=0 cores=0,2,4,6
/proc/3579/task/3583/stat : 3583 (java) S 3576 3579 31794 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95830394 10808807424 11464 33554432000 4194304 4196468 140721676064368 140004236647312 140004631017173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8826880 140721676067974 140721676068127 140721676068127 140721676070863 0
[pid=3579/tid=3584] ppid=3576 vsize=10555476 memory=60388 CPUtime=0 cores=0,2,4,6
/proc/3579/task/3584/stat : 3584 (java) S 3576 3579 31794 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95830394 10808807424 11464 33554432000 4194304 4196468 140721676064368 140004235594768 140004631017173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8826880 140721676067974 140721676068127 140721676068127 140721676070863 0
[pid=3579/tid=3585] ppid=3576 vsize=10555476 memory=35 CPUtime=0 cores=0,2,4,6
/proc/3579/task/3585/stat : 3585 (java) S 3576 3579 31794 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95830394 10808807424 11464 33554432000 4194304 4196468 140721676064368 140004234542224 140004631017173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8826880 140721676067974 140721676068127 140721676068127 140721676070863 0
[pid=3579/tid=3586] ppid=3576 vsize=10555476 memory=140651381961760 CPUtime=0 cores=0,2,4,6
/proc/3579/task/3586/stat : 3586 (java) S 3576 3579 31794 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95830396 10808807424 11464 33554432000 4194304 4196468 140721676064368 140004122683376 140004631018114 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8826880 140721676067974 140721676068127 140721676068127 140721676070863 0
[pid=3579/tid=3587] ppid=3576 vsize=10555476 memory=35 CPUtime=0 cores=0,2,4,6
/proc/3579/task/3587/stat : 3587 (java) S 3576 3579 31794 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95830396 10808807424 11464 33554432000 4194304 4196468 140721676064368 140004121629600 140004631017173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8826880 140721676067974 140721676068127 140721676068127 140721676070863 0
[pid=3579/tid=3588] ppid=3576 vsize=10555476 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/3579/task/3588/stat : 3588 (java) S 3576 3579 31794 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95830396 10808807424 11464 33554432000 4194304 4196468 140721676064368 140004120577008 140004631017173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8826880 140721676067974 140721676068127 140721676068127 140721676070863 0
[pid=3579/tid=3589] ppid=3576 vsize=10555476 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/3579/task/3589/stat : 3589 (java) S 3576 3579 31794 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95830399 10808807424 11464 33554432000 4194304 4196468 140721676064368 140004119525584 140004631025563 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8826880 140721676067974 140721676068127 140721676068127 140721676070863 0
[pid=3579/tid=3590] ppid=3576 vsize=10555476 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/3579/task/3590/stat : 3590 (java) S 3576 3579 31794 0 -1 1077944384 583 0 0 0 3 0 0 0 20 0 15 0 95830399 10808807424 11464 33554432000 4194304 4196468 140721676064368 140004118473200 140004631018114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8826880 140721676067974 140721676068127 140721676068127 140721676070863 0
[pid=3579/tid=3591] ppid=3576 vsize=10555476 memory=140651253583375 CPUtime=0.03 cores=0,2,4,6
/proc/3579/task/3591/stat : 3591 (java) S 3576 3579 31794 0 -1 1077944384 187 0 0 0 3 0 0 0 20 0 15 0 95830399 10808807424 11464 33554432000 4194304 4196468 140721676064368 140004117420656 140004631018114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8826880 140721676067974 140721676068127 140721676068127 140721676070863 0
[pid=3579/tid=3592] ppid=3576 vsize=10555476 memory=140651381900316 CPUtime=0.13 cores=0,2,4,6
/proc/3579/task/3592/stat : 3592 (java) R 3576 3579 31794 0 -1 4202560 859 0 0 0 13 0 0 0 20 0 15 0 95830399 10808807424 11464 33554432000 4194304 4196468 140721676064368 140004116368112 140004609608169 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8826880 140721676067974 140721676068127 140721676068127 140721676070863 0
[pid=3579/tid=3593] ppid=3576 vsize=10555476 memory=140651253587919 CPUtime=0 cores=0,2,4,6
/proc/3579/task/3593/stat : 3593 (java) S 3576 3579 31794 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95830399 10808807424 11464 33554432000 4194304 4196468 140721676064368 140004115315808 140004631017173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8826880 140721676067974 140721676068127 140721676068127 140721676070863 0
[pid=3579/tid=3594] ppid=3576 vsize=10555476 memory=281302635501504 CPUtime=0 cores=0,2,4,6
/proc/3579/task/3594/stat : 3594 (java) S 3576 3579 31794 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95830399 10808807424 11464 33554432000 4194304 4196468 140721676064368 140004114262320 140004631018114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8826880 140721676067974 140721676068127 140721676068127 140721676070863 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 45856 KiB

[startup+0.700749 s]
/proc/loadavg: 2.01 2.42 3.10 5/216 3594
/proc/meminfo: memFree=27709628/32770624 swapFree=67108860/67108860
[pid=3579] ppid=3576 vsize=10555476 memory=146564 CPUtime=1.56 cores=0,2,4,6
/proc/3579/stat : 3579 (java) S 3576 3579 31794 0 -1 1077944320 12211 0 0 0 152 4 0 0 20 0 15 0 95830393 10808807424 36641 33554432000 4194304 4196468 140721676064368 140721676046912 140004631006967 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 8826880 140721676067974 140721676068127 140721676068127 140721676070863 0
/proc/3579/statm: 2638869 36641 3078 1 0 2627263 0
[pid=3579/tid=3581] ppid=3576 vsize=10555476 memory=2372 CPUtime=0.68 cores=0,2,4,6
/proc/3579/task/3581/stat : 3581 (java) R 3576 3579 31794 0 -1 4202560 5686 0 0 0 66 2 0 0 20 0 15 0 95830394 10808807424 36641 33554432000 4194304 4196468 140721676064368 140004635243072 140004269697818 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8826880 140721676067974 140721676068127 140721676068127 140721676070863 0
[pid=3579/tid=3582] ppid=3576 vsize=10555476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3579/task/3582/stat : 3582 (java) S 3576 3579 31794 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95830394 10808807424 36641 33554432000 4194304 4196468 140721676064368 140004594113296 140004631017173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8826880 140721676067974 140721676068127 140721676068127 140721676070863 0
[pid=3579/tid=3583] ppid=3576 vsize=10555476 memory=4612 CPUtime=0 cores=0,2,4,6
/proc/3579/task/3583/stat : 3583 (java) S 3576 3579 31794 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95830394 10808807424 36641 33554432000 4194304 4196468 140721676064368 140004236647312 140004631017173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8826880 140721676067974 140721676068127 140721676068127 140721676070863 0
[pid=3579/tid=3584] ppid=3576 vsize=10555476 memory=15872 CPUtime=0 cores=0,2,4,6
/proc/3579/task/3584/stat : 3584 (java) S 3576 3579 31794 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95830394 10808807424 36641 33554432000 4194304 4196468 140721676064368 140004235594768 140004631017173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8826880 140721676067974 140721676068127 140721676068127 140721676070863 0
[pid=3579/tid=3585] ppid=3576 vsize=10555476 memory=18448 CPUtime=0 cores=0,2,4,6
/proc/3579/task/3585/stat : 3585 (java) S 3576 3579 31794 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95830394 10808807424 36641 33554432000 4194304 4196468 140721676064368 140004234542224 140004631017173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8826880 140721676067974 140721676068127 140721676068127 140721676070863 0
[pid=3579/tid=3586] ppid=3576 vsize=10555476 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/3579/task/3586/stat : 3586 (java) S 3576 3579 31794 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95830396 10808807424 36641 33554432000 4194304 4196468 140721676064368 140004122683376 140004631018114 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8826880 140721676067974 140721676068127 140721676068127 140721676070863 0
[pid=3579/tid=3587] ppid=3576 vsize=10555476 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/3579/task/3587/stat : 3587 (java) S 3576 3579 31794 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95830396 10808807424 36641 33554432000 4194304 4196468 140721676064368 140004121629600 140004631017173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8826880 140721676067974 140721676068127 140721676068127 140721676070863 0
[pid=3579/tid=3588] ppid=3576 vsize=10555476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3579/task/3588/stat : 3588 (java) S 3576 3579 31794 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95830396 10808807424 36641 33554432000 4194304 4196468 140721676064368 140004120577008 140004631017173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8826880 140721676067974 140721676068127 140721676068127 140721676070863 0
[pid=3579/tid=3589] ppid=3576 vsize=10555476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3579/task/3589/stat : 3589 (java) S 3576 3579 31794 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95830399 10808807424 36641 33554432000 4194304 4196468 140721676064368 140004119525584 140004631025563 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8826880 140721676067974 140721676068127 140721676068127 140721676070863 0
[pid=3579/tid=3590] ppid=3576 vsize=10555476 memory=0 CPUtime=0.35 cores=0,2,4,6
/proc/3579/task/3590/stat : 3590 (java) R 3576 3579 31794 0 -1 4202560 2811 0 0 0 35 0 0 0 20 0 15 0 95830399 10808807424 36641 33554432000 4194304 4196468 140721676064368 140004118457864 140004616132918 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8826880 140721676067974 140721676068127 140721676068127 140721676070863 0
[pid=3579/tid=3591] ppid=3576 vsize=10555476 memory=0 CPUtime=0.33 cores=0,2,4,6
/proc/3579/task/3591/stat : 3591 (java) S 3576 3579 31794 0 -1 1077944384 1305 0 0 0 33 0 0 0 20 0 15 0 95830399 10808807424 36641 33554432000 4194304 4196468 140721676064368 140004117420656 140004631018114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8826880 140721676067974 140721676068127 140721676068127 140721676070863 0
[pid=3579/tid=3592] ppid=3576 vsize=10555476 memory=0 CPUtime=0.18 cores=0,2,4,6
/proc/3579/task/3592/stat : 3592 (java) S 3576 3579 31794 0 -1 1077944384 1042 0 0 0 18 0 0 0 20 0 15 0 95830399 10808807424 36641 33554432000 4194304 4196468 140721676064368 140004116368112 140004631018114 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8826880 140721676067974 140721676068127 140721676068127 140721676070863 0
[pid=3579/tid=3593] ppid=3576 vsize=10555476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3579/task/3593/stat : 3593 (java) S 3576 3579 31794 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95830399 10808807424 36641 33554432000 4194304 4196468 140721676064368 140004115315808 140004631017173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8826880 140721676067974 140721676068127 140721676068127 140721676070863 0
[pid=3579/tid=3594] ppid=3576 vsize=10555476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3579/task/3594/stat : 3594 (java) S 3576 3579 31794 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95830399 10808807424 36641 33554432000 4194304 4196468 140721676064368 140004114262320 140004631018114 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8826880 140721676067974 140721676068127 140721676068127 140721676070863 0
Current children cumulated CPU time: 1.56 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 146564 KiB

[startup+1.50085 s]
/proc/loadavg: 2.01 2.42 3.10 3/216 3594
/proc/meminfo: memFree=27657328/32770624 swapFree=67108860/67108860
[pid=3579] ppid=3576 vsize=10555476 memory=214452 CPUtime=2.61 cores=0,2,4,6
/proc/3579/stat : 3579 (java) S 3576 3579 31794 0 -1 1077944320 14638 0 0 0 251 10 0 0 20 0 15 0 95830393 10808807424 53613 33554432000 4194304 4196468 140721676064368 140721676046912 140004631006967 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 8826880 140721676067974 140721676068127 140721676068127 140721676070863 0
/proc/3579/statm: 2638869 53613 3108 1 0 2627263 0
[pid=3579/tid=3581] ppid=3576 vsize=10555476 memory=734122143586467639 CPUtime=1.44 cores=0,2,4,6
/proc/3579/task/3581/stat : 3581 (java) R 3576 3579 31794 0 -1 4202560 5800 0 0 0 142 2 0 0 20 0 15 0 95830394 10808807424 53613 33554432000 4194304 4196468 140721676064368 140004635245984 140004269900124 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8826880 140721676067974 140721676068127 140721676068127 140721676070863 0
[pid=3579/tid=3582] ppid=3576 vsize=10555476 memory=166728 CPUtime=0.03 cores=0,2,4,6
/proc/3579/task/3582/stat : 3582 (java) S 3576 3579 31794 0 -1 1077944384 101 0 0 0 2 1 0 0 20 0 15 0 95830394 10808807424 53613 33554432000 4194304 4196468 140721676064368 140004594113296 140004631017173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8826880 140721676067974 140721676068127 140721676068127 140721676070863 0
[pid=3579/tid=3583] ppid=3576 vsize=10555476 memory=2241 CPUtime=0.03 cores=0,2,4,6
/proc/3579/task/3583/stat : 3583 (java) S 3576 3579 31794 0 -1 1077944384 249 0 0 0 2 1 0 0 20 0 15 0 95830394 10808807424 53613 33554432000 4194304 4196468 140721676064368 140004236647312 140004631017173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8826880 140721676067974 140721676068127 140721676068127 140721676070863 0
[pid=3579/tid=3584] ppid=3576 vsize=10555476 memory=4612 CPUtime=0.03 cores=0,2,4,6
/proc/3579/task/3584/stat : 3584 (java) S 3576 3579 31794 0 -1 1077944384 100 0 0 0 2 1 0 0 20 0 15 0 95830394 10808807424 53613 33554432000 4194304 4196468 140721676064368 140004235594768 140004631017173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8826880 140721676067974 140721676068127 140721676068127 140721676070863 0
[pid=3579/tid=3585] ppid=3576 vsize=10555476 memory=15872 CPUtime=0.03 cores=0,2,4,6
/proc/3579/task/3585/stat : 3585 (java) S 3576 3579 31794 0 -1 1077944384 161 0 0 0 2 1 0 0 20 0 15 0 95830394 10808807424 53613 33554432000 4194304 4196468 140721676064368 140004234542224 140004631017173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8826880 140721676067974 140721676068127 140721676068127 140721676070863 0
[pid=3579/tid=3586] ppid=3576 vsize=10555476 memory=18448 CPUtime=0 cores=0,2,4,6
/proc/3579/task/3586/stat : 3586 (java) S 3576 3579 31794 0 -1 1077944384 398 0 0 0 0 0 0 0 20 0 15 0 95830396 10808807424 53613 33554432000 4194304 4196468 140721676064368 140004122683376 140004631018114 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8826880 140721676067974 140721676068127 140721676068127 140721676070863 0

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

/proc/3579/task/3583/stat : 3583 (java) S 3576 3579 31794 0 -1 1077944384 28986 0 0 0 980 108 0 0 20 0 16 0 95830394 10876968960 907899 33554432000 4194304 4196468 140721676064368 140004236647312 140004631017173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8826880 140721676067974 140721676068127 140721676068127 140721676070863 0
[pid=3579/tid=3584] ppid=3576 vsize=10622040 memory=33 CPUtime=10.88 cores=0,2,4,6
/proc/3579/task/3584/stat : 3584 (java) S 3576 3579 31794 0 -1 1077944384 30046 0 0 0 980 108 0 0 20 0 16 0 95830394 10876968960 907899 33554432000 4194304 4196468 140721676064368 140004235594768 140004631017173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8826880 140721676067974 140721676068127 140721676068127 140721676070863 0
[pid=3579/tid=3585] ppid=3576 vsize=10622040 memory=3631596 CPUtime=10.88 cores=0,2,4,6
/proc/3579/task/3585/stat : 3585 (java) S 3576 3579 31794 0 -1 1077944384 30325 0 0 0 986 102 0 0 20 0 16 0 95830394 10876968960 907899 33554432000 4194304 4196468 140721676064368 140004234542224 140004631017173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8826880 140721676067974 140721676068127 140721676068127 140721676070863 0
[pid=3579/tid=3586] ppid=3576 vsize=10622040 memory=3631596 CPUtime=1.25 cores=0,2,4,6
/proc/3579/task/3586/stat : 3586 (java) S 3576 3579 31794 0 -1 1077944384 27804 0 0 0 120 5 0 0 20 0 16 0 95830396 10876968960 907899 33554432000 4194304 4196468 140721676064368 140004122683376 140004631018114 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8826880 140721676067974 140721676068127 140721676068127 140721676070863 0
[pid=3579/tid=3587] ppid=3576 vsize=10622040 memory=3631596 CPUtime=0 cores=0,2,4,6
/proc/3579/task/3587/stat : 3587 (java) S 3576 3579 31794 0 -1 1077944384 106 0 0 0 0 0 0 0 20 0 16 0 95830396 10876968960 907899 33554432000 4194304 4196468 140721676064368 140004121629664 140004631017173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8826880 140721676067974 140721676068127 140721676068127 140721676070863 0
[pid=3579/tid=3588] ppid=3576 vsize=10622040 memory=3631596 CPUtime=0 cores=0,2,4,6
/proc/3579/task/3588/stat : 3588 (java) S 3576 3579 31794 0 -1 1077944384 89 0 0 0 0 0 0 0 20 0 16 0 95830396 10876968960 907899 33554432000 4194304 4196468 140721676064368 140004120577024 140004631017173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8826880 140721676067974 140721676068127 140721676068127 140721676070863 0
[pid=3579/tid=3589] ppid=3576 vsize=10622040 memory=3631596 CPUtime=0 cores=0,2,4,6
/proc/3579/task/3589/stat : 3589 (java) S 3576 3579 31794 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 95830399 10876968960 907899 33554432000 4194304 4196468 140721676064368 140004119525584 140004631025563 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8826880 140721676067974 140721676068127 140721676068127 140721676070863 0
[pid=3579/tid=3590] ppid=3576 vsize=10622040 memory=3631596 CPUtime=2.22 cores=0,2,4,6
/proc/3579/task/3590/stat : 3590 (java) S 3576 3579 31794 0 -1 1077944384 8643 0 0 0 221 1 0 0 20 0 16 0 95830399 10876968960 907899 33554432000 4194304 4196468 140721676064368 140004118473200 140004631018114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8826880 140721676067974 140721676068127 140721676068127 140721676070863 0
[pid=3579/tid=3591] ppid=3576 vsize=10622040 memory=3631596 CPUtime=1.88 cores=0,2,4,6
/proc/3579/task/3591/stat : 3591 (java) S 3576 3579 31794 0 -1 1077944384 7635 0 0 0 187 1 0 0 20 0 16 0 95830399 10876968960 907899 33554432000 4194304 4196468 140721676064368 140004117420656 140004631018114 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8826880 140721676067974 140721676068127 140721676068127 140721676070863 0
[pid=3579/tid=3592] ppid=3576 vsize=10622040 memory=3631596 CPUtime=0.46 cores=0,2,4,6
/proc/3579/task/3592/stat : 3592 (java) S 3576 3579 31794 0 -1 1077944384 6616 0 0 0 45 1 0 0 20 0 16 0 95830399 10876968960 907899 33554432000 4194304 4196468 140721676064368 140004116368112 140004631018114 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8826880 140721676067974 140721676068127 140721676068127 140721676070863 0
[pid=3579/tid=3593] ppid=3576 vsize=10622040 memory=3631596 CPUtime=0 cores=0,2,4,6
/proc/3579/task/3593/stat : 3593 (java) S 3576 3579 31794 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 95830399 10876968960 907899 33554432000 4194304 4196468 140721676064368 140004115315808 140004631017173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8826880 140721676067974 140721676068127 140721676068127 140721676070863 0
[pid=3579/tid=3594] ppid=3576 vsize=10622040 memory=2428 CPUtime=1.45 cores=0,2,4,6
/proc/3579/task/3594/stat : 3594 (java) S 3576 3579 31794 0 -1 1077944384 2180 0 0 0 74 71 0 0 20 0 16 0 95830399 10876968960 907899 33554432000 4194304 4196468 140721676064368 140004114262320 140004631018114 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8826880 140721676067974 140721676068127 140721676068127 140721676070863 0
[pid=3579/tid=3595] ppid=3576 vsize=10622040 memory=3631596 CPUtime=0 cores=0,2,4,6
/proc/3579/task/3595/stat : 3595 (java) S 3576 3579 31794 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 95830896 10876968960 907899 33554432000 4194304 4196468 140721676064368 140004113208112 140004631018114 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8826880 140721676067974 140721676068127 140721676068127 140721676070863 0
Current children cumulated CPU time: 2480.6 s
Current children cumulated vsize: 10622040 KiB
Current children cumulated memory: 3631596 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2481.2 s]
/proc/loadavg: 5.06 4.16 3.13 6/216 3901
/proc/meminfo: memFree=17449872/32770624 swapFree=67108860/67108860
[pid=3579] ppid=3576 vsize=10622040 memory=3631596 CPUtime=2520.06 cores=0,2,4,6
/proc/3579/stat : 3579 (java) S 3576 3579 31794 0 -1 1077944320 261773 0 0 0 251502 504 0 0 20 0 16 0 95830393 10876968960 907899 33554432000 4194304 4196468 140721676064368 140721676046912 140004631006967 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 8826880 140721676067974 140721676068127 140721676068127 140721676070863 0
/proc/3579/statm: 2655510 907899 3168 1 0 2643904 0
[pid=3579/tid=3581] ppid=3576 vsize=10622040 memory=1712 CPUtime=2468.49 cores=0,2,4,6
/proc/3579/task/3581/stat : 3581 (java) R 3576 3579 31794 0 -1 4202560 84415 0 0 0 246834 15 0 0 20 0 16 0 95830394 10876968960 907899 33554432000 4194304 4196468 140721676064368 140004635245568 140004271917174 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8826880 140721676067974 140721676068127 140721676068127 140721676070863 0
[pid=3579/tid=3582] ppid=3576 vsize=10622040 memory=1952 CPUtime=11.01 cores=0,2,4,6
/proc/3579/task/3582/stat : 3582 (java) S 3576 3579 31794 0 -1 1077944384 29851 0 0 0 996 105 0 0 20 0 16 0 95830394 10876968960 907899 33554432000 4194304 4196468 140721676064368 140004594113296 140004631017173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8826880 140721676067974 140721676068127 140721676068127 140721676070863 0
[pid=3579/tid=3583] ppid=3576 vsize=10622040 memory=8552 CPUtime=11.06 cores=0,2,4,6
/proc/3579/task/3583/stat : 3583 (java) S 3576 3579 31794 0 -1 1077944384 29901 0 0 0 998 108 0 0 20 0 16 0 95830394 10876968960 907899 33554432000 4194304 4196468 140721676064368 140004236647312 140004631017173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8826880 140721676067974 140721676068127 140721676068127 140721676070863 0
[pid=3579/tid=3584] ppid=3576 vsize=10622040 memory=1224 CPUtime=11.05 cores=0,2,4,6
/proc/3579/task/3584/stat : 3584 (java) S 3576 3579 31794 0 -1 1077944384 31531 0 0 0 997 108 0 0 20 0 16 0 95830394 10876968960 907899 33554432000 4194304 4196468 140721676064368 140004235594768 140004631017173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8826880 140721676067974 140721676068127 140721676068127 140721676070863 0
[pid=3579/tid=3585] ppid=3576 vsize=10622040 memory=792 CPUtime=11.06 cores=0,2,4,6
/proc/3579/task/3585/stat : 3585 (java) S 3576 3579 31794 0 -1 1077944384 31362 0 0 0 1004 102 0 0 20 0 16 0 95830394 10876968960 907899 33554432000 4194304 4196468 140721676064368 140004234542224 140004631017173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8826880 140721676067974 140721676068127 140721676068127 140721676070863 0
[pid=3579/tid=3586] ppid=3576 vsize=10622040 memory=1004 CPUtime=1.25 cores=0,2,4,6
/proc/3579/task/3586/stat : 3586 (java) S 3576 3579 31794 0 -1 1077944384 28066 0 0 0 120 5 0 0 20 0 16 0 95830396 10876968960 907899 33554432000 4194304 4196468 140721676064368 140004122683376 140004631018114 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8826880 140721676067974 140721676068127 140721676068127 140721676070863 0
[pid=3579/tid=3587] ppid=3576 vsize=10622040 memory=5296 CPUtime=0 cores=0,2,4,6
/proc/3579/task/3587/stat : 3587 (java) S 3576 3579 31794 0 -1 1077944384 106 0 0 0 0 0 0 0 20 0 16 0 95830396 10876968960 907899 33554432000 4194304 4196468 140721676064368 140004121629664 140004631017173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8826880 140721676067974 140721676068127 140721676068127 140721676070863 0
[pid=3579/tid=3588] ppid=3576 vsize=10622040 memory=1196 CPUtime=0 cores=0,2,4,6
/proc/3579/task/3588/stat : 3588 (java) S 3576 3579 31794 0 -1 1077944384 89 0 0 0 0 0 0 0 20 0 16 0 95830396 10876968960 907899 33554432000 4194304 4196468 140721676064368 140004120577024 140004631017173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8826880 140721676067974 140721676068127 140721676068127 140721676070863 0
[pid=3579/tid=3589] ppid=3576 vsize=10622040 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/3579/task/3589/stat : 3589 (java) S 3576 3579 31794 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 95830399 10876968960 907899 33554432000 4194304 4196468 140721676064368 140004119525584 140004631025563 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8826880 140721676067974 140721676068127 140721676068127 140721676070863 0
[pid=3579/tid=3590] ppid=3576 vsize=10622040 memory=5296 CPUtime=2.22 cores=0,2,4,6
/proc/3579/task/3590/stat : 3590 (java) S 3576 3579 31794 0 -1 1077944384 8650 0 0 0 221 1 0 0 20 0 16 0 95830399 10876968960 907899 33554432000 4194304 4196468 140721676064368 140004118473200 140004631018114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8826880 140721676067974 140721676068127 140721676068127 140721676070863 0
[pid=3579/tid=3591] ppid=3576 vsize=10622040 memory=1196 CPUtime=1.88 cores=0,2,4,6
/proc/3579/task/3591/stat : 3591 (java) S 3576 3579 31794 0 -1 1077944384 7639 0 0 0 187 1 0 0 20 0 16 0 95830399 10876968960 907899 33554432000 4194304 4196468 140721676064368 140004117420656 140004631018114 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8826880 140721676067974 140721676068127 140721676068127 140721676070863 0
[pid=3579/tid=3592] ppid=3576 vsize=10622040 memory=4612 CPUtime=0.46 cores=0,2,4,6
/proc/3579/task/3592/stat : 3592 (java) S 3576 3579 31794 0 -1 1077944384 6619 0 0 0 45 1 0 0 20 0 16 0 95830399 10876968960 907899 33554432000 4194304 4196468 140721676064368 140004116368112 140004631018114 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8826880 140721676067974 140721676068127 140721676068127 140721676070863 0
[pid=3579/tid=3593] ppid=3576 vsize=10622040 memory=15872 CPUtime=0 cores=0,2,4,6
/proc/3579/task/3593/stat : 3593 (java) S 3576 3579 31794 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 95830399 10876968960 907899 33554432000 4194304 4196468 140721676064368 140004115315808 140004631017173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8826880 140721676067974 140721676068127 140721676068127 140721676070863 0
[pid=3579/tid=3594] ppid=3576 vsize=10622040 memory=288230574492221466 CPUtime=1.48 cores=0,2,4,6
/proc/3579/task/3594/stat : 3594 (java) S 3576 3579 31794 0 -1 1077944384 2218 0 0 0 76 72 0 0 20 0 16 0 95830399 10876968960 907899 33554432000 4194304 4196468 140721676064368 140004114262320 140004631018114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8826880 140721676067974 140721676068127 140721676068127 140721676070863 0
[pid=3579/tid=3595] ppid=3576 vsize=10622040 memory=288230604624101685 CPUtime=0 cores=0,2,4,6
/proc/3579/task/3595/stat : 3595 (java) S 3576 3579 31794 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 95830896 10876968960 907899 33554432000 4194304 4196468 140721676064368 140004113208112 140004631018114 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8826880 140721676067974 140721676068127 140721676068127 140721676070863 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 10622040 KiB
Current children cumulated memory: 3631596 KiB

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

[startup+2481.58 s]
# the end of solver process 3579 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2515.23 s, system=5.06433 s

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

[startup+2481.4 s]
/proc/loadavg: 5.06 4.16 3.13 6/216 3901
/proc/meminfo: memFree=17449872/32770624 swapFree=67108860/67108860
[pid=3579] ppid=3576 vsize=10821732 memory=3632004 CPUtime=2520.07 cores=0,2,4,6
/proc/3579/stat : 3579 (java) S 3576 3579 31794 0 -1 1077944320 262678 0 0 0 251503 504 0 0 20 0 17 0 95830393 11081453568 908001 33554432000 4194304 4196468 140721676064368 140721676046912 140004631006967 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8826880 140721676067974 140721676068127 140721676068127 140721676070863 0
/proc/3579/statm: 2705433 908001 3171 1 0 2693827 0
[pid=3579/tid=3581] ppid=3576 vsize=10821732 memory=288230604624101685 CPUtime=2468.5 cores=0,2,4,6
/proc/3579/task/3581/stat : 3581 (java) S 3576 3579 31794 0 -1 1077944384 84502 0 0 0 246835 15 0 0 20 0 17 0 95830394 11081453568 908001 33554432000 4194304 4196468 140721676064368 140004635249840 140004631017173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8826880 140721676067974 140721676068127 140721676068127 140721676070863 0
[pid=3579/tid=3582] ppid=3576 vsize=10821732 memory=13845283167537007 CPUtime=11.01 cores=0,2,4,6
/proc/3579/task/3582/stat : 3582 (java) S 3576 3579 31794 0 -1 1077944384 29851 0 0 0 996 105 0 0 20 0 17 0 95830394 11081453568 908001 33554432000 4194304 4196468 140721676064368 140004594113296 140004631017173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8826880 140721676067974 140721676068127 140721676068127 140721676070863 0
[pid=3579/tid=3583] ppid=3576 vsize=10821732 memory=3631596 CPUtime=11.06 cores=0,2,4,6
/proc/3579/task/3583/stat : 3583 (java) S 3576 3579 31794 0 -1 1077944384 29901 0 0 0 998 108 0 0 20 0 17 0 95830394 11081453568 908001 33554432000 4194304 4196468 140721676064368 140004236647312 140004631017173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8826880 140721676067974 140721676068127 140721676068127 140721676070863 0
[pid=3579/tid=3584] ppid=3576 vsize=10821732 memory=1160 CPUtime=11.05 cores=0,2,4,6
/proc/3579/task/3584/stat : 3584 (java) S 3576 3579 31794 0 -1 1077944384 31531 0 0 0 997 108 0 0 20 0 17 0 95830394 11081453568 908001 33554432000 4194304 4196468 140721676064368 140004235594768 140004631017173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8826880 140721676067974 140721676068127 140721676068127 140721676070863 0
[pid=3579/tid=3585] ppid=3576 vsize=10821732 memory=3208 CPUtime=11.06 cores=0,2,4,6
/proc/3579/task/3585/stat : 3585 (java) S 3576 3579 31794 0 -1 1077944384 31362 0 0 0 1004 102 0 0 20 0 17 0 95830394 11081453568 908001 33554432000 4194304 4196468 140721676064368 140004234542224 140004631017173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8826880 140721676067974 140721676068127 140721676068127 140721676070863 0
[pid=3579/tid=3586] ppid=3576 vsize=10821732 memory=8173656 CPUtime=1.25 cores=0,2,4,6
/proc/3579/task/3586/stat : 3586 (java) S 3576 3579 31794 0 -1 1077944384 28108 0 0 0 120 5 0 0 20 0 17 0 95830396 11081453568 908001 33554432000 4194304 4196468 140721676064368 140004122683376 140004631018114 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8826880 140721676067974 140721676068127 140721676068127 140721676070863 0
[pid=3579/tid=3587] ppid=3576 vsize=10821732 memory=1692 CPUtime=0 cores=0,2,4,6
/proc/3579/task/3587/stat : 3587 (java) S 3576 3579 31794 0 -1 1077944384 106 0 0 0 0 0 0 0 20 0 17 0 95830396 11081453568 908001 33554432000 4194304 4196468 140721676064368 140004121629664 140004631017173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8826880 140721676067974 140721676068127 140721676068127 140721676070863 0
[pid=3579/tid=3588] ppid=3576 vsize=10821732 memory=916 CPUtime=0 cores=0,2,4,6
/proc/3579/task/3588/stat : 3588 (java) S 3576 3579 31794 0 -1 1077944384 89 0 0 0 0 0 0 0 20 0 17 0 95830396 11081453568 908001 33554432000 4194304 4196468 140721676064368 140004120577024 140004631017173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8826880 140721676067974 140721676068127 140721676068127 140721676070863 0
[pid=3579/tid=3589] ppid=3576 vsize=10821732 memory=3832 CPUtime=0 cores=0,2,4,6
/proc/3579/task/3589/stat : 3589 (java) S 3576 3579 31794 0 -1 1077944384 255 0 0 0 0 0 0 0 20 0 17 0 95830399 11081453568 908001 33554432000 4194304 4196468 140721676064368 140004119525584 140004631025563 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8826880 140721676067974 140721676068127 140721676068127 140721676070863 0
[pid=3579/tid=3590] ppid=3576 vsize=10821732 memory=6935054825532540783 CPUtime=2.22 cores=0,2,4,6
/proc/3579/task/3590/stat : 3590 (java) S 3576 3579 31794 0 -1 1077944384 8650 0 0 0 221 1 0 0 20 0 17 0 95830399 11081453568 908001 33554432000 4194304 4196468 140721676064368 140004118473200 140004631018114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8826880 140721676067974 140721676068127 140721676068127 140721676070863 0
[pid=3579/tid=3591] ppid=3576 vsize=10821732 memory=4126316290023845779 CPUtime=1.88 cores=0,2,4,6
/proc/3579/task/3591/stat : 3591 (java) S 3576 3579 31794 0 -1 1077944384 7639 0 0 0 187 1 0 0 20 0 17 0 95830399 11081453568 908001 33554432000 4194304 4196468 140721676064368 140004117420656 140004631018114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8826880 140721676067974 140721676068127 140721676068127 140721676070863 0
[pid=3579/tid=3592] ppid=3576 vsize=10821732 memory=0 CPUtime=0.46 cores=0,2,4,6
/proc/3579/task/3592/stat : 3592 (java) S 3576 3579 31794 0 -1 1077944384 6765 0 0 0 45 1 0 0 20 0 17 0 95830399 11081453568 908001 33554432000 4194304 4196468 140721676064368 140004116368112 140004631018114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8826880 140721676067974 140721676068127 140721676068127 140721676070863 0
[pid=3579/tid=3593] ppid=3576 vsize=10821732 memory=7100839878645619564 CPUtime=0 cores=0,2,4,6
/proc/3579/task/3593/stat : 3593 (java) S 3576 3579 31794 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 95830399 11081453568 908001 33554432000 4194304 4196468 140721676064368 140004115315808 140004631017173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8826880 140721676067974 140721676068127 140721676068127 140721676070863 0
[pid=3579/tid=3594] ppid=3576 vsize=10821732 memory=9047017150487036571 CPUtime=1.48 cores=0,2,4,6
/proc/3579/task/3594/stat : 3594 (java) S 3576 3579 31794 0 -1 1077944384 2218 0 0 0 76 72 0 0 20 0 17 0 95830399 11081453568 908001 33554432000 4194304 4196468 140721676064368 140004114262320 140004631018114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8826880 140721676067974 140721676068127 140721676068127 140721676070863 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 10821732 KiB
Current children cumulated memory: 3632004 KiB

[startup+2481.5 s]
/proc/loadavg: 5.06 4.16 3.13 6/216 3901
/proc/meminfo: memFree=17449872/32770624 swapFree=67108860/67108860
[pid=3579] ppid=3576 vsize=10821732 memory=3632084 CPUtime=2520.2 cores=0,2,4,6
/proc/3579/stat : 3579 (java) S 3576 3579 31794 0 -1 1077944320 264557 0 0 0 251516 504 0 0 20 0 17 0 95830393 11081453568 908021 33554432000 4194304 4196468 140721676064368 140721676046912 140004631006967 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8826880 140721676067974 140721676068127 140721676068127 140721676070863 0
/proc/3579/statm: 2705433 908021 3171 1 0 2693827 0
[pid=3579/tid=3581] ppid=3576 vsize=10821732 memory=3631596 CPUtime=2468.5 cores=0,2,4,6
/proc/3579/task/3581/stat : 3581 (java) S 3576 3579 31794 0 -1 1077944384 84502 0 0 0 246835 15 0 0 20 0 17 0 95830394 11081453568 908021 33554432000 4194304 4196468 140721676064368 140004635249840 140004631017173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8826880 140721676067974 140721676068127 140721676068127 140721676070863 0
[pid=3579/tid=3582] ppid=3576 vsize=10821732 memory=3631596 CPUtime=11.01 cores=0,2,4,6
/proc/3579/task/3582/stat : 3582 (java) S 3576 3579 31794 0 -1 1077944384 29851 0 0 0 996 105 0 0 20 0 17 0 95830394 11081453568 908021 33554432000 4194304 4196468 140721676064368 140004594113296 140004631017173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8826880 140721676067974 140721676068127 140721676068127 140721676070863 0
[pid=3579/tid=3583] ppid=3576 vsize=10821732 memory=3631596 CPUtime=11.06 cores=0,2,4,6
/proc/3579/task/3583/stat : 3583 (java) S 3576 3579 31794 0 -1 1077944384 29901 0 0 0 998 108 0 0 20 0 17 0 95830394 11081453568 908021 33554432000 4194304 4196468 140721676064368 140004236647312 140004631017173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8826880 140721676067974 140721676068127 140721676068127 140721676070863 0
[pid=3579/tid=3584] ppid=3576 vsize=10821732 memory=3631596 CPUtime=11.05 cores=0,2,4,6
/proc/3579/task/3584/stat : 3584 (java) S 3576 3579 31794 0 -1 1077944384 31531 0 0 0 997 108 0 0 20 0 17 0 95830394 11081453568 908021 33554432000 4194304 4196468 140721676064368 140004235594768 140004631017173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8826880 140721676067974 140721676068127 140721676068127 140721676070863 0
[pid=3579/tid=3585] ppid=3576 vsize=10821732 memory=3631596 CPUtime=11.06 cores=0,2,4,6
/proc/3579/task/3585/stat : 3585 (java) S 3576 3579 31794 0 -1 1077944384 31362 0 0 0 1004 102 0 0 20 0 17 0 95830394 11081453568 908021 33554432000 4194304 4196468 140721676064368 140004234542224 140004631017173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8826880 140721676067974 140721676068127 140721676068127 140721676070863 0
[pid=3579/tid=3586] ppid=3576 vsize=10821732 memory=0 CPUtime=1.25 cores=0,2,4,6
/proc/3579/task/3586/stat : 3586 (java) S 3576 3579 31794 0 -1 1077944384 28108 0 0 0 120 5 0 0 20 0 17 0 95830396 11081453568 908021 33554432000 4194304 4196468 140721676064368 140004122683376 140004631018114 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8826880 140721676067974 140721676068127 140721676068127 140721676070863 0
[pid=3579/tid=3587] ppid=3576 vsize=10821732 memory=281302507555456 CPUtime=0 cores=0,2,4,6
/proc/3579/task/3587/stat : 3587 (java) S 3576 3579 31794 0 -1 1077944384 106 0 0 0 0 0 0 0 20 0 17 0 95830396 11081453568 908021 33554432000 4194304 4196468 140721676064368 140004121629664 140004631017173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8826880 140721676067974 140721676068127 140721676068127 140721676070863 0
[pid=3579/tid=3588] ppid=3576 vsize=10821732 memory=281302507604856 CPUtime=0 cores=0,2,4,6
/proc/3579/task/3588/stat : 3588 (java) S 3576 3579 31794 0 -1 1077944384 89 0 0 0 0 0 0 0 20 0 17 0 95830396 11081453568 908021 33554432000 4194304 4196468 140721676064368 140004120577024 140004631017173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8826880 140721676067974 140721676068127 140721676068127 140721676070863 0
[pid=3579/tid=3589] ppid=3576 vsize=10821732 memory=1420 CPUtime=0 cores=0,2,4,6
/proc/3579/task/3589/stat : 3589 (java) S 3576 3579 31794 0 -1 1077944384 255 0 0 0 0 0 0 0 20 0 17 0 95830399 11081453568 908021 33554432000 4194304 4196468 140721676064368 140004119525584 140004631025563 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8826880 140721676067974 140721676068127 140721676068127 140721676070863 0
[pid=3579/tid=3590] ppid=3576 vsize=10821732 memory=11032 CPUtime=2.24 cores=0,2,4,6
/proc/3579/task/3590/stat : 3590 (java) S 3576 3579 31794 0 -1 1077944384 9229 0 0 0 223 1 0 0 20 0 17 0 95830399 11081453568 908021 33554432000 4194304 4196468 140721676064368 140004118473200 140004631018114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8826880 140721676067974 140721676068127 140721676068127 140721676070863 0
[pid=3579/tid=3591] ppid=3576 vsize=10821732 memory=3631596 CPUtime=1.9 cores=0,2,4,6
/proc/3579/task/3591/stat : 3591 (java) S 3576 3579 31794 0 -1 1077944384 8262 0 0 0 189 1 0 0 20 0 17 0 95830399 11081453568 908021 33554432000 4194304 4196468 140721676064368 140004117420656 140004631018114 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8826880 140721676067974 140721676068127 140721676068127 140721676070863 0
[pid=3579/tid=3592] ppid=3576 vsize=10821732 memory=3631596 CPUtime=0.46 cores=0,2,4,6
/proc/3579/task/3592/stat : 3592 (java) S 3576 3579 31794 0 -1 1077944384 7181 0 0 0 45 1 0 0 20 0 17 0 95830399 11081453568 908021 33554432000 4194304 4196468 140721676064368 140004116368112 140004631018114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8826880 140721676067974 140721676068127 140721676068127 140721676070863 0
[pid=3579/tid=3593] ppid=3576 vsize=10821732 memory=3631596 CPUtime=0 cores=0,2,4,6
/proc/3579/task/3593/stat : 3593 (java) S 3576 3579 31794 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 95830399 11081453568 908021 33554432000 4194304 4196468 140721676064368 140004115315808 140004631017173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8826880 140721676067974 140721676068127 140721676068127 140721676070863 0
[pid=3579/tid=3594] ppid=3576 vsize=10821732 memory=4612 CPUtime=1.48 cores=0,2,4,6
/proc/3579/task/3594/stat : 3594 (java) S 3576 3579 31794 0 -1 1077944384 2218 0 0 0 76 72 0 0 20 0 17 0 95830399 11081453568 908021 33554432000 4194304 4196468 140721676064368 140004114262320 140004631018114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8826880 140721676067974 140721676068127 140721676068127 140721676070863 0
Current children cumulated CPU time: 2520.2 s
Current children cumulated vsize: 10821732 KiB
Current children cumulated memory: 3632084 KiB

Child status: 143
Real time (s): 2481.58
CPU time (s): 2520.29
CPU user time (s): 2515.23
CPU system time (s): 5.06433
CPU usage (%): 101.56
Max. virtual memory (cumulated for all children) (KiB): 10821732
Max. memory (cumulated for all children) (KiB): 3684572

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.23
system time used= 5.06433
maximum resident set size= 3684572
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 264611
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2272
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 56853
involuntary context switches= 2535


# summary of solver processes directly reported to runsolver:
#   pid: 3579
#   total CPU time (s): 2520.29
#   total CPU user time (s): 2515.23
#   total CPU system time (s): 5.06433

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.2249 second user time and 23.2976 second system time

The end

Launcher Data 

Begin job on node107 at 2017-08-13 14:16:05
IDJOB=4263054
IDBENCH=130618
IDSOLVER=2651
FILE ID=node107/4263054-1502627423
RUNJOBID= node107-1502619133-1622
PBS_JOBID= 20628298
Free space on /tmp= 61660 MiB

SOLVER NAME= sat4j-CSP 2017-07-05
BENCH NAME= XCSP17/QueenAttacking/QueenAttacking-m1-s1/QueenAttacking-13.xml
COMMAND LINE= java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4263054-1502627423/watcher-4263054-1502627423 -o /tmp/evaluation-result-4263054-1502627423/solver-4263054-1502627423 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1502619133-1622 --watchdog 2580  java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4263054-1502627423.xml

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

MD5SUM BENCH= 83249ccae4b5534eb2335929a7f4c3a6
RANDOM SEED=440767017

node107.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.84
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.84
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.84
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.84
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:        27824684 kB
MemAvailable:   30511372 kB
Buffers:          150312 kB
Cached:          2828392 kB
SwapCached:            0 kB
Active:          1940020 kB
Inactive:        2574780 kB
Active(anon):    1538824 kB
Inactive(anon):    24972 kB
Active(file):     401196 kB
Inactive(file):  2549808 kB
Unevictable:        6328 kB
Mlocked:            6328 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              1496 kB
Writeback:             0 kB
AnonPages:       1542560 kB
Mapped:            55128 kB
Shmem:             25228 kB
Slab:             128668 kB
SReclaimable:     103040 kB
SUnreclaim:        25628 kB
KernelStack:        3632 kB
PageTables:         7848 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    3222804 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1421312 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       91520 kB
DirectMap2M:    33454080 kB

Free space on /tmp at the end= 61652 MiB
End job on node107 at 2017-08-13 14:57:26