Trace number 4257874

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) 252.101 222.136

General information on the benchmark

NameBinPacking/
BinPacking-mdd-ft/BinPacking-mdd-ft120-11.xml
MD5SUM7c2bd2aca8e68eed10397cff07eceed9
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark7
Best CPU time to get the best result obtained on this benchmark249.924
Satisfiable
(Un)Satisfiability was proved
Number of variables145
Number of constraints51
Number of domains2
Minimum domain size49
Maximum domain size87
Distribution of domain sizes[{"size":49,"count":1},{"size":87,"count":144}]
Minimum variable degree2
Maximum variable degree4
Distribution of variable degrees[{"degree":2,"count":1},{"degree":3,"count":96},{"degree":4,"count":48}]
Minimum constraint arity3
Maximum constraint arity144
Distribution of constraint arities[{"arity":3,"count":48},{"arity":49,"count":1},{"arity":144,"count":2}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"mdd","count":48},{"type":"lex","count":1},{"type":"count","count":1},{"type":"cardinality","count":1}]
Optimization problemYES
Type of objectivemax VAR

Solver Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4257874-1502649472/watcher-4257874-1502649472 -o /tmp/evaluation-result-4257874-1502649472/solver-4257874-1502649472 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502642200-6040 --watchdog 312 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4257874-1502649472.xml 

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

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


[startup+0.1002 s]*
/proc/loadavg: 2.39 3.26 3.55 3/205 14747
/proc/meminfo: memFree=29195152/32770624 swapFree=67108860/67108860
[pid=14738] ppid=14735 vsize=10417928 memory=23288 CPUtime=0.04 cores=0,2,4,6
/proc/14738/stat : 14738 (java) S 14735 14738 17093 0 -1 1077944320 4746 0 0 0 4 0 0 0 20 0 13 0 67140495 10667958272 5822 18446744073709551615 4194304 4196468 140727830751072 140727830733616 139669117488887 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 5 0 0 6293624 6294260 21950464 140727830757781 140727830757934 140727830757934 140727830761423 0
/proc/14738/statm: 2604482 5822 2518 1 0 2593979 0
[pid=14738/tid=14740] ppid=14735 vsize=10418956 memory=4206751525541407381 CPUtime=0.04 cores=0,2,4,6
/proc/14738/task/14740/stat : 14740 (java) R 14735 14738 17093 0 -1 4202560 2960 0 0 0 4 0 0 0 20 0 14 0 67140501 10669010944 5888 18446744073709551615 4194304 4196468 140727830751072 139669121730912 139669110167061 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21950464 140727830757781 140727830757934 140727830757934 140727830761423 0
[pid=14738/tid=14741] ppid=14735 vsize=10418956 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/14738/task/14741/stat : 14741 (java) S 14735 14738 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 67140502 10669010944 5888 18446744073709551615 4194304 4196468 140727830751072 139669058526096 139669117499093 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21950464 140727830757781 140727830757934 140727830757934 140727830761423 0
[pid=14738/tid=14742] ppid=14735 vsize=10418956 memory=140120169981568 CPUtime=0 cores=0,2,4,6
/proc/14738/task/14742/stat : 14742 (java) S 14735 14738 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 67140502 10669010944 5888 18446744073709551615 4194304 4196468 140727830751072 139669057473296 139669117499093 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21950464 140727830757781 140727830757934 140727830757934 140727830761423 0
[pid=14738/tid=14743] ppid=14735 vsize=10484492 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14738/task/14743/stat : 14743 (java) S 14735 14738 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 67140502 10736119808 5889 18446744073709551615 4194304 4196468 140727830751072 139669056421008 139669117499093 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21950464 140727830757781 140727830757934 140727830757934 140727830761423 0
[pid=14738/tid=14744] ppid=14735 vsize=10484492 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14738/task/14744/stat : 14744 (java) S 14735 14738 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 67140502 10736119808 5889 18446744073709551615 4194304 4196468 140727830751072 139669055368208 139669117499093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21950464 140727830757781 140727830757934 140727830757934 140727830761423 0
[pid=14738/tid=14745] ppid=14735 vsize=10484492 memory=140120169981568 CPUtime=0 cores=0,2,4,6
/proc/14738/task/14745/stat : 14745 (java) S 14735 14738 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 67140503 10736119808 5889 18446744073709551615 4194304 4196468 140727830751072 139668612737136 139669117500034 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21950464 140727830757781 140727830757934 140727830757934 140727830761423 0
[pid=14738/tid=14746] ppid=14735 vsize=10484492 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14738/task/14746/stat : 14746 (java) S 14735 14738 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 67140503 10736119808 5889 18446744073709551615 4194304 4196468 140727830751072 139668611683104 139669117499093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21950464 140727830757781 140727830757934 140727830757934 140727830761423 0
[pid=14738/tid=14747] ppid=14735 vsize=10484492 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14738/task/14747/stat : 14747 (java) S 14735 14738 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 67140504 10736119808 5889 18446744073709551615 4194304 4196468 140727830751072 139668610630768 139669117499093 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21950464 140727830757781 140727830757934 140727830757934 140727830761423 0
[pid=14738/tid=14748] ppid=14735 vsize=10484492 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14738/task/14748/stat : 14748 (java) S 14735 14738 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 67140506 10736119808 5889 18446744073709551615 4194304 4196468 140727830751072 139668609579088 139669117507483 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21950464 140727830757781 140727830757934 140727830757934 140727830761423 0
[pid=14738/tid=14749] ppid=14735 vsize=10484492 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14738/task/14749/stat : 14749 (java) R 14735 14738 17093 0 -1 4202560 306 0 0 0 0 0 0 0 20 0 14 0 67140506 10736119808 5889 18446744073709551615 4194304 4196468 140727830751072 139668608520232 139669099011430 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21950464 140727830757781 140727830757934 140727830757934 140727830761423 0
[pid=14738/tid=14750] ppid=14735 vsize=10484492 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14738/task/14750/stat : 14750 (java) R 14735 14738 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 67140506 10736119808 5889 18446744073709551615 4194304 4196468 140727830751072 139668607473856 139669117499093 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21950464 140727830757781 140727830757934 140727830757934 140727830761423 0
[pid=14738/tid=14751] ppid=14735 vsize=10484492 memory=140120169981568 CPUtime=0 cores=0,2,4,6
/proc/14738/task/14751/stat : 14751 (java) S 14735 14738 17093 0 -1 1077944384 206 0 0 0 0 0 0 0 20 0 14 0 67140506 10736119808 5889 18446744073709551615 4194304 4196468 140727830751072 139668606421872 139669117500034 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21950464 140727830757781 140727830757934 140727830757934 140727830761423 0
[pid=14738/tid=14752] ppid=14735 vsize=10484492 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14738/task/14752/stat : 14752 (java) S 14735 14738 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 67140506 10736119808 5889 18446744073709551615 4194304 4196468 140727830751072 139668605369312 139669117499093 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21950464 140727830757781 140727830757934 140727830757934 140727830761423 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 10417928 KiB
Current children cumulated memory: 23288 KiB

[startup+0.213759 s]*
/proc/loadavg: 2.39 3.26 3.55 6/211 14753
/proc/meminfo: memFree=29185952/32770624 swapFree=67108860/67108860
[pid=14738] ppid=14735 vsize=10551156 memory=30872 CPUtime=0.17 cores=0,2,4,6
/proc/14738/stat : 14738 (java) S 14735 14738 17093 0 -1 1077944320 8053 0 0 0 15 2 0 0 20 0 15 0 67140495 10804383744 7718 18446744073709551615 4194304 4196468 140727830751072 140727830733616 139669117488887 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 5 0 0 6293624 6294260 21950464 140727830757781 140727830757934 140727830757934 140727830761423 0
/proc/14738/statm: 2637789 7718 2827 1 0 2627261 0
[pid=14738/tid=14740] ppid=14735 vsize=10551156 memory=8318255677412212789 CPUtime=0.11 cores=0,2,4,6
/proc/14738/task/14740/stat : 14740 (java) R 14735 14738 17093 0 -1 4202560 5755 0 0 0 10 1 0 0 20 0 15 0 67140501 10804383744 7718 18446744073709551615 4194304 4196468 140727830751072 139669121721104 139669117512477 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 21950464 140727830757781 140727830757934 140727830757934 140727830761423 0
[pid=14738/tid=14741] ppid=14735 vsize=10551156 memory=330 CPUtime=0 cores=0,2,4,6
/proc/14738/task/14741/stat : 14741 (java) S 14735 14738 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67140502 10804383744 7718 18446744073709551615 4194304 4196468 140727830751072 139669058526096 139669117499093 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21950464 140727830757781 140727830757934 140727830757934 140727830761423 0
[pid=14738/tid=14742] ppid=14735 vsize=10551156 memory=288370496321693312 CPUtime=0 cores=0,2,4,6
/proc/14738/task/14742/stat : 14742 (java) S 14735 14738 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67140502 10804383744 7718 18446744073709551615 4194304 4196468 140727830751072 139669057473296 139669117499093 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21950464 140727830757781 140727830757934 140727830757934 140727830761423 0
[pid=14738/tid=14743] ppid=14735 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14738/task/14743/stat : 14743 (java) S 14735 14738 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67140502 10804383744 7718 18446744073709551615 4194304 4196468 140727830751072 139669056421008 139669117499093 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21950464 140727830757781 140727830757934 140727830757934 140727830761423 0
[pid=14738/tid=14744] ppid=14735 vsize=10551156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14738/task/14744/stat : 14744 (java) S 14735 14738 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67140502 10804383744 7718 18446744073709551615 4194304 4196468 140727830751072 139669055368208 139669117499093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21950464 140727830757781 140727830757934 140727830757934 140727830761423 0
[pid=14738/tid=14745] ppid=14735 vsize=10551156 memory=140120169981568 CPUtime=0 cores=0,2,4,6
/proc/14738/task/14745/stat : 14745 (java) S 14735 14738 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67140503 10804383744 7718 18446744073709551615 4194304 4196468 140727830751072 139668612737136 139669117500034 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21950464 140727830757781 140727830757934 140727830757934 140727830761423 0
[pid=14738/tid=14746] ppid=14735 vsize=10551156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14738/task/14746/stat : 14746 (java) S 14735 14738 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 67140503 10804383744 7718 18446744073709551615 4194304 4196468 140727830751072 139668611683104 139669117499093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21950464 140727830757781 140727830757934 140727830757934 140727830761423 0
[pid=14738/tid=14747] ppid=14735 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14738/task/14747/stat : 14747 (java) S 14735 14738 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 67140504 10804383744 7718 18446744073709551615 4194304 4196468 140727830751072 139668610630768 139669117499093 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21950464 140727830757781 140727830757934 140727830757934 140727830761423 0
[pid=14738/tid=14748] ppid=14735 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14738/task/14748/stat : 14748 (java) S 14735 14738 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67140506 10804383744 7718 18446744073709551615 4194304 4196468 140727830751072 139668609579088 139669117507483 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21950464 140727830757781 140727830757934 140727830757934 140727830761423 0
[pid=14738/tid=14749] ppid=14735 vsize=10551156 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/14738/task/14749/stat : 14749 (java) S 14735 14738 17093 0 -1 1077944384 485 0 0 0 1 0 0 0 20 0 15 0 67140506 10804383744 7718 18446744073709551615 4194304 4196468 140727830751072 139668608526960 139669117500034 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21950464 140727830757781 140727830757934 140727830757934 140727830761423 0
[pid=14738/tid=14750] ppid=14735 vsize=10551156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14738/task/14750/stat : 14750 (java) S 14735 14738 17093 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 67140506 10804383744 7718 18446744073709551615 4194304 4196468 140727830751072 139668607474160 139669117500034 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21950464 140727830757781 140727830757934 140727830757934 140727830761423 0
[pid=14738/tid=14751] ppid=14735 vsize=10551156 memory=140120169981568 CPUtime=0.02 cores=0,2,4,6
/proc/14738/task/14751/stat : 14751 (java) S 14735 14738 17093 0 -1 1077944384 382 0 0 0 2 0 0 0 20 0 15 0 67140506 10804383744 7718 18446744073709551615 4194304 4196468 140727830751072 139668606421872 139669117500034 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21950464 140727830757781 140727830757934 140727830757934 140727830761423 0
[pid=14738/tid=14752] ppid=14735 vsize=10551156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14738/task/14752/stat : 14752 (java) S 14735 14738 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67140506 10804383744 7718 18446744073709551615 4194304 4196468 140727830751072 139668605369312 139669117499093 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21950464 140727830757781 140727830757934 140727830757934 140727830761423 0
[pid=14738/tid=14753] ppid=14735 vsize=10551156 memory=140120169981568 CPUtime=0 cores=0,2,4,6
/proc/14738/task/14753/stat : 14753 (java) S 14735 14738 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67140510 10804383744 7718 18446744073709551615 4194304 4196468 140727830751072 139668604316080 139669117500034 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21950464 140727830757781 140727830757934 140727830757934 140727830761423 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 10551156 KiB
Current children cumulated memory: 30872 KiB

[startup+0.310169 s]*
/proc/loadavg: 2.39 3.26 3.55 5/211 14753
/proc/meminfo: memFree=29180548/32770624 swapFree=67108860/67108860
[pid=14738] ppid=14735 vsize=10551156 memory=37696 CPUtime=0.3 cores=0,2,4,6
/proc/14738/stat : 14738 (java) S 14735 14738 17093 0 -1 1077944320 9391 0 0 0 28 2 0 0 20 0 15 0 67140495 10804383744 9424 18446744073709551615 4194304 4196468 140727830751072 140727830733616 139669117488887 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 5 0 0 6293624 6294260 21950464 140727830757781 140727830757934 140727830757934 140727830761423 0
/proc/14738/statm: 2637789 9424 2869 1 0 2627261 0
[pid=14738/tid=14740] ppid=14735 vsize=10551156 memory=-7677926825137650786 CPUtime=0.21 cores=0,2,4,6
/proc/14738/task/14740/stat : 14740 (java) R 14735 14738 17093 0 -1 4202560 6969 0 0 0 20 1 0 0 20 0 15 0 67140501 10804383744 9424 18446744073709551615 4194304 4196468 140727830751072 139669121717680 139668729461328 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 21950464 140727830757781 140727830757934 140727830757934 140727830761423 0
[pid=14738/tid=14741] ppid=14735 vsize=10551156 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/14738/task/14741/stat : 14741 (java) S 14735 14738 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67140502 10804383744 9424 18446744073709551615 4194304 4196468 140727830751072 139669058526096 139669117499093 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21950464 140727830757781 140727830757934 140727830757934 140727830761423 0
[pid=14738/tid=14742] ppid=14735 vsize=10551156 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/14738/task/14742/stat : 14742 (java) S 14735 14738 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67140502 10804383744 9424 18446744073709551615 4194304 4196468 140727830751072 139669057473296 139669117499093 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21950464 140727830757781 140727830757934 140727830757934 140727830761423 0
[pid=14738/tid=14743] ppid=14735 vsize=10551156 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/14738/task/14743/stat : 14743 (java) S 14735 14738 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67140502 10804383744 9424 18446744073709551615 4194304 4196468 140727830751072 139669056421008 139669117499093 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21950464 140727830757781 140727830757934 140727830757934 140727830761423 0
[pid=14738/tid=14744] ppid=14735 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14738/task/14744/stat : 14744 (java) S 14735 14738 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67140502 10804383744 9424 18446744073709551615 4194304 4196468 140727830751072 139669055368208 139669117499093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21950464 140727830757781 140727830757934 140727830757934 140727830761423 0
[pid=14738/tid=14745] ppid=14735 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14738/task/14745/stat : 14745 (java) S 14735 14738 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67140503 10804383744 9424 18446744073709551615 4194304 4196468 140727830751072 139668612737136 139669117500034 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21950464 140727830757781 140727830757934 140727830757934 140727830761423 0
[pid=14738/tid=14746] ppid=14735 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14738/task/14746/stat : 14746 (java) S 14735 14738 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 67140503 10804383744 9424 18446744073709551615 4194304 4196468 140727830751072 139668611683104 139669117499093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21950464 140727830757781 140727830757934 140727830757934 140727830761423 0
[pid=14738/tid=14747] ppid=14735 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14738/task/14747/stat : 14747 (java) S 14735 14738 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 67140504 10804383744 9424 18446744073709551615 4194304 4196468 140727830751072 139668610630768 139669117499093 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21950464 140727830757781 140727830757934 140727830757934 140727830761423 0
[pid=14738/tid=14748] ppid=14735 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14738/task/14748/stat : 14748 (java) S 14735 14738 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67140506 10804383744 9424 18446744073709551615 4194304 4196468 140727830751072 139668609579088 139669117507483 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21950464 140727830757781 140727830757934 140727830757934 140727830761423 0
[pid=14738/tid=14749] ppid=14735 vsize=10551156 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/14738/task/14749/stat : 14749 (java) S 14735 14738 17093 0 -1 1077944384 525 0 0 0 1 0 0 0 20 0 15 0 67140506 10804383744 9424 18446744073709551615 4194304 4196468 140727830751072 139668608526960 139669117500034 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21950464 140727830757781 140727830757934 140727830757934 140727830761423 0
[pid=14738/tid=14750] ppid=14735 vsize=10551156 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/14738/task/14750/stat : 14750 (java) S 14735 14738 17093 0 -1 1077944384 90 0 0 0 1 0 0 0 20 0 15 0 67140506 10804383744 9424 18446744073709551615 4194304 4196468 140727830751072 139668607474160 139669117500034 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21950464 140727830757781 140727830757934 140727830757934 140727830761423 0
[pid=14738/tid=14751] ppid=14735 vsize=10551156 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/14738/task/14751/stat : 14751 (java) S 14735 14738 17093 0 -1 1077944384 444 0 0 0 5 0 0 0 20 0 15 0 67140506 10804383744 9424 18446744073709551615 4194304 4196468 140727830751072 139668606421872 139669117500034 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21950464 140727830757781 140727830757934 140727830757934 140727830761423 0
[pid=14738/tid=14752] ppid=14735 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14738/task/14752/stat : 14752 (java) S 14735 14738 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67140506 10804383744 9424 18446744073709551615 4194304 4196468 140727830751072 139668605369312 139669117499093 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21950464 140727830757781 140727830757934 140727830757934 140727830761423 0
[pid=14738/tid=14753] ppid=14735 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14738/task/14753/stat : 14753 (java) S 14735 14738 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67140510 10804383744 9424 18446744073709551615 4194304 4196468 140727830751072 139668604316080 139669117500034 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21950464 140727830757781 140727830757934 140727830757934 140727830761423 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 10551156 KiB
Current children cumulated memory: 37696 KiB

[startup+0.700731 s]
/proc/loadavg: 2.39 3.26 3.55 5/211 14753
/proc/meminfo: memFree=29162340/32770624 swapFree=67108860/67108860
[pid=14738] ppid=14735 vsize=10551232 memory=109604 CPUtime=1.38 cores=0,2,4,6
/proc/14738/stat : 14738 (java) S 14735 14738 17093 0 -1 1077944320 11944 0 0 0 134 4 0 0 20 0 15 0 67140495 10804461568 27401 18446744073709551615 4194304 4196468 140727830751072 140727830733616 139669117488887 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 5 0 0 6293624 6294260 21950464 140727830757781 140727830757934 140727830757934 140727830761423 0
/proc/14738/statm: 2637808 27401 3054 1 0 2627261 0
[pid=14738/tid=14740] ppid=14735 vsize=10551232 memory=33 CPUtime=0.59 cores=0,2,4,6
/proc/14738/task/14740/stat : 14740 (java) R 14735 14738 17093 0 -1 4202560 7475 0 0 0 56 3 0 0 20 0 15 0 67140501 10804461568 27401 18446744073709551615 4194304 4196468 140727830751072 139669121725392 139668732222350 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 21950464 140727830757781 140727830757934 140727830757934 140727830761423 0
[pid=14738/tid=14741] ppid=14735 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14738/task/14741/stat : 14741 (java) S 14735 14738 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67140502 10804461568 27401 18446744073709551615 4194304 4196468 140727830751072 139669058526096 139669117499093 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21950464 140727830757781 140727830757934 140727830757934 140727830761423 0
[pid=14738/tid=14742] ppid=14735 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14738/task/14742/stat : 14742 (java) S 14735 14738 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67140502 10804461568 27401 18446744073709551615 4194304 4196468 140727830751072 139669057473296 139669117499093 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21950464 140727830757781 140727830757934 140727830757934 140727830761423 0
[pid=14738/tid=14743] ppid=14735 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14738/task/14743/stat : 14743 (java) S 14735 14738 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67140502 10804461568 27401 18446744073709551615 4194304 4196468 140727830751072 139669056421008 139669117499093 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21950464 140727830757781 140727830757934 140727830757934 140727830761423 0
[pid=14738/tid=14744] ppid=14735 vsize=10551232 memory=1152 CPUtime=0 cores=0,2,4,6
/proc/14738/task/14744/stat : 14744 (java) S 14735 14738 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67140502 10804461568 27401 18446744073709551615 4194304 4196468 140727830751072 139669055368208 139669117499093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21950464 140727830757781 140727830757934 140727830757934 140727830761423 0
[pid=14738/tid=14745] ppid=14735 vsize=10551232 memory=2876 CPUtime=0 cores=0,2,4,6
/proc/14738/task/14745/stat : 14745 (java) S 14735 14738 17093 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 67140503 10804461568 27401 18446744073709551615 4194304 4196468 140727830751072 139668612737136 139669117500034 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21950464 140727830757781 140727830757934 140727830757934 140727830761423 0
[pid=14738/tid=14746] ppid=14735 vsize=10551232 memory=2353844 CPUtime=0 cores=0,2,4,6
/proc/14738/task/14746/stat : 14746 (java) S 14735 14738 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 67140503 10804461568 27401 18446744073709551615 4194304 4196468 140727830751072 139668611683104 139669117499093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21950464 140727830757781 140727830757934 140727830757934 140727830761423 0
[pid=14738/tid=14747] ppid=14735 vsize=10551232 memory=1160 CPUtime=0 cores=0,2,4,6
/proc/14738/task/14747/stat : 14747 (java) S 14735 14738 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 67140504 10804461568 27401 18446744073709551615 4194304 4196468 140727830751072 139668610630768 139669117499093 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21950464 140727830757781 140727830757934 140727830757934 140727830761423 0
[pid=14738/tid=14748] ppid=14735 vsize=10551232 memory=4641333681340897125 CPUtime=0 cores=0,2,4,6
/proc/14738/task/14748/stat : 14748 (java) S 14735 14738 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67140506 10804461568 27401 18446744073709551615 4194304 4196468 140727830751072 139668609579088 139669117507483 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21950464 140727830757781 140727830757934 140727830757934 140727830761423 0
[pid=14738/tid=14749] ppid=14735 vsize=10551232 memory=7955720137907529297 CPUtime=0.28 cores=0,2,4,6
/proc/14738/task/14749/stat : 14749 (java) R 14735 14738 17093 0 -1 4202560 1032 0 0 0 28 0 0 0 20 0 15 0 67140506 10804461568 27401 18446744073709551615 4194304 4196468 140727830751072 139668608526960 139669117510234 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21950464 140727830757781 140727830757934 140727830757934 140727830761423 0
[pid=14738/tid=14750] ppid=14735 vsize=10551232 memory=7809617114362637412 CPUtime=0.26 cores=0,2,4,6
/proc/14738/task/14750/stat : 14750 (java) R 14735 14738 17093 0 -1 4202560 915 0 0 0 26 0 0 0 20 0 15 0 67140506 10804461568 27401 18446744073709551615 4194304 4196468 140727830751072 139668607463952 139669097332481 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21950464 140727830757781 140727830757934 140727830757934 140727830761423 0
[pid=14738/tid=14751] ppid=14735 vsize=10551232 memory=7668012111147524688 CPUtime=0.22 cores=0,2,4,6
/proc/14738/task/14751/stat : 14751 (java) S 14735 14738 17093 0 -1 1077944384 1152 0 0 0 22 0 0 0 20 0 15 0 67140506 10804461568 27401 18446744073709551615 4194304 4196468 140727830751072 139668606421872 139669117500034 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21950464 140727830757781 140727830757934 140727830757934 140727830761423 0
[pid=14738/tid=14752] ppid=14735 vsize=10551232 memory=6083073826404722793 CPUtime=0 cores=0,2,4,6
/proc/14738/task/14752/stat : 14752 (java) S 14735 14738 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67140506 10804461568 27401 18446744073709551615 4194304 4196468 140727830751072 139668605369312 139669117499093 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21950464 140727830757781 140727830757934 140727830757934 140727830761423 0
[pid=14738/tid=14753] ppid=14735 vsize=10551232 memory=6154282490091891024 CPUtime=0 cores=0,2,4,6
/proc/14738/task/14753/stat : 14753 (java) S 14735 14738 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67140510 10804461568 27401 18446744073709551615 4194304 4196468 140727830751072 139668604316080 139669117500034 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21950464 140727830757781 140727830757934 140727830757934 140727830761423 0
Current children cumulated CPU time: 1.38 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 109604 KiB

[startup+1.50082 s]
/proc/loadavg: 2.39 3.26 3.55 5/211 14753
/proc/meminfo: memFree=28995296/32770624 swapFree=67108860/67108860
[pid=14738] ppid=14735 vsize=10551232 memory=404052 CPUtime=3.7 cores=0,2,4,6
/proc/14738/stat : 14738 (java) S 14735 14738 17093 0 -1 1077944320 17053 0 0 0 349 21 0 0 20 0 15 0 67140495 10804461568 101013 18446744073709551615 4194304 4196468 140727830751072 140727830733616 139669117488887 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 5 0 0 6293624 6294260 21950464 140727830757781 140727830757934 140727830757934 140727830761423 0
/proc/14738/statm: 2637808 101013 3088 1 0 2627261 0
[pid=14738/tid=14740] ppid=14735 vsize=10551232 memory=311516 CPUtime=1.23 cores=0,2,4,6
/proc/14738/task/14740/stat : 14740 (java) R 14735 14738 17093 0 -1 4202560 7569 0 0 0 117 6 0 0 20 0 15 0 67140501 10804461568 101013 18446744073709551615 4194304 4196468 140727830751072 139669121725632 139668732648179 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 21950464 140727830757781 140727830757934 140727830757934 140727830761423 0
[pid=14738/tid=14741] ppid=14735 vsize=10551232 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/14738/task/14741/stat : 14741 (java) S 14735 14738 17093 0 -1 1077944384 56 0 0 0 8 3 0 0 20 0 15 0 67140502 10804461568 101013 18446744073709551615 4194304 4196468 140727830751072 139669058526096 139669117499093 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21950464 140727830757781 140727830757934 140727830757934 140727830761423 0
[pid=14738/tid=14742] ppid=14735 vsize=10551232 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/14738/task/14742/stat : 14742 (java) S 14735 14738 17093 0 -1 1077944384 281 0 0 0 10 3 0 0 20 0 15 0 67140502 10804461568 101013 18446744073709551615 4194304 4196468 140727830751072 139669057473296 139669117499093 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21950464 140727830757781 140727830757934 140727830757934 140727830761423 0
[pid=14738/tid=14743] ppid=14735 vsize=10551232 memory=7649399384265143345 CPUtime=0.12 cores=0,2,4,6
/proc/14738/task/14743/stat : 14743 (java) S 14735 14738 17093 0 -1 1077944384 146 0 0 0 9 3 0 0 20 0 15 0 67140502 10804461568 101013 18446744073709551615 4194304 4196468 140727830751072 139669056421008 139669117499093 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21950464 140727830757781 140727830757934 140727830757934 140727830761423 0
[pid=14738/tid=14744] ppid=14735 vsize=10551232 memory=5859271421085237344 CPUtime=0.12 cores=0,2,4,6
/proc/14738/task/14744/stat : 14744 (java) S 14735 14738 17093 0 -1 1077944384 85 0 0 0 9 3 0 0 20 0 15 0 67140502 10804461568 101013 18446744073709551615 4194304 4196468 140727830751072 139669055368208 139669117499093 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21950464 140727830757781 140727830757934 140727830757934 140727830761423 0
[pid=14738/tid=14745] ppid=14735 vsize=10551232 memory=68 CPUtime=0 cores=0,2,4,6
/proc/14738/task/14745/stat : 14745 (java) S 14735 14738 17093 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 67140503 10804461568 101013 18446744073709551615 4194304 4196468 140727830751072 139668612737136 139669117500034 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21950464 140727830757781 140727830757934 140727830757934 140727830761423 0
[pid=14738/tid=14746] ppid=14735 vsize=10551232 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/14738/task/14746/stat : 14746 (java) S 14735 14738 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 67140503 10804461568 101013 18446744073709551615 4194304 4196468 140727830751072 139668611683104 139669117499093 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21950464 140727830757781 140727830757934 140727830757934 140727830761423 0

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

/proc/14738/task/14746/stat : 14746 (java) S 14735 14738 17093 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 67140503 10872623104 784565 18446744073709551615 4194304 4196468 140727830751072 139668611683168 139669117499093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21950464 140727830757781 140727830757934 140727830757934 140727830761423 0
[pid=14738/tid=14747] ppid=14735 vsize=10617796 memory=2420 CPUtime=0 cores=0,2,4,6
/proc/14738/task/14747/stat : 14747 (java) S 14735 14738 17093 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 16 0 67140504 10872623104 784565 18446744073709551615 4194304 4196468 140727830751072 139668610630784 139669117499093 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21950464 140727830757781 140727830757934 140727830757934 140727830761423 0
[pid=14738/tid=14748] ppid=14735 vsize=10617796 memory=3138260 CPUtime=0 cores=0,2,4,6
/proc/14738/task/14748/stat : 14748 (java) S 14735 14738 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 67140506 10872623104 784565 18446744073709551615 4194304 4196468 140727830751072 139668609579088 139669117507483 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21950464 140727830757781 140727830757934 140727830757934 140727830761423 0
[pid=14738/tid=14749] ppid=14735 vsize=10617796 memory=2248 CPUtime=4.55 cores=0,2,4,6
/proc/14738/task/14749/stat : 14749 (java) S 14735 14738 17093 0 -1 1077944384 27107 0 0 0 451 4 0 0 20 0 16 0 67140506 10872623104 784565 18446744073709551615 4194304 4196468 140727830751072 139668608526960 139669117500034 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21950464 140727830757781 140727830757934 140727830757934 140727830761423 0
[pid=14738/tid=14750] ppid=14735 vsize=10617796 memory=3138260 CPUtime=3.66 cores=0,2,4,6
/proc/14738/task/14750/stat : 14750 (java) S 14735 14738 17093 0 -1 1077944384 23111 0 0 0 363 3 0 0 20 0 16 0 67140506 10872623104 784565 18446744073709551615 4194304 4196468 140727830751072 139668607474160 139669117500034 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21950464 140727830757781 140727830757934 140727830757934 140727830761423 0
[pid=14738/tid=14751] ppid=14735 vsize=10617796 memory=1624 CPUtime=0.43 cores=0,2,4,6
/proc/14738/task/14751/stat : 14751 (java) S 14735 14738 17093 0 -1 1077944384 5348 0 0 0 42 1 0 0 20 0 16 0 67140506 10872623104 784565 18446744073709551615 4194304 4196468 140727830751072 139668606421872 139669117500034 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21950464 140727830757781 140727830757934 140727830757934 140727830761423 0
[pid=14738/tid=14752] ppid=14735 vsize=10617796 memory=15876 CPUtime=0 cores=0,2,4,6
/proc/14738/task/14752/stat : 14752 (java) S 14735 14738 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 67140506 10872623104 784565 18446744073709551615 4194304 4196468 140727830751072 139668605369312 139669117499093 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21950464 140727830757781 140727830757934 140727830757934 140727830761423 0
[pid=14738/tid=14753] ppid=14735 vsize=10617796 memory=4048 CPUtime=0.1 cores=0,2,4,6
/proc/14738/task/14753/stat : 14753 (java) S 14735 14738 17093 0 -1 1077944384 2246 0 0 0 5 5 0 0 20 0 16 0 67140510 10872623104 784565 18446744073709551615 4194304 4196468 140727830751072 139668604316080 139669117500034 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21950464 140727830757781 140727830757934 140727830757934 140727830761423 0
[pid=14738/tid=14755] ppid=14735 vsize=10617796 memory=3138260 CPUtime=0 cores=0,2,4,6
/proc/14738/task/14755/stat : 14755 (java) S 14735 14738 17093 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 67142032 10872623104 784565 18446744073709551615 4194304 4196468 140727830751072 139668603261616 139669117500034 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21950464 140727830757781 140727830757934 140727830757934 140727830761423 0
Current children cumulated CPU time: 192.37 s
Current children cumulated vsize: 10617796 KiB
Current children cumulated memory: 3138260 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+221.901 s]
/proc/loadavg: 2.11 2.72 3.28 3/211 14840
/proc/meminfo: memFree=25420828/32770624 swapFree=67108860/67108860
[pid=14738] ppid=14735 vsize=10617796 memory=3138284 CPUtime=252.02 cores=0,2,4,6
/proc/14738/stat : 14738 (java) S 14735 14738 17093 0 -1 1077944320 107809 0 0 0 24965 237 0 0 20 0 16 0 67140495 10872623104 784571 18446744073709551615 4194304 4196468 140727830751072 140727830733616 139669117488887 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 5 0 0 6293624 6294260 21950464 140727830757781 140727830757934 140727830757934 140727830761423 0
/proc/14738/statm: 2654449 784571 3144 1 0 2643902 0
[pid=14738/tid=14740] ppid=14735 vsize=10617796 memory=3138284 CPUtime=211.39 cores=0,2,4,6
/proc/14738/task/14740/stat : 14740 (java) R 14735 14738 17093 0 -1 4202560 20472 0 0 0 21127 12 0 0 20 0 16 0 67140501 10872623104 784571 18446744073709551615 4194304 4196468 140727830751072 139669121725672 139668735070989 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 21950464 140727830757781 140727830757934 140727830757934 140727830761423 0
[pid=14738/tid=14741] ppid=14735 vsize=10617796 memory=3138284 CPUtime=7.16 cores=0,2,4,6
/proc/14738/task/14741/stat : 14741 (java) S 14735 14738 17093 0 -1 1077944384 6289 0 0 0 663 53 0 0 20 0 16 0 67140502 10872623104 784571 18446744073709551615 4194304 4196468 140727830751072 139669058526096 139669117499093 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21950464 140727830757781 140727830757934 140727830757934 140727830761423 0
[pid=14738/tid=14742] ppid=14735 vsize=10617796 memory=3138284 CPUtime=7.22 cores=0,2,4,6
/proc/14738/task/14742/stat : 14742 (java) S 14735 14738 17093 0 -1 1077944384 4559 0 0 0 669 53 0 0 20 0 16 0 67140502 10872623104 784571 18446744073709551615 4194304 4196468 140727830751072 139669057473296 139669117499093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21950464 140727830757781 140727830757934 140727830757934 140727830761423 0
[pid=14738/tid=14743] ppid=14735 vsize=10617796 memory=3138284 CPUtime=7.08 cores=0,2,4,6
/proc/14738/task/14743/stat : 14743 (java) S 14735 14738 17093 0 -1 1077944384 2295 0 0 0 657 51 0 0 20 0 16 0 67140502 10872623104 784571 18446744073709551615 4194304 4196468 140727830751072 139669056421008 139669117499093 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21950464 140727830757781 140727830757934 140727830757934 140727830761423 0
[pid=14738/tid=14744] ppid=14735 vsize=10617796 memory=3138284 CPUtime=7.25 cores=0,2,4,6
/proc/14738/task/14744/stat : 14744 (java) S 14735 14738 17093 0 -1 1077944384 6595 0 0 0 675 50 0 0 20 0 16 0 67140502 10872623104 784571 18446744073709551615 4194304 4196468 140727830751072 139669055368208 139669117499093 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21950464 140727830757781 140727830757934 140727830757934 140727830761423 0
[pid=14738/tid=14745] ppid=14735 vsize=10617796 memory=3138284 CPUtime=3.04 cores=0,2,4,6
/proc/14738/task/14745/stat : 14745 (java) S 14735 14738 17093 0 -1 1077944384 8189 0 0 0 304 0 0 0 20 0 16 0 67140503 10872623104 784571 18446744073709551615 4194304 4196468 140727830751072 139668612737136 139669117500034 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21950464 140727830757781 140727830757934 140727830757934 140727830761423 0
[pid=14738/tid=14746] ppid=14735 vsize=10617796 memory=3138284 CPUtime=0 cores=0,2,4,6
/proc/14738/task/14746/stat : 14746 (java) S 14735 14738 17093 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 67140503 10872623104 784571 18446744073709551615 4194304 4196468 140727830751072 139668611683168 139669117499093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21950464 140727830757781 140727830757934 140727830757934 140727830761423 0
[pid=14738/tid=14747] ppid=14735 vsize=10617796 memory=3138284 CPUtime=0 cores=0,2,4,6
/proc/14738/task/14747/stat : 14747 (java) S 14735 14738 17093 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 16 0 67140504 10872623104 784571 18446744073709551615 4194304 4196468 140727830751072 139668610630784 139669117499093 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21950464 140727830757781 140727830757934 140727830757934 140727830761423 0
[pid=14738/tid=14748] ppid=14735 vsize=10617796 memory=1708 CPUtime=0 cores=0,2,4,6
/proc/14738/task/14748/stat : 14748 (java) S 14735 14738 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 67140506 10872623104 784571 18446744073709551615 4194304 4196468 140727830751072 139668609579088 139669117507483 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21950464 140727830757781 140727830757934 140727830757934 140727830761423 0
[pid=14738/tid=14749] ppid=14735 vsize=10617796 memory=3138284 CPUtime=4.55 cores=0,2,4,6
/proc/14738/task/14749/stat : 14749 (java) S 14735 14738 17093 0 -1 1077944384 27107 0 0 0 451 4 0 0 20 0 16 0 67140506 10872623104 784571 18446744073709551615 4194304 4196468 140727830751072 139668608526960 139669117500034 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21950464 140727830757781 140727830757934 140727830757934 140727830761423 0
[pid=14738/tid=14750] ppid=14735 vsize=10617796 memory=3138284 CPUtime=3.66 cores=0,2,4,6
/proc/14738/task/14750/stat : 14750 (java) S 14735 14738 17093 0 -1 1077944384 23111 0 0 0 363 3 0 0 20 0 16 0 67140506 10872623104 784571 18446744073709551615 4194304 4196468 140727830751072 139668607474160 139669117500034 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21950464 140727830757781 140727830757934 140727830757934 140727830761423 0
[pid=14738/tid=14751] ppid=14735 vsize=10617796 memory=4028 CPUtime=0.43 cores=0,2,4,6
/proc/14738/task/14751/stat : 14751 (java) S 14735 14738 17093 0 -1 1077944384 5467 0 0 0 42 1 0 0 20 0 16 0 67140506 10872623104 784571 18446744073709551615 4194304 4196468 140727830751072 139668606421872 139669117500034 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21950464 140727830757781 140727830757934 140727830757934 140727830761423 0
[pid=14738/tid=14752] ppid=14735 vsize=10617796 memory=4028 CPUtime=0 cores=0,2,4,6
/proc/14738/task/14752/stat : 14752 (java) S 14735 14738 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 67140506 10872623104 784571 18446744073709551615 4194304 4196468 140727830751072 139668605369312 139669117499093 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21950464 140727830757781 140727830757934 140727830757934 140727830761423 0
[pid=14738/tid=14753] ppid=14735 vsize=10617796 memory=37800 CPUtime=0.14 cores=0,2,4,6
/proc/14738/task/14753/stat : 14753 (java) S 14735 14738 17093 0 -1 1077944384 2287 0 0 0 7 7 0 0 20 0 16 0 67140510 10872623104 784571 18446744073709551615 4194304 4196468 140727830751072 139668604316080 139669117500034 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21950464 140727830757781 140727830757934 140727830757934 140727830761423 0
[pid=14738/tid=14755] ppid=14735 vsize=10617796 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/14738/task/14755/stat : 14755 (java) S 14735 14738 17093 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 67142032 10872623104 784571 18446744073709551615 4194304 4196468 140727830751072 139668603261616 139669117500034 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21950464 140727830757781 140727830757934 140727830757934 140727830761423 0
Current children cumulated CPU time: 252.02 s
Current children cumulated vsize: 10617796 KiB
Current children cumulated memory: 3138284 KiB

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

[startup+222.136 s]
# the end of solver process 14738 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=249.703 s, system=2.3978 s

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

[startup+222.005 s]*
/proc/loadavg: 2.11 2.72 3.28 2/212 14843
/proc/meminfo: memFree=25420688/32770624 swapFree=67108860/67108860
[pid=14738] ppid=14735 vsize=10817488 memory=3138608 CPUtime=252.06 cores=0,2,4,6
/proc/14738/stat : 14738 (java) S 14735 14738 17093 0 -1 1077944320 109705 0 0 0 24969 237 0 0 20 0 17 0 67140495 11077107712 784652 18446744073709551615 4194304 4196468 140727830751072 140727830733616 139669117488887 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 5 0 0 6293624 6294260 21950464 140727830757781 140727830757934 140727830757934 140727830761423 0
/proc/14738/statm: 2704372 784652 3147 1 0 2693825 0
[pid=14738/tid=14740] ppid=14735 vsize=10817488 memory=366 CPUtime=211.41 cores=0,2,4,6
/proc/14738/task/14740/stat : 14740 (java) S 14735 14738 17093 0 -1 1077944384 20565 0 0 0 21129 12 0 0 20 0 17 0 67140501 11077107712 784652 18446744073709551615 4194304 4196468 140727830751072 139669121731760 139669117499093 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 21950464 140727830757781 140727830757934 140727830757934 140727830761423 0
[pid=14738/tid=14741] ppid=14735 vsize=10817488 memory=992 CPUtime=7.16 cores=0,2,4,6
/proc/14738/task/14741/stat : 14741 (java) S 14735 14738 17093 0 -1 1077944384 6289 0 0 0 663 53 0 0 20 0 17 0 67140502 11077107712 784652 18446744073709551615 4194304 4196468 140727830751072 139669058526096 139669117499093 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21950464 140727830757781 140727830757934 140727830757934 140727830761423 0
[pid=14738/tid=14742] ppid=14735 vsize=10817488 memory=539 CPUtime=7.22 cores=0,2,4,6
/proc/14738/task/14742/stat : 14742 (java) S 14735 14738 17093 0 -1 1077944384 4559 0 0 0 669 53 0 0 20 0 17 0 67140502 11077107712 784652 18446744073709551615 4194304 4196468 140727830751072 139669057473296 139669117499093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21950464 140727830757781 140727830757934 140727830757934 140727830761423 0
[pid=14738/tid=14743] ppid=14735 vsize=10817488 memory=4872558044660077418 CPUtime=7.08 cores=0,2,4,6
/proc/14738/task/14743/stat : 14743 (java) S 14735 14738 17093 0 -1 1077944384 2295 0 0 0 657 51 0 0 20 0 17 0 67140502 11077107712 784652 18446744073709551615 4194304 4196468 140727830751072 139669056421008 139669117499093 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21950464 140727830757781 140727830757934 140727830757934 140727830761423 0
[pid=14738/tid=14744] ppid=14735 vsize=10817488 memory=589972050986101276 CPUtime=7.25 cores=0,2,4,6
/proc/14738/task/14744/stat : 14744 (java) S 14735 14738 17093 0 -1 1077944384 6595 0 0 0 675 50 0 0 20 0 17 0 67140502 11077107712 784652 18446744073709551615 4194304 4196468 140727830751072 139669055368208 139669117499093 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21950464 140727830757781 140727830757934 140727830757934 140727830761423 0
[pid=14738/tid=14745] ppid=14735 vsize=10817488 memory=288286688357395770 CPUtime=3.04 cores=0,2,4,6
/proc/14738/task/14745/stat : 14745 (java) S 14735 14738 17093 0 -1 1077944384 8224 0 0 0 304 0 0 0 20 0 17 0 67140503 11077107712 784652 18446744073709551615 4194304 4196468 140727830751072 139668612737136 139669117500034 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21950464 140727830757781 140727830757934 140727830757934 140727830761423 0
[pid=14738/tid=14746] ppid=14735 vsize=10817488 memory=1399103955520229747 CPUtime=0 cores=0,2,4,6
/proc/14738/task/14746/stat : 14746 (java) S 14735 14738 17093 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 17 0 67140503 11077107712 784652 18446744073709551615 4194304 4196468 140727830751072 139668611683168 139669117499093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21950464 140727830757781 140727830757934 140727830757934 140727830761423 0
[pid=14738/tid=14747] ppid=14735 vsize=10817488 memory=7016714186493288552 CPUtime=0 cores=0,2,4,6
/proc/14738/task/14747/stat : 14747 (java) S 14735 14738 17093 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 17 0 67140504 11077107712 784652 18446744073709551615 4194304 4196468 140727830751072 139668610630784 139669117499093 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21950464 140727830757781 140727830757934 140727830757934 140727830761423 0
[pid=14738/tid=14748] ppid=14735 vsize=10817488 memory=7016714186493288552 CPUtime=0 cores=0,2,4,6
/proc/14738/task/14748/stat : 14748 (java) S 14735 14738 17093 0 -1 1077944384 235 0 0 0 0 0 0 0 20 0 17 0 67140506 11077107712 784652 18446744073709551615 4194304 4196468 140727830751072 139668609579088 139669117507483 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21950464 140727830757781 140727830757934 140727830757934 140727830761423 0
[pid=14738/tid=14749] ppid=14735 vsize=10817488 memory=-7449383003082255510 CPUtime=4.57 cores=0,2,4,6
/proc/14738/task/14749/stat : 14749 (java) S 14735 14738 17093 0 -1 1077944384 27861 0 0 0 453 4 0 0 20 0 17 0 67140506 11077107712 784652 18446744073709551615 4194304 4196468 140727830751072 139668608526960 139669117500034 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21950464 140727830757781 140727830757934 140727830757934 140727830761423 0
[pid=14738/tid=14750] ppid=14735 vsize=10817488 memory=-7965959121690140575 CPUtime=3.66 cores=0,2,4,6
/proc/14738/task/14750/stat : 14750 (java) S 14735 14738 17093 0 -1 1077944384 23271 0 0 0 363 3 0 0 20 0 17 0 67140506 11077107712 784652 18446744073709551615 4194304 4196468 140727830751072 139668607474160 139669117500034 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21950464 140727830757781 140727830757934 140727830757934 140727830761423 0
[pid=14738/tid=14751] ppid=14735 vsize=10817488 memory=6944665225511868275 CPUtime=0.44 cores=0,2,4,6
/proc/14738/task/14751/stat : 14751 (java) S 14735 14738 17093 0 -1 1077944384 5718 0 0 0 43 1 0 0 20 0 17 0 67140506 11077107712 784652 18446744073709551615 4194304 4196468 140727830751072 139668606421872 139669117500034 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21950464 140727830757781 140727830757934 140727830757934 140727830761423 0
[pid=14738/tid=14752] ppid=14735 vsize=10817488 memory=-7027409196973593448 CPUtime=0 cores=0,2,4,6
/proc/14738/task/14752/stat : 14752 (java) S 14735 14738 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 67140506 11077107712 784652 18446744073709551615 4194304 4196468 140727830751072 139668605369312 139669117499093 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21950464 140727830757781 140727830757934 140727830757934 140727830761423 0
[pid=14738/tid=14753] ppid=14735 vsize=10817488 memory=6944656592452807320 CPUtime=0.14 cores=0,2,4,6
/proc/14738/task/14753/stat : 14753 (java) S 14735 14738 17093 0 -1 1077944384 2287 0 0 0 7 7 0 0 20 0 17 0 67140510 11077107712 784652 18446744073709551615 4194304 4196468 140727830751072 139668604316080 139669117500034 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21950464 140727830757781 140727830757934 140727830757934 140727830761423 0
[pid=14738/tid=14841] ppid=14735 vsize=10817488 memory=1399103955520229747 CPUtime=0 cores=0,2,4,6
/proc/14738/task/14841/stat : 14841 (java) S 14735 14738 17093 0 -1 1077944384 189 0 0 0 0 0 0 0 20 0 17 0 67162686 11077107712 784652 18446744073709551615 4194304 4196468 140727830751072 139668602208624 139669117499093 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21950464 140727830757781 140727830757934 140727830757934 140727830761423 0
[pid=14738/tid=14842] ppid=14735 vsize=10817488 memory=-7812789463949416390 CPUtime=0 cores=0,2,4,6
/proc/14738/task/14842/stat : 14842 (java) S 14735 14738 17093 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 17 0 67162686 11077107712 784652 18446744073709551615 4194304 4196468 140727830751072 139668601156752 139669117500034 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21950464 140727830757781 140727830757934 140727830757934 140727830761423 0
Current children cumulated CPU time: 252.06 s
Current children cumulated vsize: 10817488 KiB
Current children cumulated memory: 3138608 KiB

[startup+222.11 s]
/proc/loadavg: 2.11 2.72 3.28 2/212 14843
/proc/meminfo: memFree=25420688/32770624 swapFree=67108860/67108860
[pid=14738] ppid=14735 vsize=10817488 memory=3138612 CPUtime=252.06 cores=0,2,4,6
/proc/14738/stat : 14738 (java) S 14735 14738 17093 0 -1 1077944320 109804 0 0 0 24969 237 0 0 20 0 17 0 67140495 11077107712 784653 18446744073709551615 4194304 4196468 140727830751072 140727830733616 139669117488887 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 5 0 0 6293624 6294260 21950464 140727830757781 140727830757934 140727830757934 140727830761423 0
/proc/14738/statm: 2704372 784653 3147 1 0 2693825 0
[pid=14738/tid=14740] ppid=14735 vsize=10817488 memory=3138284 CPUtime=211.41 cores=0,2,4,6
/proc/14738/task/14740/stat : 14740 (java) S 14735 14738 17093 0 -1 1077944384 20565 0 0 0 21129 12 0 0 20 0 17 0 67140501 11077107712 784653 18446744073709551615 4194304 4196468 140727830751072 139669121731760 139669117499093 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 21950464 140727830757781 140727830757934 140727830757934 140727830761423 0
[pid=14738/tid=14741] ppid=14735 vsize=10817488 memory=3138284 CPUtime=7.16 cores=0,2,4,6
/proc/14738/task/14741/stat : 14741 (java) S 14735 14738 17093 0 -1 1077944384 6289 0 0 0 663 53 0 0 20 0 17 0 67140502 11077107712 784653 18446744073709551615 4194304 4196468 140727830751072 139669058526096 139669117499093 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21950464 140727830757781 140727830757934 140727830757934 140727830761423 0
[pid=14738/tid=14742] ppid=14735 vsize=10817488 memory=3138284 CPUtime=7.22 cores=0,2,4,6
/proc/14738/task/14742/stat : 14742 (java) S 14735 14738 17093 0 -1 1077944384 4559 0 0 0 669 53 0 0 20 0 17 0 67140502 11077107712 784653 18446744073709551615 4194304 4196468 140727830751072 139669057473296 139669117499093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21950464 140727830757781 140727830757934 140727830757934 140727830761423 0
[pid=14738/tid=14743] ppid=14735 vsize=10817488 memory=3138284 CPUtime=7.08 cores=0,2,4,6
/proc/14738/task/14743/stat : 14743 (java) S 14735 14738 17093 0 -1 1077944384 2295 0 0 0 657 51 0 0 20 0 17 0 67140502 11077107712 784653 18446744073709551615 4194304 4196468 140727830751072 139669056421008 139669117499093 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21950464 140727830757781 140727830757934 140727830757934 140727830761423 0
[pid=14738/tid=14744] ppid=14735 vsize=10817488 memory=3138284 CPUtime=7.25 cores=0,2,4,6
/proc/14738/task/14744/stat : 14744 (java) S 14735 14738 17093 0 -1 1077944384 6595 0 0 0 675 50 0 0 20 0 17 0 67140502 11077107712 784653 18446744073709551615 4194304 4196468 140727830751072 139669055368208 139669117499093 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21950464 140727830757781 140727830757934 140727830757934 140727830761423 0
[pid=14738/tid=14745] ppid=14735 vsize=10817488 memory=3138284 CPUtime=3.04 cores=0,2,4,6
/proc/14738/task/14745/stat : 14745 (java) S 14735 14738 17093 0 -1 1077944384 8224 0 0 0 304 0 0 0 20 0 17 0 67140503 11077107712 784653 18446744073709551615 4194304 4196468 140727830751072 139668612737136 139669117500034 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21950464 140727830757781 140727830757934 140727830757934 140727830761423 0
[pid=14738/tid=14746] ppid=14735 vsize=10817488 memory=3138284 CPUtime=0 cores=0,2,4,6
/proc/14738/task/14746/stat : 14746 (java) S 14735 14738 17093 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 17 0 67140503 11077107712 784653 18446744073709551615 4194304 4196468 140727830751072 139668611683168 139669117499093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21950464 140727830757781 140727830757934 140727830757934 140727830761423 0
[pid=14738/tid=14747] ppid=14735 vsize=10817488 memory=3138284 CPUtime=0 cores=0,2,4,6
/proc/14738/task/14747/stat : 14747 (java) S 14735 14738 17093 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 17 0 67140504 11077107712 784653 18446744073709551615 4194304 4196468 140727830751072 139668610630784 139669117499093 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21950464 140727830757781 140727830757934 140727830757934 140727830761423 0
[pid=14738/tid=14748] ppid=14735 vsize=10817488 memory=3138284 CPUtime=0 cores=0,2,4,6
/proc/14738/task/14748/stat : 14748 (java) S 14735 14738 17093 0 -1 1077944384 235 0 0 0 0 0 0 0 20 0 17 0 67140506 11077107712 784653 18446744073709551615 4194304 4196468 140727830751072 139668609579088 139669117507483 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21950464 140727830757781 140727830757934 140727830757934 140727830761423 0
[pid=14738/tid=14749] ppid=14735 vsize=10817488 memory=1708 CPUtime=4.57 cores=0,2,4,6
/proc/14738/task/14749/stat : 14749 (java) S 14735 14738 17093 0 -1 1077944384 27861 0 0 0 453 4 0 0 20 0 17 0 67140506 11077107712 784653 18446744073709551615 4194304 4196468 140727830751072 139668608526960 139669117500034 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21950464 140727830757781 140727830757934 140727830757934 140727830761423 0
[pid=14738/tid=14750] ppid=14735 vsize=10817488 memory=3138284 CPUtime=3.66 cores=0,2,4,6
/proc/14738/task/14750/stat : 14750 (java) S 14735 14738 17093 0 -1 1077944384 23274 0 0 0 363 3 0 0 20 0 17 0 67140506 11077107712 784653 18446744073709551615 4194304 4196468 140727830751072 139668607474160 139669117500034 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21950464 140727830757781 140727830757934 140727830757934 140727830761423 0
[pid=14738/tid=14751] ppid=14735 vsize=10817488 memory=4028 CPUtime=0.44 cores=0,2,4,6
/proc/14738/task/14751/stat : 14751 (java) S 14735 14738 17093 0 -1 1077944384 5730 0 0 0 43 1 0 0 20 0 17 0 67140506 11077107712 784653 18446744073709551615 4194304 4196468 140727830751072 139668606421872 139669117500034 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21950464 140727830757781 140727830757934 140727830757934 140727830761423 0
[pid=14738/tid=14752] ppid=14735 vsize=10817488 memory=4028 CPUtime=0 cores=0,2,4,6
/proc/14738/task/14752/stat : 14752 (java) S 14735 14738 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 67140506 11077107712 784653 18446744073709551615 4194304 4196468 140727830751072 139668605369312 139669117499093 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21950464 140727830757781 140727830757934 140727830757934 140727830761423 0
[pid=14738/tid=14753] ppid=14735 vsize=10817488 memory=37800 CPUtime=0.14 cores=0,2,4,6
/proc/14738/task/14753/stat : 14753 (java) S 14735 14738 17093 0 -1 1077944384 2287 0 0 0 7 7 0 0 20 0 17 0 67140510 11077107712 784653 18446744073709551615 4194304 4196468 140727830751072 139668604316080 139669117500034 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21950464 140727830757781 140727830757934 140727830757934 140727830761423 0
[pid=14738/tid=14841] ppid=14735 vsize=10817488 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/14738/task/14841/stat : 14841 (java) S 14735 14738 17093 0 -1 1077944384 189 0 0 0 0 0 0 0 20 0 17 0 67162686 11077107712 784653 18446744073709551615 4194304 4196468 140727830751072 139668602208624 139669117499093 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21950464 140727830757781 140727830757934 140727830757934 140727830761423 0
[pid=14738/tid=14842] ppid=14735 vsize=10817488 memory=288230574492221466 CPUtime=0 cores=0,2,4,6
/proc/14738/task/14842/stat : 14842 (java) R 14735 14738 17093 0 -1 4202560 154 0 0 0 0 0 0 0 20 0 17 0 67162686 11077107712 784653 18446744073709551615 4194304 4196468 140727830751072 139668601152752 139668729506843 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21950464 140727830757781 140727830757934 140727830757934 140727830761423 0
Current children cumulated CPU time: 252.06 s
Current children cumulated vsize: 10817488 KiB
Current children cumulated memory: 3138612 KiB

Child status: 143
Real time (s): 222.136
CPU time (s): 252.101
CPU user time (s): 249.703
CPU system time (s): 2.3978
CPU usage (%): 113.489
Max. virtual memory (cumulated for all children) (KiB): 10817488
Max. memory (cumulated for all children) (KiB): 3138612

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 249.703
system time used= 2.3978
maximum resident set size= 3138808
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 109860
page faults= 0
swaps= 0
block input operations= 0
block output operations= 352
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7667
involuntary context switches= 666


# summary of solver processes directly reported to runsolver:
#   pid: 14738
#   total CPU time (s): 252.101
#   total CPU user time (s): 249.703
#   total CPU system time (s): 2.3978

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.49063 second user time and 2.0528 second system time

The end

Launcher Data 

Begin job on node127 at 2017-08-13 20:23:43
IDJOB=4257874
IDBENCH=136072
IDSOLVER=2643
FILE ID=node127/4257874-1502649472
RUNJOBID= node127-1502642200-6040
PBS_JOBID= 
Free space on /tmp= 62028 MiB

SOLVER NAME= sat4j-CSP 2017-07-05
BENCH NAME= XCSP17/BinPacking/BinPacking-mdd-ft/BinPacking-mdd-ft120-11.xml
COMMAND LINE= java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4257874-1502649472/watcher-4257874-1502649472 -o /tmp/evaluation-result-4257874-1502649472/solver-4257874-1502649472 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502642200-6040 --watchdog 312  java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4257874-1502649472.xml

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

MD5SUM BENCH= 7c2bd2aca8e68eed10397cff07eceed9
RANDOM SEED=565920831

node127.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.92
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.92
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.92
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.92
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:        29207532 kB
MemAvailable:   29647804 kB
Buffers:          202016 kB
Cached:           534116 kB
SwapCached:            0 kB
Active:          2915780 kB
Inactive:         216520 kB
Active(anon):    2345732 kB
Inactive(anon):    83872 kB
Active(file):     570048 kB
Inactive(file):   132648 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              1596 kB
Writeback:             0 kB
AnonPages:       2396164 kB
Mapped:            59128 kB
Shmem:             33444 kB
Slab:             132476 kB
SReclaimable:     106820 kB
SUnreclaim:        25656 kB
KernelStack:        3440 kB
PageTables:         9592 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    3472560 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2260992 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 62028 MiB
End job on node127 at 2017-08-13 20:27:26