Trace number 4243930

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.23 2353.7

General information on the benchmark

NameMagicSquare/MagicSquare-m1-gp/
MagicSquare-9-f10-12.xml
MD5SUM0b3ff7ea00c909b96c45c6fe62c1c908
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.029694
Satisfiable
(Un)Satisfiability was proved
Number of variables81
Number of constraints22
Number of domains1
Minimum domain size81
Maximum domain size81
Distribution of domain sizes[{"size":81,"count":81}]
Minimum variable degree3
Maximum variable degree5
Distribution of variable degrees[{"degree":3,"count":56},{"degree":4,"count":22},{"degree":5,"count":3}]
Minimum constraint arity9
Maximum constraint arity81
Distribution of constraint arities[{"arity":9,"count":20},{"arity":10,"count":1},{"arity":81,"count":1}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"allDifferent","count":1},{"type":"sum","count":20},{"type":"instantiation","count":1}]
Optimization problemNO
Type of objective

Solver Data 

11.69/2.99	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
11.69/2.99	c This is free software under the dual EPL/GNU LGPL licenses.
11.69/2.99	c See www.sat4j.org for details.
11.69/2.99	c That software uses the Rhino library from the Mozilla project.
11.69/2.99	c version CUSTOM.v20170705
11.69/2.99	c java.runtime.name	Java(TM) SE Runtime Environment
11.69/2.99	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
11.69/2.99	c java.vm.version	25.131-b11
11.69/2.99	c java.vm.vendor	Oracle Corporation
11.69/2.99	c sun.arch.data.model	64
11.69/2.99	c java.version		1.8.0_131
11.69/2.99	c os.name		Linux
11.69/2.99	c os.version		3.10.0-514.16.1.el7.x86_64
11.69/2.99	c os.arch		amd64
11.69/2.99	c Free memory 		499604488
11.69/2.99	c Max memory 		7247757312
11.69/2.99	c Total memory 		504889344
11.69/2.99	c Number of processors 	8
11.69/2.99	c c --- Begin Solver configuration ---
11.69/2.99	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b71fc7e
11.69/2.99	c Learn all clauses as in MiniSAT
11.69/2.99	c LOGGER=java.util.logging.Logger@25f38edc claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
11.69/2.99	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
11.69/3.00	c No reason simplification
11.69/3.00	c Glucose 2.1 dynamic restart strategy
11.69/3.00	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
11.69/3.00	c timeout=2147483s
11.69/3.00	c DB Simplification allowed=false
11.69/3.00	c Listener: org.sat4j.minisat.core.VoidTracing@1a86f2f1
11.69/3.00	c --- End Solver configuration ---
11.69/3.00	c constraints type 
11.69/3.00	c org.sat4j.minisat.constraints.card.MinWatchCard => 162
11.69/3.00	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 276860
11.69/3.00	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 4678560
11.69/3.00	c org.sat4j.minisat.constraints.cnf.UnitClause => 50
11.69/3.00	c 4955632 constraints processed.
2400.10/2353.60	c starts		: 35997
2400.10/2353.60	c conflicts		: 8173424
2400.10/2353.60	c decisions		: 65829062
2400.10/2353.60	c propagations		: 4243444323
2400.10/2353.60	c inspects		: 31281364920
2400.10/2353.60	c shortcuts		: 0
2400.10/2353.60	c learnt literals	: 12760
2400.10/2353.60	c learnt binary clauses	: 17265
2400.10/2353.60	c learnt ternary clauses	: 90051
2400.10/2353.60	c learnt constraints	: 8160664
2400.10/2353.60	c ignored constraints	: 0
2400.10/2353.60	c root simplifications	: 0
2400.10/2353.60	c removed literals (reason simplification)	: 0
2400.10/2353.60	c reason swapping (by a shorter reason)	: 0
2400.10/2353.60	c Calls to reduceDB	: 123
2400.10/2353.60	c Number of update (reduction) of LBD	: 7662651
2400.10/2353.60	c Imported unit clauses	: 0
2400.10/2353.60	c number of reductions to clauses (during analyze)	: 0
2400.10/2353.60	c number of learned constraints concerned by reduction	: 0
2400.10/2353.60	c number of learning phase by resolution	: 0
2400.10/2353.60	c number of learning phase by cutting planes	: 0
2400.10/2353.60	c number of rounding to 1 operations	: 0
2400.10/2353.60	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
2400.10/2353.60	c number of reductions of the coefficients by power 2 	: 0
2400.10/2353.60	c number of right shift for reduction by power 2 	: 0
2400.10/2353.60	c number of reductions of the coefficients by GCD over coefficients 	: 0
2400.10/2353.60	c speed (assignments/second)	: 1805279.2712421431
2400.10/2353.60	c non guided choices	9911609
2400.10/2353.67	c learnt constraints type 
2400.10/2353.67	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 17265
2400.10/2353.67	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 219092
2400.10/2353.67	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-4243930-1500677844/watcher-4243930-1500677844 -o /tmp/evaluation-result-4243930-1500677844/solver-4243930-1500677844 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node115-1500670160-12231 --watchdog 2560 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4243930-1500677844.xml 

pid=13759
running on 8 cores: 1,3,5,7,9,11,13,15

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: 1.06 1.04 1.07 2/235 13762
/proc/meminfo: memFree=32023628/32770624 swapFree=5908/206340
[pid=13762] ppid=13759 vsize=361196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13762/stat : 13762 (java) S 13759 13762 9835 0 -1 1077944320 1716 0 0 0 0 0 0 0 20 0 2 0 3053418 369864704 1935 33554432000 4194304 4196468 140725791443280 140725791425824 140224513253111 0 0 0 16784584 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 30253056 140725791450283 140725791450436 140725791450436 140725791453135 0
/proc/13762/statm: 90299 1935 1081 1 0 79210 0
[pid=13762/tid=13763] ppid=13759 vsize=361196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13762/task/13763/stat : 13763 (java) S 13759 13762 9835 0 -1 1077944384 410 0 0 0 0 0 0 0 20 0 2 0 3053419 369864704 1935 33554432000 4194304 4196468 140725791443280 140224517495200 140224513264258 0 4 0 16784584 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30253056 140725791450283 140725791450436 140725791450436 140725791453135 0

[startup+0.100211 s]
/proc/loadavg: 1.06 1.04 1.07 2/235 13762
/proc/meminfo: memFree=32023628/32770624 swapFree=5908/206340
[pid=13762] ppid=13759 vsize=10900456 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/13762/stat : 13762 (java) S 13759 13762 9835 0 -1 1077944320 4924 0 0 0 8 1 0 0 20 0 20 0 3053418 11162066944 6042 33554432000 4194304 4196468 140725791443280 140725791425824 140224513253111 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 30253056 140725791450283 140725791450436 140725791450436 140725791453135 0
/proc/13762/statm: 2725114 6042 2636 1 0 2713552 0
[pid=13762/tid=13763] ppid=13759 vsize=10900456 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/13762/task/13763/stat : 13763 (java) R 13759 13762 9835 0 -1 4202560 3013 0 0 0 7 1 0 0 20 0 20 0 3053419 11162066944 6042 33554432000 4194304 4196468 140725791443280 140224517491232 140224505931125 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30253056 140725791450283 140725791450436 140725791450436 140725791453135 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10900456

[startup+0.200369 s]
/proc/loadavg: 1.06 1.04 1.07 2/235 13762
/proc/meminfo: memFree=32023628/32770624 swapFree=5908/206340
[pid=13762] ppid=13759 vsize=10900556 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/13762/stat : 13762 (java) S 13759 13762 9835 0 -1 1077944320 7160 0 0 0 23 2 0 0 20 0 20 0 3053418 11162169344 8994 33554432000 4194304 4196468 140725791443280 140725791425824 140224513253111 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 30253056 140725791450283 140725791450436 140725791450436 140725791453135 0
/proc/13762/statm: 2725139 8994 2888 1 0 2713552 0
[pid=13762/tid=13763] ppid=13759 vsize=10900556 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/13762/task/13763/stat : 13763 (java) R 13759 13762 9835 0 -1 4202560 4764 0 0 0 16 1 0 0 20 0 20 0 3053419 11162169344 8994 33554432000 4194304 4196468 140725791443280 140224517477280 140224497333628 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30253056 140725791450283 140725791450436 140725791450436 140725791453135 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 10900556

[startup+0.300363 s]
/proc/loadavg: 1.06 1.04 1.07 2/235 13762
/proc/meminfo: memFree=32023628/32770624 swapFree=5908/206340
[pid=13762] ppid=13759 vsize=10900556 CPUtime=0.42 cores=1,3,5,7,9,11,13,15
/proc/13762/stat : 13762 (java) S 13759 13762 9835 0 -1 1077944320 8551 0 0 0 39 3 0 0 20 0 20 0 3053418 11162169344 10684 33554432000 4194304 4196468 140725791443280 140725791425824 140224513253111 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 30253056 140725791450283 140725791450436 140725791450436 140725791453135 0
/proc/13762/statm: 2725158 10684 2975 1 0 2713552 0
[pid=13762/tid=13763] ppid=13759 vsize=10900632 CPUtime=0.27 cores=1,3,5,7,9,11,13,15
/proc/13762/task/13763/stat : 13763 (java) R 13759 13762 9835 0 -1 4202560 5539 0 0 0 25 2 0 0 20 0 20 0 3053419 11162247168 10684 33554432000 4194304 4196468 140725791443280 140224517485248 140224469888579 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30253056 140725791450283 140725791450436 140725791450436 140725791453135 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 10900556

[startup+0.700268 s]
/proc/loadavg: 1.06 1.04 1.07 2/235 13762
/proc/meminfo: memFree=32023628/32770624 swapFree=5908/206340
[pid=13762] ppid=13759 vsize=10900632 CPUtime=1.64 cores=1,3,5,7,9,11,13,15
/proc/13762/stat : 13762 (java) S 13759 13762 9835 0 -1 1077944320 13212 0 0 0 160 4 0 0 20 0 20 0 3053418 11162247168 27204 33554432000 4194304 4196468 140725791443280 140725791425824 140224513253111 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 30253056 140725791450283 140725791450436 140725791450436 140725791453135 0
/proc/13762/statm: 2725158 27204 3076 1 0 2713552 0
[pid=13762/tid=13763] ppid=13759 vsize=10900632 CPUtime=0.66 cores=1,3,5,7,9,11,13,15
/proc/13762/task/13763/stat : 13763 (java) R 13759 13762 9835 0 -1 4202560 5848 0 0 0 64 2 0 0 20 0 20 0 3053419 11162247168 27204 33554432000 4194304 4196468 140725791443280 140224517474792 140224124713113 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30253056 140725791450283 140725791450436 140725791450436 140725791453135 0
Current children cumulated CPU time (s) 1.64
Current children cumulated vsize (KiB) 10900632

[startup+1.50106 s]
/proc/loadavg: 1.06 1.04 1.07 9/255 13782
/proc/meminfo: memFree=31778984/32770624 swapFree=5908/206380
[pid=13762] ppid=13759 vsize=10900632 CPUtime=4.45 cores=1,3,5,7,9,11,13,15
/proc/13762/stat : 13762 (java) S 13759 13762 9835 0 -1 1077944320 14800 0 0 0 368 77 0 0 20 0 20 0 3053418 11162247168 111523 33554432000 4194304 4196468 140725791443280 140725791425824 140224513253111 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 30253056 140725791450283 140725791450436 140725791450436 140725791453135 0
/proc/13762/statm: 2725158 111523 3113 1 0 2713552 0
[pid=13762/tid=13763] ppid=13759 vsize=10900632 CPUtime=1.24 cores=1,3,5,7,9,11,13,15
/proc/13762/task/13763/stat : 13763 (java) S 13759 13762 9835 0 -1 1077944384 6003 0 0 0 120 4 0 0 20 0 20 0 3053419 11162247168 111523 33554432000 4194304 4196468 140725791443280 140224517485392 140224513263317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30253056 140725791450283 140725791450436 140725791450436 140725791453135 0
[pid=13762/tid=13765] ppid=13759 vsize=10900632 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/13762/task/13765/stat : 13765 (java) R 13759 13762 9835 0 -1 4202560 124 0 0 0 13 8 0 0 20 0 20 0 3053420 11162247168 112035 33554432000 4194304 4196468 140725791443280 140224449944664 140224498280985 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 30253056 140725791450283 140725791450436 140725791450436 140725791453135 0
[pid=13762/tid=13766] ppid=13759 vsize=10900632 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/13762/task/13766/stat : 13766 (java) R 13759 13762 9835 0 -1 4202560 114 0 0 0 12 8 0 0 20 0 20 0 3053420 11162247168 112035 33554432000 4194304 4196468 140725791443280 140224448891864 140224498280985 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30253056 140725791450283 140725791450436 140725791450436 140725791453135 0
[pid=13762/tid=13767] ppid=13759 vsize=10900632 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/13762/task/13767/stat : 13767 (java) R 13759 13762 9835 0 -1 4202560 114 0 0 0 11 9 0 0 20 0 20 0 3053420 11162247168 112035 33554432000 4194304 4196468 140725791443280 140224447839264 140224498280985 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 30253056 140725791450283 140725791450436 140725791450436 140725791453135 0
[pid=13762/tid=13768] ppid=13759 vsize=10900632 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/13762/task/13768/stat : 13768 (java) R 13759 13762 9835 0 -1 4202560 110 0 0 0 13 8 0 0 20 0 20 0 3053420 11162247168 112035 33554432000 4194304 4196468 140725791443280 140224446786776 140224498280985 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30253056 140725791450283 140725791450436 140725791450436 140725791453135 0
[pid=13762/tid=13769] ppid=13759 vsize=10900632 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/13762/task/13769/stat : 13769 (java) R 13759 13762 9835 0 -1 4202560 128 0 0 0 11 9 0 0 20 0 20 0 3053420 11162247168 112035 33554432000 4194304 4196468 140725791443280 140224445733464 140224506349947 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30253056 140725791450283 140725791450436 140725791450436 140725791453135 0
[pid=13762/tid=13770] ppid=13759 vsize=10900632 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/13762/task/13770/stat : 13770 (java) R 13759 13762 9835 0 -1 4202560 78 0 0 0 9 8 0 0 20 0 20 0 3053420 11162247168 112035 33554432000 4194304 4196468 140725791443280 140224444680664 140224498280985 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 30253056 140725791450283 140725791450436 140725791450436 140725791453135 0
[pid=13762/tid=13771] ppid=13759 vsize=10900632 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/13762/task/13771/stat : 13771 (java) R 13759 13762 9835 0 -1 4202560 139 0 0 0 11 8 0 0 20 0 20 0 3053420 11162247168 112035 33554432000 4194304 4196468 140725791443280 140224443628376 140224498280985 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30253056 140725791450283 140725791450436 140725791450436 140725791453135 0
[pid=13762/tid=13772] ppid=13759 vsize=10900632 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/13762/task/13772/stat : 13772 (java) R 13759 13762 9835 0 -1 4202560 128 0 0 0 12 8 0 0 20 0 20 0 3053420 11162247168 112035 33554432000 4194304 4196468 140725791443280 140224442575576 140224498280985 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 30253056 140725791450283 140725791450436 140725791450436 140725791453135 0
[pid=13762/tid=13773] ppid=13759 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13762/task/13773/stat : 13773 (java) S 13759 13762 9835 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 20 0 3053422 11162247168 112035 33554432000 4194304 4196468 140725791443280 140223988851872 140224513263317 0 0 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30253056 140725791450283 140725791450436 140725791450436 140725791453135 0
[pid=13762/tid=13774] ppid=13759 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13762/task/13774/stat : 13774 (java) S 13759 13762 9835 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 20 0 3053423 11162247168 112035 33554432000 4194304 4196468 140725791443280 140223987799328 140224513263317 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30253056 140725791450283 140725791450436 140725791450436 140725791453135 0
[pid=13762/tid=13775] ppid=13759 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13762/task/13775/stat : 13775 (java) S 13759 13762 9835 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 3053423 11162247168 112035 33554432000 4194304 4196468 140725791443280 140223986746992 140224513263317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30253056 140725791450283 140725791450436 140725791450436 140725791453135 0
[pid=13762/tid=13776] ppid=13759 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13762/task/13776/stat : 13776 (java) S 13759 13762 9835 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3053427 11162247168 112035 33554432000 4194304 4196468 140725791443280 140223985695312 140224513271707 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30253056 140725791450283 140725791450436 140725791450436 140725791453135 0
[pid=13762/tid=13777] ppid=13759 vsize=10900632 CPUtime=0.38 cores=1,3,5,7,9,11,13,15
/proc/13762/task/13777/stat : 13777 (java) S 13759 13762 9835 0 -1 1077944384 1658 0 0 0 38 0 0 0 20 0 20 0 3053427 11162247168 112035 33554432000 4194304 4196468 140725791443280 140223984642160 140224513264258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30253056 140725791450283 140725791450436 140725791450436 140725791453135 0
[pid=13762/tid=13778] ppid=13759 vsize=10900632 CPUtime=0.38 cores=1,3,5,7,9,11,13,15
/proc/13762/task/13778/stat : 13778 (java) S 13759 13762 9835 0 -1 1077944384 1688 0 0 0 38 0 0 0 20 0 20 0 3053427 11162247168 112035 33554432000 4194304 4196468 140725791443280 140223983589360 140224513264258 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30253056 140725791450283 140725791450436 140725791450436 140725791453135 0
[pid=13762/tid=13779] ppid=13759 vsize=10900632 CPUtime=0.56 cores=1,3,5,7,9,11,13,15
/proc/13762/task/13779/stat : 13779 (java) S 13759 13762 9835 0 -1 1077944384 2021 0 0 0 56 0 0 0 20 0 20 0 3053427 11162247168 112035 33554432000 4194304 4196468 140725791443280 140223982537072 140224513264258 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30253056 140725791450283 140725791450436 140725791450436 140725791453135 0
[pid=13762/tid=13780] ppid=13759 vsize=10900632 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/13762/task/13780/stat : 13780 (java) S 13759 13762 9835 0 -1 1077944384 1041 0 0 0 17 0 0 0 20 0 20 0 3053427 11162247168 112035 33554432000 4194304 4196468 140725791443280 140223981484272 140224513264258 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30253056 140725791450283 140725791450436 140725791450436 140725791453135 0
[pid=13762/tid=13781] ppid=13759 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13762/task/13781/stat : 13781 (java) S 13759 13762 9835 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3053427 11162247168 112035 33554432000 4194304 4196468 140725791443280 140223980432224 140224513263317 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30253056 140725791450283 140725791450436 140725791450436 140725791453135 0
[pid=13762/tid=13782] ppid=13759 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13762/task/13782/stat : 13782 (java) S 13759 13762 9835 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3053427 11162247168 112035 33554432000 4194304 4196468 140725791443280 140223979379504 140224513264258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30253056 140725791450283 140725791450436 140725791450436 140725791453135 0
Current children cumulated CPU time (s) 4.45
Current children cumulated vsize (KiB) 10900632

[startup+3.10075 s]
/proc/loadavg: 1.30 1.09 1.08 2/255 13782
/proc/meminfo: memFree=31418788/32770624 swapFree=5908/206380
[pid=13762] ppid=13759 vsize=10967196 CPUtime=12.39 cores=1,3,5,7,9,11,13,15
/proc/13762/stat : 13762 (java) S 13759 13762 9835 0 -1 1077944320 17488 0 0 0 1021 218 0 0 20 0 21 0 3053418 11230408704 191176 33554432000 4194304 4196468 140725791443280 140725791425824 140224513253111 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 30253056 140725791450283 140725791450436 140725791450436 140725791453135 0
/proc/13762/statm: 2741799 191176 3134 1 0 2730193 0
[pid=13762/tid=13763] ppid=13759 vsize=10967196 CPUtime=1.65 cores=1,3,5,7,9,11,13,15
/proc/13762/task/13763/stat : 13763 (java) R 13759 13762 9835 0 -1 4202560 6051 0 0 0 161 4 0 0 20 0 21 0 3053419 11230408704 191176 33554432000 4194304 4196468 140725791443280 140224517481552 140224122355033 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30253056 140725791450283 140725791450436 140725791450436 140725791453135 0
[pid=13762/tid=13765] ppid=13759 vsize=10967196 CPUtime=1.08 cores=1,3,5,7,9,11,13,15
/proc/13762/task/13765/stat : 13765 (java) S 13759 13762 9835 0 -1 1077944384 305 0 0 0 83 25 0 0 20 0 21 0 3053420 11230408704 191176 33554432000 4194304 4196468 140725791443280 140224449944464 140224513263317 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30253056 140725791450283 140725791450436 140725791450436 140725791453135 0
[pid=13762/tid=13766] ppid=13759 vsize=10967196 CPUtime=1.07 cores=1,3,5,7,9,11,13,15
/proc/13762/task/13766/stat : 13766 (java) S 13759 13762 9835 0 -1 1077944384 374 0 0 0 81 26 0 0 20 0 21 0 3053420 11230408704 191176 33554432000 4194304 4196468 140725791443280 140224448891664 140224513263317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30253056 140725791450283 140725791450436 140725791450436 140725791453135 0
[pid=13762/tid=13767] ppid=13759 vsize=10967196 CPUtime=1.06 cores=1,3,5,7,9,11,13,15
/proc/13762/task/13767/stat : 13767 (java) S 13759 13762 9835 0 -1 1077944384 358 0 0 0 79 27 0 0 20 0 21 0 3053420 11230408704 191176 33554432000 4194304 4196468 140725791443280 140224447839376 140224513263317 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30253056 140725791450283 140725791450436 140725791450436 140725791453135 0
[pid=13762/tid=13768] ppid=13759 vsize=10967196 CPUtime=1.08 cores=1,3,5,7,9,11,13,15
/proc/13762/task/13768/stat : 13768 (java) S 13759 13762 9835 0 -1 1077944384 481 0 0 0 83 25 0 0 20 0 21 0 3053420 11230408704 191176 33554432000 4194304 4196468 140725791443280 140224446786576 140224513263317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30253056 140725791450283 140725791450436 140725791450436 140725791453135 0
[pid=13762/tid=13769] ppid=13759 vsize=10967196 CPUtime=1.06 cores=1,3,5,7,9,11,13,15
/proc/13762/task/13769/stat : 13769 (java) S 13759 13762 9835 0 -1 1077944384 346 0 0 0 80 26 0 0 20 0 21 0 3053420 11230408704 191176 33554432000 4194304 4196468 140725791443280 140224445733264 140224513263317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30253056 140725791450283 140725791450436 140725791450436 140725791453135 0
[pid=13762/tid=13770] ppid=13759 vsize=10967196 CPUtime=1.04 cores=1,3,5,7,9,11,13,15
/proc/13762/task/13770/stat : 13770 (java) S 13759 13762 9835 0 -1 1077944384 335 0 0 0 78 26 0 0 20 0 21 0 3053420 11230408704 191176 33554432000 4194304 4196468 140725791443280 140224444680464 140224513263317 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30253056 140725791450283 140725791450436 140725791450436 140725791453135 0
[pid=13762/tid=13771] ppid=13759 vsize=10967196 CPUtime=1.06 cores=1,3,5,7,9,11,13,15
/proc/13762/task/13771/stat : 13771 (java) S 13759 13762 9835 0 -1 1077944384 428 0 0 0 80 26 0 0 20 0 21 0 3053420 11230408704 191176 33554432000 4194304 4196468 140725791443280 140224443628176 140224513263317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30253056 140725791450283 140725791450436 140725791450436 140725791453135 0
[pid=13762/tid=13772] ppid=13759 vsize=10967196 CPUtime=1.06 cores=1,3,5,7,9,11,13,15
/proc/13762/task/13772/stat : 13772 (java) S 13759 13762 9835 0 -1 1077944384 420 0 0 0 81 25 0 0 20 0 21 0 3053420 11230408704 191176 33554432000 4194304 4196468 140725791443280 140224442575376 140224513263317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30253056 140725791450283 140725791450436 140725791450436 140725791453135 0
[pid=13762/tid=13773] ppid=13759 vsize=10967196 CPUtime=0.31 cores=1,3,5,7,9,11,13,15
/proc/13762/task/13773/stat : 13773 (java) S 13759 13762 9835 0 -1 1077944384 487 0 0 0 31 0 0 0 20 0 21 0 3053422 11230408704 191188 33554432000 4194304 4196468 140725791443280 140223988853360 140224513264258 0 0 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30253056 140725791450283 140725791450436 140725791450436 140725791453135 0
[pid=13762/tid=13774] ppid=13759 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13762/task/13774/stat : 13774 (java) S 13759 13762 9835 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 21 0 3053423 11230408704 191188 33554432000 4194304 4196468 140725791443280 140223987799328 140224513263317 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30253056 140725791450283 140725791450436 140725791450436 140725791453135 0
[pid=13762/tid=13775] ppid=13759 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13762/task/13775/stat : 13775 (java) S 13759 13762 9835 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 21 0 3053423 11230408704 191188 33554432000 4194304 4196468 140725791443280 140223986746992 140224513263317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30253056 140725791450283 140725791450436 140725791450436 140725791453135 0
[pid=13762/tid=13776] ppid=13759 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13762/task/13776/stat : 13776 (java) S 13759 13762 9835 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 3053427 11230408704 191188 33554432000 4194304 4196468 140725791443280 140223985695312 140224513271707 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30253056 140725791450283 140725791450436 140725791450436 140725791453135 0
[pid=13762/tid=13777] ppid=13759 vsize=10967196 CPUtime=0.46 cores=1,3,5,7,9,11,13,15
/proc/13762/task/13777/stat : 13777 (java) R 13759 13762 9835 0 -1 4202560 1681 0 0 0 46 0 0 0 20 0 21 0 3053427 11230408704 191188 33554432000 4194304 4196468 140725791443280 140223984635184 140224513265046 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30253056 140725791450283 140725791450436 140725791450436 140725791453135 0
[pid=13762/tid=13778] ppid=13759 vsize=10967196 CPUtime=0.47 cores=1,3,5,7,9,11,13,15
/proc/13762/task/13778/stat : 13778 (java) R 13759 13762 9835 0 -1 4202560 1700 0 0 0 47 0 0 0 20 0 21 0 3053427 11230408704 191188 33554432000 4194304 4196468 140725791443280 140223983575904 140224494774317 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 30253056 140725791450283 140725791450436 140725791450436 140725791453135 0
[pid=13762/tid=13779] ppid=13759 vsize=10967196 CPUtime=0.64 cores=1,3,5,7,9,11,13,15
/proc/13762/task/13779/stat : 13779 (java) R 13759 13762 9835 0 -1 4202560 2030 0 0 0 64 0 0 0 20 0 21 0 3053427 11230408704 191188 33554432000 4194304 4196468 140725791443280 140223982521936 140224498378947 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30253056 140725791450283 140725791450436 140725791450436 140725791453135 0
[pid=13762/tid=13780] ppid=13759 vsize=10967196 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/13762/task/13780/stat : 13780 (java) R 13759 13762 9835 0 -1 4202560 1105 0 0 0 21 0 0 0 20 0 21 0 3053427 11230408704 191188 33554432000 4194304 4196468 140725791443280 140223981484400 140224513274458 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 30253056 140725791450283 140725791450436 140725791450436 140725791453135 0
[pid=13762/tid=13781] ppid=13759 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13762/task/13781/stat : 13781 (java) S 13759 13762 9835 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 3053427 11230408704 191188 33554432000 4194304 4196468 140725791443280 140223980432224 140224513263317 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30253056 140725791450283 140725791450436 140725791450436 140725791453135 0
[pid=13762/tid=13782] ppid=13759 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13762/task/13782/stat : 13782 (java) S 13759 13762 9835 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 3053427 11230408704 191188 33554432000 4194304 4196468 140725791443280 140223979379504 140224513264258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30253056 140725791450283 140725791450436 140725791450436 140725791453135 0
Current children cumulated CPU time (s) 12.39
Current children cumulated vsize (KiB) 10967196

[startup+6.30089 s]
/proc/loadavg: 1.30 1.09 1.08 2/256 13783
/proc/meminfo: memFree=31267896/32770624 swapFree=5908/206392
[pid=13762] ppid=13759 vsize=10967196 CPUtime=17.16 cores=1,3,5,7,9,11,13,15
/proc/13762/stat : 13762 (java) S 13759 13762 9835 0 -1 1077944320 23580 0 0 0 1497 219 0 0 20 0 21 0 3053418 11230408704 191579 33554432000 4194304 4196468 140725791443280 140725791425824 140224513253111 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 30253056 140725791450283 140725791450436 140725791450436 140725791453135 0
/proc/13762/statm: 2741799 191579 3156 1 0 2730193 0
[pid=13762/tid=13763] ppid=13759 vsize=10967196 CPUtime=4.85 cores=1,3,5,7,9,11,13,15
/proc/13762/task/13763/stat : 13763 (java) R 13759 13762 9835 0 -1 4202560 6686 0 0 0 481 4 0 0 20 0 21 0 3053419 11230408704 191579 33554432000 4194304 4196468 140725791443280 140224517489120 140224125735665 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30253056 140725791450283 140725791450436 140725791450436 140725791453135 0
[pid=13762/tid=13765] ppid=13759 vsize=10967196 CPUtime=1.08 cores=1,3,5,7,9,11,13,15
/proc/13762/task/13765/stat : 13765 (java) S 13759 13762 9835 0 -1 1077944384 305 0 0 0 83 25 0 0 20 0 21 0 3053420 11230408704 191579 33554432000 4194304 4196468 140725791443280 140224449944464 140224513263317 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30253056 140725791450283 140725791450436 140725791450436 140725791453135 0
[pid=13762/tid=13766] ppid=13759 vsize=10967196 CPUtime=1.07 cores=1,3,5,7,9,11,13,15
/proc/13762/task/13766/stat : 13766 (java) S 13759 13762 9835 0 -1 1077944384 374 0 0 0 81 26 0 0 20 0 21 0 3053420 11230408704 191579 33554432000 4194304 4196468 140725791443280 140224448891664 140224513263317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30253056 140725791450283 140725791450436 140725791450436 140725791453135 0
[pid=13762/tid=13767] ppid=13759 vsize=10967196 CPUtime=1.06 cores=1,3,5,7,9,11,13,15
/proc/13762/task/13767/stat : 13767 (java) S 13759 13762 9835 0 -1 1077944384 358 0 0 0 79 27 0 0 20 0 21 0 3053420 11230408704 191579 33554432000 4194304 4196468 140725791443280 140224447839376 140224513263317 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30253056 140725791450283 140725791450436 140725791450436 140725791453135 0
[pid=13762/tid=13768] ppid=13759 vsize=10967196 CPUtime=1.08 cores=1,3,5,7,9,11,13,15
/proc/13762/task/13768/stat : 13768 (java) S 13759 13762 9835 0 -1 1077944384 481 0 0 0 83 25 0 0 20 0 21 0 3053420 11230408704 191579 33554432000 4194304 4196468 140725791443280 140224446786576 140224513263317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30253056 140725791450283 140725791450436 140725791450436 140725791453135 0
[pid=13762/tid=13769] ppid=13759 vsize=10967196 CPUtime=1.06 cores=1,3,5,7,9,11,13,15
/proc/13762/task/13769/stat : 13769 (java) S 13759 13762 9835 0 -1 1077944384 346 0 0 0 80 26 0 0 20 0 21 0 3053420 11230408704 191579 33554432000 4194304 4196468 140725791443280 140224445733264 140224513263317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30253056 140725791450283 140725791450436 140725791450436 140725791453135 0
[pid=13762/tid=13770] ppid=13759 vsize=10967196 CPUtime=1.04 cores=1,3,5,7,9,11,13,15
/proc/13762/task/13770/stat : 13770 (java) S 13759 13762 9835 0 -1 1077944384 335 0 0 0 78 26 0 0 20 0 21 0 3053420 11230408704 191579 33554432000 4194304 4196468 140725791443280 140224444680464 140224513263317 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30253056 140725791450283 140725791450436 140725791450436 140725791453135 0
[pid=13762/tid=13771] ppid=13759 vsize=10967196 CPUtime=1.06 cores=1,3,5,7,9,11,13,15
/proc/13762/task/13771/stat : 13771 (java) S 13759 13762 9835 0 -1 1077944384 428 0 0 0 80 26 0 0 20 0 21 0 3053420 11230408704 191579 33554432000 4194304 4196468 140725791443280 140224443628176 140224513263317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30253056 140725791450283 140725791450436 140725791450436 140725791453135 0
[pid=13762/tid=13772] ppid=13759 vsize=10967196 CPUtime=1.06 cores=1,3,5,7,9,11,13,15
/proc/13762/task/13772/stat : 13772 (java) S 13759 13762 9835 0 -1 1077944384 420 0 0 0 81 25 0 0 20 0 21 0 3053420 11230408704 191579 33554432000 4194304 4196468 140725791443280 140224442575376 140224513263317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30253056 140725791450283 140725791450436 140725791450436 140725791453135 0
[pid=13762/tid=13773] ppid=13759 vsize=10967196 CPUtime=0.31 cores=1,3,5,7,9,11,13,15
/proc/13762/task/13773/stat : 13773 (java) S 13759 13762 9835 0 -1 1077944384 531 0 0 0 31 0 0 0 20 0 21 0 3053422 11230408704 191579 33554432000 4194304 4196468 140725791443280 140223988853360 140224513264258 0 0 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30253056 140725791450283 140725791450436 140725791450436 140725791453135 0
[pid=13762/tid=13774] ppid=13759 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13762/task/13774/stat : 13774 (java) S 13759 13762 9835 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 21 0 3053423 11230408704 191579 33554432000 4194304 4196468 140725791443280 140223987799328 140224513263317 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30253056 140725791450283 140725791450436 140725791450436 140725791453135 0
[pid=13762/tid=13775] ppid=13759 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13762/task/13775/stat : 13775 (java) S 13759 13762 9835 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 21 0 3053423 11230408704 191579 33554432000 4194304 4196468 140725791443280 140223986746992 140224513263317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30253056 140725791450283 140725791450436 140725791450436 140725791453135 0
[pid=13762/tid=13776] ppid=13759 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15

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

/proc/meminfo: memFree=28917132/32770624 swapFree=5908/208376
[pid=13762] ppid=13759 vsize=10967196 CPUtime=2368.98 cores=1,3,5,7,9,11,13,15
/proc/13762/stat : 13762 (java) S 13759 13762 9835 0 -1 1077944320 137500 0 0 0 235537 1361 0 0 20 0 21 0 3053418 11230408704 776479 33554432000 4194304 4196468 140725791443280 140725791425824 140224513253111 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 30253056 140725791450283 140725791450436 140725791450436 140725791453135 0
/proc/13762/statm: 2741799 776479 3157 1 0 2730193 0
[pid=13762/tid=13763] ppid=13759 vsize=10967196 CPUtime=2313.6 cores=1,3,5,7,9,11,13,15
/proc/13762/task/13763/stat : 13763 (java) R 13759 13762 9835 0 -1 4202560 65690 0 0 0 231345 15 0 0 20 0 21 0 3053419 11230408704 776479 33554432000 4194304 4196468 140725791443280 140224517492000 140224126113088 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30253056 140725791450283 140725791450436 140725791450436 140725791453135 0
[pid=13762/tid=13765] ppid=13759 vsize=10967196 CPUtime=6.18 cores=1,3,5,7,9,11,13,15
/proc/13762/task/13765/stat : 13765 (java) S 13759 13762 9835 0 -1 1077944384 4548 0 0 0 461 157 0 0 20 0 21 0 3053420 11230408704 776479 33554432000 4194304 4196468 140725791443280 140224449944464 140224513263317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30253056 140725791450283 140725791450436 140725791450436 140725791453135 0
[pid=13762/tid=13766] ppid=13759 vsize=10967196 CPUtime=6.17 cores=1,3,5,7,9,11,13,15
/proc/13762/task/13766/stat : 13766 (java) S 13759 13762 9835 0 -1 1077944384 4826 0 0 0 455 162 0 0 20 0 21 0 3053420 11230408704 776479 33554432000 4194304 4196468 140725791443280 140224448891664 140224513263317 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30253056 140725791450283 140725791450436 140725791450436 140725791453135 0
[pid=13762/tid=13767] ppid=13759 vsize=10967196 CPUtime=6.06 cores=1,3,5,7,9,11,13,15
/proc/13762/task/13767/stat : 13767 (java) S 13759 13762 9835 0 -1 1077944384 4444 0 0 0 449 157 0 0 20 0 21 0 3053420 11230408704 776479 33554432000 4194304 4196468 140725791443280 140224447839376 140224513263317 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30253056 140725791450283 140725791450436 140725791450436 140725791453135 0
[pid=13762/tid=13768] ppid=13759 vsize=10967196 CPUtime=6.06 cores=1,3,5,7,9,11,13,15
/proc/13762/task/13768/stat : 13768 (java) S 13759 13762 9835 0 -1 1077944384 4564 0 0 0 451 155 0 0 20 0 21 0 3053420 11230408704 776479 33554432000 4194304 4196468 140725791443280 140224446786576 140224513263317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30253056 140725791450283 140725791450436 140725791450436 140725791453135 0
[pid=13762/tid=13769] ppid=13759 vsize=10967196 CPUtime=6.15 cores=1,3,5,7,9,11,13,15
/proc/13762/task/13769/stat : 13769 (java) S 13759 13762 9835 0 -1 1077944384 5327 0 0 0 455 160 0 0 20 0 21 0 3053420 11230408704 776479 33554432000 4194304 4196468 140725791443280 140224445733264 140224513263317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30253056 140725791450283 140725791450436 140725791450436 140725791453135 0
[pid=13762/tid=13770] ppid=13759 vsize=10967196 CPUtime=6.12 cores=1,3,5,7,9,11,13,15
/proc/13762/task/13770/stat : 13770 (java) S 13759 13762 9835 0 -1 1077944384 4662 0 0 0 451 161 0 0 20 0 21 0 3053420 11230408704 776479 33554432000 4194304 4196468 140725791443280 140224444680464 140224513263317 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30253056 140725791450283 140725791450436 140725791450436 140725791453135 0
[pid=13762/tid=13771] ppid=13759 vsize=10967196 CPUtime=6.16 cores=1,3,5,7,9,11,13,15
/proc/13762/task/13771/stat : 13771 (java) S 13759 13762 9835 0 -1 1077944384 4975 0 0 0 458 158 0 0 20 0 21 0 3053420 11230408704 776479 33554432000 4194304 4196468 140725791443280 140224443628176 140224513263317 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30253056 140725791450283 140725791450436 140725791450436 140725791453135 0
[pid=13762/tid=13772] ppid=13759 vsize=10967196 CPUtime=6.15 cores=1,3,5,7,9,11,13,15
/proc/13762/task/13772/stat : 13772 (java) S 13759 13762 9835 0 -1 1077944384 4140 0 0 0 456 159 0 0 20 0 21 0 3053420 11230408704 776479 33554432000 4194304 4196468 140725791443280 140224442575376 140224513263317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30253056 140725791450283 140725791450436 140725791450436 140725791453135 0
[pid=13762/tid=13773] ppid=13759 vsize=10967196 CPUtime=1.3 cores=1,3,5,7,9,11,13,15
/proc/13762/task/13773/stat : 13773 (java) S 13759 13762 9835 0 -1 1077944384 11102 0 0 0 127 3 0 0 20 0 21 0 3053422 11230408704 776479 33554432000 4194304 4196468 140725791443280 140223988853360 140224513264258 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30253056 140725791450283 140725791450436 140725791450436 140725791453135 0
[pid=13762/tid=13774] ppid=13759 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13762/task/13774/stat : 13774 (java) S 13759 13762 9835 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 21 0 3053423 11230408704 776479 33554432000 4194304 4196468 140725791443280 140223987799392 140224513263317 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30253056 140725791450283 140725791450436 140725791450436 140725791453135 0
[pid=13762/tid=13775] ppid=13759 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13762/task/13775/stat : 13775 (java) S 13759 13762 9835 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 21 0 3053423 11230408704 776479 33554432000 4194304 4196468 140725791443280 140223986747008 140224513263317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30253056 140725791450283 140725791450436 140725791450436 140725791453135 0
[pid=13762/tid=13776] ppid=13759 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13762/task/13776/stat : 13776 (java) S 13759 13762 9835 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 3053427 11230408704 776479 33554432000 4194304 4196468 140725791443280 140223985695312 140224513271707 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30253056 140725791450283 140725791450436 140725791450436 140725791453135 0
[pid=13762/tid=13777] ppid=13759 vsize=10967196 CPUtime=1.08 cores=1,3,5,7,9,11,13,15
/proc/13762/task/13777/stat : 13777 (java) S 13759 13762 9835 0 -1 1077944384 4161 0 0 0 107 1 0 0 20 0 21 0 3053427 11230408704 776479 33554432000 4194304 4196468 140725791443280 140223984642160 140224513264258 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30253056 140725791450283 140725791450436 140725791450436 140725791453135 0
[pid=13762/tid=13778] ppid=13759 vsize=10967196 CPUtime=1.09 cores=1,3,5,7,9,11,13,15
/proc/13762/task/13778/stat : 13778 (java) S 13759 13762 9835 0 -1 1077944384 6461 0 0 0 108 1 0 0 20 0 21 0 3053427 11230408704 776479 33554432000 4194304 4196468 140725791443280 140223983589360 140224513264258 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30253056 140725791450283 140725791450436 140725791450436 140725791453135 0
[pid=13762/tid=13779] ppid=13759 vsize=10967196 CPUtime=1.04 cores=1,3,5,7,9,11,13,15
/proc/13762/task/13779/stat : 13779 (java) S 13759 13762 9835 0 -1 1077944384 5731 0 0 0 103 1 0 0 20 0 21 0 3053427 11230408704 776479 33554432000 4194304 4196468 140725791443280 140223982537072 140224513264258 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30253056 140725791450283 140725791450436 140725791450436 140725791453135 0
[pid=13762/tid=13780] ppid=13759 vsize=10967196 CPUtime=0.3 cores=1,3,5,7,9,11,13,15
/proc/13762/task/13780/stat : 13780 (java) S 13759 13762 9835 0 -1 1077944384 2986 0 0 0 29 1 0 0 20 0 21 0 3053427 11230408704 776479 33554432000 4194304 4196468 140725791443280 140223981484272 140224513264258 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30253056 140725791450283 140725791450436 140725791450436 140725791453135 0
[pid=13762/tid=13781] ppid=13759 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13762/task/13781/stat : 13781 (java) S 13759 13762 9835 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 3053427 11230408704 776479 33554432000 4194304 4196468 140725791443280 140223980432224 140224513263317 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30253056 140725791450283 140725791450436 140725791450436 140725791453135 0
[pid=13762/tid=13782] ppid=13759 vsize=10967196 CPUtime=1.37 cores=1,3,5,7,9,11,13,15
/proc/13762/task/13782/stat : 13782 (java) S 13759 13762 9835 0 -1 1077944384 2467 0 0 0 63 74 0 0 20 0 21 0 3053427 11230408704 776479 33554432000 4194304 4196468 140725791443280 140223979379504 140224513264258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30253056 140725791450283 140725791450436 140725791450436 140725791453135 0
[pid=13762/tid=13783] ppid=13759 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13762/task/13783/stat : 13783 (java) S 13759 13762 9835 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 21 0 3053722 11230408704 776479 33554432000 4194304 4196468 140725791443280 140223978325552 140224513264258 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30253056 140725791450283 140725791450436 140725791450436 140725791453135 0
Current children cumulated CPU time (s) 2368.98
Current children cumulated vsize (KiB) 10967196



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2353.4 s]
/proc/loadavg: 1.00 1.01 1.05 2/256 13880
/proc/meminfo: memFree=28917008/32770624 swapFree=5908/208448
[pid=13762] ppid=13759 vsize=10967196 CPUtime=2400.08 cores=1,3,5,7,9,11,13,15
/proc/13762/stat : 13762 (java) S 13759 13762 9835 0 -1 1077944320 138490 0 0 0 238646 1362 0 0 20 0 21 0 3053418 11230408704 776479 33554432000 4194304 4196468 140725791443280 140725791425824 140224513253111 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 30253056 140725791450283 140725791450436 140725791450436 140725791453135 0
/proc/13762/statm: 2741799 776479 3157 1 0 2730193 0
[pid=13762/tid=13763] ppid=13759 vsize=10967196 CPUtime=2344.68 cores=1,3,5,7,9,11,13,15
/proc/13762/task/13763/stat : 13763 (java) R 13759 13762 9835 0 -1 4202560 66630 0 0 0 234453 15 0 0 20 0 21 0 3053419 11230408704 776479 33554432000 4194304 4196468 140725791443280 140224517492000 140224123450653 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30253056 140725791450283 140725791450436 140725791450436 140725791453135 0
[pid=13762/tid=13765] ppid=13759 vsize=10967196 CPUtime=6.18 cores=1,3,5,7,9,11,13,15
/proc/13762/task/13765/stat : 13765 (java) S 13759 13762 9835 0 -1 1077944384 4548 0 0 0 461 157 0 0 20 0 21 0 3053420 11230408704 776479 33554432000 4194304 4196468 140725791443280 140224449944464 140224513263317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30253056 140725791450283 140725791450436 140725791450436 140725791453135 0
[pid=13762/tid=13766] ppid=13759 vsize=10967196 CPUtime=6.17 cores=1,3,5,7,9,11,13,15
/proc/13762/task/13766/stat : 13766 (java) S 13759 13762 9835 0 -1 1077944384 4826 0 0 0 455 162 0 0 20 0 21 0 3053420 11230408704 776479 33554432000 4194304 4196468 140725791443280 140224448891664 140224513263317 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30253056 140725791450283 140725791450436 140725791450436 140725791453135 0
[pid=13762/tid=13767] ppid=13759 vsize=10967196 CPUtime=6.06 cores=1,3,5,7,9,11,13,15
/proc/13762/task/13767/stat : 13767 (java) S 13759 13762 9835 0 -1 1077944384 4444 0 0 0 449 157 0 0 20 0 21 0 3053420 11230408704 776479 33554432000 4194304 4196468 140725791443280 140224447839376 140224513263317 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30253056 140725791450283 140725791450436 140725791450436 140725791453135 0
[pid=13762/tid=13768] ppid=13759 vsize=10967196 CPUtime=6.06 cores=1,3,5,7,9,11,13,15
/proc/13762/task/13768/stat : 13768 (java) S 13759 13762 9835 0 -1 1077944384 4564 0 0 0 451 155 0 0 20 0 21 0 3053420 11230408704 776479 33554432000 4194304 4196468 140725791443280 140224446786576 140224513263317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30253056 140725791450283 140725791450436 140725791450436 140725791453135 0
[pid=13762/tid=13769] ppid=13759 vsize=10967196 CPUtime=6.15 cores=1,3,5,7,9,11,13,15
/proc/13762/task/13769/stat : 13769 (java) S 13759 13762 9835 0 -1 1077944384 5327 0 0 0 455 160 0 0 20 0 21 0 3053420 11230408704 776479 33554432000 4194304 4196468 140725791443280 140224445733264 140224513263317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30253056 140725791450283 140725791450436 140725791450436 140725791453135 0
[pid=13762/tid=13770] ppid=13759 vsize=10967196 CPUtime=6.12 cores=1,3,5,7,9,11,13,15
/proc/13762/task/13770/stat : 13770 (java) S 13759 13762 9835 0 -1 1077944384 4662 0 0 0 451 161 0 0 20 0 21 0 3053420 11230408704 776479 33554432000 4194304 4196468 140725791443280 140224444680464 140224513263317 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30253056 140725791450283 140725791450436 140725791450436 140725791453135 0
[pid=13762/tid=13771] ppid=13759 vsize=10967196 CPUtime=6.16 cores=1,3,5,7,9,11,13,15
/proc/13762/task/13771/stat : 13771 (java) S 13759 13762 9835 0 -1 1077944384 4975 0 0 0 458 158 0 0 20 0 21 0 3053420 11230408704 776479 33554432000 4194304 4196468 140725791443280 140224443628176 140224513263317 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30253056 140725791450283 140725791450436 140725791450436 140725791453135 0
[pid=13762/tid=13772] ppid=13759 vsize=10967196 CPUtime=6.15 cores=1,3,5,7,9,11,13,15
/proc/13762/task/13772/stat : 13772 (java) S 13759 13762 9835 0 -1 1077944384 4140 0 0 0 456 159 0 0 20 0 21 0 3053420 11230408704 776479 33554432000 4194304 4196468 140725791443280 140224442575376 140224513263317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30253056 140725791450283 140725791450436 140725791450436 140725791453135 0
[pid=13762/tid=13773] ppid=13759 vsize=10967196 CPUtime=1.3 cores=1,3,5,7,9,11,13,15
/proc/13762/task/13773/stat : 13773 (java) S 13759 13762 9835 0 -1 1077944384 11107 0 0 0 127 3 0 0 20 0 21 0 3053422 11230408704 776479 33554432000 4194304 4196468 140725791443280 140223988853360 140224513264258 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30253056 140725791450283 140725791450436 140725791450436 140725791453135 0
[pid=13762/tid=13774] ppid=13759 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13762/task/13774/stat : 13774 (java) S 13759 13762 9835 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 21 0 3053423 11230408704 776479 33554432000 4194304 4196468 140725791443280 140223987799392 140224513263317 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30253056 140725791450283 140725791450436 140725791450436 140725791453135 0
[pid=13762/tid=13775] ppid=13759 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13762/task/13775/stat : 13775 (java) S 13759 13762 9835 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 21 0 3053423 11230408704 776479 33554432000 4194304 4196468 140725791443280 140223986747008 140224513263317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30253056 140725791450283 140725791450436 140725791450436 140725791453135 0
[pid=13762/tid=13776] ppid=13759 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13762/task/13776/stat : 13776 (java) S 13759 13762 9835 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 3053427 11230408704 776479 33554432000 4194304 4196468 140725791443280 140223985695312 140224513271707 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30253056 140725791450283 140725791450436 140725791450436 140725791453135 0
[pid=13762/tid=13777] ppid=13759 vsize=10967196 CPUtime=1.08 cores=1,3,5,7,9,11,13,15
/proc/13762/task/13777/stat : 13777 (java) S 13759 13762 9835 0 -1 1077944384 4163 0 0 0 107 1 0 0 20 0 21 0 3053427 11230408704 776479 33554432000 4194304 4196468 140725791443280 140223984642160 140224513264258 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30253056 140725791450283 140725791450436 140725791450436 140725791453135 0
[pid=13762/tid=13778] ppid=13759 vsize=10967196 CPUtime=1.09 cores=1,3,5,7,9,11,13,15
/proc/13762/task/13778/stat : 13778 (java) S 13759 13762 9835 0 -1 1077944384 6463 0 0 0 108 1 0 0 20 0 21 0 3053427 11230408704 776479 33554432000 4194304 4196468 140725791443280 140223983589360 140224513264258 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30253056 140725791450283 140725791450436 140725791450436 140725791453135 0
[pid=13762/tid=13779] ppid=13759 vsize=10967196 CPUtime=1.04 cores=1,3,5,7,9,11,13,15
/proc/13762/task/13779/stat : 13779 (java) S 13759 13762 9835 0 -1 1077944384 5740 0 0 0 103 1 0 0 20 0 21 0 3053427 11230408704 776479 33554432000 4194304 4196468 140725791443280 140223982537072 140224513264258 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30253056 140725791450283 140725791450436 140725791450436 140725791453135 0
[pid=13762/tid=13780] ppid=13759 vsize=10967196 CPUtime=0.3 cores=1,3,5,7,9,11,13,15
/proc/13762/task/13780/stat : 13780 (java) S 13759 13762 9835 0 -1 1077944384 2988 0 0 0 29 1 0 0 20 0 21 0 3053427 11230408704 776479 33554432000 4194304 4196468 140725791443280 140223981484272 140224513264258 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30253056 140725791450283 140725791450436 140725791450436 140725791453135 0
[pid=13762/tid=13781] ppid=13759 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13762/task/13781/stat : 13781 (java) S 13759 13762 9835 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 3053427 11230408704 776479 33554432000 4194304 4196468 140725791443280 140223980432224 140224513263317 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30253056 140725791450283 140725791450436 140725791450436 140725791453135 0
[pid=13762/tid=13782] ppid=13759 vsize=10967196 CPUtime=1.4 cores=1,3,5,7,9,11,13,15
/proc/13762/task/13782/stat : 13782 (java) S 13759 13762 9835 0 -1 1077944384 2497 0 0 0 65 75 0 0 20 0 21 0 3053427 11230408704 776479 33554432000 4194304 4196468 140725791443280 140223979379504 140224513264258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30253056 140725791450283 140725791450436 140725791450436 140725791453135 0
[pid=13762/tid=13783] ppid=13759 vsize=10967196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13762/task/13783/stat : 13783 (java) S 13759 13762 9835 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 21 0 3053722 11230408704 776479 33554432000 4194304 4196468 140725791443280 140223978325552 140224513264258 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30253056 140725791450283 140725791450436 140725791450436 140725791453135 0
Current children cumulated CPU time (s) 2400.08
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 13762 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2353.6 s]
/proc/loadavg: 1.00 1.01 1.05 2/256 13880
/proc/meminfo: memFree=28917008/32770624 swapFree=5908/208448
[pid=13762] ppid=13759 vsize=11166888 CPUtime=2400.1 cores=1,3,5,7,9,11,13,15
/proc/13762/stat : 13762 (java) S 13759 13762 9835 0 -1 1077944320 138847 0 0 0 238648 1362 0 0 20 0 22 0 3053418 11434893312 776543 33554432000 4194304 4196468 140725791443280 140725791425824 140224513253111 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 30253056 140725791450283 140725791450436 140725791450436 140725791453135 0
/proc/13762/statm: 2791722 776543 3159 1 0 2780116 0
[pid=13762/tid=13763] ppid=13759 vsize=11166888 CPUtime=2344.69 cores=1,3,5,7,9,11,13,15
/proc/13762/task/13763/stat : 13763 (java) S 13759 13762 9835 0 -1 1077944384 66669 0 0 0 234454 15 0 0 20 0 22 0 3053419 11434893312 776543 33554432000 4194304 4196468 140725791443280 140224517495984 140224513263317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30253056 140725791450283 140725791450436 140725791450436 140725791453135 0
[pid=13762/tid=13765] ppid=13759 vsize=11166888 CPUtime=6.18 cores=1,3,5,7,9,11,13,15
/proc/13762/task/13765/stat : 13765 (java) S 13759 13762 9835 0 -1 1077944384 4548 0 0 0 461 157 0 0 20 0 22 0 3053420 11434893312 776543 33554432000 4194304 4196468 140725791443280 140224449944464 140224513263317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30253056 140725791450283 140725791450436 140725791450436 140725791453135 0
[pid=13762/tid=13766] ppid=13759 vsize=11166888 CPUtime=6.17 cores=1,3,5,7,9,11,13,15
/proc/13762/task/13766/stat : 13766 (java) S 13759 13762 9835 0 -1 1077944384 4826 0 0 0 455 162 0 0 20 0 22 0 3053420 11434893312 776543 33554432000 4194304 4196468 140725791443280 140224448891664 140224513263317 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30253056 140725791450283 140725791450436 140725791450436 140725791453135 0
[pid=13762/tid=13767] ppid=13759 vsize=11166888 CPUtime=6.06 cores=1,3,5,7,9,11,13,15
/proc/13762/task/13767/stat : 13767 (java) S 13759 13762 9835 0 -1 1077944384 4444 0 0 0 449 157 0 0 20 0 22 0 3053420 11434893312 776543 33554432000 4194304 4196468 140725791443280 140224447839376 140224513263317 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30253056 140725791450283 140725791450436 140725791450436 140725791453135 0
[pid=13762/tid=13768] ppid=13759 vsize=11166888 CPUtime=6.06 cores=1,3,5,7,9,11,13,15
/proc/13762/task/13768/stat : 13768 (java) S 13759 13762 9835 0 -1 1077944384 4564 0 0 0 451 155 0 0 20 0 22 0 3053420 11434893312 776543 33554432000 4194304 4196468 140725791443280 140224446786576 140224513263317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30253056 140725791450283 140725791450436 140725791450436 140725791453135 0
[pid=13762/tid=13769] ppid=13759 vsize=11166888 CPUtime=6.15 cores=1,3,5,7,9,11,13,15
/proc/13762/task/13769/stat : 13769 (java) S 13759 13762 9835 0 -1 1077944384 5327 0 0 0 455 160 0 0 20 0 22 0 3053420 11434893312 776543 33554432000 4194304 4196468 140725791443280 140224445733264 140224513263317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30253056 140725791450283 140725791450436 140725791450436 140725791453135 0
[pid=13762/tid=13770] ppid=13759 vsize=11166888 CPUtime=6.12 cores=1,3,5,7,9,11,13,15
/proc/13762/task/13770/stat : 13770 (java) S 13759 13762 9835 0 -1 1077944384 4662 0 0 0 451 161 0 0 20 0 22 0 3053420 11434893312 776543 33554432000 4194304 4196468 140725791443280 140224444680464 140224513263317 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30253056 140725791450283 140725791450436 140725791450436 140725791453135 0
[pid=13762/tid=13771] ppid=13759 vsize=11166888 CPUtime=6.16 cores=1,3,5,7,9,11,13,15
/proc/13762/task/13771/stat : 13771 (java) S 13759 13762 9835 0 -1 1077944384 4975 0 0 0 458 158 0 0 20 0 22 0 3053420 11434893312 776543 33554432000 4194304 4196468 140725791443280 140224443628176 140224513263317 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30253056 140725791450283 140725791450436 140725791450436 140725791453135 0
[pid=13762/tid=13772] ppid=13759 vsize=11166888 CPUtime=6.15 cores=1,3,5,7,9,11,13,15
/proc/13762/task/13772/stat : 13772 (java) S 13759 13762 9835 0 -1 1077944384 4140 0 0 0 456 159 0 0 20 0 22 0 3053420 11434893312 776543 33554432000 4194304 4196468 140725791443280 140224442575376 140224513263317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30253056 140725791450283 140725791450436 140725791450436 140725791453135 0
[pid=13762/tid=13773] ppid=13759 vsize=11166888 CPUtime=1.3 cores=1,3,5,7,9,11,13,15
/proc/13762/task/13773/stat : 13773 (java) S 13759 13762 9835 0 -1 1077944384 11107 0 0 0 127 3 0 0 20 0 22 0 3053422 11434893312 776543 33554432000 4194304 4196468 140725791443280 140223988853360 140224513264258 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30253056 140725791450283 140725791450436 140725791450436 140725791453135 0
[pid=13762/tid=13774] ppid=13759 vsize=11166888 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13762/task/13774/stat : 13774 (java) S 13759 13762 9835 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 22 0 3053423 11434893312 776543 33554432000 4194304 4196468 140725791443280 140223987799392 140224513263317 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30253056 140725791450283 140725791450436 140725791450436 140725791453135 0
[pid=13762/tid=13775] ppid=13759 vsize=11166888 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13762/task/13775/stat : 13775 (java) S 13759 13762 9835 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 22 0 3053423 11434893312 776543 33554432000 4194304 4196468 140725791443280 140223986747008 140224513263317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30253056 140725791450283 140725791450436 140725791450436 140725791453135 0
[pid=13762/tid=13776] ppid=13759 vsize=11166888 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13762/task/13776/stat : 13776 (java) S 13759 13762 9835 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 22 0 3053427 11434893312 776543 33554432000 4194304 4196468 140725791443280 140223985695312 140224513271707 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30253056 140725791450283 140725791450436 140725791450436 140725791453135 0
[pid=13762/tid=13777] ppid=13759 vsize=11166888 CPUtime=1.08 cores=1,3,5,7,9,11,13,15
/proc/13762/task/13777/stat : 13777 (java) S 13759 13762 9835 0 -1 1077944384 4163 0 0 0 107 1 0 0 20 0 22 0 3053427 11434893312 776543 33554432000 4194304 4196468 140725791443280 140223984642160 140224513264258 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30253056 140725791450283 140725791450436 140725791450436 140725791453135 0
[pid=13762/tid=13778] ppid=13759 vsize=11166888 CPUtime=1.09 cores=1,3,5,7,9,11,13,15
/proc/13762/task/13778/stat : 13778 (java) S 13759 13762 9835 0 -1 1077944384 6463 0 0 0 108 1 0 0 20 0 22 0 3053427 11434893312 776543 33554432000 4194304 4196468 140725791443280 140223983589360 140224513264258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30253056 140725791450283 140725791450436 140725791450436 140725791453135 0
[pid=13762/tid=13779] ppid=13759 vsize=11166888 CPUtime=1.04 cores=1,3,5,7,9,11,13,15
/proc/13762/task/13779/stat : 13779 (java) S 13759 13762 9835 0 -1 1077944384 5740 0 0 0 103 1 0 0 20 0 22 0 3053427 11434893312 776543 33554432000 4194304 4196468 140725791443280 140223982537072 140224513264258 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30253056 140725791450283 140725791450436 140725791450436 140725791453135 0
[pid=13762/tid=13780] ppid=13759 vsize=11166888 CPUtime=0.3 cores=1,3,5,7,9,11,13,15
/proc/13762/task/13780/stat : 13780 (java) S 13759 13762 9835 0 -1 1077944384 3055 0 0 0 29 1 0 0 20 0 22 0 3053427 11434893312 776543 33554432000 4194304 4196468 140725791443280 140223981484272 140224513264258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30253056 140725791450283 140725791450436 140725791450436 140725791453135 0
[pid=13762/tid=13781] ppid=13759 vsize=11166888 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13762/task/13781/stat : 13781 (java) S 13759 13762 9835 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 22 0 3053427 11434893312 776543 33554432000 4194304 4196468 140725791443280 140223980432224 140224513263317 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30253056 140725791450283 140725791450436 140725791450436 140725791453135 0
[pid=13762/tid=13782] ppid=13759 vsize=11166888 CPUtime=1.4 cores=1,3,5,7,9,11,13,15
/proc/13762/task/13782/stat : 13782 (java) S 13759 13762 9835 0 -1 1077944384 2497 0 0 0 65 75 0 0 20 0 22 0 3053427 11434893312 776543 33554432000 4194304 4196468 140725791443280 140223979379504 140224513264258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30253056 140725791450283 140725791450436 140725791450436 140725791453135 0
Current children cumulated CPU time (s) 2400.1
Current children cumulated vsize (KiB) 11166888

[startup+2353.7 s]
/proc/loadavg: 1.00 1.01 1.05 2/256 13880
/proc/meminfo: memFree=28917008/32770624 swapFree=5908/208448
[pid=13762] ppid=13759 vsize=0 CPUtime=2400.22 cores=1,3,5,7,9,11,13,15
/proc/13762/stat : 13762 (java) Z 13759 13762 9835 0 -1 4228108 139132 0 0 0 238658 1364 0 0 20 0 2 0 3053418 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 0 0 0 0 0 0 0 0
/proc/13762/statm: 0 0 0 0 0 0 0
[pid=13762/tid=13763] ppid=13759 vsize=0 CPUtime=2344.71 cores=1,3,5,7,9,11,13,15
/proc/13762/task/13763/stat : 13763 (java) R 13759 13762 9835 0 -1 4203588 66669 0 0 0 234454 17 0 0 20 0 2 0 3053419 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 13 0 0 0 0 0 0 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 2400.22
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 2353.7
CPU time (s): 2400.23
CPU user time (s): 2386.59
CPU system time (s): 13.6437
CPU usage (%): 101.977
Max. virtual memory (cumulated for all children) (KiB): 11166888

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2386.59
system time used= 13.6437
maximum resident set size= 3106596
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 139132
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2448
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 55289
involuntary context switches= 121776

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.829 second user time and 19.3708 second system time

The end

Launcher Data 

Begin job on node115 at 2017-07-22 00:57:24
IDJOB=4243930
IDBENCH=133199
IDSOLVER=2623
FILE ID=node115/4243930-1500677844
RUNJOBID= node115-1500670160-12231
PBS_JOBID= 20623303
Free space on /tmp= 61984 MiB

SOLVER NAME= sat4j-CSP 2017-07-05
BENCH NAME= XCSP17/MagicSquare/MagicSquare-m1-gp/MagicSquare-9-f10-12.xml
COMMAND LINE= java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4243930-1500677844/watcher-4243930-1500677844 -o /tmp/evaluation-result-4243930-1500677844/solver-4243930-1500677844 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node115-1500670160-12231 --watchdog 2560  java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4243930-1500677844.xml

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

MD5SUM BENCH= 0b3ff7ea00c909b96c45c6fe62c1c908
RANDOM SEED=35366226

node115.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.41
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.41
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		: 1600.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.41
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		: 2133.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.41
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		: 2000.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.41
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		: 1733.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.41
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		: 1600.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		: 2267.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.41
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.41
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:        32023716 kB
MemAvailable:   32037644 kB
Buffers:           41476 kB
Cached:           281880 kB
SwapCached:            0 kB
Active:           159796 kB
Inactive:         215072 kB
Active(anon):      54116 kB
Inactive(anon):     8732 kB
Active(file):     105680 kB
Inactive(file):   206340 kB
Unevictable:        5908 kB
Mlocked:            5908 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              1532 kB
Writeback:            12 kB
AnonPages:         57304 kB
Mapped:            29868 kB
Shmem:              8848 kB
Slab:              67712 kB
SReclaimable:      35484 kB
SUnreclaim:        32228 kB
KernelStack:        4080 kB
PageTables:         4692 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     307816 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      122240 kB
DirectMap2M:    33423360 kB

Free space on /tmp at the end= 61984 MiB
End job on node115 at 2017-07-22 01:36:38