Trace number 4243496

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-05SAT 9.52364 4.6411

General information on the benchmark

NameRenault/Renault-m1-s1/
Renault-medium-pos.xml
MD5SUM19655dcffa751868797b607ef2267cd6
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.024548
Satisfiable
(Un)Satisfiability was proved
Number of variables148
Number of constraints174
Number of domains15
Minimum domain size2
Maximum domain size20
Distribution of domain sizes[{"size":2,"count":122},{"size":3,"count":5},{"size":4,"count":6},{"size":5,"count":2},{"size":6,"count":1},{"size":7,"count":2},{"size":8,"count":2},{"size":9,"count":1},{"size":13,"count":1},{"size":14,"count":1},{"size":17,"count":1},{"size":20,"count":2}]
Minimum variable degree0
Maximum variable degree139
Distribution of variable degrees[{"degree":0,"count":2},{"degree":1,"count":81},{"degree":2,"count":33},{"degree":3,"count":15},{"degree":4,"count":6},{"degree":5,"count":6},{"degree":6,"count":2},{"degree":8,"count":1},{"degree":22,"count":1},{"degree":139,"count":1}]
Minimum constraint arity2
Maximum constraint arity10
Distribution of constraint arities[{"arity":2,"count":143},{"arity":3,"count":14},{"arity":4,"count":7},{"arity":5,"count":1},{"arity":6,"count":4},{"arity":7,"count":2},{"arity":8,"count":1},{"arity":10,"count":2}]
Number of extensional constraints174
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":174}]
Optimization problemNO
Type of objective

Solver Data 

5.39/1.54	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
5.39/1.54	c This is free software under the dual EPL/GNU LGPL licenses.
5.39/1.54	c See www.sat4j.org for details.
5.39/1.54	c That software uses the Rhino library from the Mozilla project.
5.39/1.54	c version CUSTOM.v20170705
5.39/1.54	c java.runtime.name	Java(TM) SE Runtime Environment
5.39/1.54	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
5.39/1.54	c java.vm.version	25.131-b11
5.39/1.54	c java.vm.vendor	Oracle Corporation
5.39/1.54	c sun.arch.data.model	64
5.39/1.54	c java.version		1.8.0_131
5.39/1.54	c os.name		Linux
5.39/1.54	c os.version		3.10.0-514.16.1.el7.x86_64
5.39/1.54	c os.arch		amd64
5.39/1.54	c Free memory 		499604488
5.39/1.54	c Max memory 		7247757312
5.39/1.54	c Total memory 		504889344
5.39/1.54	c Number of processors 	8
5.39/1.54	c c --- Begin Solver configuration ---
5.39/1.54	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b71fc7e
5.39/1.54	c Learn all clauses as in MiniSAT
5.39/1.54	c LOGGER=java.util.logging.Logger@25f38edc claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
5.39/1.54	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
5.39/1.54	c No reason simplification
5.39/1.54	c Glucose 2.1 dynamic restart strategy
5.39/1.54	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
5.39/1.54	c timeout=2147483s
5.39/1.54	c DB Simplification allowed=false
5.39/1.54	c Listener: org.sat4j.minisat.core.VoidTracing@1a86f2f1
5.39/1.54	c --- End Solver configuration ---
5.39/1.54	c constraints type 
5.39/1.54	c org.sat4j.minisat.constraints.card.MinWatchCard => 292
5.39/1.54	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 244289
5.39/1.54	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 192412
5.39/1.54	c org.sat4j.minisat.constraints.cnf.UnitClause => 348
5.39/1.54	c 437341 constraints processed.
9.50/4.46	c starts		: 15
9.50/4.46	c conflicts		: 2566
9.50/4.46	c decisions		: 1302182
9.50/4.46	c propagations		: 8350018
9.50/4.46	c inspects		: 9912187
9.50/4.46	c shortcuts		: 0
9.50/4.46	c learnt literals	: 0
9.50/4.46	c learnt binary clauses	: 162
9.50/4.47	c learnt ternary clauses	: 108
9.50/4.47	c learnt constraints	: 2566
9.50/4.47	c ignored constraints	: 0
9.50/4.47	c root simplifications	: 0
9.50/4.47	c removed literals (reason simplification)	: 0
9.50/4.47	c reason swapping (by a shorter reason)	: 0
9.50/4.47	c Calls to reduceDB	: 0
9.50/4.47	c Number of update (reduction) of LBD	: 1259
9.50/4.47	c Imported unit clauses	: 0
9.50/4.47	c number of reductions to clauses (during analyze)	: 0
9.50/4.47	c number of learned constraints concerned by reduction	: 0
9.50/4.47	c number of learning phase by resolution	: 0
9.50/4.47	c number of learning phase by cutting planes	: 0
9.50/4.47	c number of rounding to 1 operations	: 0
9.50/4.47	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
9.50/4.47	c number of reductions of the coefficients by power 2 	: 0
9.50/4.47	c number of right shift for reduction by power 2 	: 0
9.50/4.47	c number of reductions of the coefficients by GCD over coefficients 	: 0
9.50/4.47	c speed (assignments/second)	: 2887281.4661134165
9.50/4.47	c non guided choices	962804
9.50/4.47	c learnt constraints type 
9.50/4.47	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 162
9.50/4.47	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 2404
9.50/4.47	s SATISFIABLE
9.50/4.47	v <instantiation type="solution">
9.50/4.47	v 	<list> x2 x8 x9 x11 x13 x14 x0[0] x0[1] x1[0] x1[1] x1[2] x1[3] x1[4] x1[5] x3[0] x3[1] x3[2] x3[3] x4[0] x4[1] x4[2] x4[3] x4[4] x4[5] x4[6] x4[7] x4[8] x4[9] x4[10] x4[11] x4[12] x4[13] x4[14] x4[15] x4[16] x4[17] x4[18] x4[19] x4[20] x4[21] x4[22] x4[23] x4[24] x5[0] x5[1] x5[2] x5[3] x5[4] x5[5] x5[6] x5[7] x6[0] x6[1] x7[0] x7[1] x10[0] x10[1] x12[0] x12[1] x15[0] x15[1] x15[2] x15[3] x15[4] x15[5] x15[6] x15[7] x15[8] x15[9] x15[10] x15[11] x15[12] x15[13] x15[14] x15[15] x15[16] x15[17] x15[18] x15[19] x15[20] x15[21] x15[22] x15[23] x15[24] x15[25] x15[26] x15[27] x15[28] x15[29] x15[30] x15[31] x15[32] x15[33] x15[34] x15[35] x15[36] x15[37] x15[38] x15[39] x15[40] x15[41] x15[42] x15[43] x15[44] x15[45] x15[46] x15[47] x15[48] x15[49] x15[50] x15[51] x15[52] x15[53] x15[54] x15[55] x15[56] x15[57] x15[58] x15[59] x15[60] x15[61] x15[62] x15[63] x15[64] x15[65] x15[66] x15[67] x15[68] x15[69] x15[70] x15[71] x15[72] x15[73] x15[74] x15[75] x15[76] x15[77] x15[78] x15[79] x15[80] x15[81] x15[82] x15[83] x15[84] x15[85] x15[86] x15[87] x15[88] </list>
9.50/4.47	v 	<values> 0 13 0 1 2 12 2 2 1 1 3 2 3 3 1 1 2 0 0 0 0 0 1 0 1 1 0 0 1 1 0 1 1 0 0 1 1 1 0 1 1 0 0 99 99 99 99 99 99 99 99 3 0 3 7 0 0 2 0 1 99 99 1 99 99 1 99 1 99 99 99 1 99 1 99 99 1 99 1 99 99 1 99 1 99 1 99 1 99 99 1 99 99 99 99 1 99 1 99 1 99 1 99 99 99 1 99 99 99 1 99 99 99 1 99 1 99 99 99 99 1 1 99 99 1 99 99 99 1 1 1 99 99 99 99 1 1 1 99 99 99 99 99 99 99 99 99 99 </values>
9.50/4.47	v </instantiation>
9.50/4.47

Verifier Data 

OK

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-4243496-1500673056/watcher-4243496-1500673056 -o /tmp/evaluation-result-4243496-1500673056/solver-4243496-1500673056 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node117-1500673052-5491 --watchdog 2560 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4243496-1500673056.xml 

pid=5728
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.27 2.08 2.05 10/262 5731
/proc/meminfo: memFree=30993100/32770624 swapFree=5804/220760
[pid=5731] ppid=5728 vsize=8947792 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5731/stat : 5731 (java) S 5728 5731 2464 0 -1 1077944320 2260 0 0 0 0 0 0 0 20 0 10 0 2574273 9162539008 2508 33554432000 4194304 4196468 140730741131504 140730741114048 139796332302071 0 0 0 16784584 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 10657792 140730741134507 140730741134660 140730741134660 140730741137359 0
/proc/5731/statm: 2220564 2508 1208 1 0 2209475 0
[pid=5731/tid=5732] ppid=5728 vsize=9147248 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5731/task/5732/stat : 5732 (java) R 5728 5731 2464 0 -1 4202560 961 0 0 0 0 0 0 0 20 0 10 0 2574273 9366781952 2537 33554432000 4194304 4196468 140730741131504 139796336543848 139796325019034 0 4 0 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10657792 140730741134507 140730741134660 140730741134660 140730741137359 0
[pid=5731/tid=5733] ppid=5728 vsize=10204016 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5731/task/5733/stat : 5733 (java) S 5728 5731 2464 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 10 0 2574274 10448912384 2537 33554432000 4194304 4196468 140730741131504 139796288854800 139796332312277 0 4 0 16784584 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 10657792 140730741134507 140730741134660 140730741134660 140730741137359 0
[pid=5731/tid=5734] ppid=5728 vsize=10204016 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5731/task/5734/stat : 5734 (java) S 5728 5731 2464 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 10 0 2574275 10448912384 2537 33554432000 4194304 4196468 140730741131504 139796287802256 139796332312277 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10657792 140730741134507 140730741134660 140730741134660 140730741137359 0
[pid=5731/tid=5735] ppid=5728 vsize=10204852 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5731/task/5735/stat : 5735 (java) S 5728 5731 2464 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 10 0 2574275 10449768448 2537 33554432000 4194304 4196468 140730741131504 139795937287184 139796332312277 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10657792 140730741134507 140730741134660 140730741134660 140730741137359 0
[pid=5731/tid=5736] ppid=5728 vsize=10204852 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5731/task/5736/stat : 5736 (java) S 5728 5731 2464 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 10 0 2574275 10449768448 2602 33554432000 4194304 4196468 140730741131504 139795936234640 139796332312277 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10657792 140730741134507 140730741134660 140730741134660 140730741137359 0
[pid=5731/tid=5737] ppid=5728 vsize=10204852 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5731/task/5737/stat : 5737 (java) S 5728 5731 2464 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 10 0 2574275 10449768448 2602 33554432000 4194304 4196468 140730741131504 139795935181072 139796332312277 0 4 0 16784584 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 10657792 140730741134507 140730741134660 140730741134660 140730741137359 0
[pid=5731/tid=5738] ppid=5728 vsize=10204852 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5731/task/5738/stat : 5738 (java) S 5728 5731 2464 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 10 0 2574275 10449768448 2602 33554432000 4194304 4196468 140730741131504 139795934128528 139796332312277 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10657792 140730741134507 140730741134660 140730741134660 140730741137359 0
[pid=5731/tid=5739] ppid=5728 vsize=10204852 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5731/task/5739/stat : 5739 (java) S 5728 5731 2464 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 10 0 2574275 10449768448 2602 33554432000 4194304 4196468 140730741131504 139795933075984 139796332312277 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10657792 140730741134507 140730741134660 140730741134660 140730741137359 0
[pid=5731/tid=5740] ppid=5728 vsize=10204852 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5731/task/5740/stat : 5740 (java) S 5728 5731 2464 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 10 0 2574275 10449768448 2668 33554432000 4194304 4196468 140730741131504 139795932023440 139796332312277 0 4 0 16784584 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 10657792 140730741134507 140730741134660 140730741134660 140730741137359 0

[startup+0.100084 s]
/proc/loadavg: 2.27 2.08 2.05 10/262 5731
/proc/meminfo: memFree=30993100/32770624 swapFree=5804/220760
[pid=5731] ppid=5728 vsize=10900556 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/5731/stat : 5731 (java) S 5728 5731 2464 0 -1 1077944320 4671 0 0 0 8 1 0 0 20 0 20 0 2574273 11162169344 5782 33554432000 4194304 4196468 140730741131504 140730741114048 139796332302071 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 10657792 140730741134507 140730741134660 140730741134660 140730741137359 0
/proc/5731/statm: 2725139 5782 2630 1 0 2713552 0
[pid=5731/tid=5732] ppid=5728 vsize=10900556 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/5731/task/5732/stat : 5732 (java) R 5728 5731 2464 0 -1 4202560 2747 0 0 0 7 1 0 0 20 0 20 0 2574273 11162169344 5782 33554432000 4194304 4196468 140730741131504 139796336544352 139796332323997 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10657792 140730741134507 140730741134660 140730741134660 140730741137359 0
[pid=5731/tid=5733] ppid=5728 vsize=10900556 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5731/task/5733/stat : 5733 (java) S 5728 5731 2464 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2574274 11162169344 5782 33554432000 4194304 4196468 140730741131504 139796288854800 139796332312277 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 10657792 140730741134507 140730741134660 140730741134660 140730741137359 0
[pid=5731/tid=5734] ppid=5728 vsize=10900556 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5731/task/5734/stat : 5734 (java) S 5728 5731 2464 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2574275 11162169344 5782 33554432000 4194304 4196468 140730741131504 139796287802256 139796332312277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10657792 140730741134507 140730741134660 140730741134660 140730741137359 0
[pid=5731/tid=5735] ppid=5728 vsize=10900556 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5731/task/5735/stat : 5735 (java) S 5728 5731 2464 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2574275 11162169344 5782 33554432000 4194304 4196468 140730741131504 139795937287184 139796332312277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10657792 140730741134507 140730741134660 140730741134660 140730741137359 0
[pid=5731/tid=5736] ppid=5728 vsize=10900556 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5731/task/5736/stat : 5736 (java) S 5728 5731 2464 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2574275 11162169344 5782 33554432000 4194304 4196468 140730741131504 139795936234640 139796332312277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10657792 140730741134507 140730741134660 140730741134660 140730741137359 0
[pid=5731/tid=5737] ppid=5728 vsize=10900556 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5731/task/5737/stat : 5737 (java) S 5728 5731 2464 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2574275 11162169344 5782 33554432000 4194304 4196468 140730741131504 139795935181072 139796332312277 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 10657792 140730741134507 140730741134660 140730741134660 140730741137359 0
[pid=5731/tid=5738] ppid=5728 vsize=10900556 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5731/task/5738/stat : 5738 (java) S 5728 5731 2464 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2574275 11162169344 5782 33554432000 4194304 4196468 140730741131504 139795934128528 139796332312277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10657792 140730741134507 140730741134660 140730741134660 140730741137359 0
[pid=5731/tid=5739] ppid=5728 vsize=10900556 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5731/task/5739/stat : 5739 (java) S 5728 5731 2464 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2574275 11162169344 5782 33554432000 4194304 4196468 140730741131504 139795933075984 139796332312277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10657792 140730741134507 140730741134660 140730741134660 140730741137359 0
[pid=5731/tid=5740] ppid=5728 vsize=10900556 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5731/task/5740/stat : 5740 (java) S 5728 5731 2464 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2574275 11162169344 5782 33554432000 4194304 4196468 140730741131504 139795932023440 139796332312277 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 10657792 140730741134507 140730741134660 140730741134660 140730741137359 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10900556

[startup+0.20128 s]
/proc/loadavg: 2.27 2.08 2.05 10/262 5731
/proc/meminfo: memFree=30993100/32770624 swapFree=5804/220760
[pid=5731] ppid=5728 vsize=10900556 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/5731/stat : 5731 (java) S 5728 5731 2464 0 -1 1077944320 6896 0 0 0 24 2 0 0 20 0 20 0 2574273 11162169344 7709 33554432000 4194304 4196468 140730741131504 140730741114048 139796332302071 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 10657792 140730741134507 140730741134660 140730741134660 140730741137359 0
/proc/5731/statm: 2725139 7709 2853 1 0 2713552 0
[pid=5731/tid=5732] ppid=5728 vsize=10900556 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/5731/task/5732/stat : 5732 (java) R 5728 5731 2464 0 -1 4202560 4572 0 0 0 17 1 0 0 20 0 20 0 2574273 11162169344 7709 33554432000 4194304 4196468 140730741131504 139796336524864 139796332323418 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10657792 140730741134507 140730741134660 140730741134660 140730741137359 0
[pid=5731/tid=5733] ppid=5728 vsize=10900556 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5731/task/5733/stat : 5733 (java) S 5728 5731 2464 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2574274 11162169344 7709 33554432000 4194304 4196468 140730741131504 139796288854800 139796332312277 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 10657792 140730741134507 140730741134660 140730741134660 140730741137359 0
[pid=5731/tid=5734] ppid=5728 vsize=10900556 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5731/task/5734/stat : 5734 (java) S 5728 5731 2464 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2574275 11162169344 7709 33554432000 4194304 4196468 140730741131504 139796287802256 139796332312277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10657792 140730741134507 140730741134660 140730741134660 140730741137359 0
[pid=5731/tid=5735] ppid=5728 vsize=10900556 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5731/task/5735/stat : 5735 (java) S 5728 5731 2464 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2574275 11162169344 7709 33554432000 4194304 4196468 140730741131504 139795937287184 139796332312277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10657792 140730741134507 140730741134660 140730741134660 140730741137359 0
[pid=5731/tid=5736] ppid=5728 vsize=10900556 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5731/task/5736/stat : 5736 (java) S 5728 5731 2464 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2574275 11162169344 7709 33554432000 4194304 4196468 140730741131504 139795936234640 139796332312277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10657792 140730741134507 140730741134660 140730741134660 140730741137359 0
[pid=5731/tid=5737] ppid=5728 vsize=10900556 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5731/task/5737/stat : 5737 (java) S 5728 5731 2464 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2574275 11162169344 7709 33554432000 4194304 4196468 140730741131504 139795935181072 139796332312277 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 10657792 140730741134507 140730741134660 140730741134660 140730741137359 0
[pid=5731/tid=5738] ppid=5728 vsize=10900556 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5731/task/5738/stat : 5738 (java) S 5728 5731 2464 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2574275 11162169344 7709 33554432000 4194304 4196468 140730741131504 139795934128528 139796332312277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10657792 140730741134507 140730741134660 140730741134660 140730741137359 0
[pid=5731/tid=5739] ppid=5728 vsize=10900556 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5731/task/5739/stat : 5739 (java) S 5728 5731 2464 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2574275 11162169344 7709 33554432000 4194304 4196468 140730741131504 139795933075984 139796332312277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10657792 140730741134507 140730741134660 140730741134660 140730741137359 0
[pid=5731/tid=5740] ppid=5728 vsize=10900556 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5731/task/5740/stat : 5740 (java) S 5728 5731 2464 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2574275 11162169344 7709 33554432000 4194304 4196468 140730741131504 139795932023440 139796332312277 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 10657792 140730741134507 140730741134660 140730741134660 140730741137359 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 10900556

[startup+0.300933 s]
/proc/loadavg: 2.27 2.08 2.05 10/262 5731
/proc/meminfo: memFree=30993100/32770624 swapFree=5804/220760
[pid=5731] ppid=5728 vsize=10900556 CPUtime=0.43 cores=0,2,4,6,8,10,12,14
/proc/5731/stat : 5731 (java) S 5728 5731 2464 0 -1 1077944320 8216 0 0 0 40 3 0 0 20 0 20 0 2574273 11162169344 9974 33554432000 4194304 4196468 140730741131504 140730741114048 139796332302071 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 10657792 140730741134507 140730741134660 140730741134660 140730741137359 0
/proc/5731/statm: 2725139 9974 2908 1 0 2713552 0
[pid=5731/tid=5732] ppid=5728 vsize=10900556 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/5731/task/5732/stat : 5732 (java) R 5728 5731 2464 0 -1 4202560 5302 0 0 0 26 2 0 0 20 0 20 0 2574273 11162169344 9974 33554432000 4194304 4196468 140730741131504 139796336539168 139796316871425 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10657792 140730741134507 140730741134660 140730741134660 140730741137359 0
[pid=5731/tid=5733] ppid=5728 vsize=10900556 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5731/task/5733/stat : 5733 (java) S 5728 5731 2464 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2574274 11162169344 9974 33554432000 4194304 4196468 140730741131504 139796288854800 139796332312277 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 10657792 140730741134507 140730741134660 140730741134660 140730741137359 0
[pid=5731/tid=5734] ppid=5728 vsize=10900556 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5731/task/5734/stat : 5734 (java) S 5728 5731 2464 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2574275 11162169344 9974 33554432000 4194304 4196468 140730741131504 139796287802256 139796332312277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10657792 140730741134507 140730741134660 140730741134660 140730741137359 0
[pid=5731/tid=5735] ppid=5728 vsize=10900556 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5731/task/5735/stat : 5735 (java) S 5728 5731 2464 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2574275 11162169344 9974 33554432000 4194304 4196468 140730741131504 139795937287184 139796332312277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10657792 140730741134507 140730741134660 140730741134660 140730741137359 0
[pid=5731/tid=5736] ppid=5728 vsize=10900556 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5731/task/5736/stat : 5736 (java) S 5728 5731 2464 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2574275 11162169344 9974 33554432000 4194304 4196468 140730741131504 139795936234640 139796332312277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10657792 140730741134507 140730741134660 140730741134660 140730741137359 0
[pid=5731/tid=5737] ppid=5728 vsize=10900556 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5731/task/5737/stat : 5737 (java) S 5728 5731 2464 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2574275 11162169344 9974 33554432000 4194304 4196468 140730741131504 139795935181072 139796332312277 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 10657792 140730741134507 140730741134660 140730741134660 140730741137359 0
[pid=5731/tid=5738] ppid=5728 vsize=10900556 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5731/task/5738/stat : 5738 (java) S 5728 5731 2464 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2574275 11162169344 9974 33554432000 4194304 4196468 140730741131504 139795934128528 139796332312277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10657792 140730741134507 140730741134660 140730741134660 140730741137359 0
[pid=5731/tid=5739] ppid=5728 vsize=10900556 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5731/task/5739/stat : 5739 (java) S 5728 5731 2464 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2574275 11162169344 9974 33554432000 4194304 4196468 140730741131504 139795933075984 139796332312277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10657792 140730741134507 140730741134660 140730741134660 140730741137359 0
[pid=5731/tid=5740] ppid=5728 vsize=10900556 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5731/task/5740/stat : 5740 (java) S 5728 5731 2464 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2574275 11162169344 9974 33554432000 4194304 4196468 140730741131504 139795932023440 139796332312277 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 10657792 140730741134507 140730741134660 140730741134660 140730741137359 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 10900556

[startup+0.700675 s]
/proc/loadavg: 2.27 2.08 2.05 10/262 5731
/proc/meminfo: memFree=30993100/32770624 swapFree=5804/220760
[pid=5731] ppid=5728 vsize=10900632 CPUtime=1.99 cores=0,2,4,6,8,10,12,14
/proc/5731/stat : 5731 (java) S 5728 5731 2464 0 -1 1077944320 13191 0 0 0 194 5 0 0 20 0 20 0 2574273 11162247168 28729 33554432000 4194304 4196468 140730741131504 140730741114048 139796332302071 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 10657792 140730741134507 140730741134660 140730741134660 140730741137359 0
/proc/5731/statm: 2725158 28729 3084 1 0 2713552 0
[pid=5731/tid=5732] ppid=5728 vsize=10900632 CPUtime=0.67 cores=0,2,4,6,8,10,12,14
/proc/5731/task/5732/stat : 5732 (java) R 5728 5731 2464 0 -1 4202560 5891 0 0 0 64 3 0 0 20 0 20 0 2574273 11162247168 28729 33554432000 4194304 4196468 140730741131504 139796336539864 139795970771703 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10657792 140730741134507 140730741134660 140730741134660 140730741137359 0
[pid=5731/tid=5733] ppid=5728 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5731/task/5733/stat : 5733 (java) S 5728 5731 2464 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2574274 11162247168 28729 33554432000 4194304 4196468 140730741131504 139796288854800 139796332312277 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 10657792 140730741134507 140730741134660 140730741134660 140730741137359 0
[pid=5731/tid=5734] ppid=5728 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5731/task/5734/stat : 5734 (java) S 5728 5731 2464 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2574275 11162247168 28729 33554432000 4194304 4196468 140730741131504 139796287802256 139796332312277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10657792 140730741134507 140730741134660 140730741134660 140730741137359 0
[pid=5731/tid=5735] ppid=5728 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5731/task/5735/stat : 5735 (java) S 5728 5731 2464 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2574275 11162247168 28729 33554432000 4194304 4196468 140730741131504 139795937287184 139796332312277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10657792 140730741134507 140730741134660 140730741134660 140730741137359 0
[pid=5731/tid=5736] ppid=5728 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5731/task/5736/stat : 5736 (java) S 5728 5731 2464 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2574275 11162247168 28729 33554432000 4194304 4196468 140730741131504 139795936234640 139796332312277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10657792 140730741134507 140730741134660 140730741134660 140730741137359 0
[pid=5731/tid=5737] ppid=5728 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5731/task/5737/stat : 5737 (java) S 5728 5731 2464 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2574275 11162247168 28729 33554432000 4194304 4196468 140730741131504 139795935181072 139796332312277 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 10657792 140730741134507 140730741134660 140730741134660 140730741137359 0
[pid=5731/tid=5738] ppid=5728 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5731/task/5738/stat : 5738 (java) S 5728 5731 2464 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2574275 11162247168 28729 33554432000 4194304 4196468 140730741131504 139795934128528 139796332312277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10657792 140730741134507 140730741134660 140730741134660 140730741137359 0
[pid=5731/tid=5739] ppid=5728 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5731/task/5739/stat : 5739 (java) S 5728 5731 2464 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2574275 11162247168 28729 33554432000 4194304 4196468 140730741131504 139795933075984 139796332312277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10657792 140730741134507 140730741134660 140730741134660 140730741137359 0
[pid=5731/tid=5740] ppid=5728 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5731/task/5740/stat : 5740 (java) S 5728 5731 2464 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2574275 11162247168 28729 33554432000 4194304 4196468 140730741131504 139795932023440 139796332312277 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 10657792 140730741134507 140730741134660 140730741134660 140730741137359 0
Current children cumulated CPU time (s) 1.99
Current children cumulated vsize (KiB) 10900632

[startup+1.50082 s]
/proc/loadavg: 2.27 2.08 2.05 6/282 5751
/proc/meminfo: memFree=30696244/32770624 swapFree=5804/220756
[pid=5731] ppid=5728 vsize=10900632 CPUtime=5.39 cores=0,2,4,6,8,10,12,14
/proc/5731/stat : 5731 (java) S 5728 5731 2464 0 -1 1077944320 25109 0 0 0 509 30 0 0 20 0 20 0 2574273 11162247168 84577 33554432000 4194304 4196468 140730741131504 140730741114048 139796332302071 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 10657792 140730741134507 140730741134660 140730741134660 140730741137359 0
/proc/5731/statm: 2725158 84577 3134 1 0 2713552 0
[pid=5731/tid=5732] ppid=5728 vsize=10900632 CPUtime=1.37 cores=0,2,4,6,8,10,12,14
/proc/5731/task/5732/stat : 5732 (java) R 5728 5731 2464 0 -1 4202560 5949 0 0 0 132 5 0 0 20 0 20 0 2574273 11162247168 84577 33554432000 4194304 4196468 140730741131504 139796336535288 139795971269685 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10657792 140730741134507 140730741134660 140730741134660 140730741137359 0
[pid=5731/tid=5733] ppid=5728 vsize=10900632 CPUtime=0.06 cores=0,2,4,6,8,10,12,14
/proc/5731/task/5733/stat : 5733 (java) S 5728 5731 2464 0 -1 1077944384 84 0 0 0 4 2 0 0 20 0 20 0 2574274 11162247168 84577 33554432000 4194304 4196468 140730741131504 139796288854800 139796332312277 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 10657792 140730741134507 140730741134660 140730741134660 140730741137359 0
[pid=5731/tid=5734] ppid=5728 vsize=10900632 CPUtime=0.06 cores=0,2,4,6,8,10,12,14
/proc/5731/task/5734/stat : 5734 (java) S 5728 5731 2464 0 -1 1077944384 55 0 0 0 4 2 0 0 20 0 20 0 2574275 11162247168 84577 33554432000 4194304 4196468 140730741131504 139796287802256 139796332312277 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 10657792 140730741134507 140730741134660 140730741134660 140730741137359 0
[pid=5731/tid=5735] ppid=5728 vsize=10900632 CPUtime=0.06 cores=0,2,4,6,8,10,12,14
/proc/5731/task/5735/stat : 5735 (java) S 5728 5731 2464 0 -1 1077944384 80 0 0 0 4 2 0 0 20 0 20 0 2574275 11162247168 84577 33554432000 4194304 4196468 140730741131504 139795937287184 139796332312277 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 10657792 140730741134507 140730741134660 140730741134660 140730741137359 0
[pid=5731/tid=5736] ppid=5728 vsize=10900632 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/5731/task/5736/stat : 5736 (java) S 5728 5731 2464 0 -1 1077944384 75 0 0 0 3 2 0 0 20 0 20 0 2574275 11162247168 84577 33554432000 4194304 4196468 140730741131504 139795936234640 139796332312277 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 10657792 140730741134507 140730741134660 140730741134660 140730741137359 0
[pid=5731/tid=5737] ppid=5728 vsize=10900632 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/5731/task/5737/stat : 5737 (java) S 5728 5731 2464 0 -1 1077944384 64 0 0 0 3 2 0 0 20 0 20 0 2574275 11162247168 84577 33554432000 4194304 4196468 140730741131504 139795935181072 139796332312277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10657792 140730741134507 140730741134660 140730741134660 140730741137359 0
[pid=5731/tid=5738] ppid=5728 vsize=10900632 CPUtime=0.06 cores=0,2,4,6,8,10,12,14
/proc/5731/task/5738/stat : 5738 (java) S 5728 5731 2464 0 -1 1077944384 81 0 0 0 4 2 0 0 20 0 20 0 2574275 11162247168 84577 33554432000 4194304 4196468 140730741131504 139795934128528 139796332312277 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 10657792 140730741134507 140730741134660 140730741134660 140730741137359 0
[pid=5731/tid=5739] ppid=5728 vsize=10900632 CPUtime=0.06 cores=0,2,4,6,8,10,12,14
/proc/5731/task/5739/stat : 5739 (java) S 5728 5731 2464 0 -1 1077944384 97 0 0 0 4 2 0 0 20 0 20 0 2574275 11162247168 84577 33554432000 4194304 4196468 140730741131504 139795933075984 139796332312277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10657792 140730741134507 140730741134660 140730741134660 140730741137359 0
[pid=5731/tid=5740] ppid=5728 vsize=10900632 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/5731/task/5740/stat : 5740 (java) S 5728 5731 2464 0 -1 1077944384 49 0 0 0 2 2 0 0 20 0 20 0 2574275 11162247168 84577 33554432000 4194304 4196468 140730741131504 139795932023440 139796332312277 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 10657792 140730741134507 140730741134660 140730741134660 140730741137359 0
[pid=5731/tid=5742] ppid=5728 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5731/task/5742/stat : 5742 (java) S 5728 5731 2464 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 20 0 2574277 11162247168 84577 33554432000 4194304 4196468 140730741131504 139795538860528 139796332313218 0 0 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 10657792 140730741134507 140730741134660 140730741134660 140730741137359 0
[pid=5731/tid=5743] ppid=5728 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5731/task/5743/stat : 5743 (java) S 5728 5731 2464 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 2574278 11162247168 84577 33554432000 4194304 4196468 140730741131504 139795537806752 139796332312277 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 10657792 140730741134507 140730741134660 140730741134660 140730741137359 0
[pid=5731/tid=5744] ppid=5728 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5731/task/5744/stat : 5744 (java) S 5728 5731 2464 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 2574278 11162247168 84577 33554432000 4194304 4196468 140730741131504 139795536754160 139796332312277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10657792 140730741134507 140730741134660 140730741134660 140730741137359 0
[pid=5731/tid=5745] ppid=5728 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5731/task/5745/stat : 5745 (java) S 5728 5731 2464 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2574282 11162247168 84577 33554432000 4194304 4196468 140730741131504 139795535702736 139796332320667 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 10657792 140730741134507 140730741134660 140730741134660 140730741137359 0
[pid=5731/tid=5746] ppid=5728 vsize=10900632 CPUtime=1.03 cores=0,2,4,6,8,10,12,14
/proc/5731/task/5746/stat : 5746 (java) R 5728 5731 2464 0 -1 4202560 6814 0 0 0 103 0 0 0 20 0 20 0 2574282 11162247168 84577 33554432000 4194304 4196468 140730741131504 139795534640048 139796315798905 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10657792 140730741134507 140730741134660 140730741134660 140730741137359 0
[pid=5731/tid=5747] ppid=5728 vsize=10900632 CPUtime=1.05 cores=0,2,4,6,8,10,12,14
/proc/5731/task/5747/stat : 5747 (java) R 5728 5731 2464 0 -1 4202560 4619 0 0 0 105 0 0 0 20 0 20 0 2574282 11162247168 84577 33554432000 4194304 4196468 140730741131504 139795533582664 139796313824295 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10657792 140730741134507 140730741134660 140730741134660 140730741137359 0
[pid=5731/tid=5748] ppid=5728 vsize=10900632 CPUtime=0.97 cores=0,2,4,6,8,10,12,14
/proc/5731/task/5748/stat : 5748 (java) S 5728 5731 2464 0 -1 1077944384 3439 0 0 0 96 1 0 0 20 0 20 0 2574282 11162247168 84577 33554432000 4194304 4196468 140730741131504 139795532544240 139796332313218 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 10657792 140730741134507 140730741134660 140730741134660 140730741137359 0
[pid=5731/tid=5749] ppid=5728 vsize=10900632 CPUtime=0.4 cores=0,2,4,6,8,10,12,14
/proc/5731/task/5749/stat : 5749 (java) S 5728 5731 2464 0 -1 1077944384 2251 0 0 0 39 1 0 0 20 0 20 0 2574282 11162247168 84577 33554432000 4194304 4196468 140730741131504 139795531491696 139796332313218 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 10657792 140730741134507 140730741134660 140730741134660 140730741137359 0
[pid=5731/tid=5750] ppid=5728 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5731/task/5750/stat : 5750 (java) S 5728 5731 2464 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2574282 11162247168 84577 33554432000 4194304 4196468 140730741131504 139795530439392 139796332312277 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 10657792 140730741134507 140730741134660 140730741134660 140730741137359 0
[pid=5731/tid=5751] ppid=5728 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5731/task/5751/stat : 5751 (java) S 5728 5731 2464 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2574283 11162247168 84577 33554432000 4194304 4196468 140730741131504 139795529386928 139796332313218 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 10657792 140730741134507 140730741134660 140730741134660 140730741137359 0
Current children cumulated CPU time (s) 5.39

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

Current children cumulated CPU time (s) 8.24
Current children cumulated vsize (KiB) 10967196

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

[startup+3.20114 s]
/proc/loadavg: 2.27 2.08 2.05 4/283 5752
/proc/meminfo: memFree=30410148/32770624 swapFree=5804/220756
[pid=5731] ppid=5728 vsize=10967196 CPUtime=8.34 cores=0,2,4,6,8,10,12,14
/proc/5731/stat : 5731 (java) S 5728 5731 2464 0 -1 1077944320 26520 0 0 0 803 31 0 0 20 0 21 0 2574273 11230408704 95342 33554432000 4194304 4196468 140730741131504 140730741114048 139796332302071 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 10657792 140730741134507 140730741134660 140730741134660 140730741137359 0
/proc/5731/statm: 2741799 95342 3140 1 0 2730193 0
[pid=5731/tid=5732] ppid=5728 vsize=10967196 CPUtime=3.07 cores=0,2,4,6,8,10,12,14
/proc/5731/task/5732/stat : 5732 (java) R 5728 5731 2464 0 -1 4202560 6350 0 0 0 301 6 0 0 20 0 21 0 2574273 11230408704 95342 33554432000 4194304 4196468 140730741131504 139796336538744 139795972565087 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10657792 140730741134507 140730741134660 140730741134660 140730741137359 0
[pid=5731/tid=5733] ppid=5728 vsize=10967196 CPUtime=0.06 cores=0,2,4,6,8,10,12,14
/proc/5731/task/5733/stat : 5733 (java) S 5728 5731 2464 0 -1 1077944384 84 0 0 0 4 2 0 0 20 0 21 0 2574274 11230408704 95342 33554432000 4194304 4196468 140730741131504 139796288854800 139796332312277 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 10657792 140730741134507 140730741134660 140730741134660 140730741137359 0
[pid=5731/tid=5734] ppid=5728 vsize=10967196 CPUtime=0.06 cores=0,2,4,6,8,10,12,14
/proc/5731/task/5734/stat : 5734 (java) S 5728 5731 2464 0 -1 1077944384 55 0 0 0 4 2 0 0 20 0 21 0 2574275 11230408704 95342 33554432000 4194304 4196468 140730741131504 139796287802256 139796332312277 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 10657792 140730741134507 140730741134660 140730741134660 140730741137359 0
[pid=5731/tid=5735] ppid=5728 vsize=10967196 CPUtime=0.06 cores=0,2,4,6,8,10,12,14
/proc/5731/task/5735/stat : 5735 (java) S 5728 5731 2464 0 -1 1077944384 80 0 0 0 4 2 0 0 20 0 21 0 2574275 11230408704 95342 33554432000 4194304 4196468 140730741131504 139795937287184 139796332312277 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 10657792 140730741134507 140730741134660 140730741134660 140730741137359 0
[pid=5731/tid=5736] ppid=5728 vsize=10967196 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/5731/task/5736/stat : 5736 (java) S 5728 5731 2464 0 -1 1077944384 75 0 0 0 3 2 0 0 20 0 21 0 2574275 11230408704 95342 33554432000 4194304 4196468 140730741131504 139795936234640 139796332312277 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 10657792 140730741134507 140730741134660 140730741134660 140730741137359 0
[pid=5731/tid=5737] ppid=5728 vsize=10967196 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/5731/task/5737/stat : 5737 (java) S 5728 5731 2464 0 -1 1077944384 64 0 0 0 3 2 0 0 20 0 21 0 2574275 11230408704 95342 33554432000 4194304 4196468 140730741131504 139795935181072 139796332312277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10657792 140730741134507 140730741134660 140730741134660 140730741137359 0
[pid=5731/tid=5738] ppid=5728 vsize=10967196 CPUtime=0.06 cores=0,2,4,6,8,10,12,14
/proc/5731/task/5738/stat : 5738 (java) S 5728 5731 2464 0 -1 1077944384 81 0 0 0 4 2 0 0 20 0 21 0 2574275 11230408704 95342 33554432000 4194304 4196468 140730741131504 139795934128528 139796332312277 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 10657792 140730741134507 140730741134660 140730741134660 140730741137359 0
[pid=5731/tid=5739] ppid=5728 vsize=10967196 CPUtime=0.06 cores=0,2,4,6,8,10,12,14
/proc/5731/task/5739/stat : 5739 (java) S 5728 5731 2464 0 -1 1077944384 97 0 0 0 4 2 0 0 20 0 21 0 2574275 11230408704 95342 33554432000 4194304 4196468 140730741131504 139795933075984 139796332312277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10657792 140730741134507 140730741134660 140730741134660 140730741137359 0
[pid=5731/tid=5740] ppid=5728 vsize=10967196 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/5731/task/5740/stat : 5740 (java) S 5728 5731 2464 0 -1 1077944384 49 0 0 0 2 2 0 0 20 0 21 0 2574275 11230408704 95342 33554432000 4194304 4196468 140730741131504 139795932023440 139796332312277 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 10657792 140730741134507 140730741134660 140730741134660 140730741137359 0
[pid=5731/tid=5742] ppid=5728 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5731/task/5742/stat : 5742 (java) S 5728 5731 2464 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 21 0 2574277 11230408704 95342 33554432000 4194304 4196468 140730741131504 139795538860528 139796332313218 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10657792 140730741134507 140730741134660 140730741134660 140730741137359 0
[pid=5731/tid=5743] ppid=5728 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5731/task/5743/stat : 5743 (java) S 5728 5731 2464 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 21 0 2574278 11230408704 95342 33554432000 4194304 4196468 140730741131504 139795537806752 139796332312277 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 10657792 140730741134507 140730741134660 140730741134660 140730741137359 0
[pid=5731/tid=5744] ppid=5728 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5731/task/5744/stat : 5744 (java) S 5728 5731 2464 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 21 0 2574278 11230408704 95342 33554432000 4194304 4196468 140730741131504 139795536754160 139796332312277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10657792 140730741134507 140730741134660 140730741134660 140730741137359 0
[pid=5731/tid=5745] ppid=5728 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5731/task/5745/stat : 5745 (java) S 5728 5731 2464 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 2574282 11230408704 95342 33554432000 4194304 4196468 140730741131504 139795535702736 139796332320667 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 10657792 140730741134507 140730741134660 140730741134660 140730741137359 0
[pid=5731/tid=5746] ppid=5728 vsize=10967196 CPUtime=1.43 cores=0,2,4,6,8,10,12,14
/proc/5731/task/5746/stat : 5746 (java) S 5728 5731 2464 0 -1 1077944384 6970 0 0 0 143 0 0 0 20 0 21 0 2574282 11230408704 95342 33554432000 4194304 4196468 140730741131504 139795534649328 139796332313218 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 10657792 140730741134507 140730741134660 140730741134660 140730741137359 0
[pid=5731/tid=5747] ppid=5728 vsize=10967196 CPUtime=1.42 cores=0,2,4,6,8,10,12,14
/proc/5731/task/5747/stat : 5747 (java) S 5728 5731 2464 0 -1 1077944384 4790 0 0 0 142 0 0 0 20 0 21 0 2574282 11230408704 95342 33554432000 4194304 4196468 140730741131504 139795533596784 139796332313218 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10657792 140730741134507 140730741134660 140730741134660 140730741137359 0
[pid=5731/tid=5748] ppid=5728 vsize=10967196 CPUtime=1.37 cores=0,2,4,6,8,10,12,14
/proc/5731/task/5748/stat : 5748 (java) S 5728 5731 2464 0 -1 1077944384 3985 0 0 0 136 1 0 0 20 0 21 0 2574282 11230408704 95342 33554432000 4194304 4196468 140730741131504 139795532544240 139796332313218 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10657792 140730741134507 140730741134660 140730741134660 140730741137359 0
[pid=5731/tid=5749] ppid=5728 vsize=10967196 CPUtime=0.47 cores=0,2,4,6,8,10,12,14
/proc/5731/task/5749/stat : 5749 (java) S 5728 5731 2464 0 -1 1077944384 2335 0 0 0 46 1 0 0 20 0 21 0 2574282 11230408704 95342 33554432000 4194304 4196468 140730741131504 139795531491696 139796332313218 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 10657792 140730741134507 140730741134660 140730741134660 140730741137359 0
[pid=5731/tid=5750] ppid=5728 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5731/task/5750/stat : 5750 (java) S 5728 5731 2464 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 2574282 11230408704 95342 33554432000 4194304 4196468 140730741131504 139795530439392 139796332312277 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 10657792 140730741134507 140730741134660 140730741134660 140730741137359 0
[pid=5731/tid=5751] ppid=5728 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5731/task/5751/stat : 5751 (java) S 5728 5731 2464 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 21 0 2574283 11230408704 95342 33554432000 4194304 4196468 140730741131504 139795529386928 139796332313218 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 10657792 140730741134507 140730741134660 140730741134660 140730741137359 0
[pid=5731/tid=5752] ppid=5728 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5731/task/5752/stat : 5752 (java) S 5728 5731 2464 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 21 0 2574431 11230408704 95342 33554432000 4194304 4196468 140730741131504 139795528332720 139796332313218 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 10657792 140730741134507 140730741134660 140730741134660 140730741137359 0
Current children cumulated CPU time (s) 8.34
Current children cumulated vsize (KiB) 10967196

[startup+4.00092 s]
/proc/loadavg: 2.24 2.08 2.05 3/283 5752
/proc/meminfo: memFree=29822936/32770624 swapFree=5804/220756
[pid=5731] ppid=5728 vsize=10967196 CPUtime=9.14 cores=0,2,4,6,8,10,12,14
/proc/5731/stat : 5731 (java) S 5728 5731 2464 0 -1 1077944320 26776 0 0 0 883 31 0 0 20 0 21 0 2574273 11230408704 95356 33554432000 4194304 4196468 140730741131504 140730741114048 139796332302071 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 10657792 140730741134507 140730741134660 140730741134660 140730741137359 0
/proc/5731/statm: 2741799 95356 3140 1 0 2730193 0
[pid=5731/tid=5732] ppid=5728 vsize=10967196 CPUtime=3.87 cores=0,2,4,6,8,10,12,14
/proc/5731/task/5732/stat : 5732 (java) R 5728 5731 2464 0 -1 4202560 6421 0 0 0 381 6 0 0 20 0 21 0 2574273 11230408704 95356 33554432000 4194304 4196468 140730741131504 139796336540792 139795972696805 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10657792 140730741134507 140730741134660 140730741134660 140730741137359 0
[pid=5731/tid=5733] ppid=5728 vsize=10967196 CPUtime=0.06 cores=0,2,4,6,8,10,12,14
/proc/5731/task/5733/stat : 5733 (java) S 5728 5731 2464 0 -1 1077944384 84 0 0 0 4 2 0 0 20 0 21 0 2574274 11230408704 95356 33554432000 4194304 4196468 140730741131504 139796288854800 139796332312277 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 10657792 140730741134507 140730741134660 140730741134660 140730741137359 0
[pid=5731/tid=5734] ppid=5728 vsize=10967196 CPUtime=0.06 cores=0,2,4,6,8,10,12,14
/proc/5731/task/5734/stat : 5734 (java) S 5728 5731 2464 0 -1 1077944384 55 0 0 0 4 2 0 0 20 0 21 0 2574275 11230408704 95356 33554432000 4194304 4196468 140730741131504 139796287802256 139796332312277 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 10657792 140730741134507 140730741134660 140730741134660 140730741137359 0
[pid=5731/tid=5735] ppid=5728 vsize=10967196 CPUtime=0.06 cores=0,2,4,6,8,10,12,14
/proc/5731/task/5735/stat : 5735 (java) S 5728 5731 2464 0 -1 1077944384 80 0 0 0 4 2 0 0 20 0 21 0 2574275 11230408704 95356 33554432000 4194304 4196468 140730741131504 139795937287184 139796332312277 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 10657792 140730741134507 140730741134660 140730741134660 140730741137359 0
[pid=5731/tid=5736] ppid=5728 vsize=10967196 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/5731/task/5736/stat : 5736 (java) S 5728 5731 2464 0 -1 1077944384 75 0 0 0 3 2 0 0 20 0 21 0 2574275 11230408704 95356 33554432000 4194304 4196468 140730741131504 139795936234640 139796332312277 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 10657792 140730741134507 140730741134660 140730741134660 140730741137359 0
[pid=5731/tid=5737] ppid=5728 vsize=10967196 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/5731/task/5737/stat : 5737 (java) S 5728 5731 2464 0 -1 1077944384 64 0 0 0 3 2 0 0 20 0 21 0 2574275 11230408704 95356 33554432000 4194304 4196468 140730741131504 139795935181072 139796332312277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10657792 140730741134507 140730741134660 140730741134660 140730741137359 0
[pid=5731/tid=5738] ppid=5728 vsize=10967196 CPUtime=0.06 cores=0,2,4,6,8,10,12,14
/proc/5731/task/5738/stat : 5738 (java) S 5728 5731 2464 0 -1 1077944384 81 0 0 0 4 2 0 0 20 0 21 0 2574275 11230408704 95356 33554432000 4194304 4196468 140730741131504 139795934128528 139796332312277 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 10657792 140730741134507 140730741134660 140730741134660 140730741137359 0
[pid=5731/tid=5739] ppid=5728 vsize=10967196 CPUtime=0.06 cores=0,2,4,6,8,10,12,14
/proc/5731/task/5739/stat : 5739 (java) S 5728 5731 2464 0 -1 1077944384 97 0 0 0 4 2 0 0 20 0 21 0 2574275 11230408704 95356 33554432000 4194304 4196468 140730741131504 139795933075984 139796332312277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10657792 140730741134507 140730741134660 140730741134660 140730741137359 0
[pid=5731/tid=5740] ppid=5728 vsize=10967196 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/5731/task/5740/stat : 5740 (java) S 5728 5731 2464 0 -1 1077944384 49 0 0 0 2 2 0 0 20 0 21 0 2574275 11230408704 95356 33554432000 4194304 4196468 140730741131504 139795932023440 139796332312277 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 10657792 140730741134507 140730741134660 140730741134660 140730741137359 0
[pid=5731/tid=5742] ppid=5728 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5731/task/5742/stat : 5742 (java) S 5728 5731 2464 0 -1 1077944384 152 0 0 0 0 0 0 0 20 0 21 0 2574277 11230408704 95356 33554432000 4194304 4196468 140730741131504 139795538860528 139796332313218 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10657792 140730741134507 140730741134660 140730741134660 140730741137359 0
[pid=5731/tid=5743] ppid=5728 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5731/task/5743/stat : 5743 (java) S 5728 5731 2464 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 21 0 2574278 11230408704 95356 33554432000 4194304 4196468 140730741131504 139795537806752 139796332312277 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 10657792 140730741134507 140730741134660 140730741134660 140730741137359 0
[pid=5731/tid=5744] ppid=5728 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5731/task/5744/stat : 5744 (java) S 5728 5731 2464 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 21 0 2574278 11230408704 95356 33554432000 4194304 4196468 140730741131504 139795536754160 139796332312277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10657792 140730741134507 140730741134660 140730741134660 140730741137359 0
[pid=5731/tid=5745] ppid=5728 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5731/task/5745/stat : 5745 (java) S 5728 5731 2464 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 2574282 11230408704 95356 33554432000 4194304 4196468 140730741131504 139795535702736 139796332320667 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 10657792 140730741134507 140730741134660 140730741134660 140730741137359 0
[pid=5731/tid=5746] ppid=5728 vsize=10967196 CPUtime=1.43 cores=0,2,4,6,8,10,12,14
/proc/5731/task/5746/stat : 5746 (java) S 5728 5731 2464 0 -1 1077944384 6972 0 0 0 143 0 0 0 20 0 21 0 2574282 11230408704 95356 33554432000 4194304 4196468 140730741131504 139795534649328 139796332313218 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 10657792 140730741134507 140730741134660 140730741134660 140730741137359 0
[pid=5731/tid=5747] ppid=5728 vsize=10967196 CPUtime=1.42 cores=0,2,4,6,8,10,12,14
/proc/5731/task/5747/stat : 5747 (java) S 5728 5731 2464 0 -1 1077944384 4792 0 0 0 142 0 0 0 20 0 21 0 2574282 11230408704 95356 33554432000 4194304 4196468 140730741131504 139795533596784 139796332313218 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10657792 140730741134507 140730741134660 140730741134660 140730741137359 0
[pid=5731/tid=5748] ppid=5728 vsize=10967196 CPUtime=1.37 cores=0,2,4,6,8,10,12,14
/proc/5731/task/5748/stat : 5748 (java) S 5728 5731 2464 0 -1 1077944384 3987 0 0 0 136 1 0 0 20 0 21 0 2574282 11230408704 95356 33554432000 4194304 4196468 140730741131504 139795532544240 139796332313218 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10657792 140730741134507 140730741134660 140730741134660 140730741137359 0
[pid=5731/tid=5749] ppid=5728 vsize=10967196 CPUtime=0.47 cores=0,2,4,6,8,10,12,14
/proc/5731/task/5749/stat : 5749 (java) S 5728 5731 2464 0 -1 1077944384 2448 0 0 0 46 1 0 0 20 0 21 0 2574282 11230408704 95356 33554432000 4194304 4196468 140730741131504 139795531491696 139796332313218 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 10657792 140730741134507 140730741134660 140730741134660 140730741137359 0
[pid=5731/tid=5750] ppid=5728 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5731/task/5750/stat : 5750 (java) S 5728 5731 2464 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 2574282 11230408704 95356 33554432000 4194304 4196468 140730741131504 139795530439392 139796332312277 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 10657792 140730741134507 140730741134660 140730741134660 140730741137359 0
[pid=5731/tid=5751] ppid=5728 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5731/task/5751/stat : 5751 (java) S 5728 5731 2464 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 21 0 2574283 11230408704 95356 33554432000 4194304 4196468 140730741131504 139795529386928 139796332313218 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 10657792 140730741134507 140730741134660 140730741134660 140730741137359 0
[pid=5731/tid=5752] ppid=5728 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5731/task/5752/stat : 5752 (java) S 5728 5731 2464 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 21 0 2574431 11230408704 95356 33554432000 4194304 4196468 140730741131504 139795528332720 139796332313218 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 10657792 140730741134507 140730741134660 140730741134660 140730741137359 0
Current children cumulated CPU time (s) 9.14
Current children cumulated vsize (KiB) 10967196

[startup+4.40125 s]
/proc/loadavg: 2.24 2.08 2.05 2/283 5754
/proc/meminfo: memFree=29806344/32770624 swapFree=5804/220756
[pid=5731] ppid=5728 vsize=11100324 CPUtime=9.5 cores=0,2,4,6,8,10,12,14
/proc/5731/stat : 5731 (java) S 5728 5731 2464 0 -1 1077944320 28997 0 0 0 918 32 0 0 20 0 21 0 2574273 11366731776 99555 33554432000 4194304 4196468 140730741131504 140730741114048 139796332302071 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 10657792 140730741134507 140730741134660 140730741134660 140730741137359 0
/proc/5731/statm: 2775081 99555 3145 1 0 2763475 0
[pid=5731/tid=5732] ppid=5728 vsize=11100324 CPUtime=4.14 cores=0,2,4,6,8,10,12,14
/proc/5731/task/5732/stat : 5732 (java) S 5728 5731 2464 0 -1 1077944384 6720 0 0 0 408 6 0 0 20 0 21 0 2574273 11366731776 99555 33554432000 4194304 4196468 140730741131504 139796336542752 139796332312277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10657792 140730741134507 140730741134660 140730741134660 140730741137359 0
[pid=5731/tid=5733] ppid=5728 vsize=11100324 CPUtime=0.06 cores=0,2,4,6,8,10,12,14
/proc/5731/task/5733/stat : 5733 (java) S 5728 5731 2464 0 -1 1077944384 84 0 0 0 4 2 0 0 20 0 21 0 2574274 11366731776 99555 33554432000 4194304 4196468 140730741131504 139796288854800 139796332312277 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 10657792 140730741134507 140730741134660 140730741134660 140730741137359 0
[pid=5731/tid=5734] ppid=5728 vsize=11100324 CPUtime=0.06 cores=0,2,4,6,8,10,12,14
/proc/5731/task/5734/stat : 5734 (java) S 5728 5731 2464 0 -1 1077944384 55 0 0 0 4 2 0 0 20 0 21 0 2574275 11366731776 99555 33554432000 4194304 4196468 140730741131504 139796287802256 139796332312277 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 10657792 140730741134507 140730741134660 140730741134660 140730741137359 0
[pid=5731/tid=5735] ppid=5728 vsize=11100324 CPUtime=0.06 cores=0,2,4,6,8,10,12,14
/proc/5731/task/5735/stat : 5735 (java) S 5728 5731 2464 0 -1 1077944384 80 0 0 0 4 2 0 0 20 0 21 0 2574275 11366731776 99555 33554432000 4194304 4196468 140730741131504 139795937287184 139796332312277 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 10657792 140730741134507 140730741134660 140730741134660 140730741137359 0
[pid=5731/tid=5736] ppid=5728 vsize=11100324 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/5731/task/5736/stat : 5736 (java) S 5728 5731 2464 0 -1 1077944384 75 0 0 0 3 2 0 0 20 0 21 0 2574275 11366731776 99555 33554432000 4194304 4196468 140730741131504 139795936234640 139796332312277 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 10657792 140730741134507 140730741134660 140730741134660 140730741137359 0
[pid=5731/tid=5737] ppid=5728 vsize=11100324 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/5731/task/5737/stat : 5737 (java) S 5728 5731 2464 0 -1 1077944384 64 0 0 0 3 2 0 0 20 0 21 0 2574275 11366731776 99555 33554432000 4194304 4196468 140730741131504 139795935181072 139796332312277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10657792 140730741134507 140730741134660 140730741134660 140730741137359 0
[pid=5731/tid=5738] ppid=5728 vsize=11100324 CPUtime=0.06 cores=0,2,4,6,8,10,12,14
/proc/5731/task/5738/stat : 5738 (java) S 5728 5731 2464 0 -1 1077944384 81 0 0 0 4 2 0 0 20 0 21 0 2574275 11366731776 99555 33554432000 4194304 4196468 140730741131504 139795934128528 139796332312277 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 10657792 140730741134507 140730741134660 140730741134660 140730741137359 0
[pid=5731/tid=5739] ppid=5728 vsize=11100324 CPUtime=0.06 cores=0,2,4,6,8,10,12,14
/proc/5731/task/5739/stat : 5739 (java) S 5728 5731 2464 0 -1 1077944384 97 0 0 0 4 2 0 0 20 0 21 0 2574275 11366731776 99555 33554432000 4194304 4196468 140730741131504 139795933075984 139796332312277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10657792 140730741134507 140730741134660 140730741134660 140730741137359 0
[pid=5731/tid=5740] ppid=5728 vsize=11100324 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/5731/task/5740/stat : 5740 (java) S 5728 5731 2464 0 -1 1077944384 49 0 0 0 2 2 0 0 20 0 21 0 2574275 11366731776 99555 33554432000 4194304 4196468 140730741131504 139795932023440 139796332312277 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 10657792 140730741134507 140730741134660 140730741134660 140730741137359 0
[pid=5731/tid=5742] ppid=5728 vsize=11100324 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5731/task/5742/stat : 5742 (java) S 5728 5731 2464 0 -1 1077944384 378 0 0 0 0 0 0 0 20 0 21 0 2574277 11366731776 99555 33554432000 4194304 4196468 140730741131504 139795538860528 139796332313218 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10657792 140730741134507 140730741134660 140730741134660 140730741137359 0
[pid=5731/tid=5743] ppid=5728 vsize=11100324 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5731/task/5743/stat : 5743 (java) S 5728 5731 2464 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 21 0 2574278 11366731776 99555 33554432000 4194304 4196468 140730741131504 139795537806752 139796332312277 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 10657792 140730741134507 140730741134660 140730741134660 140730741137359 0
[pid=5731/tid=5744] ppid=5728 vsize=11100324 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5731/task/5744/stat : 5744 (java) S 5728 5731 2464 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 21 0 2574278 11366731776 99555 33554432000 4194304 4196468 140730741131504 139795536754160 139796332312277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10657792 140730741134507 140730741134660 140730741134660 140730741137359 0
[pid=5731/tid=5745] ppid=5728 vsize=11100324 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5731/task/5745/stat : 5745 (java) S 5728 5731 2464 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 2574282 11366731776 99555 33554432000 4194304 4196468 140730741131504 139795535702736 139796332320667 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 10657792 140730741134507 140730741134660 140730741134660 140730741137359 0
[pid=5731/tid=5746] ppid=5728 vsize=11100324 CPUtime=1.46 cores=0,2,4,6,8,10,12,14
/proc/5731/task/5746/stat : 5746 (java) S 5728 5731 2464 0 -1 1077944384 7470 0 0 0 146 0 0 0 20 0 21 0 2574282 11366731776 99555 33554432000 4194304 4196468 140730741131504 139795534649328 139796332313218 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10657792 140730741134507 140730741134660 140730741134660 140730741137359 0
[pid=5731/tid=5747] ppid=5728 vsize=11100324 CPUtime=1.45 cores=0,2,4,6,8,10,12,14
/proc/5731/task/5747/stat : 5747 (java) S 5728 5731 2464 0 -1 1077944384 5481 0 0 0 145 0 0 0 20 0 21 0 2574282 11366731776 99555 33554432000 4194304 4196468 140730741131504 139795533596784 139796332313218 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10657792 140730741134507 140730741134660 140730741134660 140730741137359 0
[pid=5731/tid=5748] ppid=5728 vsize=11100324 CPUtime=1.38 cores=0,2,4,6,8,10,12,14
/proc/5731/task/5748/stat : 5748 (java) S 5728 5731 2464 0 -1 1077944384 4145 0 0 0 137 1 0 0 20 0 21 0 2574282 11366731776 99555 33554432000 4194304 4196468 140730741131504 139795532544240 139796332313218 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10657792 140730741134507 140730741134660 140730741134660 140730741137359 0
[pid=5731/tid=5749] ppid=5728 vsize=11100324 CPUtime=0.48 cores=0,2,4,6,8,10,12,14
/proc/5731/task/5749/stat : 5749 (java) S 5728 5731 2464 0 -1 1077944384 2658 0 0 0 47 1 0 0 20 0 21 0 2574282 11366731776 99555 33554432000 4194304 4196468 140730741131504 139795531491696 139796332313218 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10657792 140730741134507 140730741134660 140730741134660 140730741137359 0
[pid=5731/tid=5750] ppid=5728 vsize=11100324 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5731/task/5750/stat : 5750 (java) S 5728 5731 2464 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 2574282 11366731776 99555 33554432000 4194304 4196468 140730741131504 139795530439392 139796332312277 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 10657792 140730741134507 140730741134660 140730741134660 140730741137359 0
[pid=5731/tid=5751] ppid=5728 vsize=11100324 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5731/task/5751/stat : 5751 (java) S 5728 5731 2464 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 21 0 2574283 11366731776 99555 33554432000 4194304 4196468 140730741131504 139795529386928 139796332313218 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 10657792 140730741134507 140730741134660 140730741134660 140730741137359 0
[pid=5731/tid=5753] ppid=5728 vsize=11100324 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5731/task/5753/stat : 5753 (java) S 5728 5731 2464 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 21 0 2574700 11366731776 99555 33554432000 4194304 4196468 140730741131504 139795527280400 139796332313218 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 10657792 140730741134507 140730741134660 140730741134660 140730741137359 0
Current children cumulated CPU time (s) 9.5
Current children cumulated vsize (KiB) 11100324

[startup+4.60054 s]
/proc/loadavg: 2.24 2.08 2.05 2/283 5754
/proc/meminfo: memFree=29806344/32770624 swapFree=5804/220756
[pid=5731] ppid=5728 vsize=0 CPUtime=9.51 cores=0,2,4,6,8,10,12,14
/proc/5731/stat : 5731 (java) Z 5728 5731 2464 0 -1 4227084 29336 0 0 0 919 32 0 0 20 0 2 0 2574273 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 0 0 0 0 0 0 0 0
/proc/5731/statm: 0 0 0 0 0 0 0
[pid=5731/tid=5750] ppid=5728 vsize=0 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5731/task/5750/stat : 5750 (java) D 5728 5731 2464 0 -1 4203588 3 0 0 0 0 0 0 0 20 0 2 0 2574282 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 4 0 0 0 0 0 0 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 9.51
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 4.6411
CPU time (s): 9.52364
CPU user time (s): 9.19448
CPU system time (s): 0.329165
CPU usage (%): 205.202
Max. virtual memory (cumulated for all children) (KiB): 11100324

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.19448
system time used= 0.329165
maximum resident set size= 401052
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29336
page faults= 0
swaps= 0
block input operations= 0
block output operations= 104
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2569
involuntary context switches= 630

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.047093 second user time and 0.059587 second system time

The end

Launcher Data 

Begin job on node117 at 2017-07-21 23:37:36
IDJOB=4243496
IDBENCH=123014
IDSOLVER=2623
FILE ID=node117/4243496-1500673056
RUNJOBID= node117-1500673052-5491
PBS_JOBID= 20623301
Free space on /tmp= 62000 MiB

SOLVER NAME= sat4j-CSP 2017-07-05
BENCH NAME= XCSP17/Renault/Renault-m1-s1/Renault-medium-pos.xml
COMMAND LINE= java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4243496-1500673056/watcher-4243496-1500673056 -o /tmp/evaluation-result-4243496-1500673056/solver-4243496-1500673056 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node117-1500673052-5491 --watchdog 2560  java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4243496-1500673056.xml

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

MD5SUM BENCH= 19655dcffa751868797b607ef2267cd6
RANDOM SEED=628015550

node117.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.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 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.92
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		: 2668.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.92
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		: 1600.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.92
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		: 2668.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.92
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		: 2668.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:        30994564 kB
MemAvailable:   31001548 kB
Buffers:           36876 kB
Cached:           282060 kB
SwapCached:            0 kB
Active:          1172660 kB
Inactive:         229452 kB
Active(anon):    1086016 kB
Inactive(anon):     8696 kB
Active(file):      86644 kB
Inactive(file):   220756 kB
Unevictable:        5804 kB
Mlocked:            5804 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              1928 kB
Writeback:             0 kB
AnonPages:       1085240 kB
Mapped:            41572 kB
Shmem:              8840 kB
Slab:              62760 kB
SReclaimable:      30840 kB
SUnreclaim:        31920 kB
KernelStack:        4480 kB
PageTables:         7432 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2405036 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    958464 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      126336 kB
DirectMap2M:    33419264 kB

Free space on /tmp at the end= 61996 MiB
End job on node117 at 2017-07-21 23:37:41