Trace number 4244075

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
R1: sat4j-CSP 2017-07-05? (TO) 2400.14 2378.97

General information on the benchmark

NamePseudoBoolean/PseudoBoolean-dec-sptate/
Pb-Tate-K108.xml
MD5SUM2a47884be513939e719b7a1148b6038b
Bench CategoryCSP (decision problem)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables7344
Number of constraints7562
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":7344}]
Minimum variable degree3
Maximum variable degree10
Distribution of variable degrees[{"degree":3,"count":1},{"degree":4,"count":185},{"degree":5,"count":1300},{"degree":6,"count":2879},{"degree":7,"count":1808},{"degree":8,"count":745},{"degree":9,"count":214},{"degree":10,"count":212}]
Minimum constraint arity1
Maximum constraint arity108
Distribution of constraint arities[{"arity":1,"count":2},{"arity":2,"count":1391},{"arity":3,"count":2889},{"arity":4,"count":1926},{"arity":5,"count":642},{"arity":6,"count":214},{"arity":7,"count":214},{"arity":68,"count":216},{"arity":108,"count":68}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":7562}]
Optimization problemNO
Type of objective

Solver Data 

21.39/4.58	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
21.39/4.58	c This is free software under the dual EPL/GNU LGPL licenses.
21.39/4.58	c See www.sat4j.org for details.
21.39/4.58	c That software uses the Rhino library from the Mozilla project.
21.39/4.58	c version CUSTOM.v20170705
21.39/4.58	c java.runtime.name	Java(TM) SE Runtime Environment
21.39/4.58	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
21.39/4.58	c java.vm.version	25.131-b11
21.39/4.58	c java.vm.vendor	Oracle Corporation
21.39/4.58	c sun.arch.data.model	64
21.39/4.58	c java.version		1.8.0_131
21.39/4.58	c os.name		Linux
21.39/4.58	c os.version		3.10.0-514.16.1.el7.x86_64
21.39/4.58	c os.arch		amd64
21.39/4.58	c Free memory 		499604488
21.39/4.58	c Max memory 		7247757312
21.39/4.58	c Total memory 		504889344
21.39/4.58	c Number of processors 	8
21.39/4.58	c c --- Begin Solver configuration ---
21.39/4.58	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b71fc7e
21.39/4.58	c Learn all clauses as in MiniSAT
21.39/4.58	c LOGGER=java.util.logging.Logger@25f38edc claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
21.39/4.58	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
21.39/4.58	c No reason simplification
21.39/4.58	c Glucose 2.1 dynamic restart strategy
21.39/4.58	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
21.39/4.58	c timeout=2147483s
21.39/4.58	c DB Simplification allowed=false
21.39/4.58	c Listener: org.sat4j.minisat.core.VoidTracing@1a86f2f1
21.39/4.58	c --- End Solver configuration ---
21.39/4.58	c constraints type 
21.39/4.58	c org.sat4j.minisat.constraints.card.MinWatchCard => 14688
21.39/4.58	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 83981
21.39/4.58	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1920614
21.39/4.58	c org.sat4j.minisat.constraints.cnf.UnitClause => 15124
21.39/4.58	c 2034407 constraints processed.
2400.06/2378.90	c starts		: 40148
2400.06/2378.90	c conflicts		: 7829392
2400.06/2378.90	c decisions		: 13564848
2400.06/2378.90	c propagations		: 7987622865
2400.06/2378.90	c inspects		: 19590442461
2400.06/2378.90	c shortcuts		: 0
2400.06/2378.90	c learnt literals	: 4317
2400.06/2378.90	c learnt binary clauses	: 1185
2400.06/2378.90	c learnt ternary clauses	: 17513
2400.06/2378.90	c learnt constraints	: 7825075
2400.06/2378.90	c ignored constraints	: 0
2400.06/2378.90	c root simplifications	: 0
2400.06/2378.90	c removed literals (reason simplification)	: 0
2400.06/2378.90	c reason swapping (by a shorter reason)	: 0
2400.06/2378.90	c Calls to reduceDB	: 120
2400.06/2378.90	c Number of update (reduction) of LBD	: 323356
2400.06/2378.90	c Imported unit clauses	: 0
2400.06/2378.90	c number of reductions to clauses (during analyze)	: 0
2400.06/2378.90	c number of learned constraints concerned by reduction	: 0
2400.06/2378.90	c number of learning phase by resolution	: 0
2400.06/2378.90	c number of learning phase by cutting planes	: 0
2400.06/2378.90	c number of rounding to 1 operations	: 0
2400.06/2378.90	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
2400.06/2378.90	c number of reductions of the coefficients by power 2 	: 0
2400.06/2378.90	c number of right shift for reduction by power 2 	: 0
2400.06/2378.90	c number of reductions of the coefficients by GCD over coefficients 	: 0
2400.06/2378.90	c speed (assignments/second)	: 3364270.612079346
2400.06/2378.90	c non guided choices	2208420
2400.06/2378.94	c learnt constraints type 
2400.06/2378.94	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 1185
2400.06/2378.94	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 211217
2400.06/2378.94	s UNKNOWN

Verifier Data


Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4244075-1500679572/watcher-4244075-1500679572 -o /tmp/evaluation-result-4244075-1500679572/solver-4244075-1500679572 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node149-1500672434-13135 --watchdog 2560 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4244075-1500679572.xml 

pid=14780
running on 8 cores: 0,2,4,6,8,10,12,14

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.04 2.18 3/262 14783
/proc/meminfo: memFree=31695708/32770624 swapFree=5960/208148
[pid=14783] ppid=14780 vsize=8354884 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14783/stat : 14783 (java) S 14780 14783 9826 0 -1 1077944320 2241 0 0 0 0 0 0 0 20 0 7 0 3222032 8555401216 2508 33554432000 4194304 4196468 140728871769360 140728871751904 139743411826423 0 0 0 16784584 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 33800192 140728871777451 140728871777604 140728871777604 140728871780303 0
/proc/14783/statm: 2088721 2508 1208 1 0 2077632 0
[pid=14783/tid=14784] ppid=14780 vsize=8357968 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14783/task/14784/stat : 14784 (java) R 14780 14783 9826 0 -1 4202560 948 0 0 0 0 0 0 0 20 0 10 0 3222033 8558559232 2508 33554432000 4194304 4196468 140728871769360 139743416067792 139743411838358 0 4 0 16784584 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33800192 140728871777451 140728871777604 140728871777604 140728871780303 0
[pid=14783/tid=14785] ppid=14780 vsize=8562736 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14783/task/14785/stat : 14785 (java) D 14780 14783 9826 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 3222034 8768241664 2508 33554432000 4194304 4196468 140728871769360 139743018870584 139743404543527 0 4 0 16784584 18446744071582151463 0 0 -1 8 0 0 0 0 0 6293624 6294260 33800192 140728871777451 140728871777604 140728871777604 140728871780303 0
[pid=14783/tid=14786] ppid=14780 vsize=8620112 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14783/task/14786/stat : 14786 (java) R 14780 14783 9826 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 3222034 8826994688 2508 33554432000 4194304 4196468 140728871769360 139743017817992 139743404543386 0 4 0 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33800192 140728871777451 140728871777604 140728871777604 140728871780303 0
[pid=14783/tid=14787] ppid=14780 vsize=8685648 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14783/task/14787/stat : 14787 (java) R 14780 14783 9826 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 3222034 8894103552 2508 33554432000 4194304 4196468 140728871769360 139743016765448 139743404543386 0 4 0 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33800192 140728871777451 140728871777604 140728871777604 140728871780303 0
[pid=14783/tid=14788] ppid=14780 vsize=8816720 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14783/task/14788/stat : 14788 (java) R 14780 14783 9826 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 10 0 3222034 9028321280 2508 33554432000 4194304 4196468 140728871769360 139743015712952 139743411852836 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33800192 140728871777451 140728871777604 140728871777604 140728871780303 0
[pid=14783/tid=14789] ppid=14780 vsize=8816720 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14783/task/14789/stat : 14789 (java) S 14780 14783 9826 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 10 0 3222034 9028321280 2508 33554432000 4194304 4196468 140728871769360 139743014660880 139743411836629 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33800192 140728871777451 140728871777604 140728871777604 140728871780303 0
[pid=14783/tid=14790] ppid=14780 vsize=8816720 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14783/task/14790/stat : 14790 (java) S 14780 14783 9826 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 10 0 3222034 9028321280 2508 33554432000 4194304 4196468 140728871769360 139743013608336 139743411836629 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33800192 140728871777451 140728871777604 140728871777604 140728871780303 0
[pid=14783/tid=14791] ppid=14780 vsize=8816720 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14783/task/14791/stat : 14791 (java) S 14780 14783 9826 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 10 0 3222034 9028321280 2508 33554432000 4194304 4196468 140728871769360 139743012555792 139743411836629 0 4 0 16784584 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 33800192 140728871777451 140728871777604 140728871777604 140728871780303 0
[pid=14783/tid=14792] ppid=14780 vsize=9197232 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14783/task/14792/stat : 14792 (java) R 14780 14783 9826 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 10 0 3222034 9417965568 2537 33554432000 4194304 4196468 140728871769360 139743011502776 139743404543527 0 4 0 16784584 18446744071582151463 0 0 -1 0 0 0 0 0 0 6293624 6294260 33800192 140728871777451 140728871777604 140728871777604 140728871780303 0

[startup+0.100129 s]
/proc/loadavg: 2.00 2.04 2.18 3/262 14783
/proc/meminfo: memFree=31695708/32770624 swapFree=5960/208148
[pid=14783] ppid=14780 vsize=10900556 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/14783/stat : 14783 (java) S 14780 14783 9826 0 -1 1077944320 4862 0 0 0 8 1 0 0 20 0 20 0 3222032 11162169344 5967 33554432000 4194304 4196468 140728871769360 140728871751904 139743411826423 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 33800192 140728871777451 140728871777604 140728871777604 140728871780303 0
/proc/14783/statm: 2725139 5967 2627 1 0 2713552 0
[pid=14783/tid=14784] ppid=14780 vsize=10900556 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/14783/task/14784/stat : 14784 (java) R 14780 14783 9826 0 -1 4202560 2961 0 0 0 7 1 0 0 20 0 20 0 3222033 11162169344 5967 33554432000 4194304 4196468 140728871769360 139743416059904 139743411848349 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33800192 140728871777451 140728871777604 140728871777604 140728871780303 0
[pid=14783/tid=14785] ppid=14780 vsize=10900556 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14783/task/14785/stat : 14785 (java) S 14780 14783 9826 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3222034 11162169344 5967 33554432000 4194304 4196468 140728871769360 139743018871056 139743411836629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33800192 140728871777451 140728871777604 140728871777604 140728871780303 0
[pid=14783/tid=14786] ppid=14780 vsize=10900556 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14783/task/14786/stat : 14786 (java) S 14780 14783 9826 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3222034 11162169344 5967 33554432000 4194304 4196468 140728871769360 139743017818512 139743411836629 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 33800192 140728871777451 140728871777604 140728871777604 140728871780303 0
[pid=14783/tid=14787] ppid=14780 vsize=10900556 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14783/task/14787/stat : 14787 (java) S 14780 14783 9826 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3222034 11162169344 5967 33554432000 4194304 4196468 140728871769360 139743016765968 139743411836629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33800192 140728871777451 140728871777604 140728871777604 140728871780303 0
[pid=14783/tid=14788] ppid=14780 vsize=10900556 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14783/task/14788/stat : 14788 (java) S 14780 14783 9826 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3222034 11162169344 5967 33554432000 4194304 4196468 140728871769360 139743015713424 139743411836629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33800192 140728871777451 140728871777604 140728871777604 140728871780303 0
[pid=14783/tid=14789] ppid=14780 vsize=10900556 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14783/task/14789/stat : 14789 (java) S 14780 14783 9826 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3222034 11162169344 5990 33554432000 4194304 4196468 140728871769360 139743014660880 139743411836629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33800192 140728871777451 140728871777604 140728871777604 140728871780303 0
[pid=14783/tid=14790] ppid=14780 vsize=10900456 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14783/task/14790/stat : 14790 (java) S 14780 14783 9826 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3222034 11162066944 5990 33554432000 4194304 4196468 140728871769360 139743013608336 139743411836629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33800192 140728871777451 140728871777604 140728871777604 140728871780303 0
[pid=14783/tid=14791] ppid=14780 vsize=10900456 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14783/task/14791/stat : 14791 (java) S 14780 14783 9826 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3222034 11162066944 5990 33554432000 4194304 4196468 140728871769360 139743012555792 139743411836629 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 33800192 140728871777451 140728871777604 140728871777604 140728871780303 0
[pid=14783/tid=14792] ppid=14780 vsize=10900456 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14783/task/14792/stat : 14792 (java) S 14780 14783 9826 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3222034 11162066944 5990 33554432000 4194304 4196468 140728871769360 139743011503248 139743411836629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33800192 140728871777451 140728871777604 140728871777604 140728871780303 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10900556

[startup+0.201123 s]
/proc/loadavg: 2.00 2.04 2.18 3/262 14783
/proc/meminfo: memFree=31695708/32770624 swapFree=5960/208148
[pid=14783] ppid=14780 vsize=10900556 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/14783/stat : 14783 (java) S 14780 14783 9826 0 -1 1077944320 6906 0 0 0 19 2 0 0 20 0 20 0 3222032 11162169344 7731 33554432000 4194304 4196468 140728871769360 140728871751904 139743411826423 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 33800192 140728871777451 140728871777604 140728871777604 140728871780303 0
/proc/14783/statm: 2725139 7731 2846 1 0 2713552 0
[pid=14783/tid=14784] ppid=14780 vsize=10900556 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/14783/task/14784/stat : 14784 (java) R 14780 14783 9826 0 -1 4202560 4593 0 0 0 14 2 0 0 20 0 20 0 3222033 11162169344 7731 33554432000 4194304 4196468 140728871769360 139743416059744 139743411848349 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33800192 140728871777451 140728871777604 140728871777604 140728871780303 0
[pid=14783/tid=14785] ppid=14780 vsize=10900556 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14783/task/14785/stat : 14785 (java) S 14780 14783 9826 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3222034 11162169344 7731 33554432000 4194304 4196468 140728871769360 139743018871056 139743411836629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33800192 140728871777451 140728871777604 140728871777604 140728871780303 0
[pid=14783/tid=14786] ppid=14780 vsize=10900556 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14783/task/14786/stat : 14786 (java) S 14780 14783 9826 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3222034 11162169344 7731 33554432000 4194304 4196468 140728871769360 139743017818512 139743411836629 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 33800192 140728871777451 140728871777604 140728871777604 140728871780303 0
[pid=14783/tid=14787] ppid=14780 vsize=10900556 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14783/task/14787/stat : 14787 (java) S 14780 14783 9826 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3222034 11162169344 7731 33554432000 4194304 4196468 140728871769360 139743016765968 139743411836629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33800192 140728871777451 140728871777604 140728871777604 140728871780303 0
[pid=14783/tid=14788] ppid=14780 vsize=10900556 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14783/task/14788/stat : 14788 (java) S 14780 14783 9826 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3222034 11162169344 7731 33554432000 4194304 4196468 140728871769360 139743015713424 139743411836629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33800192 140728871777451 140728871777604 140728871777604 140728871780303 0
[pid=14783/tid=14789] ppid=14780 vsize=10900556 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14783/task/14789/stat : 14789 (java) S 14780 14783 9826 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3222034 11162169344 7731 33554432000 4194304 4196468 140728871769360 139743014660880 139743411836629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33800192 140728871777451 140728871777604 140728871777604 140728871780303 0
[pid=14783/tid=14790] ppid=14780 vsize=10900556 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14783/task/14790/stat : 14790 (java) S 14780 14783 9826 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3222034 11162169344 7731 33554432000 4194304 4196468 140728871769360 139743013608336 139743411836629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33800192 140728871777451 140728871777604 140728871777604 140728871780303 0
[pid=14783/tid=14791] ppid=14780 vsize=10900556 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14783/task/14791/stat : 14791 (java) S 14780 14783 9826 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3222034 11162169344 7731 33554432000 4194304 4196468 140728871769360 139743012555792 139743411836629 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 33800192 140728871777451 140728871777604 140728871777604 140728871780303 0
[pid=14783/tid=14792] ppid=14780 vsize=10900556 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14783/task/14792/stat : 14792 (java) S 14780 14783 9826 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3222034 11162169344 7731 33554432000 4194304 4196468 140728871769360 139743011503248 139743411836629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33800192 140728871777451 140728871777604 140728871777604 140728871780303 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 10900556

[startup+0.30094 s]
/proc/loadavg: 2.00 2.04 2.18 3/262 14783
/proc/meminfo: memFree=31695708/32770624 swapFree=5960/208148
[pid=14783] ppid=14780 vsize=10900556 CPUtime=0.42 cores=0,2,4,6,8,10,12,14
/proc/14783/stat : 14783 (java) S 14780 14783 9826 0 -1 1077944320 8337 0 0 0 39 3 0 0 20 0 20 0 3222032 11162169344 10110 33554432000 4194304 4196468 140728871769360 140728871751904 139743411826423 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 33800192 140728871777451 140728871777604 140728871777604 140728871780303 0
/proc/14783/statm: 2725139 10110 2960 1 0 2713552 0
[pid=14783/tid=14784] ppid=14780 vsize=10900556 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/14783/task/14784/stat : 14784 (java) R 14780 14783 9826 0 -1 4202560 5069 0 0 0 23 2 0 0 20 0 20 0 3222033 11162169344 10110 33554432000 4194304 4196468 140728871769360 139743416062304 139743411848349 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33800192 140728871777451 140728871777604 140728871777604 140728871780303 0
[pid=14783/tid=14785] ppid=14780 vsize=10900556 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14783/task/14785/stat : 14785 (java) S 14780 14783 9826 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3222034 11162169344 10110 33554432000 4194304 4196468 140728871769360 139743018871056 139743411836629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33800192 140728871777451 140728871777604 140728871777604 140728871780303 0
[pid=14783/tid=14786] ppid=14780 vsize=10900556 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14783/task/14786/stat : 14786 (java) S 14780 14783 9826 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3222034 11162169344 10110 33554432000 4194304 4196468 140728871769360 139743017818512 139743411836629 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 33800192 140728871777451 140728871777604 140728871777604 140728871780303 0
[pid=14783/tid=14787] ppid=14780 vsize=10900556 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14783/task/14787/stat : 14787 (java) S 14780 14783 9826 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3222034 11162169344 10110 33554432000 4194304 4196468 140728871769360 139743016765968 139743411836629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33800192 140728871777451 140728871777604 140728871777604 140728871780303 0
[pid=14783/tid=14788] ppid=14780 vsize=10900556 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14783/task/14788/stat : 14788 (java) S 14780 14783 9826 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3222034 11162169344 10110 33554432000 4194304 4196468 140728871769360 139743015713424 139743411836629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33800192 140728871777451 140728871777604 140728871777604 140728871780303 0
[pid=14783/tid=14789] ppid=14780 vsize=10900556 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14783/task/14789/stat : 14789 (java) S 14780 14783 9826 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3222034 11162169344 10110 33554432000 4194304 4196468 140728871769360 139743014660880 139743411836629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33800192 140728871777451 140728871777604 140728871777604 140728871780303 0
[pid=14783/tid=14790] ppid=14780 vsize=10900556 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14783/task/14790/stat : 14790 (java) S 14780 14783 9826 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3222034 11162169344 10110 33554432000 4194304 4196468 140728871769360 139743013608336 139743411836629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33800192 140728871777451 140728871777604 140728871777604 140728871780303 0
[pid=14783/tid=14791] ppid=14780 vsize=10900556 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14783/task/14791/stat : 14791 (java) S 14780 14783 9826 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3222034 11162169344 10110 33554432000 4194304 4196468 140728871769360 139743012555792 139743411836629 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 33800192 140728871777451 140728871777604 140728871777604 140728871780303 0
[pid=14783/tid=14792] ppid=14780 vsize=10900556 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14783/task/14792/stat : 14792 (java) S 14780 14783 9826 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3222034 11162169344 10110 33554432000 4194304 4196468 140728871769360 139743011503248 139743411836629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33800192 140728871777451 140728871777604 140728871777604 140728871780303 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 10900556

[startup+0.700646 s]
/proc/loadavg: 2.00 2.04 2.18 3/262 14783
/proc/meminfo: memFree=31695708/32770624 swapFree=5960/208148
[pid=14783] ppid=14780 vsize=10900632 CPUtime=2.1 cores=0,2,4,6,8,10,12,14
/proc/14783/stat : 14783 (java) S 14780 14783 9826 0 -1 1077944320 12457 0 0 0 205 5 0 0 20 0 20 0 3222032 11162247168 33142 33554432000 4194304 4196468 140728871769360 140728871751904 139743411826423 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 33800192 140728871777451 140728871777604 140728871777604 140728871780303 0
/proc/14783/statm: 2725158 33142 3096 1 0 2713552 0
[pid=14783/tid=14784] ppid=14780 vsize=10900632 CPUtime=0.65 cores=0,2,4,6,8,10,12,14
/proc/14783/task/14784/stat : 14784 (java) R 14780 14783 9826 0 -1 4202560 5837 0 0 0 62 3 0 0 20 0 20 0 3222033 11162247168 33142 33554432000 4194304 4196468 140728871769360 139743416064520 139743019012941 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33800192 140728871777451 140728871777604 140728871777604 140728871780303 0
[pid=14783/tid=14785] ppid=14780 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14783/task/14785/stat : 14785 (java) S 14780 14783 9826 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3222034 11162247168 33142 33554432000 4194304 4196468 140728871769360 139743018871056 139743411836629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33800192 140728871777451 140728871777604 140728871777604 140728871780303 0
[pid=14783/tid=14786] ppid=14780 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14783/task/14786/stat : 14786 (java) S 14780 14783 9826 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3222034 11162247168 33142 33554432000 4194304 4196468 140728871769360 139743017818512 139743411836629 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 33800192 140728871777451 140728871777604 140728871777604 140728871780303 0
[pid=14783/tid=14787] ppid=14780 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14783/task/14787/stat : 14787 (java) S 14780 14783 9826 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3222034 11162247168 33142 33554432000 4194304 4196468 140728871769360 139743016765968 139743411836629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33800192 140728871777451 140728871777604 140728871777604 140728871780303 0
[pid=14783/tid=14788] ppid=14780 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14783/task/14788/stat : 14788 (java) S 14780 14783 9826 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3222034 11162247168 33142 33554432000 4194304 4196468 140728871769360 139743015713424 139743411836629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33800192 140728871777451 140728871777604 140728871777604 140728871780303 0
[pid=14783/tid=14789] ppid=14780 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14783/task/14789/stat : 14789 (java) S 14780 14783 9826 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3222034 11162247168 33142 33554432000 4194304 4196468 140728871769360 139743014660880 139743411836629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33800192 140728871777451 140728871777604 140728871777604 140728871780303 0
[pid=14783/tid=14790] ppid=14780 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14783/task/14790/stat : 14790 (java) S 14780 14783 9826 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3222034 11162247168 33142 33554432000 4194304 4196468 140728871769360 139743013608336 139743411836629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33800192 140728871777451 140728871777604 140728871777604 140728871780303 0
[pid=14783/tid=14791] ppid=14780 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14783/task/14791/stat : 14791 (java) S 14780 14783 9826 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3222034 11162247168 33142 33554432000 4194304 4196468 140728871769360 139743012555792 139743411836629 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 33800192 140728871777451 140728871777604 140728871777604 140728871780303 0
[pid=14783/tid=14792] ppid=14780 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14783/task/14792/stat : 14792 (java) S 14780 14783 9826 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3222034 11162247168 33142 33554432000 4194304 4196468 140728871769360 139743011503248 139743411836629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33800192 140728871777451 140728871777604 140728871777604 140728871780303 0
Current children cumulated CPU time (s) 2.1
Current children cumulated vsize (KiB) 10900632

[startup+1.50074 s]
/proc/loadavg: 2.00 2.04 2.18 6/282 14803
/proc/meminfo: memFree=31351992/32770624 swapFree=5960/208536
[pid=14783] ppid=14780 vsize=10900632 CPUtime=4.96 cores=0,2,4,6,8,10,12,14
/proc/14783/stat : 14783 (java) S 14780 14783 9826 0 -1 1077944320 15145 0 0 0 452 44 0 0 20 0 20 0 3222032 11162247168 156089 33554432000 4194304 4196468 140728871769360 140728871751904 139743411826423 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 33800192 140728871777451 140728871777604 140728871777604 140728871780303 0
/proc/14783/statm: 2725158 156089 3125 1 0 2713552 0
[pid=14783/tid=14784] ppid=14780 vsize=10900632 CPUtime=1.36 cores=0,2,4,6,8,10,12,14
/proc/14783/task/14784/stat : 14784 (java) S 14780 14783 9826 0 -1 1077944384 6138 0 0 0 127 9 0 0 20 0 20 0 3222033 11162247168 156089 33554432000 4194304 4196468 140728871769360 139743416044880 139743411836629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33800192 140728871777451 140728871777604 140728871777604 140728871780303 0
[pid=14783/tid=14785] ppid=14780 vsize=10900632 CPUtime=0.07 cores=0,2,4,6,8,10,12,14
/proc/14783/task/14785/stat : 14785 (java) R 14780 14783 9826 0 -1 4202560 37 0 0 0 4 3 0 0 20 0 20 0 3222034 11162247168 156089 33554432000 4194304 4196468 140728871769360 139743018871256 139743396274638 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33800192 140728871777451 140728871777604 140728871777604 140728871780303 0
[pid=14783/tid=14786] ppid=14780 vsize=10900632 CPUtime=0.07 cores=0,2,4,6,8,10,12,14
/proc/14783/task/14786/stat : 14786 (java) R 14780 14783 9826 0 -1 4202560 37 0 0 0 3 4 0 0 20 0 20 0 3222034 11162247168 156089 33554432000 4194304 4196468 140728871769360 139743017818712 139743396853842 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 33800192 140728871777451 140728871777604 140728871777604 140728871780303 0
[pid=14783/tid=14787] ppid=14780 vsize=10900632 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/14783/task/14787/stat : 14787 (java) R 14780 14783 9826 0 -1 4202560 47 0 0 0 4 4 0 0 20 0 20 0 3222034 11162247168 156089 33554432000 4194304 4196468 140728871769360 139743016766168 139743396854672 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 33800192 140728871777451 140728871777604 140728871777604 140728871780303 0
[pid=14783/tid=14788] ppid=14780 vsize=10900632 CPUtime=0.07 cores=0,2,4,6,8,10,12,14
/proc/14783/task/14788/stat : 14788 (java) R 14780 14783 9826 0 -1 4202560 43 0 0 0 3 4 0 0 20 0 20 0 3222034 11162247168 156089 33554432000 4194304 4196468 140728871769360 139743015713624 139743396854679 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33800192 140728871777451 140728871777604 140728871777604 140728871780303 0
[pid=14783/tid=14789] ppid=14780 vsize=10900632 CPUtime=0.07 cores=0,2,4,6,8,10,12,14
/proc/14783/task/14789/stat : 14789 (java) R 14780 14783 9826 0 -1 4202560 33 0 0 0 3 4 0 0 20 0 20 0 3222034 11162247168 156089 33554432000 4194304 4196468 140728871769360 139743014661080 139743396853842 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 33800192 140728871777451 140728871777604 140728871777604 140728871780303 0
[pid=14783/tid=14790] ppid=14780 vsize=10900632 CPUtime=0.06 cores=0,2,4,6,8,10,12,14
/proc/14783/task/14790/stat : 14790 (java) R 14780 14783 9826 0 -1 4202560 51 0 0 0 3 3 0 0 20 0 20 0 3222034 11162247168 156089 33554432000 4194304 4196468 140728871769360 139743013608536 139743396848544 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33800192 140728871777451 140728871777604 140728871777604 140728871780303 0
[pid=14783/tid=14791] ppid=14780 vsize=10900632 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/14783/task/14791/stat : 14791 (java) R 14780 14783 9826 0 -1 4202560 43 0 0 0 4 4 0 0 20 0 20 0 3222034 11162247168 156089 33554432000 4194304 4196468 140728871769360 139743012555992 139743393452368 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 33800192 140728871777451 140728871777604 140728871777604 140728871780303 0
[pid=14783/tid=14792] ppid=14780 vsize=10900632 CPUtime=0.06 cores=0,2,4,6,8,10,12,14
/proc/14783/task/14792/stat : 14792 (java) R 14780 14783 9826 0 -1 4202560 37 0 0 0 3 3 0 0 20 0 20 0 3222034 11162247168 156089 33554432000 4194304 4196468 140728871769360 139743011503136 139743396850126 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33800192 140728871777451 140728871777604 140728871777604 140728871780303 0
[pid=14783/tid=14794] ppid=14780 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14783/task/14794/stat : 14794 (java) S 14780 14783 9826 0 -1 1077944384 210 0 0 0 0 0 0 0 20 0 20 0 3222036 11162247168 156089 33554432000 4194304 4196468 140728871769360 139742176784928 139743411836629 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33800192 140728871777451 140728871777604 140728871777604 140728871780303 0
[pid=14783/tid=14795] ppid=14780 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14783/task/14795/stat : 14795 (java) S 14780 14783 9826 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 3222037 11162247168 156089 33554432000 4194304 4196468 140728871769360 139742175732640 139743411836629 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 33800192 140728871777451 140728871777604 140728871777604 140728871780303 0
[pid=14783/tid=14796] ppid=14780 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14783/task/14796/stat : 14796 (java) S 14780 14783 9826 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 3222037 11162247168 156089 33554432000 4194304 4196468 140728871769360 139742174680048 139743411836629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33800192 140728871777451 140728871777604 140728871777604 140728871780303 0
[pid=14783/tid=14797] ppid=14780 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14783/task/14797/stat : 14797 (java) S 14780 14783 9826 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3222041 11162247168 156089 33554432000 4194304 4196468 140728871769360 139742173628624 139743411845019 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 33800192 140728871777451 140728871777604 140728871777604 140728871780303 0
[pid=14783/tid=14798] ppid=14780 vsize=10900632 CPUtime=0.81 cores=0,2,4,6,8,10,12,14
/proc/14783/task/14798/stat : 14798 (java) S 14780 14783 9826 0 -1 1077944384 2182 0 0 0 80 1 0 0 20 0 20 0 3222041 11162247168 156089 33554432000 4194304 4196468 140728871769360 139742172576240 139743411837570 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 33800192 140728871777451 140728871777604 140728871777604 140728871780303 0
[pid=14783/tid=14799] ppid=14780 vsize=10900632 CPUtime=0.83 cores=0,2,4,6,8,10,12,14
/proc/14783/task/14799/stat : 14799 (java) S 14780 14783 9826 0 -1 1077944384 1493 0 0 0 83 0 0 0 20 0 20 0 3222041 11162247168 156089 33554432000 4194304 4196468 140728871769360 139742171523696 139743411837570 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 33800192 140728871777451 140728871777604 140728871777604 140728871780303 0
[pid=14783/tid=14800] ppid=14780 vsize=10900632 CPUtime=0.86 cores=0,2,4,6,8,10,12,14
/proc/14783/task/14800/stat : 14800 (java) S 14780 14783 9826 0 -1 1077944384 1505 0 0 0 86 0 0 0 20 0 20 0 3222041 11162247168 156089 33554432000 4194304 4196468 140728871769360 139742170471152 139743411837570 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33800192 140728871777451 140728871777604 140728871777604 140728871780303 0
[pid=14783/tid=14801] ppid=14780 vsize=10900632 CPUtime=0.42 cores=0,2,4,6,8,10,12,14
/proc/14783/task/14801/stat : 14801 (java) S 14780 14783 9826 0 -1 1077944384 1924 0 0 0 41 1 0 0 20 0 20 0 3222041 11162247168 156089 33554432000 4194304 4196468 140728871769360 139742169418608 139743411837570 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 33800192 140728871777451 140728871777604 140728871777604 140728871780303 0
[pid=14783/tid=14802] ppid=14780 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14783/task/14802/stat : 14802 (java) S 14780 14783 9826 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3222041 11162247168 156089 33554432000 4194304 4196468 140728871769360 139742168365280 139743411836629 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 33800192 140728871777451 140728871777604 140728871777604 140728871780303 0
[pid=14783/tid=14803] ppid=14780 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14783/task/14803/stat : 14803 (java) S 14780 14783 9826 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3222041 11162247168 156089 33554432000 4194304 4196468 140728871769360 139742167312816 139743411837570 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 33800192 140728871777451 140728871777604 140728871777604 140728871780303 0
Current children cumulated CPU time (s) 4.96

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

[pid=14783/tid=14801] ppid=14780 vsize=10967196 CPUtime=0.59 cores=0,2,4,6,8,10,12,14
/proc/14783/task/14801/stat : 14801 (java) S 14780 14783 9826 0 -1 1077944384 5810 0 0 0 57 2 0 0 20 0 21 0 3222041 11230408704 427517 33554432000 4194304 4196468 140728871769360 139742169418608 139743411837570 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33800192 140728871777451 140728871777604 140728871777604 140728871780303 0
[pid=14783/tid=14802] ppid=14780 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14783/task/14802/stat : 14802 (java) S 14780 14783 9826 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 3222041 11230408704 427517 33554432000 4194304 4196468 140728871769360 139742168365280 139743411836629 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 33800192 140728871777451 140728871777604 140728871777604 140728871780303 0
[pid=14783/tid=14803] ppid=14780 vsize=10967196 CPUtime=0.59 cores=0,2,4,6,8,10,12,14
/proc/14783/task/14803/stat : 14803 (java) S 14780 14783 9826 0 -1 1077944384 1900 0 0 0 25 34 0 0 20 0 21 0 3222041 11230408704 427517 33554432000 4194304 4196468 140728871769360 139742167312816 139743411837570 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 33800192 140728871777451 140728871777604 140728871777604 140728871780303 0
[pid=14783/tid=14804] ppid=14780 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14783/task/14804/stat : 14804 (java) S 14780 14783 9826 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 21 0 3222498 11230408704 427517 33554432000 4194304 4196468 140728871769360 139742166258608 139743411837570 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 33800192 140728871777451 140728871777604 140728871777604 140728871780303 0
Current children cumulated CPU time (s) 2342.21
Current children cumulated vsize (KiB) 10967196



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2378.7 s]
/proc/loadavg: 7.97 4.42 2.93 9/282 15075
/proc/meminfo: memFree=21749512/32770624 swapFree=5960/210900
[pid=14783] ppid=14780 vsize=10967196 CPUtime=2400.05 cores=0,2,4,6,8,10,12,14
/proc/14783/stat : 14783 (java) S 14780 14783 9826 0 -1 1077944320 73051 0 0 0 239609 396 0 0 20 0 21 0 3222032 11230408704 475507 33554432000 4194304 4196468 140728871769360 140728871751904 139743411826423 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 33800192 140728871777451 140728871777604 140728871777604 140728871780303 0
/proc/14783/statm: 2741799 475507 3177 1 0 2730193 0
[pid=14783/tid=14784] ppid=14780 vsize=10967196 CPUtime=2375.27 cores=0,2,4,6,8,10,12,14
/proc/14783/task/14784/stat : 14784 (java) R 14780 14783 9826 0 -1 4202560 33081 0 0 0 237510 17 0 0 20 0 21 0 3222033 11230408704 475507 33554432000 4194304 4196468 140728871769360 139743416065408 139743024982375 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 33800192 140728871777451 140728871777604 140728871777604 140728871780303 0
[pid=14783/tid=14785] ppid=14780 vsize=10967196 CPUtime=2.24 cores=0,2,4,6,8,10,12,14
/proc/14783/task/14785/stat : 14785 (java) S 14780 14783 9826 0 -1 1077944384 782 0 0 0 182 42 0 0 20 0 21 0 3222034 11230408704 475507 33554432000 4194304 4196468 140728871769360 139743018871056 139743411836629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33800192 140728871777451 140728871777604 140728871777604 140728871780303 0
[pid=14783/tid=14786] ppid=14780 vsize=10967196 CPUtime=2.27 cores=0,2,4,6,8,10,12,14
/proc/14783/task/14786/stat : 14786 (java) S 14780 14783 9826 0 -1 1077944384 882 0 0 0 183 44 0 0 20 0 21 0 3222034 11230408704 475507 33554432000 4194304 4196468 140728871769360 139743017818512 139743411836629 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 33800192 140728871777451 140728871777604 140728871777604 140728871780303 0
[pid=14783/tid=14787] ppid=14780 vsize=10967196 CPUtime=2.27 cores=0,2,4,6,8,10,12,14
/proc/14783/task/14787/stat : 14787 (java) S 14780 14783 9826 0 -1 1077944384 1087 0 0 0 185 42 0 0 20 0 21 0 3222034 11230408704 475507 33554432000 4194304 4196468 140728871769360 139743016765968 139743411836629 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 33800192 140728871777451 140728871777604 140728871777604 140728871780303 0
[pid=14783/tid=14788] ppid=14780 vsize=10967196 CPUtime=2.25 cores=0,2,4,6,8,10,12,14
/proc/14783/task/14788/stat : 14788 (java) S 14780 14783 9826 0 -1 1077944384 634 0 0 0 181 44 0 0 20 0 21 0 3222034 11230408704 475507 33554432000 4194304 4196468 140728871769360 139743015713424 139743411836629 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 33800192 140728871777451 140728871777604 140728871777604 140728871780303 0
[pid=14783/tid=14789] ppid=14780 vsize=10967196 CPUtime=2.25 cores=0,2,4,6,8,10,12,14
/proc/14783/task/14789/stat : 14789 (java) S 14780 14783 9826 0 -1 1077944384 1325 0 0 0 182 43 0 0 20 0 21 0 3222034 11230408704 475507 33554432000 4194304 4196468 140728871769360 139743014660880 139743411836629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33800192 140728871777451 140728871777604 140728871777604 140728871780303 0
[pid=14783/tid=14790] ppid=14780 vsize=10967196 CPUtime=2.26 cores=0,2,4,6,8,10,12,14
/proc/14783/task/14790/stat : 14790 (java) S 14780 14783 9826 0 -1 1077944384 1782 0 0 0 183 43 0 0 20 0 21 0 3222034 11230408704 475507 33554432000 4194304 4196468 140728871769360 139743013608336 139743411836629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33800192 140728871777451 140728871777604 140728871777604 140728871780303 0
[pid=14783/tid=14791] ppid=14780 vsize=10967196 CPUtime=2.27 cores=0,2,4,6,8,10,12,14
/proc/14783/task/14791/stat : 14791 (java) S 14780 14783 9826 0 -1 1077944384 735 0 0 0 184 43 0 0 20 0 21 0 3222034 11230408704 475507 33554432000 4194304 4196468 140728871769360 139743012555792 139743411836629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33800192 140728871777451 140728871777604 140728871777604 140728871780303 0
[pid=14783/tid=14792] ppid=14780 vsize=10967196 CPUtime=2.25 cores=0,2,4,6,8,10,12,14
/proc/14783/task/14792/stat : 14792 (java) S 14780 14783 9826 0 -1 1077944384 1087 0 0 0 184 41 0 0 20 0 21 0 3222034 11230408704 475507 33554432000 4194304 4196468 140728871769360 139743011503248 139743411836629 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 33800192 140728871777451 140728871777604 140728871777604 140728871780303 0
[pid=14783/tid=14794] ppid=14780 vsize=10967196 CPUtime=0.54 cores=0,2,4,6,8,10,12,14
/proc/14783/task/14794/stat : 14794 (java) S 14780 14783 9826 0 -1 1077944384 3252 0 0 0 53 1 0 0 20 0 21 0 3222036 11230408704 475507 33554432000 4194304 4196468 140728871769360 139742176786416 139743411837570 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33800192 140728871777451 140728871777604 140728871777604 140728871780303 0
[pid=14783/tid=14795] ppid=14780 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14783/task/14795/stat : 14795 (java) S 14780 14783 9826 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 21 0 3222037 11230408704 475507 33554432000 4194304 4196468 140728871769360 139742175732704 139743411836629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33800192 140728871777451 140728871777604 140728871777604 140728871780303 0
[pid=14783/tid=14796] ppid=14780 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14783/task/14796/stat : 14796 (java) S 14780 14783 9826 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 21 0 3222037 11230408704 475507 33554432000 4194304 4196468 140728871769360 139742174680048 139743411836629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33800192 140728871777451 140728871777604 140728871777604 140728871780303 0
[pid=14783/tid=14797] ppid=14780 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14783/task/14797/stat : 14797 (java) S 14780 14783 9826 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 3222041 11230408704 475507 33554432000 4194304 4196468 140728871769360 139742173628624 139743411845019 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 33800192 140728871777451 140728871777604 140728871777604 140728871780303 0
[pid=14783/tid=14798] ppid=14780 vsize=10967196 CPUtime=1.7 cores=0,2,4,6,8,10,12,14
/proc/14783/task/14798/stat : 14798 (java) S 14780 14783 9826 0 -1 1077944384 7399 0 0 0 169 1 0 0 20 0 21 0 3222041 11230408704 475507 33554432000 4194304 4196468 140728871769360 139742172576240 139743411837570 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 33800192 140728871777451 140728871777604 140728871777604 140728871780303 0
[pid=14783/tid=14799] ppid=14780 vsize=10967196 CPUtime=1.35 cores=0,2,4,6,8,10,12,14
/proc/14783/task/14799/stat : 14799 (java) S 14780 14783 9826 0 -1 1077944384 4307 0 0 0 135 0 0 0 20 0 21 0 3222041 11230408704 475507 33554432000 4194304 4196468 140728871769360 139742171523696 139743411837570 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 33800192 140728871777451 140728871777604 140728871777604 140728871780303 0
[pid=14783/tid=14800] ppid=14780 vsize=10967196 CPUtime=1.79 cores=0,2,4,6,8,10,12,14
/proc/14783/task/14800/stat : 14800 (java) S 14780 14783 9826 0 -1 1077944384 7541 0 0 0 178 1 0 0 20 0 21 0 3222041 11230408704 475507 33554432000 4194304 4196468 140728871769360 139742170471152 139743411837570 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33800192 140728871777451 140728871777604 140728871777604 140728871780303 0
[pid=14783/tid=14801] ppid=14780 vsize=10967196 CPUtime=0.59 cores=0,2,4,6,8,10,12,14
/proc/14783/task/14801/stat : 14801 (java) S 14780 14783 9826 0 -1 1077944384 5810 0 0 0 57 2 0 0 20 0 21 0 3222041 11230408704 475507 33554432000 4194304 4196468 140728871769360 139742169418608 139743411837570 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33800192 140728871777451 140728871777604 140728871777604 140728871780303 0
[pid=14783/tid=14802] ppid=14780 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14783/task/14802/stat : 14802 (java) S 14780 14783 9826 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 3222041 11230408704 475507 33554432000 4194304 4196468 140728871769360 139742168365280 139743411836629 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 33800192 140728871777451 140728871777604 140728871777604 140728871780303 0
[pid=14783/tid=14803] ppid=14780 vsize=10967196 CPUtime=0.61 cores=0,2,4,6,8,10,12,14
/proc/14783/task/14803/stat : 14803 (java) S 14780 14783 9826 0 -1 1077944384 1904 0 0 0 26 35 0 0 20 0 21 0 3222041 11230408704 475507 33554432000 4194304 4196468 140728871769360 139742167312816 139743411837570 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 33800192 140728871777451 140728871777604 140728871777604 140728871780303 0
[pid=14783/tid=14804] ppid=14780 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14783/task/14804/stat : 14804 (java) S 14780 14783 9826 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 21 0 3222498 11230408704 475507 33554432000 4194304 4196468 140728871769360 139742166258608 139743411837570 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 33800192 140728871777451 140728871777604 140728871777604 140728871780303 0
Current children cumulated CPU time (s) 2400.05
Current children cumulated vsize (KiB) 10967196

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 14783 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2378.81 s]
/proc/loadavg: 7.97 4.42 2.93 9/282 15075
/proc/meminfo: memFree=21749512/32770624 swapFree=5960/210900
[pid=14783] ppid=14780 vsize=11166888 CPUtime=2400.06 cores=0,2,4,6,8,10,12,14
/proc/14783/stat : 14783 (java) S 14780 14783 9826 0 -1 1077944320 73317 0 0 0 239610 396 0 0 20 0 22 0 3222032 11434893312 475520 33554432000 4194304 4196468 140728871769360 140728871751904 139743411826423 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 33800192 140728871777451 140728871777604 140728871777604 140728871780303 0
/proc/14783/statm: 2791722 475520 3179 1 0 2780116 0
[pid=14783/tid=14784] ppid=14780 vsize=11166888 CPUtime=2375.29 cores=0,2,4,6,8,10,12,14
/proc/14783/task/14784/stat : 14784 (java) S 14780 14783 9826 0 -1 1077944384 33102 0 0 0 237512 17 0 0 20 0 22 0 3222033 11434893312 475520 33554432000 4194304 4196468 140728871769360 139743416069296 139743411836629 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 33800192 140728871777451 140728871777604 140728871777604 140728871780303 0
[pid=14783/tid=14785] ppid=14780 vsize=11166888 CPUtime=2.24 cores=0,2,4,6,8,10,12,14
/proc/14783/task/14785/stat : 14785 (java) S 14780 14783 9826 0 -1 1077944384 782 0 0 0 182 42 0 0 20 0 22 0 3222034 11434893312 475520 33554432000 4194304 4196468 140728871769360 139743018871056 139743411836629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33800192 140728871777451 140728871777604 140728871777604 140728871780303 0
[pid=14783/tid=14786] ppid=14780 vsize=11166888 CPUtime=2.27 cores=0,2,4,6,8,10,12,14
/proc/14783/task/14786/stat : 14786 (java) S 14780 14783 9826 0 -1 1077944384 882 0 0 0 183 44 0 0 20 0 22 0 3222034 11434893312 475520 33554432000 4194304 4196468 140728871769360 139743017818512 139743411836629 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 33800192 140728871777451 140728871777604 140728871777604 140728871780303 0
[pid=14783/tid=14787] ppid=14780 vsize=11166888 CPUtime=2.27 cores=0,2,4,6,8,10,12,14
/proc/14783/task/14787/stat : 14787 (java) S 14780 14783 9826 0 -1 1077944384 1087 0 0 0 185 42 0 0 20 0 22 0 3222034 11434893312 475520 33554432000 4194304 4196468 140728871769360 139743016765968 139743411836629 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 33800192 140728871777451 140728871777604 140728871777604 140728871780303 0
[pid=14783/tid=14788] ppid=14780 vsize=11166888 CPUtime=2.25 cores=0,2,4,6,8,10,12,14
/proc/14783/task/14788/stat : 14788 (java) S 14780 14783 9826 0 -1 1077944384 634 0 0 0 181 44 0 0 20 0 22 0 3222034 11434893312 475520 33554432000 4194304 4196468 140728871769360 139743015713424 139743411836629 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 33800192 140728871777451 140728871777604 140728871777604 140728871780303 0
[pid=14783/tid=14789] ppid=14780 vsize=11166888 CPUtime=2.25 cores=0,2,4,6,8,10,12,14
/proc/14783/task/14789/stat : 14789 (java) S 14780 14783 9826 0 -1 1077944384 1325 0 0 0 182 43 0 0 20 0 22 0 3222034 11434893312 475520 33554432000 4194304 4196468 140728871769360 139743014660880 139743411836629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33800192 140728871777451 140728871777604 140728871777604 140728871780303 0
[pid=14783/tid=14790] ppid=14780 vsize=11166888 CPUtime=2.26 cores=0,2,4,6,8,10,12,14
/proc/14783/task/14790/stat : 14790 (java) S 14780 14783 9826 0 -1 1077944384 1782 0 0 0 183 43 0 0 20 0 22 0 3222034 11434893312 475520 33554432000 4194304 4196468 140728871769360 139743013608336 139743411836629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33800192 140728871777451 140728871777604 140728871777604 140728871780303 0
[pid=14783/tid=14791] ppid=14780 vsize=11166888 CPUtime=2.27 cores=0,2,4,6,8,10,12,14
/proc/14783/task/14791/stat : 14791 (java) S 14780 14783 9826 0 -1 1077944384 735 0 0 0 184 43 0 0 20 0 22 0 3222034 11434893312 475520 33554432000 4194304 4196468 140728871769360 139743012555792 139743411836629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33800192 140728871777451 140728871777604 140728871777604 140728871780303 0
[pid=14783/tid=14792] ppid=14780 vsize=11166888 CPUtime=2.25 cores=0,2,4,6,8,10,12,14
/proc/14783/task/14792/stat : 14792 (java) S 14780 14783 9826 0 -1 1077944384 1087 0 0 0 184 41 0 0 20 0 22 0 3222034 11434893312 475520 33554432000 4194304 4196468 140728871769360 139743011503248 139743411836629 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 33800192 140728871777451 140728871777604 140728871777604 140728871780303 0
[pid=14783/tid=14794] ppid=14780 vsize=11166888 CPUtime=0.54 cores=0,2,4,6,8,10,12,14
/proc/14783/task/14794/stat : 14794 (java) S 14780 14783 9826 0 -1 1077944384 3254 0 0 0 53 1 0 0 20 0 22 0 3222036 11434893312 475520 33554432000 4194304 4196468 140728871769360 139742176786416 139743411837570 0 0 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 33800192 140728871777451 140728871777604 140728871777604 140728871780303 0
[pid=14783/tid=14795] ppid=14780 vsize=11166888 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14783/task/14795/stat : 14795 (java) S 14780 14783 9826 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 22 0 3222037 11434893312 475520 33554432000 4194304 4196468 140728871769360 139742175732704 139743411836629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33800192 140728871777451 140728871777604 140728871777604 140728871780303 0
[pid=14783/tid=14796] ppid=14780 vsize=11166888 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14783/task/14796/stat : 14796 (java) S 14780 14783 9826 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 22 0 3222037 11434893312 475520 33554432000 4194304 4196468 140728871769360 139742174680048 139743411836629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33800192 140728871777451 140728871777604 140728871777604 140728871780303 0
[pid=14783/tid=14797] ppid=14780 vsize=11166888 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14783/task/14797/stat : 14797 (java) S 14780 14783 9826 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 22 0 3222041 11434893312 475520 33554432000 4194304 4196468 140728871769360 139742173628624 139743411845019 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33800192 140728871777451 140728871777604 140728871777604 140728871780303 0
[pid=14783/tid=14798] ppid=14780 vsize=11166888 CPUtime=1.7 cores=0,2,4,6,8,10,12,14
/proc/14783/task/14798/stat : 14798 (java) S 14780 14783 9826 0 -1 1077944384 7399 0 0 0 169 1 0 0 20 0 22 0 3222041 11434893312 475520 33554432000 4194304 4196468 140728871769360 139742172576240 139743411837570 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33800192 140728871777451 140728871777604 140728871777604 140728871780303 0
[pid=14783/tid=14799] ppid=14780 vsize=11166888 CPUtime=1.35 cores=0,2,4,6,8,10,12,14
/proc/14783/task/14799/stat : 14799 (java) S 14780 14783 9826 0 -1 1077944384 4307 0 0 0 135 0 0 0 20 0 22 0 3222041 11434893312 475520 33554432000 4194304 4196468 140728871769360 139742171523696 139743411837570 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 33800192 140728871777451 140728871777604 140728871777604 140728871780303 0
[pid=14783/tid=14800] ppid=14780 vsize=11166888 CPUtime=1.79 cores=0,2,4,6,8,10,12,14
/proc/14783/task/14800/stat : 14800 (java) S 14780 14783 9826 0 -1 1077944384 7541 0 0 0 178 1 0 0 20 0 22 0 3222041 11434893312 475520 33554432000 4194304 4196468 140728871769360 139742170471152 139743411837570 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33800192 140728871777451 140728871777604 140728871777604 140728871780303 0
[pid=14783/tid=14801] ppid=14780 vsize=11166888 CPUtime=0.59 cores=0,2,4,6,8,10,12,14
/proc/14783/task/14801/stat : 14801 (java) S 14780 14783 9826 0 -1 1077944384 5867 0 0 0 57 2 0 0 20 0 22 0 3222041 11434893312 475520 33554432000 4194304 4196468 140728871769360 139742169418608 139743411837570 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33800192 140728871777451 140728871777604 140728871777604 140728871780303 0
[pid=14783/tid=14802] ppid=14780 vsize=11166888 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14783/task/14802/stat : 14802 (java) S 14780 14783 9826 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 22 0 3222041 11434893312 475520 33554432000 4194304 4196468 140728871769360 139742168365280 139743411836629 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 33800192 140728871777451 140728871777604 140728871777604 140728871780303 0
[pid=14783/tid=14803] ppid=14780 vsize=11166888 CPUtime=0.61 cores=0,2,4,6,8,10,12,14
/proc/14783/task/14803/stat : 14803 (java) S 14780 14783 9826 0 -1 1077944384 1904 0 0 0 26 35 0 0 20 0 22 0 3222041 11434893312 475520 33554432000 4194304 4196468 140728871769360 139742167312816 139743411837570 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 33800192 140728871777451 140728871777604 140728871777604 140728871780303 0
Current children cumulated CPU time (s) 2400.06
Current children cumulated vsize (KiB) 11166888

[startup+2378.9 s]
/proc/loadavg: 7.97 4.42 2.93 9/282 15075
/proc/meminfo: memFree=21749512/32770624 swapFree=5960/210900
[pid=14783] ppid=14780 vsize=11166888 CPUtime=2400.06 cores=0,2,4,6,8,10,12,14
/proc/14783/stat : 14783 (java) S 14780 14783 9826 0 -1 1077944320 73317 0 0 0 239610 396 0 0 20 0 22 0 3222032 11434893312 475520 33554432000 4194304 4196468 140728871769360 140728871751904 139743411826423 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 33800192 140728871777451 140728871777604 140728871777604 140728871780303 0
/proc/14783/statm: 2791722 475520 3179 1 0 2780116 0
[pid=14783/tid=14784] ppid=14780 vsize=11166888 CPUtime=2375.29 cores=0,2,4,6,8,10,12,14
/proc/14783/task/14784/stat : 14784 (java) S 14780 14783 9826 0 -1 1077944384 33102 0 0 0 237512 17 0 0 20 0 22 0 3222033 11434893312 475520 33554432000 4194304 4196468 140728871769360 139743416069296 139743411836629 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 33800192 140728871777451 140728871777604 140728871777604 140728871780303 0
[pid=14783/tid=14785] ppid=14780 vsize=11166888 CPUtime=2.24 cores=0,2,4,6,8,10,12,14
/proc/14783/task/14785/stat : 14785 (java) S 14780 14783 9826 0 -1 1077944384 782 0 0 0 182 42 0 0 20 0 22 0 3222034 11434893312 475520 33554432000 4194304 4196468 140728871769360 139743018871056 139743411836629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33800192 140728871777451 140728871777604 140728871777604 140728871780303 0
[pid=14783/tid=14786] ppid=14780 vsize=11166888 CPUtime=2.27 cores=0,2,4,6,8,10,12,14
/proc/14783/task/14786/stat : 14786 (java) S 14780 14783 9826 0 -1 1077944384 882 0 0 0 183 44 0 0 20 0 22 0 3222034 11434893312 475520 33554432000 4194304 4196468 140728871769360 139743017818512 139743411836629 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 33800192 140728871777451 140728871777604 140728871777604 140728871780303 0
[pid=14783/tid=14787] ppid=14780 vsize=11166888 CPUtime=2.27 cores=0,2,4,6,8,10,12,14
/proc/14783/task/14787/stat : 14787 (java) S 14780 14783 9826 0 -1 1077944384 1087 0 0 0 185 42 0 0 20 0 22 0 3222034 11434893312 475520 33554432000 4194304 4196468 140728871769360 139743016765968 139743411836629 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 33800192 140728871777451 140728871777604 140728871777604 140728871780303 0
[pid=14783/tid=14788] ppid=14780 vsize=11166888 CPUtime=2.25 cores=0,2,4,6,8,10,12,14
/proc/14783/task/14788/stat : 14788 (java) S 14780 14783 9826 0 -1 1077944384 634 0 0 0 181 44 0 0 20 0 22 0 3222034 11434893312 475520 33554432000 4194304 4196468 140728871769360 139743015713424 139743411836629 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 33800192 140728871777451 140728871777604 140728871777604 140728871780303 0
[pid=14783/tid=14789] ppid=14780 vsize=11166888 CPUtime=2.25 cores=0,2,4,6,8,10,12,14
/proc/14783/task/14789/stat : 14789 (java) S 14780 14783 9826 0 -1 1077944384 1325 0 0 0 182 43 0 0 20 0 22 0 3222034 11434893312 475520 33554432000 4194304 4196468 140728871769360 139743014660880 139743411836629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33800192 140728871777451 140728871777604 140728871777604 140728871780303 0
[pid=14783/tid=14790] ppid=14780 vsize=11166888 CPUtime=2.26 cores=0,2,4,6,8,10,12,14
/proc/14783/task/14790/stat : 14790 (java) S 14780 14783 9826 0 -1 1077944384 1782 0 0 0 183 43 0 0 20 0 22 0 3222034 11434893312 475520 33554432000 4194304 4196468 140728871769360 139743013608336 139743411836629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33800192 140728871777451 140728871777604 140728871777604 140728871780303 0
[pid=14783/tid=14791] ppid=14780 vsize=11166888 CPUtime=2.27 cores=0,2,4,6,8,10,12,14
/proc/14783/task/14791/stat : 14791 (java) S 14780 14783 9826 0 -1 1077944384 735 0 0 0 184 43 0 0 20 0 22 0 3222034 11434893312 475520 33554432000 4194304 4196468 140728871769360 139743012555792 139743411836629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33800192 140728871777451 140728871777604 140728871777604 140728871780303 0
[pid=14783/tid=14792] ppid=14780 vsize=11166888 CPUtime=2.25 cores=0,2,4,6,8,10,12,14
/proc/14783/task/14792/stat : 14792 (java) S 14780 14783 9826 0 -1 1077944384 1087 0 0 0 184 41 0 0 20 0 22 0 3222034 11434893312 475520 33554432000 4194304 4196468 140728871769360 139743011503248 139743411836629 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 33800192 140728871777451 140728871777604 140728871777604 140728871780303 0
[pid=14783/tid=14794] ppid=14780 vsize=11166888 CPUtime=0.54 cores=0,2,4,6,8,10,12,14
/proc/14783/task/14794/stat : 14794 (java) S 14780 14783 9826 0 -1 1077944384 3254 0 0 0 53 1 0 0 20 0 22 0 3222036 11434893312 475520 33554432000 4194304 4196468 140728871769360 139742176786416 139743411837570 0 0 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 33800192 140728871777451 140728871777604 140728871777604 140728871780303 0
[pid=14783/tid=14795] ppid=14780 vsize=11166888 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14783/task/14795/stat : 14795 (java) S 14780 14783 9826 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 22 0 3222037 11434893312 475520 33554432000 4194304 4196468 140728871769360 139742175732704 139743411836629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33800192 140728871777451 140728871777604 140728871777604 140728871780303 0
[pid=14783/tid=14796] ppid=14780 vsize=11166888 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14783/task/14796/stat : 14796 (java) S 14780 14783 9826 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 22 0 3222037 11434893312 475520 33554432000 4194304 4196468 140728871769360 139742174680048 139743411836629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33800192 140728871777451 140728871777604 140728871777604 140728871780303 0
[pid=14783/tid=14797] ppid=14780 vsize=11166888 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14783/task/14797/stat : 14797 (java) S 14780 14783 9826 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 22 0 3222041 11434893312 475520 33554432000 4194304 4196468 140728871769360 139742173628624 139743411845019 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33800192 140728871777451 140728871777604 140728871777604 140728871780303 0
[pid=14783/tid=14798] ppid=14780 vsize=11166888 CPUtime=1.7 cores=0,2,4,6,8,10,12,14
/proc/14783/task/14798/stat : 14798 (java) S 14780 14783 9826 0 -1 1077944384 7399 0 0 0 169 1 0 0 20 0 22 0 3222041 11434893312 475520 33554432000 4194304 4196468 140728871769360 139742172576240 139743411837570 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33800192 140728871777451 140728871777604 140728871777604 140728871780303 0
[pid=14783/tid=14799] ppid=14780 vsize=11166888 CPUtime=1.35 cores=0,2,4,6,8,10,12,14
/proc/14783/task/14799/stat : 14799 (java) S 14780 14783 9826 0 -1 1077944384 4307 0 0 0 135 0 0 0 20 0 22 0 3222041 11434893312 475520 33554432000 4194304 4196468 140728871769360 139742171523696 139743411837570 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 33800192 140728871777451 140728871777604 140728871777604 140728871780303 0
[pid=14783/tid=14800] ppid=14780 vsize=11166888 CPUtime=1.79 cores=0,2,4,6,8,10,12,14
/proc/14783/task/14800/stat : 14800 (java) S 14780 14783 9826 0 -1 1077944384 7541 0 0 0 178 1 0 0 20 0 22 0 3222041 11434893312 475520 33554432000 4194304 4196468 140728871769360 139742170471152 139743411837570 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33800192 140728871777451 140728871777604 140728871777604 140728871780303 0
[pid=14783/tid=14801] ppid=14780 vsize=11166888 CPUtime=0.59 cores=0,2,4,6,8,10,12,14
/proc/14783/task/14801/stat : 14801 (java) S 14780 14783 9826 0 -1 1077944384 5867 0 0 0 57 2 0 0 20 0 22 0 3222041 11434893312 475520 33554432000 4194304 4196468 140728871769360 139742169418608 139743411837570 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33800192 140728871777451 140728871777604 140728871777604 140728871780303 0
[pid=14783/tid=14802] ppid=14780 vsize=11166888 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14783/task/14802/stat : 14802 (java) S 14780 14783 9826 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 22 0 3222041 11434893312 475520 33554432000 4194304 4196468 140728871769360 139742168365280 139743411836629 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 33800192 140728871777451 140728871777604 140728871777604 140728871780303 0
[pid=14783/tid=14803] ppid=14780 vsize=11166888 CPUtime=0.61 cores=0,2,4,6,8,10,12,14
/proc/14783/task/14803/stat : 14803 (java) S 14780 14783 9826 0 -1 1077944384 1904 0 0 0 26 35 0 0 20 0 22 0 3222041 11434893312 475520 33554432000 4194304 4196468 140728871769360 139742167312816 139743411837570 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 33800192 140728871777451 140728871777604 140728871777604 140728871780303 0
Current children cumulated CPU time (s) 2400.06
Current children cumulated vsize (KiB) 11166888

Child status: 143
Real time (s): 2378.97
CPU time (s): 2400.14
CPU user time (s): 2396.16
CPU system time (s): 3.97747
CPU usage (%): 100.89
Max. virtual memory (cumulated for all children) (KiB): 11166888

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2396.16
system time used= 3.97747
maximum resident set size= 1902644
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 73503
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1512
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 55296
involuntary context switches= 121624

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.4346 second user time and 16.5727 second system time

The end

Launcher Data 

Begin job on node149 at 2017-07-22 01:26:12
IDJOB=4244075
IDBENCH=135029
IDSOLVER=2623
FILE ID=node149/4244075-1500679572
RUNJOBID= node149-1500672434-13135
PBS_JOBID= 20623272
Free space on /tmp= 62024 MiB

SOLVER NAME= sat4j-CSP 2017-07-05
BENCH NAME= XCSP17/PseudoBoolean/PseudoBoolean-dec-sptate/Pb-Tate-K108.xml
COMMAND LINE= java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4244075-1500679572/watcher-4244075-1500679572 -o /tmp/evaluation-result-4244075-1500679572/solver-4244075-1500679572 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node149-1500672434-13135 --watchdog 2560  java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4244075-1500679572.xml

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 8

MD5SUM BENCH= 2a47884be513939e719b7a1148b6038b
RANDOM SEED=1577838203

node149.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.56
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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.56
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	: 8
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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.56
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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.56
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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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:

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 1
initial apicid	: 1
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 17
initial apicid	: 17
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	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 3
initial apicid	: 3
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 11
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	: 8
core id		: 1
cpu cores	: 4
apicid		: 19
initial apicid	: 19
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	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2667.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 5
initial apicid	: 5
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2533.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 21
initial apicid	: 21
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	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 7
initial apicid	: 7
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
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:        31696332 kB
MemAvailable:   31715192 kB
Buffers:           43476 kB
Cached:           284812 kB
SwapCached:            0 kB
Active:           480192 kB
Inactive:         216832 kB
Active(anon):     371468 kB
Inactive(anon):     8684 kB
Active(file):     108724 kB
Inactive(file):   208148 kB
Unevictable:        5960 kB
Mlocked:            5960 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2028 kB
Writeback:             0 kB
AnonPages:        374656 kB
Mapped:            42184 kB
Shmem:              8848 kB
Slab:              68132 kB
SReclaimable:      35644 kB
SUnreclaim:        32488 kB
KernelStack:        4496 kB
PageTables:         5488 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1172880 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    264192 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      140672 kB
DirectMap2M:    33404928 kB

Free space on /tmp at the end= 62020 MiB
End job on node149 at 2017-07-22 02:05:51