Trace number 4243636

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) 2416.24 685.858

General information on the benchmark

NameDeBruijnSequence/DeBruijnSequence-m1-s1/
DeBruijnSequence-03-06.xml
MD5SUMa0d270dd535955910725fddfcfa0cde8
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 benchmark3.1519499
Satisfiable
(Un)Satisfiability was proved
Number of variables5106
Number of constraints4377
Number of domains3
Minimum domain size3
Maximum domain size730
Distribution of domain sizes[{"size":3,"count":4374},{"size":729,"count":729},{"size":730,"count":3}]
Minimum variable degree1
Maximum variable degree3
Distribution of variable degrees[{"degree":1,"count":3},{"degree":2,"count":729},{"degree":3,"count":4374}]
Minimum constraint arity2
Maximum constraint arity732
Distribution of constraint arities[{"arity":2,"count":3645},{"arity":7,"count":729},{"arity":729,"count":2},{"arity":732,"count":1}]
Number of extensional constraints0
Number of intensional constraints3645
Distribution of constraint types[{"type":"intension","count":3645},{"type":"allDifferent","count":1},{"type":"sum","count":729},{"type":"cardinality","count":1},{"type":"minimum","count":1}]
Optimization problemNO
Type of objective

Solver Data


Verifier Data 

One s line expected

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

pid=6225
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.84 1.99 2.03 4/245 6228
/proc/meminfo: memFree=32026828/32770624 swapFree=5764/221628
[pid=6228] ppid=6225 vsize=8354884 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6228/stat : 6228 (java) S 6225 6228 2452 0 -1 1077944320 2245 0 0 0 0 0 0 0 20 0 7 0 2737567 8555401216 1950 33554432000 4194304 4196468 140732713937344 140732713919888 140435200089847 0 0 0 16784584 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 35053568 140732713944235 140732713944388 140732713944388 140732713947087 0
/proc/6228/statm: 2088978 1950 1197 1 0 2077889 0
[pid=6228/tid=6238] ppid=6225 vsize=8657644 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6228/task/6238/stat : 6238 (java) R 6225 6228 2452 0 -1 4202560 949 0 0 0 0 0 0 0 20 0 10 0 2737567 8865427456 2016 33554432000 4194304 4196468 140732713937344 140435204331504 140435185093936 0 4 0 16784584 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 35053568 140732713944235 140732713944388 140732713944388 140732713947087 0
[pid=6228/tid=6239] ppid=6225 vsize=8751184 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6228/task/6239/stat : 6239 (java) D 6225 6228 2452 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 2737568 8961212416 2016 33554432000 4194304 4196468 140732713937344 140434807118008 140435192317667 0 4 0 16784584 18446744071582151416 0 0 -1 11 0 0 0 0 0 6293624 6294260 35053568 140732713944235 140732713944388 140732713944388 140732713947087 0
[pid=6228/tid=6240] ppid=6225 vsize=8816720 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6228/task/6240/stat : 6240 (java) D 6225 6228 2452 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 10 0 2737568 9028321280 2016 33554432000 4194304 4196468 140732713937344 140434806065904 140435192822809 0 4 0 16784584 18446744071582151416 0 0 -1 1 0 0 0 0 0 6293624 6294260 35053568 140732713944235 140732713944388 140732713944388 140732713947087 0
[pid=6228/tid=6241] ppid=6225 vsize=9196624 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6228/task/6241/stat : 6241 (java) S 6225 6228 2452 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 10 0 2737568 9417342976 2016 33554432000 4194304 4196468 140732713937344 140434805012880 140435200100053 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35053568 140732713944235 140732713944388 140732713944388 140732713947087 0
[pid=6228/tid=6242] ppid=6225 vsize=9147248 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6228/task/6242/stat : 6242 (java) S 6225 6228 2452 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 10 0 2737568 9366781952 2027 33554432000 4194304 4196468 140732713937344 140434803960080 140435200100053 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35053568 140732713944235 140732713944388 140732713944388 140732713947087 0
[pid=6228/tid=6243] ppid=6225 vsize=10204016 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6228/task/6243/stat : 6243 (java) S 6225 6228 2452 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 10 0 2737568 10448912384 2027 33554432000 4194304 4196468 140732713937344 140434802908304 140435200100053 0 4 0 16784584 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35053568 140732713944235 140732713944388 140732713944388 140732713947087 0
[pid=6228/tid=6244] ppid=6225 vsize=10204016 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6228/task/6244/stat : 6244 (java) S 6225 6228 2452 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 10 0 2737568 10448912384 2027 33554432000 4194304 4196468 140732713937344 140434801855504 140435200100053 0 4 0 16784584 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35053568 140732713944235 140732713944388 140732713944388 140732713947087 0
[pid=6228/tid=6245] ppid=6225 vsize=10204016 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6228/task/6245/stat : 6245 (java) S 6225 6228 2452 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 10 0 2737568 10448912384 2027 33554432000 4194304 4196468 140732713937344 140434800802704 140435200100053 0 4 0 16784584 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35053568 140732713944235 140732713944388 140732713944388 140732713947087 0
[pid=6228/tid=6246] ppid=6225 vsize=10204852 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6228/task/6246/stat : 6246 (java) S 6225 6228 2452 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 10 0 2737568 10449768448 2092 33554432000 4194304 4196468 140732713937344 140434799749904 140435200100053 0 4 0 16784584 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 35053568 140732713944235 140732713944388 140732713944388 140732713947087 0

[startup+0.100131 s]
/proc/loadavg: 1.84 1.99 2.03 4/245 6228
/proc/meminfo: memFree=32026828/32770624 swapFree=5764/221628
[pid=6228] ppid=6225 vsize=10434508 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/6228/stat : 6228 (java) S 6225 6228 2452 0 -1 1077944320 4093 0 0 0 6 1 0 0 20 0 13 0 2737567 10684936192 5289 33554432000 4194304 4196468 140732713937344 140732713919888 140435200089847 0 0 0 16800971 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 35053568 140732713944235 140732713944388 140732713944388 140732713947087 0
/proc/6228/statm: 2608627 5289 2181 1 0 2597065 0
[pid=6228/tid=6238] ppid=6225 vsize=10434508 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/6228/task/6238/stat : 6238 (java) R 6225 6228 2452 0 -1 4202560 2717 0 0 0 5 1 0 0 20 0 13 0 2737567 10684936192 5289 33554432000 4194304 4196468 140732713937344 140435204325240 140435192767861 0 4 0 16800971 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35053568 140732713944235 140732713944388 140732713944388 140732713947087 0
[pid=6228/tid=6239] ppid=6225 vsize=10434508 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6228/task/6239/stat : 6239 (java) S 6225 6228 2452 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 13 0 2737568 10684936192 5289 33554432000 4194304 4196468 140732713937344 140434807118480 140435200100053 0 4 0 16800971 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35053568 140732713944235 140732713944388 140732713944388 140732713947087 0
[pid=6228/tid=6240] ppid=6225 vsize=10434508 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6228/task/6240/stat : 6240 (java) S 6225 6228 2452 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 13 0 2737568 10684936192 5289 33554432000 4194304 4196468 140732713937344 140434806065680 140435200100053 0 4 0 16800971 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35053568 140732713944235 140732713944388 140732713944388 140732713947087 0
[pid=6228/tid=6241] ppid=6225 vsize=10434508 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6228/task/6241/stat : 6241 (java) S 6225 6228 2452 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 13 0 2737568 10684936192 5289 33554432000 4194304 4196468 140732713937344 140434805012880 140435200100053 0 4 0 16800971 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35053568 140732713944235 140732713944388 140732713944388 140732713947087 0
[pid=6228/tid=6242] ppid=6225 vsize=10434508 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6228/task/6242/stat : 6242 (java) S 6225 6228 2452 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 2737568 10684936192 5289 33554432000 4194304 4196468 140732713937344 140434803960080 140435200100053 0 4 0 16800971 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35053568 140732713944235 140732713944388 140732713944388 140732713947087 0
[pid=6228/tid=6243] ppid=6225 vsize=10434508 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6228/task/6243/stat : 6243 (java) S 6225 6228 2452 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 13 0 2737568 10684936192 5289 33554432000 4194304 4196468 140732713937344 140434802908304 140435200100053 0 4 0 16800971 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35053568 140732713944235 140732713944388 140732713944388 140732713947087 0
[pid=6228/tid=6244] ppid=6225 vsize=10434508 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6228/task/6244/stat : 6244 (java) S 6225 6228 2452 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 13 0 2737568 10684936192 5289 33554432000 4194304 4196468 140732713937344 140434801855504 140435200100053 0 4 0 16800971 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35053568 140732713944235 140732713944388 140732713944388 140732713947087 0
[pid=6228/tid=6245] ppid=6225 vsize=10434508 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6228/task/6245/stat : 6245 (java) S 6225 6228 2452 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 2737568 10684936192 5289 33554432000 4194304 4196468 140732713937344 140434800802704 140435200100053 0 4 0 16800971 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35053568 140732713944235 140732713944388 140732713944388 140732713947087 0
[pid=6228/tid=6246] ppid=6225 vsize=10434508 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6228/task/6246/stat : 6246 (java) S 6225 6228 2452 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 2737568 10684936192 5289 33554432000 4194304 4196468 140732713937344 140434799749904 140435200100053 0 4 0 16800971 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 35053568 140732713944235 140732713944388 140732713944388 140732713947087 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 10434508

[startup+0.200774 s]
/proc/loadavg: 1.84 1.99 2.03 4/245 6228
/proc/meminfo: memFree=32026828/32770624 swapFree=5764/221628
[pid=6228] ppid=6225 vsize=10900556 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/6228/stat : 6228 (java) S 6225 6228 2452 0 -1 1077944320 6947 0 0 0 20 2 0 0 20 0 20 0 2737567 11162169344 7756 33554432000 4194304 4196468 140732713937344 140732713919888 140435200089847 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 35053568 140732713944235 140732713944388 140732713944388 140732713947087 0
/proc/6228/statm: 2725139 7756 2846 1 0 2713552 0
[pid=6228/tid=6238] ppid=6225 vsize=10900556 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/6228/task/6238/stat : 6238 (java) R 6225 6228 2452 0 -1 4202560 4635 0 0 0 14 1 0 0 20 0 20 0 2737567 11162169344 7756 33554432000 4194304 4196468 140732713937344 140435204322000 140435184170334 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35053568 140732713944235 140732713944388 140732713944388 140732713947087 0
[pid=6228/tid=6239] ppid=6225 vsize=10900556 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6228/task/6239/stat : 6239 (java) S 6225 6228 2452 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2737568 11162169344 7756 33554432000 4194304 4196468 140732713937344 140434807118480 140435200100053 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35053568 140732713944235 140732713944388 140732713944388 140732713947087 0
[pid=6228/tid=6240] ppid=6225 vsize=10900556 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6228/task/6240/stat : 6240 (java) S 6225 6228 2452 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2737568 11162169344 7756 33554432000 4194304 4196468 140732713937344 140434806065680 140435200100053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35053568 140732713944235 140732713944388 140732713944388 140732713947087 0
[pid=6228/tid=6241] ppid=6225 vsize=10900556 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6228/task/6241/stat : 6241 (java) S 6225 6228 2452 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2737568 11162169344 7756 33554432000 4194304 4196468 140732713937344 140434805012880 140435200100053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35053568 140732713944235 140732713944388 140732713944388 140732713947087 0
[pid=6228/tid=6242] ppid=6225 vsize=10900556 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6228/task/6242/stat : 6242 (java) S 6225 6228 2452 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2737568 11162169344 7756 33554432000 4194304 4196468 140732713937344 140434803960080 140435200100053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35053568 140732713944235 140732713944388 140732713944388 140732713947087 0
[pid=6228/tid=6243] ppid=6225 vsize=10900556 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6228/task/6243/stat : 6243 (java) S 6225 6228 2452 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2737568 11162169344 7756 33554432000 4194304 4196468 140732713937344 140434802908304 140435200100053 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35053568 140732713944235 140732713944388 140732713944388 140732713947087 0
[pid=6228/tid=6244] ppid=6225 vsize=10900556 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6228/task/6244/stat : 6244 (java) S 6225 6228 2452 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2737568 11162169344 7756 33554432000 4194304 4196468 140732713937344 140434801855504 140435200100053 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35053568 140732713944235 140732713944388 140732713944388 140732713947087 0
[pid=6228/tid=6245] ppid=6225 vsize=10900556 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6228/task/6245/stat : 6245 (java) S 6225 6228 2452 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2737568 11162169344 7756 33554432000 4194304 4196468 140732713937344 140434800802704 140435200100053 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35053568 140732713944235 140732713944388 140732713944388 140732713947087 0
[pid=6228/tid=6246] ppid=6225 vsize=10900556 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6228/task/6246/stat : 6246 (java) S 6225 6228 2452 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2737568 11162169344 7756 33554432000 4194304 4196468 140732713937344 140434799749904 140435200100053 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 35053568 140732713944235 140732713944388 140732713944388 140732713947087 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 10900556

[startup+0.300684 s]
/proc/loadavg: 1.84 1.99 2.03 4/245 6228
/proc/meminfo: memFree=32026828/32770624 swapFree=5764/221628
[pid=6228] ppid=6225 vsize=10900556 CPUtime=0.47 cores=1,3,5,7,9,11,13,15
/proc/6228/stat : 6228 (java) S 6225 6228 2452 0 -1 1077944320 8590 0 0 0 44 3 0 0 20 0 20 0 2737567 11162169344 10901 33554432000 4194304 4196468 140732713937344 140732713919888 140435200089847 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 35053568 140732713944235 140732713944388 140732713944388 140732713947087 0
/proc/6228/statm: 2725139 10901 3008 1 0 2713552 0
[pid=6228/tid=6238] ppid=6225 vsize=10900556 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/6228/task/6238/stat : 6238 (java) R 6225 6228 2452 0 -1 4202560 5088 0 0 0 24 2 0 0 20 0 20 0 2737567 11162169344 10901 33554432000 4194304 4196468 140732713937344 140435204320688 140435200111773 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35053568 140732713944235 140732713944388 140732713944388 140732713947087 0
[pid=6228/tid=6239] ppid=6225 vsize=10900556 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6228/task/6239/stat : 6239 (java) S 6225 6228 2452 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2737568 11162169344 10901 33554432000 4194304 4196468 140732713937344 140434807118480 140435200100053 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35053568 140732713944235 140732713944388 140732713944388 140732713947087 0
[pid=6228/tid=6240] ppid=6225 vsize=10900556 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6228/task/6240/stat : 6240 (java) S 6225 6228 2452 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2737568 11162169344 10901 33554432000 4194304 4196468 140732713937344 140434806065680 140435200100053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35053568 140732713944235 140732713944388 140732713944388 140732713947087 0
[pid=6228/tid=6241] ppid=6225 vsize=10900556 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6228/task/6241/stat : 6241 (java) S 6225 6228 2452 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2737568 11162169344 10901 33554432000 4194304 4196468 140732713937344 140434805012880 140435200100053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35053568 140732713944235 140732713944388 140732713944388 140732713947087 0
[pid=6228/tid=6242] ppid=6225 vsize=10900556 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6228/task/6242/stat : 6242 (java) S 6225 6228 2452 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2737568 11162169344 10901 33554432000 4194304 4196468 140732713937344 140434803960080 140435200100053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35053568 140732713944235 140732713944388 140732713944388 140732713947087 0
[pid=6228/tid=6243] ppid=6225 vsize=10900556 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6228/task/6243/stat : 6243 (java) S 6225 6228 2452 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2737568 11162169344 10901 33554432000 4194304 4196468 140732713937344 140434802908304 140435200100053 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35053568 140732713944235 140732713944388 140732713944388 140732713947087 0
[pid=6228/tid=6244] ppid=6225 vsize=10900556 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6228/task/6244/stat : 6244 (java) S 6225 6228 2452 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2737568 11162169344 10901 33554432000 4194304 4196468 140732713937344 140434801855504 140435200100053 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35053568 140732713944235 140732713944388 140732713944388 140732713947087 0
[pid=6228/tid=6245] ppid=6225 vsize=10900556 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6228/task/6245/stat : 6245 (java) S 6225 6228 2452 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2737568 11162169344 10901 33554432000 4194304 4196468 140732713937344 140434800802704 140435200100053 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35053568 140732713944235 140732713944388 140732713944388 140732713947087 0
[pid=6228/tid=6246] ppid=6225 vsize=10900556 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6228/task/6246/stat : 6246 (java) S 6225 6228 2452 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2737568 11162169344 10901 33554432000 4194304 4196468 140732713937344 140434799749904 140435200100053 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 35053568 140732713944235 140732713944388 140732713944388 140732713947087 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 10900556

[startup+0.700638 s]
/proc/loadavg: 1.84 1.99 2.03 4/245 6228
/proc/meminfo: memFree=32026828/32770624 swapFree=5764/221628
[pid=6228] ppid=6225 vsize=10900632 CPUtime=2.06 cores=1,3,5,7,9,11,13,15
/proc/6228/stat : 6228 (java) S 6225 6228 2452 0 -1 1077944320 13168 0 0 0 201 5 0 0 20 0 20 0 2737567 11162247168 25680 33554432000 4194304 4196468 140732713937344 140732713919888 140435200089847 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 35053568 140732713944235 140732713944388 140732713944388 140732713947087 0
/proc/6228/statm: 2725158 25680 3091 1 0 2713552 0
[pid=6228/tid=6238] ppid=6225 vsize=10900632 CPUtime=0.66 cores=1,3,5,7,9,11,13,15
/proc/6228/task/6238/stat : 6238 (java) R 6225 6228 2452 0 -1 4202560 5909 0 0 0 63 3 0 0 20 0 20 0 2737567 11162247168 25680 33554432000 4194304 4196468 140732713937344 140435204306944 140434837706799 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35053568 140732713944235 140732713944388 140732713944388 140732713947087 0
[pid=6228/tid=6239] ppid=6225 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6228/task/6239/stat : 6239 (java) S 6225 6228 2452 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2737568 11162247168 25680 33554432000 4194304 4196468 140732713937344 140434807118480 140435200100053 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35053568 140732713944235 140732713944388 140732713944388 140732713947087 0
[pid=6228/tid=6240] ppid=6225 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6228/task/6240/stat : 6240 (java) S 6225 6228 2452 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2737568 11162247168 25680 33554432000 4194304 4196468 140732713937344 140434806065680 140435200100053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35053568 140732713944235 140732713944388 140732713944388 140732713947087 0
[pid=6228/tid=6241] ppid=6225 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6228/task/6241/stat : 6241 (java) S 6225 6228 2452 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2737568 11162247168 25680 33554432000 4194304 4196468 140732713937344 140434805012880 140435200100053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35053568 140732713944235 140732713944388 140732713944388 140732713947087 0
[pid=6228/tid=6242] ppid=6225 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6228/task/6242/stat : 6242 (java) S 6225 6228 2452 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2737568 11162247168 25680 33554432000 4194304 4196468 140732713937344 140434803960080 140435200100053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35053568 140732713944235 140732713944388 140732713944388 140732713947087 0
[pid=6228/tid=6243] ppid=6225 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6228/task/6243/stat : 6243 (java) S 6225 6228 2452 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2737568 11162247168 25680 33554432000 4194304 4196468 140732713937344 140434802908304 140435200100053 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35053568 140732713944235 140732713944388 140732713944388 140732713947087 0
[pid=6228/tid=6244] ppid=6225 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6228/task/6244/stat : 6244 (java) S 6225 6228 2452 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2737568 11162247168 25680 33554432000 4194304 4196468 140732713937344 140434801855504 140435200100053 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35053568 140732713944235 140732713944388 140732713944388 140732713947087 0
[pid=6228/tid=6245] ppid=6225 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6228/task/6245/stat : 6245 (java) S 6225 6228 2452 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2737568 11162247168 25680 33554432000 4194304 4196468 140732713937344 140434800802704 140435200100053 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35053568 140732713944235 140732713944388 140732713944388 140732713947087 0
[pid=6228/tid=6246] ppid=6225 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6228/task/6246/stat : 6246 (java) S 6225 6228 2452 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2737568 11162247168 25680 33554432000 4194304 4196468 140732713937344 140434799749904 140435200100053 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 35053568 140732713944235 140732713944388 140732713944388 140732713947087 0
Current children cumulated CPU time (s) 2.06
Current children cumulated vsize (KiB) 10900632

[startup+1.50095 s]
/proc/loadavg: 1.84 1.99 2.03 5/284 6267
/proc/meminfo: memFree=31188720/32770624 swapFree=5764/221876
[pid=6228] ppid=6225 vsize=10900632 CPUtime=4.74 cores=1,3,5,7,9,11,13,15
/proc/6228/stat : 6228 (java) S 6225 6228 2452 0 -1 1077944320 16000 0 0 0 366 108 0 0 20 0 20 0 2737567 11162247168 238411 33554432000 4194304 4196468 140732713937344 140732713919888 140435200089847 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 35053568 140732713944235 140732713944388 140732713944388 140732713947087 0
/proc/6228/statm: 2725158 238411 3120 1 0 2713552 0
[pid=6228/tid=6238] ppid=6225 vsize=10900632 CPUtime=1.2 cores=1,3,5,7,9,11,13,15
/proc/6228/task/6238/stat : 6238 (java) R 6225 6228 2452 0 -1 4202560 6750 0 0 0 108 12 0 0 20 0 20 0 2737567 11162247168 238411 33554432000 4194304 4196468 140732713937344 140435204326944 140435186157966 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35053568 140732713944235 140732713944388 140732713944388 140732713947087 0
[pid=6228/tid=6239] ppid=6225 vsize=10900632 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/6228/task/6239/stat : 6239 (java) S 6225 6228 2452 0 -1 1077944384 175 0 0 0 12 12 0 0 20 0 20 0 2737568 11162247168 238411 33554432000 4194304 4196468 140732713937344 140434807118480 140435200100053 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 35053568 140732713944235 140732713944388 140732713944388 140732713947087 0
[pid=6228/tid=6240] ppid=6225 vsize=10900632 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/6228/task/6240/stat : 6240 (java) S 6225 6228 2452 0 -1 1077944384 180 0 0 0 10 10 0 0 20 0 20 0 2737568 11162247168 238411 33554432000 4194304 4196468 140732713937344 140434806065680 140435200100053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35053568 140732713944235 140732713944388 140732713944388 140732713947087 0
[pid=6228/tid=6241] ppid=6225 vsize=10900632 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/6228/task/6241/stat : 6241 (java) S 6225 6228 2452 0 -1 1077944384 172 0 0 0 10 11 0 0 20 0 20 0 2737568 11162247168 238411 33554432000 4194304 4196468 140732713937344 140434805012880 140435200100053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35053568 140732713944235 140732713944388 140732713944388 140732713947087 0
[pid=6228/tid=6242] ppid=6225 vsize=10900632 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/6228/task/6242/stat : 6242 (java) S 6225 6228 2452 0 -1 1077944384 187 0 0 0 10 11 0 0 20 0 20 0 2737568 11162247168 238411 33554432000 4194304 4196468 140732713937344 140434803960080 140435200100053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35053568 140732713944235 140732713944388 140732713944388 140732713947087 0
[pid=6228/tid=6243] ppid=6225 vsize=10900632 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/6228/task/6243/stat : 6243 (java) S 6225 6228 2452 0 -1 1077944384 168 0 0 0 12 11 0 0 20 0 20 0 2737568 11162247168 238411 33554432000 4194304 4196468 140732713937344 140434802908304 140435200100053 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35053568 140732713944235 140732713944388 140732713944388 140732713947087 0
[pid=6228/tid=6244] ppid=6225 vsize=10900632 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/6228/task/6244/stat : 6244 (java) S 6225 6228 2452 0 -1 1077944384 207 0 0 0 11 11 0 0 20 0 20 0 2737568 11162247168 238411 33554432000 4194304 4196468 140732713937344 140434801855504 140435200100053 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35053568 140732713944235 140732713944388 140732713944388 140732713947087 0
[pid=6228/tid=6245] ppid=6225 vsize=10900632 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/6228/task/6245/stat : 6245 (java) S 6225 6228 2452 0 -1 1077944384 175 0 0 0 11 12 0 0 20 0 20 0 2737568 11162247168 238411 33554432000 4194304 4196468 140732713937344 140434800802704 140435200100053 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 35053568 140732713944235 140732713944388 140732713944388 140732713947087 0
[pid=6228/tid=6246] ppid=6225 vsize=10900632 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/6228/task/6246/stat : 6246 (java) S 6225 6228 2452 0 -1 1077944384 162 0 0 0 11 12 0 0 20 0 20 0 2737568 11162247168 238411 33554432000 4194304 4196468 140732713937344 140434799749904 140435200100053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35053568 140732713944235 140732713944388 140732713944388 140732713947087 0
[pid=6228/tid=6251] ppid=6225 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6228/task/6251/stat : 6251 (java) S 6225 6228 2452 0 -1 1077944384 485 0 0 0 0 0 0 0 20 0 20 0 2737571 11162247168 238411 33554432000 4194304 4196468 140732713937344 140433949694320 140435200100994 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35053568 140732713944235 140732713944388 140732713944388 140732713947087 0
[pid=6228/tid=6252] ppid=6225 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6228/task/6252/stat : 6252 (java) S 6225 6228 2452 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 2737571 11162247168 238923 33554432000 4194304 4196468 140732713937344 140433948640288 140435200100053 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 35053568 140732713944235 140732713944388 140732713944388 140732713947087 0
[pid=6228/tid=6253] ppid=6225 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6228/task/6253/stat : 6253 (java) S 6225 6228 2452 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 2737572 11162247168 238923 33554432000 4194304 4196468 140732713937344 140433947587440 140435200100053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35053568 140732713944235 140732713944388 140732713944388 140732713947087 0
[pid=6228/tid=6261] ppid=6225 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6228/task/6261/stat : 6261 (java) S 6225 6228 2452 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2737577 11162247168 238923 33554432000 4194304 4196468 140732713937344 140433946535760 140435200108443 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 35053568 140732713944235 140732713944388 140732713944388 140732713947087 0
[pid=6228/tid=6262] ppid=6225 vsize=10900632 CPUtime=0.43 cores=1,3,5,7,9,11,13,15
/proc/6228/task/6262/stat : 6262 (java) S 6225 6228 2452 0 -1 1077944384 1687 0 0 0 43 0 0 0 20 0 20 0 2737577 11162247168 238923 33554432000 4194304 4196468 140732713937344 140433945484144 140435200100994 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 35053568 140732713944235 140732713944388 140732713944388 140732713947087 0
[pid=6228/tid=6263] ppid=6225 vsize=10900632 CPUtime=0.39 cores=1,3,5,7,9,11,13,15
/proc/6228/task/6263/stat : 6263 (java) S 6225 6228 2452 0 -1 1077944384 1067 0 0 0 39 0 0 0 20 0 20 0 2737577 11162247168 238923 33554432000 4194304 4196468 140732713937344 140433944431344 140435200100994 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35053568 140732713944235 140732713944388 140732713944388 140732713947087 0
[pid=6228/tid=6264] ppid=6225 vsize=10900632 CPUtime=0.44 cores=1,3,5,7,9,11,13,15
/proc/6228/task/6264/stat : 6264 (java) S 6225 6228 2452 0 -1 1077944384 1328 0 0 0 44 0 0 0 20 0 20 0 2737577 11162247168 238923 33554432000 4194304 4196468 140732713937344 140433943378544 140435200100994 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35053568 140732713944235 140732713944388 140732713944388 140732713947087 0
[pid=6228/tid=6265] ppid=6225 vsize=10900632 CPUtime=0.38 cores=1,3,5,7,9,11,13,15
/proc/6228/task/6265/stat : 6265 (java) S 6225 6228 2452 0 -1 1077944384 1891 0 0 0 38 0 0 0 20 0 20 0 2737577 11162247168 238923 33554432000 4194304 4196468 140732713937344 140433942325744 140435200100994 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35053568 140732713944235 140732713944388 140732713944388 140732713947087 0
[pid=6228/tid=6266] ppid=6225 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6228/task/6266/stat : 6266 (java) S 6225 6228 2452 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2737578 11162247168 238923 33554432000 4194304 4196468 140732713937344 140433941273184 140435200100053 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35053568 140732713944235 140732713944388 140732713944388 140732713947087 0
[pid=6228/tid=6267] ppid=6225 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6228/task/6267/stat : 6267 (java) S 6225 6228 2452 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2737578 11162247168 238923 33554432000 4194304 4196468 140732713937344 140433940220464 140435200100994 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 35053568 140732713944235 140732713944388 140732713944388 140732713947087 0
Current children cumulated CPU time (s) 4.74

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

[pid=6228/tid=6263] ppid=6225 vsize=10900632 CPUtime=0.58 cores=1,3,5,7,9,11,13,15
/proc/6228/task/6263/stat : 6263 (java) S 6225 6228 2452 0 -1 1077944384 2021 0 0 0 57 1 0 0 20 0 20 0 2737577 11162247168 2077247 33554432000 4194304 4196468 140732713937344 140433944431392 140435200100053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35053568 140732713944235 140732713944388 140732713944388 140732713947087 0
[pid=6228/tid=6264] ppid=6225 vsize=10900632 CPUtime=0.57 cores=1,3,5,7,9,11,13,15
/proc/6228/task/6264/stat : 6264 (java) S 6225 6228 2452 0 -1 1077944384 2440 0 0 0 57 0 0 0 20 0 20 0 2737577 11162247168 2077247 33554432000 4194304 4196468 140732713937344 140433943378592 140435200100053 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35053568 140732713944235 140732713944388 140732713944388 140732713947087 0
[pid=6228/tid=6265] ppid=6225 vsize=10900632 CPUtime=0.41 cores=1,3,5,7,9,11,13,15
/proc/6228/task/6265/stat : 6265 (java) S 6225 6228 2452 0 -1 1077944384 2699 0 0 0 40 1 0 0 20 0 20 0 2737577 11162247168 2077247 33554432000 4194304 4196468 140732713937344 140433942325504 140435200100053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35053568 140732713944235 140732713944388 140732713944388 140732713947087 0
[pid=6228/tid=6266] ppid=6225 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6228/task/6266/stat : 6266 (java) S 6225 6228 2452 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2737578 11162247168 2077247 33554432000 4194304 4196468 140732713937344 140433941273184 140435200100053 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35053568 140732713944235 140732713944388 140732713944388 140732713947087 0
[pid=6228/tid=6267] ppid=6225 vsize=10900632 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/6228/task/6267/stat : 6267 (java) S 6225 6228 2452 0 -1 1077944384 531 0 0 0 14 12 0 0 20 0 20 0 2737578 11162247168 2077247 33554432000 4194304 4196468 140732713937344 140433940220464 140435200100994 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35053568 140732713944235 140732713944388 140732713944388 140732713947087 0
Current children cumulated CPU time (s) 2400.72
Current children cumulated vsize (KiB) 10900632

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -6228
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 6228 sig 9
??? end of watcher thread

Solver just ended.
Dumping a history of the last processes samples

[startup+684.801 s]
/proc/loadavg: 8.59 5.64 3.63 10/282 6566
/proc/meminfo: memFree=23307520/32770624 swapFree=5764/223620
[pid=6228] ppid=6225 vsize=10900632 CPUtime=2408.54 cores=1,3,5,7,9,11,13,15
/proc/6228/stat : 6228 (java) S 6225 6228 2452 0 -1 1077944320 1270003 0 0 0 238638 2216 0 0 20 0 20 0 2737567 11162247168 2077247 33554432000 4194304 4196468 140732713937344 140732713919888 140435200089847 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 35053568 140732713944235 140732713944388 140732713944388 140732713947087 0
/proc/6228/statm: 2725158 2077247 3141 1 0 2713552 0
[pid=6228/tid=6238] ppid=6225 vsize=10900632 CPUtime=415.13 cores=1,3,5,7,9,11,13,15
/proc/6228/task/6238/stat : 6238 (java) S 6225 6228 2452 0 -1 1077944384 69192 0 0 0 41462 51 0 0 20 0 20 0 2737567 11162247168 2077247 33554432000 4194304 4196468 140732713937344 140435204328832 140435200100053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35053568 140732713944235 140732713944388 140732713944388 140732713947087 0
[pid=6228/tid=6239] ppid=6225 vsize=10900632 CPUtime=246.13 cores=1,3,5,7,9,11,13,15
/proc/6228/task/6239/stat : 6239 (java) R 6225 6228 2452 0 -1 4202560 105588 0 0 0 24338 275 0 0 20 0 20 0 2737568 11162247168 2077247 33554432000 4194304 4196468 140732713937344 140434807118288 140435192718055 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 35053568 140732713944235 140732713944388 140732713944388 140732713947087 0
[pid=6228/tid=6240] ppid=6225 vsize=10900632 CPUtime=246.74 cores=1,3,5,7,9,11,13,15
/proc/6228/task/6240/stat : 6240 (java) R 6225 6228 2452 0 -1 4202560 145158 0 0 0 24412 262 0 0 20 0 20 0 2737568 11162247168 2077247 33554432000 4194304 4196468 140732713937344 140434806065800 140435192718055 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 35053568 140732713944235 140732713944388 140732713944388 140732713947087 0
[pid=6228/tid=6241] ppid=6225 vsize=10900632 CPUtime=246.84 cores=1,3,5,7,9,11,13,15
/proc/6228/task/6241/stat : 6241 (java) R 6225 6228 2452 0 -1 4202560 156807 0 0 0 24426 258 0 0 20 0 20 0 2737568 11162247168 2077247 33554432000 4194304 4196468 140732713937344 140434805013080 140435184547424 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35053568 140732713944235 140732713944388 140732713944388 140732713947087 0
[pid=6228/tid=6242] ppid=6225 vsize=10900632 CPUtime=246.47 cores=1,3,5,7,9,11,13,15
/proc/6228/task/6242/stat : 6242 (java) R 6225 6228 2452 0 -1 4202560 156747 0 0 0 24377 270 0 0 20 0 20 0 2737568 11162247168 2077247 33554432000 4194304 4196468 140732713937344 140434803960200 140435192718055 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35053568 140732713944235 140732713944388 140732713944388 140732713947087 0
[pid=6228/tid=6243] ppid=6225 vsize=10900632 CPUtime=246.38 cores=1,3,5,7,9,11,13,15
/proc/6228/task/6243/stat : 6243 (java) R 6225 6228 2452 0 -1 4202560 106304 0 0 0 24354 284 0 0 20 0 20 0 2737568 11162247168 2077247 33554432000 4194304 4196468 140732713937344 140434802908424 140435192718055 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35053568 140732713944235 140732713944388 140732713944388 140732713947087 0
[pid=6228/tid=6244] ppid=6225 vsize=10900632 CPUtime=245.76 cores=1,3,5,7,9,11,13,15
/proc/6228/task/6244/stat : 6244 (java) R 6225 6228 2452 0 -1 4202560 125677 0 0 0 24308 268 0 0 20 0 20 0 2737568 11162247168 2077247 33554432000 4194304 4196468 140732713937344 140434801855624 140435192718055 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35053568 140732713944235 140732713944388 140732713944388 140732713947087 0
[pid=6228/tid=6245] ppid=6225 vsize=10900632 CPUtime=246.68 cores=1,3,5,7,9,11,13,15
/proc/6228/task/6245/stat : 6245 (java) R 6225 6228 2452 0 -1 4202560 105103 0 0 0 24406 262 0 0 20 0 20 0 2737568 11162247168 2077247 33554432000 4194304 4196468 140732713937344 140434800802824 140435192718055 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 35053568 140732713944235 140732713944388 140732713944388 140732713947087 0
[pid=6228/tid=6246] ppid=6225 vsize=10900632 CPUtime=247.14 cores=1,3,5,7,9,11,13,15
/proc/6228/task/6246/stat : 6246 (java) R 6225 6228 2452 0 -1 4202560 196473 0 0 0 24453 261 0 0 20 0 20 0 2737568 11162247168 2077247 33554432000 4194304 4196468 140732713937344 140434799750024 140435183472882 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 35053568 140732713944235 140732713944388 140732713944388 140732713947087 0
[pid=6228/tid=6251] ppid=6225 vsize=10900632 CPUtime=18.74 cores=1,3,5,7,9,11,13,15
/proc/6228/task/6251/stat : 6251 (java) S 6225 6228 2452 0 -1 1077944384 91263 0 0 0 1869 5 0 0 20 0 20 0 2737571 11162247168 2077247 33554432000 4194304 4196468 140732713937344 140433949692864 140435200100053 0 0 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35053568 140732713944235 140732713944388 140732713944388 140732713947087 0
[pid=6228/tid=6252] ppid=6225 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6228/task/6252/stat : 6252 (java) S 6225 6228 2452 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 20 0 2737571 11162247168 2077247 33554432000 4194304 4196468 140732713937344 140433948640352 140435200100053 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 35053568 140732713944235 140732713944388 140732713944388 140732713947087 0
[pid=6228/tid=6253] ppid=6225 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6228/task/6253/stat : 6253 (java) S 6225 6228 2452 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 20 0 2737572 11162247168 2077247 33554432000 4194304 4196468 140732713937344 140433947587456 140435200100053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35053568 140732713944235 140732713944388 140732713944388 140732713947087 0
[pid=6228/tid=6261] ppid=6225 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6228/task/6261/stat : 6261 (java) S 6225 6228 2452 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2737577 11162247168 2077247 33554432000 4194304 4196468 140732713937344 140433946535408 140435200100053 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 35053568 140732713944235 140732713944388 140732713944388 140732713947087 0
[pid=6228/tid=6262] ppid=6225 vsize=10900632 CPUtime=0.58 cores=1,3,5,7,9,11,13,15
/proc/6228/task/6262/stat : 6262 (java) S 6225 6228 2452 0 -1 1077944384 2589 0 0 0 58 0 0 0 20 0 20 0 2737577 11162247168 2077247 33554432000 4194304 4196468 140732713937344 140433945484192 140435200100053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35053568 140732713944235 140732713944388 140732713944388 140732713947087 0
[pid=6228/tid=6263] ppid=6225 vsize=10900632 CPUtime=0.58 cores=1,3,5,7,9,11,13,15
/proc/6228/task/6263/stat : 6263 (java) S 6225 6228 2452 0 -1 1077944384 2021 0 0 0 57 1 0 0 20 0 20 0 2737577 11162247168 2077247 33554432000 4194304 4196468 140732713937344 140433944431392 140435200100053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35053568 140732713944235 140732713944388 140732713944388 140732713947087 0
[pid=6228/tid=6264] ppid=6225 vsize=10900632 CPUtime=0.57 cores=1,3,5,7,9,11,13,15
/proc/6228/task/6264/stat : 6264 (java) S 6225 6228 2452 0 -1 1077944384 2440 0 0 0 57 0 0 0 20 0 20 0 2737577 11162247168 2077247 33554432000 4194304 4196468 140732713937344 140433943378592 140435200100053 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35053568 140732713944235 140732713944388 140732713944388 140732713947087 0
[pid=6228/tid=6265] ppid=6225 vsize=10900632 CPUtime=0.41 cores=1,3,5,7,9,11,13,15
/proc/6228/task/6265/stat : 6265 (java) S 6225 6228 2452 0 -1 1077944384 2699 0 0 0 40 1 0 0 20 0 20 0 2737577 11162247168 2077247 33554432000 4194304 4196468 140732713937344 140433942325504 140435200100053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35053568 140732713944235 140732713944388 140732713944388 140732713947087 0
[pid=6228/tid=6266] ppid=6225 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6228/task/6266/stat : 6266 (java) S 6225 6228 2452 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2737578 11162247168 2077247 33554432000 4194304 4196468 140732713937344 140433941273184 140435200100053 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35053568 140732713944235 140732713944388 140732713944388 140732713947087 0
[pid=6228/tid=6267] ppid=6225 vsize=10900632 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/6228/task/6267/stat : 6267 (java) S 6225 6228 2452 0 -1 1077944384 531 0 0 0 14 12 0 0 20 0 20 0 2737578 11162247168 2077247 33554432000 4194304 4196468 140732713937344 140433940220464 140435200100994 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35053568 140732713944235 140732713944388 140732713944388 140732713947087 0
Current children cumulated CPU time (s) 2408.54
Current children cumulated vsize (KiB) 10900632

[startup+685.601 s]
/proc/loadavg: 8.62 5.69 3.66 3/282 6566
/proc/meminfo: memFree=23307520/32770624 swapFree=5764/223620
[pid=6228] ppid=6225 vsize=10900632 CPUtime=2414.55 cores=1,3,5,7,9,11,13,15
/proc/6228/stat : 6228 (java) S 6225 6228 2452 0 -1 1077944320 1270146 0 0 0 239237 2218 0 0 20 0 20 0 2737567 11162247168 2077247 33554432000 4194304 4196468 140732713937344 140732713919888 140435200089847 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 35053568 140732713944235 140732713944388 140732713944388 140732713947087 0
/proc/6228/statm: 2725158 2077247 3141 1 0 2713552 0
[pid=6228/tid=6238] ppid=6225 vsize=10900632 CPUtime=415.13 cores=1,3,5,7,9,11,13,15
/proc/6228/task/6238/stat : 6238 (java) S 6225 6228 2452 0 -1 1077944384 69192 0 0 0 41462 51 0 0 20 0 20 0 2737567 11162247168 2077247 33554432000 4194304 4196468 140732713937344 140435204328832 140435200100053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35053568 140732713944235 140732713944388 140732713944388 140732713947087 0
[pid=6228/tid=6239] ppid=6225 vsize=10900632 CPUtime=246.87 cores=1,3,5,7,9,11,13,15
/proc/6228/task/6239/stat : 6239 (java) R 6225 6228 2452 0 -1 4202560 105588 0 0 0 24412 275 0 0 20 0 20 0 2737568 11162247168 2077247 33554432000 4194304 4196468 140732713937344 140434807118680 140435185040840 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35053568 140732713944235 140732713944388 140732713944388 140732713947087 0
[pid=6228/tid=6240] ppid=6225 vsize=10900632 CPUtime=247.49 cores=1,3,5,7,9,11,13,15
/proc/6228/task/6240/stat : 6240 (java) R 6225 6228 2452 0 -1 4202560 145158 0 0 0 24487 262 0 0 20 0 20 0 2737568 11162247168 2077247 33554432000 4194304 4196468 140732713937344 140434806065880 140435185074858 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 35053568 140732713944235 140732713944388 140732713944388 140732713947087 0
[pid=6228/tid=6241] ppid=6225 vsize=10900632 CPUtime=247.6 cores=1,3,5,7,9,11,13,15
/proc/6228/task/6241/stat : 6241 (java) R 6225 6228 2452 0 -1 4202560 156845 0 0 0 24502 258 0 0 20 0 20 0 2737568 11162247168 2077247 33554432000 4194304 4196468 140732713937344 140434805013080 140435184543962 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35053568 140732713944235 140732713944388 140732713944388 140732713947087 0
[pid=6228/tid=6242] ppid=6225 vsize=10900632 CPUtime=247.21 cores=1,3,5,7,9,11,13,15
/proc/6228/task/6242/stat : 6242 (java) R 6225 6228 2452 0 -1 4202560 156748 0 0 0 24451 270 0 0 20 0 20 0 2737568 11162247168 2077247 33554432000 4194304 4196468 140732713937344 140434803960280 140435184787599 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35053568 140732713944235 140732713944388 140732713944388 140732713947087 0
[pid=6228/tid=6243] ppid=6225 vsize=10900632 CPUtime=247.13 cores=1,3,5,7,9,11,13,15
/proc/6228/task/6243/stat : 6243 (java) R 6225 6228 2452 0 -1 4202560 106346 0 0 0 24428 285 0 0 20 0 20 0 2737568 11162247168 2077247 33554432000 4194304 4196468 140732713937344 140434802908192 140435184787599 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 35053568 140732713944235 140732713944388 140732713944388 140732713947087 0
[pid=6228/tid=6244] ppid=6225 vsize=10900632 CPUtime=246.5 cores=1,3,5,7,9,11,13,15
/proc/6228/task/6244/stat : 6244 (java) R 6225 6228 2452 0 -1 4202560 125687 0 0 0 24382 268 0 0 20 0 20 0 2737568 11162247168 2077247 33554432000 4194304 4196468 140732713937344 140434801855704 140435184543845 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35053568 140732713944235 140732713944388 140732713944388 140732713947087 0
[pid=6228/tid=6245] ppid=6225 vsize=10900632 CPUtime=247.41 cores=1,3,5,7,9,11,13,15
/proc/6228/task/6245/stat : 6245 (java) R 6225 6228 2452 0 -1 4202560 105103 0 0 0 24479 262 0 0 20 0 20 0 2737568 11162247168 2077247 33554432000 4194304 4196468 140732713937344 140434800802904 140435184787599 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 35053568 140732713944235 140732713944388 140732713944388 140732713947087 0
[pid=6228/tid=6246] ppid=6225 vsize=10900632 CPUtime=247.88 cores=1,3,5,7,9,11,13,15
/proc/6228/task/6246/stat : 6246 (java) R 6225 6228 2452 0 -1 4202560 196473 0 0 0 24527 261 0 0 20 0 20 0 2737568 11162247168 2077247 33554432000 4194304 4196468 140732713937344 140434799750104 140435185040452 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 35053568 140732713944235 140732713944388 140732713944388 140732713947087 0
[pid=6228/tid=6251] ppid=6225 vsize=10900632 CPUtime=18.77 cores=1,3,5,7,9,11,13,15
/proc/6228/task/6251/stat : 6251 (java) S 6225 6228 2452 0 -1 1077944384 91264 0 0 0 1872 5 0 0 20 0 20 0 2737571 11162247168 2077247 33554432000 4194304 4196468 140732713937344 140433949692640 140435200100053 0 0 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35053568 140732713944235 140732713944388 140732713944388 140732713947087 0
[pid=6228/tid=6252] ppid=6225 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6228/task/6252/stat : 6252 (java) S 6225 6228 2452 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 20 0 2737571 11162247168 2077247 33554432000 4194304 4196468 140732713937344 140433948640352 140435200100053 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 35053568 140732713944235 140732713944388 140732713944388 140732713947087 0
[pid=6228/tid=6253] ppid=6225 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6228/task/6253/stat : 6253 (java) S 6225 6228 2452 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 20 0 2737572 11162247168 2077247 33554432000 4194304 4196468 140732713937344 140433947587456 140435200100053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35053568 140732713944235 140732713944388 140732713944388 140732713947087 0
[pid=6228/tid=6261] ppid=6225 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6228/task/6261/stat : 6261 (java) S 6225 6228 2452 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 20 0 2737577 11162247168 2077247 33554432000 4194304 4196468 140732713937344 140433946529056 140435200100053 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 35053568 140732713944235 140732713944388 140732713944388 140732713947087 0
[pid=6228/tid=6262] ppid=6225 vsize=10900632 CPUtime=0.58 cores=1,3,5,7,9,11,13,15
/proc/6228/task/6262/stat : 6262 (java) S 6225 6228 2452 0 -1 1077944384 2589 0 0 0 58 0 0 0 20 0 20 0 2737577 11162247168 2077247 33554432000 4194304 4196468 140732713937344 140433945484144 140435200100994 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35053568 140732713944235 140732713944388 140732713944388 140732713947087 0
[pid=6228/tid=6263] ppid=6225 vsize=10900632 CPUtime=0.58 cores=1,3,5,7,9,11,13,15
/proc/6228/task/6263/stat : 6263 (java) S 6225 6228 2452 0 -1 1077944384 2021 0 0 0 57 1 0 0 20 0 20 0 2737577 11162247168 2077247 33554432000 4194304 4196468 140732713937344 140433944431344 140435200100994 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35053568 140732713944235 140732713944388 140732713944388 140732713947087 0
[pid=6228/tid=6264] ppid=6225 vsize=10900632 CPUtime=0.57 cores=1,3,5,7,9,11,13,15
/proc/6228/task/6264/stat : 6264 (java) S 6225 6228 2452 0 -1 1077944384 2440 0 0 0 57 0 0 0 20 0 20 0 2737577 11162247168 2077247 33554432000 4194304 4196468 140732713937344 140433943378544 140435200100994 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35053568 140732713944235 140732713944388 140732713944388 140732713947087 0
[pid=6228/tid=6265] ppid=6225 vsize=10900632 CPUtime=0.41 cores=1,3,5,7,9,11,13,15
/proc/6228/task/6265/stat : 6265 (java) S 6225 6228 2452 0 -1 1077944384 2699 0 0 0 40 1 0 0 20 0 20 0 2737577 11162247168 2077247 33554432000 4194304 4196468 140732713937344 140433942325744 140435200100994 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35053568 140732713944235 140732713944388 140732713944388 140732713947087 0
[pid=6228/tid=6266] ppid=6225 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6228/task/6266/stat : 6266 (java) S 6225 6228 2452 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2737578 11162247168 2077247 33554432000 4194304 4196468 140732713937344 140433941273184 140435200100053 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35053568 140732713944235 140732713944388 140732713944388 140732713947087 0
[pid=6228/tid=6267] ppid=6225 vsize=10900632 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/6228/task/6267/stat : 6267 (java) S 6225 6228 2452 0 -1 1077944384 531 0 0 0 14 12 0 0 20 0 20 0 2737578 11162247168 2077247 33554432000 4194304 4196468 140732713937344 140433940220464 140435200100994 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35053568 140732713944235 140732713944388 140732713944388 140732713947087 0
Current children cumulated CPU time (s) 2414.55
Current children cumulated vsize (KiB) 10900632

[startup+685.801 s]
/proc/loadavg: 8.62 5.69 3.66 3/282 6566
/proc/meminfo: memFree=23307520/32770624 swapFree=5764/223620
[pid=6228] ppid=6225 vsize=10900632 CPUtime=2416.15 cores=1,3,5,7,9,11,13,15
/proc/6228/stat : 6228 (java) S 6225 6228 2452 0 -1 1077944320 1270162 0 0 0 239397 2218 0 0 20 0 20 0 2737567 11162247168 2077247 33554432000 4194304 4196468 140732713937344 140732713919888 140435200089847 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 35053568 140732713944235 140732713944388 140732713944388 140732713947087 0
/proc/6228/statm: 2725158 2077247 3141 1 0 2713552 0
[pid=6228/tid=6238] ppid=6225 vsize=10900632 CPUtime=415.13 cores=1,3,5,7,9,11,13,15
/proc/6228/task/6238/stat : 6238 (java) S 6225 6228 2452 0 -1 1077944384 69192 0 0 0 41462 51 0 0 20 0 20 0 2737567 11162247168 2077247 33554432000 4194304 4196468 140732713937344 140435204328832 140435200100053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35053568 140732713944235 140732713944388 140732713944388 140732713947087 0
[pid=6228/tid=6239] ppid=6225 vsize=10900632 CPUtime=247.07 cores=1,3,5,7,9,11,13,15
/proc/6228/task/6239/stat : 6239 (java) R 6225 6228 2452 0 -1 4202560 105588 0 0 0 24432 275 0 0 20 0 20 0 2737568 11162247168 2077247 33554432000 4194304 4196468 140732713937344 140434807118680 140435184787426 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35053568 140732713944235 140732713944388 140732713944388 140732713947087 0
[pid=6228/tid=6240] ppid=6225 vsize=10900632 CPUtime=247.69 cores=1,3,5,7,9,11,13,15
/proc/6228/task/6240/stat : 6240 (java) R 6225 6228 2452 0 -1 4202560 145158 0 0 0 24507 262 0 0 20 0 20 0 2737568 11162247168 2077247 33554432000 4194304 4196468 140732713937344 140434806065880 140435185040974 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 35053568 140732713944235 140732713944388 140732713944388 140732713947087 0
[pid=6228/tid=6241] ppid=6225 vsize=10900632 CPUtime=247.8 cores=1,3,5,7,9,11,13,15
/proc/6228/task/6241/stat : 6241 (java) R 6225 6228 2452 0 -1 4202560 156853 0 0 0 24522 258 0 0 20 0 20 0 2737568 11162247168 2077247 33554432000 4194304 4196468 140732713937344 140434805013080 140435184544604 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35053568 140732713944235 140732713944388 140732713944388 140732713947087 0
[pid=6228/tid=6242] ppid=6225 vsize=10900632 CPUtime=247.41 cores=1,3,5,7,9,11,13,15
/proc/6228/task/6242/stat : 6242 (java) R 6225 6228 2452 0 -1 4202560 156748 0 0 0 24471 270 0 0 20 0 20 0 2737568 11162247168 2077247 33554432000 4194304 4196468 140732713937344 140434803960280 140435185075088 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35053568 140732713944235 140732713944388 140732713944388 140732713947087 0
[pid=6228/tid=6243] ppid=6225 vsize=10900632 CPUtime=247.33 cores=1,3,5,7,9,11,13,15
/proc/6228/task/6243/stat : 6243 (java) R 6225 6228 2452 0 -1 4202560 106351 0 0 0 24448 285 0 0 20 0 20 0 2737568 11162247168 2077247 33554432000 4194304 4196468 140732713937344 140434802908192 140435185075143 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 35053568 140732713944235 140732713944388 140732713944388 140732713947087 0
[pid=6228/tid=6244] ppid=6225 vsize=10900632 CPUtime=246.7 cores=1,3,5,7,9,11,13,15
/proc/6228/task/6244/stat : 6244 (java) R 6225 6228 2452 0 -1 4202560 125690 0 0 0 24402 268 0 0 20 0 20 0 2737568 11162247168 2077247 33554432000 4194304 4196468 140732713937344 140434801855704 140435181686305 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35053568 140732713944235 140732713944388 140732713944388 140732713947087 0
[pid=6228/tid=6245] ppid=6225 vsize=10900632 CPUtime=247.61 cores=1,3,5,7,9,11,13,15
/proc/6228/task/6245/stat : 6245 (java) R 6225 6228 2452 0 -1 4202560 105103 0 0 0 24499 262 0 0 20 0 20 0 2737568 11162247168 2077247 33554432000 4194304 4196468 140732713937344 140434800802904 140435185075143 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 35053568 140732713944235 140732713944388 140732713944388 140732713947087 0
[pid=6228/tid=6246] ppid=6225 vsize=10900632 CPUtime=248.07 cores=1,3,5,7,9,11,13,15
/proc/6228/task/6246/stat : 6246 (java) R 6225 6228 2452 0 -1 4202560 196473 0 0 0 24546 261 0 0 20 0 20 0 2737568 11162247168 2077247 33554432000 4194304 4196468 140732713937344 140434799750104 140435181685680 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 35053568 140732713944235 140732713944388 140732713944388 140732713947087 0
[pid=6228/tid=6251] ppid=6225 vsize=10900632 CPUtime=18.77 cores=1,3,5,7,9,11,13,15
/proc/6228/task/6251/stat : 6251 (java) S 6225 6228 2452 0 -1 1077944384 91264 0 0 0 1872 5 0 0 20 0 20 0 2737571 11162247168 2077247 33554432000 4194304 4196468 140732713937344 140433949692640 140435200100053 0 0 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35053568 140732713944235 140732713944388 140732713944388 140732713947087 0
[pid=6228/tid=6252] ppid=6225 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6228/task/6252/stat : 6252 (java) S 6225 6228 2452 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 20 0 2737571 11162247168 2077247 33554432000 4194304 4196468 140732713937344 140433948640352 140435200100053 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 35053568 140732713944235 140732713944388 140732713944388 140732713947087 0
[pid=6228/tid=6253] ppid=6225 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6228/task/6253/stat : 6253 (java) S 6225 6228 2452 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 20 0 2737572 11162247168 2077247 33554432000 4194304 4196468 140732713937344 140433947587456 140435200100053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35053568 140732713944235 140732713944388 140732713944388 140732713947087 0
[pid=6228/tid=6261] ppid=6225 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6228/task/6261/stat : 6261 (java) S 6225 6228 2452 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 20 0 2737577 11162247168 2077247 33554432000 4194304 4196468 140732713937344 140433946529056 140435200100053 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 35053568 140732713944235 140732713944388 140732713944388 140732713947087 0
[pid=6228/tid=6262] ppid=6225 vsize=10900632 CPUtime=0.58 cores=1,3,5,7,9,11,13,15
/proc/6228/task/6262/stat : 6262 (java) S 6225 6228 2452 0 -1 1077944384 2589 0 0 0 58 0 0 0 20 0 20 0 2737577 11162247168 2077247 33554432000 4194304 4196468 140732713937344 140433945484144 140435200100994 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35053568 140732713944235 140732713944388 140732713944388 140732713947087 0
[pid=6228/tid=6263] ppid=6225 vsize=10900632 CPUtime=0.58 cores=1,3,5,7,9,11,13,15
/proc/6228/task/6263/stat : 6263 (java) S 6225 6228 2452 0 -1 1077944384 2021 0 0 0 57 1 0 0 20 0 20 0 2737577 11162247168 2077247 33554432000 4194304 4196468 140732713937344 140433944431344 140435200100994 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35053568 140732713944235 140732713944388 140732713944388 140732713947087 0
[pid=6228/tid=6264] ppid=6225 vsize=10900632 CPUtime=0.57 cores=1,3,5,7,9,11,13,15
/proc/6228/task/6264/stat : 6264 (java) S 6225 6228 2452 0 -1 1077944384 2440 0 0 0 57 0 0 0 20 0 20 0 2737577 11162247168 2077247 33554432000 4194304 4196468 140732713937344 140433943378544 140435200100994 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35053568 140732713944235 140732713944388 140732713944388 140732713947087 0
[pid=6228/tid=6265] ppid=6225 vsize=10900632 CPUtime=0.41 cores=1,3,5,7,9,11,13,15
/proc/6228/task/6265/stat : 6265 (java) S 6225 6228 2452 0 -1 1077944384 2699 0 0 0 40 1 0 0 20 0 20 0 2737577 11162247168 2077247 33554432000 4194304 4196468 140732713937344 140433942325744 140435200100994 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35053568 140732713944235 140732713944388 140732713944388 140732713947087 0
[pid=6228/tid=6266] ppid=6225 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6228/task/6266/stat : 6266 (java) S 6225 6228 2452 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2737578 11162247168 2077247 33554432000 4194304 4196468 140732713937344 140433941273184 140435200100053 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35053568 140732713944235 140732713944388 140732713944388 140732713947087 0
[pid=6228/tid=6267] ppid=6225 vsize=10900632 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/6228/task/6267/stat : 6267 (java) S 6225 6228 2452 0 -1 1077944384 531 0 0 0 14 12 0 0 20 0 20 0 2737578 11162247168 2077247 33554432000 4194304 4196468 140732713937344 140433940220464 140435200100994 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35053568 140732713944235 140732713944388 140732713944388 140732713947087 0
Current children cumulated CPU time (s) 2416.15
Current children cumulated vsize (KiB) 10900632

Child ended because it received signal 9 (SIGKILL)
Real time (s): 685.858
CPU time (s): 2416.24
CPU user time (s): 2394.01
CPU system time (s): 22.235
CPU usage (%): 352.295
Max. virtual memory (cumulated for all children) (KiB): 10900632

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2394.01
system time used= 22.235
maximum resident set size= 8309320
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1270166
page faults= 0
swaps= 0
block input operations= 0
block output operations= 800
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 45683
involuntary context switches= 167821

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.96974 second user time and 5.92143 second system time

The end

Launcher Data 

Begin job on node120 at 2017-07-22 00:04:53
IDJOB=4243636
IDBENCH=125571
IDSOLVER=2623
FILE ID=node120/4243636-1500674693
RUNJOBID= node120-1500674693-6198
PBS_JOBID= 20623299
Free space on /tmp= 61996 MiB

SOLVER NAME= sat4j-CSP 2017-07-05
BENCH NAME= XCSP17/DeBruijnSequence/DeBruijnSequence-m1-s1/DeBruijnSequence-03-06.xml
COMMAND LINE= java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4243636-1500674693/watcher-4243636-1500674693 -o /tmp/evaluation-result-4243636-1500674693/solver-4243636-1500674693 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node120-1500674693-6198 --watchdog 2560  java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4243636-1500674693.xml

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

MD5SUM BENCH= a0d270dd535955910725fddfcfa0cde8
RANDOM SEED=1287892625

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.45
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 1
initial apicid	: 1
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.45
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 17
initial apicid	: 17
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 3
initial apicid	: 3
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.45
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		: 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.45
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		: 1600.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.45
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:        32028828 kB
MemAvailable:   32033680 kB
Buffers:           35836 kB
Cached:           281484 kB
SwapCached:            0 kB
Active:           137684 kB
Inactive:         230344 kB
Active(anon):      53984 kB
Inactive(anon):     8736 kB
Active(file):      83700 kB
Inactive(file):   221608 kB
Unevictable:        5764 kB
Mlocked:            5764 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2944 kB
Writeback:             0 kB
AnonPages:         56232 kB
Mapped:            29508 kB
Shmem:              8840 kB
Slab:              62188 kB
SReclaimable:      30760 kB
SUnreclaim:        31428 kB
KernelStack:        4176 kB
PageTables:         5300 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     310944 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      4096 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 61992 MiB
End job on node120 at 2017-07-22 00:16:19