Trace number 4258318

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) 255.787 201.355

General information on the benchmark

NameStillLife/StillLife-wst-s1/
StillLife-wastage-15.xml
MD5SUMe301970dbbdacc0ad69519f2afe54420
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark116
Best CPU time to get the best result obtained on this benchmark251.901
Satisfiable
(Un)Satisfiability was proved
Number of variables596
Number of constraints383
Number of domains4
Minimum domain size2
Maximum domain size579
Distribution of domain sizes[{"size":2,"count":289},{"size":3,"count":289},{"size":226,"count":1},{"size":579,"count":17}]
Minimum variable degree1
Maximum variable degree18
Distribution of variable degrees[{"degree":1,"count":4},{"degree":2,"count":286},{"degree":3,"count":20},{"degree":4,"count":60},{"degree":8,"count":56},{"degree":9,"count":169},{"degree":18,"count":1}]
Minimum constraint arity2
Maximum constraint arity19
Distribution of constraint arities[{"arity":2,"count":77},{"arity":3,"count":60},{"arity":10,"count":225},{"arity":17,"count":4},{"arity":18,"count":1},{"arity":19,"count":16}]
Number of extensional constraints285
Number of intensional constraints76
Distribution of constraint types[{"type":"extension","count":285},{"type":"intension","count":76},{"type":"sum","count":18},{"type":"instantiation","count":4}]
Optimization problemYES
Type of objectivemax VAR

Solver Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4258318-1502643087/watcher-4258318-1502643087 -o /tmp/evaluation-result-4258318-1502643087/solver-4258318-1502643087 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node151-1502642118-13947 --watchdog 312 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4258318-1502643087.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=14117, runsolver pid=14114
Current StackSize limit: 8192 KiB


[startup+0.100068 s]*
/proc/loadavg: 4.01 2.46 2.14 5/206 14152
/proc/meminfo: memFree=28841580/32770624 swapFree=67108860/67108860
[pid=14117] ppid=14114 vsize=10555400 memory=30032 CPUtime=0.13 cores=0,2,4,6
/proc/14117/stat : 14117 (java) S 14114 14117 4973 0 -1 1077944320 6555 0 0 0 11 2 0 0 20 0 15 0 97389590 10808729600 7508 33554432000 4194304 4196468 140727963997216 140727963979760 140005085064951 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 9031680 140727964005515 140727964005668 140727964005668 140727964008399 0
/proc/14117/statm: 2638850 7508 2829 1 0 2627263 0
[pid=14117/tid=14119] ppid=14114 vsize=10555400 memory=5450919713671312938 CPUtime=0.09 cores=0,2,4,6
/proc/14117/task/14119/stat : 14119 (java) R 14114 14117 4973 0 -1 4202560 4412 0 0 0 8 1 0 0 20 0 15 0 97389591 10808729600 7508 33554432000 4194304 4196468 140727963997216 140005089286080 140005069145438 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9031680 140727964005515 140727964005668 140727964005668 140727964008399 0
[pid=14117/tid=14120] ppid=14114 vsize=10555400 memory=-9181546050914066336 CPUtime=0 cores=0,2,4,6
/proc/14117/task/14120/stat : 14120 (java) S 14114 14117 4973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97389592 10808729600 7508 33554432000 4194304 4196468 140727963997216 140005011139088 140005085075157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9031680 140727964005515 140727964005668 140727964005668 140727964008399 0
[pid=14117/tid=14121] ppid=14114 vsize=10555400 memory=139835856332416 CPUtime=0 cores=0,2,4,6
/proc/14117/task/14121/stat : 14121 (java) S 14114 14117 4973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97389592 10808729600 7508 33554432000 4194304 4196468 140727963997216 140005010086544 140005085075157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9031680 140727964005515 140727964005668 140727964005668 140727964008399 0
[pid=14117/tid=14122] ppid=14114 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14117/task/14122/stat : 14122 (java) S 14114 14117 4973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97389592 10808729600 7508 33554432000 4194304 4196468 140727963997216 140005009033488 140005085075157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9031680 140727964005515 140727964005668 140727964005668 140727964008399 0
[pid=14117/tid=14123] ppid=14114 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14117/task/14123/stat : 14123 (java) S 14114 14117 4973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97389592 10808729600 7508 33554432000 4194304 4196468 140727963997216 140005007980944 140005085075157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9031680 140727964005515 140727964005668 140727964005668 140727964008399 0
[pid=14117/tid=14124] ppid=14114 vsize=10555400 memory=139835856332416 CPUtime=0 cores=0,2,4,6
/proc/14117/task/14124/stat : 14124 (java) S 14114 14117 4973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97389593 10808729600 7508 33554432000 4194304 4196468 140727963997216 140004321905392 140005085076098 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9031680 140727964005515 140727964005668 140727964005668 140727964008399 0
[pid=14117/tid=14125] ppid=14114 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14117/task/14125/stat : 14125 (java) S 14114 14117 4973 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 97389593 10808729600 7508 33554432000 4194304 4196468 140727963997216 140004320851616 140005085075157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9031680 140727964005515 140727964005668 140727964005668 140727964008399 0
[pid=14117/tid=14126] ppid=14114 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14117/task/14126/stat : 14126 (java) S 14114 14117 4973 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 97389594 10808729600 7508 33554432000 4194304 4196468 140727963997216 140004319798512 140005085075157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9031680 140727964005515 140727964005668 140727964005668 140727964008399 0
[pid=14117/tid=14132] ppid=14114 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14117/task/14132/stat : 14132 (java) S 14114 14117 4973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97389596 10808729600 7508 33554432000 4194304 4196468 140727963997216 140004318747088 140005085083547 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9031680 140727964005515 140727964005668 140727964005668 140727964008399 0
[pid=14117/tid=14133] ppid=14114 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14117/task/14133/stat : 14133 (java) S 14114 14117 4973 0 -1 1077944384 413 0 0 0 0 0 0 0 20 0 15 0 97389596 10808729600 7508 33554432000 4194304 4196468 140727963997216 140004317694192 140005085076098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9031680 140727964005515 140727964005668 140727964005668 140727964008399 0
[pid=14117/tid=14134] ppid=14114 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14117/task/14134/stat : 14134 (java) S 14114 14117 4973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97389596 10808729600 7508 33554432000 4194304 4196468 140727963997216 140004316641648 140005085076098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9031680 140727964005515 140727964005668 140727964005668 140727964008399 0
[pid=14117/tid=14135] ppid=14114 vsize=10555400 memory=139835856332416 CPUtime=0.02 cores=0,2,4,6
/proc/14117/task/14135/stat : 14135 (java) R 14114 14117 4973 0 -1 4202560 362 0 0 0 2 0 0 0 20 0 15 0 97389596 10808729600 7508 33554432000 4194304 4196468 140727963997216 140004315588592 140005069324403 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9031680 140727964005515 140727964005668 140727964005668 140727964008399 0
[pid=14117/tid=14136] ppid=14114 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14117/task/14136/stat : 14136 (java) S 14114 14117 4973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97389596 10808729600 7508 33554432000 4194304 4196468 140727963997216 140004314536288 140005085075157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9031680 140727964005515 140727964005668 140727964005668 140727964008399 0
[pid=14117/tid=14137] ppid=14114 vsize=10555400 memory=139835856332416 CPUtime=0 cores=0,2,4,6
/proc/14117/task/14137/stat : 14137 (java) S 14114 14117 4973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97389596 10808729600 7508 33554432000 4194304 4196468 140727963997216 140004313484336 140005085076098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9031680 140727964005515 140727964005668 140727964005668 140727964008399 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10555400 KiB
Current children cumulated memory: 30032 KiB

[startup+0.210528 s]*
/proc/loadavg: 4.01 2.46 2.14 5/215 14161
/proc/meminfo: memFree=28822068/32770624 swapFree=67108860/67108860
[pid=14117] ppid=14114 vsize=10555400 memory=39328 CPUtime=0.29 cores=0,2,4,6
/proc/14117/stat : 14117 (java) S 14114 14117 4973 0 -1 1077944320 8117 0 0 0 27 2 0 0 20 0 15 0 97389590 10808729600 9832 33554432000 4194304 4196468 140727963997216 140727963979760 140005085064951 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 9031680 140727964005515 140727964005668 140727964005668 140727964008399 0
/proc/14117/statm: 2638850 9832 2956 1 0 2627263 0
[pid=14117/tid=14119] ppid=14114 vsize=10555400 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/14117/task/14119/stat : 14119 (java) R 14114 14117 4973 0 -1 4202560 5264 0 0 0 18 2 0 0 20 0 15 0 97389591 10808729600 9832 33554432000 4194304 4196468 140727963997216 140005089295824 140005085086877 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9031680 140727964005515 140727964005668 140727964005668 140727964008399 0
[pid=14117/tid=14120] ppid=14114 vsize=10555400 memory=365 CPUtime=0 cores=0,2,4,6
/proc/14117/task/14120/stat : 14120 (java) S 14114 14117 4973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97389592 10808729600 9832 33554432000 4194304 4196468 140727963997216 140005011139088 140005085075157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9031680 140727964005515 140727964005668 140727964005668 140727964008399 0
[pid=14117/tid=14121] ppid=14114 vsize=10555400 memory=139835856346621 CPUtime=0 cores=0,2,4,6
/proc/14117/task/14121/stat : 14121 (java) S 14114 14117 4973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97389592 10808729600 9832 33554432000 4194304 4196468 140727963997216 140005010086544 140005085075157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9031680 140727964005515 140727964005668 140727964005668 140727964008399 0
[pid=14117/tid=14122] ppid=14114 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14117/task/14122/stat : 14122 (java) S 14114 14117 4973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97389592 10808729600 9832 33554432000 4194304 4196468 140727963997216 140005009033488 140005085075157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9031680 140727964005515 140727964005668 140727964005668 140727964008399 0
[pid=14117/tid=14123] ppid=14114 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14117/task/14123/stat : 14123 (java) S 14114 14117 4973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97389592 10808729600 9832 33554432000 4194304 4196468 140727963997216 140005007980944 140005085075157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9031680 140727964005515 140727964005668 140727964005668 140727964008399 0
[pid=14117/tid=14124] ppid=14114 vsize=10555400 memory=139835856332416 CPUtime=0 cores=0,2,4,6
/proc/14117/task/14124/stat : 14124 (java) S 14114 14117 4973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97389593 10808729600 9832 33554432000 4194304 4196468 140727963997216 140004321905392 140005085076098 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9031680 140727964005515 140727964005668 140727964005668 140727964008399 0
[pid=14117/tid=14125] ppid=14114 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14117/task/14125/stat : 14125 (java) S 14114 14117 4973 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 97389593 10808729600 9832 33554432000 4194304 4196468 140727963997216 140004320851616 140005085075157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9031680 140727964005515 140727964005668 140727964005668 140727964008399 0
[pid=14117/tid=14126] ppid=14114 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14117/task/14126/stat : 14126 (java) S 14114 14117 4973 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 97389594 10808729600 9832 33554432000 4194304 4196468 140727963997216 140004319798512 140005085075157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9031680 140727964005515 140727964005668 140727964005668 140727964008399 0
[pid=14117/tid=14132] ppid=14114 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14117/task/14132/stat : 14132 (java) S 14114 14117 4973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97389596 10808729600 9832 33554432000 4194304 4196468 140727963997216 140004318747088 140005085083547 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9031680 140727964005515 140727964005668 140727964005668 140727964008399 0
[pid=14117/tid=14133] ppid=14114 vsize=10555400 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/14117/task/14133/stat : 14133 (java) S 14114 14117 4973 0 -1 1077944384 566 0 0 0 1 0 0 0 20 0 15 0 97389596 10808729600 9832 33554432000 4194304 4196468 140727963997216 140004317694192 140005085076098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9031680 140727964005515 140727964005668 140727964005668 140727964008399 0
[pid=14117/tid=14134] ppid=14114 vsize=10555400 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/14117/task/14134/stat : 14134 (java) R 14114 14117 4973 0 -1 1077944384 135 0 0 0 1 0 0 0 20 0 15 0 97389596 10808729600 9832 33554432000 4194304 4196468 140727963997216 140004316641648 140005085076098 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9031680 140727964005515 140727964005668 140727964005668 140727964008399 0
[pid=14117/tid=14135] ppid=14114 vsize=10555400 memory=139835856332416 CPUtime=0.06 cores=0,2,4,6
/proc/14117/task/14135/stat : 14135 (java) S 14114 14117 4973 0 -1 1077944384 796 0 0 0 6 0 0 0 20 0 15 0 97389596 10808729600 9832 33554432000 4194304 4196468 140727963997216 140004315588592 140005085076098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9031680 140727964005515 140727964005668 140727964005668 140727964008399 0
[pid=14117/tid=14136] ppid=14114 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14117/task/14136/stat : 14136 (java) S 14114 14117 4973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97389596 10808729600 9832 33554432000 4194304 4196468 140727963997216 140004314536288 140005085075157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9031680 140727964005515 140727964005668 140727964005668 140727964008399 0
[pid=14117/tid=14137] ppid=14114 vsize=10555400 memory=139835856332416 CPUtime=0 cores=0,2,4,6
/proc/14117/task/14137/stat : 14137 (java) S 14114 14117 4973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97389596 10808729600 9832 33554432000 4194304 4196468 140727963997216 140004313484336 140005085076098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9031680 140727964005515 140727964005668 140727964005668 140727964008399 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 10555400 KiB
Current children cumulated memory: 39328 KiB

[startup+0.313269 s]*
/proc/loadavg: 4.01 2.46 2.14 8/215 14161
/proc/meminfo: memFree=28799736/32770624 swapFree=67108860/67108860
[pid=14117] ppid=14114 vsize=10555476 memory=47300 CPUtime=0.52 cores=0,2,4,6
/proc/14117/stat : 14117 (java) S 14114 14117 4973 0 -1 1077944320 9014 0 0 0 49 3 0 0 20 0 15 0 97389590 10808807424 11825 33554432000 4194304 4196468 140727963997216 140727963979760 140005085064951 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 9031680 140727964005515 140727964005668 140727964005668 140727964008399 0
/proc/14117/statm: 2638869 11825 3046 1 0 2627263 0
[pid=14117/tid=14119] ppid=14114 vsize=10555476 memory=53476 CPUtime=0.3 cores=0,2,4,6
/proc/14117/task/14119/stat : 14119 (java) S 14114 14117 4973 0 -1 1077944384 5743 0 0 0 28 2 0 0 20 0 15 0 97389591 10808807424 11825 33554432000 4194304 4196468 140727963997216 140005089297792 140005085075157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9031680 140727964005515 140727964005668 140727964005668 140727964008399 0
[pid=14117/tid=14120] ppid=14114 vsize=10555476 memory=35 CPUtime=0 cores=0,2,4,6
/proc/14117/task/14120/stat : 14120 (java) S 14114 14117 4973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97389592 10808807424 11825 33554432000 4194304 4196468 140727963997216 140005011139088 140005085075157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9031680 140727964005515 140727964005668 140727964005668 140727964008399 0
[pid=14117/tid=14121] ppid=14114 vsize=10555476 memory=139835856390432 CPUtime=0 cores=0,2,4,6
/proc/14117/task/14121/stat : 14121 (java) S 14114 14117 4973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97389592 10808807424 11825 33554432000 4194304 4196468 140727963997216 140005010086544 140005085075157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9031680 140727964005515 140727964005668 140727964005668 140727964008399 0
[pid=14117/tid=14122] ppid=14114 vsize=10555476 memory=60388 CPUtime=0 cores=0,2,4,6
/proc/14117/task/14122/stat : 14122 (java) S 14114 14117 4973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97389592 10808807424 11825 33554432000 4194304 4196468 140727963997216 140005009033488 140005085075157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9031680 140727964005515 140727964005668 140727964005668 140727964008399 0
[pid=14117/tid=14123] ppid=14114 vsize=10555476 memory=35 CPUtime=0 cores=0,2,4,6
/proc/14117/task/14123/stat : 14123 (java) S 14114 14117 4973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97389592 10808807424 11825 33554432000 4194304 4196468 140727963997216 140005007980944 140005085075157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9031680 140727964005515 140727964005668 140727964005668 140727964008399 0
[pid=14117/tid=14124] ppid=14114 vsize=10555476 memory=139835856397344 CPUtime=0 cores=0,2,4,6
/proc/14117/task/14124/stat : 14124 (java) S 14114 14117 4973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97389593 10808807424 11825 33554432000 4194304 4196468 140727963997216 140004321905392 140005085076098 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9031680 140727964005515 140727964005668 140727964005668 140727964008399 0
[pid=14117/tid=14125] ppid=14114 vsize=10555476 memory=35 CPUtime=0 cores=0,2,4,6
/proc/14117/task/14125/stat : 14125 (java) S 14114 14117 4973 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 97389593 10808807424 11825 33554432000 4194304 4196468 140727963997216 140004320851616 140005085075157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9031680 140727964005515 140727964005668 140727964005668 140727964008399 0
[pid=14117/tid=14126] ppid=14114 vsize=10555476 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/14117/task/14126/stat : 14126 (java) S 14114 14117 4973 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 97389594 10808807424 11825 33554432000 4194304 4196468 140727963997216 140004319798512 140005085075157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9031680 140727964005515 140727964005668 140727964005668 140727964008399 0
[pid=14117/tid=14132] ppid=14114 vsize=10555476 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/14117/task/14132/stat : 14132 (java) S 14114 14117 4973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97389596 10808807424 11825 33554432000 4194304 4196468 140727963997216 140004318747088 140005085083547 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9031680 140727964005515 140727964005668 140727964005668 140727964008399 0
[pid=14117/tid=14133] ppid=14114 vsize=10555476 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/14117/task/14133/stat : 14133 (java) R 14114 14117 4973 0 -1 4202560 797 0 0 0 4 0 0 0 20 0 15 0 97389596 10808807424 11825 33554432000 4194304 4196468 140727963997216 140004317685840 140005064317685 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9031680 140727964005515 140727964005668 140727964005668 140727964008399 0
[pid=14117/tid=14134] ppid=14114 vsize=10555476 memory=139835746672591 CPUtime=0.03 cores=0,2,4,6
/proc/14117/task/14134/stat : 14134 (java) R 14114 14117 4973 0 -1 1077944384 221 0 0 0 3 0 0 0 20 0 15 0 97389596 10808807424 11825 33554432000 4194304 4196468 140727963997216 140004316641648 140005085076098 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9031680 140727964005515 140727964005668 140727964005668 140727964008399 0
[pid=14117/tid=14135] ppid=14114 vsize=10555476 memory=139835856346364 CPUtime=0.12 cores=0,2,4,6
/proc/14117/task/14135/stat : 14135 (java) R 14114 14117 4973 0 -1 4202560 890 0 0 0 12 0 0 0 20 0 15 0 97389596 10808807424 11825 33554432000 4194304 4196468 140727963997216 140004315588592 140005069145438 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9031680 140727964005515 140727964005668 140727964005668 140727964008399 0
[pid=14117/tid=14136] ppid=14114 vsize=10555476 memory=139835746672591 CPUtime=0 cores=0,2,4,6
/proc/14117/task/14136/stat : 14136 (java) S 14114 14117 4973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97389596 10808807424 11825 33554432000 4194304 4196468 140727963997216 140004314536288 140005085075157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9031680 140727964005515 140727964005668 140727964005668 140727964008399 0
[pid=14117/tid=14137] ppid=14114 vsize=10555476 memory=279671603021760 CPUtime=0 cores=0,2,4,6
/proc/14117/task/14137/stat : 14137 (java) S 14114 14117 4973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97389596 10808807424 11825 33554432000 4194304 4196468 140727963997216 140004313484336 140005085076098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9031680 140727964005515 140727964005668 140727964005668 140727964008399 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 47300 KiB

[startup+0.700694 s]
/proc/loadavg: 4.01 2.46 2.14 9/215 14161
/proc/meminfo: memFree=28753908/32770624 swapFree=67108860/67108860
[pid=14117] ppid=14114 vsize=10555476 memory=148848 CPUtime=1.72 cores=0,2,4,6
/proc/14117/stat : 14117 (java) S 14114 14117 4973 0 -1 1077944320 13440 0 0 0 166 6 0 0 20 0 15 0 97389590 10808807424 37212 33554432000 4194304 4196468 140727963997216 140727963979760 140005085064951 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 9031680 140727964005515 140727964005668 140727964005668 140727964008399 0
/proc/14117/statm: 2638869 37212 3095 1 0 2627263 0
[pid=14117/tid=14119] ppid=14114 vsize=10555476 memory=2372 CPUtime=0.67 cores=0,2,4,6
/proc/14117/task/14119/stat : 14119 (java) R 14114 14117 4973 0 -1 4202560 5964 0 0 0 64 3 0 0 20 0 15 0 97389591 10808807424 37212 33554432000 4194304 4196468 140727963997216 140005089283200 140004679603645 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9031680 140727964005515 140727964005668 140727964005668 140727964008399 0
[pid=14117/tid=14120] ppid=14114 vsize=10555476 memory=6872598998417432672 CPUtime=0 cores=0,2,4,6
/proc/14117/task/14120/stat : 14120 (java) S 14114 14117 4973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97389592 10808807424 37212 33554432000 4194304 4196468 140727963997216 140005011139088 140005085075157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9031680 140727964005515 140727964005668 140727964005668 140727964008399 0
[pid=14117/tid=14121] ppid=14114 vsize=10555476 memory=8552 CPUtime=0 cores=0,2,4,6
/proc/14117/task/14121/stat : 14121 (java) S 14114 14117 4973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97389592 10808807424 37212 33554432000 4194304 4196468 140727963997216 140005010086544 140005085075157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9031680 140727964005515 140727964005668 140727964005668 140727964008399 0
[pid=14117/tid=14122] ppid=14114 vsize=10555476 memory=15872 CPUtime=0 cores=0,2,4,6
/proc/14117/task/14122/stat : 14122 (java) S 14114 14117 4973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97389592 10808807424 37212 33554432000 4194304 4196468 140727963997216 140005009033488 140005085075157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9031680 140727964005515 140727964005668 140727964005668 140727964008399 0
[pid=14117/tid=14123] ppid=14114 vsize=10555476 memory=4052 CPUtime=0 cores=0,2,4,6
/proc/14117/task/14123/stat : 14123 (java) S 14114 14117 4973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97389592 10808807424 37212 33554432000 4194304 4196468 140727963997216 140005007980944 140005085075157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9031680 140727964005515 140727964005668 140727964005668 140727964008399 0
[pid=14117/tid=14124] ppid=14114 vsize=10555476 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/14117/task/14124/stat : 14124 (java) S 14114 14117 4973 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 97389593 10808807424 37212 33554432000 4194304 4196468 140727963997216 140004321905392 140005085076098 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9031680 140727964005515 140727964005668 140727964005668 140727964008399 0
[pid=14117/tid=14125] ppid=14114 vsize=10555476 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/14117/task/14125/stat : 14125 (java) S 14114 14117 4973 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 97389593 10808807424 37212 33554432000 4194304 4196468 140727963997216 140004320851616 140005085075157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9031680 140727964005515 140727964005668 140727964005668 140727964008399 0
[pid=14117/tid=14126] ppid=14114 vsize=10555476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14117/task/14126/stat : 14126 (java) S 14114 14117 4973 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 97389594 10808807424 37212 33554432000 4194304 4196468 140727963997216 140004319798512 140005085075157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9031680 140727964005515 140727964005668 140727964005668 140727964008399 0
[pid=14117/tid=14132] ppid=14114 vsize=10555476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14117/task/14132/stat : 14132 (java) S 14114 14117 4973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97389596 10808807424 37212 33554432000 4194304 4196468 140727963997216 140004318747088 140005085083547 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9031680 140727964005515 140727964005668 140727964005668 140727964008399 0
[pid=14117/tid=14133] ppid=14114 vsize=10555476 memory=0 CPUtime=0.35 cores=0,2,4,6
/proc/14117/task/14133/stat : 14133 (java) R 14114 14117 4973 0 -1 4202560 2932 0 0 0 35 0 0 0 20 0 15 0 97389596 10808807424 37212 33554432000 4194304 4196468 140727963997216 140004317672816 140005068563705 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9031680 140727964005515 140727964005668 140727964005668 140727964008399 0
[pid=14117/tid=14134] ppid=14114 vsize=10555476 memory=6944652177228980320 CPUtime=0.34 cores=0,2,4,6
/proc/14117/task/14134/stat : 14134 (java) R 14114 14117 4973 0 -1 4202560 1425 0 0 0 34 0 0 0 20 0 15 0 97389596 10808807424 37212 33554432000 4194304 4196468 140727963997216 140004316632976 140005070172633 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9031680 140727964005515 140727964005668 140727964005668 140727964008399 0
[pid=14117/tid=14135] ppid=14114 vsize=10555476 memory=0 CPUtime=0.32 cores=0,2,4,6
/proc/14117/task/14135/stat : 14135 (java) S 14114 14117 4973 0 -1 1077944384 1748 0 0 0 31 1 0 0 20 0 15 0 97389596 10808807424 37212 33554432000 4194304 4196468 140727963997216 140004315588592 140005085076098 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9031680 140727964005515 140727964005668 140727964005668 140727964008399 0
[pid=14117/tid=14136] ppid=14114 vsize=10555476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14117/task/14136/stat : 14136 (java) S 14114 14117 4973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97389596 10808807424 37212 33554432000 4194304 4196468 140727963997216 140004314536288 140005085075157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9031680 140727964005515 140727964005668 140727964005668 140727964008399 0
[pid=14117/tid=14137] ppid=14114 vsize=10555476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14117/task/14137/stat : 14137 (java) S 14114 14117 4973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97389596 10808807424 37212 33554432000 4194304 4196468 140727963997216 140004313484336 140005085076098 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9031680 140727964005515 140727964005668 140727964005668 140727964008399 0
Current children cumulated CPU time: 1.72 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 148848 KiB

[startup+1.50081 s]
/proc/loadavg: 4.01 2.46 2.14 7/215 14161
/proc/meminfo: memFree=28453020/32770624 swapFree=67108860/67108860
[pid=14117] ppid=14114 vsize=10555476 memory=332716 CPUtime=4.03 cores=0,2,4,6
/proc/14117/stat : 14117 (java) S 14114 14117 4973 0 -1 1077944320 21931 0 0 0 390 13 0 0 20 0 15 0 97389590 10808807424 83179 33554432000 4194304 4196468 140727963997216 140727963979760 140005085064951 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 9031680 140727964005515 140727964005668 140727964005668 140727964008399 0
/proc/14117/statm: 2638869 83179 3132 1 0 2627263 0
[pid=14117/tid=14119] ppid=14114 vsize=10555476 memory=2321949975035001444 CPUtime=1.39 cores=0,2,4,6
/proc/14117/task/14119/stat : 14119 (java) R 14114 14117 4973 0 -1 4202560 6013 0 0 0 134 5 0 0 20 0 15 0 97389591 10808807424 83179 33554432000 4194304 4196468 140727963997216 140005089297168 140004676674242 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9031680 140727964005515 140727964005668 140727964005668 140727964008399 0
[pid=14117/tid=14120] ppid=14114 vsize=10555476 memory=222332 CPUtime=0.02 cores=0,2,4,6
/proc/14117/task/14120/stat : 14120 (java) S 14114 14117 4973 0 -1 1077944384 101 0 0 0 2 0 0 0 20 0 15 0 97389592 10808807424 83179 33554432000 4194304 4196468 140727963997216 140005011139088 140005085075157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9031680 140727964005515 140727964005668 140727964005668 140727964008399 0
[pid=14117/tid=14121] ppid=14114 vsize=10555476 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/14117/task/14121/stat : 14121 (java) S 14114 14117 4973 0 -1 1077944384 16 0 0 0 2 0 0 0 20 0 15 0 97389592 10808807424 83179 33554432000 4194304 4196468 140727963997216 140005010086544 140005085075157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9031680 140727964005515 140727964005668 140727964005668 140727964008399 0
[pid=14117/tid=14122] ppid=14114 vsize=10555476 memory=8552 CPUtime=0.05 cores=0,2,4,6
/proc/14117/task/14122/stat : 14122 (java) S 14114 14117 4973 0 -1 1077944384 123 0 0 0 4 1 0 0 20 0 15 0 97389592 10808807424 83179 33554432000 4194304 4196468 140727963997216 140005009033488 140005085075157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9031680 140727964005515 140727964005668 140727964005668 140727964008399 0
[pid=14117/tid=14123] ppid=14114 vsize=10555476 memory=15872 CPUtime=0.06 cores=0,2,4,6
/proc/14117/task/14123/stat : 14123 (java) S 14114 14117 4973 0 -1 1077944384 119 0 0 0 5 1 0 0 20 0 15 0 97389592 10808807424 83691 33554432000 4194304 4196468 140727963997216 140005007980944 140005085075157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9031680 140727964005515 140727964005668 140727964005668 140727964008399 0
[pid=14117/tid=14124] ppid=14114 vsize=10555476 memory=4052 CPUtime=0 cores=0,2,4,6
/proc/14117/task/14124/stat : 14124 (java) S 14114 14117 4973 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 97389593 10808807424 83691 33554432000 4194304 4196468 140727963997216 140004321905392 140005085076098 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9031680 140727964005515 140727964005668 140727964005668 140727964008399 0

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

/proc/14117/task/14132/stat : 14132 (java) S 14114 14117 4973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 97389596 10876968960 1248038 33554432000 4194304 4196468 140727963997216 140004318747088 140005085083547 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9031680 140727964005515 140727964005668 140727964005668 140727964008399 0
[pid=14117/tid=14133] ppid=14114 vsize=10622040 memory=4052 CPUtime=2 cores=0,2,4,6
/proc/14117/task/14133/stat : 14133 (java) S 14114 14117 4973 0 -1 1077944384 14281 0 0 0 199 1 0 0 20 0 16 0 97389596 10876968960 1248038 33554432000 4194304 4196468 140727963997216 140004317694192 140005085076098 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9031680 140727964005515 140727964005668 140727964005668 140727964008399 0
[pid=14117/tid=14134] ppid=14114 vsize=10622040 memory=16804 CPUtime=1.99 cores=0,2,4,6
/proc/14117/task/14134/stat : 14134 (java) S 14114 14117 4973 0 -1 1077944384 10679 0 0 0 198 1 0 0 20 0 16 0 97389596 10876968960 1248038 33554432000 4194304 4196468 140727963997216 140004316641648 140005085076098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9031680 140727964005515 140727964005668 140727964005668 140727964008399 0
[pid=14117/tid=14135] ppid=14114 vsize=10622040 memory=18472 CPUtime=0.49 cores=0,2,4,6
/proc/14117/task/14135/stat : 14135 (java) S 14114 14117 4973 0 -1 1077944384 4676 0 0 0 47 2 0 0 20 0 16 0 97389596 10876968960 1248038 33554432000 4194304 4196468 140727963997216 140004315588592 140005085076098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9031680 140727964005515 140727964005668 140727964005668 140727964008399 0
[pid=14117/tid=14136] ppid=14114 vsize=10622040 memory=640 CPUtime=0 cores=0,2,4,6
/proc/14117/task/14136/stat : 14136 (java) S 14114 14117 4973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 97389596 10876968960 1248038 33554432000 4194304 4196468 140727963997216 140004314536288 140005085075157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9031680 140727964005515 140727964005668 140727964005668 140727964008399 0
[pid=14117/tid=14137] ppid=14114 vsize=10622040 memory=4144 CPUtime=0.1 cores=0,2,4,6
/proc/14117/task/14137/stat : 14137 (java) S 14114 14117 4973 0 -1 1077944384 298 0 0 0 5 5 0 0 20 0 16 0 97389596 10876968960 1248038 33554432000 4194304 4196468 140727963997216 140004313484336 140005085076098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 9031680 140727964005515 140727964005668 140727964005668 140727964008399 0
[pid=14117/tid=14162] ppid=14114 vsize=10622040 memory=28276 CPUtime=0 cores=0,2,4,6
/proc/14117/task/14162/stat : 14162 (java) S 14114 14117 4973 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 97393937 10876968960 1248038 33554432000 4194304 4196468 140727963997216 140004312430128 140005085076098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9031680 140727964005515 140727964005668 140727964005668 140727964008399 0
Current children cumulated CPU time: 252.09 s
Current children cumulated vsize: 10622040 KiB
Current children cumulated memory: 4992152 KiB

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

[startup+201.355 s]
# the end of solver process 14117 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=252.402 s, system=3.38492 s

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

[startup+200.801 s]
/proc/loadavg: 2.94 2.78 2.34 6/216 14247
/proc/meminfo: memFree=16722820/32770624 swapFree=67108860/67108860
[pid=14117] ppid=14114 vsize=10821732 memory=4991804 CPUtime=253.67 cores=0,2,4,6
/proc/14117/stat : 14117 (java) S 14114 14117 4973 0 -1 1077944320 194767 0 0 0 25041 326 0 0 20 0 19 0 97389590 11081453568 1247951 33554432000 4194304 4196468 140727963997216 140727963979760 140005085064951 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9031680 140727964005515 140727964005668 140727964005668 140727964008399 0
/proc/14117/statm: 2705433 1247951 3169 1 0 2693827 0
[pid=14117/tid=14119] ppid=14114 vsize=10821732 memory=6791534058613427641 CPUtime=179.1 cores=0,2,4,6
/proc/14117/task/14119/stat : 14119 (java) S 14114 14117 4973 0 -1 1077944384 71630 0 0 0 17882 28 0 0 20 0 19 0 97389591 11081453568 1247951 33554432000 4194304 4196468 140727963997216 140005089300688 140005085075157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9031680 140727964005515 140727964005668 140727964005668 140727964008399 0
[pid=14117/tid=14120] ppid=14114 vsize=10821732 memory=1224 CPUtime=16.12 cores=0,2,4,6
/proc/14117/task/14120/stat : 14120 (java) R 14114 14117 4973 0 -1 4202560 20667 0 0 0 1542 70 0 0 20 0 19 0 97389592 11081453568 1247951 33554432000 4194304 4196468 140727963997216 140005011139288 140005070087072 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9031680 140727964005515 140727964005668 140727964005668 140727964008399 0
[pid=14117/tid=14121] ppid=14114 vsize=10821732 memory=5716 CPUtime=16.19 cores=0,2,4,6
/proc/14117/task/14121/stat : 14121 (java) R 14114 14117 4973 0 -1 4202560 25028 0 0 0 1545 74 0 0 20 0 19 0 97389592 11081453568 1247951 33554432000 4194304 4196468 140727963997216 140005010086232 140005064260106 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9031680 140727964005515 140727964005668 140727964005668 140727964008399 0
[pid=14117/tid=14122] ppid=14114 vsize=10821732 memory=1708 CPUtime=16.05 cores=0,2,4,6
/proc/14117/task/14122/stat : 14122 (java) R 14114 14117 4973 0 -1 4202560 13942 0 0 0 1532 73 0 0 20 0 19 0 97389592 11081453568 1247951 33554432000 4194304 4196468 140727963997216 140005009033376 140005069584674 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9031680 140727964005515 140727964005668 140727964005668 140727964008399 0
[pid=14117/tid=14123] ppid=14114 vsize=10821732 memory=0 CPUtime=16.27 cores=0,2,4,6
/proc/14117/task/14123/stat : 14123 (java) R 14114 14117 4973 0 -1 4202560 18332 0 0 0 1559 68 0 0 20 0 19 0 97389592 11081453568 1247951 33554432000 4194304 4196468 140727963997216 140005007980944 140005070089084 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9031680 140727964005515 140727964005668 140727964005668 140727964008399 0
[pid=14117/tid=14124] ppid=14114 vsize=10821732 memory=5793718542449595752 CPUtime=5.25 cores=0,2,4,6
/proc/14117/task/14124/stat : 14124 (java) S 14114 14117 4973 0 -1 1077944384 13463 0 0 0 524 1 0 0 20 0 19 0 97389593 11081453568 1247951 33554432000 4194304 4196468 140727963997216 140004321903904 140005085075157 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 5 0 0 6293624 6294260 9031680 140727964005515 140727964005668 140727964005668 140727964008399 0
[pid=14117/tid=14125] ppid=14114 vsize=10821732 memory=5793154527377838951 CPUtime=0 cores=0,2,4,6
/proc/14117/task/14125/stat : 14125 (java) S 14114 14117 4973 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 19 0 97389593 11081453568 1247951 33554432000 4194304 4196468 140727963997216 140004320851680 140005085075157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9031680 140727964005515 140727964005668 140727964005668 140727964008399 0
[pid=14117/tid=14126] ppid=14114 vsize=10821732 memory=5793154527377838951 CPUtime=0 cores=0,2,4,6
/proc/14117/task/14126/stat : 14126 (java) S 14114 14117 4973 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 19 0 97389594 11081453568 1247951 33554432000 4194304 4196468 140727963997216 140004319798528 140005085075157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9031680 140727964005515 140727964005668 140727964005668 140727964008399 0
[pid=14117/tid=14132] ppid=14114 vsize=10821732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14117/task/14132/stat : 14132 (java) S 14114 14117 4973 0 -1 1077944384 140 0 0 0 0 0 0 0 20 0 19 0 97389596 11081453568 1247951 33554432000 4194304 4196468 140727963997216 140004318747088 140005085083547 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9031680 140727964005515 140727964005668 140727964005668 140727964008399 0
[pid=14117/tid=14133] ppid=14114 vsize=10821732 memory=6944652177228980320 CPUtime=2 cores=0,2,4,6
/proc/14117/task/14133/stat : 14133 (java) S 14114 14117 4973 0 -1 1077944384 14281 0 0 0 199 1 0 0 20 0 19 0 97389596 11081453568 1247951 33554432000 4194304 4196468 140727963997216 140004317694192 140005085076098 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9031680 140727964005515 140727964005668 140727964005668 140727964008399 0
[pid=14117/tid=14134] ppid=14114 vsize=10821732 memory=6944656592455097440 CPUtime=1.99 cores=0,2,4,6
/proc/14117/task/14134/stat : 14134 (java) S 14114 14117 4973 0 -1 1077944384 10679 0 0 0 198 1 0 0 20 0 19 0 97389596 11081453568 1247951 33554432000 4194304 4196468 140727963997216 140004316641648 140005085076098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9031680 140727964005515 140727964005668 140727964005668 140727964008399 0
[pid=14117/tid=14135] ppid=14114 vsize=10821732 memory=6944656592387989600 CPUtime=0.49 cores=0,2,4,6
/proc/14117/task/14135/stat : 14135 (java) S 14114 14117 4973 0 -1 1077944384 4676 0 0 0 47 2 0 0 20 0 19 0 97389596 11081453568 1247951 33554432000 4194304 4196468 140727963997216 140004315588592 140005085076098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9031680 140727964005515 140727964005668 140727964005668 140727964008399 0
[pid=14117/tid=14136] ppid=14114 vsize=10821732 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/14117/task/14136/stat : 14136 (java) S 14114 14117 4973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 97389596 11081453568 1247951 33554432000 4194304 4196468 140727963997216 140004314536288 140005085075157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9031680 140727964005515 140727964005668 140727964005668 140727964008399 0
[pid=14117/tid=14137] ppid=14114 vsize=10821732 memory=1092 CPUtime=0.1 cores=0,2,4,6
/proc/14117/task/14137/stat : 14137 (java) R 14114 14117 4973 0 -1 1077944384 298 0 0 0 5 5 0 0 20 0 19 0 97389596 11081453568 1247951 33554432000 4194304 4196468 140727963997216 140004313484336 140005085076098 0 4 0 16800975 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 9031680 140727964005515 140727964005668 140727964005668 140727964008399 0
[pid=14117/tid=14162] ppid=14114 vsize=10821732 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/14117/task/14162/stat : 14162 (java) S 14114 14117 4973 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 19 0 97393937 11081453568 1247951 33554432000 4194304 4196468 140727963997216 140004312430432 140005085075157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9031680 140727964005515 140727964005668 140727964005668 140727964008399 0
Current children cumulated CPU time: 253.67 s
Current children cumulated vsize: 10821732 KiB
Current children cumulated memory: 4991804 KiB

[startup+201.201 s]
/proc/loadavg: 2.94 2.78 2.34 9/219 14250
/proc/meminfo: memFree=16611228/32770624 swapFree=67108860/67108860
[pid=14117] ppid=14114 vsize=10821732 memory=5213852 CPUtime=255.25 cores=0,2,4,6
/proc/14117/stat : 14117 (java) S 14114 14117 4973 0 -1 1077944320 196886 0 0 0 25191 334 0 0 20 0 19 0 97389590 11081453568 1303463 33554432000 4194304 4196468 140727963997216 140727963979760 140005085064951 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9031680 140727964005515 140727964005668 140727964005668 140727964008399 0
/proc/14117/statm: 2705433 1303463 3169 1 0 2693827 0
[pid=14117/tid=14119] ppid=14114 vsize=10821732 memory=6943526294502006880 CPUtime=179.1 cores=0,2,4,6
/proc/14117/task/14119/stat : 14119 (java) S 14114 14117 4973 0 -1 1077944384 71630 0 0 0 17882 28 0 0 20 0 19 0 97389591 11081453568 1303463 33554432000 4194304 4196468 140727963997216 140005089300688 140005085075157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9031680 140727964005515 140727964005668 140727964005668 140727964008399 0
[pid=14117/tid=14120] ppid=14114 vsize=10821732 memory=6656426216303648864 CPUtime=16.51 cores=0,2,4,6
/proc/14117/task/14120/stat : 14120 (java) R 14114 14117 4973 0 -1 4202560 21577 0 0 0 1579 72 0 0 20 0 19 0 97389592 11081453568 1303463 33554432000 4194304 4196468 140727963997216 140005011138776 140005070087072 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9031680 140727964005515 140727964005668 140727964005668 140727964008399 0
[pid=14117/tid=14121] ppid=14114 vsize=10821732 memory=6944656592387989600 CPUtime=16.59 cores=0,2,4,6
/proc/14117/task/14121/stat : 14121 (java) R 14114 14117 4973 0 -1 4202560 25310 0 0 0 1581 78 0 0 20 0 19 0 97389592 11081453568 1303463 33554432000 4194304 4196468 140727963997216 140005010086232 140005070087072 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9031680 140727964005515 140727964005668 140727964005668 140727964008399 0
[pid=14117/tid=14122] ppid=14114 vsize=10821732 memory=6944656592387989600 CPUtime=16.45 cores=0,2,4,6
/proc/14117/task/14122/stat : 14122 (java) R 14114 14117 4973 0 -1 4202560 14665 0 0 0 1570 75 0 0 20 0 19 0 97389592 11081453568 1303463 33554432000 4194304 4196468 140727963997216 140005009033376 140005070087072 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9031680 140727964005515 140727964005668 140727964005668 140727964008399 0
[pid=14117/tid=14123] ppid=14114 vsize=10821732 memory=6655300316396806240 CPUtime=16.66 cores=0,2,4,6
/proc/14117/task/14123/stat : 14123 (java) R 14114 14117 4973 0 -1 4202560 18535 0 0 0 1598 68 0 0 20 0 19 0 97389592 11081453568 1303463 33554432000 4194304 4196468 140727963997216 140005007981144 140005064260096 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9031680 140727964005515 140727964005668 140727964005668 140727964008399 0
[pid=14117/tid=14124] ppid=14114 vsize=10821732 memory=6655300316396806240 CPUtime=5.25 cores=0,2,4,6
/proc/14117/task/14124/stat : 14124 (java) S 14114 14117 4973 0 -1 1077944384 13463 0 0 0 524 1 0 0 20 0 19 0 97389593 11081453568 1303463 33554432000 4194304 4196468 140727963997216 140004321903904 140005085075157 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 5 0 0 6293624 6294260 9031680 140727964005515 140727964005668 140727964005668 140727964008399 0
[pid=14117/tid=14125] ppid=14114 vsize=10821732 memory=8976414709404591081 CPUtime=0 cores=0,2,4,6
/proc/14117/task/14125/stat : 14125 (java) S 14114 14117 4973 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 19 0 97389593 11081453568 1303463 33554432000 4194304 4196468 140727963997216 140004320851680 140005085075157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9031680 140727964005515 140727964005668 140727964005668 140727964008399 0
[pid=14117/tid=14126] ppid=14114 vsize=10821732 memory=279671493099760 CPUtime=0 cores=0,2,4,6
/proc/14117/task/14126/stat : 14126 (java) S 14114 14117 4973 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 19 0 97389594 11081453568 1303463 33554432000 4194304 4196468 140727963997216 140004319798528 140005085075157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9031680 140727964005515 140727964005668 140727964005668 140727964008399 0
[pid=14117/tid=14132] ppid=14114 vsize=10821732 memory=6944652177225824864 CPUtime=0 cores=0,2,4,6
/proc/14117/task/14132/stat : 14132 (java) S 14114 14117 4973 0 -1 1077944384 140 0 0 0 0 0 0 0 20 0 19 0 97389596 11081453568 1303463 33554432000 4194304 4196468 140727963997216 140004318747088 140005085083547 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9031680 140727964005515 140727964005668 140727964005668 140727964008399 0
[pid=14117/tid=14133] ppid=14114 vsize=10821732 memory=734279557725488009 CPUtime=2 cores=0,2,4,6
/proc/14117/task/14133/stat : 14133 (java) S 14114 14117 4973 0 -1 1077944384 14281 0 0 0 199 1 0 0 20 0 19 0 97389596 11081453568 1303463 33554432000 4194304 4196468 140727963997216 140004317694192 140005085076098 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9031680 140727964005515 140727964005668 140727964005668 140727964008399 0
[pid=14117/tid=14134] ppid=14114 vsize=10821732 memory=56 CPUtime=1.99 cores=0,2,4,6
/proc/14117/task/14134/stat : 14134 (java) S 14114 14117 4973 0 -1 1077944384 10679 0 0 0 198 1 0 0 20 0 19 0 97389596 11081453568 1303463 33554432000 4194304 4196468 140727963997216 140004316641648 140005085076098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9031680 140727964005515 140727964005668 140727964005668 140727964008399 0
[pid=14117/tid=14135] ppid=14114 vsize=10821732 memory=288284489334129497 CPUtime=0.49 cores=0,2,4,6
/proc/14117/task/14135/stat : 14135 (java) S 14114 14117 4973 0 -1 1077944384 4676 0 0 0 47 2 0 0 20 0 19 0 97389596 11081453568 1303463 33554432000 4194304 4196468 140727963997216 140004315588592 140005085076098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9031680 140727964005515 140727964005668 140727964005668 140727964008399 0
[pid=14117/tid=14136] ppid=14114 vsize=10821732 memory=139835856353761 CPUtime=0 cores=0,2,4,6
/proc/14117/task/14136/stat : 14136 (java) S 14114 14117 4973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 97389596 11081453568 1303463 33554432000 4194304 4196468 140727963997216 140004314536288 140005085075157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9031680 140727964005515 140727964005668 140727964005668 140727964008399 0
[pid=14117/tid=14137] ppid=14114 vsize=10821732 memory=4638829010848866927 CPUtime=0.1 cores=0,2,4,6
/proc/14117/task/14137/stat : 14137 (java) S 14114 14117 4973 0 -1 1077944384 298 0 0 0 5 5 0 0 20 0 19 0 97389596 11081453568 1303463 33554432000 4194304 4196468 140727963997216 140004313484336 140005085076098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 9031680 140727964005515 140727964005668 140727964005668 140727964008399 0
[pid=14117/tid=14162] ppid=14114 vsize=10821732 memory=8026650869813564775 CPUtime=0 cores=0,2,4,6
/proc/14117/task/14162/stat : 14162 (java) S 14114 14117 4973 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 19 0 97393937 11081453568 1303463 33554432000 4194304 4196468 140727963997216 140004312430432 140005085075157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9031680 140727964005515 140727964005668 140727964005668 140727964008399 0
[pid=14117/tid=14248] ppid=14114 vsize=10821732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14117/task/14248/stat : 14248 (java) S 14114 14117 4973 0 -1 1077944384 126 0 0 0 0 0 0 0 20 0 19 0 97409631 11081453568 1303463 33554432000 4194304 4196468 140727963997216 140004311376368 140005085075157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9031680 140727964005515 140727964005668 140727964005668 140727964008399 0
[pid=14117/tid=14249] ppid=14114 vsize=10821732 memory=7649399367068103729 CPUtime=0 cores=0,2,4,6
/proc/14117/task/14249/stat : 14249 (java) S 14114 14117 4973 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 19 0 97409631 11081453568 1303463 33554432000 4194304 4196468 140727963997216 140004310324448 140005085075157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9031680 140727964005515 140727964005668 140727964005668 140727964008399 0
[pid=14117/tid=14250] ppid=14114 vsize=10821732 memory=121332826140248 CPUtime=0 cores=0,2,4,6
/proc/14117/task/14250/stat : 14250 (java) S 14114 14117 4973 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 97409631 11081453568 1303463 33554432000 4194304 4196468 140727963997216 140004309270848 140005085075157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9031680 140727964005515 140727964005668 140727964005668 140727964008399 0
Current children cumulated CPU time: 255.25 s
Current children cumulated vsize: 10821732 KiB
Current children cumulated memory: 5213852 KiB

[startup+201.301 s]
/proc/loadavg: 2.94 2.78 2.34 9/219 14250
/proc/meminfo: memFree=16611228/32770624 swapFree=67108860/67108860
[pid=14117] ppid=14114 vsize=10821732 memory=5224092 CPUtime=255.65 cores=0,2,4,6
/proc/14117/stat : 14117 (java) S 14114 14117 4973 0 -1 1077944320 196913 0 0 0 25230 335 0 0 20 0 19 0 97389590 11081453568 1306023 33554432000 4194304 4196468 140727963997216 140727963979760 140005085064951 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9031680 140727964005515 140727964005668 140727964005668 140727964008399 0
/proc/14117/statm: 2705433 1306023 3169 1 0 2693827 0
[pid=14117/tid=14119] ppid=14114 vsize=10821732 memory=4992152 CPUtime=179.1 cores=0,2,4,6
/proc/14117/task/14119/stat : 14119 (java) S 14114 14117 4973 0 -1 1077944384 71630 0 0 0 17882 28 0 0 20 0 19 0 97389591 11081453568 1306023 33554432000 4194304 4196468 140727963997216 140005089300688 140005085075157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9031680 140727964005515 140727964005668 140727964005668 140727964008399 0
[pid=14117/tid=14120] ppid=14114 vsize=10821732 memory=4992152 CPUtime=16.6 cores=0,2,4,6
/proc/14117/task/14120/stat : 14120 (java) R 14114 14117 4973 0 -1 4202560 21587 0 0 0 1588 72 0 0 20 0 19 0 97389592 11081453568 1306023 33554432000 4194304 4196468 140727963997216 140005011138776 140005064260106 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9031680 140727964005515 140727964005668 140727964005668 140727964008399 0
[pid=14117/tid=14121] ppid=14114 vsize=10821732 memory=4992152 CPUtime=16.69 cores=0,2,4,6
/proc/14117/task/14121/stat : 14121 (java) R 14114 14117 4973 0 -1 4202560 25318 0 0 0 1591 78 0 0 20 0 19 0 97389592 11081453568 1306023 33554432000 4194304 4196468 140727963997216 140005010086232 140005077693159 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9031680 140727964005515 140727964005668 140727964005668 140727964008399 0
[pid=14117/tid=14122] ppid=14114 vsize=10821732 memory=4992152 CPUtime=16.56 cores=0,2,4,6
/proc/14117/task/14122/stat : 14122 (java) R 14114 14117 4973 0 -1 4202560 14674 0 0 0 1580 76 0 0 20 0 19 0 97389592 11081453568 1306023 33554432000 4194304 4196468 140727963997216 140005009033608 140005077693159 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9031680 140727964005515 140727964005668 140727964005668 140727964008399 0
[pid=14117/tid=14123] ppid=14114 vsize=10821732 memory=4992084 CPUtime=16.77 cores=0,2,4,6
/proc/14117/task/14123/stat : 14123 (java) R 14114 14117 4973 0 -1 4202560 18535 0 0 0 1609 68 0 0 20 0 19 0 97389592 11081453568 1306023 33554432000 4194304 4196468 140727963997216 140005007981144 140005077693159 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9031680 140727964005515 140727964005668 140727964005668 140727964008399 0
[pid=14117/tid=14124] ppid=14114 vsize=10821732 memory=4992008 CPUtime=5.25 cores=0,2,4,6
/proc/14117/task/14124/stat : 14124 (java) S 14114 14117 4973 0 -1 1077944384 13463 0 0 0 524 1 0 0 20 0 19 0 97389593 11081453568 1306023 33554432000 4194304 4196468 140727963997216 140004321903904 140005085075157 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 5 0 0 6293624 6294260 9031680 140727964005515 140727964005668 140727964005668 140727964008399 0
[pid=14117/tid=14125] ppid=14114 vsize=10821732 memory=4992084 CPUtime=0 cores=0,2,4,6
/proc/14117/task/14125/stat : 14125 (java) S 14114 14117 4973 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 19 0 97389593 11081453568 1306023 33554432000 4194304 4196468 140727963997216 140004320851680 140005085075157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9031680 140727964005515 140727964005668 140727964005668 140727964008399 0
[pid=14117/tid=14126] ppid=14114 vsize=10821732 memory=5172892 CPUtime=0 cores=0,2,4,6
/proc/14117/task/14126/stat : 14126 (java) S 14114 14117 4973 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 19 0 97389594 11081453568 1306023 33554432000 4194304 4196468 140727963997216 140004319798528 140005085075157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9031680 140727964005515 140727964005668 140727964005668 140727964008399 0
[pid=14117/tid=14132] ppid=14114 vsize=10821732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14117/task/14132/stat : 14132 (java) S 14114 14117 4973 0 -1 1077944384 140 0 0 0 0 0 0 0 20 0 19 0 97389596 11081453568 1306023 33554432000 4194304 4196468 140727963997216 140004318747088 140005085083547 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9031680 140727964005515 140727964005668 140727964005668 140727964008399 0
[pid=14117/tid=14133] ppid=14114 vsize=10821732 memory=4992152 CPUtime=2 cores=0,2,4,6
/proc/14117/task/14133/stat : 14133 (java) S 14114 14117 4973 0 -1 1077944384 14281 0 0 0 199 1 0 0 20 0 19 0 97389596 11081453568 1306023 33554432000 4194304 4196468 140727963997216 140004317694192 140005085076098 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9031680 140727964005515 140727964005668 140727964005668 140727964008399 0
[pid=14117/tid=14134] ppid=14114 vsize=10821732 memory=4992152 CPUtime=1.99 cores=0,2,4,6
/proc/14117/task/14134/stat : 14134 (java) S 14114 14117 4973 0 -1 1077944384 10679 0 0 0 198 1 0 0 20 0 19 0 97389596 11081453568 1306023 33554432000 4194304 4196468 140727963997216 140004316641648 140005085076098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9031680 140727964005515 140727964005668 140727964005668 140727964008399 0
[pid=14117/tid=14135] ppid=14114 vsize=10821732 memory=4992152 CPUtime=0.49 cores=0,2,4,6
/proc/14117/task/14135/stat : 14135 (java) S 14114 14117 4973 0 -1 1077944384 4676 0 0 0 47 2 0 0 20 0 19 0 97389596 11081453568 1306023 33554432000 4194304 4196468 140727963997216 140004315588592 140005085076098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9031680 140727964005515 140727964005668 140727964005668 140727964008399 0
[pid=14117/tid=14136] ppid=14114 vsize=10821732 memory=4144 CPUtime=0 cores=0,2,4,6
/proc/14117/task/14136/stat : 14136 (java) S 14114 14117 4973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 97389596 11081453568 1306023 33554432000 4194304 4196468 140727963997216 140004314536288 140005085075157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9031680 140727964005515 140727964005668 140727964005668 140727964008399 0
[pid=14117/tid=14137] ppid=14114 vsize=10821732 memory=4612 CPUtime=0.1 cores=0,2,4,6
/proc/14117/task/14137/stat : 14137 (java) S 14114 14117 4973 0 -1 1077944384 298 0 0 0 5 5 0 0 20 0 19 0 97389596 11081453568 1306023 33554432000 4194304 4196468 140727963997216 140004313484336 140005085076098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 9031680 140727964005515 140727964005668 140727964005668 140727964008399 0
[pid=14117/tid=14162] ppid=14114 vsize=10821732 memory=1008 CPUtime=0 cores=0,2,4,6
/proc/14117/task/14162/stat : 14162 (java) S 14114 14117 4973 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 19 0 97393937 11081453568 1306023 33554432000 4194304 4196468 140727963997216 140004312430432 140005085075157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9031680 140727964005515 140727964005668 140727964005668 140727964008399 0
[pid=14117/tid=14248] ppid=14114 vsize=10821732 memory=288230574492221466 CPUtime=0 cores=0,2,4,6
/proc/14117/task/14248/stat : 14248 (java) S 14114 14117 4973 0 -1 1077944384 126 0 0 0 0 0 0 0 20 0 19 0 97409631 11081453568 1306023 33554432000 4194304 4196468 140727963997216 140004311376368 140005085075157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9031680 140727964005515 140727964005668 140727964005668 140727964008399 0
[pid=14117/tid=14249] ppid=14114 vsize=10821732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14117/task/14249/stat : 14249 (java) S 14114 14117 4973 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 19 0 97409631 11081453568 1306023 33554432000 4194304 4196468 140727963997216 140004310324448 140005085075157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9031680 140727964005515 140727964005668 140727964005668 140727964008399 0
[pid=14117/tid=14250] ppid=14114 vsize=10821732 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6
/proc/14117/task/14250/stat : 14250 (java) S 14114 14117 4973 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 97409631 11081453568 1306023 33554432000 4194304 4196468 140727963997216 140004309270848 140005085075157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9031680 140727964005515 140727964005668 140727964005668 140727964008399 0
Current children cumulated CPU time: 255.65 s
Current children cumulated vsize: 10821732 KiB
Current children cumulated memory: 5224092 KiB

Child status: 143
Real time (s): 201.355
CPU time (s): 255.787
CPU user time (s): 252.402
CPU system time (s): 3.38492
CPU usage (%): 127.033
Max. virtual memory (cumulated for all children) (KiB): 10821732
Max. memory (cumulated for all children) (KiB): 5224092

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 252.402
system time used= 3.38492
maximum resident set size= 5224536
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 197631
page faults= 0
swaps= 0
block input operations= 0
block output operations= 336
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8152
involuntary context switches= 1137


# summary of solver processes directly reported to runsolver:
#   pid: 14117
#   total CPU time (s): 255.787
#   total CPU user time (s): 252.402
#   total CPU system time (s): 3.38492

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.16897 second user time and 2.05214 second system time

The end

Launcher Data 

Begin job on node151 at 2017-08-13 18:37:08
IDJOB=4258318
IDBENCH=115908
IDSOLVER=2643
FILE ID=node151/4258318-1502643087
RUNJOBID= node151-1502642118-13947
PBS_JOBID= 20628306
Free space on /tmp= 61756 MiB

SOLVER NAME= sat4j-CSP 2017-07-05
BENCH NAME= XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-15.xml
COMMAND LINE= java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4258318-1502643087/watcher-4258318-1502643087 -o /tmp/evaluation-result-4258318-1502643087/solver-4258318-1502643087 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node151-1502642118-13947 --watchdog 312  java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4258318-1502643087.xml

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

MD5SUM BENCH= e301970dbbdacc0ad69519f2afe54420
RANDOM SEED=1231595860

node151.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	: 5332.95
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	: 5332.95
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	: 5332.95
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	: 5332.95
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:        28871608 kB
MemAvailable:   31996032 kB
Buffers:          245216 kB
Cached:          3170536 kB
SwapCached:            0 kB
Active:           847764 kB
Inactive:        2619796 kB
Active(anon):      54672 kB
Inactive(anon):    25044 kB
Active(file):     793092 kB
Inactive(file):  2594752 kB
Unevictable:        7024 kB
Mlocked:            7024 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              1596 kB
Writeback:             0 kB
AnonPages:         58828 kB
Mapped:            43736 kB
Shmem:             25224 kB
Slab:             131192 kB
SReclaimable:     104828 kB
SUnreclaim:        26364 kB
KernelStack:        3168 kB
PageTables:         4848 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     326024 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 61752 MiB
End job on node151 at 2017-08-13 18:40:30