Trace number 4263466

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
sat4j-CSP 2017-07-05? (TO) 2520.1899 2494.4099

General information on the benchmark

NameCoveringArray/CoveringArray-elt-s1/
CoveringArray-elt-3-09-2-12.xml
MD5SUM184e4a42ac40b5c8b3b859f3d89928ae
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark228.916
Satisfiable
(Un)Satisfiability was proved
Number of variables1680
Number of constraints768
Number of domains2
Minimum domain size8
Maximum domain size12
Distribution of domain sizes[{"size":8,"count":1008},{"size":12,"count":672}]
Minimum variable degree2
Maximum variable degree9
Distribution of variable degrees[{"degree":2,"count":672},{"degree":9,"count":1008}]
Minimum constraint arity8
Maximum constraint arity84
Distribution of constraint arities[{"arity":8,"count":84},{"arity":13,"count":672},{"arity":84,"count":12}]
Number of extensional constraints12
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":12},{"type":"allDifferent","count":84},{"type":"element","count":672}]
Optimization problemNO
Type of objective

Solver Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4263466-1502638049/watcher-4263466-1502638049 -o /tmp/evaluation-result-4263466-1502638049/solver-4263466-1502638049 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502619645-14325 --watchdog 2580 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4263466-1502638049.xml 

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

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=19866, runsolver pid=19863

[startup+0.100089 s]*
/proc/loadavg: 2.89 2.35 2.70 6/201 19868
/proc/meminfo: memFree=24280388/32770624 swapFree=67108764/67108860
[pid=19866] ppid=19863 vsize=9936560 memory=18264 CPUtime=0 cores=1,3,5,7
/proc/19866/stat : 19866 (java) S 19863 19866 4674 0 -1 1077944320 3356 0 0 0 0 0 0 0 20 0 6 0 111311316 10175037440 4566 18446744073709551615 4194304 4196468 140723538744704 140723538727248 140146617913079 0 0 1 16784584 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 24125440 140723538751888 140723538752041 140723538752041 140723538755535 0
/proc/19866/statm: 2484140 4566 1919 1 0 2473637 0
[pid=19866/tid=19868] ppid=19863 vsize=9936560 memory=-6439968830534014599 CPUtime=0 cores=1,3,5,7
/proc/19866/task/19868/stat : 19868 (java) R 19863 19866 4674 0 -1 4202560 2054 0 0 0 0 0 0 0 20 0 6 0 111311326 10175037440 4566 18446744073709551615 4194304 4196468 140723538744704 140146622149200 140146617935005 0 4 1 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24125440 140723538751888 140723538752041 140723538752041 140723538755535 0
[pid=19866/tid=19869] ppid=19863 vsize=9936560 memory=6735269665564437106 CPUtime=0 cores=1,3,5,7
/proc/19866/task/19869/stat : 19869 (java) S 19863 19866 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 111311326 10175037440 4566 18446744073709551615 4194304 4196468 140723538744704 140146548333456 140146617923285 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24125440 140723538751888 140723538752041 140723538752041 140723538755535 0
[pid=19866/tid=19870] ppid=19863 vsize=9936560 memory=140460739360384 CPUtime=0 cores=1,3,5,7
/proc/19866/task/19870/stat : 19870 (java) S 19863 19866 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 111311326 10175037440 4566 18446744073709551615 4194304 4196468 140723538744704 140146547280656 140146617923285 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24125440 140723538751888 140723538752041 140723538752041 140723538755535 0
[pid=19866/tid=19871] ppid=19863 vsize=9936560 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19866/task/19871/stat : 19871 (java) S 19863 19866 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 111311326 10175037440 4566 18446744073709551615 4194304 4196468 140723538744704 140146546228368 140146617923285 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24125440 140723538751888 140723538752041 140723538752041 140723538755535 0
[pid=19866/tid=19872] ppid=19863 vsize=9936560 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19866/task/19872/stat : 19872 (java) S 19863 19866 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 111311326 10175037440 4566 18446744073709551615 4194304 4196468 140723538744704 140146545175568 140146617923285 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24125440 140723538751888 140723538752041 140723538752041 140723538755535 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9936560 KiB
Current children cumulated memory: 18264 KiB

[startup+0.210004 s]*
/proc/loadavg: 2.89 2.35 2.70 6/214 19881
/proc/meminfo: memFree=24269308/32770624 swapFree=67108764/67108860
[pid=19866] ppid=19863 vsize=10551156 memory=27576 CPUtime=0.09 cores=1,3,5,7
/proc/19866/stat : 19866 (java) S 19863 19866 4674 0 -1 1077944320 4914 0 0 0 8 1 0 0 20 0 15 0 111311316 10804383744 6894 18446744073709551615 4194304 4196468 140723538744704 140723538727248 140146617913079 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 24125440 140723538751888 140723538752041 140723538752041 140723538755535 0
/proc/19866/statm: 2637789 6894 2742 1 0 2627261 0
[pid=19866/tid=19868] ppid=19863 vsize=10551156 memory=8318255677412212789 CPUtime=0.07 cores=1,3,5,7
/proc/19866/task/19868/stat : 19868 (java) R 19863 19866 4674 0 -1 4202560 2864 0 0 0 6 1 0 0 20 0 15 0 111311326 10804383744 6894 18446744073709551615 4194304 4196468 140723538744704 140146622129936 140146617935005 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 24125440 140723538751888 140723538752041 140723538752041 140723538755535 0
[pid=19866/tid=19869] ppid=19863 vsize=10551156 memory=329 CPUtime=0 cores=1,3,5,7
/proc/19866/task/19869/stat : 19869 (java) S 19863 19866 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 111311326 10804383744 6894 18446744073709551615 4194304 4196468 140723538744704 140146548333456 140146617923285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24125440 140723538751888 140723538752041 140723538752041 140723538755535 0
[pid=19866/tid=19870] ppid=19863 vsize=10551156 memory=140460740307974 CPUtime=0 cores=1,3,5,7
/proc/19866/task/19870/stat : 19870 (java) S 19863 19866 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 111311326 10804383744 6894 18446744073709551615 4194304 4196468 140723538744704 140146547280656 140146617923285 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24125440 140723538751888 140723538752041 140723538752041 140723538755535 0
[pid=19866/tid=19871] ppid=19863 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19866/task/19871/stat : 19871 (java) S 19863 19866 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 111311326 10804383744 6894 18446744073709551615 4194304 4196468 140723538744704 140146546228368 140146617923285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24125440 140723538751888 140723538752041 140723538752041 140723538755535 0
[pid=19866/tid=19872] ppid=19863 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19866/task/19872/stat : 19872 (java) S 19863 19866 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 111311326 10804383744 6894 18446744073709551615 4194304 4196468 140723538744704 140146545175568 140146617923285 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24125440 140723538751888 140723538752041 140723538752041 140723538755535 0
[pid=19866/tid=19873] ppid=19863 vsize=10551156 memory=140460739360384 CPUtime=0 cores=1,3,5,7
/proc/19866/task/19873/stat : 19873 (java) S 19863 19866 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 111311328 10804383744 6894 18446744073709551615 4194304 4196468 140723538744704 140146114513008 140146617924226 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24125440 140723538751888 140723538752041 140723538752041 140723538755535 0
[pid=19866/tid=19874] ppid=19863 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19866/task/19874/stat : 19874 (java) S 19863 19866 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 111311328 10804383744 6894 18446744073709551615 4194304 4196468 140723538744704 140146113458976 140146617923285 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24125440 140723538751888 140723538752041 140723538752041 140723538755535 0
[pid=19866/tid=19875] ppid=19863 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19866/task/19875/stat : 19875 (java) S 19863 19866 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 111311328 10804383744 6959 18446744073709551615 4194304 4196468 140723538744704 140146112406640 140146617923285 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24125440 140723538751888 140723538752041 140723538752041 140723538755535 0
[pid=19866/tid=19876] ppid=19863 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19866/task/19876/stat : 19876 (java) S 19863 19866 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 111311331 10804383744 6959 18446744073709551615 4194304 4196468 140723538744704 140146111354960 140146617931675 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24125440 140723538751888 140723538752041 140723538752041 140723538755535 0
[pid=19866/tid=19877] ppid=19863 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19866/task/19877/stat : 19877 (java) S 19863 19866 4674 0 -1 1077944384 425 0 0 0 0 0 0 0 20 0 15 0 111311331 10804383744 6959 18446744073709551615 4194304 4196468 140723538744704 140146110302832 140146617924226 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24125440 140723538751888 140723538752041 140723538752041 140723538755535 0
[pid=19866/tid=19878] ppid=19863 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19866/task/19878/stat : 19878 (java) S 19863 19866 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 111311331 10804383744 6959 18446744073709551615 4194304 4196468 140723538744704 140146109250032 140146617924226 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24125440 140723538751888 140723538752041 140723538752041 140723538755535 0
[pid=19866/tid=19879] ppid=19863 vsize=10551156 memory=140460739360384 CPUtime=0 cores=1,3,5,7
/proc/19866/task/19879/stat : 19879 (java) S 19863 19866 4674 0 -1 1077944384 256 0 0 0 0 0 0 0 20 0 15 0 111311331 10804383744 6959 18446744073709551615 4194304 4196468 140723538744704 140146108197744 140146617924226 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24125440 140723538751888 140723538752041 140723538752041 140723538755535 0
[pid=19866/tid=19880] ppid=19863 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19866/task/19880/stat : 19880 (java) S 19863 19866 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 111311331 10804383744 6959 18446744073709551615 4194304 4196468 140723538744704 140146107145184 140146617923285 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24125440 140723538751888 140723538752041 140723538752041 140723538755535 0
[pid=19866/tid=19881] ppid=19863 vsize=10551156 memory=140460739360384 CPUtime=0 cores=1,3,5,7
/proc/19866/task/19881/stat : 19881 (java) S 19863 19866 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 111311335 10804383744 6959 18446744073709551615 4194304 4196468 140723538744704 140146106091952 140146617924226 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24125440 140723538751888 140723538752041 140723538752041 140723538755535 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10551156 KiB
Current children cumulated memory: 27576 KiB

[startup+0.310467 s]*
/proc/loadavg: 2.89 2.35 2.70 6/214 19881
/proc/meminfo: memFree=24257384/32770624 swapFree=67108764/67108860
[pid=19866] ppid=19863 vsize=10551156 memory=36572 CPUtime=0.24 cores=1,3,5,7
/proc/19866/stat : 19866 (java) S 19863 19866 4674 0 -1 1077944320 7970 0 0 0 22 2 0 0 20 0 15 0 111311316 10804383744 9143 18446744073709551615 4194304 4196468 140723538744704 140723538727248 140146617913079 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 24125440 140723538751888 140723538752041 140723538752041 140723538755535 0
/proc/19866/statm: 2637789 9143 2855 1 0 2627261 0
[pid=19866/tid=19868] ppid=19863 vsize=10551156 memory=-8774313645642428999 CPUtime=0.17 cores=1,3,5,7
/proc/19866/task/19868/stat : 19868 (java) R 19863 19866 4674 0 -1 4202560 5631 0 0 0 15 2 0 0 20 0 15 0 111311326 10804383744 9143 18446744073709551615 4194304 4196468 140723538744704 140146622147440 140146601993566 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 24125440 140723538751888 140723538752041 140723538752041 140723538755535 0
[pid=19866/tid=19869] ppid=19863 vsize=10551156 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/19866/task/19869/stat : 19869 (java) S 19863 19866 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 111311326 10804383744 9143 18446744073709551615 4194304 4196468 140723538744704 140146548333456 140146617923285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24125440 140723538751888 140723538752041 140723538752041 140723538755535 0
[pid=19866/tid=19870] ppid=19863 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19866/task/19870/stat : 19870 (java) S 19863 19866 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 111311326 10804383744 9143 18446744073709551615 4194304 4196468 140723538744704 140146547280656 140146617923285 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24125440 140723538751888 140723538752041 140723538752041 140723538755535 0
[pid=19866/tid=19871] ppid=19863 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19866/task/19871/stat : 19871 (java) S 19863 19866 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 111311326 10804383744 9143 18446744073709551615 4194304 4196468 140723538744704 140146546228368 140146617923285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24125440 140723538751888 140723538752041 140723538752041 140723538755535 0
[pid=19866/tid=19872] ppid=19863 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19866/task/19872/stat : 19872 (java) S 19863 19866 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 111311326 10804383744 9143 18446744073709551615 4194304 4196468 140723538744704 140146545175568 140146617923285 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24125440 140723538751888 140723538752041 140723538752041 140723538755535 0
[pid=19866/tid=19873] ppid=19863 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19866/task/19873/stat : 19873 (java) S 19863 19866 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 111311328 10804383744 9143 18446744073709551615 4194304 4196468 140723538744704 140146114513008 140146617924226 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24125440 140723538751888 140723538752041 140723538752041 140723538755535 0
[pid=19866/tid=19874] ppid=19863 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19866/task/19874/stat : 19874 (java) S 19863 19866 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 111311328 10804383744 9143 18446744073709551615 4194304 4196468 140723538744704 140146113458976 140146617923285 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24125440 140723538751888 140723538752041 140723538752041 140723538755535 0
[pid=19866/tid=19875] ppid=19863 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19866/task/19875/stat : 19875 (java) S 19863 19866 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 111311328 10804383744 9143 18446744073709551615 4194304 4196468 140723538744704 140146112406640 140146617923285 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24125440 140723538751888 140723538752041 140723538752041 140723538755535 0
[pid=19866/tid=19876] ppid=19863 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19866/task/19876/stat : 19876 (java) S 19863 19866 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 111311331 10804383744 9143 18446744073709551615 4194304 4196468 140723538744704 140146111354960 140146617931675 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24125440 140723538751888 140723538752041 140723538752041 140723538755535 0
[pid=19866/tid=19877] ppid=19863 vsize=10551156 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/19866/task/19877/stat : 19877 (java) S 19863 19866 4674 0 -1 1077944384 521 0 0 0 1 0 0 0 20 0 15 0 111311331 10804383744 9143 18446744073709551615 4194304 4196468 140723538744704 140146110302832 140146617924226 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24125440 140723538751888 140723538752041 140723538752041 140723538755535 0
[pid=19866/tid=19878] ppid=19863 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19866/task/19878/stat : 19878 (java) S 19863 19866 4674 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 111311331 10804383744 9143 18446744073709551615 4194304 4196468 140723538744704 140146109250032 140146617924226 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24125440 140723538751888 140723538752041 140723538752041 140723538755535 0
[pid=19866/tid=19879] ppid=19863 vsize=10551156 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/19866/task/19879/stat : 19879 (java) S 19863 19866 4674 0 -1 1077944384 388 0 0 0 4 0 0 0 20 0 15 0 111311331 10804383744 9143 18446744073709551615 4194304 4196468 140723538744704 140146108197744 140146617924226 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24125440 140723538751888 140723538752041 140723538752041 140723538755535 0
[pid=19866/tid=19880] ppid=19863 vsize=10551156 memory=140460739360384 CPUtime=0 cores=1,3,5,7
/proc/19866/task/19880/stat : 19880 (java) S 19863 19866 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 111311331 10804383744 9143 18446744073709551615 4194304 4196468 140723538744704 140146107145184 140146617923285 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24125440 140723538751888 140723538752041 140723538752041 140723538755535 0
[pid=19866/tid=19881] ppid=19863 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19866/task/19881/stat : 19881 (java) S 19863 19866 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 111311335 10804383744 9143 18446744073709551615 4194304 4196468 140723538744704 140146106091952 140146617924226 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24125440 140723538751888 140723538752041 140723538752041 140723538755535 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 10551156 KiB
Current children cumulated memory: 36572 KiB

[startup+0.700774 s]
/proc/loadavg: 2.89 2.35 2.70 7/214 19881
/proc/meminfo: memFree=24245984/32770624 swapFree=67108764/67108860
[pid=19866] ppid=19863 vsize=10551232 memory=190780 CPUtime=1.32 cores=1,3,5,7
/proc/19866/stat : 19866 (java) S 19863 19866 4674 0 -1 1077944320 11744 0 0 0 126 6 0 0 20 0 15 0 111311316 10804461568 47695 18446744073709551615 4194304 4196468 140723538744704 140723538727248 140146617913079 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 24125440 140723538751888 140723538752041 140723538752041 140723538755535 0
/proc/19866/statm: 2637808 47695 3075 1 0 2627261 0
[pid=19866/tid=19868] ppid=19863 vsize=10551232 memory=280921194496040 CPUtime=0.53 cores=1,3,5,7
/proc/19866/task/19868/stat : 19868 (java) R 19863 19866 4674 0 -1 4202560 6358 0 0 0 49 4 0 0 20 0 15 0 111311326 10804461568 47695 18446744073709551615 4194304 4196468 140723538744704 140146622148416 140146617925014 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 24125440 140723538751888 140723538752041 140723538752041 140723538755535 0
[pid=19866/tid=19869] ppid=19863 vsize=10551232 memory=280921194631248 CPUtime=0 cores=1,3,5,7
/proc/19866/task/19869/stat : 19869 (java) S 19863 19866 4674 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 15 0 111311326 10804461568 47695 18446744073709551615 4194304 4196468 140723538744704 140146548333456 140146617923285 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24125440 140723538751888 140723538752041 140723538752041 140723538755535 0
[pid=19866/tid=19870] ppid=19863 vsize=10551232 memory=89668313942515 CPUtime=0 cores=1,3,5,7
/proc/19866/task/19870/stat : 19870 (java) S 19863 19866 4674 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 111311326 10804461568 47695 18446744073709551615 4194304 4196468 140723538744704 140146547280656 140146617923285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24125440 140723538751888 140723538752041 140723538752041 140723538755535 0
[pid=19866/tid=19871] ppid=19863 vsize=10551232 memory=33 CPUtime=0 cores=1,3,5,7
/proc/19866/task/19871/stat : 19871 (java) S 19863 19866 4674 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 111311326 10804461568 47695 18446744073709551615 4194304 4196468 140723538744704 140146546228368 140146617923285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24125440 140723538751888 140723538752041 140723538752041 140723538755535 0
[pid=19866/tid=19872] ppid=19863 vsize=10551232 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/19866/task/19872/stat : 19872 (java) S 19863 19866 4674 0 -1 1077944384 16 0 0 0 1 0 0 0 20 0 15 0 111311326 10804461568 47695 18446744073709551615 4194304 4196468 140723538744704 140146545175568 140146617923285 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24125440 140723538751888 140723538752041 140723538752041 140723538755535 0
[pid=19866/tid=19873] ppid=19863 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19866/task/19873/stat : 19873 (java) S 19863 19866 4674 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 111311328 10804461568 47695 18446744073709551615 4194304 4196468 140723538744704 140146114513008 140146617924226 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24125440 140723538751888 140723538752041 140723538752041 140723538755535 0
[pid=19866/tid=19874] ppid=19863 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19866/task/19874/stat : 19874 (java) S 19863 19866 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 111311328 10804461568 47695 18446744073709551615 4194304 4196468 140723538744704 140146113458976 140146617923285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24125440 140723538751888 140723538752041 140723538752041 140723538755535 0
[pid=19866/tid=19875] ppid=19863 vsize=10551232 memory=280921194917264 CPUtime=0 cores=1,3,5,7
/proc/19866/task/19875/stat : 19875 (java) S 19863 19866 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 111311328 10804461568 47695 18446744073709551615 4194304 4196468 140723538744704 140146112406640 140146617923285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24125440 140723538751888 140723538752041 140723538752041 140723538755535 0
[pid=19866/tid=19876] ppid=19863 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19866/task/19876/stat : 19876 (java) S 19863 19866 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 111311331 10804461568 47695 18446744073709551615 4194304 4196468 140723538744704 140146111354960 140146617931675 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24125440 140723538751888 140723538752041 140723538752041 140723538755535 0
[pid=19866/tid=19877] ppid=19863 vsize=10551232 memory=0 CPUtime=0.23 cores=1,3,5,7
/proc/19866/task/19877/stat : 19877 (java) R 19863 19866 4674 0 -1 4202560 1556 0 0 0 23 0 0 0 20 0 15 0 111311331 10804461568 47695 18446744073709551615 4194304 4196468 140723538744704 140146110289680 140146610202545 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24125440 140723538751888 140723538752041 140723538752041 140723538755535 0
[pid=19866/tid=19878] ppid=19863 vsize=10551232 memory=0 CPUtime=0.21 cores=1,3,5,7
/proc/19866/task/19878/stat : 19878 (java) R 19863 19866 4674 0 -1 4202560 964 0 0 0 21 0 0 0 20 0 15 0 111311331 10804461568 47695 18446744073709551615 4194304 4196468 140723538744704 140146109236352 140146601300432 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24125440 140723538751888 140723538752041 140723538752041 140723538755535 0
[pid=19866/tid=19879] ppid=19863 vsize=10551232 memory=0 CPUtime=0.28 cores=1,3,5,7
/proc/19866/task/19879/stat : 19879 (java) R 19863 19866 4674 0 -1 1077944384 1361 0 0 0 28 0 0 0 20 0 15 0 111311331 10804461568 47695 18446744073709551615 4194304 4196468 140723538744704 140146108197744 140146617924226 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24125440 140723538751888 140723538752041 140723538752041 140723538755535 0
[pid=19866/tid=19880] ppid=19863 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19866/task/19880/stat : 19880 (java) S 19863 19866 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 111311331 10804461568 47695 18446744073709551615 4194304 4196468 140723538744704 140146107145184 140146617923285 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24125440 140723538751888 140723538752041 140723538752041 140723538755535 0
[pid=19866/tid=19881] ppid=19863 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19866/task/19881/stat : 19881 (java) S 19863 19866 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 111311335 10804461568 47695 18446744073709551615 4194304 4196468 140723538744704 140146106091952 140146617924226 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24125440 140723538751888 140723538752041 140723538752041 140723538755535 0
Current children cumulated CPU time: 1.32 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 190780 KiB

[startup+1.50078 s]
/proc/loadavg: 2.89 2.35 2.70 9/214 19881
/proc/meminfo: memFree=24090672/32770624 swapFree=67108764/67108860
[pid=19866] ppid=19863 vsize=10551232 memory=383648 CPUtime=3.5 cores=1,3,5,7
/proc/19866/stat : 19866 (java) S 19863 19866 4674 0 -1 1077944320 15720 0 0 0 333 17 0 0 20 0 15 0 111311316 10804461568 95912 18446744073709551615 4194304 4196468 140723538744704 140723538727248 140146617913079 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 24125440 140723538751888 140723538752041 140723538752041 140723538755535 0
/proc/19866/statm: 2637808 95912 3102 1 0 2627261 0
[pid=19866/tid=19868] ppid=19863 vsize=10551232 memory=0 CPUtime=1.26 cores=1,3,5,7
/proc/19866/task/19868/stat : 19868 (java) R 19863 19866 4674 0 -1 4202560 7101 0 0 0 121 5 0 0 20 0 15 0 111311326 10804461568 95912 18446744073709551615 4194304 4196468 140723538744704 140146622147472 140146600340470 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 24125440 140723538751888 140723538752041 140723538752041 140723538755535 0
[pid=19866/tid=19869] ppid=19863 vsize=10551232 memory=-8774313645642428999 CPUtime=0.06 cores=1,3,5,7
/proc/19866/task/19869/stat : 19869 (java) S 19863 19866 4674 0 -1 1077944384 41 0 0 0 4 2 0 0 20 0 15 0 111311326 10804461568 95912 18446744073709551615 4194304 4196468 140723538744704 140146548333456 140146617923285 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24125440 140723538751888 140723538752041 140723538752041 140723538755535 0
[pid=19866/tid=19870] ppid=19863 vsize=10551232 memory=7898351070516488779 CPUtime=0.06 cores=1,3,5,7
/proc/19866/task/19870/stat : 19870 (java) S 19863 19866 4674 0 -1 1077944384 40 0 0 0 4 2 0 0 20 0 15 0 111311326 10804461568 95912 18446744073709551615 4194304 4196468 140723538744704 140146547280656 140146617923285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24125440 140723538751888 140723538752041 140723538752041 140723538755535 0
[pid=19866/tid=19871] ppid=19863 vsize=10551232 memory=3054156605368933524 CPUtime=0.06 cores=1,3,5,7
/proc/19866/task/19871/stat : 19871 (java) S 19863 19866 4674 0 -1 1077944384 50 0 0 0 4 2 0 0 20 0 15 0 111311326 10804461568 95912 18446744073709551615 4194304 4196468 140723538744704 140146546228368 140146617923285 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24125440 140723538751888 140723538752041 140723538752041 140723538755535 0
[pid=19866/tid=19872] ppid=19863 vsize=10551232 memory=8514726395715218844 CPUtime=0.07 cores=1,3,5,7
/proc/19866/task/19872/stat : 19872 (java) S 19863 19866 4674 0 -1 1077944384 46 0 0 0 5 2 0 0 20 0 15 0 111311326 10804461568 95912 18446744073709551615 4194304 4196468 140723538744704 140146545175568 140146617923285 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24125440 140723538751888 140723538752041 140723538752041 140723538755535 0
[pid=19866/tid=19873] ppid=19863 vsize=10551232 memory=5450916488555034154 CPUtime=0 cores=1,3,5,7
/proc/19866/task/19873/stat : 19873 (java) S 19863 19866 4674 0 -1 1077944384 211 0 0 0 0 0 0 0 20 0 15 0 111311328 10804461568 95912 18446744073709551615 4194304 4196468 140723538744704 140146114513008 140146617924226 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24125440 140723538751888 140723538752041 140723538752041 140723538755535 0
[pid=19866/tid=19874] ppid=19863 vsize=10551232 memory=-8815660332880338293 CPUtime=0 cores=1,3,5,7
/proc/19866/task/19874/stat : 19874 (java) S 19863 19866 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 111311328 10804461568 95912 18446744073709551615 4194304 4196468 140723538744704 140146113459040 140146617923285 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24125440 140723538751888 140723538752041 140723538752041 140723538755535 0
[pid=19866/tid=19875] ppid=19863 vsize=10551232 memory=5450909908396308010 CPUtime=0 cores=1,3,5,7
/proc/19866/task/19875/stat : 19875 (java) S 19863 19866 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 111311328 10804461568 95912 18446744073709551615 4194304 4196468 140723538744704 140146112406656 140146617923285 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24125440 140723538751888 140723538752041 140723538752041 140723538755535 0
[pid=19866/tid=19876] ppid=19863 vsize=10551232 memory=280921194627248 CPUtime=0 cores=1,3,5,7
/proc/19866/task/19876/stat : 19876 (java) S 19863 19866 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 111311331 10804461568 95912 18446744073709551615 4194304 4196468 140723538744704 140146111354960 140146617931675 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24125440 140723538751888 140723538752041 140723538752041 140723538755535 0
[pid=19866/tid=19877] ppid=19863 vsize=10551232 memory=2110811204413620 CPUtime=0.76 cores=1,3,5,7
/proc/19866/task/19877/stat : 19877 (java) S 19863 19866 4674 0 -1 1077944384 2688 0 0 0 76 0 0 0 20 0 15 0 111311331 10804461568 95912 18446744073709551615 4194304 4196468 140723538744704 140146110302832 140146617924226 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24125440 140723538751888 140723538752041 140723538752041 140723538755535 0
[pid=19866/tid=19878] ppid=19863 vsize=10551232 memory=280921194489800 CPUtime=0.74 cores=1,3,5,7
/proc/19866/task/19878/stat : 19878 (java) R 19863 19866 4674 0 -1 4202560 2216 0 0 0 74 0 0 0 20 0 15 0 111311331 10804461568 95912 18446744073709551615 4194304 4196468 140723538744704 140146109250032 140146601299797 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24125440 140723538751888 140723538752041 140723538752041 140723538755535 0
[pid=19866/tid=19879] ppid=19863 vsize=10551232 memory=12868 CPUtime=0.4 cores=1,3,5,7
/proc/19866/task/19879/stat : 19879 (java) S 19863 19866 4674 0 -1 1077944384 1966 0 0 0 40 0 0 0 20 0 15 0 111311331 10804461568 95912 18446744073709551615 4194304 4196468 140723538744704 140146108197744 140146617924226 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24125440 140723538751888 140723538752041 140723538752041 140723538755535 0
[pid=19866/tid=19880] ppid=19863 vsize=10551232 memory=25829 CPUtime=0 cores=1,3,5,7
/proc/19866/task/19880/stat : 19880 (java) S 19863 19866 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 111311331 10804461568 95912 18446744073709551615 4194304 4196468 140723538744704 140146107145184 140146617923285 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24125440 140723538751888 140723538752041 140723538752041 140723538755535 0
[pid=19866/tid=19881] ppid=19863 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19866/task/19881/stat : 19881 (java) S 19863 19866 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 111311335 10804461568 95912 18446744073709551615 4194304 4196468 140723538744704 140146106091952 140146617924226 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24125440 140723538751888 140723538752041 140723538752041 140723538755535 0
Current children cumulated CPU time: 3.5 s
Current children cumulated vsize: 10551232 KiB

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

/proc/19866/task/19870/stat : 19870 (java) S 19863 19866 4674 0 -1 1077944384 5032 0 0 0 632 55 0 0 20 0 16 0 111311326 10872623104 854194 18446744073709551615 4194304 4196468 140723538744704 140146547280656 140146617923285 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24125440 140723538751888 140723538752041 140723538752041 140723538755535 0
[pid=19866/tid=19871] ppid=19863 vsize=10617796 memory=3416776 CPUtime=6.87 cores=1,3,5,7
/proc/19866/task/19871/stat : 19871 (java) S 19863 19866 4674 0 -1 1077944384 4190 0 0 0 633 54 0 0 20 0 16 0 111311326 10872623104 854194 18446744073709551615 4194304 4196468 140723538744704 140146546228368 140146617923285 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24125440 140723538751888 140723538752041 140723538752041 140723538755535 0
[pid=19866/tid=19872] ppid=19863 vsize=10617796 memory=3416776 CPUtime=6.84 cores=1,3,5,7
/proc/19866/task/19872/stat : 19872 (java) S 19863 19866 4674 0 -1 1077944384 5130 0 0 0 628 56 0 0 20 0 16 0 111311326 10872623104 854194 18446744073709551615 4194304 4196468 140723538744704 140146545175568 140146617923285 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24125440 140723538751888 140723538752041 140723538752041 140723538755535 0
[pid=19866/tid=19873] ppid=19863 vsize=10617796 memory=3416776 CPUtime=2.45 cores=1,3,5,7
/proc/19866/task/19873/stat : 19873 (java) S 19863 19866 4674 0 -1 1077944384 8264 0 0 0 242 3 0 0 20 0 16 0 111311328 10872623104 854194 18446744073709551615 4194304 4196468 140723538744704 140146114513008 140146617924226 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24125440 140723538751888 140723538752041 140723538752041 140723538755535 0
[pid=19866/tid=19874] ppid=19863 vsize=10617796 memory=4148 CPUtime=0 cores=1,3,5,7
/proc/19866/task/19874/stat : 19874 (java) S 19863 19866 4674 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 16 0 111311328 10872623104 854194 18446744073709551615 4194304 4196468 140723538744704 140146113459040 140146617923285 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24125440 140723538751888 140723538752041 140723538752041 140723538755535 0
[pid=19866/tid=19875] ppid=19863 vsize=10617796 memory=3416776 CPUtime=0 cores=1,3,5,7
/proc/19866/task/19875/stat : 19875 (java) S 19863 19866 4674 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 16 0 111311328 10872623104 854194 18446744073709551615 4194304 4196468 140723538744704 140146112406656 140146617923285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24125440 140723538751888 140723538752041 140723538752041 140723538755535 0
[pid=19866/tid=19876] ppid=19863 vsize=10617796 memory=3416776 CPUtime=0 cores=1,3,5,7
/proc/19866/task/19876/stat : 19876 (java) S 19863 19866 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 111311331 10872623104 854194 18446744073709551615 4194304 4196468 140723538744704 140146111354960 140146617931675 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24125440 140723538751888 140723538752041 140723538752041 140723538755535 0
[pid=19866/tid=19877] ppid=19863 vsize=10617796 memory=796 CPUtime=1.5 cores=1,3,5,7
/proc/19866/task/19877/stat : 19877 (java) S 19863 19866 4674 0 -1 1077944384 9024 0 0 0 149 1 0 0 20 0 16 0 111311331 10872623104 854194 18446744073709551615 4194304 4196468 140723538744704 140146110302832 140146617924226 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24125440 140723538751888 140723538752041 140723538752041 140723538755535 0
[pid=19866/tid=19878] ppid=19863 vsize=10617796 memory=984 CPUtime=1.75 cores=1,3,5,7
/proc/19866/task/19878/stat : 19878 (java) S 19863 19866 4674 0 -1 1077944384 9135 0 0 0 173 2 0 0 20 0 16 0 111311331 10872623104 854194 18446744073709551615 4194304 4196468 140723538744704 140146109250032 140146617924226 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24125440 140723538751888 140723538752041 140723538752041 140723538755535 0
[pid=19866/tid=19879] ppid=19863 vsize=10617796 memory=3416776 CPUtime=0.52 cores=1,3,5,7
/proc/19866/task/19879/stat : 19879 (java) S 19863 19866 4674 0 -1 1077944384 4674 0 0 0 51 1 0 0 20 0 16 0 111311331 10872623104 854194 18446744073709551615 4194304 4196468 140723538744704 140146108197744 140146617924226 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24125440 140723538751888 140723538752041 140723538752041 140723538755535 0
[pid=19866/tid=19880] ppid=19863 vsize=10617796 memory=4148 CPUtime=0 cores=1,3,5,7
/proc/19866/task/19880/stat : 19880 (java) S 19863 19866 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 111311331 10872623104 854194 18446744073709551615 4194304 4196468 140723538744704 140146107145184 140146617923285 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24125440 140723538751888 140723538752041 140723538752041 140723538755535 0
[pid=19866/tid=19881] ppid=19863 vsize=10617796 memory=3416776 CPUtime=1.54 cores=1,3,5,7
/proc/19866/task/19881/stat : 19881 (java) S 19863 19866 4674 0 -1 1077944384 3931 0 0 0 74 80 0 0 20 0 16 0 111311335 10872623104 854194 18446744073709551615 4194304 4196468 140723538744704 140146106091952 140146617924226 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24125440 140723538751888 140723538752041 140723538752041 140723538755535 0
[pid=19866/tid=19882] ppid=19863 vsize=10617796 memory=32232 CPUtime=0 cores=1,3,5,7
/proc/19866/task/19882/stat : 19882 (java) S 19863 19866 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 111312749 10872623104 854194 18446744073709551615 4194304 4196468 140723538744704 140146105037488 140146617924226 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24125440 140723538751888 140723538752041 140723538752041 140723538755535 0
Current children cumulated CPU time: 2468.19 s
Current children cumulated vsize: 10617796 KiB
Current children cumulated memory: 3416776 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2494.11 s]
/proc/loadavg: 2.10 2.12 2.20 3/216 20271
/proc/meminfo: memFree=26618788/32770624 swapFree=67108764/67108860
[pid=19866] ppid=19863 vsize=10617796 memory=3416776 CPUtime=2520.05 cores=1,3,5,7
/proc/19866/stat : 19866 (java) S 19863 19866 4674 0 -1 1077944320 138236 0 0 0 251686 319 0 0 20 0 16 0 111311316 10872623104 854194 18446744073709551615 4194304 4196468 140723538744704 140723538727248 140146617913079 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 24125440 140723538751888 140723538752041 140723538752041 140723538755535 0
/proc/19866/statm: 2654449 854194 3143 1 0 2643902 0
[pid=19866/tid=19868] ppid=19863 vsize=10617796 memory=3416776 CPUtime=2484.64 cores=1,3,5,7
/proc/19866/task/19868/stat : 19868 (java) R 19863 19866 4674 0 -1 4202560 82462 0 0 0 248442 22 0 0 20 0 16 0 111311326 10872623104 854194 18446744073709551615 4194304 4196468 140723538744704 140146622150088 140146214403165 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 24125440 140723538751888 140723538752041 140723538752041 140723538755535 0
[pid=19866/tid=19869] ppid=19863 vsize=10617796 memory=3416776 CPUtime=6.92 cores=1,3,5,7
/proc/19866/task/19869/stat : 19869 (java) S 19863 19866 4674 0 -1 1077944384 4851 0 0 0 640 52 0 0 20 0 16 0 111311326 10872623104 854194 18446744073709551615 4194304 4196468 140723538744704 140146548333456 140146617923285 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24125440 140723538751888 140723538752041 140723538752041 140723538755535 0
[pid=19866/tid=19870] ppid=19863 vsize=10617796 memory=3416776 CPUtime=6.87 cores=1,3,5,7
/proc/19866/task/19870/stat : 19870 (java) S 19863 19866 4674 0 -1 1077944384 5032 0 0 0 632 55 0 0 20 0 16 0 111311326 10872623104 854194 18446744073709551615 4194304 4196468 140723538744704 140146547280656 140146617923285 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24125440 140723538751888 140723538752041 140723538752041 140723538755535 0
[pid=19866/tid=19871] ppid=19863 vsize=10617796 memory=3416776 CPUtime=6.87 cores=1,3,5,7
/proc/19866/task/19871/stat : 19871 (java) S 19863 19866 4674 0 -1 1077944384 4190 0 0 0 633 54 0 0 20 0 16 0 111311326 10872623104 854194 18446744073709551615 4194304 4196468 140723538744704 140146546228368 140146617923285 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24125440 140723538751888 140723538752041 140723538752041 140723538755535 0
[pid=19866/tid=19872] ppid=19863 vsize=10617796 memory=3416776 CPUtime=6.84 cores=1,3,5,7
/proc/19866/task/19872/stat : 19872 (java) S 19863 19866 4674 0 -1 1077944384 5130 0 0 0 628 56 0 0 20 0 16 0 111311326 10872623104 854194 18446744073709551615 4194304 4196468 140723538744704 140146545175568 140146617923285 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24125440 140723538751888 140723538752041 140723538752041 140723538755535 0
[pid=19866/tid=19873] ppid=19863 vsize=10617796 memory=3416776 CPUtime=2.46 cores=1,3,5,7
/proc/19866/task/19873/stat : 19873 (java) S 19863 19866 4674 0 -1 1077944384 8282 0 0 0 242 4 0 0 20 0 16 0 111311328 10872623104 854194 18446744073709551615 4194304 4196468 140723538744704 140146114513008 140146617924226 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24125440 140723538751888 140723538752041 140723538752041 140723538755535 0
[pid=19866/tid=19874] ppid=19863 vsize=10617796 memory=3416776 CPUtime=0 cores=1,3,5,7
/proc/19866/task/19874/stat : 19874 (java) S 19863 19866 4674 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 16 0 111311328 10872623104 854194 18446744073709551615 4194304 4196468 140723538744704 140146113459040 140146617923285 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24125440 140723538751888 140723538752041 140723538752041 140723538755535 0
[pid=19866/tid=19875] ppid=19863 vsize=10617796 memory=3416776 CPUtime=0 cores=1,3,5,7
/proc/19866/task/19875/stat : 19875 (java) S 19863 19866 4674 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 16 0 111311328 10872623104 854194 18446744073709551615 4194304 4196468 140723538744704 140146112406656 140146617923285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24125440 140723538751888 140723538752041 140723538752041 140723538755535 0
[pid=19866/tid=19876] ppid=19863 vsize=10617796 memory=3416776 CPUtime=0 cores=1,3,5,7
/proc/19866/task/19876/stat : 19876 (java) S 19863 19866 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 111311331 10872623104 854194 18446744073709551615 4194304 4196468 140723538744704 140146111354960 140146617931675 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24125440 140723538751888 140723538752041 140723538752041 140723538755535 0
[pid=19866/tid=19877] ppid=19863 vsize=10617796 memory=3416776 CPUtime=1.5 cores=1,3,5,7
/proc/19866/task/19877/stat : 19877 (java) S 19863 19866 4674 0 -1 1077944384 9030 0 0 0 149 1 0 0 20 0 16 0 111311331 10872623104 854194 18446744073709551615 4194304 4196468 140723538744704 140146110302832 140146617924226 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24125440 140723538751888 140723538752041 140723538752041 140723538755535 0
[pid=19866/tid=19878] ppid=19863 vsize=10617796 memory=0 CPUtime=1.75 cores=1,3,5,7
/proc/19866/task/19878/stat : 19878 (java) S 19863 19866 4674 0 -1 1077944384 9155 0 0 0 173 2 0 0 20 0 16 0 111311331 10872623104 854194 18446744073709551615 4194304 4196468 140723538744704 140146109250032 140146617924226 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24125440 140723538751888 140723538752041 140723538752041 140723538755535 0
[pid=19866/tid=19879] ppid=19863 vsize=10617796 memory=2164 CPUtime=0.53 cores=1,3,5,7
/proc/19866/task/19879/stat : 19879 (java) S 19863 19866 4674 0 -1 1077944384 4688 0 0 0 51 2 0 0 20 0 16 0 111311331 10872623104 854194 18446744073709551615 4194304 4196468 140723538744704 140146108197744 140146617924226 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24125440 140723538751888 140723538752041 140723538752041 140723538755535 0
[pid=19866/tid=19880] ppid=19863 vsize=10617796 memory=844 CPUtime=0 cores=1,3,5,7
/proc/19866/task/19880/stat : 19880 (java) S 19863 19866 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 111311331 10872623104 854194 18446744073709551615 4194304 4196468 140723538744704 140146107145184 140146617923285 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24125440 140723538751888 140723538752041 140723538752041 140723538755535 0
[pid=19866/tid=19881] ppid=19863 vsize=10617796 memory=-8774313645642428999 CPUtime=1.57 cores=1,3,5,7
/proc/19866/task/19881/stat : 19881 (java) S 19863 19866 4674 0 -1 1077944384 4009 0 0 0 75 82 0 0 20 0 16 0 111311335 10872623104 854194 18446744073709551615 4194304 4196468 140723538744704 140146106091952 140146617924226 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24125440 140723538751888 140723538752041 140723538752041 140723538755535 0
[pid=19866/tid=19882] ppid=19863 vsize=10617796 memory=4572 CPUtime=0 cores=1,3,5,7
/proc/19866/task/19882/stat : 19882 (java) S 19863 19866 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 111312749 10872623104 854194 18446744073709551615 4194304 4196468 140723538744704 140146105037488 140146617924226 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24125440 140723538751888 140723538752041 140723538752041 140723538755535 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 10617796 KiB
Current children cumulated memory: 3416776 KiB

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

[startup+2494.41 s]
# the end of solver process 19866 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2516.98 s, system=3.21158 s

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

[startup+2494.21 s]
/proc/loadavg: 2.10 2.12 2.20 3/216 20271
/proc/meminfo: memFree=26618788/32770624 swapFree=67108764/67108860
[pid=19866] ppid=19863 vsize=10817488 memory=3417096 CPUtime=2520.06 cores=1,3,5,7
/proc/19866/stat : 19866 (java) S 19863 19866 4674 0 -1 1077944320 139200 0 0 0 251687 319 0 0 20 0 17 0 111311316 11077107712 854274 18446744073709551615 4194304 4196468 140723538744704 140723538727248 140146617913079 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 24125440 140723538751888 140723538752041 140723538752041 140723538755535 0
/proc/19866/statm: 2704372 854274 3146 1 0 2693825 0
[pid=19866/tid=19868] ppid=19863 vsize=10817488 memory=3284 CPUtime=2484.65 cores=1,3,5,7
/proc/19866/task/19868/stat : 19868 (java) S 19863 19866 4674 0 -1 1077944384 82541 0 0 0 248443 22 0 0 20 0 17 0 111311326 11077107712 854274 18446744073709551615 4194304 4196468 140723538744704 140146622155952 140146617923285 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 24125440 140723538751888 140723538752041 140723538752041 140723538755535 0
[pid=19866/tid=19869] ppid=19863 vsize=10817488 memory=3416776 CPUtime=6.92 cores=1,3,5,7
/proc/19866/task/19869/stat : 19869 (java) S 19863 19866 4674 0 -1 1077944384 4851 0 0 0 640 52 0 0 20 0 17 0 111311326 11077107712 854274 18446744073709551615 4194304 4196468 140723538744704 140146548333456 140146617923285 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24125440 140723538751888 140723538752041 140723538752041 140723538755535 0
[pid=19866/tid=19870] ppid=19863 vsize=10817488 memory=1156 CPUtime=6.87 cores=1,3,5,7
/proc/19866/task/19870/stat : 19870 (java) S 19863 19866 4674 0 -1 1077944384 5032 0 0 0 632 55 0 0 20 0 17 0 111311326 11077107712 854274 18446744073709551615 4194304 4196468 140723538744704 140146547280656 140146617923285 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24125440 140723538751888 140723538752041 140723538752041 140723538755535 0
[pid=19866/tid=19871] ppid=19863 vsize=10817488 memory=302022848351043610 CPUtime=6.87 cores=1,3,5,7
/proc/19866/task/19871/stat : 19871 (java) S 19863 19866 4674 0 -1 1077944384 4190 0 0 0 633 54 0 0 20 0 17 0 111311326 11077107712 854274 18446744073709551615 4194304 4196468 140723538744704 140146546228368 140146617923285 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24125440 140723538751888 140723538752041 140723538752041 140723538755535 0
[pid=19866/tid=19872] ppid=19863 vsize=10817488 memory=288230617509003574 CPUtime=6.84 cores=1,3,5,7
/proc/19866/task/19872/stat : 19872 (java) S 19863 19866 4674 0 -1 1077944384 5130 0 0 0 628 56 0 0 20 0 17 0 111311326 11077107712 854274 18446744073709551615 4194304 4196468 140723538744704 140146545175568 140146617923285 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24125440 140723538751888 140723538752041 140723538752041 140723538755535 0
[pid=19866/tid=19873] ppid=19863 vsize=10817488 memory=13564886244395551 CPUtime=2.46 cores=1,3,5,7
/proc/19866/task/19873/stat : 19873 (java) S 19863 19866 4674 0 -1 1077944384 8317 0 0 0 242 4 0 0 20 0 17 0 111311328 11077107712 854274 18446744073709551615 4194304 4196468 140723538744704 140146114513008 140146617924226 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24125440 140723538751888 140723538752041 140723538752041 140723538755535 0
[pid=19866/tid=19874] ppid=19863 vsize=10817488 memory=844 CPUtime=0 cores=1,3,5,7
/proc/19866/task/19874/stat : 19874 (java) S 19863 19866 4674 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 17 0 111311328 11077107712 854274 18446744073709551615 4194304 4196468 140723538744704 140146113459040 140146617923285 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24125440 140723538751888 140723538752041 140723538752041 140723538755535 0
[pid=19866/tid=19875] ppid=19863 vsize=10817488 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
/proc/19866/task/19875/stat : 19875 (java) S 19863 19866 4674 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 17 0 111311328 11077107712 854274 18446744073709551615 4194304 4196468 140723538744704 140146112406656 140146617923285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24125440 140723538751888 140723538752041 140723538752041 140723538755535 0
[pid=19866/tid=19876] ppid=19863 vsize=10817488 memory=3908 CPUtime=0 cores=1,3,5,7
/proc/19866/task/19876/stat : 19876 (java) S 19863 19866 4674 0 -1 1077944384 201 0 0 0 0 0 0 0 20 0 17 0 111311331 11077107712 854274 18446744073709551615 4194304 4196468 140723538744704 140146111354960 140146617931675 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24125440 140723538751888 140723538752041 140723538752041 140723538755535 0
[pid=19866/tid=19877] ppid=19863 vsize=10817488 memory=2904 CPUtime=1.5 cores=1,3,5,7
/proc/19866/task/19877/stat : 19877 (java) S 19863 19866 4674 0 -1 1077944384 9030 0 0 0 149 1 0 0 20 0 17 0 111311331 11077107712 854274 18446744073709551615 4194304 4196468 140723538744704 140146110302832 140146617924226 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24125440 140723538751888 140723538752041 140723538752041 140723538755535 0
[pid=19866/tid=19878] ppid=19863 vsize=10817488 memory=2756 CPUtime=1.75 cores=1,3,5,7
/proc/19866/task/19878/stat : 19878 (java) S 19863 19866 4674 0 -1 1077944384 9155 0 0 0 173 2 0 0 20 0 17 0 111311331 11077107712 854274 18446744073709551615 4194304 4196468 140723538744704 140146109250032 140146617924226 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24125440 140723538751888 140723538752041 140723538752041 140723538755535 0
[pid=19866/tid=19879] ppid=19863 vsize=10817488 memory=3416776 CPUtime=0.53 cores=1,3,5,7
/proc/19866/task/19879/stat : 19879 (java) S 19863 19866 4674 0 -1 1077944384 5001 0 0 0 51 2 0 0 20 0 17 0 111311331 11077107712 854274 18446744073709551615 4194304 4196468 140723538744704 140146108197744 140146617924226 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24125440 140723538751888 140723538752041 140723538752041 140723538755535 0
[pid=19866/tid=19880] ppid=19863 vsize=10817488 memory=288230617509003574 CPUtime=0 cores=1,3,5,7
/proc/19866/task/19880/stat : 19880 (java) S 19863 19866 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 111311331 11077107712 854274 18446744073709551615 4194304 4196468 140723538744704 140146107145184 140146617923285 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24125440 140723538751888 140723538752041 140723538752041 140723538755535 0
[pid=19866/tid=19881] ppid=19863 vsize=10817488 memory=13564886244395551 CPUtime=1.57 cores=1,3,5,7
/proc/19866/task/19881/stat : 19881 (java) S 19863 19866 4674 0 -1 1077944384 4009 0 0 0 75 82 0 0 20 0 17 0 111311335 11077107712 854274 18446744073709551615 4194304 4196468 140723538744704 140146106091952 140146617924226 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24125440 140723538751888 140723538752041 140723538752041 140723538755535 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 10817488 KiB
Current children cumulated memory: 3417096 KiB

[startup+2494.3 s]
/proc/loadavg: 2.10 2.12 2.20 3/216 20271
/proc/meminfo: memFree=26618788/32770624 swapFree=67108764/67108860
[pid=19866] ppid=19863 vsize=10817488 memory=3417096 CPUtime=2520.06 cores=1,3,5,7
/proc/19866/stat : 19866 (java) S 19863 19866 4674 0 -1 1077944320 139200 0 0 0 251687 319 0 0 20 0 17 0 111311316 11077107712 854274 18446744073709551615 4194304 4196468 140723538744704 140723538727248 140146617913079 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 24125440 140723538751888 140723538752041 140723538752041 140723538755535 0
/proc/19866/statm: 2704372 854274 3146 1 0 2693825 0
[pid=19866/tid=19868] ppid=19863 vsize=10817488 memory=3416776 CPUtime=2484.65 cores=1,3,5,7
/proc/19866/task/19868/stat : 19868 (java) S 19863 19866 4674 0 -1 1077944384 82541 0 0 0 248443 22 0 0 20 0 17 0 111311326 11077107712 854274 18446744073709551615 4194304 4196468 140723538744704 140146622155952 140146617923285 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 24125440 140723538751888 140723538752041 140723538752041 140723538755535 0
[pid=19866/tid=19869] ppid=19863 vsize=10817488 memory=3416776 CPUtime=6.92 cores=1,3,5,7
/proc/19866/task/19869/stat : 19869 (java) S 19863 19866 4674 0 -1 1077944384 4851 0 0 0 640 52 0 0 20 0 17 0 111311326 11077107712 854274 18446744073709551615 4194304 4196468 140723538744704 140146548333456 140146617923285 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24125440 140723538751888 140723538752041 140723538752041 140723538755535 0
[pid=19866/tid=19870] ppid=19863 vsize=10817488 memory=3416776 CPUtime=6.87 cores=1,3,5,7
/proc/19866/task/19870/stat : 19870 (java) S 19863 19866 4674 0 -1 1077944384 5032 0 0 0 632 55 0 0 20 0 17 0 111311326 11077107712 854274 18446744073709551615 4194304 4196468 140723538744704 140146547280656 140146617923285 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24125440 140723538751888 140723538752041 140723538752041 140723538755535 0
[pid=19866/tid=19871] ppid=19863 vsize=10817488 memory=3416776 CPUtime=6.87 cores=1,3,5,7
/proc/19866/task/19871/stat : 19871 (java) S 19863 19866 4674 0 -1 1077944384 4190 0 0 0 633 54 0 0 20 0 17 0 111311326 11077107712 854274 18446744073709551615 4194304 4196468 140723538744704 140146546228368 140146617923285 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24125440 140723538751888 140723538752041 140723538752041 140723538755535 0
[pid=19866/tid=19872] ppid=19863 vsize=10817488 memory=3416776 CPUtime=6.84 cores=1,3,5,7
/proc/19866/task/19872/stat : 19872 (java) S 19863 19866 4674 0 -1 1077944384 5130 0 0 0 628 56 0 0 20 0 17 0 111311326 11077107712 854274 18446744073709551615 4194304 4196468 140723538744704 140146545175568 140146617923285 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24125440 140723538751888 140723538752041 140723538752041 140723538755535 0
[pid=19866/tid=19873] ppid=19863 vsize=10817488 memory=3416776 CPUtime=2.46 cores=1,3,5,7
/proc/19866/task/19873/stat : 19873 (java) S 19863 19866 4674 0 -1 1077944384 8317 0 0 0 242 4 0 0 20 0 17 0 111311328 11077107712 854274 18446744073709551615 4194304 4196468 140723538744704 140146114513008 140146617924226 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24125440 140723538751888 140723538752041 140723538752041 140723538755535 0
[pid=19866/tid=19874] ppid=19863 vsize=10817488 memory=3416776 CPUtime=0 cores=1,3,5,7
/proc/19866/task/19874/stat : 19874 (java) S 19863 19866 4674 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 17 0 111311328 11077107712 854274 18446744073709551615 4194304 4196468 140723538744704 140146113459040 140146617923285 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24125440 140723538751888 140723538752041 140723538752041 140723538755535 0
[pid=19866/tid=19875] ppid=19863 vsize=10817488 memory=3416776 CPUtime=0 cores=1,3,5,7
/proc/19866/task/19875/stat : 19875 (java) S 19863 19866 4674 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 17 0 111311328 11077107712 854274 18446744073709551615 4194304 4196468 140723538744704 140146112406656 140146617923285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24125440 140723538751888 140723538752041 140723538752041 140723538755535 0
[pid=19866/tid=19876] ppid=19863 vsize=10817488 memory=3416776 CPUtime=0 cores=1,3,5,7
/proc/19866/task/19876/stat : 19876 (java) S 19863 19866 4674 0 -1 1077944384 201 0 0 0 0 0 0 0 20 0 17 0 111311331 11077107712 854274 18446744073709551615 4194304 4196468 140723538744704 140146111354960 140146617931675 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24125440 140723538751888 140723538752041 140723538752041 140723538755535 0
[pid=19866/tid=19877] ppid=19863 vsize=10817488 memory=0 CPUtime=1.5 cores=1,3,5,7
/proc/19866/task/19877/stat : 19877 (java) S 19863 19866 4674 0 -1 1077944384 9030 0 0 0 149 1 0 0 20 0 17 0 111311331 11077107712 854274 18446744073709551615 4194304 4196468 140723538744704 140146110302832 140146617924226 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24125440 140723538751888 140723538752041 140723538752041 140723538755535 0
[pid=19866/tid=19878] ppid=19863 vsize=10817488 memory=3416776 CPUtime=1.75 cores=1,3,5,7
/proc/19866/task/19878/stat : 19878 (java) S 19863 19866 4674 0 -1 1077944384 9155 0 0 0 173 2 0 0 20 0 17 0 111311331 11077107712 854274 18446744073709551615 4194304 4196468 140723538744704 140146109250032 140146617924226 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24125440 140723538751888 140723538752041 140723538752041 140723538755535 0
[pid=19866/tid=19879] ppid=19863 vsize=10817488 memory=4148 CPUtime=0.53 cores=1,3,5,7
/proc/19866/task/19879/stat : 19879 (java) S 19863 19866 4674 0 -1 1077944384 5001 0 0 0 51 2 0 0 20 0 17 0 111311331 11077107712 854274 18446744073709551615 4194304 4196468 140723538744704 140146108197744 140146617924226 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24125440 140723538751888 140723538752041 140723538752041 140723538755535 0
[pid=19866/tid=19880] ppid=19863 vsize=10817488 memory=-1161699032756216414 CPUtime=0 cores=1,3,5,7
/proc/19866/task/19880/stat : 19880 (java) S 19863 19866 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 111311331 11077107712 854274 18446744073709551615 4194304 4196468 140723538744704 140146107145184 140146617923285 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24125440 140723538751888 140723538752041 140723538752041 140723538755535 0
[pid=19866/tid=19881] ppid=19863 vsize=10817488 memory=-7017552019167784231 CPUtime=1.57 cores=1,3,5,7
/proc/19866/task/19881/stat : 19881 (java) S 19863 19866 4674 0 -1 1077944384 4009 0 0 0 75 82 0 0 20 0 17 0 111311335 11077107712 854274 18446744073709551615 4194304 4196468 140723538744704 140146106091952 140146617924226 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24125440 140723538751888 140723538752041 140723538752041 140723538755535 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 10817488 KiB
Current children cumulated memory: 3417096 KiB

Child status: 143
Real time (s): 2494.41
CPU time (s): 2520.19
CPU user time (s): 2516.98
CPU system time (s): 3.21158
CPU usage (%): 101.034
Max. virtual memory (cumulated for all children) (KiB): 10817488
Max. memory (cumulated for all children) (KiB): 3417096

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.98
system time used= 3.21157
maximum resident set size= 3417640
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 141301
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1608
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 57233
involuntary context switches= 1441


# summary of solver processes directly reported to runsolver:
#   pid: 19866
#   total CPU time (s): 2520.19
#   total CPU user time (s): 2516.98
#   total CPU system time (s): 3.21158

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.5816 second user time and 23.1138 second system time

The end

Launcher Data 

Begin job on node134 at 2017-08-13 17:13:34
IDJOB=4263466
IDBENCH=139771
IDSOLVER=2651
FILE ID=node134/4263466-1502638049
RUNJOBID= node134-1502619645-14325
PBS_JOBID= 
Free space on /tmp= 62028 MiB

SOLVER NAME= sat4j-CSP 2017-07-05
BENCH NAME= XCSP17/CoveringArray/CoveringArray-elt-s1/CoveringArray-elt-3-09-2-12.xml
COMMAND LINE= java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4263466-1502638049/watcher-4263466-1502638049 -o /tmp/evaluation-result-4263466-1502638049/solver-4263466-1502638049 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502619645-14325 --watchdog 2580  java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4263466-1502638049.xml

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

MD5SUM BENCH= 184e4a42ac40b5c8b3b859f3d89928ae
RANDOM SEED=683553351

node134.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.43
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.43
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.43
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.43
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:        24300128 kB
MemAvailable:   24521448 kB
Buffers:          227932 kB
Cached:           287308 kB
SwapCached:            4 kB
Active:          7793924 kB
Inactive:         213712 kB
Active(anon):    7439416 kB
Inactive(anon):    94432 kB
Active(file):     354508 kB
Inactive(file):   119280 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108764 kB
Dirty:              1664 kB
Writeback:             0 kB
AnonPages:       7346776 kB
Mapped:            67840 kB
Shmem:             41564 kB
Slab:             153440 kB
SReclaimable:     126736 kB
SUnreclaim:        26704 kB
KernelStack:        3520 kB
PageTables:        19412 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    8521484 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   7079936 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      101760 kB
DirectMap2M:    33443840 kB

Free space on /tmp at the end= 62028 MiB
End job on node134 at 2017-08-13 17:55:09