Trace number 4263167

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.1599 2462.1499

General information on the benchmark

NameStillLife/StillLife-wst-s1/
StillLife-wastage-14.xml
MD5SUM24e7c51735ec9671261d78753301e43f
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark104
Best CPU time to get the best result obtained on this benchmark2400.03
Satisfiable
(Un)Satisfiability was proved
Number of variables529
Number of constraints344
Number of domains4
Minimum domain size2
Maximum domain size513
Distribution of domain sizes[{"size":2,"count":256},{"size":3,"count":256},{"size":197,"count":1},{"size":513,"count":16}]
Minimum variable degree1
Maximum variable degree17
Distribution of variable degrees[{"degree":1,"count":4},{"degree":2,"count":253},{"degree":3,"count":19},{"degree":4,"count":56},{"degree":8,"count":52},{"degree":9,"count":144},{"degree":17,"count":1}]
Minimum constraint arity2
Maximum constraint arity18
Distribution of constraint arities[{"arity":2,"count":72},{"arity":3,"count":56},{"arity":10,"count":196},{"arity":16,"count":4},{"arity":17,"count":1},{"arity":18,"count":15}]
Number of extensional constraints252
Number of intensional constraints71
Distribution of constraint types[{"type":"extension","count":252},{"type":"intension","count":71},{"type":"sum","count":17},{"type":"instantiation","count":4}]
Optimization problemYES
Type of objectivemax VAR

Solver Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4263167-1502602626/watcher-4263167-1502602626 -o /tmp/evaluation-result-4263167-1502602626/solver-4263167-1502602626 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node128-1502582933-8032 --watchdog 2580 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4263167-1502602626.xml 

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

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

solver pid=14676, runsolver pid=14673

[startup+0.1002 s]*
/proc/loadavg: 1.93 1.97 2.03 3/206 14685
/proc/meminfo: memFree=30950480/32770624 swapFree=67108860/67108860
[pid=14676] ppid=14673 vsize=10151672 memory=17796 CPUtime=0.03 cores=0,2,4,6
/proc/14676/stat : 14676 (java) S 14673 14676 7968 0 -1 1077944320 3805 0 0 0 3 0 0 0 20 0 9 0 14145265 10395312128 4449 18446744073709551615 4194304 4196468 140723785769440 140723785751984 139785041583863 0 0 1 16784584 18446744073709551615 0 0 17 0 0 0 6 0 0 6293624 6294260 20598784 140723785773457 140723785773610 140723785773610 140723785777103 0
/proc/14676/statm: 2537918 4449 2113 1 0 2527415 0
[pid=14676/tid=14678] ppid=14673 vsize=10151672 memory=-6439968830534014599 CPUtime=0.03 cores=0,2,4,6
/proc/14676/task/14678/stat : 14678 (java) R 14673 14676 7968 0 -1 4202560 2445 0 0 0 3 0 0 0 20 0 9 0 14145272 10395312128 4449 18446744073709551615 4194304 4196468 140723785769440 139785045819592 139785041605789 0 4 1 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20598784 140723785773457 140723785773610 140723785773610 140723785777103 0
[pid=14676/tid=14679] ppid=14673 vsize=10151672 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14676/task/14679/stat : 14679 (java) S 14673 14676 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 14145273 10395312128 4449 18446744073709551615 4194304 4196468 140723785769440 139785013426832 139785041594069 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20598784 140723785773457 140723785773610 140723785773610 140723785777103 0
[pid=14676/tid=14680] ppid=14673 vsize=10151672 memory=139923783845504 CPUtime=0 cores=0,2,4,6
/proc/14676/task/14680/stat : 14680 (java) S 14673 14676 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 14145273 10395312128 4449 18446744073709551615 4194304 4196468 140723785769440 139784652053008 139785041594069 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20598784 140723785773457 140723785773610 140723785773610 140723785777103 0
[pid=14676/tid=14681] ppid=14673 vsize=10151672 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14676/task/14681/stat : 14681 (java) S 14673 14676 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 14145273 10395312128 4449 18446744073709551615 4194304 4196468 140723785769440 139784651000208 139785041594069 0 4 1 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20598784 140723785773457 140723785773610 140723785773610 140723785777103 0
[pid=14676/tid=14682] ppid=14673 vsize=10151672 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14676/task/14682/stat : 14682 (java) S 14673 14676 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 14145273 10395312128 4449 18446744073709551615 4194304 4196468 140723785769440 139784649947408 139785041594069 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20598784 140723785773457 140723785773610 140723785773610 140723785777103 0
[pid=14676/tid=14683] ppid=14673 vsize=10151672 memory=139923783845504 CPUtime=0 cores=0,2,4,6
/proc/14676/task/14683/stat : 14683 (java) S 14673 14676 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 14145274 10395312128 4449 18446744073709551615 4194304 4196468 140723785769440 139784082140016 139785041595010 0 0 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20598784 140723785773457 140723785773610 140723785773610 140723785777103 0
[pid=14676/tid=14684] ppid=14673 vsize=10151672 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14676/task/14684/stat : 14684 (java) S 14673 14676 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 14145275 10395312128 4449 18446744073709551615 4194304 4196468 140723785769440 139784081085984 139785041594069 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20598784 140723785773457 140723785773610 140723785773610 140723785777103 0
[pid=14676/tid=14685] ppid=14673 vsize=10151672 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14676/task/14685/stat : 14685 (java) S 14673 14676 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 14145275 10395312128 4449 18446744073709551615 4194304 4196468 140723785769440 139784080033200 139785041594069 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20598784 140723785773457 140723785773610 140723785773610 140723785777103 0
Current children cumulated CPU time: 0.03 s
Current children cumulated vsize: 10151672 KiB
Current children cumulated memory: 17796 KiB

[startup+0.209828 s]*
/proc/loadavg: 1.93 1.97 2.03 3/212 14691
/proc/meminfo: memFree=30943108/32770624 swapFree=67108860/67108860
[pid=14676] ppid=14673 vsize=10551156 memory=27992 CPUtime=0.1 cores=0,2,4,6
/proc/14676/stat : 14676 (java) S 14673 14676 7968 0 -1 1077944320 4934 0 0 0 9 1 0 0 20 0 15 0 14145265 10804383744 6998 18446744073709551615 4194304 4196468 140723785769440 140723785751984 139785041583863 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 6 0 0 6293624 6294260 20598784 140723785773457 140723785773610 140723785773610 140723785777103 0
/proc/14676/statm: 2637789 6998 2797 1 0 2627261 0
[pid=14676/tid=14678] ppid=14673 vsize=10551156 memory=8318255677412212789 CPUtime=0.07 cores=0,2,4,6
/proc/14676/task/14678/stat : 14678 (java) R 14673 14676 7968 0 -1 4202560 2854 0 0 0 7 0 0 0 20 0 15 0 14145272 10804383744 6998 18446744073709551615 4194304 4196468 140723785769440 139785045822800 139785019847335 0 4 1 16800974 0 0 0 -1 2 0 0 5 0 0 6293624 6294260 20598784 140723785773457 140723785773610 140723785773610 140723785777103 0
[pid=14676/tid=14679] ppid=14673 vsize=10551156 memory=317 CPUtime=0 cores=0,2,4,6
/proc/14676/task/14679/stat : 14679 (java) S 14673 14676 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14145273 10804383744 6998 18446744073709551615 4194304 4196468 140723785769440 139785013426832 139785041594069 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20598784 140723785773457 140723785773610 140723785773610 140723785777103 0
[pid=14676/tid=14680] ppid=14673 vsize=10551156 memory=139923783854103 CPUtime=0 cores=0,2,4,6
/proc/14676/task/14680/stat : 14680 (java) S 14673 14676 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14145273 10804383744 6998 18446744073709551615 4194304 4196468 140723785769440 139784652053008 139785041594069 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20598784 140723785773457 140723785773610 140723785773610 140723785777103 0
[pid=14676/tid=14681] ppid=14673 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14676/task/14681/stat : 14681 (java) S 14673 14676 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14145273 10804383744 6998 18446744073709551615 4194304 4196468 140723785769440 139784651000208 139785041594069 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20598784 140723785773457 140723785773610 140723785773610 140723785777103 0
[pid=14676/tid=14682] ppid=14673 vsize=10551156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14676/task/14682/stat : 14682 (java) S 14673 14676 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 14145273 10804383744 6998 18446744073709551615 4194304 4196468 140723785769440 139784649947408 139785041594069 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20598784 140723785773457 140723785773610 140723785773610 140723785777103 0
[pid=14676/tid=14683] ppid=14673 vsize=10551156 memory=139923783845504 CPUtime=0 cores=0,2,4,6
/proc/14676/task/14683/stat : 14683 (java) S 14673 14676 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 14145274 10804383744 6998 18446744073709551615 4194304 4196468 140723785769440 139784082140016 139785041595010 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20598784 140723785773457 140723785773610 140723785773610 140723785777103 0
[pid=14676/tid=14684] ppid=14673 vsize=10551156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14676/task/14684/stat : 14684 (java) S 14673 14676 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 14145275 10804383744 6998 18446744073709551615 4194304 4196468 140723785769440 139784081085984 139785041594069 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20598784 140723785773457 140723785773610 140723785773610 140723785777103 0
[pid=14676/tid=14685] ppid=14673 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14676/task/14685/stat : 14685 (java) S 14673 14676 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 14145275 10804383744 6998 18446744073709551615 4194304 4196468 140723785769440 139784080033136 139785041594069 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20598784 140723785773457 140723785773610 140723785773610 140723785777103 0
[pid=14676/tid=14686] ppid=14673 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14676/task/14686/stat : 14686 (java) S 14673 14676 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14145277 10804383744 6998 18446744073709551615 4194304 4196468 140723785769440 139784078981456 139785041602459 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20598784 140723785773457 140723785773610 140723785773610 140723785777103 0
[pid=14676/tid=14687] ppid=14673 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14676/task/14687/stat : 14687 (java) S 14673 14676 7968 0 -1 1077944384 420 0 0 0 0 0 0 0 20 0 15 0 14145277 10804383744 6998 18446744073709551615 4194304 4196468 140723785769440 139784077928816 139785041595010 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20598784 140723785773457 140723785773610 140723785773610 140723785777103 0
[pid=14676/tid=14688] ppid=14673 vsize=10551156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14676/task/14688/stat : 14688 (java) S 14673 14676 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14145277 10804383744 6998 18446744073709551615 4194304 4196468 140723785769440 139784076876016 139785041595010 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20598784 140723785773457 140723785773610 140723785773610 140723785777103 0
[pid=14676/tid=14689] ppid=14673 vsize=10551156 memory=139923783845504 CPUtime=0 cores=0,2,4,6
/proc/14676/task/14689/stat : 14689 (java) R 14673 14676 7968 0 -1 4202560 290 0 0 0 0 0 0 0 20 0 15 0 14145277 10804383744 6998 18446744073709551615 4194304 4196468 140723785769440 139784075823216 139785041605210 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20598784 140723785773457 140723785773610 140723785773610 140723785777103 0
[pid=14676/tid=14690] ppid=14673 vsize=10551156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14676/task/14690/stat : 14690 (java) S 14673 14676 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14145277 10804383744 6998 18446744073709551615 4194304 4196468 140723785769440 139784074770656 139785041594069 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20598784 140723785773457 140723785773610 140723785773610 140723785777103 0
[pid=14676/tid=14691] ppid=14673 vsize=10551156 memory=139923783845504 CPUtime=0 cores=0,2,4,6
/proc/14676/task/14691/stat : 14691 (java) S 14673 14676 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14145284 10804383744 6998 18446744073709551615 4194304 4196468 140723785769440 139783602957488 139785041595010 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20598784 140723785773457 140723785773610 140723785773610 140723785777103 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 10551156 KiB
Current children cumulated memory: 27992 KiB

[startup+0.310312 s]*
/proc/loadavg: 1.93 1.97 2.03 3/212 14691
/proc/meminfo: memFree=30932408/32770624 swapFree=67108860/67108860
[pid=14676] ppid=14673 vsize=10551156 memory=37000 CPUtime=0.24 cores=0,2,4,6
/proc/14676/stat : 14676 (java) S 14673 14676 7968 0 -1 1077944320 8041 0 0 0 22 2 0 0 20 0 15 0 14145265 10804383744 9250 18446744073709551615 4194304 4196468 140723785769440 140723785751984 139785041583863 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 6 0 0 6293624 6294260 20598784 140723785773457 140723785773610 140723785773610 140723785777103 0
/proc/14676/statm: 2637789 9250 2858 1 0 2627261 0
[pid=14676/tid=14678] ppid=14673 vsize=10551156 memory=-8774313645642428999 CPUtime=0.17 cores=0,2,4,6
/proc/14676/task/14678/stat : 14678 (java) R 14673 14676 7968 0 -1 4202560 5688 0 0 0 16 1 0 0 20 0 15 0 14145272 10804383744 9250 18446744073709551615 4194304 4196468 140723785769440 139785045817888 139785041605789 0 4 1 16800974 0 0 0 -1 2 0 0 5 0 0 6293624 6294260 20598784 140723785773457 140723785773610 140723785773610 140723785777103 0
[pid=14676/tid=14679] ppid=14673 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14676/task/14679/stat : 14679 (java) S 14673 14676 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14145273 10804383744 9250 18446744073709551615 4194304 4196468 140723785769440 139785013426832 139785041594069 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20598784 140723785773457 140723785773610 140723785773610 140723785777103 0
[pid=14676/tid=14680] ppid=14673 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14676/task/14680/stat : 14680 (java) S 14673 14676 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14145273 10804383744 9250 18446744073709551615 4194304 4196468 140723785769440 139784652053008 139785041594069 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20598784 140723785773457 140723785773610 140723785773610 140723785777103 0
[pid=14676/tid=14681] ppid=14673 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14676/task/14681/stat : 14681 (java) S 14673 14676 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14145273 10804383744 9250 18446744073709551615 4194304 4196468 140723785769440 139784651000208 139785041594069 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20598784 140723785773457 140723785773610 140723785773610 140723785777103 0
[pid=14676/tid=14682] ppid=14673 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14676/task/14682/stat : 14682 (java) S 14673 14676 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 14145273 10804383744 9250 18446744073709551615 4194304 4196468 140723785769440 139784649947408 139785041594069 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20598784 140723785773457 140723785773610 140723785773610 140723785777103 0
[pid=14676/tid=14683] ppid=14673 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14676/task/14683/stat : 14683 (java) S 14673 14676 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 14145274 10804383744 9250 18446744073709551615 4194304 4196468 140723785769440 139784082140016 139785041595010 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20598784 140723785773457 140723785773610 140723785773610 140723785777103 0
[pid=14676/tid=14684] ppid=14673 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14676/task/14684/stat : 14684 (java) S 14673 14676 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 14145275 10804383744 9250 18446744073709551615 4194304 4196468 140723785769440 139784081085984 139785041594069 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20598784 140723785773457 140723785773610 140723785773610 140723785777103 0
[pid=14676/tid=14685] ppid=14673 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14676/task/14685/stat : 14685 (java) S 14673 14676 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 14145275 10804383744 9250 18446744073709551615 4194304 4196468 140723785769440 139784080033136 139785041594069 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20598784 140723785773457 140723785773610 140723785773610 140723785777103 0
[pid=14676/tid=14686] ppid=14673 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14676/task/14686/stat : 14686 (java) S 14673 14676 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14145277 10804383744 9250 18446744073709551615 4194304 4196468 140723785769440 139784078981456 139785041602459 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20598784 140723785773457 140723785773610 140723785773610 140723785777103 0
[pid=14676/tid=14687] ppid=14673 vsize=10551156 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/14676/task/14687/stat : 14687 (java) S 14673 14676 7968 0 -1 1077944384 511 0 0 0 1 0 0 0 20 0 15 0 14145277 10804383744 9250 18446744073709551615 4194304 4196468 140723785769440 139784077928816 139785041595010 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20598784 140723785773457 140723785773610 140723785773610 140723785777103 0
[pid=14676/tid=14688] ppid=14673 vsize=10551156 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/14676/task/14688/stat : 14688 (java) S 14673 14676 7968 0 -1 1077944384 86 0 0 0 1 0 0 0 20 0 15 0 14145277 10804383744 9250 18446744073709551615 4194304 4196468 140723785769440 139784076876016 139785041595010 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20598784 140723785773457 140723785773610 140723785773610 140723785777103 0
[pid=14676/tid=14689] ppid=14673 vsize=10551156 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/14676/task/14689/stat : 14689 (java) S 14673 14676 7968 0 -1 1077944384 389 0 0 0 4 0 0 0 20 0 15 0 14145277 10804383744 9250 18446744073709551615 4194304 4196468 140723785769440 139784075823216 139785041595010 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20598784 140723785773457 140723785773610 140723785773610 140723785777103 0
[pid=14676/tid=14690] ppid=14673 vsize=10551156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14676/task/14690/stat : 14690 (java) S 14673 14676 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14145277 10804383744 9250 18446744073709551615 4194304 4196468 140723785769440 139784074770656 139785041594069 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20598784 140723785773457 140723785773610 140723785773610 140723785777103 0
[pid=14676/tid=14691] ppid=14673 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14676/task/14691/stat : 14691 (java) S 14673 14676 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14145284 10804383744 9250 18446744073709551615 4194304 4196468 140723785769440 139783602957488 139785041595010 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20598784 140723785773457 140723785773610 140723785773610 140723785777103 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 10551156 KiB
Current children cumulated memory: 37000 KiB

[startup+0.708313 s]
/proc/loadavg: 1.93 1.97 2.03 5/212 14691
/proc/meminfo: memFree=30922212/32770624 swapFree=67108860/67108860
[pid=14676] ppid=14673 vsize=10551232 memory=94772 CPUtime=1.3 cores=0,2,4,6
/proc/14676/stat : 14676 (java) S 14673 14676 7968 0 -1 1077944320 13350 0 0 0 125 5 0 0 20 0 15 0 14145265 10804461568 23693 18446744073709551615 4194304 4196468 140723785769440 140723785751984 139785041583863 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 6 0 0 6293624 6294260 20598784 140723785773457 140723785773610 140723785773610 140723785777103 0
/proc/14676/statm: 2637808 23693 3064 1 0 2627261 0
[pid=14676/tid=14678] ppid=14673 vsize=10551232 memory=207 CPUtime=0.55 cores=0,2,4,6
/proc/14676/task/14678/stat : 14678 (java) R 14673 14676 7968 0 -1 4202560 7090 0 0 0 53 2 0 0 20 0 15 0 14145272 10804461568 23693 18446744073709551615 4194304 4196468 140723785769440 139785045797808 139784682681729 0 4 1 16800974 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 20598784 140723785773457 140723785773610 140723785773610 140723785777103 0
[pid=14676/tid=14679] ppid=14673 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14676/task/14679/stat : 14679 (java) S 14673 14676 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14145273 10804461568 23693 18446744073709551615 4194304 4196468 140723785769440 139785013426832 139785041594069 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20598784 140723785773457 140723785773610 140723785773610 140723785777103 0
[pid=14676/tid=14680] ppid=14673 vsize=10551232 memory=5 CPUtime=0 cores=0,2,4,6
/proc/14676/task/14680/stat : 14680 (java) S 14673 14676 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14145273 10804461568 23693 18446744073709551615 4194304 4196468 140723785769440 139784652053008 139785041594069 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20598784 140723785773457 140723785773610 140723785773610 140723785777103 0
[pid=14676/tid=14681] ppid=14673 vsize=10551232 memory=16 CPUtime=0 cores=0,2,4,6
/proc/14676/task/14681/stat : 14681 (java) S 14673 14676 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14145273 10804461568 23693 18446744073709551615 4194304 4196468 140723785769440 139784651000208 139785041594069 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20598784 140723785773457 140723785773610 140723785773610 140723785777103 0
[pid=14676/tid=14682] ppid=14673 vsize=10551232 memory=65 CPUtime=0 cores=0,2,4,6
/proc/14676/task/14682/stat : 14682 (java) S 14673 14676 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 14145273 10804461568 23702 18446744073709551615 4194304 4196468 140723785769440 139784649947408 139785041594069 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20598784 140723785773457 140723785773610 140723785773610 140723785777103 0
[pid=14676/tid=14683] ppid=14673 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14676/task/14683/stat : 14683 (java) S 14673 14676 7968 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 14145274 10804461568 23702 18446744073709551615 4194304 4196468 140723785769440 139784082140016 139785041595010 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20598784 140723785773457 140723785773610 140723785773610 140723785777103 0
[pid=14676/tid=14684] ppid=14673 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14676/task/14684/stat : 14684 (java) S 14673 14676 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 14145275 10804461568 23702 18446744073709551615 4194304 4196468 140723785769440 139784081085984 139785041594069 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20598784 140723785773457 140723785773610 140723785773610 140723785777103 0
[pid=14676/tid=14685] ppid=14673 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14676/task/14685/stat : 14685 (java) S 14673 14676 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 14145275 10804461568 23702 18446744073709551615 4194304 4196468 140723785769440 139784080033136 139785041594069 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20598784 140723785773457 140723785773610 140723785773610 140723785777103 0
[pid=14676/tid=14686] ppid=14673 vsize=10551232 memory=4 CPUtime=0 cores=0,2,4,6
/proc/14676/task/14686/stat : 14686 (java) S 14673 14676 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14145277 10804461568 23702 18446744073709551615 4194304 4196468 140723785769440 139784078981456 139785041602459 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20598784 140723785773457 140723785773610 140723785773610 140723785777103 0
[pid=14676/tid=14687] ppid=14673 vsize=10551232 memory=30 CPUtime=0.22 cores=0,2,4,6
/proc/14676/task/14687/stat : 14687 (java) R 14673 14676 7968 0 -1 4202560 1923 0 0 0 22 0 0 0 20 0 15 0 14145277 10804461568 23702 18446744073709551615 4194304 4196468 140723785769440 139784077909832 139785041595798 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20598784 140723785773457 140723785773610 140723785773610 140723785777103 0
[pid=14676/tid=14688] ppid=14673 vsize=10551232 memory=2 CPUtime=0.21 cores=0,2,4,6
/proc/14676/task/14688/stat : 14688 (java) R 14673 14676 7968 0 -1 4202560 1651 0 0 0 21 0 0 0 20 0 15 0 14145277 10804461568 23702 18446744073709551615 4194304 4196468 140723785769440 139784076853544 139785020905771 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20598784 140723785773457 140723785773610 140723785773610 140723785777103 0
[pid=14676/tid=14689] ppid=14673 vsize=10551232 memory=0 CPUtime=0.28 cores=0,2,4,6
/proc/14676/task/14689/stat : 14689 (java) R 14673 14676 7968 0 -1 4202560 1327 0 0 0 28 0 0 0 20 0 15 0 14145277 10804461568 23702 18446744073709551615 4194304 4196468 140723785769440 139784075821008 139785041605210 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20598784 140723785773457 140723785773610 140723785773610 140723785777103 0
[pid=14676/tid=14690] ppid=14673 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14676/task/14690/stat : 14690 (java) S 14673 14676 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14145277 10804461568 23702 18446744073709551615 4194304 4196468 140723785769440 139784074770656 139785041594069 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20598784 140723785773457 140723785773610 140723785773610 140723785777103 0
[pid=14676/tid=14691] ppid=14673 vsize=10551232 memory=6463925781705 CPUtime=0 cores=0,2,4,6
/proc/14676/task/14691/stat : 14691 (java) S 14673 14676 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14145284 10804461568 23702 18446744073709551615 4194304 4196468 140723785769440 139783602957488 139785041595010 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20598784 140723785773457 140723785773610 140723785773610 140723785777103 0
Current children cumulated CPU time: 1.3 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 94772 KiB

[startup+1.50085 s]
/proc/loadavg: 2.01 1.99 2.04 5/212 14691
/proc/meminfo: memFree=30750292/32770624 swapFree=67108860/67108860
[pid=14676] ppid=14673 vsize=10551232 memory=272364 CPUtime=3.72 cores=0,2,4,6
/proc/14676/stat : 14676 (java) S 14673 14676 7968 0 -1 1077944320 22815 0 0 0 357 15 0 0 20 0 15 0 14145265 10804461568 68091 18446744073709551615 4194304 4196468 140723785769440 140723785751984 139785041583863 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 6 0 0 6293624 6294260 20598784 140723785773457 140723785773610 140723785773610 140723785777103 0
/proc/14676/statm: 2637808 68091 3100 1 0 2627261 0
[pid=14676/tid=14678] ppid=14673 vsize=10551232 memory=7085094957980477288 CPUtime=1.26 cores=0,2,4,6
/proc/14676/task/14678/stat : 14678 (java) R 14673 14676 7968 0 -1 4202560 7136 0 0 0 122 4 0 0 20 0 15 0 14145272 10804461568 68091 18446744073709551615 4194304 4196468 140723785769440 139785045812688 139785023534645 0 4 1 16800974 0 0 0 -1 2 0 0 5 0 0 6293624 6294260 20598784 140723785773457 140723785773610 140723785773610 140723785777103 0
[pid=14676/tid=14679] ppid=14673 vsize=10551232 memory=-3472574513799858009 CPUtime=0.06 cores=0,2,4,6
/proc/14676/task/14679/stat : 14679 (java) S 14673 14676 7968 0 -1 1077944384 97 0 0 0 5 1 0 0 20 0 15 0 14145273 10804461568 68091 18446744073709551615 4194304 4196468 140723785769440 139785013426832 139785041594069 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20598784 140723785773457 140723785773610 140723785773610 140723785777103 0
[pid=14676/tid=14680] ppid=14673 vsize=10551232 memory=-6009349268717313833 CPUtime=0.04 cores=0,2,4,6
/proc/14676/task/14680/stat : 14680 (java) S 14673 14676 7968 0 -1 1077944384 101 0 0 0 3 1 0 0 20 0 15 0 14145273 10804461568 68091 18446744073709551615 4194304 4196468 140723785769440 139784652053008 139785041594069 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20598784 140723785773457 140723785773610 140723785773610 140723785777103 0
[pid=14676/tid=14681] ppid=14673 vsize=10551232 memory=-7449383003082255457 CPUtime=0.06 cores=0,2,4,6
/proc/14676/task/14681/stat : 14681 (java) S 14673 14676 7968 0 -1 1077944384 104 0 0 0 5 1 0 0 20 0 15 0 14145273 10804461568 68091 18446744073709551615 4194304 4196468 140723785769440 139784651000208 139785041594069 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20598784 140723785773457 140723785773610 140723785773610 140723785777103 0
[pid=14676/tid=14682] ppid=14673 vsize=10551232 memory=7679937539709960979 CPUtime=0.07 cores=0,2,4,6
/proc/14676/task/14682/stat : 14682 (java) S 14673 14676 7968 0 -1 1077944384 110 0 0 0 6 1 0 0 20 0 15 0 14145273 10804461568 68091 18446744073709551615 4194304 4196468 140723785769440 139784649947408 139785041594069 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20598784 140723785773457 140723785773610 140723785773610 140723785777103 0
[pid=14676/tid=14683] ppid=14673 vsize=10551232 memory=3184132387188526067 CPUtime=0 cores=0,2,4,6
/proc/14676/task/14683/stat : 14683 (java) S 14673 14676 7968 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 14145274 10804461568 68091 18446744073709551615 4194304 4196468 140723785769440 139784082140016 139785041595010 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20598784 140723785773457 140723785773610 140723785773610 140723785777103 0
[pid=14676/tid=14684] ppid=14673 vsize=10551232 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/14676/task/14684/stat : 14684 (java) S 14673 14676 7968 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 14145275 10804461568 68091 18446744073709551615 4194304 4196468 140723785769440 139784081085984 139785041594069 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20598784 140723785773457 140723785773610 140723785773610 140723785777103 0
[pid=14676/tid=14685] ppid=14673 vsize=10551232 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6
/proc/14676/task/14685/stat : 14685 (java) S 14673 14676 7968 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 14145275 10804461568 68091 18446744073709551615 4194304 4196468 140723785769440 139784080033136 139785041594069 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20598784 140723785773457 140723785773610 140723785773610 140723785777103 0
[pid=14676/tid=14686] ppid=14673 vsize=10551232 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/14676/task/14686/stat : 14686 (java) S 14673 14676 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14145277 10804461568 68091 18446744073709551615 4194304 4196468 140723785769440 139784078981456 139785041602459 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20598784 140723785773457 140723785773610 140723785773610 140723785777103 0
[pid=14676/tid=14687] ppid=14673 vsize=10551232 memory=6944656592455097440 CPUtime=0.89 cores=0,2,4,6
/proc/14676/task/14687/stat : 14687 (java) S 14673 14676 7968 0 -1 1077944384 5155 0 0 0 88 1 0 0 20 0 15 0 14145277 10804461568 68091 18446744073709551615 4194304 4196468 140723785769440 139784077928816 139785041595010 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20598784 140723785773457 140723785773610 140723785773610 140723785777103 0
[pid=14676/tid=14688] ppid=14673 vsize=10551232 memory=6944656575208382560 CPUtime=0.9 cores=0,2,4,6
/proc/14676/task/14688/stat : 14688 (java) S 14673 14676 7968 0 -1 1077944384 7059 0 0 0 89 1 0 0 20 0 15 0 14145277 10804461568 68091 18446744073709551615 4194304 4196468 140723785769440 139784076876016 139785041595010 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20598784 140723785773457 140723785773610 140723785773610 140723785777103 0
[pid=14676/tid=14689] ppid=14673 vsize=10551232 memory=0 CPUtime=0.34 cores=0,2,4,6
/proc/14676/task/14689/stat : 14689 (java) S 14673 14676 7968 0 -1 1077944384 1607 0 0 0 34 0 0 0 20 0 15 0 14145277 10804461568 68091 18446744073709551615 4194304 4196468 140723785769440 139784075823216 139785041595010 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20598784 140723785773457 140723785773610 140723785773610 140723785777103 0

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

/proc/14676/task/14684/stat : 14684 (java) S 14673 14676 7968 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 16 0 14145275 10872623104 1294040 18446744073709551615 4194304 4196468 140723785769440 139784081086048 139785041594069 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20598784 140723785773457 140723785773610 140723785773610 140723785777103 0
[pid=14676/tid=14685] ppid=14673 vsize=10617796 memory=5176160 CPUtime=0 cores=0,2,4,6
/proc/14676/task/14685/stat : 14685 (java) S 14673 14676 7968 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 16 0 14145275 10872623104 1294040 18446744073709551615 4194304 4196468 140723785769440 139784080033152 139785041594069 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20598784 140723785773457 140723785773610 140723785773610 140723785777103 0
[pid=14676/tid=14686] ppid=14673 vsize=10617796 memory=5176160 CPUtime=0 cores=0,2,4,6
/proc/14676/task/14686/stat : 14686 (java) S 14673 14676 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 14145277 10872623104 1294040 18446744073709551615 4194304 4196468 140723785769440 139784078981456 139785041602459 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20598784 140723785773457 140723785773610 140723785773610 140723785777103 0
[pid=14676/tid=14687] ppid=14673 vsize=10617796 memory=5176160 CPUtime=2.1 cores=0,2,4,6
/proc/14676/task/14687/stat : 14687 (java) S 14673 14676 7968 0 -1 1077944384 14232 0 0 0 207 3 0 0 20 0 16 0 14145277 10872623104 1294040 18446744073709551615 4194304 4196468 140723785769440 139784077928816 139785041595010 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20598784 140723785773457 140723785773610 140723785773610 140723785777103 0
[pid=14676/tid=14688] ppid=14673 vsize=10617796 memory=5176160 CPUtime=2.31 cores=0,2,4,6
/proc/14676/task/14688/stat : 14688 (java) S 14673 14676 7968 0 -1 1077944384 18054 0 0 0 228 3 0 0 20 0 16 0 14145277 10872623104 1294040 18446744073709551615 4194304 4196468 140723785769440 139784076876016 139785041595010 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20598784 140723785773457 140723785773610 140723785773610 140723785777103 0
[pid=14676/tid=14689] ppid=14673 vsize=10617796 memory=5176160 CPUtime=0.52 cores=0,2,4,6
/proc/14676/task/14689/stat : 14689 (java) S 14673 14676 7968 0 -1 1077944384 6742 0 0 0 50 2 0 0 20 0 16 0 14145277 10872623104 1294040 18446744073709551615 4194304 4196468 140723785769440 139784075823216 139785041595010 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20598784 140723785773457 140723785773610 140723785773610 140723785777103 0
[pid=14676/tid=14690] ppid=14673 vsize=10617796 memory=5176160 CPUtime=0 cores=0,2,4,6
/proc/14676/task/14690/stat : 14690 (java) S 14673 14676 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 14145277 10872623104 1294040 18446744073709551615 4194304 4196468 140723785769440 139784074770656 139785041594069 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20598784 140723785773457 140723785773610 140723785773610 140723785777103 0
[pid=14676/tid=14691] ppid=14673 vsize=10617796 memory=5176160 CPUtime=1.66 cores=0,2,4,6
/proc/14676/task/14691/stat : 14691 (java) S 14673 14676 7968 0 -1 1077944384 2125 0 0 0 81 85 0 0 20 0 16 0 14145284 10872623104 1294040 18446744073709551615 4194304 4196468 140723785769440 139783602957488 139785041595010 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20598784 140723785773457 140723785773610 140723785773610 140723785777103 0
[pid=14676/tid=14694] ppid=14673 vsize=10617796 memory=-8774313645642428999 CPUtime=0 cores=0,2,4,6
/proc/14676/task/14694/stat : 14694 (java) S 14673 14676 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 14149412 10872623104 1294040 18446744073709551615 4194304 4196468 140723785769440 139783601903024 139785041595010 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20598784 140723785773457 140723785773610 140723785773610 140723785777103 0
Current children cumulated CPU time: 2500.43 s
Current children cumulated vsize: 10617796 KiB
Current children cumulated memory: 5176160 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2461.9 s]
/proc/loadavg: 2.05 2.10 2.12 3/213 15018
/proc/meminfo: memFree=20200124/32770624 swapFree=67108860/67108860
[pid=14676] ppid=14673 vsize=10617796 memory=5176160 CPUtime=2520.04 cores=0,2,4,6
/proc/14676/stat : 14676 (java) S 14673 14676 7968 0 -1 1077944320 417907 0 0 0 251588 416 0 0 20 0 16 0 14145265 10872623104 1294040 18446744073709551615 4194304 4196468 140723785769440 140723785751984 139785041583863 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 6 0 0 6293624 6294260 20598784 140723785773457 140723785773610 140723785773610 140723785777103 0
/proc/14676/statm: 2654449 1294040 3151 1 0 2643902 0
[pid=14676/tid=14678] ppid=14673 vsize=10617796 memory=5176160 CPUtime=2438.97 cores=0,2,4,6
/proc/14676/task/14678/stat : 14678 (java) R 14673 14676 7968 0 -1 4202560 279525 0 0 0 243849 48 0 0 20 0 16 0 14145272 10872623104 1294040 18446744073709551615 4194304 4196468 140723785769440 139785045822280 139784688177820 0 4 1 16800974 0 0 0 -1 2 0 0 5 0 0 6293624 6294260 20598784 140723785773457 140723785773610 140723785773610 140723785777103 0
[pid=14676/tid=14679] ppid=14673 vsize=10617796 memory=5176160 CPUtime=17.34 cores=0,2,4,6
/proc/14676/task/14679/stat : 14679 (java) S 14673 14676 7968 0 -1 1077944384 19983 0 0 0 1665 69 0 0 20 0 16 0 14145273 10872623104 1294040 18446744073709551615 4194304 4196468 140723785769440 139785013426832 139785041594069 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20598784 140723785773457 140723785773610 140723785773610 140723785777103 0
[pid=14676/tid=14680] ppid=14673 vsize=10617796 memory=5176160 CPUtime=17.32 cores=0,2,4,6
/proc/14676/task/14680/stat : 14680 (java) S 14673 14676 7968 0 -1 1077944384 24798 0 0 0 1656 76 0 0 20 0 16 0 14145273 10872623104 1294040 18446744073709551615 4194304 4196468 140723785769440 139784652053008 139785041594069 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20598784 140723785773457 140723785773610 140723785773610 140723785777103 0
[pid=14676/tid=14681] ppid=14673 vsize=10617796 memory=5176160 CPUtime=17.48 cores=0,2,4,6
/proc/14676/task/14681/stat : 14681 (java) S 14673 14676 7968 0 -1 1077944384 15424 0 0 0 1680 68 0 0 20 0 16 0 14145273 10872623104 1294040 18446744073709551615 4194304 4196468 140723785769440 139784651000208 139785041594069 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20598784 140723785773457 140723785773610 140723785773610 140723785777103 0
[pid=14676/tid=14682] ppid=14673 vsize=10617796 memory=5176160 CPUtime=17.32 cores=0,2,4,6
/proc/14676/task/14682/stat : 14682 (java) S 14673 14676 7968 0 -1 1077944384 20234 0 0 0 1657 75 0 0 20 0 16 0 14145273 10872623104 1294040 18446744073709551615 4194304 4196468 140723785769440 139784649947408 139785041594069 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20598784 140723785773457 140723785773610 140723785773610 140723785777103 0
[pid=14676/tid=14683] ppid=14673 vsize=10617796 memory=5176160 CPUtime=4.93 cores=0,2,4,6
/proc/14676/task/14683/stat : 14683 (java) S 14673 14676 7968 0 -1 1077944384 15203 0 0 0 488 5 0 0 20 0 16 0 14145274 10872623104 1294040 18446744073709551615 4194304 4196468 140723785769440 139784082140016 139785041595010 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20598784 140723785773457 140723785773610 140723785773610 140723785777103 0
[pid=14676/tid=14684] ppid=14673 vsize=10617796 memory=5176160 CPUtime=0 cores=0,2,4,6
/proc/14676/task/14684/stat : 14684 (java) S 14673 14676 7968 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 16 0 14145275 10872623104 1294040 18446744073709551615 4194304 4196468 140723785769440 139784081086048 139785041594069 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20598784 140723785773457 140723785773610 140723785773610 140723785777103 0
[pid=14676/tid=14685] ppid=14673 vsize=10617796 memory=5176160 CPUtime=0 cores=0,2,4,6
/proc/14676/task/14685/stat : 14685 (java) S 14673 14676 7968 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 16 0 14145275 10872623104 1294040 18446744073709551615 4194304 4196468 140723785769440 139784080033152 139785041594069 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20598784 140723785773457 140723785773610 140723785773610 140723785777103 0
[pid=14676/tid=14686] ppid=14673 vsize=10617796 memory=5176160 CPUtime=0 cores=0,2,4,6
/proc/14676/task/14686/stat : 14686 (java) S 14673 14676 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 14145277 10872623104 1294040 18446744073709551615 4194304 4196468 140723785769440 139784078981456 139785041602459 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20598784 140723785773457 140723785773610 140723785773610 140723785777103 0
[pid=14676/tid=14687] ppid=14673 vsize=10617796 memory=164 CPUtime=2.1 cores=0,2,4,6
/proc/14676/task/14687/stat : 14687 (java) S 14673 14676 7968 0 -1 1077944384 14235 0 0 0 207 3 0 0 20 0 16 0 14145277 10872623104 1294040 18446744073709551615 4194304 4196468 140723785769440 139784077928816 139785041595010 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20598784 140723785773457 140723785773610 140723785773610 140723785777103 0
[pid=14676/tid=14688] ppid=14673 vsize=10617796 memory=1440 CPUtime=2.31 cores=0,2,4,6
/proc/14676/task/14688/stat : 14688 (java) S 14673 14676 7968 0 -1 1077944384 18067 0 0 0 228 3 0 0 20 0 16 0 14145277 10872623104 1294040 18446744073709551615 4194304 4196468 140723785769440 139784076876016 139785041595010 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20598784 140723785773457 140723785773610 140723785773610 140723785777103 0
[pid=14676/tid=14689] ppid=14673 vsize=10617796 memory=5176160 CPUtime=0.52 cores=0,2,4,6
/proc/14676/task/14689/stat : 14689 (java) S 14673 14676 7968 0 -1 1077944384 6746 0 0 0 50 2 0 0 20 0 16 0 14145277 10872623104 1294040 18446744073709551615 4194304 4196468 140723785769440 139784075823216 139785041595010 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20598784 140723785773457 140723785773610 140723785773610 140723785777103 0
[pid=14676/tid=14690] ppid=14673 vsize=10617796 memory=5176160 CPUtime=0 cores=0,2,4,6
/proc/14676/task/14690/stat : 14690 (java) S 14673 14676 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 14145277 10872623104 1294040 18446744073709551615 4194304 4196468 140723785769440 139784074770656 139785041594069 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20598784 140723785773457 140723785773610 140723785773610 140723785777103 0
[pid=14676/tid=14691] ppid=14673 vsize=10617796 memory=-8774313645642428999 CPUtime=1.68 cores=0,2,4,6
/proc/14676/task/14691/stat : 14691 (java) S 14673 14676 7968 0 -1 1077944384 2164 0 0 0 82 86 0 0 20 0 16 0 14145284 10872623104 1294040 18446744073709551615 4194304 4196468 140723785769440 139783602957488 139785041595010 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20598784 140723785773457 140723785773610 140723785773610 140723785777103 0
[pid=14676/tid=14694] ppid=14673 vsize=10617796 memory=1200 CPUtime=0 cores=0,2,4,6
/proc/14676/task/14694/stat : 14694 (java) S 14673 14676 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 14149412 10872623104 1294040 18446744073709551615 4194304 4196468 140723785769440 139783601903024 139785041595010 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20598784 140723785773457 140723785773610 140723785773610 140723785777103 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 10617796 KiB
Current children cumulated memory: 5176160 KiB

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

[startup+2462.15 s]
# the end of solver process 14676 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2515.96 s, system=4.19633 s

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

[startup+2462.01 s]*
/proc/loadavg: 2.05 2.10 2.12 2/214 15021
/proc/meminfo: memFree=20200124/32770624 swapFree=67108860/67108860
[pid=14676] ppid=14673 vsize=10817488 memory=5176460 CPUtime=2520.1 cores=0,2,4,6
/proc/14676/stat : 14676 (java) S 14673 14676 7968 0 -1 1077944320 418925 0 0 0 251594 416 0 0 20 0 17 0 14145265 11077107712 1294115 18446744073709551615 4194304 4196468 140723785769440 140723785751984 139785041583863 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 6 0 0 6293624 6294260 20598784 140723785773457 140723785773610 140723785773610 140723785777103 0
/proc/14676/statm: 2704372 1294115 3153 1 0 2693825 0
[pid=14676/tid=14678] ppid=14673 vsize=10817488 memory=-8774313645642428999 CPUtime=2439.02 cores=0,2,4,6
/proc/14676/task/14678/stat : 14678 (java) S 14673 14676 7968 0 -1 1077944384 279656 0 0 0 243854 48 0 0 20 0 17 0 14145272 11077107712 1294115 18446744073709551615 4194304 4196468 140723785769440 139785045826736 139785041594069 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 5 0 0 6293624 6294260 20598784 140723785773457 140723785773610 140723785773610 140723785777103 0
[pid=14676/tid=14679] ppid=14673 vsize=10817488 memory=-8312670058677691234 CPUtime=17.34 cores=0,2,4,6
/proc/14676/task/14679/stat : 14679 (java) S 14673 14676 7968 0 -1 1077944384 19983 0 0 0 1665 69 0 0 20 0 17 0 14145273 11077107712 1294115 18446744073709551615 4194304 4196468 140723785769440 139785013426832 139785041594069 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20598784 140723785773457 140723785773610 140723785773610 140723785777103 0
[pid=14676/tid=14680] ppid=14673 vsize=10817488 memory=7976406965554101975 CPUtime=17.32 cores=0,2,4,6
/proc/14676/task/14680/stat : 14680 (java) S 14673 14676 7968 0 -1 1077944384 24798 0 0 0 1656 76 0 0 20 0 17 0 14145273 11077107712 1294115 18446744073709551615 4194304 4196468 140723785769440 139784652053008 139785041594069 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20598784 140723785773457 140723785773610 140723785773610 140723785777103 0
[pid=14676/tid=14681] ppid=14673 vsize=10817488 memory=8547712850019655617 CPUtime=17.48 cores=0,2,4,6
/proc/14676/task/14681/stat : 14681 (java) S 14673 14676 7968 0 -1 1077944384 15424 0 0 0 1680 68 0 0 20 0 17 0 14145273 11077107712 1294115 18446744073709551615 4194304 4196468 140723785769440 139784651000208 139785041594069 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20598784 140723785773457 140723785773610 140723785773610 140723785777103 0
[pid=14676/tid=14682] ppid=14673 vsize=10817488 memory=7589240748751480384 CPUtime=17.32 cores=0,2,4,6
/proc/14676/task/14682/stat : 14682 (java) S 14673 14676 7968 0 -1 1077944384 20234 0 0 0 1657 75 0 0 20 0 17 0 14145273 11077107712 1294115 18446744073709551615 4194304 4196468 140723785769440 139784649947408 139785041594069 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20598784 140723785773457 140723785773610 140723785773610 140723785777103 0
[pid=14676/tid=14683] ppid=14673 vsize=10817488 memory=8174711894690641717 CPUtime=4.93 cores=0,2,4,6
/proc/14676/task/14683/stat : 14683 (java) S 14673 14676 7968 0 -1 1077944384 15252 0 0 0 488 5 0 0 20 0 17 0 14145274 11077107712 1294115 18446744073709551615 4194304 4196468 140723785769440 139784082140016 139785041595010 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20598784 140723785773457 140723785773610 140723785773610 140723785777103 0
[pid=14676/tid=14684] ppid=14673 vsize=10817488 memory=8751464017575753525 CPUtime=0 cores=0,2,4,6
/proc/14676/task/14684/stat : 14684 (java) S 14673 14676 7968 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 17 0 14145275 11077107712 1294115 18446744073709551615 4194304 4196468 140723785769440 139784081086048 139785041594069 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20598784 140723785773457 140723785773610 140723785773610 140723785777103 0
[pid=14676/tid=14685] ppid=14673 vsize=10817488 memory=8458433173657040949 CPUtime=0 cores=0,2,4,6
/proc/14676/task/14685/stat : 14685 (java) S 14673 14676 7968 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 17 0 14145275 11077107712 1294115 18446744073709551615 4194304 4196468 140723785769440 139784080033152 139785041594069 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20598784 140723785773457 140723785773610 140723785773610 140723785777103 0
[pid=14676/tid=14686] ppid=14673 vsize=10817488 memory=8242257093008177461 CPUtime=0 cores=0,2,4,6
/proc/14676/task/14686/stat : 14686 (java) S 14673 14676 7968 0 -1 1077944384 227 0 0 0 0 0 0 0 20 0 17 0 14145277 11077107712 1294115 18446744073709551615 4194304 4196468 140723785769440 139784078981456 139785041602459 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20598784 140723785773457 140723785773610 140723785773610 140723785777103 0
[pid=14676/tid=14687] ppid=14673 vsize=10817488 memory=5176160 CPUtime=2.1 cores=0,2,4,6
/proc/14676/task/14687/stat : 14687 (java) S 14673 14676 7968 0 -1 1077944384 14235 0 0 0 207 3 0 0 20 0 17 0 14145277 11077107712 1294115 18446744073709551615 4194304 4196468 140723785769440 139784077928816 139785041595010 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20598784 140723785773457 140723785773610 140723785773610 140723785777103 0
[pid=14676/tid=14688] ppid=14673 vsize=10817488 memory=3904 CPUtime=2.31 cores=0,2,4,6
/proc/14676/task/14688/stat : 14688 (java) S 14673 14676 7968 0 -1 1077944384 18067 0 0 0 228 3 0 0 20 0 17 0 14145277 11077107712 1294115 18446744073709551615 4194304 4196468 140723785769440 139784076876016 139785041595010 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20598784 140723785773457 140723785773610 140723785773610 140723785777103 0
[pid=14676/tid=14689] ppid=14673 vsize=10817488 memory=2760 CPUtime=0.52 cores=0,2,4,6
/proc/14676/task/14689/stat : 14689 (java) S 14673 14676 7968 0 -1 1077944384 7016 0 0 0 50 2 0 0 20 0 17 0 14145277 11077107712 1294115 18446744073709551615 4194304 4196468 140723785769440 139784075823216 139785041595010 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20598784 140723785773457 140723785773610 140723785773610 140723785777103 0
[pid=14676/tid=14690] ppid=14673 vsize=10817488 memory=2760 CPUtime=0 cores=0,2,4,6
/proc/14676/task/14690/stat : 14690 (java) S 14673 14676 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 14145277 11077107712 1294115 18446744073709551615 4194304 4196468 140723785769440 139784074770656 139785041594069 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20598784 140723785773457 140723785773610 140723785773610 140723785777103 0
[pid=14676/tid=14691] ppid=14673 vsize=10817488 memory=4064 CPUtime=1.68 cores=0,2,4,6
/proc/14676/task/14691/stat : 14691 (java) S 14673 14676 7968 0 -1 1077944384 2164 0 0 0 82 86 0 0 20 0 17 0 14145284 11077107712 1294115 18446744073709551615 4194304 4196468 140723785769440 139783602957488 139785041595010 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20598784 140723785773457 140723785773610 140723785773610 140723785777103 0
[pid=14676/tid=15019] ppid=14673 vsize=10817488 memory=1152 CPUtime=0 cores=0,2,4,6
/proc/14676/task/15019/stat : 15019 (java) S 14673 14676 7968 0 -1 1077944384 178 0 0 0 0 0 0 0 20 0 17 0 14391456 11077107712 1294115 18446744073709551615 4194304 4196468 140723785769440 139783600849520 139785041594069 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20598784 140723785773457 140723785773610 140723785773610 140723785777103 0
[pid=14676/tid=15020] ppid=14673 vsize=10817488 memory=-8774313645642428999 CPUtime=0 cores=0,2,4,6
/proc/14676/task/15020/stat : 15020 (java) S 14673 14676 7968 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 17 0 14391456 11077107712 1294115 18446744073709551615 4194304 4196468 140723785769440 139783599797648 139785041595010 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20598784 140723785773457 140723785773610 140723785773610 140723785777103 0
Current children cumulated CPU time: 2520.1 s
Current children cumulated vsize: 10817488 KiB
Current children cumulated memory: 5176460 KiB

[startup+2462.11 s]
/proc/loadavg: 2.05 2.10 2.12 2/214 15021
/proc/meminfo: memFree=20200124/32770624 swapFree=67108860/67108860
[pid=14676] ppid=14673 vsize=10817488 memory=5176468 CPUtime=2520.11 cores=0,2,4,6
/proc/14676/stat : 14676 (java) S 14673 14676 7968 0 -1 1077944320 419421 0 0 0 251595 416 0 0 20 0 17 0 14145265 11077107712 1294117 18446744073709551615 4194304 4196468 140723785769440 140723785751984 139785041583863 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 6 0 0 6293624 6294260 20598784 140723785773457 140723785773610 140723785773610 140723785777103 0
/proc/14676/statm: 2704372 1294117 3154 1 0 2693825 0
[pid=14676/tid=14678] ppid=14673 vsize=10817488 memory=5176160 CPUtime=2439.02 cores=0,2,4,6
/proc/14676/task/14678/stat : 14678 (java) S 14673 14676 7968 0 -1 1077944384 279656 0 0 0 243854 48 0 0 20 0 17 0 14145272 11077107712 1294117 18446744073709551615 4194304 4196468 140723785769440 139785045826736 139785041594069 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 5 0 0 6293624 6294260 20598784 140723785773457 140723785773610 140723785773610 140723785777103 0
[pid=14676/tid=14679] ppid=14673 vsize=10817488 memory=5176160 CPUtime=17.34 cores=0,2,4,6
/proc/14676/task/14679/stat : 14679 (java) S 14673 14676 7968 0 -1 1077944384 19983 0 0 0 1665 69 0 0 20 0 17 0 14145273 11077107712 1294117 18446744073709551615 4194304 4196468 140723785769440 139785013426832 139785041594069 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20598784 140723785773457 140723785773610 140723785773610 140723785777103 0
[pid=14676/tid=14680] ppid=14673 vsize=10817488 memory=5176160 CPUtime=17.32 cores=0,2,4,6
/proc/14676/task/14680/stat : 14680 (java) S 14673 14676 7968 0 -1 1077944384 24798 0 0 0 1656 76 0 0 20 0 17 0 14145273 11077107712 1294117 18446744073709551615 4194304 4196468 140723785769440 139784652053008 139785041594069 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20598784 140723785773457 140723785773610 140723785773610 140723785777103 0
[pid=14676/tid=14681] ppid=14673 vsize=10817488 memory=5176160 CPUtime=17.48 cores=0,2,4,6
/proc/14676/task/14681/stat : 14681 (java) S 14673 14676 7968 0 -1 1077944384 15424 0 0 0 1680 68 0 0 20 0 17 0 14145273 11077107712 1294117 18446744073709551615 4194304 4196468 140723785769440 139784651000208 139785041594069 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20598784 140723785773457 140723785773610 140723785773610 140723785777103 0
[pid=14676/tid=14682] ppid=14673 vsize=10817488 memory=5176160 CPUtime=17.32 cores=0,2,4,6
/proc/14676/task/14682/stat : 14682 (java) S 14673 14676 7968 0 -1 1077944384 20234 0 0 0 1657 75 0 0 20 0 17 0 14145273 11077107712 1294117 18446744073709551615 4194304 4196468 140723785769440 139784649947408 139785041594069 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20598784 140723785773457 140723785773610 140723785773610 140723785777103 0
[pid=14676/tid=14683] ppid=14673 vsize=10817488 memory=5176160 CPUtime=4.93 cores=0,2,4,6
/proc/14676/task/14683/stat : 14683 (java) S 14673 14676 7968 0 -1 1077944384 15252 0 0 0 488 5 0 0 20 0 17 0 14145274 11077107712 1294117 18446744073709551615 4194304 4196468 140723785769440 139784082140016 139785041595010 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20598784 140723785773457 140723785773610 140723785773610 140723785777103 0
[pid=14676/tid=14684] ppid=14673 vsize=10817488 memory=5176160 CPUtime=0 cores=0,2,4,6
/proc/14676/task/14684/stat : 14684 (java) S 14673 14676 7968 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 17 0 14145275 11077107712 1294117 18446744073709551615 4194304 4196468 140723785769440 139784081086048 139785041594069 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20598784 140723785773457 140723785773610 140723785773610 140723785777103 0
[pid=14676/tid=14685] ppid=14673 vsize=10817488 memory=5176160 CPUtime=0 cores=0,2,4,6
/proc/14676/task/14685/stat : 14685 (java) S 14673 14676 7968 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 17 0 14145275 11077107712 1294117 18446744073709551615 4194304 4196468 140723785769440 139784080033152 139785041594069 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20598784 140723785773457 140723785773610 140723785773610 140723785777103 0
[pid=14676/tid=14686] ppid=14673 vsize=10817488 memory=5176160 CPUtime=0 cores=0,2,4,6
/proc/14676/task/14686/stat : 14686 (java) S 14673 14676 7968 0 -1 1077944384 227 0 0 0 0 0 0 0 20 0 17 0 14145277 11077107712 1294117 18446744073709551615 4194304 4196468 140723785769440 139784078981456 139785041602459 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20598784 140723785773457 140723785773610 140723785773610 140723785777103 0
[pid=14676/tid=14687] ppid=14673 vsize=10817488 memory=164 CPUtime=2.1 cores=0,2,4,6
/proc/14676/task/14687/stat : 14687 (java) S 14673 14676 7968 0 -1 1077944384 14235 0 0 0 207 3 0 0 20 0 17 0 14145277 11077107712 1294117 18446744073709551615 4194304 4196468 140723785769440 139784077928816 139785041595010 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20598784 140723785773457 140723785773610 140723785773610 140723785777103 0
[pid=14676/tid=14688] ppid=14673 vsize=10817488 memory=1440 CPUtime=2.31 cores=0,2,4,6
/proc/14676/task/14688/stat : 14688 (java) S 14673 14676 7968 0 -1 1077944384 18067 0 0 0 228 3 0 0 20 0 17 0 14145277 11077107712 1294117 18446744073709551615 4194304 4196468 140723785769440 139784076876016 139785041595010 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20598784 140723785773457 140723785773610 140723785773610 140723785777103 0
[pid=14676/tid=14689] ppid=14673 vsize=10817488 memory=-8774313645642428999 CPUtime=0.52 cores=0,2,4,6
/proc/14676/task/14689/stat : 14689 (java) R 14673 14676 7968 0 -1 4202560 7519 0 0 0 50 2 0 0 20 0 17 0 14145277 11077107712 1294117 18446744073709551615 4194304 4196468 140723785769440 139784075821008 139785020524639 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20598784 140723785773457 140723785773610 140723785773610 140723785777103 0
[pid=14676/tid=14690] ppid=14673 vsize=10817488 memory=1200 CPUtime=0 cores=0,2,4,6
/proc/14676/task/14690/stat : 14690 (java) S 14673 14676 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 14145277 11077107712 1294117 18446744073709551615 4194304 4196468 140723785769440 139784074770656 139785041594069 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20598784 140723785773457 140723785773610 140723785773610 140723785777103 0
[pid=14676/tid=14691] ppid=14673 vsize=10817488 memory=5176160 CPUtime=1.68 cores=0,2,4,6
/proc/14676/task/14691/stat : 14691 (java) S 14673 14676 7968 0 -1 1077944384 2164 0 0 0 82 86 0 0 20 0 17 0 14145284 11077107712 1294117 18446744073709551615 4194304 4196468 140723785769440 139783602957488 139785041595010 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20598784 140723785773457 140723785773610 140723785773610 140723785777103 0
[pid=14676/tid=15019] ppid=14673 vsize=10817488 memory=5176160 CPUtime=0 cores=0,2,4,6
/proc/14676/task/15019/stat : 15019 (java) S 14673 14676 7968 0 -1 1077944384 178 0 0 0 0 0 0 0 20 0 17 0 14391456 11077107712 1294117 18446744073709551615 4194304 4196468 140723785769440 139783600849520 139785041594069 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20598784 140723785773457 140723785773610 140723785773610 140723785777103 0
[pid=14676/tid=15020] ppid=14673 vsize=10817488 memory=5176160 CPUtime=0 cores=0,2,4,6
/proc/14676/task/15020/stat : 15020 (java) R 14673 14676 7968 0 -1 4202560 150 0 0 0 0 0 0 0 20 0 17 0 14391456 11077107712 1294117 18446744073709551615 4194304 4196468 140723785769440 139783599792816 139784682569977 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20598784 140723785773457 140723785773610 140723785773610 140723785777103 0
Current children cumulated CPU time: 2520.11 s
Current children cumulated vsize: 10817488 KiB
Current children cumulated memory: 5176468 KiB

Child status: 143
Real time (s): 2462.15
CPU time (s): 2520.16
CPU user time (s): 2515.96
CPU system time (s): 4.19633
CPU usage (%): 102.356
Max. virtual memory (cumulated for all children) (KiB): 10817488
Max. memory (cumulated for all children) (KiB): 5176468

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.96
system time used= 4.19633
maximum resident set size= 5179912
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 419869
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1736
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 57571
involuntary context switches= 3800


# summary of solver processes directly reported to runsolver:
#   pid: 14676
#   total CPU time (s): 2520.16
#   total CPU user time (s): 2515.96
#   total CPU system time (s): 4.19633

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.7217 second user time and 23.0217 second system time

The end

Launcher Data 

Begin job on node128 at 2017-08-13 07:23:09
IDJOB=4263167
IDBENCH=115889
IDSOLVER=2651
FILE ID=node128/4263167-1502602626
RUNJOBID= node128-1502582933-8032
PBS_JOBID= 
Free space on /tmp= 62028 MiB

SOLVER NAME= sat4j-CSP 2017-07-05
BENCH NAME= XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-14.xml
COMMAND LINE= java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4263167-1502602626/watcher-4263167-1502602626 -o /tmp/evaluation-result-4263167-1502602626/solver-4263167-1502602626 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node128-1502582933-8032 --watchdog 2580  java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4263167-1502602626.xml

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

MD5SUM BENCH= 24e7c51735ec9671261d78753301e43f
RANDOM SEED=1316083052

node128.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.94
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.94
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.94
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.94
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:        30958652 kB
MemAvailable:   31482704 kB
Buffers:          117196 kB
Cached:           695384 kB
SwapCached:            0 kB
Active:           773820 kB
Inactive:         629532 kB
Active(anon):     590988 kB
Inactive(anon):    16764 kB
Active(file):     182832 kB
Inactive(file):   612768 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              1672 kB
Writeback:             0 kB
AnonPages:        596096 kB
Mapped:            43924 kB
Shmem:             17116 kB
Slab:             112932 kB
SReclaimable:      88572 kB
SUnreclaim:        24360 kB
KernelStack:        3744 kB
PageTables:         6184 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1107320 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    530432 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      132480 kB
DirectMap2M:    33413120 kB

Free space on /tmp at the end= 62028 MiB
End job on node128 at 2017-08-13 08:04:11