Trace number 4243692

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
R1: sat4j-CSP 2017-07-05? (TO) 2416.08 343.642

General information on the benchmark

NameGolombRuler/GolombRuler-a4-s1/
GolombRuler-17-a4.xml
MD5SUM1654769b6737315210eb217040901c4e
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark230
Best CPU time to get the best result obtained on this benchmark2400.04
Satisfiable
(Un)Satisfiability was proved
Number of variables17
Number of constraints8502
Number of domains1
Minimum domain size501
Maximum domain size501
Distribution of domain sizes[{"size":501,"count":17}]
Minimum variable degree1921
Maximum variable degree1922
Distribution of variable degrees[{"degree":1921,"count":15},{"degree":1922,"count":2}]
Minimum constraint arity1
Maximum constraint arity17
Distribution of constraint arities[{"arity":1,"count":1},{"arity":3,"count":1360},{"arity":4,"count":7140},{"arity":17,"count":1}]
Number of extensional constraints0
Number of intensional constraints8501
Distribution of constraint types[{"type":"intension","count":8501},{"type":"ordered","count":1}]
Optimization problemYES
Type of objectivemin VAR

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

pid=6484
running on 8 cores: 0-3,8-11

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: 13.42 10.94 6.50 5/260 6487
/proc/meminfo: memFree=32069576/32770624 swapFree=5804/173256
[pid=6487] ppid=6484 vsize=8816720 CPUtime=0 cores=0-3,8-11
/proc/6487/stat : 6487 (java) S 6484 6487 2454 0 -1 1077944320 2268 0 0 0 0 0 0 0 20 0 10 0 2787614 9028321280 2508 33554432000 4194304 4196468 140737476078080 140737476060624 139753736605431 0 0 0 16784584 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 28708864 140737476080811 140737476080964 140737476080964 140737476083663 0
/proc/6487/statm: 2303196 2537 1216 1 0 2292107 0
[pid=6487/tid=6488] ppid=6484 vsize=10204852 CPUtime=0 cores=0-3,8-11
/proc/6487/task/6488/stat : 6488 (java) R 6484 6487 2454 0 -1 4202560 1016 0 0 0 0 0 0 0 20 0 10 0 2787615 10449768448 2537 33554432000 4194304 4196468 140737476078080 139753740846424 139753722686719 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28708864 140737476080811 140737476080964 140737476080964 140737476083663 0
[pid=6487/tid=6489] ppid=6484 vsize=10204852 CPUtime=0 cores=0-3,8-11
/proc/6487/task/6489/stat : 6489 (java) S 6484 6487 2454 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 10 0 2787616 10449768448 2602 33554432000 4194304 4196468 140737476078080 139753343019280 139753736615637 0 4 0 16784584 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 28708864 140737476080811 140737476080964 140737476080964 140737476083663 0
[pid=6487/tid=6490] ppid=6484 vsize=10204852 CPUtime=0 cores=0-3,8-11
/proc/6487/task/6490/stat : 6490 (java) S 6484 6487 2454 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 10 0 2787616 10449768448 2602 33554432000 4194304 4196468 140737476078080 139753341966736 139753736615637 0 4 0 16784584 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 28708864 140737476080811 140737476080964 140737476080964 140737476083663 0
[pid=6487/tid=6491] ppid=6484 vsize=10204852 CPUtime=0 cores=0-3,8-11
/proc/6487/task/6491/stat : 6491 (java) S 6484 6487 2454 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 10 0 2787616 10449768448 2602 33554432000 4194304 4196468 140737476078080 139753340914192 139753736615637 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28708864 140737476080811 140737476080964 140737476080964 140737476083663 0
[pid=6487/tid=6492] ppid=6484 vsize=10204852 CPUtime=0 cores=0-3,8-11
/proc/6487/task/6492/stat : 6492 (java) S 6484 6487 2454 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 10 0 2787616 10449768448 2602 33554432000 4194304 4196468 140737476078080 139753339861648 139753736615637 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28708864 140737476080811 140737476080964 140737476080964 140737476083663 0
[pid=6487/tid=6493] ppid=6484 vsize=10204852 CPUtime=0 cores=0-3,8-11
/proc/6487/task/6493/stat : 6493 (java) S 6484 6487 2454 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 10 0 2787616 10449768448 2668 33554432000 4194304 4196468 140737476078080 139753338809104 139753736615637 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28708864 140737476080811 140737476080964 140737476080964 140737476083663 0
[pid=6487/tid=6494] ppid=6484 vsize=10204852 CPUtime=0 cores=0-3,8-11
/proc/6487/task/6494/stat : 6494 (java) S 6484 6487 2454 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 10 0 2787616 10449768448 2668 33554432000 4194304 4196468 140737476078080 139753337756560 139753736615637 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28708864 140737476080811 140737476080964 140737476080964 140737476083663 0
[pid=6487/tid=6495] ppid=6484 vsize=10204852 CPUtime=0 cores=0-3,8-11
/proc/6487/task/6495/stat : 6495 (java) S 6484 6487 2454 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 10 0 2787616 10449768448 2668 33554432000 4194304 4196468 140737476078080 139753336704016 139753736615637 0 4 0 16784584 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 28708864 140737476080811 140737476080964 140737476080964 140737476083663 0
[pid=6487/tid=6496] ppid=6484 vsize=10204852 CPUtime=0 cores=0-3,8-11
/proc/6487/task/6496/stat : 6496 (java) S 6484 6487 2454 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 10 0 2787616 10449768448 2668 33554432000 4194304 4196468 140737476078080 139753335651472 139753736615637 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28708864 140737476080811 140737476080964 140737476080964 140737476083663 0

[startup+0.100122 s]
/proc/loadavg: 13.42 10.94 6.50 5/260 6487
/proc/meminfo: memFree=32069576/32770624 swapFree=5804/173256
[pid=6487] ppid=6484 vsize=10900556 CPUtime=0.1 cores=0-3,8-11
/proc/6487/stat : 6487 (java) S 6484 6487 2454 0 -1 1077944320 5030 0 0 0 9 1 0 0 20 0 20 0 2787614 11162169344 7109 33554432000 4194304 4196468 140737476078080 140737476060624 139753736605431 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 28708864 140737476080811 140737476080964 140737476080964 140737476083663 0
/proc/6487/statm: 2725139 7109 2637 1 0 2713552 0
[pid=6487/tid=6488] ppid=6484 vsize=10900556 CPUtime=0.08 cores=0-3,8-11
/proc/6487/task/6488/stat : 6488 (java) R 6484 6487 2454 0 -1 4202560 3121 0 0 0 7 1 0 0 20 0 20 0 2787615 11162169344 7109 33554432000 4194304 4196468 140737476078080 139753740831120 139753736617366 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28708864 140737476080811 140737476080964 140737476080964 140737476083663 0
[pid=6487/tid=6489] ppid=6484 vsize=10900556 CPUtime=0 cores=0-3,8-11
/proc/6487/task/6489/stat : 6489 (java) S 6484 6487 2454 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2787616 11162169344 7109 33554432000 4194304 4196468 140737476078080 139753343019280 139753736615637 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 28708864 140737476080811 140737476080964 140737476080964 140737476083663 0
[pid=6487/tid=6490] ppid=6484 vsize=10900556 CPUtime=0 cores=0-3,8-11
/proc/6487/task/6490/stat : 6490 (java) S 6484 6487 2454 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2787616 11162169344 7109 33554432000 4194304 4196468 140737476078080 139753341966736 139753736615637 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 28708864 140737476080811 140737476080964 140737476080964 140737476083663 0
[pid=6487/tid=6491] ppid=6484 vsize=10900556 CPUtime=0 cores=0-3,8-11
/proc/6487/task/6491/stat : 6491 (java) S 6484 6487 2454 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2787616 11162169344 7109 33554432000 4194304 4196468 140737476078080 139753340914192 139753736615637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28708864 140737476080811 140737476080964 140737476080964 140737476083663 0
[pid=6487/tid=6492] ppid=6484 vsize=10900556 CPUtime=0 cores=0-3,8-11
/proc/6487/task/6492/stat : 6492 (java) S 6484 6487 2454 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2787616 11162169344 7109 33554432000 4194304 4196468 140737476078080 139753339861648 139753736615637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28708864 140737476080811 140737476080964 140737476080964 140737476083663 0
[pid=6487/tid=6493] ppid=6484 vsize=10900556 CPUtime=0 cores=0-3,8-11
/proc/6487/task/6493/stat : 6493 (java) S 6484 6487 2454 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2787616 11162169344 7109 33554432000 4194304 4196468 140737476078080 139753338809104 139753736615637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28708864 140737476080811 140737476080964 140737476080964 140737476083663 0
[pid=6487/tid=6494] ppid=6484 vsize=10900556 CPUtime=0 cores=0-3,8-11
/proc/6487/task/6494/stat : 6494 (java) S 6484 6487 2454 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2787616 11162169344 7109 33554432000 4194304 4196468 140737476078080 139753337756560 139753736615637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28708864 140737476080811 140737476080964 140737476080964 140737476083663 0
[pid=6487/tid=6495] ppid=6484 vsize=10900556 CPUtime=0 cores=0-3,8-11
/proc/6487/task/6495/stat : 6495 (java) S 6484 6487 2454 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2787616 11162169344 7109 33554432000 4194304 4196468 140737476078080 139753336704016 139753736615637 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 28708864 140737476080811 140737476080964 140737476080964 140737476083663 0
[pid=6487/tid=6496] ppid=6484 vsize=10900556 CPUtime=0 cores=0-3,8-11
/proc/6487/task/6496/stat : 6496 (java) S 6484 6487 2454 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2787616 11162169344 7109 33554432000 4194304 4196468 140737476078080 139753335651472 139753736615637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28708864 140737476080811 140737476080964 140737476080964 140737476083663 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10900556

[startup+0.201004 s]
/proc/loadavg: 13.42 10.94 6.50 5/260 6487
/proc/meminfo: memFree=32069576/32770624 swapFree=5804/173256
[pid=6487] ppid=6484 vsize=10900556 CPUtime=0.25 cores=0-3,8-11
/proc/6487/stat : 6487 (java) S 6484 6487 2454 0 -1 1077944320 7352 0 0 0 23 2 0 0 20 0 20 0 2787614 11162169344 9750 33554432000 4194304 4196468 140737476078080 140737476060624 139753736605431 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 28708864 140737476080811 140737476080964 140737476080964 140737476083663 0
/proc/6487/statm: 2725139 9750 2889 1 0 2713552 0
[pid=6487/tid=6488] ppid=6484 vsize=10900556 CPUtime=0.17 cores=0-3,8-11
/proc/6487/task/6488/stat : 6488 (java) R 6484 6487 2454 0 -1 4202560 4943 0 0 0 16 1 0 0 20 0 20 0 2787615 11162169344 9750 33554432000 4194304 4196468 140737476078080 139753740840416 139753720685918 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28708864 140737476080811 140737476080964 140737476080964 140737476083663 0
[pid=6487/tid=6489] ppid=6484 vsize=10900556 CPUtime=0 cores=0-3,8-11
/proc/6487/task/6489/stat : 6489 (java) S 6484 6487 2454 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2787616 11162169344 9750 33554432000 4194304 4196468 140737476078080 139753343019280 139753736615637 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 28708864 140737476080811 140737476080964 140737476080964 140737476083663 0
[pid=6487/tid=6490] ppid=6484 vsize=10900556 CPUtime=0 cores=0-3,8-11
/proc/6487/task/6490/stat : 6490 (java) S 6484 6487 2454 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2787616 11162169344 9750 33554432000 4194304 4196468 140737476078080 139753341966736 139753736615637 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 28708864 140737476080811 140737476080964 140737476080964 140737476083663 0
[pid=6487/tid=6491] ppid=6484 vsize=10900556 CPUtime=0 cores=0-3,8-11
/proc/6487/task/6491/stat : 6491 (java) S 6484 6487 2454 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2787616 11162169344 9750 33554432000 4194304 4196468 140737476078080 139753340914192 139753736615637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28708864 140737476080811 140737476080964 140737476080964 140737476083663 0
[pid=6487/tid=6492] ppid=6484 vsize=10900556 CPUtime=0 cores=0-3,8-11
/proc/6487/task/6492/stat : 6492 (java) S 6484 6487 2454 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2787616 11162169344 9750 33554432000 4194304 4196468 140737476078080 139753339861648 139753736615637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28708864 140737476080811 140737476080964 140737476080964 140737476083663 0
[pid=6487/tid=6493] ppid=6484 vsize=10900556 CPUtime=0 cores=0-3,8-11
/proc/6487/task/6493/stat : 6493 (java) S 6484 6487 2454 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2787616 11162169344 9750 33554432000 4194304 4196468 140737476078080 139753338809104 139753736615637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28708864 140737476080811 140737476080964 140737476080964 140737476083663 0
[pid=6487/tid=6494] ppid=6484 vsize=10900556 CPUtime=0 cores=0-3,8-11
/proc/6487/task/6494/stat : 6494 (java) S 6484 6487 2454 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2787616 11162169344 9750 33554432000 4194304 4196468 140737476078080 139753337756560 139753736615637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28708864 140737476080811 140737476080964 140737476080964 140737476083663 0
[pid=6487/tid=6495] ppid=6484 vsize=10900556 CPUtime=0 cores=0-3,8-11
/proc/6487/task/6495/stat : 6495 (java) S 6484 6487 2454 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2787616 11162169344 9750 33554432000 4194304 4196468 140737476078080 139753336704016 139753736615637 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 28708864 140737476080811 140737476080964 140737476080964 140737476083663 0
[pid=6487/tid=6496] ppid=6484 vsize=10900556 CPUtime=0 cores=0-3,8-11
/proc/6487/task/6496/stat : 6496 (java) S 6484 6487 2454 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2787616 11162169344 9750 33554432000 4194304 4196468 140737476078080 139753335651472 139753736615637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28708864 140737476080811 140737476080964 140737476080964 140737476083663 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 10900556

[startup+0.300736 s]
/proc/loadavg: 13.42 10.94 6.50 5/260 6487
/proc/meminfo: memFree=32069576/32770624 swapFree=5804/173256
[pid=6487] ppid=6484 vsize=10900556 CPUtime=0.63 cores=0-3,8-11
/proc/6487/stat : 6487 (java) S 6484 6487 2454 0 -1 1077944320 10223 0 0 0 60 3 0 0 20 0 20 0 2787614 11162169344 13544 33554432000 4194304 4196468 140737476078080 140737476060624 139753736605431 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 28708864 140737476080811 140737476080964 140737476080964 140737476083663 0
/proc/6487/statm: 2725139 13544 3031 1 0 2713552 0
[pid=6487/tid=6488] ppid=6484 vsize=10900556 CPUtime=0.28 cores=0-3,8-11
/proc/6487/task/6488/stat : 6488 (java) R 6484 6487 2454 0 -1 4202560 5402 0 0 0 26 2 0 0 20 0 20 0 2787615 11162169344 13544 33554432000 4194304 4196468 140737476078080 139753740825520 139753720685918 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28708864 140737476080811 140737476080964 140737476080964 140737476083663 0
[pid=6487/tid=6489] ppid=6484 vsize=10900556 CPUtime=0 cores=0-3,8-11
/proc/6487/task/6489/stat : 6489 (java) S 6484 6487 2454 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2787616 11162169344 13544 33554432000 4194304 4196468 140737476078080 139753343019280 139753736615637 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 28708864 140737476080811 140737476080964 140737476080964 140737476083663 0
[pid=6487/tid=6490] ppid=6484 vsize=10900556 CPUtime=0 cores=0-3,8-11
/proc/6487/task/6490/stat : 6490 (java) S 6484 6487 2454 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2787616 11162169344 13544 33554432000 4194304 4196468 140737476078080 139753341966736 139753736615637 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 28708864 140737476080811 140737476080964 140737476080964 140737476083663 0
[pid=6487/tid=6491] ppid=6484 vsize=10900556 CPUtime=0 cores=0-3,8-11
/proc/6487/task/6491/stat : 6491 (java) S 6484 6487 2454 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2787616 11162169344 13544 33554432000 4194304 4196468 140737476078080 139753340914192 139753736615637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28708864 140737476080811 140737476080964 140737476080964 140737476083663 0
[pid=6487/tid=6492] ppid=6484 vsize=10900556 CPUtime=0 cores=0-3,8-11
/proc/6487/task/6492/stat : 6492 (java) S 6484 6487 2454 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2787616 11162169344 13544 33554432000 4194304 4196468 140737476078080 139753339861648 139753736615637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28708864 140737476080811 140737476080964 140737476080964 140737476083663 0
[pid=6487/tid=6493] ppid=6484 vsize=10900556 CPUtime=0 cores=0-3,8-11
/proc/6487/task/6493/stat : 6493 (java) S 6484 6487 2454 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2787616 11162169344 13544 33554432000 4194304 4196468 140737476078080 139753338809104 139753736615637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28708864 140737476080811 140737476080964 140737476080964 140737476083663 0
[pid=6487/tid=6494] ppid=6484 vsize=10900556 CPUtime=0 cores=0-3,8-11
/proc/6487/task/6494/stat : 6494 (java) S 6484 6487 2454 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2787616 11162169344 13544 33554432000 4194304 4196468 140737476078080 139753337756560 139753736615637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28708864 140737476080811 140737476080964 140737476080964 140737476083663 0
[pid=6487/tid=6495] ppid=6484 vsize=10900556 CPUtime=0 cores=0-3,8-11
/proc/6487/task/6495/stat : 6495 (java) S 6484 6487 2454 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2787616 11162169344 13544 33554432000 4194304 4196468 140737476078080 139753336704016 139753736615637 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 28708864 140737476080811 140737476080964 140737476080964 140737476083663 0
[pid=6487/tid=6496] ppid=6484 vsize=10900556 CPUtime=0 cores=0-3,8-11
/proc/6487/task/6496/stat : 6496 (java) S 6484 6487 2454 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2787616 11162169344 13544 33554432000 4194304 4196468 140737476078080 139753335651472 139753736615637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28708864 140737476080811 140737476080964 140737476080964 140737476083663 0
Current children cumulated CPU time (s) 0.63
Current children cumulated vsize (KiB) 10900556

[startup+0.700646 s]
/proc/loadavg: 13.42 10.94 6.50 5/260 6487
/proc/meminfo: memFree=32069576/32770624 swapFree=5804/173256
[pid=6487] ppid=6484 vsize=10900632 CPUtime=2.17 cores=0-3,8-11
/proc/6487/stat : 6487 (java) S 6484 6487 2454 0 -1 1077944320 12409 0 0 0 212 5 0 0 20 0 20 0 2787614 11162247168 32612 33554432000 4194304 4196468 140737476078080 140737476060624 139753736605431 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 28708864 140737476080811 140737476080964 140737476080964 140737476083663 0
/proc/6487/statm: 2725158 32612 3092 1 0 2713552 0
[pid=6487/tid=6488] ppid=6484 vsize=10900632 CPUtime=0.67 cores=0-3,8-11
/proc/6487/task/6488/stat : 6488 (java) R 6484 6487 2454 0 -1 4202560 5875 0 0 0 64 3 0 0 20 0 20 0 2787615 11162247168 32612 33554432000 4194304 4196468 140737476078080 139753740831704 139753353779792 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28708864 140737476080811 140737476080964 140737476080964 140737476083663 0
[pid=6487/tid=6489] ppid=6484 vsize=10900632 CPUtime=0 cores=0-3,8-11
/proc/6487/task/6489/stat : 6489 (java) S 6484 6487 2454 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2787616 11162247168 32612 33554432000 4194304 4196468 140737476078080 139753343019280 139753736615637 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 28708864 140737476080811 140737476080964 140737476080964 140737476083663 0
[pid=6487/tid=6490] ppid=6484 vsize=10900632 CPUtime=0 cores=0-3,8-11
/proc/6487/task/6490/stat : 6490 (java) S 6484 6487 2454 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2787616 11162247168 32612 33554432000 4194304 4196468 140737476078080 139753341966736 139753736615637 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 28708864 140737476080811 140737476080964 140737476080964 140737476083663 0
[pid=6487/tid=6491] ppid=6484 vsize=10900632 CPUtime=0 cores=0-3,8-11
/proc/6487/task/6491/stat : 6491 (java) S 6484 6487 2454 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2787616 11162247168 32612 33554432000 4194304 4196468 140737476078080 139753340914192 139753736615637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28708864 140737476080811 140737476080964 140737476080964 140737476083663 0
[pid=6487/tid=6492] ppid=6484 vsize=10900632 CPUtime=0 cores=0-3,8-11
/proc/6487/task/6492/stat : 6492 (java) S 6484 6487 2454 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2787616 11162247168 32612 33554432000 4194304 4196468 140737476078080 139753339861648 139753736615637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28708864 140737476080811 140737476080964 140737476080964 140737476083663 0
[pid=6487/tid=6493] ppid=6484 vsize=10900632 CPUtime=0 cores=0-3,8-11
/proc/6487/task/6493/stat : 6493 (java) S 6484 6487 2454 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2787616 11162247168 32612 33554432000 4194304 4196468 140737476078080 139753338809104 139753736615637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28708864 140737476080811 140737476080964 140737476080964 140737476083663 0
[pid=6487/tid=6494] ppid=6484 vsize=10900632 CPUtime=0 cores=0-3,8-11
/proc/6487/task/6494/stat : 6494 (java) S 6484 6487 2454 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2787616 11162247168 32612 33554432000 4194304 4196468 140737476078080 139753337756560 139753736615637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28708864 140737476080811 140737476080964 140737476080964 140737476083663 0
[pid=6487/tid=6495] ppid=6484 vsize=10900632 CPUtime=0 cores=0-3,8-11
/proc/6487/task/6495/stat : 6495 (java) S 6484 6487 2454 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2787616 11162247168 32612 33554432000 4194304 4196468 140737476078080 139753336704016 139753736615637 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 28708864 140737476080811 140737476080964 140737476080964 140737476083663 0
[pid=6487/tid=6496] ppid=6484 vsize=10900632 CPUtime=0 cores=0-3,8-11
/proc/6487/task/6496/stat : 6496 (java) S 6484 6487 2454 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2787616 11162247168 32612 33554432000 4194304 4196468 140737476078080 139753335651472 139753736615637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28708864 140737476080811 140737476080964 140737476080964 140737476083663 0
Current children cumulated CPU time (s) 2.17
Current children cumulated vsize (KiB) 10900632

[startup+1.50072 s]
/proc/loadavg: 13.42 10.94 6.50 7/281 6558
/proc/meminfo: memFree=31811104/32770624 swapFree=5804/173452
[pid=6487] ppid=6484 vsize=10900632 CPUtime=4.88 cores=0-3,8-11
/proc/6487/stat : 6487 (java) S 6484 6487 2454 0 -1 1077944320 14307 0 0 0 425 63 0 0 20 0 20 0 2787614 11162247168 99970 33554432000 4194304 4196468 140737476078080 140737476060624 139753736605431 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 28708864 140737476080811 140737476080964 140737476080964 140737476083663 0
/proc/6487/statm: 2725158 99970 3122 1 0 2713552 0
[pid=6487/tid=6488] ppid=6484 vsize=10900632 CPUtime=1.3 cores=0-3,8-11
/proc/6487/task/6488/stat : 6488 (java) R 6484 6487 2454 0 -1 4202560 6043 0 0 0 124 6 0 0 20 0 20 0 2787615 11162247168 99970 33554432000 4194304 4196468 140737476078080 139753740832104 139753357963850 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 28708864 140737476080811 140737476080964 140737476080964 140737476083663 0
[pid=6487/tid=6489] ppid=6484 vsize=10900632 CPUtime=0.15 cores=0-3,8-11
/proc/6487/task/6489/stat : 6489 (java) S 6484 6487 2454 0 -1 1077944384 113 0 0 0 9 6 0 0 20 0 20 0 2787616 11162247168 99970 33554432000 4194304 4196468 140737476078080 139753343019280 139753736615637 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 28708864 140737476080811 140737476080964 140737476080964 140737476083663 0
[pid=6487/tid=6490] ppid=6484 vsize=10900632 CPUtime=0.15 cores=0-3,8-11
/proc/6487/task/6490/stat : 6490 (java) S 6484 6487 2454 0 -1 1077944384 95 0 0 0 8 7 0 0 20 0 20 0 2787616 11162247168 99970 33554432000 4194304 4196468 140737476078080 139753341966736 139753736615637 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 28708864 140737476080811 140737476080964 140737476080964 140737476083663 0
[pid=6487/tid=6491] ppid=6484 vsize=10900632 CPUtime=0.16 cores=0-3,8-11
/proc/6487/task/6491/stat : 6491 (java) S 6484 6487 2454 0 -1 1077944384 94 0 0 0 9 7 0 0 20 0 20 0 2787616 11162247168 99970 33554432000 4194304 4196468 140737476078080 139753340914192 139753736615637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28708864 140737476080811 140737476080964 140737476080964 140737476083663 0
[pid=6487/tid=6492] ppid=6484 vsize=10900632 CPUtime=0.14 cores=0-3,8-11
/proc/6487/task/6492/stat : 6492 (java) S 6484 6487 2454 0 -1 1077944384 87 0 0 0 8 6 0 0 20 0 20 0 2787616 11162247168 99970 33554432000 4194304 4196468 140737476078080 139753339861648 139753736615637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28708864 140737476080811 140737476080964 140737476080964 140737476083663 0
[pid=6487/tid=6493] ppid=6484 vsize=10900632 CPUtime=0.17 cores=0-3,8-11
/proc/6487/task/6493/stat : 6493 (java) S 6484 6487 2454 0 -1 1077944384 106 0 0 0 10 7 0 0 20 0 20 0 2787616 11162247168 99970 33554432000 4194304 4196468 140737476078080 139753338809104 139753736615637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28708864 140737476080811 140737476080964 140737476080964 140737476083663 0
[pid=6487/tid=6494] ppid=6484 vsize=10900632 CPUtime=0.16 cores=0-3,8-11
/proc/6487/task/6494/stat : 6494 (java) S 6484 6487 2454 0 -1 1077944384 107 0 0 0 10 6 0 0 20 0 20 0 2787616 11162247168 99970 33554432000 4194304 4196468 140737476078080 139753337756560 139753736615637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28708864 140737476080811 140737476080964 140737476080964 140737476083663 0
[pid=6487/tid=6495] ppid=6484 vsize=10900632 CPUtime=0.15 cores=0-3,8-11
/proc/6487/task/6495/stat : 6495 (java) S 6484 6487 2454 0 -1 1077944384 82 0 0 0 9 6 0 0 20 0 20 0 2787616 11162247168 99970 33554432000 4194304 4196468 140737476078080 139753336704016 139753736615637 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 28708864 140737476080811 140737476080964 140737476080964 140737476083663 0
[pid=6487/tid=6496] ppid=6484 vsize=10900632 CPUtime=0.16 cores=0-3,8-11
/proc/6487/task/6496/stat : 6496 (java) S 6484 6487 2454 0 -1 1077944384 106 0 0 0 9 7 0 0 20 0 20 0 2787616 11162247168 99970 33554432000 4194304 4196468 140737476078080 139753335651472 139753736615637 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 28708864 140737476080811 140737476080964 140737476080964 140737476083663 0
[pid=6487/tid=6498] ppid=6484 vsize=10900632 CPUtime=0 cores=0-3,8-11
/proc/6487/task/6498/stat : 6498 (java) S 6484 6487 2454 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 20 0 2787618 11162247168 99970 33554432000 4194304 4196468 140737476078080 139753279600624 139753736616578 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28708864 140737476080811 140737476080964 140737476080964 140737476083663 0
[pid=6487/tid=6499] ppid=6484 vsize=10900632 CPUtime=0 cores=0-3,8-11
/proc/6487/task/6499/stat : 6499 (java) S 6484 6487 2454 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 2787618 11162247168 99970 33554432000 4194304 4196468 140737476078080 139753278546848 139753736615637 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 28708864 140737476080811 140737476080964 140737476080964 140737476083663 0
[pid=6487/tid=6500] ppid=6484 vsize=10900632 CPUtime=0 cores=0-3,8-11
/proc/6487/task/6500/stat : 6500 (java) S 6484 6487 2454 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 2787619 11162247168 99970 33554432000 4194304 4196468 140737476078080 139753277494256 139753736615637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28708864 140737476080811 140737476080964 140737476080964 140737476083663 0
[pid=6487/tid=6501] ppid=6484 vsize=10900632 CPUtime=0 cores=0-3,8-11
/proc/6487/task/6501/stat : 6501 (java) S 6484 6487 2454 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2787622 11162247168 99970 33554432000 4194304 4196468 140737476078080 139753276442832 139753736624027 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 28708864 140737476080811 140737476080964 140737476080964 140737476083663 0
[pid=6487/tid=6502] ppid=6484 vsize=10900632 CPUtime=0.59 cores=0-3,8-11
/proc/6487/task/6502/stat : 6502 (java) S 6484 6487 2454 0 -1 1077944384 1465 0 0 0 59 0 0 0 20 0 20 0 2787622 11162247168 99970 33554432000 4194304 4196468 140737476078080 139753275390448 139753736616578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28708864 140737476080811 140737476080964 140737476080964 140737476083663 0
[pid=6487/tid=6503] ppid=6484 vsize=10900632 CPUtime=0.6 cores=0-3,8-11
/proc/6487/task/6503/stat : 6503 (java) S 6484 6487 2454 0 -1 1077944384 1642 0 0 0 60 0 0 0 20 0 20 0 2787622 11162247168 99970 33554432000 4194304 4196468 140737476078080 139753274337904 139753736616578 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28708864 140737476080811 140737476080964 140737476080964 140737476083663 0
[pid=6487/tid=6504] ppid=6484 vsize=10900632 CPUtime=0.69 cores=0-3,8-11
/proc/6487/task/6504/stat : 6504 (java) S 6484 6487 2454 0 -1 1077944384 1452 0 0 0 69 0 0 0 20 0 20 0 2787622 11162247168 99970 33554432000 4194304 4196468 140737476078080 139753273285360 139753736616578 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 28708864 140737476080811 140737476080964 140737476080964 140737476083663 0
[pid=6487/tid=6505] ppid=6484 vsize=10900632 CPUtime=0.33 cores=0-3,8-11
/proc/6487/task/6505/stat : 6505 (java) S 6484 6487 2454 0 -1 1077944384 1464 0 0 0 33 0 0 0 20 0 20 0 2787622 11162247168 99970 33554432000 4194304 4196468 140737476078080 139753272232816 139753736616578 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 28708864 140737476080811 140737476080964 140737476080964 140737476083663 0
[pid=6487/tid=6506] ppid=6484 vsize=10900632 CPUtime=0 cores=0-3,8-11
/proc/6487/task/6506/stat : 6506 (java) S 6484 6487 2454 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2787622 11162247168 99970 33554432000 4194304 4196468 140737476078080 139753271179488 139753736615637 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 28708864 140737476080811 140737476080964 140737476080964 140737476083663 0
[pid=6487/tid=6507] ppid=6484 vsize=10900632 CPUtime=0 cores=0-3,8-11
/proc/6487/task/6507/stat : 6507 (java) S 6484 6487 2454 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 2787622 11162247168 99970 33554432000 4194304 4196468 140737476078080 139752545184176 139753736616578 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28708864 140737476080811 140737476080964 140737476080964 140737476083663 0
Current children cumulated CPU time (s) 4.88

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

/proc/6487/task/6501/stat : 6501 (java) S 6484 6487 2454 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2787622 11162247168 2027618 33554432000 4194304 4196468 140737476078080 139753276442480 139753736615637 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 28708864 140737476080811 140737476080964 140737476080964 140737476083663 0
[pid=6487/tid=6502] ppid=6484 vsize=10900632 CPUtime=0.74 cores=0-3,8-11
/proc/6487/task/6502/stat : 6502 (java) S 6484 6487 2454 0 -1 1077944384 3333 0 0 0 74 0 0 0 20 0 20 0 2787622 11162247168 2027618 33554432000 4194304 4196468 140737476078080 139753275390208 139753736615637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28708864 140737476080811 140737476080964 140737476080964 140737476083663 0
[pid=6487/tid=6503] ppid=6484 vsize=10900632 CPUtime=0.71 cores=0-3,8-11
/proc/6487/task/6503/stat : 6503 (java) S 6484 6487 2454 0 -1 1077944384 2933 0 0 0 71 0 0 0 20 0 20 0 2787622 11162247168 2027618 33554432000 4194304 4196468 140737476078080 139753274337904 139753736616578 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28708864 140737476080811 140737476080964 140737476080964 140737476083663 0
[pid=6487/tid=6504] ppid=6484 vsize=10900632 CPUtime=0.78 cores=0-3,8-11
/proc/6487/task/6504/stat : 6504 (java) S 6484 6487 2454 0 -1 1077944384 2136 0 0 0 78 0 0 0 20 0 20 0 2787622 11162247168 2027618 33554432000 4194304 4196468 140737476078080 139753273285408 139753736615637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28708864 140737476080811 140737476080964 140737476080964 140737476083663 0
[pid=6487/tid=6505] ppid=6484 vsize=10900632 CPUtime=0.41 cores=0-3,8-11
/proc/6487/task/6505/stat : 6505 (java) S 6484 6487 2454 0 -1 1077944384 2621 0 0 0 41 0 0 0 20 0 20 0 2787622 11162247168 2027618 33554432000 4194304 4196468 140737476078080 139753272232864 139753736615637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28708864 140737476080811 140737476080964 140737476080964 140737476083663 0
[pid=6487/tid=6506] ppid=6484 vsize=10900632 CPUtime=0 cores=0-3,8-11
/proc/6487/task/6506/stat : 6506 (java) S 6484 6487 2454 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2787622 11162247168 2027618 33554432000 4194304 4196468 140737476078080 139753271179488 139753736615637 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 28708864 140737476080811 140737476080964 140737476080964 140737476083663 0
[pid=6487/tid=6507] ppid=6484 vsize=10900632 CPUtime=0.14 cores=0-3,8-11
/proc/6487/task/6507/stat : 6507 (java) S 6484 6487 2454 0 -1 1077944384 250 0 0 0 8 6 0 0 20 0 20 0 2787622 11162247168 2027618 33554432000 4194304 4196468 140737476078080 139752545184176 139753736616578 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 28708864 140737476080811 140737476080964 140737476080964 140737476083663 0
Current children cumulated CPU time (s) 2405.69
Current children cumulated vsize (KiB) 10900632

Sending SIGKILL to process tree (bottom up)

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

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

[startup+342.401 s]
/proc/loadavg: 14.12 12.52 8.44 17/281 6563
/proc/meminfo: memFree=15864120/32770624 swapFree=5804/173736
[pid=6487] ppid=6484 vsize=10900632 CPUtime=2406.49 cores=0-3,8-11
/proc/6487/stat : 6487 (java) S 6484 6487 2454 0 -1 1077944320 180613 0 0 0 238167 2482 0 0 20 0 20 0 2787614 11162247168 2027618 33554432000 4194304 4196468 140737476078080 140737476060624 139753736605431 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 28708864 140737476080811 140737476080964 140737476080964 140737476083663 0
/proc/6487/statm: 2725158 2027618 3144 1 0 2713552 0
[pid=6487/tid=6488] ppid=6484 vsize=10900632 CPUtime=14.63 cores=0-3,8-11
/proc/6487/task/6488/stat : 6488 (java) S 6484 6487 2454 0 -1 1077944384 11793 0 0 0 1454 9 0 0 20 0 20 0 2787615 11162247168 2027618 33554432000 4194304 4196468 140737476078080 139753740841552 139753736615637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28708864 140737476080811 140737476080964 140737476080964 140737476083663 0
[pid=6487/tid=6489] ppid=6484 vsize=10900632 CPUtime=295.4 cores=0-3,8-11
/proc/6487/task/6489/stat : 6489 (java) R 6484 6487 2454 0 -1 4202560 10317 0 0 0 29229 311 0 0 20 0 20 0 2787616 11162247168 2027618 33554432000 4194304 4196468 140737476078080 139753343019168 139753721556036 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28708864 140737476080811 140737476080964 140737476080964 140737476083663 0
[pid=6487/tid=6490] ppid=6484 vsize=10900632 CPUtime=295.33 cores=0-3,8-11
/proc/6487/task/6490/stat : 6490 (java) R 6484 6487 2454 0 -1 4202560 10404 0 0 0 29215 318 0 0 20 0 20 0 2787616 11162247168 2027618 33554432000 4194304 4196468 140737476078080 139753341966936 139753718201932 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28708864 140737476080811 140737476080964 140737476080964 140737476083663 0
[pid=6487/tid=6491] ppid=6484 vsize=10900632 CPUtime=295.08 cores=0-3,8-11
/proc/6487/task/6491/stat : 6491 (java) R 6484 6487 2454 0 -1 4202560 11837 0 0 0 29191 317 0 0 20 0 20 0 2787616 11162247168 2027618 33554432000 4194304 4196468 140737476078080 139753340914392 139753721556558 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 28708864 140737476080811 140737476080964 140737476080964 140737476083663 0
[pid=6487/tid=6492] ppid=6484 vsize=10900632 CPUtime=294.78 cores=0-3,8-11
/proc/6487/task/6492/stat : 6492 (java) R 6484 6487 2454 0 -1 4202560 9456 0 0 0 29177 301 0 0 20 0 20 0 2787616 11162247168 2027618 33554432000 4194304 4196468 140737476078080 139753339861848 139753721556558 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 28708864 140737476080811 140737476080964 140737476080964 140737476083663 0
[pid=6487/tid=6493] ppid=6484 vsize=10900632 CPUtime=294.87 cores=0-3,8-11
/proc/6487/task/6493/stat : 6493 (java) R 6484 6487 2454 0 -1 4202560 9163 0 0 0 29150 337 0 0 20 0 20 0 2787616 11162247168 2027618 33554432000 4194304 4196468 140737476078080 139753338809304 139753721556424 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 28708864 140737476080811 140737476080964 140737476080964 140737476083663 0
[pid=6487/tid=6494] ppid=6484 vsize=10900632 CPUtime=294.85 cores=0-3,8-11
/proc/6487/task/6494/stat : 6494 (java) R 6484 6487 2454 0 -1 4202560 11456 0 0 0 29162 323 0 0 20 0 20 0 2787616 11162247168 2027618 33554432000 4194304 4196468 140737476078080 139753337756760 139753721590672 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 28708864 140737476080811 140737476080964 140737476080964 140737476083663 0
[pid=6487/tid=6495] ppid=6484 vsize=10900632 CPUtime=295.23 cores=0-3,8-11
/proc/6487/task/6495/stat : 6495 (java) R 6484 6487 2454 0 -1 4202560 17265 0 0 0 29268 255 0 0 20 0 20 0 2787616 11162247168 2027618 33554432000 4194304 4196468 140737476078080 139753336704216 139753721303144 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28708864 140737476080811 140737476080964 140737476080964 140737476083663 0
[pid=6487/tid=6496] ppid=6484 vsize=10900632 CPUtime=294.9 cores=0-3,8-11
/proc/6487/task/6496/stat : 6496 (java) R 6484 6487 2454 0 -1 4202560 16552 0 0 0 29196 294 0 0 20 0 20 0 2787616 11162247168 2027618 33554432000 4194304 4196468 140737476078080 139753335651672 139753718202442 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28708864 140737476080811 140737476080964 140737476080964 140737476083663 0
[pid=6487/tid=6498] ppid=6484 vsize=10900632 CPUtime=28.47 cores=0-3,8-11
/proc/6487/task/6498/stat : 6498 (java) S 6484 6487 2454 0 -1 1077944384 59729 0 0 0 2844 3 0 0 20 0 20 0 2787618 11162247168 2027618 33554432000 4194304 4196468 140737476078080 139753279598944 139753736615637 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28708864 140737476080811 140737476080964 140737476080964 140737476083663 0
[pid=6487/tid=6499] ppid=6484 vsize=10900632 CPUtime=0 cores=0-3,8-11
/proc/6487/task/6499/stat : 6499 (java) S 6484 6487 2454 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 2787618 11162247168 2027618 33554432000 4194304 4196468 140737476078080 139753278546912 139753736615637 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 28708864 140737476080811 140737476080964 140737476080964 140737476083663 0
[pid=6487/tid=6500] ppid=6484 vsize=10900632 CPUtime=0 cores=0-3,8-11
/proc/6487/task/6500/stat : 6500 (java) S 6484 6487 2454 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 2787619 11162247168 2027618 33554432000 4194304 4196468 140737476078080 139753277494272 139753736615637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28708864 140737476080811 140737476080964 140737476080964 140737476083663 0
[pid=6487/tid=6501] ppid=6484 vsize=10900632 CPUtime=0 cores=0-3,8-11
/proc/6487/task/6501/stat : 6501 (java) S 6484 6487 2454 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2787622 11162247168 2027618 33554432000 4194304 4196468 140737476078080 139753276442480 139753736615637 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 28708864 140737476080811 140737476080964 140737476080964 140737476083663 0
[pid=6487/tid=6502] ppid=6484 vsize=10900632 CPUtime=0.74 cores=0-3,8-11
/proc/6487/task/6502/stat : 6502 (java) S 6484 6487 2454 0 -1 1077944384 3333 0 0 0 74 0 0 0 20 0 20 0 2787622 11162247168 2027618 33554432000 4194304 4196468 140737476078080 139753275390208 139753736615637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28708864 140737476080811 140737476080964 140737476080964 140737476083663 0
[pid=6487/tid=6503] ppid=6484 vsize=10900632 CPUtime=0.71 cores=0-3,8-11
/proc/6487/task/6503/stat : 6503 (java) S 6484 6487 2454 0 -1 1077944384 2933 0 0 0 71 0 0 0 20 0 20 0 2787622 11162247168 2027618 33554432000 4194304 4196468 140737476078080 139753274337904 139753736616578 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28708864 140737476080811 140737476080964 140737476080964 140737476083663 0
[pid=6487/tid=6504] ppid=6484 vsize=10900632 CPUtime=0.78 cores=0-3,8-11
/proc/6487/task/6504/stat : 6504 (java) S 6484 6487 2454 0 -1 1077944384 2136 0 0 0 78 0 0 0 20 0 20 0 2787622 11162247168 2027618 33554432000 4194304 4196468 140737476078080 139753273285408 139753736615637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28708864 140737476080811 140737476080964 140737476080964 140737476083663 0
[pid=6487/tid=6505] ppid=6484 vsize=10900632 CPUtime=0.41 cores=0-3,8-11
/proc/6487/task/6505/stat : 6505 (java) S 6484 6487 2454 0 -1 1077944384 2621 0 0 0 41 0 0 0 20 0 20 0 2787622 11162247168 2027618 33554432000 4194304 4196468 140737476078080 139753272232864 139753736615637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28708864 140737476080811 140737476080964 140737476080964 140737476083663 0
[pid=6487/tid=6506] ppid=6484 vsize=10900632 CPUtime=0 cores=0-3,8-11
/proc/6487/task/6506/stat : 6506 (java) S 6484 6487 2454 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2787622 11162247168 2027618 33554432000 4194304 4196468 140737476078080 139753271179488 139753736615637 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 28708864 140737476080811 140737476080964 140737476080964 140737476083663 0
[pid=6487/tid=6507] ppid=6484 vsize=10900632 CPUtime=0.14 cores=0-3,8-11
/proc/6487/task/6507/stat : 6507 (java) S 6484 6487 2454 0 -1 1077944384 250 0 0 0 8 6 0 0 20 0 20 0 2787622 11162247168 2027618 33554432000 4194304 4196468 140737476078080 139752545184176 139753736616578 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 28708864 140737476080811 140737476080964 140737476080964 140737476083663 0
Current children cumulated CPU time (s) 2406.49
Current children cumulated vsize (KiB) 10900632

[startup+343.201 s]
/proc/loadavg: 14.12 12.52 8.44 10/259 6623
/proc/meminfo: memFree=23975644/32770624 swapFree=5804/173736
[pid=6487] ppid=6484 vsize=10900632 CPUtime=2412.93 cores=0-3,8-11
/proc/6487/stat : 6487 (java) S 6484 6487 2454 0 -1 1077944320 180613 0 0 0 238811 2482 0 0 20 0 20 0 2787614 11162247168 2027618 33554432000 4194304 4196468 140737476078080 140737476060624 139753736605431 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 28708864 140737476080811 140737476080964 140737476080964 140737476083663 0
/proc/6487/statm: 2725158 2027618 3144 1 0 2713552 0
[pid=6487/tid=6488] ppid=6484 vsize=10900632 CPUtime=14.63 cores=0-3,8-11
/proc/6487/task/6488/stat : 6488 (java) S 6484 6487 2454 0 -1 1077944384 11793 0 0 0 1454 9 0 0 20 0 20 0 2787615 11162247168 2027618 33554432000 4194304 4196468 140737476078080 139753740841552 139753736615637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28708864 140737476080811 140737476080964 140737476080964 140737476083663 0
[pid=6487/tid=6489] ppid=6484 vsize=10900632 CPUtime=296.21 cores=0-3,8-11
/proc/6487/task/6489/stat : 6489 (java) R 6484 6487 2454 0 -1 4202560 10317 0 0 0 29310 311 0 0 20 0 20 0 2787616 11162247168 2027618 33554432000 4194304 4196468 140737476078080 139753343019168 139753721590727 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28708864 140737476080811 140737476080964 140737476080964 140737476083663 0
[pid=6487/tid=6490] ppid=6484 vsize=10900632 CPUtime=296.13 cores=0-3,8-11
/proc/6487/task/6490/stat : 6490 (java) R 6484 6487 2454 0 -1 4202560 10404 0 0 0 29295 318 0 0 20 0 20 0 2787616 11162247168 2027618 33554432000 4194304 4196468 140737476078080 139753341966632 139753729233639 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28708864 140737476080811 140737476080964 140737476080964 140737476083663 0
[pid=6487/tid=6491] ppid=6484 vsize=10900632 CPUtime=295.89 cores=0-3,8-11
/proc/6487/task/6491/stat : 6491 (java) R 6484 6487 2454 0 -1 4202560 11837 0 0 0 29272 317 0 0 20 0 20 0 2787616 11162247168 2027618 33554432000 4194304 4196468 140737476078080 139753340914392 139753721303206 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 28708864 140737476080811 140737476080964 140737476080964 140737476083663 0
[pid=6487/tid=6492] ppid=6484 vsize=10900632 CPUtime=295.59 cores=0-3,8-11
/proc/6487/task/6492/stat : 6492 (java) R 6484 6487 2454 0 -1 4202560 9456 0 0 0 29258 301 0 0 20 0 20 0 2787616 11162247168 2027618 33554432000 4194304 4196468 140737476078080 139753339861848 139753721556558 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 28708864 140737476080811 140737476080964 140737476080964 140737476083663 0
[pid=6487/tid=6493] ppid=6484 vsize=10900632 CPUtime=295.67 cores=0-3,8-11
/proc/6487/task/6493/stat : 6493 (java) R 6484 6487 2454 0 -1 4202560 9163 0 0 0 29230 337 0 0 20 0 20 0 2787616 11162247168 2027618 33554432000 4194304 4196468 140737476078080 139753338809304 139753721556036 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 28708864 140737476080811 140737476080964 140737476080964 140737476083663 0
[pid=6487/tid=6494] ppid=6484 vsize=10900632 CPUtime=295.65 cores=0-3,8-11
/proc/6487/task/6494/stat : 6494 (java) R 6484 6487 2454 0 -1 4202560 11456 0 0 0 29242 323 0 0 20 0 20 0 2787616 11162247168 2027618 33554432000 4194304 4196468 140737476078080 139753337756144 139753729233639 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 28708864 140737476080811 140737476080964 140737476080964 140737476083663 0
[pid=6487/tid=6495] ppid=6484 vsize=10900632 CPUtime=296.04 cores=0-3,8-11
/proc/6487/task/6495/stat : 6495 (java) R 6484 6487 2454 0 -1 4202560 17265 0 0 0 29349 255 0 0 20 0 20 0 2787616 11162247168 2027618 33554432000 4194304 4196468 140737476078080 139753336704216 139753718158672 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28708864 140737476080811 140737476080964 140737476080964 140737476083663 0
[pid=6487/tid=6496] ppid=6484 vsize=10900632 CPUtime=295.71 cores=0-3,8-11
/proc/6487/task/6496/stat : 6496 (java) R 6484 6487 2454 0 -1 4202560 16552 0 0 0 29277 294 0 0 20 0 20 0 2787616 11162247168 2027618 33554432000 4194304 4196468 140737476078080 139753335651672 139753721303206 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28708864 140737476080811 140737476080964 140737476080964 140737476083663 0
[pid=6487/tid=6498] ppid=6484 vsize=10900632 CPUtime=28.47 cores=0-3,8-11
/proc/6487/task/6498/stat : 6498 (java) S 6484 6487 2454 0 -1 1077944384 59729 0 0 0 2844 3 0 0 20 0 20 0 2787618 11162247168 2027618 33554432000 4194304 4196468 140737476078080 139753279598944 139753736615637 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28708864 140737476080811 140737476080964 140737476080964 140737476083663 0
[pid=6487/tid=6499] ppid=6484 vsize=10900632 CPUtime=0 cores=0-3,8-11
/proc/6487/task/6499/stat : 6499 (java) S 6484 6487 2454 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 2787618 11162247168 2027618 33554432000 4194304 4196468 140737476078080 139753278546912 139753736615637 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 28708864 140737476080811 140737476080964 140737476080964 140737476083663 0
[pid=6487/tid=6500] ppid=6484 vsize=10900632 CPUtime=0 cores=0-3,8-11
/proc/6487/task/6500/stat : 6500 (java) S 6484 6487 2454 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 2787619 11162247168 2027618 33554432000 4194304 4196468 140737476078080 139753277494272 139753736615637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28708864 140737476080811 140737476080964 140737476080964 140737476083663 0
[pid=6487/tid=6501] ppid=6484 vsize=10900632 CPUtime=0 cores=0-3,8-11
/proc/6487/task/6501/stat : 6501 (java) S 6484 6487 2454 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2787622 11162247168 2027618 33554432000 4194304 4196468 140737476078080 139753276442480 139753736615637 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 28708864 140737476080811 140737476080964 140737476080964 140737476083663 0
[pid=6487/tid=6502] ppid=6484 vsize=10900632 CPUtime=0.74 cores=0-3,8-11
/proc/6487/task/6502/stat : 6502 (java) S 6484 6487 2454 0 -1 1077944384 3333 0 0 0 74 0 0 0 20 0 20 0 2787622 11162247168 2027618 33554432000 4194304 4196468 140737476078080 139753275390208 139753736615637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28708864 140737476080811 140737476080964 140737476080964 140737476083663 0
[pid=6487/tid=6503] ppid=6484 vsize=10900632 CPUtime=0.71 cores=0-3,8-11
/proc/6487/task/6503/stat : 6503 (java) S 6484 6487 2454 0 -1 1077944384 2933 0 0 0 71 0 0 0 20 0 20 0 2787622 11162247168 2027618 33554432000 4194304 4196468 140737476078080 139753274337904 139753736616578 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28708864 140737476080811 140737476080964 140737476080964 140737476083663 0
[pid=6487/tid=6504] ppid=6484 vsize=10900632 CPUtime=0.78 cores=0-3,8-11
/proc/6487/task/6504/stat : 6504 (java) S 6484 6487 2454 0 -1 1077944384 2136 0 0 0 78 0 0 0 20 0 20 0 2787622 11162247168 2027618 33554432000 4194304 4196468 140737476078080 139753273285408 139753736615637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28708864 140737476080811 140737476080964 140737476080964 140737476083663 0
[pid=6487/tid=6505] ppid=6484 vsize=10900632 CPUtime=0.41 cores=0-3,8-11
/proc/6487/task/6505/stat : 6505 (java) S 6484 6487 2454 0 -1 1077944384 2621 0 0 0 41 0 0 0 20 0 20 0 2787622 11162247168 2027618 33554432000 4194304 4196468 140737476078080 139753272232864 139753736615637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28708864 140737476080811 140737476080964 140737476080964 140737476083663 0
[pid=6487/tid=6506] ppid=6484 vsize=10900632 CPUtime=0 cores=0-3,8-11
/proc/6487/task/6506/stat : 6506 (java) S 6484 6487 2454 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2787622 11162247168 2027618 33554432000 4194304 4196468 140737476078080 139753271179488 139753736615637 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 28708864 140737476080811 140737476080964 140737476080964 140737476083663 0
[pid=6487/tid=6507] ppid=6484 vsize=10900632 CPUtime=0.14 cores=0-3,8-11
/proc/6487/task/6507/stat : 6507 (java) S 6484 6487 2454 0 -1 1077944384 250 0 0 0 8 6 0 0 20 0 20 0 2787622 11162247168 2027618 33554432000 4194304 4196468 140737476078080 139752545184176 139753736616578 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 28708864 140737476080811 140737476080964 140737476080964 140737476083663 0
Current children cumulated CPU time (s) 2412.93
Current children cumulated vsize (KiB) 10900632

[startup+343.601 s]
/proc/loadavg: 14.12 12.52 8.44 10/259 6623
/proc/meminfo: memFree=23975644/32770624 swapFree=5804/173736
[pid=6487] ppid=6484 vsize=10900632 CPUtime=2416.01 cores=0-3,8-11
/proc/6487/stat : 6487 (java) S 6484 6487 2454 0 -1 1077944320 180613 0 0 0 239118 2483 0 0 20 0 20 0 2787614 11162247168 2027618 33554432000 4194304 4196468 140737476078080 140737476060624 139753736605431 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 28708864 140737476080811 140737476080964 140737476080964 140737476083663 0
/proc/6487/statm: 2725158 2027618 3144 1 0 2713552 0
[pid=6487/tid=6488] ppid=6484 vsize=10900632 CPUtime=14.63 cores=0-3,8-11
/proc/6487/task/6488/stat : 6488 (java) S 6484 6487 2454 0 -1 1077944384 11793 0 0 0 1454 9 0 0 20 0 20 0 2787615 11162247168 2027618 33554432000 4194304 4196468 140737476078080 139753740841552 139753736615637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28708864 140737476080811 140737476080964 140737476080964 140737476083663 0
[pid=6487/tid=6489] ppid=6484 vsize=10900632 CPUtime=296.6 cores=0-3,8-11
/proc/6487/task/6489/stat : 6489 (java) R 6484 6487 2454 0 -1 4202560 10317 0 0 0 29349 311 0 0 20 0 20 0 2787616 11162247168 2027618 33554432000 4194304 4196468 140737476078080 139753343019168 139753718201979 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28708864 140737476080811 140737476080964 140737476080964 140737476083663 0
[pid=6487/tid=6490] ppid=6484 vsize=10900632 CPUtime=296.51 cores=0-3,8-11
/proc/6487/task/6490/stat : 6490 (java) R 6484 6487 2454 0 -1 4202560 10404 0 0 0 29332 319 0 0 20 0 20 0 2787616 11162247168 2027618 33554432000 4194304 4196468 140737476078080 139753341966632 139753729233639 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28708864 140737476080811 140737476080964 140737476080964 140737476083663 0
[pid=6487/tid=6491] ppid=6484 vsize=10900632 CPUtime=296.28 cores=0-3,8-11
/proc/6487/task/6491/stat : 6491 (java) R 6484 6487 2454 0 -1 4202560 11837 0 0 0 29311 317 0 0 20 0 20 0 2787616 11162247168 2027618 33554432000 4194304 4196468 140737476078080 139753340914392 139753718201872 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 28708864 140737476080811 140737476080964 140737476080964 140737476083663 0
[pid=6487/tid=6492] ppid=6484 vsize=10900632 CPUtime=295.98 cores=0-3,8-11
/proc/6487/task/6492/stat : 6492 (java) R 6484 6487 2454 0 -1 4202560 9456 0 0 0 29297 301 0 0 20 0 20 0 2787616 11162247168 2027618 33554432000 4194304 4196468 140737476078080 139753339861848 139753721556036 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 28708864 140737476080811 140737476080964 140737476080964 140737476083663 0
[pid=6487/tid=6493] ppid=6484 vsize=10900632 CPUtime=296.05 cores=0-3,8-11
/proc/6487/task/6493/stat : 6493 (java) R 6484 6487 2454 0 -1 4202560 9163 0 0 0 29268 337 0 0 20 0 20 0 2787616 11162247168 2027618 33554432000 4194304 4196468 140737476078080 139753338809304 139753721556558 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 28708864 140737476080811 140737476080964 140737476080964 140737476083663 0
[pid=6487/tid=6494] ppid=6484 vsize=10900632 CPUtime=296.02 cores=0-3,8-11
/proc/6487/task/6494/stat : 6494 (java) R 6484 6487 2454 0 -1 4202560 11456 0 0 0 29279 323 0 0 20 0 20 0 2787616 11162247168 2027618 33554432000 4194304 4196468 140737476078080 139753337756144 139753729233639 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 28708864 140737476080811 140737476080964 140737476080964 140737476083663 0
[pid=6487/tid=6495] ppid=6484 vsize=10900632 CPUtime=296.43 cores=0-3,8-11
/proc/6487/task/6495/stat : 6495 (java) R 6484 6487 2454 0 -1 4202560 17265 0 0 0 29388 255 0 0 20 0 20 0 2787616 11162247168 2027618 33554432000 4194304 4196468 140737476078080 139753336704216 139753721556134 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28708864 140737476080811 140737476080964 140737476080964 140737476083663 0
[pid=6487/tid=6496] ppid=6484 vsize=10900632 CPUtime=296.1 cores=0-3,8-11
/proc/6487/task/6496/stat : 6496 (java) R 6484 6487 2454 0 -1 4202560 16552 0 0 0 29316 294 0 0 20 0 20 0 2787616 11162247168 2027618 33554432000 4194304 4196468 140737476078080 139753335651672 139753721303144 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28708864 140737476080811 140737476080964 140737476080964 140737476083663 0
[pid=6487/tid=6498] ppid=6484 vsize=10900632 CPUtime=28.47 cores=0-3,8-11
/proc/6487/task/6498/stat : 6498 (java) S 6484 6487 2454 0 -1 1077944384 59729 0 0 0 2844 3 0 0 20 0 20 0 2787618 11162247168 2027618 33554432000 4194304 4196468 140737476078080 139753279598944 139753736615637 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28708864 140737476080811 140737476080964 140737476080964 140737476083663 0
[pid=6487/tid=6499] ppid=6484 vsize=10900632 CPUtime=0 cores=0-3,8-11
/proc/6487/task/6499/stat : 6499 (java) S 6484 6487 2454 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 2787618 11162247168 2027618 33554432000 4194304 4196468 140737476078080 139753278546912 139753736615637 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 28708864 140737476080811 140737476080964 140737476080964 140737476083663 0
[pid=6487/tid=6500] ppid=6484 vsize=10900632 CPUtime=0 cores=0-3,8-11
/proc/6487/task/6500/stat : 6500 (java) S 6484 6487 2454 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 2787619 11162247168 2027618 33554432000 4194304 4196468 140737476078080 139753277494272 139753736615637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28708864 140737476080811 140737476080964 140737476080964 140737476083663 0
[pid=6487/tid=6501] ppid=6484 vsize=10900632 CPUtime=0 cores=0-3,8-11
/proc/6487/task/6501/stat : 6501 (java) S 6484 6487 2454 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2787622 11162247168 2027618 33554432000 4194304 4196468 140737476078080 139753276442480 139753736615637 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 28708864 140737476080811 140737476080964 140737476080964 140737476083663 0
[pid=6487/tid=6502] ppid=6484 vsize=10900632 CPUtime=0.74 cores=0-3,8-11
/proc/6487/task/6502/stat : 6502 (java) S 6484 6487 2454 0 -1 1077944384 3333 0 0 0 74 0 0 0 20 0 20 0 2787622 11162247168 2027618 33554432000 4194304 4196468 140737476078080 139753275390208 139753736615637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28708864 140737476080811 140737476080964 140737476080964 140737476083663 0
[pid=6487/tid=6503] ppid=6484 vsize=10900632 CPUtime=0.71 cores=0-3,8-11
/proc/6487/task/6503/stat : 6503 (java) S 6484 6487 2454 0 -1 1077944384 2933 0 0 0 71 0 0 0 20 0 20 0 2787622 11162247168 2027618 33554432000 4194304 4196468 140737476078080 139753274337904 139753736616578 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28708864 140737476080811 140737476080964 140737476080964 140737476083663 0
[pid=6487/tid=6504] ppid=6484 vsize=10900632 CPUtime=0.78 cores=0-3,8-11
/proc/6487/task/6504/stat : 6504 (java) S 6484 6487 2454 0 -1 1077944384 2136 0 0 0 78 0 0 0 20 0 20 0 2787622 11162247168 2027618 33554432000 4194304 4196468 140737476078080 139753273285408 139753736615637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28708864 140737476080811 140737476080964 140737476080964 140737476083663 0
[pid=6487/tid=6505] ppid=6484 vsize=10900632 CPUtime=0.41 cores=0-3,8-11
/proc/6487/task/6505/stat : 6505 (java) S 6484 6487 2454 0 -1 1077944384 2621 0 0 0 41 0 0 0 20 0 20 0 2787622 11162247168 2027618 33554432000 4194304 4196468 140737476078080 139753272232864 139753736615637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28708864 140737476080811 140737476080964 140737476080964 140737476083663 0
[pid=6487/tid=6506] ppid=6484 vsize=10900632 CPUtime=0 cores=0-3,8-11
/proc/6487/task/6506/stat : 6506 (java) S 6484 6487 2454 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2787622 11162247168 2027618 33554432000 4194304 4196468 140737476078080 139753271179488 139753736615637 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 28708864 140737476080811 140737476080964 140737476080964 140737476083663 0
[pid=6487/tid=6507] ppid=6484 vsize=10900632 CPUtime=0.14 cores=0-3,8-11
/proc/6487/task/6507/stat : 6507 (java) S 6484 6487 2454 0 -1 1077944384 250 0 0 0 8 6 0 0 20 0 20 0 2787622 11162247168 2027618 33554432000 4194304 4196468 140737476078080 139752545184176 139753736616578 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 28708864 140737476080811 140737476080964 140737476080964 140737476083663 0
Current children cumulated CPU time (s) 2416.01
Current children cumulated vsize (KiB) 10900632

Child ended because it received signal 9 (SIGKILL)
Real time (s): 343.642
CPU time (s): 2416.08
CPU user time (s): 2391.21
CPU system time (s): 24.8696
CPU usage (%): 703.078
Max. virtual memory (cumulated for all children) (KiB): 10900632

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2391.21
system time used= 24.8696
maximum resident set size= 8110756
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 180619
page faults= 0
swaps= 0
block input operations= 0
block output operations= 480
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 33492
involuntary context switches= 197216

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.2856 second user time and 3.49095 second system time

The end

Launcher Data 

Begin job on node144 at 2017-07-22 00:13:43
IDJOB=4243692
IDBENCH=126240
IDSOLVER=2623
FILE ID=node144/4243692-1500675223
RUNJOBID= node144-1500674608-5766
PBS_JOBID= 20623277
Free space on /tmp= 62016 MiB

SOLVER NAME= sat4j-CSP 2017-07-05
BENCH NAME= XCSP17/GolombRuler/GolombRuler-a4-s1/GolombRuler-17-a4.xml
COMMAND LINE= java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4243692-1500675223/watcher-4243692-1500675223 -o /tmp/evaluation-result-4243692-1500675223/solver-4243692-1500675223 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node144-1500674608-5766 --watchdog 2560  java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4243692-1500675223.xml

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

MD5SUM BENCH= 1654769b6737315210eb217040901c4e
RANDOM SEED=813227191

node144.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.49
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	: 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.49
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		: 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.49
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		: 2267.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.49
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	: 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	: 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		: 1733.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	: 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		: 2267.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	: 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.49
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		: 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.49
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		: 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.49
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	: 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.49
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		: 2400.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	: 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		: 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	: 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		: 2000.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	: 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:        32069980 kB
MemAvailable:   32020368 kB
Buffers:           34336 kB
Cached:           228996 kB
SwapCached:            0 kB
Active:           150680 kB
Inactive:         181952 kB
Active(anon):      72464 kB
Inactive(anon):     8696 kB
Active(file):      78216 kB
Inactive(file):   173256 kB
Unevictable:        5804 kB
Mlocked:            5804 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2144 kB
Writeback:             0 kB
AnonPages:        169448 kB
Mapped:            39480 kB
Shmem:              8844 kB
Slab:              62256 kB
SReclaimable:      29504 kB
SUnreclaim:        32752 kB
KernelStack:        4912 kB
PageTables:         5312 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1165000 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    104448 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      130432 kB
DirectMap2M:    33415168 kB

Free space on /tmp at the end= 62012 MiB
End job on node144 at 2017-07-22 00:19:27